changeset 16568:4d3008ddb5a0

Minor changes to StampFactory and ObjectStamp
author Gilles Duboscq <duboscq@ssw.jku.at>
date Tue, 15 Jul 2014 13:12:58 +0200
parents 164b644daa83
children d780f8b87d89
files graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/type/ObjectStamp.java graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/type/StampFactory.java
diffstat 2 files changed, 6 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/type/ObjectStamp.java	Mon Jul 14 14:49:33 2014 +0200
+++ b/graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/type/ObjectStamp.java	Tue Jul 15 13:12:58 2014 +0200
@@ -32,7 +32,7 @@
     }
 
     @Override
-    protected AbstractObjectStamp copyWith(ResolvedJavaType type, boolean exactType, boolean nonNull, boolean alwaysNull) {
+    protected ObjectStamp copyWith(ResolvedJavaType type, boolean exactType, boolean nonNull, boolean alwaysNull) {
         return new ObjectStamp(type, exactType, nonNull, alwaysNull);
     }
 
--- a/graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/type/StampFactory.java	Mon Jul 14 14:49:33 2014 +0200
+++ b/graal/com.oracle.graal.compiler.common/src/com/oracle/graal/compiler/common/type/StampFactory.java	Tue Jul 15 13:12:58 2014 +0200
@@ -248,6 +248,10 @@
     }
 
     public static Stamp exact(ResolvedJavaType type) {
-        return new ObjectStamp(type, true, false, false);
+        if (ObjectStamp.isConcreteType(type)) {
+            return new ObjectStamp(type, true, false, false);
+        } else {
+            return illegal(Kind.Object);
+        }
     }
 }