Mercurial > hg > truffle

annotate graal/com.oracle.graal.virtual/src/com/oracle/graal/virtual/phases/ea/GraphEffectList.java @ 19359:afe80ca4b0f0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
cache EscapeObjectStates during PEA
author Lukas Stadler <lukas.stadler@oracle.com>
date Fri, 13 Feb 2015 17:42:58 +0100
parents a657c513e128
children 9d5003af91f5
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6520
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
1 /*
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
2 * Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved.
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
4 *
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
7 * published by the Free Software Foundation.
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
8 *
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
13 * accompanied this code).
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
14 *
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
18 *
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
21 * questions.
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
22 */
6650
ea38da80dd29 refactor PEA into separate classes
Lukas Stadler <lukas.stadler@jku.at>
parents: 6524
diff changeset
23 package com.oracle.graal.virtual.phases.ea;
6520
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
24
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
25 import java.util.*;
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
26
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
27 import com.oracle.graal.graph.*;
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
28 import com.oracle.graal.nodes.*;
8556
c69b29285ff8 better read elimination
Lukas Stadler <lukas.stadler@jku.at>
parents: 7734
diff changeset
29 import com.oracle.graal.nodes.debug.*;
16450
b650d0a98146 new GraphUtil.unlinkFixedNode utility method
Lukas Stadler <lukas.stadler@oracle.com>
parents: 15002
diff changeset
30 import com.oracle.graal.nodes.util.*;
6520
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
31 import com.oracle.graal.nodes.virtual.*;
6710
6db6881c1270 add Virtualizable and VirtualizerTool, refactor PEA to use it
Lukas Stadler <lukas.stadler@jku.at>
parents: 6657
diff changeset
32 import com.oracle.graal.phases.common.*;
6520
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
33
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
34 public class GraphEffectList extends EffectList {
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
35
9252
c4561d60fd9a add grouping to dynamic counters
Lukas Stadler <lukas.stadler@jku.at>
parents: 9234
diff changeset
36 public void addCounterBefore(final String group, final String name, final int increment, final boolean addContext, final FixedNode position) {
16454
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
37 add("add counter", graph -> DynamicCounterNode.addCounterBefore(group, name, increment, addContext, position));
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
38 }
8556
c69b29285ff8 better read elimination
Lukas Stadler <lukas.stadler@jku.at>
parents: 7734
diff changeset
39
16454
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
40 public void addCounterAfter(final String group, final String name, final int increment, final boolean addContext, final FixedWithNextNode position) {
16556
a657c513e128 small fix in GraphEffectList
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16454
diff changeset
41 FixedNode nextPosition = position.next();
a657c513e128 small fix in GraphEffectList
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16454
diff changeset
42 add("add counter after", graph -> DynamicCounterNode.addCounterBefore(group, name, increment, addContext, nextPosition));
8556
c69b29285ff8 better read elimination
Lukas Stadler <lukas.stadler@jku.at>
parents: 7734
diff changeset
43 }
c69b29285ff8 better read elimination
Lukas Stadler <lukas.stadler@jku.at>
parents: 7734
diff changeset
44
11893
ec267141f753 more javadoc and output tweaks for dynamic counters
Lukas Stadler <lukas.stadler@jku.at>
parents: 11852
diff changeset
45 public void addWeakCounterCounterBefore(final String group, final String name, final int increment, final boolean addContext, final ValueNode checkedValue, final FixedNode position) {
16454
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
46 add("add weak counter", graph -> WeakCounterNode.addCounterBefore(group, name, increment, addContext, checkedValue, position));
8556
c69b29285ff8 better read elimination
Lukas Stadler <lukas.stadler@jku.at>
parents: 7734
diff changeset
47 }
c69b29285ff8 better read elimination
Lukas Stadler <lukas.stadler@jku.at>
parents: 7734
diff changeset
48
6657
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
49 /**
7530
5e3d1a68664e applied mx eclipseformat to all Java files
Doug Simon <doug.simon@oracle.com>
parents: 7394
diff changeset
50 * Adds the given fixed node to the graph's control flow, before position (so that the original
5e3d1a68664e applied mx eclipseformat to all Java files
Doug Simon <doug.simon@oracle.com>
parents: 7394
diff changeset
51 * predecessor of position will then be node's predecessor).
15002
06e50d290784 isAllowedUsageType on Nodes
Lukas Stadler <lukas.stadler@oracle.com>
parents: 13554
diff changeset
52 *
6657
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
53 * @param node The fixed node to be added to the graph.
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
54 * @param position The fixed node before which the node should be added.
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
55 */
6520
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
56 public void addFixedNodeBefore(final FixedWithNextNode node, final FixedNode position) {
16454
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
57 add("add fixed node", graph -> {
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
58 assert !node.isAlive() && !node.isDeleted() && position.isAlive();
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
59 graph.addBeforeFixed(position, graph.add(node));
6520
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
60 });
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
61 }
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
62
6657
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
63 /**
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
64 * Add the given floating node to the graph.
15002
06e50d290784 isAllowedUsageType on Nodes
Lukas Stadler <lukas.stadler@oracle.com>
parents: 13554
diff changeset
65 *
6657
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
66 * @param node The floating node to be added.
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
67 */
16454
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
68 public void addFloatingNode(final ValueNode node, @SuppressWarnings("unused") final String cause) {
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
69 add("add floating node", graph -> graph.addWithoutUnique(node));
6520
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
70 }
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
71
6657
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
72 /**
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
73 * Adds an value to the given phi node.
15002
06e50d290784 isAllowedUsageType on Nodes
Lukas Stadler <lukas.stadler@oracle.com>
parents: 13554
diff changeset
74 *
6657
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
75 * @param node The phi node to which the value should be added.
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
76 * @param value The value that will be added to the phi node.
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
77 */
6520
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
78 public void addPhiInput(final PhiNode node, final ValueNode value) {
16454
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
79 add("add phi input", graph -> {
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
80 assert node.isAlive() && value.isAlive() : node + " " + value;
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
81 node.addInput(value);
6520
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
82 });
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
83 }
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
84
6657
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
85 /**
12617
bca33c3135de PEA: support for unsafe stores of mismatching sizes, cleanup, documentation
Lukas Stadler <lukas.stadler@jku.at>
parents: 12473
diff changeset
86 * Sets the phi node's input at the given index to the given value, adding new phi inputs as
bca33c3135de PEA: support for unsafe stores of mismatching sizes, cleanup, documentation
Lukas Stadler <lukas.stadler@jku.at>
parents: 12473
diff changeset
87 * needed.
15002
06e50d290784 isAllowedUsageType on Nodes
Lukas Stadler <lukas.stadler@oracle.com>
parents: 13554
diff changeset
88 *
6657
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
89 * @param node The phi node whose input should be changed.
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
90 * @param index The index of the phi input to be changed.
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
91 * @param value The new value for the phi input.
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
92 */
12617
bca33c3135de PEA: support for unsafe stores of mismatching sizes, cleanup, documentation
Lukas Stadler <lukas.stadler@jku.at>
parents: 12473
diff changeset
93 public void initializePhiInput(final PhiNode node, final int index, final ValueNode value) {
16454
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
94 add("set phi input", (graph, obsoleteNodes) -> {
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
95 assert node.isAlive() && value.isAlive() && index >= 0;
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
96 node.initializeValueAt(index, value);
6657
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
97 });
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
98 }
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
99
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
100 /**
7530
5e3d1a68664e applied mx eclipseformat to all Java files
Doug Simon <doug.simon@oracle.com>
parents: 7394
diff changeset
101 * Adds a virtual object's state to the given frame state. If the given reusedVirtualObjects set
5e3d1a68664e applied mx eclipseformat to all Java files
Doug Simon <doug.simon@oracle.com>
parents: 7394
diff changeset
102 * contains the virtual object then old states for this object will be removed.
15002
06e50d290784 isAllowedUsageType on Nodes
Lukas Stadler <lukas.stadler@oracle.com>
parents: 13554
diff changeset
103 *
6657
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
104 * @param node The frame state to which the state should be added.
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
105 * @param state The virtual object state to add.
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
106 */
7394
94f032472c28 changed PEA interface:
Lukas Stadler <lukas.stadler@jku.at>
parents: 6710
diff changeset
107 public void addVirtualMapping(final FrameState node, final EscapeObjectState state) {
16454
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
108 add("add virtual mapping", new Effect() {
6520
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
109 @Override
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
110 public void apply(StructuredGraph graph, ArrayList<Node> obsoleteNodes) {
19359
afe80ca4b0f0 cache EscapeObjectStates during PEA
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16556
diff changeset
111 assert node.isAlive() && !state.isDeleted();
6520
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
112 FrameState stateAfter = node;
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
113 for (int i = 0; i < stateAfter.virtualObjectMappingCount(); i++) {
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
114 if (stateAfter.virtualObjectMappingAt(i).object() == state.object()) {
7394
94f032472c28 changed PEA interface:
Lukas Stadler <lukas.stadler@jku.at>
parents: 6710
diff changeset
115 stateAfter.virtualObjectMappings().remove(i);
6520
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
116 }
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
117 }
19359
afe80ca4b0f0 cache EscapeObjectStates during PEA
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16556
diff changeset
118 stateAfter.addVirtualObjectMapping(state.isAlive() ? state : graph.unique(state));
6520
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
119 }
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
120
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
121 @Override
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
122 public boolean isVisible() {
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
123 return false;
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
124 }
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
125 });
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
126 }
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
127
6657
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
128 /**
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
129 * Removes the given fixed node from the control flow and deletes it.
15002
06e50d290784 isAllowedUsageType on Nodes
Lukas Stadler <lukas.stadler@oracle.com>
parents: 13554
diff changeset
130 *
6657
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
131 * @param node The fixed node that should be deleted.
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
132 */
6520
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
133 public void deleteFixedNode(final FixedWithNextNode node) {
16454
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
134 add("delete fixed node", (graph, obsoleteNodes) -> {
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
135 GraphUtil.unlinkFixedNode(node);
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
136 assert obsoleteNodes.add(node);
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
137 });
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
138 }
6520
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
139
16454
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
140 /**
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
141 * Removes the given fixed node from the control flow.
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
142 *
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
143 * @param node The fixed node that should be deleted.
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
144 */
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
145 public void unlinkFixedNode(final FixedWithNextNode node) {
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
146 add("unlink fixed node", graph -> GraphUtil.unlinkFixedNode(node));
6520
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
147 }
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
148
6657
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
149 /**
7530
5e3d1a68664e applied mx eclipseformat to all Java files
Doug Simon <doug.simon@oracle.com>
parents: 7394
diff changeset
150 * Replaces the given node at its usages without deleting it. If the current node is a fixed
5e3d1a68664e applied mx eclipseformat to all Java files
Doug Simon <doug.simon@oracle.com>
parents: 7394
diff changeset
151 * node it will be disconnected from the control flow, so that it will be deleted by a
5e3d1a68664e applied mx eclipseformat to all Java files
Doug Simon <doug.simon@oracle.com>
parents: 7394
diff changeset
152 * subsequent {@link DeadCodeEliminationPhase}
15002
06e50d290784 isAllowedUsageType on Nodes
Lukas Stadler <lukas.stadler@oracle.com>
parents: 13554
diff changeset
153 *
6657
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
154 * @param node The node to be replaced.
7530
5e3d1a68664e applied mx eclipseformat to all Java files
Doug Simon <doug.simon@oracle.com>
parents: 7394
diff changeset
155 * @param replacement The node that should replace the original value. If the replacement is a
5e3d1a68664e applied mx eclipseformat to all Java files
Doug Simon <doug.simon@oracle.com>
parents: 7394
diff changeset
156 * non-connected {@link FixedWithNextNode} it will be added to the control flow.
15002
06e50d290784 isAllowedUsageType on Nodes
Lukas Stadler <lukas.stadler@oracle.com>
parents: 13554
diff changeset
157 *
6657
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
158 */
6520
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
159 public void replaceAtUsages(final ValueNode node, final ValueNode replacement) {
16454
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
160 add("replace at usages", (graph, obsoleteNodes) -> {
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
161 assert node.isAlive() && replacement.isAlive();
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
162 if (replacement instanceof FixedWithNextNode && ((FixedWithNextNode) replacement).next() == null) {
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
163 assert node instanceof FixedNode;
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
164 graph.addBeforeFixed((FixedNode) node, (FixedWithNextNode) replacement);
6520
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
165 }
16454
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
166 node.replaceAtUsages(replacement);
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
167 if (node instanceof FixedWithNextNode) {
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
168 FixedNode next = ((FixedWithNextNode) node).next();
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
169 ((FixedWithNextNode) node).setNext(null);
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
170 node.replaceAtPredecessor(next);
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
171 assert obsoleteNodes.add(node);
6520
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
172 }
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
173 });
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
174 }
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
175
6657
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
176 /**
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
177 * Replaces the first occurrence of oldInput in node with newInput.
15002
06e50d290784 isAllowedUsageType on Nodes
Lukas Stadler <lukas.stadler@oracle.com>
parents: 13554
diff changeset
178 *
6657
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
179 * @param node The node whose input should be changed.
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
180 * @param oldInput The value to look for.
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
181 * @param newInput The value to replace with.
768793150bcd more PEA refactoring, multiple iterations
Lukas Stadler <lukas.stadler@jku.at>
parents: 6650
diff changeset
182 */
6710
6db6881c1270 add Virtualizable and VirtualizerTool, refactor PEA to use it
Lukas Stadler <lukas.stadler@jku.at>
parents: 6657
diff changeset
183 public void replaceFirstInput(final Node node, final Node oldInput, final Node newInput) {
16454
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
184 add("replace first input", new Effect() {
6520
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
185 @Override
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
186 public void apply(StructuredGraph graph, ArrayList<Node> obsoleteNodes) {
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
187 assert node.isAlive() && oldInput.isAlive() && newInput.isAlive();
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
188 node.replaceFirstInput(oldInput, newInput);
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
189 }
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
190
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
191 @Override
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
192 public boolean isVisible() {
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
193 return !(node instanceof FrameState);
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
194 }
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
195 });
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
196 }
6710
6db6881c1270 add Virtualizable and VirtualizerTool, refactor PEA to use it
Lukas Stadler <lukas.stadler@jku.at>
parents: 6657
diff changeset
197
6db6881c1270 add Virtualizable and VirtualizerTool, refactor PEA to use it
Lukas Stadler <lukas.stadler@jku.at>
parents: 6657
diff changeset
198 /**
6db6881c1270 add Virtualizable and VirtualizerTool, refactor PEA to use it
Lukas Stadler <lukas.stadler@jku.at>
parents: 6657
diff changeset
199 * Performs a custom action.
15002
06e50d290784 isAllowedUsageType on Nodes
Lukas Stadler <lukas.stadler@oracle.com>
parents: 13554
diff changeset
200 *
6710
6db6881c1270 add Virtualizable and VirtualizerTool, refactor PEA to use it
Lukas Stadler <lukas.stadler@jku.at>
parents: 6657
diff changeset
201 * @param action The action that should be performed when the effects are applied.
6db6881c1270 add Virtualizable and VirtualizerTool, refactor PEA to use it
Lukas Stadler <lukas.stadler@jku.at>
parents: 6657
diff changeset
202 */
6db6881c1270 add Virtualizable and VirtualizerTool, refactor PEA to use it
Lukas Stadler <lukas.stadler@jku.at>
parents: 6657
diff changeset
203 public void customAction(final Runnable action) {
16454
973b5704b95d GraphEffectList rework (with lambdas)
Lukas Stadler <lukas.stadler@oracle.com>
parents: 16450
diff changeset
204 add("customAction", graph -> action.run());
9501
bef43373de39 coalesce allocations during escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents: 9252
diff changeset
205 }
6520
14d158886ce0 add new backtracking partial escape analysis
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
206 }