Changes in directory llvm/lib/CodeGen:
IfConversion.cpp updated: 1.35 -> 1.36
---
Log message:
ifcvt a triangle: don't merge ifcvt block with rejoin block if it can fall
through to it. If merged, the resulting block is not a candidate for iterative
ifcvting since it contains both predicated and non-predicated code.
---
Diffs of the changes: (+29 -17)
IfConversion.cpp | 46 +++++++++++++++++++++++++++++-----------------
1 files changed, 29 insertions(+), 17 deletions(-)
Index: llvm/lib/CodeGen/IfConversion.cpp
diff -u llvm/lib/CodeGen/IfConversion.cpp:1.35
llvm/lib/CodeGen/IfConversion.cpp:1.36
--- llvm/lib/CodeGen/IfConversion.cpp:1.35 Wed Jun 6 21:12:15 2007
+++ llvm/lib/CodeGen/IfConversion.cpp Thu Jun 7 03:13:00 2007
@@ -615,29 +615,41 @@
BBInfo &FalseBBI = BBAnalysis[BBI.FalseBB->getNumber()];
bool FalseBBDead = false;
bool IterIfcvt = true;
- if (!HasEarlyExit && FalseBBI.BB->pred_size() == 2) {
- MergeBlocks(TrueBBI, FalseBBI);
- FalseBBDead = true;
- } else if (!isNextBlock(TrueBBI.BB, FalseBBI.BB)) {
- InsertUncondBranch(TrueBBI.BB, FalseBBI.BB, TII);
- TrueBBI.hasFallThrough = false;
- if (BBI.ModifyPredicate || TrueBBI.ModifyPredicate)
- // Now ifcvt'd block will look like this:
- // BB:
- // ...
- // t, f = cmp
- // if t op
- // b BBf
- //
- // We cannot further ifcvt this block because the unconditional branch
will
- // have to be predicated on the new condition, that will not be available
- // if cmp executes.
+ bool isFallThrough = isNextBlock(TrueBBI.BB, FalseBBI.BB);
+ if (!isFallThrough) {
+ // Only merge them if the true block does not fallthrough to the false
+ // block. By not merging them, we make it possible to iteratively
+ // ifcvt the blocks.
+ if (!HasEarlyExit && FalseBBI.BB->pred_size() == 2) {
+ MergeBlocks(TrueBBI, FalseBBI);
+ FalseBBDead = true;
+ // Mixed predicated and unpredicated code. This cannot be iteratively
+ // predicated.
IterIfcvt = false;
+ } else {
+ InsertUncondBranch(TrueBBI.BB, FalseBBI.BB, TII);
+ TrueBBI.hasFallThrough = false;
+ if (BBI.ModifyPredicate || TrueBBI.ModifyPredicate)
+ // Now ifcvt'd block will look like this:
+ // BB:
+ // ...
+ // t, f = cmp
+ // if t op
+ // b BBf
+ //
+ // We cannot further ifcvt this block because the unconditional branch
will
+ // have to be predicated on the new condition, that will not be
available
+ // if cmp executes.
+ IterIfcvt = false;
+ }
}
// Now merge the entry of the triangle with the true block.
BBI.NonPredSize -= TII->RemoveBranch(*BBI.BB);
MergeBlocks(BBI, TrueBBI);
+ // Remove entry to false edge.
+ if (BBI.BB->isSuccessor(FalseBBI.BB))
+ BBI.BB->removeSuccessor(FalseBBI.BB);
std::copy(BBI.BrCond.begin(), BBI.BrCond.end(),
std::back_inserter(BBI.Predicate));
_______________________________________________
llvm-commits mailing list
llvm-commits@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
