[CodeGen] Do the Simple Early Return in block-placement pass to optimize the blocks

Summary:

Fix a bug of not update the jump table and recommit it again.

In `block-placement` pass, it will create some patterns for unconditional we can do the simple early retrun.
But the `early-ret` pass is before `block-placement`, we don't want to run it again.
This patch is to do the simple early return to optimize the blocks at the last of `block-placement`.

Reviewed By: efriedma

Differential Revision: https://reviews.llvm.org/D63972

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@371177 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/CodeGen/MachineBlockPlacement.cpp b/lib/CodeGen/MachineBlockPlacement.cpp
index f2a64faab2ec4ba6f1eb009156fdc7fb1af73a7b..c9441bd80c13cb0983a9a96bac128bc68e9abab7 100644 (file)
--- a/lib/CodeGen/MachineBlockPlacement.cpp
+++ b/lib/CodeGen/MachineBlockPlacement.cpp
@@ -38,6 +38,7 @@
 #include "llvm/CodeGen/MachineBranchProbabilityInfo.h"
 #include "llvm/CodeGen/MachineFunction.h"
 #include "llvm/CodeGen/MachineFunctionPass.h"
+#include "llvm/CodeGen/MachineJumpTableInfo.h"
 #include "llvm/CodeGen/MachineLoopInfo.h"
 #include "llvm/CodeGen/MachineModuleInfo.h"
 #include "llvm/CodeGen/MachinePostDominators.h"
@@ -2712,6 +2713,7 @@ void MachineBlockPlacement::optimizeBranches() {
   // cannot because all branches may not be analyzable.
   // E.g., the target may be able to remove an unconditional branch to
   // a fallthrough when it occurs after predicated terminators.
+  SmallVector<MachineBasicBlock*, 4> EmptyBB;
   for (MachineBasicBlock *ChainBB : FunctionChain) {
     Cond.clear();
     MachineBasicBlock *TBB = nullptr, *FBB = nullptr; // For AnalyzeBranch.
@@ -2731,9 +2733,50 @@ void MachineBlockPlacement::optimizeBranches() {
         TII->removeBranch(*ChainBB);
         TII->insertBranch(*ChainBB, FBB, TBB, Cond, dl);
         ChainBB->updateTerminator();
+      } else if (Cond.empty() && TBB && ChainBB != TBB && !TBB->empty() &&
+                 !TBB->canFallThrough()) {
+        // When ChainBB is unconditional branch to the TBB, and TBB has no
+        // fallthrough predecessor and fallthrough successor, try to merge
+        // ChainBB and TBB. This is legal under the one of following conditions:
+        // 1. ChainBB is empty except for an unconditional branch.
+        // 2. TBB has only one predecessor.
+        MachineFunction::iterator I(TBB);
+        if (((TBB == &*F->begin()) || !std::prev(I)->canFallThrough()) &&
+             (TailDup.isSimpleBB(ChainBB) || (TBB->pred_size() == 1))) {
+          TII->removeBranch(*ChainBB);
+          ChainBB->removeSuccessor(TBB);
+
+          // Update the CFG.
+          while (!TBB->pred_empty()) {
+            MachineBasicBlock *Pred = *(TBB->pred_end() - 1);
+            Pred->ReplaceUsesOfBlockWith(TBB, ChainBB);
+          }
+
+          while (!TBB->succ_empty()) {
+            MachineBasicBlock *Succ = *(TBB->succ_end() - 1);
+            ChainBB->addSuccessor(Succ, MBPI->getEdgeProbability(TBB, Succ));
+            TBB->removeSuccessor(Succ);
+          }
+
+          // Move all the instructions of TBB to ChainBB.
+          ChainBB->splice(ChainBB->end(), TBB, TBB->begin(), TBB->end());
+          EmptyBB.push_back(TBB);
+
+          // If TBB was the target of a jump table, update jump tables to go to
+          // the ChainBB instead.
+          if (MachineJumpTableInfo *MJTI = F->getJumpTableInfo())
+            MJTI->ReplaceMBBInJumpTables(TBB, ChainBB);
+        }
       }
     }
   }
+
+  for (auto BB: EmptyBB) {
+    MLI->removeBlock(BB);
+    FunctionChain.remove(BB);
+    BlockToChain.erase(BB);
+    F->erase(BB);
+  }
 }
 
 void MachineBlockPlacement::alignBlocks() {
@@ -3053,6 +3096,9 @@ bool MachineBlockPlacement::runOnMachineFunction(MachineFunction &MF) {
     }
   }
 
+  // optimizeBranches() may change the blocks, but we haven't updated the
+  // post-dominator tree. Because the post-dominator tree won't be used after
+  // this function and this pass don't preserve the post-dominator tree.
   optimizeBranches();
   alignBlocks();
 

diff --git a/test/CodeGen/PowerPC/block-placement.mir b/test/CodeGen/PowerPC/block-placement.mir
index 6e6f19c40539f0f4548caa353e10f25e674e3c34..0566d4d4ca703661fb26307d236aa558fdf586d4 100644 (file)
--- a/test/CodeGen/PowerPC/block-placement.mir
+++ b/test/CodeGen/PowerPC/block-placement.mir
@@ -209,14 +209,10 @@ body:             |
     BLR8 implicit $lr8, implicit $rm, implicit killed $x3
 
   ; CHECK:      bb.5.if.else.i:
-  ; CHECK:        successors: %bb.11(0x80000000)
-  ; CHECK:        B %bb.11
+  ; CHECK-NEXT:   renamable $x3 = LI8 1
+  ; CHECK-NEXT:   BLR8 implicit $lr8, implicit $rm, implicit killed $x3
 
   ; CHECK:      bb.8.while.body.i (align 16):
-  ; CHECK:        successors: %bb.11(0x04000000), %bb.9(0x7c000000)
-  ; CHECK:        BCC 76, killed renamable $cr0, %bb.11
-
-  ; CHECK:      bb.11:
-  ; CHECK:        renamable $x3 = LI8 1
-  ; CHECK-NEXT:   BLR8 implicit $lr8, implicit $rm, implicit killed $x3
+  ; CHECK:        successors: %bb.5(0x04000000), %bb.9(0x7c000000)
+  ; CHECK:        BCC 76, killed renamable $cr0, %bb.5
 ...