changeset 5077:107ede924db3

fix to Condition.implies
author Lukas Stadler <lukas.stadler@jku.at>
date Wed, 14 Mar 2012 17:15:17 +0100
parents 01ffb0fc9aec
children 0bc48f48e5e5
files graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/calc/Condition.java
diffstat 1 files changed, 4 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/calc/Condition.java	Wed Mar 14 17:14:22 2012 +0100
+++ b/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/calc/Condition.java	Wed Mar 14 17:15:17 2012 +0100
@@ -141,13 +141,13 @@
         switch (this) {
             case EQ: return other == LE || other == GE || other == BE || other == AE;
             case NE: return false;
-            case LT: return other == LE;
+            case LT: return other == LE || other == NE;
             case LE: return false;
-            case GT: return other == GE;
+            case GT: return other == GE || other == NE;
             case GE: return false;
-            case BT: return other == BE;
+            case BT: return other == BE || other == NE;
             case BE: return false;
-            case AT: return other == AE;
+            case AT: return other == AE || other == NE;
             case AE: return false;
             case OF: return false;
             case NOF: return false;