projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c3f57b) | patch
[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)
commit6698c15cb64c5a6b27521466ab8565a906b2323f
tree16e151bc8dfa36b491cc90bf055f0211809ad44atree | snapshot
parent0c3f57b13306ed5f829d4ae4752de982e17bedc7commit | diff
[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.

llvm-svn: 289872
llvm/lib/IR/Verifier.cpp diff | blob | history
llvm/test/Verifier/tbaa-allowed.ll [new file with mode: 0644] blob
Domain: System / Toolchain;