# HG changeset patch
# User Lukas Stadler <lukas.stadler@oracle.com>
# Date 1397721567 -7200
# Node ID 7872f9f44c0337329fb789873f6e8764a81fe412
# Parent  94874b2fc509aca44d59415c8c5f4270a590d1ad
additional canonicalization for IntegerTestNode

diff -r 94874b2fc509 -r 7872f9f44c03 graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/calc/IntegerTestNode.java
--- a/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/calc/IntegerTestNode.java	Thu Apr 17 09:59:27 2014 +0200
+++ b/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/calc/IntegerTestNode.java	Thu Apr 17 09:59:27 2014 +0200
@@ -54,6 +54,8 @@
             IntegerStamp yStamp = (IntegerStamp) y().stamp();
             if ((xStamp.upMask() & yStamp.upMask()) == 0) {
                 return LogicConstantNode.tautology(graph());
+            } else if ((xStamp.downMask() & yStamp.downMask()) != 0) {
+                return LogicConstantNode.contradiction(graph());
             }
         }
         return this;