OSDN Git Service

[Verifier] Allow TBAA metadata on atomicrmw and atomiccmpxchg
authorSanjoy Das <sanjoy@playingwithpointers.com>
Thu, 15 Dec 2016 21:23:44 +0000 (21:23 +0000)
committerSanjoy Das <sanjoy@playingwithpointers.com>
Thu, 15 Dec 2016 21:23:44 +0000 (21:23 +0000)
commit8cf1000f92e4667ae67de25429287a869369bd8d
tree63dac4002e5e68ae10a2f2416bd7946e75da1f84
parent70b49e61fb8f0e3ff533ed3c09f29894f900792c
[Verifier] Allow TBAA metadata on atomicrmw and atomiccmpxchg

This used to be allowed before r289402 by default (before r289402 you
could have TBAA metadata on any instruction), and while I'm not sure
that it helps, it does sound reasonable enough to not fail the verifier
and we have out-of-tree users who use this.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@289872 91177308-0d34-0410-b5e6-96231b3b80d8
lib/IR/Verifier.cpp
test/Verifier/tbaa-allowed.ll [new file with mode: 0644]