# HG changeset patch
# User Lukas Stadler <lukas.stadler@jku.at>
# Date 1331741717 -3600
# Node ID 107ede924db349c380d0598e968f704993d33638
# Parent  01ffb0fc9aecac03579bc657026de3c62dd7b627
fix to Condition.implies

diff -r 01ffb0fc9aec -r 107ede924db3 graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/calc/Condition.java
--- 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;