# HG changeset patch
# User Andreas Woess <andreas.woess@jku.at>
# Date 1398879640 -7200
# Node ID cb2eef41371c7e61e16c0076b0a1ad855dab86cc
# Parent  3b2cd5f6d7a53cb60c44fb170563af4c5d8cd9e4
PiNode: merge object stamps using castTo

diff -r 3b2cd5f6d7a5 -r cb2eef41371c graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/PiNode.java
--- a/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/PiNode.java	Wed Apr 30 19:40:29 2014 +0200
+++ b/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/PiNode.java	Wed Apr 30 19:40:40 2014 +0200
@@ -74,6 +74,9 @@
         if (stamp() == StampFactory.forNodeIntrinsic()) {
             return false;
         }
+        if (stamp() instanceof ObjectStamp && object.stamp() instanceof ObjectStamp) {
+            return updateStamp(((ObjectStamp) object.stamp()).castTo((ObjectStamp) stamp()));
+        }
         return updateStamp(stamp().join(object().stamp()));
     }