Mercurial > hg > truffle
annotate truffle/com.oracle.truffle.api.dsl/src/com/oracle/truffle/api/dsl/internal/DSLShare.java @ 22157:dc83cc1f94f2
Using fully qualified imports
author | Jaroslav Tulach <jaroslav.tulach@oracle.com> |
---|---|
date | Wed, 16 Sep 2015 11:33:22 +0200 |
parents | 5023b913e2ba |
children |
rev | line source |
---|---|
16766
90984ae0eaa8
Truffle-DSL: Fixed headers.
Christian Humer <christian.humer@gmail.com>
parents:
16763
diff
changeset
|
1 /* |
90984ae0eaa8
Truffle-DSL: Fixed headers.
Christian Humer <christian.humer@gmail.com>
parents:
16763
diff
changeset
|
2 * Copyright (c) 2012, 2012, Oracle and/or its affiliates. All rights reserved. |
90984ae0eaa8
Truffle-DSL: Fixed headers.
Christian Humer <christian.humer@gmail.com>
parents:
16763
diff
changeset
|
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
90984ae0eaa8
Truffle-DSL: Fixed headers.
Christian Humer <christian.humer@gmail.com>
parents:
16763
diff
changeset
|
4 * |
90984ae0eaa8
Truffle-DSL: Fixed headers.
Christian Humer <christian.humer@gmail.com>
parents:
16763
diff
changeset
|
5 * This code is free software; you can redistribute it and/or modify it |
90984ae0eaa8
Truffle-DSL: Fixed headers.
Christian Humer <christian.humer@gmail.com>
parents:
16763
diff
changeset
|
6 * under the terms of the GNU General Public License version 2 only, as |
90984ae0eaa8
Truffle-DSL: Fixed headers.
Christian Humer <christian.humer@gmail.com>
parents:
16763
diff
changeset
|
7 * published by the Free Software Foundation. Oracle designates this |
90984ae0eaa8
Truffle-DSL: Fixed headers.
Christian Humer <christian.humer@gmail.com>
parents:
16763
diff
changeset
|
8 * particular file as subject to the "Classpath" exception as provided |
90984ae0eaa8
Truffle-DSL: Fixed headers.
Christian Humer <christian.humer@gmail.com>
parents:
16763
diff
changeset
|
9 * by Oracle in the LICENSE file that accompanied this code. |
90984ae0eaa8
Truffle-DSL: Fixed headers.
Christian Humer <christian.humer@gmail.com>
parents:
16763
diff
changeset
|
10 * |
90984ae0eaa8
Truffle-DSL: Fixed headers.
Christian Humer <christian.humer@gmail.com>
parents:
16763
diff
changeset
|
11 * This code is distributed in the hope that it will be useful, but WITHOUT |
90984ae0eaa8
Truffle-DSL: Fixed headers.
Christian Humer <christian.humer@gmail.com>
parents:
16763
diff
changeset
|
12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
90984ae0eaa8
Truffle-DSL: Fixed headers.
Christian Humer <christian.humer@gmail.com>
parents:
16763
diff
changeset
|
13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
90984ae0eaa8
Truffle-DSL: Fixed headers.
Christian Humer <christian.humer@gmail.com>
parents:
16763
diff
changeset
|
14 * version 2 for more details (a copy is included in the LICENSE file that |
90984ae0eaa8
Truffle-DSL: Fixed headers.
Christian Humer <christian.humer@gmail.com>
parents:
16763
diff
changeset
|
15 * accompanied this code). |
90984ae0eaa8
Truffle-DSL: Fixed headers.
Christian Humer <christian.humer@gmail.com>
parents:
16763
diff
changeset
|
16 * |
90984ae0eaa8
Truffle-DSL: Fixed headers.
Christian Humer <christian.humer@gmail.com>
parents:
16763
diff
changeset
|
17 * You should have received a copy of the GNU General Public License version |
90984ae0eaa8
Truffle-DSL: Fixed headers.
Christian Humer <christian.humer@gmail.com>
parents:
16763
diff
changeset
|
18 * 2 along with this work; if not, write to the Free Software Foundation, |
90984ae0eaa8
Truffle-DSL: Fixed headers.
Christian Humer <christian.humer@gmail.com>
parents:
16763
diff
changeset
|
19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
90984ae0eaa8
Truffle-DSL: Fixed headers.
Christian Humer <christian.humer@gmail.com>
parents:
16763
diff
changeset
|
20 * |
90984ae0eaa8
Truffle-DSL: Fixed headers.
Christian Humer <christian.humer@gmail.com>
parents:
16763
diff
changeset
|
21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
90984ae0eaa8
Truffle-DSL: Fixed headers.
Christian Humer <christian.humer@gmail.com>
parents:
16763
diff
changeset
|
22 * or visit www.oracle.com if you need additional information or have any |
90984ae0eaa8
Truffle-DSL: Fixed headers.
Christian Humer <christian.humer@gmail.com>
parents:
16763
diff
changeset
|
23 * questions. |
90984ae0eaa8
Truffle-DSL: Fixed headers.
Christian Humer <christian.humer@gmail.com>
parents:
16763
diff
changeset
|
24 */ |
16763
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
25 package com.oracle.truffle.api.dsl.internal; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
26 |
22157
dc83cc1f94f2
Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents:
21966
diff
changeset
|
27 import com.oracle.truffle.api.CompilerAsserts; |
dc83cc1f94f2
Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents:
21966
diff
changeset
|
28 import com.oracle.truffle.api.nodes.Node; |
dc83cc1f94f2
Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents:
21966
diff
changeset
|
29 import com.oracle.truffle.api.nodes.NodeCost; |
dc83cc1f94f2
Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents:
21966
diff
changeset
|
30 import java.util.Arrays; |
dc83cc1f94f2
Using fully qualified imports
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents:
21966
diff
changeset
|
31 import java.util.concurrent.Callable; |
16763
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
32 |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
33 /** Contains utility classes shared across generated DSLNode implementations. */ |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
34 public class DSLShare { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
35 |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
36 public static boolean isExcluded(Node currentNode, DSLMetadata otherMetadata) { |
21966
5023b913e2ba
Help the partial evaluator / language developer by marking API methods as neverPartOfCompilation() when they are too complicated to be compiled.
Christian Wimmer <christian.wimmer@oracle.com>
parents:
21951
diff
changeset
|
37 CompilerAsserts.neverPartOfCompilation(); |
5023b913e2ba
Help the partial evaluator / language developer by marking API methods as neverPartOfCompilation() when they are too complicated to be compiled.
Christian Wimmer <christian.wimmer@oracle.com>
parents:
21951
diff
changeset
|
38 |
16763
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
39 assert otherMetadata.getExcludedBy().length > 0 : "At least one exclude must be defined for isIncluded."; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
40 Node cur = findRoot(currentNode); |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
41 while (cur != null) { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
42 Class<?> curClass = cur.getClass(); |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
43 if (curClass == otherMetadata.getSpecializationClass()) { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
44 return true; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
45 } else if (containsClass(otherMetadata.getExcludedBy(), cur)) { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
46 return true; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
47 } |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
48 cur = getNext(cur); |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
49 } |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
50 return false; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
51 } |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
52 |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
53 private static boolean includes(Node oldNode, DSLNode newNode) { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
54 return containsClass(newNode.getMetadata0().getIncludes(), oldNode); |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
55 } |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
56 |
17252
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
57 public static <T extends Node & DSLNode> T rewrite(final Node thisNode, final T newNode, final String message) { |
21966
5023b913e2ba
Help the partial evaluator / language developer by marking API methods as neverPartOfCompilation() when they are too complicated to be compiled.
Christian Wimmer <christian.wimmer@oracle.com>
parents:
21951
diff
changeset
|
58 CompilerAsserts.neverPartOfCompilation(); |
5023b913e2ba
Help the partial evaluator / language developer by marking API methods as neverPartOfCompilation() when they are too complicated to be compiled.
Christian Wimmer <christian.wimmer@oracle.com>
parents:
21951
diff
changeset
|
59 |
17252
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
60 return thisNode.atomic(new Callable<T>() { |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
61 public T call() { |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
62 assert newNode != null; |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
63 if (getNext(thisNode) != null || getPrevious(thisNode) != null) { |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
64 // already polymorphic -> append |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
65 return appendPolymorphic(findUninitialized(thisNode), newNode); |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
66 } else if (includes(thisNode, newNode)) { |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
67 // included -> remains monomorphic |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
68 newNode.adoptChildren0(thisNode, null); |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
69 return thisNode.replace(newNode, message); |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
70 } else { |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
71 // goto polymorphic |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
72 return null; |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
73 } |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
74 } |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
75 }); |
16763
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
76 } |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
77 |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
78 @SuppressWarnings("unchecked") |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
79 public static <T extends Node> T findRoot(T node) { |
21966
5023b913e2ba
Help the partial evaluator / language developer by marking API methods as neverPartOfCompilation() when they are too complicated to be compiled.
Christian Wimmer <christian.wimmer@oracle.com>
parents:
21951
diff
changeset
|
80 CompilerAsserts.neverPartOfCompilation(); |
5023b913e2ba
Help the partial evaluator / language developer by marking API methods as neverPartOfCompilation() when they are too complicated to be compiled.
Christian Wimmer <christian.wimmer@oracle.com>
parents:
21951
diff
changeset
|
81 |
16763
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
82 Node prev = node; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
83 Node cur; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
84 do { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
85 cur = prev; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
86 prev = getPrevious(cur); |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
87 } while (prev != null); |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
88 return (T) cur; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
89 } |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
90 |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
91 private static Node findUninitialized(Node node) { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
92 Node next = node; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
93 Node cur; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
94 do { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
95 cur = next; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
96 next = getNext(cur); |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
97 } while (next != null); |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
98 return cur; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
99 } |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
100 |
17252
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
101 public static <T extends Node & DSLNode> T rewriteUninitialized(final Node uninitialized, final T newNode) { |
21966
5023b913e2ba
Help the partial evaluator / language developer by marking API methods as neverPartOfCompilation() when they are too complicated to be compiled.
Christian Wimmer <christian.wimmer@oracle.com>
parents:
21951
diff
changeset
|
102 CompilerAsserts.neverPartOfCompilation(); |
5023b913e2ba
Help the partial evaluator / language developer by marking API methods as neverPartOfCompilation() when they are too complicated to be compiled.
Christian Wimmer <christian.wimmer@oracle.com>
parents:
21951
diff
changeset
|
103 |
17252
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
104 return uninitialized.atomic(new Callable<T>() { |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
105 public T call() { |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
106 Node prev = getPrevious(uninitialized); |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
107 if (prev == null) { |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
108 newNode.adoptChildren0(uninitialized, null); |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
109 return uninitialized.replace(newNode, "Uninitialized monomorphic"); |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
110 } else { |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
111 return appendPolymorphic(uninitialized, newNode); |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
112 } |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
113 } |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
114 }); |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
115 |
16763
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
116 } |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
117 |
17252
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
118 public static <T extends Node & DSLNode> T rewriteToPolymorphic(final Node oldNode, final DSLNode uninitializedDSL, final T polymorphic, final DSLNode currentCopy, final DSLNode newNodeDSL, |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
119 final String message) { |
21966
5023b913e2ba
Help the partial evaluator / language developer by marking API methods as neverPartOfCompilation() when they are too complicated to be compiled.
Christian Wimmer <christian.wimmer@oracle.com>
parents:
21951
diff
changeset
|
120 CompilerAsserts.neverPartOfCompilation(); |
5023b913e2ba
Help the partial evaluator / language developer by marking API methods as neverPartOfCompilation() when they are too complicated to be compiled.
Christian Wimmer <christian.wimmer@oracle.com>
parents:
21951
diff
changeset
|
121 |
17252
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
122 return oldNode.atomic(new Callable<T>() { |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
123 public T call() { |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
124 assert getNext(oldNode) == null; |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
125 assert getPrevious(oldNode) == null; |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
126 assert newNodeDSL != null; |
16763
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
127 |
17252
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
128 Node uninitialized = (Node) uninitializedDSL; |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
129 Node newNode = (Node) newNodeDSL; |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
130 polymorphic.adoptChildren0(oldNode, (Node) currentCopy); |
16763
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
131 |
17252
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
132 updateSourceSection(oldNode, uninitialized); |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
133 // new specialization |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
134 updateSourceSection(oldNode, newNode); |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
135 newNodeDSL.adoptChildren0(null, uninitialized); |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
136 currentCopy.adoptChildren0(null, newNode); |
16763
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
137 |
17252
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
138 oldNode.replace(polymorphic, message); |
16763
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
139 |
17252
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
140 assert newNode != null ? currentCopy.getNext0() == newNode : currentCopy.getNext0() == uninitialized; |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
141 assert uninitializedDSL.getNext0() == null; |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
142 return polymorphic; |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
143 } |
1680a4ddc2a7
Truffle-DSL: added thread-safety for DSL rewrites.
Christian Humer <christian.humer@gmail.com>
parents:
16922
diff
changeset
|
144 }); |
16763
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
145 } |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
146 |
16921
f5541b01f374
Truffle-DSL: fixed lost source sections for polymorphic specializations. (GRAAL-851 #resolve)
Christian Humer <christian.humer@gmail.com>
parents:
16766
diff
changeset
|
147 private static void updateSourceSection(Node oldNode, Node newNode) { |
f5541b01f374
Truffle-DSL: fixed lost source sections for polymorphic specializations. (GRAAL-851 #resolve)
Christian Humer <christian.humer@gmail.com>
parents:
16766
diff
changeset
|
148 if (newNode.getSourceSection() == null) { |
f5541b01f374
Truffle-DSL: fixed lost source sections for polymorphic specializations. (GRAAL-851 #resolve)
Christian Humer <christian.humer@gmail.com>
parents:
16766
diff
changeset
|
149 newNode.assignSourceSection(oldNode.getSourceSection()); |
f5541b01f374
Truffle-DSL: fixed lost source sections for polymorphic specializations. (GRAAL-851 #resolve)
Christian Humer <christian.humer@gmail.com>
parents:
16766
diff
changeset
|
150 } |
f5541b01f374
Truffle-DSL: fixed lost source sections for polymorphic specializations. (GRAAL-851 #resolve)
Christian Humer <christian.humer@gmail.com>
parents:
16766
diff
changeset
|
151 } |
f5541b01f374
Truffle-DSL: fixed lost source sections for polymorphic specializations. (GRAAL-851 #resolve)
Christian Humer <christian.humer@gmail.com>
parents:
16766
diff
changeset
|
152 |
16763
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
153 private static Class<?>[] mergeTypes(DSLNode node, Class<?>[] types) { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
154 Class<?>[] specializedTypes = node.getMetadata0().getSpecializedTypes(); |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
155 if (specializedTypes.length == 0) { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
156 return null; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
157 } else if (types == null) { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
158 return Arrays.copyOf(specializedTypes, specializedTypes.length); |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
159 } else { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
160 for (int i = 0; i < specializedTypes.length; i++) { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
161 if (specializedTypes[i] != types[i]) { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
162 types[i] = Object.class; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
163 } |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
164 } |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
165 return types; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
166 } |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
167 } |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
168 |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
169 private static <T extends Node & DSLNode> T appendPolymorphic(Node uninitialized, T newNode) { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
170 Class<?>[] includes = newNode.getMetadata0().getIncludes(); |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
171 Node cur = getPrevious(uninitialized); |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
172 Node prev = uninitialized; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
173 int depth = 0; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
174 Class<?>[] types = null; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
175 while (cur != null) { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
176 if (containsClass(includes, cur)) { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
177 cur.replace(prev, "Included in other specialization"); |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
178 cur = prev; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
179 } else { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
180 depth++; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
181 types = mergeTypes((DSLNode) cur, types); |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
182 } |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
183 prev = cur; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
184 cur = getPrevious(cur); |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
185 } |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
186 assert prev.getCost() == NodeCost.POLYMORPHIC; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
187 |
16921
f5541b01f374
Truffle-DSL: fixed lost source sections for polymorphic specializations. (GRAAL-851 #resolve)
Christian Humer <christian.humer@gmail.com>
parents:
16766
diff
changeset
|
188 updateSourceSection(prev, newNode); |
16922
0ea0c4133b78
Truffle-DSL: fixed polymorphic to monomorphic transition. It remained polymorphic in some cases.
Christian Humer <christian.humer@gmail.com>
parents:
16921
diff
changeset
|
189 if (depth <= 1) { |
16763
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
190 newNode.adoptChildren0(prev, null); |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
191 return prev.replace(newNode, "Polymorphic to monomorphic."); |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
192 } else { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
193 newNode.adoptChildren0(null, uninitialized); |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
194 ((DSLNode) prev).updateTypes0(mergeTypes(newNode, types)); |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
195 return uninitialized.replace(newNode, "Appended polymorphic"); |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
196 } |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
197 } |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
198 |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
199 private static boolean containsClass(Class<?>[] classList, Node node) { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
200 Class<?> nodeClass = node.getClass(); |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
201 for (Class<?> toCheck : classList) { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
202 if (nodeClass == toCheck) { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
203 if (node.getCost() == NodeCost.UNINITIALIZED) { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
204 /* |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
205 * In case a specialization is excluded by the fallback specialization the |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
206 * uninitialized class is used as exclusion class. Because the fallback field in |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
207 * the uninitialized specialization is not accessible we use the costs to check |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
208 * if the fallback was reached or not. In case the fallback was reached in the |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
209 * uninitialized version the cost is MONOMORPHIC, otherwise it is UNINITIALIZED. |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
210 */ |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
211 continue; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
212 } |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
213 return true; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
214 } |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
215 } |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
216 return false; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
217 } |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
218 |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
219 private static Node getNext(Node node) { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
220 return ((DSLNode) node).getNext0(); |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
221 } |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
222 |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
223 private static Node getPrevious(Node node) { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
224 Node parent = node.getParent(); |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
225 if (parent instanceof DSLNode && getNext(parent) == node) { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
226 return parent; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
227 } else { |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
228 return null; |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
229 } |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
230 } |
e6d15134ca86
Truffle-DSL: fixed formatting problems.
Christian Humer <christian.humer@gmail.com>
parents:
16751
diff
changeset
|
231 |
18163
c88ab4f1f04a
re-enabled Checkstyle with the release of 6.0 that supports Java 8; fixed existing Checkstyle warnings
Doug Simon <doug.simon@oracle.com>
parents:
17252
diff
changeset
|
232 } |