# HG changeset patch
# User Christian Wimmer <christian.wimmer@oracle.com>
# Date 1431644702 25200
# Node ID af9d0db304e897bef55f12a730607648796db4d8
# Parent  0042b1960e7145c72d9565e65ea3033dc1dd0716
Do not weaken stamp of PhiNode in inferStamp

diff -r 0042b1960e71 -r af9d0db304e8 graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/ValuePhiNode.java
--- a/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/ValuePhiNode.java	Thu May 14 16:03:49 2015 -0700
+++ b/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/ValuePhiNode.java	Thu May 14 16:05:02 2015 -0700
@@ -59,6 +59,10 @@
 
     @Override
     public boolean inferStamp() {
-        return updateStamp(StampTool.meet(values()));
+        Stamp valuesStamp = StampTool.meet(values());
+        if (stamp.isCompatible(valuesStamp)) {
+            valuesStamp = stamp.join(valuesStamp);
+        }
+        return updateStamp(valuesStamp);
     }
 }