changeset 15492:45a54859fd7d

[flow-sensitive] simplify to nullConstant
author Miguel Garcia <miguel.m.garcia@oracle.com>
date Sat, 03 May 2014 16:19:43 +0200
parents 7f492a524ca7
children 49a917f9fa07
files graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/cfs/EquationalReasoner.java
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/cfs/EquationalReasoner.java	Sun May 04 14:44:09 2014 +0200
+++ b/graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/cfs/EquationalReasoner.java	Sat May 03 16:19:43 2014 +0200
@@ -267,6 +267,10 @@
         }
 
         if (FlowUtil.hasLegalObjectStamp(v)) {
+            if (state.isNull(v)) {
+                // it's ok to return nullConstant in deverbosify unlike in downcast
+                return nullConstant;
+            }
             return downcast(v);
         }