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