blob: f5ee0c46c07ea3aff365b3799bf2a335f45c756f [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"
Martin Storsjo865d01a2017-08-31 08:28:48 +000020#include "AArch64TargetObjectFile.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000021#include "InstPrinter/AArch64InstPrinter.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000022#include "MCTargetDesc/AArch64AddressingModes.h"
Eugene Zelenko96d933d2017-07-25 23:51:02 +000023#include "MCTargetDesc/AArch64MCTargetDesc.h"
24#include "Utils/AArch64BaseInfo.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000025#include "llvm/ADT/SmallString.h"
Eugene Zelenko96d933d2017-07-25 23:51:02 +000026#include "llvm/ADT/SmallVector.h"
27#include "llvm/ADT/StringRef.h"
28#include "llvm/ADT/Triple.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000029#include "llvm/ADT/Twine.h"
30#include "llvm/CodeGen/AsmPrinter.h"
Eugene Zelenko96d933d2017-07-25 23:51:02 +000031#include "llvm/CodeGen/MachineBasicBlock.h"
32#include "llvm/CodeGen/MachineFunction.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000033#include "llvm/CodeGen/MachineInstr.h"
Eugene Zelenko96d933d2017-07-25 23:51:02 +000034#include "llvm/CodeGen/MachineOperand.h"
Benjamin Kramer1f8930e2014-07-25 11:42:14 +000035#include "llvm/CodeGen/StackMaps.h"
David Blaikieb3bde2e2017-11-17 01:07:10 +000036#include "llvm/CodeGen/TargetRegisterInfo.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000037#include "llvm/IR/DataLayout.h"
Eugene Zelenko96d933d2017-07-25 23:51:02 +000038#include "llvm/IR/DebugInfoMetadata.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000039#include "llvm/MC/MCAsmInfo.h"
40#include "llvm/MC/MCContext.h"
41#include "llvm/MC/MCInst.h"
42#include "llvm/MC/MCInstBuilder.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000043#include "llvm/MC/MCStreamer.h"
Ahmed Bougacha1b676302015-03-05 20:04:21 +000044#include "llvm/MC/MCSymbol.h"
Eugene Zelenko96d933d2017-07-25 23:51:02 +000045#include "llvm/Support/Casting.h"
46#include "llvm/Support/ErrorHandling.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000047#include "llvm/Support/TargetRegistry.h"
Benjamin Kramer799003b2015-03-23 19:32:43 +000048#include "llvm/Support/raw_ostream.h"
Eugene Zelenko96d933d2017-07-25 23:51:02 +000049#include "llvm/Target/TargetMachine.h"
Eugene Zelenko96d933d2017-07-25 23:51:02 +000050#include <algorithm>
51#include <cassert>
52#include <cstdint>
53#include <map>
54#include <memory>
55
Tim Northover3b0846e2014-05-24 12:50:23 +000056using namespace llvm;
57
58#define DEBUG_TYPE "asm-printer"
59
60namespace {
61
62class AArch64AsmPrinter : public AsmPrinter {
Tim Northover3b0846e2014-05-24 12:50:23 +000063 AArch64MCInstLower MCInstLowering;
64 StackMaps SM;
Matthias Braunad0032a2016-07-06 21:39:33 +000065 const AArch64Subtarget *STI;
Tim Northover3b0846e2014-05-24 12:50:23 +000066
67public:
David Blaikie94598322015-01-18 20:29:04 +000068 AArch64AsmPrinter(TargetMachine &TM, std::unique_ptr<MCStreamer> Streamer)
Eric Christopherbb1ae662015-02-03 06:40:19 +000069 : AsmPrinter(TM, std::move(Streamer)), MCInstLowering(OutContext, *this),
Eugene Zelenko96d933d2017-07-25 23:51:02 +000070 SM(*this) {}
Tim Northover3b0846e2014-05-24 12:50:23 +000071
Mehdi Amini117296c2016-10-01 02:56:57 +000072 StringRef getPassName() const override { return "AArch64 Assembly Printer"; }
Tim Northover3b0846e2014-05-24 12:50:23 +000073
Adrian Prantl5f8f34e42018-05-01 15:54:18 +000074 /// Wrapper for MCInstLowering.lowerOperand() for the
Tim Northover3b0846e2014-05-24 12:50:23 +000075 /// tblgen'erated pseudo lowering.
76 bool lowerOperand(const MachineOperand &MO, MCOperand &MCOp) const {
77 return MCInstLowering.lowerOperand(MO, MCOp);
78 }
79
80 void LowerSTACKMAP(MCStreamer &OutStreamer, StackMaps &SM,
81 const MachineInstr &MI);
82 void LowerPATCHPOINT(MCStreamer &OutStreamer, StackMaps &SM,
83 const MachineInstr &MI);
Dean Michael Berris3234d3a2016-11-17 05:15:37 +000084
85 void LowerPATCHABLE_FUNCTION_ENTER(const MachineInstr &MI);
86 void LowerPATCHABLE_FUNCTION_EXIT(const MachineInstr &MI);
87 void LowerPATCHABLE_TAIL_CALL(const MachineInstr &MI);
88
Dean Michael Berris3234d3a2016-11-17 05:15:37 +000089 void EmitSled(const MachineInstr &MI, SledKind Kind);
90
Adrian Prantl5f8f34e42018-05-01 15:54:18 +000091 /// tblgen'erated driver function for lowering simple MI->MC
Tim Northover3b0846e2014-05-24 12:50:23 +000092 /// pseudo instructions.
93 bool emitPseudoExpansionLowering(MCStreamer &OutStreamer,
94 const MachineInstr *MI);
95
96 void EmitInstruction(const MachineInstr *MI) override;
97
98 void getAnalysisUsage(AnalysisUsage &AU) const override {
99 AsmPrinter::getAnalysisUsage(AU);
100 AU.setPreservesAll();
101 }
102
103 bool runOnMachineFunction(MachineFunction &F) override {
104 AArch64FI = F.getInfo<AArch64FunctionInfo>();
Matthias Braunad0032a2016-07-06 21:39:33 +0000105 STI = static_cast<const AArch64Subtarget*>(&F.getSubtarget());
Dean Michael Berris3234d3a2016-11-17 05:15:37 +0000106 bool Result = AsmPrinter::runOnMachineFunction(F);
Dean Michael Berrisf7e7b932017-01-03 04:30:21 +0000107 emitXRayTable();
Dean Michael Berris3234d3a2016-11-17 05:15:37 +0000108 return Result;
Tim Northover3b0846e2014-05-24 12:50:23 +0000109 }
110
111private:
Tim Northover3b0846e2014-05-24 12:50:23 +0000112 void printOperand(const MachineInstr *MI, unsigned OpNum, raw_ostream &O);
113 bool printAsmMRegister(const MachineOperand &MO, char Mode, raw_ostream &O);
114 bool printAsmRegInClass(const MachineOperand &MO,
115 const TargetRegisterClass *RC, bool isVector,
116 raw_ostream &O);
117
118 bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNum,
119 unsigned AsmVariant, const char *ExtraCode,
120 raw_ostream &O) override;
121 bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNum,
122 unsigned AsmVariant, const char *ExtraCode,
123 raw_ostream &O) override;
124
125 void PrintDebugValueComment(const MachineInstr *MI, raw_ostream &OS);
126
127 void EmitFunctionBodyEnd() override;
128
129 MCSymbol *GetCPISymbol(unsigned CPID) const override;
130 void EmitEndOfAsmFile(Module &M) override;
Eugene Zelenko96d933d2017-07-25 23:51:02 +0000131
132 AArch64FunctionInfo *AArch64FI = nullptr;
Tim Northover3b0846e2014-05-24 12:50:23 +0000133
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000134 /// Emit the LOHs contained in AArch64FI.
Tim Northover3b0846e2014-05-24 12:50:23 +0000135 void EmitLOHs();
136
Matthias Braunad0032a2016-07-06 21:39:33 +0000137 /// Emit instruction to set float register to zero.
138 void EmitFMov0(const MachineInstr &MI);
139
Eugene Zelenko96d933d2017-07-25 23:51:02 +0000140 using MInstToMCSymbol = std::map<const MachineInstr *, MCSymbol *>;
141
Tim Northover3b0846e2014-05-24 12:50:23 +0000142 MInstToMCSymbol LOHInstToLabel;
Tim Northover3b0846e2014-05-24 12:50:23 +0000143};
144
Eugene Zelenko96d933d2017-07-25 23:51:02 +0000145} // end anonymous namespace
Tim Northover3b0846e2014-05-24 12:50:23 +0000146
Dean Michael Berris3234d3a2016-11-17 05:15:37 +0000147void AArch64AsmPrinter::LowerPATCHABLE_FUNCTION_ENTER(const MachineInstr &MI)
148{
149 EmitSled(MI, SledKind::FUNCTION_ENTER);
150}
151
152void AArch64AsmPrinter::LowerPATCHABLE_FUNCTION_EXIT(const MachineInstr &MI)
153{
154 EmitSled(MI, SledKind::FUNCTION_EXIT);
155}
156
157void AArch64AsmPrinter::LowerPATCHABLE_TAIL_CALL(const MachineInstr &MI)
158{
159 EmitSled(MI, SledKind::TAIL_CALL);
160}
161
Dean Michael Berris3234d3a2016-11-17 05:15:37 +0000162void AArch64AsmPrinter::EmitSled(const MachineInstr &MI, SledKind Kind)
163{
164 static const int8_t NoopsInSledCount = 7;
165 // We want to emit the following pattern:
166 //
167 // .Lxray_sled_N:
168 // ALIGN
169 // B #32
170 // ; 7 NOP instructions (28 bytes)
171 // .tmpN
172 //
173 // We need the 28 bytes (7 instructions) because at runtime, we'd be patching
174 // over the full 32 bytes (8 instructions) with the following pattern:
175 //
176 // STP X0, X30, [SP, #-16]! ; push X0 and the link register to the stack
177 // LDR W0, #12 ; W0 := function ID
178 // LDR X16,#12 ; X16 := addr of __xray_FunctionEntry or __xray_FunctionExit
179 // BLR X16 ; call the tracing trampoline
180 // ;DATA: 32 bits of function ID
181 // ;DATA: lower 32 bits of the address of the trampoline
182 // ;DATA: higher 32 bits of the address of the trampoline
183 // LDP X0, X30, [SP], #16 ; pop X0 and the link register from the stack
184 //
185 OutStreamer->EmitCodeAlignment(4);
186 auto CurSled = OutContext.createTempSymbol("xray_sled_", true);
187 OutStreamer->EmitLabel(CurSled);
188 auto Target = OutContext.createTempSymbol();
189
190 // Emit "B #32" instruction, which jumps over the next 28 bytes.
Dean Michael Berris31761f32016-11-21 03:01:43 +0000191 // The operand has to be the number of 4-byte instructions to jump over,
192 // including the current instruction.
193 EmitToStreamer(*OutStreamer, MCInstBuilder(AArch64::B).addImm(8));
Dean Michael Berris3234d3a2016-11-17 05:15:37 +0000194
195 for (int8_t I = 0; I < NoopsInSledCount; I++)
196 EmitToStreamer(*OutStreamer, MCInstBuilder(AArch64::HINT).addImm(0));
197
198 OutStreamer->EmitLabel(Target);
199 recordSled(CurSled, MI, Kind);
200}
201
Tim Northover3b0846e2014-05-24 12:50:23 +0000202void AArch64AsmPrinter::EmitEndOfAsmFile(Module &M) {
Daniel Sandersc81f4502015-06-16 15:44:21 +0000203 const Triple &TT = TM.getTargetTriple();
Eric Christopherbb1ae662015-02-03 06:40:19 +0000204 if (TT.isOSBinFormatMachO()) {
Tim Northover3b0846e2014-05-24 12:50:23 +0000205 // Funny Darwin hack: This flag tells the linker that no global symbols
206 // contain code that falls through to other global symbols (e.g. the obvious
207 // implementation of multiple entry points). If this doesn't occur, the
208 // linker can safely perform dead code stripping. Since LLVM never
209 // generates code that does this, it is always safe to set.
Lang Hames9ff69c82015-04-24 19:11:51 +0000210 OutStreamer->EmitAssemblerFlag(MCAF_SubsectionsViaSymbols);
Tim Northover3b0846e2014-05-24 12:50:23 +0000211 SM.serializeToStackMapSection();
212 }
Tim Northover3b0846e2014-05-24 12:50:23 +0000213}
214
Tim Northover3b0846e2014-05-24 12:50:23 +0000215void AArch64AsmPrinter::EmitLOHs() {
216 SmallVector<MCSymbol *, 3> MCArgs;
217
218 for (const auto &D : AArch64FI->getLOHContainer()) {
219 for (const MachineInstr *MI : D.getArgs()) {
220 MInstToMCSymbol::iterator LabelIt = LOHInstToLabel.find(MI);
221 assert(LabelIt != LOHInstToLabel.end() &&
222 "Label hasn't been inserted for LOH related instruction");
223 MCArgs.push_back(LabelIt->second);
224 }
Lang Hames9ff69c82015-04-24 19:11:51 +0000225 OutStreamer->EmitLOHDirective(D.getKind(), MCArgs);
Tim Northover3b0846e2014-05-24 12:50:23 +0000226 MCArgs.clear();
227 }
228}
229
230void AArch64AsmPrinter::EmitFunctionBodyEnd() {
231 if (!AArch64FI->getLOHRelated().empty())
232 EmitLOHs();
233}
234
235/// GetCPISymbol - Return the symbol for the specified constant pool entry.
236MCSymbol *AArch64AsmPrinter::GetCPISymbol(unsigned CPID) const {
237 // Darwin uses a linker-private symbol name for constant-pools (to
238 // avoid addends on the relocation?), ELF has no such concept and
239 // uses a normal private symbol.
Mehdi Amini48878ae2016-10-01 05:57:55 +0000240 if (!getDataLayout().getLinkerPrivateGlobalPrefix().empty())
Jim Grosbach6f482002015-05-18 18:43:14 +0000241 return OutContext.getOrCreateSymbol(
Tim Northover3b0846e2014-05-24 12:50:23 +0000242 Twine(getDataLayout().getLinkerPrivateGlobalPrefix()) + "CPI" +
243 Twine(getFunctionNumber()) + "_" + Twine(CPID));
244
Jim Grosbach6f482002015-05-18 18:43:14 +0000245 return OutContext.getOrCreateSymbol(
Tim Northover3b0846e2014-05-24 12:50:23 +0000246 Twine(getDataLayout().getPrivateGlobalPrefix()) + "CPI" +
247 Twine(getFunctionNumber()) + "_" + Twine(CPID));
248}
249
250void AArch64AsmPrinter::printOperand(const MachineInstr *MI, unsigned OpNum,
251 raw_ostream &O) {
252 const MachineOperand &MO = MI->getOperand(OpNum);
253 switch (MO.getType()) {
254 default:
Craig Topper2a30d782014-06-18 05:05:13 +0000255 llvm_unreachable("<unknown operand type>");
Tim Northover3b0846e2014-05-24 12:50:23 +0000256 case MachineOperand::MO_Register: {
257 unsigned Reg = MO.getReg();
258 assert(TargetRegisterInfo::isPhysicalRegister(Reg));
259 assert(!MO.getSubReg() && "Subregs should be eliminated!");
260 O << AArch64InstPrinter::getRegisterName(Reg);
261 break;
262 }
263 case MachineOperand::MO_Immediate: {
264 int64_t Imm = MO.getImm();
265 O << '#' << Imm;
266 break;
267 }
Ahmed Bougacha1b676302015-03-05 20:04:21 +0000268 case MachineOperand::MO_GlobalAddress: {
269 const GlobalValue *GV = MO.getGlobal();
270 MCSymbol *Sym = getSymbol(GV);
271
272 // FIXME: Can we get anything other than a plain symbol here?
273 assert(!MO.getTargetFlags() && "Unknown operand target flag!");
274
Matt Arsenault8b643552015-06-09 00:31:39 +0000275 Sym->print(O, MAI);
Ahmed Bougacha1b676302015-03-05 20:04:21 +0000276 printOffset(MO.getOffset(), O);
277 break;
278 }
Peter Smithc8117582018-05-16 09:33:25 +0000279 case MachineOperand::MO_BlockAddress: {
280 MCSymbol *Sym = GetBlockAddressSymbol(MO.getBlockAddress());
281 Sym->print(O, MAI);
282 break;
283 }
Tim Northover3b0846e2014-05-24 12:50:23 +0000284 }
285}
286
287bool AArch64AsmPrinter::printAsmMRegister(const MachineOperand &MO, char Mode,
288 raw_ostream &O) {
289 unsigned Reg = MO.getReg();
290 switch (Mode) {
291 default:
292 return true; // Unknown mode.
293 case 'w':
294 Reg = getWRegFromXReg(Reg);
295 break;
296 case 'x':
297 Reg = getXRegFromWReg(Reg);
298 break;
299 }
300
301 O << AArch64InstPrinter::getRegisterName(Reg);
302 return false;
303}
304
305// Prints the register in MO using class RC using the offset in the
306// new register class. This should not be used for cross class
307// printing.
308bool AArch64AsmPrinter::printAsmRegInClass(const MachineOperand &MO,
309 const TargetRegisterClass *RC,
310 bool isVector, raw_ostream &O) {
311 assert(MO.isReg() && "Should only get here with a register!");
Matthias Braunad0032a2016-07-06 21:39:33 +0000312 const TargetRegisterInfo *RI = STI->getRegisterInfo();
Tim Northover3b0846e2014-05-24 12:50:23 +0000313 unsigned Reg = MO.getReg();
314 unsigned RegToPrint = RC->getRegister(RI->getEncodingValue(Reg));
315 assert(RI->regsOverlap(RegToPrint, Reg));
316 O << AArch64InstPrinter::getRegisterName(
317 RegToPrint, isVector ? AArch64::vreg : AArch64::NoRegAltName);
318 return false;
319}
320
321bool AArch64AsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNum,
322 unsigned AsmVariant,
323 const char *ExtraCode, raw_ostream &O) {
324 const MachineOperand &MO = MI->getOperand(OpNum);
Tim Northover47190412014-05-27 07:37:21 +0000325
326 // First try the generic code, which knows about modifiers like 'c' and 'n'.
327 if (!AsmPrinter::PrintAsmOperand(MI, OpNum, AsmVariant, ExtraCode, O))
328 return false;
329
Tim Northover3b0846e2014-05-24 12:50:23 +0000330 // Does this asm operand have a single letter operand modifier?
331 if (ExtraCode && ExtraCode[0]) {
332 if (ExtraCode[1] != 0)
333 return true; // Unknown modifier.
334
335 switch (ExtraCode[0]) {
336 default:
337 return true; // Unknown modifier.
Manoj Guptad5361802017-05-25 19:07:57 +0000338 case 'a': // Print 'a' modifier
339 PrintAsmMemoryOperand(MI, OpNum, AsmVariant, ExtraCode, O);
340 return false;
Tim Northover3b0846e2014-05-24 12:50:23 +0000341 case 'w': // Print W register
342 case 'x': // Print X register
343 if (MO.isReg())
344 return printAsmMRegister(MO, ExtraCode[0], O);
345 if (MO.isImm() && MO.getImm() == 0) {
346 unsigned Reg = ExtraCode[0] == 'w' ? AArch64::WZR : AArch64::XZR;
347 O << AArch64InstPrinter::getRegisterName(Reg);
348 return false;
349 }
350 printOperand(MI, OpNum, O);
351 return false;
352 case 'b': // Print B register.
353 case 'h': // Print H register.
354 case 's': // Print S register.
355 case 'd': // Print D register.
356 case 'q': // Print Q register.
357 if (MO.isReg()) {
358 const TargetRegisterClass *RC;
359 switch (ExtraCode[0]) {
360 case 'b':
361 RC = &AArch64::FPR8RegClass;
362 break;
363 case 'h':
364 RC = &AArch64::FPR16RegClass;
365 break;
366 case 's':
367 RC = &AArch64::FPR32RegClass;
368 break;
369 case 'd':
370 RC = &AArch64::FPR64RegClass;
371 break;
372 case 'q':
373 RC = &AArch64::FPR128RegClass;
374 break;
375 default:
376 return true;
377 }
378 return printAsmRegInClass(MO, RC, false /* vector */, O);
379 }
380 printOperand(MI, OpNum, O);
381 return false;
382 }
383 }
384
385 // According to ARM, we should emit x and v registers unless we have a
386 // modifier.
387 if (MO.isReg()) {
388 unsigned Reg = MO.getReg();
389
390 // If this is a w or x register, print an x register.
391 if (AArch64::GPR32allRegClass.contains(Reg) ||
392 AArch64::GPR64allRegClass.contains(Reg))
393 return printAsmMRegister(MO, 'x', O);
394
395 // If this is a b, h, s, d, or q register, print it as a v register.
396 return printAsmRegInClass(MO, &AArch64::FPR128RegClass, true /* vector */,
397 O);
398 }
399
400 printOperand(MI, OpNum, O);
401 return false;
402}
403
404bool AArch64AsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
405 unsigned OpNum,
406 unsigned AsmVariant,
407 const char *ExtraCode,
408 raw_ostream &O) {
Manoj Guptad5361802017-05-25 19:07:57 +0000409 if (ExtraCode && ExtraCode[0] && ExtraCode[0] != 'a')
Tim Northover3b0846e2014-05-24 12:50:23 +0000410 return true; // Unknown modifier.
411
412 const MachineOperand &MO = MI->getOperand(OpNum);
413 assert(MO.isReg() && "unexpected inline asm memory operand");
414 O << "[" << AArch64InstPrinter::getRegisterName(MO.getReg()) << "]";
415 return false;
416}
417
418void AArch64AsmPrinter::PrintDebugValueComment(const MachineInstr *MI,
419 raw_ostream &OS) {
420 unsigned NOps = MI->getNumOperands();
421 assert(NOps == 4);
422 OS << '\t' << MAI->getCommentString() << "DEBUG_VALUE: ";
423 // cast away const; DIetc do not take const operands for some reason.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000424 OS << cast<DILocalVariable>(MI->getOperand(NOps - 2).getMetadata())
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000425 ->getName();
Tim Northover3b0846e2014-05-24 12:50:23 +0000426 OS << " <- ";
427 // Frame address. Currently handles register +- offset only.
428 assert(MI->getOperand(0).isReg() && MI->getOperand(1).isImm());
429 OS << '[';
430 printOperand(MI, 0, OS);
431 OS << '+';
432 printOperand(MI, 1, OS);
433 OS << ']';
434 OS << "+";
435 printOperand(MI, NOps - 2, OS);
436}
437
438void AArch64AsmPrinter::LowerSTACKMAP(MCStreamer &OutStreamer, StackMaps &SM,
439 const MachineInstr &MI) {
Diana Picus760c7572016-08-31 12:43:49 +0000440 unsigned NumNOPBytes = StackMapOpers(&MI).getNumPatchBytes();
Tim Northover3b0846e2014-05-24 12:50:23 +0000441
442 SM.recordStackMap(MI);
Tim Northover3b0846e2014-05-24 12:50:23 +0000443 assert(NumNOPBytes % 4 == 0 && "Invalid number of NOP bytes requested!");
Lang Hamesa7395bf2014-12-02 21:36:24 +0000444
445 // Scan ahead to trim the shadow.
446 const MachineBasicBlock &MBB = *MI.getParent();
447 MachineBasicBlock::const_iterator MII(MI);
448 ++MII;
449 while (NumNOPBytes > 0) {
450 if (MII == MBB.end() || MII->isCall() ||
451 MII->getOpcode() == AArch64::DBG_VALUE ||
452 MII->getOpcode() == TargetOpcode::PATCHPOINT ||
453 MII->getOpcode() == TargetOpcode::STACKMAP)
454 break;
455 ++MII;
456 NumNOPBytes -= 4;
457 }
458
459 // Emit nops.
Tim Northover3b0846e2014-05-24 12:50:23 +0000460 for (unsigned i = 0; i < NumNOPBytes; i += 4)
461 EmitToStreamer(OutStreamer, MCInstBuilder(AArch64::HINT).addImm(0));
462}
463
464// Lower a patchpoint of the form:
465// [<def>], <id>, <numBytes>, <target>, <numArgs>
466void AArch64AsmPrinter::LowerPATCHPOINT(MCStreamer &OutStreamer, StackMaps &SM,
467 const MachineInstr &MI) {
468 SM.recordPatchPoint(MI);
469
470 PatchPointOpers Opers(&MI);
471
Philip Reamese83c4b32016-08-23 23:33:29 +0000472 int64_t CallTarget = Opers.getCallTarget().getImm();
Tim Northover3b0846e2014-05-24 12:50:23 +0000473 unsigned EncodedBytes = 0;
474 if (CallTarget) {
475 assert((CallTarget & 0xFFFFFFFFFFFF) == CallTarget &&
476 "High 16 bits of call target should be zero.");
477 unsigned ScratchReg = MI.getOperand(Opers.getNextScratchIdx()).getReg();
478 EncodedBytes = 16;
479 // Materialize the jump address:
Tim Northover389a1e32016-06-15 20:33:36 +0000480 EmitToStreamer(OutStreamer, MCInstBuilder(AArch64::MOVZXi)
Tim Northover3b0846e2014-05-24 12:50:23 +0000481 .addReg(ScratchReg)
482 .addImm((CallTarget >> 32) & 0xFFFF)
483 .addImm(32));
Tim Northover389a1e32016-06-15 20:33:36 +0000484 EmitToStreamer(OutStreamer, MCInstBuilder(AArch64::MOVKXi)
Tim Northover3b0846e2014-05-24 12:50:23 +0000485 .addReg(ScratchReg)
486 .addReg(ScratchReg)
487 .addImm((CallTarget >> 16) & 0xFFFF)
488 .addImm(16));
Tim Northover389a1e32016-06-15 20:33:36 +0000489 EmitToStreamer(OutStreamer, MCInstBuilder(AArch64::MOVKXi)
Tim Northover3b0846e2014-05-24 12:50:23 +0000490 .addReg(ScratchReg)
491 .addReg(ScratchReg)
492 .addImm(CallTarget & 0xFFFF)
493 .addImm(0));
494 EmitToStreamer(OutStreamer, MCInstBuilder(AArch64::BLR).addReg(ScratchReg));
495 }
496 // Emit padding.
Philip Reamese83c4b32016-08-23 23:33:29 +0000497 unsigned NumBytes = Opers.getNumPatchBytes();
Tim Northover3b0846e2014-05-24 12:50:23 +0000498 assert(NumBytes >= EncodedBytes &&
499 "Patchpoint can't request size less than the length of a call.");
500 assert((NumBytes - EncodedBytes) % 4 == 0 &&
501 "Invalid number of NOP bytes requested!");
502 for (unsigned i = EncodedBytes; i < NumBytes; i += 4)
503 EmitToStreamer(OutStreamer, MCInstBuilder(AArch64::HINT).addImm(0));
504}
505
Matthias Braunad0032a2016-07-06 21:39:33 +0000506void AArch64AsmPrinter::EmitFMov0(const MachineInstr &MI) {
507 unsigned DestReg = MI.getOperand(0).getReg();
Tim Northover9097a072017-12-18 10:36:00 +0000508 if (STI->hasZeroCycleZeroing() && !STI->hasZeroCycleZeroingFPWorkaround()) {
Sjoerd Meijerb0eb5fb2017-08-24 14:47:06 +0000509 // Convert H/S/D register to corresponding Q register
510 if (AArch64::H0 <= DestReg && DestReg <= AArch64::H31)
511 DestReg = AArch64::Q0 + (DestReg - AArch64::H0);
512 else if (AArch64::S0 <= DestReg && DestReg <= AArch64::S31)
Matthias Braunad0032a2016-07-06 21:39:33 +0000513 DestReg = AArch64::Q0 + (DestReg - AArch64::S0);
Sjoerd Meijerb0eb5fb2017-08-24 14:47:06 +0000514 else {
Matthias Braunad0032a2016-07-06 21:39:33 +0000515 assert(AArch64::D0 <= DestReg && DestReg <= AArch64::D31);
516 DestReg = AArch64::Q0 + (DestReg - AArch64::D0);
517 }
518 MCInst MOVI;
519 MOVI.setOpcode(AArch64::MOVIv2d_ns);
520 MOVI.addOperand(MCOperand::createReg(DestReg));
521 MOVI.addOperand(MCOperand::createImm(0));
522 EmitToStreamer(*OutStreamer, MOVI);
523 } else {
524 MCInst FMov;
525 switch (MI.getOpcode()) {
526 default: llvm_unreachable("Unexpected opcode");
Sjoerd Meijerb0eb5fb2017-08-24 14:47:06 +0000527 case AArch64::FMOVH0:
528 FMov.setOpcode(AArch64::FMOVWHr);
529 FMov.addOperand(MCOperand::createReg(DestReg));
530 FMov.addOperand(MCOperand::createReg(AArch64::WZR));
531 break;
Matthias Braunad0032a2016-07-06 21:39:33 +0000532 case AArch64::FMOVS0:
533 FMov.setOpcode(AArch64::FMOVWSr);
534 FMov.addOperand(MCOperand::createReg(DestReg));
535 FMov.addOperand(MCOperand::createReg(AArch64::WZR));
536 break;
537 case AArch64::FMOVD0:
538 FMov.setOpcode(AArch64::FMOVXDr);
539 FMov.addOperand(MCOperand::createReg(DestReg));
540 FMov.addOperand(MCOperand::createReg(AArch64::XZR));
541 break;
542 }
543 EmitToStreamer(*OutStreamer, FMov);
544 }
545}
546
Tim Northover3b0846e2014-05-24 12:50:23 +0000547// Simple pseudo-instructions have their lowering (with expansion to real
548// instructions) auto-generated.
549#include "AArch64GenMCPseudoLowering.inc"
550
551void AArch64AsmPrinter::EmitInstruction(const MachineInstr *MI) {
552 // Do any auto-generated pseudo lowerings.
Lang Hames9ff69c82015-04-24 19:11:51 +0000553 if (emitPseudoExpansionLowering(*OutStreamer, MI))
Tim Northover3b0846e2014-05-24 12:50:23 +0000554 return;
555
556 if (AArch64FI->getLOHRelated().count(MI)) {
557 // Generate a label for LOH related instruction
Rafael Espindola9ab09232015-03-17 20:07:06 +0000558 MCSymbol *LOHLabel = createTempSymbol("loh");
Tim Northover3b0846e2014-05-24 12:50:23 +0000559 // Associate the instruction with the label
560 LOHInstToLabel[MI] = LOHLabel;
Lang Hames9ff69c82015-04-24 19:11:51 +0000561 OutStreamer->EmitLabel(LOHLabel);
Tim Northover3b0846e2014-05-24 12:50:23 +0000562 }
563
564 // Do any manual lowerings.
565 switch (MI->getOpcode()) {
566 default:
567 break;
Tim Northover6db5d022017-12-20 10:45:39 +0000568 case AArch64::MOVIv2d_ns:
569 // If the target has <rdar://problem/16473581>, lower this
570 // instruction to movi.16b instead.
571 if (STI->hasZeroCycleZeroingFPWorkaround() &&
572 MI->getOperand(1).getImm() == 0) {
573 MCInst TmpInst;
574 TmpInst.setOpcode(AArch64::MOVIv16b_ns);
575 TmpInst.addOperand(MCOperand::createReg(MI->getOperand(0).getReg()));
576 TmpInst.addOperand(MCOperand::createImm(MI->getOperand(1).getImm()));
577 EmitToStreamer(*OutStreamer, TmpInst);
578 return;
579 }
580 break;
581
Tim Northover3b0846e2014-05-24 12:50:23 +0000582 case AArch64::DBG_VALUE: {
Lang Hames9ff69c82015-04-24 19:11:51 +0000583 if (isVerbose() && OutStreamer->hasRawTextSupport()) {
Tim Northover3b0846e2014-05-24 12:50:23 +0000584 SmallString<128> TmpStr;
585 raw_svector_ostream OS(TmpStr);
586 PrintDebugValueComment(MI, OS);
Lang Hames9ff69c82015-04-24 19:11:51 +0000587 OutStreamer->EmitRawText(StringRef(OS.str()));
Tim Northover3b0846e2014-05-24 12:50:23 +0000588 }
589 return;
590 }
591
592 // Tail calls use pseudo instructions so they have the proper code-gen
593 // attributes (isCall, isReturn, etc.). We lower them to the real
594 // instruction here.
595 case AArch64::TCRETURNri: {
596 MCInst TmpInst;
597 TmpInst.setOpcode(AArch64::BR);
Jim Grosbache9119e42015-05-13 18:37:00 +0000598 TmpInst.addOperand(MCOperand::createReg(MI->getOperand(0).getReg()));
Lang Hames9ff69c82015-04-24 19:11:51 +0000599 EmitToStreamer(*OutStreamer, TmpInst);
Tim Northover3b0846e2014-05-24 12:50:23 +0000600 return;
601 }
602 case AArch64::TCRETURNdi: {
603 MCOperand Dest;
604 MCInstLowering.lowerOperand(MI->getOperand(0), Dest);
605 MCInst TmpInst;
606 TmpInst.setOpcode(AArch64::B);
607 TmpInst.addOperand(Dest);
Lang Hames9ff69c82015-04-24 19:11:51 +0000608 EmitToStreamer(*OutStreamer, TmpInst);
Tim Northover3b0846e2014-05-24 12:50:23 +0000609 return;
610 }
Kristof Beylsaea84612015-03-04 09:12:08 +0000611 case AArch64::TLSDESC_CALLSEQ: {
612 /// lower this to:
613 /// adrp x0, :tlsdesc:var
614 /// ldr x1, [x0, #:tlsdesc_lo12:var]
615 /// add x0, x0, #:tlsdesc_lo12:var
616 /// .tlsdesccall var
617 /// blr x1
618 /// (TPIDR_EL0 offset now in x0)
619 const MachineOperand &MO_Sym = MI->getOperand(0);
620 MachineOperand MO_TLSDESC_LO12(MO_Sym), MO_TLSDESC(MO_Sym);
621 MCOperand Sym, SymTLSDescLo12, SymTLSDesc;
Joel Jones65134052017-05-02 22:01:48 +0000622 MO_TLSDESC_LO12.setTargetFlags(AArch64II::MO_TLS | AArch64II::MO_PAGEOFF);
Kristof Beylsaea84612015-03-04 09:12:08 +0000623 MO_TLSDESC.setTargetFlags(AArch64II::MO_TLS | AArch64II::MO_PAGE);
624 MCInstLowering.lowerOperand(MO_Sym, Sym);
625 MCInstLowering.lowerOperand(MO_TLSDESC_LO12, SymTLSDescLo12);
626 MCInstLowering.lowerOperand(MO_TLSDESC, SymTLSDesc);
Tim Northover3b0846e2014-05-24 12:50:23 +0000627
Kristof Beylsaea84612015-03-04 09:12:08 +0000628 MCInst Adrp;
629 Adrp.setOpcode(AArch64::ADRP);
Jim Grosbache9119e42015-05-13 18:37:00 +0000630 Adrp.addOperand(MCOperand::createReg(AArch64::X0));
Kristof Beylsaea84612015-03-04 09:12:08 +0000631 Adrp.addOperand(SymTLSDesc);
Lang Hames9ff69c82015-04-24 19:11:51 +0000632 EmitToStreamer(*OutStreamer, Adrp);
Kristof Beylsaea84612015-03-04 09:12:08 +0000633
634 MCInst Ldr;
635 Ldr.setOpcode(AArch64::LDRXui);
Jim Grosbache9119e42015-05-13 18:37:00 +0000636 Ldr.addOperand(MCOperand::createReg(AArch64::X1));
637 Ldr.addOperand(MCOperand::createReg(AArch64::X0));
Kristof Beylsaea84612015-03-04 09:12:08 +0000638 Ldr.addOperand(SymTLSDescLo12);
Jim Grosbache9119e42015-05-13 18:37:00 +0000639 Ldr.addOperand(MCOperand::createImm(0));
Lang Hames9ff69c82015-04-24 19:11:51 +0000640 EmitToStreamer(*OutStreamer, Ldr);
Kristof Beylsaea84612015-03-04 09:12:08 +0000641
642 MCInst Add;
643 Add.setOpcode(AArch64::ADDXri);
Jim Grosbache9119e42015-05-13 18:37:00 +0000644 Add.addOperand(MCOperand::createReg(AArch64::X0));
645 Add.addOperand(MCOperand::createReg(AArch64::X0));
Kristof Beylsaea84612015-03-04 09:12:08 +0000646 Add.addOperand(SymTLSDescLo12);
Jim Grosbache9119e42015-05-13 18:37:00 +0000647 Add.addOperand(MCOperand::createImm(AArch64_AM::getShiftValue(0)));
Lang Hames9ff69c82015-04-24 19:11:51 +0000648 EmitToStreamer(*OutStreamer, Add);
Kristof Beylsaea84612015-03-04 09:12:08 +0000649
650 // Emit a relocation-annotation. This expands to no code, but requests
Tim Northover3b0846e2014-05-24 12:50:23 +0000651 // the following instruction gets an R_AARCH64_TLSDESC_CALL.
652 MCInst TLSDescCall;
653 TLSDescCall.setOpcode(AArch64::TLSDESCCALL);
654 TLSDescCall.addOperand(Sym);
Lang Hames9ff69c82015-04-24 19:11:51 +0000655 EmitToStreamer(*OutStreamer, TLSDescCall);
Tim Northover3b0846e2014-05-24 12:50:23 +0000656
Kristof Beylsaea84612015-03-04 09:12:08 +0000657 MCInst Blr;
658 Blr.setOpcode(AArch64::BLR);
Jim Grosbache9119e42015-05-13 18:37:00 +0000659 Blr.addOperand(MCOperand::createReg(AArch64::X1));
Lang Hames9ff69c82015-04-24 19:11:51 +0000660 EmitToStreamer(*OutStreamer, Blr);
Tim Northover3b0846e2014-05-24 12:50:23 +0000661
662 return;
663 }
664
Sjoerd Meijerb0eb5fb2017-08-24 14:47:06 +0000665 case AArch64::FMOVH0:
Matthias Braunad0032a2016-07-06 21:39:33 +0000666 case AArch64::FMOVS0:
667 case AArch64::FMOVD0:
668 EmitFMov0(*MI);
669 return;
670
Tim Northover3b0846e2014-05-24 12:50:23 +0000671 case TargetOpcode::STACKMAP:
Lang Hames9ff69c82015-04-24 19:11:51 +0000672 return LowerSTACKMAP(*OutStreamer, SM, *MI);
Tim Northover3b0846e2014-05-24 12:50:23 +0000673
674 case TargetOpcode::PATCHPOINT:
Lang Hames9ff69c82015-04-24 19:11:51 +0000675 return LowerPATCHPOINT(*OutStreamer, SM, *MI);
Dean Michael Berris3234d3a2016-11-17 05:15:37 +0000676
677 case TargetOpcode::PATCHABLE_FUNCTION_ENTER:
678 LowerPATCHABLE_FUNCTION_ENTER(*MI);
679 return;
680
681 case TargetOpcode::PATCHABLE_FUNCTION_EXIT:
682 LowerPATCHABLE_FUNCTION_EXIT(*MI);
683 return;
684
685 case TargetOpcode::PATCHABLE_TAIL_CALL:
686 LowerPATCHABLE_TAIL_CALL(*MI);
687 return;
Tim Northover3b0846e2014-05-24 12:50:23 +0000688 }
689
690 // Finally, do the automated lowerings for everything else.
691 MCInst TmpInst;
692 MCInstLowering.Lower(MI, TmpInst);
Lang Hames9ff69c82015-04-24 19:11:51 +0000693 EmitToStreamer(*OutStreamer, TmpInst);
Tim Northover3b0846e2014-05-24 12:50:23 +0000694}
695
696// Force static initialization.
697extern "C" void LLVMInitializeAArch64AsmPrinter() {
Mehdi Aminif42454b2016-10-09 23:00:34 +0000698 RegisterAsmPrinter<AArch64AsmPrinter> X(getTheAArch64leTarget());
699 RegisterAsmPrinter<AArch64AsmPrinter> Y(getTheAArch64beTarget());
700 RegisterAsmPrinter<AArch64AsmPrinter> Z(getTheARM64Target());
Tim Northover3b0846e2014-05-24 12:50:23 +0000701}