18f0fd8f6SDimitry Andric //===----- R600Packetizer.cpp - VLIW packetizer ---------------------------===//
28f0fd8f6SDimitry Andric //
38f0fd8f6SDimitry Andric //                     The LLVM Compiler Infrastructure
48f0fd8f6SDimitry Andric //
58f0fd8f6SDimitry Andric // This file is distributed under the University of Illinois Open Source
68f0fd8f6SDimitry Andric // License. See LICENSE.TXT for details.
78f0fd8f6SDimitry Andric //
88f0fd8f6SDimitry Andric //===----------------------------------------------------------------------===//
98f0fd8f6SDimitry Andric //
108f0fd8f6SDimitry Andric /// \file
118f0fd8f6SDimitry Andric /// This pass implements instructions packetization for R600. It unsets isLast
128f0fd8f6SDimitry Andric /// bit of instructions inside a bundle and substitutes src register with
138f0fd8f6SDimitry Andric /// PreviousVector when applicable.
148f0fd8f6SDimitry Andric //
158f0fd8f6SDimitry Andric //===----------------------------------------------------------------------===//
168f0fd8f6SDimitry Andric 
178f0fd8f6SDimitry Andric #include "AMDGPU.h"
188f0fd8f6SDimitry Andric #include "AMDGPUSubtarget.h"
198f0fd8f6SDimitry Andric #include "R600InstrInfo.h"
20*4ba319b5SDimitry Andric #include "MCTargetDesc/AMDGPUMCTargetDesc.h"
218f0fd8f6SDimitry Andric #include "llvm/CodeGen/DFAPacketizer.h"
228f0fd8f6SDimitry Andric #include "llvm/CodeGen/MachineDominators.h"
238f0fd8f6SDimitry Andric #include "llvm/CodeGen/MachineFunctionPass.h"
248f0fd8f6SDimitry Andric #include "llvm/CodeGen/MachineLoopInfo.h"
258f0fd8f6SDimitry Andric #include "llvm/CodeGen/Passes.h"
268f0fd8f6SDimitry Andric #include "llvm/CodeGen/ScheduleDAG.h"
27db17bf38SDimitry Andric #include "llvm/Support/Debug.h"
288f0fd8f6SDimitry Andric #include "llvm/Support/raw_ostream.h"
298f0fd8f6SDimitry Andric 
308f0fd8f6SDimitry Andric using namespace llvm;
318f0fd8f6SDimitry Andric 
328f0fd8f6SDimitry Andric #define DEBUG_TYPE "packets"
338f0fd8f6SDimitry Andric 
348f0fd8f6SDimitry Andric namespace {
358f0fd8f6SDimitry Andric 
368f0fd8f6SDimitry Andric class R600Packetizer : public MachineFunctionPass {
378f0fd8f6SDimitry Andric 
388f0fd8f6SDimitry Andric public:
398f0fd8f6SDimitry Andric   static char ID;
R600Packetizer()40d8866befSDimitry Andric   R600Packetizer() : MachineFunctionPass(ID) {}
418f0fd8f6SDimitry Andric 
getAnalysisUsage(AnalysisUsage & AU) const428f0fd8f6SDimitry Andric   void getAnalysisUsage(AnalysisUsage &AU) const override {
438f0fd8f6SDimitry Andric     AU.setPreservesCFG();
448f0fd8f6SDimitry Andric     AU.addRequired<MachineDominatorTree>();
458f0fd8f6SDimitry Andric     AU.addPreserved<MachineDominatorTree>();
468f0fd8f6SDimitry Andric     AU.addRequired<MachineLoopInfo>();
478f0fd8f6SDimitry Andric     AU.addPreserved<MachineLoopInfo>();
488f0fd8f6SDimitry Andric     MachineFunctionPass::getAnalysisUsage(AU);
498f0fd8f6SDimitry Andric   }
508f0fd8f6SDimitry Andric 
getPassName() const51d88c1a5aSDimitry Andric   StringRef getPassName() const override { return "R600 Packetizer"; }
528f0fd8f6SDimitry Andric 
538f0fd8f6SDimitry Andric   bool runOnMachineFunction(MachineFunction &Fn) override;
548f0fd8f6SDimitry Andric };
558f0fd8f6SDimitry Andric 
568f0fd8f6SDimitry Andric class R600PacketizerList : public VLIWPacketizerList {
578f0fd8f6SDimitry Andric private:
588f0fd8f6SDimitry Andric   const R600InstrInfo *TII;
598f0fd8f6SDimitry Andric   const R600RegisterInfo &TRI;
608f0fd8f6SDimitry Andric   bool VLIW5;
618f0fd8f6SDimitry Andric   bool ConsideredInstUsesAlreadyWrittenVectorElement;
628f0fd8f6SDimitry Andric 
getSlot(const MachineInstr & MI) const633ca95b02SDimitry Andric   unsigned getSlot(const MachineInstr &MI) const {
643ca95b02SDimitry Andric     return TRI.getHWRegChan(MI.getOperand(0).getReg());
658f0fd8f6SDimitry Andric   }
668f0fd8f6SDimitry Andric 
678f0fd8f6SDimitry Andric   /// \returns register to PV chan mapping for bundle/single instructions that
688f0fd8f6SDimitry Andric   /// immediately precedes I.
getPreviousVector(MachineBasicBlock::iterator I) const698f0fd8f6SDimitry Andric   DenseMap<unsigned, unsigned> getPreviousVector(MachineBasicBlock::iterator I)
708f0fd8f6SDimitry Andric       const {
718f0fd8f6SDimitry Andric     DenseMap<unsigned, unsigned> Result;
728f0fd8f6SDimitry Andric     I--;
738f0fd8f6SDimitry Andric     if (!TII->isALUInstr(I->getOpcode()) && !I->isBundle())
748f0fd8f6SDimitry Andric       return Result;
758f0fd8f6SDimitry Andric     MachineBasicBlock::instr_iterator BI = I.getInstrIterator();
768f0fd8f6SDimitry Andric     if (I->isBundle())
778f0fd8f6SDimitry Andric       BI++;
788f0fd8f6SDimitry Andric     int LastDstChan = -1;
798f0fd8f6SDimitry Andric     do {
808f0fd8f6SDimitry Andric       bool isTrans = false;
813ca95b02SDimitry Andric       int BISlot = getSlot(*BI);
828f0fd8f6SDimitry Andric       if (LastDstChan >= BISlot)
838f0fd8f6SDimitry Andric         isTrans = true;
848f0fd8f6SDimitry Andric       LastDstChan = BISlot;
853ca95b02SDimitry Andric       if (TII->isPredicated(*BI))
868f0fd8f6SDimitry Andric         continue;
87*4ba319b5SDimitry Andric       int OperandIdx = TII->getOperandIdx(BI->getOpcode(), R600::OpName::write);
888f0fd8f6SDimitry Andric       if (OperandIdx > -1 && BI->getOperand(OperandIdx).getImm() == 0)
898f0fd8f6SDimitry Andric         continue;
90*4ba319b5SDimitry Andric       int DstIdx = TII->getOperandIdx(BI->getOpcode(), R600::OpName::dst);
918f0fd8f6SDimitry Andric       if (DstIdx == -1) {
928f0fd8f6SDimitry Andric         continue;
938f0fd8f6SDimitry Andric       }
948f0fd8f6SDimitry Andric       unsigned Dst = BI->getOperand(DstIdx).getReg();
953ca95b02SDimitry Andric       if (isTrans || TII->isTransOnly(*BI)) {
96*4ba319b5SDimitry Andric         Result[Dst] = R600::PS;
978f0fd8f6SDimitry Andric         continue;
988f0fd8f6SDimitry Andric       }
99*4ba319b5SDimitry Andric       if (BI->getOpcode() == R600::DOT4_r600 ||
100*4ba319b5SDimitry Andric           BI->getOpcode() == R600::DOT4_eg) {
101*4ba319b5SDimitry Andric         Result[Dst] = R600::PV_X;
1028f0fd8f6SDimitry Andric         continue;
1038f0fd8f6SDimitry Andric       }
104*4ba319b5SDimitry Andric       if (Dst == R600::OQAP) {
1058f0fd8f6SDimitry Andric         continue;
1068f0fd8f6SDimitry Andric       }
1078f0fd8f6SDimitry Andric       unsigned PVReg = 0;
1088f0fd8f6SDimitry Andric       switch (TRI.getHWRegChan(Dst)) {
1098f0fd8f6SDimitry Andric       case 0:
110*4ba319b5SDimitry Andric         PVReg = R600::PV_X;
1118f0fd8f6SDimitry Andric         break;
1128f0fd8f6SDimitry Andric       case 1:
113*4ba319b5SDimitry Andric         PVReg = R600::PV_Y;
1148f0fd8f6SDimitry Andric         break;
1158f0fd8f6SDimitry Andric       case 2:
116*4ba319b5SDimitry Andric         PVReg = R600::PV_Z;
1178f0fd8f6SDimitry Andric         break;
1188f0fd8f6SDimitry Andric       case 3:
119*4ba319b5SDimitry Andric         PVReg = R600::PV_W;
1208f0fd8f6SDimitry Andric         break;
1218f0fd8f6SDimitry Andric       default:
1228f0fd8f6SDimitry Andric         llvm_unreachable("Invalid Chan");
1238f0fd8f6SDimitry Andric       }
1248f0fd8f6SDimitry Andric       Result[Dst] = PVReg;
1258f0fd8f6SDimitry Andric     } while ((++BI)->isBundledWithPred());
1268f0fd8f6SDimitry Andric     return Result;
1278f0fd8f6SDimitry Andric   }
1288f0fd8f6SDimitry Andric 
substitutePV(MachineInstr & MI,const DenseMap<unsigned,unsigned> & PVs) const1293ca95b02SDimitry Andric   void substitutePV(MachineInstr &MI, const DenseMap<unsigned, unsigned> &PVs)
1308f0fd8f6SDimitry Andric       const {
1318f0fd8f6SDimitry Andric     unsigned Ops[] = {
132*4ba319b5SDimitry Andric       R600::OpName::src0,
133*4ba319b5SDimitry Andric       R600::OpName::src1,
134*4ba319b5SDimitry Andric       R600::OpName::src2
1358f0fd8f6SDimitry Andric     };
1368f0fd8f6SDimitry Andric     for (unsigned i = 0; i < 3; i++) {
1373ca95b02SDimitry Andric       int OperandIdx = TII->getOperandIdx(MI.getOpcode(), Ops[i]);
1388f0fd8f6SDimitry Andric       if (OperandIdx < 0)
1398f0fd8f6SDimitry Andric         continue;
1403ca95b02SDimitry Andric       unsigned Src = MI.getOperand(OperandIdx).getReg();
1418f0fd8f6SDimitry Andric       const DenseMap<unsigned, unsigned>::const_iterator It = PVs.find(Src);
1428f0fd8f6SDimitry Andric       if (It != PVs.end())
1433ca95b02SDimitry Andric         MI.getOperand(OperandIdx).setReg(It->second);
1448f0fd8f6SDimitry Andric     }
1458f0fd8f6SDimitry Andric   }
1468f0fd8f6SDimitry Andric public:
1478f0fd8f6SDimitry Andric   // Ctor.
R600PacketizerList(MachineFunction & MF,const R600Subtarget & ST,MachineLoopInfo & MLI)1483ca95b02SDimitry Andric   R600PacketizerList(MachineFunction &MF, const R600Subtarget &ST,
1493ca95b02SDimitry Andric                      MachineLoopInfo &MLI)
1507d523365SDimitry Andric       : VLIWPacketizerList(MF, MLI, nullptr),
1513ca95b02SDimitry Andric         TII(ST.getInstrInfo()),
1528f0fd8f6SDimitry Andric         TRI(TII->getRegisterInfo()) {
1533ca95b02SDimitry Andric     VLIW5 = !ST.hasCaymanISA();
1548f0fd8f6SDimitry Andric   }
1558f0fd8f6SDimitry Andric 
1568f0fd8f6SDimitry Andric   // initPacketizerState - initialize some internal flags.
initPacketizerState()1578f0fd8f6SDimitry Andric   void initPacketizerState() override {
1588f0fd8f6SDimitry Andric     ConsideredInstUsesAlreadyWrittenVectorElement = false;
1598f0fd8f6SDimitry Andric   }
1608f0fd8f6SDimitry Andric 
1618f0fd8f6SDimitry Andric   // ignorePseudoInstruction - Ignore bundling of pseudo instructions.
ignorePseudoInstruction(const MachineInstr & MI,const MachineBasicBlock * MBB)1623ca95b02SDimitry Andric   bool ignorePseudoInstruction(const MachineInstr &MI,
1637d523365SDimitry Andric                                const MachineBasicBlock *MBB) override {
1648f0fd8f6SDimitry Andric     return false;
1658f0fd8f6SDimitry Andric   }
1668f0fd8f6SDimitry Andric 
1678f0fd8f6SDimitry Andric   // isSoloInstruction - return true if instruction MI can not be packetized
1688f0fd8f6SDimitry Andric   // with any other instruction, which means that MI itself is a packet.
isSoloInstruction(const MachineInstr & MI)1693ca95b02SDimitry Andric   bool isSoloInstruction(const MachineInstr &MI) override {
1703ca95b02SDimitry Andric     if (TII->isVector(MI))
1718f0fd8f6SDimitry Andric       return true;
1723ca95b02SDimitry Andric     if (!TII->isALUInstr(MI.getOpcode()))
1738f0fd8f6SDimitry Andric       return true;
174*4ba319b5SDimitry Andric     if (MI.getOpcode() == R600::GROUP_BARRIER)
1758f0fd8f6SDimitry Andric       return true;
1768f0fd8f6SDimitry Andric     // XXX: This can be removed once the packetizer properly handles all the
1778f0fd8f6SDimitry Andric     // LDS instruction group restrictions.
1783ca95b02SDimitry Andric     return TII->isLDSInstr(MI.getOpcode());
1798f0fd8f6SDimitry Andric   }
1808f0fd8f6SDimitry Andric 
1818f0fd8f6SDimitry Andric   // isLegalToPacketizeTogether - Is it legal to packetize SUI and SUJ
1828f0fd8f6SDimitry Andric   // together.
isLegalToPacketizeTogether(SUnit * SUI,SUnit * SUJ)1838f0fd8f6SDimitry Andric   bool isLegalToPacketizeTogether(SUnit *SUI, SUnit *SUJ) override {
1848f0fd8f6SDimitry Andric     MachineInstr *MII = SUI->getInstr(), *MIJ = SUJ->getInstr();
1853ca95b02SDimitry Andric     if (getSlot(*MII) == getSlot(*MIJ))
1868f0fd8f6SDimitry Andric       ConsideredInstUsesAlreadyWrittenVectorElement = true;
1878f0fd8f6SDimitry Andric     // Does MII and MIJ share the same pred_sel ?
188*4ba319b5SDimitry Andric     int OpI = TII->getOperandIdx(MII->getOpcode(), R600::OpName::pred_sel),
189*4ba319b5SDimitry Andric         OpJ = TII->getOperandIdx(MIJ->getOpcode(), R600::OpName::pred_sel);
1908f0fd8f6SDimitry Andric     unsigned PredI = (OpI > -1)?MII->getOperand(OpI).getReg():0,
1918f0fd8f6SDimitry Andric         PredJ = (OpJ > -1)?MIJ->getOperand(OpJ).getReg():0;
1928f0fd8f6SDimitry Andric     if (PredI != PredJ)
1938f0fd8f6SDimitry Andric       return false;
1948f0fd8f6SDimitry Andric     if (SUJ->isSucc(SUI)) {
1958f0fd8f6SDimitry Andric       for (unsigned i = 0, e = SUJ->Succs.size(); i < e; ++i) {
1968f0fd8f6SDimitry Andric         const SDep &Dep = SUJ->Succs[i];
1978f0fd8f6SDimitry Andric         if (Dep.getSUnit() != SUI)
1988f0fd8f6SDimitry Andric           continue;
1998f0fd8f6SDimitry Andric         if (Dep.getKind() == SDep::Anti)
2008f0fd8f6SDimitry Andric           continue;
2018f0fd8f6SDimitry Andric         if (Dep.getKind() == SDep::Output)
2028f0fd8f6SDimitry Andric           if (MII->getOperand(0).getReg() != MIJ->getOperand(0).getReg())
2038f0fd8f6SDimitry Andric             continue;
2048f0fd8f6SDimitry Andric         return false;
2058f0fd8f6SDimitry Andric       }
2068f0fd8f6SDimitry Andric     }
2078f0fd8f6SDimitry Andric 
2083ca95b02SDimitry Andric     bool ARDef =
2093ca95b02SDimitry Andric         TII->definesAddressRegister(*MII) || TII->definesAddressRegister(*MIJ);
2103ca95b02SDimitry Andric     bool ARUse =
2113ca95b02SDimitry Andric         TII->usesAddressRegister(*MII) || TII->usesAddressRegister(*MIJ);
2128f0fd8f6SDimitry Andric 
2133ca95b02SDimitry Andric     return !ARDef || !ARUse;
2148f0fd8f6SDimitry Andric   }
2158f0fd8f6SDimitry Andric 
2168f0fd8f6SDimitry Andric   // isLegalToPruneDependencies - Is it legal to prune dependece between SUI
2178f0fd8f6SDimitry Andric   // and SUJ.
isLegalToPruneDependencies(SUnit * SUI,SUnit * SUJ)2188f0fd8f6SDimitry Andric   bool isLegalToPruneDependencies(SUnit *SUI, SUnit *SUJ) override {
2198f0fd8f6SDimitry Andric     return false;
2208f0fd8f6SDimitry Andric   }
2218f0fd8f6SDimitry Andric 
setIsLastBit(MachineInstr * MI,unsigned Bit) const2228f0fd8f6SDimitry Andric   void setIsLastBit(MachineInstr *MI, unsigned Bit) const {
223*4ba319b5SDimitry Andric     unsigned LastOp = TII->getOperandIdx(MI->getOpcode(), R600::OpName::last);
2248f0fd8f6SDimitry Andric     MI->getOperand(LastOp).setImm(Bit);
2258f0fd8f6SDimitry Andric   }
2268f0fd8f6SDimitry Andric 
isBundlableWithCurrentPMI(MachineInstr & MI,const DenseMap<unsigned,unsigned> & PV,std::vector<R600InstrInfo::BankSwizzle> & BS,bool & isTransSlot)2273ca95b02SDimitry Andric   bool isBundlableWithCurrentPMI(MachineInstr &MI,
2288f0fd8f6SDimitry Andric                                  const DenseMap<unsigned, unsigned> &PV,
2298f0fd8f6SDimitry Andric                                  std::vector<R600InstrInfo::BankSwizzle> &BS,
2308f0fd8f6SDimitry Andric                                  bool &isTransSlot) {
2318f0fd8f6SDimitry Andric     isTransSlot = TII->isTransOnly(MI);
2328f0fd8f6SDimitry Andric     assert (!isTransSlot || VLIW5);
2338f0fd8f6SDimitry Andric 
2348f0fd8f6SDimitry Andric     // Is the dst reg sequence legal ?
2358f0fd8f6SDimitry Andric     if (!isTransSlot && !CurrentPacketMIs.empty()) {
2363ca95b02SDimitry Andric       if (getSlot(MI) <= getSlot(*CurrentPacketMIs.back())) {
2378f0fd8f6SDimitry Andric         if (ConsideredInstUsesAlreadyWrittenVectorElement &&
2388f0fd8f6SDimitry Andric             !TII->isVectorOnly(MI) && VLIW5) {
2398f0fd8f6SDimitry Andric           isTransSlot = true;
240*4ba319b5SDimitry Andric           LLVM_DEBUG({
2413ca95b02SDimitry Andric             dbgs() << "Considering as Trans Inst :";
2423ca95b02SDimitry Andric             MI.dump();
2433ca95b02SDimitry Andric           });
2448f0fd8f6SDimitry Andric         }
2458f0fd8f6SDimitry Andric         else
2468f0fd8f6SDimitry Andric           return false;
2478f0fd8f6SDimitry Andric       }
2488f0fd8f6SDimitry Andric     }
2498f0fd8f6SDimitry Andric 
2508f0fd8f6SDimitry Andric     // Are the Constants limitations met ?
2513ca95b02SDimitry Andric     CurrentPacketMIs.push_back(&MI);
2528f0fd8f6SDimitry Andric     if (!TII->fitsConstReadLimitations(CurrentPacketMIs)) {
253*4ba319b5SDimitry Andric       LLVM_DEBUG({
2548f0fd8f6SDimitry Andric         dbgs() << "Couldn't pack :\n";
2553ca95b02SDimitry Andric         MI.dump();
2568f0fd8f6SDimitry Andric         dbgs() << "with the following packets :\n";
2578f0fd8f6SDimitry Andric         for (unsigned i = 0, e = CurrentPacketMIs.size() - 1; i < e; i++) {
2588f0fd8f6SDimitry Andric           CurrentPacketMIs[i]->dump();
2598f0fd8f6SDimitry Andric           dbgs() << "\n";
2608f0fd8f6SDimitry Andric         }
2618f0fd8f6SDimitry Andric         dbgs() << "because of Consts read limitations\n";
2623ca95b02SDimitry Andric       });
2638f0fd8f6SDimitry Andric       CurrentPacketMIs.pop_back();
2648f0fd8f6SDimitry Andric       return false;
2658f0fd8f6SDimitry Andric     }
2668f0fd8f6SDimitry Andric 
2678f0fd8f6SDimitry Andric     // Is there a BankSwizzle set that meet Read Port limitations ?
2688f0fd8f6SDimitry Andric     if (!TII->fitsReadPortLimitations(CurrentPacketMIs,
2698f0fd8f6SDimitry Andric             PV, BS, isTransSlot)) {
270*4ba319b5SDimitry Andric       LLVM_DEBUG({
2718f0fd8f6SDimitry Andric         dbgs() << "Couldn't pack :\n";
2723ca95b02SDimitry Andric         MI.dump();
2738f0fd8f6SDimitry Andric         dbgs() << "with the following packets :\n";
2748f0fd8f6SDimitry Andric         for (unsigned i = 0, e = CurrentPacketMIs.size() - 1; i < e; i++) {
2758f0fd8f6SDimitry Andric           CurrentPacketMIs[i]->dump();
2768f0fd8f6SDimitry Andric           dbgs() << "\n";
2778f0fd8f6SDimitry Andric         }
2788f0fd8f6SDimitry Andric         dbgs() << "because of Read port limitations\n";
2793ca95b02SDimitry Andric       });
2808f0fd8f6SDimitry Andric       CurrentPacketMIs.pop_back();
2818f0fd8f6SDimitry Andric       return false;
2828f0fd8f6SDimitry Andric     }
2838f0fd8f6SDimitry Andric 
284d88c1a5aSDimitry Andric     // We cannot read LDS source registers from the Trans slot.
2858f0fd8f6SDimitry Andric     if (isTransSlot && TII->readsLDSSrcReg(MI))
2868f0fd8f6SDimitry Andric       return false;
2878f0fd8f6SDimitry Andric 
2888f0fd8f6SDimitry Andric     CurrentPacketMIs.pop_back();
2898f0fd8f6SDimitry Andric     return true;
2908f0fd8f6SDimitry Andric   }
2918f0fd8f6SDimitry Andric 
addToPacket(MachineInstr & MI)2923ca95b02SDimitry Andric   MachineBasicBlock::iterator addToPacket(MachineInstr &MI) override {
2938f0fd8f6SDimitry Andric     MachineBasicBlock::iterator FirstInBundle =
2943ca95b02SDimitry Andric         CurrentPacketMIs.empty() ? &MI : CurrentPacketMIs.front();
2958f0fd8f6SDimitry Andric     const DenseMap<unsigned, unsigned> &PV =
2968f0fd8f6SDimitry Andric         getPreviousVector(FirstInBundle);
2978f0fd8f6SDimitry Andric     std::vector<R600InstrInfo::BankSwizzle> BS;
2988f0fd8f6SDimitry Andric     bool isTransSlot;
2998f0fd8f6SDimitry Andric 
3008f0fd8f6SDimitry Andric     if (isBundlableWithCurrentPMI(MI, PV, BS, isTransSlot)) {
3018f0fd8f6SDimitry Andric       for (unsigned i = 0, e = CurrentPacketMIs.size(); i < e; i++) {
3028f0fd8f6SDimitry Andric         MachineInstr *MI = CurrentPacketMIs[i];
3038f0fd8f6SDimitry Andric         unsigned Op = TII->getOperandIdx(MI->getOpcode(),
304*4ba319b5SDimitry Andric             R600::OpName::bank_swizzle);
3058f0fd8f6SDimitry Andric         MI->getOperand(Op).setImm(BS[i]);
3068f0fd8f6SDimitry Andric       }
3073ca95b02SDimitry Andric       unsigned Op =
308*4ba319b5SDimitry Andric           TII->getOperandIdx(MI.getOpcode(), R600::OpName::bank_swizzle);
3093ca95b02SDimitry Andric       MI.getOperand(Op).setImm(BS.back());
3108f0fd8f6SDimitry Andric       if (!CurrentPacketMIs.empty())
3118f0fd8f6SDimitry Andric         setIsLastBit(CurrentPacketMIs.back(), 0);
3128f0fd8f6SDimitry Andric       substitutePV(MI, PV);
3138f0fd8f6SDimitry Andric       MachineBasicBlock::iterator It = VLIWPacketizerList::addToPacket(MI);
3148f0fd8f6SDimitry Andric       if (isTransSlot) {
3158f0fd8f6SDimitry Andric         endPacket(std::next(It)->getParent(), std::next(It));
3168f0fd8f6SDimitry Andric       }
3178f0fd8f6SDimitry Andric       return It;
3188f0fd8f6SDimitry Andric     }
3193ca95b02SDimitry Andric     endPacket(MI.getParent(), MI);
3208f0fd8f6SDimitry Andric     if (TII->isTransOnly(MI))
3218f0fd8f6SDimitry Andric       return MI;
3228f0fd8f6SDimitry Andric     return VLIWPacketizerList::addToPacket(MI);
3238f0fd8f6SDimitry Andric   }
3248f0fd8f6SDimitry Andric };
3258f0fd8f6SDimitry Andric 
runOnMachineFunction(MachineFunction & Fn)3268f0fd8f6SDimitry Andric bool R600Packetizer::runOnMachineFunction(MachineFunction &Fn) {
3273ca95b02SDimitry Andric   const R600Subtarget &ST = Fn.getSubtarget<R600Subtarget>();
3283ca95b02SDimitry Andric   const R600InstrInfo *TII = ST.getInstrInfo();
3293ca95b02SDimitry Andric 
3308f0fd8f6SDimitry Andric   MachineLoopInfo &MLI = getAnalysis<MachineLoopInfo>();
3318f0fd8f6SDimitry Andric 
3328f0fd8f6SDimitry Andric   // Instantiate the packetizer.
3333ca95b02SDimitry Andric   R600PacketizerList Packetizer(Fn, ST, MLI);
3348f0fd8f6SDimitry Andric 
3358f0fd8f6SDimitry Andric   // DFA state table should not be empty.
3368f0fd8f6SDimitry Andric   assert(Packetizer.getResourceTracker() && "Empty DFA table!");
337*4ba319b5SDimitry Andric   assert(Packetizer.getResourceTracker()->getInstrItins());
3388f0fd8f6SDimitry Andric 
3393ca95b02SDimitry Andric   if (Packetizer.getResourceTracker()->getInstrItins()->isEmpty())
3403ca95b02SDimitry Andric     return false;
3413ca95b02SDimitry Andric 
3428f0fd8f6SDimitry Andric   //
3438f0fd8f6SDimitry Andric   // Loop over all basic blocks and remove KILL pseudo-instructions
3448f0fd8f6SDimitry Andric   // These instructions confuse the dependence analysis. Consider:
3458f0fd8f6SDimitry Andric   // D0 = ...   (Insn 0)
3468f0fd8f6SDimitry Andric   // R0 = KILL R0, D0 (Insn 1)
3478f0fd8f6SDimitry Andric   // R0 = ... (Insn 2)
3488f0fd8f6SDimitry Andric   // Here, Insn 1 will result in the dependence graph not emitting an output
3498f0fd8f6SDimitry Andric   // dependence between Insn 0 and Insn 2. This can lead to incorrect
3508f0fd8f6SDimitry Andric   // packetization
3518f0fd8f6SDimitry Andric   //
3528f0fd8f6SDimitry Andric   for (MachineFunction::iterator MBB = Fn.begin(), MBBe = Fn.end();
3538f0fd8f6SDimitry Andric        MBB != MBBe; ++MBB) {
3548f0fd8f6SDimitry Andric     MachineBasicBlock::iterator End = MBB->end();
3558f0fd8f6SDimitry Andric     MachineBasicBlock::iterator MI = MBB->begin();
3568f0fd8f6SDimitry Andric     while (MI != End) {
357*4ba319b5SDimitry Andric       if (MI->isKill() || MI->getOpcode() == R600::IMPLICIT_DEF ||
358*4ba319b5SDimitry Andric           (MI->getOpcode() == R600::CF_ALU && !MI->getOperand(8).getImm())) {
3598f0fd8f6SDimitry Andric         MachineBasicBlock::iterator DeleteMI = MI;
3608f0fd8f6SDimitry Andric         ++MI;
3618f0fd8f6SDimitry Andric         MBB->erase(DeleteMI);
3628f0fd8f6SDimitry Andric         End = MBB->end();
3638f0fd8f6SDimitry Andric         continue;
3648f0fd8f6SDimitry Andric       }
3658f0fd8f6SDimitry Andric       ++MI;
3668f0fd8f6SDimitry Andric     }
3678f0fd8f6SDimitry Andric   }
3688f0fd8f6SDimitry Andric 
3698f0fd8f6SDimitry Andric   // Loop over all of the basic blocks.
3708f0fd8f6SDimitry Andric   for (MachineFunction::iterator MBB = Fn.begin(), MBBe = Fn.end();
3718f0fd8f6SDimitry Andric        MBB != MBBe; ++MBB) {
3728f0fd8f6SDimitry Andric     // Find scheduling regions and schedule / packetize each region.
3738f0fd8f6SDimitry Andric     unsigned RemainingCount = MBB->size();
3748f0fd8f6SDimitry Andric     for(MachineBasicBlock::iterator RegionEnd = MBB->end();
3758f0fd8f6SDimitry Andric         RegionEnd != MBB->begin();) {
3768f0fd8f6SDimitry Andric       // The next region starts above the previous region. Look backward in the
3778f0fd8f6SDimitry Andric       // instruction stream until we find the nearest boundary.
3788f0fd8f6SDimitry Andric       MachineBasicBlock::iterator I = RegionEnd;
3798f0fd8f6SDimitry Andric       for(;I != MBB->begin(); --I, --RemainingCount) {
3803ca95b02SDimitry Andric         if (TII->isSchedulingBoundary(*std::prev(I), &*MBB, Fn))
3818f0fd8f6SDimitry Andric           break;
3828f0fd8f6SDimitry Andric       }
3838f0fd8f6SDimitry Andric       I = MBB->begin();
3848f0fd8f6SDimitry Andric 
3858f0fd8f6SDimitry Andric       // Skip empty scheduling regions.
3868f0fd8f6SDimitry Andric       if (I == RegionEnd) {
3878f0fd8f6SDimitry Andric         RegionEnd = std::prev(RegionEnd);
3888f0fd8f6SDimitry Andric         --RemainingCount;
3898f0fd8f6SDimitry Andric         continue;
3908f0fd8f6SDimitry Andric       }
3918f0fd8f6SDimitry Andric       // Skip regions with one instruction.
3928f0fd8f6SDimitry Andric       if (I == std::prev(RegionEnd)) {
3938f0fd8f6SDimitry Andric         RegionEnd = std::prev(RegionEnd);
3948f0fd8f6SDimitry Andric         continue;
3958f0fd8f6SDimitry Andric       }
3968f0fd8f6SDimitry Andric 
3977d523365SDimitry Andric       Packetizer.PacketizeMIs(&*MBB, &*I, RegionEnd);
3988f0fd8f6SDimitry Andric       RegionEnd = I;
3998f0fd8f6SDimitry Andric     }
4008f0fd8f6SDimitry Andric   }
4018f0fd8f6SDimitry Andric 
4028f0fd8f6SDimitry Andric   return true;
4038f0fd8f6SDimitry Andric 
4048f0fd8f6SDimitry Andric }
4058f0fd8f6SDimitry Andric 
4068f0fd8f6SDimitry Andric } // end anonymous namespace
4078f0fd8f6SDimitry Andric 
4082cab237bSDimitry Andric INITIALIZE_PASS_BEGIN(R600Packetizer, DEBUG_TYPE,
4092cab237bSDimitry Andric                      "R600 Packetizer", false, false)
4102cab237bSDimitry Andric INITIALIZE_PASS_END(R600Packetizer, DEBUG_TYPE,
4112cab237bSDimitry Andric                     "R600 Packetizer", false, false)
4122cab237bSDimitry Andric 
4132cab237bSDimitry Andric char R600Packetizer::ID = 0;
4142cab237bSDimitry Andric 
4152cab237bSDimitry Andric char &llvm::R600PacketizerID = R600Packetizer::ID;
4162cab237bSDimitry Andric 
createR600Packetizer()417d8866befSDimitry Andric llvm::FunctionPass *llvm::createR600Packetizer() {
418d8866befSDimitry Andric   return new R600Packetizer();
4198f0fd8f6SDimitry Andric }
420