blob: ba52c3ae1a428fdfb3a166ca1ff81fd6cee62714 [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
11/// \brief Code to lower AMDGPU MachineInstrs to their corresponding MCInst.
12//
13//===----------------------------------------------------------------------===//
14//
15
16#include "AMDGPUMCInstLower.h"
17#include "AMDGPUAsmPrinter.h"
Matt Arsenault43e92fe2016-06-24 06:30:11 +000018#include "AMDGPUSubtarget.h"
Tom Stellard2e59a452014-06-13 01:32:00 +000019#include "AMDGPUTargetMachine.h"
Tom Stellarded699252013-10-12 05:02:51 +000020#include "InstPrinter/AMDGPUInstPrinter.h"
Tom Stellardc721a232014-05-16 20:56:47 +000021#include "SIInstrInfo.h"
Tom Stellard75aadc22012-12-11 21:25:42 +000022#include "llvm/CodeGen/MachineBasicBlock.h"
23#include "llvm/CodeGen/MachineInstr.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000024#include "llvm/IR/Constants.h"
Marek Olsaka93603d2015-01-15 18:42:51 +000025#include "llvm/IR/Function.h"
Tom Stellard067c8152014-07-21 14:01:14 +000026#include "llvm/IR/GlobalVariable.h"
Tom Stellarded699252013-10-12 05:02:51 +000027#include "llvm/MC/MCCodeEmitter.h"
Tom Stellard067c8152014-07-21 14:01:14 +000028#include "llvm/MC/MCContext.h"
Chandler Carruthbe810232013-01-02 10:22:59 +000029#include "llvm/MC/MCExpr.h"
Tom Stellard75aadc22012-12-11 21:25:42 +000030#include "llvm/MC/MCInst.h"
Tom Stellarded699252013-10-12 05:02:51 +000031#include "llvm/MC/MCObjectStreamer.h"
Tom Stellard75aadc22012-12-11 21:25:42 +000032#include "llvm/MC/MCStreamer.h"
33#include "llvm/Support/ErrorHandling.h"
Tom Stellarded699252013-10-12 05:02:51 +000034#include "llvm/Support/Format.h"
35#include <algorithm>
Tom Stellard75aadc22012-12-11 21:25:42 +000036
37using namespace llvm;
38
Matt Arsenault11f74022016-10-06 17:19:11 +000039#include "AMDGPUGenMCPseudoLowering.inc"
40
Tom Stellard1b9748c2016-09-26 17:29:25 +000041AMDGPUMCInstLower::AMDGPUMCInstLower(MCContext &ctx, const AMDGPUSubtarget &st,
42 const AsmPrinter &ap):
43 Ctx(ctx), ST(st), AP(ap) { }
Tom Stellard75aadc22012-12-11 21:25:42 +000044
Tom Stellard418beb72016-07-13 14:23:33 +000045static MCSymbolRefExpr::VariantKind getVariantKind(unsigned MOFlags) {
46 switch (MOFlags) {
Konstantin Zhuravlyovc96b5d72016-10-14 04:37:34 +000047 default:
48 return MCSymbolRefExpr::VK_None;
49 case SIInstrInfo::MO_GOTPCREL:
50 return MCSymbolRefExpr::VK_GOTPCREL;
51 case SIInstrInfo::MO_GOTPCREL32_LO:
52 return MCSymbolRefExpr::VK_AMDGPU_GOTPCREL32_LO;
53 case SIInstrInfo::MO_GOTPCREL32_HI:
54 return MCSymbolRefExpr::VK_AMDGPU_GOTPCREL32_HI;
55 case SIInstrInfo::MO_REL32_LO:
56 return MCSymbolRefExpr::VK_AMDGPU_REL32_LO;
57 case SIInstrInfo::MO_REL32_HI:
58 return MCSymbolRefExpr::VK_AMDGPU_REL32_HI;
Tom Stellard418beb72016-07-13 14:23:33 +000059 }
60}
61
Matt Arsenault6bc43d82016-10-06 16:20:41 +000062const MCExpr *AMDGPUMCInstLower::getLongBranchBlockExpr(
63 const MachineBasicBlock &SrcBB,
64 const MachineOperand &MO) const {
65 const MCExpr *DestBBSym
66 = MCSymbolRefExpr::create(MO.getMBB()->getSymbol(), Ctx);
67 const MCExpr *SrcBBSym = MCSymbolRefExpr::create(SrcBB.getSymbol(), Ctx);
68
69 assert(SrcBB.front().getOpcode() == AMDGPU::S_GETPC_B64 &&
70 ST.getInstrInfo()->get(AMDGPU::S_GETPC_B64).Size == 4);
71
72 // s_getpc_b64 returns the address of next instruction.
73 const MCConstantExpr *One = MCConstantExpr::create(4, Ctx);
74 SrcBBSym = MCBinaryExpr::createAdd(SrcBBSym, One, Ctx);
75
76 if (MO.getTargetFlags() == AMDGPU::TF_LONG_BRANCH_FORWARD)
77 return MCBinaryExpr::createSub(DestBBSym, SrcBBSym, Ctx);
78
79 assert(MO.getTargetFlags() == AMDGPU::TF_LONG_BRANCH_BACKWARD);
80 return MCBinaryExpr::createSub(SrcBBSym, DestBBSym, Ctx);
81}
82
Matt Arsenault11f74022016-10-06 17:19:11 +000083bool AMDGPUMCInstLower::lowerOperand(const MachineOperand &MO,
84 MCOperand &MCOp) const {
85 switch (MO.getType()) {
86 default:
87 llvm_unreachable("unknown operand type");
88 case MachineOperand::MO_Immediate:
89 MCOp = MCOperand::createImm(MO.getImm());
90 return true;
91 case MachineOperand::MO_Register:
92 MCOp = MCOperand::createReg(AMDGPU::getMCReg(MO.getReg(), ST));
93 return true;
94 case MachineOperand::MO_MachineBasicBlock: {
95 if (MO.getTargetFlags() != 0) {
96 MCOp = MCOperand::createExpr(
97 getLongBranchBlockExpr(*MO.getParent()->getParent(), MO));
98 } else {
99 MCOp = MCOperand::createExpr(
100 MCSymbolRefExpr::create(MO.getMBB()->getSymbol(), Ctx));
101 }
102
103 return true;
104 }
105 case MachineOperand::MO_GlobalAddress: {
106 const GlobalValue *GV = MO.getGlobal();
107 SmallString<128> SymbolName;
108 AP.getNameWithPrefix(SymbolName, GV);
109 MCSymbol *Sym = Ctx.getOrCreateSymbol(SymbolName);
110 const MCExpr *SymExpr =
111 MCSymbolRefExpr::create(Sym, getVariantKind(MO.getTargetFlags()),Ctx);
112 const MCExpr *Expr = MCBinaryExpr::createAdd(SymExpr,
113 MCConstantExpr::create(MO.getOffset(), Ctx), Ctx);
114 MCOp = MCOperand::createExpr(Expr);
115 return true;
116 }
117 case MachineOperand::MO_ExternalSymbol: {
118 MCSymbol *Sym = Ctx.getOrCreateSymbol(StringRef(MO.getSymbolName()));
119 Sym->setExternal(true);
120 const MCSymbolRefExpr *Expr = MCSymbolRefExpr::create(Sym, Ctx);
121 MCOp = MCOperand::createExpr(Expr);
122 return true;
123 }
Matt Arsenaultb62a4eb2017-08-01 19:54:18 +0000124 case MachineOperand::MO_RegisterMask:
125 // Regmasks are like implicit defs.
126 return false;
Matt Arsenault11f74022016-10-06 17:19:11 +0000127 }
128}
129
Tom Stellard75aadc22012-12-11 21:25:42 +0000130void AMDGPUMCInstLower::lower(const MachineInstr *MI, MCInst &OutMI) const {
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000131 unsigned Opcode = MI->getOpcode();
Tom Stellardc721a232014-05-16 20:56:47 +0000132
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000133 // FIXME: Should be able to handle this with emitPseudoExpansionLowering. We
134 // need to select it to the subtarget specific version, and there's no way to
135 // do that with a single pseudo source operation.
136 if (Opcode == AMDGPU::S_SETPC_B64_return)
137 Opcode = AMDGPU::S_SETPC_B64;
Matt Arsenault6ed7b9b2017-08-02 01:31:28 +0000138 else if (Opcode == AMDGPU::SI_CALL) {
139 // SI_CALL is just S_SWAPPC_B64 with an additional operand to track the
140 // called function.
141 Opcode = AMDGPU::S_SWAPPC_B64;
142 }
Marek Olsaka93603d2015-01-15 18:42:51 +0000143
Matt Arsenault2b1f9aa2017-05-17 21:56:25 +0000144 int MCOpcode = ST.getInstrInfo()->pseudoToMCOpcode(Opcode);
Marek Olsaka93603d2015-01-15 18:42:51 +0000145 if (MCOpcode == -1) {
146 LLVMContext &C = MI->getParent()->getParent()->getFunction()->getContext();
147 C.emitError("AMDGPUMCInstLower::lower - Pseudo instruction doesn't have "
148 "a target-specific version: " + Twine(MI->getOpcode()));
149 }
150
151 OutMI.setOpcode(MCOpcode);
Tom Stellard75aadc22012-12-11 21:25:42 +0000152
David Blaikie2f771122014-04-05 22:42:04 +0000153 for (const MachineOperand &MO : MI->explicit_operands()) {
Tom Stellard75aadc22012-12-11 21:25:42 +0000154 MCOperand MCOp;
Matt Arsenault11f74022016-10-06 17:19:11 +0000155 lowerOperand(MO, MCOp);
Tom Stellard75aadc22012-12-11 21:25:42 +0000156 OutMI.addOperand(MCOp);
157 }
158}
159
Matt Arsenault11f74022016-10-06 17:19:11 +0000160bool AMDGPUAsmPrinter::lowerOperand(const MachineOperand &MO,
161 MCOperand &MCOp) const {
162 const AMDGPUSubtarget &STI = MF->getSubtarget<AMDGPUSubtarget>();
163 AMDGPUMCInstLower MCInstLowering(OutContext, STI, *this);
164 return MCInstLowering.lowerOperand(MO, MCOp);
165}
166
Yaxun Liu8f844f32017-02-07 00:43:21 +0000167const MCExpr *AMDGPUAsmPrinter::lowerConstant(const Constant *CV) {
168 // TargetMachine does not support llvm-style cast. Use C++-style cast.
169 // This is safe since TM is always of type AMDGPUTargetMachine or its
170 // derived class.
171 auto *AT = static_cast<AMDGPUTargetMachine*>(&TM);
172 auto *CE = dyn_cast<ConstantExpr>(CV);
173
174 // Lower null pointers in private and local address space.
175 // Clang generates addrspacecast for null pointers in private and local
176 // address space, which needs to be lowered.
177 if (CE && CE->getOpcode() == Instruction::AddrSpaceCast) {
178 auto Op = CE->getOperand(0);
179 auto SrcAddr = Op->getType()->getPointerAddressSpace();
180 if (Op->isNullValue() && AT->getNullPointerValue(SrcAddr) == 0) {
181 auto DstAddr = CE->getType()->getPointerAddressSpace();
182 return MCConstantExpr::create(AT->getNullPointerValue(DstAddr),
183 OutContext);
184 }
185 }
186 return AsmPrinter::lowerConstant(CV);
187}
188
Tom Stellard75aadc22012-12-11 21:25:42 +0000189void AMDGPUAsmPrinter::EmitInstruction(const MachineInstr *MI) {
Matt Arsenault11f74022016-10-06 17:19:11 +0000190 if (emitPseudoExpansionLowering(*OutStreamer, MI))
191 return;
192
Eric Christopher7edca432015-02-19 01:10:53 +0000193 const AMDGPUSubtarget &STI = MF->getSubtarget<AMDGPUSubtarget>();
Tom Stellard1b9748c2016-09-26 17:29:25 +0000194 AMDGPUMCInstLower MCInstLowering(OutContext, STI, *this);
Tom Stellard75aadc22012-12-11 21:25:42 +0000195
Tom Stellard9b9e9262014-02-28 21:36:41 +0000196 StringRef Err;
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +0000197 if (!STI.getInstrInfo()->verifyInstruction(*MI, Err)) {
Michel Danzer302f83a2016-03-16 09:10:42 +0000198 LLVMContext &C = MI->getParent()->getParent()->getFunction()->getContext();
199 C.emitError("Illegal instruction detected: " + Err);
Matthias Braun8c209aa2017-01-28 02:02:38 +0000200 MI->print(errs());
Tom Stellard9b9e9262014-02-28 21:36:41 +0000201 }
Michel Danzer302f83a2016-03-16 09:10:42 +0000202
Tom Stellard75aadc22012-12-11 21:25:42 +0000203 if (MI->isBundle()) {
204 const MachineBasicBlock *MBB = MI->getParent();
Duncan P. N. Exon Smithc5b668d2016-02-22 20:49:58 +0000205 MachineBasicBlock::const_instr_iterator I = ++MI->getIterator();
Duncan P. N. Exon Smitha73371a2015-10-13 20:07:10 +0000206 while (I != MBB->instr_end() && I->isInsideBundle()) {
207 EmitInstruction(&*I);
Tom Stellard75aadc22012-12-11 21:25:42 +0000208 ++I;
209 }
210 } else {
Matt Arsenault5b20fbb2017-03-21 22:18:10 +0000211 // We don't want SI_MASK_BRANCH/SI_RETURN_TO_EPILOG encoded. They are
212 // placeholder terminator instructions and should only be printed as
213 // comments.
Matt Arsenault9babdf42016-06-22 20:15:28 +0000214 if (MI->getOpcode() == AMDGPU::SI_MASK_BRANCH) {
215 if (isVerbose()) {
216 SmallVector<char, 16> BBStr;
217 raw_svector_ostream Str(BBStr);
218
Matt Arsenaulta74374a2016-07-08 00:55:44 +0000219 const MachineBasicBlock *MBB = MI->getOperand(0).getMBB();
Matt Arsenault9babdf42016-06-22 20:15:28 +0000220 const MCSymbolRefExpr *Expr
221 = MCSymbolRefExpr::create(MBB->getSymbol(), OutContext);
222 Expr->print(Str, MAI);
223 OutStreamer->emitRawComment(" mask branch " + BBStr);
224 }
225
226 return;
227 }
228
Matt Arsenault5b20fbb2017-03-21 22:18:10 +0000229 if (MI->getOpcode() == AMDGPU::SI_RETURN_TO_EPILOG) {
Matt Arsenault9babdf42016-06-22 20:15:28 +0000230 if (isVerbose())
Matt Arsenault5b20fbb2017-03-21 22:18:10 +0000231 OutStreamer->emitRawComment(" return to shader part epilog");
Matt Arsenault9babdf42016-06-22 20:15:28 +0000232 return;
233 }
234
Stanislav Mekhanoshinea91cca2016-11-15 19:00:15 +0000235 if (MI->getOpcode() == AMDGPU::WAVE_BARRIER) {
236 if (isVerbose())
237 OutStreamer->emitRawComment(" wave barrier");
238 return;
239 }
240
Yaxun Liu15a96b12017-04-21 19:32:02 +0000241 if (MI->getOpcode() == AMDGPU::SI_MASKED_UNREACHABLE) {
242 if (isVerbose())
243 OutStreamer->emitRawComment(" divergent unreachable");
244 return;
245 }
246
Tom Stellard75aadc22012-12-11 21:25:42 +0000247 MCInst TmpInst;
248 MCInstLowering.lower(MI, TmpInst);
Lang Hames9ff69c82015-04-24 19:11:51 +0000249 EmitToStreamer(*OutStreamer, TmpInst);
Tom Stellarded699252013-10-12 05:02:51 +0000250
Eric Christopher7edca432015-02-19 01:10:53 +0000251 if (STI.dumpCode()) {
Tom Stellarded699252013-10-12 05:02:51 +0000252 // Disassemble instruction/operands to text.
253 DisasmLines.resize(DisasmLines.size() + 1);
254 std::string &DisasmLine = DisasmLines.back();
255 raw_string_ostream DisasmStream(DisasmLine);
256
Eric Christopherd9134482014-08-04 21:25:23 +0000257 AMDGPUInstPrinter InstPrinter(*TM.getMCAsmInfo(),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000258 *STI.getInstrInfo(),
259 *STI.getRegisterInfo());
260 InstPrinter.printInst(&TmpInst, DisasmStream, StringRef(), STI);
Tom Stellarded699252013-10-12 05:02:51 +0000261
262 // Disassemble instruction/operands to hex representation.
263 SmallVector<MCFixup, 4> Fixups;
264 SmallVector<char, 16> CodeBytes;
265 raw_svector_ostream CodeStream(CodeBytes);
266
Tom Stellardb81f4aa2015-05-04 16:45:08 +0000267 auto &ObjStreamer = static_cast<MCObjectStreamer&>(*OutStreamer);
268 MCCodeEmitter &InstEmitter = ObjStreamer.getAssembler().getEmitter();
Jim Grosbach91df21f2015-05-15 19:13:16 +0000269 InstEmitter.encodeInstruction(TmpInst, CodeStream, Fixups,
Eric Christopher7792e322015-01-30 23:24:40 +0000270 MF->getSubtarget<MCSubtargetInfo>());
Tom Stellarded699252013-10-12 05:02:51 +0000271 HexLines.resize(HexLines.size() + 1);
272 std::string &HexLine = HexLines.back();
273 raw_string_ostream HexStream(HexLine);
274
275 for (size_t i = 0; i < CodeBytes.size(); i += 4) {
276 unsigned int CodeDWord = *(unsigned int *)&CodeBytes[i];
277 HexStream << format("%s%08X", (i > 0 ? " " : ""), CodeDWord);
278 }
279
280 DisasmStream.flush();
281 DisasmLineMaxLen = std::max(DisasmLineMaxLen, DisasmLine.size());
282 }
Tom Stellard75aadc22012-12-11 21:25:42 +0000283 }
284}