# HG changeset patch
# User Miguel Garcia <miguel.m.garcia@oracle.com>
# Date 1399126783 -7200
# Node ID 45a54859fd7d704ed61da03b79d7d3a43df30856
# Parent  7f492a524ca7463a1fcc5c1abdb355e59621e258
[flow-sensitive] simplify to nullConstant

diff -r 7f492a524ca7 -r 45a54859fd7d graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/cfs/EquationalReasoner.java
--- 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);
         }