graal-compiler: graal/com.oracle.truffle.api.dsl.test/src/com/oracle/truffle/api/dsl/test/MethodGuardsTest.java annotate

annotate graal/com.oracle.truffle.api.dsl.test/src/com/oracle/truffle/api/dsl/test/MethodGuardsTest.java @ 20121:5f533a5c2aaf

Merge.

author	Doug Simon <doug.simon@oracle.com>
date	Wed, 01 Apr 2015 17:36:51 +0200
parents	62c43fcf5be2
children	953c813b8e7a

rev	line source
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1 /*
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	2 * Copyright (c) 2012, 2012, Oracle and/or its affiliates. All rights reserved.
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	4 *
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	5 * This code is free software; you can redistribute it and/or modify it
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	6 * under the terms of the GNU General Public License version 2 only, as
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	7 * published by the Free Software Foundation.
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	8 *
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	9 * This code is distributed in the hope that it will be useful, but WITHOUT
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	12 * version 2 for more details (a copy is included in the LICENSE file that
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	13 * accompanied this code).
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	14 *
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	15 * You should have received a copy of the GNU General Public License version
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	16 * 2 along with this work; if not, write to the Free Software Foundation,
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	18 *
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	20 * or visit www.oracle.com if you need additional information or have any
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	21 * questions.
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	22 */
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	23 package com.oracle.truffle.api.dsl.test;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	24
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	25 import static com.oracle.truffle.api.dsl.test.TestHelper.*;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	26 import static org.junit.Assert.*;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	27
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	28 import org.junit.*;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	29
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	30 import com.oracle.truffle.api.*;
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	31 import com.oracle.truffle.api.dsl.*;
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	32 import com.oracle.truffle.api.dsl.test.LimitTestFactory.ConstantLimitTestFactory;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	33 import com.oracle.truffle.api.dsl.test.LimitTestFactory.LocalLimitTestFactory;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	34 import com.oracle.truffle.api.dsl.test.LimitTestFactory.MethodLimitTestFactory;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	35 import com.oracle.truffle.api.dsl.test.MethodGuardsTestFactory.GuardCompareWithFieldTestFactory;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	36 import com.oracle.truffle.api.dsl.test.MethodGuardsTestFactory.GuardComplexTestFactory;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	37 import com.oracle.truffle.api.dsl.test.MethodGuardsTestFactory.GuardEqualTestFactory;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	38 import com.oracle.truffle.api.dsl.test.MethodGuardsTestFactory.GuardFieldTestFactory;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	39 import com.oracle.truffle.api.dsl.test.MethodGuardsTestFactory.GuardGreaterEqualTestFactory;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	40 import com.oracle.truffle.api.dsl.test.MethodGuardsTestFactory.GuardGreaterTestFactory;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	41 import com.oracle.truffle.api.dsl.test.MethodGuardsTestFactory.GuardLessEqualTestFactory;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	42 import com.oracle.truffle.api.dsl.test.MethodGuardsTestFactory.GuardLessTestFactory;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	43 import com.oracle.truffle.api.dsl.test.MethodGuardsTestFactory.GuardMethodTestFactory;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	44 import com.oracle.truffle.api.dsl.test.MethodGuardsTestFactory.GuardMultipleAndMethodTestFactory;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	45 import com.oracle.truffle.api.dsl.test.MethodGuardsTestFactory.GuardMultipleOrMethodTestFactory;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	46 import com.oracle.truffle.api.dsl.test.MethodGuardsTestFactory.GuardNotTestFactory;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	47 import com.oracle.truffle.api.dsl.test.MethodGuardsTestFactory.GuardOrTestFactory;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	48 import com.oracle.truffle.api.dsl.test.MethodGuardsTestFactory.GuardStaticFieldTestFactory;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	49 import com.oracle.truffle.api.dsl.test.MethodGuardsTestFactory.GuardUnboundMethodTestFactory;
18784 3c7d543d758d Truffle-DSL: minor cleanup to the guard test. Christian Humer <christian.humer@gmail.com> parents: 16851 diff changeset	50 import com.oracle.truffle.api.dsl.test.TypeSystemTest.ValueNode;
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	51
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	52 @SuppressWarnings("unused")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	53 public class MethodGuardsTest {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	54
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	55 @Test
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	56 public void testGuardEqual() {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	57 CallTarget root = createCallTarget(GuardEqualTestFactory.getInstance());
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	58 assertEquals("do1", root.call(1));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	59 assertEquals("do2", root.call(2));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	60 assertEquals("do1", root.call(1));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	61 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	62
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	63 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	64 static class GuardEqualTest extends ValueNode {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	65 @Specialization(guards = "value == 1")
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	66 static String do1(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	67 return "do1";
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	68 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	69
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	70 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	71 static String do2(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	72 return "do2";
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	73 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	74 }
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	75
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	76 @Test
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	77 public void testGuardLessEqual() {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	78 CallTarget root = createCallTarget(GuardLessEqualTestFactory.getInstance());
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	79 assertEquals("do1", root.call(1));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	80 assertEquals("do1", root.call(0));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	81 assertEquals("do2", root.call(2));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	82 assertEquals("do1", root.call(0));
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	83 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	84
18784 3c7d543d758d Truffle-DSL: minor cleanup to the guard test. Christian Humer <christian.humer@gmail.com> parents: 16851 diff changeset	85 @NodeChild
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	86 static class GuardLessEqualTest extends ValueNode {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	87 @Specialization(guards = "value <= 1")
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	88 static String do1(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	89 return "do1";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	90 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	91
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	92 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	93 static String do2(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	94 return "do2";
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	95 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	96 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	97
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	98 @Test
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	99 public void testGuardLess() {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	100 CallTarget root = createCallTarget(GuardLessTestFactory.getInstance());
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	101 assertEquals("do1", root.call(0));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	102 assertEquals("do2", root.call(1));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	103 assertEquals("do2", root.call(2));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	104 assertEquals("do1", root.call(-1));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	105 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	106
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	107 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	108 static class GuardLessTest extends ValueNode {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	109 @Specialization(guards = "value < 1")
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	110 static String do1(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	111 return "do1";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	112 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	113
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	114 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	115 static String do2(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	116 return "do2";
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	117 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	118 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	119
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	120 @Test
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	121 public void testGuardGreaterEqual() {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	122 CallTarget root = createCallTarget(GuardGreaterEqualTestFactory.getInstance());
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	123 assertEquals("do1", root.call(1));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	124 assertEquals("do2", root.call(0));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	125 assertEquals("do1", root.call(2));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	126 assertEquals("do2", root.call(0));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	127 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	128
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	129 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	130 static class GuardGreaterEqualTest extends ValueNode {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	131 @Specialization(guards = "value >= 1")
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	132 static String do1(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	133 return "do1";
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	134 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	135
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	136 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	137 static String do2(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	138 return "do2";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	139 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	140 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	141
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	142 @Test
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	143 public void testGuardGreater() {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	144 CallTarget root = createCallTarget(GuardGreaterTestFactory.getInstance());
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	145 assertEquals("do1", root.call(2));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	146 assertEquals("do2", root.call(0));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	147 assertEquals("do2", root.call(1));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	148 assertEquals("do2", root.call(0));
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	149 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	150
18784 3c7d543d758d Truffle-DSL: minor cleanup to the guard test. Christian Humer <christian.humer@gmail.com> parents: 16851 diff changeset	151 @NodeChild
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	152 static class GuardGreaterTest extends ValueNode {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	153 @Specialization(guards = "value > 1")
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	154 static String do1(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	155 return "do1";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	156 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	157
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	158 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	159 static String do2(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	160 return "do2";
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	161 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	162 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	163
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	164 @Test
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	165 public void testGuardOr() {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	166 CallTarget root = createCallTarget(GuardOrTestFactory.getInstance());
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	167 assertEquals("do1", root.call(1));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	168 assertEquals("do1", root.call(0));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	169 assertEquals("do2", root.call(2));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	170 assertEquals("do2", root.call(-1));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	171 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	172
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	173 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	174 static class GuardOrTest extends ValueNode {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	175 @Specialization(guards = "value == 1 \|\| value == 0")
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	176 static String do1(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	177 return "do1";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	178 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	179
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	180 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	181 static String do2(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	182 return "do2";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	183 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	184 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	185
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	186 @Test
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	187 public void testGuardNot() {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	188 CallTarget root = createCallTarget(GuardNotTestFactory.getInstance());
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	189 assertEquals("do1", root.call(0));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	190 assertEquals("do1", root.call(2));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	191 assertEquals("do2", root.call(1));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	192 assertEquals("do1", root.call(0));
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	193 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	194
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	195 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	196 static class GuardNotTest extends ValueNode {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	197 @Specialization(guards = "!(value == 1)")
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	198 static String do1(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	199 return "do1";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	200 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	201
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	202 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	203 static String do2(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	204 return "do2";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	205 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	206 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	207
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	208 @Test
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	209 public void testGuardField() {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	210 CallTarget root = createCallTarget(GuardFieldTestFactory.getInstance());
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	211 GuardFieldTest node = getNode(root);
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	212 node.field = true;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	213 assertEquals("do1", root.call(0));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	214 assertEquals("do1", root.call(2));
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	215
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	216 node.field = false;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	217 try {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	218 root.call(2);
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	219 fail("expected Assertion failed");
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	220 } catch (AssertionError e) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	221 }
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	222 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	223
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	224 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	225 static class GuardFieldTest extends ValueNode {
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	226
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	227 boolean field;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	228
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	229 @Specialization(guards = "field")
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	230 static String do1(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	231 return "do1";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	232 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	233
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	234 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	235 static String do2(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	236 return "do2";
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	237 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	238 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	239
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	240 @Test
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	241 public void testGuardCompareWithField() {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	242 CallTarget root = createCallTarget(GuardCompareWithFieldTestFactory.getInstance());
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	243 GuardCompareWithFieldTest node = getNode(root);
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	244 node.field = 1;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	245 assertEquals("do1", root.call(1));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	246 assertEquals("do2", root.call(2));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	247
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	248 node.field = 2;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	249 assertEquals("do2", root.call(1));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	250 assertEquals("do1", root.call(2));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	251 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	252
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	253 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	254 static class GuardCompareWithFieldTest extends ValueNode {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	255
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	256 int field;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	257
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	258 @Specialization(guards = "value == field")
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	259 static String do1(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	260 return "do1";
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	261 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	262
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	263 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	264 static String do2(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	265 return "do2";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	266 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	267 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	268
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	269 @Test
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	270 public void testGuardStaticField() {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	271 CallTarget root = createCallTarget(GuardStaticFieldTestFactory.getInstance());
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	272 GuardStaticFieldTest.field = true;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	273 assertEquals("do1", root.call(1));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	274 assertEquals("do1", root.call(2));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	275 GuardStaticFieldTest.field = false;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	276 try {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	277 root.call(2);
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	278 fail("expected Assertion failed");
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	279 } catch (AssertionError e) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	280 }
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	281 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	282
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	283 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	284 static class GuardStaticFieldTest extends ValueNode {
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	285
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	286 static boolean field;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	287
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	288 @Specialization(guards = "field")
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	289 static String do1(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	290 return "do1";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	291 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	292
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	293 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	294 static String do2(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	295 return "do2";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	296 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	297 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	298
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	299 @Test
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	300 public void testGuardMethod() {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	301 CallTarget root = createCallTarget(GuardMethodTestFactory.getInstance());
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	302 assertEquals("do1", root.call(1));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	303 assertEquals("do2", root.call(2));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	304 assertEquals("do1", root.call(1));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	305 assertEquals("do2", root.call(0));
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	306 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	307
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	308 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	309 static class GuardMethodTest extends ValueNode {
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	310
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	311 @Specialization(guards = "method(value)")
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	312 static String do1(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	313 return "do1";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	314 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	315
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	316 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	317 static String do2(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	318 return "do2";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	319 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	320
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	321 boolean method(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	322 return value == 1;
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	323 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	324 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	325
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	326 @Test
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	327 public void testGuardUnboundMethodField() {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	328 CallTarget root = createCallTarget(GuardUnboundMethodTestFactory.getInstance());
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	329 GuardUnboundMethodTest node = getNode(root);
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	330 node.hiddenValue = true;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	331 assertEquals("do1", root.call(1));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	332 assertEquals("do1", root.call(2));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	333 node.hiddenValue = false;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	334 try {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	335 root.call(2);
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	336 fail("expected Assertion failed");
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	337 } catch (AssertionError e) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	338 }
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	339 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	340
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	341 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	342 static class GuardUnboundMethodTest extends ValueNode {
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	343
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	344 private boolean hiddenValue;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	345
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	346 @Specialization(guards = "method()")
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	347 static String do1(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	348 return "do1";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	349 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	350
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	351 boolean method() {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	352 return hiddenValue;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	353 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	354 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	355
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	356 @Test
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	357 public void testStaticGuardMethod() {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	358 CallTarget root = createCallTarget(GuardMethodTestFactory.getInstance());
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	359 assertEquals("do1", root.call(1));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	360 assertEquals("do2", root.call(2));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	361 assertEquals("do1", root.call(1));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	362 assertEquals("do2", root.call(0));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	363 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	364
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	365 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	366 static class StaticGuardMethodTest extends ValueNode {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	367
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	368 @Specialization(guards = "method(value)")
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	369 static String do1(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	370 return "do1";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	371 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	372
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	373 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	374 static String do2(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	375 return "do2";
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	376 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	377
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	378 static boolean method(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	379 return value == 1;
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	380 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	381 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	382
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	383 @Test
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	384 public void testMultipleGuardAndMethod() {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	385 CallTarget root = createCallTarget(GuardMultipleAndMethodTestFactory.getInstance());
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	386 assertEquals("do1", root.call(1));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	387 assertEquals("do1", root.call(2));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	388 assertEquals("do2", root.call(3));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	389 assertEquals("do2", root.call(0));
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	390 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	391
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	392 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	393 static class GuardMultipleAndMethodTest extends ValueNode {
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	394
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	395 @Specialization(guards = {"method1(value)", "method2(value)"})
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	396 static String do1(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	397 return "do1";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	398 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	399
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	400 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	401 static String do2(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	402 return "do2";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	403 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	404
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	405 boolean method1(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	406 return value >= 1;
16830 c3c07046a74b Truffle-DSL: fixed guard solve of guards for interfaces. Christian Humer <christian.humer@gmail.com> parents: 16760 diff changeset	407 }
c3c07046a74b Truffle-DSL: fixed guard solve of guards for interfaces. Christian Humer <christian.humer@gmail.com> parents: 16760 diff changeset	408
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	409 boolean method2(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	410 return value <= 2;
16830 c3c07046a74b Truffle-DSL: fixed guard solve of guards for interfaces. Christian Humer <christian.humer@gmail.com> parents: 16760 diff changeset	411 }
c3c07046a74b Truffle-DSL: fixed guard solve of guards for interfaces. Christian Humer <christian.humer@gmail.com> parents: 16760 diff changeset	412 }
c3c07046a74b Truffle-DSL: fixed guard solve of guards for interfaces. Christian Humer <christian.humer@gmail.com> parents: 16760 diff changeset	413
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	414 @Test
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	415 public void testMultipleGuardOrMethod() {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	416 CallTarget root = createCallTarget(GuardMultipleOrMethodTestFactory.getInstance());
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	417 assertEquals("do1", root.call(1));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	418 assertEquals("do1", root.call(2));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	419 assertEquals("do2", root.call(3));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	420 assertEquals("do2", root.call(0));
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	421 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	422
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	423 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	424 static class GuardMultipleOrMethodTest extends ValueNode {
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	425
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	426 @Specialization(guards = {"method1(value) \|\| method2(value)"})
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	427 static String do1(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	428 return "do1";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	429 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	430
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	431 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	432 static String do2(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	433 return "do2";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	434 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	435
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	436 boolean method1(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	437 return value == 1;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	438 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	439
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	440 boolean method2(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	441 return value == 2;
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	442 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	443 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	444
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	445 @Test
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	446 public void testComplexGuard() {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	447 CallTarget root = createCallTarget(GuardComplexTestFactory.getInstance());
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	448 assertEquals("do1", root.call(1));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	449 assertEquals("do1", root.call(2));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	450 assertEquals("do2", root.call(3));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	451 assertEquals("do1", root.call(0));
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	452 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	453
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	454 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	455 static class GuardComplexTest extends ValueNode {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	456
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	457 int field1 = 1;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	458 static int field2 = 2;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	459
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	460 @Specialization(guards = {"method2(method1(field1 == 1), value <= 2)", "field2 == 2"})
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	461 static String do1(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	462 return "do1";
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	463 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	464
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	465 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	466 static String do2(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	467 return "do2";
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	468 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	469
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	470 static boolean method1(boolean value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	471 return value;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	472 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	473
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	474 boolean method2(boolean value1, boolean value2) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	475 return value1 && value2;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	476 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	477 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	478
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	479 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	480 static class ErrorGuardNotTest extends ValueNode {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	481 @ExpectError("Error parsing expression '!value == 1': The operator ! is undefined for the argument type int.")
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	482 @Specialization(guards = "!value == 1")
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	483 static String do1(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	484 return "do1";
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	485 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	486 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	487
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	488 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	489 static class ErrorIncompatibleReturnTypeTest extends ValueNode {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	490
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	491 @ExpectError("Incompatible return type int. Guards must return boolean.")
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	492 @Specialization(guards = "1")
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	493 static String do1(int value) {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	494 return "do1";
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	495 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	496
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	497 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	498
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	499 }

Mercurial > hg > graal-compiler

annotate graal/com.oracle.truffle.api.dsl.test/src/com/oracle/truffle/api/dsl/test/MethodGuardsTest.java @ 20121:5f533a5c2aaf