Mercurial > hg > truffle
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); }