# HG changeset patch
# User Josef Eisl <josef.eisl@jku.at>
# Date 1441098454 -7200
# Node ID e9973570a82077de4af29a404723f728455fa086
# Parent  739dfd2e0bd7dbab9facd878084f3c0ed119a2a0
SSIVerifier: ignore non-virtual stack slots.

diff -r 739dfd2e0bd7 -r e9973570a820 graal/com.oracle.graal.lir/src/com/oracle/graal/lir/ssi/SSIVerifier.java
--- a/graal/com.oracle.graal.lir/src/com/oracle/graal/lir/ssi/SSIVerifier.java	Mon Aug 31 17:47:05 2015 +0200
+++ b/graal/com.oracle.graal.lir/src/com/oracle/graal/lir/ssi/SSIVerifier.java	Tue Sep 01 11:07:34 2015 +0200
@@ -134,6 +134,10 @@
             // registers can be redefined
             return false;
         }
+        if (isStackSlotValue(value) && !isVirtualStackSlot(value)) {
+            // non-virtual stack slots can be redefined
+            return false;
+        }
         if (value.equals(Value.ILLEGAL)) {
             // Don't care about illegal values
             return false;
@@ -150,6 +154,10 @@
             // Assume fixed registers are correct
             return false;
         }
+        if (isStackSlotValue(value) && !isVirtualStackSlot(value)) {
+            // non-virtual stack slots are assumed to be correct
+            return false;
+        }
         if (value.equals(Value.ILLEGAL)) {
             // Don't care about illegal values
             return false;