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 @ 22157:dc83cc1f94f2

Using fully qualified imports

author	Jaroslav Tulach <jaroslav.tulach@oracle.com>
date	Wed, 16 Sep 2015 11:33:22 +0200
parents	9c8c0937da41
children	14e6dfb1ef05

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
22157 dc83cc1f94f2 Using fully qualified imports Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21951 diff changeset	25 import com.oracle.truffle.api.dsl.NodeChild;
dc83cc1f94f2 Using fully qualified imports Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21951 diff changeset	26 import com.oracle.truffle.api.dsl.NodeChildren;
dc83cc1f94f2 Using fully qualified imports Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21951 diff changeset	27 import com.oracle.truffle.api.dsl.Specialization;
dc83cc1f94f2 Using fully qualified imports Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21951 diff changeset	28 import com.oracle.truffle.api.dsl.internal.DSLNode;
dc83cc1f94f2 Using fully qualified imports Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21951 diff changeset	29 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	30 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	31 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	32 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	33 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	34 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	35 import com.oracle.truffle.api.dsl.test.TestHelper.ExecutionListener;
22157 dc83cc1f94f2 Using fully qualified imports Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21951 diff changeset	36 import static com.oracle.truffle.api.dsl.test.TestHelper.array;
dc83cc1f94f2 Using fully qualified imports Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21951 diff changeset	37 import static com.oracle.truffle.api.dsl.test.TestHelper.assertRuns;
dc83cc1f94f2 Using fully qualified imports Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21951 diff changeset	38 import static com.oracle.truffle.api.dsl.test.TestHelper.createRoot;
dc83cc1f94f2 Using fully qualified imports Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21951 diff changeset	39 import static com.oracle.truffle.api.dsl.test.TestHelper.executeWith;
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	40 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	41 import com.oracle.truffle.api.dsl.test.TypeSystemTest.ValueNode;
22157 dc83cc1f94f2 Using fully qualified imports Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21951 diff changeset	42 import com.oracle.truffle.api.nodes.NodeCost;
dc83cc1f94f2 Using fully qualified imports Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21951 diff changeset	43 import static org.hamcrest.CoreMatchers.is;
dc83cc1f94f2 Using fully qualified imports Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21951 diff changeset	44 import org.junit.Assert;
dc83cc1f94f2 Using fully qualified imports Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21951 diff changeset	45 import static org.junit.Assert.assertThat;
dc83cc1f94f2 Using fully qualified imports Jaroslav Tulach <jaroslav.tulach@oracle.com> parents: 21951 diff changeset	46 import org.junit.Test;
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	47
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	48 @SuppressWarnings("unused")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	49 public class ContainsTest {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	50
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	51 /*
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	52 * Tests a simple monomorphic inclusion.
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	53 */
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	54 @Test
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	55 public void testContains1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	56 assertRuns(Contains1Factory.getInstance(), //
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	57 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	58 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	59 new ExecutionListener() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	60 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	61 if (value instanceof String) {
18761 a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18163 diff changeset	62 if (node.getNode() instanceof DSLNode) {
a665483c3881 Truffle-DSL: new node layout implementation. Christian Humer <christian.humer@gmail.com> parents: 18163 diff changeset	63 // 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	64 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	65 } else {
18778 cb3bdd77c809 Truffle-DSL: fixed class loading test. Christian Humer <christian.humer@gmail.com> parents: 18761 diff changeset	66 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	67 }
16756 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 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	70 });
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	71 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	72
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	73 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	74 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	75
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	76 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	77 int f1(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	78 return a + 1;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	79 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	80
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	81 @Specialization(contains = "f1")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	82 Object f2(Object a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	83 if (a instanceof Integer) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	84 return ((Integer) a) + 1;
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 return a + "a";
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 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	89
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 * 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	92 */
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	93 @Test
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	94 public void testContains2() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	95 assertRuns(Contains2Factory.getInstance(), //
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	96 array(true, 1, 0, false), //
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	97 array(false, -1, 1, true) //
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	98 );
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	99 }
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 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	102 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	103
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	104 static boolean isZero(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	105 return a == 0;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	106 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	107
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	108 @Specialization(guards = "isZero(a)")
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	109 int f1(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	110 return a + 1;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	111 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	112
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	113 @Specialization(contains = "f1")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	114 int f2(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	115 if (a == 0) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	116 return a + 1;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	117 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	118 return -a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	119 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	120
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	121 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	122 boolean f3(boolean a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	123 return !a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	124 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	125 }
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 * Tests transitive monomorphic inclusion.
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	129 */
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	130 @Test
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	131 public void testContains3() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	132 assertRuns(Contains3Factory.getInstance(), //
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	133 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	134 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	135 new ExecutionListener() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	136 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	137 // 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	138 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	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 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	144 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	145
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	146 static boolean isGreaterZero(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	147 return a > 0;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	148 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	149
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	150 static boolean isOne(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	151 return a == 1;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	152 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	153
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	154 @Specialization(guards = {"isOne(a)"})
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	155 int f1(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	156 return a + 1;
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
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	159 @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	160 int f2(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	161 if (a == 1) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	162 return 2;
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 return -a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	165 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	166
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	167 @Specialization(contains = "f2")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	168 int f3(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	169 if (a > 0) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	170 return a == 1 ? 2 : -a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	171 } else {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	172 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	173 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	174 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	175
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	176 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	177
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 * 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	180 * 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	181 */
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	182 @Test
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	183 public void testContains4() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	184 assertRuns(Contains4Factory.getInstance(), //
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	185 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	186 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	187 new ExecutionListener() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	188 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	189 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	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 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	195 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	196
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	197 static boolean isOne(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	198 return a == 1;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	199 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	200
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	201 @Specialization(guards = "isOne(a)")
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	202 int f0(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	203 return 1;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	204 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	205
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	206 @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	207 int f1(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	208 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	209 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	210
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	211 @Specialization(contains = {"f1"})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	212 int f2(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	213 return Math.abs(a);
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
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	216 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	217
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	218 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	219 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	220 @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	221 @Specialization(contains = "f1")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	222 int f0(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
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	227 Object f1(String a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	228 return 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 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	233 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	234
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	235 @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	236 @Specialization(contains = "does not exist")
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
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	242 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	243 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	244
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	245 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	246 int f0(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	247 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	248 }
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("Duplicate contains declaration 'f0'.")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	251 @Specialization(contains = {"f0", "f0"})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	252 Object f1(double 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 ContainsError4 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 @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	261 @Specialization(contains = {"f1"})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	262 Object f1(double a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	263 return a;
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 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	266
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	267 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	268 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	269
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	270 @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	271 "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	272 @Specialization(contains = "f1")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	273 int f0(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	274 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	275 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	276
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	277 @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	278 @Specialization(contains = {"f0"})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	279 Object f1(double a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	280 return a;
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 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	283
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	284 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	285 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	286 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	287 int f0(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	288 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	289 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	290
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	291 @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	292 @Specialization(contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	293 Object f1(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	294 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	295 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	296 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	297
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	298 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	299 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	300 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	301 int f0(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	302 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	303 }
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 @Specialization(contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	306 Object f1(Object a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	307 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	308 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	309 }
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 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	312 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	313 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	314 int f0(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	315 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	316 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	317
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	318 @Specialization(contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	319 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	320 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	321 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	322 }
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 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	325 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	326 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	327 double f0(double a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	328 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	329 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	330
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	331 @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	332 @Specialization(contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	333 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	334 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	335 }
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 @NodeChildren({@NodeChild("a"), @NodeChild("b")})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	339 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	340 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	341 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	342 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	343 }
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 @Specialization(contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	346 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	347 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	348 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	349 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	350
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	351 @NodeChildren({@NodeChild("a"), @NodeChild("b")})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	352 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	353 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	354 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	355 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	356 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	357
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	358 @Specialization(contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	359 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	360 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	361 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	362 }
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 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	365
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	366 boolean g1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	367 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	368 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	369
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	370 @Specialization(guards = "g1()")
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	371 Object f0() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	372 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	373 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	374
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	375 @Specialization(contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	376 Object f1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	377 return null;
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 }
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 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	382
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	383 boolean g1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	384 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	385 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	386
16866 d834f85ac8a1 small cleanup Lukas Stadler <lukas.stadler@oracle.com> parents: 16756 diff changeset	387 @Specialization
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	388 Object f0() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	389 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	390 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	391
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	392 @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	393 @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	394 Object f1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	395 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	396 }
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
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	399 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	400
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	401 boolean g1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	402 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	403 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	404
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	405 @Specialization(guards = "g1()")
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	406 Object f0() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	407 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	408 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	409
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	410 @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	411 Object f1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	412 return null;
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 }
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 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	417
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	418 boolean g1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	419 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	420 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	421
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	422 boolean g2() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	423 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	424 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	425
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	426 @Specialization(guards = "g1()")
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	427 Object f0() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	428 return null;
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
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	431 @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	432 Object f1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	433 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	434 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	435 }
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 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	438
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	439 boolean g1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	440 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	441 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	442
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	443 boolean g2() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	444 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	445 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	446
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	447 @Specialization(guards = "g1()")
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	448 Object f0() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	449 return null;
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
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	452 @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	453 Object f1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	454 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	455 }
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 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	459
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	460 boolean g1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	461 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	462 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	463
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	464 boolean g2() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	465 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	466 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	467
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	468 @Specialization(guards = "g1()")
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	469 Object f0() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	470 return null;
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
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	473 @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	474 Object f1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	475 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	476 }
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 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	480
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	481 boolean g1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	482 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	483 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	484
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	485 boolean g2() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	486 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	487 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	488
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	489 @Specialization(guards = {"g1()", "g2()"})
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	490 Object f0() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	491 return null;
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
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	494 @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	495 Object f1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	496 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	497 }
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 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	501
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	502 @Specialization(rewriteOn = RuntimeException.class)
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	503 Object f0() throws RuntimeException {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	504 throw new RuntimeException();
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	505 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	506
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	507 @Specialization(contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	508 Object f1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	509 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	510 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	511 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	512
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	513 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	514
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	515 @Specialization(rewriteOn = RuntimeException.class)
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	516 Object f0() throws RuntimeException {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	517 throw new RuntimeException();
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	518 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	519
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	520 @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	521 Object f1() throws RuntimeException {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	522 throw new RuntimeException();
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	523 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	524
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	525 @Specialization(contains = "f1")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	526 Object f2() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	527 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	528 }
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
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	531 @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	532 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	533 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	534 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	535 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	536 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	537 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	538 }
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	539
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	540 @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	541 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	542
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	543 @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	544 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	545 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	546 }
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
19283 08aa0372dad4 Truffle-DSL: implement new guard expression syntax. Christian Humer <christian.humer@gmail.com> parents: 18778 diff changeset	548 @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	549 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	550 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	551 }
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
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 @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	554 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	555 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	556 }
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
0ea0c4133b78 Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases. Christian Humer <christian.humer@gmail.com> parents: 16866 diff changeset	558 }
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
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	560 }

Mercurial > hg > truffle

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