truffle: graal/com.oracle.graal.graph/src/com/oracle/graal/graph/NodeClass.java annotate

annotate graal/com.oracle.graal.graph/src/com/oracle/graal/graph/NodeClass.java @ 16903:3ca8ba1bfc21

bind a generated Node class to the NodeClass instance of the generated-from Node class

author	Doug Simon <doug.simon@oracle.com>
date	Sat, 23 Aug 2014 16:53:47 +0200
parents	f90dcdbbb75e
children	0fe4732e5181

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
11524 dede53632f3e removed Node.modCount field (GRAAL-452) Doug Simon <doug.simon@oracle.com> parents: 11434 diff changeset	25 import static com.oracle.graal.graph.Graph.*;
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	26 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	27 import static com.oracle.graal.graph.util.CollectionsAccess.*;
11524 dede53632f3e removed Node.modCount field (GRAAL-452) Doug Simon <doug.simon@oracle.com> parents: 11434 diff changeset	28
5858 911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	29 import java.lang.reflect.*;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	30 import java.util.*;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	31
15193 96bb07a5d667 Spit up and move GraalInternalError. Josef Eisl <josef.eisl@jku.at> parents: 15186 diff changeset	32 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	33 import com.oracle.graal.debug.*;
5478 4a99bfc329f0 Add posibility to provide a replacement function instead of map for duplication. Gilles Duboscq <duboscq@ssw.jku.at> parents: 5361 diff changeset	34 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	35 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	36 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	37 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	38 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	39
11431 ca53d08b8ef9 removed Node.nodeClass field (GRAAL-359) Doug Simon <doug.simon@oracle.com> parents: 10785 diff changeset	40 /**
15106 6876a4599b7e create NodeClass for each Node subclass during class initialization of the latter Doug Simon <doug.simon@oracle.com> parents: 15040 diff changeset	41 * 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	42 * <ul>
ca53d08b8ef9 removed Node.nodeClass field (GRAAL-359) Doug Simon <doug.simon@oracle.com> parents: 10785 diff changeset	43 * <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	44 * 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	45 * <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	46 * </ul>
ca53d08b8ef9 removed Node.nodeClass field (GRAAL-359) Doug Simon <doug.simon@oracle.com> parents: 10785 diff changeset	47 */
ca53d08b8ef9 removed Node.nodeClass field (GRAAL-359) Doug Simon <doug.simon@oracle.com> parents: 10785 diff changeset	48 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	49
15106 6876a4599b7e create NodeClass for each Node subclass during class initialization of the latter Doug Simon <doug.simon@oracle.com> parents: 15040 diff changeset	50 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	51
ca53d08b8ef9 removed Node.nodeClass field (GRAAL-359) Doug Simon <doug.simon@oracle.com> parents: 10785 diff changeset	52 /**
ca53d08b8ef9 removed Node.nodeClass field (GRAAL-359) Doug Simon <doug.simon@oracle.com> parents: 10785 diff changeset	53 * 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	54 */
11434 0d9fe4e80ab8 moved warning suppression annotation to placate JDT Doug Simon <doug.simon@oracle.com> parents: 11431 diff changeset	55 @SuppressWarnings("unchecked")
11431 ca53d08b8ef9 removed Node.nodeClass field (GRAAL-359) Doug Simon <doug.simon@oracle.com> parents: 10785 diff changeset	56 public static NodeClass get(Class<?> 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	57 GeneratedNode gen = c.getAnnotation(GeneratedNode.class);
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	58 Class<? extends Node> key = gen == null ? (Class<? extends Node>) c : (Class<? extends Node>) gen.value();
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	59
15106 6876a4599b7e create NodeClass for each Node subclass during class initialization of the latter Doug Simon <doug.simon@oracle.com> parents: 15040 diff changeset	60 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	61 // 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	62 // 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	63 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	64 // 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	65 // 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	66 synchronized (GetNodeClassLock) {
6876a4599b7e create NodeClass for each Node subclass during class initialization of the latter Doug Simon <doug.simon@oracle.com> parents: 15040 diff changeset	67 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	68 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	69 value = new NodeClass(key);
6876a4599b7e create NodeClass for each Node subclass during class initialization of the latter Doug Simon <doug.simon@oracle.com> parents: 15040 diff changeset	70 Object old = allClasses.putIfAbsent(key, value);
6876a4599b7e create NodeClass for each Node subclass during class initialization of the latter Doug Simon <doug.simon@oracle.com> parents: 15040 diff changeset	71 assert old == null : old + " " + key;
6876a4599b7e create NodeClass for each Node subclass during class initialization of the latter Doug Simon <doug.simon@oracle.com> parents: 15040 diff changeset	72 }
6876a4599b7e create NodeClass for each Node subclass during class initialization of the latter Doug Simon <doug.simon@oracle.com> parents: 15040 diff changeset	73 }
11431 ca53d08b8ef9 removed Node.nodeClass field (GRAAL-359) Doug Simon <doug.simon@oracle.com> parents: 10785 diff changeset	74 }
15106 6876a4599b7e create NodeClass for each Node subclass during class initialization of the latter Doug Simon <doug.simon@oracle.com> parents: 15040 diff changeset	75 return value;
11431 ca53d08b8ef9 removed Node.nodeClass field (GRAAL-359) Doug Simon <doug.simon@oracle.com> parents: 10785 diff changeset	76 }
ca53d08b8ef9 removed Node.nodeClass field (GRAAL-359) Doug Simon <doug.simon@oracle.com> parents: 10785 diff changeset	77
5858 911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	78 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	79 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	80 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	81
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	82 private static int nextIterableId = 0;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	83
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	84 private final int directInputCount;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	85 private final long[] inputOffsets;
15001 27c04ee36dcb input types Lukas Stadler <lukas.stadler@oracle.com> parents: 14991 diff changeset	86 private final InputType[] inputTypes;
16332 ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	87 private final boolean[] inputOptional;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	88 private final int directSuccessorCount;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	89 private final long[] successorOffsets;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	90 private final Class<?>[] dataTypes;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	91 private final boolean canGVN;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	92 private final int startGVNNumber;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	93 private final String shortName;
5813 3b8bc07f8d17 Add ability to give an existing to getDebugProperties Gilles Duboscq <duboscq@ssw.jku.at> parents: 5810 diff changeset	94 private final String nameTemplate;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	95 private final int iterableId;
15002 06e50d290784 isAllowedUsageType on Nodes Lukas Stadler <lukas.stadler@oracle.com> parents: 15001 diff changeset	96 private final EnumSet<InputType> allowedUsageTypes;
7332 c5a9bcd9493d Support sub-types for typed node iterators Gilles Duboscq <duboscq@ssw.jku.at> parents: 7283 diff changeset	97 private int[] iterableIds;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	98
11642 5507e2824bc6 added metric to count IterableNodeTypes (GRAAL-471) Doug Simon <doug.simon@oracle.com> parents: 11631 diff changeset	99 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	100 private final DebugMetric nodeIterableCount;
11642 5507e2824bc6 added metric to count IterableNodeTypes (GRAAL-471) Doug Simon <doug.simon@oracle.com> parents: 11631 diff changeset	101
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	102 /**
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	103 * 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	104 */
16239 de84713267fa use default methods to select Canonicalizable behavior Lukas Stadler <lukas.stadler@oracle.com> parents: 16206 diff changeset	105 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	106
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	107 /**
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	108 * 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	109 */
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	110 private final 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	111
13127 f42f1f5d5ce0 Allow custom field offset providers Christian Wimmer <christian.wimmer@oracle.com> parents: 12701 diff changeset	112 public NodeClass(Class<?> clazz) {
f42f1f5d5ce0 Allow custom field offset providers Christian Wimmer <christian.wimmer@oracle.com> parents: 12701 diff changeset	113 this(clazz, new DefaultCalcOffset(), null, 0);
f42f1f5d5ce0 Allow custom field offset providers Christian Wimmer <christian.wimmer@oracle.com> parents: 12701 diff changeset	114 }
f42f1f5d5ce0 Allow custom field offset providers Christian Wimmer <christian.wimmer@oracle.com> parents: 12701 diff changeset	115
f42f1f5d5ce0 Allow custom field offset providers Christian Wimmer <christian.wimmer@oracle.com> parents: 12701 diff changeset	116 public NodeClass(Class<?> clazz, 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	117 super(clazz);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	118 assert NODE_CLASS.isAssignableFrom(clazz);
16239 de84713267fa use default methods to select Canonicalizable behavior Lukas Stadler <lukas.stadler@oracle.com> parents: 16206 diff changeset	119
de84713267fa use default methods to select Canonicalizable behavior Lukas Stadler <lukas.stadler@oracle.com> parents: 16206 diff changeset	120 this.isCanonicalizable = Canonicalizable.class.isAssignableFrom(clazz);
de84713267fa use default methods to select Canonicalizable behavior Lukas Stadler <lukas.stadler@oracle.com> parents: 16206 diff changeset	121 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	122 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	123 }
2a1f3a8f76f1 handle Canonicalizable.Unary/Binary in CanonicalizerPhase and EquationalReasoner Lukas Stadler <lukas.stadler@oracle.com> parents: 16154 diff changeset	124
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	125 this.isSimplifiable = Simplifiable.class.isAssignableFrom(clazz);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	126
13127 f42f1f5d5ce0 Allow custom field offset providers Christian Wimmer <christian.wimmer@oracle.com> parents: 12701 diff changeset	127 FieldScanner scanner = new FieldScanner(calcOffset);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	128 scanner.scan(clazz);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	129
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	130 directInputCount = scanner.inputOffsets.size();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	131 inputOffsets = sortedLongCopy(scanner.inputOffsets, scanner.inputListOffsets);
15001 27c04ee36dcb input types Lukas Stadler <lukas.stadler@oracle.com> parents: 14991 diff changeset	132 inputTypes = new InputType[inputOffsets.length];
16332 ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	133 inputOptional = new boolean[inputOffsets.length];
15001 27c04ee36dcb input types Lukas Stadler <lukas.stadler@oracle.com> parents: 14991 diff changeset	134 for (int i = 0; i < inputOffsets.length; i++) {
27c04ee36dcb input types Lukas Stadler <lukas.stadler@oracle.com> parents: 14991 diff changeset	135 inputTypes[i] = scanner.types.get(inputOffsets[i]);
27c04ee36dcb input types Lukas Stadler <lukas.stadler@oracle.com> parents: 14991 diff changeset	136 assert inputTypes[i] != null;
16332 ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	137 inputOptional[i] = scanner.optionalInputs.contains(inputOffsets[i]);
15001 27c04ee36dcb input types Lukas Stadler <lukas.stadler@oracle.com> parents: 14991 diff changeset	138 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	139 directSuccessorCount = scanner.successorOffsets.size();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	140 successorOffsets = sortedLongCopy(scanner.successorOffsets, scanner.successorListOffsets);
5858 911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	141
911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	142 dataOffsets = sortedLongCopy(scanner.dataOffsets);
911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	143 dataTypes = new Class[dataOffsets.length];
911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	144 for (int i = 0; i < dataOffsets.length; i++) {
911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	145 dataTypes[i] = scanner.fieldTypes.get(dataOffsets[i]);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	146 }
5858 911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	147
911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	148 fieldNames = scanner.fieldNames;
911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	149 fieldTypes = scanner.fieldTypes;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	150
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	151 canGVN = Node.ValueNumberable.class.isAssignableFrom(clazz);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	152 startGVNNumber = clazz.hashCode();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	153
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	154 String newShortName = clazz.getSimpleName();
bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	155 if (newShortName.endsWith("Node") && !newShortName.equals("StartNode") && !newShortName.equals("EndNode")) {
bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	156 newShortName = newShortName.substring(0, newShortName.length() - 4);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	157 }
5813 3b8bc07f8d17 Add ability to give an existing to getDebugProperties Gilles Duboscq <duboscq@ssw.jku.at> parents: 5810 diff changeset	158 String newNameTemplate = null;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	159 NodeInfo info = clazz.getAnnotation(NodeInfo.class);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	160 if (info != null) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	161 if (!info.shortName().isEmpty()) {
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	162 newShortName = info.shortName();
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	163 }
5813 3b8bc07f8d17 Add ability to give an existing to getDebugProperties Gilles Duboscq <duboscq@ssw.jku.at> parents: 5810 diff changeset	164 if (!info.nameTemplate().isEmpty()) {
3b8bc07f8d17 Add ability to give an existing to getDebugProperties Gilles Duboscq <duboscq@ssw.jku.at> parents: 5810 diff changeset	165 newNameTemplate = info.nameTemplate();
3b8bc07f8d17 Add ability to give an existing to getDebugProperties Gilles Duboscq <duboscq@ssw.jku.at> parents: 5810 diff changeset	166 }
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	167 } else {
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	168 System.out.println("No NodeInfo for " + clazz);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	169 }
15002 06e50d290784 isAllowedUsageType on Nodes Lukas Stadler <lukas.stadler@oracle.com> parents: 15001 diff changeset	170 EnumSet<InputType> newAllowedUsageTypes = EnumSet.noneOf(InputType.class);
06e50d290784 isAllowedUsageType on Nodes Lukas Stadler <lukas.stadler@oracle.com> parents: 15001 diff changeset	171 Class<?> current = clazz;
06e50d290784 isAllowedUsageType on Nodes Lukas Stadler <lukas.stadler@oracle.com> parents: 15001 diff changeset	172 do {
06e50d290784 isAllowedUsageType on Nodes Lukas Stadler <lukas.stadler@oracle.com> parents: 15001 diff changeset	173 NodeInfo currentInfo = current.getAnnotation(NodeInfo.class);
06e50d290784 isAllowedUsageType on Nodes Lukas Stadler <lukas.stadler@oracle.com> parents: 15001 diff changeset	174 if (currentInfo != null) {
06e50d290784 isAllowedUsageType on Nodes Lukas Stadler <lukas.stadler@oracle.com> parents: 15001 diff changeset	175 if (currentInfo.allowedUsageTypes().length > 0) {
06e50d290784 isAllowedUsageType on Nodes Lukas Stadler <lukas.stadler@oracle.com> parents: 15001 diff changeset	176 newAllowedUsageTypes.addAll(Arrays.asList(currentInfo.allowedUsageTypes()));
06e50d290784 isAllowedUsageType on Nodes Lukas Stadler <lukas.stadler@oracle.com> parents: 15001 diff changeset	177 }
06e50d290784 isAllowedUsageType on Nodes Lukas Stadler <lukas.stadler@oracle.com> parents: 15001 diff changeset	178 }
06e50d290784 isAllowedUsageType on Nodes Lukas Stadler <lukas.stadler@oracle.com> parents: 15001 diff changeset	179 current = current.getSuperclass();
06e50d290784 isAllowedUsageType on Nodes Lukas Stadler <lukas.stadler@oracle.com> parents: 15001 diff changeset	180 } while (current != Node.class);
5813 3b8bc07f8d17 Add ability to give an existing to getDebugProperties Gilles Duboscq <duboscq@ssw.jku.at> parents: 5810 diff changeset	181 this.nameTemplate = newNameTemplate == null ? newShortName : newNameTemplate;
15002 06e50d290784 isAllowedUsageType on Nodes Lukas Stadler <lukas.stadler@oracle.com> parents: 15001 diff changeset	182 this.allowedUsageTypes = newAllowedUsageTypes;
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	183 this.shortName = newShortName;
13127 f42f1f5d5ce0 Allow custom field offset providers Christian Wimmer <christian.wimmer@oracle.com> parents: 12701 diff changeset	184 if (presetIterableIds != null) {
f42f1f5d5ce0 Allow custom field offset providers Christian Wimmer <christian.wimmer@oracle.com> parents: 12701 diff changeset	185 this.iterableIds = presetIterableIds;
f42f1f5d5ce0 Allow custom field offset providers Christian Wimmer <christian.wimmer@oracle.com> parents: 12701 diff changeset	186 this.iterableId = presetIterableId;
f42f1f5d5ce0 Allow custom field offset providers Christian Wimmer <christian.wimmer@oracle.com> parents: 12701 diff changeset	187 } 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	188 ITERABLE_NODE_TYPES.increment();
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	189 this.iterableId = nextIterableId++;
7332 c5a9bcd9493d Support sub-types for typed node iterators Gilles Duboscq <duboscq@ssw.jku.at> parents: 7283 diff changeset	190 List<NodeClass> existingClasses = new LinkedList<>();
c5a9bcd9493d Support sub-types for typed node iterators Gilles Duboscq <duboscq@ssw.jku.at> parents: 7283 diff changeset	191 for (FieldIntrospection nodeClass : allClasses.values()) {
15295 21663230ba88 Move FieldIntrospection to graal.compiler.common. Josef Eisl <josef.eisl@jku.at> parents: 15241 diff changeset	192 if (clazz.isAssignableFrom(nodeClass.getClazz())) {
7332 c5a9bcd9493d Support sub-types for typed node iterators Gilles Duboscq <duboscq@ssw.jku.at> parents: 7283 diff changeset	193 existingClasses.add((NodeClass) nodeClass);
c5a9bcd9493d Support sub-types for typed node iterators Gilles Duboscq <duboscq@ssw.jku.at> parents: 7283 diff changeset	194 }
15295 21663230ba88 Move FieldIntrospection to graal.compiler.common. Josef Eisl <josef.eisl@jku.at> parents: 15241 diff changeset	195 if (nodeClass.getClazz().isAssignableFrom(clazz) && IterableNodeType.class.isAssignableFrom(nodeClass.getClazz())) {
7332 c5a9bcd9493d Support sub-types for typed node iterators Gilles Duboscq <duboscq@ssw.jku.at> parents: 7283 diff changeset	196 NodeClass superNodeClass = (NodeClass) nodeClass;
c5a9bcd9493d Support sub-types for typed node iterators Gilles Duboscq <duboscq@ssw.jku.at> parents: 7283 diff changeset	197 superNodeClass.iterableIds = Arrays.copyOf(superNodeClass.iterableIds, superNodeClass.iterableIds.length + 1);
c5a9bcd9493d Support sub-types for typed node iterators Gilles Duboscq <duboscq@ssw.jku.at> parents: 7283 diff changeset	198 superNodeClass.iterableIds[superNodeClass.iterableIds.length - 1] = this.iterableId;
c5a9bcd9493d Support sub-types for typed node iterators Gilles Duboscq <duboscq@ssw.jku.at> parents: 7283 diff changeset	199 }
c5a9bcd9493d Support sub-types for typed node iterators Gilles Duboscq <duboscq@ssw.jku.at> parents: 7283 diff changeset	200 }
c5a9bcd9493d Support sub-types for typed node iterators Gilles Duboscq <duboscq@ssw.jku.at> parents: 7283 diff changeset	201 int[] ids = new int[existingClasses.size() + 1];
c5a9bcd9493d Support sub-types for typed node iterators Gilles Duboscq <duboscq@ssw.jku.at> parents: 7283 diff changeset	202 ids[0] = iterableId;
c5a9bcd9493d Support sub-types for typed node iterators Gilles Duboscq <duboscq@ssw.jku.at> parents: 7283 diff changeset	203 int i = 1;
c5a9bcd9493d Support sub-types for typed node iterators Gilles Duboscq <duboscq@ssw.jku.at> parents: 7283 diff changeset	204 for (NodeClass other : existingClasses) {
c5a9bcd9493d Support sub-types for typed node iterators Gilles Duboscq <duboscq@ssw.jku.at> parents: 7283 diff changeset	205 ids[i++] = other.iterableId;
c5a9bcd9493d Support sub-types for typed node iterators Gilles Duboscq <duboscq@ssw.jku.at> parents: 7283 diff changeset	206 }
c5a9bcd9493d Support sub-types for typed node iterators Gilles Duboscq <duboscq@ssw.jku.at> parents: 7283 diff changeset	207 this.iterableIds = ids;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	208 } 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	209 this.iterableId = Node.NOT_ITERABLE;
7332 c5a9bcd9493d Support sub-types for typed node iterators Gilles Duboscq <duboscq@ssw.jku.at> parents: 7283 diff changeset	210 this.iterableIds = null;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	211 }
11653 64a9ed9f1e8d Introduce NodeClass.isLeafNode(). Avoid cloning of leaf nodes if equal node is found in destination graph. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11642 diff changeset	212
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	213 nodeIterableCount = Debug.metric("NodeIterable_%s", shortName);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	214 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	215
5858 911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	216 @Override
911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	217 protected void rescanFieldOffsets(CalcOffset calc) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	218 FieldScanner scanner = new FieldScanner(calc);
15295 21663230ba88 Move FieldIntrospection to graal.compiler.common. Josef Eisl <josef.eisl@jku.at> parents: 15241 diff changeset	219 scanner.scan(getClazz());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	220 assert directInputCount == scanner.inputOffsets.size();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	221 copyInto(inputOffsets, sortedLongCopy(scanner.inputOffsets, scanner.inputListOffsets));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	222 assert directSuccessorCount == scanner.successorOffsets.size();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	223 copyInto(successorOffsets, sortedLongCopy(scanner.successorOffsets, scanner.successorListOffsets));
5858 911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	224 copyInto(dataOffsets, sortedLongCopy(scanner.dataOffsets));
911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	225
911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	226 for (int i = 0; i < dataOffsets.length; i++) {
911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	227 dataTypes[i] = scanner.fieldTypes.get(dataOffsets[i]);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	228 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	229
5858 911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	230 fieldNames.clear();
911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	231 fieldNames.putAll(scanner.fieldNames);
911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	232 fieldTypes.clear();
911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	233 fieldTypes.putAll(scanner.fieldTypes);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	234 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	235
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	236 private boolean isNodeClassFor(Node n) {
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	237 GeneratedNode gen = n.getClass().getAnnotation(GeneratedNode.class);
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	238 assert gen != null;
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	239 return gen.value() == getClazz();
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	240 }
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	241
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	242 public String shortName() {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	243 return shortName;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	244 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	245
7332 c5a9bcd9493d Support sub-types for typed node iterators Gilles Duboscq <duboscq@ssw.jku.at> parents: 7283 diff changeset	246 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	247 nodeIterableCount.increment();
7332 c5a9bcd9493d Support sub-types for typed node iterators Gilles Duboscq <duboscq@ssw.jku.at> parents: 7283 diff changeset	248 return iterableIds;
c5a9bcd9493d Support sub-types for typed node iterators Gilles Duboscq <duboscq@ssw.jku.at> parents: 7283 diff changeset	249 }
c5a9bcd9493d Support sub-types for typed node iterators Gilles Duboscq <duboscq@ssw.jku.at> parents: 7283 diff changeset	250
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	251 public int iterableId() {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	252 return iterableId;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	253 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	254
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	255 public boolean valueNumberable() {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	256 return canGVN;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	257 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	258
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	259 /**
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	260 * 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	261 */
16239 de84713267fa use default methods to select Canonicalizable behavior Lukas Stadler <lukas.stadler@oracle.com> parents: 16206 diff changeset	262 public boolean isCanonicalizable() {
de84713267fa use default methods to select Canonicalizable behavior Lukas Stadler <lukas.stadler@oracle.com> parents: 16206 diff changeset	263 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	264 }
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	265
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	266 /**
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	267 * 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	268 */
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	269 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	270 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	271 }
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	272
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	273 public static int cacheSize() {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	274 return nextIterableId;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	275 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	276
15002 06e50d290784 isAllowedUsageType on Nodes Lukas Stadler <lukas.stadler@oracle.com> parents: 15001 diff changeset	277 public EnumSet<InputType> getAllowedUsageTypes() {
06e50d290784 isAllowedUsageType on Nodes Lukas Stadler <lukas.stadler@oracle.com> parents: 15001 diff changeset	278 return allowedUsageTypes;
06e50d290784 isAllowedUsageType on Nodes Lukas Stadler <lukas.stadler@oracle.com> parents: 15001 diff changeset	279 }
06e50d290784 isAllowedUsageType on Nodes Lukas Stadler <lukas.stadler@oracle.com> parents: 15001 diff changeset	280
5858 911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	281 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	282
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	283 public final ArrayList<Long> inputOffsets = new ArrayList<>();
bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	284 public final ArrayList<Long> inputListOffsets = new ArrayList<>();
bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	285 public final ArrayList<Long> successorOffsets = new ArrayList<>();
bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	286 public final ArrayList<Long> successorListOffsets = new ArrayList<>();
15001 27c04ee36dcb input types Lukas Stadler <lukas.stadler@oracle.com> parents: 14991 diff changeset	287 public final HashMap<Long, InputType> types = new HashMap<>();
27c04ee36dcb input types Lukas Stadler <lukas.stadler@oracle.com> parents: 14991 diff changeset	288 public final HashMap<Long, String> names = new HashMap<>();
16332 ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	289 public final HashSet<Long> optionalInputs = new HashSet<>();
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	290
5858 911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	291 protected FieldScanner(CalcOffset calc) {
911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	292 super(calc);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	293 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	294
5858 911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	295 @Override
911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	296 protected void scanField(Field field, Class<?> type, long offset) {
16332 ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	297 if (field.isAnnotationPresent(Node.Input.class) \|\| field.isAnnotationPresent(Node.OptionalInput.class)) {
5858 911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	298 assert !field.isAnnotationPresent(Node.Successor.class) : "field cannot be both input and successor";
16332 ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	299 assert field.isAnnotationPresent(Node.Input.class) ^ field.isAnnotationPresent(Node.OptionalInput.class) : "inputs can either be optional or non-optional";
5858 911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	300 if (INPUT_LIST_CLASS.isAssignableFrom(type)) {
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	301 // NodeInputList fields should not be final since they are
f90dcdbbb75e switched to using new NodeFieldIterator and NodeFieldIterable for traversing Node inputs and successors Doug Simon <doug.simon@oracle.com> parents: 16841 diff changeset	302 // written (via Unsafe) in clearInputs()
f90dcdbbb75e switched to using new NodeFieldIterator and NodeFieldIterable for traversing Node inputs and successors Doug Simon <doug.simon@oracle.com> parents: 16841 diff changeset	303 GraalInternalError.guarantee(!Modifier.isFinal(field.getModifiers()), "NodeInputList input field %s should not be final", field);
9808 12fdb8fe0a35 turn assertions in NodeClass.FieldScanner into guarantees Lukas Stadler <lukas.stadler@jku.at> parents: 9720 diff changeset	304 GraalInternalError.guarantee(!Modifier.isPublic(field.getModifiers()), "NodeInputList input field %s should not be public", field);
5858 911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	305 inputListOffsets.add(offset);
911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	306 } else {
9808 12fdb8fe0a35 turn assertions in NodeClass.FieldScanner into guarantees Lukas Stadler <lukas.stadler@jku.at> parents: 9720 diff changeset	307 GraalInternalError.guarantee(NODE_CLASS.isAssignableFrom(type) \|\| type.isInterface(), "invalid input type: %s", type);
12fdb8fe0a35 turn assertions in NodeClass.FieldScanner into guarantees Lukas Stadler <lukas.stadler@jku.at> parents: 9720 diff changeset	308 GraalInternalError.guarantee(!Modifier.isFinal(field.getModifiers()), "Node input field %s should not be final", field);
5858 911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	309 inputOffsets.add(offset);
911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	310 }
16332 ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	311 if (field.isAnnotationPresent(Node.Input.class)) {
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	312 types.put(offset, field.getAnnotation(Node.Input.class).value());
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	313 } else {
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	314 types.put(offset, field.getAnnotation(Node.OptionalInput.class).value());
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	315 }
15001 27c04ee36dcb input types Lukas Stadler <lukas.stadler@oracle.com> parents: 14991 diff changeset	316 names.put(offset, field.getName());
16332 ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	317 if (field.isAnnotationPresent(Node.OptionalInput.class)) {
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	318 optionalInputs.add(offset);
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	319 }
5858 911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	320 } else if (field.isAnnotationPresent(Node.Successor.class)) {
911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	321 if (SUCCESSOR_LIST_CLASS.isAssignableFrom(type)) {
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	322 // NodeSuccessorList fields should not be final since they are
f90dcdbbb75e switched to using new NodeFieldIterator and NodeFieldIterable for traversing Node inputs and successors Doug Simon <doug.simon@oracle.com> parents: 16841 diff changeset	323 // written (via Unsafe) in clearSuccessors()
f90dcdbbb75e switched to using new NodeFieldIterator and NodeFieldIterable for traversing Node inputs and successors Doug Simon <doug.simon@oracle.com> parents: 16841 diff changeset	324 GraalInternalError.guarantee(!Modifier.isFinal(field.getModifiers()), "NodeSuccessorList successor field % should not be final", field);
9808 12fdb8fe0a35 turn assertions in NodeClass.FieldScanner into guarantees Lukas Stadler <lukas.stadler@jku.at> parents: 9720 diff changeset	325 GraalInternalError.guarantee(!Modifier.isPublic(field.getModifiers()), "NodeSuccessorList successor field %s should not be public", field);
5858 911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	326 successorListOffsets.add(offset);
911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	327 } else {
9808 12fdb8fe0a35 turn assertions in NodeClass.FieldScanner into guarantees Lukas Stadler <lukas.stadler@jku.at> parents: 9720 diff changeset	328 GraalInternalError.guarantee(NODE_CLASS.isAssignableFrom(type), "invalid successor type: %s", type);
12fdb8fe0a35 turn assertions in NodeClass.FieldScanner into guarantees Lukas Stadler <lukas.stadler@jku.at> parents: 9720 diff changeset	329 GraalInternalError.guarantee(!Modifier.isFinal(field.getModifiers()), "Node successor field %s should not be final", field);
5858 911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	330 successorOffsets.add(offset);
911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	331 }
15001 27c04ee36dcb input types Lukas Stadler <lukas.stadler@oracle.com> parents: 14991 diff changeset	332 names.put(offset, field.getName());
5858 911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	333 } else {
9808 12fdb8fe0a35 turn assertions in NodeClass.FieldScanner into guarantees Lukas Stadler <lukas.stadler@jku.at> parents: 9720 diff changeset	334 GraalInternalError.guarantee(!NODE_CLASS.isAssignableFrom(type) \|\| field.getName().equals("Null"), "suspicious node field: %s", field);
12fdb8fe0a35 turn assertions in NodeClass.FieldScanner into guarantees Lukas Stadler <lukas.stadler@jku.at> parents: 9720 diff changeset	335 GraalInternalError.guarantee(!INPUT_LIST_CLASS.isAssignableFrom(type), "suspicious node input list field: %s", field);
12fdb8fe0a35 turn assertions in NodeClass.FieldScanner into guarantees Lukas Stadler <lukas.stadler@jku.at> parents: 9720 diff changeset	336 GraalInternalError.guarantee(!SUCCESSOR_LIST_CLASS.isAssignableFrom(type), "suspicious node successor list field: %s", field);
5858 911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	337 dataOffsets.add(offset);
911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	338 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	339 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	340 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	341
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	342 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	343 public String toString() {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	344 StringBuilder str = new StringBuilder();
15295 21663230ba88 Move FieldIntrospection to graal.compiler.common. Josef Eisl <josef.eisl@jku.at> parents: 15241 diff changeset	345 str.append("NodeClass ").append(getClazz().getSimpleName()).append(" [");
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	346 for (int i = 0; i < inputOffsets.length; i++) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	347 str.append(i == 0 ? "" : ", ").append(inputOffsets[i]);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	348 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	349 str.append("] [");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	350 for (int i = 0; i < successorOffsets.length; i++) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	351 str.append(i == 0 ? "" : ", ").append(successorOffsets[i]);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	352 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	353 str.append("] [");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	354 for (int i = 0; i < dataOffsets.length; i++) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	355 str.append(i == 0 ? "" : ", ").append(dataOffsets[i]);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	356 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	357 str.append("]");
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	358 return str.toString();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	359 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	360
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	361 private static Node getNode(Node node, long offset) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	362 return (Node) unsafe.getObject(node, offset);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	363 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	364
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	365 @SuppressWarnings("unchecked")
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	366 private static NodeList<Node> getNodeList(Node node, long offset) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	367 return (NodeList<Node>) unsafe.getObject(node, offset);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	368 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	369
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	370 private static void putNode(Node node, long offset, Node value) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	371 unsafe.putObject(node, offset, value);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	372 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	373
15040 288c23143d47 Fix most raw type references. Josef Eisl <josef.eisl@jku.at> parents: 15002 diff changeset	374 private static void putNodeList(Node node, long offset, NodeList<?> value) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	375 unsafe.putObject(node, offset, value);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	376 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	377
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	378 /**
12046 c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	379 * An iterator that will iterate over the fields given in {@link #getOffsets()}. The first
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	380 * {@link #getDirectCount()} offsets are treated as fields of type {@link Node}, while the rest
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	381 * of the fields are treated as {@link NodeList}s. All elements of these NodeLists will be
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	382 * visited by the iterator as well. This iterator can be used to iterate over the inputs or
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	383 * successors of a node.
15001 27c04ee36dcb input types Lukas Stadler <lukas.stadler@oracle.com> parents: 14991 diff changeset	384 *
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7332 diff changeset	385 * An iterator of this type will not return null values, unless the field values are modified
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7332 diff changeset	386 * concurrently. Concurrent modifications are detected by an assertion on a best-effort basis.
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	387 */
12046 c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	388 public abstract static class NodeClassIterator implements Iterator<Node> {
12047 dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	389 protected final Node node;
16332 ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	390 protected int index;
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	391 protected int subIndex;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	392
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	393 /**
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	394 * Creates an iterator that will iterate over fields in the given node.
15001 27c04ee36dcb input types Lukas Stadler <lukas.stadler@oracle.com> parents: 14991 diff changeset	395 *
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	396 * @param node the node which contains the fields.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	397 */
12047 dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	398 NodeClassIterator(Node node) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	399 this.node = node;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	400 index = NOT_ITERABLE;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	401 subIndex = 0;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	402 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	403
12047 dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	404 void forward() {
12046 c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	405 if (index < getDirectCount()) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	406 index++;
12046 c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	407 while (index < getDirectCount()) {
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	408 Node element = getNode(node, getOffsets()[index]);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	409 if (element != null) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	410 return;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	411 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	412 index++;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	413 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	414 } else {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	415 subIndex++;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	416 }
12046 c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	417 while (index < getOffsets().length) {
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	418 NodeList<Node> list = getNodeList(node, getOffsets()[index]);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	419 while (subIndex < list.size()) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	420 if (list.get(subIndex) != null) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	421 return;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	422 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	423 subIndex++;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	424 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	425 subIndex = 0;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	426 index++;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	427 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	428 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	429
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	430 private Node nextElement() {
12046 c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	431 if (index < getDirectCount()) {
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	432 return getNode(node, getOffsets()[index]);
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	433 } else if (index < getOffsets().length) {
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	434 NodeList<Node> list = getNodeList(node, getOffsets()[index]);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	435 return list.get(subIndex);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	436 }
7258 9bee93f61522 Cleanups: remove unused NodeUsagesList.replaceFirst and FrameState.block Gilles Duboscq <duboscq@ssw.jku.at> parents: 7123 diff changeset	437 throw new NoSuchElementException();
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	438 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	439
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	440 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	441 public boolean hasNext() {
12047 dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	442 return index < getOffsets().length;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	443 }
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 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	446 public Node next() {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	447 try {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	448 return nextElement();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	449 } finally {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	450 forward();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	451 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	452 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	453
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	454 public Position nextPosition() {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	455 try {
12046 c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	456 if (index < getDirectCount()) {
12378 1e76b14e1b3a NodeClassIterator: remove reference to NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 12047 diff changeset	457 return new Position(getOffsets() == getNodeClass().inputOffsets, index, NOT_ITERABLE);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	458 } else {
12378 1e76b14e1b3a NodeClassIterator: remove reference to NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 12047 diff changeset	459 return new Position(getOffsets() == getNodeClass().inputOffsets, index, subIndex);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	460 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	461 } finally {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	462 forward();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	463 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	464 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	465
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	466 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	467 public void remove() {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	468 throw new UnsupportedOperationException();
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	469 }
12046 c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	470
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	471 protected abstract int getDirectCount();
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	472
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	473 protected abstract long[] getOffsets();
12378 1e76b14e1b3a NodeClassIterator: remove reference to NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 12047 diff changeset	474
1e76b14e1b3a NodeClassIterator: remove reference to NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 12047 diff changeset	475 protected abstract NodeClass getNodeClass();
12046 c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	476 }
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	477
12047 dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	478 private class NodeClassInputsIterator extends NodeClassIterator {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	479 NodeClassInputsIterator(Node node) {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	480 this(node, true);
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	481 }
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	482
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	483 NodeClassInputsIterator(Node node, boolean forward) {
12046 c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	484 super(node);
12378 1e76b14e1b3a NodeClassIterator: remove reference to NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 12047 diff changeset	485 assert NodeClass.this == node.getNodeClass();
12047 dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	486 if (forward) {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	487 forward();
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	488 }
12046 c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	489 }
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	490
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	491 @Override
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	492 protected int getDirectCount() {
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	493 return directInputCount;
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	494 }
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	495
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	496 @Override
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	497 protected long[] getOffsets() {
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	498 return inputOffsets;
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	499 }
12378 1e76b14e1b3a NodeClassIterator: remove reference to NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 12047 diff changeset	500
1e76b14e1b3a NodeClassIterator: remove reference to NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 12047 diff changeset	501 @Override
1e76b14e1b3a NodeClassIterator: remove reference to NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 12047 diff changeset	502 protected NodeClass getNodeClass() {
1e76b14e1b3a NodeClassIterator: remove reference to NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 12047 diff changeset	503 return NodeClass.this;
1e76b14e1b3a NodeClassIterator: remove reference to NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 12047 diff changeset	504 }
12046 c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	505 }
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	506
16332 ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	507 private class NodeClassAllInputsIterator extends NodeClassInputsIterator {
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	508 NodeClassAllInputsIterator(Node node) {
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	509 super(node, true);
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	510 }
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	511
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	512 @Override
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	513 void forward() {
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	514 if (index < getDirectCount()) {
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	515 index++;
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	516 if (index < getDirectCount()) {
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	517 return;
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	518 }
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	519 } else {
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	520 subIndex++;
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	521 }
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	522 while (index < getOffsets().length) {
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	523 NodeList<Node> list = getNodeList(node, getOffsets()[index]);
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	524 if (subIndex < list.size()) {
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	525 return;
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	526 }
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	527 subIndex = 0;
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	528 index++;
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	529 }
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	530 }
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	531 }
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	532
16337 67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	533 private class NodeClassAllSuccessorsIterator extends NodeClassSuccessorsIterator {
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	534 NodeClassAllSuccessorsIterator(Node node) {
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	535 super(node, true);
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	536 }
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	537
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	538 @Override
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	539 void forward() {
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	540 if (index < getDirectCount()) {
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	541 index++;
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	542 if (index < getDirectCount()) {
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	543 return;
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	544 }
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	545 } else {
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	546 subIndex++;
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	547 }
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	548 while (index < getOffsets().length) {
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	549 NodeList<Node> list = getNodeList(node, getOffsets()[index]);
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	550 if (subIndex < list.size()) {
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	551 return;
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	552 }
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	553 subIndex = 0;
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	554 index++;
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	555 }
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	556 }
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	557 }
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	558
12047 dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	559 private final class NodeClassInputsWithModCountIterator extends NodeClassInputsIterator {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	560 private final int modCount;
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	561
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	562 private NodeClassInputsWithModCountIterator(Node node) {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	563 super(node, false);
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	564 assert MODIFICATION_COUNTS_ENABLED;
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	565 this.modCount = node.modCount();
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	566 forward();
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	567 }
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	568
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	569 @Override
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	570 public boolean hasNext() {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	571 try {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	572 return super.hasNext();
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	573 } finally {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	574 assert modCount == node.modCount() : "must not be modified";
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	575 }
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	576 }
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	577
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	578 @Override
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	579 public Node next() {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	580 try {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	581 return super.next();
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	582 } finally {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	583 assert modCount == node.modCount() : "must not be modified";
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	584 }
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	585 }
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	586
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	587 @Override
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	588 public Position nextPosition() {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	589 try {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	590 return super.nextPosition();
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	591 } finally {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	592 assert modCount == node.modCount();
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	593 }
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	594 }
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	595 }
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	596
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	597 private class NodeClassSuccessorsIterator extends NodeClassIterator {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	598 NodeClassSuccessorsIterator(Node node) {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	599 this(node, true);
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	600 }
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	601
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	602 NodeClassSuccessorsIterator(Node node, boolean forward) {
12046 c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	603 super(node);
12378 1e76b14e1b3a NodeClassIterator: remove reference to NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 12047 diff changeset	604 assert NodeClass.this == node.getNodeClass();
12047 dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	605 if (forward) {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	606 forward();
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	607 }
12046 c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	608 }
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	609
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	610 @Override
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	611 protected int getDirectCount() {
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	612 return directSuccessorCount;
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	613 }
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	614
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	615 @Override
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	616 protected long[] getOffsets() {
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	617 return successorOffsets;
c3a1d5bfc3ee NodeClassIterator: specialize instance for each type of iterator (inputs/successors) in order to share directCount/offsets directly with NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 11882 diff changeset	618 }
12378 1e76b14e1b3a NodeClassIterator: remove reference to NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 12047 diff changeset	619
1e76b14e1b3a NodeClassIterator: remove reference to NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 12047 diff changeset	620 @Override
1e76b14e1b3a NodeClassIterator: remove reference to NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 12047 diff changeset	621 protected NodeClass getNodeClass() {
1e76b14e1b3a NodeClassIterator: remove reference to NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 12047 diff changeset	622 return NodeClass.this;
1e76b14e1b3a NodeClassIterator: remove reference to NodeClass Bernhard Urban <bernhard.urban@jku.at> parents: 12047 diff changeset	623 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	624 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	625
12047 dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	626 private final class NodeClassSuccessorsWithModCountIterator extends NodeClassSuccessorsIterator {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	627 private final int modCount;
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	628
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	629 private NodeClassSuccessorsWithModCountIterator(Node node) {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	630 super(node, false);
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	631 assert MODIFICATION_COUNTS_ENABLED;
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	632 this.modCount = node.modCount();
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	633 forward();
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	634 }
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	635
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	636 @Override
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	637 public boolean hasNext() {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	638 try {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	639 return super.hasNext();
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	640 } finally {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	641 assert modCount == node.modCount() : "must not be modified";
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	642 }
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	643 }
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	644
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	645 @Override
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	646 public Node next() {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	647 try {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	648 return super.next();
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	649 } finally {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	650 assert modCount == node.modCount() : "must not be modified";
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	651 }
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	652 }
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	653
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	654 @Override
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	655 public Position nextPosition() {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	656 try {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	657 return super.nextPosition();
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	658 } finally {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	659 assert modCount == node.modCount();
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	660 }
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	661 }
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	662 }
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	663
12696 22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	664 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	665 if (o instanceof Object[]) {
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	666 return Arrays.deepHashCode((Object[]) o);
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	667 } else if (o instanceof byte[]) {
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	668 return Arrays.hashCode((byte[]) o);
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	669 } else if (o instanceof short[]) {
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	670 return Arrays.hashCode((short[]) o);
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	671 } else if (o instanceof int[]) {
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	672 return Arrays.hashCode((int[]) o);
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	673 } else if (o instanceof long[]) {
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	674 return Arrays.hashCode((long[]) o);
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	675 } else if (o instanceof char[]) {
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	676 return Arrays.hashCode((char[]) o);
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	677 } else if (o instanceof float[]) {
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	678 return Arrays.hashCode((float[]) o);
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	679 } else if (o instanceof double[]) {
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	680 return Arrays.hashCode((double[]) o);
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	681 } else if (o instanceof boolean[]) {
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	682 return Arrays.hashCode((boolean[]) o);
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	683 } else if (o != null) {
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	684 return o.hashCode();
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	685 } else {
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	686 return 0;
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	687 }
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	688 }
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	689
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	690 public int valueNumber(Node n) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	691 int number = 0;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	692 if (canGVN) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	693 number = startGVNNumber;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	694 for (int i = 0; i < dataOffsets.length; ++i) {
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7332 diff changeset	695 Class<?> type = dataTypes[i];
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	696 if (type.isPrimitive()) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	697 if (type == Integer.TYPE) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	698 int intValue = unsafe.getInt(n, dataOffsets[i]);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	699 number += intValue;
6657 768793150bcd more PEA refactoring, multiple iterations Lukas Stadler <lukas.stadler@jku.at> parents: 6414 diff changeset	700 } else if (type == Long.TYPE) {
768793150bcd more PEA refactoring, multiple iterations Lukas Stadler <lukas.stadler@jku.at> parents: 6414 diff changeset	701 long longValue = unsafe.getLong(n, dataOffsets[i]);
768793150bcd more PEA refactoring, multiple iterations Lukas Stadler <lukas.stadler@jku.at> parents: 6414 diff changeset	702 number += longValue ^ (longValue >>> 32);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	703 } else if (type == Boolean.TYPE) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	704 boolean booleanValue = unsafe.getBoolean(n, dataOffsets[i]);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	705 if (booleanValue) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	706 number += 7;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	707 }
12701 42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	708 } else if (type == Float.TYPE) {
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	709 float floatValue = unsafe.getFloat(n, dataOffsets[i]);
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	710 number += Float.floatToRawIntBits(floatValue);
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	711 } else if (type == Double.TYPE) {
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	712 double doubleValue = unsafe.getDouble(n, dataOffsets[i]);
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	713 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	714 number += longValue ^ (longValue >>> 32);
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	715 } else if (type == Short.TYPE) {
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	716 short shortValue = unsafe.getShort(n, dataOffsets[i]);
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	717 number += shortValue;
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	718 } else if (type == Character.TYPE) {
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	719 char charValue = unsafe.getChar(n, dataOffsets[i]);
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	720 number += charValue;
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	721 } else if (type == Byte.TYPE) {
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	722 byte byteValue = unsafe.getByte(n, dataOffsets[i]);
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	723 number += byteValue;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	724 } else {
12701 42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	725 assert false : "unhandled property type: " + type;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	726 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	727 } else {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	728 Object o = unsafe.getObject(n, dataOffsets[i]);
12696 22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	729 number += deepHashCode0(o);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	730 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	731 number *= 13;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	732 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	733 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	734 return number;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	735 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	736
12696 22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	737 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	738 assert e1 != null;
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	739 boolean eq;
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	740 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	741 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	742 } 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	743 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	744 } 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	745 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	746 } 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	747 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	748 } 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	749 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	750 } 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	751 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	752 } 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	753 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	754 } 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	755 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	756 } 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	757 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	758 } else {
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	759 eq = e1.equals(e2);
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	760 }
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	761 return eq;
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	762 }
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	763
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	764 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	765 if (a.getClass() != b.getClass()) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	766 return a == b;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	767 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	768 for (int i = 0; i < dataOffsets.length; ++i) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	769 Class<?> type = dataTypes[i];
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	770 if (type.isPrimitive()) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	771 if (type == Integer.TYPE) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	772 int aInt = unsafe.getInt(a, dataOffsets[i]);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	773 int bInt = unsafe.getInt(b, dataOffsets[i]);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	774 if (aInt != bInt) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	775 return false;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	776 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	777 } else if (type == Boolean.TYPE) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	778 boolean aBoolean = unsafe.getBoolean(a, dataOffsets[i]);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	779 boolean bBoolean = unsafe.getBoolean(b, dataOffsets[i]);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	780 if (aBoolean != bBoolean) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	781 return false;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	782 }
5301 23ea81293bd5 let NodeClass.valueEqual handle long fields Lukas Stadler <lukas.stadler@jku.at> parents: 5299 diff changeset	783 } else if (type == Long.TYPE) {
23ea81293bd5 let NodeClass.valueEqual handle long fields Lukas Stadler <lukas.stadler@jku.at> parents: 5299 diff changeset	784 long aLong = unsafe.getLong(a, dataOffsets[i]);
23ea81293bd5 let NodeClass.valueEqual handle long fields Lukas Stadler <lukas.stadler@jku.at> parents: 5299 diff changeset	785 long bLong = unsafe.getLong(b, dataOffsets[i]);
23ea81293bd5 let NodeClass.valueEqual handle long fields Lukas Stadler <lukas.stadler@jku.at> parents: 5299 diff changeset	786 if (aLong != bLong) {
23ea81293bd5 let NodeClass.valueEqual handle long fields Lukas Stadler <lukas.stadler@jku.at> parents: 5299 diff changeset	787 return false;
23ea81293bd5 let NodeClass.valueEqual handle long fields Lukas Stadler <lukas.stadler@jku.at> parents: 5299 diff changeset	788 }
12701 42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	789 } else if (type == Float.TYPE) {
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	790 float aFloat = unsafe.getFloat(a, dataOffsets[i]);
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	791 float bFloat = unsafe.getFloat(b, dataOffsets[i]);
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	792 if (aFloat != bFloat) {
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	793 return false;
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	794 }
10785 debb9d8e0282 allow double fields in value number computation and thus, in floating nodes Doug Simon <doug.simon@oracle.com> parents: 10424 diff changeset	795 } else if (type == Double.TYPE) {
debb9d8e0282 allow double fields in value number computation and thus, in floating nodes Doug Simon <doug.simon@oracle.com> parents: 10424 diff changeset	796 double aDouble = unsafe.getDouble(a, dataOffsets[i]);
debb9d8e0282 allow double fields in value number computation and thus, in floating nodes Doug Simon <doug.simon@oracle.com> parents: 10424 diff changeset	797 double bDouble = unsafe.getDouble(b, dataOffsets[i]);
debb9d8e0282 allow double fields in value number computation and thus, in floating nodes Doug Simon <doug.simon@oracle.com> parents: 10424 diff changeset	798 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	799 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	800 }
12701 42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	801 } else if (type == Short.TYPE) {
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	802 short aShort = unsafe.getShort(a, dataOffsets[i]);
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	803 short bShort = unsafe.getShort(b, dataOffsets[i]);
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	804 if (aShort != bShort) {
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	805 return false;
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	806 }
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	807 } else if (type == Character.TYPE) {
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	808 char aChar = unsafe.getChar(a, dataOffsets[i]);
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	809 char bChar = unsafe.getChar(b, dataOffsets[i]);
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	810 if (aChar != bChar) {
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	811 return false;
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	812 }
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	813 } else if (type == Byte.TYPE) {
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	814 byte aByte = unsafe.getByte(a, dataOffsets[i]);
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	815 byte bByte = unsafe.getByte(b, dataOffsets[i]);
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	816 if (aByte != bByte) {
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	817 return false;
42a60780c2c9 Add some missing cases for NodeClass.(getDebugProperties\|valueEqual\|valueNumber) Gilles Duboscq <duboscq@ssw.jku.at> parents: 12696 diff changeset	818 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	819 } else {
5301 23ea81293bd5 let NodeClass.valueEqual handle long fields Lukas Stadler <lukas.stadler@jku.at> parents: 5299 diff changeset	820 assert false : "unhandled type: " + type;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	821 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	822 } else {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	823 Object objectA = unsafe.getObject(a, dataOffsets[i]);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	824 Object objectB = unsafe.getObject(b, dataOffsets[i]);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	825 if (objectA != objectB) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	826 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	827 if (!deepEquals0(objectA, objectB)) {
22780dc399da Support arbitrary array types in global value numbering. Roland Schatz <roland.schatz@oracle.com> parents: 12687 diff changeset	828 return false;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	829 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	830 } else {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	831 return false;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	832 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	833 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	834 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	835 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	836 return true;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	837 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	838
5214 1020e363a05d Loop peeling Gilles Duboscq <duboscq@ssw.jku.at> parents: 5061 diff changeset	839 public boolean isValid(Position pos, NodeClass from) {
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	840 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	841 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	842 }
15241 c570c2fe9d2b small refactoring of NodeClass.Position, remove duplicated functionality Lukas Stadler <lukas.stadler@oracle.com> parents: 15193 diff changeset	843 long[] offsets = pos.isInput() ? inputOffsets : successorOffsets;
c570c2fe9d2b small refactoring of NodeClass.Position, remove duplicated functionality Lukas Stadler <lukas.stadler@oracle.com> parents: 15193 diff changeset	844 if (pos.getIndex() >= offsets.length) {
5214 1020e363a05d Loop peeling Gilles Duboscq <duboscq@ssw.jku.at> parents: 5061 diff changeset	845 return false;
1020e363a05d Loop peeling Gilles Duboscq <duboscq@ssw.jku.at> parents: 5061 diff changeset	846 }
15241 c570c2fe9d2b small refactoring of NodeClass.Position, remove duplicated functionality Lukas Stadler <lukas.stadler@oracle.com> parents: 15193 diff changeset	847 long[] fromOffsets = pos.isInput() ? from.inputOffsets : from.successorOffsets;
c570c2fe9d2b small refactoring of NodeClass.Position, remove duplicated functionality Lukas Stadler <lukas.stadler@oracle.com> parents: 15193 diff changeset	848 if (pos.getIndex() >= fromOffsets.length) {
5214 1020e363a05d Loop peeling Gilles Duboscq <duboscq@ssw.jku.at> parents: 5061 diff changeset	849 return false;
1020e363a05d Loop peeling Gilles Duboscq <duboscq@ssw.jku.at> parents: 5061 diff changeset	850 }
15241 c570c2fe9d2b small refactoring of NodeClass.Position, remove duplicated functionality Lukas Stadler <lukas.stadler@oracle.com> parents: 15193 diff changeset	851 return offsets[pos.getIndex()] == fromOffsets[pos.getIndex()];
5214 1020e363a05d Loop peeling Gilles Duboscq <duboscq@ssw.jku.at> parents: 5061 diff changeset	852 }
1020e363a05d Loop peeling Gilles Duboscq <duboscq@ssw.jku.at> parents: 5061 diff changeset	853
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	854 public Node get(Node node, Position pos) {
15241 c570c2fe9d2b small refactoring of NodeClass.Position, remove duplicated functionality Lukas Stadler <lukas.stadler@oracle.com> parents: 15193 diff changeset	855 long offset = pos.isInput() ? inputOffsets[pos.getIndex()] : successorOffsets[pos.getIndex()];
c570c2fe9d2b small refactoring of NodeClass.Position, remove duplicated functionality Lukas Stadler <lukas.stadler@oracle.com> parents: 15193 diff changeset	856 if (pos.getSubIndex() == NOT_ITERABLE) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	857 return getNode(node, offset);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	858 } else {
15241 c570c2fe9d2b small refactoring of NodeClass.Position, remove duplicated functionality Lukas Stadler <lukas.stadler@oracle.com> parents: 15193 diff changeset	859 return getNodeList(node, offset).get(pos.getSubIndex());
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	860 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	861 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	862
15001 27c04ee36dcb input types Lukas Stadler <lukas.stadler@oracle.com> parents: 14991 diff changeset	863 public InputType getInputType(Position pos) {
15241 c570c2fe9d2b small refactoring of NodeClass.Position, remove duplicated functionality Lukas Stadler <lukas.stadler@oracle.com> parents: 15193 diff changeset	864 assert pos.isInput();
c570c2fe9d2b small refactoring of NodeClass.Position, remove duplicated functionality Lukas Stadler <lukas.stadler@oracle.com> parents: 15193 diff changeset	865 return inputTypes[pos.getIndex()];
15001 27c04ee36dcb input types Lukas Stadler <lukas.stadler@oracle.com> parents: 14991 diff changeset	866 }
27c04ee36dcb input types Lukas Stadler <lukas.stadler@oracle.com> parents: 14991 diff changeset	867
16332 ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	868 public boolean isInputOptional(Position pos) {
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	869 assert pos.isInput();
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	870 return inputOptional[pos.getIndex()];
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	871 }
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	872
12483 134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	873 public NodeList<?> getNodeList(Node node, Position pos) {
15241 c570c2fe9d2b small refactoring of NodeClass.Position, remove duplicated functionality Lukas Stadler <lukas.stadler@oracle.com> parents: 15193 diff changeset	874 long offset = pos.isInput() ? inputOffsets[pos.getIndex()] : successorOffsets[pos.getIndex()];
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	875 assert pos.getSubIndex() == Node.NODE_LIST;
12483 134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	876 return getNodeList(node, offset);
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	877 }
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	878
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	879 public String getName(Position pos) {
15241 c570c2fe9d2b small refactoring of NodeClass.Position, remove duplicated functionality Lukas Stadler <lukas.stadler@oracle.com> parents: 15193 diff changeset	880 return fieldNames.get(pos.isInput() ? inputOffsets[pos.getIndex()] : successorOffsets[pos.getIndex()]);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	881 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	882
15827 4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	883 public String getPropertyName(int pos) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	884 return fieldNames.get(dataOffsets[pos]);
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	885 }
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	886
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	887 public Class<?> getPropertyType(int pos) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	888 return fieldTypes.get(dataOffsets[pos]);
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	889 }
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	890
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	891 public Object getProperty(Node node, int pos) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	892 long dataOffset = dataOffsets[pos];
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	893 Class<?> type = fieldTypes.get(dataOffset);
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	894 Object value = null;
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	895 if (type.isPrimitive()) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	896 if (type == Integer.TYPE) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	897 value = unsafe.getInt(node, dataOffset);
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	898 } else if (type == Long.TYPE) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	899 value = unsafe.getLong(node, dataOffset);
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	900 } else if (type == Boolean.TYPE) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	901 value = unsafe.getBoolean(node, dataOffset);
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	902 } else if (type == Float.TYPE) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	903 value = unsafe.getFloat(node, dataOffset);
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	904 } else if (type == Double.TYPE) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	905 value = unsafe.getDouble(node, dataOffset);
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	906 } else if (type == Short.TYPE) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	907 value = unsafe.getShort(node, dataOffset);
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	908 } else if (type == Character.TYPE) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	909 value = unsafe.getChar(node, dataOffset);
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	910 } else if (type == Byte.TYPE) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	911 value = unsafe.getByte(node, dataOffset);
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	912 } else {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	913 assert false : "unhandled property type: " + type;
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	914 }
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	915 } else {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	916 value = unsafe.getObject(node, dataOffset);
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	917 }
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	918 return value;
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	919 }
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	920
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	921 public void setProperty(Node node, int pos, Object value) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	922 long dataOffset = dataOffsets[pos];
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	923 Class<?> type = fieldTypes.get(dataOffset);
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	924 if (type.isPrimitive()) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	925 if (type == Integer.TYPE) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	926 unsafe.putInt(node, dataOffset, (Integer) value);
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	927 } else if (type == Long.TYPE) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	928 unsafe.putLong(node, dataOffset, (Long) value);
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	929 } else if (type == Boolean.TYPE) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	930 unsafe.putBoolean(node, dataOffset, (Boolean) value);
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	931 } else if (type == Float.TYPE) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	932 unsafe.putFloat(node, dataOffset, (Float) value);
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	933 } else if (type == Double.TYPE) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	934 unsafe.putDouble(node, dataOffset, (Double) value);
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	935 } else if (type == Short.TYPE) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	936 unsafe.putShort(node, dataOffset, (Short) value);
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	937 } else if (type == Character.TYPE) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	938 unsafe.putChar(node, dataOffset, (Character) value);
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	939 } else if (type == Byte.TYPE) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	940 unsafe.putByte(node, dataOffset, (Byte) value);
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	941 } else {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	942 assert false : "unhandled property type: " + type;
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	943 }
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	944 } else {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	945 assert value == null \|\| !value.getClass().isPrimitive();
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	946 unsafe.putObject(node, dataOffset, value);
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	947 }
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	948 }
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	949
11676 435c8b984680 Distinguish inputs and successors in in-place updates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11675 diff changeset	950 void updateInputSuccInPlace(Node node, InplaceUpdateClosure duplicationReplacement) {
11674 8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	951 int index = 0;
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	952 while (index < directInputCount) {
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	953 Node input = getNode(node, inputOffsets[index]);
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	954 if (input != null) {
11676 435c8b984680 Distinguish inputs and successors in in-place updates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11675 diff changeset	955 Node newInput = duplicationReplacement.replacement(input, true);
11674 8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	956 node.updateUsages(null, newInput);
13151 5801a5e3e7e4 Assert for checking the input type in NodeClass.updateInputSuccInPlace. Roland Schatz <roland.schatz@oracle.com> parents: 13140 diff changeset	957 assert newInput == null \|\| fieldTypes.get(inputOffsets[index]).isAssignableFrom(newInput.getClass()) : "Can not assign " + newInput.getClass() + " to " +
5801a5e3e7e4 Assert for checking the input type in NodeClass.updateInputSuccInPlace. Roland Schatz <roland.schatz@oracle.com> parents: 13140 diff changeset	958 fieldTypes.get(inputOffsets[index]) + " in " + node;
11674 8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	959 putNode(node, inputOffsets[index], newInput);
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	960 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	961 index++;
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	962 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	963
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	964 if (index < inputOffsets.length) {
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	965 updateInputLists(node, duplicationReplacement, index);
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	966 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	967
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	968 index = 0;
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	969 while (index < directSuccessorCount) {
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	970 Node successor = getNode(node, successorOffsets[index]);
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	971 if (successor != null) {
11676 435c8b984680 Distinguish inputs and successors in in-place updates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11675 diff changeset	972 Node newSucc = duplicationReplacement.replacement(successor, false);
11674 8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	973 node.updatePredecessor(null, newSucc);
13151 5801a5e3e7e4 Assert for checking the input type in NodeClass.updateInputSuccInPlace. Roland Schatz <roland.schatz@oracle.com> parents: 13140 diff changeset	974 assert newSucc == null \|\| fieldTypes.get(successorOffsets[index]).isAssignableFrom(newSucc.getClass()) : fieldTypes.get(successorOffsets[index]) + " is not compatible with " +
5801a5e3e7e4 Assert for checking the input type in NodeClass.updateInputSuccInPlace. Roland Schatz <roland.schatz@oracle.com> parents: 13140 diff changeset	975 newSucc.getClass();
11674 8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	976 putNode(node, successorOffsets[index], newSucc);
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	977 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	978 index++;
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	979 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	980
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	981 if (index < successorOffsets.length) {
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	982 updateSuccLists(node, duplicationReplacement, index);
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	983 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	984 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	985
11676 435c8b984680 Distinguish inputs and successors in in-place updates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11675 diff changeset	986 private void updateInputLists(Node node, InplaceUpdateClosure duplicationReplacement, int startIndex) {
11674 8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	987 int index = startIndex;
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	988 while (index < inputOffsets.length) {
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	989 NodeList<Node> list = getNodeList(node, inputOffsets[index]);
15295 21663230ba88 Move FieldIntrospection to graal.compiler.common. Josef Eisl <josef.eisl@jku.at> parents: 15241 diff changeset	990 assert list != null : getClazz();
11674 8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	991 putNodeList(node, inputOffsets[index], updateInputListCopy(list, node, duplicationReplacement));
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	992 index++;
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	993 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	994 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	995
11676 435c8b984680 Distinguish inputs and successors in in-place updates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11675 diff changeset	996 private void updateSuccLists(Node node, InplaceUpdateClosure duplicationReplacement, int startIndex) {
11674 8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	997 int index = startIndex;
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	998 while (index < successorOffsets.length) {
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	999 NodeList<Node> list = getNodeList(node, successorOffsets[index]);
15295 21663230ba88 Move FieldIntrospection to graal.compiler.common. Josef Eisl <josef.eisl@jku.at> parents: 15241 diff changeset	1000 assert list != null : getClazz();
11674 8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1001 putNodeList(node, successorOffsets[index], updateSuccListCopy(list, node, duplicationReplacement));
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1002 index++;
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1003 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1004 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1005
11676 435c8b984680 Distinguish inputs and successors in in-place updates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11675 diff changeset	1006 private static NodeInputList<Node> updateInputListCopy(NodeList<Node> list, Node node, InplaceUpdateClosure duplicationReplacement) {
11674 8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1007 int size = list.size();
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1008 NodeInputList<Node> result = new NodeInputList<>(node, size);
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1009 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	1010 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	1011 if (oldNode != null) {
11676 435c8b984680 Distinguish inputs and successors in in-place updates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11675 diff changeset	1012 Node newNode = duplicationReplacement.replacement(oldNode, true);
11674 8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1013 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	1014 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1015 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1016 return result;
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1017 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1018
11676 435c8b984680 Distinguish inputs and successors in in-place updates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11675 diff changeset	1019 private static NodeSuccessorList<Node> updateSuccListCopy(NodeList<Node> list, Node node, InplaceUpdateClosure duplicationReplacement) {
11674 8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1020 int size = list.size();
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1021 NodeSuccessorList<Node> result = new NodeSuccessorList<>(node, size);
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1022 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	1023 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	1024 if (oldNode != null) {
11676 435c8b984680 Distinguish inputs and successors in in-place updates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11675 diff changeset	1025 Node newNode = duplicationReplacement.replacement(oldNode, false);
11674 8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1026 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	1027 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1028 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1029 return result;
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1030 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1031
7283 3964f3d4eb18 Extend loop unswicthing to Switch nodes (integer or type) Gilles Duboscq <duboscq@ssw.jku.at> parents: 7258 diff changeset	1032 public void set(Node node, Position pos, Node x) {
15241 c570c2fe9d2b small refactoring of NodeClass.Position, remove duplicated functionality Lukas Stadler <lukas.stadler@oracle.com> parents: 15193 diff changeset	1033 long offset = pos.isInput() ? inputOffsets[pos.getIndex()] : successorOffsets[pos.getIndex()];
c570c2fe9d2b small refactoring of NodeClass.Position, remove duplicated functionality Lukas Stadler <lukas.stadler@oracle.com> parents: 15193 diff changeset	1034 if (pos.getSubIndex() == NOT_ITERABLE) {
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7332 diff changeset	1035 Node old = getNode(node, offset);
15241 c570c2fe9d2b small refactoring of NodeClass.Position, remove duplicated functionality Lukas Stadler <lukas.stadler@oracle.com> parents: 15193 diff changeset	1036 assert x == null \|\| fieldTypes.get((pos.isInput() ? inputOffsets : successorOffsets)[pos.getIndex()]).isAssignableFrom(x.getClass()) : this + ".set(node, pos, " + x + ")";
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1037 putNode(node, offset, x);
15241 c570c2fe9d2b small refactoring of NodeClass.Position, remove duplicated functionality Lukas Stadler <lukas.stadler@oracle.com> parents: 15193 diff changeset	1038 if (pos.isInput()) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1039 node.updateUsages(old, x);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1040 } else {
5487 9743ae819f73 Move virtual chain help methods from SuperBlock to GraphUtil Gilles Duboscq <duboscq@ssw.jku.at> parents: 5486 diff changeset	1041 node.updatePredecessor(old, x);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1042 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1043 } else {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1044 NodeList<Node> list = getNodeList(node, offset);
15241 c570c2fe9d2b small refactoring of NodeClass.Position, remove duplicated functionality Lukas Stadler <lukas.stadler@oracle.com> parents: 15193 diff changeset	1045 if (pos.getSubIndex() < list.size()) {
c570c2fe9d2b small refactoring of NodeClass.Position, remove duplicated functionality Lukas Stadler <lukas.stadler@oracle.com> parents: 15193 diff changeset	1046 list.set(pos.getSubIndex(), x);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1047 } else {
15827 4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1048 while (list.size() < pos.getSubIndex()) {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1049 list.add(null);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1050 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1051 list.add(x);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1052 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1053 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1054 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1055
16206 2a1f3a8f76f1 handle Canonicalizable.Unary/Binary in CanonicalizerPhase and EquationalReasoner Lukas Stadler <lukas.stadler@oracle.com> parents: 16154 diff changeset	1056 public void initializePosition(Node node, Position pos, Node x) {
2a1f3a8f76f1 handle Canonicalizable.Unary/Binary in CanonicalizerPhase and EquationalReasoner Lukas Stadler <lukas.stadler@oracle.com> parents: 16154 diff changeset	1057 long offset = pos.isInput() ? inputOffsets[pos.getIndex()] : successorOffsets[pos.getIndex()];
2a1f3a8f76f1 handle Canonicalizable.Unary/Binary in CanonicalizerPhase and EquationalReasoner Lukas Stadler <lukas.stadler@oracle.com> parents: 16154 diff changeset	1058 if (pos.getSubIndex() == NOT_ITERABLE) {
2a1f3a8f76f1 handle Canonicalizable.Unary/Binary in CanonicalizerPhase and EquationalReasoner Lukas Stadler <lukas.stadler@oracle.com> parents: 16154 diff changeset	1059 assert x == null \|\| fieldTypes.get((pos.isInput() ? inputOffsets : successorOffsets)[pos.getIndex()]).isAssignableFrom(x.getClass()) : this + ".set(node, pos, " + x + ")";
2a1f3a8f76f1 handle Canonicalizable.Unary/Binary in CanonicalizerPhase and EquationalReasoner Lukas Stadler <lukas.stadler@oracle.com> parents: 16154 diff changeset	1060 putNode(node, offset, x);
2a1f3a8f76f1 handle Canonicalizable.Unary/Binary in CanonicalizerPhase and EquationalReasoner Lukas Stadler <lukas.stadler@oracle.com> parents: 16154 diff changeset	1061 } else {
2a1f3a8f76f1 handle Canonicalizable.Unary/Binary in CanonicalizerPhase and EquationalReasoner Lukas Stadler <lukas.stadler@oracle.com> parents: 16154 diff changeset	1062 NodeList<Node> list = getNodeList(node, offset);
2a1f3a8f76f1 handle Canonicalizable.Unary/Binary in CanonicalizerPhase and EquationalReasoner Lukas Stadler <lukas.stadler@oracle.com> parents: 16154 diff changeset	1063 while (list.size() <= pos.getSubIndex()) {
2a1f3a8f76f1 handle Canonicalizable.Unary/Binary in CanonicalizerPhase and EquationalReasoner Lukas Stadler <lukas.stadler@oracle.com> parents: 16154 diff changeset	1064 list.add(null);
2a1f3a8f76f1 handle Canonicalizable.Unary/Binary in CanonicalizerPhase and EquationalReasoner Lukas Stadler <lukas.stadler@oracle.com> parents: 16154 diff changeset	1065 }
2a1f3a8f76f1 handle Canonicalizable.Unary/Binary in CanonicalizerPhase and EquationalReasoner Lukas Stadler <lukas.stadler@oracle.com> parents: 16154 diff changeset	1066 list.initialize(pos.getSubIndex(), x);
2a1f3a8f76f1 handle Canonicalizable.Unary/Binary in CanonicalizerPhase and EquationalReasoner Lukas Stadler <lukas.stadler@oracle.com> parents: 16154 diff changeset	1067 }
2a1f3a8f76f1 handle Canonicalizable.Unary/Binary in CanonicalizerPhase and EquationalReasoner Lukas Stadler <lukas.stadler@oracle.com> parents: 16154 diff changeset	1068 }
2a1f3a8f76f1 handle Canonicalizable.Unary/Binary in CanonicalizerPhase and EquationalReasoner Lukas Stadler <lukas.stadler@oracle.com> parents: 16154 diff changeset	1069
7123 b914b9b4c578 graal.graph refactorings Gilles Duboscq <duboscq@ssw.jku.at> parents: 6657 diff changeset	1070 public NodeClassIterable getInputIterable(final Node node) {
15295 21663230ba88 Move FieldIntrospection to graal.compiler.common. Josef Eisl <josef.eisl@jku.at> parents: 15241 diff changeset	1071 assert getClazz().isInstance(node);
7123 b914b9b4c578 graal.graph refactorings Gilles Duboscq <duboscq@ssw.jku.at> parents: 6657 diff changeset	1072 return new NodeClassIterable() {
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1073
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1074 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1075 public NodeClassIterator iterator() {
12047 dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	1076 if (MODIFICATION_COUNTS_ENABLED) {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	1077 return new NodeClassInputsWithModCountIterator(node);
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	1078 } else {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	1079 return new NodeClassInputsIterator(node);
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	1080 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1081 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1082
16332 ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	1083 public NodeClassIterator withNullIterator() {
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	1084 return new NodeClassAllInputsIterator(node);
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	1085 }
ddd68e267e34 explicitly define optional inputs in @Input Lukas Stadler <lukas.stadler@oracle.com> parents: 16239 diff changeset	1086
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1087 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1088 public boolean contains(Node other) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1089 return inputContains(node, other);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1090 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1091 };
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1092 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1093
7123 b914b9b4c578 graal.graph refactorings Gilles Duboscq <duboscq@ssw.jku.at> parents: 6657 diff changeset	1094 public NodeClassIterable getSuccessorIterable(final Node node) {
15295 21663230ba88 Move FieldIntrospection to graal.compiler.common. Josef Eisl <josef.eisl@jku.at> parents: 15241 diff changeset	1095 assert getClazz().isInstance(node);
7123 b914b9b4c578 graal.graph refactorings Gilles Duboscq <duboscq@ssw.jku.at> parents: 6657 diff changeset	1096 return new NodeClassIterable() {
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7332 diff changeset	1097
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1098 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1099 public NodeClassIterator iterator() {
12047 dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	1100 if (MODIFICATION_COUNTS_ENABLED) {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	1101 return new NodeClassSuccessorsWithModCountIterator(node);
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	1102 } else {
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	1103 return new NodeClassSuccessorsIterator(node);
dcd412a084a2 NodeClassIterator: seperate implementation for modCount check Bernhard Urban <bernhard.urban@jku.at> parents: 12046 diff changeset	1104 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1105 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1106
16337 67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	1107 public NodeClassIterator withNullIterator() {
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	1108 return new NodeClassAllSuccessorsIterator(node);
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	1109 }
67f3267a8846 code and javadoc cleanups in Canonicalizable and NodeClassIterable Lukas Stadler <lukas.stadler@oracle.com> parents: 16332 diff changeset	1110
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1111 @Override
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1112 public boolean contains(Node other) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1113 return successorContains(node, other);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1114 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1115 };
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1116 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1117
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1118 public boolean replaceFirstInput(Node node, Node old, Node other) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1119 int index = 0;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1120 while (index < directInputCount) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1121 Node input = getNode(node, inputOffsets[index]);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1122 if (input == old) {
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7332 diff changeset	1123 assert other == null \|\| fieldTypes.get(inputOffsets[index]).isAssignableFrom(other.getClass()) : "Can not assign " + other.getClass() + " to " + fieldTypes.get(inputOffsets[index]) +
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7332 diff changeset	1124 " in " + node;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1125 putNode(node, inputOffsets[index], other);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1126 return true;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1127 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1128 index++;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1129 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1130 while (index < inputOffsets.length) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1131 NodeList<Node> list = getNodeList(node, inputOffsets[index]);
15295 21663230ba88 Move FieldIntrospection to graal.compiler.common. Josef Eisl <josef.eisl@jku.at> parents: 15241 diff changeset	1132 assert list != null : getClazz();
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1133 if (list.replaceFirst(old, other)) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1134 return true;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1135 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1136 index++;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1137 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1138 return false;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1139 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1140
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1141 public boolean replaceFirstSuccessor(Node node, Node old, Node other) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1142 int index = 0;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1143 while (index < directSuccessorCount) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1144 Node successor = getNode(node, successorOffsets[index]);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1145 if (successor == old) {
10424 e6cf435419b2 Fix after lowering phase refactoring. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9808 diff changeset	1146 assert other == null \|\| fieldTypes.get(successorOffsets[index]).isAssignableFrom(other.getClass()) : fieldTypes.get(successorOffsets[index]) + " is not compatible with " +
e6cf435419b2 Fix after lowering phase refactoring. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 9808 diff changeset	1147 other.getClass();
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1148 putNode(node, successorOffsets[index], other);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1149 return true;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1150 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1151 index++;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1152 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1153 while (index < successorOffsets.length) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1154 NodeList<Node> list = getNodeList(node, successorOffsets[index]);
15295 21663230ba88 Move FieldIntrospection to graal.compiler.common. Josef Eisl <josef.eisl@jku.at> parents: 15241 diff changeset	1155 assert list != null : getClazz() + " " + successorOffsets[index] + " " + node;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1156 if (list.replaceFirst(old, other)) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1157 return true;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1158 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1159 index++;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1160 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1161 return false;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1162 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1163
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1164 /**
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7332 diff changeset	1165 * Clear all inputs in the given node. This is accomplished by setting input fields to null and
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7332 diff changeset	1166 * replacing input lists with new lists. (which is important so that this method can be used to
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7332 diff changeset	1167 * clear the inputs of cloned nodes.)
15001 27c04ee36dcb input types Lukas Stadler <lukas.stadler@oracle.com> parents: 14991 diff changeset	1168 *
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1169 * @param node the node to be cleared
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1170 */
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1171 public void clearInputs(Node node) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1172 int index = 0;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1173 while (index < directInputCount) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1174 putNode(node, inputOffsets[index++], null);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1175 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1176 while (index < inputOffsets.length) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1177 long curOffset = inputOffsets[index++];
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1178 int size = (getNodeList(node, curOffset)).initialSize;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1179 // replacing with a new list object is the expected behavior!
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	1180 putNodeList(node, curOffset, new NodeInputList<>(node, size));
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1181 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1182 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1183
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1184 /**
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7332 diff changeset	1185 * Clear all successors in the given node. This is accomplished by setting successor fields to
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7332 diff changeset	1186 * null and replacing successor lists with new lists. (which is important so that this method
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7332 diff changeset	1187 * can be used to clear the successors of cloned nodes.)
15001 27c04ee36dcb input types Lukas Stadler <lukas.stadler@oracle.com> parents: 14991 diff changeset	1188 *
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1189 * @param node the node to be cleared
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1190 */
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1191 public void clearSuccessors(Node node) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1192 int index = 0;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1193 while (index < directSuccessorCount) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1194 putNode(node, successorOffsets[index++], null);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1195 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1196 while (index < successorOffsets.length) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1197 long curOffset = successorOffsets[index++];
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1198 int size = getNodeList(node, curOffset).initialSize;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1199 // replacing with a new list object is the expected behavior!
4142 bc8527f3071c Adjust code base to new level of warnings. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 3733 diff changeset	1200 putNodeList(node, curOffset, new NodeSuccessorList<>(node, size));
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1201 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1202 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1203
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1204 /**
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7332 diff changeset	1205 * Copies the inputs from node to newNode. The nodes are expected to be of the exact same
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7332 diff changeset	1206 * NodeClass type.
15001 27c04ee36dcb input types Lukas Stadler <lukas.stadler@oracle.com> parents: 14991 diff changeset	1207 *
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1208 * @param node the node from which the inputs should be copied.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1209 * @param newNode the node to which the inputs should be copied.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1210 */
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1211 public void copyInputs(Node node, Node newNode) {
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	1212 assert isNodeClassFor(node) && isNodeClassFor(newNode);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1213
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1214 int index = 0;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1215 while (index < directInputCount) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1216 putNode(newNode, inputOffsets[index], getNode(node, inputOffsets[index]));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1217 index++;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1218 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1219 while (index < inputOffsets.length) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1220 NodeList<Node> list = getNodeList(newNode, inputOffsets[index]);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1221 list.copy(getNodeList(node, inputOffsets[index]));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1222 index++;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1223 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1224 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1225
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1226 /**
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7332 diff changeset	1227 * Copies the successors from node to newNode. The nodes are expected to be of the exact same
5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7332 diff changeset	1228 * NodeClass type.
15001 27c04ee36dcb input types Lukas Stadler <lukas.stadler@oracle.com> parents: 14991 diff changeset	1229 *
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1230 * @param node the node from which the successors should be copied.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1231 * @param newNode the node to which the successors should be copied.
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1232 */
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1233 public void copySuccessors(Node node, Node newNode) {
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	1234 assert isNodeClassFor(node) && isNodeClassFor(newNode);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1235
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1236 int index = 0;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1237 while (index < directSuccessorCount) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1238 putNode(newNode, successorOffsets[index], getNode(node, successorOffsets[index]));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1239 index++;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1240 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1241 while (index < successorOffsets.length) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1242 NodeList<Node> list = getNodeList(newNode, successorOffsets[index]);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1243 list.copy(getNodeList(node, successorOffsets[index]));
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1244 index++;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1245 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1246 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1247
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1248 public boolean edgesEqual(Node node, Node other) {
9450 ca34e36c53e8 Add loop safepoint elimination Gilles Duboscq <duboscq@ssw.jku.at> parents: 7530 diff changeset	1249 return inputsEqual(node, other) && successorsEqual(node, other);
ca34e36c53e8 Add loop safepoint elimination Gilles Duboscq <duboscq@ssw.jku.at> parents: 7530 diff changeset	1250 }
ca34e36c53e8 Add loop safepoint elimination Gilles Duboscq <duboscq@ssw.jku.at> parents: 7530 diff changeset	1251
ca34e36c53e8 Add loop safepoint elimination Gilles Duboscq <duboscq@ssw.jku.at> parents: 7530 diff changeset	1252 public boolean inputsEqual(Node node, Node other) {
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	1253 assert isNodeClassFor(node) && isNodeClassFor(other);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1254 int index = 0;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1255 while (index < directInputCount) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1256 if (getNode(other, inputOffsets[index]) != getNode(node, inputOffsets[index])) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1257 return false;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1258 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1259 index++;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1260 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1261 while (index < inputOffsets.length) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1262 NodeList<Node> list = getNodeList(other, inputOffsets[index]);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1263 if (!list.equals(getNodeList(node, inputOffsets[index]))) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1264 return false;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1265 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1266 index++;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1267 }
9450 ca34e36c53e8 Add loop safepoint elimination Gilles Duboscq <duboscq@ssw.jku.at> parents: 7530 diff changeset	1268 return true;
ca34e36c53e8 Add loop safepoint elimination Gilles Duboscq <duboscq@ssw.jku.at> parents: 7530 diff changeset	1269 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1270
9450 ca34e36c53e8 Add loop safepoint elimination Gilles Duboscq <duboscq@ssw.jku.at> parents: 7530 diff changeset	1271 public boolean successorsEqual(Node node, Node other) {
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	1272 assert isNodeClassFor(node) && isNodeClassFor(other);
9450 ca34e36c53e8 Add loop safepoint elimination Gilles Duboscq <duboscq@ssw.jku.at> parents: 7530 diff changeset	1273 int index = 0;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1274 while (index < directSuccessorCount) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1275 if (getNode(other, successorOffsets[index]) != getNode(node, successorOffsets[index])) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1276 return false;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1277 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1278 index++;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1279 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1280 while (index < successorOffsets.length) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1281 NodeList<Node> list = getNodeList(other, successorOffsets[index]);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1282 if (!list.equals(getNodeList(node, successorOffsets[index]))) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1283 return false;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1284 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1285 index++;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1286 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1287 return true;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1288 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1289
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1290 public boolean inputContains(Node node, Node other) {
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	1291 assert isNodeClassFor(node);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1292
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1293 int index = 0;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1294 while (index < directInputCount) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1295 if (getNode(node, inputOffsets[index]) == other) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1296 return true;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1297 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1298 index++;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1299 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1300 while (index < inputOffsets.length) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1301 NodeList<Node> list = getNodeList(node, inputOffsets[index]);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1302 if (list.contains(other)) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1303 return true;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1304 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1305 index++;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1306 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1307 return false;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1308 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1309
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1310 public boolean successorContains(Node node, Node other) {
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	1311 assert isNodeClassFor(node);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1312
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1313 int index = 0;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1314 while (index < directSuccessorCount) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1315 if (getNode(node, successorOffsets[index]) == other) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1316 return true;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1317 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1318 index++;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1319 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1320 while (index < successorOffsets.length) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1321 NodeList<Node> list = getNodeList(node, successorOffsets[index]);
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1322 if (list.contains(other)) {
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1323 return true;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1324 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1325 index++;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1326 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1327 return false;
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1328 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1329
12483 134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1330 public Collection<Position> getFirstLevelInputPositions() {
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1331 return new AbstractCollection<Position>() {
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1332 @Override
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1333 public Iterator<Position> iterator() {
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	1334 return new Iterator<Position>() {
12483 134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1335 int i = 0;
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1336
12558 5de6526474bb added missing @Override's twisti parents: 12510 diff changeset	1337 @Override
12483 134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1338 public void remove() {
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1339 throw new UnsupportedOperationException();
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1340 }
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1341
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1342 public Position next() {
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	1343 Position pos = new Position(true, i, i >= directInputCount ? Node.NODE_LIST : Node.NOT_ITERABLE);
12483 134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1344 i++;
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1345 return pos;
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1346 }
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1347
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1348 public boolean hasNext() {
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1349 return i < inputOffsets.length;
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1350 }
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1351 };
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1352 }
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1353
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1354 @Override
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1355 public int size() {
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1356 return inputOffsets.length;
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1357 }
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1358 };
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1359 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1360
12483 134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1361 public Collection<Position> getFirstLevelSuccessorPositions() {
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1362 return new AbstractCollection<Position>() {
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1363 @Override
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1364 public Iterator<Position> iterator() {
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	1365 return new Iterator<Position>() {
12483 134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1366 int i = 0;
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1367
12558 5de6526474bb added missing @Override's twisti parents: 12510 diff changeset	1368 @Override
12483 134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1369 public void remove() {
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1370 throw new UnsupportedOperationException();
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1371 }
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1372
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1373 public Position next() {
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	1374 Position pos = new Position(false, i, i >= directSuccessorCount ? Node.NODE_LIST : Node.NOT_ITERABLE);
12483 134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1375 i++;
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1376 return pos;
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1377 }
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1378
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1379 public boolean hasNext() {
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1380 return i < successorOffsets.length;
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1381 }
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1382 };
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1383 }
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1384
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1385 @Override
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1386 public int size() {
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1387 return successorOffsets.length;
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1388 }
134671fbf973 Optimize Binary Graph format for more compact size Gilles Duboscq <duboscq@ssw.jku.at> parents: 12378 diff changeset	1389 };
5813 3b8bc07f8d17 Add ability to give an existing to getDebugProperties Gilles Duboscq <duboscq@ssw.jku.at> parents: 5810 diff changeset	1390 }
3b8bc07f8d17 Add ability to give an existing to getDebugProperties Gilles Duboscq <duboscq@ssw.jku.at> parents: 5810 diff changeset	1391
15827 4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1392 public Collection<Integer> getPropertyPositions() {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1393 return new AbstractCollection<Integer>() {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1394 @Override
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1395 public Iterator<Integer> iterator() {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1396 return new Iterator<Integer>() {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1397 int i = 0;
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1398
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1399 @Override
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1400 public void remove() {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1401 throw new UnsupportedOperationException();
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1402 }
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1403
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1404 public Integer next() {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1405 Integer pos = i++;
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1406 return pos;
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1407 }
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1408
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1409 public boolean hasNext() {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1410 return i < dataOffsets.length;
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1411 }
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1412 };
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1413 }
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1414
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1415 @Override
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1416 public int size() {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1417 return dataOffsets.length;
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1418 }
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1419 };
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1420 }
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1421
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1422 /**
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1423 * 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	1424 * implement node factories in svm.
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1425 */
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1426 public void initRawNode(Node node) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1427 node.init();
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1428 for (int inputPos = directInputCount; inputPos < inputOffsets.length; inputPos++) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1429 if (getNodeList(node, inputOffsets[inputPos]) == null) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1430 putNodeList(node, inputOffsets[inputPos], new NodeInputList<>(node));
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1431 }
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1432 }
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1433 for (int successorPos = directSuccessorCount; successorPos < successorOffsets.length; successorPos++) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1434 if (getNodeList(node, successorOffsets[successorPos]) == null) {
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1435 putNodeList(node, successorOffsets[successorPos], new NodeSuccessorList<>(node));
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1436 }
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1437 }
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1438 }
4e770fa50889 Make NodeClass more flexible Christian Wimmer <christian.wimmer@oracle.com> parents: 15551 diff changeset	1439
5813 3b8bc07f8d17 Add ability to give an existing to getDebugProperties Gilles Duboscq <duboscq@ssw.jku.at> parents: 5810 diff changeset	1440 public Class<?> getJavaClass() {
15295 21663230ba88 Move FieldIntrospection to graal.compiler.common. Josef Eisl <josef.eisl@jku.at> parents: 15241 diff changeset	1441 return getClazz();
5813 3b8bc07f8d17 Add ability to give an existing to getDebugProperties Gilles Duboscq <duboscq@ssw.jku.at> parents: 5810 diff changeset	1442 }
3b8bc07f8d17 Add ability to give an existing to getDebugProperties Gilles Duboscq <duboscq@ssw.jku.at> parents: 5810 diff changeset	1443
3b8bc07f8d17 Add ability to give an existing to getDebugProperties Gilles Duboscq <duboscq@ssw.jku.at> parents: 5810 diff changeset	1444 /**
7530 5e3d1a68664e applied mx eclipseformat to all Java files Doug Simon <doug.simon@oracle.com> parents: 7332 diff changeset	1445 * 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	1446 * 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	1447 */
3b8bc07f8d17 Add ability to give an existing to getDebugProperties Gilles Duboscq <duboscq@ssw.jku.at> parents: 5810 diff changeset	1448 public String getNameTemplate() {
3b8bc07f8d17 Add ability to give an existing to getDebugProperties Gilles Duboscq <duboscq@ssw.jku.at> parents: 5810 diff changeset	1449 return nameTemplate;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1450 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1451
11676 435c8b984680 Distinguish inputs and successors in in-place updates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11675 diff changeset	1452 interface InplaceUpdateClosure {
435c8b984680 Distinguish inputs and successors in in-place updates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11675 diff changeset	1453
435c8b984680 Distinguish inputs and successors in in-place updates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11675 diff changeset	1454 Node replacement(Node node, boolean isInput);
435c8b984680 Distinguish inputs and successors in in-place updates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11675 diff changeset	1455 }
435c8b984680 Distinguish inputs and successors in in-place updates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11675 diff changeset	1456
11675 77d9f12797c5 Use NodeMap in inlining utility when number of nodes is high. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11674 diff changeset	1457 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	1458 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	1459 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	1460 if (estimatedNodeCount > denseThreshold) {
12685 478c82dde838 commented choice of data structure in NodeClass.addGraphDuplicate() Doug Simon <doug.simon@oracle.com> parents: 12669 diff changeset	1461 // Use dense map
478c82dde838 commented choice of data structure in NodeClass.addGraphDuplicate() Doug Simon <doug.simon@oracle.com> parents: 12669 diff changeset	1462 newNodes = new NodeNodeMap(oldGraph);
478c82dde838 commented choice of data structure in NodeClass.addGraphDuplicate() Doug Simon <doug.simon@oracle.com> parents: 12669 diff changeset	1463 } else {
478c82dde838 commented choice of data structure in NodeClass.addGraphDuplicate() Doug Simon <doug.simon@oracle.com> parents: 12669 diff changeset	1464 // 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	1465 newNodes = newIdentityMap();
12685 478c82dde838 commented choice of data structure in NodeClass.addGraphDuplicate() Doug Simon <doug.simon@oracle.com> parents: 12669 diff changeset	1466 }
11674 8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1467 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	1468
11676 435c8b984680 Distinguish inputs and successors in in-place updates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11675 diff changeset	1469 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	1470
11676 435c8b984680 Distinguish inputs and successors in in-place updates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11675 diff changeset	1471 public Node replacement(Node node, boolean isInput) {
435c8b984680 Distinguish inputs and successors in in-place updates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11675 diff changeset	1472 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	1473 if (target == null) {
11676 435c8b984680 Distinguish inputs and successors in in-place updates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11675 diff changeset	1474 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	1475 if (replacements != null) {
11676 435c8b984680 Distinguish inputs and successors in in-place updates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11675 diff changeset	1476 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	1477 }
11676 435c8b984680 Distinguish inputs and successors in in-place updates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11675 diff changeset	1478 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	1479 target = replacement;
11676 435c8b984680 Distinguish inputs and successors in in-place updates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11675 diff changeset	1480 } else if (node.graph() == graph && isInput) {
435c8b984680 Distinguish inputs and successors in in-place updates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11675 diff changeset	1481 // patch to the outer world
435c8b984680 Distinguish inputs and successors in in-place updates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11675 diff changeset	1482 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	1483 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1484
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1485 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1486 return target;
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1487 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1488
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1489 };
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1490
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1491 // 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	1492 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	1493 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	1494 NodeClass oldNodeClass = oldNode.getNodeClass();
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1495 NodeClass nodeClass = node.getNodeClass();
11676 435c8b984680 Distinguish inputs and successors in in-place updates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11675 diff changeset	1496 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	1497 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	1498 } else {
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1499 transferValuesDifferentNodeClass(graph, replacements, newNodes, oldNode, node, oldNodeClass, nodeClass);
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1500 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1501 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1502
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1503 return newNodes;
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1504 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1505
11675 77d9f12797c5 Use NodeMap in inlining utility when number of nodes is high. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11674 diff changeset	1506 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	1507 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	1508 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	1509 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	1510 Node replacement = node;
3522f7c99c5f Allow null DuplicationReplacement in addDuplicates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11669 diff changeset	1511 if (replacements != null) {
3522f7c99c5f Allow null DuplicationReplacement in addDuplicates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11669 diff changeset	1512 replacement = replacements.replacement(node);
3522f7c99c5f Allow null DuplicationReplacement in addDuplicates. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11669 diff changeset	1513 }
5478 4a99bfc329f0 Add posibility to provide a replacement function instead of map for duplication. Gilles Duboscq <duboscq@ssw.jku.at> parents: 5361 diff changeset	1514 if (replacement != node) {
5519 cedae73d9c2a Fix problem with jython and tmt Gilles Duboscq <duboscq@ssw.jku.at> parents: 5489 diff changeset	1515 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	1516 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	1517 } else {
11674 8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1518 Node newNode = node.clone(graph, false);
12612 42a2c235652f replace ".count() == 0" with ".isEmpty()" Doug Simon <doug.simon@oracle.com> parents: 12574 diff changeset	1519 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	1520 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	1521 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	1522 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1523 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1524 }
11674 8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1525 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1526
11675 77d9f12797c5 Use NodeMap in inlining utility when number of nodes is high. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11674 diff changeset	1527 private static void transferValuesDifferentNodeClass(final Graph graph, final DuplicationReplacement replacements, final Map<Node, Node> newNodes, Node oldNode, Node node, NodeClass oldNodeClass,
77d9f12797c5 Use NodeMap in inlining utility when number of nodes is high. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11674 diff changeset	1528 NodeClass nodeClass) {
11674 8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1529 for (NodeClassIterator iter = oldNode.inputs().iterator(); iter.hasNext();) {
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1530 Position pos = iter.nextPosition();
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1531 if (!nodeClass.isValid(pos, oldNodeClass)) {
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1532 continue;
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1533 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1534 Node input = oldNodeClass.get(oldNode, pos);
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1535 Node target = newNodes.get(input);
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1536 if (target == null) {
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1537 Node replacement = input;
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1538 if (replacements != null) {
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1539 replacement = replacements.replacement(input);
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	1540 }
11674 8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1541 if (replacement != input) {
15241 c570c2fe9d2b small refactoring of NodeClass.Position, remove duplicated functionality Lukas Stadler <lukas.stadler@oracle.com> parents: 15193 diff changeset	1542 assert isAssignable(nodeClass.fieldTypes.get(nodeClass.inputOffsets[pos.getIndex()]), replacement);
11674 8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1543 target = replacement;
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1544 } else if (input.graph() == graph) { // patch to the outer world
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1545 target = input;
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1546 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1547 }
11674 8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1548 nodeClass.set(node, pos, target);
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1549 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1550
11674 8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1551 for (NodeClassIterator iter = oldNode.successors().iterator(); iter.hasNext();) {
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1552 Position pos = iter.nextPosition();
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1553 if (!nodeClass.isValid(pos, oldNodeClass)) {
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1554 continue;
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1555 }
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1556 Node succ = oldNodeClass.get(oldNode, pos);
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1557 Node target = newNodes.get(succ);
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1558 if (target == null) {
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1559 Node replacement = replacements.replacement(succ);
8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1560 if (replacement != succ) {
15241 c570c2fe9d2b small refactoring of NodeClass.Position, remove duplicated functionality Lukas Stadler <lukas.stadler@oracle.com> parents: 15193 diff changeset	1561 assert isAssignable(nodeClass.fieldTypes.get(node.getNodeClass().successorOffsets[pos.getIndex()]), replacement);
11674 8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1562 target = replacement;
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	1563 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1564 }
11674 8505bcff4bdc New graph duplication mechanism that allows in-place fixing of edges. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: 11673 diff changeset	1565 nodeClass.set(node, pos, target);
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1566 }
e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1567 }
5858 911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	1568
911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	1569 private static boolean isAssignable(Class<?> fieldType, Node replacement) {
911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	1570 return replacement == null \|\| !NODE_CLASS.isAssignableFrom(fieldType) \|\| fieldType.isAssignableFrom(replacement.getClass());
911315a3e642 Factor out common infrastructure from NodeClass and LIRInstructionClass Christian Wimmer <christian.wimmer@oracle.com> parents: 5813 diff changeset	1571 }
3733 e233f5660da4 Added Java files from Maxine project. Thomas Wuerthinger <thomas.wuerthinger@oracle.com> parents: diff changeset	1572 }

Mercurial > hg > truffle

annotate graal/com.oracle.graal.graph/src/com/oracle/graal/graph/NodeClass.java @ 16903:3ca8ba1bfc21