Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 1 | //===- R600MCCodeEmitter.cpp - Code Emitter for R600->Cayman GPU families -===// |
| 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 | /// |
Tom Stellard | cfe2ef8 | 2013-05-06 17:50:44 +0000 | [diff] [blame] | 12 | /// \brief The R600 code emitter produces machine code that can be executed |
| 13 | /// directly on the GPU device. |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 14 | // |
| 15 | //===----------------------------------------------------------------------===// |
| 16 | |
| 17 | #include "R600Defines.h" |
Jan Vesely | a1f9fdf | 2016-05-13 20:39:26 +0000 | [diff] [blame] | 18 | #include "MCTargetDesc/AMDGPUFixupKinds.h" |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 19 | #include "MCTargetDesc/AMDGPUMCCodeEmitter.h" |
Chandler Carruth | be81023 | 2013-01-02 10:22:59 +0000 | [diff] [blame] | 20 | #include "MCTargetDesc/AMDGPUMCTargetDesc.h" |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 21 | #include "llvm/MC/MCCodeEmitter.h" |
| 22 | #include "llvm/MC/MCContext.h" |
| 23 | #include "llvm/MC/MCInst.h" |
| 24 | #include "llvm/MC/MCInstrInfo.h" |
| 25 | #include "llvm/MC/MCRegisterInfo.h" |
| 26 | #include "llvm/MC/MCSubtargetInfo.h" |
Benjamin Kramer | 50e2a29 | 2015-06-04 15:03:02 +0000 | [diff] [blame] | 27 | #include "llvm/Support/EndianStream.h" |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 28 | #include "llvm/Support/raw_ostream.h" |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 29 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 30 | using namespace llvm; |
| 31 | |
| 32 | namespace { |
| 33 | |
| 34 | class R600MCCodeEmitter : public AMDGPUMCCodeEmitter { |
Aaron Ballman | f9a1897 | 2015-02-15 22:54:22 +0000 | [diff] [blame] | 35 | R600MCCodeEmitter(const R600MCCodeEmitter &) = delete; |
| 36 | void operator=(const R600MCCodeEmitter &) = delete; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 37 | const MCInstrInfo &MCII; |
| 38 | const MCRegisterInfo &MRI; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 39 | |
| 40 | public: |
David Woodhouse | d2cca11 | 2014-01-28 23:13:25 +0000 | [diff] [blame] | 41 | R600MCCodeEmitter(const MCInstrInfo &mcii, const MCRegisterInfo &mri) |
| 42 | : MCII(mcii), MRI(mri) { } |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 43 | |
| 44 | /// \brief Encode the instruction and write it to the OS. |
Jim Grosbach | 91df21f | 2015-05-15 19:13:16 +0000 | [diff] [blame] | 45 | void encodeInstruction(const MCInst &MI, raw_ostream &OS, |
David Woodhouse | 9784cef | 2014-01-28 23:13:07 +0000 | [diff] [blame] | 46 | SmallVectorImpl<MCFixup> &Fixups, |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 47 | const MCSubtargetInfo &STI) const override; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 48 | |
| 49 | /// \returns the encoding for an MCOperand. |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 50 | uint64_t getMachineOpValue(const MCInst &MI, const MCOperand &MO, |
| 51 | SmallVectorImpl<MCFixup> &Fixups, |
| 52 | const MCSubtargetInfo &STI) const override; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 53 | |
NAKAMURA Takumi | a9cb538 | 2015-09-22 11:14:39 +0000 | [diff] [blame] | 54 | private: |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 55 | void Emit(uint32_t value, raw_ostream &OS) const; |
| 56 | void Emit(uint64_t value, raw_ostream &OS) const; |
| 57 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 58 | unsigned getHWReg(unsigned regNo) const; |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 59 | }; |
| 60 | |
| 61 | } // End anonymous namespace |
| 62 | |
| 63 | enum RegElement { |
| 64 | ELEMENT_X = 0, |
| 65 | ELEMENT_Y, |
| 66 | ELEMENT_Z, |
| 67 | ELEMENT_W |
| 68 | }; |
| 69 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 70 | enum FCInstr { |
| 71 | FC_IF_PREDICATE = 0, |
| 72 | FC_ELSE, |
| 73 | FC_ENDIF, |
| 74 | FC_BGNLOOP, |
| 75 | FC_ENDLOOP, |
| 76 | FC_BREAK_PREDICATE, |
| 77 | FC_CONTINUE |
| 78 | }; |
| 79 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 80 | MCCodeEmitter *llvm::createR600MCCodeEmitter(const MCInstrInfo &MCII, |
Eric Christopher | 501d5e9 | 2015-03-10 21:57:34 +0000 | [diff] [blame] | 81 | const MCRegisterInfo &MRI, |
NAKAMURA Takumi | 0a7d0ad | 2015-09-22 11:15:07 +0000 | [diff] [blame] | 82 | MCContext &Ctx) { |
David Woodhouse | d2cca11 | 2014-01-28 23:13:25 +0000 | [diff] [blame] | 83 | return new R600MCCodeEmitter(MCII, MRI); |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 84 | } |
| 85 | |
Jim Grosbach | 91df21f | 2015-05-15 19:13:16 +0000 | [diff] [blame] | 86 | void R600MCCodeEmitter::encodeInstruction(const MCInst &MI, raw_ostream &OS, |
David Woodhouse | 9784cef | 2014-01-28 23:13:07 +0000 | [diff] [blame] | 87 | SmallVectorImpl<MCFixup> &Fixups, |
| 88 | const MCSubtargetInfo &STI) const { |
Tom Stellard | d93cede | 2013-05-06 17:50:57 +0000 | [diff] [blame] | 89 | const MCInstrDesc &Desc = MCII.get(MI.getOpcode()); |
| 90 | if (MI.getOpcode() == AMDGPU::RETURN || |
Vincent Lejeune | 3f1d136 | 2013-04-30 00:13:53 +0000 | [diff] [blame] | 91 | MI.getOpcode() == AMDGPU::FETCH_CLAUSE || |
Vincent Lejeune | 3abdbf1 | 2013-04-30 00:14:38 +0000 | [diff] [blame] | 92 | MI.getOpcode() == AMDGPU::ALU_CLAUSE || |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 93 | MI.getOpcode() == AMDGPU::BUNDLE || |
| 94 | MI.getOpcode() == AMDGPU::KILL) { |
| 95 | return; |
Tom Stellard | d93cede | 2013-05-06 17:50:57 +0000 | [diff] [blame] | 96 | } else if (IS_VTX(Desc)) { |
David Woodhouse | 3fa98a6 | 2014-01-28 23:13:18 +0000 | [diff] [blame] | 97 | uint64_t InstWord01 = getBinaryCodeForInstr(MI, Fixups, STI); |
Tom Stellard | d93cede | 2013-05-06 17:50:57 +0000 | [diff] [blame] | 98 | uint32_t InstWord2 = MI.getOperand(2).getImm(); // Offset |
Michael Kuperstein | db0712f | 2015-05-26 10:47:10 +0000 | [diff] [blame] | 99 | if (!(STI.getFeatureBits()[AMDGPU::FeatureCaymanISA])) { |
Tom Stellard | ecf9d86 | 2013-06-14 22:12:30 +0000 | [diff] [blame] | 100 | InstWord2 |= 1 << 19; // Mega-Fetch bit |
| 101 | } |
Tom Stellard | d93cede | 2013-05-06 17:50:57 +0000 | [diff] [blame] | 102 | |
| 103 | Emit(InstWord01, OS); |
| 104 | Emit(InstWord2, OS); |
Rafael Espindola | 525cf28 | 2013-05-22 01:36:19 +0000 | [diff] [blame] | 105 | Emit((uint32_t) 0, OS); |
Tom Stellard | d93cede | 2013-05-06 17:50:57 +0000 | [diff] [blame] | 106 | } else if (IS_TEX(Desc)) { |
Vincent Lejeune | d3eed66 | 2013-05-17 16:50:20 +0000 | [diff] [blame] | 107 | int64_t Sampler = MI.getOperand(14).getImm(); |
Tom Stellard | d93cede | 2013-05-06 17:50:57 +0000 | [diff] [blame] | 108 | |
Rafael Espindola | 5986ce0 | 2013-05-17 22:45:52 +0000 | [diff] [blame] | 109 | int64_t SrcSelect[4] = { |
Vincent Lejeune | d3eed66 | 2013-05-17 16:50:20 +0000 | [diff] [blame] | 110 | MI.getOperand(2).getImm(), |
| 111 | MI.getOperand(3).getImm(), |
| 112 | MI.getOperand(4).getImm(), |
| 113 | MI.getOperand(5).getImm() |
| 114 | }; |
Rafael Espindola | 00345fa | 2013-05-23 13:22:30 +0000 | [diff] [blame] | 115 | int64_t Offsets[3] = { |
Vincent Lejeune | d3eed66 | 2013-05-17 16:50:20 +0000 | [diff] [blame] | 116 | MI.getOperand(6).getImm() & 0x1F, |
| 117 | MI.getOperand(7).getImm() & 0x1F, |
| 118 | MI.getOperand(8).getImm() & 0x1F |
| 119 | }; |
Tom Stellard | d93cede | 2013-05-06 17:50:57 +0000 | [diff] [blame] | 120 | |
David Woodhouse | 3fa98a6 | 2014-01-28 23:13:18 +0000 | [diff] [blame] | 121 | uint64_t Word01 = getBinaryCodeForInstr(MI, Fixups, STI); |
Vincent Lejeune | d3eed66 | 2013-05-17 16:50:20 +0000 | [diff] [blame] | 122 | uint32_t Word2 = Sampler << 15 | SrcSelect[ELEMENT_X] << 20 | |
| 123 | SrcSelect[ELEMENT_Y] << 23 | SrcSelect[ELEMENT_Z] << 26 | |
| 124 | SrcSelect[ELEMENT_W] << 29 | Offsets[0] << 0 | Offsets[1] << 5 | |
| 125 | Offsets[2] << 10; |
Tom Stellard | d93cede | 2013-05-06 17:50:57 +0000 | [diff] [blame] | 126 | |
Vincent Lejeune | d3eed66 | 2013-05-17 16:50:20 +0000 | [diff] [blame] | 127 | Emit(Word01, OS); |
| 128 | Emit(Word2, OS); |
Rafael Espindola | 525cf28 | 2013-05-22 01:36:19 +0000 | [diff] [blame] | 129 | Emit((uint32_t) 0, OS); |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 130 | } else { |
David Woodhouse | 3fa98a6 | 2014-01-28 23:13:18 +0000 | [diff] [blame] | 131 | uint64_t Inst = getBinaryCodeForInstr(MI, Fixups, STI); |
Michael Kuperstein | db0712f | 2015-05-26 10:47:10 +0000 | [diff] [blame] | 132 | if ((STI.getFeatureBits()[AMDGPU::FeatureR600ALUInst]) && |
Tom Stellard | ecc2ad1 | 2013-05-17 15:23:21 +0000 | [diff] [blame] | 133 | ((Desc.TSFlags & R600_InstFlag::OP1) || |
| 134 | Desc.TSFlags & R600_InstFlag::OP2)) { |
| 135 | uint64_t ISAOpCode = Inst & (0x3FFULL << 39); |
| 136 | Inst &= ~(0x3FFULL << 39); |
| 137 | Inst |= ISAOpCode << 1; |
| 138 | } |
Tom Stellard | d93cede | 2013-05-06 17:50:57 +0000 | [diff] [blame] | 139 | Emit(Inst, OS); |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 140 | } |
| 141 | } |
| 142 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 143 | void R600MCCodeEmitter::Emit(uint32_t Value, raw_ostream &OS) const { |
Benjamin Kramer | 50e2a29 | 2015-06-04 15:03:02 +0000 | [diff] [blame] | 144 | support::endian::Writer<support::little>(OS).write(Value); |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 145 | } |
| 146 | |
| 147 | void R600MCCodeEmitter::Emit(uint64_t Value, raw_ostream &OS) const { |
Benjamin Kramer | 50e2a29 | 2015-06-04 15:03:02 +0000 | [diff] [blame] | 148 | support::endian::Writer<support::little>(OS).write(Value); |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 149 | } |
| 150 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 151 | unsigned R600MCCodeEmitter::getHWReg(unsigned RegNo) const { |
| 152 | return MRI.getEncodingValue(RegNo) & HW_REG_MASK; |
| 153 | } |
| 154 | |
| 155 | uint64_t R600MCCodeEmitter::getMachineOpValue(const MCInst &MI, |
| 156 | const MCOperand &MO, |
Jan Vesely | a1f9fdf | 2016-05-13 20:39:26 +0000 | [diff] [blame] | 157 | SmallVectorImpl<MCFixup> &Fixups, |
David Woodhouse | 3fa98a6 | 2014-01-28 23:13:18 +0000 | [diff] [blame] | 158 | const MCSubtargetInfo &STI) const { |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 159 | if (MO.isReg()) { |
Craig Topper | 35b2f75 | 2014-06-19 06:10:58 +0000 | [diff] [blame] | 160 | if (HAS_NATIVE_OPERANDS(MCII.get(MI.getOpcode()).TSFlags)) |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 161 | return MRI.getEncodingValue(MO.getReg()); |
Craig Topper | 35b2f75 | 2014-06-19 06:10:58 +0000 | [diff] [blame] | 162 | return getHWReg(MO.getReg()); |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 163 | } |
Craig Topper | 35b2f75 | 2014-06-19 06:10:58 +0000 | [diff] [blame] | 164 | |
Jan Vesely | a1f9fdf | 2016-05-13 20:39:26 +0000 | [diff] [blame] | 165 | if (MO.isExpr()) { |
Jan Vesely | a1f9fdf | 2016-05-13 20:39:26 +0000 | [diff] [blame] | 166 | // We put rodata at the end of code section, then map the entire |
| 167 | // code secetion as vtx buf. Thus the section relative address is the |
| 168 | // correct one. |
| 169 | // Each R600 literal instruction has two operands |
| 170 | // We can't easily get the order of the current one, so compare against |
| 171 | // the first one and adjust offset. |
| 172 | const unsigned offset = (&MO == &MI.getOperand(0)) ? 0 : 4; |
Jan Vesely | 3bc1af2 | 2016-06-25 18:24:16 +0000 | [diff] [blame] | 173 | Fixups.push_back(MCFixup::create(offset, MO.getExpr(), FK_SecRel_4, MI.getLoc())); |
Jan Vesely | a1f9fdf | 2016-05-13 20:39:26 +0000 | [diff] [blame] | 174 | return 0; |
| 175 | } |
| 176 | |
Craig Topper | 35b2f75 | 2014-06-19 06:10:58 +0000 | [diff] [blame] | 177 | assert(MO.isImm()); |
| 178 | return MO.getImm(); |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 179 | } |
| 180 | |
Tom Stellard | 75aadc2 | 2012-12-11 21:25:42 +0000 | [diff] [blame] | 181 | #include "AMDGPUGenMCCodeEmitter.inc" |