1 /*
   2  * Copyright (c) 2011, 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.junit.Test;
  28 
  29 import org.graalvm.compiler.graph.IterableNodeType;
  30 import org.graalvm.compiler.graph.Node;
  31 import org.graalvm.compiler.nodes.StructuredGraph;
  32 import org.graalvm.compiler.nodes.StructuredGraph.AllowAssumptions;
  33 import org.graalvm.compiler.phases.common.CanonicalizerPhase;
  34 import org.graalvm.compiler.phases.tiers.PhaseContext;
  35 
  36 public class ReassociateAndCanonicalTest extends GraalCompilerTest {
  37 
  38     public static int rnd = (int) (Math.random() * 100);
  39 
  40     @Test
  41     public void test1() {
  42         test("test1Snippet", "ref1Snippet");
  43     }
  44 
  45     public static int test1Snippet() {
  46         return 1 + (rnd + 2);
  47     }
  48 
  49     public static int ref1Snippet() {
  50         return rnd + 3;
  51     }
  52 
  53     @Test
  54     public void test2() {
  55         test("test2Snippet", "ref2Snippet");
  56     }
  57 
  58     public static int test2Snippet() {
  59         return rnd + 3;
  60     }
  61 
  62     public static int ref2Snippet() {
  63         return (rnd + 2) + 1;
  64     }
  65 
  66     @Test
  67     public void test3() {
  68         test("test3Snippet", "ref3Snippet");
  69     }
  70 
  71     public static int test3Snippet() {
  72         return rnd + 3;
  73     }
  74 
  75     public static int ref3Snippet() {
  76         return 1 + (2 + rnd);
  77     }
  78 
  79     @Test
  80     public void test4() {
  81         test("test4Snippet", "ref4Snippet");
  82     }
  83 
  84     public static int test4Snippet() {
  85         return rnd + 3;
  86     }
  87 
  88     public static int ref4Snippet() {
  89         return (2 + rnd) + 1;
  90     }
  91 
  92     @Test
  93     public void test5() {
  94         test("test5Snippet", "ref5Snippet");
  95     }
  96 
  97     public static int test5Snippet() {
  98         return -1 - rnd;
  99     }
 100 
 101     public static int ref5Snippet() {
 102         return 1 - (rnd + 2);
 103     }
 104 
 105     @Test
 106     public void test6() {
 107         test("test6Snippet", "ref6Snippet");
 108     }
 109 
 110     public static int test6Snippet() {
 111         return rnd + 1;
 112     }
 113 
 114     public static int ref6Snippet() {
 115         return (rnd + 2) - 1;
 116     }
 117 
 118     @Test
 119     public void test7() {
 120         test("test7Snippet", "ref7Snippet");
 121     }
 122 
 123     public static int test7Snippet() {
 124         return -1 - rnd;
 125     }
 126 
 127     public static int ref7Snippet() {
 128         return 1 - (2 + rnd);
 129     }
 130 
 131     @Test
 132     public void test8() {
 133         test("test8Snippet", "ref8Snippet");
 134     }
 135 
 136     public static int test8Snippet() {
 137         return rnd + 1;
 138     }
 139 
 140     public static int ref8Snippet() {
 141         return (2 + rnd) - 1;
 142     }
 143 
 144     @Test
 145     public void test9() {
 146         test("test9Snippet", "ref9Snippet");
 147     }
 148 
 149     public static int test9Snippet() {
 150         return rnd - 1;
 151     }
 152 
 153     public static int ref9Snippet() {
 154         return 1 + (rnd - 2);
 155     }
 156 
 157     @Test
 158     public void test10() {
 159         test("test10Snippet", "ref10Snippet");
 160     }
 161 
 162     public static int test10Snippet() {
 163         return rnd - 1;
 164     }
 165 
 166     public static int ref10Snippet() {
 167         return (rnd - 2) + 1;
 168     }
 169 
 170     @Test
 171     public void test11() {
 172         test("test11Snippet", "ref11Snippet");
 173     }
 174 
 175     public static int test11Snippet() {
 176         return -rnd + 3;
 177     }
 178 
 179     public static int ref11Snippet() {
 180         return 1 + (2 - rnd);
 181     }
 182 
 183     @Test
 184     public void test12() {
 185         test("test12Snippet", "ref12Snippet");
 186     }
 187 
 188     public static int test12Snippet() {
 189         return -rnd + 3;
 190     }
 191 
 192     public static int ref12Snippet() {
 193         return (2 - rnd) + 1;
 194     }
 195 
 196     @Test
 197     public void test13() {
 198         test("test13Snippet", "ref13Snippet");
 199     }
 200 
 201     public static int test13Snippet() {
 202         return -rnd + 3;
 203     }
 204 
 205     public static int ref13Snippet() {
 206         return 1 - (rnd - 2);
 207     }
 208 
 209     @Test
 210     public void test14() {
 211         test("test14Snippet", "ref14Snippet");
 212     }
 213 
 214     public static int test14Snippet() {
 215         return rnd - 3;
 216     }
 217 
 218     public static int ref14Snippet() {
 219         return (rnd - 2) - 1;
 220     }
 221 
 222     @Test
 223     public void test15() {
 224         test("test15Snippet", "ref15Snippet");
 225     }
 226 
 227     public static int test15Snippet() {
 228         return rnd + -1;
 229     }
 230 
 231     public static int ref15Snippet() {
 232         return 1 - (2 - rnd);
 233     }
 234 
 235     @Test
 236     public void test16() {
 237         test("test16Snippet", "ref16Snippet");
 238     }
 239 
 240     public static int test16Snippet() {
 241         return -rnd + 1;
 242     }
 243 
 244     public static int ref16Snippet() {
 245         return (2 - rnd) - 1;
 246     }
 247 
 248     private <T extends Node & IterableNodeType> void test(String test, String ref) {
 249         StructuredGraph testGraph = parseEager(test, AllowAssumptions.NO);
 250         new CanonicalizerPhase().apply(testGraph, new PhaseContext(getProviders()));
 251         StructuredGraph refGraph = parseEager(ref, AllowAssumptions.NO);
 252         new CanonicalizerPhase().apply(refGraph, new PhaseContext(getProviders()));
 253         assertEquals(testGraph, refGraph);
 254     }
 255 }