blob: 6aaa46e0603401ccbc2b7f07c2191000d671e6c5 [file] [log] [blame]
Tom Stellard75aadc22012-12-11 21:25:42 +00001//===- AMDGPUMCInstLower.cpp - Lower AMDGPU MachineInstr to an MCInst -----===//
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
Adrian Prantl5f8f34e42018-05-01 15:54:18 +000011/// Code to lower AMDGPU MachineInstrs to their corresponding MCInst.
Tom Stellard75aadc22012-12-11 21:25:42 +000012//
13//===----------------------------------------------------------------------===//
14//
15
Tom Stellard75aadc22012-12-11 21:25:42 +000016#include "AMDGPUAsmPrinter.h"
Matt Arsenault43e92fe2016-06-24 06:30:11 +000017#include "AMDGPUSubtarget.h"
Tom Stellard2e59a452014-06-13 01:32:00 +000018#include "AMDGPUTargetMachine.h"
Tom Stellarded699252013-10-12 05:02:51 +000019#include "InstPrinter/AMDGPUInstPrinter.h"
Tom Stellard44b30b42018-05-22 02:03:23 +000020#include "MCTargetDesc/AMDGPUMCTargetDesc.h"
Tom Stellardc5015012018-05-24 20:02:01 +000021#include "R600AsmPrinter.h"
Tom Stellardc721a232014-05-16 20:56:47 +000022#include "SIInstrInfo.h"
Tom Stellard75aadc22012-12-11 21:25:42 +000023#include "llvm/CodeGen/MachineBasicBlock.h"
24#include "llvm/CodeGen/MachineInstr.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000025#include "llvm/IR/Constants.h"
Marek Olsaka93603d2015-01-15 18:42:51 +000026#include "llvm/IR/Function.h"
Tom Stellard067c8152014-07-21 14:01:14 +000027#include "llvm/IR/GlobalVariable.h"
Tom Stellarded699252013-10-12 05:02:51 +000028#include "llvm/MC/MCCodeEmitter.h"
Tom Stellard067c8152014-07-21 14:01:14 +000029#include "llvm/MC/MCContext.h"
Chandler Carruthbe810232013-01-02 10:22:59 +000030#include "llvm/MC/MCExpr.h"
Tom Stellard75aadc22012-12-11 21:25:42 +000031#include "llvm/MC/MCInst.h"
Tom Stellarded699252013-10-12 05:02:51 +000032#include "llvm/MC/MCObjectStreamer.h"
Tom Stellard75aadc22012-12-11 21:25:42 +000033#include "llvm/MC/MCStreamer.h"
34#include "llvm/Support/ErrorHandling.h"
Tom Stellarded699252013-10-12 05:02:51 +000035#include "llvm/Support/Format.h"
36#include <algorithm>
Tom Stellard75aadc22012-12-11 21:25:42 +000037
38using namespace llvm;
39
Tom Stellard79fffe32018-05-25 04:57:02 +000040namespace {
41
42class AMDGPUMCInstLower {
43 MCContext &Ctx;
Tom Stellard57b93422018-05-29 17:41:59 +000044 const TargetSubtargetInfo &ST;
Tom Stellard79fffe32018-05-25 04:57:02 +000045 const AsmPrinter &AP;
46
47 const MCExpr *getLongBranchBlockExpr(const MachineBasicBlock &SrcBB,
48 const MachineOperand &MO) const;
49
50public:
Tom Stellard57b93422018-05-29 17:41:59 +000051 AMDGPUMCInstLower(MCContext &ctx, const TargetSubtargetInfo &ST,
Tom Stellard79fffe32018-05-25 04:57:02 +000052 const AsmPrinter &AP);
53
54 bool lowerOperand(const MachineOperand &MO, MCOperand &MCOp) const;
55
56 /// Lower a MachineInstr to an MCInst
57 void lower(const MachineInstr *MI, MCInst &OutMI) const;
58
59};
60
Tom Stellard57b93422018-05-29 17:41:59 +000061class R600MCInstLower : public AMDGPUMCInstLower {
62public:
63 R600MCInstLower(MCContext &ctx, const R600Subtarget &ST,
64 const AsmPrinter &AP);
65
66 /// Lower a MachineInstr to an MCInst
67 void lower(const MachineInstr *MI, MCInst &OutMI) const;
68};
69
70
Tom Stellard79fffe32018-05-25 04:57:02 +000071} // End anonymous namespace
72
Matt Arsenault11f74022016-10-06 17:19:11 +000073#include "AMDGPUGenMCPseudoLowering.inc"
74
Tom Stellard57b93422018-05-29 17:41:59 +000075AMDGPUMCInstLower::AMDGPUMCInstLower(MCContext &ctx,
76 const TargetSubtargetInfo &st,
Tom Stellard1b9748c2016-09-26 17:29:25 +000077 const AsmPrinter &ap):
78 Ctx(ctx), ST(st), AP(ap) { }
Tom Stellard75aadc22012-12-11 21:25:42 +000079
Tom Stellard418beb72016-07-13 14:23:33 +000080static MCSymbolRefExpr::VariantKind getVariantKind(unsigned MOFlags) {
81 switch (MOFlags) {
Konstantin Zhuravlyovc96b5d72016-10-14 04:37:34 +000082 default:
83 return MCSymbolRefExpr::VK_None;
84 case SIInstrInfo::MO_GOTPCREL:
85 return MCSymbolRefExpr::VK_GOTPCREL;
86 case SIInstrInfo::MO_GOTPCREL32_LO:
87 return MCSymbolRefExpr::VK_AMDGPU_GOTPCREL32_LO;
88 case SIInstrInfo::MO_GOTPCREL32_HI:
89 return MCSymbolRefExpr::VK_AMDGPU_GOTPCREL32_HI;
90 case SIInstrInfo::MO_REL32_LO:
91 return MCSymbolRefExpr::VK_AMDGPU_REL32_LO;
92 case SIInstrInfo::MO_REL32_HI:
93 return MCSymbolRefExpr::VK_AMDGPU_REL32_HI;
Tom Stellard418beb72016-07-13 14:23:33 +000094 }
95}
96
Matt Arsenault6bc43d82016-10-06 16:20:41 +000097const MCExpr *AMDGPUMCInstLower::getLongBranchBlockExpr(
98 const MachineBasicBlock &SrcBB,
99 const MachineOperand &MO) const {
100 const MCExpr *DestBBSym
101 = MCSymbolRefExpr::create(MO.getMBB()->getSymbol(), Ctx);
102 const MCExpr *SrcBBSym = MCSymbolRefExpr::create(SrcBB.getSymbol(), Ctx);
103
104 assert(SrcBB.front().getOpcode() == AMDGPU::S_GETPC_B64 &&
105 ST.getInstrInfo()->get(AMDGPU::S_GETPC_B64).Size == 4);
106
107 // s_getpc_b64 returns the address of next instruction.
108 const MCConstantExpr *One = MCConstantExpr::create(4, Ctx);
109 SrcBBSym = MCBinaryExpr::createAdd(SrcBBSym, One, Ctx);
110
111 if (MO.getTargetFlags() == AMDGPU::TF_LONG_BRANCH_FORWARD)
112 return MCBinaryExpr::createSub(DestBBSym, SrcBBSym, Ctx);
113
114 assert(MO.getTargetFlags() == AMDGPU::TF_LONG_BRANCH_BACKWARD);
115 return MCBinaryExpr::createSub(SrcBBSym, DestBBSym, Ctx);
116}
117
Matt Arsenault11f74022016-10-06 17:19:11 +0000118bool AMDGPUMCInstLower::lowerOperand(const MachineOperand &MO,
119 MCOperand &MCOp) const {
120 switch (MO.getType()) {
121 default:
122 llvm_unreachable("unknown operand type");
123 case MachineOperand::MO_Immediate:
124 MCOp = MCOperand::createImm(MO.getImm());
125 return true;
126 case MachineOperand::MO_Register:
127 MCOp = MCOperand::createReg(AMDGPU::getMCReg(MO.getReg(), ST));
128 return true;
129 case MachineOperand::MO_MachineBasicBlock: {
130 if (MO.getTargetFlags() != 0) {
131 MCOp = MCOperand::createExpr(
132 getLongBranchBlockExpr(*MO.getParent()->getParent(), MO));
133 } else {
134 MCOp = MCOperand::createExpr(
135 MCSymbolRefExpr::create(MO.getMBB()->getSymbol(), Ctx));
136 }
137
138 return true;
139 }
140 case MachineOperand::MO_GlobalAddress: {
141 const GlobalValue *GV = MO.getGlobal();
142 SmallString<128> SymbolName;
143 AP.getNameWithPrefix(SymbolName, GV);
144 MCSymbol *Sym = Ctx.getOrCreateSymbol(SymbolName);
145 const MCExpr *SymExpr =
146 MCSymbolRefExpr::create(Sym, getVariantKind(MO.getTargetFlags()),Ctx);
147 const MCExpr *Expr = MCBinaryExpr::createAdd(SymExpr,
148 MCConstantExpr::create(MO.getOffset(), Ctx), Ctx);
149 MCOp = MCOperand::createExpr(Expr);
150 return true;
151 }
152 case MachineOperand::MO_ExternalSymbol: {
153 MCSymbol *Sym = Ctx.getOrCreateSymbol(StringRef(MO.getSymbolName()));
154 Sym->setExternal(true);
155 const MCSymbolRefExpr *Expr = MCSymbolRefExpr::create(Sym, Ctx);
156 MCOp = MCOperand::createExpr(Expr);
157 return true;
158 }
Matt Arsenaultb62a4eb2017-08-01 19:54:18 +0000159 case MachineOperand::MO_RegisterMask:
160 // Regmasks are like implicit defs.
161 return false;
Matt Arsenault11f74022016-10-06 17:19:11 +0000162 }
163}
164
Tom Stellard75aadc22012-12-11 21:25:42 +0000165void AMDGPUMCInstLower::lower(const MachineInstr *MI, MCInst &OutMI) const {
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000166 unsigned Opcode = MI->getOpcode();
Tom Stellard57b93422018-05-29 17:41:59 +0000167 const auto *TII = static_cast<const SIInstrInfo*>(ST.getInstrInfo());
Tom Stellardc721a232014-05-16 20:56:47 +0000168
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000169 // FIXME: Should be able to handle this with emitPseudoExpansionLowering. We
170 // need to select it to the subtarget specific version, and there's no way to
171 // do that with a single pseudo source operation.
172 if (Opcode == AMDGPU::S_SETPC_B64_return)
173 Opcode = AMDGPU::S_SETPC_B64;
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000174 else if (Opcode == AMDGPU::SI_CALL) {
175 // SI_CALL is just S_SWAPPC_B64 with an additional operand to track the
Matt Arsenault1d6317c2017-08-02 01:42:04 +0000176 // called function (which we need to remove here).
177 OutMI.setOpcode(TII->pseudoToMCOpcode(AMDGPU::S_SWAPPC_B64));
178 MCOperand Dest, Src;
179 lowerOperand(MI->getOperand(0), Dest);
180 lowerOperand(MI->getOperand(1), Src);
181 OutMI.addOperand(Dest);
182 OutMI.addOperand(Src);
183 return;
Matt Arsenault71bcbd42017-08-11 20:42:08 +0000184 } else if (Opcode == AMDGPU::SI_TCRETURN) {
185 // TODO: How to use branch immediate and avoid register+add?
186 Opcode = AMDGPU::S_SETPC_B64;
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000187 }
Marek Olsaka93603d2015-01-15 18:42:51 +0000188
Matt Arsenault1d6317c2017-08-02 01:42:04 +0000189 int MCOpcode = TII->pseudoToMCOpcode(Opcode);
Marek Olsaka93603d2015-01-15 18:42:51 +0000190 if (MCOpcode == -1) {
Matthias Braunf1caa282017-12-15 22:22:58 +0000191 LLVMContext &C = MI->getParent()->getParent()->getFunction().getContext();
Marek Olsaka93603d2015-01-15 18:42:51 +0000192 C.emitError("AMDGPUMCInstLower::lower - Pseudo instruction doesn't have "
193 "a target-specific version: " + Twine(MI->getOpcode()));
194 }
195
196 OutMI.setOpcode(MCOpcode);
Tom Stellard75aadc22012-12-11 21:25:42 +0000197
David Blaikie2f771122014-04-05 22:42:04 +0000198 for (const MachineOperand &MO : MI->explicit_operands()) {
Tom Stellard75aadc22012-12-11 21:25:42 +0000199 MCOperand MCOp;
Matt Arsenault11f74022016-10-06 17:19:11 +0000200 lowerOperand(MO, MCOp);
Tom Stellard75aadc22012-12-11 21:25:42 +0000201 OutMI.addOperand(MCOp);
202 }
203}
204
Matt Arsenault11f74022016-10-06 17:19:11 +0000205bool AMDGPUAsmPrinter::lowerOperand(const MachineOperand &MO,
206 MCOperand &MCOp) const {
207 const AMDGPUSubtarget &STI = MF->getSubtarget<AMDGPUSubtarget>();
208 AMDGPUMCInstLower MCInstLowering(OutContext, STI, *this);
209 return MCInstLowering.lowerOperand(MO, MCOp);
210}
211
Tom Stellardc5015012018-05-24 20:02:01 +0000212static const MCExpr *lowerAddrSpaceCast(const TargetMachine &TM,
213 const Constant *CV,
214 MCContext &OutContext) {
Yaxun Liu8f844f32017-02-07 00:43:21 +0000215 // TargetMachine does not support llvm-style cast. Use C++-style cast.
216 // This is safe since TM is always of type AMDGPUTargetMachine or its
217 // derived class.
Tom Stellardc5015012018-05-24 20:02:01 +0000218 auto &AT = static_cast<const AMDGPUTargetMachine&>(TM);
Yaxun Liu8f844f32017-02-07 00:43:21 +0000219 auto *CE = dyn_cast<ConstantExpr>(CV);
220
221 // Lower null pointers in private and local address space.
222 // Clang generates addrspacecast for null pointers in private and local
223 // address space, which needs to be lowered.
224 if (CE && CE->getOpcode() == Instruction::AddrSpaceCast) {
225 auto Op = CE->getOperand(0);
226 auto SrcAddr = Op->getType()->getPointerAddressSpace();
Tom Stellardc5015012018-05-24 20:02:01 +0000227 if (Op->isNullValue() && AT.getNullPointerValue(SrcAddr) == 0) {
Yaxun Liu8f844f32017-02-07 00:43:21 +0000228 auto DstAddr = CE->getType()->getPointerAddressSpace();
Tom Stellardc5015012018-05-24 20:02:01 +0000229 return MCConstantExpr::create(AT.getNullPointerValue(DstAddr),
Yaxun Liu8f844f32017-02-07 00:43:21 +0000230 OutContext);
231 }
232 }
Tom Stellardc5015012018-05-24 20:02:01 +0000233 return nullptr;
234}
235
236const MCExpr *AMDGPUAsmPrinter::lowerConstant(const Constant *CV) {
237 if (const MCExpr *E = lowerAddrSpaceCast(TM, CV, OutContext))
238 return E;
Yaxun Liu8f844f32017-02-07 00:43:21 +0000239 return AsmPrinter::lowerConstant(CV);
240}
241
Tom Stellard75aadc22012-12-11 21:25:42 +0000242void AMDGPUAsmPrinter::EmitInstruction(const MachineInstr *MI) {
Matt Arsenault11f74022016-10-06 17:19:11 +0000243 if (emitPseudoExpansionLowering(*OutStreamer, MI))
244 return;
245
Eric Christopher7edca432015-02-19 01:10:53 +0000246 const AMDGPUSubtarget &STI = MF->getSubtarget<AMDGPUSubtarget>();
Tom Stellard1b9748c2016-09-26 17:29:25 +0000247 AMDGPUMCInstLower MCInstLowering(OutContext, STI, *this);
Tom Stellard75aadc22012-12-11 21:25:42 +0000248
Tom Stellard9b9e9262014-02-28 21:36:41 +0000249 StringRef Err;
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +0000250 if (!STI.getInstrInfo()->verifyInstruction(*MI, Err)) {
Matthias Braunf1caa282017-12-15 22:22:58 +0000251 LLVMContext &C = MI->getParent()->getParent()->getFunction().getContext();
Michel Danzer302f83a2016-03-16 09:10:42 +0000252 C.emitError("Illegal instruction detected: " + Err);
Matthias Braun8c209aa2017-01-28 02:02:38 +0000253 MI->print(errs());
Tom Stellard9b9e9262014-02-28 21:36:41 +0000254 }
Michel Danzer302f83a2016-03-16 09:10:42 +0000255
Tom Stellard75aadc22012-12-11 21:25:42 +0000256 if (MI->isBundle()) {
257 const MachineBasicBlock *MBB = MI->getParent();
Duncan P. N. Exon Smithc5b668d2016-02-22 20:49:58 +0000258 MachineBasicBlock::const_instr_iterator I = ++MI->getIterator();
Duncan P. N. Exon Smitha73371a2015-10-13 20:07:10 +0000259 while (I != MBB->instr_end() && I->isInsideBundle()) {
260 EmitInstruction(&*I);
Tom Stellard75aadc22012-12-11 21:25:42 +0000261 ++I;
262 }
263 } else {
Matt Arsenault5b20fbb2017-03-21 22:18:10 +0000264 // We don't want SI_MASK_BRANCH/SI_RETURN_TO_EPILOG encoded. They are
265 // placeholder terminator instructions and should only be printed as
266 // comments.
Matt Arsenault9babdf42016-06-22 20:15:28 +0000267 if (MI->getOpcode() == AMDGPU::SI_MASK_BRANCH) {
268 if (isVerbose()) {
269 SmallVector<char, 16> BBStr;
270 raw_svector_ostream Str(BBStr);
271
Matt Arsenaulta74374a2016-07-08 00:55:44 +0000272 const MachineBasicBlock *MBB = MI->getOperand(0).getMBB();
Matt Arsenault9babdf42016-06-22 20:15:28 +0000273 const MCSymbolRefExpr *Expr
274 = MCSymbolRefExpr::create(MBB->getSymbol(), OutContext);
275 Expr->print(Str, MAI);
Reid Klecknerc18c12e2017-10-11 23:53:36 +0000276 OutStreamer->emitRawComment(Twine(" mask branch ") + BBStr);
Matt Arsenault9babdf42016-06-22 20:15:28 +0000277 }
278
279 return;
280 }
281
Matt Arsenault5b20fbb2017-03-21 22:18:10 +0000282 if (MI->getOpcode() == AMDGPU::SI_RETURN_TO_EPILOG) {
Matt Arsenault9babdf42016-06-22 20:15:28 +0000283 if (isVerbose())
Matt Arsenault5b20fbb2017-03-21 22:18:10 +0000284 OutStreamer->emitRawComment(" return to shader part epilog");
Matt Arsenault9babdf42016-06-22 20:15:28 +0000285 return;
286 }
287
Stanislav Mekhanoshinea91cca2016-11-15 19:00:15 +0000288 if (MI->getOpcode() == AMDGPU::WAVE_BARRIER) {
289 if (isVerbose())
290 OutStreamer->emitRawComment(" wave barrier");
291 return;
292 }
293
Yaxun Liu15a96b12017-04-21 19:32:02 +0000294 if (MI->getOpcode() == AMDGPU::SI_MASKED_UNREACHABLE) {
295 if (isVerbose())
296 OutStreamer->emitRawComment(" divergent unreachable");
297 return;
298 }
299
Tom Stellard75aadc22012-12-11 21:25:42 +0000300 MCInst TmpInst;
301 MCInstLowering.lower(MI, TmpInst);
Lang Hames9ff69c82015-04-24 19:11:51 +0000302 EmitToStreamer(*OutStreamer, TmpInst);
Tom Stellarded699252013-10-12 05:02:51 +0000303
Eric Christopher7edca432015-02-19 01:10:53 +0000304 if (STI.dumpCode()) {
Tom Stellarded699252013-10-12 05:02:51 +0000305 // Disassemble instruction/operands to text.
306 DisasmLines.resize(DisasmLines.size() + 1);
307 std::string &DisasmLine = DisasmLines.back();
308 raw_string_ostream DisasmStream(DisasmLine);
309
Eric Christopherd9134482014-08-04 21:25:23 +0000310 AMDGPUInstPrinter InstPrinter(*TM.getMCAsmInfo(),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000311 *STI.getInstrInfo(),
312 *STI.getRegisterInfo());
313 InstPrinter.printInst(&TmpInst, DisasmStream, StringRef(), STI);
Tom Stellarded699252013-10-12 05:02:51 +0000314
315 // Disassemble instruction/operands to hex representation.
316 SmallVector<MCFixup, 4> Fixups;
317 SmallVector<char, 16> CodeBytes;
318 raw_svector_ostream CodeStream(CodeBytes);
319
Tom Stellardb81f4aa2015-05-04 16:45:08 +0000320 auto &ObjStreamer = static_cast<MCObjectStreamer&>(*OutStreamer);
321 MCCodeEmitter &InstEmitter = ObjStreamer.getAssembler().getEmitter();
Jim Grosbach91df21f2015-05-15 19:13:16 +0000322 InstEmitter.encodeInstruction(TmpInst, CodeStream, Fixups,
Eric Christopher7792e322015-01-30 23:24:40 +0000323 MF->getSubtarget<MCSubtargetInfo>());
Tom Stellarded699252013-10-12 05:02:51 +0000324 HexLines.resize(HexLines.size() + 1);
325 std::string &HexLine = HexLines.back();
326 raw_string_ostream HexStream(HexLine);
327
328 for (size_t i = 0; i < CodeBytes.size(); i += 4) {
329 unsigned int CodeDWord = *(unsigned int *)&CodeBytes[i];
330 HexStream << format("%s%08X", (i > 0 ? " " : ""), CodeDWord);
331 }
332
333 DisasmStream.flush();
334 DisasmLineMaxLen = std::max(DisasmLineMaxLen, DisasmLine.size());
335 }
Tom Stellard75aadc22012-12-11 21:25:42 +0000336 }
337}
Tom Stellardc5015012018-05-24 20:02:01 +0000338
Tom Stellard57b93422018-05-29 17:41:59 +0000339R600MCInstLower::R600MCInstLower(MCContext &Ctx, const R600Subtarget &ST,
340 const AsmPrinter &AP) :
341 AMDGPUMCInstLower(Ctx, ST, AP) { }
342
343void R600MCInstLower::lower(const MachineInstr *MI, MCInst &OutMI) const {
344 OutMI.setOpcode(MI->getOpcode());
345 for (const MachineOperand &MO : MI->explicit_operands()) {
346 MCOperand MCOp;
347 lowerOperand(MO, MCOp);
348 OutMI.addOperand(MCOp);
349 }
350}
351
Tom Stellardc5015012018-05-24 20:02:01 +0000352void R600AsmPrinter::EmitInstruction(const MachineInstr *MI) {
353 const R600Subtarget &STI = MF->getSubtarget<R600Subtarget>();
Tom Stellard57b93422018-05-29 17:41:59 +0000354 R600MCInstLower MCInstLowering(OutContext, STI, *this);
Tom Stellardc5015012018-05-24 20:02:01 +0000355
356 StringRef Err;
357 if (!STI.getInstrInfo()->verifyInstruction(*MI, Err)) {
358 LLVMContext &C = MI->getParent()->getParent()->getFunction().getContext();
359 C.emitError("Illegal instruction detected: " + Err);
360 MI->print(errs());
361 }
362
363 if (MI->isBundle()) {
364 const MachineBasicBlock *MBB = MI->getParent();
365 MachineBasicBlock::const_instr_iterator I = ++MI->getIterator();
366 while (I != MBB->instr_end() && I->isInsideBundle()) {
367 EmitInstruction(&*I);
368 ++I;
369 }
370 } else {
371 MCInst TmpInst;
372 MCInstLowering.lower(MI, TmpInst);
373 EmitToStreamer(*OutStreamer, TmpInst);
374 }
375}
376
377const MCExpr *R600AsmPrinter::lowerConstant(const Constant *CV) {
378 if (const MCExpr *E = lowerAddrSpaceCast(TM, CV, OutContext))
379 return E;
380 return AsmPrinter::lowerConstant(CV);
381}