Mercurial > hg > truffle

changeset 15185:7872f9f44c03

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
additional canonicalization for IntegerTestNode
author Lukas Stadler <lukas.stadler@oracle.com>
date Thu, 17 Apr 2014 09:59:27 +0200
parents 94874b2fc509
children 5e2cffe8b815
files graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/calc/IntegerTestNode.java
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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;