John Regehr 21e89f9cec [LVI] run transfer function for binary operator even when the RHS isn't a constant ...

LVI was symbolically executing binary operators only when the RHS was
constant, missing the case where we have a ConstantRange for the RHS,
but not an actual constant. Tested using check-all and by
bootstrapping. Compile time is not impacted measurably.

Differential Revision: https://reviews.llvm.org/D19859



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@347379 91177308-0d34-0410-b5e6-96231b3b80d8

2018-11-21 05:24:12 +00:00

..

invalidation.ll

Add address space mangling to lifetime intrinsics

2017-04-10 20:18:21 +00:00

lvi-after-jumpthreading.ll

[LVI] run transfer function for binary operator even when the RHS isn't a constant

2018-11-21 05:24:12 +00:00

lvi-for-ashr.ll

[LVI] Support for ashr in LVI

2017-12-18 14:23:30 +00:00