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

annotate truffle/com.oracle.truffle.api.dsl.test/src/com/oracle/truffle/api/dsl/test/MethodGuardsTest.java @ 22548:6b76a24fffbd default tip

Use all variables: a, b, u,v and x, y

author	Jaroslav Tulach <jaroslav.tulach@oracle.com>
date	Thu, 14 Jan 2016 14:20:57 +0100
parents	5309cc9668e3
children

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
22241 14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation" Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 22157 diff changeset	25 import static com.oracle.truffle.api.dsl.test.TestHelper.createCallTarget;
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation" Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 22157 diff changeset	26 import static com.oracle.truffle.api.dsl.test.TestHelper.getNode;
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation" Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 22157 diff changeset	27 import static org.junit.Assert.assertEquals;
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation" Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 22157 diff changeset	28 import static org.junit.Assert.fail;
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation" Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 22157 diff changeset	29
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation" Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 22157 diff changeset	30 import org.junit.Test;
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation" Michael Van De Vanter <michael.van.de.vanter@oracle.com> parents: 22157 diff changeset	31
22157 dc83cc1f94f2 Using fully qualified imports Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21951 diff changeset	32 import com.oracle.truffle.api.CallTarget;
dc83cc1f94f2 Using fully qualified imports Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21951 diff changeset	33 import com.oracle.truffle.api.dsl.NodeChild;
dc83cc1f94f2 Using fully qualified imports Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21951 diff changeset	34 import com.oracle.truffle.api.dsl.Specialization;
19289 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;
20171 9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	37 import com.oracle.truffle.api.dsl.test.MethodGuardsTestFactory.GuardEqualByteIntTestFactory;
20170 953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	38 import com.oracle.truffle.api.dsl.test.MethodGuardsTestFactory.GuardEqualIntLongTestFactory;
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	39 import com.oracle.truffle.api.dsl.test.MethodGuardsTestFactory.GuardEqualLongIntTestFactory;
20171 9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	40 import com.oracle.truffle.api.dsl.test.MethodGuardsTestFactory.GuardEqualShortIntTestFactory;
19289 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.GuardEqualTestFactory;
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.GuardFieldTestFactory;
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.GuardGreaterEqualTestFactory;
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.GuardGreaterTestFactory;
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.GuardLessEqualTestFactory;
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.GuardLessTestFactory;
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.GuardMethodTestFactory;
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.GuardMultipleAndMethodTestFactory;
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.GuardMultipleOrMethodTestFactory;
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	50 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	51 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	52 import com.oracle.truffle.api.dsl.test.MethodGuardsTestFactory.GuardStaticFieldTestFactory;
21011 a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	53 import com.oracle.truffle.api.dsl.test.MethodGuardsTestFactory.GuardStaticFinalFieldCompareTestFactory;
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	54 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	55 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	56
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	57 @SuppressWarnings("unused")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	58 public class MethodGuardsTest {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	59
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	60 @Test
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	61 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	62 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	63 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	64 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	65 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	66 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	67
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	68 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	69 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	70 @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	71 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	72 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	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
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	75 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	76 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	77 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	78 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	79 }
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	80
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	81 @Test
20170 953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	82 public void testGuardEqualIntLong() {
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	83 CallTarget root = createCallTarget(GuardEqualIntLongTestFactory.getInstance());
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	84 assertEquals("do1", root.call(1));
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	85 assertEquals("do2", root.call(2));
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	86 assertEquals("do1", root.call(1));
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	87 }
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	88
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	89 @NodeChild
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	90 static class GuardEqualIntLongTest extends ValueNode {
20171 9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	91 @Specialization(guards = "1 == value")
20170 953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	92 static String do1(long value) {
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	93 return "do1";
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	94 }
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	95
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	96 @Specialization
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	97 static String do2(long value) {
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	98 return "do2";
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	99 }
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	100 }
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	101
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	102 @Test
20171 9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	103 public void testGuardEqualByteInt() {
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	104 CallTarget root = createCallTarget(GuardEqualByteIntTestFactory.getInstance());
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	105 assertEquals("do1", root.call((byte) 1));
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	106 assertEquals("do2", root.call((byte) 2));
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	107 assertEquals("do1", root.call((byte) 1));
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	108 }
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	109
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	110 @NodeChild
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	111 static class GuardEqualByteIntTest extends ValueNode {
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	112 @Specialization(guards = "value == 1")
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	113 static String do1(byte value) {
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	114 return "do1";
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	115 }
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	116
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	117 @Specialization
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	118 static String do2(byte value) {
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	119 return "do2";
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	120 }
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	121 }
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	122
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	123 @Test
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	124 public void testGuardEqualShortInt() {
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	125 CallTarget root = createCallTarget(GuardEqualShortIntTestFactory.getInstance());
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	126 assertEquals("do1", root.call((short) 1));
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	127 assertEquals("do2", root.call((short) 2));
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	128 assertEquals("do1", root.call((short) 1));
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	129 }
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	130
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	131 @NodeChild
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	132 static class GuardEqualShortIntTest extends ValueNode {
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	133 @Specialization(guards = "value == 1")
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	134 static String do1(short value) {
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	135 return "do1";
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	136 }
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	137
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	138 @Specialization
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	139 static String do2(short value) {
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	140 return "do2";
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	141 }
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	142 }
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	143
9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	144 @Test
20170 953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	145 public void testGuardEqualLongInt() {
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	146 CallTarget root = createCallTarget(GuardEqualLongIntTestFactory.getInstance());
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	147 assertEquals("do1", root.call(1));
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	148 assertEquals("do2", root.call(2));
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	149 assertEquals("do1", root.call(1));
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	150 }
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	151
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	152 @NodeChild
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	153 static class GuardEqualLongIntTest extends ValueNode {
20171 9ca538e3e46e DSL: add tests for comparing against a byte and a short in guards. Chris Seaton <chris.seaton@oracle.com> parents: 20170 diff changeset	154 @Specialization(guards = "value == 1")
20170 953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	155 static String do1(long value) {
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	156 return "do1";
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	157 }
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	158
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	159 @Specialization
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	160 static String do2(long value) {
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	161 return "do2";
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	162 }
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	163 }
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	164
953c813b8e7a DSL: allow comparison of different integral types. Chris Seaton <chris.seaton@oracle.com> parents: 19289 diff changeset	165 @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	166 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	167 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	168 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	169 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	170 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	171 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	172 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	173
18784 3c7d543d758d Truffle-DSL: minor cleanup to the guard test. Christian Humer <christian.humer@gmail.com> parents: 16851 diff changeset	174 @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	175 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	176 @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	177 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	178 return "do1";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	179 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	180
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	181 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	182 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	183 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	184 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	185 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	186
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	187 @Test
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	188 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	189 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	190 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	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("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	193 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	194 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	195
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	196 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	197 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	198 @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	199 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	200 return "do1";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	201 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	202
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	203 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	204 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	205 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	206 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	207 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	208
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	209 @Test
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	210 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	211 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	212 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	213 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	214 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	215 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	216 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	217
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	218 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	219 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	220 @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	221 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	222 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	223 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	224
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	225 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	226 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	227 return "do2";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	228 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	229 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	230
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	231 @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	232 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	233 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	234 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	235 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	236 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	237 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	238 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	239
18784 3c7d543d758d Truffle-DSL: minor cleanup to the guard test. Christian Humer <christian.humer@gmail.com> parents: 16851 diff changeset	240 @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	241 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	242 @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	243 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	244 return "do1";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	245 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	246
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	247 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	248 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	249 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	250 }
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 @Test
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	254 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	255 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	256 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	257 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	258 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	259 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	260 }
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 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	263 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	264 @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	265 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	266 return "do1";
16756 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
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	269 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	270 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	271 return "do2";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	272 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	273 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	274
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	275 @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	276 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	277 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	278 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	279 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	280 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	281 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	282 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	283
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	284 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	285 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	286 @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	287 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	288 return "do1";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	289 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	290
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	291 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	292 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	293 return "do2";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	294 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	295 }
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 @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	298 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	299 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	300 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	301 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	302 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	303 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	304
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	305 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	306 try {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	307 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	308 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	309 } 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	310 }
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	311 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	312
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	313 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	314 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	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 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	317
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	318 @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	319 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	320 return "do1";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	321 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	322
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	323 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	324 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	325 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	326 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	327 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	328
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	329 @Test
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	330 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	331 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	332 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	333 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	334 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	335 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	336
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	337 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	338 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	339 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	340 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	341
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	342 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	343 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	344
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	345 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	346
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	347 @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	348 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	349 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	350 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	351
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	352 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	353 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	354 return "do2";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	355 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	356 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	357
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	358 @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	359 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	360 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	361 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	362 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	363 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	364 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	365 try {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	366 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	367 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	368 } 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	369 }
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	370 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	371
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	372 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	373 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	374
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	375 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	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 @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	378 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	379 return "do1";
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
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	382 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	383 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	384 return "do2";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	385 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	386 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	387
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	388 @Test
21011 a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	389 public void testGuardStaticFinalFieldCompare() {
a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	390 CallTarget root = createCallTarget(GuardStaticFinalFieldCompareTestFactory.getInstance());
a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	391 GuardStaticFieldTest.field = true;
a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	392 assertEquals("do1", root.call(1));
a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	393 assertEquals("do2", root.call(2));
a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	394 }
a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	395
a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	396 @NodeChild
a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	397 static class GuardStaticFinalFieldCompareTest extends ValueNode {
a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	398
a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	399 protected static final int FIELD = 1;
a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	400
a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	401 @Specialization(guards = "value == FIELD")
a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	402 static String do1(int value) {
a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	403 return "do1";
a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	404 }
a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	405
a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	406 @Specialization(guards = "value != FIELD")
a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	407 static String do2(int value) {
a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	408 return "do2";
a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	409 }
a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	410 }
a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	411
a84d57d27727 DSL: test for using a static field in a guard. Chris Seaton <chris.seaton@oracle.com> parents: 20171 diff changeset	412 @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	413 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	414 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	415 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	416 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	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("do2", root.call(0));
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	419 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	420
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	421 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	422 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	423
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	424 @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	425 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	426 return "do1";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	427 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	428
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	429 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	430 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	431 return "do2";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	432 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	433
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	434 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	435 return value == 1;
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	436 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	437 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	438
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	439 @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	440 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	441 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	442 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	443 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	444 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	445 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	446 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	447 try {
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	448 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	449 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	450 } 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	451 }
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	452 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	453
19289 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 GuardUnboundMethodTest extends ValueNode {
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	456
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	457 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	458
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	459 @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	460 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	461 return "do1";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	462 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	463
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	464 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	465 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	466 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	467 }
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 @Test
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	470 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	471 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	472 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	473 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	474 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	475 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	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 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	479 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	480
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	481 @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	482 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	483 return "do1";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	484 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	485
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	486 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	487 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	488 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	489 }
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 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	492 return value == 1;
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	493 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	494 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	495
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	496 @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	497 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	498 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	499 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	500 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	501 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	502 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	503 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	504
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	505 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	506 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	507
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	508 @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	509 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	510 return "do1";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	511 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	512
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	513 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	514 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	515 return "do2";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	516 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	517
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	518 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	519 return value >= 1;
16830 c3c07046a74b Truffle-DSL: fixed guard solve of guards for interfaces. Christian Humer <christian.humer@gmail.com> parents: 16760 diff changeset	520 }
c3c07046a74b Truffle-DSL: fixed guard solve of guards for interfaces. Christian Humer <christian.humer@gmail.com> parents: 16760 diff changeset	521
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	522 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	523 return value <= 2;
16830 c3c07046a74b Truffle-DSL: fixed guard solve of guards for interfaces. Christian Humer <christian.humer@gmail.com> parents: 16760 diff changeset	524 }
c3c07046a74b Truffle-DSL: fixed guard solve of guards for interfaces. Christian Humer <christian.humer@gmail.com> parents: 16760 diff changeset	525 }
c3c07046a74b Truffle-DSL: fixed guard solve of guards for interfaces. Christian Humer <christian.humer@gmail.com> parents: 16760 diff changeset	526
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	527 @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	528 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	529 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	530 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	531 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	532 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	533 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	534 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	535
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	536 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	537 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	538
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	539 @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	540 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	541 return "do1";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	542 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	543
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	544 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	545 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	546 return "do2";
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	547 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	548
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	549 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	550 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	551 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	552
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	553 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	554 return value == 2;
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	555 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	556 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	557
19289 62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	558 @Test
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	559 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	560 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	561 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	562 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	563 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	564 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	565 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	566
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	567 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	568 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	569
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	570 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	571 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	572
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	573 @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	574 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	575 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	576 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	577
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	578 @Specialization
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	579 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	580 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	581 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	582
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	583 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	584 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	585 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	586
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	587 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	588 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	589 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	590 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	591
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	592 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	593 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	594 @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	595 @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	596 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	597 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	598 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	599 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	600
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	601 @NodeChild
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	602 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	603
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	604 @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	605 @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	606 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	607 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	608 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	609
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	610 }
62c43fcf5be2 Truffle-DSL: implement @Cached and fixes for the new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 19283 diff changeset	611
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	612 }

Mercurial > hg > truffle

annotate truffle/com.oracle.truffle.api.dsl.test/src/com/oracle/truffle/api/dsl/test/MethodGuardsTest.java @ 22548:6b76a24fffbd default tip