projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ccbf1e3) | patch
Teach the verifier to reject all non-constant arguments to the second
authorChandler Carruth <chandlerc@gmail.com>
Mon, 12 Dec 2011 04:36:02 +0000 (04:36 +0000)
committerChandler Carruth <chandlerc@gmail.com>
Mon, 12 Dec 2011 04:36:02 +0000 (04:36 +0000)
commitc4eab904c95549106f628b6fdd8ccf62527aa398
tree28ef32166df30f4204b473bcb9717b327dfe4365tree | snapshot
parentccbf1e36d34c2d66600748bdd8767dc122629a58commit | diff
Teach the verifier to reject all non-constant arguments to the second
argument of the cttz and ctlz intrinsics.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@146360 91177308-0d34-0410-b5e6-96231b3b80d8
lib/VMCore/Verifier.cpp diff | blob | history
test/Verifier/cttz-undef-arg.ll [new file with mode: 0644] blob
C/C++ LLVM-based compilers that forbids OOTA behaviors