1 //===-- CodeGen/MachineInstBundle.h - MI bundle utilities -------*- C++ -*-===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 // 10 // This file provide utility functions to manipulate machine instruction 11 // bundles. 12 // 13 //===----------------------------------------------------------------------===// 14 15 #ifndef LLVM_CODEGEN_MACHINEINSTRBUNDLE_H 16 #define LLVM_CODEGEN_MACHINEINSTRBUNDLE_H 17 18 #include "llvm/CodeGen/MachineBasicBlock.h" 19 20 namespace llvm { 21 22 /// finalizeBundle - Finalize a machine instruction bundle which includes 23 /// a sequence of instructions starting from FirstMI to LastMI (exclusive). 24 /// This routine adds a BUNDLE instruction to represent the bundle, it adds 25 /// IsInternalRead markers to MachineOperands which are defined inside the 26 /// bundle, and it copies externally visible defs and uses to the BUNDLE 27 /// instruction. 28 void finalizeBundle(MachineBasicBlock &MBB, 29 MachineBasicBlock::instr_iterator FirstMI, 30 MachineBasicBlock::instr_iterator LastMI); 31 32 /// finalizeBundle - Same functionality as the previous finalizeBundle except 33 /// the last instruction in the bundle is not provided as an input. This is 34 /// used in cases where bundles are pre-determined by marking instructions 35 /// with 'InsideBundle' marker. It returns the MBB instruction iterator that 36 /// points to the end of the bundle. 37 MachineBasicBlock::instr_iterator finalizeBundle(MachineBasicBlock &MBB, 38 MachineBasicBlock::instr_iterator FirstMI); 39 40 /// finalizeBundles - Finalize instruction bundles in the specified 41 /// MachineFunction. Return true if any bundles are finalized. 42 bool finalizeBundles(MachineFunction &MF); 43 44 /// getBundleStart - Returns the first instruction in the bundle containing MI. 45 /// 46 inline MachineInstr &getBundleStart(MachineInstr &MI) { 47 MachineBasicBlock::instr_iterator I(MI); 48 while (I->isBundledWithPred()) 49 --I; 50 return *I; 51 } 52 53 inline const MachineInstr &getBundleStart(const MachineInstr &MI) { 54 MachineBasicBlock::const_instr_iterator I(MI); 55 while (I->isBundledWithPred()) 56 --I; 57 return *I; 58 } 59 60 /// Return an iterator pointing beyond the bundle containing MI. 61 inline MachineBasicBlock::instr_iterator getBundleEnd(MachineInstr &MI) { 62 MachineBasicBlock::instr_iterator I(MI); 63 while (I->isBundledWithSucc()) 64 ++I; 65 return ++I; 66 } 67 68 /// Return an iterator pointing beyond the bundle containing MI. 69 inline MachineBasicBlock::const_instr_iterator 70 getBundleEnd(const MachineInstr &MI) { 71 MachineBasicBlock::const_instr_iterator I(MI); 72 while (I->isBundledWithSucc()) 73 ++I; 74 return ++I; 75 } 76 77 //===----------------------------------------------------------------------===// 78 // MachineOperand iterator 79 // 80 81 /// MachineOperandIteratorBase - Iterator that can visit all operands on a 82 /// MachineInstr, or all operands on a bundle of MachineInstrs. This class is 83 /// not intended to be used directly, use one of the sub-classes instead. 84 /// 85 /// Intended use: 86 /// 87 /// for (MIBundleOperands MIO(MI); MIO.isValid(); ++MIO) { 88 /// if (!MIO->isReg()) 89 /// continue; 90 /// ... 91 /// } 92 /// 93 class MachineOperandIteratorBase { 94 MachineBasicBlock::instr_iterator InstrI, InstrE; 95 MachineInstr::mop_iterator OpI, OpE; 96 97 // If the operands on InstrI are exhausted, advance InstrI to the next 98 // bundled instruction with operands. 99 void advance() { 100 while (OpI == OpE) { 101 // Don't advance off the basic block, or into a new bundle. 102 if (++InstrI == InstrE || !InstrI->isInsideBundle()) 103 break; 104 OpI = InstrI->operands_begin(); 105 OpE = InstrI->operands_end(); 106 } 107 } 108 109 protected: 110 /// MachineOperandIteratorBase - Create an iterator that visits all operands 111 /// on MI, or all operands on every instruction in the bundle containing MI. 112 /// 113 /// @param MI The instruction to examine. 114 /// @param WholeBundle When true, visit all operands on the entire bundle. 115 /// 116 explicit MachineOperandIteratorBase(MachineInstr &MI, bool WholeBundle) { 117 if (WholeBundle) { 118 InstrI = getBundleStart(MI).getIterator(); 119 InstrE = MI.getParent()->instr_end(); 120 } else { 121 InstrI = InstrE = MI.getIterator(); 122 ++InstrE; 123 } 124 OpI = InstrI->operands_begin(); 125 OpE = InstrI->operands_end(); 126 if (WholeBundle) 127 advance(); 128 } 129 130 MachineOperand &deref() const { return *OpI; } 131 132 public: 133 /// isValid - Returns true until all the operands have been visited. 134 bool isValid() const { return OpI != OpE; } 135 136 /// Preincrement. Move to the next operand. 137 void operator++() { 138 assert(isValid() && "Cannot advance MIOperands beyond the last operand"); 139 ++OpI; 140 advance(); 141 } 142 143 /// getOperandNo - Returns the number of the current operand relative to its 144 /// instruction. 145 /// 146 unsigned getOperandNo() const { 147 return OpI - InstrI->operands_begin(); 148 } 149 150 /// VirtRegInfo - Information about a virtual register used by a set of operands. 151 /// 152 struct VirtRegInfo { 153 /// Reads - One of the operands read the virtual register. This does not 154 /// include <undef> or <internal> use operands, see MO::readsReg(). 155 bool Reads; 156 157 /// Writes - One of the operands writes the virtual register. 158 bool Writes; 159 160 /// Tied - Uses and defs must use the same register. This can be because of 161 /// a two-address constraint, or there may be a partial redefinition of a 162 /// sub-register. 163 bool Tied; 164 }; 165 166 /// Information about how a physical register Reg is used by a set of 167 /// operands. 168 struct PhysRegInfo { 169 /// There is a regmask operand indicating Reg is clobbered. 170 /// \see MachineOperand::CreateRegMask(). 171 bool Clobbered; 172 173 /// Reg or one of its aliases is defined. The definition may only cover 174 /// parts of the register. 175 bool Defined; 176 /// Reg or a super-register is defined. The definition covers the full 177 /// register. 178 bool FullyDefined; 179 180 /// Reg or one of its aliases is read. The register may only be read 181 /// partially. 182 bool Read; 183 /// Reg or a super-register is read. The full register is read. 184 bool FullyRead; 185 186 /// Either: 187 /// - Reg is FullyDefined and all defs of reg or an overlapping 188 /// register are dead, or 189 /// - Reg is completely dead because "defined" by a clobber. 190 bool DeadDef; 191 192 /// Reg is Defined and all defs of reg or an overlapping register are 193 /// dead. 194 bool PartialDeadDef; 195 196 /// There is a use operand of reg or a super-register with kill flag set. 197 bool Killed; 198 }; 199 200 /// analyzeVirtReg - Analyze how the current instruction or bundle uses a 201 /// virtual register. This function should not be called after operator++(), 202 /// it expects a fresh iterator. 203 /// 204 /// @param Reg The virtual register to analyze. 205 /// @param Ops When set, this vector will receive an (MI, OpNum) entry for 206 /// each operand referring to Reg. 207 /// @returns A filled-in RegInfo struct. 208 VirtRegInfo analyzeVirtReg(unsigned Reg, 209 SmallVectorImpl<std::pair<MachineInstr*, unsigned> > *Ops = nullptr); 210 211 /// analyzePhysReg - Analyze how the current instruction or bundle uses a 212 /// physical register. This function should not be called after operator++(), 213 /// it expects a fresh iterator. 214 /// 215 /// @param Reg The physical register to analyze. 216 /// @returns A filled-in PhysRegInfo struct. 217 PhysRegInfo analyzePhysReg(unsigned Reg, const TargetRegisterInfo *TRI); 218 }; 219 220 /// MIOperands - Iterate over operands of a single instruction. 221 /// 222 class MIOperands : public MachineOperandIteratorBase { 223 public: 224 MIOperands(MachineInstr &MI) : MachineOperandIteratorBase(MI, false) {} 225 MachineOperand &operator* () const { return deref(); } 226 MachineOperand *operator->() const { return &deref(); } 227 }; 228 229 /// ConstMIOperands - Iterate over operands of a single const instruction. 230 /// 231 class ConstMIOperands : public MachineOperandIteratorBase { 232 public: 233 ConstMIOperands(const MachineInstr &MI) 234 : MachineOperandIteratorBase(const_cast<MachineInstr &>(MI), false) {} 235 const MachineOperand &operator* () const { return deref(); } 236 const MachineOperand *operator->() const { return &deref(); } 237 }; 238 239 /// MIBundleOperands - Iterate over all operands in a bundle of machine 240 /// instructions. 241 /// 242 class MIBundleOperands : public MachineOperandIteratorBase { 243 public: 244 MIBundleOperands(MachineInstr &MI) : MachineOperandIteratorBase(MI, true) {} 245 MachineOperand &operator* () const { return deref(); } 246 MachineOperand *operator->() const { return &deref(); } 247 }; 248 249 /// ConstMIBundleOperands - Iterate over all operands in a const bundle of 250 /// machine instructions. 251 /// 252 class ConstMIBundleOperands : public MachineOperandIteratorBase { 253 public: 254 ConstMIBundleOperands(const MachineInstr &MI) 255 : MachineOperandIteratorBase(const_cast<MachineInstr &>(MI), true) {} 256 const MachineOperand &operator* () const { return deref(); } 257 const MachineOperand *operator->() const { return &deref(); } 258 }; 259 260 } // End llvm namespace 261 262 #endif 263