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

annotate truffle/com.oracle.truffle.api.dsl.test/src/com/oracle/truffle/api/dsl/test/ContainsTest.java @ 22241:14e6dfb1ef05

Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation" - Caused by lack of a "vm" known to the Accessor during most testing, making the Instrumenter unavailable, which is now required to create a CallTarget - Modified the Instrumenter/Accessor with a static field that can be reflectively "poked" with a vm value for testing - Create a pair of methods to globally enable/disable testing mode to modify that static field and restore it when tests complete.

author	Michael Van De Vanter <michael.van.de.vanter@oracle.com>
date	Tue, 22 Sep 2015 20:31:19 -0700
parents	dc83cc1f94f2
children	5309cc9668e3

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.array;
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.assertRuns;
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 com.oracle.truffle.api.dsl.test.TestHelper.createRoot;
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 com.oracle.truffle.api.dsl.test.TestHelper.executeWith;
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 import static org.hamcrest.CoreMatchers.is;
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 static org.junit.Assert.assertThat;
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
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	32 import org.junit.After;
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	33 import org.junit.Assert;
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	34 import org.junit.Before;
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	35 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	36
22157 dc83cc1f94f2 Using fully qualified imports Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21951 diff changeset	37 import com.oracle.truffle.api.dsl.NodeChild;
dc83cc1f94f2 Using fully qualified imports Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21951 diff changeset	38 import com.oracle.truffle.api.dsl.NodeChildren;
dc83cc1f94f2 Using fully qualified imports Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21951 diff changeset	39 import com.oracle.truffle.api.dsl.Specialization;
dc83cc1f94f2 Using fully qualified imports Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21951 diff changeset	40 import com.oracle.truffle.api.dsl.internal.DSLNode;
dc83cc1f94f2 Using fully qualified imports Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21951 diff changeset	41 import com.oracle.truffle.api.dsl.internal.SpecializedNode;
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	42 import com.oracle.truffle.api.dsl.test.ContainsTestFactory.Contains1Factory;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	43 import com.oracle.truffle.api.dsl.test.ContainsTestFactory.Contains2Factory;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	44 import com.oracle.truffle.api.dsl.test.ContainsTestFactory.Contains3Factory;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	45 import com.oracle.truffle.api.dsl.test.ContainsTestFactory.Contains4Factory;
16922 0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	46 import com.oracle.truffle.api.dsl.test.ContainsTestFactory.PolymorphicToMonomorphic0Factory;
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	47 import com.oracle.truffle.api.dsl.test.TestHelper.ExecutionListener;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	48 import com.oracle.truffle.api.dsl.test.TypeSystemTest.TestRootNode;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	49 import com.oracle.truffle.api.dsl.test.TypeSystemTest.ValueNode;
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	50 import com.oracle.truffle.api.dsl.test.utilities.InstrumentationTestMode;
22157 dc83cc1f94f2 Using fully qualified imports Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21951 diff changeset	51 import com.oracle.truffle.api.nodes.NodeCost;
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	52
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	53 @SuppressWarnings("unused")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	54 public class ContainsTest {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	55
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	56 @Before
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	57 public void before() throws NoSuchFieldException, SecurityException, IllegalArgumentException, IllegalAccessException {
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	58 InstrumentationTestMode.set(true);
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	59 }
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	60
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	61 @After
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	62 public void after() throws NoSuchFieldException, SecurityException, IllegalArgumentException, IllegalAccessException {
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	63 InstrumentationTestMode.set(false);
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	64 }
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	65
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	66 /*
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	67 * Tests a simple monomorphic inclusion.
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	68 */
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	69 @Test
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	70 public void testContains1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	71 assertRuns(Contains1Factory.getInstance(), //
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	72 array(1, "a", 2, "b"), //
18163 c88ab4f1f04a re-enabled Checkstyle with the release of 6.0 that supports Java 8; fixed existing Checkstyle warnings Doug Simon <doug.simon@oracle.com> parents: 16922 diff changeset	73 array(2, "aa", 3, "ba"), //
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	74 new ExecutionListener() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	75 public void afterExecution(TestRootNode<? extends ValueNode> node, int index, Object value, Object expectedResult, Object actualResult, boolean last) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	76 if (value instanceof String) {
18761 a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18163 diff changeset	77 if (node.getNode() instanceof DSLNode) {
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18163 diff changeset	78 // assert that the final specialization is always Object
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18163 diff changeset	79 Assert.assertEquals(Object.class, ((DSLNode) node.getNode()).getMetadata0().getSpecializedTypes()[0]);
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18163 diff changeset	80 } else {
18778 cb3bdd77c809 Truffle-DSL: fixed class loading test. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	81 Assert.assertTrue(((SpecializedNode) node.getNode()).getSpecializationNode().toString().startsWith("F2Node_"));
18761 a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18163 diff changeset	82 }
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	83 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	84 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	85 });
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	86 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	87
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	88 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	89 abstract static class Contains1 extends ValueNode {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	90
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	91 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	92 int f1(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	93 return a + 1;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	94 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	95
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	96 @Specialization(contains = "f1")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	97 Object f2(Object a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	98 if (a instanceof Integer) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	99 return ((Integer) a) + 1;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	100 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	101 return a + "a";
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	102 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	103 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	104
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	105 /*
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	106 * Tests an inclusion in within a polymorphic chain.
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	107 */
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	108 @Test
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	109 public void testContains2() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	110 assertRuns(Contains2Factory.getInstance(), //
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	111 array(true, 1, 0, false), //
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	112 array(false, -1, 1, true) //
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	113 );
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	114 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	115
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	116 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	117 abstract static class Contains2 extends ValueNode {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	118
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	119 static boolean isZero(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	120 return a == 0;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	121 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	122
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	123 @Specialization(guards = "isZero(a)")
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	124 int f1(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	125 return a + 1;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	126 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	127
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	128 @Specialization(contains = "f1")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	129 int f2(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	130 if (a == 0) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	131 return a + 1;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	132 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	133 return -a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	134 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	135
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	136 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	137 boolean f3(boolean a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	138 return !a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	139 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	140 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	141
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	142 /*
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	143 * Tests transitive monomorphic inclusion.
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	144 */
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	145 @Test
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	146 public void testContains3() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	147 assertRuns(Contains3Factory.getInstance(), //
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	148 array(2, 1, 2, -3, -4), //
18163 c88ab4f1f04a re-enabled Checkstyle with the release of 6.0 that supports Java 8; fixed existing Checkstyle warnings Doug Simon <doug.simon@oracle.com> parents: 16922 diff changeset	149 array(-2, 2, -2, -3, -4), //
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	150 new ExecutionListener() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	151 public void afterExecution(TestRootNode<? extends ValueNode> node, int index, Object value, Object expectedResult, Object actualResult, boolean last) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	152 // assert that we are always monomorphic
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	153 Assert.assertEquals(NodeCost.MONOMORPHIC, node.getNode().getCost());
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	154 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	155 });
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	156 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	157
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	158 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	159 abstract static class Contains3 extends ValueNode {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	160
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	161 static boolean isGreaterZero(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	162 return a > 0;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	163 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	164
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	165 static boolean isOne(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	166 return a == 1;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	167 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	168
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	169 @Specialization(guards = {"isOne(a)"})
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	170 int f1(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	171 return a + 1;
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
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	174 @Specialization(contains = "f1", guards = {"isGreaterZero(a)"})
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	175 int f2(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	176 if (a == 1) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	177 return 2;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	178 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	179 return -a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	180 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	181
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	182 @Specialization(contains = "f2")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	183 int f3(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	184 if (a > 0) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	185 return a == 1 ? 2 : -a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	186 } else {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	187 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	188 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	189 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	190
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	191 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	192
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	193 /*
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	194 * Tests that if it can be derived that two specializations actually a as powerful as the latter
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	195 * we can combine them. Therefore operation should always become monomorphic in the end.
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	196 */
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	197 @Test
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	198 public void testContains4() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	199 assertRuns(Contains4Factory.getInstance(), //
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	200 array(-1, 0, 1, 2), //
18163 c88ab4f1f04a re-enabled Checkstyle with the release of 6.0 that supports Java 8; fixed existing Checkstyle warnings Doug Simon <doug.simon@oracle.com> parents: 16922 diff changeset	201 array(1, 0, 1, 2), //
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	202 new ExecutionListener() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	203 public void afterExecution(TestRootNode<? extends ValueNode> node, int index, Object value, Object expectedResult, Object actualResult, boolean last) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	204 Assert.assertEquals(NodeCost.MONOMORPHIC, node.getNode().getCost());
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	205 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	206 });
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	207 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	208
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	209 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	210 abstract static class Contains4 extends ValueNode {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	211
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	212 static boolean isOne(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	213 return a == 1;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	214 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	215
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	216 @Specialization(guards = "isOne(a)")
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	217 int f0(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	218 return 1;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	219 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	220
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	221 @Specialization(contains = "f0", guards = "a >= 0")
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	222 int f1(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	223 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	224 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	225
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	226 @Specialization(contains = {"f1"})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	227 int f2(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	228 return Math.abs(a);
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 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	232
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	233 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	234 abstract static class ContainsError1 extends ValueNode {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	235 @ExpectError("The contained specialization 'f1' must be declared before the containing specialization.")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	236 @Specialization(contains = "f1")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	237 int f0(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	238 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	239 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	240
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	241 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	242 Object f1(String a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	243 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	244 }
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
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	247 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	248 abstract static class ContainsError2 extends ValueNode {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	249
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	250 @ExpectError("The referenced specialization 'does not exist' could not be found.")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	251 @Specialization(contains = "does not exist")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	252 int f0(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	253 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	254 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	255 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	256
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	257 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	258 abstract static class ContainsError3 extends ValueNode {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	259
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	260 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	261 int f0(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	262 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	263 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	264
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	265 @ExpectError("Duplicate contains declaration 'f0'.")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	266 @Specialization(contains = {"f0", "f0"})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	267 Object f1(double a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	268 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	269 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	270 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	271
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	272 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	273 abstract static class ContainsError4 extends ValueNode {
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 @ExpectError("Circular contained specialization 'f1(double)' found.")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	276 @Specialization(contains = {"f1"})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	277 Object f1(double a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	278 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	279 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	280 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	281
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	282 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	283 abstract static class ContainsError5 extends ValueNode {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	284
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	285 @ExpectError({"Circular contained specialization 'f0(int)' found.", "Circular contained specialization 'f1(double)' found.",
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	286 "The contained specialization 'f1' must be declared before the containing specialization."})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	287 @Specialization(contains = "f1")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	288 int f0(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	289 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	290 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	291
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	292 @ExpectError("Circular contained specialization 'f1(double)' found.")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	293 @Specialization(contains = {"f0"})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	294 Object f1(double a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	295 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	296 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	297 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	298
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	299 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	300 abstract static class ContainsType1 extends ValueNode {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	301 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	302 int f0(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	303 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	304 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	305
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	306 @ExpectError("Specialization is not reachable. It is shadowed by f0(int).")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	307 @Specialization(contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	308 Object f1(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	309 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	310 }
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
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	313 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	314 abstract static class ContainsType2 extends ValueNode {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	315 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	316 int f0(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	317 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	318 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	319
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	320 @Specialization(contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	321 Object f1(Object a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	322 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	323 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	324 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	325
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	326 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	327 abstract static class ContainsType3 extends ValueNode {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	328 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	329 int f0(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	330 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	331 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	332
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	333 @Specialization(contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	334 Object f1(double a) { // implicit type
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	335 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	336 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	337 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	338
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	339 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	340 abstract static class ContainsType4 extends ValueNode {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	341 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	342 double f0(double a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	343 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	344 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	345
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	346 @ExpectError({"Specialization is not reachable. It is shadowed by f0(double)."})
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	347 @Specialization(contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	348 int f1(int a) { // implicit type
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	349 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	350 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	351 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	352
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	353 @NodeChildren({@NodeChild("a"), @NodeChild("b")})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	354 abstract static class ContainsType5 extends ValueNode {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	355 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	356 Object f0(Object a, int b) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	357 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	358 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	359
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	360 @Specialization(contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	361 Object f1(int a, Object b) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	362 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	363 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	364 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	365
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	366 @NodeChildren({@NodeChild("a"), @NodeChild("b")})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	367 abstract static class ContainsType6 extends ValueNode {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	368 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	369 Object f0(double a, int b) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	370 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	371 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	372
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	373 @Specialization(contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	374 Object f1(int a, double b) { // implicit type
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	375 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	376 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	377 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	378
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	379 abstract static class ContainsGuard1 extends ValueNode {
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 boolean g1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	382 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	383 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	384
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	385 @Specialization(guards = "g1()")
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	386 Object f0() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	387 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	388 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	389
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	390 @Specialization(contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	391 Object f1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	392 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	393 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	394 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	395
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	396 abstract static class ContainsGuard2 extends ValueNode {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	397
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	398 boolean g1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	399 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	400 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	401
16866 d834f85ac8a1 small cleanup Lukas Stadler <lukas.stadler@oracle.com> parents: 16756 diff changeset	402 @Specialization
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	403 Object f0() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	404 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	405 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	406
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	407 @ExpectError({"Specialization is not reachable. It is shadowed by f0()."})
08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	408 @Specialization(guards = "g1()", contains = "f0")
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	409 Object f1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	410 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	411 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	412 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	413
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	414 abstract static class ContainsGuard3 extends ValueNode {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	415
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	416 boolean g1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	417 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	418 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	419
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	420 @Specialization(guards = "g1()")
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	421 Object f0() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	422 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	423 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	424
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	425 @Specialization(guards = "!g1()", contains = "f0")
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	426 Object f1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	427 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	428 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	429 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	430
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	431 abstract static class ContainsGuard4 extends ValueNode {
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 boolean g1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	434 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	435 }
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 boolean g2() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	438 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	439 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	440
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	441 @Specialization(guards = "g1()")
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	442 Object f0() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	443 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	444 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	445
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	446 @Specialization(guards = "g2()", contains = "f0")
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	447 Object f1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	448 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	449 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	450 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	451
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	452 abstract static class ContainsGuard5 extends ValueNode {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	453
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	454 boolean g1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	455 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	456 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	457
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	458 boolean g2() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	459 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	460 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	461
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	462 @Specialization(guards = "g1()")
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	463 Object f0() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	464 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	465 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	466
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	467 @Specialization(guards = "g2()", contains = "f0")
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	468 Object f1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	469 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	470 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	471 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	472
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	473 abstract static class ContainsGuard6 extends ValueNode {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	474
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	475 boolean g1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	476 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	477 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	478
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	479 boolean g2() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	480 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	481 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	482
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	483 @Specialization(guards = "g1()")
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	484 Object f0() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	485 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	486 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	487
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	488 @Specialization(guards = "!g2()", contains = "f0")
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	489 Object f1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	490 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	491 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	492 }
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 abstract static class ContainsGuard7 extends ValueNode {
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 boolean g1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	497 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	498 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	499
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	500 boolean g2() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	501 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	502 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	503
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	504 @Specialization(guards = {"g1()", "g2()"})
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	505 Object f0() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	506 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	507 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	508
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	509 @Specialization(guards = "g2()", contains = "f0")
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	510 Object f1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	511 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	512 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	513 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	514
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	515 abstract static class ContainsThrowable1 extends ValueNode {
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 @Specialization(rewriteOn = RuntimeException.class)
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	518 Object f0() throws RuntimeException {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	519 throw new RuntimeException();
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	520 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	521
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	522 @Specialization(contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	523 Object f1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	524 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	525 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	526 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	527
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	528 abstract static class ContainsThrowable2 extends ValueNode {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	529
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	530 @Specialization(rewriteOn = RuntimeException.class)
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	531 Object f0() throws RuntimeException {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	532 throw new RuntimeException();
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	533 }
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 @Specialization(contains = "f0", rewriteOn = RuntimeException.class)
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	536 Object f1() throws RuntimeException {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	537 throw new RuntimeException();
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	538 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	539
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	540 @Specialization(contains = "f1")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	541 Object f2() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	542 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	543 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	544 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	545
16922 0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	546 @Test
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	547 public void testPolymorphicToMonomorphic0() {
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	548 TestRootNode<PolymorphicToMonomorphic0> root = createRoot(PolymorphicToMonomorphic0Factory.getInstance());
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	549 assertThat((int) executeWith(root, 1), is(1));
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	550 assertThat((int) executeWith(root, 2), is(2));
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	551 assertThat((int) executeWith(root, 3), is(3));
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	552 assertThat(root.getNode().getCost(), is(NodeCost.MONOMORPHIC));
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	553 }
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	554
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	555 @NodeChild("a")
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	556 static class PolymorphicToMonomorphic0 extends ValueNode {
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	557
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	558 @Specialization(guards = "a == 1")
16922 0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	559 int do1(int a) {
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	560 return a;
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	561 }
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	562
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	563 @Specialization(guards = "a == 2")
16922 0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	564 int do2(int a) {
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	565 return a;
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	566 }
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	567
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	568 @Specialization(contains = {"do1", "do2"})
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	569 int do3(int a) {
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	570 return a;
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	571 }
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	572
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	573 }
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	574
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	575 }

Mercurial > hg > truffle

annotate truffle/com.oracle.truffle.api.dsl.test/src/com/oracle/truffle/api/dsl/test/ContainsTest.java @ 22241:14e6dfb1ef05