Mercurial > hg > graal-compiler

annotate graal/GraalCompiler/src/com/sun/c1x/gen/PhiSimplifier.java @ 2847:caf55daa41dc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fixed/FLoating Node
author Gilles Duboscq <gilles.duboscq@oracle.com>
date Tue, 31 May 2011 15:19:08 +0200
parents 015be60afcf3
children 7f14e6b48a9c
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
2821
015be60afcf3 removed flags from Value class
Lukas Stadler <lukas.stadler@jku.at>
parents: 2808
diff changeset
34 private NodeBitMap visited;
015be60afcf3 removed flags from Value class
Lukas Stadler <lukas.stadler@jku.at>
parents: 2808
diff changeset
35 private NodeBitMap cannotSimplify;
015be60afcf3 removed flags from Value class
Lukas Stadler <lukas.stadler@jku.at>
parents: 2808
diff changeset
36
2776
398b8fa5dc81 Removed stateAfter from BlockEnd class. Clean up.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2772
diff changeset
37 public PhiSimplifier(IR ir) {
2821
015be60afcf3 removed flags from Value class
Lukas Stadler <lukas.stadler@jku.at>
parents: 2808
diff changeset
38 Graph graph = ir.compilation.graph;
015be60afcf3 removed flags from Value class
Lukas Stadler <lukas.stadler@jku.at>
parents: 2808
diff changeset
39 visited = graph.createNodeBitMap();
015be60afcf3 removed flags from Value class
Lukas Stadler <lukas.stadler@jku.at>
parents: 2808
diff changeset
40 cannotSimplify = graph.createNodeBitMap();
015be60afcf3 removed flags from Value class
Lukas Stadler <lukas.stadler@jku.at>
parents: 2808
diff changeset
41
015be60afcf3 removed flags from Value class
Lukas Stadler <lukas.stadler@jku.at>
parents: 2808
diff changeset
42 for (Node n : graph.getNodes()) {
2751
0fe79e7435c3 More scheduling. Removed need for cfg iteration in the phi simplifier.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2738
diff changeset
43 if (n instanceof Phi) {
2758
0c5791bc90fb More on scheduling.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2751
diff changeset
44 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
45 }
2776
398b8fa5dc81 Removed stateAfter from BlockEnd class. Clean up.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2772
diff changeset
46 }
2532
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
47 }
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
48
2758
0c5791bc90fb More on scheduling.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2751
diff changeset
49 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
50 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
51 return x;
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
52 }
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
53 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
54
2821
015be60afcf3 removed flags from Value class
Lukas Stadler <lukas.stadler@jku.at>
parents: 2808
diff changeset
55 if (phi.valueCount() == 1 && !cannotSimplify.isMarked(phi)) {
2791
6d14aa4fbf90 Gotos removed (except for exception dispatch chains and edge splitting).
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2776
diff changeset
56 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
57 }
6d14aa4fbf90 Gotos removed (except for exception dispatch chains and edge splitting).
Thomas Wuerthinger <thomas@wuerthinger.net>
parents: 2776
diff changeset
58
2821
015be60afcf3 removed flags from Value class
Lukas Stadler <lukas.stadler@jku.at>
parents: 2808
diff changeset
59 if (cannotSimplify.isMarked(phi)) {
2532
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
60 // 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
61 return phi;
2821
015be60afcf3 removed flags from Value class
Lukas Stadler <lukas.stadler@jku.at>
parents: 2808
diff changeset
62 } else if (visited.isMarked(phi)) {
2532
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
63 // break cycles in phis
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
64 return phi;
2821
015be60afcf3 removed flags from Value class
Lukas Stadler <lukas.stadler@jku.at>
parents: 2808
diff changeset
65 } else if (phi.isDead()) {
2532
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
66 // 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
67 return phi;
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
68 } else {
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
69 // attempt to simplify the phi by recursively simplifying its operands
2821
015be60afcf3 removed flags from Value class
Lukas Stadler <lukas.stadler@jku.at>
parents: 2808
diff changeset
70 visited.mark(phi);
2532
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
71 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
72 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
73 boolean cannotSimplify = false;
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
74 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
75 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
76
2821
015be60afcf3 removed flags from Value class
Lukas Stadler <lukas.stadler@jku.at>
parents: 2808
diff changeset
77 if (oldInstr == null || (oldInstr instanceof Phi && ((Phi) oldInstr).isDead())) {
2532
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
78 // 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
79 phi.makeDead();
2821
015be60afcf3 removed flags from Value class
Lukas Stadler <lukas.stadler@jku.at>
parents: 2808
diff changeset
80 visited.clear(phi);
2532
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
81 return phi;
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
82 }
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
83
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
84 Value newInstr = simplify(oldInstr);
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
85
2821
015be60afcf3 removed flags from Value class
Lukas Stadler <lukas.stadler@jku.at>
parents: 2808
diff changeset
86 if (newInstr == null || (newInstr instanceof Phi && ((Phi) newInstr).isDead())) {
2532
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
87 // 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
88 phi.makeDead();
2821
015be60afcf3 removed flags from Value class
Lukas Stadler <lukas.stadler@jku.at>
parents: 2808
diff changeset
89 visited.clear(phi);
2532
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
90 return phi;
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
91 }
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
92
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
93 // 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
94 if (!cannotSimplify) {
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
95
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
96 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
97 if (phiSubst == null) {
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
98 phiSubst = newInstr;
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
99 continue;
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
100 }
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
101 // 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
102 cannotSimplify = true;
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 }
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
106 if (cannotSimplify) {
2821
015be60afcf3 removed flags from Value class
Lukas Stadler <lukas.stadler@jku.at>
parents: 2808
diff changeset
107 this.cannotSimplify.mark(phi);
015be60afcf3 removed flags from Value class
Lukas Stadler <lukas.stadler@jku.at>
parents: 2808
diff changeset
108 visited.clear(phi);
2532
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
109 return phi;
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
110 }
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
111
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
112 // successfully simplified the phi
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
113 assert phiSubst != null : "illegal phi function";
2821
015be60afcf3 removed flags from Value class
Lukas Stadler <lukas.stadler@jku.at>
parents: 2808
diff changeset
114 visited.clear(phi);
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
115
189ffb7d1d84 enable PhiSimplifier, schedule values used in a merge's stateBefore in the dominator
Lukas Stadler <lukas.stadler@jku.at>
parents: 2791
diff changeset
116 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
117
2532
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
118 return phiSubst;
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
119 }
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
120 }
3fca504f28ba Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
121 }