Mercurial > hg > graal-compiler

changeset 22558:e9973570a820

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
SSIVerifier: ignore non-virtual stack slots.
author Josef Eisl <josef.eisl@jku.at>
date Tue, 01 Sep 2015 11:07:34 +0200
parents 739dfd2e0bd7
children f6aa1989bd5c
files graal/com.oracle.graal.lir/src/com/oracle/graal/lir/ssi/SSIVerifier.java
diffstat 1 files changed, 8 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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;