# HG changeset patch
# User Lukas Stadler <lukas.stadler@jku.at>
# Date 1365539082 -7200
# Node ID 1b5eeb50e69078660b2fe76377cacdf01dd441dd
# Parent  cdd70fd1479bfc9ad3d046ab416ba3cb9181c27f
PEA: fix virtualization of CheckCastNode (check type)

diff -r cdd70fd1479b -r 1b5eeb50e690 graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/java/CheckCastNode.java
--- a/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/java/CheckCastNode.java	Tue Apr 09 10:48:14 2013 +0200
+++ b/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/java/CheckCastNode.java	Tue Apr 09 22:24:42 2013 +0200
@@ -102,7 +102,9 @@
     public void virtualize(VirtualizerTool tool) {
         State state = tool.getObjectState(object);
         if (state != null && state.getState() == EscapeState.Virtual) {
-            tool.replaceWithVirtual(state.getVirtualObject());
+            if (type.isAssignableFrom(state.getVirtualObject().type())) {
+                tool.replaceWithVirtual(state.getVirtualObject());
+            }
         }
     }
 }