MachineInstrBundle.cpp 5.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180
  1. //===-- lib/CodeGen/MachineInstrBundle.cpp --------------------------------===//
  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. #include "llvm/CodeGen/MachineInstrBundle.h"
  10. #include "llvm/CodeGen/MachineInstrBuilder.h"
  11. #include "llvm/CodeGen/Passes.h"
  12. #include "llvm/CodeGen/MachineFunctionPass.h"
  13. #include "llvm/Target/TargetInstrInfo.h"
  14. #include "llvm/Target/TargetMachine.h"
  15. #include "llvm/Target/TargetRegisterInfo.h"
  16. #include "llvm/ADT/SmallSet.h"
  17. #include "llvm/ADT/SmallVector.h"
  18. using namespace llvm;
  19. namespace {
  20. class UnpackMachineBundles : public MachineFunctionPass {
  21. public:
  22. static char ID; // Pass identification
  23. UnpackMachineBundles() : MachineFunctionPass(ID) {
  24. initializeUnpackMachineBundlesPass(*PassRegistry::getPassRegistry());
  25. }
  26. virtual bool runOnMachineFunction(MachineFunction &MF);
  27. };
  28. } // end anonymous namespace
  29. char UnpackMachineBundles::ID = 0;
  30. INITIALIZE_PASS(UnpackMachineBundles, "unpack-mi-bundle",
  31. "Unpack machine instruction bundles", false, false)
  32. FunctionPass *llvm::createUnpackMachineBundlesPass() {
  33. return new UnpackMachineBundles();
  34. }
  35. bool UnpackMachineBundles::runOnMachineFunction(MachineFunction &MF) {
  36. bool Changed = false;
  37. for (MachineFunction::iterator I = MF.begin(), E = MF.end(); I != E; ++I) {
  38. MachineBasicBlock *MBB = &*I;
  39. for (MachineBasicBlock::instr_iterator MII = MBB->instr_begin(),
  40. MIE = MBB->instr_end(); MII != MIE; ) {
  41. MachineInstr *MI = &*MII;
  42. // Remove BUNDLE instruction and the InsideBundle flags from bundled
  43. // instructions.
  44. if (MI->isBundle()) {
  45. while (++MII != MIE && MII->isInsideBundle()) {
  46. MII->setIsInsideBundle(false);
  47. for (unsigned i = 0, e = MII->getNumOperands(); i != e; ++i) {
  48. MachineOperand &MO = MII->getOperand(i);
  49. if (MO.isReg() && MO.isInternalRead())
  50. MO.setIsInternalRead(false);
  51. }
  52. }
  53. MI->eraseFromParent();
  54. Changed = true;
  55. continue;
  56. }
  57. ++MII;
  58. }
  59. }
  60. return Changed;
  61. }
  62. /// FinalizeBundle - Finalize a machine instruction bundle which includes
  63. /// a sequence of instructions starting from FirstMI to LastMI (inclusive).
  64. /// This routine adds a BUNDLE instruction to represent the bundle, it adds
  65. /// IsInternalRead markers to MachineOperands which are defined inside the
  66. /// bundle, and it copies externally visible defs and uses to the BUNDLE
  67. /// instruction.
  68. void llvm::FinalizeBundle(MachineBasicBlock &MBB,
  69. MachineBasicBlock::instr_iterator FirstMI,
  70. MachineBasicBlock::instr_iterator LastMI) {
  71. const TargetMachine &TM = MBB.getParent()->getTarget();
  72. const TargetInstrInfo *TII = TM.getInstrInfo();
  73. const TargetRegisterInfo *TRI = TM.getRegisterInfo();
  74. MachineInstrBuilder MIB = BuildMI(MBB, FirstMI, FirstMI->getDebugLoc(),
  75. TII->get(TargetOpcode::BUNDLE));
  76. SmallVector<unsigned, 8> LocalDefs;
  77. SmallSet<unsigned, 8> LocalDefSet;
  78. SmallSet<unsigned, 8> DeadDefSet;
  79. SmallSet<unsigned, 8> KilledDefSet;
  80. SmallVector<unsigned, 8> ExternUses;
  81. SmallSet<unsigned, 8> ExternUseSet;
  82. SmallSet<unsigned, 8> KilledUseSet;
  83. SmallSet<unsigned, 8> UndefUseSet;
  84. SmallVector<MachineOperand*, 4> Defs;
  85. do {
  86. for (unsigned i = 0, e = FirstMI->getNumOperands(); i != e; ++i) {
  87. MachineOperand &MO = FirstMI->getOperand(i);
  88. if (!MO.isReg())
  89. continue;
  90. if (MO.isDef()) {
  91. Defs.push_back(&MO);
  92. continue;
  93. }
  94. unsigned Reg = MO.getReg();
  95. if (!Reg)
  96. continue;
  97. assert(TargetRegisterInfo::isPhysicalRegister(Reg));
  98. if (LocalDefSet.count(Reg)) {
  99. MO.setIsInternalRead();
  100. if (MO.isKill())
  101. // Internal def is now killed.
  102. KilledDefSet.insert(Reg);
  103. } else {
  104. if (ExternUseSet.insert(Reg)) {
  105. ExternUses.push_back(Reg);
  106. if (MO.isUndef())
  107. UndefUseSet.insert(Reg);
  108. }
  109. if (MO.isKill())
  110. // External def is now killed.
  111. KilledUseSet.insert(Reg);
  112. }
  113. }
  114. for (unsigned i = 0, e = Defs.size(); i != e; ++i) {
  115. MachineOperand &MO = *Defs[i];
  116. unsigned Reg = MO.getReg();
  117. if (!Reg)
  118. continue;
  119. if (LocalDefSet.insert(Reg)) {
  120. LocalDefs.push_back(Reg);
  121. if (MO.isDead()) {
  122. DeadDefSet.insert(Reg);
  123. }
  124. } else {
  125. // Re-defined inside the bundle, it's no longer killed.
  126. KilledDefSet.erase(Reg);
  127. if (!MO.isDead())
  128. // Previously defined but dead.
  129. DeadDefSet.erase(Reg);
  130. }
  131. if (!MO.isDead()) {
  132. for (const unsigned *SubRegs = TRI->getSubRegisters(Reg);
  133. unsigned SubReg = *SubRegs; ++SubRegs) {
  134. if (LocalDefSet.insert(SubReg))
  135. LocalDefs.push_back(SubReg);
  136. }
  137. }
  138. }
  139. FirstMI->setIsInsideBundle();
  140. Defs.clear();
  141. } while (FirstMI++ != LastMI);
  142. SmallSet<unsigned, 8> Added;
  143. for (unsigned i = 0, e = LocalDefs.size(); i != e; ++i) {
  144. unsigned Reg = LocalDefs[i];
  145. if (Added.insert(Reg)) {
  146. // If it's not live beyond end of the bundle, mark it dead.
  147. bool isDead = DeadDefSet.count(Reg) || KilledDefSet.count(Reg);
  148. MIB.addReg(Reg, getDefRegState(true) | getDeadRegState(isDead) |
  149. getImplRegState(true));
  150. }
  151. }
  152. for (unsigned i = 0, e = ExternUses.size(); i != e; ++i) {
  153. unsigned Reg = ExternUses[i];
  154. bool isKill = KilledUseSet.count(Reg);
  155. bool isUndef = UndefUseSet.count(Reg);
  156. MIB.addReg(Reg, getKillRegState(isKill) | getUndefRegState(isUndef) |
  157. getImplRegState(true));
  158. }
  159. }