changeset 5889:73d12bcca62e

improve PiNode stamp exactness
author Lukas Stadler <lukas.stadler@jku.at>
date Mon, 20 Aug 2012 14:20:30 +0200
parents bb373a5fce7e
children c241963cda6d
files graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/PiNode.java
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/PiNode.java	Mon Aug 20 12:21:56 2012 +0200
+++ b/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/PiNode.java	Mon Aug 20 14:20:30 2012 +0200
@@ -61,6 +61,9 @@
             setStamp(StampFactory.alwaysNull());
             return true;
         }
+        if (object().objectStamp().isExactType() && !objectStamp().isExactType()) {
+            setStamp(object().objectStamp());
+        }
         return super.inferStamp();
     }
 }