TailDuplication.cpp revision 0f28c3f0c30769c1a96e5664eea4acbc48eed6a4
115acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson//===-- TailDuplication.cpp - Duplicate blocks into predecessors' tails ---===//
215acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson//
315acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson//                     The LLVM Compiler Infrastructure
415acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson//
515acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson// This file is distributed under the University of Illinois Open Source
615acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson// License. See LICENSE.TXT for details.
715acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson//
815acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson//===----------------------------------------------------------------------===//
915acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson//
1015acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson// This pass duplicates basic blocks ending in unconditional branches into
1115acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson// the tails of their predecessors.
1215acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson//
1315acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson//===----------------------------------------------------------------------===//
1415acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
1515acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson#define DEBUG_TYPE "tailduplication"
1615acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson#include "llvm/Function.h"
1715acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson#include "llvm/CodeGen/Passes.h"
1815acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson#include "llvm/CodeGen/MachineModuleInfo.h"
1915acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson#include "llvm/CodeGen/MachineFunctionPass.h"
201e1098c6f39590e1e74e5cb3c2a1652d8f3cb16aJakob Stoklund Olesen#include "llvm/CodeGen/MachineInstrBuilder.h"
21111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng#include "llvm/CodeGen/MachineRegisterInfo.h"
22111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng#include "llvm/CodeGen/MachineSSAUpdater.h"
2315acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson#include "llvm/Target/TargetInstrInfo.h"
2415acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson#include "llvm/Support/CommandLine.h"
2515acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson#include "llvm/Support/Debug.h"
2675eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng#include "llvm/Support/ErrorHandling.h"
2715acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson#include "llvm/Support/raw_ostream.h"
2815acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson#include "llvm/ADT/SmallSet.h"
2915acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson#include "llvm/ADT/SetVector.h"
3015acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson#include "llvm/ADT/Statistic.h"
3115acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilsonusing namespace llvm;
3215acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
3375eb53584367098a5625028e22f1ff8e169d0efdEvan ChengSTATISTIC(NumTails     , "Number of tails duplicated");
3415acadde5f87703da5f36721a19c09a7e3f97f53Bob WilsonSTATISTIC(NumTailDups  , "Number of tail duplicated blocks");
3515acadde5f87703da5f36721a19c09a7e3f97f53Bob WilsonSTATISTIC(NumInstrDups , "Additional instructions due to tail duplication");
3615acadde5f87703da5f36721a19c09a7e3f97f53Bob WilsonSTATISTIC(NumDeadBlocks, "Number of dead blocks removed");
370cdca089b289845664d660f0b285499800822919Rafael EspindolaSTATISTIC(NumAddedPHIs , "Number of phis added");
3815acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
3915acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson// Heuristic for tail duplication.
4015acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilsonstatic cl::opt<unsigned>
4115acadde5f87703da5f36721a19c09a7e3f97f53Bob WilsonTailDuplicateSize("tail-dup-size",
4215acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson                  cl::desc("Maximum instructions to consider tail duplicating"),
4315acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson                  cl::init(2), cl::Hidden);
4415acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
4575eb53584367098a5625028e22f1ff8e169d0efdEvan Chengstatic cl::opt<bool>
4675eb53584367098a5625028e22f1ff8e169d0efdEvan ChengTailDupVerify("tail-dup-verify",
4775eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng              cl::desc("Verify sanity of PHI instructions during taildup"),
4875eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng              cl::init(false), cl::Hidden);
4975eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng
5075eb53584367098a5625028e22f1ff8e169d0efdEvan Chengstatic cl::opt<unsigned>
5175eb53584367098a5625028e22f1ff8e169d0efdEvan ChengTailDupLimit("tail-dup-limit", cl::init(~0U), cl::Hidden);
5275eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng
5311572babb12d169965c63c47aab9c9fad354e5dfEvan Chengtypedef std::vector<std::pair<MachineBasicBlock*,unsigned> > AvailableValsTy;
54111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng
5515acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilsonnamespace {
562d521e51acd5f1a0100cbbe4c611a35c978c2456Bob Wilson  /// TailDuplicatePass - Perform tail duplication.
572d521e51acd5f1a0100cbbe4c611a35c978c2456Bob Wilson  class TailDuplicatePass : public MachineFunctionPass {
5879fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    bool PreRegAlloc;
5915acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    const TargetInstrInfo *TII;
6015acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    MachineModuleInfo *MMI;
61111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng    MachineRegisterInfo *MRI;
62111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng
63111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng    // SSAUpdateVRs - A list of virtual registers for which to update SSA form.
64111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng    SmallVector<unsigned, 16> SSAUpdateVRs;
65111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng
66111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng    // SSAUpdateVals - For each virtual register in SSAUpdateVals keep a list of
67111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng    // source virtual registers.
68111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng    DenseMap<unsigned, AvailableValsTy> SSAUpdateVals;
6915acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
7015acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  public:
7115acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    static char ID;
7279fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    explicit TailDuplicatePass(bool PreRA) :
7390c579de5a383cee278acc3f7e7b9d0a656e6a35Owen Anderson      MachineFunctionPass(ID), PreRegAlloc(PreRA) {}
7415acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
7515acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    virtual bool runOnMachineFunction(MachineFunction &MF);
7615acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    virtual const char *getPassName() const { return "Tail Duplication"; }
7715acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
7815acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  private:
7911572babb12d169965c63c47aab9c9fad354e5dfEvan Cheng    void AddSSAUpdateEntry(unsigned OrigReg, unsigned NewReg,
8011572babb12d169965c63c47aab9c9fad354e5dfEvan Cheng                           MachineBasicBlock *BB);
8179fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    void ProcessPHI(MachineInstr *MI, MachineBasicBlock *TailBB,
8279fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng                    MachineBasicBlock *PredBB,
8375eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng                    DenseMap<unsigned, unsigned> &LocalVRMap,
840f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola                    SmallVector<std::pair<unsigned,unsigned>, 4> &Copies,
850f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola                    const DenseSet<unsigned> &UsedByPhi);
8679fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    void DuplicateInstruction(MachineInstr *MI,
8779fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng                              MachineBasicBlock *TailBB,
8879fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng                              MachineBasicBlock *PredBB,
8979fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng                              MachineFunction &MF,
900f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola                              DenseMap<unsigned, unsigned> &LocalVRMap,
910f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola                              const DenseSet<unsigned> &UsedByPhi);
9275eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng    void UpdateSuccessorsPHIs(MachineBasicBlock *FromBB, bool isDead,
9375eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng                              SmallVector<MachineBasicBlock*, 8> &TDBBs,
9475eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng                              SmallSetVector<MachineBasicBlock*, 8> &Succs);
9515acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    bool TailDuplicateBlocks(MachineFunction &MF);
9654c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola    bool shouldTailDuplicate(const MachineFunction &MF,
9754c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola                             MachineBasicBlock &TailBB);
9875eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng    bool TailDuplicate(MachineBasicBlock *TailBB, MachineFunction &MF,
993466f13f38b2f3e652cca82bd5da8527e72e195dEvan Cheng                       SmallVector<MachineBasicBlock*, 8> &TDBBs,
1003466f13f38b2f3e652cca82bd5da8527e72e195dEvan Cheng                       SmallVector<MachineInstr*, 16> &Copies);
10115acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    void RemoveDeadBlock(MachineBasicBlock *MBB);
10215acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  };
10315acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
1042d521e51acd5f1a0100cbbe4c611a35c978c2456Bob Wilson  char TailDuplicatePass::ID = 0;
10515acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson}
10615acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
10779fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan ChengFunctionPass *llvm::createTailDuplicatePass(bool PreRegAlloc) {
10879fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng  return new TailDuplicatePass(PreRegAlloc);
10915acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson}
11015acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
1112d521e51acd5f1a0100cbbe4c611a35c978c2456Bob Wilsonbool TailDuplicatePass::runOnMachineFunction(MachineFunction &MF) {
11215acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  TII = MF.getTarget().getInstrInfo();
113111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng  MRI = &MF.getRegInfo();
11415acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  MMI = getAnalysisIfAvailable<MachineModuleInfo>();
11515acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
11615acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  bool MadeChange = false;
117057d53993c8f5ae3b5d8b5357c8c1ec6cc6d63eeJakob Stoklund Olesen  while (TailDuplicateBlocks(MF))
118057d53993c8f5ae3b5d8b5357c8c1ec6cc6d63eeJakob Stoklund Olesen    MadeChange = true;
11915acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
12015acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  return MadeChange;
12115acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson}
12215acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
12375eb53584367098a5625028e22f1ff8e169d0efdEvan Chengstatic void VerifyPHIs(MachineFunction &MF, bool CheckExtra) {
12475eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng  for (MachineFunction::iterator I = ++MF.begin(), E = MF.end(); I != E; ++I) {
12575eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng    MachineBasicBlock *MBB = I;
12675eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng    SmallSetVector<MachineBasicBlock*, 8> Preds(MBB->pred_begin(),
12775eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng                                                MBB->pred_end());
12875eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng    MachineBasicBlock::iterator MI = MBB->begin();
12975eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng    while (MI != MBB->end()) {
130518bb53485df640d7b7e3f6b0544099020c42aa7Chris Lattner      if (!MI->isPHI())
13175eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        break;
13275eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      for (SmallSetVector<MachineBasicBlock *, 8>::iterator PI = Preds.begin(),
13375eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng             PE = Preds.end(); PI != PE; ++PI) {
13475eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        MachineBasicBlock *PredBB = *PI;
13575eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        bool Found = false;
13675eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        for (unsigned i = 1, e = MI->getNumOperands(); i != e; i += 2) {
13775eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          MachineBasicBlock *PHIBB = MI->getOperand(i+1).getMBB();
13875eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          if (PHIBB == PredBB) {
13975eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng            Found = true;
14075eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng            break;
14175eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          }
14275eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        }
14375eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        if (!Found) {
14400dec1bbf9ad44af7b5b7ae669cae78b79a09c56David Greene          dbgs() << "Malformed PHI in BB#" << MBB->getNumber() << ": " << *MI;
14500dec1bbf9ad44af7b5b7ae669cae78b79a09c56David Greene          dbgs() << "  missing input from predecessor BB#"
14675eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng                 << PredBB->getNumber() << '\n';
14775eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          llvm_unreachable(0);
14875eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        }
14975eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      }
15075eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng
15175eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      for (unsigned i = 1, e = MI->getNumOperands(); i != e; i += 2) {
15275eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        MachineBasicBlock *PHIBB = MI->getOperand(i+1).getMBB();
15375eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        if (CheckExtra && !Preds.count(PHIBB)) {
15475eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          // This is not a hard error.
15500dec1bbf9ad44af7b5b7ae669cae78b79a09c56David Greene          dbgs() << "Warning: malformed PHI in BB#" << MBB->getNumber()
15675eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng                 << ": " << *MI;
15700dec1bbf9ad44af7b5b7ae669cae78b79a09c56David Greene          dbgs() << "  extra input from predecessor BB#"
15875eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng                 << PHIBB->getNumber() << '\n';
15975eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        }
16075eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        if (PHIBB->getNumber() < 0) {
16100dec1bbf9ad44af7b5b7ae669cae78b79a09c56David Greene          dbgs() << "Malformed PHI in BB#" << MBB->getNumber() << ": " << *MI;
16200dec1bbf9ad44af7b5b7ae669cae78b79a09c56David Greene          dbgs() << "  non-existing BB#" << PHIBB->getNumber() << '\n';
16375eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          llvm_unreachable(0);
16475eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        }
16575eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      }
16675eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      ++MI;
16775eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng    }
16875eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng  }
16975eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng}
17075eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng
17115acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson/// TailDuplicateBlocks - Look for small blocks that are unconditionally
17215acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson/// branched to and do not fall through. Tail-duplicate their instructions
17315acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson/// into their predecessors to eliminate (dynamic) branches.
1742d521e51acd5f1a0100cbbe4c611a35c978c2456Bob Wilsonbool TailDuplicatePass::TailDuplicateBlocks(MachineFunction &MF) {
17515acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  bool MadeChange = false;
17615acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
17775eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng  if (PreRegAlloc && TailDupVerify) {
17800dec1bbf9ad44af7b5b7ae669cae78b79a09c56David Greene    DEBUG(dbgs() << "\n*** Before tail-duplicating\n");
17975eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng    VerifyPHIs(MF, true);
18075eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng  }
18175eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng
18275eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng  SmallVector<MachineInstr*, 8> NewPHIs;
18375eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng  MachineSSAUpdater SSAUpdate(MF, &NewPHIs);
18475eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng
18515acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  for (MachineFunction::iterator I = ++MF.begin(), E = MF.end(); I != E; ) {
18615acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    MachineBasicBlock *MBB = I++;
18715acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
18875eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng    if (NumTails == TailDupLimit)
18975eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      break;
19075eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng
19175eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng    // Save the successors list.
19275eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng    SmallSetVector<MachineBasicBlock*, 8> Succs(MBB->succ_begin(),
19375eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng                                                MBB->succ_end());
19475eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng
19575eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng    SmallVector<MachineBasicBlock*, 8> TDBBs;
1963466f13f38b2f3e652cca82bd5da8527e72e195dEvan Cheng    SmallVector<MachineInstr*, 16> Copies;
1973466f13f38b2f3e652cca82bd5da8527e72e195dEvan Cheng    if (TailDuplicate(MBB, MF, TDBBs, Copies)) {
19875eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      ++NumTails;
19975eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng
20075eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      // TailBB's immediate successors are now successors of those predecessors
20175eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      // which duplicated TailBB. Add the predecessors as sources to the PHI
20275eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      // instructions.
20375eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      bool isDead = MBB->pred_empty();
20475eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      if (PreRegAlloc)
20575eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        UpdateSuccessorsPHIs(MBB, isDead, TDBBs, Succs);
20675eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng
20775eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      // If it is dead, remove it.
20875eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      if (isDead) {
20975eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        NumInstrDups -= MBB->size();
21075eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        RemoveDeadBlock(MBB);
21175eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        ++NumDeadBlocks;
21275eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      }
21375eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng
21475eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      // Update SSA form.
21575eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      if (!SSAUpdateVRs.empty()) {
21675eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        for (unsigned i = 0, e = SSAUpdateVRs.size(); i != e; ++i) {
21775eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          unsigned VReg = SSAUpdateVRs[i];
21875eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          SSAUpdate.Initialize(VReg);
21975eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng
22075eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          // If the original definition is still around, add it as an available
22175eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          // value.
22275eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          MachineInstr *DefMI = MRI->getVRegDef(VReg);
22375eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          MachineBasicBlock *DefBB = 0;
22475eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          if (DefMI) {
22575eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng            DefBB = DefMI->getParent();
22675eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng            SSAUpdate.AddAvailableValue(DefBB, VReg);
22775eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          }
22875eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng
22975eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          // Add the new vregs as available values.
23075eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          DenseMap<unsigned, AvailableValsTy>::iterator LI =
23175eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng            SSAUpdateVals.find(VReg);
23275eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          for (unsigned j = 0, ee = LI->second.size(); j != ee; ++j) {
23375eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng            MachineBasicBlock *SrcBB = LI->second[j].first;
23475eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng            unsigned SrcReg = LI->second[j].second;
23575eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng            SSAUpdate.AddAvailableValue(SrcBB, SrcReg);
23675eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          }
23775eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng
23875eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          // Rewrite uses that are outside of the original def's block.
23975eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          MachineRegisterInfo::use_iterator UI = MRI->use_begin(VReg);
24075eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          while (UI != MRI->use_end()) {
24175eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng            MachineOperand &UseMO = UI.getOperand();
24275eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng            MachineInstr *UseMI = &*UI;
24375eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng            ++UI;
244c2e9a50dfb523964bd9d7598ee27b37669f9a5b8Rafael Espindola            if (UseMI->getParent() == DefBB && !UseMI->isPHI())
24575eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng              continue;
24675eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng            SSAUpdate.RewriteUse(UseMO);
24775eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          }
24875eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        }
24915acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
25075eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        SSAUpdateVRs.clear();
25175eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        SSAUpdateVals.clear();
25275eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      }
25375eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng
254bfdcf3bd49f50050fe98523f882b2241d2752fb4Bob Wilson      // Eliminate some of the copies inserted by tail duplication to maintain
2553466f13f38b2f3e652cca82bd5da8527e72e195dEvan Cheng      // SSA form.
2563466f13f38b2f3e652cca82bd5da8527e72e195dEvan Cheng      for (unsigned i = 0, e = Copies.size(); i != e; ++i) {
2573466f13f38b2f3e652cca82bd5da8527e72e195dEvan Cheng        MachineInstr *Copy = Copies[i];
25804c528a0c86ddf3d6a70681f72e1b2ec07b0b53aJakob Stoklund Olesen        if (!Copy->isCopy())
25904c528a0c86ddf3d6a70681f72e1b2ec07b0b53aJakob Stoklund Olesen          continue;
26004c528a0c86ddf3d6a70681f72e1b2ec07b0b53aJakob Stoklund Olesen        unsigned Dst = Copy->getOperand(0).getReg();
26104c528a0c86ddf3d6a70681f72e1b2ec07b0b53aJakob Stoklund Olesen        unsigned Src = Copy->getOperand(1).getReg();
26204c528a0c86ddf3d6a70681f72e1b2ec07b0b53aJakob Stoklund Olesen        MachineRegisterInfo::use_iterator UI = MRI->use_begin(Src);
26304c528a0c86ddf3d6a70681f72e1b2ec07b0b53aJakob Stoklund Olesen        if (++UI == MRI->use_end()) {
26404c528a0c86ddf3d6a70681f72e1b2ec07b0b53aJakob Stoklund Olesen          // Copy is the only use. Do trivial copy propagation here.
26504c528a0c86ddf3d6a70681f72e1b2ec07b0b53aJakob Stoklund Olesen          MRI->replaceRegWith(Dst, Src);
26604c528a0c86ddf3d6a70681f72e1b2ec07b0b53aJakob Stoklund Olesen          Copy->eraseFromParent();
2673466f13f38b2f3e652cca82bd5da8527e72e195dEvan Cheng        }
2683466f13f38b2f3e652cca82bd5da8527e72e195dEvan Cheng      }
2693466f13f38b2f3e652cca82bd5da8527e72e195dEvan Cheng
27075eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      if (PreRegAlloc && TailDupVerify)
27175eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        VerifyPHIs(MF, false);
27215acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson      MadeChange = true;
27315acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    }
27415acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  }
275d69f85eb416c08e5f803bffccd974745be3d1b2eRafael Espindola  NumAddedPHIs += NewPHIs.size();
276111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng
27715acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  return MadeChange;
27815acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson}
27915acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
280111e7629cc84dad39d6b546871cdec3740b22781Evan Chengstatic bool isDefLiveOut(unsigned Reg, MachineBasicBlock *BB,
281111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng                         const MachineRegisterInfo *MRI) {
282111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng  for (MachineRegisterInfo::use_iterator UI = MRI->use_begin(Reg),
283111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng         UE = MRI->use_end(); UI != UE; ++UI) {
284111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng    MachineInstr *UseMI = &*UI;
285111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng    if (UseMI->getParent() != BB)
286111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng      return true;
287111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng  }
288111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng  return false;
289111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng}
290111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng
291111e7629cc84dad39d6b546871cdec3740b22781Evan Chengstatic unsigned getPHISrcRegOpIdx(MachineInstr *MI, MachineBasicBlock *SrcBB) {
292111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng  for (unsigned i = 1, e = MI->getNumOperands(); i != e; i += 2)
293111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng    if (MI->getOperand(i+1).getMBB() == SrcBB)
294111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng      return i;
295111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng  return 0;
296111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng}
297111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng
2980f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola
2990f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola// Remember which registers are used by phis in this block. This is
3000f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola// used to determine which registers are liveout while modifying the
3010f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola// block (which is why we need to copy the information).
3020f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindolastatic void getRegsUsedByPHIs(const MachineBasicBlock &BB,
3030f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola			      DenseSet<unsigned> *UsedByPhi) {
3040f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola  for(MachineBasicBlock::const_iterator I = BB.begin(), E = BB.end();
3050f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola      I != E; ++I) {
3060f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola    const MachineInstr &MI = *I;
3070f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola    if (!MI.isPHI())
3080f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola      break;
3090f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola    for (unsigned i = 1, e = MI.getNumOperands(); i != e; i += 2) {
3100f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola      unsigned SrcReg = MI.getOperand(i).getReg();
3110f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola      UsedByPhi->insert(SrcReg);
3120f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola    }
3130f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola  }
3140f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola}
3150f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola
316111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng/// AddSSAUpdateEntry - Add a definition and source virtual registers pair for
317111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng/// SSA update.
31811572babb12d169965c63c47aab9c9fad354e5dfEvan Chengvoid TailDuplicatePass::AddSSAUpdateEntry(unsigned OrigReg, unsigned NewReg,
31911572babb12d169965c63c47aab9c9fad354e5dfEvan Cheng                                          MachineBasicBlock *BB) {
32011572babb12d169965c63c47aab9c9fad354e5dfEvan Cheng  DenseMap<unsigned, AvailableValsTy>::iterator LI= SSAUpdateVals.find(OrigReg);
321111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng  if (LI != SSAUpdateVals.end())
32211572babb12d169965c63c47aab9c9fad354e5dfEvan Cheng    LI->second.push_back(std::make_pair(BB, NewReg));
323111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng  else {
324111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng    AvailableValsTy Vals;
32511572babb12d169965c63c47aab9c9fad354e5dfEvan Cheng    Vals.push_back(std::make_pair(BB, NewReg));
326111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng    SSAUpdateVals.insert(std::make_pair(OrigReg, Vals));
327111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng    SSAUpdateVRs.push_back(OrigReg);
328111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng  }
329111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng}
330111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng
33175eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng/// ProcessPHI - Process PHI node in TailBB by turning it into a copy in PredBB.
33275eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng/// Remember the source register that's contributed by PredBB and update SSA
33375eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng/// update map.
33479fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Chengvoid TailDuplicatePass::ProcessPHI(MachineInstr *MI,
33579fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng                                   MachineBasicBlock *TailBB,
33679fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng                                   MachineBasicBlock *PredBB,
33775eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng                                   DenseMap<unsigned, unsigned> &LocalVRMap,
3380f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola                           SmallVector<std::pair<unsigned,unsigned>, 4> &Copies,
3390f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola				   const DenseSet<unsigned> &RegsUsedByPhi) {
34079fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng  unsigned DefReg = MI->getOperand(0).getReg();
34179fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng  unsigned SrcOpIdx = getPHISrcRegOpIdx(MI, PredBB);
34279fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng  assert(SrcOpIdx && "Unable to find matching PHI source?");
34379fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng  unsigned SrcReg = MI->getOperand(SrcOpIdx).getReg();
34475eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng  const TargetRegisterClass *RC = MRI->getRegClass(DefReg);
34579fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng  LocalVRMap.insert(std::make_pair(DefReg, SrcReg));
34675eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng
34775eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng  // Insert a copy from source to the end of the block. The def register is the
34875eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng  // available value liveout of the block.
34975eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng  unsigned NewDef = MRI->createVirtualRegister(RC);
35075eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng  Copies.push_back(std::make_pair(NewDef, SrcReg));
3510f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola  if (isDefLiveOut(DefReg, TailBB, MRI) || RegsUsedByPhi.count(DefReg))
35275eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng    AddSSAUpdateEntry(DefReg, NewDef, PredBB);
35379fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng
35479fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng  // Remove PredBB from the PHI node.
35579fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng  MI->RemoveOperand(SrcOpIdx+1);
35679fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng  MI->RemoveOperand(SrcOpIdx);
35779fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng  if (MI->getNumOperands() == 1)
35879fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    MI->eraseFromParent();
35979fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng}
36079fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng
36179fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng/// DuplicateInstruction - Duplicate a TailBB instruction to PredBB and update
36279fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng/// the source operands due to earlier PHI translation.
36379fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Chengvoid TailDuplicatePass::DuplicateInstruction(MachineInstr *MI,
36479fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng                                     MachineBasicBlock *TailBB,
36579fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng                                     MachineBasicBlock *PredBB,
36679fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng                                     MachineFunction &MF,
3670f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola                                     DenseMap<unsigned, unsigned> &LocalVRMap,
3680f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola                                     const DenseSet<unsigned> &UsedByPhi) {
36930ac0467ced4627a9b84d8a1d3ca5e8706ddad63Jakob Stoklund Olesen  MachineInstr *NewMI = TII->duplicate(MI, MF);
37079fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng  for (unsigned i = 0, e = NewMI->getNumOperands(); i != e; ++i) {
37179fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    MachineOperand &MO = NewMI->getOperand(i);
37279fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    if (!MO.isReg())
37379fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng      continue;
37479fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    unsigned Reg = MO.getReg();
375c9df025e33ac435adb3b3318d237c36ca7cec659Jakob Stoklund Olesen    if (!TargetRegisterInfo::isVirtualRegister(Reg))
37679fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng      continue;
37779fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    if (MO.isDef()) {
37879fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng      const TargetRegisterClass *RC = MRI->getRegClass(Reg);
37979fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng      unsigned NewReg = MRI->createVirtualRegister(RC);
38079fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng      MO.setReg(NewReg);
38179fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng      LocalVRMap.insert(std::make_pair(Reg, NewReg));
3820f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola      if (isDefLiveOut(Reg, TailBB, MRI) || UsedByPhi.count(Reg))
38311572babb12d169965c63c47aab9c9fad354e5dfEvan Cheng        AddSSAUpdateEntry(Reg, NewReg, PredBB);
38479fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    } else {
38579fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng      DenseMap<unsigned, unsigned>::iterator VI = LocalVRMap.find(Reg);
38679fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng      if (VI != LocalVRMap.end())
38779fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng        MO.setReg(VI->second);
38879fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    }
38979fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng  }
39079fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng  PredBB->insert(PredBB->end(), NewMI);
39179fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng}
39279fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng
39379fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng/// UpdateSuccessorsPHIs - After FromBB is tail duplicated into its predecessor
39479fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng/// blocks, the successors have gained new predecessors. Update the PHI
39579fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng/// instructions in them accordingly.
39675eb53584367098a5625028e22f1ff8e169d0efdEvan Chengvoid
39775eb53584367098a5625028e22f1ff8e169d0efdEvan ChengTailDuplicatePass::UpdateSuccessorsPHIs(MachineBasicBlock *FromBB, bool isDead,
39875eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng                                  SmallVector<MachineBasicBlock*, 8> &TDBBs,
39979fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng                                  SmallSetVector<MachineBasicBlock*,8> &Succs) {
40079fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng  for (SmallSetVector<MachineBasicBlock*, 8>::iterator SI = Succs.begin(),
40179fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng         SE = Succs.end(); SI != SE; ++SI) {
40279fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    MachineBasicBlock *SuccBB = *SI;
40379fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    for (MachineBasicBlock::iterator II = SuccBB->begin(), EE = SuccBB->end();
40479fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng         II != EE; ++II) {
405518bb53485df640d7b7e3f6b0544099020c42aa7Chris Lattner      if (!II->isPHI())
40679fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng        break;
40775eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      unsigned Idx = 0;
40879fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng      for (unsigned i = 1, e = II->getNumOperands(); i != e; i += 2) {
40975eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        MachineOperand &MO = II->getOperand(i+1);
41075eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        if (MO.getMBB() == FromBB) {
41175eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          Idx = i;
41279fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng          break;
41375eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        }
41475eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      }
41575eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng
41675eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      assert(Idx != 0);
41775eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      MachineOperand &MO0 = II->getOperand(Idx);
41875eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      unsigned Reg = MO0.getReg();
41975eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      if (isDead) {
42075eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        // Folded into the previous BB.
42175eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        // There could be duplicate phi source entries. FIXME: Should sdisel
42275eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        // or earlier pass fixed this?
42375eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        for (unsigned i = II->getNumOperands()-2; i != Idx; i -= 2) {
42475eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          MachineOperand &MO = II->getOperand(i+1);
42575eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          if (MO.getMBB() == FromBB) {
42675eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng            II->RemoveOperand(i+1);
42775eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng            II->RemoveOperand(i);
42875eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          }
42975eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        }
43009eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen      } else
43109eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen        Idx = 0;
43209eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen
43309eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen      // If Idx is set, the operands at Idx and Idx+1 must be removed.
43409eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen      // We reuse the location to avoid expensive RemoveOperand calls.
43509eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen
43675eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      DenseMap<unsigned,AvailableValsTy>::iterator LI=SSAUpdateVals.find(Reg);
43775eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      if (LI != SSAUpdateVals.end()) {
43875eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        // This register is defined in the tail block.
43979fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng        for (unsigned j = 0, ee = LI->second.size(); j != ee; ++j) {
44011572babb12d169965c63c47aab9c9fad354e5dfEvan Cheng          MachineBasicBlock *SrcBB = LI->second[j].first;
44111572babb12d169965c63c47aab9c9fad354e5dfEvan Cheng          unsigned SrcReg = LI->second[j].second;
44209eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen          if (Idx != 0) {
44309eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen            II->getOperand(Idx).setReg(SrcReg);
44409eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen            II->getOperand(Idx+1).setMBB(SrcBB);
44509eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen            Idx = 0;
44609eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen          } else {
44709eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen            II->addOperand(MachineOperand::CreateReg(SrcReg, false));
44809eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen            II->addOperand(MachineOperand::CreateMBB(SrcBB));
44909eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen          }
45079fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng        }
45175eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      } else {
45275eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        // Live in tail block, must also be live in predecessors.
45375eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        for (unsigned j = 0, ee = TDBBs.size(); j != ee; ++j) {
45475eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng          MachineBasicBlock *SrcBB = TDBBs[j];
45509eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen          if (Idx != 0) {
45609eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen            II->getOperand(Idx).setReg(Reg);
45709eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen            II->getOperand(Idx+1).setMBB(SrcBB);
45809eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen            Idx = 0;
45909eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen          } else {
46009eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen            II->addOperand(MachineOperand::CreateReg(Reg, false));
46109eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen            II->addOperand(MachineOperand::CreateMBB(SrcBB));
46209eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen          }
46375eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng        }
46479fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng      }
46509eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen      if (Idx != 0) {
46609eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen        II->RemoveOperand(Idx+1);
46709eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen        II->RemoveOperand(Idx);
46809eeac9f5f8c21621f82f9b6598eb7e34593357eJakob Stoklund Olesen      }
46979fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    }
47079fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng  }
47179fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng}
47279fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng
47354c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola/// shouldTailDuplicate - Determine if it is profitable to duplicate this block.
47475eb53584367098a5625028e22f1ff8e169d0efdEvan Chengbool
47554c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael EspindolaTailDuplicatePass::shouldTailDuplicate(const MachineFunction &MF,
47654c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola                                       MachineBasicBlock &TailBB) {
47754c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola  // Only duplicate blocks that end with unconditional branches.
47854c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola  if (TailBB.canFallThrough())
47954c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola    return false;
48054c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola
48154c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola  // Set the limit on the cost to duplicate. When optimizing for size,
48215acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  // duplicate only one, because one branch instruction can be eliminated to
48315acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  // compensate for the duplication.
48415acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  unsigned MaxDuplicateCount;
4858352062e52eed6e50786fdb89f5e601fdcbe0d90Jakob Stoklund Olesen  if (TailDuplicateSize.getNumOccurrences() == 0 &&
4868352062e52eed6e50786fdb89f5e601fdcbe0d90Jakob Stoklund Olesen      MF.getFunction()->hasFnAttr(Attribute::OptimizeForSize))
487cb44b28f4d96c059d30c1a77d3b7e406d362d94eBob Wilson    MaxDuplicateCount = 1;
488cb44b28f4d96c059d30c1a77d3b7e406d362d94eBob Wilson  else
489cb44b28f4d96c059d30c1a77d3b7e406d362d94eBob Wilson    MaxDuplicateCount = TailDuplicateSize;
490cb44b28f4d96c059d30c1a77d3b7e406d362d94eBob Wilson
491cb44b28f4d96c059d30c1a77d3b7e406d362d94eBob Wilson  if (PreRegAlloc) {
49254c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola    if (TailBB.empty())
493c3f507f98a0747bd256e1c13536060b6fc5c4b62Evan Cheng      return false;
49454c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola    const TargetInstrDesc &TID = TailBB.back().getDesc();
495c3f507f98a0747bd256e1c13536060b6fc5c4b62Evan Cheng    // Pre-regalloc tail duplication hurts compile time and doesn't help
49654c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola    // much except for indirect branches.
49754c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola    if (!TID.isIndirectBranch())
498cb44b28f4d96c059d30c1a77d3b7e406d362d94eBob Wilson      return false;
49915acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    // If the target has hardware branch prediction that can handle indirect
50015acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    // branches, duplicating them can often make them predictable when there
50115acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    // are common paths through the code.  The limit needs to be high enough
502cb44b28f4d96c059d30c1a77d3b7e406d362d94eBob Wilson    // to allow undoing the effects of tail merging and other optimizations
503cb44b28f4d96c059d30c1a77d3b7e406d362d94eBob Wilson    // that rearrange the predecessors of the indirect branch.
50415acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    MaxDuplicateCount = 20;
505cb44b28f4d96c059d30c1a77d3b7e406d362d94eBob Wilson  }
50615acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
507bfdcf3bd49f50050fe98523f882b2241d2752fb4Bob Wilson  // Don't try to tail-duplicate single-block loops.
50854c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola  if (TailBB.isSuccessor(&TailBB))
509bfdcf3bd49f50050fe98523f882b2241d2752fb4Bob Wilson    return false;
510bfdcf3bd49f50050fe98523f882b2241d2752fb4Bob Wilson
51115acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  // Check the instructions in the block to determine whether tail-duplication
51215acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  // is invalid or unlikely to be profitable.
513f1e01dcc94fde6b1e184dc799df7145aed34a18bBob Wilson  unsigned InstrCount = 0;
51415acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  bool HasCall = false;
51554c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola  for (MachineBasicBlock::const_iterator I = TailBB.begin(); I != TailBB.end();
51654c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola       ++I) {
51715acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    // Non-duplicable things shouldn't be tail-duplicated.
51815acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    if (I->getDesc().isNotDuplicable()) return false;
51979fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    // Do not duplicate 'return' instructions if this is a pre-regalloc run.
52079fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    // A return may expand into a lot more instructions (e.g. reload of callee
52179fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    // saved registers) after PEI.
52279fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    if (PreRegAlloc && I->getDesc().isReturn()) return false;
52315acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    // Don't duplicate more than the threshold.
524f1e01dcc94fde6b1e184dc799df7145aed34a18bBob Wilson    if (InstrCount == MaxDuplicateCount) return false;
52515acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    // Remember if we saw a call.
52615acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    if (I->getDesc().isCall()) HasCall = true;
527cbe1e31732c5d4fb1277195e76b9b42c115396aaDevang Patel    if (!I->isPHI() && !I->isDebugValue())
528f1e01dcc94fde6b1e184dc799df7145aed34a18bBob Wilson      InstrCount += 1;
52915acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  }
530c8b90e22a8f2987126a7e2e841adc8db9776521cEvan Cheng  // Don't tail-duplicate calls before register allocation. Calls presents a
531c8b90e22a8f2987126a7e2e841adc8db9776521cEvan Cheng  // barrier to register allocation so duplicating them may end up increasing
532c8b90e22a8f2987126a7e2e841adc8db9776521cEvan Cheng  // spills.
533c3f507f98a0747bd256e1c13536060b6fc5c4b62Evan Cheng  if (InstrCount > 1 && (PreRegAlloc && HasCall))
53415acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    return false;
53515acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
53654c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola  return true;
53754c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola}
53854c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola
53954c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola/// TailDuplicate - If it is profitable, duplicate TailBB's contents in each
54054c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola/// of its predecessors.
54154c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindolabool
54254c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael EspindolaTailDuplicatePass::TailDuplicate(MachineBasicBlock *TailBB, MachineFunction &MF,
54354c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola                                 SmallVector<MachineBasicBlock*, 8> &TDBBs,
54454c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola                                 SmallVector<MachineInstr*, 16> &Copies) {
54554c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola  if (!shouldTailDuplicate(MF, *TailBB))
54654c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola    return false;
54754c256233f8dcd29406d5fe6f8a5be79a826cef3Rafael Espindola
54800dec1bbf9ad44af7b5b7ae669cae78b79a09c56David Greene  DEBUG(dbgs() << "\n*** Tail-duplicating BB#" << TailBB->getNumber() << '\n');
54975eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng
55015acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  // Iterate through all the unique predecessors and tail-duplicate this
55115acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  // block into them, if possible. Copying the list ahead of time also
55215acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  // avoids trouble with the predecessor list reallocating.
55315acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  bool Changed = false;
55479fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng  SmallSetVector<MachineBasicBlock*, 8> Preds(TailBB->pred_begin(),
55579fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng                                              TailBB->pred_end());
5560f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola  DenseSet<unsigned> UsedByPhi;
5570f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola  getRegsUsedByPHIs(*TailBB, &UsedByPhi);
55815acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  for (SmallSetVector<MachineBasicBlock *, 8>::iterator PI = Preds.begin(),
55915acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson       PE = Preds.end(); PI != PE; ++PI) {
56015acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    MachineBasicBlock *PredBB = *PI;
56115acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
56215acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    assert(TailBB != PredBB &&
56315acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson           "Single-block loop should have been rejected earlier!");
56415acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    if (PredBB->succ_size() > 1) continue;
56515acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
56615acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    MachineBasicBlock *PredTBB, *PredFBB;
56715acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    SmallVector<MachineOperand, 4> PredCond;
568a899b223109ca5dba7b44439e955148a03f23d4cRafael Espindola    // EH edges are ignored by AnalyzeBranch.
569a899b223109ca5dba7b44439e955148a03f23d4cRafael Espindola    if (PredBB->succ_size() != 1)
570a899b223109ca5dba7b44439e955148a03f23d4cRafael Espindola      continue;
57115acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    if (TII->AnalyzeBranch(*PredBB, PredTBB, PredFBB, PredCond, true))
57215acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson      continue;
57315acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    if (!PredCond.empty())
57415acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson      continue;
57515acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    // Don't duplicate into a fall-through predecessor (at least for now).
57615acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    if (PredBB->isLayoutSuccessor(TailBB) && PredBB->canFallThrough())
57715acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson      continue;
57815acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
57900dec1bbf9ad44af7b5b7ae669cae78b79a09c56David Greene    DEBUG(dbgs() << "\nTail-duplicating into PredBB: " << *PredBB
58015acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson                 << "From Succ: " << *TailBB);
58115acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
58275eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng    TDBBs.push_back(PredBB);
58375eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng
58415acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    // Remove PredBB's unconditional branch.
58515acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    TII->RemoveBranch(*PredBB);
586111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng
58715acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    // Clone the contents of TailBB into PredBB.
588111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng    DenseMap<unsigned, unsigned> LocalVRMap;
5893466f13f38b2f3e652cca82bd5da8527e72e195dEvan Cheng    SmallVector<std::pair<unsigned,unsigned>, 4> CopyInfos;
590111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng    MachineBasicBlock::iterator I = TailBB->begin();
59179fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    while (I != TailBB->end()) {
59279fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng      MachineInstr *MI = &*I;
59379fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng      ++I;
594518bb53485df640d7b7e3f6b0544099020c42aa7Chris Lattner      if (MI->isPHI()) {
595111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng        // Replace the uses of the def of the PHI with the register coming
596111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng        // from PredBB.
5970f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola        ProcessPHI(MI, TailBB, PredBB, LocalVRMap, CopyInfos, UsedByPhi);
59879fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng      } else {
59979fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng        // Replace def of virtual registers with new registers, and update
60079fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng        // uses with PHI source register or the new registers.
6010f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola        DuplicateInstruction(MI, TailBB, PredBB, MF, LocalVRMap, UsedByPhi);
602111e7629cc84dad39d6b546871cdec3740b22781Evan Cheng      }
60315acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    }
60475eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng    MachineBasicBlock::iterator Loc = PredBB->getFirstTerminator();
6053466f13f38b2f3e652cca82bd5da8527e72e195dEvan Cheng    for (unsigned i = 0, e = CopyInfos.size(); i != e; ++i) {
6061e1098c6f39590e1e74e5cb3c2a1652d8f3cb16aJakob Stoklund Olesen      Copies.push_back(BuildMI(*PredBB, Loc, DebugLoc(),
6071e1098c6f39590e1e74e5cb3c2a1652d8f3cb16aJakob Stoklund Olesen                               TII->get(TargetOpcode::COPY),
6081e1098c6f39590e1e74e5cb3c2a1652d8f3cb16aJakob Stoklund Olesen                               CopyInfos[i].first).addReg(CopyInfos[i].second));
60975eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng    }
61015acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    NumInstrDups += TailBB->size() - 1; // subtract one for removed branch
61115acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
61215acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    // Update the CFG.
61315acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    PredBB->removeSuccessor(PredBB->succ_begin());
61415acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    assert(PredBB->succ_empty() &&
61515acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson           "TailDuplicate called on block with multiple successors!");
61615acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    for (MachineBasicBlock::succ_iterator I = TailBB->succ_begin(),
61779fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng           E = TailBB->succ_end(); I != E; ++I)
61879fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng      PredBB->addSuccessor(*I);
61915acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
62015acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    Changed = true;
62115acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    ++NumTailDups;
62215acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  }
62315acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
62415acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  // If TailBB was duplicated into all its predecessors except for the prior
62515acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  // block, which falls through unconditionally, move the contents of this
62615acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  // block into the prior block.
62779fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng  MachineBasicBlock *PrevBB = prior(MachineFunction::iterator(TailBB));
62815acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  MachineBasicBlock *PriorTBB = 0, *PriorFBB = 0;
62915acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  SmallVector<MachineOperand, 4> PriorCond;
63015acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  // This has to check PrevBB->succ_size() because EH edges are ignored by
63115acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  // AnalyzeBranch.
632a899b223109ca5dba7b44439e955148a03f23d4cRafael Espindola  if (PrevBB->succ_size() == 1 &&
633a899b223109ca5dba7b44439e955148a03f23d4cRafael Espindola      !TII->AnalyzeBranch(*PrevBB, PriorTBB, PriorFBB, PriorCond, true) &&
634a899b223109ca5dba7b44439e955148a03f23d4cRafael Espindola      PriorCond.empty() && !PriorTBB && TailBB->pred_size() == 1 &&
63515acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson      !TailBB->hasAddressTaken()) {
63600dec1bbf9ad44af7b5b7ae669cae78b79a09c56David Greene    DEBUG(dbgs() << "\nMerging into block: " << *PrevBB
63715acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson          << "From MBB: " << *TailBB);
63879fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    if (PreRegAlloc) {
63979fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng      DenseMap<unsigned, unsigned> LocalVRMap;
6403466f13f38b2f3e652cca82bd5da8527e72e195dEvan Cheng      SmallVector<std::pair<unsigned,unsigned>, 4> CopyInfos;
64179fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng      MachineBasicBlock::iterator I = TailBB->begin();
64279fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng      // Process PHI instructions first.
643518bb53485df640d7b7e3f6b0544099020c42aa7Chris Lattner      while (I != TailBB->end() && I->isPHI()) {
64479fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng        // Replace the uses of the def of the PHI with the register coming
64579fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng        // from PredBB.
64679fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng        MachineInstr *MI = &*I++;
6470f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola        ProcessPHI(MI, TailBB, PrevBB, LocalVRMap, CopyInfos, UsedByPhi);
64879fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng        if (MI->getParent())
64979fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng          MI->eraseFromParent();
65079fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng      }
65179fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng
65279fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng      // Now copy the non-PHI instructions.
65379fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng      while (I != TailBB->end()) {
65479fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng        // Replace def of virtual registers with new registers, and update
65579fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng        // uses with PHI source register or the new registers.
65679fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng        MachineInstr *MI = &*I++;
6570f28c3f0c30769c1a96e5664eea4acbc48eed6a4Rafael Espindola        DuplicateInstruction(MI, TailBB, PrevBB, MF, LocalVRMap, UsedByPhi);
65879fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng        MI->eraseFromParent();
65979fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng      }
66075eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      MachineBasicBlock::iterator Loc = PrevBB->getFirstTerminator();
6613466f13f38b2f3e652cca82bd5da8527e72e195dEvan Cheng      for (unsigned i = 0, e = CopyInfos.size(); i != e; ++i) {
6621e1098c6f39590e1e74e5cb3c2a1652d8f3cb16aJakob Stoklund Olesen        Copies.push_back(BuildMI(*PrevBB, Loc, DebugLoc(),
6631e1098c6f39590e1e74e5cb3c2a1652d8f3cb16aJakob Stoklund Olesen                                 TII->get(TargetOpcode::COPY),
6641e1098c6f39590e1e74e5cb3c2a1652d8f3cb16aJakob Stoklund Olesen                                 CopyInfos[i].first)
6651e1098c6f39590e1e74e5cb3c2a1652d8f3cb16aJakob Stoklund Olesen                           .addReg(CopyInfos[i].second));
66675eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng      }
66779fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    } else {
66879fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng      // No PHIs to worry about, just splice the instructions over.
66979fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng      PrevBB->splice(PrevBB->end(), TailBB, TailBB->begin(), TailBB->end());
67079fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    }
67179fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    PrevBB->removeSuccessor(PrevBB->succ_begin());
67279fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    assert(PrevBB->succ_empty());
67379fc6f44b64f47b8a7d5e298c9f3c596b89fa88dEvan Cheng    PrevBB->transferSuccessors(TailBB);
67475eb53584367098a5625028e22f1ff8e169d0efdEvan Cheng    TDBBs.push_back(PrevBB);
67515acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    Changed = true;
67615acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  }
67715acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
67815acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  return Changed;
67915acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson}
68015acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
68115acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson/// RemoveDeadBlock - Remove the specified dead machine basic block from the
68215acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson/// function, updating the CFG.
6832d521e51acd5f1a0100cbbe4c611a35c978c2456Bob Wilsonvoid TailDuplicatePass::RemoveDeadBlock(MachineBasicBlock *MBB) {
68415acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  assert(MBB->pred_empty() && "MBB must be dead!");
68500dec1bbf9ad44af7b5b7ae669cae78b79a09c56David Greene  DEBUG(dbgs() << "\nRemoving MBB: " << *MBB);
68615acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
68715acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  // Remove all successors.
68815acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  while (!MBB->succ_empty())
68915acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson    MBB->removeSuccessor(MBB->succ_end()-1);
69015acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
69115acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  // Remove the block.
69215acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson  MBB->eraseFromParent();
69315acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson}
69415acadde5f87703da5f36721a19c09a7e3f97f53Bob Wilson
695