Mercurial > hg > truffle

annotate graal/com.oracle.max.graal.compiler/src/com/oracle/max/graal/compiler/phases/DeadCodeEliminationPhase.java @ 2953:445233cd91df

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added GraalOptions.TestGraphDuplication, fixed graph duplication
author Lukas Stadler <lukas.stadler@jku.at>
date Wed, 15 Jun 2011 11:21:53 +0200
parents 0c0e407faa39
children cbece91420af
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2867
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
1 /*
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
2 * Copyright (c) 2011, Oracle and/or its affiliates. All rights reserved.
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
4 *
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
7 * published by the Free Software Foundation.
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
8 *
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
13 * accompanied this code).
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
14 *
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
18 *
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
21 * questions.
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
22 */
2879
7f584bf507ed Renamed and moved phase subclasses.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2874
diff changeset
23 package com.oracle.max.graal.compiler.phases;
2867
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
24
2951
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
25 import java.util.*;
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
26
2874
d90bf514d647 Renamed packages.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2872
diff changeset
27 import com.oracle.max.graal.compiler.*;
d90bf514d647 Renamed packages.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2872
diff changeset
28 import com.oracle.max.graal.compiler.gen.*;
d90bf514d647 Renamed packages.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2872
diff changeset
29 import com.oracle.max.graal.compiler.ir.*;
d90bf514d647 Renamed packages.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2872
diff changeset
30 import com.oracle.max.graal.graph.*;
2867
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
31
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
32
2879
7f584bf507ed Renamed and moved phase subclasses.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2874
diff changeset
33 public class DeadCodeEliminationPhase extends Phase {
2867
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
34
2910
7eec76f3e39e adjust monitor index while inlining, renamed NodeWorklist to NodeFlood
Lukas Stadler <lukas.stadler@jku.at>
parents: 2879
diff changeset
35 private NodeFlood flood;
2867
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
36 private Graph graph;
2951
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
37 private ArrayList<LoopBegin> brokenLoops;
2867
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
38
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
39 @Override
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
40 protected void run(Graph graph) {
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
41 this.graph = graph;
2910
7eec76f3e39e adjust monitor index while inlining, renamed NodeWorklist to NodeFlood
Lukas Stadler <lukas.stadler@jku.at>
parents: 2879
diff changeset
42 this.flood = graph.createNodeFlood();
2951
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
43 this.brokenLoops = new ArrayList<LoopBegin>();
2867
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
44
2938
c7783b6773ea fixed graph start frame state
Lukas Stadler <lukas.stadler@jku.at>
parents: 2913
diff changeset
45 // remove chained Merges
2951
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
46 for (Merge merge : graph.getNodes(Merge.class)) {
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
47 if (merge.predecessors().size() == 1 && merge.usages().size() == 0) {
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
48 if (merge.successors().get(0) instanceof Merge) {
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
49 Node pred = merge.predecessors().get(0);
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
50 int predIndex = merge.predecessorsIndex().get(0);
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
51 pred.successors().setAndClear(predIndex, merge, 0);
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
52 merge.delete();
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
53 }
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
54 }
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
55 }
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
56 Node startSuccessor = graph.start().successors().get(0);
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
57 if (startSuccessor instanceof Merge) {
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
58 Merge startMerge = (Merge) startSuccessor;
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
59 if (startMerge.predecessors().size() == 1 && startMerge.usages().size() == 0) {
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
60 int predIndex = startMerge.predecessorsIndex().get(0);
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
61 graph.start().successors().setAndClear(predIndex, startMerge, 0);
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
62 startMerge.delete();
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
63 }
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
64 }
2938
c7783b6773ea fixed graph start frame state
Lukas Stadler <lukas.stadler@jku.at>
parents: 2913
diff changeset
65
2910
7eec76f3e39e adjust monitor index while inlining, renamed NodeWorklist to NodeFlood
Lukas Stadler <lukas.stadler@jku.at>
parents: 2879
diff changeset
66 flood.add(graph.start());
2867
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
67
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
68 iterateSuccessors();
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
69 disconnectCFGNodes();
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
70
2951
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
71 deleteBrokenLoops();
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
72
2867
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
73 iterateInputs();
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
74 disconnectNonCFGNodes();
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
75
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
76 deleteCFGNodes();
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
77 deleteNonCFGNodes();
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
78
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
79 new PhiSimplifier(graph);
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
80
2951
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
81
2888
224412c24426 Changed C1X=>Graal and c1x=>graal in Java code.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2886
diff changeset
82 if (GraalOptions.TraceDeadCodeElimination) {
2886
c3b8968233fa Removed counting of deleted nodes for each phase.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2879
diff changeset
83 System.out.printf("dead code elimination finished\n");
2867
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
84 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
85 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
86
2868
6d24c27902a2 turned inlining into a phase, some node cloning fixes, added NodeWorklist
Lukas Stadler <lukas.stadler@jku.at>
parents: 2867
diff changeset
87 private static boolean isCFG(Node n) {
6d24c27902a2 turned inlining into a phase, some node cloning fixes, added NodeWorklist
Lukas Stadler <lukas.stadler@jku.at>
parents: 2867
diff changeset
88 return n != null && ((n instanceof Instruction) || n == n.graph().start());
6d24c27902a2 turned inlining into a phase, some node cloning fixes, added NodeWorklist
Lukas Stadler <lukas.stadler@jku.at>
parents: 2867
diff changeset
89 }
6d24c27902a2 turned inlining into a phase, some node cloning fixes, added NodeWorklist
Lukas Stadler <lukas.stadler@jku.at>
parents: 2867
diff changeset
90
2867
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
91 private void iterateSuccessors() {
2910
7eec76f3e39e adjust monitor index while inlining, renamed NodeWorklist to NodeFlood
Lukas Stadler <lukas.stadler@jku.at>
parents: 2879
diff changeset
92 for (Node current : flood) {
2867
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
93 for (Node successor : current.successors()) {
2910
7eec76f3e39e adjust monitor index while inlining, renamed NodeWorklist to NodeFlood
Lukas Stadler <lukas.stadler@jku.at>
parents: 2879
diff changeset
94 flood.add(successor);
2867
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
95 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
96 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
97 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
98
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
99 private void disconnectCFGNodes() {
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
100 for (Node node : graph.getNodes()) {
2910
7eec76f3e39e adjust monitor index while inlining, renamed NodeWorklist to NodeFlood
Lukas Stadler <lukas.stadler@jku.at>
parents: 2879
diff changeset
101 if (node != Node.Null && !flood.isMarked(node) && isCFG(node)) {
2951
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
102 if (node instanceof LoopEnd) {
2953
445233cd91df added GraalOptions.TestGraphDuplication, fixed graph duplication
Lukas Stadler <lukas.stadler@jku.at>
parents: 2951
diff changeset
103 assert ((LoopEnd) node).loopBegin() != null : "node " + node;
2951
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
104 brokenLoops.add(((LoopEnd) node).loopBegin());
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
105 }
2867
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
106 // iterate backwards so that the predecessor indexes in removePhiPredecessor are correct
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
107 for (int i = node.successors().size() - 1; i >= 0; i--) {
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
108 Node successor = node.successors().get(i);
2910
7eec76f3e39e adjust monitor index while inlining, renamed NodeWorklist to NodeFlood
Lukas Stadler <lukas.stadler@jku.at>
parents: 2879
diff changeset
109 if (successor != Node.Null && flood.isMarked(successor)) {
2867
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
110 if (successor instanceof Merge) {
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
111 ((Merge) successor).removePhiPredecessor(node);
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
112 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
113 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
114 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
115 node.successors().clearAll();
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
116 node.inputs().clearAll();
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
117 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
118 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
119 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
120
2951
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
121 private void deleteBrokenLoops() {
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
122 for (LoopBegin loop : brokenLoops) {
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
123 assert loop.predecessors().size() == 1;
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
124 for (Node usage : new ArrayList<Node>(loop.usages())) {
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
125 assert usage instanceof Phi;
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
126 usage.replace(((Phi) usage).valueAt(0));
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
127 }
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
128
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
129 Node pred = loop.predecessors().get(0);
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
130 int predIndex = loop.predecessorsIndex().get(0);
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
131 pred.successors().setAndClear(predIndex, loop, 0);
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
132 loop.delete();
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
133 }
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
134 }
0c0e407faa39 another fix to debug info (on-stack parameters), DCE removes unnecessary merges and LoopBegins whose LoopEnd went away
Lukas Stadler <lukas.stadler@jku.at>
parents: 2938
diff changeset
135
2867
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
136 private void deleteCFGNodes() {
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
137 for (Node node : graph.getNodes()) {
2910
7eec76f3e39e adjust monitor index while inlining, renamed NodeWorklist to NodeFlood
Lukas Stadler <lukas.stadler@jku.at>
parents: 2879
diff changeset
138 if (node != Node.Null && !flood.isMarked(node) && isCFG(node)) {
2867
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
139 node.delete();
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
140 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
141 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
142 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
143
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
144 private void iterateInputs() {
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
145 for (Node node : graph.getNodes()) {
2938
c7783b6773ea fixed graph start frame state
Lukas Stadler <lukas.stadler@jku.at>
parents: 2913
diff changeset
146 if (node instanceof Local) {
c7783b6773ea fixed graph start frame state
Lukas Stadler <lukas.stadler@jku.at>
parents: 2913
diff changeset
147 flood.add(node);
c7783b6773ea fixed graph start frame state
Lukas Stadler <lukas.stadler@jku.at>
parents: 2913
diff changeset
148 }
2910
7eec76f3e39e adjust monitor index while inlining, renamed NodeWorklist to NodeFlood
Lukas Stadler <lukas.stadler@jku.at>
parents: 2879
diff changeset
149 if (node != Node.Null && flood.isMarked(node)) {
2867
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
150 for (Node input : node.inputs()) {
2913
81dab15b45e5 fixes to Phi.removeInput and DCE
Lukas Stadler <lukas.stadler@jku.at>
parents: 2911
diff changeset
151 if (!isCFG(input)) {
81dab15b45e5 fixes to Phi.removeInput and DCE
Lukas Stadler <lukas.stadler@jku.at>
parents: 2911
diff changeset
152 flood.add(input);
81dab15b45e5 fixes to Phi.removeInput and DCE
Lukas Stadler <lukas.stadler@jku.at>
parents: 2911
diff changeset
153 }
2867
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
154 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
155 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
156 }
2910
7eec76f3e39e adjust monitor index while inlining, renamed NodeWorklist to NodeFlood
Lukas Stadler <lukas.stadler@jku.at>
parents: 2879
diff changeset
157 for (Node current : flood) {
2867
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
158 for (Node input : current.inputs()) {
2913
81dab15b45e5 fixes to Phi.removeInput and DCE
Lukas Stadler <lukas.stadler@jku.at>
parents: 2911
diff changeset
159 if (!isCFG(input)) {
81dab15b45e5 fixes to Phi.removeInput and DCE
Lukas Stadler <lukas.stadler@jku.at>
parents: 2911
diff changeset
160 flood.add(input);
81dab15b45e5 fixes to Phi.removeInput and DCE
Lukas Stadler <lukas.stadler@jku.at>
parents: 2911
diff changeset
161 }
2867
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
162 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
163 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
164 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
165
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
166 private void disconnectNonCFGNodes() {
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
167 for (Node node : graph.getNodes()) {
2910
7eec76f3e39e adjust monitor index while inlining, renamed NodeWorklist to NodeFlood
Lukas Stadler <lukas.stadler@jku.at>
parents: 2879
diff changeset
168 if (node != Node.Null && !flood.isMarked(node) && !isCFG(node)) {
2867
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
169 node.inputs().clearAll();
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
170 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
171 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
172 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
173
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
174 private void deleteNonCFGNodes() {
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
175 for (Node node : graph.getNodes()) {
2910
7eec76f3e39e adjust monitor index while inlining, renamed NodeWorklist to NodeFlood
Lukas Stadler <lukas.stadler@jku.at>
parents: 2879
diff changeset
176 if (node != Node.Null && !flood.isMarked(node) && !isCFG(node)) {
2867
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
177 node.delete();
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
178 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
179 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
180 }
Lukas Stadler <lukas.stadler@jku.at>
parents:
diff changeset
181 }