src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.core.test/src/org/graalvm/compiler/core/test/ReadAfterCheckCastTest.java

*** 20,44 ****
   * or visit www.oracle.com if you need additional information or have any
   * questions.
   */
  package org.graalvm.compiler.core.test;
  
! import org.junit.Assert;
! import org.junit.Test;
! 
! import org.graalvm.compiler.debug.Debug;
! import org.graalvm.compiler.debug.Debug.Scope;
  import org.graalvm.compiler.debug.DebugDumpScope;
  import org.graalvm.compiler.nodes.ParameterNode;
  import org.graalvm.compiler.nodes.StructuredGraph;
  import org.graalvm.compiler.nodes.StructuredGraph.AllowAssumptions;
  import org.graalvm.compiler.nodes.memory.FloatingReadNode;
  import org.graalvm.compiler.nodes.spi.LoweringTool;
  import org.graalvm.compiler.phases.common.CanonicalizerPhase;
  import org.graalvm.compiler.phases.common.FloatingReadPhase;
  import org.graalvm.compiler.phases.common.LoweringPhase;
  import org.graalvm.compiler.phases.tiers.PhaseContext;
  
  /* consider
   *     B b = (B) a;
   *     return b.x10;
   *
--- 20,42 ----
   * or visit www.oracle.com if you need additional information or have any
   * questions.
   */
  package org.graalvm.compiler.core.test;
  
! import org.graalvm.compiler.debug.DebugContext;
  import org.graalvm.compiler.debug.DebugDumpScope;
  import org.graalvm.compiler.nodes.ParameterNode;
  import org.graalvm.compiler.nodes.StructuredGraph;
  import org.graalvm.compiler.nodes.StructuredGraph.AllowAssumptions;
  import org.graalvm.compiler.nodes.memory.FloatingReadNode;
  import org.graalvm.compiler.nodes.spi.LoweringTool;
  import org.graalvm.compiler.phases.common.CanonicalizerPhase;
  import org.graalvm.compiler.phases.common.FloatingReadPhase;
  import org.graalvm.compiler.phases.common.LoweringPhase;
  import org.graalvm.compiler.phases.tiers.PhaseContext;
+ import org.junit.Assert;
+ import org.junit.Test;
  
  /* consider
   *     B b = (B) a;
   *     return b.x10;
   *
*** 82,108 ****
          test("test1Snippet");
      }
  
      @SuppressWarnings("try")
      private void test(final String snippet) {
!         try (Scope s = Debug.scope("ReadAfterCheckCastTest", new DebugDumpScope(snippet))) {
              // check shape of graph, with lots of assumptions. will probably fail if graph
              // structure changes significantly
              StructuredGraph graph = parseEager(snippet, AllowAssumptions.YES);
              PhaseContext context = new PhaseContext(getProviders());
              CanonicalizerPhase canonicalizer = new CanonicalizerPhase();
              new LoweringPhase(canonicalizer, LoweringTool.StandardLoweringStage.HIGH_TIER).apply(graph, context);
              new FloatingReadPhase().apply(graph);
              canonicalizer.apply(graph, context);
  
!             Debug.dump(Debug.BASIC_LEVEL, graph, "After lowering");
  
              for (FloatingReadNode node : graph.getNodes(ParameterNode.TYPE).first().usages().filter(FloatingReadNode.class)) {
                  // Checking that the parameter a is not directly used for the access to field
                  // x10 (because x10 must be guarded by the checkcast).
                  Assert.assertTrue(node.getLocationIdentity().isImmutable());
              }
          } catch (Throwable e) {
!             throw Debug.handle(e);
          }
      }
  }
--- 80,107 ----
          test("test1Snippet");
      }
  
      @SuppressWarnings("try")
      private void test(final String snippet) {
!         DebugContext debug = getDebugContext();
!         try (DebugContext.Scope s = debug.scope("ReadAfterCheckCastTest", new DebugDumpScope(snippet))) {
              // check shape of graph, with lots of assumptions. will probably fail if graph
              // structure changes significantly
              StructuredGraph graph = parseEager(snippet, AllowAssumptions.YES);
              PhaseContext context = new PhaseContext(getProviders());
              CanonicalizerPhase canonicalizer = new CanonicalizerPhase();
              new LoweringPhase(canonicalizer, LoweringTool.StandardLoweringStage.HIGH_TIER).apply(graph, context);
              new FloatingReadPhase().apply(graph);
              canonicalizer.apply(graph, context);
  
!             debug.dump(DebugContext.BASIC_LEVEL, graph, "After lowering");
  
              for (FloatingReadNode node : graph.getNodes(ParameterNode.TYPE).first().usages().filter(FloatingReadNode.class)) {
                  // Checking that the parameter a is not directly used for the access to field
                  // x10 (because x10 must be guarded by the checkcast).
                  Assert.assertTrue(node.getLocationIdentity().isImmutable());
              }
          } catch (Throwable e) {
!             throw debug.handle(e);
          }
      }
  }