Fix a bug in LazyValueInfo that CorrelatedValuePropagation exposed: In the LVI lattic...
authorOwen Anderson <resistor@mac.com>
Thu, 2 Sep 2010 18:23:58 +0000 (18:23 +0000)
committerOwen Anderson <resistor@mac.com>
Thu, 2 Sep 2010 18:23:58 +0000 (18:23 +0000)
commit66048c2169dd8d7541eae39e5c2aa2a935fc46fa
treec4f41bc684085d0fd74a7b10489d6a65a5bd5243
parentbb5a039b76cc2cc6de6a5b6bdd4ebf6aefd9d564
Fix a bug in LazyValueInfo that CorrelatedValuePropagation exposed: In the LVI lattice, undef and the full set ConstantRange should not
be treated as equivalent.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112843 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/LazyValueInfo.cpp
test/Transforms/CorrelatedValuePropagation/2010-09-02-Trunc.ll [new file with mode: 0644]