From ec5e3126277550489ca63c034c32828ea42c7a7a Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Sun, 14 Jun 2009 09:12:23 +0000
Subject: 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
---
 lib/Expr/Expr.cpp | 11 -----------
 1 file changed, 11 deletions(-)

(limited to 'lib')

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);
   }
 }
-- 
cgit 1.4.1