Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 1 | //===-- AMDGPUInstrInfo.h - AMDGPU Instruction Information ------*- 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 Contains the definition of a TargetInstrInfo class that is common |
| 12 | /// to all AMD GPUs. |
| 13 | // |
| 14 | //===----------------------------------------------------------------------===// |
| 15 | |
| 16 | #ifndef AMDGPUINSTRUCTIONINFO_H |
| 17 | #define AMDGPUINSTRUCTIONINFO_H |
| 18 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 19 | #include "AMDGPUInstrInfo.h" |
Chandler Carruth | be81023 | 2013-01-02 10:22:59 +0000 | [diff] [blame] | 20 | #include "AMDGPURegisterInfo.h" |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 21 | #include "llvm/Target/TargetInstrInfo.h" |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 22 | #include <map> |
| 23 | |
| 24 | #define GET_INSTRINFO_HEADER |
| 25 | #define GET_INSTRINFO_ENUM |
Tom Stellard | 02661d9 | 2013-06-25 21:22:18 +0000 | [diff] [blame] | 26 | #define GET_INSTRINFO_OPERAND_ENUM |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 27 | #include "AMDGPUGenInstrInfo.inc" |
| 28 | |
| 29 | #define OPCODE_IS_ZERO_INT AMDGPU::PRED_SETE_INT |
| 30 | #define OPCODE_IS_NOT_ZERO_INT AMDGPU::PRED_SETNE_INT |
| 31 | #define OPCODE_IS_ZERO AMDGPU::PRED_SETE |
| 32 | #define OPCODE_IS_NOT_ZERO AMDGPU::PRED_SETNE |
| 33 | |
| 34 | namespace llvm { |
| 35 | |
Tom Stellard | 2e59a45 | 2014-06-13 01:32:00 +0000 | [diff] [blame^] | 36 | class AMDGPUSubtarget; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 37 | class MachineFunction; |
| 38 | class MachineInstr; |
| 39 | class MachineInstrBuilder; |
| 40 | |
| 41 | class AMDGPUInstrInfo : public AMDGPUGenInstrInfo { |
| 42 | private: |
| 43 | const AMDGPURegisterInfo RI; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 44 | bool getNextBranchInstr(MachineBasicBlock::iterator &iter, |
| 45 | MachineBasicBlock &MBB) const; |
Juergen Ributzka | d12ccbd | 2013-11-19 00:57:56 +0000 | [diff] [blame] | 46 | virtual void anchor(); |
Tom Stellard | f3b2a1e | 2013-02-06 17:32:29 +0000 | [diff] [blame] | 47 | protected: |
Tom Stellard | 2e59a45 | 2014-06-13 01:32:00 +0000 | [diff] [blame^] | 48 | const AMDGPUSubtarget &ST; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 49 | public: |
Tom Stellard | 2e59a45 | 2014-06-13 01:32:00 +0000 | [diff] [blame^] | 50 | explicit AMDGPUInstrInfo(const AMDGPUSubtarget &st); |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 51 | |
| 52 | virtual const AMDGPURegisterInfo &getRegisterInfo() const = 0; |
| 53 | |
| 54 | bool isCoalescableExtInstr(const MachineInstr &MI, unsigned &SrcReg, |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 55 | unsigned &DstReg, unsigned &SubIdx) const override; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 56 | |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 57 | unsigned isLoadFromStackSlot(const MachineInstr *MI, |
| 58 | int &FrameIndex) const override; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 59 | unsigned isLoadFromStackSlotPostFE(const MachineInstr *MI, |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 60 | int &FrameIndex) const override; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 61 | bool hasLoadFromStackSlot(const MachineInstr *MI, |
| 62 | const MachineMemOperand *&MMO, |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 63 | int &FrameIndex) const override; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 64 | unsigned isStoreFromStackSlot(const MachineInstr *MI, int &FrameIndex) const; |
| 65 | unsigned isStoreFromStackSlotPostFE(const MachineInstr *MI, |
| 66 | int &FrameIndex) const; |
| 67 | bool hasStoreFromStackSlot(const MachineInstr *MI, |
| 68 | const MachineMemOperand *&MMO, |
| 69 | int &FrameIndex) const; |
| 70 | |
| 71 | MachineInstr * |
| 72 | convertToThreeAddress(MachineFunction::iterator &MFI, |
| 73 | MachineBasicBlock::iterator &MBBI, |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 74 | LiveVariables *LV) const override; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 75 | |
| 76 | |
| 77 | virtual void copyPhysReg(MachineBasicBlock &MBB, |
| 78 | MachineBasicBlock::iterator MI, DebugLoc DL, |
| 79 | unsigned DestReg, unsigned SrcReg, |
| 80 | bool KillSrc) const = 0; |
| 81 | |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 82 | bool expandPostRAPseudo(MachineBasicBlock::iterator MI) const override; |
Tom Stellard | 26a3b67 | 2013-10-22 18:19:10 +0000 | [diff] [blame] | 83 | |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 84 | void storeRegToStackSlot(MachineBasicBlock &MBB, |
| 85 | MachineBasicBlock::iterator MI, |
| 86 | unsigned SrcReg, bool isKill, int FrameIndex, |
| 87 | const TargetRegisterClass *RC, |
| 88 | const TargetRegisterInfo *TRI) const override; |
| 89 | void loadRegFromStackSlot(MachineBasicBlock &MBB, |
| 90 | MachineBasicBlock::iterator MI, |
| 91 | unsigned DestReg, int FrameIndex, |
| 92 | const TargetRegisterClass *RC, |
| 93 | const TargetRegisterInfo *TRI) const override; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 94 | |
| 95 | protected: |
| 96 | MachineInstr *foldMemoryOperandImpl(MachineFunction &MF, |
| 97 | MachineInstr *MI, |
| 98 | const SmallVectorImpl<unsigned> &Ops, |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 99 | int FrameIndex) const override; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 100 | MachineInstr *foldMemoryOperandImpl(MachineFunction &MF, |
| 101 | MachineInstr *MI, |
| 102 | const SmallVectorImpl<unsigned> &Ops, |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 103 | MachineInstr *LoadMI) const override; |
Tom Stellard | 81d871d | 2013-11-13 23:36:50 +0000 | [diff] [blame] | 104 | /// \returns the smallest register index that will be accessed by an indirect |
| 105 | /// read or write or -1 if indirect addressing is not used by this program. |
Craig Topper | ee7b0f3 | 2014-04-30 05:53:27 +0000 | [diff] [blame] | 106 | int getIndirectIndexBegin(const MachineFunction &MF) const; |
Tom Stellard | 81d871d | 2013-11-13 23:36:50 +0000 | [diff] [blame] | 107 | |
| 108 | /// \returns the largest register index that will be accessed by an indirect |
| 109 | /// read or write or -1 if indirect addressing is not used by this program. |
Craig Topper | ee7b0f3 | 2014-04-30 05:53:27 +0000 | [diff] [blame] | 110 | int getIndirectIndexEnd(const MachineFunction &MF) const; |
Tom Stellard | 81d871d | 2013-11-13 23:36:50 +0000 | [diff] [blame] | 111 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 112 | public: |
| 113 | bool canFoldMemoryOperand(const MachineInstr *MI, |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 114 | const SmallVectorImpl<unsigned> &Ops) const override; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 115 | bool unfoldMemoryOperand(MachineFunction &MF, MachineInstr *MI, |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 116 | unsigned Reg, bool UnfoldLoad, bool UnfoldStore, |
| 117 | SmallVectorImpl<MachineInstr *> &NewMIs) const override; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 118 | bool unfoldMemoryOperand(SelectionDAG &DAG, SDNode *N, |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 119 | SmallVectorImpl<SDNode *> &NewNodes) const override; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 120 | unsigned getOpcodeAfterMemoryUnfold(unsigned Opc, |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 121 | bool UnfoldLoad, bool UnfoldStore, |
| 122 | unsigned *LoadRegIndex = nullptr) const override; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 123 | bool shouldScheduleLoadsNear(SDNode *Load1, SDNode *Load2, |
| 124 | int64_t Offset1, int64_t Offset2, |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 125 | unsigned NumLoads) const override; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 126 | |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 127 | bool |
| 128 | ReverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond) const override; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 129 | void insertNoop(MachineBasicBlock &MBB, |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 130 | MachineBasicBlock::iterator MI) const override; |
| 131 | bool isPredicated(const MachineInstr *MI) const override; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 132 | bool SubsumesPredicate(const SmallVectorImpl<MachineOperand> &Pred1, |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 133 | const SmallVectorImpl<MachineOperand> &Pred2) const override; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 134 | bool DefinesPredicate(MachineInstr *MI, |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 135 | std::vector<MachineOperand> &Pred) const override; |
| 136 | bool isPredicable(MachineInstr *MI) const override; |
| 137 | bool isSafeToMoveRegClassDefs(const TargetRegisterClass *RC) const override; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 138 | |
| 139 | // Helper functions that check the opcode for status information |
| 140 | bool isLoadInst(llvm::MachineInstr *MI) const; |
| 141 | bool isExtLoadInst(llvm::MachineInstr *MI) const; |
| 142 | bool isSWSExtLoadInst(llvm::MachineInstr *MI) const; |
| 143 | bool isSExtLoadInst(llvm::MachineInstr *MI) const; |
| 144 | bool isZExtLoadInst(llvm::MachineInstr *MI) const; |
| 145 | bool isAExtLoadInst(llvm::MachineInstr *MI) const; |
| 146 | bool isStoreInst(llvm::MachineInstr *MI) const; |
| 147 | bool isTruncStoreInst(llvm::MachineInstr *MI) const; |
Tom Stellard | f3b2a1e | 2013-02-06 17:32:29 +0000 | [diff] [blame] | 148 | bool isRegisterStore(const MachineInstr &MI) const; |
| 149 | bool isRegisterLoad(const MachineInstr &MI) const; |
| 150 | |
| 151 | //===---------------------------------------------------------------------===// |
| 152 | // Pure virtual funtions to be implemented by sub-classes. |
| 153 | //===---------------------------------------------------------------------===// |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 154 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 155 | virtual unsigned getIEQOpcode() const = 0; |
| 156 | virtual bool isMov(unsigned opcode) const = 0; |
| 157 | |
Tom Stellard | f3b2a1e | 2013-02-06 17:32:29 +0000 | [diff] [blame] | 158 | /// \brief Calculate the "Indirect Address" for the given \p RegIndex and |
| 159 | /// \p Channel |
| 160 | /// |
| 161 | /// We model indirect addressing using a virtual address space that can be |
| 162 | /// accesed with loads and stores. The "Indirect Address" is the memory |
| 163 | /// address in this virtual address space that maps to the given \p RegIndex |
| 164 | /// and \p Channel. |
| 165 | virtual unsigned calculateIndirectAddress(unsigned RegIndex, |
| 166 | unsigned Channel) const = 0; |
| 167 | |
Tom Stellard | 26a3b67 | 2013-10-22 18:19:10 +0000 | [diff] [blame] | 168 | /// \returns The register class to be used for loading and storing values |
| 169 | /// from an "Indirect Address" . |
| 170 | virtual const TargetRegisterClass *getIndirectAddrRegClass() const = 0; |
Tom Stellard | f3b2a1e | 2013-02-06 17:32:29 +0000 | [diff] [blame] | 171 | |
| 172 | /// \brief Build instruction(s) for an indirect register write. |
| 173 | /// |
| 174 | /// \returns The instruction that performs the indirect register write |
| 175 | virtual MachineInstrBuilder buildIndirectWrite(MachineBasicBlock *MBB, |
| 176 | MachineBasicBlock::iterator I, |
| 177 | unsigned ValueReg, unsigned Address, |
| 178 | unsigned OffsetReg) const = 0; |
| 179 | |
| 180 | /// \brief Build instruction(s) for an indirect register read. |
| 181 | /// |
| 182 | /// \returns The instruction that performs the indirect register read |
| 183 | virtual MachineInstrBuilder buildIndirectRead(MachineBasicBlock *MBB, |
| 184 | MachineBasicBlock::iterator I, |
| 185 | unsigned ValueReg, unsigned Address, |
| 186 | unsigned OffsetReg) const = 0; |
| 187 | |
Tom Stellard | f3b2a1e | 2013-02-06 17:32:29 +0000 | [diff] [blame] | 188 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 189 | /// \brief Convert the AMDIL MachineInstr to a supported ISA |
| 190 | /// MachineInstr |
Craig Topper | ee7b0f3 | 2014-04-30 05:53:27 +0000 | [diff] [blame] | 191 | void convertToISA(MachineInstr & MI, MachineFunction &MF, DebugLoc DL) const; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 192 | |
Tom Stellard | 26a3b67 | 2013-10-22 18:19:10 +0000 | [diff] [blame] | 193 | /// \brief Build a MOV instruction. |
| 194 | virtual MachineInstr *buildMovInstr(MachineBasicBlock *MBB, |
| 195 | MachineBasicBlock::iterator I, |
| 196 | unsigned DstReg, unsigned SrcReg) const = 0; |
| 197 | |
Tom Stellard | 682bfbc | 2013-10-10 17:11:24 +0000 | [diff] [blame] | 198 | /// \brief Given a MIMG \p Opcode that writes all 4 channels, return the |
| 199 | /// equivalent opcode that writes \p Channels Channels. |
| 200 | int getMaskedMIMGOp(uint16_t Opcode, unsigned Channels) const; |
Tom Stellard | 26a3b67 | 2013-10-22 18:19:10 +0000 | [diff] [blame] | 201 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 202 | }; |
| 203 | |
Tom Stellard | 02661d9 | 2013-06-25 21:22:18 +0000 | [diff] [blame] | 204 | namespace AMDGPU { |
| 205 | int16_t getNamedOperandIdx(uint16_t Opcode, uint16_t NamedIndex); |
| 206 | } // End namespace AMDGPU |
| 207 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 208 | } // End llvm namespace |
| 209 | |
Tom Stellard | f3b2a1e | 2013-02-06 17:32:29 +0000 | [diff] [blame] | 210 | #define AMDGPU_FLAG_REGISTER_LOAD (UINT64_C(1) << 63) |
| 211 | #define AMDGPU_FLAG_REGISTER_STORE (UINT64_C(1) << 62) |
| 212 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 213 | #endif // AMDGPUINSTRINFO_H |