changeset 16730:fbe7dfc14718

check graal invariants: update stamp for phis before verification
author Bernhard Urban <bernhard.urban@jku.at>
date Fri, 08 Aug 2014 23:15:45 +0200
parents 3d148f5e90b8
children 202e54a09a72
files graal/com.oracle.graal.compiler.test/src/com/oracle/graal/compiler/test/CheckGraalInvariants.java
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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());