Tom Stellard | f98f2ce | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 1 | //===-- R600InstrInfo.h - R600 Instruction Info Interface -------*- 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 | /// \file |
| 11 | /// \brief Interface definition for R600InstrInfo |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | #ifndef R600INSTRUCTIONINFO_H_ |
| 16 | #define R600INSTRUCTIONINFO_H_ |
| 17 | |
Tom Stellard | f98f2ce | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 18 | #include "AMDGPUInstrInfo.h" |
Chandler Carruth | 58a2cbe | 2013-01-02 10:22:59 +0000 | [diff] [blame] | 19 | #include "AMDIL.h" |
Tom Stellard | f98f2ce | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 20 | #include "R600Defines.h" |
| 21 | #include "R600RegisterInfo.h" |
Tom Stellard | f98f2ce | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 22 | #include <map> |
| 23 | |
| 24 | namespace llvm { |
| 25 | |
| 26 | class AMDGPUTargetMachine; |
| 27 | class DFAPacketizer; |
| 28 | class ScheduleDAG; |
| 29 | class MachineFunction; |
| 30 | class MachineInstr; |
| 31 | class MachineInstrBuilder; |
| 32 | |
| 33 | class R600InstrInfo : public AMDGPUInstrInfo { |
| 34 | private: |
| 35 | const R600RegisterInfo RI; |
Vincent Lejeune | 631591e | 2013-04-30 00:13:39 +0000 | [diff] [blame] | 36 | const AMDGPUSubtarget &ST; |
Tom Stellard | f98f2ce | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 37 | |
| 38 | int getBranchInstr(const MachineOperand &op) const; |
Vincent Lejeune | 25c209e | 2013-05-17 16:50:02 +0000 | [diff] [blame] | 39 | std::vector<std::pair<int, unsigned> > |
| 40 | ExtractSrcs(MachineInstr *MI, const DenseMap<unsigned, unsigned> &PV) const; |
Tom Stellard | f98f2ce | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 41 | |
| 42 | public: |
Vincent Lejeune | 25c209e | 2013-05-17 16:50:02 +0000 | [diff] [blame] | 43 | enum BankSwizzle { |
| 44 | ALU_VEC_012 = 0, |
| 45 | ALU_VEC_021, |
| 46 | ALU_VEC_120, |
| 47 | ALU_VEC_102, |
| 48 | ALU_VEC_201, |
| 49 | ALU_VEC_210 |
| 50 | }; |
| 51 | |
Tom Stellard | f98f2ce | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 52 | explicit R600InstrInfo(AMDGPUTargetMachine &tm); |
| 53 | |
| 54 | const R600RegisterInfo &getRegisterInfo() const; |
| 55 | virtual void copyPhysReg(MachineBasicBlock &MBB, |
| 56 | MachineBasicBlock::iterator MI, DebugLoc DL, |
| 57 | unsigned DestReg, unsigned SrcReg, |
| 58 | bool KillSrc) const; |
| 59 | |
| 60 | bool isTrig(const MachineInstr &MI) const; |
| 61 | bool isPlaceHolderOpcode(unsigned opcode) const; |
| 62 | bool isReductionOp(unsigned opcode) const; |
| 63 | bool isCubeOp(unsigned opcode) const; |
| 64 | |
| 65 | /// \returns true if this \p Opcode represents an ALU instruction. |
| 66 | bool isALUInstr(unsigned Opcode) const; |
| 67 | |
Vincent Lejeune | abcde26 | 2013-04-30 00:14:17 +0000 | [diff] [blame] | 68 | bool isTransOnly(unsigned Opcode) const; |
| 69 | bool isTransOnly(const MachineInstr *MI) const; |
| 70 | |
Vincent Lejeune | 631591e | 2013-04-30 00:13:39 +0000 | [diff] [blame] | 71 | bool usesVertexCache(unsigned Opcode) const; |
| 72 | bool usesVertexCache(const MachineInstr *MI) const; |
| 73 | bool usesTextureCache(unsigned Opcode) const; |
| 74 | bool usesTextureCache(const MachineInstr *MI) const; |
| 75 | |
Vincent Lejeune | 25c209e | 2013-05-17 16:50:02 +0000 | [diff] [blame] | 76 | /// \returns a pair for each src of an ALU instructions. |
| 77 | /// The first member of a pair is the register id. |
| 78 | /// If register is ALU_CONST, second member is SEL. |
| 79 | /// If register is ALU_LITERAL, second member is IMM. |
| 80 | /// Otherwise, second member value is undefined. |
| 81 | SmallVector<std::pair<MachineOperand *, int64_t>, 3> |
| 82 | getSrcs(MachineInstr *MI) const; |
| 83 | |
| 84 | /// Given the order VEC_012 < VEC_021 < VEC_120 < VEC_102 < VEC_201 < VEC_210 |
| 85 | /// returns true and the first (in lexical order) BankSwizzle affectation |
| 86 | /// starting from the one already provided in the Instruction Group MIs that |
| 87 | /// fits Read Port limitations in BS if available. Otherwise returns false |
| 88 | /// and undefined content in BS. |
| 89 | /// PV holds GPR to PV registers in the Instruction Group MIs. |
| 90 | bool fitsReadPortLimitations(const std::vector<MachineInstr *> &MIs, |
| 91 | const DenseMap<unsigned, unsigned> &PV, |
| 92 | std::vector<BankSwizzle> &BS) const; |
Vincent Lejeune | 3ab0ba3 | 2013-03-14 15:50:45 +0000 | [diff] [blame] | 93 | bool fitsConstReadLimitations(const std::vector<unsigned>&) const; |
| 94 | bool canBundle(const std::vector<MachineInstr *> &) const; |
| 95 | |
Tom Stellard | f98f2ce | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 96 | /// \breif Vector instructions are instructions that must fill all |
| 97 | /// instruction slots within an instruction group. |
| 98 | bool isVector(const MachineInstr &MI) const; |
| 99 | |
| 100 | virtual MachineInstr * getMovImmInstr(MachineFunction *MF, unsigned DstReg, |
| 101 | int64_t Imm) const; |
| 102 | |
| 103 | virtual unsigned getIEQOpcode() const; |
| 104 | virtual bool isMov(unsigned Opcode) const; |
| 105 | |
| 106 | DFAPacketizer *CreateTargetScheduleState(const TargetMachine *TM, |
| 107 | const ScheduleDAG *DAG) const; |
| 108 | |
| 109 | bool ReverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond) const; |
| 110 | |
| 111 | bool AnalyzeBranch(MachineBasicBlock &MBB, MachineBasicBlock *&TBB, MachineBasicBlock *&FBB, |
| 112 | SmallVectorImpl<MachineOperand> &Cond, bool AllowModify) const; |
| 113 | |
| 114 | unsigned InsertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB, MachineBasicBlock *FBB, const SmallVectorImpl<MachineOperand> &Cond, DebugLoc DL) const; |
| 115 | |
| 116 | unsigned RemoveBranch(MachineBasicBlock &MBB) const; |
| 117 | |
| 118 | bool isPredicated(const MachineInstr *MI) const; |
| 119 | |
| 120 | bool isPredicable(MachineInstr *MI) const; |
| 121 | |
| 122 | bool |
| 123 | isProfitableToDupForIfCvt(MachineBasicBlock &MBB, unsigned NumCyles, |
| 124 | const BranchProbability &Probability) const; |
| 125 | |
| 126 | bool isProfitableToIfCvt(MachineBasicBlock &MBB, unsigned NumCyles, |
| 127 | unsigned ExtraPredCycles, |
| 128 | const BranchProbability &Probability) const ; |
| 129 | |
| 130 | bool |
| 131 | isProfitableToIfCvt(MachineBasicBlock &TMBB, |
| 132 | unsigned NumTCycles, unsigned ExtraTCycles, |
| 133 | MachineBasicBlock &FMBB, |
| 134 | unsigned NumFCycles, unsigned ExtraFCycles, |
| 135 | const BranchProbability &Probability) const; |
| 136 | |
| 137 | bool DefinesPredicate(MachineInstr *MI, |
| 138 | std::vector<MachineOperand> &Pred) const; |
| 139 | |
| 140 | bool SubsumesPredicate(const SmallVectorImpl<MachineOperand> &Pred1, |
| 141 | const SmallVectorImpl<MachineOperand> &Pred2) const; |
| 142 | |
| 143 | bool isProfitableToUnpredicate(MachineBasicBlock &TMBB, |
| 144 | MachineBasicBlock &FMBB) const; |
| 145 | |
| 146 | bool PredicateInstruction(MachineInstr *MI, |
| 147 | const SmallVectorImpl<MachineOperand> &Pred) const; |
| 148 | |
| 149 | unsigned int getInstrLatency(const InstrItineraryData *ItinData, |
| 150 | const MachineInstr *MI, |
| 151 | unsigned *PredCost = 0) const; |
| 152 | |
| 153 | virtual int getInstrLatency(const InstrItineraryData *ItinData, |
| 154 | SDNode *Node) const { return 1;} |
| 155 | |
Tom Stellard | c0b0c67 | 2013-02-06 17:32:29 +0000 | [diff] [blame] | 156 | /// \returns a list of all the registers that may be accesed using indirect |
| 157 | /// addressing. |
| 158 | std::vector<unsigned> getIndirectReservedRegs(const MachineFunction &MF) const; |
| 159 | |
| 160 | virtual int getIndirectIndexBegin(const MachineFunction &MF) const; |
| 161 | |
| 162 | virtual int getIndirectIndexEnd(const MachineFunction &MF) const; |
| 163 | |
| 164 | |
| 165 | virtual unsigned calculateIndirectAddress(unsigned RegIndex, |
| 166 | unsigned Channel) const; |
| 167 | |
| 168 | virtual const TargetRegisterClass *getIndirectAddrStoreRegClass( |
| 169 | unsigned SourceReg) const; |
| 170 | |
| 171 | virtual const TargetRegisterClass *getIndirectAddrLoadRegClass() const; |
| 172 | |
| 173 | virtual MachineInstrBuilder buildIndirectWrite(MachineBasicBlock *MBB, |
| 174 | MachineBasicBlock::iterator I, |
| 175 | unsigned ValueReg, unsigned Address, |
| 176 | unsigned OffsetReg) const; |
| 177 | |
| 178 | virtual MachineInstrBuilder buildIndirectRead(MachineBasicBlock *MBB, |
| 179 | MachineBasicBlock::iterator I, |
| 180 | unsigned ValueReg, unsigned Address, |
| 181 | unsigned OffsetReg) const; |
| 182 | |
| 183 | virtual const TargetRegisterClass *getSuperIndirectRegClass() const; |
| 184 | |
Vincent Lejeune | dae2a20 | 2013-04-03 16:49:34 +0000 | [diff] [blame] | 185 | unsigned getMaxAlusPerClause() const; |
Tom Stellard | c0b0c67 | 2013-02-06 17:32:29 +0000 | [diff] [blame] | 186 | |
| 187 | ///buildDefaultInstruction - This function returns a MachineInstr with |
| 188 | /// all the instruction modifiers initialized to their default values. |
Tom Stellard | f98f2ce | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 189 | /// You can use this function to avoid manually specifying each instruction |
| 190 | /// modifier operand when building a new instruction. |
| 191 | /// |
| 192 | /// \returns a MachineInstr with all the instruction modifiers initialized |
| 193 | /// to their default values. |
| 194 | MachineInstrBuilder buildDefaultInstruction(MachineBasicBlock &MBB, |
| 195 | MachineBasicBlock::iterator I, |
| 196 | unsigned Opcode, |
| 197 | unsigned DstReg, |
| 198 | unsigned Src0Reg, |
| 199 | unsigned Src1Reg = 0) const; |
| 200 | |
Vincent Lejeune | 4ed9917 | 2013-05-17 16:50:32 +0000 | [diff] [blame] | 201 | MachineInstr *buildSlotOfVectorInstruction(MachineBasicBlock &MBB, |
| 202 | MachineInstr *MI, |
| 203 | unsigned Slot, |
| 204 | unsigned DstReg) const; |
| 205 | |
Tom Stellard | f98f2ce | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 206 | MachineInstr *buildMovImm(MachineBasicBlock &BB, |
| 207 | MachineBasicBlock::iterator I, |
| 208 | unsigned DstReg, |
| 209 | uint64_t Imm) const; |
| 210 | |
| 211 | /// \brief Get the index of Op in the MachineInstr. |
| 212 | /// |
| 213 | /// \returns -1 if the Instruction does not contain the specified \p Op. |
| 214 | int getOperandIdx(const MachineInstr &MI, R600Operands::Ops Op) const; |
| 215 | |
| 216 | /// \brief Get the index of \p Op for the given Opcode. |
| 217 | /// |
| 218 | /// \returns -1 if the Instruction does not contain the specified \p Op. |
| 219 | int getOperandIdx(unsigned Opcode, R600Operands::Ops Op) const; |
| 220 | |
| 221 | /// \brief Helper function for setting instruction flag values. |
| 222 | void setImmOperand(MachineInstr *MI, R600Operands::Ops Op, int64_t Imm) const; |
| 223 | |
| 224 | /// \returns true if this instruction has an operand for storing target flags. |
| 225 | bool hasFlagOperand(const MachineInstr &MI) const; |
| 226 | |
| 227 | ///\brief Add one of the MO_FLAG* flags to the specified \p Operand. |
| 228 | void addFlag(MachineInstr *MI, unsigned Operand, unsigned Flag) const; |
| 229 | |
| 230 | ///\brief Determine if the specified \p Flag is set on this \p Operand. |
| 231 | bool isFlagSet(const MachineInstr &MI, unsigned Operand, unsigned Flag) const; |
| 232 | |
| 233 | /// \param SrcIdx The register source to set the flag on (e.g src0, src1, src2) |
| 234 | /// \param Flag The flag being set. |
| 235 | /// |
| 236 | /// \returns the operand containing the flags for this instruction. |
| 237 | MachineOperand &getFlagOp(MachineInstr *MI, unsigned SrcIdx = 0, |
| 238 | unsigned Flag = 0) const; |
| 239 | |
| 240 | /// \brief Clear the specified flag on the instruction. |
| 241 | void clearFlag(MachineInstr *MI, unsigned Operand, unsigned Flag) const; |
| 242 | }; |
| 243 | |
| 244 | } // End llvm namespace |
| 245 | |
| 246 | #endif // R600INSTRINFO_H_ |