Mercurial > hg > truffle

annotate graal/com.oracle.graal.lir/src/com/oracle/graal/lir/ControlFlowOptimizer.java @ 19228:6340d851894b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Don't make LowLevelPhase generic but only the apply() method.
author Josef Eisl <josef.eisl@jku.at>
date Mon, 09 Feb 2015 18:23:16 +0100
parents 1e3b5204776f
children ae17c7a2f7b1
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6321
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
1 /*
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
2 * Copyright (c) 2009, 2011, Oracle and/or its affiliates. All rights reserved.
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
4 *
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
7 * published by the Free Software Foundation.
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
8 *
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
13 * accompanied this code).
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
14 *
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
18 *
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
21 * questions.
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
22 */
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
23 package com.oracle.graal.lir;
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
24
13268
68b964b6dc8e introduced BlockEndOp interface and require that every LIR block is terminated by such an operation
Doug Simon <doug.simon@oracle.com>
parents: 7530
diff changeset
25 import static com.oracle.graal.lir.LIR.*;
68b964b6dc8e introduced BlockEndOp interface and require that every LIR block is terminated by such an operation
Doug Simon <doug.simon@oracle.com>
parents: 7530
diff changeset
26
6321
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
27 import java.util.*;
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
28
19209
1e3b5204776f LowLevelLowTierPhase: codeEmittingOrder and linearScanOrder to context.
Josef Eisl <josef.eisl@jku.at>
parents: 19207
diff changeset
29 import com.oracle.graal.api.code.*;
1e3b5204776f LowLevelLowTierPhase: codeEmittingOrder and linearScanOrder to context.
Josef Eisl <josef.eisl@jku.at>
parents: 19207
diff changeset
30 import com.oracle.graal.compiler.common.cfg.*;
6321
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
31 import com.oracle.graal.debug.*;
19209
1e3b5204776f LowLevelLowTierPhase: codeEmittingOrder and linearScanOrder to context.
Josef Eisl <josef.eisl@jku.at>
parents: 19207
diff changeset
32 import com.oracle.graal.lir.gen.*;
1e3b5204776f LowLevelLowTierPhase: codeEmittingOrder and linearScanOrder to context.
Josef Eisl <josef.eisl@jku.at>
parents: 19207
diff changeset
33 import com.oracle.graal.lir.phases.*;
6321
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
34
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
35 /**
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
36 * This class performs basic optimizations on the control flow graph after LIR generation.
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
37 */
19228
6340d851894b Don't make LowLevelPhase generic but only the apply() method.
Josef Eisl <josef.eisl@jku.at>
parents: 19209
diff changeset
38 public final class ControlFlowOptimizer extends LowLevelLowTierPhase {
6321
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
39
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
40 /**
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
41 * Performs control flow optimizations on the given LIR graph.
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
42 */
19209
1e3b5204776f LowLevelLowTierPhase: codeEmittingOrder and linearScanOrder to context.
Josef Eisl <josef.eisl@jku.at>
parents: 19207
diff changeset
43 @Override
19228
6340d851894b Don't make LowLevelPhase generic but only the apply() method.
Josef Eisl <josef.eisl@jku.at>
parents: 19209
diff changeset
44 protected <B extends AbstractBlock<B>> void run(TargetDescription target, LIRGenerationResult lirGenRes, List<B> codeEmittingOrder, List<B> linearScanOrder) {
19209
1e3b5204776f LowLevelLowTierPhase: codeEmittingOrder and linearScanOrder to context.
Josef Eisl <josef.eisl@jku.at>
parents: 19207
diff changeset
45 LIR lir = lirGenRes.getLIR();
19207
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
46 new Optimizer<B>(lir).deleteEmptyBlocks(codeEmittingOrder);
6321
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
47 }
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
48
19207
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
49 private static final class Optimizer<B extends AbstractBlock<B>> {
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
50
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
51 private final LIR lir;
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
52
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
53 private Optimizer(LIR lir) {
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
54 this.lir = lir;
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
55 }
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
56
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
57 private static final DebugMetric BLOCKS_DELETED = Debug.metric("BlocksDeleted");
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
58
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
59 /**
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
60 * Checks whether a block can be deleted. Only blocks with exactly one successor and an
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
61 * unconditional branch to this successor are eligable.
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
62 *
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
63 * @param block the block checked for deletion
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
64 * @return whether the block can be deleted
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
65 */
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
66 private boolean canDeleteBlock(B block) {
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
67 if (block.getSuccessorCount() != 1 || block.getPredecessorCount() == 0 || block.getSuccessors().iterator().next() == block) {
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
68 return false;
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
69 }
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
70
14806
a8723f1ff542 LIR renamed setter and getter functions.
Josef Eisl <josef.eisl@jku.at>
parents: 14787
diff changeset
71 List<LIRInstruction> instructions = lir.getLIRforBlock(block);
19207
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
72
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
73 assert instructions.size() >= 2 : "block must have label and branch";
13843
f5f81bc9c9f0 Align successor when deleting aligned empty block.
Roland Schatz <roland.schatz@oracle.com>
parents: 13497
diff changeset
74 assert instructions.get(0) instanceof StandardOp.LabelOp : "first instruction must always be a label";
19207
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
75 assert instructions.get(instructions.size() - 1) instanceof StandardOp.JumpOp : "last instruction must always be a branch";
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
76 assert ((StandardOp.JumpOp) instructions.get(instructions.size() - 1)).destination().label() == ((StandardOp.LabelOp) lir.getLIRforBlock(block.getSuccessors().iterator().next()).get(0)).getLabel() : "branch target must be the successor";
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
77
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
78 // Block must have exactly one successor.
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
79 return instructions.size() == 2 && !instructions.get(instructions.size() - 1).hasState() && !block.isExceptionEntry();
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
80 }
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
81
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
82 private void alignBlock(B block) {
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
83 if (!block.isAligned()) {
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
84 block.setAlign(true);
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
85 List<LIRInstruction> instructions = lir.getLIRforBlock(block);
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
86 assert instructions.get(0) instanceof StandardOp.LabelOp : "first instruction must always be a label";
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
87 StandardOp.LabelOp label = (StandardOp.LabelOp) instructions.get(0);
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
88 instructions.set(0, new StandardOp.LabelOp(label.getLabel(), true));
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
89 }
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
90 }
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
91
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
92 private void deleteEmptyBlocks(List<B> blocks) {
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
93 assert verifyBlocks(lir, blocks);
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
94 Iterator<B> iterator = blocks.iterator();
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
95 while (iterator.hasNext()) {
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
96 B block = iterator.next();
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
97 if (canDeleteBlock(block)) {
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
98 // adjust successor and predecessor lists
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
99 B other = block.getSuccessors().iterator().next();
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
100 for (AbstractBlock<B> pred : block.getPredecessors()) {
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
101 Collections.replaceAll(pred.getSuccessors(), block, other);
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
102 }
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
103 for (int i = 0; i < other.getPredecessorCount(); i++) {
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
104 if (other.getPredecessors().get(i) == block) {
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
105 other.getPredecessors().remove(i);
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
106 other.getPredecessors().addAll(i, block.getPredecessors());
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
107 }
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
108 }
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
109 block.getSuccessors().clear();
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
110 block.getPredecessors().clear();
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
111
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
112 if (block.isAligned()) {
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
113 alignBlock(other);
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
114 }
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
115
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
116 BLOCKS_DELETED.increment();
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
117 iterator.remove();
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
118 }
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
119 }
06a0ca03236f ControlFlowOptimizer: move functionality into inner class.
Josef Eisl <josef.eisl@jku.at>
parents: 15192
diff changeset
120 assert verifyBlocks(lir, blocks);
13843
f5f81bc9c9f0 Align successor when deleting aligned empty block.
Roland Schatz <roland.schatz@oracle.com>
parents: 13497
diff changeset
121 }
f5f81bc9c9f0 Align successor when deleting aligned empty block.
Roland Schatz <roland.schatz@oracle.com>
parents: 13497
diff changeset
122 }
6321
9418ff4c9e7c Clean up ControlFlowOptimizer.
Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
parents:
diff changeset
123 }