blob: 277c88c87c90a7d527bd4c16b5daa663c7e32d29 [file] [log] [blame]
Eugene Zelenko96d933d2017-07-25 23:51:02 +00001//===- AArch64AsmPrinter.cpp - AArch64 LLVM assembly writer ---------------===//
Tim Northover3b0846e2014-05-24 12:50:23 +00002//
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// This file contains a printer that converts from our internal representation
11// of machine-dependent LLVM code to the AArch64 assembly language.
12//
13//===----------------------------------------------------------------------===//
14
15#include "AArch64.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000016#include "AArch64MCInstLower.h"
Benjamin Kramer1f8930e2014-07-25 11:42:14 +000017#include "AArch64MachineFunctionInfo.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000018#include "AArch64RegisterInfo.h"
19#include "AArch64Subtarget.h"
20#include "InstPrinter/AArch64InstPrinter.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000021#include "MCTargetDesc/AArch64AddressingModes.h"
Eugene Zelenko96d933d2017-07-25 23:51:02 +000022#include "MCTargetDesc/AArch64MCTargetDesc.h"
23#include "Utils/AArch64BaseInfo.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000024#include "llvm/ADT/SmallString.h"
Eugene Zelenko96d933d2017-07-25 23:51:02 +000025#include "llvm/ADT/SmallVector.h"
26#include "llvm/ADT/StringRef.h"
27#include "llvm/ADT/Triple.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000028#include "llvm/ADT/Twine.h"
29#include "llvm/CodeGen/AsmPrinter.h"
Eugene Zelenko96d933d2017-07-25 23:51:02 +000030#include "llvm/CodeGen/MachineBasicBlock.h"
31#include "llvm/CodeGen/MachineFunction.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000032#include "llvm/CodeGen/MachineInstr.h"
Eugene Zelenko96d933d2017-07-25 23:51:02 +000033#include "llvm/CodeGen/MachineOperand.h"
Benjamin Kramer1f8930e2014-07-25 11:42:14 +000034#include "llvm/CodeGen/StackMaps.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000035#include "llvm/IR/DataLayout.h"
Eugene Zelenko96d933d2017-07-25 23:51:02 +000036#include "llvm/IR/DebugInfoMetadata.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000037#include "llvm/MC/MCAsmInfo.h"
38#include "llvm/MC/MCContext.h"
39#include "llvm/MC/MCInst.h"
40#include "llvm/MC/MCInstBuilder.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000041#include "llvm/MC/MCStreamer.h"
Ahmed Bougacha1b676302015-03-05 20:04:21 +000042#include "llvm/MC/MCSymbol.h"
Eugene Zelenko96d933d2017-07-25 23:51:02 +000043#include "llvm/Support/Casting.h"
44#include "llvm/Support/ErrorHandling.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000045#include "llvm/Support/TargetRegistry.h"
Benjamin Kramer799003b2015-03-23 19:32:43 +000046#include "llvm/Support/raw_ostream.h"
Eugene Zelenko96d933d2017-07-25 23:51:02 +000047#include "llvm/Target/TargetMachine.h"
48#include "llvm/Target/TargetRegisterInfo.h"
49#include <algorithm>
50#include <cassert>
51#include <cstdint>
52#include <map>
53#include <memory>
54
Tim Northover3b0846e2014-05-24 12:50:23 +000055using namespace llvm;
56
57#define DEBUG_TYPE "asm-printer"
58
59namespace {
60
61class AArch64AsmPrinter : public AsmPrinter {
Tim Northover3b0846e2014-05-24 12:50:23 +000062 AArch64MCInstLower MCInstLowering;
63 StackMaps SM;
Matthias Braunad0032a2016-07-06 21:39:33 +000064 const AArch64Subtarget *STI;
Tim Northover3b0846e2014-05-24 12:50:23 +000065
66public:
David Blaikie94598322015-01-18 20:29:04 +000067 AArch64AsmPrinter(TargetMachine &TM, std::unique_ptr<MCStreamer> Streamer)
Eric Christopherbb1ae662015-02-03 06:40:19 +000068 : AsmPrinter(TM, std::move(Streamer)), MCInstLowering(OutContext, *this),
Eugene Zelenko96d933d2017-07-25 23:51:02 +000069 SM(*this) {}
Tim Northover3b0846e2014-05-24 12:50:23 +000070
Mehdi Amini117296c2016-10-01 02:56:57 +000071 StringRef getPassName() const override { return "AArch64 Assembly Printer"; }
Tim Northover3b0846e2014-05-24 12:50:23 +000072
73 /// \brief Wrapper for MCInstLowering.lowerOperand() for the
74 /// tblgen'erated pseudo lowering.
75 bool lowerOperand(const MachineOperand &MO, MCOperand &MCOp) const {
76 return MCInstLowering.lowerOperand(MO, MCOp);
77 }
78
79 void LowerSTACKMAP(MCStreamer &OutStreamer, StackMaps &SM,
80 const MachineInstr &MI);
81 void LowerPATCHPOINT(MCStreamer &OutStreamer, StackMaps &SM,
82 const MachineInstr &MI);
Dean Michael Berris3234d3a2016-11-17 05:15:37 +000083
84 void LowerPATCHABLE_FUNCTION_ENTER(const MachineInstr &MI);
85 void LowerPATCHABLE_FUNCTION_EXIT(const MachineInstr &MI);
86 void LowerPATCHABLE_TAIL_CALL(const MachineInstr &MI);
87
Dean Michael Berris3234d3a2016-11-17 05:15:37 +000088 void EmitSled(const MachineInstr &MI, SledKind Kind);
89
Tim Northover3b0846e2014-05-24 12:50:23 +000090 /// \brief tblgen'erated driver function for lowering simple MI->MC
91 /// pseudo instructions.
92 bool emitPseudoExpansionLowering(MCStreamer &OutStreamer,
93 const MachineInstr *MI);
94
95 void EmitInstruction(const MachineInstr *MI) override;
96
97 void getAnalysisUsage(AnalysisUsage &AU) const override {
98 AsmPrinter::getAnalysisUsage(AU);
99 AU.setPreservesAll();
100 }
101
102 bool runOnMachineFunction(MachineFunction &F) override {
103 AArch64FI = F.getInfo<AArch64FunctionInfo>();
Matthias Braunad0032a2016-07-06 21:39:33 +0000104 STI = static_cast<const AArch64Subtarget*>(&F.getSubtarget());
Dean Michael Berris3234d3a2016-11-17 05:15:37 +0000105 bool Result = AsmPrinter::runOnMachineFunction(F);
Dean Michael Berrisf7e7b932017-01-03 04:30:21 +0000106 emitXRayTable();
Dean Michael Berris3234d3a2016-11-17 05:15:37 +0000107 return Result;
Tim Northover3b0846e2014-05-24 12:50:23 +0000108 }
109
110private:
Tim Northover3b0846e2014-05-24 12:50:23 +0000111 void printOperand(const MachineInstr *MI, unsigned OpNum, raw_ostream &O);
112 bool printAsmMRegister(const MachineOperand &MO, char Mode, raw_ostream &O);
113 bool printAsmRegInClass(const MachineOperand &MO,
114 const TargetRegisterClass *RC, bool isVector,
115 raw_ostream &O);
116
117 bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNum,
118 unsigned AsmVariant, const char *ExtraCode,
119 raw_ostream &O) override;
120 bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNum,
121 unsigned AsmVariant, const char *ExtraCode,
122 raw_ostream &O) override;
123
124 void PrintDebugValueComment(const MachineInstr *MI, raw_ostream &OS);
125
126 void EmitFunctionBodyEnd() override;
127
128 MCSymbol *GetCPISymbol(unsigned CPID) const override;
129 void EmitEndOfAsmFile(Module &M) override;
Eugene Zelenko96d933d2017-07-25 23:51:02 +0000130
131 AArch64FunctionInfo *AArch64FI = nullptr;
Tim Northover3b0846e2014-05-24 12:50:23 +0000132
133 /// \brief Emit the LOHs contained in AArch64FI.
134 void EmitLOHs();
135
Matthias Braunad0032a2016-07-06 21:39:33 +0000136 /// Emit instruction to set float register to zero.
137 void EmitFMov0(const MachineInstr &MI);
138
Eugene Zelenko96d933d2017-07-25 23:51:02 +0000139 using MInstToMCSymbol = std::map<const MachineInstr *, MCSymbol *>;
140
Tim Northover3b0846e2014-05-24 12:50:23 +0000141 MInstToMCSymbol LOHInstToLabel;
Tim Northover3b0846e2014-05-24 12:50:23 +0000142};
143
Eugene Zelenko96d933d2017-07-25 23:51:02 +0000144} // end anonymous namespace
Tim Northover3b0846e2014-05-24 12:50:23 +0000145
Dean Michael Berris3234d3a2016-11-17 05:15:37 +0000146void AArch64AsmPrinter::LowerPATCHABLE_FUNCTION_ENTER(const MachineInstr &MI)
147{
148 EmitSled(MI, SledKind::FUNCTION_ENTER);
149}
150
151void AArch64AsmPrinter::LowerPATCHABLE_FUNCTION_EXIT(const MachineInstr &MI)
152{
153 EmitSled(MI, SledKind::FUNCTION_EXIT);
154}
155
156void AArch64AsmPrinter::LowerPATCHABLE_TAIL_CALL(const MachineInstr &MI)
157{
158 EmitSled(MI, SledKind::TAIL_CALL);
159}
160
Dean Michael Berris3234d3a2016-11-17 05:15:37 +0000161void AArch64AsmPrinter::EmitSled(const MachineInstr &MI, SledKind Kind)
162{
163 static const int8_t NoopsInSledCount = 7;
164 // We want to emit the following pattern:
165 //
166 // .Lxray_sled_N:
167 // ALIGN
168 // B #32
169 // ; 7 NOP instructions (28 bytes)
170 // .tmpN
171 //
172 // We need the 28 bytes (7 instructions) because at runtime, we'd be patching
173 // over the full 32 bytes (8 instructions) with the following pattern:
174 //
175 // STP X0, X30, [SP, #-16]! ; push X0 and the link register to the stack
176 // LDR W0, #12 ; W0 := function ID
177 // LDR X16,#12 ; X16 := addr of __xray_FunctionEntry or __xray_FunctionExit
178 // BLR X16 ; call the tracing trampoline
179 // ;DATA: 32 bits of function ID
180 // ;DATA: lower 32 bits of the address of the trampoline
181 // ;DATA: higher 32 bits of the address of the trampoline
182 // LDP X0, X30, [SP], #16 ; pop X0 and the link register from the stack
183 //
184 OutStreamer->EmitCodeAlignment(4);
185 auto CurSled = OutContext.createTempSymbol("xray_sled_", true);
186 OutStreamer->EmitLabel(CurSled);
187 auto Target = OutContext.createTempSymbol();
188
189 // Emit "B #32" instruction, which jumps over the next 28 bytes.
Dean Michael Berris31761f32016-11-21 03:01:43 +0000190 // The operand has to be the number of 4-byte instructions to jump over,
191 // including the current instruction.
192 EmitToStreamer(*OutStreamer, MCInstBuilder(AArch64::B).addImm(8));
Dean Michael Berris3234d3a2016-11-17 05:15:37 +0000193
194 for (int8_t I = 0; I < NoopsInSledCount; I++)
195 EmitToStreamer(*OutStreamer, MCInstBuilder(AArch64::HINT).addImm(0));
196
197 OutStreamer->EmitLabel(Target);
198 recordSled(CurSled, MI, Kind);
199}
200
Tim Northover3b0846e2014-05-24 12:50:23 +0000201void AArch64AsmPrinter::EmitEndOfAsmFile(Module &M) {
Daniel Sandersc81f4502015-06-16 15:44:21 +0000202 const Triple &TT = TM.getTargetTriple();
Eric Christopherbb1ae662015-02-03 06:40:19 +0000203 if (TT.isOSBinFormatMachO()) {
Tim Northover3b0846e2014-05-24 12:50:23 +0000204 // Funny Darwin hack: This flag tells the linker that no global symbols
205 // contain code that falls through to other global symbols (e.g. the obvious
206 // implementation of multiple entry points). If this doesn't occur, the
207 // linker can safely perform dead code stripping. Since LLVM never
208 // generates code that does this, it is always safe to set.
Lang Hames9ff69c82015-04-24 19:11:51 +0000209 OutStreamer->EmitAssemblerFlag(MCAF_SubsectionsViaSymbols);
Tim Northover3b0846e2014-05-24 12:50:23 +0000210 SM.serializeToStackMapSection();
211 }
Tim Northover3b0846e2014-05-24 12:50:23 +0000212}
213
Tim Northover3b0846e2014-05-24 12:50:23 +0000214void AArch64AsmPrinter::EmitLOHs() {
215 SmallVector<MCSymbol *, 3> MCArgs;
216
217 for (const auto &D : AArch64FI->getLOHContainer()) {
218 for (const MachineInstr *MI : D.getArgs()) {
219 MInstToMCSymbol::iterator LabelIt = LOHInstToLabel.find(MI);
220 assert(LabelIt != LOHInstToLabel.end() &&
221 "Label hasn't been inserted for LOH related instruction");
222 MCArgs.push_back(LabelIt->second);
223 }
Lang Hames9ff69c82015-04-24 19:11:51 +0000224 OutStreamer->EmitLOHDirective(D.getKind(), MCArgs);
Tim Northover3b0846e2014-05-24 12:50:23 +0000225 MCArgs.clear();
226 }
227}
228
229void AArch64AsmPrinter::EmitFunctionBodyEnd() {
230 if (!AArch64FI->getLOHRelated().empty())
231 EmitLOHs();
232}
233
234/// GetCPISymbol - Return the symbol for the specified constant pool entry.
235MCSymbol *AArch64AsmPrinter::GetCPISymbol(unsigned CPID) const {
236 // Darwin uses a linker-private symbol name for constant-pools (to
237 // avoid addends on the relocation?), ELF has no such concept and
238 // uses a normal private symbol.
Mehdi Amini48878ae2016-10-01 05:57:55 +0000239 if (!getDataLayout().getLinkerPrivateGlobalPrefix().empty())
Jim Grosbach6f482002015-05-18 18:43:14 +0000240 return OutContext.getOrCreateSymbol(
Tim Northover3b0846e2014-05-24 12:50:23 +0000241 Twine(getDataLayout().getLinkerPrivateGlobalPrefix()) + "CPI" +
242 Twine(getFunctionNumber()) + "_" + Twine(CPID));
243
Jim Grosbach6f482002015-05-18 18:43:14 +0000244 return OutContext.getOrCreateSymbol(
Tim Northover3b0846e2014-05-24 12:50:23 +0000245 Twine(getDataLayout().getPrivateGlobalPrefix()) + "CPI" +
246 Twine(getFunctionNumber()) + "_" + Twine(CPID));
247}
248
249void AArch64AsmPrinter::printOperand(const MachineInstr *MI, unsigned OpNum,
250 raw_ostream &O) {
251 const MachineOperand &MO = MI->getOperand(OpNum);
252 switch (MO.getType()) {
253 default:
Craig Topper2a30d782014-06-18 05:05:13 +0000254 llvm_unreachable("<unknown operand type>");
Tim Northover3b0846e2014-05-24 12:50:23 +0000255 case MachineOperand::MO_Register: {
256 unsigned Reg = MO.getReg();
257 assert(TargetRegisterInfo::isPhysicalRegister(Reg));
258 assert(!MO.getSubReg() && "Subregs should be eliminated!");
259 O << AArch64InstPrinter::getRegisterName(Reg);
260 break;
261 }
262 case MachineOperand::MO_Immediate: {
263 int64_t Imm = MO.getImm();
264 O << '#' << Imm;
265 break;
266 }
Ahmed Bougacha1b676302015-03-05 20:04:21 +0000267 case MachineOperand::MO_GlobalAddress: {
268 const GlobalValue *GV = MO.getGlobal();
269 MCSymbol *Sym = getSymbol(GV);
270
271 // FIXME: Can we get anything other than a plain symbol here?
272 assert(!MO.getTargetFlags() && "Unknown operand target flag!");
273
Matt Arsenault8b643552015-06-09 00:31:39 +0000274 Sym->print(O, MAI);
Ahmed Bougacha1b676302015-03-05 20:04:21 +0000275 printOffset(MO.getOffset(), O);
276 break;
277 }
Tim Northover3b0846e2014-05-24 12:50:23 +0000278 }
279}
280
281bool AArch64AsmPrinter::printAsmMRegister(const MachineOperand &MO, char Mode,
282 raw_ostream &O) {
283 unsigned Reg = MO.getReg();
284 switch (Mode) {
285 default:
286 return true; // Unknown mode.
287 case 'w':
288 Reg = getWRegFromXReg(Reg);
289 break;
290 case 'x':
291 Reg = getXRegFromWReg(Reg);
292 break;
293 }
294
295 O << AArch64InstPrinter::getRegisterName(Reg);
296 return false;
297}
298
299// Prints the register in MO using class RC using the offset in the
300// new register class. This should not be used for cross class
301// printing.
302bool AArch64AsmPrinter::printAsmRegInClass(const MachineOperand &MO,
303 const TargetRegisterClass *RC,
304 bool isVector, raw_ostream &O) {
305 assert(MO.isReg() && "Should only get here with a register!");
Matthias Braunad0032a2016-07-06 21:39:33 +0000306 const TargetRegisterInfo *RI = STI->getRegisterInfo();
Tim Northover3b0846e2014-05-24 12:50:23 +0000307 unsigned Reg = MO.getReg();
308 unsigned RegToPrint = RC->getRegister(RI->getEncodingValue(Reg));
309 assert(RI->regsOverlap(RegToPrint, Reg));
310 O << AArch64InstPrinter::getRegisterName(
311 RegToPrint, isVector ? AArch64::vreg : AArch64::NoRegAltName);
312 return false;
313}
314
315bool AArch64AsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNum,
316 unsigned AsmVariant,
317 const char *ExtraCode, raw_ostream &O) {
318 const MachineOperand &MO = MI->getOperand(OpNum);
Tim Northover47190412014-05-27 07:37:21 +0000319
320 // First try the generic code, which knows about modifiers like 'c' and 'n'.
321 if (!AsmPrinter::PrintAsmOperand(MI, OpNum, AsmVariant, ExtraCode, O))
322 return false;
323
Tim Northover3b0846e2014-05-24 12:50:23 +0000324 // Does this asm operand have a single letter operand modifier?
325 if (ExtraCode && ExtraCode[0]) {
326 if (ExtraCode[1] != 0)
327 return true; // Unknown modifier.
328
329 switch (ExtraCode[0]) {
330 default:
331 return true; // Unknown modifier.
Manoj Guptad5361802017-05-25 19:07:57 +0000332 case 'a': // Print 'a' modifier
333 PrintAsmMemoryOperand(MI, OpNum, AsmVariant, ExtraCode, O);
334 return false;
Tim Northover3b0846e2014-05-24 12:50:23 +0000335 case 'w': // Print W register
336 case 'x': // Print X register
337 if (MO.isReg())
338 return printAsmMRegister(MO, ExtraCode[0], O);
339 if (MO.isImm() && MO.getImm() == 0) {
340 unsigned Reg = ExtraCode[0] == 'w' ? AArch64::WZR : AArch64::XZR;
341 O << AArch64InstPrinter::getRegisterName(Reg);
342 return false;
343 }
344 printOperand(MI, OpNum, O);
345 return false;
346 case 'b': // Print B register.
347 case 'h': // Print H register.
348 case 's': // Print S register.
349 case 'd': // Print D register.
350 case 'q': // Print Q register.
351 if (MO.isReg()) {
352 const TargetRegisterClass *RC;
353 switch (ExtraCode[0]) {
354 case 'b':
355 RC = &AArch64::FPR8RegClass;
356 break;
357 case 'h':
358 RC = &AArch64::FPR16RegClass;
359 break;
360 case 's':
361 RC = &AArch64::FPR32RegClass;
362 break;
363 case 'd':
364 RC = &AArch64::FPR64RegClass;
365 break;
366 case 'q':
367 RC = &AArch64::FPR128RegClass;
368 break;
369 default:
370 return true;
371 }
372 return printAsmRegInClass(MO, RC, false /* vector */, O);
373 }
374 printOperand(MI, OpNum, O);
375 return false;
376 }
377 }
378
379 // According to ARM, we should emit x and v registers unless we have a
380 // modifier.
381 if (MO.isReg()) {
382 unsigned Reg = MO.getReg();
383
384 // If this is a w or x register, print an x register.
385 if (AArch64::GPR32allRegClass.contains(Reg) ||
386 AArch64::GPR64allRegClass.contains(Reg))
387 return printAsmMRegister(MO, 'x', O);
388
389 // If this is a b, h, s, d, or q register, print it as a v register.
390 return printAsmRegInClass(MO, &AArch64::FPR128RegClass, true /* vector */,
391 O);
392 }
393
394 printOperand(MI, OpNum, O);
395 return false;
396}
397
398bool AArch64AsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
399 unsigned OpNum,
400 unsigned AsmVariant,
401 const char *ExtraCode,
402 raw_ostream &O) {
Manoj Guptad5361802017-05-25 19:07:57 +0000403 if (ExtraCode && ExtraCode[0] && ExtraCode[0] != 'a')
Tim Northover3b0846e2014-05-24 12:50:23 +0000404 return true; // Unknown modifier.
405
406 const MachineOperand &MO = MI->getOperand(OpNum);
407 assert(MO.isReg() && "unexpected inline asm memory operand");
408 O << "[" << AArch64InstPrinter::getRegisterName(MO.getReg()) << "]";
409 return false;
410}
411
412void AArch64AsmPrinter::PrintDebugValueComment(const MachineInstr *MI,
413 raw_ostream &OS) {
414 unsigned NOps = MI->getNumOperands();
415 assert(NOps == 4);
416 OS << '\t' << MAI->getCommentString() << "DEBUG_VALUE: ";
417 // cast away const; DIetc do not take const operands for some reason.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000418 OS << cast<DILocalVariable>(MI->getOperand(NOps - 2).getMetadata())
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000419 ->getName();
Tim Northover3b0846e2014-05-24 12:50:23 +0000420 OS << " <- ";
421 // Frame address. Currently handles register +- offset only.
422 assert(MI->getOperand(0).isReg() && MI->getOperand(1).isImm());
423 OS << '[';
424 printOperand(MI, 0, OS);
425 OS << '+';
426 printOperand(MI, 1, OS);
427 OS << ']';
428 OS << "+";
429 printOperand(MI, NOps - 2, OS);
430}
431
432void AArch64AsmPrinter::LowerSTACKMAP(MCStreamer &OutStreamer, StackMaps &SM,
433 const MachineInstr &MI) {
Diana Picus760c7572016-08-31 12:43:49 +0000434 unsigned NumNOPBytes = StackMapOpers(&MI).getNumPatchBytes();
Tim Northover3b0846e2014-05-24 12:50:23 +0000435
436 SM.recordStackMap(MI);
Tim Northover3b0846e2014-05-24 12:50:23 +0000437 assert(NumNOPBytes % 4 == 0 && "Invalid number of NOP bytes requested!");
Lang Hamesa7395bf2014-12-02 21:36:24 +0000438
439 // Scan ahead to trim the shadow.
440 const MachineBasicBlock &MBB = *MI.getParent();
441 MachineBasicBlock::const_iterator MII(MI);
442 ++MII;
443 while (NumNOPBytes > 0) {
444 if (MII == MBB.end() || MII->isCall() ||
445 MII->getOpcode() == AArch64::DBG_VALUE ||
446 MII->getOpcode() == TargetOpcode::PATCHPOINT ||
447 MII->getOpcode() == TargetOpcode::STACKMAP)
448 break;
449 ++MII;
450 NumNOPBytes -= 4;
451 }
452
453 // Emit nops.
Tim Northover3b0846e2014-05-24 12:50:23 +0000454 for (unsigned i = 0; i < NumNOPBytes; i += 4)
455 EmitToStreamer(OutStreamer, MCInstBuilder(AArch64::HINT).addImm(0));
456}
457
458// Lower a patchpoint of the form:
459// [<def>], <id>, <numBytes>, <target>, <numArgs>
460void AArch64AsmPrinter::LowerPATCHPOINT(MCStreamer &OutStreamer, StackMaps &SM,
461 const MachineInstr &MI) {
462 SM.recordPatchPoint(MI);
463
464 PatchPointOpers Opers(&MI);
465
Philip Reamese83c4b32016-08-23 23:33:29 +0000466 int64_t CallTarget = Opers.getCallTarget().getImm();
Tim Northover3b0846e2014-05-24 12:50:23 +0000467 unsigned EncodedBytes = 0;
468 if (CallTarget) {
469 assert((CallTarget & 0xFFFFFFFFFFFF) == CallTarget &&
470 "High 16 bits of call target should be zero.");
471 unsigned ScratchReg = MI.getOperand(Opers.getNextScratchIdx()).getReg();
472 EncodedBytes = 16;
473 // Materialize the jump address:
Tim Northover389a1e32016-06-15 20:33:36 +0000474 EmitToStreamer(OutStreamer, MCInstBuilder(AArch64::MOVZXi)
Tim Northover3b0846e2014-05-24 12:50:23 +0000475 .addReg(ScratchReg)
476 .addImm((CallTarget >> 32) & 0xFFFF)
477 .addImm(32));
Tim Northover389a1e32016-06-15 20:33:36 +0000478 EmitToStreamer(OutStreamer, MCInstBuilder(AArch64::MOVKXi)
Tim Northover3b0846e2014-05-24 12:50:23 +0000479 .addReg(ScratchReg)
480 .addReg(ScratchReg)
481 .addImm((CallTarget >> 16) & 0xFFFF)
482 .addImm(16));
Tim Northover389a1e32016-06-15 20:33:36 +0000483 EmitToStreamer(OutStreamer, MCInstBuilder(AArch64::MOVKXi)
Tim Northover3b0846e2014-05-24 12:50:23 +0000484 .addReg(ScratchReg)
485 .addReg(ScratchReg)
486 .addImm(CallTarget & 0xFFFF)
487 .addImm(0));
488 EmitToStreamer(OutStreamer, MCInstBuilder(AArch64::BLR).addReg(ScratchReg));
489 }
490 // Emit padding.
Philip Reamese83c4b32016-08-23 23:33:29 +0000491 unsigned NumBytes = Opers.getNumPatchBytes();
Tim Northover3b0846e2014-05-24 12:50:23 +0000492 assert(NumBytes >= EncodedBytes &&
493 "Patchpoint can't request size less than the length of a call.");
494 assert((NumBytes - EncodedBytes) % 4 == 0 &&
495 "Invalid number of NOP bytes requested!");
496 for (unsigned i = EncodedBytes; i < NumBytes; i += 4)
497 EmitToStreamer(OutStreamer, MCInstBuilder(AArch64::HINT).addImm(0));
498}
499
Matthias Braunad0032a2016-07-06 21:39:33 +0000500void AArch64AsmPrinter::EmitFMov0(const MachineInstr &MI) {
501 unsigned DestReg = MI.getOperand(0).getReg();
502 if (STI->hasZeroCycleZeroing()) {
Sjoerd Meijerb0eb5fb2017-08-24 14:47:06 +0000503 // Convert H/S/D register to corresponding Q register
504 if (AArch64::H0 <= DestReg && DestReg <= AArch64::H31)
505 DestReg = AArch64::Q0 + (DestReg - AArch64::H0);
506 else if (AArch64::S0 <= DestReg && DestReg <= AArch64::S31)
Matthias Braunad0032a2016-07-06 21:39:33 +0000507 DestReg = AArch64::Q0 + (DestReg - AArch64::S0);
Sjoerd Meijerb0eb5fb2017-08-24 14:47:06 +0000508 else {
Matthias Braunad0032a2016-07-06 21:39:33 +0000509 assert(AArch64::D0 <= DestReg && DestReg <= AArch64::D31);
510 DestReg = AArch64::Q0 + (DestReg - AArch64::D0);
511 }
512 MCInst MOVI;
513 MOVI.setOpcode(AArch64::MOVIv2d_ns);
514 MOVI.addOperand(MCOperand::createReg(DestReg));
515 MOVI.addOperand(MCOperand::createImm(0));
516 EmitToStreamer(*OutStreamer, MOVI);
517 } else {
518 MCInst FMov;
519 switch (MI.getOpcode()) {
520 default: llvm_unreachable("Unexpected opcode");
Sjoerd Meijerb0eb5fb2017-08-24 14:47:06 +0000521 case AArch64::FMOVH0:
522 FMov.setOpcode(AArch64::FMOVWHr);
523 FMov.addOperand(MCOperand::createReg(DestReg));
524 FMov.addOperand(MCOperand::createReg(AArch64::WZR));
525 break;
Matthias Braunad0032a2016-07-06 21:39:33 +0000526 case AArch64::FMOVS0:
527 FMov.setOpcode(AArch64::FMOVWSr);
528 FMov.addOperand(MCOperand::createReg(DestReg));
529 FMov.addOperand(MCOperand::createReg(AArch64::WZR));
530 break;
531 case AArch64::FMOVD0:
532 FMov.setOpcode(AArch64::FMOVXDr);
533 FMov.addOperand(MCOperand::createReg(DestReg));
534 FMov.addOperand(MCOperand::createReg(AArch64::XZR));
535 break;
536 }
537 EmitToStreamer(*OutStreamer, FMov);
538 }
539}
540
Tim Northover3b0846e2014-05-24 12:50:23 +0000541// Simple pseudo-instructions have their lowering (with expansion to real
542// instructions) auto-generated.
543#include "AArch64GenMCPseudoLowering.inc"
544
545void AArch64AsmPrinter::EmitInstruction(const MachineInstr *MI) {
546 // Do any auto-generated pseudo lowerings.
Lang Hames9ff69c82015-04-24 19:11:51 +0000547 if (emitPseudoExpansionLowering(*OutStreamer, MI))
Tim Northover3b0846e2014-05-24 12:50:23 +0000548 return;
549
550 if (AArch64FI->getLOHRelated().count(MI)) {
551 // Generate a label for LOH related instruction
Rafael Espindola9ab09232015-03-17 20:07:06 +0000552 MCSymbol *LOHLabel = createTempSymbol("loh");
Tim Northover3b0846e2014-05-24 12:50:23 +0000553 // Associate the instruction with the label
554 LOHInstToLabel[MI] = LOHLabel;
Lang Hames9ff69c82015-04-24 19:11:51 +0000555 OutStreamer->EmitLabel(LOHLabel);
Tim Northover3b0846e2014-05-24 12:50:23 +0000556 }
557
558 // Do any manual lowerings.
559 switch (MI->getOpcode()) {
560 default:
561 break;
562 case AArch64::DBG_VALUE: {
Lang Hames9ff69c82015-04-24 19:11:51 +0000563 if (isVerbose() && OutStreamer->hasRawTextSupport()) {
Tim Northover3b0846e2014-05-24 12:50:23 +0000564 SmallString<128> TmpStr;
565 raw_svector_ostream OS(TmpStr);
566 PrintDebugValueComment(MI, OS);
Lang Hames9ff69c82015-04-24 19:11:51 +0000567 OutStreamer->EmitRawText(StringRef(OS.str()));
Tim Northover3b0846e2014-05-24 12:50:23 +0000568 }
569 return;
570 }
571
572 // Tail calls use pseudo instructions so they have the proper code-gen
573 // attributes (isCall, isReturn, etc.). We lower them to the real
574 // instruction here.
575 case AArch64::TCRETURNri: {
576 MCInst TmpInst;
577 TmpInst.setOpcode(AArch64::BR);
Jim Grosbache9119e42015-05-13 18:37:00 +0000578 TmpInst.addOperand(MCOperand::createReg(MI->getOperand(0).getReg()));
Lang Hames9ff69c82015-04-24 19:11:51 +0000579 EmitToStreamer(*OutStreamer, TmpInst);
Tim Northover3b0846e2014-05-24 12:50:23 +0000580 return;
581 }
582 case AArch64::TCRETURNdi: {
583 MCOperand Dest;
584 MCInstLowering.lowerOperand(MI->getOperand(0), Dest);
585 MCInst TmpInst;
586 TmpInst.setOpcode(AArch64::B);
587 TmpInst.addOperand(Dest);
Lang Hames9ff69c82015-04-24 19:11:51 +0000588 EmitToStreamer(*OutStreamer, TmpInst);
Tim Northover3b0846e2014-05-24 12:50:23 +0000589 return;
590 }
Kristof Beylsaea84612015-03-04 09:12:08 +0000591 case AArch64::TLSDESC_CALLSEQ: {
592 /// lower this to:
593 /// adrp x0, :tlsdesc:var
594 /// ldr x1, [x0, #:tlsdesc_lo12:var]
595 /// add x0, x0, #:tlsdesc_lo12:var
596 /// .tlsdesccall var
597 /// blr x1
598 /// (TPIDR_EL0 offset now in x0)
599 const MachineOperand &MO_Sym = MI->getOperand(0);
600 MachineOperand MO_TLSDESC_LO12(MO_Sym), MO_TLSDESC(MO_Sym);
601 MCOperand Sym, SymTLSDescLo12, SymTLSDesc;
Joel Jones65134052017-05-02 22:01:48 +0000602 MO_TLSDESC_LO12.setTargetFlags(AArch64II::MO_TLS | AArch64II::MO_PAGEOFF);
Kristof Beylsaea84612015-03-04 09:12:08 +0000603 MO_TLSDESC.setTargetFlags(AArch64II::MO_TLS | AArch64II::MO_PAGE);
604 MCInstLowering.lowerOperand(MO_Sym, Sym);
605 MCInstLowering.lowerOperand(MO_TLSDESC_LO12, SymTLSDescLo12);
606 MCInstLowering.lowerOperand(MO_TLSDESC, SymTLSDesc);
Tim Northover3b0846e2014-05-24 12:50:23 +0000607
Kristof Beylsaea84612015-03-04 09:12:08 +0000608 MCInst Adrp;
609 Adrp.setOpcode(AArch64::ADRP);
Jim Grosbache9119e42015-05-13 18:37:00 +0000610 Adrp.addOperand(MCOperand::createReg(AArch64::X0));
Kristof Beylsaea84612015-03-04 09:12:08 +0000611 Adrp.addOperand(SymTLSDesc);
Lang Hames9ff69c82015-04-24 19:11:51 +0000612 EmitToStreamer(*OutStreamer, Adrp);
Kristof Beylsaea84612015-03-04 09:12:08 +0000613
614 MCInst Ldr;
615 Ldr.setOpcode(AArch64::LDRXui);
Jim Grosbache9119e42015-05-13 18:37:00 +0000616 Ldr.addOperand(MCOperand::createReg(AArch64::X1));
617 Ldr.addOperand(MCOperand::createReg(AArch64::X0));
Kristof Beylsaea84612015-03-04 09:12:08 +0000618 Ldr.addOperand(SymTLSDescLo12);
Jim Grosbache9119e42015-05-13 18:37:00 +0000619 Ldr.addOperand(MCOperand::createImm(0));
Lang Hames9ff69c82015-04-24 19:11:51 +0000620 EmitToStreamer(*OutStreamer, Ldr);
Kristof Beylsaea84612015-03-04 09:12:08 +0000621
622 MCInst Add;
623 Add.setOpcode(AArch64::ADDXri);
Jim Grosbache9119e42015-05-13 18:37:00 +0000624 Add.addOperand(MCOperand::createReg(AArch64::X0));
625 Add.addOperand(MCOperand::createReg(AArch64::X0));
Kristof Beylsaea84612015-03-04 09:12:08 +0000626 Add.addOperand(SymTLSDescLo12);
Jim Grosbache9119e42015-05-13 18:37:00 +0000627 Add.addOperand(MCOperand::createImm(AArch64_AM::getShiftValue(0)));
Lang Hames9ff69c82015-04-24 19:11:51 +0000628 EmitToStreamer(*OutStreamer, Add);
Kristof Beylsaea84612015-03-04 09:12:08 +0000629
630 // Emit a relocation-annotation. This expands to no code, but requests
Tim Northover3b0846e2014-05-24 12:50:23 +0000631 // the following instruction gets an R_AARCH64_TLSDESC_CALL.
632 MCInst TLSDescCall;
633 TLSDescCall.setOpcode(AArch64::TLSDESCCALL);
634 TLSDescCall.addOperand(Sym);
Lang Hames9ff69c82015-04-24 19:11:51 +0000635 EmitToStreamer(*OutStreamer, TLSDescCall);
Tim Northover3b0846e2014-05-24 12:50:23 +0000636
Kristof Beylsaea84612015-03-04 09:12:08 +0000637 MCInst Blr;
638 Blr.setOpcode(AArch64::BLR);
Jim Grosbache9119e42015-05-13 18:37:00 +0000639 Blr.addOperand(MCOperand::createReg(AArch64::X1));
Lang Hames9ff69c82015-04-24 19:11:51 +0000640 EmitToStreamer(*OutStreamer, Blr);
Tim Northover3b0846e2014-05-24 12:50:23 +0000641
642 return;
643 }
644
Sjoerd Meijerb0eb5fb2017-08-24 14:47:06 +0000645 case AArch64::FMOVH0:
Matthias Braunad0032a2016-07-06 21:39:33 +0000646 case AArch64::FMOVS0:
647 case AArch64::FMOVD0:
648 EmitFMov0(*MI);
649 return;
650
Tim Northover3b0846e2014-05-24 12:50:23 +0000651 case TargetOpcode::STACKMAP:
Lang Hames9ff69c82015-04-24 19:11:51 +0000652 return LowerSTACKMAP(*OutStreamer, SM, *MI);
Tim Northover3b0846e2014-05-24 12:50:23 +0000653
654 case TargetOpcode::PATCHPOINT:
Lang Hames9ff69c82015-04-24 19:11:51 +0000655 return LowerPATCHPOINT(*OutStreamer, SM, *MI);
Dean Michael Berris3234d3a2016-11-17 05:15:37 +0000656
657 case TargetOpcode::PATCHABLE_FUNCTION_ENTER:
658 LowerPATCHABLE_FUNCTION_ENTER(*MI);
659 return;
660
661 case TargetOpcode::PATCHABLE_FUNCTION_EXIT:
662 LowerPATCHABLE_FUNCTION_EXIT(*MI);
663 return;
664
665 case TargetOpcode::PATCHABLE_TAIL_CALL:
666 LowerPATCHABLE_TAIL_CALL(*MI);
667 return;
Tim Northover3b0846e2014-05-24 12:50:23 +0000668 }
669
670 // Finally, do the automated lowerings for everything else.
671 MCInst TmpInst;
672 MCInstLowering.Lower(MI, TmpInst);
Lang Hames9ff69c82015-04-24 19:11:51 +0000673 EmitToStreamer(*OutStreamer, TmpInst);
Tim Northover3b0846e2014-05-24 12:50:23 +0000674}
675
676// Force static initialization.
677extern "C" void LLVMInitializeAArch64AsmPrinter() {
Mehdi Aminif42454b2016-10-09 23:00:34 +0000678 RegisterAsmPrinter<AArch64AsmPrinter> X(getTheAArch64leTarget());
679 RegisterAsmPrinter<AArch64AsmPrinter> Y(getTheAArch64beTarget());
680 RegisterAsmPrinter<AArch64AsmPrinter> Z(getTheARM64Target());
Tim Northover3b0846e2014-05-24 12:50:23 +0000681}