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

author	Christian Humer <christian.humer@gmail.com>
date	Mon, 11 Aug 2014 15:53:05 +0200
parents
children	d834f85ac8a1

rev	line source
16756 5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	1 /*
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	2 * Copyright (c) 2012, 2012, Oracle and/or its affiliates. All rights reserved.
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	4 *
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	5 * This code is free software; you can redistribute it and/or modify it
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	6 * under the terms of the GNU General Public License version 2 only, as
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	7 * published by the Free Software Foundation.
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	8 *
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	9 * This code is distributed in the hope that it will be useful, but WITHOUT
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	12 * version 2 for more details (a copy is included in the LICENSE file that
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	13 * accompanied this code).
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	14 *
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	15 * You should have received a copy of the GNU General Public License version
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	16 * 2 along with this work; if not, write to the Free Software Foundation,
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	18 *
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	20 * or visit www.oracle.com if you need additional information or have any
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	21 * questions.
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	22 */
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	23 package com.oracle.truffle.api.dsl.test;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	24
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	25 import static com.oracle.truffle.api.dsl.test.TestHelper.*;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	26
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	27 import org.junit.*;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	28
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	29 import com.oracle.truffle.api.dsl.*;
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.internal.*;
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.Contains1Factory;
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.Contains2Factory;
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.Contains3Factory;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	34 import com.oracle.truffle.api.dsl.test.ContainsTestFactory.Contains4Factory;
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;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	36 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	37 import com.oracle.truffle.api.dsl.test.TypeSystemTest.ValueNode;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	38 import com.oracle.truffle.api.nodes.*;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	39
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	40 @SuppressWarnings("unused")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	41 public class ContainsTest {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	42
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	43 /*
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	44 * Tests a simple monomorphic inclusion.
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	45 */
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	46 @Test
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	47 public void testContains1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	48 assertRuns(Contains1Factory.getInstance(), //
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	49 array(1, "a", 2, "b"), //
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	50 array(2, "aa", 3, "ba"),//
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	51 new ExecutionListener() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	52 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	53 if (value instanceof String) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	54 // assert that the final specialization is always Object
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	55 Assert.assertEquals(Object.class, ((DSLNode) node.getNode()).getMetadata0().getSpecializedTypes()[0]);
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	56 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	57 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	58 });
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	59 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	60
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	61 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	62 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	63
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	64 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	65 int f1(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	66 return a + 1;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	67 }
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 @Specialization(contains = "f1")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	70 Object f2(Object a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	71 if (a instanceof Integer) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	72 return ((Integer) a) + 1;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	73 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	74 return a + "a";
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 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	77
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	78 /*
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	79 * 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	80 */
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	81 @Test
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	82 public void testContains2() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	83 assertRuns(Contains2Factory.getInstance(), //
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	84 array(true, 1, 0, false), //
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	85 array(false, -1, 1, true) //
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	86 );
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	87 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	88
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	89 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	90 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	91
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	92 static boolean isZero(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	93 return a == 0;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	94 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	95
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	96 @Specialization(guards = "isZero")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	97 int f1(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	98 return a + 1;
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 @Specialization(contains = "f1")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	102 int f2(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	103 if (a == 0) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	104 return a + 1;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	105 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	106 return -a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	107 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	108
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	109 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	110 boolean f3(boolean a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	111 return !a;
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 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	114
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	115 /*
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	116 * Tests transitive monomorphic inclusion.
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 @Test
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	119 public void testContains3() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	120 assertRuns(Contains3Factory.getInstance(), //
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	121 array(2, 1, 2, -3, -4), //
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	122 array(-2, 2, -2, -3, -4),//
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	123 new ExecutionListener() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	124 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	125 // 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	126 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	127 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	128 });
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
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	131 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	132 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	133
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	134 static boolean isGreaterZero(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	135 return a > 0;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	136 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	137
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	138 @Implies("isGreaterZero")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	139 static boolean isOne(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	140 return a == 1;
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 @Specialization(guards = {"isOne"})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	144 int f1(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	145 return a + 1;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	146 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	147
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	148 @Specialization(contains = "f1", guards = {"isGreaterZero"})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	149 int f2(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	150 if (a == 1) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	151 return 2;
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 return -a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	154 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	155
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	156 @Specialization(contains = "f2")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	157 int f3(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	158 if (a > 0) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	159 return a == 1 ? 2 : -a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	160 } else {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	161 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	162 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	163 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	164
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	165 }
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 /*
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	168 * 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	169 * 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	170 */
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	171 @Test
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	172 public void testContains4() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	173 assertRuns(Contains4Factory.getInstance(), //
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	174 array(-1, 0, 1, 2), //
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	175 array(1, 0, 1, 2),//
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	176 new ExecutionListener() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	177 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	178 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	179 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	180 });
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	181 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	182
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	183 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	184 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	185
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	186 static boolean isGreaterEqualZero(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	187 return a >= 0;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	188 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	189
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	190 @Implies("isGreaterEqualZero")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	191 static boolean isOne(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	192 return a == 1;
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
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	195 @Specialization(guards = {"isOne"})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	196 int f0(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	197 return 1;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	198 }
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 @Specialization(contains = "f0", guards = {"isGreaterEqualZero"})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	201 int f1(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	202 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	203 }
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 @Specialization(contains = {"f1"})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	206 int f2(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	207 return Math.abs(a);
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	208 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	209
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
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	212 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	213 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	214 @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	215 @Specialization(contains = "f1")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	216 int f0(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	217 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	218 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	219
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	220 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	221 Object f1(String a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	222 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	223 }
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 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	227 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	228
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	229 @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	230 @Specialization(contains = "does not exist")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	231 int f0(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	232 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	233 }
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
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	236 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	237 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	238
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	239 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	240 int f0(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	241 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	242 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	243
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	244 @ExpectError("Duplicate contains declaration 'f0'.")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	245 @Specialization(contains = {"f0", "f0"})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	246 Object f1(double 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
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	251 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	252 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	253
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	254 @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	255 @Specialization(contains = {"f1"})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	256 Object f1(double a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	257 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	258 }
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
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	261 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	262 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	263
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	264 @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	265 "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	266 @Specialization(contains = "f1")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	267 int f0(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	268 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	269 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	270
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	271 @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	272 @Specialization(contains = {"f0"})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	273 Object f1(double 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
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	278 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	279 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	280 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	281 int f0(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	282 return a;
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
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	285 @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	286 @Specialization(contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	287 Object f1(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
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	292 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	293 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	294 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	295 int f0(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	296 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	297 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	298
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	299 @Specialization(contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	300 Object f1(Object a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	301 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	302 }
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 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	306 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	307 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	308 int f0(int a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	309 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	310 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	311
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	312 @Specialization(contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	313 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	314 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	315 }
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 @NodeChild("a")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	319 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	320 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	321 double f0(double a) {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	322 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	323 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	324
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	325 @ExpectError({"Specialization is not reachable. It is shadowed by f0(double).", "The contained specialization 'f0' is not fully compatible.%"})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	326 @Specialization(contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	327 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	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 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	331
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	332 @NodeChildren({@NodeChild("a"), @NodeChild("b")})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	333 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	334 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	335 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	336 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	337 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	338
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	339 @ExpectError("The contained specialization 'f0' is not fully compatible.%")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	340 @Specialization(contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	341 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	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
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	346 @NodeChildren({@NodeChild("a"), @NodeChild("b")})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	347 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	348 @Specialization
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	349 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	350 return a;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	351 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	352
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	353 @ExpectError("The contained specialization 'f0' is not fully compatible.%")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	354 @Specialization(contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	355 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	356 return a;
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 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	359
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	360 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	361
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	362 boolean g1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	363 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	364 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	365
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	366 @Specialization(guards = "g1")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	367 Object f0() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	368 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	369 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	370
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	371 @Specialization(contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	372 Object f1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	373 return null;
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 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	376
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	377 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	378
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	379 boolean g1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	380 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	381 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	382
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	383 @Specialization()
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	384 Object f0() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	385 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	386 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	387
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	388 @ExpectError({"Specialization is not reachable. It is shadowed by f0().", "The contained specialization 'f0' is not fully compatible.%"})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	389 @Specialization(guards = "g1", contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	390 Object f1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	391 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	392 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	393 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	394
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	395 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	396
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	397 boolean g1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	398 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	399 }
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 @Specialization(guards = "g1")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	402 Object f0() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	403 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	404 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	405
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	406 @ExpectError({"The contained specialization 'f0' is not fully compatible.%"})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	407 @Specialization(guards = "!g1", contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	408 Object f1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	409 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	410 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	411 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	412
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	413 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	414
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	415 boolean g1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	416 return true;
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
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	419 boolean g2() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	420 return true;
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
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	423 @Specialization(guards = "g1")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	424 Object f0() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	425 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	426 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	427
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	428 @ExpectError({"The contained specialization 'f0' is not fully compatible.%"})
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	429 @Specialization(guards = "g2", contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	430 Object f1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	431 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	432 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	433 }
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 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	436
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	437 @Implies("g2")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	438 boolean g1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	439 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	440 }
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 boolean g2() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	443 return true;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	444 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	445
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	446 @Specialization(guards = "g1")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	447 Object f0() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	448 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	449 }
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	450
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	451 @Specialization(guards = "g2", contains = "f0")
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	452 Object f1() {
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	453 return null;
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	454 }
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 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	458
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	459 @Implies("!g2")
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
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	468 @Specialization(guards = "g1")
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
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	473 @Specialization(guards = "!g2", contains = "f0")
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
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	489 @Specialization(guards = {"g1", "g2"})
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
5148aab962af Truffle-DSL: updated tests for the new generation layout. Christian Humer <christian.humer@gmail.com> parents: diff changeset	494 @Specialization(guards = "g2", contains = "f0")
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 @NodeAssumptions("a1")

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

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

4 *

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

5 * This code is free software; you can redistribute it and/or modify it

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

6 * under the terms of the GNU General Public License version 2 only, as

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

7 * published by the Free Software Foundation.

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

8 *

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

9 * This code is distributed in the hope that it will be useful, but WITHOUT

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

12 * version 2 for more details (a copy is included in the LICENSE file that

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

13 * accompanied this code).

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

14 *

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

15 * You should have received a copy of the GNU General Public License version

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

16 * 2 along with this work; if not, write to the Free Software Foundation,

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

18 *

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

20 * or visit www.oracle.com if you need additional information or have any

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

21 * questions.

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

22 */

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

23 package com.oracle.truffle.api.dsl.test;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

24

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

25 import static com.oracle.truffle.api.dsl.test.TestHelper.*;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

26

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

27 import org.junit.*;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

28

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

29 import com.oracle.truffle.api.dsl.*;

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.internal.*;

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.Contains1Factory;

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.Contains2Factory;

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.Contains3Factory;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

34 import com.oracle.truffle.api.dsl.test.ContainsTestFactory.Contains4Factory;

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;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

36 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

37 import com.oracle.truffle.api.dsl.test.TypeSystemTest.ValueNode;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

38 import com.oracle.truffle.api.nodes.*;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

39

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

40 @SuppressWarnings("unused")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

41 public class ContainsTest {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

42

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

43 /*

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

44 * Tests a simple monomorphic inclusion.

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

45 */

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

46 @Test

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

47 public void testContains1() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

48 assertRuns(Contains1Factory.getInstance(), //

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

49 array(1, "a", 2, "b"), //

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

50 array(2, "aa", 3, "ba"),//

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

51 new ExecutionListener() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

52 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

53 if (value instanceof String) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

54 // assert that the final specialization is always Object

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

55 Assert.assertEquals(Object.class, ((DSLNode) node.getNode()).getMetadata0().getSpecializedTypes()[0]);

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

56 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

57 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

58 });

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

59 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

60

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

61 @NodeChild("a")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

62 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

63

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

64 @Specialization

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

65 int f1(int a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

66 return a + 1;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

67 }

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 @Specialization(contains = "f1")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

70 Object f2(Object a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

71 if (a instanceof Integer) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

72 return ((Integer) a) + 1;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

73 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

74 return a + "a";

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 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

77

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

78 /*

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

79 * 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

80 */

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

81 @Test

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

82 public void testContains2() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

83 assertRuns(Contains2Factory.getInstance(), //

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

84 array(true, 1, 0, false), //

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

85 array(false, -1, 1, true) //

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

86 );

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

87 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

88

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

89 @NodeChild("a")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

90 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

91

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

92 static boolean isZero(int a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

93 return a == 0;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

94 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

95

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

96 @Specialization(guards = "isZero")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

97 int f1(int a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

98 return a + 1;

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 @Specialization(contains = "f1")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

102 int f2(int a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

103 if (a == 0) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

104 return a + 1;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

105 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

106 return -a;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

107 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

108

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

109 @Specialization

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

110 boolean f3(boolean a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

111 return !a;

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 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

114

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

115 /*

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

116 * Tests transitive monomorphic inclusion.

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 @Test

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

119 public void testContains3() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

120 assertRuns(Contains3Factory.getInstance(), //

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

121 array(2, 1, 2, -3, -4), //

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

122 array(-2, 2, -2, -3, -4),//

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

123 new ExecutionListener() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

124 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

125 // 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

126 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

127 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

128 });

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

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

131 @NodeChild("a")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

132 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

133

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

134 static boolean isGreaterZero(int a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

135 return a > 0;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

136 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

137

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

138 @Implies("isGreaterZero")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

139 static boolean isOne(int a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

140 return a == 1;

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 @Specialization(guards = {"isOne"})

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

144 int f1(int a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

145 return a + 1;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

146 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

147

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

148 @Specialization(contains = "f1", guards = {"isGreaterZero"})

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

149 int f2(int a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

150 if (a == 1) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

151 return 2;

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 return -a;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

154 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

155

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

156 @Specialization(contains = "f2")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

157 int f3(int a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

158 if (a > 0) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

159 return a == 1 ? 2 : -a;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

160 } else {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

161 return a;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

162 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

163 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

164

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

165 }

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 /*

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

168 * 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

169 * 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

170 */

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

171 @Test

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

172 public void testContains4() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

173 assertRuns(Contains4Factory.getInstance(), //

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

174 array(-1, 0, 1, 2), //

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

175 array(1, 0, 1, 2),//

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

176 new ExecutionListener() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

177 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

178 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

179 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

180 });

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

181 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

182

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

183 @NodeChild("a")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

184 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

185

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

186 static boolean isGreaterEqualZero(int a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

187 return a >= 0;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

188 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

189

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

190 @Implies("isGreaterEqualZero")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

191 static boolean isOne(int a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

192 return a == 1;

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

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

195 @Specialization(guards = {"isOne"})

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

196 int f0(int a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

197 return 1;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

198 }

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 @Specialization(contains = "f0", guards = {"isGreaterEqualZero"})

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

201 int f1(int a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

202 return a;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

203 }

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 @Specialization(contains = {"f1"})

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

206 int f2(int a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

207 return Math.abs(a);

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

208 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

209

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

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

212 @NodeChild("a")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

213 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

214 @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

215 @Specialization(contains = "f1")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

216 int f0(int a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

217 return a;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

218 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

219

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

220 @Specialization

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

221 Object f1(String a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

222 return a;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

223 }

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 @NodeChild("a")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

227 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

228

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

229 @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

230 @Specialization(contains = "does not exist")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

231 int f0(int a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

232 return a;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

233 }

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

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

236 @NodeChild("a")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

237 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

238

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

239 @Specialization

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

240 int f0(int a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

241 return a;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

242 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

243

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

244 @ExpectError("Duplicate contains declaration 'f0'.")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

245 @Specialization(contains = {"f0", "f0"})

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

246 Object f1(double 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

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

251 @NodeChild("a")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

252 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

253

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

254 @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

255 @Specialization(contains = {"f1"})

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

256 Object f1(double a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

257 return a;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

258 }

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

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

261 @NodeChild("a")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

262 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

263

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

264 @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

265 "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

266 @Specialization(contains = "f1")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

267 int f0(int a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

268 return a;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

269 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

270

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

271 @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

272 @Specialization(contains = {"f0"})

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

273 Object f1(double 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

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

278 @NodeChild("a")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

279 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

280 @Specialization

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

281 int f0(int a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

282 return a;

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

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

285 @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

286 @Specialization(contains = "f0")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

287 Object f1(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

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

292 @NodeChild("a")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

293 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

294 @Specialization

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

295 int f0(int a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

296 return a;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

297 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

298

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

299 @Specialization(contains = "f0")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

300 Object f1(Object a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

301 return a;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

302 }

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 @NodeChild("a")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

306 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

307 @Specialization

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

308 int f0(int a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

309 return a;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

310 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

311

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

312 @Specialization(contains = "f0")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

313 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

314 return a;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

315 }

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 @NodeChild("a")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

319 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

320 @Specialization

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

321 double f0(double a) {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

322 return a;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

323 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

324

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

325 @ExpectError({"Specialization is not reachable. It is shadowed by f0(double).", "The contained specialization 'f0' is not fully compatible.%"})

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

326 @Specialization(contains = "f0")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

327 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

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 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

331

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

332 @NodeChildren({@NodeChild("a"), @NodeChild("b")})

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

333 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

334 @Specialization

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

335 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

336 return a;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

337 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

338

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

339 @ExpectError("The contained specialization 'f0' is not fully compatible.%")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

340 @Specialization(contains = "f0")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

341 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

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

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

346 @NodeChildren({@NodeChild("a"), @NodeChild("b")})

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

347 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

348 @Specialization

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

349 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

350 return a;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

351 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

352

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

353 @ExpectError("The contained specialization 'f0' is not fully compatible.%")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

354 @Specialization(contains = "f0")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

355 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

356 return a;

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 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

359

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

360 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

361

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

362 boolean g1() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

363 return true;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

364 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

365

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

366 @Specialization(guards = "g1")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

367 Object f0() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

368 return null;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

369 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

370

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

371 @Specialization(contains = "f0")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

372 Object f1() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

373 return null;

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 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

376

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

377 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

378

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

379 boolean g1() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

380 return true;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

381 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

382

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

383 @Specialization()

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

384 Object f0() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

385 return null;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

386 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

387

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

388 @ExpectError({"Specialization is not reachable. It is shadowed by f0().", "The contained specialization 'f0' is not fully compatible.%"})

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

389 @Specialization(guards = "g1", contains = "f0")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

390 Object f1() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

391 return null;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

392 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

393 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

394

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

395 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

396

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

397 boolean g1() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

398 return true;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

399 }

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 @Specialization(guards = "g1")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

402 Object f0() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

403 return null;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

404 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

405

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

406 @ExpectError({"The contained specialization 'f0' is not fully compatible.%"})

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

407 @Specialization(guards = "!g1", contains = "f0")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

408 Object f1() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

409 return null;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

410 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

411 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

412

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

413 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

414

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

415 boolean g1() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

416 return true;

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

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

419 boolean g2() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

420 return true;

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

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

423 @Specialization(guards = "g1")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

424 Object f0() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

425 return null;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

426 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

427

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

428 @ExpectError({"The contained specialization 'f0' is not fully compatible.%"})

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

429 @Specialization(guards = "g2", contains = "f0")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

430 Object f1() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

431 return null;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

432 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

433 }

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 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

436

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

437 @Implies("g2")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

438 boolean g1() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

439 return true;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

440 }

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 boolean g2() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

443 return true;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

444 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

445

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

446 @Specialization(guards = "g1")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

447 Object f0() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

448 return null;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

449 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

450

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

451 @Specialization(guards = "g2", contains = "f0")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

452 Object f1() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

453 return null;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

454 }

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 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

458

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

459 @Implies("!g2")

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

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

468 @Specialization(guards = "g1")

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

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

473 @Specialization(guards = "!g2", contains = "f0")

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

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

489 @Specialization(guards = {"g1", "g2"})

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

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

494 @Specialization(guards = "g2", contains = "f0")

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 @NodeAssumptions("a1")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

501 abstract static class ContainsAssumption1 extends ValueNode {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

502

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

503 @Specialization(assumptions = "a1")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

504 Object f0() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

505 return null;

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

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

508 @Specialization(contains = "f0")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

509 Object f1() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

510 return null;

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

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

514 @NodeAssumptions("a1")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

515 abstract static class ContainsAssumption2 extends ValueNode {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

516

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

517 @Specialization

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

518 Object f0() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

519 return null;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

520 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

521

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

522 @ExpectError({"Specialization is not reachable. It is shadowed by f0().", "The contained specialization 'f0' is not fully compatible.%"})

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

523 @Specialization(contains = "f0", assumptions = "a1")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

524 Object f1() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

525 return null;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

526 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

527 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

528

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

529 @NodeAssumptions({"a1", "a2"})

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

530 abstract static class ContainsAssumption3 extends ValueNode {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

531

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

532 @Specialization(assumptions = "a1")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

533 Object f0() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

534 return null;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

535 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

536

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

537 @ExpectError({"The contained specialization 'f0' is not fully compatible.%"})

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

538 @Specialization(contains = "f0", assumptions = "a2")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

539 Object f1() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

540 return null;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

541 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

542 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

543

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

544 @NodeAssumptions({"a1", "a2"})

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

545 abstract static class ContainsAssumption4 extends ValueNode {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

546

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

547 @Specialization(assumptions = {"a1", "a2"})

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

548 Object f0() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

549 return null;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

550 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

551

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

552 @Specialization(contains = "f0", assumptions = "a1")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

553 Object f1() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

554 return null;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

555 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

556 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

557

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

558 @NodeAssumptions({"a1", "a2"})

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

559 abstract static class ContainsAssumption5 extends ValueNode {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

560

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

561 @Specialization(assumptions = {"a2", "a1"})

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

562 Object f0() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

563 return null;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

564 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

565

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

566 @Specialization(contains = "f0", assumptions = "a1")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

567 Object f1() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

568 return null;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

569 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

570 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

571

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

572 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

573

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

574 @Specialization(rewriteOn = RuntimeException.class)

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

575 Object f0() throws RuntimeException {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

576 throw new RuntimeException();

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

577 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

578

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

579 @Specialization(contains = "f0")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

580 Object f1() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

581 return null;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

582 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

583 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

584

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

585 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

586

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

587 @Specialization(rewriteOn = RuntimeException.class)

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

588 Object f0() throws RuntimeException {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

589 throw new RuntimeException();

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

590 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

591

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

592 @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

593 Object f1() throws RuntimeException {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

594 throw new RuntimeException();

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

595 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

596

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

597 @Specialization(contains = "f1")

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

598 Object f2() {

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

599 return null;

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

600 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

601 }

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

602

5148aab962af Truffle-DSL: updated tests for the new generation layout.

Christian Humer <christian.humer@gmail.com>

parents:

diff changeset

603 }

Mercurial > hg > truffle

annotate graal/com.oracle.truffle.api.dsl.test/src/com/oracle/truffle/api/dsl/test/ContainsTest.java @ 16756:5148aab962af