changeset 22937:a544264916b8

Don't discard type information in getSucceedingStampForValue
author Tom Rodriguez <tom.rodriguez@oracle.com>
date Tue, 03 Nov 2015 12:11:47 -0800
parents 8e5c7be6d1fb
children ccdecd8cc1f2
files graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/calc/IsNullNode.java
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/calc/IsNullNode.java	Thu Oct 15 14:07:26 2015 +0200
+++ b/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/calc/IsNullNode.java	Tue Nov 03 12:11:47 2015 -0800
@@ -103,7 +103,7 @@
 
     @Override
     public Stamp getSucceedingStampForValue(boolean negated) {
-        return negated ? StampFactory.objectNonNull() : StampFactory.alwaysNull();
+        return negated ? getValue().stamp().join(StampFactory.objectNonNull()) : StampFactory.alwaysNull();
     }
 
     @Override