blob: 23f41c8dd4bd3112b19a0b75664c3b5f942c5d4d [file] [log] [blame]
Bob Wilson2d4ff122009-11-26 00:32:21 +00001//===-- TailDuplication.cpp - Duplicate blocks into predecessors' tails ---===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This pass duplicates basic blocks ending in unconditional branches into
11// the tails of their predecessors.
12//
13//===----------------------------------------------------------------------===//
14
Bob Wilson2d4ff122009-11-26 00:32:21 +000015#include "llvm/CodeGen/Passes.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000016#include "llvm/ADT/DenseSet.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000017#include "llvm/ADT/SetVector.h"
18#include "llvm/ADT/SmallSet.h"
19#include "llvm/ADT/Statistic.h"
Akira Hatanakaa07ffb52014-02-12 18:09:18 +000020#include "llvm/CodeGen/MachineBranchProbabilityInfo.h"
Bob Wilson2d4ff122009-11-26 00:32:21 +000021#include "llvm/CodeGen/MachineFunctionPass.h"
Jakob Stoklund Olesen0c76d6e2010-07-10 22:42:59 +000022#include "llvm/CodeGen/MachineInstrBuilder.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000023#include "llvm/CodeGen/MachineModuleInfo.h"
Evan Cheng1bbe6be2009-12-03 08:43:53 +000024#include "llvm/CodeGen/MachineRegisterInfo.h"
25#include "llvm/CodeGen/MachineSSAUpdater.h"
Evan Chengbc2453d2012-05-30 00:42:39 +000026#include "llvm/CodeGen/RegisterScavenging.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000027#include "llvm/IR/Function.h"
Bob Wilson2d4ff122009-11-26 00:32:21 +000028#include "llvm/Support/CommandLine.h"
29#include "llvm/Support/Debug.h"
Evan Chengcc770622009-12-07 10:15:19 +000030#include "llvm/Support/ErrorHandling.h"
Bob Wilson2d4ff122009-11-26 00:32:21 +000031#include "llvm/Support/raw_ostream.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000032#include "llvm/Target/TargetInstrInfo.h"
33#include "llvm/Target/TargetRegisterInfo.h"
Eric Christopherd9134482014-08-04 21:25:23 +000034#include "llvm/Target/TargetSubtargetInfo.h"
Bob Wilson2d4ff122009-11-26 00:32:21 +000035using namespace llvm;
36
Chandler Carruth1b9dde02014-04-22 02:02:50 +000037#define DEBUG_TYPE "tailduplication"
38
Evan Chengcc770622009-12-07 10:15:19 +000039STATISTIC(NumTails , "Number of tails duplicated");
Bob Wilson2d4ff122009-11-26 00:32:21 +000040STATISTIC(NumTailDups , "Number of tail duplicated blocks");
41STATISTIC(NumInstrDups , "Additional instructions due to tail duplication");
42STATISTIC(NumDeadBlocks, "Number of dead blocks removed");
Rafael Espindoladfbf6de2011-06-08 14:13:31 +000043STATISTIC(NumAddedPHIs , "Number of phis added");
Bob Wilson2d4ff122009-11-26 00:32:21 +000044
45// Heuristic for tail duplication.
46static cl::opt<unsigned>
47TailDuplicateSize("tail-dup-size",
48 cl::desc("Maximum instructions to consider tail duplicating"),
49 cl::init(2), cl::Hidden);
50
Evan Chengcc770622009-12-07 10:15:19 +000051static cl::opt<bool>
52TailDupVerify("tail-dup-verify",
53 cl::desc("Verify sanity of PHI instructions during taildup"),
54 cl::init(false), cl::Hidden);
55
56static cl::opt<unsigned>
57TailDupLimit("tail-dup-limit", cl::init(~0U), cl::Hidden);
58
Evan Cheng9e672552009-12-04 19:09:10 +000059typedef std::vector<std::pair<MachineBasicBlock*,unsigned> > AvailableValsTy;
Evan Cheng1bbe6be2009-12-03 08:43:53 +000060
Bob Wilson2d4ff122009-11-26 00:32:21 +000061namespace {
Bob Wilson9594db52009-11-26 21:38:41 +000062 /// TailDuplicatePass - Perform tail duplication.
63 class TailDuplicatePass : public MachineFunctionPass {
Bob Wilson2d4ff122009-11-26 00:32:21 +000064 const TargetInstrInfo *TII;
Evan Chengbc2453d2012-05-30 00:42:39 +000065 const TargetRegisterInfo *TRI;
Akira Hatanakaa07ffb52014-02-12 18:09:18 +000066 const MachineBranchProbabilityInfo *MBPI;
Bob Wilson2d4ff122009-11-26 00:32:21 +000067 MachineModuleInfo *MMI;
Evan Cheng1bbe6be2009-12-03 08:43:53 +000068 MachineRegisterInfo *MRI;
Ahmed Charles56440fd2014-03-06 05:51:42 +000069 std::unique_ptr<RegScavenger> RS;
Andrew Trickc0449172012-02-08 21:22:30 +000070 bool PreRegAlloc;
Evan Cheng1bbe6be2009-12-03 08:43:53 +000071
72 // SSAUpdateVRs - A list of virtual registers for which to update SSA form.
73 SmallVector<unsigned, 16> SSAUpdateVRs;
74
75 // SSAUpdateVals - For each virtual register in SSAUpdateVals keep a list of
76 // source virtual registers.
77 DenseMap<unsigned, AvailableValsTy> SSAUpdateVals;
Bob Wilson2d4ff122009-11-26 00:32:21 +000078
79 public:
80 static char ID;
Andrew Trickc0449172012-02-08 21:22:30 +000081 explicit TailDuplicatePass() :
82 MachineFunctionPass(ID), PreRegAlloc(false) {}
Bob Wilson2d4ff122009-11-26 00:32:21 +000083
Craig Topper4584cd52014-03-07 09:26:03 +000084 bool runOnMachineFunction(MachineFunction &MF) override;
Bob Wilson2d4ff122009-11-26 00:32:21 +000085
Craig Topper4584cd52014-03-07 09:26:03 +000086 void getAnalysisUsage(AnalysisUsage &AU) const override;
Akira Hatanakaa07ffb52014-02-12 18:09:18 +000087
Bob Wilson2d4ff122009-11-26 00:32:21 +000088 private:
Evan Cheng9e672552009-12-04 19:09:10 +000089 void AddSSAUpdateEntry(unsigned OrigReg, unsigned NewReg,
90 MachineBasicBlock *BB);
Evan Cheng6154dbd2009-12-04 09:42:45 +000091 void ProcessPHI(MachineInstr *MI, MachineBasicBlock *TailBB,
92 MachineBasicBlock *PredBB,
Evan Chengcc770622009-12-07 10:15:19 +000093 DenseMap<unsigned, unsigned> &LocalVRMap,
Craig Topperb94011f2013-07-14 04:42:23 +000094 SmallVectorImpl<std::pair<unsigned,unsigned> > &Copies,
Rafael Espindolac735f132011-06-09 23:22:56 +000095 const DenseSet<unsigned> &UsedByPhi,
96 bool Remove);
Evan Cheng6154dbd2009-12-04 09:42:45 +000097 void DuplicateInstruction(MachineInstr *MI,
98 MachineBasicBlock *TailBB,
99 MachineBasicBlock *PredBB,
100 MachineFunction &MF,
Rafael Espindola81512fc2011-06-09 22:53:47 +0000101 DenseMap<unsigned, unsigned> &LocalVRMap,
102 const DenseSet<unsigned> &UsedByPhi);
Evan Chengcc770622009-12-07 10:15:19 +0000103 void UpdateSuccessorsPHIs(MachineBasicBlock *FromBB, bool isDead,
Craig Topperb94011f2013-07-14 04:42:23 +0000104 SmallVectorImpl<MachineBasicBlock *> &TDBBs,
Evan Chengcc770622009-12-07 10:15:19 +0000105 SmallSetVector<MachineBasicBlock*, 8> &Succs);
Bob Wilson2d4ff122009-11-26 00:32:21 +0000106 bool TailDuplicateBlocks(MachineFunction &MF);
Rafael Espindola73f93932011-06-09 19:54:42 +0000107 bool shouldTailDuplicate(const MachineFunction &MF,
Rafael Espindolae25a8712011-06-23 03:41:29 +0000108 bool IsSimple, MachineBasicBlock &TailBB);
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000109 bool isSimpleBB(MachineBasicBlock *TailBB);
Rafael Espindola5135ae22011-06-24 15:50:56 +0000110 bool canCompletelyDuplicateBB(MachineBasicBlock &BB);
Rafael Espindolacb0213b2011-06-24 15:47:41 +0000111 bool duplicateSimpleBB(MachineBasicBlock *TailBB,
Craig Topperb94011f2013-07-14 04:42:23 +0000112 SmallVectorImpl<MachineBasicBlock *> &TDBBs,
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000113 const DenseSet<unsigned> &RegsUsedByPhi,
Craig Topperb94011f2013-07-14 04:42:23 +0000114 SmallVectorImpl<MachineInstr *> &Copies);
Rafael Espindolaf9f012e2011-07-04 01:21:42 +0000115 bool TailDuplicate(MachineBasicBlock *TailBB,
116 bool IsSimple,
117 MachineFunction &MF,
Craig Topperb94011f2013-07-14 04:42:23 +0000118 SmallVectorImpl<MachineBasicBlock *> &TDBBs,
119 SmallVectorImpl<MachineInstr *> &Copies);
Rafael Espindolaf9f012e2011-07-04 01:21:42 +0000120 bool TailDuplicateAndUpdate(MachineBasicBlock *MBB,
121 bool IsSimple,
122 MachineFunction &MF);
123
Bob Wilson2d4ff122009-11-26 00:32:21 +0000124 void RemoveDeadBlock(MachineBasicBlock *MBB);
125 };
126
Bob Wilson9594db52009-11-26 21:38:41 +0000127 char TailDuplicatePass::ID = 0;
Bob Wilson2d4ff122009-11-26 00:32:21 +0000128}
129
Andrew Trick1fa5bcb2012-02-08 21:23:13 +0000130char &llvm::TailDuplicateID = TailDuplicatePass::ID;
131
132INITIALIZE_PASS(TailDuplicatePass, "tailduplication", "Tail Duplication",
133 false, false)
Bob Wilson2d4ff122009-11-26 00:32:21 +0000134
Bob Wilson9594db52009-11-26 21:38:41 +0000135bool TailDuplicatePass::runOnMachineFunction(MachineFunction &MF) {
Paul Robinson7c99ec52014-03-31 17:43:35 +0000136 if (skipOptnoneFunction(*MF.getFunction()))
137 return false;
138
Eric Christopherfc6de422014-08-05 02:39:49 +0000139 TII = MF.getSubtarget().getInstrInfo();
140 TRI = MF.getSubtarget().getRegisterInfo();
Evan Cheng1bbe6be2009-12-03 08:43:53 +0000141 MRI = &MF.getRegInfo();
Bob Wilson2d4ff122009-11-26 00:32:21 +0000142 MMI = getAnalysisIfAvailable<MachineModuleInfo>();
Akira Hatanakaa07ffb52014-02-12 18:09:18 +0000143 MBPI = &getAnalysis<MachineBranchProbabilityInfo>();
144
Andrew Trickc0449172012-02-08 21:22:30 +0000145 PreRegAlloc = MRI->isSSA();
Benjamin Kramer3de5d402012-06-06 13:53:41 +0000146 RS.reset();
Evan Chengbc2453d2012-05-30 00:42:39 +0000147 if (MRI->tracksLiveness() && TRI->trackLivenessAfterRegAlloc(MF))
Benjamin Kramer3de5d402012-06-06 13:53:41 +0000148 RS.reset(new RegScavenger());
Bob Wilson2d4ff122009-11-26 00:32:21 +0000149
150 bool MadeChange = false;
Jakob Stoklund Olesen73ef9552010-01-15 19:59:57 +0000151 while (TailDuplicateBlocks(MF))
152 MadeChange = true;
Bob Wilson2d4ff122009-11-26 00:32:21 +0000153
154 return MadeChange;
155}
156
Akira Hatanakaa07ffb52014-02-12 18:09:18 +0000157void TailDuplicatePass::getAnalysisUsage(AnalysisUsage &AU) const {
158 AU.addRequired<MachineBranchProbabilityInfo>();
159 MachineFunctionPass::getAnalysisUsage(AU);
160}
161
Evan Chengcc770622009-12-07 10:15:19 +0000162static void VerifyPHIs(MachineFunction &MF, bool CheckExtra) {
163 for (MachineFunction::iterator I = ++MF.begin(), E = MF.end(); I != E; ++I) {
164 MachineBasicBlock *MBB = I;
165 SmallSetVector<MachineBasicBlock*, 8> Preds(MBB->pred_begin(),
166 MBB->pred_end());
167 MachineBasicBlock::iterator MI = MBB->begin();
168 while (MI != MBB->end()) {
Chris Lattnerb06015a2010-02-09 19:54:29 +0000169 if (!MI->isPHI())
Evan Chengcc770622009-12-07 10:15:19 +0000170 break;
171 for (SmallSetVector<MachineBasicBlock *, 8>::iterator PI = Preds.begin(),
172 PE = Preds.end(); PI != PE; ++PI) {
173 MachineBasicBlock *PredBB = *PI;
174 bool Found = false;
175 for (unsigned i = 1, e = MI->getNumOperands(); i != e; i += 2) {
176 MachineBasicBlock *PHIBB = MI->getOperand(i+1).getMBB();
177 if (PHIBB == PredBB) {
178 Found = true;
179 break;
180 }
181 }
182 if (!Found) {
David Greene85afc852010-01-05 01:25:15 +0000183 dbgs() << "Malformed PHI in BB#" << MBB->getNumber() << ": " << *MI;
184 dbgs() << " missing input from predecessor BB#"
Evan Chengcc770622009-12-07 10:15:19 +0000185 << PredBB->getNumber() << '\n';
Craig Topperc0196b12014-04-14 00:51:57 +0000186 llvm_unreachable(nullptr);
Evan Chengcc770622009-12-07 10:15:19 +0000187 }
188 }
189
190 for (unsigned i = 1, e = MI->getNumOperands(); i != e; i += 2) {
191 MachineBasicBlock *PHIBB = MI->getOperand(i+1).getMBB();
192 if (CheckExtra && !Preds.count(PHIBB)) {
David Greene85afc852010-01-05 01:25:15 +0000193 dbgs() << "Warning: malformed PHI in BB#" << MBB->getNumber()
Evan Chengcc770622009-12-07 10:15:19 +0000194 << ": " << *MI;
David Greene85afc852010-01-05 01:25:15 +0000195 dbgs() << " extra input from predecessor BB#"
Evan Chengcc770622009-12-07 10:15:19 +0000196 << PHIBB->getNumber() << '\n';
Craig Topperc0196b12014-04-14 00:51:57 +0000197 llvm_unreachable(nullptr);
Evan Chengcc770622009-12-07 10:15:19 +0000198 }
199 if (PHIBB->getNumber() < 0) {
David Greene85afc852010-01-05 01:25:15 +0000200 dbgs() << "Malformed PHI in BB#" << MBB->getNumber() << ": " << *MI;
201 dbgs() << " non-existing BB#" << PHIBB->getNumber() << '\n';
Craig Topperc0196b12014-04-14 00:51:57 +0000202 llvm_unreachable(nullptr);
Evan Chengcc770622009-12-07 10:15:19 +0000203 }
204 }
205 ++MI;
206 }
207 }
208}
209
Rafael Espindolaf9f012e2011-07-04 01:21:42 +0000210/// TailDuplicateAndUpdate - Tail duplicate the block and cleanup.
211bool
212TailDuplicatePass::TailDuplicateAndUpdate(MachineBasicBlock *MBB,
213 bool IsSimple,
214 MachineFunction &MF) {
215 // Save the successors list.
216 SmallSetVector<MachineBasicBlock*, 8> Succs(MBB->succ_begin(),
217 MBB->succ_end());
218
219 SmallVector<MachineBasicBlock*, 8> TDBBs;
220 SmallVector<MachineInstr*, 16> Copies;
221 if (!TailDuplicate(MBB, IsSimple, MF, TDBBs, Copies))
222 return false;
223
224 ++NumTails;
225
226 SmallVector<MachineInstr*, 8> NewPHIs;
227 MachineSSAUpdater SSAUpdate(MF, &NewPHIs);
228
229 // TailBB's immediate successors are now successors of those predecessors
230 // which duplicated TailBB. Add the predecessors as sources to the PHI
231 // instructions.
232 bool isDead = MBB->pred_empty() && !MBB->hasAddressTaken();
233 if (PreRegAlloc)
234 UpdateSuccessorsPHIs(MBB, isDead, TDBBs, Succs);
235
236 // If it is dead, remove it.
237 if (isDead) {
238 NumInstrDups -= MBB->size();
239 RemoveDeadBlock(MBB);
240 ++NumDeadBlocks;
241 }
242
243 // Update SSA form.
244 if (!SSAUpdateVRs.empty()) {
245 for (unsigned i = 0, e = SSAUpdateVRs.size(); i != e; ++i) {
246 unsigned VReg = SSAUpdateVRs[i];
247 SSAUpdate.Initialize(VReg);
248
249 // If the original definition is still around, add it as an available
250 // value.
251 MachineInstr *DefMI = MRI->getVRegDef(VReg);
Craig Topperc0196b12014-04-14 00:51:57 +0000252 MachineBasicBlock *DefBB = nullptr;
Rafael Espindolaf9f012e2011-07-04 01:21:42 +0000253 if (DefMI) {
254 DefBB = DefMI->getParent();
255 SSAUpdate.AddAvailableValue(DefBB, VReg);
256 }
257
258 // Add the new vregs as available values.
259 DenseMap<unsigned, AvailableValsTy>::iterator LI =
260 SSAUpdateVals.find(VReg);
261 for (unsigned j = 0, ee = LI->second.size(); j != ee; ++j) {
262 MachineBasicBlock *SrcBB = LI->second[j].first;
263 unsigned SrcReg = LI->second[j].second;
264 SSAUpdate.AddAvailableValue(SrcBB, SrcReg);
265 }
266
267 // Rewrite uses that are outside of the original def's block.
268 MachineRegisterInfo::use_iterator UI = MRI->use_begin(VReg);
269 while (UI != MRI->use_end()) {
Owen Anderson16c6bf42014-03-13 23:12:04 +0000270 MachineOperand &UseMO = *UI;
271 MachineInstr *UseMI = UseMO.getParent();
Rafael Espindolaf9f012e2011-07-04 01:21:42 +0000272 ++UI;
273 if (UseMI->isDebugValue()) {
274 // SSAUpdate can replace the use with an undef. That creates
275 // a debug instruction that is a kill.
276 // FIXME: Should it SSAUpdate job to delete debug instructions
277 // instead of replacing the use with undef?
278 UseMI->eraseFromParent();
279 continue;
280 }
281 if (UseMI->getParent() == DefBB && !UseMI->isPHI())
282 continue;
283 SSAUpdate.RewriteUse(UseMO);
284 }
285 }
286
287 SSAUpdateVRs.clear();
288 SSAUpdateVals.clear();
289 }
290
291 // Eliminate some of the copies inserted by tail duplication to maintain
292 // SSA form.
293 for (unsigned i = 0, e = Copies.size(); i != e; ++i) {
294 MachineInstr *Copy = Copies[i];
295 if (!Copy->isCopy())
296 continue;
297 unsigned Dst = Copy->getOperand(0).getReg();
298 unsigned Src = Copy->getOperand(1).getReg();
Jakob Stoklund Olesen00f07de2012-05-20 18:42:51 +0000299 if (MRI->hasOneNonDBGUse(Src) &&
300 MRI->constrainRegClass(Src, MRI->getRegClass(Dst))) {
Rafael Espindolaf9f012e2011-07-04 01:21:42 +0000301 // Copy is the only use. Do trivial copy propagation here.
302 MRI->replaceRegWith(Dst, Src);
303 Copy->eraseFromParent();
304 }
305 }
306
307 if (NewPHIs.size())
308 NumAddedPHIs += NewPHIs.size();
309
310 return true;
311}
312
Bob Wilson2d4ff122009-11-26 00:32:21 +0000313/// TailDuplicateBlocks - Look for small blocks that are unconditionally
314/// branched to and do not fall through. Tail-duplicate their instructions
315/// into their predecessors to eliminate (dynamic) branches.
Bob Wilson9594db52009-11-26 21:38:41 +0000316bool TailDuplicatePass::TailDuplicateBlocks(MachineFunction &MF) {
Bob Wilson2d4ff122009-11-26 00:32:21 +0000317 bool MadeChange = false;
318
Evan Chengcc770622009-12-07 10:15:19 +0000319 if (PreRegAlloc && TailDupVerify) {
David Greene85afc852010-01-05 01:25:15 +0000320 DEBUG(dbgs() << "\n*** Before tail-duplicating\n");
Evan Chengcc770622009-12-07 10:15:19 +0000321 VerifyPHIs(MF, true);
322 }
323
Bob Wilson2d4ff122009-11-26 00:32:21 +0000324 for (MachineFunction::iterator I = ++MF.begin(), E = MF.end(); I != E; ) {
325 MachineBasicBlock *MBB = I++;
326
Evan Chengcc770622009-12-07 10:15:19 +0000327 if (NumTails == TailDupLimit)
328 break;
329
Rafael Espindolaf9f012e2011-07-04 01:21:42 +0000330 bool IsSimple = isSimpleBB(MBB);
Bob Wilson2d4ff122009-11-26 00:32:21 +0000331
Rafael Espindolaf9f012e2011-07-04 01:21:42 +0000332 if (!shouldTailDuplicate(MF, IsSimple, *MBB))
Rafael Espindola79dc4e72011-07-04 00:13:36 +0000333 continue;
Evan Chengcc770622009-12-07 10:15:19 +0000334
Rafael Espindolaf9f012e2011-07-04 01:21:42 +0000335 MadeChange |= TailDuplicateAndUpdate(MBB, IsSimple, MF);
Bob Wilson2d4ff122009-11-26 00:32:21 +0000336 }
Rafael Espindola79dc4e72011-07-04 00:13:36 +0000337
Rafael Espindolaf9f012e2011-07-04 01:21:42 +0000338 if (PreRegAlloc && TailDupVerify)
339 VerifyPHIs(MF, false);
Evan Cheng1bbe6be2009-12-03 08:43:53 +0000340
Bob Wilson2d4ff122009-11-26 00:32:21 +0000341 return MadeChange;
342}
343
Evan Cheng1bbe6be2009-12-03 08:43:53 +0000344static bool isDefLiveOut(unsigned Reg, MachineBasicBlock *BB,
345 const MachineRegisterInfo *MRI) {
Owen Andersonb36376e2014-03-17 19:36:09 +0000346 for (MachineInstr &UseMI : MRI->use_instructions(Reg)) {
347 if (UseMI.isDebugValue())
Rafael Espindolae0304d12011-06-17 13:59:43 +0000348 continue;
Owen Andersonb36376e2014-03-17 19:36:09 +0000349 if (UseMI.getParent() != BB)
Evan Cheng1bbe6be2009-12-03 08:43:53 +0000350 return true;
351 }
352 return false;
353}
354
355static unsigned getPHISrcRegOpIdx(MachineInstr *MI, MachineBasicBlock *SrcBB) {
356 for (unsigned i = 1, e = MI->getNumOperands(); i != e; i += 2)
357 if (MI->getOperand(i+1).getMBB() == SrcBB)
358 return i;
359 return 0;
360}
361
Rafael Espindola81512fc2011-06-09 22:53:47 +0000362
363// Remember which registers are used by phis in this block. This is
364// used to determine which registers are liveout while modifying the
365// block (which is why we need to copy the information).
366static void getRegsUsedByPHIs(const MachineBasicBlock &BB,
Rafael Espindola0f62e4c2011-06-10 21:01:53 +0000367 DenseSet<unsigned> *UsedByPhi) {
Alexey Samsonovf74bde62014-04-30 22:17:38 +0000368 for (const auto &MI : BB) {
Rafael Espindola81512fc2011-06-09 22:53:47 +0000369 if (!MI.isPHI())
370 break;
371 for (unsigned i = 1, e = MI.getNumOperands(); i != e; i += 2) {
372 unsigned SrcReg = MI.getOperand(i).getReg();
373 UsedByPhi->insert(SrcReg);
374 }
375 }
376}
377
Evan Cheng1bbe6be2009-12-03 08:43:53 +0000378/// AddSSAUpdateEntry - Add a definition and source virtual registers pair for
379/// SSA update.
Evan Cheng9e672552009-12-04 19:09:10 +0000380void TailDuplicatePass::AddSSAUpdateEntry(unsigned OrigReg, unsigned NewReg,
381 MachineBasicBlock *BB) {
382 DenseMap<unsigned, AvailableValsTy>::iterator LI= SSAUpdateVals.find(OrigReg);
Evan Cheng1bbe6be2009-12-03 08:43:53 +0000383 if (LI != SSAUpdateVals.end())
Evan Cheng9e672552009-12-04 19:09:10 +0000384 LI->second.push_back(std::make_pair(BB, NewReg));
Evan Cheng1bbe6be2009-12-03 08:43:53 +0000385 else {
386 AvailableValsTy Vals;
Evan Cheng9e672552009-12-04 19:09:10 +0000387 Vals.push_back(std::make_pair(BB, NewReg));
Evan Cheng1bbe6be2009-12-03 08:43:53 +0000388 SSAUpdateVals.insert(std::make_pair(OrigReg, Vals));
389 SSAUpdateVRs.push_back(OrigReg);
390 }
391}
392
Evan Chengcc770622009-12-07 10:15:19 +0000393/// ProcessPHI - Process PHI node in TailBB by turning it into a copy in PredBB.
394/// Remember the source register that's contributed by PredBB and update SSA
395/// update map.
Tobias Grosser84f34be2013-07-14 06:12:01 +0000396void TailDuplicatePass::ProcessPHI(
397 MachineInstr *MI, MachineBasicBlock *TailBB, MachineBasicBlock *PredBB,
398 DenseMap<unsigned, unsigned> &LocalVRMap,
399 SmallVectorImpl<std::pair<unsigned, unsigned> > &Copies,
400 const DenseSet<unsigned> &RegsUsedByPhi, bool Remove) {
Evan Cheng6154dbd2009-12-04 09:42:45 +0000401 unsigned DefReg = MI->getOperand(0).getReg();
402 unsigned SrcOpIdx = getPHISrcRegOpIdx(MI, PredBB);
403 assert(SrcOpIdx && "Unable to find matching PHI source?");
404 unsigned SrcReg = MI->getOperand(SrcOpIdx).getReg();
Evan Chengcc770622009-12-07 10:15:19 +0000405 const TargetRegisterClass *RC = MRI->getRegClass(DefReg);
Evan Cheng6154dbd2009-12-04 09:42:45 +0000406 LocalVRMap.insert(std::make_pair(DefReg, SrcReg));
Evan Chengcc770622009-12-07 10:15:19 +0000407
408 // Insert a copy from source to the end of the block. The def register is the
409 // available value liveout of the block.
410 unsigned NewDef = MRI->createVirtualRegister(RC);
411 Copies.push_back(std::make_pair(NewDef, SrcReg));
Rafael Espindola81512fc2011-06-09 22:53:47 +0000412 if (isDefLiveOut(DefReg, TailBB, MRI) || RegsUsedByPhi.count(DefReg))
Evan Chengcc770622009-12-07 10:15:19 +0000413 AddSSAUpdateEntry(DefReg, NewDef, PredBB);
Evan Cheng6154dbd2009-12-04 09:42:45 +0000414
Rafael Espindolac735f132011-06-09 23:22:56 +0000415 if (!Remove)
416 return;
417
Evan Cheng6154dbd2009-12-04 09:42:45 +0000418 // Remove PredBB from the PHI node.
419 MI->RemoveOperand(SrcOpIdx+1);
420 MI->RemoveOperand(SrcOpIdx);
421 if (MI->getNumOperands() == 1)
422 MI->eraseFromParent();
423}
424
425/// DuplicateInstruction - Duplicate a TailBB instruction to PredBB and update
426/// the source operands due to earlier PHI translation.
427void TailDuplicatePass::DuplicateInstruction(MachineInstr *MI,
428 MachineBasicBlock *TailBB,
429 MachineBasicBlock *PredBB,
430 MachineFunction &MF,
Rafael Espindola81512fc2011-06-09 22:53:47 +0000431 DenseMap<unsigned, unsigned> &LocalVRMap,
432 const DenseSet<unsigned> &UsedByPhi) {
Jakob Stoklund Olesen29a64c92010-01-06 23:47:07 +0000433 MachineInstr *NewMI = TII->duplicate(MI, MF);
Evan Cheng6154dbd2009-12-04 09:42:45 +0000434 for (unsigned i = 0, e = NewMI->getNumOperands(); i != e; ++i) {
435 MachineOperand &MO = NewMI->getOperand(i);
436 if (!MO.isReg())
437 continue;
438 unsigned Reg = MO.getReg();
Jakob Stoklund Olesen2fb5b312011-01-10 02:58:51 +0000439 if (!TargetRegisterInfo::isVirtualRegister(Reg))
Evan Cheng6154dbd2009-12-04 09:42:45 +0000440 continue;
441 if (MO.isDef()) {
442 const TargetRegisterClass *RC = MRI->getRegClass(Reg);
443 unsigned NewReg = MRI->createVirtualRegister(RC);
444 MO.setReg(NewReg);
445 LocalVRMap.insert(std::make_pair(Reg, NewReg));
Rafael Espindola81512fc2011-06-09 22:53:47 +0000446 if (isDefLiveOut(Reg, TailBB, MRI) || UsedByPhi.count(Reg))
Evan Cheng9e672552009-12-04 19:09:10 +0000447 AddSSAUpdateEntry(Reg, NewReg, PredBB);
Evan Cheng6154dbd2009-12-04 09:42:45 +0000448 } else {
449 DenseMap<unsigned, unsigned>::iterator VI = LocalVRMap.find(Reg);
Jakob Stoklund Olesen00f07de2012-05-20 18:42:51 +0000450 if (VI != LocalVRMap.end()) {
Evan Cheng6154dbd2009-12-04 09:42:45 +0000451 MO.setReg(VI->second);
Pete Cooperba593ad2015-05-07 21:48:26 +0000452 // Clear any kill flags from this operand. The new register could have
453 // uses after this one, so kills are not valid here.
454 MO.setIsKill(false);
Jakob Stoklund Olesen00f07de2012-05-20 18:42:51 +0000455 MRI->constrainRegClass(VI->second, MRI->getRegClass(Reg));
456 }
Evan Cheng6154dbd2009-12-04 09:42:45 +0000457 }
458 }
Evan Chengd0c02962012-02-20 07:51:58 +0000459 PredBB->insert(PredBB->instr_end(), NewMI);
Evan Cheng6154dbd2009-12-04 09:42:45 +0000460}
461
462/// UpdateSuccessorsPHIs - After FromBB is tail duplicated into its predecessor
463/// blocks, the successors have gained new predecessors. Update the PHI
464/// instructions in them accordingly.
Evan Chengcc770622009-12-07 10:15:19 +0000465void
466TailDuplicatePass::UpdateSuccessorsPHIs(MachineBasicBlock *FromBB, bool isDead,
Craig Topperb94011f2013-07-14 04:42:23 +0000467 SmallVectorImpl<MachineBasicBlock *> &TDBBs,
Evan Cheng6154dbd2009-12-04 09:42:45 +0000468 SmallSetVector<MachineBasicBlock*,8> &Succs) {
469 for (SmallSetVector<MachineBasicBlock*, 8>::iterator SI = Succs.begin(),
470 SE = Succs.end(); SI != SE; ++SI) {
471 MachineBasicBlock *SuccBB = *SI;
472 for (MachineBasicBlock::iterator II = SuccBB->begin(), EE = SuccBB->end();
473 II != EE; ++II) {
Chris Lattnerb06015a2010-02-09 19:54:29 +0000474 if (!II->isPHI())
Evan Cheng6154dbd2009-12-04 09:42:45 +0000475 break;
Jakob Stoklund Olesenf623e982012-12-20 18:08:06 +0000476 MachineInstrBuilder MIB(*FromBB->getParent(), II);
Evan Chengcc770622009-12-07 10:15:19 +0000477 unsigned Idx = 0;
Evan Cheng6154dbd2009-12-04 09:42:45 +0000478 for (unsigned i = 1, e = II->getNumOperands(); i != e; i += 2) {
Evan Chengcc770622009-12-07 10:15:19 +0000479 MachineOperand &MO = II->getOperand(i+1);
480 if (MO.getMBB() == FromBB) {
481 Idx = i;
Evan Cheng6154dbd2009-12-04 09:42:45 +0000482 break;
Evan Chengcc770622009-12-07 10:15:19 +0000483 }
484 }
485
486 assert(Idx != 0);
487 MachineOperand &MO0 = II->getOperand(Idx);
488 unsigned Reg = MO0.getReg();
489 if (isDead) {
490 // Folded into the previous BB.
491 // There could be duplicate phi source entries. FIXME: Should sdisel
492 // or earlier pass fixed this?
493 for (unsigned i = II->getNumOperands()-2; i != Idx; i -= 2) {
494 MachineOperand &MO = II->getOperand(i+1);
495 if (MO.getMBB() == FromBB) {
496 II->RemoveOperand(i+1);
497 II->RemoveOperand(i);
498 }
499 }
Jakob Stoklund Olesen75521ca2010-02-11 00:34:33 +0000500 } else
501 Idx = 0;
502
503 // If Idx is set, the operands at Idx and Idx+1 must be removed.
504 // We reuse the location to avoid expensive RemoveOperand calls.
505
Evan Chengcc770622009-12-07 10:15:19 +0000506 DenseMap<unsigned,AvailableValsTy>::iterator LI=SSAUpdateVals.find(Reg);
507 if (LI != SSAUpdateVals.end()) {
508 // This register is defined in the tail block.
Evan Cheng6154dbd2009-12-04 09:42:45 +0000509 for (unsigned j = 0, ee = LI->second.size(); j != ee; ++j) {
Evan Cheng9e672552009-12-04 19:09:10 +0000510 MachineBasicBlock *SrcBB = LI->second[j].first;
Rafael Espindola9e97a892011-06-09 23:55:56 +0000511 // If we didn't duplicate a bb into a particular predecessor, we
512 // might still have added an entry to SSAUpdateVals to correcly
513 // recompute SSA. If that case, avoid adding a dummy extra argument
514 // this PHI.
515 if (!SrcBB->isSuccessor(SuccBB))
516 continue;
517
Evan Cheng9e672552009-12-04 19:09:10 +0000518 unsigned SrcReg = LI->second[j].second;
Jakob Stoklund Olesen75521ca2010-02-11 00:34:33 +0000519 if (Idx != 0) {
520 II->getOperand(Idx).setReg(SrcReg);
521 II->getOperand(Idx+1).setMBB(SrcBB);
522 Idx = 0;
523 } else {
Jakob Stoklund Olesenf623e982012-12-20 18:08:06 +0000524 MIB.addReg(SrcReg).addMBB(SrcBB);
Jakob Stoklund Olesen75521ca2010-02-11 00:34:33 +0000525 }
Evan Cheng6154dbd2009-12-04 09:42:45 +0000526 }
Evan Chengcc770622009-12-07 10:15:19 +0000527 } else {
528 // Live in tail block, must also be live in predecessors.
529 for (unsigned j = 0, ee = TDBBs.size(); j != ee; ++j) {
530 MachineBasicBlock *SrcBB = TDBBs[j];
Jakob Stoklund Olesen75521ca2010-02-11 00:34:33 +0000531 if (Idx != 0) {
532 II->getOperand(Idx).setReg(Reg);
533 II->getOperand(Idx+1).setMBB(SrcBB);
534 Idx = 0;
535 } else {
Jakob Stoklund Olesenf623e982012-12-20 18:08:06 +0000536 MIB.addReg(Reg).addMBB(SrcBB);
Jakob Stoklund Olesen75521ca2010-02-11 00:34:33 +0000537 }
Evan Chengcc770622009-12-07 10:15:19 +0000538 }
Evan Cheng6154dbd2009-12-04 09:42:45 +0000539 }
Jakob Stoklund Olesen75521ca2010-02-11 00:34:33 +0000540 if (Idx != 0) {
541 II->RemoveOperand(Idx+1);
542 II->RemoveOperand(Idx);
543 }
Evan Cheng6154dbd2009-12-04 09:42:45 +0000544 }
545 }
546}
547
Rafael Espindola73f93932011-06-09 19:54:42 +0000548/// shouldTailDuplicate - Determine if it is profitable to duplicate this block.
Evan Chengcc770622009-12-07 10:15:19 +0000549bool
Rafael Espindola73f93932011-06-09 19:54:42 +0000550TailDuplicatePass::shouldTailDuplicate(const MachineFunction &MF,
Rafael Espindolae25a8712011-06-23 03:41:29 +0000551 bool IsSimple,
Rafael Espindola73f93932011-06-09 19:54:42 +0000552 MachineBasicBlock &TailBB) {
553 // Only duplicate blocks that end with unconditional branches.
554 if (TailBB.canFallThrough())
555 return false;
556
Rafael Espindola79a4b7e2011-06-17 05:54:50 +0000557 // Don't try to tail-duplicate single-block loops.
558 if (TailBB.isSuccessor(&TailBB))
559 return false;
560
Rafael Espindola73f93932011-06-09 19:54:42 +0000561 // Set the limit on the cost to duplicate. When optimizing for size,
Bob Wilson2d4ff122009-11-26 00:32:21 +0000562 // duplicate only one, because one branch instruction can be eliminated to
563 // compensate for the duplication.
564 unsigned MaxDuplicateCount;
Jakob Stoklund Olesen9af7afc2011-01-30 20:38:12 +0000565 if (TailDuplicateSize.getNumOccurrences() == 0 &&
Duncan P. N. Exon Smith70eb9c52015-02-14 01:44:41 +0000566 MF.getFunction()->hasFnAttribute(Attribute::OptimizeForSize))
Bob Wilson598f8ff2009-11-30 18:56:45 +0000567 MaxDuplicateCount = 1;
Bob Wilson2d4ff122009-11-26 00:32:21 +0000568 else
569 MaxDuplicateCount = TailDuplicateSize;
570
Rafael Espindola79a4b7e2011-06-17 05:54:50 +0000571 // If the target has hardware branch prediction that can handle indirect
572 // branches, duplicating them can often make them predictable when there
573 // are common paths through the code. The limit needs to be high enough
574 // to allow undoing the effects of tail merging and other optimizations
575 // that rearrange the predecessors of the indirect branch.
Bob Wilson97598f02010-01-16 00:42:25 +0000576
Rafael Espindolaf9f012e2011-07-04 01:21:42 +0000577 bool HasIndirectbr = false;
578 if (!TailBB.empty())
Evan Cheng7f8e5632011-12-07 07:15:52 +0000579 HasIndirectbr = TailBB.back().isIndirectBranch();
Rafael Espindolaf9f012e2011-07-04 01:21:42 +0000580
581 if (HasIndirectbr && PreRegAlloc)
582 MaxDuplicateCount = 20;
Bob Wilson1a234c02010-01-15 06:29:17 +0000583
Bob Wilson2d4ff122009-11-26 00:32:21 +0000584 // Check the instructions in the block to determine whether tail-duplication
585 // is invalid or unlikely to be profitable.
Bob Wilsonfffbc0c2009-12-02 17:15:24 +0000586 unsigned InstrCount = 0;
Evan Cheng2a81dd42011-12-06 22:12:01 +0000587 for (MachineBasicBlock::iterator I = TailBB.begin(); I != TailBB.end(); ++I) {
Bob Wilson2d4ff122009-11-26 00:32:21 +0000588 // Non-duplicable things shouldn't be tail-duplicated.
Evan Cheng7f8e5632011-12-07 07:15:52 +0000589 if (I->isNotDuplicable())
Rafael Espindola79a4b7e2011-06-17 05:54:50 +0000590 return false;
591
Evan Cheng6154dbd2009-12-04 09:42:45 +0000592 // Do not duplicate 'return' instructions if this is a pre-regalloc run.
593 // A return may expand into a lot more instructions (e.g. reload of callee
594 // saved registers) after PEI.
Evan Cheng7f8e5632011-12-07 07:15:52 +0000595 if (PreRegAlloc && I->isReturn())
Rafael Espindola79a4b7e2011-06-17 05:54:50 +0000596 return false;
597
598 // Avoid duplicating calls before register allocation. Calls presents a
599 // barrier to register allocation so duplicating them may end up increasing
600 // spills.
Evan Cheng7f8e5632011-12-07 07:15:52 +0000601 if (PreRegAlloc && I->isCall())
Rafael Espindola79a4b7e2011-06-17 05:54:50 +0000602 return false;
603
Devang Patela0bb7152010-03-16 21:02:07 +0000604 if (!I->isPHI() && !I->isDebugValue())
Bob Wilsonfffbc0c2009-12-02 17:15:24 +0000605 InstrCount += 1;
Rafael Espindola79a4b7e2011-06-17 05:54:50 +0000606
607 if (InstrCount > MaxDuplicateCount)
608 return false;
Bob Wilson2d4ff122009-11-26 00:32:21 +0000609 }
Bob Wilson2d4ff122009-11-26 00:32:21 +0000610
Rafael Espindolaf9f012e2011-07-04 01:21:42 +0000611 if (HasIndirectbr && PreRegAlloc)
Rafael Espindolae25a8712011-06-23 03:41:29 +0000612 return true;
613
614 if (IsSimple)
Rafael Espindolacb0213b2011-06-24 15:47:41 +0000615 return true;
Rafael Espindolae25a8712011-06-23 03:41:29 +0000616
617 if (!PreRegAlloc)
618 return true;
619
Rafael Espindola5135ae22011-06-24 15:50:56 +0000620 return canCompletelyDuplicateBB(TailBB);
Rafael Espindola73f93932011-06-09 19:54:42 +0000621}
622
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000623/// isSimpleBB - True if this BB has only one unconditional jump.
624bool
625TailDuplicatePass::isSimpleBB(MachineBasicBlock *TailBB) {
626 if (TailBB->succ_size() != 1)
627 return false;
Rafael Espindolae25a8712011-06-23 03:41:29 +0000628 if (TailBB->pred_empty())
629 return false;
Rafael Espindola2496c1f2011-06-22 22:31:57 +0000630 MachineBasicBlock::iterator I = TailBB->begin();
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000631 MachineBasicBlock::iterator E = TailBB->end();
Rafael Espindola2496c1f2011-06-22 22:31:57 +0000632 while (I != E && I->isDebugValue())
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000633 ++I;
634 if (I == E)
635 return true;
Evan Cheng7f8e5632011-12-07 07:15:52 +0000636 return I->isUnconditionalBranch();
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000637}
638
639static bool
640bothUsedInPHI(const MachineBasicBlock &A,
641 SmallPtrSet<MachineBasicBlock*, 8> SuccsB) {
642 for (MachineBasicBlock::const_succ_iterator SI = A.succ_begin(),
643 SE = A.succ_end(); SI != SE; ++SI) {
644 MachineBasicBlock *BB = *SI;
645 if (SuccsB.count(BB) && !BB->empty() && BB->begin()->isPHI())
646 return true;
647 }
648
649 return false;
650}
651
652bool
Rafael Espindola5135ae22011-06-24 15:50:56 +0000653TailDuplicatePass::canCompletelyDuplicateBB(MachineBasicBlock &BB) {
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000654 for (MachineBasicBlock::pred_iterator PI = BB.pred_begin(),
655 PE = BB.pred_end(); PI != PE; ++PI) {
656 MachineBasicBlock *PredBB = *PI;
Rafael Espindolae25a8712011-06-23 03:41:29 +0000657
Rafael Espindola5135ae22011-06-24 15:50:56 +0000658 if (PredBB->succ_size() > 1)
659 return false;
Rafael Espindolae25a8712011-06-23 03:41:29 +0000660
Craig Topperc0196b12014-04-14 00:51:57 +0000661 MachineBasicBlock *PredTBB = nullptr, *PredFBB = nullptr;
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000662 SmallVector<MachineOperand, 4> PredCond;
663 if (TII->AnalyzeBranch(*PredBB, PredTBB, PredFBB, PredCond, true))
664 return false;
Rafael Espindolae25a8712011-06-23 03:41:29 +0000665
Rafael Espindola5135ae22011-06-24 15:50:56 +0000666 if (!PredCond.empty())
Rafael Espindolae25a8712011-06-23 03:41:29 +0000667 return false;
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000668 }
669 return true;
670}
671
Rafael Espindolacb0213b2011-06-24 15:47:41 +0000672bool
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000673TailDuplicatePass::duplicateSimpleBB(MachineBasicBlock *TailBB,
Craig Topperb94011f2013-07-14 04:42:23 +0000674 SmallVectorImpl<MachineBasicBlock *> &TDBBs,
675 const DenseSet<unsigned> &UsedByPhi,
676 SmallVectorImpl<MachineInstr *> &Copies) {
Rafael Espindolacb0213b2011-06-24 15:47:41 +0000677 SmallPtrSet<MachineBasicBlock*, 8> Succs(TailBB->succ_begin(),
678 TailBB->succ_end());
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000679 SmallVector<MachineBasicBlock*, 8> Preds(TailBB->pred_begin(),
680 TailBB->pred_end());
Rafael Espindolacb0213b2011-06-24 15:47:41 +0000681 bool Changed = false;
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000682 for (SmallSetVector<MachineBasicBlock *, 8>::iterator PI = Preds.begin(),
683 PE = Preds.end(); PI != PE; ++PI) {
684 MachineBasicBlock *PredBB = *PI;
685
Rafael Espindolacb0213b2011-06-24 15:47:41 +0000686 if (PredBB->getLandingPadSuccessor())
687 continue;
688
689 if (bothUsedInPHI(*PredBB, Succs))
690 continue;
691
Craig Topperc0196b12014-04-14 00:51:57 +0000692 MachineBasicBlock *PredTBB = nullptr, *PredFBB = nullptr;
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000693 SmallVector<MachineOperand, 4> PredCond;
Rafael Espindolacb0213b2011-06-24 15:47:41 +0000694 if (TII->AnalyzeBranch(*PredBB, PredTBB, PredFBB, PredCond, true))
695 continue;
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000696
Rafael Espindolacb0213b2011-06-24 15:47:41 +0000697 Changed = true;
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000698 DEBUG(dbgs() << "\nTail-duplicating into PredBB: " << *PredBB
699 << "From simple Succ: " << *TailBB);
700
701 MachineBasicBlock *NewTarget = *TailBB->succ_begin();
Benjamin Kramerb6d0bd42014-03-02 12:27:27 +0000702 MachineBasicBlock *NextBB = std::next(MachineFunction::iterator(PredBB));
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000703
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000704 // Make PredFBB explicit.
705 if (PredCond.empty())
706 PredFBB = PredTBB;
707
708 // Make fall through explicit.
709 if (!PredTBB)
710 PredTBB = NextBB;
711 if (!PredFBB)
712 PredFBB = NextBB;
713
714 // Redirect
715 if (PredFBB == TailBB)
716 PredFBB = NewTarget;
717 if (PredTBB == TailBB)
718 PredTBB = NewTarget;
719
720 // Make the branch unconditional if possible
Rafael Espindola336e1022011-06-20 14:11:42 +0000721 if (PredTBB == PredFBB) {
722 PredCond.clear();
Craig Topperc0196b12014-04-14 00:51:57 +0000723 PredFBB = nullptr;
Rafael Espindola336e1022011-06-20 14:11:42 +0000724 }
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000725
726 // Avoid adding fall through branches.
727 if (PredFBB == NextBB)
Craig Topperc0196b12014-04-14 00:51:57 +0000728 PredFBB = nullptr;
729 if (PredTBB == NextBB && PredFBB == nullptr)
730 PredTBB = nullptr;
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000731
732 TII->RemoveBranch(*PredBB);
733
734 if (PredTBB)
735 TII->InsertBranch(*PredBB, PredTBB, PredFBB, PredCond, DebugLoc());
736
Akira Hatanakaa07ffb52014-02-12 18:09:18 +0000737 uint32_t Weight = MBPI->getEdgeWeight(PredBB, TailBB);
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000738 PredBB->removeSuccessor(TailBB);
Rafael Espindola336e1022011-06-20 14:11:42 +0000739 unsigned NumSuccessors = PredBB->succ_size();
740 assert(NumSuccessors <= 1);
741 if (NumSuccessors == 0 || *PredBB->succ_begin() != NewTarget)
Akira Hatanakaa07ffb52014-02-12 18:09:18 +0000742 PredBB->addSuccessor(NewTarget, Weight);
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000743
744 TDBBs.push_back(PredBB);
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000745 }
Rafael Espindolacb0213b2011-06-24 15:47:41 +0000746 return Changed;
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000747}
748
Rafael Espindola73f93932011-06-09 19:54:42 +0000749/// TailDuplicate - If it is profitable, duplicate TailBB's contents in each
750/// of its predecessors.
751bool
Rafael Espindolaf9f012e2011-07-04 01:21:42 +0000752TailDuplicatePass::TailDuplicate(MachineBasicBlock *TailBB,
753 bool IsSimple,
754 MachineFunction &MF,
Craig Topperb94011f2013-07-14 04:42:23 +0000755 SmallVectorImpl<MachineBasicBlock *> &TDBBs,
756 SmallVectorImpl<MachineInstr *> &Copies) {
David Greene85afc852010-01-05 01:25:15 +0000757 DEBUG(dbgs() << "\n*** Tail-duplicating BB#" << TailBB->getNumber() << '\n');
Evan Chengcc770622009-12-07 10:15:19 +0000758
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000759 DenseSet<unsigned> UsedByPhi;
760 getRegsUsedByPHIs(*TailBB, &UsedByPhi);
761
Rafael Espindolacb0213b2011-06-24 15:47:41 +0000762 if (IsSimple)
763 return duplicateSimpleBB(TailBB, TDBBs, UsedByPhi, Copies);
Rafael Espindolaef636bf2011-06-20 04:16:35 +0000764
Bob Wilson2d4ff122009-11-26 00:32:21 +0000765 // Iterate through all the unique predecessors and tail-duplicate this
766 // block into them, if possible. Copying the list ahead of time also
767 // avoids trouble with the predecessor list reallocating.
768 bool Changed = false;
Evan Cheng6154dbd2009-12-04 09:42:45 +0000769 SmallSetVector<MachineBasicBlock*, 8> Preds(TailBB->pred_begin(),
770 TailBB->pred_end());
Bob Wilson2d4ff122009-11-26 00:32:21 +0000771 for (SmallSetVector<MachineBasicBlock *, 8>::iterator PI = Preds.begin(),
772 PE = Preds.end(); PI != PE; ++PI) {
773 MachineBasicBlock *PredBB = *PI;
774
775 assert(TailBB != PredBB &&
776 "Single-block loop should have been rejected earlier!");
Rafael Espindola1ffadd72011-06-10 20:08:23 +0000777 // EH edges are ignored by AnalyzeBranch.
778 if (PredBB->succ_size() > 1)
779 continue;
Bob Wilson2d4ff122009-11-26 00:32:21 +0000780
781 MachineBasicBlock *PredTBB, *PredFBB;
782 SmallVector<MachineOperand, 4> PredCond;
783 if (TII->AnalyzeBranch(*PredBB, PredTBB, PredFBB, PredCond, true))
784 continue;
785 if (!PredCond.empty())
786 continue;
Bob Wilson2d4ff122009-11-26 00:32:21 +0000787 // Don't duplicate into a fall-through predecessor (at least for now).
788 if (PredBB->isLayoutSuccessor(TailBB) && PredBB->canFallThrough())
789 continue;
790
David Greene85afc852010-01-05 01:25:15 +0000791 DEBUG(dbgs() << "\nTail-duplicating into PredBB: " << *PredBB
Bob Wilson2d4ff122009-11-26 00:32:21 +0000792 << "From Succ: " << *TailBB);
793
Evan Chengcc770622009-12-07 10:15:19 +0000794 TDBBs.push_back(PredBB);
795
Bob Wilson2d4ff122009-11-26 00:32:21 +0000796 // Remove PredBB's unconditional branch.
797 TII->RemoveBranch(*PredBB);
Evan Cheng1bbe6be2009-12-03 08:43:53 +0000798
Evan Chengbc2453d2012-05-30 00:42:39 +0000799 if (RS && !TailBB->livein_empty()) {
800 // Update PredBB livein.
801 RS->enterBasicBlock(PredBB);
802 if (!PredBB->empty())
Benjamin Kramerb6d0bd42014-03-02 12:27:27 +0000803 RS->forward(std::prev(PredBB->end()));
Evan Chengbc2453d2012-05-30 00:42:39 +0000804 for (MachineBasicBlock::livein_iterator I = TailBB->livein_begin(),
805 E = TailBB->livein_end(); I != E; ++I) {
Pedro Artigasec7cbd72014-08-04 23:07:49 +0000806 if (!RS->isRegUsed(*I, false))
Evan Chengbc2453d2012-05-30 00:42:39 +0000807 // If a register is previously livein to the tail but it's not live
808 // at the end of predecessor BB, then it should be added to its
809 // livein list.
810 PredBB->addLiveIn(*I);
811 }
812 }
813
Bob Wilson2d4ff122009-11-26 00:32:21 +0000814 // Clone the contents of TailBB into PredBB.
Evan Cheng1bbe6be2009-12-03 08:43:53 +0000815 DenseMap<unsigned, unsigned> LocalVRMap;
Evan Cheng45430bb2009-12-15 01:44:10 +0000816 SmallVector<std::pair<unsigned,unsigned>, 4> CopyInfos;
Evan Chengd0c02962012-02-20 07:51:58 +0000817 // Use instr_iterator here to properly handle bundles, e.g.
818 // ARM Thumb2 IT block.
819 MachineBasicBlock::instr_iterator I = TailBB->instr_begin();
820 while (I != TailBB->instr_end()) {
Evan Cheng6154dbd2009-12-04 09:42:45 +0000821 MachineInstr *MI = &*I;
822 ++I;
Chris Lattnerb06015a2010-02-09 19:54:29 +0000823 if (MI->isPHI()) {
Evan Cheng1bbe6be2009-12-03 08:43:53 +0000824 // Replace the uses of the def of the PHI with the register coming
825 // from PredBB.
Rafael Espindolac735f132011-06-09 23:22:56 +0000826 ProcessPHI(MI, TailBB, PredBB, LocalVRMap, CopyInfos, UsedByPhi, true);
Evan Cheng6154dbd2009-12-04 09:42:45 +0000827 } else {
828 // Replace def of virtual registers with new registers, and update
829 // uses with PHI source register or the new registers.
Rafael Espindola81512fc2011-06-09 22:53:47 +0000830 DuplicateInstruction(MI, TailBB, PredBB, MF, LocalVRMap, UsedByPhi);
Evan Cheng1bbe6be2009-12-03 08:43:53 +0000831 }
Bob Wilson2d4ff122009-11-26 00:32:21 +0000832 }
Evan Chengcc770622009-12-07 10:15:19 +0000833 MachineBasicBlock::iterator Loc = PredBB->getFirstTerminator();
Evan Cheng45430bb2009-12-15 01:44:10 +0000834 for (unsigned i = 0, e = CopyInfos.size(); i != e; ++i) {
Jakob Stoklund Olesen0c76d6e2010-07-10 22:42:59 +0000835 Copies.push_back(BuildMI(*PredBB, Loc, DebugLoc(),
836 TII->get(TargetOpcode::COPY),
837 CopyInfos[i].first).addReg(CopyInfos[i].second));
Evan Chengcc770622009-12-07 10:15:19 +0000838 }
Rafael Espindola79a4b7e2011-06-17 05:54:50 +0000839
840 // Simplify
841 TII->AnalyzeBranch(*PredBB, PredTBB, PredFBB, PredCond, true);
842
Bob Wilson2d4ff122009-11-26 00:32:21 +0000843 NumInstrDups += TailBB->size() - 1; // subtract one for removed branch
844
845 // Update the CFG.
846 PredBB->removeSuccessor(PredBB->succ_begin());
847 assert(PredBB->succ_empty() &&
848 "TailDuplicate called on block with multiple successors!");
849 for (MachineBasicBlock::succ_iterator I = TailBB->succ_begin(),
Evan Cheng6154dbd2009-12-04 09:42:45 +0000850 E = TailBB->succ_end(); I != E; ++I)
Akira Hatanakaa07ffb52014-02-12 18:09:18 +0000851 PredBB->addSuccessor(*I, MBPI->getEdgeWeight(TailBB, I));
Bob Wilson2d4ff122009-11-26 00:32:21 +0000852
853 Changed = true;
854 ++NumTailDups;
855 }
856
857 // If TailBB was duplicated into all its predecessors except for the prior
858 // block, which falls through unconditionally, move the contents of this
859 // block into the prior block.
Benjamin Kramerb6d0bd42014-03-02 12:27:27 +0000860 MachineBasicBlock *PrevBB = std::prev(MachineFunction::iterator(TailBB));
Craig Topperc0196b12014-04-14 00:51:57 +0000861 MachineBasicBlock *PriorTBB = nullptr, *PriorFBB = nullptr;
Bob Wilson2d4ff122009-11-26 00:32:21 +0000862 SmallVector<MachineOperand, 4> PriorCond;
Bob Wilson2d4ff122009-11-26 00:32:21 +0000863 // This has to check PrevBB->succ_size() because EH edges are ignored by
864 // AnalyzeBranch.
Andrew Trickc0449172012-02-08 21:22:30 +0000865 if (PrevBB->succ_size() == 1 &&
Rafael Espindolac90a32a2011-06-09 21:43:25 +0000866 !TII->AnalyzeBranch(*PrevBB, PriorTBB, PriorFBB, PriorCond, true) &&
867 PriorCond.empty() && !PriorTBB && TailBB->pred_size() == 1 &&
Bob Wilson2d4ff122009-11-26 00:32:21 +0000868 !TailBB->hasAddressTaken()) {
David Greene85afc852010-01-05 01:25:15 +0000869 DEBUG(dbgs() << "\nMerging into block: " << *PrevBB
Bob Wilson2d4ff122009-11-26 00:32:21 +0000870 << "From MBB: " << *TailBB);
Evan Cheng6154dbd2009-12-04 09:42:45 +0000871 if (PreRegAlloc) {
872 DenseMap<unsigned, unsigned> LocalVRMap;
Evan Cheng45430bb2009-12-15 01:44:10 +0000873 SmallVector<std::pair<unsigned,unsigned>, 4> CopyInfos;
Evan Cheng6154dbd2009-12-04 09:42:45 +0000874 MachineBasicBlock::iterator I = TailBB->begin();
875 // Process PHI instructions first.
Chris Lattnerb06015a2010-02-09 19:54:29 +0000876 while (I != TailBB->end() && I->isPHI()) {
Evan Cheng6154dbd2009-12-04 09:42:45 +0000877 // Replace the uses of the def of the PHI with the register coming
878 // from PredBB.
879 MachineInstr *MI = &*I++;
Rafael Espindolac735f132011-06-09 23:22:56 +0000880 ProcessPHI(MI, TailBB, PrevBB, LocalVRMap, CopyInfos, UsedByPhi, true);
Evan Cheng6154dbd2009-12-04 09:42:45 +0000881 if (MI->getParent())
882 MI->eraseFromParent();
883 }
884
885 // Now copy the non-PHI instructions.
886 while (I != TailBB->end()) {
887 // Replace def of virtual registers with new registers, and update
888 // uses with PHI source register or the new registers.
889 MachineInstr *MI = &*I++;
Evan Chengd0c02962012-02-20 07:51:58 +0000890 assert(!MI->isBundle() && "Not expecting bundles before regalloc!");
Rafael Espindola81512fc2011-06-09 22:53:47 +0000891 DuplicateInstruction(MI, TailBB, PrevBB, MF, LocalVRMap, UsedByPhi);
Evan Cheng6154dbd2009-12-04 09:42:45 +0000892 MI->eraseFromParent();
893 }
Evan Chengcc770622009-12-07 10:15:19 +0000894 MachineBasicBlock::iterator Loc = PrevBB->getFirstTerminator();
Evan Cheng45430bb2009-12-15 01:44:10 +0000895 for (unsigned i = 0, e = CopyInfos.size(); i != e; ++i) {
Jakob Stoklund Olesen0c76d6e2010-07-10 22:42:59 +0000896 Copies.push_back(BuildMI(*PrevBB, Loc, DebugLoc(),
897 TII->get(TargetOpcode::COPY),
898 CopyInfos[i].first)
899 .addReg(CopyInfos[i].second));
Evan Chengcc770622009-12-07 10:15:19 +0000900 }
Evan Cheng6154dbd2009-12-04 09:42:45 +0000901 } else {
902 // No PHIs to worry about, just splice the instructions over.
903 PrevBB->splice(PrevBB->end(), TailBB, TailBB->begin(), TailBB->end());
904 }
905 PrevBB->removeSuccessor(PrevBB->succ_begin());
906 assert(PrevBB->succ_empty());
907 PrevBB->transferSuccessors(TailBB);
Evan Chengcc770622009-12-07 10:15:19 +0000908 TDBBs.push_back(PrevBB);
Bob Wilson2d4ff122009-11-26 00:32:21 +0000909 Changed = true;
910 }
911
Rafael Espindolac735f132011-06-09 23:22:56 +0000912 // If this is after register allocation, there are no phis to fix.
913 if (!PreRegAlloc)
914 return Changed;
915
916 // If we made no changes so far, we are safe.
917 if (!Changed)
918 return Changed;
919
920
921 // Handle the nasty case in that we duplicated a block that is part of a loop
922 // into some but not all of its predecessors. For example:
Rafael Espindolac9e93a42011-06-09 23:51:45 +0000923 // 1 -> 2 <-> 3 |
924 // \ |
925 // \---> rest |
Rafael Espindolac735f132011-06-09 23:22:56 +0000926 // if we duplicate 2 into 1 but not into 3, we end up with
Rafael Espindolac9e93a42011-06-09 23:51:45 +0000927 // 12 -> 3 <-> 2 -> rest |
928 // \ / |
929 // \----->-----/ |
Rafael Espindolac735f132011-06-09 23:22:56 +0000930 // If there was a "var = phi(1, 3)" in 2, it has to be ultimately replaced
931 // with a phi in 3 (which now dominates 2).
932 // What we do here is introduce a copy in 3 of the register defined by the
933 // phi, just like when we are duplicating 2 into 3, but we don't copy any
934 // real instructions or remove the 3 -> 2 edge from the phi in 2.
935 for (SmallSetVector<MachineBasicBlock *, 8>::iterator PI = Preds.begin(),
936 PE = Preds.end(); PI != PE; ++PI) {
937 MachineBasicBlock *PredBB = *PI;
938 if (std::find(TDBBs.begin(), TDBBs.end(), PredBB) != TDBBs.end())
939 continue;
940
941 // EH edges
942 if (PredBB->succ_size() != 1)
943 continue;
944
945 DenseMap<unsigned, unsigned> LocalVRMap;
946 SmallVector<std::pair<unsigned,unsigned>, 4> CopyInfos;
947 MachineBasicBlock::iterator I = TailBB->begin();
948 // Process PHI instructions first.
949 while (I != TailBB->end() && I->isPHI()) {
950 // Replace the uses of the def of the PHI with the register coming
951 // from PredBB.
952 MachineInstr *MI = &*I++;
953 ProcessPHI(MI, TailBB, PredBB, LocalVRMap, CopyInfos, UsedByPhi, false);
954 }
955 MachineBasicBlock::iterator Loc = PredBB->getFirstTerminator();
956 for (unsigned i = 0, e = CopyInfos.size(); i != e; ++i) {
957 Copies.push_back(BuildMI(*PredBB, Loc, DebugLoc(),
958 TII->get(TargetOpcode::COPY),
959 CopyInfos[i].first).addReg(CopyInfos[i].second));
960 }
961 }
962
Bob Wilson2d4ff122009-11-26 00:32:21 +0000963 return Changed;
964}
965
966/// RemoveDeadBlock - Remove the specified dead machine basic block from the
967/// function, updating the CFG.
Bob Wilson9594db52009-11-26 21:38:41 +0000968void TailDuplicatePass::RemoveDeadBlock(MachineBasicBlock *MBB) {
Bob Wilson2d4ff122009-11-26 00:32:21 +0000969 assert(MBB->pred_empty() && "MBB must be dead!");
David Greene85afc852010-01-05 01:25:15 +0000970 DEBUG(dbgs() << "\nRemoving MBB: " << *MBB);
Bob Wilson2d4ff122009-11-26 00:32:21 +0000971
972 // Remove all successors.
973 while (!MBB->succ_empty())
974 MBB->removeSuccessor(MBB->succ_end()-1);
975
Bob Wilson2d4ff122009-11-26 00:32:21 +0000976 // Remove the block.
977 MBB->eraseFromParent();
978}