Bug fix

[satune.git] / src / ASTTransform / elementopt.cc

diff --git a/src/ASTTransform/elementopt.cc b/src/ASTTransform/elementopt.cc
index d6dec3dc706d13321a61967f78ba2d2728433569..3f1f8928f9d674be7c002a9954035f028dab4492 100755 (executable)
--- a/src/ASTTransform/elementopt.cc
+++ b/src/ASTTransform/elementopt.cc
@@ -98,7 +98,7 @@ void ElementOpt::handlePredicateInequality(BooleanPredicate *pred, ElementSet *v
        case SATC_LT: {
                for(uint i=0; i<size; i++) {
                        uint64_t val = s->getElement(i);
-                       if (val >= cvalue)
+                       if (val < cvalue)
                                elemArray[count++] = val;
                }
                break;
@@ -106,7 +106,7 @@ void ElementOpt::handlePredicateInequality(BooleanPredicate *pred, ElementSet *v
        case SATC_GT: {
                for(uint i=0; i<size; i++) {
                        uint64_t val = s->getElement(i);
-                       if (val <= cvalue)
+                       if (val > cvalue)
                                elemArray[count++] = val;
                }
                break;
@@ -114,7 +114,7 @@ void ElementOpt::handlePredicateInequality(BooleanPredicate *pred, ElementSet *v
        case SATC_LTE: {
                for(uint i=0; i<size; i++) {
                        uint64_t val = s->getElement(i);
-                       if (val > cvalue)
+                       if (val <= cvalue)
                                elemArray[count++] = val;
                }
                break;
@@ -122,7 +122,7 @@ void ElementOpt::handlePredicateInequality(BooleanPredicate *pred, ElementSet *v
        case SATC_GTE: {
                for(uint i=0; i<size; i++) {
                        uint64_t val = s->getElement(i);
-                       if (val < cvalue)
+                       if (val >= cvalue)
                                elemArray[count++] = val;
                }
                break;