Re enable 133415 with two fixes
* Don't introduce a duplicated bb in the CFG
* When making a branch unconditional, clear the PredCond array so that it
is really unconditional.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@133432 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/CodeGen/TailDuplication.cpp b/lib/CodeGen/TailDuplication.cpp
index 8916070..2d89f71 100644
--- a/lib/CodeGen/TailDuplication.cpp
+++ b/lib/CodeGen/TailDuplication.cpp
@@ -669,8 +669,10 @@
PredTBB = NewTarget;
// Make the branch unconditional if possible
- if (PredTBB == PredFBB)
+ if (PredTBB == PredFBB) {
+ PredCond.clear();
PredFBB = NULL;
+ }
// Avoid adding fall through branches.
if (PredFBB == NextBB)
@@ -684,7 +686,10 @@
TII->InsertBranch(*PredBB, PredTBB, PredFBB, PredCond, DebugLoc());
PredBB->removeSuccessor(TailBB);
- PredBB->addSuccessor(NewTarget);
+ unsigned NumSuccessors = PredBB->succ_size();
+ assert(NumSuccessors <= 1);
+ if (NumSuccessors == 0 || *PredBB->succ_begin() != NewTarget)
+ PredBB->addSuccessor(NewTarget);
TDBBs.push_back(PredBB);
@@ -707,7 +712,7 @@
DenseSet<unsigned> UsedByPhi;
getRegsUsedByPHIs(*TailBB, &UsedByPhi);
- if (0 && isSimpleBB(TailBB)) // Disabled to see if doing so fixes buildbots.
+ if (isSimpleBB(TailBB))
return duplicateSimpleBB(TailBB, TDBBs, UsedByPhi, Copies);
// Iterate through all the unique predecessors and tail-duplicate this