[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)
commit3dbd7e98d86a306f7ba125d042846099a56b6ee9
tree26f741b4f2bb11403ca61c8fa9edfa88fd2102ac
parentf09d54ed2a75b62960b35258136435d7c8d418e1
[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.

llvm-svn: 365543
llvm/lib/Transforms/Instrumentation/PoisonChecking.cpp
llvm/test/Instrumentation/PoisonChecking/basic-flag-validation.ll