1 /*
   2  * Copyright (c) 2011, 2018, Oracle and/or its affiliates. All rights reserved.
   3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   4  *
   5  * This code is free software; you can redistribute it and/or modify it
   6  * under the terms of the GNU General Public License version 2 only, as
   7  * published by the Free Software Foundation.
   8  *
   9  * This code is distributed in the hope that it will be useful, but WITHOUT
  10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  12  * version 2 for more details (a copy is included in the LICENSE file that
  13  * accompanied this code).
  14  *
  15  * You should have received a copy of the GNU General Public License version
  16  * 2 along with this work; if not, write to the Free Software Foundation,
  17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  18  *
  19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  20  * or visit www.oracle.com if you need additional information or have any
  21  * questions.
  22  */
  23 
  24 
  25 package org.graalvm.compiler.core.test;
  26 
  27 import org.graalvm.compiler.debug.DebugContext;
  28 import org.graalvm.compiler.nodes.ReturnNode;
  29 import org.graalvm.compiler.nodes.StructuredGraph;
  30 import org.graalvm.compiler.nodes.StructuredGraph.AllowAssumptions;
  31 import org.graalvm.compiler.phases.OptimisticOptimizations;
  32 import org.graalvm.compiler.phases.OptimisticOptimizations.Optimization;
  33 import org.graalvm.compiler.phases.common.CanonicalizerPhase;
  34 import org.graalvm.compiler.phases.tiers.HighTierContext;
  35 import org.graalvm.compiler.phases.tiers.PhaseContext;
  36 import org.junit.Test;
  37 
  38 public class MergeCanonicalizerTest extends GraalCompilerTest {
  39 
  40     /**
  41      * These tests assume all code paths are reachable so disable profile based dead code removal.
  42      */
  43     @Override
  44     protected HighTierContext getDefaultHighTierContext() {
  45         return new HighTierContext(getProviders(), getDefaultGraphBuilderSuite(), OptimisticOptimizations.ALL.remove(Optimization.RemoveNeverExecutedCode));
  46     }
  47 
  48     public static int staticField;
  49 
  50     private int field;
  51 
  52     @Test
  53     public void testSplitReturn() {
  54         test("testSplitReturnSnippet", 2);
  55         testReturnCount("testSplitReturnSnippet", 2);
  56     }
  57 
  58     public int testSplitReturnSnippet(int b) {
  59         int v;
  60         if (b < 0) {
  61             staticField = 1;
  62             v = 10;
  63         } else {
  64             staticField = 2;
  65             v = 20;
  66         }
  67         int i = field;
  68         i = field + i;
  69         return v;
  70     }
  71 
  72     private void testReturnCount(String snippet, int returnCount) {
  73         StructuredGraph graph = parseEager(snippet, AllowAssumptions.YES);
  74         new CanonicalizerPhase().apply(graph, new PhaseContext(getProviders()));
  75         new CanonicalizerPhase().apply(graph, new PhaseContext(getProviders()));
  76         graph.getDebug().dump(DebugContext.BASIC_LEVEL, graph, "Graph");
  77         assertDeepEquals(returnCount, graph.getNodes(ReturnNode.TYPE).count());
  78     }
  79 }