# HG changeset patch
# User Josef Eisl <josef.eisl@jku.at>
# Date 1429632721 -7200
# Node ID 31c4d3f91d30bef5b0d6069d766ea9e0e4dc035a
# Parent  f226f63af996eae1e0e190eaddc3646be2ec8b24
SSAVerifier: ignore StackSlotValues.

diff -r f226f63af996 -r 31c4d3f91d30 graal/com.oracle.graal.lir/src/com/oracle/graal/lir/ssa/SSAVerifier.java
--- a/graal/com.oracle.graal.lir/src/com/oracle/graal/lir/ssa/SSAVerifier.java	Mon Apr 20 18:05:27 2015 +0200
+++ b/graal/com.oracle.graal.lir/src/com/oracle/graal/lir/ssa/SSAVerifier.java	Tue Apr 21 18:12:01 2015 +0200
@@ -89,12 +89,7 @@
         visited.set(block.getId());
         for (LIRInstruction op : lir.getLIRforBlock(block)) {
             op.visitEachAlive(this::useConsumer);
-            /*
-             * TODO(je) we are currently skipping LIRFrameStates because there are problems with
-             * eliminated StackLockValue. (The slot is not defined but we can't tell that the lock
-             * is eliminated.)
-             */
-            // op.visitEachState(this::useConsumer);
+            op.visitEachState(this::useConsumer);
             op.visitEachInput(this::useConsumer);
 
             op.visitEachTemp(this::defConsumer);
@@ -131,7 +126,7 @@
     }
 
     private static boolean shouldProcess(Value value) {
-        return !value.equals(Value.ILLEGAL) && !isConstant(value) && !isRegister(value);
+        return !value.equals(Value.ILLEGAL) && !isConstant(value) && !isRegister(value) && !isStackSlotValue(value);
     }
 
 }