OSDN Git Service

[PoisonCheker] Support for out of bounds operands on shifts + insert/extractelement
authorPhilip Reames <listmail@philipreames.com>
Tue, 9 Jul 2019 19:26:12 +0000 (19:26 +0000)
committerPhilip Reames <listmail@philipreames.com>
Tue, 9 Jul 2019 19:26:12 +0000 (19:26 +0000)
commit716786c549180bbe23815e1673990ca5d3b5ab45
treed7deb70f14234408605a25ffe3ae0782c60a126b
parentf9d2575fbe9d5924e61c5c1c75b564513348030d
[PoisonCheker] Support for out of bounds operands on shifts + insert/extractelement

These are sources of poison which don't come from flags, but are clearly documented in the LangRef.  Left off support for scalable vectors for the moment, but should be easy to add if anyone is interested.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@365543 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Instrumentation/PoisonChecking.cpp
test/Instrumentation/PoisonChecking/basic-flag-validation.ll