changeset 11942:e8a70ba77439

Only allow virtualization of PiNode if type matches.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Tue, 08 Oct 2013 23:14:35 +0200
parents dfaac94659aa
children 0fa39f034839
files graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/PiNode.java
diffstat 1 files changed, 1 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/PiNode.java	Tue Oct 08 21:47:46 2013 +0200
+++ b/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/PiNode.java	Tue Oct 08 23:14:35 2013 +0200
@@ -77,8 +77,7 @@
     @Override
     public void virtualize(VirtualizerTool tool) {
         State state = tool.getObjectState(object);
-        if (state != null && state.getState() == EscapeState.Virtual) {
-            assert ObjectStamp.typeOrNull(this).isAssignableFrom(state.getVirtualObject().type());
+        if (state != null && state.getState() == EscapeState.Virtual && ObjectStamp.typeOrNull(this).isAssignableFrom(state.getVirtualObject().type())) {
             tool.replaceWithVirtual(state.getVirtualObject());
         }
     }