[llvm] r288767 - [LVI] Remove dead code in mergeIn
Philip Reames via llvm-commits
llvm-commits at lists.llvm.org
Mon Dec 5 19:34:33 PST 2016
Author: reames
Date: Mon Dec 5 21:34:33 2016
New Revision: 288767
URL: http://llvm.org/viewvc/llvm-project?rev=288767&view=rev
Log:
[LVI] Remove dead code in mergeIn
Integers are expressed in the lattice via constant ranges. They can never be represented by constants or not-constants; those are reserved for non-integer types. This code has been dead for literaly years.
Modified:
llvm/trunk/lib/Analysis/LazyValueInfo.cpp
Modified: llvm/trunk/lib/Analysis/LazyValueInfo.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/LazyValueInfo.cpp?rev=288767&r1=288766&r2=288767&view=diff
==============================================================================
--- llvm/trunk/lib/Analysis/LazyValueInfo.cpp (original)
+++ llvm/trunk/lib/Analysis/LazyValueInfo.cpp Mon Dec 5 21:34:33 2016
@@ -228,15 +228,6 @@ public:
if (RHS.isNotConstant()) {
if (Val == RHS.Val)
return markOverdefined();
-
- // Unless we can prove that the two Constants are different, we must
- // move to overdefined.
- if (ConstantInt *Res =
- dyn_cast<ConstantInt>(ConstantFoldCompareInstOperands(
- CmpInst::ICMP_NE, getConstant(), RHS.getNotConstant(), DL)))
- if (Res->isOne())
- return markNotConstant(RHS.getNotConstant());
-
return markOverdefined();
}
@@ -247,15 +238,6 @@ public:
if (RHS.isConstant()) {
if (Val == RHS.Val)
return markOverdefined();
-
- // Unless we can prove that the two Constants are different, we must
- // move to overdefined.
- if (ConstantInt *Res =
- dyn_cast<ConstantInt>(ConstantFoldCompareInstOperands(
- CmpInst::ICMP_NE, getNotConstant(), RHS.getConstant(), DL)))
- if (Res->isOne())
- return false;
-
return markOverdefined();
}
More information about the llvm-commits
mailing list