# HG changeset patch
# User Bernhard Urban <bernhard.urban@jku.at>
# Date 1407532545 -7200
# Node ID fbe7dfc147182592d1de235fb7e244fa6b02df81
# Parent  3d148f5e90b8f61651f2483f3d45056b57bb600f
check graal invariants: update stamp for phis before verification

diff -r 3d148f5e90b8 -r fbe7dfc14718 graal/com.oracle.graal.compiler.test/src/com/oracle/graal/compiler/test/CheckGraalInvariants.java
--- a/graal/com.oracle.graal.compiler.test/src/com/oracle/graal/compiler/test/CheckGraalInvariants.java	Fri Aug 08 23:14:37 2014 +0200
+++ b/graal/com.oracle.graal.compiler.test/src/com/oracle/graal/compiler/test/CheckGraalInvariants.java	Fri Aug 08 23:15:45 2014 +0200
@@ -123,6 +123,8 @@
                                 StructuredGraph graph = new StructuredGraph(metaAccess.lookupJavaMethod(m));
                                 try (DebugConfigScope s = Debug.setConfig(new DelegatingDebugConfig().disable(INTERCEPT))) {
                                     graphBuilderSuite.apply(graph, context);
+                                    // update phi stamps
+                                    graph.getNodes().filter(PhiNode.class).forEach(PhiNode::inferStamp);
                                     checkGraph(context, graph);
                                 } catch (VerificationError e) {
                                     errors.add(e.getMessage());