# HG changeset patch
# User Tom Rodriguez <tom.rodriguez@oracle.com>
# Date 1446581507 28800
# Node ID a544264916b859736b638e5c3dafbfa6e9c15512
# Parent  8e5c7be6d1fb58513c92506c33539ee5bcf72663
Don't discard type information in getSucceedingStampForValue

diff -r 8e5c7be6d1fb -r a544264916b8 graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/calc/IsNullNode.java
--- 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