Mercurial > hg > truffle

annotate truffle/com.oracle.truffle.api.dsl.test/src/com/oracle/truffle/api/dsl/test/AssumptionsTest.java @ 22521:69e80ff8d725

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add a higher-level test checking that invalid specializations are removed before insertion.
author Benoit Daloze <benoit.daloze@jku.at>
date Fri, 18 Dec 2015 17:00:32 +0100
parents 60c68f691534
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
10597
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
1 /*
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
2 * Copyright (c) 2012, 2012, Oracle and/or its affiliates. All rights reserved.
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
4 *
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
7 * published by the Free Software Foundation.
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
8 *
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
13 * accompanied this code).
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
14 *
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
18 *
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
21 * questions.
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
22 */
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
23 package com.oracle.truffle.api.dsl.test;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
24
22241
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
25 import static com.oracle.truffle.api.dsl.test.TestHelper.createCallTarget;
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
26 import static com.oracle.truffle.api.dsl.test.TestHelper.getNode;
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
27 import static org.junit.Assert.assertEquals;
22521
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
28 import static org.junit.Assert.assertNotSame;
22241
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
29 import static org.junit.Assert.fail;
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
30
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
31 import java.util.HashMap;
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
32 import java.util.Map;
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
33
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
34 import org.junit.Test;
14e6dfb1ef05 Truffle/Testing: massive rework of tests to accommodate recent instrumentation change with respect to "applyInstrumentation"
Michael Van De Vanter <michael.van.de.vanter@oracle.com>
parents: 22157
diff changeset
35
22157
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 21951
diff changeset
36 import com.oracle.truffle.api.Assumption;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 21951
diff changeset
37 import com.oracle.truffle.api.CallTarget;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 21951
diff changeset
38 import com.oracle.truffle.api.Truffle;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 21951
diff changeset
39 import com.oracle.truffle.api.dsl.Cached;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 21951
diff changeset
40 import com.oracle.truffle.api.dsl.NodeChild;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 21951
diff changeset
41 import com.oracle.truffle.api.dsl.NodeField;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 21951
diff changeset
42 import com.oracle.truffle.api.dsl.Specialization;
dc83cc1f94f2 Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents: 21951
diff changeset
43 import com.oracle.truffle.api.dsl.UnsupportedSpecializationException;
22409
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
44 import com.oracle.truffle.api.dsl.internal.SpecializationNode;
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
45 import com.oracle.truffle.api.dsl.internal.SpecializedNode;
19291
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
46 import com.oracle.truffle.api.dsl.test.AssumptionsTestFactory.AssumptionArrayTestFactory;
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
47 import com.oracle.truffle.api.dsl.test.AssumptionsTestFactory.CacheAssumptionTestFactory;
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
48 import com.oracle.truffle.api.dsl.test.AssumptionsTestFactory.FieldTestFactory;
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
49 import com.oracle.truffle.api.dsl.test.AssumptionsTestFactory.MethodTestFactory;
22300
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
50 import com.oracle.truffle.api.dsl.test.AssumptionsTestFactory.MultipleAssumptionArraysTestFactory;
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
51 import com.oracle.truffle.api.dsl.test.AssumptionsTestFactory.MultipleAssumptionsTestFactory;
19291
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
52 import com.oracle.truffle.api.dsl.test.AssumptionsTestFactory.NodeFieldTest2Factory;
22521
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
53 import com.oracle.truffle.api.dsl.test.AssumptionsTestFactory.RemoveAndCacheSpecializationTestFactory;
22409
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
54 import com.oracle.truffle.api.dsl.test.AssumptionsTestFactory.RemoveSpecializationTestFactory;
19291
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
55 import com.oracle.truffle.api.dsl.test.AssumptionsTestFactory.StaticFieldTestFactory;
10597
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
56 import com.oracle.truffle.api.dsl.test.TypeSystemTest.ValueNode;
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
57
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
58 public class AssumptionsTest {
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
59
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
60 @Test
19291
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
61 public void testField() {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
62 CallTarget root = createCallTarget(FieldTestFactory.getInstance());
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
63 FieldTest node = getNode(root);
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
64 assertEquals(42, root.call(42));
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
65 assertEquals(42, root.call(42));
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
66 node.field.invalidate();
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
67 try {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
68 root.call(45);
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
69 fail();
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
70 } catch (UnsupportedSpecializationException e) {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
71 }
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
72 }
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
73
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
74 @NodeChild
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
75 static class FieldTest extends ValueNode {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
76
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
77 protected final Assumption field = Truffle.getRuntime().createAssumption();
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
78
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
79 @Specialization(assumptions = "field")
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
80 static int do1(int value) {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
81 return value;
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
82 }
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
83 }
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
84
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
85 @Test
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
86 public void testNodeField() {
10597
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
87 Assumption assumption = Truffle.getRuntime().createAssumption();
19291
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
88 CallTarget root = createCallTarget(NodeFieldTest2Factory.getInstance(), assumption);
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
89 assertEquals(42, root.call(42));
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
90 assertEquals(42, root.call(42));
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
91 assumption.invalidate();
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
92 try {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
93 root.call(45);
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
94 fail();
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
95 } catch (UnsupportedSpecializationException e) {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
96 }
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
97 }
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
98
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
99 @NodeChild
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
100 @NodeField(name = "field", type = Assumption.class)
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
101 static class NodeFieldTest2 extends ValueNode {
10597
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
102
19291
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
103 @Specialization(assumptions = "field")
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
104 static int do1(int value) {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
105 return value;
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
106 }
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
107 }
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
108
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
109 @Test
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
110 public void testStaticField() {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
111 CallTarget root = createCallTarget(StaticFieldTestFactory.getInstance());
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
112 assertEquals(42, root.call(42));
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
113 assertEquals(42, root.call(42));
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
114 StaticFieldTest.FIELD.invalidate();
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
115 try {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
116 root.call(45);
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
117 fail();
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
118 } catch (UnsupportedSpecializationException e) {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
119 }
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
120 }
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
121
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
122 @NodeChild
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
123 static class StaticFieldTest extends ValueNode {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
124
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
125 static final Assumption FIELD = Truffle.getRuntime().createAssumption();
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
126
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
127 @Specialization(assumptions = "FIELD")
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
128 static int do1(int value) {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
129 return value;
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
130 }
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
131 }
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
132
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
133 @Test
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
134 public void testMethod() {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
135 CallTarget root = createCallTarget(MethodTestFactory.getInstance());
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
136 MethodTest node = getNode(root);
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
137 assertEquals(42, root.call(42));
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
138 assertEquals(42, root.call(42));
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
139 node.hiddenAssumption.invalidate();
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
140 try {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
141 root.call(45);
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
142 fail();
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
143 } catch (UnsupportedSpecializationException e) {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
144 }
10597
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
145 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
146
19291
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
147 @NodeChild
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
148 static class MethodTest extends ValueNode {
10597
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
149
19291
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
150 private final Assumption hiddenAssumption = Truffle.getRuntime().createAssumption();
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
151
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
152 @Specialization(assumptions = "getAssumption()")
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
153 static int do1(int value) {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
154 return value;
10597
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
155 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
156
19291
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
157 Assumption getAssumption() {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
158 return hiddenAssumption;
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
159 }
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
160 }
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
161
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
162 @Test
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
163 public void testCacheAssumption() {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
164 CallTarget root = createCallTarget(CacheAssumptionTestFactory.getInstance());
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
165 CacheAssumptionTest node = getNode(root);
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
166 assertEquals("do1", root.call(42));
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
167 assertEquals("do1", root.call(43));
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
168 assertEquals("do1", root.call(44));
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
169 node.assumptions.get(42).invalidate();
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
170 node.assumptions.put(42, null); // clear 42
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
171 node.assumptions.get(43).invalidate();
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
172 node.assumptions.get(44).invalidate();
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
173 assertEquals("do1", root.call(42)); // recreates 42
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
174 assertEquals("do2", root.call(43)); // invalid 43 -> remove -> insert do2
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
175 assertEquals("do2", root.call(46)); // no more lines can be created.
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
176 }
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
177
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
178 @Test
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
179 public void testCacheAssumptionLimit() {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
180 CallTarget root = createCallTarget(CacheAssumptionTestFactory.getInstance());
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
181 assertEquals("do1", root.call(42));
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
182 assertEquals("do1", root.call(43));
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
183 assertEquals("do1", root.call(44));
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
184 assertEquals("do2", root.call(45));
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
185 assertEquals("do1", root.call(43));
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
186 assertEquals("do1", root.call(44));
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
187 }
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
188
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
189 @NodeChild
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
190 @SuppressWarnings("unused")
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
191 static class CacheAssumptionTest extends ValueNode {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
192
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
193 private final Map<Integer, Assumption> assumptions = new HashMap<>();
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
194
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
195 @Specialization(guards = "value == cachedValue", assumptions = "getAssumption(cachedValue)")
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
196 static String do1(int value, @Cached("value") int cachedValue) {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
197 return "do1";
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
198 }
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
199
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
200 @Specialization
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
201 static String do2(int value) {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
202 return "do2";
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
203 }
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
204
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
205 Assumption getAssumption(int value) {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
206 Assumption assumption = assumptions.get(value);
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
207 if (assumption == null) {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
208 assumption = Truffle.getRuntime().createAssumption();
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
209 assumptions.put(value, assumption);
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
210 }
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
211 return assumption;
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
212 }
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
213 }
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
214
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
215 @Test
22300
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
216 public void testMultipleAssumptions() {
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
217 CallTarget root = createCallTarget(MultipleAssumptionsTestFactory.getInstance());
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
218 MultipleAssumptionsTest node = getNode(root);
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
219 node.assumption1 = Truffle.getRuntime().createAssumption();
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
220 node.assumption2 = Truffle.getRuntime().createAssumption();
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
221
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
222 assertEquals("do1", root.call(42));
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
223 node.assumption1.invalidate();
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
224 assertEquals("do2", root.call(42));
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
225
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
226 CallTarget root2 = createCallTarget(MultipleAssumptionsTestFactory.getInstance());
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
227 MultipleAssumptionsTest node2 = getNode(root2);
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
228 node2.assumption1 = Truffle.getRuntime().createAssumption();
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
229 node2.assumption2 = Truffle.getRuntime().createAssumption();
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
230
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
231 assertEquals("do1", root2.call(42));
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
232 node2.assumption2.invalidate();
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
233 assertEquals("do2", root2.call(42));
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
234 }
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
235
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
236 @NodeChild
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
237 @SuppressWarnings("unused")
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
238 static class MultipleAssumptionsTest extends ValueNode {
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
239
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
240 Assumption assumption1;
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
241 Assumption assumption2;
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
242
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
243 @Specialization(assumptions = {"assumption1", "assumption2"})
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
244 static String do1(int value) {
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
245 return "do1";
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
246 }
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
247
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
248 @Specialization
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
249 static String do2(int value) {
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
250 return "do2";
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
251 }
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
252
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
253 }
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
254
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
255 @Test
19291
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
256 public void testAssumptionArrays() {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
257 CallTarget root = createCallTarget(AssumptionArrayTestFactory.getInstance());
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
258 AssumptionArrayTest node = getNode(root);
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
259
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
260 Assumption a1 = Truffle.getRuntime().createAssumption();
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
261 Assumption a2 = Truffle.getRuntime().createAssumption();
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
262
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
263 node.assumptions = new Assumption[]{a1, a2};
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
264
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
265 assertEquals("do1", root.call(42));
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
266
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
267 a2.invalidate();
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
268
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
269 assertEquals("do2", root.call(42));
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
270 }
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
271
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
272 @NodeChild
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
273 @SuppressWarnings("unused")
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
274 static class AssumptionArrayTest extends ValueNode {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
275
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
276 Assumption[] assumptions;
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
277
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
278 @Specialization(assumptions = "assumptions")
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
279 static String do1(int value) {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
280 return "do1";
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
281 }
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
282
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
283 @Specialization
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
284 static String do2(int value) {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
285 return "do2";
10597
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
286 }
16756
5148aab962af Truffle-DSL: updated tests for the new generation layout.
Christian Humer <christian.humer@gmail.com>
parents: 10597
diff changeset
287
10597
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
288 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
289
22300
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
290 @Test
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
291 public void testMultipleAssumptionArrays() {
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
292 CallTarget root = createCallTarget(MultipleAssumptionArraysTestFactory.getInstance());
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
293 MultipleAssumptionArraysTest node = getNode(root);
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
294
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
295 Assumption a1 = Truffle.getRuntime().createAssumption();
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
296 Assumption a2 = Truffle.getRuntime().createAssumption();
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
297
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
298 node.assumptions1 = new Assumption[]{a1};
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
299 node.assumptions2 = new Assumption[]{a2};
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
300
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
301 assertEquals("do1", root.call(42));
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
302
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
303 a2.invalidate();
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
304
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
305 assertEquals("do2", root.call(42));
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
306 }
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
307
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
308 @NodeChild
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
309 @SuppressWarnings("unused")
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
310 static class MultipleAssumptionArraysTest extends ValueNode {
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
311
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
312 Assumption[] assumptions1;
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
313 Assumption[] assumptions2;
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
314
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
315 @Specialization(assumptions = {"assumptions1", "assumptions2"})
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
316 static String do1(int value) {
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
317 return "do1";
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
318 }
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
319
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
320 @Specialization
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
321 static String do2(int value) {
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
322 return "do2";
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
323 }
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
324
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
325 }
c53c4de22c4f Truffle/DSL: fix and tests for multiple assumptions expressions
Benoit Daloze <benoit.daloze@jku.at>
parents: 22272
diff changeset
326
22409
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
327 @Test
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
328 public void testAssumptionRemovesSpecializationBefore() {
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
329 // This only test if a specialization on the chain before the matching one is removed.
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
330 CallTarget root = createCallTarget(RemoveSpecializationTestFactory.getInstance());
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
331 RemoveSpecializationTest node = getNode(root);
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
332
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
333 assertEquals(true, root.call(true));
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
334 SpecializationNode start0 = ((SpecializedNode) node).getSpecializationNode();
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
335 assertEquals("ValidAssumptionNode_", start0.getClass().getSimpleName());
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
336
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
337 node.assumption.invalidate();
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
338 // The specialization should be removed on the next call, even if the guard does not pass
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
339 assertEquals(false, root.call(false));
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
340 SpecializationNode start1 = ((SpecializedNode) node).getSpecializationNode();
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
341 assertEquals("InvalidatedNode_", start1.getClass().getSimpleName());
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
342 }
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
343
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
344 @NodeChild
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
345 @SuppressWarnings("unused")
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
346 static class RemoveSpecializationTest extends ValueNode {
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
347
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
348 protected final Assumption assumption = Truffle.getRuntime().createAssumption();
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
349
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
350 @Specialization(guards = "value", assumptions = "assumption")
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
351 boolean validAssumption(boolean value) {
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
352 return true;
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
353 }
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
354
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
355 @Specialization
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
356 boolean invalidated(boolean value) {
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
357 return false;
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
358 }
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
359
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
360 }
8a4f54878160 add test that specializations are removed once invalid
Benoit Daloze <benoit.daloze@jku.at>
parents: 22300
diff changeset
361
22521
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
362 @Test
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
363 public void testAssumptionRemovesInvalidSpecializationBeforeNext() {
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
364 CallTarget root = createCallTarget(RemoveAndCacheSpecializationTestFactory.getInstance());
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
365 RemoveAndCacheSpecializationTest node = getNode(root);
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
366
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
367 assertEquals(1, root.call(1));
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
368 SpecializationNode start0 = ((SpecializedNode) node).getSpecializationNode();
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
369 assertEquals("ValidAssumptionNode_", start0.getClass().getSimpleName());
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
370
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
371 node.assumption1.invalidate();
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
372 // The specialization should be removed, and a new cached entry be inserted
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
373 assertEquals(2, root.call(2));
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
374 SpecializationNode start1 = ((SpecializedNode) node).getSpecializationNode();
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
375 assertNotSame(start0, start1);
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
376 assertEquals("ValidAssumptionNode_", start1.getClass().getSimpleName());
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
377 }
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
378
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
379 @NodeChild
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
380 @SuppressWarnings("unused")
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
381 static class RemoveAndCacheSpecializationTest extends ValueNode {
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
382
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
383 protected final Assumption assumption1 = Truffle.getRuntime().createAssumption();
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
384 protected final Assumption assumption2 = Truffle.getRuntime().createAssumption();
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
385
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
386 protected Assumption assumptionForValue(int value) {
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
387 return value == 1 ? assumption1 : assumption2;
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
388 }
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
389
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
390 @Specialization(guards = "value == cachedValue", assumptions = "assumptionForValue(cachedValue)", limit = "1")
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
391 int validAssumption(int value, @Cached("value") int cachedValue) {
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
392 return cachedValue;
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
393 }
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
394
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
395 @Specialization
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
396 int uncached(int value) {
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
397 return -1;
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
398 }
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
399
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
400 }
69e80ff8d725 Add a higher-level test checking that invalid specializations are removed before insertion.
Benoit Daloze <benoit.daloze@jku.at>
parents: 22517
diff changeset
401
19291
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
402 @NodeChild
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
403 static class ErrorIncompatibleReturnType extends ValueNode {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
404 @ExpectError("Incompatible return type int. Assumptions must be assignable to Assumption or Assumption[].")
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
405 @Specialization(assumptions = "3")
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
406 static int do1(int value) {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
407 return value;
10597
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
408 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
409 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
410
19291
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
411 @NodeChild
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
412 static class ErrorBoundDynamicValue extends ValueNode {
10597
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
413
19291
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
414 @ExpectError("Assumption expressions must not bind dynamic parameter values.")
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
415 @Specialization(assumptions = "createAssumption(value)")
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
416 static int do1(int value) {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
417 return value;
10597
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
418 }
16756
5148aab962af Truffle-DSL: updated tests for the new generation layout.
Christian Humer <christian.humer@gmail.com>
parents: 10597
diff changeset
419
19291
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
420 Assumption createAssumption(int value) {
f4792a544170 Truffle-DSL: implement new assumptions semantics.
Christian Humer <christian.humer@gmail.com>
parents: 16760
diff changeset
421 return Truffle.getRuntime().createAssumption(String.valueOf(value));
10597
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
422 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
423 }
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
424
79041ab43660 Truffle-DSL: API-change: Renamed truffle.api.codegen to truffle.api.dsl for all projects and packages.
Christian Humer <christian.humer@gmail.com>
parents:
diff changeset
425 }