1 /*
   2  * Copyright (c) 2015, 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 package org.graalvm.compiler.core.test.ea;
  24 
  25 import org.junit.Test;
  26 
  27 import org.graalvm.compiler.api.directives.GraalDirectives;
  28 import org.graalvm.compiler.code.SourceStackTraceBailoutException;
  29 import org.graalvm.compiler.core.test.GraalCompilerTest;



  30 
  31 public class PEAAssertionsTest extends GraalCompilerTest {








  32 
  33     public static Object field;
  34 
  35     public static void snippet1(int i) {
  36         Integer object = new Integer(i);
  37         GraalDirectives.ensureVirtualized(object);
  38     }
  39 
  40     @Test
  41     public void test1() {
  42         test("snippet1", 1);
  43     }
  44 
  45     public static void snippet2(int i) {
  46         Integer object = new Integer(i);
  47         GraalDirectives.ensureVirtualized(object);
  48         field = object; // assert here
  49     }
  50 
  51     @Test(expected = SourceStackTraceBailoutException.class)
  52     public void test2() {
  53         test("snippet2", 1);
  54     }
  55 
  56     public static void snippet3(int i) {
  57         Integer object = new Integer(i);
  58         field = object;
  59         GraalDirectives.ensureVirtualized(object); // assert here
  60     }
  61 
  62     @Test(expected = SourceStackTraceBailoutException.class)
  63     public void test3() {
  64         test("snippet3", 1);
  65     }
  66 
  67     public static void snippetHere1(int i) {
  68         Integer object = new Integer(i);
  69         GraalDirectives.ensureVirtualizedHere(object);
  70     }
  71 
  72     @Test
  73     public void testHere1() {
  74         test("snippetHere1", 1);
  75     }
  76 
  77     public static void snippetHere2(int i) {
  78         Integer object = new Integer(i);
  79         GraalDirectives.ensureVirtualizedHere(object);
  80         field = object;
  81     }
  82 
  83     @Test
  84     public void testHere2() {
  85         test("snippetHere2", 1);
  86     }
  87 
  88     public static void snippetHere3(int i) {
  89         Integer object = new Integer(i);
  90         field = object;
  91         GraalDirectives.ensureVirtualizedHere(object); // assert here
  92     }
  93 
  94     @Test(expected = SourceStackTraceBailoutException.class)
  95     public void testHere3() {
  96         test("snippetHere3", 1);
  97     }
  98 
  99     public static void snippetBoxing1(int i) {
 100         Integer object = i;
 101         GraalDirectives.ensureVirtualizedHere(object); // assert here
 102     }
 103 
 104     @Test(expected = SourceStackTraceBailoutException.class)
 105     public void testBoxing1() {
 106         test("snippetBoxing1", 1);
 107     }
 108 
 109     public static void snippetBoxing2(int i) {
 110         Integer object = i;
 111         GraalDirectives.ensureVirtualized(object); // assert here
 112         field = object;
 113     }
 114 
 115     @Test(expected = SourceStackTraceBailoutException.class)
 116     public void testBoxing2() {
 117         test("snippetBoxing2", 1);
 118     }
 119 
 120     public static void snippetControlFlow1(boolean b, int i) {
 121         Integer object = new Integer(i);
 122         if (b) {
 123             GraalDirectives.ensureVirtualized(object);
 124         }
 125         GraalDirectives.controlFlowAnchor();
 126         field = object;
 127     }
 128 
 129     @Test
 130     public void testControlFlow1() {
 131         test("snippetControlFlow1", true, 1);
 132     }
 133 
 134     public static void snippetControlFlow2(boolean b, int i) {
 135         Integer object = new Integer(i);
 136         if (b) {
 137             GraalDirectives.ensureVirtualized(object);
 138         } else {
 139             GraalDirectives.ensureVirtualized(object);
 140         }
 141         GraalDirectives.controlFlowAnchor();
 142         field = object; // assert here
 143     }
 144 
 145     @Test(expected = SourceStackTraceBailoutException.class)
 146     public void testControlFlow2() {
 147         test("snippetControlFlow2", true, 1);
 148     }
 149 
 150     public static void snippetControlFlow3(boolean b, int i) {
 151         Integer object = new Integer(i);
 152         GraalDirectives.ensureVirtualized(object);
 153         if (b) {
 154             field = 1;
 155         } else {
 156             field = 2;
 157         }
 158         GraalDirectives.controlFlowAnchor();
 159         field = object; // assert here
 160     }
 161 
 162     @Test(expected = SourceStackTraceBailoutException.class)
 163     public void testControlFlow3() {
 164         test("snippetControlFlow3", true, 1);
 165     }
 166 
 167     public static void snippetControlFlow4(boolean b, int i) {
 168         Integer object = new Integer(i);
 169         if (b) {
 170             field = object;
 171         } else {
 172             field = 2;
 173         }
 174         GraalDirectives.ensureVirtualized(object); // assert here
 175     }
 176 
 177     @Test(expected = SourceStackTraceBailoutException.class)
 178     public void testControlFlow4() {
 179         test("snippetControlFlow4", true, 1);
 180     }
 181 
 182     public static void snippetControlFlow5(boolean b, int i) {
 183         Integer object = new Integer(i);
 184         if (b) {
 185             field = object;
 186         } else {
 187             field = 2;
 188         }
 189         GraalDirectives.ensureVirtualizedHere(object); // assert here
 190     }
 191 
 192     @Test(expected = SourceStackTraceBailoutException.class)
 193     public void testControlFlow5() {
 194         test("snippetControlFlow5", true, 1);
 195     }
 196 
 197     public static final class TestClass {
 198         Object a;
 199         Object b;
 200     }
 201 
 202     public static void snippetIndirect1(boolean b, int i) {
 203         Integer object = new Integer(i);
 204         TestClass t = new TestClass();
 205         t.a = object;
 206         GraalDirectives.ensureVirtualized(object);
 207 
 208         if (b) {
 209             field = t; // assert here
 210         } else {
 211             field = 2;
 212         }
 213     }
 214 
 215     @Test(expected = SourceStackTraceBailoutException.class)
 216     public void testIndirect1() {
 217         test("snippetIndirect1", true, 1);
 218     }
 219 
 220     public static void snippetIndirect2(boolean b, int i) {
 221         Integer object = new Integer(i);
 222         TestClass t = new TestClass();
 223         t.a = object;
 224         GraalDirectives.ensureVirtualized(t);
 225 
 226         if (b) {
 227             field = object;
 228         } else {
 229             field = 2;
 230         }
 231     }
 232 
 233     @Test
 234     public void testIndirect2() {
 235         test("snippetIndirect2", true, 1);
 236     }
 237 }
--- EOF ---