Examples with CanonicalizerPhase org.graalvm.compiler.phases.common.CanonicalizerPhase used on opensource projects

Example 56 with CanonicalizerPhase

use of org.graalvm.compiler.phases.common.CanonicalizerPhase in project graal by oracle.

the class DeMorganCanonicalizationTest method testOr.

@Test
public void testOr() {
    StructuredGraph g = parseEager("or", AllowAssumptions.NO, getInitialOptions());
    new CanonicalizerPhase().apply(g, getDefaultHighTierContext());
    Assert.assertEquals(1, g.getNodes().filter(AndNode.class).count());
    Assert.assertEquals(1, g.getNodes().filter(NotNode.class).count());
    testAgainstExpected(g.method(), new Result(or(-1, 17), null), (Object) null, -1, 17);
    testAgainstExpected(g.method(), new Result(or(-1, 1), null), (Object) null, -1, 1);
    testAgainstExpected(g.method(), new Result(or(-1, -1), null), (Object) null, -1, -1);
    testAgainstExpected(g.method(), new Result(or(Integer.MIN_VALUE, Integer.MIN_VALUE), null), (Object) null, Integer.MIN_VALUE, Integer.MIN_VALUE);
}

Example 57 with CanonicalizerPhase

use of org.graalvm.compiler.phases.common.CanonicalizerPhase in project graal by oracle.

the class DeMorganCanonicalizationTest method testAnd.

@Test
public void testAnd() {
    StructuredGraph g = parseEager("and", AllowAssumptions.NO, getInitialOptions());
    new CanonicalizerPhase().apply(g, getDefaultHighTierContext());
    Assert.assertEquals(1, g.getNodes().filter(OrNode.class).count());
    Assert.assertEquals(1, g.getNodes().filter(NotNode.class).count());
    testAgainstExpected(g.method(), new Result(and(-1, 17), null), (Object) null, -1, 17);
    testAgainstExpected(g.method(), new Result(and(-1, 1), null), (Object) null, -1, 1);
    testAgainstExpected(g.method(), new Result(and(-1, -1), null), (Object) null, -1, -1);
    testAgainstExpected(g.method(), new Result(and(Integer.MIN_VALUE, Integer.MIN_VALUE), null), (Object) null, Integer.MIN_VALUE, Integer.MIN_VALUE);
}

Example 58 with CanonicalizerPhase

use of org.graalvm.compiler.phases.common.CanonicalizerPhase in project graal by oracle.

the class ConditionalEliminationMulTest method prepareGraph.

private StructuredGraph prepareGraph(String snippet) {
    StructuredGraph graph = parseEager(snippet, AllowAssumptions.NO);
    HighTierContext context = getDefaultHighTierContext();
    new ConditionalEliminationPhase(false).apply(graph, context);
    CanonicalizerPhase c = new CanonicalizerPhase();
    c.apply(graph, context);
    new ConditionalEliminationPhase(false).apply(graph, context);
    c.apply(graph, context);
    return graph;
}

Example 59 with CanonicalizerPhase

use of org.graalvm.compiler.phases.common.CanonicalizerPhase in project graal by oracle.

the class ConditionalEliminationTest14 method test1.

@Test
public void test1() {
    StructuredGraph graph = parseEager("test1Snippet", AllowAssumptions.YES);
    CanonicalizerPhase canonicalizer = new CanonicalizerPhase();
    PhaseContext context = new PhaseContext(getProviders());
    /* Convert the LoadIndexNode to ReadNode with floating guards. */
    new LoweringPhase(canonicalizer, LoweringTool.StandardLoweringStage.HIGH_TIER).apply(graph, context);
    /* Convert the ReadNode to FloatingReadNode. */
    new FloatingReadPhase().apply(graph);
    /* Apply the phase that we want to test. */
    new IterativeConditionalEliminationPhase(canonicalizer, true).apply(graph, context);
    Assert.assertEquals("All guards must be floating", 0, graph.getNodes(FixedGuardNode.TYPE).count());
    Assert.assertEquals("All array accesses must have been lowered", 0, graph.getNodes().filter(LoadIndexedNode.class).count());
    Assert.assertEquals("All reads must be floating", 0, graph.getNodes().filter(ReadNode.class).count());
    Assert.assertEquals("Must have floating reads (3 array accesses, 1 array length)", 4, graph.getNodes().filter(FloatingReadNode.class).count());
    NodeIterable<GuardNode> boundsChecks = graph.getNodes(GuardNode.TYPE).filter(n -> ((GuardNode) n).getReason() == DeoptimizationReason.BoundsCheckException);
    Assert.assertEquals("Must have only 1 bounds check remaining", 1, boundsChecks.count());
    LogicNode condition = boundsChecks.first().getCondition();
    Assert.assertTrue("Bounds check must check for array length 8", condition instanceof IntegerBelowNode && ((IntegerBelowNode) condition).getY().valueEquals(ConstantNode.forInt(8)));
}

Example 60 with CanonicalizerPhase

use of org.graalvm.compiler.phases.common.CanonicalizerPhase in project graal by oracle.

the class ConditionalEliminationTest2 method testRedundantCompares.

@Test
public void testRedundantCompares() {
    StructuredGraph graph = parseEager("testRedundantComparesSnippet", AllowAssumptions.YES);
    CanonicalizerPhase canonicalizer = new CanonicalizerPhase();
    PhaseContext context = new PhaseContext(getProviders());
    new LoweringPhase(canonicalizer, LoweringTool.StandardLoweringStage.HIGH_TIER).apply(graph, context);
    canonicalizer.apply(graph, context);
    new FloatingReadPhase().apply(graph);
    new ConditionalEliminationPhase(true).apply(graph, context);
    canonicalizer.apply(graph, context);
    assertDeepEquals(1, graph.getNodes().filter(GuardNode.class).count());
}