Mercurial > hg > truffle
annotate graal/com.oracle.graal.graph/src/com/oracle/graal/graph/NodeClass.java @ 17247:eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
author | Doug Simon <doug.simon@oracle.com> |
---|---|
date | Mon, 29 Sep 2014 13:59:41 +0200 |
parents | aef31f60e970 |
children | f1f7b796874f |
rev | line source |
---|---|
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
1 /* |
16154
f9f7bd1a6b2c
IGV: Support for InputType.
Roland Schatz <roland.schatz@oracle.com>
parents:
15827
diff
changeset
|
2 * Copyright (c) 2011, 2014, Oracle and/or its affiliates. All rights reserved. |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
4 * |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
5 * This code is free software; you can redistribute it and/or modify it |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
6 * under the terms of the GNU General Public License version 2 only, as |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
7 * published by the Free Software Foundation. |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
8 * |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
9 * This code is distributed in the hope that it will be useful, but WITHOUT |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
12 * version 2 for more details (a copy is included in the LICENSE file that |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
13 * accompanied this code). |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
14 * |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
15 * You should have received a copy of the GNU General Public License version |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
16 * 2 along with this work; if not, write to the Free Software Foundation, |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
18 * |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
20 * or visit www.oracle.com if you need additional information or have any |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
21 * questions. |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
22 */ |
5060
4ed4295ce15f
Update import statements.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
5059
diff
changeset
|
23 package com.oracle.graal.graph; |
7530
5e3d1a68664e
applied mx eclipseformat to all Java files
Doug Simon <doug.simon@oracle.com>
parents:
7332
diff
changeset
|
24 |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
25 import static com.oracle.graal.compiler.common.Fields.*; |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
26 import static com.oracle.graal.graph.Edges.*; |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
27 import static com.oracle.graal.graph.InputEdges.*; |
16897
f90dcdbbb75e
switched to using new NodeFieldIterator and NodeFieldIterable for traversing Node inputs and successors
Doug Simon <doug.simon@oracle.com>
parents:
16841
diff
changeset
|
28 import static com.oracle.graal.graph.Node.*; |
15551
33cedbce5b23
added CollectionsProvider and NodeCollectionsProvider and replaced (almost) all allocations of IdentityHashMaps to go through these providers
Doug Simon <doug.simon@oracle.com>
parents:
15295
diff
changeset
|
29 import static com.oracle.graal.graph.util.CollectionsAccess.*; |
16991
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
30 import static java.lang.reflect.Modifier.*; |
11524
dede53632f3e
removed Node.modCount field (GRAAL-452)
Doug Simon <doug.simon@oracle.com>
parents:
11434
diff
changeset
|
31 |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
32 import java.lang.annotation.*; |
5858
911315a3e642
Factor out common infrastructure from NodeClass and LIRInstructionClass
Christian Wimmer <christian.wimmer@oracle.com>
parents:
5813
diff
changeset
|
33 import java.lang.reflect.*; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
34 import java.util.*; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
35 |
15193
96bb07a5d667
Spit up and move GraalInternalError.
Josef Eisl <josef.eisl@jku.at>
parents:
15186
diff
changeset
|
36 import com.oracle.graal.compiler.common.*; |
11642
5507e2824bc6
added metric to count IterableNodeTypes (GRAAL-471)
Doug Simon <doug.simon@oracle.com>
parents:
11631
diff
changeset
|
37 import com.oracle.graal.debug.*; |
17147
7a3f6543d383
added timer for NodeClass initializer (-Dgraal.debug.timer.NodeClassCreation=true)
Doug Simon <doug.simon@oracle.com>
parents:
17128
diff
changeset
|
38 import com.oracle.graal.debug.internal.*; |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
39 import com.oracle.graal.graph.Edges.Type; |
5478
4a99bfc329f0
Add posibility to provide a replacement function instead of map for duplication.
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
5361
diff
changeset
|
40 import com.oracle.graal.graph.Graph.DuplicationReplacement; |
14991
64dcb92ee75a
Truffle: Change signature for Truffle calls from (PackedFrame, Arguments) to (Object[]).
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
14616
diff
changeset
|
41 import com.oracle.graal.graph.Node.Input; |
64dcb92ee75a
Truffle: Change signature for Truffle calls from (PackedFrame, Arguments) to (Object[]).
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
14616
diff
changeset
|
42 import com.oracle.graal.graph.Node.Successor; |
11882
51059863da73
replace instanceof type tests for Canonicalizable and Simplifiable with extra boolean properties in NodeClass (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11676
diff
changeset
|
43 import com.oracle.graal.graph.spi.*; |
16841
cbd42807a31f
moved NodeInfo and friends into separate com.oracle.graal.nodeinfo project so that annotation processor can be applied to the base Node class
Doug Simon <doug.simon@oracle.com>
parents:
16554
diff
changeset
|
44 import com.oracle.graal.nodeinfo.*; |
5858
911315a3e642
Factor out common infrastructure from NodeClass and LIRInstructionClass
Christian Wimmer <christian.wimmer@oracle.com>
parents:
5813
diff
changeset
|
45 |
11431
ca53d08b8ef9
removed Node.nodeClass field (GRAAL-359)
Doug Simon <doug.simon@oracle.com>
parents:
10785
diff
changeset
|
46 /** |
15106
6876a4599b7e
create NodeClass for each Node subclass during class initialization of the latter
Doug Simon <doug.simon@oracle.com>
parents:
15040
diff
changeset
|
47 * Metadata for every {@link Node} type. The metadata includes: |
11431
ca53d08b8ef9
removed Node.nodeClass field (GRAAL-359)
Doug Simon <doug.simon@oracle.com>
parents:
10785
diff
changeset
|
48 * <ul> |
ca53d08b8ef9
removed Node.nodeClass field (GRAAL-359)
Doug Simon <doug.simon@oracle.com>
parents:
10785
diff
changeset
|
49 * <li>The offsets of fields annotated with {@link Input} and {@link Successor} as well as methods |
ca53d08b8ef9
removed Node.nodeClass field (GRAAL-359)
Doug Simon <doug.simon@oracle.com>
parents:
10785
diff
changeset
|
50 * for iterating over such fields.</li> |
11631
1aed684853f6
refactored IterableNodeType into a top level type to avoid problems it was causing for javac and JDT (CR-1408)
Doug Simon <doug.simon@oracle.com>
parents:
11556
diff
changeset
|
51 * <li>The identifier for an {@link IterableNodeType} class.</li> |
11431
ca53d08b8ef9
removed Node.nodeClass field (GRAAL-359)
Doug Simon <doug.simon@oracle.com>
parents:
10785
diff
changeset
|
52 * </ul> |
ca53d08b8ef9
removed Node.nodeClass field (GRAAL-359)
Doug Simon <doug.simon@oracle.com>
parents:
10785
diff
changeset
|
53 */ |
ca53d08b8ef9
removed Node.nodeClass field (GRAAL-359)
Doug Simon <doug.simon@oracle.com>
parents:
10785
diff
changeset
|
54 public final class NodeClass extends FieldIntrospection { |
5858
911315a3e642
Factor out common infrastructure from NodeClass and LIRInstructionClass
Christian Wimmer <christian.wimmer@oracle.com>
parents:
5813
diff
changeset
|
55 |
15106
6876a4599b7e
create NodeClass for each Node subclass during class initialization of the latter
Doug Simon <doug.simon@oracle.com>
parents:
15040
diff
changeset
|
56 private static final Object GetNodeClassLock = new Object(); |
11431
ca53d08b8ef9
removed Node.nodeClass field (GRAAL-359)
Doug Simon <doug.simon@oracle.com>
parents:
10785
diff
changeset
|
57 |
17175
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
58 // Timers for creation of a NodeClass instance |
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
59 private static final DebugTimer Init = Debug.timer("NodeClass.Init"); |
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
60 private static final DebugTimer Init_FieldScanning = Debug.timer("NodeClass.Init.FieldScanning"); |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
61 private static final DebugTimer Init_FieldScanningInner = Debug.timer("NodeClass.Init.FieldScanning.Inner"); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
62 private static final DebugTimer Init_AnnotationParsing = Debug.timer("NodeClass.Init.AnnotationParsing"); |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
63 private static final DebugTimer Init_Edges = Debug.timer("NodeClass.Init.Edges"); |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
64 private static final DebugTimer Init_Data = Debug.timer("NodeClass.Init.Data"); |
17175
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
65 private static final DebugTimer Init_Naming = Debug.timer("NodeClass.Init.Naming"); |
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
66 private static final DebugTimer Init_AllowedUsages = Debug.timer("NodeClass.Init.AllowedUsages"); |
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
67 private static final DebugTimer Init_IterableIds = Debug.timer("NodeClass.Init.IterableIds"); |
17147
7a3f6543d383
added timer for NodeClass initializer (-Dgraal.debug.timer.NodeClassCreation=true)
Doug Simon <doug.simon@oracle.com>
parents:
17128
diff
changeset
|
68 |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
69 private static <T extends Annotation> T getAnnotation(AnnotatedElement e, Class<T> annotationClass) { |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
70 try (TimerCloseable s = Init_AnnotationParsing.start()) { |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
71 return e.getAnnotation(annotationClass); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
72 } |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
73 } |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
74 |
11431
ca53d08b8ef9
removed Node.nodeClass field (GRAAL-359)
Doug Simon <doug.simon@oracle.com>
parents:
10785
diff
changeset
|
75 /** |
ca53d08b8ef9
removed Node.nodeClass field (GRAAL-359)
Doug Simon <doug.simon@oracle.com>
parents:
10785
diff
changeset
|
76 * Gets the {@link NodeClass} associated with a given {@link Class}. |
ca53d08b8ef9
removed Node.nodeClass field (GRAAL-359)
Doug Simon <doug.simon@oracle.com>
parents:
10785
diff
changeset
|
77 */ |
11434
0d9fe4e80ab8
moved warning suppression annotation to placate JDT
Doug Simon <doug.simon@oracle.com>
parents:
11431
diff
changeset
|
78 @SuppressWarnings("unchecked") |
11431
ca53d08b8ef9
removed Node.nodeClass field (GRAAL-359)
Doug Simon <doug.simon@oracle.com>
parents:
10785
diff
changeset
|
79 public static NodeClass get(Class<?> c) { |
16982
5762848171e7
replaced 'node.getClass() == <literal>.getGenClass()' idiom with new 'NodeClass.is(Class<? extends Node.class> cls)' mechanism
Doug Simon <doug.simon@oracle.com>
parents:
16919
diff
changeset
|
80 Class<? extends Node> key = (Class<? extends Node>) c; |
16903
3ca8ba1bfc21
bind a generated Node class to the NodeClass instance of the generated-from Node class
Doug Simon <doug.simon@oracle.com>
parents:
16897
diff
changeset
|
81 |
15106
6876a4599b7e
create NodeClass for each Node subclass during class initialization of the latter
Doug Simon <doug.simon@oracle.com>
parents:
15040
diff
changeset
|
82 NodeClass value = (NodeClass) allClasses.get(key); |
6876a4599b7e
create NodeClass for each Node subclass during class initialization of the latter
Doug Simon <doug.simon@oracle.com>
parents:
15040
diff
changeset
|
83 // The fact that {@link ConcurrentHashMap#put} and {@link ConcurrentHashMap#get} |
6876a4599b7e
create NodeClass for each Node subclass during class initialization of the latter
Doug Simon <doug.simon@oracle.com>
parents:
15040
diff
changeset
|
84 // are used makes the double-checked locking idiom work. |
6876a4599b7e
create NodeClass for each Node subclass during class initialization of the latter
Doug Simon <doug.simon@oracle.com>
parents:
15040
diff
changeset
|
85 if (value == null) { |
6876a4599b7e
create NodeClass for each Node subclass during class initialization of the latter
Doug Simon <doug.simon@oracle.com>
parents:
15040
diff
changeset
|
86 // The creation of a NodeClass must be serialized as the NodeClass constructor accesses |
6876a4599b7e
create NodeClass for each Node subclass during class initialization of the latter
Doug Simon <doug.simon@oracle.com>
parents:
15040
diff
changeset
|
87 // both FieldIntrospection.allClasses and NodeClass.nextIterableId. |
6876a4599b7e
create NodeClass for each Node subclass during class initialization of the latter
Doug Simon <doug.simon@oracle.com>
parents:
15040
diff
changeset
|
88 synchronized (GetNodeClassLock) { |
17175
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
89 try (TimerCloseable t = Init.start()) { |
17147
7a3f6543d383
added timer for NodeClass initializer (-Dgraal.debug.timer.NodeClassCreation=true)
Doug Simon <doug.simon@oracle.com>
parents:
17128
diff
changeset
|
90 value = (NodeClass) allClasses.get(key); |
7a3f6543d383
added timer for NodeClass initializer (-Dgraal.debug.timer.NodeClassCreation=true)
Doug Simon <doug.simon@oracle.com>
parents:
17128
diff
changeset
|
91 if (value == null) { |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
92 GeneratedNode gen = getAnnotation(c, GeneratedNode.class); |
17147
7a3f6543d383
added timer for NodeClass initializer (-Dgraal.debug.timer.NodeClassCreation=true)
Doug Simon <doug.simon@oracle.com>
parents:
17128
diff
changeset
|
93 if (gen != null) { |
7a3f6543d383
added timer for NodeClass initializer (-Dgraal.debug.timer.NodeClassCreation=true)
Doug Simon <doug.simon@oracle.com>
parents:
17128
diff
changeset
|
94 Class<? extends Node> originalNodeClass = (Class<? extends Node>) gen.value(); |
7a3f6543d383
added timer for NodeClass initializer (-Dgraal.debug.timer.NodeClassCreation=true)
Doug Simon <doug.simon@oracle.com>
parents:
17128
diff
changeset
|
95 value = (NodeClass) allClasses.get(originalNodeClass); |
7a3f6543d383
added timer for NodeClass initializer (-Dgraal.debug.timer.NodeClassCreation=true)
Doug Simon <doug.simon@oracle.com>
parents:
17128
diff
changeset
|
96 assert value != null; |
7a3f6543d383
added timer for NodeClass initializer (-Dgraal.debug.timer.NodeClassCreation=true)
Doug Simon <doug.simon@oracle.com>
parents:
17128
diff
changeset
|
97 if (value.genClass == null) { |
7a3f6543d383
added timer for NodeClass initializer (-Dgraal.debug.timer.NodeClassCreation=true)
Doug Simon <doug.simon@oracle.com>
parents:
17128
diff
changeset
|
98 value.genClass = (Class<? extends Node>) c; |
7a3f6543d383
added timer for NodeClass initializer (-Dgraal.debug.timer.NodeClassCreation=true)
Doug Simon <doug.simon@oracle.com>
parents:
17128
diff
changeset
|
99 } else { |
7a3f6543d383
added timer for NodeClass initializer (-Dgraal.debug.timer.NodeClassCreation=true)
Doug Simon <doug.simon@oracle.com>
parents:
17128
diff
changeset
|
100 assert value.genClass == c; |
7a3f6543d383
added timer for NodeClass initializer (-Dgraal.debug.timer.NodeClassCreation=true)
Doug Simon <doug.simon@oracle.com>
parents:
17128
diff
changeset
|
101 } |
16991
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
102 } else { |
17148
3837c6aa9fd0
ensure NodeClass initialization follows class hierarchy order
Doug Simon <doug.simon@oracle.com>
parents:
17147
diff
changeset
|
103 Class<?> superclass = c.getSuperclass(); |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
104 NodeClass superNodeClass = null; |
17148
3837c6aa9fd0
ensure NodeClass initialization follows class hierarchy order
Doug Simon <doug.simon@oracle.com>
parents:
17147
diff
changeset
|
105 if (superclass != NODE_CLASS) { |
3837c6aa9fd0
ensure NodeClass initialization follows class hierarchy order
Doug Simon <doug.simon@oracle.com>
parents:
17147
diff
changeset
|
106 // Ensure NodeClass for superclass exists |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
107 superNodeClass = get(superclass); |
17148
3837c6aa9fd0
ensure NodeClass initialization follows class hierarchy order
Doug Simon <doug.simon@oracle.com>
parents:
17147
diff
changeset
|
108 } |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
109 value = new NodeClass(key, superNodeClass); |
16991
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
110 } |
17147
7a3f6543d383
added timer for NodeClass initializer (-Dgraal.debug.timer.NodeClassCreation=true)
Doug Simon <doug.simon@oracle.com>
parents:
17128
diff
changeset
|
111 Object old = allClasses.putIfAbsent(key, value); |
7a3f6543d383
added timer for NodeClass initializer (-Dgraal.debug.timer.NodeClassCreation=true)
Doug Simon <doug.simon@oracle.com>
parents:
17128
diff
changeset
|
112 assert old == null : old + " " + key; |
16982
5762848171e7
replaced 'node.getClass() == <literal>.getGenClass()' idiom with new 'NodeClass.is(Class<? extends Node.class> cls)' mechanism
Doug Simon <doug.simon@oracle.com>
parents:
16919
diff
changeset
|
113 } |
15106
6876a4599b7e
create NodeClass for each Node subclass during class initialization of the latter
Doug Simon <doug.simon@oracle.com>
parents:
15040
diff
changeset
|
114 } |
6876a4599b7e
create NodeClass for each Node subclass during class initialization of the latter
Doug Simon <doug.simon@oracle.com>
parents:
15040
diff
changeset
|
115 } |
11431
ca53d08b8ef9
removed Node.nodeClass field (GRAAL-359)
Doug Simon <doug.simon@oracle.com>
parents:
10785
diff
changeset
|
116 } |
15106
6876a4599b7e
create NodeClass for each Node subclass during class initialization of the latter
Doug Simon <doug.simon@oracle.com>
parents:
15040
diff
changeset
|
117 return value; |
11431
ca53d08b8ef9
removed Node.nodeClass field (GRAAL-359)
Doug Simon <doug.simon@oracle.com>
parents:
10785
diff
changeset
|
118 } |
ca53d08b8ef9
removed Node.nodeClass field (GRAAL-359)
Doug Simon <doug.simon@oracle.com>
parents:
10785
diff
changeset
|
119 |
5858
911315a3e642
Factor out common infrastructure from NodeClass and LIRInstructionClass
Christian Wimmer <christian.wimmer@oracle.com>
parents:
5813
diff
changeset
|
120 private static final Class<?> NODE_CLASS = Node.class; |
911315a3e642
Factor out common infrastructure from NodeClass and LIRInstructionClass
Christian Wimmer <christian.wimmer@oracle.com>
parents:
5813
diff
changeset
|
121 private static final Class<?> INPUT_LIST_CLASS = NodeInputList.class; |
911315a3e642
Factor out common infrastructure from NodeClass and LIRInstructionClass
Christian Wimmer <christian.wimmer@oracle.com>
parents:
5813
diff
changeset
|
122 private static final Class<?> SUCCESSOR_LIST_CLASS = NodeSuccessorList.class; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
123 |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
124 private static int nextIterableId = 0; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
125 |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
126 private final InputEdges inputs; |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
127 private final SuccessorEdges successors; |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
128 private final NodeClass superNodeClass; |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
129 |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
130 private final boolean canGVN; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
131 private final int startGVNNumber; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
132 private final String shortName; |
5813
3b8bc07f8d17
Add ability to give an existing to getDebugProperties
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
5810
diff
changeset
|
133 private final String nameTemplate; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
134 private final int iterableId; |
15002
06e50d290784
isAllowedUsageType on Nodes
Lukas Stadler <lukas.stadler@oracle.com>
parents:
15001
diff
changeset
|
135 private final EnumSet<InputType> allowedUsageTypes; |
7332
c5a9bcd9493d
Support sub-types for typed node iterators
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
7283
diff
changeset
|
136 private int[] iterableIds; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
137 |
16991
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
138 /** |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
139 * The {@linkplain GeneratedNode generated} node class denoted by this object. This value is |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
140 * lazily initialized to avoid class initialization circularity issues. A sentinel value of |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
141 * {@code Node.class} is used to denote absence of a generated class. |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
142 */ |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
143 private Class<? extends Node> genClass; |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
144 |
11642
5507e2824bc6
added metric to count IterableNodeTypes (GRAAL-471)
Doug Simon <doug.simon@oracle.com>
parents:
11631
diff
changeset
|
145 private static final DebugMetric ITERABLE_NODE_TYPES = Debug.metric("IterableNodeTypes"); |
11663
d213be26ffb4
added metric to count number of times a typed node iterator is used per IterableNodeType (GRAAL-471)
Doug Simon <doug.simon@oracle.com>
parents:
11653
diff
changeset
|
146 private final DebugMetric nodeIterableCount; |
11642
5507e2824bc6
added metric to count IterableNodeTypes (GRAAL-471)
Doug Simon <doug.simon@oracle.com>
parents:
11631
diff
changeset
|
147 |
11882
51059863da73
replace instanceof type tests for Canonicalizable and Simplifiable with extra boolean properties in NodeClass (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11676
diff
changeset
|
148 /** |
51059863da73
replace instanceof type tests for Canonicalizable and Simplifiable with extra boolean properties in NodeClass (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11676
diff
changeset
|
149 * Determines if this node type implements {@link Canonicalizable}. |
51059863da73
replace instanceof type tests for Canonicalizable and Simplifiable with extra boolean properties in NodeClass (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11676
diff
changeset
|
150 */ |
16239
de84713267fa
use default methods to select Canonicalizable behavior
Lukas Stadler <lukas.stadler@oracle.com>
parents:
16206
diff
changeset
|
151 private final boolean isCanonicalizable; |
11882
51059863da73
replace instanceof type tests for Canonicalizable and Simplifiable with extra boolean properties in NodeClass (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11676
diff
changeset
|
152 |
51059863da73
replace instanceof type tests for Canonicalizable and Simplifiable with extra boolean properties in NodeClass (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11676
diff
changeset
|
153 /** |
51059863da73
replace instanceof type tests for Canonicalizable and Simplifiable with extra boolean properties in NodeClass (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11676
diff
changeset
|
154 * Determines if this node type implements {@link Simplifiable}. |
51059863da73
replace instanceof type tests for Canonicalizable and Simplifiable with extra boolean properties in NodeClass (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11676
diff
changeset
|
155 */ |
51059863da73
replace instanceof type tests for Canonicalizable and Simplifiable with extra boolean properties in NodeClass (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11676
diff
changeset
|
156 private final boolean isSimplifiable; |
16919
0fe4732e5181
made use of generated Node classes predicated on value of graal.useGeneratedNodes system property (default is false)
Doug Simon <doug.simon@oracle.com>
parents:
16903
diff
changeset
|
157 private final boolean isLeafNode; |
11882
51059863da73
replace instanceof type tests for Canonicalizable and Simplifiable with extra boolean properties in NodeClass (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11676
diff
changeset
|
158 |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
159 public NodeClass(Class<?> clazz, NodeClass superNodeClass) { |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
160 this(clazz, superNodeClass, new DefaultCalcOffset(), null, 0); |
13127
f42f1f5d5ce0
Allow custom field offset providers
Christian Wimmer <christian.wimmer@oracle.com>
parents:
12701
diff
changeset
|
161 } |
f42f1f5d5ce0
Allow custom field offset providers
Christian Wimmer <christian.wimmer@oracle.com>
parents:
12701
diff
changeset
|
162 |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
163 public NodeClass(Class<?> clazz, NodeClass superNodeClass, CalcOffset calcOffset, int[] presetIterableIds, int presetIterableId) { |
5858
911315a3e642
Factor out common infrastructure from NodeClass and LIRInstructionClass
Christian Wimmer <christian.wimmer@oracle.com>
parents:
5813
diff
changeset
|
164 super(clazz); |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
165 this.superNodeClass = superNodeClass; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
166 assert NODE_CLASS.isAssignableFrom(clazz); |
16239
de84713267fa
use default methods to select Canonicalizable behavior
Lukas Stadler <lukas.stadler@oracle.com>
parents:
16206
diff
changeset
|
167 |
de84713267fa
use default methods to select Canonicalizable behavior
Lukas Stadler <lukas.stadler@oracle.com>
parents:
16206
diff
changeset
|
168 this.isCanonicalizable = Canonicalizable.class.isAssignableFrom(clazz); |
de84713267fa
use default methods to select Canonicalizable behavior
Lukas Stadler <lukas.stadler@oracle.com>
parents:
16206
diff
changeset
|
169 if (Canonicalizable.Unary.class.isAssignableFrom(clazz) || Canonicalizable.Binary.class.isAssignableFrom(clazz)) { |
de84713267fa
use default methods to select Canonicalizable behavior
Lukas Stadler <lukas.stadler@oracle.com>
parents:
16206
diff
changeset
|
170 assert Canonicalizable.Unary.class.isAssignableFrom(clazz) ^ Canonicalizable.Binary.class.isAssignableFrom(clazz) : clazz + " should implement either Unary or Binary, not both"; |
16206
2a1f3a8f76f1
handle Canonicalizable.Unary/Binary in CanonicalizerPhase and EquationalReasoner
Lukas Stadler <lukas.stadler@oracle.com>
parents:
16154
diff
changeset
|
171 } |
2a1f3a8f76f1
handle Canonicalizable.Unary/Binary in CanonicalizerPhase and EquationalReasoner
Lukas Stadler <lukas.stadler@oracle.com>
parents:
16154
diff
changeset
|
172 |
11882
51059863da73
replace instanceof type tests for Canonicalizable and Simplifiable with extra boolean properties in NodeClass (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11676
diff
changeset
|
173 this.isSimplifiable = Simplifiable.class.isAssignableFrom(clazz); |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
174 |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
175 FieldScanner fs = new FieldScanner(calcOffset, superNodeClass); |
17175
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
176 try (TimerCloseable t = Init_FieldScanning.start()) { |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
177 fs.scan(clazz, false); |
17175
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
178 } |
17008
81c9a1fc9072
select generated input and successor iterators if Node.USE_GENERATED_NODES
Doug Simon <doug.simon@oracle.com>
parents:
16991
diff
changeset
|
179 |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
180 try (TimerCloseable t1 = Init_Edges.start()) { |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
181 successors = new SuccessorEdges(fs.directSuccessors, fs.successors); |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
182 inputs = new InputEdges(fs.directInputs, fs.inputs); |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
183 } |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
184 try (TimerCloseable t1 = Init_Data.start()) { |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
185 data = new Fields(fs.data); |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
186 } |
5858
911315a3e642
Factor out common infrastructure from NodeClass and LIRInstructionClass
Christian Wimmer <christian.wimmer@oracle.com>
parents:
5813
diff
changeset
|
187 |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
188 isLeafNode = inputs.getCount() + successors.getCount() == 0; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
189 |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
190 canGVN = Node.ValueNumberable.class.isAssignableFrom(clazz); |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
191 startGVNNumber = clazz.hashCode(); |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
192 |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
193 NodeInfo info = getAnnotation(clazz, NodeInfo.class); |
17175
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
194 try (TimerCloseable t1 = Init_Naming.start()) { |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
195 String newNameTemplate = null; |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
196 String newShortName = clazz.getSimpleName(); |
17175
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
197 if (newShortName.endsWith("Node") && !newShortName.equals("StartNode") && !newShortName.equals("EndNode")) { |
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
198 newShortName = newShortName.substring(0, newShortName.length() - 4); |
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
199 } |
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
200 assert info != null : "missing " + NodeInfo.class.getSimpleName() + " annotation on " + clazz; |
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
201 if (!info.shortName().isEmpty()) { |
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
202 newShortName = info.shortName(); |
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
203 } |
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
204 if (!info.nameTemplate().isEmpty()) { |
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
205 newNameTemplate = info.nameTemplate(); |
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
206 } |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
207 this.nameTemplate = newNameTemplate == null ? newShortName : newNameTemplate; |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
208 this.shortName = newShortName; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
209 } |
17175
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
210 try (TimerCloseable t1 = Init_AllowedUsages.start()) { |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
211 allowedUsageTypes = superNodeClass == null ? EnumSet.noneOf(InputType.class) : superNodeClass.allowedUsageTypes.clone(); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
212 allowedUsageTypes.addAll(Arrays.asList(info.allowedUsageTypes())); |
17175
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
213 } |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
214 |
13127
f42f1f5d5ce0
Allow custom field offset providers
Christian Wimmer <christian.wimmer@oracle.com>
parents:
12701
diff
changeset
|
215 if (presetIterableIds != null) { |
f42f1f5d5ce0
Allow custom field offset providers
Christian Wimmer <christian.wimmer@oracle.com>
parents:
12701
diff
changeset
|
216 this.iterableIds = presetIterableIds; |
f42f1f5d5ce0
Allow custom field offset providers
Christian Wimmer <christian.wimmer@oracle.com>
parents:
12701
diff
changeset
|
217 this.iterableId = presetIterableId; |
f42f1f5d5ce0
Allow custom field offset providers
Christian Wimmer <christian.wimmer@oracle.com>
parents:
12701
diff
changeset
|
218 } else if (IterableNodeType.class.isAssignableFrom(clazz)) { |
11642
5507e2824bc6
added metric to count IterableNodeTypes (GRAAL-471)
Doug Simon <doug.simon@oracle.com>
parents:
11631
diff
changeset
|
219 ITERABLE_NODE_TYPES.increment(); |
17175
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
220 try (TimerCloseable t1 = Init_IterableIds.start()) { |
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
221 this.iterableId = nextIterableId++; |
17148
3837c6aa9fd0
ensure NodeClass initialization follows class hierarchy order
Doug Simon <doug.simon@oracle.com>
parents:
17147
diff
changeset
|
222 |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
223 NodeClass snc = superNodeClass; |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
224 while (snc != null && IterableNodeType.class.isAssignableFrom(snc.getClazz())) { |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
225 assert !containsId(this.iterableId, snc.iterableIds); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
226 snc.iterableIds = Arrays.copyOf(snc.iterableIds, snc.iterableIds.length + 1); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
227 snc.iterableIds[snc.iterableIds.length - 1] = this.iterableId; |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
228 snc = snc.superNodeClass; |
7332
c5a9bcd9493d
Support sub-types for typed node iterators
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
7283
diff
changeset
|
229 } |
17175
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
230 |
63870b298b39
added timers for NodeClass creation
Doug Simon <doug.simon@oracle.com>
parents:
17148
diff
changeset
|
231 this.iterableIds = new int[]{iterableId}; |
7332
c5a9bcd9493d
Support sub-types for typed node iterators
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
7283
diff
changeset
|
232 } |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
233 } else { |
16897
f90dcdbbb75e
switched to using new NodeFieldIterator and NodeFieldIterable for traversing Node inputs and successors
Doug Simon <doug.simon@oracle.com>
parents:
16841
diff
changeset
|
234 this.iterableId = Node.NOT_ITERABLE; |
7332
c5a9bcd9493d
Support sub-types for typed node iterators
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
7283
diff
changeset
|
235 this.iterableIds = null; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
236 } |
14616
aa7bcf1fa423
expanded Debug API to avoid any allocation for timer and metric creation if debugging is disabled
Doug Simon <doug.simon@oracle.com>
parents:
14157
diff
changeset
|
237 nodeIterableCount = Debug.metric("NodeIterable_%s", shortName); |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
238 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
239 |
16991
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
240 /** |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
241 * Gets the {@linkplain GeneratedNode generated} node class (if any) described by the object. |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
242 */ |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
243 @SuppressWarnings("unchecked") |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
244 public Class<? extends Node> getGenClass() { |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
245 if (USE_GENERATED_NODES) { |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
246 if (genClass == null) { |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
247 if (!isAbstract(getClazz().getModifiers())) { |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
248 String genClassName = getClazz().getName().replace('$', '_') + "Gen"; |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
249 try { |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
250 genClass = (Class<? extends Node>) Class.forName(genClassName); |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
251 } catch (ClassNotFoundException e) { |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
252 throw new GraalInternalError("Could not find generated class " + genClassName + " for " + getClazz()); |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
253 } |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
254 } else { |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
255 // Sentinel value denoting no generated class |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
256 genClass = Node.class; |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
257 } |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
258 } |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
259 return genClass.equals(Node.class) ? null : genClass; |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
260 } |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
261 return null; |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
262 } |
4a6d852dbb68
added support to get the generated Node class represented by a NodeClass instance
Doug Simon <doug.simon@oracle.com>
parents:
16987
diff
changeset
|
263 |
16987
39d979dae809
need extra logic when computing Node iterable ids and USE_GENERATED_NODES == true
Doug Simon <doug.simon@oracle.com>
parents:
16986
diff
changeset
|
264 private static boolean containsId(int iterableId, int[] iterableIds) { |
39d979dae809
need extra logic when computing Node iterable ids and USE_GENERATED_NODES == true
Doug Simon <doug.simon@oracle.com>
parents:
16986
diff
changeset
|
265 for (int i : iterableIds) { |
39d979dae809
need extra logic when computing Node iterable ids and USE_GENERATED_NODES == true
Doug Simon <doug.simon@oracle.com>
parents:
16986
diff
changeset
|
266 if (i == iterableId) { |
39d979dae809
need extra logic when computing Node iterable ids and USE_GENERATED_NODES == true
Doug Simon <doug.simon@oracle.com>
parents:
16986
diff
changeset
|
267 return true; |
39d979dae809
need extra logic when computing Node iterable ids and USE_GENERATED_NODES == true
Doug Simon <doug.simon@oracle.com>
parents:
16986
diff
changeset
|
268 } |
39d979dae809
need extra logic when computing Node iterable ids and USE_GENERATED_NODES == true
Doug Simon <doug.simon@oracle.com>
parents:
16986
diff
changeset
|
269 } |
39d979dae809
need extra logic when computing Node iterable ids and USE_GENERATED_NODES == true
Doug Simon <doug.simon@oracle.com>
parents:
16986
diff
changeset
|
270 return false; |
39d979dae809
need extra logic when computing Node iterable ids and USE_GENERATED_NODES == true
Doug Simon <doug.simon@oracle.com>
parents:
16986
diff
changeset
|
271 } |
39d979dae809
need extra logic when computing Node iterable ids and USE_GENERATED_NODES == true
Doug Simon <doug.simon@oracle.com>
parents:
16986
diff
changeset
|
272 |
16982
5762848171e7
replaced 'node.getClass() == <literal>.getGenClass()' idiom with new 'NodeClass.is(Class<? extends Node.class> cls)' mechanism
Doug Simon <doug.simon@oracle.com>
parents:
16919
diff
changeset
|
273 /** |
17051
c25fcf343b4f
improved javadoc for NodeClass.is()
Doug Simon <doug.simon@oracle.com>
parents:
17044
diff
changeset
|
274 * Determines if a given {@link Node} class is described by this {@link NodeClass} object. This |
c25fcf343b4f
improved javadoc for NodeClass.is()
Doug Simon <doug.simon@oracle.com>
parents:
17044
diff
changeset
|
275 * is useful for doing an exact type test (as opposed to an instanceof test) on a node. For |
c25fcf343b4f
improved javadoc for NodeClass.is()
Doug Simon <doug.simon@oracle.com>
parents:
17044
diff
changeset
|
276 * example: |
c25fcf343b4f
improved javadoc for NodeClass.is()
Doug Simon <doug.simon@oracle.com>
parents:
17044
diff
changeset
|
277 * |
c25fcf343b4f
improved javadoc for NodeClass.is()
Doug Simon <doug.simon@oracle.com>
parents:
17044
diff
changeset
|
278 * <pre> |
c25fcf343b4f
improved javadoc for NodeClass.is()
Doug Simon <doug.simon@oracle.com>
parents:
17044
diff
changeset
|
279 * if (node.getNodeClass().is(BeginNode.class)) { ... } |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
280 * |
17051
c25fcf343b4f
improved javadoc for NodeClass.is()
Doug Simon <doug.simon@oracle.com>
parents:
17044
diff
changeset
|
281 * // Due to generated Node classes, the test below |
c25fcf343b4f
improved javadoc for NodeClass.is()
Doug Simon <doug.simon@oracle.com>
parents:
17044
diff
changeset
|
282 * // is *not* the same as the test above: |
c25fcf343b4f
improved javadoc for NodeClass.is()
Doug Simon <doug.simon@oracle.com>
parents:
17044
diff
changeset
|
283 * if (node.getClass() == BeginNode.class) { ... } |
c25fcf343b4f
improved javadoc for NodeClass.is()
Doug Simon <doug.simon@oracle.com>
parents:
17044
diff
changeset
|
284 * </pre> |
16986
f7359a0ce946
tweaked comparison of a Node against a node class
Doug Simon <doug.simon@oracle.com>
parents:
16982
diff
changeset
|
285 * |
f7359a0ce946
tweaked comparison of a Node against a node class
Doug Simon <doug.simon@oracle.com>
parents:
16982
diff
changeset
|
286 * @param nodeClass a {@linkplain GeneratedNode non-generated} {@link Node} class |
16982
5762848171e7
replaced 'node.getClass() == <literal>.getGenClass()' idiom with new 'NodeClass.is(Class<? extends Node.class> cls)' mechanism
Doug Simon <doug.simon@oracle.com>
parents:
16919
diff
changeset
|
287 */ |
5762848171e7
replaced 'node.getClass() == <literal>.getGenClass()' idiom with new 'NodeClass.is(Class<? extends Node.class> cls)' mechanism
Doug Simon <doug.simon@oracle.com>
parents:
16919
diff
changeset
|
288 public boolean is(Class<? extends Node> nodeClass) { |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
289 assert getAnnotation(nodeClass, GeneratedNode.class) == null : "cannot test NodeClas against generated " + nodeClass; |
16986
f7359a0ce946
tweaked comparison of a Node against a node class
Doug Simon <doug.simon@oracle.com>
parents:
16982
diff
changeset
|
290 return nodeClass == getClazz(); |
16903
3ca8ba1bfc21
bind a generated Node class to the NodeClass instance of the generated-from Node class
Doug Simon <doug.simon@oracle.com>
parents:
16897
diff
changeset
|
291 } |
3ca8ba1bfc21
bind a generated Node class to the NodeClass instance of the generated-from Node class
Doug Simon <doug.simon@oracle.com>
parents:
16897
diff
changeset
|
292 |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
293 public String shortName() { |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
294 return shortName; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
295 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
296 |
7332
c5a9bcd9493d
Support sub-types for typed node iterators
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
7283
diff
changeset
|
297 public int[] iterableIds() { |
11663
d213be26ffb4
added metric to count number of times a typed node iterator is used per IterableNodeType (GRAAL-471)
Doug Simon <doug.simon@oracle.com>
parents:
11653
diff
changeset
|
298 nodeIterableCount.increment(); |
7332
c5a9bcd9493d
Support sub-types for typed node iterators
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
7283
diff
changeset
|
299 return iterableIds; |
c5a9bcd9493d
Support sub-types for typed node iterators
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
7283
diff
changeset
|
300 } |
c5a9bcd9493d
Support sub-types for typed node iterators
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
7283
diff
changeset
|
301 |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
302 public int iterableId() { |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
303 return iterableId; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
304 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
305 |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
306 public boolean valueNumberable() { |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
307 return canGVN; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
308 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
309 |
11882
51059863da73
replace instanceof type tests for Canonicalizable and Simplifiable with extra boolean properties in NodeClass (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11676
diff
changeset
|
310 /** |
51059863da73
replace instanceof type tests for Canonicalizable and Simplifiable with extra boolean properties in NodeClass (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11676
diff
changeset
|
311 * Determines if this node type implements {@link Canonicalizable}. |
51059863da73
replace instanceof type tests for Canonicalizable and Simplifiable with extra boolean properties in NodeClass (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11676
diff
changeset
|
312 */ |
16239
de84713267fa
use default methods to select Canonicalizable behavior
Lukas Stadler <lukas.stadler@oracle.com>
parents:
16206
diff
changeset
|
313 public boolean isCanonicalizable() { |
de84713267fa
use default methods to select Canonicalizable behavior
Lukas Stadler <lukas.stadler@oracle.com>
parents:
16206
diff
changeset
|
314 return isCanonicalizable; |
11882
51059863da73
replace instanceof type tests for Canonicalizable and Simplifiable with extra boolean properties in NodeClass (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11676
diff
changeset
|
315 } |
51059863da73
replace instanceof type tests for Canonicalizable and Simplifiable with extra boolean properties in NodeClass (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11676
diff
changeset
|
316 |
51059863da73
replace instanceof type tests for Canonicalizable and Simplifiable with extra boolean properties in NodeClass (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11676
diff
changeset
|
317 /** |
51059863da73
replace instanceof type tests for Canonicalizable and Simplifiable with extra boolean properties in NodeClass (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11676
diff
changeset
|
318 * Determines if this node type implements {@link Simplifiable}. |
51059863da73
replace instanceof type tests for Canonicalizable and Simplifiable with extra boolean properties in NodeClass (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11676
diff
changeset
|
319 */ |
51059863da73
replace instanceof type tests for Canonicalizable and Simplifiable with extra boolean properties in NodeClass (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11676
diff
changeset
|
320 public boolean isSimplifiable() { |
51059863da73
replace instanceof type tests for Canonicalizable and Simplifiable with extra boolean properties in NodeClass (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11676
diff
changeset
|
321 return isSimplifiable; |
51059863da73
replace instanceof type tests for Canonicalizable and Simplifiable with extra boolean properties in NodeClass (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11676
diff
changeset
|
322 } |
51059863da73
replace instanceof type tests for Canonicalizable and Simplifiable with extra boolean properties in NodeClass (GRAAL-506)
Doug Simon <doug.simon@oracle.com>
parents:
11676
diff
changeset
|
323 |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
324 public static int cacheSize() { |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
325 return nextIterableId; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
326 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
327 |
15002
06e50d290784
isAllowedUsageType on Nodes
Lukas Stadler <lukas.stadler@oracle.com>
parents:
15001
diff
changeset
|
328 public EnumSet<InputType> getAllowedUsageTypes() { |
06e50d290784
isAllowedUsageType on Nodes
Lukas Stadler <lukas.stadler@oracle.com>
parents:
15001
diff
changeset
|
329 return allowedUsageTypes; |
06e50d290784
isAllowedUsageType on Nodes
Lukas Stadler <lukas.stadler@oracle.com>
parents:
15001
diff
changeset
|
330 } |
06e50d290784
isAllowedUsageType on Nodes
Lukas Stadler <lukas.stadler@oracle.com>
parents:
15001
diff
changeset
|
331 |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
332 /** |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
333 * Describes a field representing an input or successor edge in a node. |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
334 */ |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
335 protected static class EdgeInfo extends FieldInfo { |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
336 |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
337 public EdgeInfo(long offset, String name, Class<?> type) { |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
338 super(offset, name, type); |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
339 } |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
340 |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
341 /** |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
342 * Sorts non-list edges before list edges. |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
343 */ |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
344 @Override |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
345 public int compareTo(FieldInfo o) { |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
346 if (NodeList.class.isAssignableFrom(o.type)) { |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
347 if (!NodeList.class.isAssignableFrom(type)) { |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
348 return -1; |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
349 } |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
350 } else { |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
351 if (NodeList.class.isAssignableFrom(type)) { |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
352 return 1; |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
353 } |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
354 } |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
355 return super.compareTo(o); |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
356 } |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
357 } |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
358 |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
359 /** |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
360 * Describes a field representing an {@linkplain Type#Inputs input} edge in a node. |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
361 */ |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
362 protected static class InputInfo extends EdgeInfo { |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
363 final InputType inputType; |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
364 final boolean optional; |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
365 |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
366 public InputInfo(long offset, String name, Class<?> type, InputType inputType, boolean optional) { |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
367 super(offset, name, type); |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
368 this.inputType = inputType; |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
369 this.optional = optional; |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
370 } |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
371 |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
372 @Override |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
373 public String toString() { |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
374 return super.toString() + "{inputType=" + inputType + ", optional=" + optional + "}"; |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
375 } |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
376 } |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
377 |
5858
911315a3e642
Factor out common infrastructure from NodeClass and LIRInstructionClass
Christian Wimmer <christian.wimmer@oracle.com>
parents:
5813
diff
changeset
|
378 protected static class FieldScanner extends BaseFieldScanner { |
7530
5e3d1a68664e
applied mx eclipseformat to all Java files
Doug Simon <doug.simon@oracle.com>
parents:
7332
diff
changeset
|
379 |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
380 public final ArrayList<InputInfo> inputs = new ArrayList<>(); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
381 public final ArrayList<EdgeInfo> successors = new ArrayList<>(); |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
382 int directInputs; |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
383 int directSuccessors; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
384 |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
385 protected FieldScanner(CalcOffset calc, NodeClass superNodeClass) { |
5858
911315a3e642
Factor out common infrastructure from NodeClass and LIRInstructionClass
Christian Wimmer <christian.wimmer@oracle.com>
parents:
5813
diff
changeset
|
386 super(calc); |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
387 if (superNodeClass != null) { |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
388 translateInto(superNodeClass.inputs, inputs); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
389 translateInto(superNodeClass.successors, successors); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
390 translateInto(superNodeClass.data, data); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
391 directInputs = superNodeClass.inputs.getDirectCount(); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
392 directSuccessors = superNodeClass.successors.getDirectCount(); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
393 } |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
394 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
395 |
5858
911315a3e642
Factor out common infrastructure from NodeClass and LIRInstructionClass
Christian Wimmer <christian.wimmer@oracle.com>
parents:
5813
diff
changeset
|
396 @Override |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
397 protected void scanField(Field field, long offset) { |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
398 Input inputAnnotation = getAnnotation(field, Node.Input.class); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
399 OptionalInput optionalInputAnnotation = getAnnotation(field, Node.OptionalInput.class); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
400 Successor successorAnnotation = getAnnotation(field, Successor.class); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
401 try (TimerCloseable s = Init_FieldScanningInner.start()) { |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
402 Class<?> type = field.getType(); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
403 int modifiers = field.getModifiers(); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
404 |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
405 if (inputAnnotation != null || optionalInputAnnotation != null) { |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
406 assert successorAnnotation == null : "field cannot be both input and successor"; |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
407 if (INPUT_LIST_CLASS.isAssignableFrom(type)) { |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
408 // NodeInputList fields should not be final since they are |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
409 // written (via Unsafe) in clearInputs() |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
410 GraalInternalError.guarantee(!Modifier.isFinal(modifiers), "NodeInputList input field %s should not be final", field); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
411 GraalInternalError.guarantee(!Modifier.isPublic(modifiers), "NodeInputList input field %s should not be public", field); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
412 } else { |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
413 GraalInternalError.guarantee(NODE_CLASS.isAssignableFrom(type) || type.isInterface(), "invalid input type: %s", type); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
414 GraalInternalError.guarantee(!Modifier.isFinal(modifiers), "Node input field %s should not be final", field); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
415 directInputs++; |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
416 } |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
417 InputType inputType; |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
418 if (inputAnnotation != null) { |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
419 assert optionalInputAnnotation == null : "inputs can either be optional or non-optional"; |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
420 inputType = inputAnnotation.value(); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
421 } else { |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
422 inputType = optionalInputAnnotation.value(); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
423 } |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
424 inputs.add(new InputInfo(offset, field.getName(), type, inputType, field.isAnnotationPresent(Node.OptionalInput.class))); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
425 } else if (successorAnnotation != null) { |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
426 if (SUCCESSOR_LIST_CLASS.isAssignableFrom(type)) { |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
427 // NodeSuccessorList fields should not be final since they are |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
428 // written (via Unsafe) in clearSuccessors() |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
429 GraalInternalError.guarantee(!Modifier.isFinal(modifiers), "NodeSuccessorList successor field % should not be final", field); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
430 GraalInternalError.guarantee(!Modifier.isPublic(modifiers), "NodeSuccessorList successor field %s should not be public", field); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
431 } else { |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
432 GraalInternalError.guarantee(NODE_CLASS.isAssignableFrom(type), "invalid successor type: %s", type); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
433 GraalInternalError.guarantee(!Modifier.isFinal(modifiers), "Node successor field %s should not be final", field); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
434 directSuccessors++; |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
435 } |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
436 successors.add(new EdgeInfo(offset, field.getName(), type)); |
16332
ddd68e267e34
explicitly define optional inputs in @Input
Lukas Stadler <lukas.stadler@oracle.com>
parents:
16239
diff
changeset
|
437 } else { |
17247
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
438 GraalInternalError.guarantee(!NODE_CLASS.isAssignableFrom(type) || field.getName().equals("Null"), "suspicious node field: %s", field); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
439 GraalInternalError.guarantee(!INPUT_LIST_CLASS.isAssignableFrom(type), "suspicious node input list field: %s", field); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
440 GraalInternalError.guarantee(!SUCCESSOR_LIST_CLASS.isAssignableFrom(type), "suspicious node successor list field: %s", field); |
eed077c367d3
improved performance of NodeClass initialization by improving the way information is derived from super NodeClasses
Doug Simon <doug.simon@oracle.com>
parents:
17244
diff
changeset
|
441 data.add(new FieldInfo(offset, field.getName(), type)); |
16332
ddd68e267e34
explicitly define optional inputs in @Input
Lukas Stadler <lukas.stadler@oracle.com>
parents:
16239
diff
changeset
|
442 } |
5858
911315a3e642
Factor out common infrastructure from NodeClass and LIRInstructionClass
Christian Wimmer <christian.wimmer@oracle.com>
parents:
5813
diff
changeset
|
443 } |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
444 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
445 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
446 |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
447 @Override |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
448 public String toString() { |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
449 StringBuilder str = new StringBuilder(); |
15295
21663230ba88
Move FieldIntrospection to graal.compiler.common.
Josef Eisl <josef.eisl@jku.at>
parents:
15241
diff
changeset
|
450 str.append("NodeClass ").append(getClazz().getSimpleName()).append(" ["); |
17226
a552dd335bde
generalized support for unsafe access to a subset of the fields of an object
Doug Simon <doug.simon@oracle.com>
parents:
17225
diff
changeset
|
451 inputs.appendFields(str); |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
452 str.append("] ["); |
17226
a552dd335bde
generalized support for unsafe access to a subset of the fields of an object
Doug Simon <doug.simon@oracle.com>
parents:
17225
diff
changeset
|
453 successors.appendFields(str); |
a552dd335bde
generalized support for unsafe access to a subset of the fields of an object
Doug Simon <doug.simon@oracle.com>
parents:
17225
diff
changeset
|
454 str.append("] ["); |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
455 data.appendFields(str); |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
456 str.append("]"); |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
457 return str.toString(); |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
458 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
459 |
12696
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
460 private static int deepHashCode0(Object o) { |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
461 if (o instanceof Object[]) { |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
462 return Arrays.deepHashCode((Object[]) o); |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
463 } else if (o instanceof byte[]) { |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
464 return Arrays.hashCode((byte[]) o); |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
465 } else if (o instanceof short[]) { |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
466 return Arrays.hashCode((short[]) o); |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
467 } else if (o instanceof int[]) { |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
468 return Arrays.hashCode((int[]) o); |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
469 } else if (o instanceof long[]) { |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
470 return Arrays.hashCode((long[]) o); |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
471 } else if (o instanceof char[]) { |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
472 return Arrays.hashCode((char[]) o); |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
473 } else if (o instanceof float[]) { |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
474 return Arrays.hashCode((float[]) o); |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
475 } else if (o instanceof double[]) { |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
476 return Arrays.hashCode((double[]) o); |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
477 } else if (o instanceof boolean[]) { |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
478 return Arrays.hashCode((boolean[]) o); |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
479 } else if (o != null) { |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
480 return o.hashCode(); |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
481 } else { |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
482 return 0; |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
483 } |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
484 } |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
485 |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
486 public int valueNumber(Node n) { |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
487 int number = 0; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
488 if (canGVN) { |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
489 number = startGVNNumber; |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
490 for (int i = 0; i < data.getCount(); ++i) { |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
491 Class<?> type = data.getType(i); |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
492 if (type.isPrimitive()) { |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
493 if (type == Integer.TYPE) { |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
494 int intValue = data.getInt(n, i); |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
495 number += intValue; |
6657
768793150bcd
more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents:
6414
diff
changeset
|
496 } else if (type == Long.TYPE) { |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
497 long longValue = data.getLong(n, i); |
6657
768793150bcd
more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents:
6414
diff
changeset
|
498 number += longValue ^ (longValue >>> 32); |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
499 } else if (type == Boolean.TYPE) { |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
500 boolean booleanValue = data.getBoolean(n, i); |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
501 if (booleanValue) { |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
502 number += 7; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
503 } |
12701
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
504 } else if (type == Float.TYPE) { |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
505 float floatValue = data.getFloat(n, i); |
12701
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
506 number += Float.floatToRawIntBits(floatValue); |
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
507 } else if (type == Double.TYPE) { |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
508 double doubleValue = data.getDouble(n, i); |
12701
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
509 long longValue = Double.doubleToRawLongBits(doubleValue); |
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
510 number += longValue ^ (longValue >>> 32); |
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
511 } else if (type == Short.TYPE) { |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
512 short shortValue = data.getShort(n, i); |
12701
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
513 number += shortValue; |
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
514 } else if (type == Character.TYPE) { |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
515 char charValue = data.getChar(n, i); |
12701
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
516 number += charValue; |
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
517 } else if (type == Byte.TYPE) { |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
518 byte byteValue = data.getByte(n, i); |
12701
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
519 number += byteValue; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
520 } else { |
12701
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
521 assert false : "unhandled property type: " + type; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
522 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
523 } else { |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
524 Object o = data.getObject(n, i); |
12696
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
525 number += deepHashCode0(o); |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
526 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
527 number *= 13; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
528 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
529 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
530 return number; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
531 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
532 |
12696
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
533 private static boolean deepEquals0(Object e1, Object e2) { |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
534 assert e1 != null; |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
535 boolean eq; |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
536 if (e1 instanceof Object[] && e2 instanceof Object[]) { |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
537 eq = Arrays.deepEquals((Object[]) e1, (Object[]) e2); |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
538 } else if (e1 instanceof byte[] && e2 instanceof byte[]) { |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
539 eq = Arrays.equals((byte[]) e1, (byte[]) e2); |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
540 } else if (e1 instanceof short[] && e2 instanceof short[]) { |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
541 eq = Arrays.equals((short[]) e1, (short[]) e2); |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
542 } else if (e1 instanceof int[] && e2 instanceof int[]) { |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
543 eq = Arrays.equals((int[]) e1, (int[]) e2); |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
544 } else if (e1 instanceof long[] && e2 instanceof long[]) { |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
545 eq = Arrays.equals((long[]) e1, (long[]) e2); |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
546 } else if (e1 instanceof char[] && e2 instanceof char[]) { |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
547 eq = Arrays.equals((char[]) e1, (char[]) e2); |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
548 } else if (e1 instanceof float[] && e2 instanceof float[]) { |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
549 eq = Arrays.equals((float[]) e1, (float[]) e2); |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
550 } else if (e1 instanceof double[] && e2 instanceof double[]) { |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
551 eq = Arrays.equals((double[]) e1, (double[]) e2); |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
552 } else if (e1 instanceof boolean[] && e2 instanceof boolean[]) { |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
553 eq = Arrays.equals((boolean[]) e1, (boolean[]) e2); |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
554 } else { |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
555 eq = e1.equals(e2); |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
556 } |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
557 return eq; |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
558 } |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
559 |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
560 public boolean valueEqual(Node a, Node b) { |
15186
5e2cffe8b815
allow valueEqual for non-GVN node classes
Lukas Stadler <lukas.stadler@oracle.com>
parents:
15106
diff
changeset
|
561 if (a.getClass() != b.getClass()) { |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
562 return a == b; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
563 } |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
564 for (int i = 0; i < data.getCount(); ++i) { |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
565 Class<?> type = data.getType(i); |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
566 if (type.isPrimitive()) { |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
567 if (type == Integer.TYPE) { |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
568 int aInt = data.getInt(a, i); |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
569 int bInt = data.getInt(b, i); |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
570 if (aInt != bInt) { |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
571 return false; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
572 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
573 } else if (type == Boolean.TYPE) { |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
574 boolean aBoolean = data.getBoolean(a, i); |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
575 boolean bBoolean = data.getBoolean(b, i); |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
576 if (aBoolean != bBoolean) { |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
577 return false; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
578 } |
5301
23ea81293bd5
let NodeClass.valueEqual handle long fields
Lukas Stadler <lukas.stadler@jku.at>
parents:
5299
diff
changeset
|
579 } else if (type == Long.TYPE) { |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
580 long aLong = data.getLong(a, i); |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
581 long bLong = data.getLong(b, i); |
5301
23ea81293bd5
let NodeClass.valueEqual handle long fields
Lukas Stadler <lukas.stadler@jku.at>
parents:
5299
diff
changeset
|
582 if (aLong != bLong) { |
23ea81293bd5
let NodeClass.valueEqual handle long fields
Lukas Stadler <lukas.stadler@jku.at>
parents:
5299
diff
changeset
|
583 return false; |
23ea81293bd5
let NodeClass.valueEqual handle long fields
Lukas Stadler <lukas.stadler@jku.at>
parents:
5299
diff
changeset
|
584 } |
12701
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
585 } else if (type == Float.TYPE) { |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
586 float aFloat = data.getFloat(a, i); |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
587 float bFloat = data.getFloat(b, i); |
12701
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
588 if (aFloat != bFloat) { |
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
589 return false; |
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
590 } |
10785
debb9d8e0282
allow double fields in value number computation and thus, in floating nodes
Doug Simon <doug.simon@oracle.com>
parents:
10424
diff
changeset
|
591 } else if (type == Double.TYPE) { |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
592 double aDouble = data.getDouble(a, i); |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
593 double bDouble = data.getDouble(b, i); |
10785
debb9d8e0282
allow double fields in value number computation and thus, in floating nodes
Doug Simon <doug.simon@oracle.com>
parents:
10424
diff
changeset
|
594 if (aDouble != bDouble) { |
debb9d8e0282
allow double fields in value number computation and thus, in floating nodes
Doug Simon <doug.simon@oracle.com>
parents:
10424
diff
changeset
|
595 return false; |
debb9d8e0282
allow double fields in value number computation and thus, in floating nodes
Doug Simon <doug.simon@oracle.com>
parents:
10424
diff
changeset
|
596 } |
12701
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
597 } else if (type == Short.TYPE) { |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
598 short aShort = data.getShort(a, i); |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
599 short bShort = data.getShort(b, i); |
12701
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
600 if (aShort != bShort) { |
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
601 return false; |
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
602 } |
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
603 } else if (type == Character.TYPE) { |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
604 char aChar = data.getChar(a, i); |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
605 char bChar = data.getChar(b, i); |
12701
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
606 if (aChar != bChar) { |
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
607 return false; |
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
608 } |
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
609 } else if (type == Byte.TYPE) { |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
610 byte aByte = data.getByte(a, i); |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
611 byte bByte = data.getByte(b, i); |
12701
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
612 if (aByte != bByte) { |
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
613 return false; |
42a60780c2c9
Add some missing cases for NodeClass.(getDebugProperties|valueEqual|valueNumber)
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
12696
diff
changeset
|
614 } |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
615 } else { |
5301
23ea81293bd5
let NodeClass.valueEqual handle long fields
Lukas Stadler <lukas.stadler@jku.at>
parents:
5299
diff
changeset
|
616 assert false : "unhandled type: " + type; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
617 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
618 } else { |
17244
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
619 Object objectA = data.getObject(a, i); |
aef31f60e970
converted all FieldIntrospection subclass to use Fields
Doug Simon <doug.simon@oracle.com>
parents:
17231
diff
changeset
|
620 Object objectB = data.getObject(b, i); |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
621 if (objectA != objectB) { |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
622 if (objectA != null && objectB != null) { |
12696
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
623 if (!deepEquals0(objectA, objectB)) { |
22780dc399da
Support arbitrary array types in global value numbering.
Roland Schatz <roland.schatz@oracle.com>
parents:
12687
diff
changeset
|
624 return false; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
625 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
626 } else { |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
627 return false; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
628 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
629 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
630 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
631 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
632 return true; |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
633 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
634 |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
635 public boolean isValid(Position pos, NodeClass from, Edges fromEdges) { |
5489
5d0d72b37f88
Switch to new loop transformation framework, use it for peeling and full unrolling for snippets
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
5487
diff
changeset
|
636 if (this == from) { |
5d0d72b37f88
Switch to new loop transformation framework, use it for peeling and full unrolling for snippets
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
5487
diff
changeset
|
637 return true; |
5d0d72b37f88
Switch to new loop transformation framework, use it for peeling and full unrolling for snippets
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
5487
diff
changeset
|
638 } |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
639 Edges toEdges = getEdges(fromEdges.type()); |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
640 if (pos.getIndex() >= toEdges.getCount()) { |
5214 | 641 return false; |
642 } | |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
643 if (pos.getIndex() >= fromEdges.getCount()) { |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
644 return false; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
645 } |
17226
a552dd335bde
generalized support for unsafe access to a subset of the fields of an object
Doug Simon <doug.simon@oracle.com>
parents:
17225
diff
changeset
|
646 return toEdges.isSame(fromEdges, pos.getIndex()); |
15827
4e770fa50889
Make NodeClass more flexible
Christian Wimmer <christian.wimmer@oracle.com>
parents:
15551
diff
changeset
|
647 } |
4e770fa50889
Make NodeClass more flexible
Christian Wimmer <christian.wimmer@oracle.com>
parents:
15551
diff
changeset
|
648 |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
649 static void updateEdgesInPlace(Node node, InplaceUpdateClosure duplicationReplacement, Edges edges) { |
11674
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
650 int index = 0; |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
651 while (index < edges.getDirectCount()) { |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
652 Node edge = edges.getNode(node, index); |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
653 if (edge != null) { |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
654 Node newEdge = duplicationReplacement.replacement(edge, edges.type()); |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
655 if (edges.type() == Edges.Type.Inputs) { |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
656 node.updateUsages(null, newEdge); |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
657 } else { |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
658 node.updatePredecessor(null, newEdge); |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
659 } |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
660 assert newEdge == null || edges.getType(index).isAssignableFrom(newEdge.getClass()) : "Can not assign " + newEdge.getClass() + " to " + edges.getType(index) + " in " + node; |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
661 edges.initializeNode(node, index, newEdge); |
11674
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
662 } |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
663 index++; |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
664 } |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
665 |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
666 while (index < edges.getCount()) { |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
667 NodeList<Node> list = edges.getNodeList(node, index); |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
668 assert list != null : edges; |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
669 edges.initializeList(node, index, updateEdgeListCopy(node, list, duplicationReplacement, edges.type())); |
11674
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
670 index++; |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
671 } |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
672 } |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
673 |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
674 void updateInputSuccInPlace(Node node, InplaceUpdateClosure duplicationReplacement) { |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
675 updateEdgesInPlace(node, duplicationReplacement, inputs); |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
676 updateEdgesInPlace(node, duplicationReplacement, successors); |
11674
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
677 } |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
678 |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
679 private static NodeList<Node> updateEdgeListCopy(Node node, NodeList<Node> list, InplaceUpdateClosure duplicationReplacement, Edges.Type type) { |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
680 NodeList<Node> result = type == Edges.Type.Inputs ? new NodeInputList<>(node, list.size()) : new NodeSuccessorList<>(node, list.size()); |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
681 |
11674
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
682 for (int i = 0; i < list.count(); ++i) { |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
683 Node oldNode = list.get(i); |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
684 if (oldNode != null) { |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
685 Node newNode = duplicationReplacement.replacement(oldNode, type); |
11674
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
686 result.set(i, newNode); |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
687 } |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
688 } |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
689 return result; |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
690 } |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
691 |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
692 /** |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
693 * Gets the input or successor edges defined by this node class. |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
694 */ |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
695 public Edges getEdges(Edges.Type type) { |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
696 return type == Edges.Type.Inputs ? inputs : successors; |
5813
3b8bc07f8d17
Add ability to give an existing to getDebugProperties
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
5810
diff
changeset
|
697 } |
3b8bc07f8d17
Add ability to give an existing to getDebugProperties
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
5810
diff
changeset
|
698 |
15827
4e770fa50889
Make NodeClass more flexible
Christian Wimmer <christian.wimmer@oracle.com>
parents:
15551
diff
changeset
|
699 /** |
4e770fa50889
Make NodeClass more flexible
Christian Wimmer <christian.wimmer@oracle.com>
parents:
15551
diff
changeset
|
700 * Initializes a fresh allocated node for which no constructor is called yet. Needed to |
4e770fa50889
Make NodeClass more flexible
Christian Wimmer <christian.wimmer@oracle.com>
parents:
15551
diff
changeset
|
701 * implement node factories in svm. |
4e770fa50889
Make NodeClass more flexible
Christian Wimmer <christian.wimmer@oracle.com>
parents:
15551
diff
changeset
|
702 */ |
4e770fa50889
Make NodeClass more flexible
Christian Wimmer <christian.wimmer@oracle.com>
parents:
15551
diff
changeset
|
703 public void initRawNode(Node node) { |
4e770fa50889
Make NodeClass more flexible
Christian Wimmer <christian.wimmer@oracle.com>
parents:
15551
diff
changeset
|
704 node.init(); |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
705 initNullEdgeLists(node, Edges.Type.Inputs); |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
706 initNullEdgeLists(node, Edges.Type.Successors); |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
707 } |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
708 |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
709 private void initNullEdgeLists(Node node, Edges.Type type) { |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
710 Edges edges = getEdges(type); |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
711 for (int inputPos = edges.getDirectCount(); inputPos < edges.getCount(); inputPos++) { |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
712 if (edges.getNodeList(node, inputPos) == null) { |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
713 edges.initializeList(node, inputPos, type == Edges.Type.Inputs ? new NodeInputList<>(node) : new NodeSuccessorList<>(node)); |
15827
4e770fa50889
Make NodeClass more flexible
Christian Wimmer <christian.wimmer@oracle.com>
parents:
15551
diff
changeset
|
714 } |
4e770fa50889
Make NodeClass more flexible
Christian Wimmer <christian.wimmer@oracle.com>
parents:
15551
diff
changeset
|
715 } |
4e770fa50889
Make NodeClass more flexible
Christian Wimmer <christian.wimmer@oracle.com>
parents:
15551
diff
changeset
|
716 } |
4e770fa50889
Make NodeClass more flexible
Christian Wimmer <christian.wimmer@oracle.com>
parents:
15551
diff
changeset
|
717 |
5813
3b8bc07f8d17
Add ability to give an existing to getDebugProperties
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
5810
diff
changeset
|
718 public Class<?> getJavaClass() { |
15295
21663230ba88
Move FieldIntrospection to graal.compiler.common.
Josef Eisl <josef.eisl@jku.at>
parents:
15241
diff
changeset
|
719 return getClazz(); |
5813
3b8bc07f8d17
Add ability to give an existing to getDebugProperties
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
5810
diff
changeset
|
720 } |
3b8bc07f8d17
Add ability to give an existing to getDebugProperties
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
5810
diff
changeset
|
721 |
3b8bc07f8d17
Add ability to give an existing to getDebugProperties
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
5810
diff
changeset
|
722 /** |
7530
5e3d1a68664e
applied mx eclipseformat to all Java files
Doug Simon <doug.simon@oracle.com>
parents:
7332
diff
changeset
|
723 * The template used to build the {@link Verbosity#Name} version. Variable part are specified |
5e3d1a68664e
applied mx eclipseformat to all Java files
Doug Simon <doug.simon@oracle.com>
parents:
7332
diff
changeset
|
724 * using {i#inputName} or {p#propertyName}. |
5813
3b8bc07f8d17
Add ability to give an existing to getDebugProperties
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
5810
diff
changeset
|
725 */ |
3b8bc07f8d17
Add ability to give an existing to getDebugProperties
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
5810
diff
changeset
|
726 public String getNameTemplate() { |
3b8bc07f8d17
Add ability to give an existing to getDebugProperties
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
5810
diff
changeset
|
727 return nameTemplate; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
728 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
729 |
11676
435c8b984680
Distinguish inputs and successors in in-place updates.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11675
diff
changeset
|
730 interface InplaceUpdateClosure { |
435c8b984680
Distinguish inputs and successors in in-place updates.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11675
diff
changeset
|
731 |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
732 Node replacement(Node node, Edges.Type type); |
11676
435c8b984680
Distinguish inputs and successors in in-place updates.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11675
diff
changeset
|
733 } |
435c8b984680
Distinguish inputs and successors in in-place updates.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11675
diff
changeset
|
734 |
11675
77d9f12797c5
Use NodeMap in inlining utility when number of nodes is high.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11674
diff
changeset
|
735 static Map<Node, Node> addGraphDuplicate(final Graph graph, final Graph oldGraph, int estimatedNodeCount, Iterable<Node> nodes, final DuplicationReplacement replacements) { |
12685
478c82dde838
commented choice of data structure in NodeClass.addGraphDuplicate()
Doug Simon <doug.simon@oracle.com>
parents:
12669
diff
changeset
|
736 final Map<Node, Node> newNodes; |
15551
33cedbce5b23
added CollectionsProvider and NodeCollectionsProvider and replaced (almost) all allocations of IdentityHashMaps to go through these providers
Doug Simon <doug.simon@oracle.com>
parents:
15295
diff
changeset
|
737 int denseThreshold = oldGraph.getNodeCount() + oldGraph.getNodesDeletedSinceLastCompression() >> 4; |
33cedbce5b23
added CollectionsProvider and NodeCollectionsProvider and replaced (almost) all allocations of IdentityHashMaps to go through these providers
Doug Simon <doug.simon@oracle.com>
parents:
15295
diff
changeset
|
738 if (estimatedNodeCount > denseThreshold) { |
12685
478c82dde838
commented choice of data structure in NodeClass.addGraphDuplicate()
Doug Simon <doug.simon@oracle.com>
parents:
12669
diff
changeset
|
739 // Use dense map |
478c82dde838
commented choice of data structure in NodeClass.addGraphDuplicate()
Doug Simon <doug.simon@oracle.com>
parents:
12669
diff
changeset
|
740 newNodes = new NodeNodeMap(oldGraph); |
478c82dde838
commented choice of data structure in NodeClass.addGraphDuplicate()
Doug Simon <doug.simon@oracle.com>
parents:
12669
diff
changeset
|
741 } else { |
478c82dde838
commented choice of data structure in NodeClass.addGraphDuplicate()
Doug Simon <doug.simon@oracle.com>
parents:
12669
diff
changeset
|
742 // Use sparse map |
15551
33cedbce5b23
added CollectionsProvider and NodeCollectionsProvider and replaced (almost) all allocations of IdentityHashMaps to go through these providers
Doug Simon <doug.simon@oracle.com>
parents:
15295
diff
changeset
|
743 newNodes = newIdentityMap(); |
12685
478c82dde838
commented choice of data structure in NodeClass.addGraphDuplicate()
Doug Simon <doug.simon@oracle.com>
parents:
12669
diff
changeset
|
744 } |
11674
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
745 createNodeDuplicates(graph, nodes, replacements, newNodes); |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
746 |
11676
435c8b984680
Distinguish inputs and successors in in-place updates.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11675
diff
changeset
|
747 InplaceUpdateClosure replacementClosure = new InplaceUpdateClosure() { |
11674
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
748 |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
749 public Node replacement(Node node, Edges.Type type) { |
11676
435c8b984680
Distinguish inputs and successors in in-place updates.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11675
diff
changeset
|
750 Node target = newNodes.get(node); |
11674
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
751 if (target == null) { |
11676
435c8b984680
Distinguish inputs and successors in in-place updates.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11675
diff
changeset
|
752 Node replacement = node; |
11674
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
753 if (replacements != null) { |
11676
435c8b984680
Distinguish inputs and successors in in-place updates.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11675
diff
changeset
|
754 replacement = replacements.replacement(node); |
11674
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
755 } |
11676
435c8b984680
Distinguish inputs and successors in in-place updates.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11675
diff
changeset
|
756 if (replacement != node) { |
11674
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
757 target = replacement; |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
758 } else if (node.graph() == graph && type == Edges.Type.Inputs) { |
11676
435c8b984680
Distinguish inputs and successors in in-place updates.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11675
diff
changeset
|
759 // patch to the outer world |
435c8b984680
Distinguish inputs and successors in in-place updates.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11675
diff
changeset
|
760 target = node; |
11674
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
761 } |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
762 |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
763 } |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
764 return target; |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
765 } |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
766 |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
767 }; |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
768 |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
769 // re-wire inputs |
11675
77d9f12797c5
Use NodeMap in inlining utility when number of nodes is high.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11674
diff
changeset
|
770 for (Node oldNode : nodes) { |
77d9f12797c5
Use NodeMap in inlining utility when number of nodes is high.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11674
diff
changeset
|
771 Node node = newNodes.get(oldNode); |
11674
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
772 NodeClass nodeClass = node.getNodeClass(); |
11676
435c8b984680
Distinguish inputs and successors in in-place updates.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11675
diff
changeset
|
773 if (replacements == null || replacements.replacement(oldNode) == oldNode) { |
11674
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
774 nodeClass.updateInputSuccInPlace(node, replacementClosure); |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
775 } else { |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
776 transferEdgesDifferentNodeClass(graph, replacements, newNodes, oldNode, node); |
11674
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
777 } |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
778 } |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
779 |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
780 return newNodes; |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
781 } |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
782 |
11675
77d9f12797c5
Use NodeMap in inlining utility when number of nodes is high.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11674
diff
changeset
|
783 private static void createNodeDuplicates(final Graph graph, Iterable<Node> nodes, final DuplicationReplacement replacements, final Map<Node, Node> newNodes) { |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
784 for (Node node : nodes) { |
5478
4a99bfc329f0
Add posibility to provide a replacement function instead of map for duplication.
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
5361
diff
changeset
|
785 if (node != null) { |
6302
5d7d9a6953bd
added InstanceOfSnippets which passes InstanceOfTest but is not yet enabled for general lowering
Doug Simon <doug.simon@oracle.com>
parents:
5858
diff
changeset
|
786 assert !node.isDeleted() : "trying to duplicate deleted node: " + node; |
11671
3522f7c99c5f
Allow null DuplicationReplacement in addDuplicates.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11669
diff
changeset
|
787 Node replacement = node; |
3522f7c99c5f
Allow null DuplicationReplacement in addDuplicates.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11669
diff
changeset
|
788 if (replacements != null) { |
3522f7c99c5f
Allow null DuplicationReplacement in addDuplicates.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11669
diff
changeset
|
789 replacement = replacements.replacement(node); |
3522f7c99c5f
Allow null DuplicationReplacement in addDuplicates.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11669
diff
changeset
|
790 } |
5478
4a99bfc329f0
Add posibility to provide a replacement function instead of map for duplication.
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
5361
diff
changeset
|
791 if (replacement != node) { |
5519
cedae73d9c2a
Fix problem with jython and tmt
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
5489
diff
changeset
|
792 assert replacement != null; |
5489
5d0d72b37f88
Switch to new loop transformation framework, use it for peeling and full unrolling for snippets
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
5487
diff
changeset
|
793 newNodes.put(node, replacement); |
5478
4a99bfc329f0
Add posibility to provide a replacement function instead of map for duplication.
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
5361
diff
changeset
|
794 } else { |
11674
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
795 Node newNode = node.clone(graph, false); |
12612
42a2c235652f
replace ".count() == 0" with ".isEmpty()"
Doug Simon <doug.simon@oracle.com>
parents:
12574
diff
changeset
|
796 assert newNode.inputs().isEmpty() || newNode.usages().isEmpty(); |
5478
4a99bfc329f0
Add posibility to provide a replacement function instead of map for duplication.
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
5361
diff
changeset
|
797 assert newNode.getClass() == node.getClass(); |
4a99bfc329f0
Add posibility to provide a replacement function instead of map for duplication.
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
5361
diff
changeset
|
798 newNodes.put(node, newNode); |
4a99bfc329f0
Add posibility to provide a replacement function instead of map for duplication.
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
5361
diff
changeset
|
799 } |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
800 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
801 } |
11674
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
802 } |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
803 |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
804 private static void transferEdgesDifferentNodeClass(final Graph graph, final DuplicationReplacement replacements, final Map<Node, Node> newNodes, Node oldNode, Node node) { |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
805 transferEdges(graph, replacements, newNodes, oldNode, node, Edges.Type.Inputs); |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
806 transferEdges(graph, replacements, newNodes, oldNode, node, Edges.Type.Successors); |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
807 } |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
808 |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
809 private static void transferEdges(final Graph graph, final DuplicationReplacement replacements, final Map<Node, Node> newNodes, Node oldNode, Node node, Edges.Type type) { |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
810 NodeClass nodeClass = node.getNodeClass(); |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
811 NodeClass oldNodeClass = oldNode.getNodeClass(); |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
812 Edges oldEdges = oldNodeClass.getEdges(type); |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
813 for (NodePosIterator oldIter = oldEdges.getIterable(oldNode).iterator(); oldIter.hasNext();) { |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
814 Position pos = oldIter.nextPosition(); |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
815 if (!nodeClass.isValid(pos, oldNodeClass, oldEdges)) { |
11674
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
816 continue; |
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
817 } |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
818 Node oldEdge = pos.get(oldNode); |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
819 Node target = newNodes.get(oldEdge); |
11674
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
820 if (target == null) { |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
821 Node replacement = oldEdge; |
11674
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
822 if (replacements != null) { |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
823 replacement = replacements.replacement(oldEdge); |
5489
5d0d72b37f88
Switch to new loop transformation framework, use it for peeling and full unrolling for snippets
Gilles Duboscq <duboscq@ssw.jku.at>
parents:
5487
diff
changeset
|
824 } |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
825 if (replacement != oldEdge) { |
11674
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
826 target = replacement; |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
827 } else if (type == Edges.Type.Inputs && oldEdge.graph() == graph) { |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
828 // patch to the outer world |
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
829 target = oldEdge; |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
830 } |
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
831 } |
17210
ef64e2682bb6
added Edges class to consolidate code operating on set of input or successor edges and to better isolate magic used to access edges
Doug Simon <doug.simon@oracle.com>
parents:
17188
diff
changeset
|
832 pos.set(node, target); |
11674
8505bcff4bdc
New graph duplication mechanism that allows in-place fixing of edges.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
11673
diff
changeset
|
833 } |
5858
911315a3e642
Factor out common infrastructure from NodeClass and LIRInstructionClass
Christian Wimmer <christian.wimmer@oracle.com>
parents:
5813
diff
changeset
|
834 } |
16919
0fe4732e5181
made use of generated Node classes predicated on value of graal.useGeneratedNodes system property (default is false)
Doug Simon <doug.simon@oracle.com>
parents:
16903
diff
changeset
|
835 |
0fe4732e5181
made use of generated Node classes predicated on value of graal.useGeneratedNodes system property (default is false)
Doug Simon <doug.simon@oracle.com>
parents:
16903
diff
changeset
|
836 public boolean isLeafNode() { |
0fe4732e5181
made use of generated Node classes predicated on value of graal.useGeneratedNodes system property (default is false)
Doug Simon <doug.simon@oracle.com>
parents:
16903
diff
changeset
|
837 return isLeafNode; |
0fe4732e5181
made use of generated Node classes predicated on value of graal.useGeneratedNodes system property (default is false)
Doug Simon <doug.simon@oracle.com>
parents:
16903
diff
changeset
|
838 } |
3733
e233f5660da4
Added Java files from Maxine project.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff
changeset
|
839 } |