Remove the (A < constant) => (A == 0 || A == 1 ... || A == constant - 1)

optimization, its not the kind of thing we should always be performing.


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

1 files changed, 0 insertions, 11 deletions

diff --git a/lib/Expr/Expr.cpp b/lib/Expr/Expr.cpp
index 7beaa665..e82285dd 100644
--- a/lib/Expr/Expr.cpp
+++ b/lib/Expr/Expr.cpp
@@ -1147,17 +1147,6 @@ static ref<Expr> UltExpr_create(const ref<Expr> &l, const ref<Expr> &r) {
   if (t == Expr::Bool) { // !l && r
     return AndExpr::create(Expr::createNot(l), r);
   } else {
-    if (ConstantExpr *CE = dyn_cast<ConstantExpr>(r)) {      
-      uint64_t value = CE->getConstantValue();
-      if (value <= 8) {
-        ref<Expr> res = ConstantExpr::alloc(0, Expr::Bool);
-        for (unsigned i=0; i<value; i++) {
-          res = OrExpr::create(EqExpr::create(l, 
-                                              ConstantExpr::alloc(i, t)), res);
-        }
-        return res;
-      }
-    }
     return UltExpr::alloc(l, r);
   }
 }