Mercurial > hg > graal-compiler
changeset 15445:bda013e0d8bb
[flow-sensitive] bug fix, registerTypeSwitchNode
author | Miguel Garcia <miguel.m.garcia@oracle.com> |
---|---|
date | Tue, 29 Apr 2014 18:10:16 +0200 |
parents | be6685c6a831 |
children | 2f684eda1938 |
files | graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/cfs/FlowSensitiveReduction.java |
diffstat | 1 files changed, 2 insertions(+), 7 deletions(-) [+] |
line wrap: on
line diff
--- a/graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/cfs/FlowSensitiveReduction.java Tue Apr 29 18:07:41 2014 +0200 +++ b/graal/com.oracle.graal.phases.common/src/com/oracle/graal/phases/common/cfs/FlowSensitiveReduction.java Tue Apr 29 18:10:16 2014 +0200 @@ -197,18 +197,13 @@ // `begin` denotes the default case of the TypeSwitchNode return; } - // preferable would be trackExact, but not there yet - state.addNullness(false, loadHub.object(), begin); if (state.knownNotToConform(loadHub.object(), type)) { postponedDeopts.addDeoptAfter(begin, UnreachedCode); state.impossiblePath(); return; } - if (type.isInterface()) { - state.trackNN(loadHub.object(), begin); - } else { - state.trackIO(loadHub.object(), type, begin); - } + // it's unwarranted to assume loadHub.object() to be non-null + // it also seems unwarranted state.trackCC(loadHub.object(), type, begin); } }