diff options
author | Philip Reames <listmail@philipreames.com> | 2016-12-06 03:34:33 +0000 |
---|---|---|
committer | Philip Reames <listmail@philipreames.com> | 2016-12-06 03:34:33 +0000 |
commit | 7c651d6dd2fc3ed37e33fa6ae4614c6a697e0258 (patch) | |
tree | e5680af7d1aec8a8dd7643fd94531f0c025d412a /lib/Analysis/LazyValueInfo.cpp | |
parent | 19937b05c3f361aa06ac927c6f417b8d740cc645 (diff) |
[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.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@288767 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/LazyValueInfo.cpp')
-rw-r--r-- | lib/Analysis/LazyValueInfo.cpp | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/lib/Analysis/LazyValueInfo.cpp b/lib/Analysis/LazyValueInfo.cpp index 6bce7c6d35e..82478b76848 100644 --- a/lib/Analysis/LazyValueInfo.cpp +++ b/lib/Analysis/LazyValueInfo.cpp @@ -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(); } |