annotate graal/GraalCompiler/src/com/sun/c1x/gen/PhiSimplifier.java @ 2808:189ffb7d1d84

enable PhiSimplifier, schedule values used in a merge's stateBefore in the dominator
author Lukas Stadler <lukas.stadler@jku.at>
date Mon, 30 May 2011 13:42:23 +0200
parents 6d14aa4fbf90
children 015be60afcf3
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2532
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
1 /*
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
2 * Copyright (c) 2009, 2011, Oracle and/or its affiliates. All rights reserved.
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
4 *
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
7 * published by the Free Software Foundation.
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
8 *
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
13 * accompanied this code).
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
14 *
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
18 *
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
21 * questions.
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
22 */
2738
88123130ede6 Moved phi simplifier.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2731
diff changeset
23 package com.sun.c1x.gen;
2532
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
24
2751
0fe79e7435c3 More scheduling. Removed need for cfg iteration in the phi simplifier.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2738
diff changeset
25 import com.oracle.graal.graph.*;
2731
a2f62de90c76 Removed unused optimization settings. Removed unused imports.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2718
diff changeset
26 import com.sun.c1x.graph.*;
2532
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
27 import com.sun.c1x.ir.*;
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
28
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
29 /**
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
30 * The {@code PhiSimplifier} class is a helper class that can reduce phi instructions.
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
31 */
2758
0c5791bc90fb More on scheduling.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2751
diff changeset
32 public final class PhiSimplifier {
2532
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
33
2776
398b8fa5dc81 Removed stateAfter from BlockEnd class. Clean up.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2772
diff changeset
34 public PhiSimplifier(IR ir) {
2751
0fe79e7435c3 More scheduling. Removed need for cfg iteration in the phi simplifier.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2738
diff changeset
35 for (Node n : ir.compilation.graph.getNodes()) {
0fe79e7435c3 More scheduling. Removed need for cfg iteration in the phi simplifier.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2738
diff changeset
36 if (n instanceof Phi) {
2758
0c5791bc90fb More on scheduling.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2751
diff changeset
37 simplify((Phi) n);
2751
0fe79e7435c3 More scheduling. Removed need for cfg iteration in the phi simplifier.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2738
diff changeset
38 }
2776
398b8fa5dc81 Removed stateAfter from BlockEnd class. Clean up.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2772
diff changeset
39 }
2532
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
40 }
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
41
2758
0c5791bc90fb More on scheduling.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2751
diff changeset
42 private Value simplify(Value x) {
2532
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
43 if (x == null || !(x instanceof Phi)) {
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
44 return x;
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
45 }
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
46 Phi phi = (Phi) x;
2791
6d14aa4fbf90 Gotos removed (except for exception dispatch chains and edge splitting).
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2776
diff changeset
47
2808
189ffb7d1d84 enable PhiSimplifier, schedule values used in a merge's stateBefore in the dominator
Lukas Stadler <lukas.stadler@jku.at>
parents: 2791
diff changeset
48 if (phi.valueCount() == 1 && !phi.checkFlag(Value.Flag.PhiCannotSimplify)) {
2791
6d14aa4fbf90 Gotos removed (except for exception dispatch chains and edge splitting).
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2776
diff changeset
49 return (Value) phi.replace(phi.valueAt(0));
6d14aa4fbf90 Gotos removed (except for exception dispatch chains and edge splitting).
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2776
diff changeset
50 }
6d14aa4fbf90 Gotos removed (except for exception dispatch chains and edge splitting).
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2776
diff changeset
51
2695
785e9ecdcc69 Removed the instruction substitutor.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2582
diff changeset
52 if (phi.checkFlag(Value.Flag.PhiCannotSimplify)) {
2532
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
53 // already tried, cannot simplify this phi
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
54 return phi;
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
55 } else if (phi.checkFlag(Value.Flag.PhiVisited)) {
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
56 // break cycles in phis
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
57 return phi;
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
58 } else if (phi.isIllegal()) {
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
59 // don't bother with illegals
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
60 return phi;
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
61 } else {
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
62 // attempt to simplify the phi by recursively simplifying its operands
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
63 phi.setFlag(Value.Flag.PhiVisited);
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
64 Value phiSubst = null;
2764
99912abb3ff7 Phi clean up. Phis no longer save their local/stack index.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2758
diff changeset
65 int max = phi.valueCount();
2532
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
66 boolean cannotSimplify = false;
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
67 for (int i = 0; i < max; i++) {
2764
99912abb3ff7 Phi clean up. Phis no longer save their local/stack index.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2758
diff changeset
68 Value oldInstr = phi.valueAt(i);
2532
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
69
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
70 if (oldInstr == null || oldInstr.isIllegal() || oldInstr.isDeadPhi()) {
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
71 // if one operand is illegal, make the entire phi illegal
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
72 phi.makeDead();
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
73 phi.clearFlag(Value.Flag.PhiVisited);
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
74 return phi;
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
75 }
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
76
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
77 Value newInstr = simplify(oldInstr);
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
78
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
79 if (newInstr == null || newInstr.isIllegal() || newInstr.isDeadPhi()) {
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
80 // if the subst instruction is illegal, make the entire phi illegal
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
81 phi.makeDead();
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
82 phi.clearFlag(Value.Flag.PhiVisited);
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
83 return phi;
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
84 }
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
85
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
86 // attempt to simplify this operand
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
87 if (!cannotSimplify) {
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
88
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
89 if (newInstr != phi && newInstr != phiSubst) {
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
90 if (phiSubst == null) {
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
91 phiSubst = newInstr;
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
92 continue;
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
93 }
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
94 // this phi cannot be simplified
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
95 cannotSimplify = true;
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
96 }
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
97 }
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
98 }
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
99 if (cannotSimplify) {
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
100 phi.setFlag(Value.Flag.PhiCannotSimplify);
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
101 phi.clearFlag(Value.Flag.PhiVisited);
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
102 return phi;
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
103 }
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
104
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
105 // successfully simplified the phi
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
106 assert phiSubst != null : "illegal phi function";
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
107 phi.clearFlag(Value.Flag.PhiVisited);
2808
189ffb7d1d84 enable PhiSimplifier, schedule values used in a merge's stateBefore in the dominator
Lukas Stadler <lukas.stadler@jku.at>
parents: 2791
diff changeset
108
189ffb7d1d84 enable PhiSimplifier, schedule values used in a merge's stateBefore in the dominator
Lukas Stadler <lukas.stadler@jku.at>
parents: 2791
diff changeset
109 phi.replace(phiSubst);
189ffb7d1d84 enable PhiSimplifier, schedule values used in a merge's stateBefore in the dominator
Lukas Stadler <lukas.stadler@jku.at>
parents: 2791
diff changeset
110 // System.out.printf("replaced phi with %d inputs\n", max);
189ffb7d1d84 enable PhiSimplifier, schedule values used in a merge's stateBefore in the dominator
Lukas Stadler <lukas.stadler@jku.at>
parents: 2791
diff changeset
111
2532
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
112 return phiSubst;
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
113 }
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
114 }
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
115 }