blob: ad8d3e4d3545d6ae2d066cb3123ccf5302348ee6 [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
Tom Stellardc721a232014-05-16 20:56:47 +000039AMDGPUMCInstLower::AMDGPUMCInstLower(MCContext &ctx, const AMDGPUSubtarget &st):
Matt Arsenault43e92fe2016-06-24 06:30:11 +000040 Ctx(ctx), ST(st) { }
Tom Stellard75aadc22012-12-11 21:25:42 +000041
Tom Stellard418beb72016-07-13 14:23:33 +000042static MCSymbolRefExpr::VariantKind getVariantKind(unsigned MOFlags) {
43 switch (MOFlags) {
44 default: return MCSymbolRefExpr::VK_None;
45 case SIInstrInfo::MO_GOTPCREL: return MCSymbolRefExpr::VK_GOTPCREL;
46 }
47}
48
Tom Stellard75aadc22012-12-11 21:25:42 +000049void AMDGPUMCInstLower::lower(const MachineInstr *MI, MCInst &OutMI) const {
Tom Stellardc721a232014-05-16 20:56:47 +000050
Marek Olsaka93603d2015-01-15 18:42:51 +000051 int MCOpcode = ST.getInstrInfo()->pseudoToMCOpcode(MI->getOpcode());
52
53 if (MCOpcode == -1) {
54 LLVMContext &C = MI->getParent()->getParent()->getFunction()->getContext();
55 C.emitError("AMDGPUMCInstLower::lower - Pseudo instruction doesn't have "
56 "a target-specific version: " + Twine(MI->getOpcode()));
57 }
58
59 OutMI.setOpcode(MCOpcode);
Tom Stellard75aadc22012-12-11 21:25:42 +000060
David Blaikie2f771122014-04-05 22:42:04 +000061 for (const MachineOperand &MO : MI->explicit_operands()) {
Tom Stellard75aadc22012-12-11 21:25:42 +000062 MCOperand MCOp;
63 switch (MO.getType()) {
64 default:
65 llvm_unreachable("unknown operand type");
Tom Stellard75aadc22012-12-11 21:25:42 +000066 case MachineOperand::MO_Immediate:
Jim Grosbache9119e42015-05-13 18:37:00 +000067 MCOp = MCOperand::createImm(MO.getImm());
Tom Stellard75aadc22012-12-11 21:25:42 +000068 break;
69 case MachineOperand::MO_Register:
Tom Stellard2b65ed32015-12-21 18:44:27 +000070 MCOp = MCOperand::createReg(AMDGPU::getMCReg(MO.getReg(), ST));
Tom Stellard75aadc22012-12-11 21:25:42 +000071 break;
Tom Stellard9e90b582012-12-17 15:14:54 +000072 case MachineOperand::MO_MachineBasicBlock:
Jim Grosbach13760bd2015-05-30 01:25:56 +000073 MCOp = MCOperand::createExpr(MCSymbolRefExpr::create(
Tom Stellard9e90b582012-12-17 15:14:54 +000074 MO.getMBB()->getSymbol(), Ctx));
Tom Stellard067c8152014-07-21 14:01:14 +000075 break;
76 case MachineOperand::MO_GlobalAddress: {
77 const GlobalValue *GV = MO.getGlobal();
Jim Grosbach6f482002015-05-18 18:43:14 +000078 MCSymbol *Sym = Ctx.getOrCreateSymbol(StringRef(GV->getName()));
Tom Stellard418beb72016-07-13 14:23:33 +000079 const MCExpr *SymExpr =
80 MCSymbolRefExpr::create(Sym, getVariantKind(MO.getTargetFlags()),Ctx);
Tom Stellardbf3e6e52016-06-14 20:29:59 +000081 const MCExpr *Expr = MCBinaryExpr::createAdd(SymExpr,
82 MCConstantExpr::create(MO.getOffset(), Ctx), Ctx);
83 MCOp = MCOperand::createExpr(Expr);
Tom Stellard067c8152014-07-21 14:01:14 +000084 break;
85 }
Tom Stellard95292bb2015-01-20 17:49:47 +000086 case MachineOperand::MO_ExternalSymbol: {
Jim Grosbach6f482002015-05-18 18:43:14 +000087 MCSymbol *Sym = Ctx.getOrCreateSymbol(StringRef(MO.getSymbolName()));
Tom Stellardf3af8412016-06-10 19:26:38 +000088 Sym->setExternal(true);
Jim Grosbach13760bd2015-05-30 01:25:56 +000089 const MCSymbolRefExpr *Expr = MCSymbolRefExpr::create(Sym, Ctx);
Jim Grosbache9119e42015-05-13 18:37:00 +000090 MCOp = MCOperand::createExpr(Expr);
Tom Stellard95292bb2015-01-20 17:49:47 +000091 break;
92 }
Tom Stellard75aadc22012-12-11 21:25:42 +000093 }
94 OutMI.addOperand(MCOp);
95 }
96}
97
98void AMDGPUAsmPrinter::EmitInstruction(const MachineInstr *MI) {
Eric Christopher7edca432015-02-19 01:10:53 +000099 const AMDGPUSubtarget &STI = MF->getSubtarget<AMDGPUSubtarget>();
100 AMDGPUMCInstLower MCInstLowering(OutContext, STI);
Tom Stellard75aadc22012-12-11 21:25:42 +0000101
Tom Stellard9b9e9262014-02-28 21:36:41 +0000102 StringRef Err;
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +0000103 if (!STI.getInstrInfo()->verifyInstruction(*MI, Err)) {
Michel Danzer302f83a2016-03-16 09:10:42 +0000104 LLVMContext &C = MI->getParent()->getParent()->getFunction()->getContext();
105 C.emitError("Illegal instruction detected: " + Err);
Tom Stellard9b9e9262014-02-28 21:36:41 +0000106 MI->dump();
107 }
Michel Danzer302f83a2016-03-16 09:10:42 +0000108
Tom Stellard75aadc22012-12-11 21:25:42 +0000109 if (MI->isBundle()) {
110 const MachineBasicBlock *MBB = MI->getParent();
Duncan P. N. Exon Smithc5b668d2016-02-22 20:49:58 +0000111 MachineBasicBlock::const_instr_iterator I = ++MI->getIterator();
Duncan P. N. Exon Smitha73371a2015-10-13 20:07:10 +0000112 while (I != MBB->instr_end() && I->isInsideBundle()) {
113 EmitInstruction(&*I);
Tom Stellard75aadc22012-12-11 21:25:42 +0000114 ++I;
115 }
116 } else {
Matt Arsenault9babdf42016-06-22 20:15:28 +0000117 // We don't want SI_MASK_BRANCH/SI_RETURN encoded. They are placeholder
118 // terminator instructions and should only be printed as comments.
119 if (MI->getOpcode() == AMDGPU::SI_MASK_BRANCH) {
120 if (isVerbose()) {
121 SmallVector<char, 16> BBStr;
122 raw_svector_ostream Str(BBStr);
123
Matt Arsenaulta74374a2016-07-08 00:55:44 +0000124 const MachineBasicBlock *MBB = MI->getOperand(0).getMBB();
Matt Arsenault9babdf42016-06-22 20:15:28 +0000125 const MCSymbolRefExpr *Expr
126 = MCSymbolRefExpr::create(MBB->getSymbol(), OutContext);
127 Expr->print(Str, MAI);
128 OutStreamer->emitRawComment(" mask branch " + BBStr);
129 }
130
131 return;
132 }
133
134 if (MI->getOpcode() == AMDGPU::SI_RETURN) {
135 if (isVerbose())
136 OutStreamer->emitRawComment(" return");
137 return;
138 }
139
Tom Stellard75aadc22012-12-11 21:25:42 +0000140 MCInst TmpInst;
141 MCInstLowering.lower(MI, TmpInst);
Lang Hames9ff69c82015-04-24 19:11:51 +0000142 EmitToStreamer(*OutStreamer, TmpInst);
Tom Stellarded699252013-10-12 05:02:51 +0000143
Eric Christopher7edca432015-02-19 01:10:53 +0000144 if (STI.dumpCode()) {
Tom Stellarded699252013-10-12 05:02:51 +0000145 // Disassemble instruction/operands to text.
146 DisasmLines.resize(DisasmLines.size() + 1);
147 std::string &DisasmLine = DisasmLines.back();
148 raw_string_ostream DisasmStream(DisasmLine);
149
Eric Christopherd9134482014-08-04 21:25:23 +0000150 AMDGPUInstPrinter InstPrinter(*TM.getMCAsmInfo(),
Matt Arsenault43e92fe2016-06-24 06:30:11 +0000151 *STI.getInstrInfo(),
152 *STI.getRegisterInfo());
153 InstPrinter.printInst(&TmpInst, DisasmStream, StringRef(), STI);
Tom Stellarded699252013-10-12 05:02:51 +0000154
155 // Disassemble instruction/operands to hex representation.
156 SmallVector<MCFixup, 4> Fixups;
157 SmallVector<char, 16> CodeBytes;
158 raw_svector_ostream CodeStream(CodeBytes);
159
Tom Stellardb81f4aa2015-05-04 16:45:08 +0000160 auto &ObjStreamer = static_cast<MCObjectStreamer&>(*OutStreamer);
161 MCCodeEmitter &InstEmitter = ObjStreamer.getAssembler().getEmitter();
Jim Grosbach91df21f2015-05-15 19:13:16 +0000162 InstEmitter.encodeInstruction(TmpInst, CodeStream, Fixups,
Eric Christopher7792e322015-01-30 23:24:40 +0000163 MF->getSubtarget<MCSubtargetInfo>());
Tom Stellarded699252013-10-12 05:02:51 +0000164 HexLines.resize(HexLines.size() + 1);
165 std::string &HexLine = HexLines.back();
166 raw_string_ostream HexStream(HexLine);
167
168 for (size_t i = 0; i < CodeBytes.size(); i += 4) {
169 unsigned int CodeDWord = *(unsigned int *)&CodeBytes[i];
170 HexStream << format("%s%08X", (i > 0 ? " " : ""), CodeDWord);
171 }
172
173 DisasmStream.flush();
174 DisasmLineMaxLen = std::max(DisasmLineMaxLen, DisasmLine.size());
175 }
Tom Stellard75aadc22012-12-11 21:25:42 +0000176 }
177}