blob: 0b527265dd3cdec3510b4d8e1450e133c56574e2 [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//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Tim Northover3b0846e2014-05-24 12:50:23 +00006//
7//===----------------------------------------------------------------------===//
8//
9// This file contains a printer that converts from our internal representation
10// of machine-dependent LLVM code to the AArch64 assembly language.
11//
12//===----------------------------------------------------------------------===//
13
14#include "AArch64.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000015#include "AArch64MCInstLower.h"
Benjamin Kramer1f8930e2014-07-25 11:42:14 +000016#include "AArch64MachineFunctionInfo.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000017#include "AArch64RegisterInfo.h"
18#include "AArch64Subtarget.h"
Martin Storsjo865d01a2017-08-31 08:28:48 +000019#include "AArch64TargetObjectFile.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000020#include "MCTargetDesc/AArch64AddressingModes.h"
Richard Trieu7ba06052019-05-10 23:50:01 +000021#include "MCTargetDesc/AArch64InstPrinter.h"
Mitch Phillips790edbc2019-03-08 21:22:35 +000022#include "MCTargetDesc/AArch64MCExpr.h"
Eugene Zelenko96d933d2017-07-25 23:51:02 +000023#include "MCTargetDesc/AArch64MCTargetDesc.h"
Sanjin Sijaric96f2ea32018-10-27 06:13:06 +000024#include "MCTargetDesc/AArch64TargetStreamer.h"
Richard Trieub26592e2019-05-14 21:33:53 +000025#include "TargetInfo/AArch64TargetInfo.h"
Eugene Zelenko96d933d2017-07-25 23:51:02 +000026#include "Utils/AArch64BaseInfo.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000027#include "llvm/ADT/SmallString.h"
Eugene Zelenko96d933d2017-07-25 23:51:02 +000028#include "llvm/ADT/SmallVector.h"
29#include "llvm/ADT/StringRef.h"
30#include "llvm/ADT/Triple.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000031#include "llvm/ADT/Twine.h"
Mandeep Singh Grang802dc40f2018-12-11 18:36:14 +000032#include "llvm/BinaryFormat/COFF.h"
Peter Collingbourne73078ec2019-01-23 02:20:10 +000033#include "llvm/BinaryFormat/ELF.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000034#include "llvm/CodeGen/AsmPrinter.h"
Eugene Zelenko96d933d2017-07-25 23:51:02 +000035#include "llvm/CodeGen/MachineBasicBlock.h"
36#include "llvm/CodeGen/MachineFunction.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000037#include "llvm/CodeGen/MachineInstr.h"
Tim Northover1c353412018-10-24 20:19:09 +000038#include "llvm/CodeGen/MachineJumpTableInfo.h"
39#include "llvm/CodeGen/MachineModuleInfoImpls.h"
Eugene Zelenko96d933d2017-07-25 23:51:02 +000040#include "llvm/CodeGen/MachineOperand.h"
Benjamin Kramer1f8930e2014-07-25 11:42:14 +000041#include "llvm/CodeGen/StackMaps.h"
David Blaikieb3bde2e2017-11-17 01:07:10 +000042#include "llvm/CodeGen/TargetRegisterInfo.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000043#include "llvm/IR/DataLayout.h"
Eugene Zelenko96d933d2017-07-25 23:51:02 +000044#include "llvm/IR/DebugInfoMetadata.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000045#include "llvm/MC/MCAsmInfo.h"
46#include "llvm/MC/MCContext.h"
47#include "llvm/MC/MCInst.h"
48#include "llvm/MC/MCInstBuilder.h"
Peter Collingbourne73078ec2019-01-23 02:20:10 +000049#include "llvm/MC/MCSectionELF.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000050#include "llvm/MC/MCStreamer.h"
Ahmed Bougacha1b676302015-03-05 20:04:21 +000051#include "llvm/MC/MCSymbol.h"
Eugene Zelenko96d933d2017-07-25 23:51:02 +000052#include "llvm/Support/Casting.h"
53#include "llvm/Support/ErrorHandling.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000054#include "llvm/Support/TargetRegistry.h"
Benjamin Kramer799003b2015-03-23 19:32:43 +000055#include "llvm/Support/raw_ostream.h"
Eugene Zelenko96d933d2017-07-25 23:51:02 +000056#include "llvm/Target/TargetMachine.h"
Eugene Zelenko96d933d2017-07-25 23:51:02 +000057#include <algorithm>
58#include <cassert>
59#include <cstdint>
60#include <map>
61#include <memory>
62
Tim Northover3b0846e2014-05-24 12:50:23 +000063using namespace llvm;
64
65#define DEBUG_TYPE "asm-printer"
66
67namespace {
68
69class AArch64AsmPrinter : public AsmPrinter {
Tim Northover3b0846e2014-05-24 12:50:23 +000070 AArch64MCInstLower MCInstLowering;
71 StackMaps SM;
Matthias Braunad0032a2016-07-06 21:39:33 +000072 const AArch64Subtarget *STI;
Tim Northover3b0846e2014-05-24 12:50:23 +000073
74public:
David Blaikie94598322015-01-18 20:29:04 +000075 AArch64AsmPrinter(TargetMachine &TM, std::unique_ptr<MCStreamer> Streamer)
Eric Christopherbb1ae662015-02-03 06:40:19 +000076 : AsmPrinter(TM, std::move(Streamer)), MCInstLowering(OutContext, *this),
Eugene Zelenko96d933d2017-07-25 23:51:02 +000077 SM(*this) {}
Tim Northover3b0846e2014-05-24 12:50:23 +000078
Mehdi Amini117296c2016-10-01 02:56:57 +000079 StringRef getPassName() const override { return "AArch64 Assembly Printer"; }
Tim Northover3b0846e2014-05-24 12:50:23 +000080
Adrian Prantl5f8f34e42018-05-01 15:54:18 +000081 /// Wrapper for MCInstLowering.lowerOperand() for the
Tim Northover3b0846e2014-05-24 12:50:23 +000082 /// tblgen'erated pseudo lowering.
83 bool lowerOperand(const MachineOperand &MO, MCOperand &MCOp) const {
84 return MCInstLowering.lowerOperand(MO, MCOp);
85 }
86
Tim Northover1c353412018-10-24 20:19:09 +000087 void EmitJumpTableInfo() override;
88 void emitJumpTableEntry(const MachineJumpTableInfo *MJTI,
89 const MachineBasicBlock *MBB, unsigned JTI);
90
91 void LowerJumpTableDestSmall(MCStreamer &OutStreamer, const MachineInstr &MI);
92
Tim Northover3b0846e2014-05-24 12:50:23 +000093 void LowerSTACKMAP(MCStreamer &OutStreamer, StackMaps &SM,
94 const MachineInstr &MI);
95 void LowerPATCHPOINT(MCStreamer &OutStreamer, StackMaps &SM,
96 const MachineInstr &MI);
Dean Michael Berris3234d3a2016-11-17 05:15:37 +000097
98 void LowerPATCHABLE_FUNCTION_ENTER(const MachineInstr &MI);
99 void LowerPATCHABLE_FUNCTION_EXIT(const MachineInstr &MI);
100 void LowerPATCHABLE_TAIL_CALL(const MachineInstr &MI);
101
Peter Collingbourne73078ec2019-01-23 02:20:10 +0000102 std::map<std::pair<unsigned, uint32_t>, MCSymbol *> HwasanMemaccessSymbols;
103 void LowerHWASAN_CHECK_MEMACCESS(const MachineInstr &MI);
104 void EmitHwasanMemaccessSymbols(Module &M);
105
Dean Michael Berris3234d3a2016-11-17 05:15:37 +0000106 void EmitSled(const MachineInstr &MI, SledKind Kind);
107
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000108 /// tblgen'erated driver function for lowering simple MI->MC
Tim Northover3b0846e2014-05-24 12:50:23 +0000109 /// pseudo instructions.
110 bool emitPseudoExpansionLowering(MCStreamer &OutStreamer,
111 const MachineInstr *MI);
112
113 void EmitInstruction(const MachineInstr *MI) override;
114
115 void getAnalysisUsage(AnalysisUsage &AU) const override {
116 AsmPrinter::getAnalysisUsage(AU);
117 AU.setPreservesAll();
118 }
119
Mandeep Singh Grang802dc40f2018-12-11 18:36:14 +0000120 bool runOnMachineFunction(MachineFunction &MF) override {
121 AArch64FI = MF.getInfo<AArch64FunctionInfo>();
122 STI = static_cast<const AArch64Subtarget*>(&MF.getSubtarget());
123
124 SetupMachineFunction(MF);
125
126 if (STI->isTargetCOFF()) {
127 bool Internal = MF.getFunction().hasInternalLinkage();
128 COFF::SymbolStorageClass Scl = Internal ? COFF::IMAGE_SYM_CLASS_STATIC
129 : COFF::IMAGE_SYM_CLASS_EXTERNAL;
130 int Type =
131 COFF::IMAGE_SYM_DTYPE_FUNCTION << COFF::SCT_COMPLEX_TYPE_SHIFT;
132
133 OutStreamer->BeginCOFFSymbolDef(CurrentFnSym);
134 OutStreamer->EmitCOFFSymbolStorageClass(Scl);
135 OutStreamer->EmitCOFFSymbolType(Type);
136 OutStreamer->EndCOFFSymbolDef();
137 }
138
139 // Emit the rest of the function body.
140 EmitFunctionBody();
141
142 // Emit the XRay table for this function.
Dean Michael Berrisf7e7b932017-01-03 04:30:21 +0000143 emitXRayTable();
Mandeep Singh Grang802dc40f2018-12-11 18:36:14 +0000144
145 // We didn't modify anything.
146 return false;
Tim Northover3b0846e2014-05-24 12:50:23 +0000147 }
148
149private:
Tim Northover3b0846e2014-05-24 12:50:23 +0000150 void printOperand(const MachineInstr *MI, unsigned OpNum, raw_ostream &O);
151 bool printAsmMRegister(const MachineOperand &MO, char Mode, raw_ostream &O);
152 bool printAsmRegInClass(const MachineOperand &MO,
153 const TargetRegisterClass *RC, bool isVector,
154 raw_ostream &O);
155
156 bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNum,
Nick Desaulniers5277b3f2019-04-10 16:38:43 +0000157 const char *ExtraCode, raw_ostream &O) override;
Tim Northover3b0846e2014-05-24 12:50:23 +0000158 bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNum,
Nick Desaulniers5277b3f2019-04-10 16:38:43 +0000159 const char *ExtraCode, raw_ostream &O) override;
Tim Northover3b0846e2014-05-24 12:50:23 +0000160
161 void PrintDebugValueComment(const MachineInstr *MI, raw_ostream &OS);
162
163 void EmitFunctionBodyEnd() override;
164
165 MCSymbol *GetCPISymbol(unsigned CPID) const override;
166 void EmitEndOfAsmFile(Module &M) override;
Eugene Zelenko96d933d2017-07-25 23:51:02 +0000167
168 AArch64FunctionInfo *AArch64FI = nullptr;
Tim Northover3b0846e2014-05-24 12:50:23 +0000169
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000170 /// Emit the LOHs contained in AArch64FI.
Tim Northover3b0846e2014-05-24 12:50:23 +0000171 void EmitLOHs();
172
Matthias Braunad0032a2016-07-06 21:39:33 +0000173 /// Emit instruction to set float register to zero.
174 void EmitFMov0(const MachineInstr &MI);
175
Eugene Zelenko96d933d2017-07-25 23:51:02 +0000176 using MInstToMCSymbol = std::map<const MachineInstr *, MCSymbol *>;
177
Tim Northover3b0846e2014-05-24 12:50:23 +0000178 MInstToMCSymbol LOHInstToLabel;
Tim Northover3b0846e2014-05-24 12:50:23 +0000179};
180
Eugene Zelenko96d933d2017-07-25 23:51:02 +0000181} // end anonymous namespace
Tim Northover3b0846e2014-05-24 12:50:23 +0000182
Dean Michael Berris3234d3a2016-11-17 05:15:37 +0000183void AArch64AsmPrinter::LowerPATCHABLE_FUNCTION_ENTER(const MachineInstr &MI)
184{
185 EmitSled(MI, SledKind::FUNCTION_ENTER);
186}
187
188void AArch64AsmPrinter::LowerPATCHABLE_FUNCTION_EXIT(const MachineInstr &MI)
189{
190 EmitSled(MI, SledKind::FUNCTION_EXIT);
191}
192
193void AArch64AsmPrinter::LowerPATCHABLE_TAIL_CALL(const MachineInstr &MI)
194{
195 EmitSled(MI, SledKind::TAIL_CALL);
196}
197
Dean Michael Berris3234d3a2016-11-17 05:15:37 +0000198void AArch64AsmPrinter::EmitSled(const MachineInstr &MI, SledKind Kind)
199{
200 static const int8_t NoopsInSledCount = 7;
201 // We want to emit the following pattern:
202 //
203 // .Lxray_sled_N:
204 // ALIGN
205 // B #32
206 // ; 7 NOP instructions (28 bytes)
207 // .tmpN
208 //
209 // We need the 28 bytes (7 instructions) because at runtime, we'd be patching
210 // over the full 32 bytes (8 instructions) with the following pattern:
211 //
212 // STP X0, X30, [SP, #-16]! ; push X0 and the link register to the stack
213 // LDR W0, #12 ; W0 := function ID
214 // LDR X16,#12 ; X16 := addr of __xray_FunctionEntry or __xray_FunctionExit
215 // BLR X16 ; call the tracing trampoline
216 // ;DATA: 32 bits of function ID
217 // ;DATA: lower 32 bits of the address of the trampoline
218 // ;DATA: higher 32 bits of the address of the trampoline
219 // LDP X0, X30, [SP], #16 ; pop X0 and the link register from the stack
220 //
221 OutStreamer->EmitCodeAlignment(4);
222 auto CurSled = OutContext.createTempSymbol("xray_sled_", true);
223 OutStreamer->EmitLabel(CurSled);
224 auto Target = OutContext.createTempSymbol();
225
226 // Emit "B #32" instruction, which jumps over the next 28 bytes.
Dean Michael Berris31761f32016-11-21 03:01:43 +0000227 // The operand has to be the number of 4-byte instructions to jump over,
228 // including the current instruction.
229 EmitToStreamer(*OutStreamer, MCInstBuilder(AArch64::B).addImm(8));
Dean Michael Berris3234d3a2016-11-17 05:15:37 +0000230
231 for (int8_t I = 0; I < NoopsInSledCount; I++)
232 EmitToStreamer(*OutStreamer, MCInstBuilder(AArch64::HINT).addImm(0));
233
234 OutStreamer->EmitLabel(Target);
235 recordSled(CurSled, MI, Kind);
236}
237
Peter Collingbourne73078ec2019-01-23 02:20:10 +0000238void AArch64AsmPrinter::LowerHWASAN_CHECK_MEMACCESS(const MachineInstr &MI) {
239 unsigned Reg = MI.getOperand(0).getReg();
240 uint32_t AccessInfo = MI.getOperand(1).getImm();
241 MCSymbol *&Sym = HwasanMemaccessSymbols[{Reg, AccessInfo}];
242 if (!Sym) {
243 // FIXME: Make this work on non-ELF.
244 if (!TM.getTargetTriple().isOSBinFormatELF())
245 report_fatal_error("llvm.hwasan.check.memaccess only supported on ELF");
246
247 std::string SymName = "__hwasan_check_x" + utostr(Reg - AArch64::X0) + "_" +
248 utostr(AccessInfo);
249 Sym = OutContext.getOrCreateSymbol(SymName);
250 }
251
252 EmitToStreamer(*OutStreamer,
253 MCInstBuilder(AArch64::BL)
254 .addExpr(MCSymbolRefExpr::create(Sym, OutContext)));
255}
256
257void AArch64AsmPrinter::EmitHwasanMemaccessSymbols(Module &M) {
258 if (HwasanMemaccessSymbols.empty())
259 return;
260
261 const Triple &TT = TM.getTargetTriple();
262 assert(TT.isOSBinFormatELF());
263 std::unique_ptr<MCSubtargetInfo> STI(
264 TM.getTarget().createMCSubtargetInfo(TT.str(), "", ""));
265
266 MCSymbol *HwasanTagMismatchSym =
267 OutContext.getOrCreateSymbol("__hwasan_tag_mismatch");
268
Mitch Phillips790edbc2019-03-08 21:22:35 +0000269 const MCSymbolRefExpr *HwasanTagMismatchRef =
270 MCSymbolRefExpr::create(HwasanTagMismatchSym, OutContext);
271
Peter Collingbourne73078ec2019-01-23 02:20:10 +0000272 for (auto &P : HwasanMemaccessSymbols) {
273 unsigned Reg = P.first.first;
274 uint32_t AccessInfo = P.first.second;
275 MCSymbol *Sym = P.second;
276
277 OutStreamer->SwitchSection(OutContext.getELFSection(
278 ".text.hot", ELF::SHT_PROGBITS,
279 ELF::SHF_EXECINSTR | ELF::SHF_ALLOC | ELF::SHF_GROUP, 0,
280 Sym->getName()));
281
282 OutStreamer->EmitSymbolAttribute(Sym, MCSA_ELF_TypeFunction);
283 OutStreamer->EmitSymbolAttribute(Sym, MCSA_Weak);
284 OutStreamer->EmitSymbolAttribute(Sym, MCSA_Hidden);
285 OutStreamer->EmitLabel(Sym);
286
287 OutStreamer->EmitInstruction(MCInstBuilder(AArch64::UBFMXri)
288 .addReg(AArch64::X16)
289 .addReg(Reg)
290 .addImm(4)
291 .addImm(55),
292 *STI);
293 OutStreamer->EmitInstruction(MCInstBuilder(AArch64::LDRBBroX)
294 .addReg(AArch64::W16)
295 .addReg(AArch64::X9)
296 .addReg(AArch64::X16)
297 .addImm(0)
298 .addImm(0),
299 *STI);
300 OutStreamer->EmitInstruction(MCInstBuilder(AArch64::UBFMXri)
301 .addReg(AArch64::X17)
302 .addReg(Reg)
303 .addImm(56)
304 .addImm(63),
305 *STI);
306 OutStreamer->EmitInstruction(MCInstBuilder(AArch64::SUBSWrs)
307 .addReg(AArch64::WZR)
308 .addReg(AArch64::W16)
309 .addReg(AArch64::W17)
310 .addImm(0),
311 *STI);
312 MCSymbol *HandleMismatchSym = OutContext.createTempSymbol();
313 OutStreamer->EmitInstruction(
314 MCInstBuilder(AArch64::Bcc)
315 .addImm(AArch64CC::NE)
316 .addExpr(MCSymbolRefExpr::create(HandleMismatchSym, OutContext)),
317 *STI);
318 OutStreamer->EmitInstruction(
319 MCInstBuilder(AArch64::RET).addReg(AArch64::LR), *STI);
320
321 OutStreamer->EmitLabel(HandleMismatchSym);
Mitch Phillips790edbc2019-03-08 21:22:35 +0000322
323 OutStreamer->EmitInstruction(MCInstBuilder(AArch64::STPXpre)
324 .addReg(AArch64::SP)
325 .addReg(AArch64::X0)
326 .addReg(AArch64::X1)
327 .addReg(AArch64::SP)
328 .addImm(-32),
329 *STI);
330 OutStreamer->EmitInstruction(MCInstBuilder(AArch64::STPXi)
331 .addReg(AArch64::FP)
332 .addReg(AArch64::LR)
333 .addReg(AArch64::SP)
334 .addImm(29),
335 *STI);
336
Peter Collingbourne73078ec2019-01-23 02:20:10 +0000337 if (Reg != AArch64::X0)
338 OutStreamer->EmitInstruction(MCInstBuilder(AArch64::ORRXrs)
339 .addReg(AArch64::X0)
340 .addReg(AArch64::XZR)
341 .addReg(Reg)
342 .addImm(0),
343 *STI);
344 OutStreamer->EmitInstruction(MCInstBuilder(AArch64::MOVZXi)
345 .addReg(AArch64::X1)
346 .addImm(AccessInfo)
347 .addImm(0),
348 *STI);
Mitch Phillips790edbc2019-03-08 21:22:35 +0000349
350 // Intentionally load the GOT entry and branch to it, rather than possibly
351 // late binding the function, which may clobber the registers before we have
352 // a chance to save them.
Peter Collingbourne73078ec2019-01-23 02:20:10 +0000353 OutStreamer->EmitInstruction(
Mitch Phillips790edbc2019-03-08 21:22:35 +0000354 MCInstBuilder(AArch64::ADRP)
355 .addReg(AArch64::X16)
356 .addExpr(AArch64MCExpr::create(
357 HwasanTagMismatchRef,
358 AArch64MCExpr::VariantKind::VK_GOT_PAGE, OutContext)),
Peter Collingbourne73078ec2019-01-23 02:20:10 +0000359 *STI);
Mitch Phillips790edbc2019-03-08 21:22:35 +0000360 OutStreamer->EmitInstruction(
361 MCInstBuilder(AArch64::LDRXui)
362 .addReg(AArch64::X16)
363 .addReg(AArch64::X16)
364 .addExpr(AArch64MCExpr::create(
365 HwasanTagMismatchRef,
366 AArch64MCExpr::VariantKind::VK_GOT_LO12, OutContext)),
367 *STI);
368 OutStreamer->EmitInstruction(
369 MCInstBuilder(AArch64::BR).addReg(AArch64::X16), *STI);
Peter Collingbourne73078ec2019-01-23 02:20:10 +0000370 }
371}
372
Tim Northover3b0846e2014-05-24 12:50:23 +0000373void AArch64AsmPrinter::EmitEndOfAsmFile(Module &M) {
Peter Collingbourne73078ec2019-01-23 02:20:10 +0000374 EmitHwasanMemaccessSymbols(M);
375
Daniel Sandersc81f4502015-06-16 15:44:21 +0000376 const Triple &TT = TM.getTargetTriple();
Eric Christopherbb1ae662015-02-03 06:40:19 +0000377 if (TT.isOSBinFormatMachO()) {
Tim Northover3b0846e2014-05-24 12:50:23 +0000378 // Funny Darwin hack: This flag tells the linker that no global symbols
379 // contain code that falls through to other global symbols (e.g. the obvious
380 // implementation of multiple entry points). If this doesn't occur, the
381 // linker can safely perform dead code stripping. Since LLVM never
382 // generates code that does this, it is always safe to set.
Lang Hames9ff69c82015-04-24 19:11:51 +0000383 OutStreamer->EmitAssemblerFlag(MCAF_SubsectionsViaSymbols);
Than McIntosh30c804b2018-11-26 18:43:48 +0000384 emitStackMaps(SM);
Tim Northover3b0846e2014-05-24 12:50:23 +0000385 }
Tim Northover3b0846e2014-05-24 12:50:23 +0000386}
387
Tim Northover3b0846e2014-05-24 12:50:23 +0000388void AArch64AsmPrinter::EmitLOHs() {
389 SmallVector<MCSymbol *, 3> MCArgs;
390
391 for (const auto &D : AArch64FI->getLOHContainer()) {
392 for (const MachineInstr *MI : D.getArgs()) {
393 MInstToMCSymbol::iterator LabelIt = LOHInstToLabel.find(MI);
394 assert(LabelIt != LOHInstToLabel.end() &&
395 "Label hasn't been inserted for LOH related instruction");
396 MCArgs.push_back(LabelIt->second);
397 }
Lang Hames9ff69c82015-04-24 19:11:51 +0000398 OutStreamer->EmitLOHDirective(D.getKind(), MCArgs);
Tim Northover3b0846e2014-05-24 12:50:23 +0000399 MCArgs.clear();
400 }
401}
402
403void AArch64AsmPrinter::EmitFunctionBodyEnd() {
404 if (!AArch64FI->getLOHRelated().empty())
405 EmitLOHs();
406}
407
408/// GetCPISymbol - Return the symbol for the specified constant pool entry.
409MCSymbol *AArch64AsmPrinter::GetCPISymbol(unsigned CPID) const {
410 // Darwin uses a linker-private symbol name for constant-pools (to
411 // avoid addends on the relocation?), ELF has no such concept and
412 // uses a normal private symbol.
Mehdi Amini48878ae2016-10-01 05:57:55 +0000413 if (!getDataLayout().getLinkerPrivateGlobalPrefix().empty())
Jim Grosbach6f482002015-05-18 18:43:14 +0000414 return OutContext.getOrCreateSymbol(
Tim Northover3b0846e2014-05-24 12:50:23 +0000415 Twine(getDataLayout().getLinkerPrivateGlobalPrefix()) + "CPI" +
416 Twine(getFunctionNumber()) + "_" + Twine(CPID));
417
Martin Storsjod2662c32018-07-25 18:35:31 +0000418 return AsmPrinter::GetCPISymbol(CPID);
Tim Northover3b0846e2014-05-24 12:50:23 +0000419}
420
421void AArch64AsmPrinter::printOperand(const MachineInstr *MI, unsigned OpNum,
422 raw_ostream &O) {
423 const MachineOperand &MO = MI->getOperand(OpNum);
424 switch (MO.getType()) {
425 default:
Craig Topper2a30d782014-06-18 05:05:13 +0000426 llvm_unreachable("<unknown operand type>");
Tim Northover3b0846e2014-05-24 12:50:23 +0000427 case MachineOperand::MO_Register: {
428 unsigned Reg = MO.getReg();
429 assert(TargetRegisterInfo::isPhysicalRegister(Reg));
430 assert(!MO.getSubReg() && "Subregs should be eliminated!");
431 O << AArch64InstPrinter::getRegisterName(Reg);
432 break;
433 }
434 case MachineOperand::MO_Immediate: {
435 int64_t Imm = MO.getImm();
436 O << '#' << Imm;
437 break;
438 }
Ahmed Bougacha1b676302015-03-05 20:04:21 +0000439 case MachineOperand::MO_GlobalAddress: {
Nick Desaulniers7ab164c2019-04-26 18:45:04 +0000440 PrintSymbolOperand(MO, O);
Ahmed Bougacha1b676302015-03-05 20:04:21 +0000441 break;
442 }
Peter Smithc8117582018-05-16 09:33:25 +0000443 case MachineOperand::MO_BlockAddress: {
444 MCSymbol *Sym = GetBlockAddressSymbol(MO.getBlockAddress());
445 Sym->print(O, MAI);
446 break;
447 }
Tim Northover3b0846e2014-05-24 12:50:23 +0000448 }
449}
450
451bool AArch64AsmPrinter::printAsmMRegister(const MachineOperand &MO, char Mode,
452 raw_ostream &O) {
453 unsigned Reg = MO.getReg();
454 switch (Mode) {
455 default:
456 return true; // Unknown mode.
457 case 'w':
458 Reg = getWRegFromXReg(Reg);
459 break;
460 case 'x':
461 Reg = getXRegFromWReg(Reg);
462 break;
463 }
464
465 O << AArch64InstPrinter::getRegisterName(Reg);
466 return false;
467}
468
469// Prints the register in MO using class RC using the offset in the
470// new register class. This should not be used for cross class
471// printing.
472bool AArch64AsmPrinter::printAsmRegInClass(const MachineOperand &MO,
473 const TargetRegisterClass *RC,
474 bool isVector, raw_ostream &O) {
475 assert(MO.isReg() && "Should only get here with a register!");
Matthias Braunad0032a2016-07-06 21:39:33 +0000476 const TargetRegisterInfo *RI = STI->getRegisterInfo();
Tim Northover3b0846e2014-05-24 12:50:23 +0000477 unsigned Reg = MO.getReg();
478 unsigned RegToPrint = RC->getRegister(RI->getEncodingValue(Reg));
479 assert(RI->regsOverlap(RegToPrint, Reg));
480 O << AArch64InstPrinter::getRegisterName(
481 RegToPrint, isVector ? AArch64::vreg : AArch64::NoRegAltName);
482 return false;
483}
484
485bool AArch64AsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNum,
Tim Northover3b0846e2014-05-24 12:50:23 +0000486 const char *ExtraCode, raw_ostream &O) {
487 const MachineOperand &MO = MI->getOperand(OpNum);
Tim Northover47190412014-05-27 07:37:21 +0000488
489 // First try the generic code, which knows about modifiers like 'c' and 'n'.
Nick Desaulniers5277b3f2019-04-10 16:38:43 +0000490 if (!AsmPrinter::PrintAsmOperand(MI, OpNum, ExtraCode, O))
Tim Northover47190412014-05-27 07:37:21 +0000491 return false;
492
Tim Northover3b0846e2014-05-24 12:50:23 +0000493 // Does this asm operand have a single letter operand modifier?
494 if (ExtraCode && ExtraCode[0]) {
495 if (ExtraCode[1] != 0)
496 return true; // Unknown modifier.
497
498 switch (ExtraCode[0]) {
499 default:
500 return true; // Unknown modifier.
501 case 'w': // Print W register
502 case 'x': // Print X register
503 if (MO.isReg())
504 return printAsmMRegister(MO, ExtraCode[0], O);
505 if (MO.isImm() && MO.getImm() == 0) {
506 unsigned Reg = ExtraCode[0] == 'w' ? AArch64::WZR : AArch64::XZR;
507 O << AArch64InstPrinter::getRegisterName(Reg);
508 return false;
509 }
510 printOperand(MI, OpNum, O);
511 return false;
512 case 'b': // Print B register.
513 case 'h': // Print H register.
514 case 's': // Print S register.
515 case 'd': // Print D register.
516 case 'q': // Print Q register.
517 if (MO.isReg()) {
518 const TargetRegisterClass *RC;
519 switch (ExtraCode[0]) {
520 case 'b':
521 RC = &AArch64::FPR8RegClass;
522 break;
523 case 'h':
524 RC = &AArch64::FPR16RegClass;
525 break;
526 case 's':
527 RC = &AArch64::FPR32RegClass;
528 break;
529 case 'd':
530 RC = &AArch64::FPR64RegClass;
531 break;
532 case 'q':
533 RC = &AArch64::FPR128RegClass;
534 break;
535 default:
536 return true;
537 }
538 return printAsmRegInClass(MO, RC, false /* vector */, O);
539 }
540 printOperand(MI, OpNum, O);
541 return false;
542 }
543 }
544
545 // According to ARM, we should emit x and v registers unless we have a
546 // modifier.
547 if (MO.isReg()) {
548 unsigned Reg = MO.getReg();
549
550 // If this is a w or x register, print an x register.
551 if (AArch64::GPR32allRegClass.contains(Reg) ||
552 AArch64::GPR64allRegClass.contains(Reg))
553 return printAsmMRegister(MO, 'x', O);
554
555 // If this is a b, h, s, d, or q register, print it as a v register.
556 return printAsmRegInClass(MO, &AArch64::FPR128RegClass, true /* vector */,
557 O);
558 }
559
560 printOperand(MI, OpNum, O);
561 return false;
562}
563
564bool AArch64AsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
565 unsigned OpNum,
Tim Northover3b0846e2014-05-24 12:50:23 +0000566 const char *ExtraCode,
567 raw_ostream &O) {
Manoj Guptad5361802017-05-25 19:07:57 +0000568 if (ExtraCode && ExtraCode[0] && ExtraCode[0] != 'a')
Tim Northover3b0846e2014-05-24 12:50:23 +0000569 return true; // Unknown modifier.
570
571 const MachineOperand &MO = MI->getOperand(OpNum);
572 assert(MO.isReg() && "unexpected inline asm memory operand");
573 O << "[" << AArch64InstPrinter::getRegisterName(MO.getReg()) << "]";
574 return false;
575}
576
577void AArch64AsmPrinter::PrintDebugValueComment(const MachineInstr *MI,
578 raw_ostream &OS) {
579 unsigned NOps = MI->getNumOperands();
580 assert(NOps == 4);
581 OS << '\t' << MAI->getCommentString() << "DEBUG_VALUE: ";
582 // cast away const; DIetc do not take const operands for some reason.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000583 OS << cast<DILocalVariable>(MI->getOperand(NOps - 2).getMetadata())
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000584 ->getName();
Tim Northover3b0846e2014-05-24 12:50:23 +0000585 OS << " <- ";
586 // Frame address. Currently handles register +- offset only.
587 assert(MI->getOperand(0).isReg() && MI->getOperand(1).isImm());
588 OS << '[';
589 printOperand(MI, 0, OS);
590 OS << '+';
591 printOperand(MI, 1, OS);
592 OS << ']';
593 OS << "+";
594 printOperand(MI, NOps - 2, OS);
595}
596
Tim Northover1c353412018-10-24 20:19:09 +0000597void AArch64AsmPrinter::EmitJumpTableInfo() {
598 const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
599 if (!MJTI) return;
600
601 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
602 if (JT.empty()) return;
603
Martin Storsjof5884d22019-01-29 09:36:48 +0000604 const Function &F = MF->getFunction();
Tim Northover1c353412018-10-24 20:19:09 +0000605 const TargetLoweringObjectFile &TLOF = getObjFileLowering();
Martin Storsjof5884d22019-01-29 09:36:48 +0000606 bool JTInDiffSection =
607 !STI->isTargetCOFF() ||
608 !TLOF.shouldPutJumpTableInFunctionSection(
609 MJTI->getEntryKind() == MachineJumpTableInfo::EK_LabelDifference32,
610 F);
611 if (JTInDiffSection) {
612 // Drop it in the readonly section.
613 MCSection *ReadOnlySec = TLOF.getSectionForJumpTable(F, TM);
614 OutStreamer->SwitchSection(ReadOnlySec);
615 }
Tim Northover1c353412018-10-24 20:19:09 +0000616
617 auto AFI = MF->getInfo<AArch64FunctionInfo>();
618 for (unsigned JTI = 0, e = JT.size(); JTI != e; ++JTI) {
619 const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs;
620
621 // If this jump table was deleted, ignore it.
622 if (JTBBs.empty()) continue;
623
624 unsigned Size = AFI->getJumpTableEntrySize(JTI);
625 EmitAlignment(Log2_32(Size));
626 OutStreamer->EmitLabel(GetJTISymbol(JTI));
627
628 for (auto *JTBB : JTBBs)
629 emitJumpTableEntry(MJTI, JTBB, JTI);
630 }
631}
632
633void AArch64AsmPrinter::emitJumpTableEntry(const MachineJumpTableInfo *MJTI,
634 const MachineBasicBlock *MBB,
635 unsigned JTI) {
636 const MCExpr *Value = MCSymbolRefExpr::create(MBB->getSymbol(), OutContext);
637 auto AFI = MF->getInfo<AArch64FunctionInfo>();
638 unsigned Size = AFI->getJumpTableEntrySize(JTI);
639
640 if (Size == 4) {
641 // .word LBB - LJTI
642 const TargetLowering *TLI = MF->getSubtarget().getTargetLowering();
643 const MCExpr *Base = TLI->getPICJumpTableRelocBaseExpr(MF, JTI, OutContext);
644 Value = MCBinaryExpr::createSub(Value, Base, OutContext);
645 } else {
646 // .byte (LBB - LBB) >> 2 (or .hword)
647 const MCSymbol *BaseSym = AFI->getJumpTableEntryPCRelSymbol(JTI);
648 const MCExpr *Base = MCSymbolRefExpr::create(BaseSym, OutContext);
649 Value = MCBinaryExpr::createSub(Value, Base, OutContext);
650 Value = MCBinaryExpr::createLShr(
651 Value, MCConstantExpr::create(2, OutContext), OutContext);
652 }
653
654 OutStreamer->EmitValue(Value, Size);
655}
656
657/// Small jump tables contain an unsigned byte or half, representing the offset
658/// from the lowest-addressed possible destination to the desired basic
659/// block. Since all instructions are 4-byte aligned, this is further compressed
660/// by counting in instructions rather than bytes (i.e. divided by 4). So, to
661/// materialize the correct destination we need:
662///
663/// adr xDest, .LBB0_0
664/// ldrb wScratch, [xTable, xEntry] (with "lsl #1" for ldrh).
665/// add xDest, xDest, xScratch, lsl #2
666void AArch64AsmPrinter::LowerJumpTableDestSmall(llvm::MCStreamer &OutStreamer,
667 const llvm::MachineInstr &MI) {
668 unsigned DestReg = MI.getOperand(0).getReg();
669 unsigned ScratchReg = MI.getOperand(1).getReg();
670 unsigned ScratchRegW =
671 STI->getRegisterInfo()->getSubReg(ScratchReg, AArch64::sub_32);
672 unsigned TableReg = MI.getOperand(2).getReg();
673 unsigned EntryReg = MI.getOperand(3).getReg();
674 int JTIdx = MI.getOperand(4).getIndex();
675 bool IsByteEntry = MI.getOpcode() == AArch64::JumpTableDest8;
676
677 // This has to be first because the compression pass based its reachability
678 // calculations on the start of the JumpTableDest instruction.
679 auto Label =
680 MF->getInfo<AArch64FunctionInfo>()->getJumpTableEntryPCRelSymbol(JTIdx);
681 EmitToStreamer(OutStreamer, MCInstBuilder(AArch64::ADR)
682 .addReg(DestReg)
683 .addExpr(MCSymbolRefExpr::create(
684 Label, MF->getContext())));
685
686 // Load the number of instruction-steps to offset from the label.
687 unsigned LdrOpcode = IsByteEntry ? AArch64::LDRBBroX : AArch64::LDRHHroX;
688 EmitToStreamer(OutStreamer, MCInstBuilder(LdrOpcode)
689 .addReg(ScratchRegW)
690 .addReg(TableReg)
691 .addReg(EntryReg)
692 .addImm(0)
693 .addImm(IsByteEntry ? 0 : 1));
694
695 // Multiply the steps by 4 and add to the already materialized base label
696 // address.
697 EmitToStreamer(OutStreamer, MCInstBuilder(AArch64::ADDXrs)
698 .addReg(DestReg)
699 .addReg(DestReg)
700 .addReg(ScratchReg)
701 .addImm(2));
702}
703
Tim Northover3b0846e2014-05-24 12:50:23 +0000704void AArch64AsmPrinter::LowerSTACKMAP(MCStreamer &OutStreamer, StackMaps &SM,
705 const MachineInstr &MI) {
Diana Picus760c7572016-08-31 12:43:49 +0000706 unsigned NumNOPBytes = StackMapOpers(&MI).getNumPatchBytes();
Tim Northover3b0846e2014-05-24 12:50:23 +0000707
708 SM.recordStackMap(MI);
Tim Northover3b0846e2014-05-24 12:50:23 +0000709 assert(NumNOPBytes % 4 == 0 && "Invalid number of NOP bytes requested!");
Lang Hamesa7395bf2014-12-02 21:36:24 +0000710
711 // Scan ahead to trim the shadow.
712 const MachineBasicBlock &MBB = *MI.getParent();
713 MachineBasicBlock::const_iterator MII(MI);
714 ++MII;
715 while (NumNOPBytes > 0) {
716 if (MII == MBB.end() || MII->isCall() ||
717 MII->getOpcode() == AArch64::DBG_VALUE ||
718 MII->getOpcode() == TargetOpcode::PATCHPOINT ||
719 MII->getOpcode() == TargetOpcode::STACKMAP)
720 break;
721 ++MII;
722 NumNOPBytes -= 4;
723 }
724
725 // Emit nops.
Tim Northover3b0846e2014-05-24 12:50:23 +0000726 for (unsigned i = 0; i < NumNOPBytes; i += 4)
727 EmitToStreamer(OutStreamer, MCInstBuilder(AArch64::HINT).addImm(0));
728}
729
730// Lower a patchpoint of the form:
731// [<def>], <id>, <numBytes>, <target>, <numArgs>
732void AArch64AsmPrinter::LowerPATCHPOINT(MCStreamer &OutStreamer, StackMaps &SM,
733 const MachineInstr &MI) {
734 SM.recordPatchPoint(MI);
735
736 PatchPointOpers Opers(&MI);
737
Philip Reamese83c4b32016-08-23 23:33:29 +0000738 int64_t CallTarget = Opers.getCallTarget().getImm();
Tim Northover3b0846e2014-05-24 12:50:23 +0000739 unsigned EncodedBytes = 0;
740 if (CallTarget) {
741 assert((CallTarget & 0xFFFFFFFFFFFF) == CallTarget &&
742 "High 16 bits of call target should be zero.");
743 unsigned ScratchReg = MI.getOperand(Opers.getNextScratchIdx()).getReg();
744 EncodedBytes = 16;
745 // Materialize the jump address:
Tim Northover389a1e32016-06-15 20:33:36 +0000746 EmitToStreamer(OutStreamer, MCInstBuilder(AArch64::MOVZXi)
Tim Northover3b0846e2014-05-24 12:50:23 +0000747 .addReg(ScratchReg)
748 .addImm((CallTarget >> 32) & 0xFFFF)
749 .addImm(32));
Tim Northover389a1e32016-06-15 20:33:36 +0000750 EmitToStreamer(OutStreamer, MCInstBuilder(AArch64::MOVKXi)
Tim Northover3b0846e2014-05-24 12:50:23 +0000751 .addReg(ScratchReg)
752 .addReg(ScratchReg)
753 .addImm((CallTarget >> 16) & 0xFFFF)
754 .addImm(16));
Tim Northover389a1e32016-06-15 20:33:36 +0000755 EmitToStreamer(OutStreamer, MCInstBuilder(AArch64::MOVKXi)
Tim Northover3b0846e2014-05-24 12:50:23 +0000756 .addReg(ScratchReg)
757 .addReg(ScratchReg)
758 .addImm(CallTarget & 0xFFFF)
759 .addImm(0));
760 EmitToStreamer(OutStreamer, MCInstBuilder(AArch64::BLR).addReg(ScratchReg));
761 }
762 // Emit padding.
Philip Reamese83c4b32016-08-23 23:33:29 +0000763 unsigned NumBytes = Opers.getNumPatchBytes();
Tim Northover3b0846e2014-05-24 12:50:23 +0000764 assert(NumBytes >= EncodedBytes &&
765 "Patchpoint can't request size less than the length of a call.");
766 assert((NumBytes - EncodedBytes) % 4 == 0 &&
767 "Invalid number of NOP bytes requested!");
768 for (unsigned i = EncodedBytes; i < NumBytes; i += 4)
769 EmitToStreamer(OutStreamer, MCInstBuilder(AArch64::HINT).addImm(0));
770}
771
Matthias Braunad0032a2016-07-06 21:39:33 +0000772void AArch64AsmPrinter::EmitFMov0(const MachineInstr &MI) {
773 unsigned DestReg = MI.getOperand(0).getReg();
Evandro Menezesfc1852f2018-09-28 19:05:09 +0000774 if (STI->hasZeroCycleZeroingFP() && !STI->hasZeroCycleZeroingFPWorkaround()) {
Sjoerd Meijerb0eb5fb2017-08-24 14:47:06 +0000775 // Convert H/S/D register to corresponding Q register
776 if (AArch64::H0 <= DestReg && DestReg <= AArch64::H31)
777 DestReg = AArch64::Q0 + (DestReg - AArch64::H0);
778 else if (AArch64::S0 <= DestReg && DestReg <= AArch64::S31)
Matthias Braunad0032a2016-07-06 21:39:33 +0000779 DestReg = AArch64::Q0 + (DestReg - AArch64::S0);
Sjoerd Meijerb0eb5fb2017-08-24 14:47:06 +0000780 else {
Matthias Braunad0032a2016-07-06 21:39:33 +0000781 assert(AArch64::D0 <= DestReg && DestReg <= AArch64::D31);
782 DestReg = AArch64::Q0 + (DestReg - AArch64::D0);
783 }
784 MCInst MOVI;
785 MOVI.setOpcode(AArch64::MOVIv2d_ns);
786 MOVI.addOperand(MCOperand::createReg(DestReg));
787 MOVI.addOperand(MCOperand::createImm(0));
788 EmitToStreamer(*OutStreamer, MOVI);
789 } else {
790 MCInst FMov;
791 switch (MI.getOpcode()) {
792 default: llvm_unreachable("Unexpected opcode");
Sjoerd Meijerb0eb5fb2017-08-24 14:47:06 +0000793 case AArch64::FMOVH0:
794 FMov.setOpcode(AArch64::FMOVWHr);
795 FMov.addOperand(MCOperand::createReg(DestReg));
796 FMov.addOperand(MCOperand::createReg(AArch64::WZR));
797 break;
Matthias Braunad0032a2016-07-06 21:39:33 +0000798 case AArch64::FMOVS0:
799 FMov.setOpcode(AArch64::FMOVWSr);
800 FMov.addOperand(MCOperand::createReg(DestReg));
801 FMov.addOperand(MCOperand::createReg(AArch64::WZR));
802 break;
803 case AArch64::FMOVD0:
804 FMov.setOpcode(AArch64::FMOVXDr);
805 FMov.addOperand(MCOperand::createReg(DestReg));
806 FMov.addOperand(MCOperand::createReg(AArch64::XZR));
807 break;
808 }
809 EmitToStreamer(*OutStreamer, FMov);
810 }
811}
812
Tim Northover3b0846e2014-05-24 12:50:23 +0000813// Simple pseudo-instructions have their lowering (with expansion to real
814// instructions) auto-generated.
815#include "AArch64GenMCPseudoLowering.inc"
816
817void AArch64AsmPrinter::EmitInstruction(const MachineInstr *MI) {
818 // Do any auto-generated pseudo lowerings.
Lang Hames9ff69c82015-04-24 19:11:51 +0000819 if (emitPseudoExpansionLowering(*OutStreamer, MI))
Tim Northover3b0846e2014-05-24 12:50:23 +0000820 return;
821
822 if (AArch64FI->getLOHRelated().count(MI)) {
823 // Generate a label for LOH related instruction
Rafael Espindola9ab09232015-03-17 20:07:06 +0000824 MCSymbol *LOHLabel = createTempSymbol("loh");
Tim Northover3b0846e2014-05-24 12:50:23 +0000825 // Associate the instruction with the label
826 LOHInstToLabel[MI] = LOHLabel;
Lang Hames9ff69c82015-04-24 19:11:51 +0000827 OutStreamer->EmitLabel(LOHLabel);
Tim Northover3b0846e2014-05-24 12:50:23 +0000828 }
829
Sanjin Sijaric96f2ea32018-10-27 06:13:06 +0000830 AArch64TargetStreamer *TS =
831 static_cast<AArch64TargetStreamer *>(OutStreamer->getTargetStreamer());
Tim Northover3b0846e2014-05-24 12:50:23 +0000832 // Do any manual lowerings.
833 switch (MI->getOpcode()) {
834 default:
835 break;
Mandeep Singh Grang33c49c02019-01-16 19:52:59 +0000836 case AArch64::MOVMCSym: {
837 unsigned DestReg = MI->getOperand(0).getReg();
838 const MachineOperand &MO_Sym = MI->getOperand(1);
839 MachineOperand Hi_MOSym(MO_Sym), Lo_MOSym(MO_Sym);
840 MCOperand Hi_MCSym, Lo_MCSym;
841
842 Hi_MOSym.setTargetFlags(AArch64II::MO_G1 | AArch64II::MO_S);
843 Lo_MOSym.setTargetFlags(AArch64II::MO_G0 | AArch64II::MO_NC);
844
845 MCInstLowering.lowerOperand(Hi_MOSym, Hi_MCSym);
846 MCInstLowering.lowerOperand(Lo_MOSym, Lo_MCSym);
847
848 MCInst MovZ;
849 MovZ.setOpcode(AArch64::MOVZXi);
850 MovZ.addOperand(MCOperand::createReg(DestReg));
851 MovZ.addOperand(Hi_MCSym);
852 MovZ.addOperand(MCOperand::createImm(16));
853 EmitToStreamer(*OutStreamer, MovZ);
854
855 MCInst MovK;
856 MovK.setOpcode(AArch64::MOVKXi);
857 MovK.addOperand(MCOperand::createReg(DestReg));
858 MovK.addOperand(MCOperand::createReg(DestReg));
859 MovK.addOperand(Lo_MCSym);
860 MovK.addOperand(MCOperand::createImm(0));
861 EmitToStreamer(*OutStreamer, MovK);
862 return;
863 }
Tim Northover6db5d022017-12-20 10:45:39 +0000864 case AArch64::MOVIv2d_ns:
865 // If the target has <rdar://problem/16473581>, lower this
866 // instruction to movi.16b instead.
867 if (STI->hasZeroCycleZeroingFPWorkaround() &&
868 MI->getOperand(1).getImm() == 0) {
869 MCInst TmpInst;
870 TmpInst.setOpcode(AArch64::MOVIv16b_ns);
871 TmpInst.addOperand(MCOperand::createReg(MI->getOperand(0).getReg()));
872 TmpInst.addOperand(MCOperand::createImm(MI->getOperand(1).getImm()));
873 EmitToStreamer(*OutStreamer, TmpInst);
874 return;
875 }
876 break;
877
Tim Northover3b0846e2014-05-24 12:50:23 +0000878 case AArch64::DBG_VALUE: {
Lang Hames9ff69c82015-04-24 19:11:51 +0000879 if (isVerbose() && OutStreamer->hasRawTextSupport()) {
Tim Northover3b0846e2014-05-24 12:50:23 +0000880 SmallString<128> TmpStr;
881 raw_svector_ostream OS(TmpStr);
882 PrintDebugValueComment(MI, OS);
Lang Hames9ff69c82015-04-24 19:11:51 +0000883 OutStreamer->EmitRawText(StringRef(OS.str()));
Tim Northover3b0846e2014-05-24 12:50:23 +0000884 }
885 return;
Luke Cheeseman41a9e532018-12-21 10:45:08 +0000886
887 case AArch64::EMITBKEY: {
888 ExceptionHandling ExceptionHandlingType = MAI->getExceptionHandlingType();
889 if (ExceptionHandlingType != ExceptionHandling::DwarfCFI &&
890 ExceptionHandlingType != ExceptionHandling::ARM)
891 return;
892
893 if (needsCFIMoves() == CFI_M_None)
894 return;
895
896 OutStreamer->EmitCFIBKeyFrame();
897 return;
898 }
Tim Northover3b0846e2014-05-24 12:50:23 +0000899 }
900
901 // Tail calls use pseudo instructions so they have the proper code-gen
902 // attributes (isCall, isReturn, etc.). We lower them to the real
903 // instruction here.
Oliver Stannard9ecdac82018-10-08 09:18:48 +0000904 case AArch64::TCRETURNri:
Oliver Stannardc9221162018-10-08 14:09:15 +0000905 case AArch64::TCRETURNriBTI:
Oliver Stannard9ecdac82018-10-08 09:18:48 +0000906 case AArch64::TCRETURNriALL: {
Tim Northover3b0846e2014-05-24 12:50:23 +0000907 MCInst TmpInst;
908 TmpInst.setOpcode(AArch64::BR);
Jim Grosbache9119e42015-05-13 18:37:00 +0000909 TmpInst.addOperand(MCOperand::createReg(MI->getOperand(0).getReg()));
Lang Hames9ff69c82015-04-24 19:11:51 +0000910 EmitToStreamer(*OutStreamer, TmpInst);
Tim Northover3b0846e2014-05-24 12:50:23 +0000911 return;
912 }
913 case AArch64::TCRETURNdi: {
914 MCOperand Dest;
915 MCInstLowering.lowerOperand(MI->getOperand(0), Dest);
916 MCInst TmpInst;
917 TmpInst.setOpcode(AArch64::B);
918 TmpInst.addOperand(Dest);
Lang Hames9ff69c82015-04-24 19:11:51 +0000919 EmitToStreamer(*OutStreamer, TmpInst);
Tim Northover3b0846e2014-05-24 12:50:23 +0000920 return;
921 }
Kristof Beylsaea84612015-03-04 09:12:08 +0000922 case AArch64::TLSDESC_CALLSEQ: {
923 /// lower this to:
924 /// adrp x0, :tlsdesc:var
925 /// ldr x1, [x0, #:tlsdesc_lo12:var]
926 /// add x0, x0, #:tlsdesc_lo12:var
927 /// .tlsdesccall var
928 /// blr x1
929 /// (TPIDR_EL0 offset now in x0)
930 const MachineOperand &MO_Sym = MI->getOperand(0);
931 MachineOperand MO_TLSDESC_LO12(MO_Sym), MO_TLSDESC(MO_Sym);
932 MCOperand Sym, SymTLSDescLo12, SymTLSDesc;
Joel Jones65134052017-05-02 22:01:48 +0000933 MO_TLSDESC_LO12.setTargetFlags(AArch64II::MO_TLS | AArch64II::MO_PAGEOFF);
Kristof Beylsaea84612015-03-04 09:12:08 +0000934 MO_TLSDESC.setTargetFlags(AArch64II::MO_TLS | AArch64II::MO_PAGE);
935 MCInstLowering.lowerOperand(MO_Sym, Sym);
936 MCInstLowering.lowerOperand(MO_TLSDESC_LO12, SymTLSDescLo12);
937 MCInstLowering.lowerOperand(MO_TLSDESC, SymTLSDesc);
Tim Northover3b0846e2014-05-24 12:50:23 +0000938
Kristof Beylsaea84612015-03-04 09:12:08 +0000939 MCInst Adrp;
940 Adrp.setOpcode(AArch64::ADRP);
Jim Grosbache9119e42015-05-13 18:37:00 +0000941 Adrp.addOperand(MCOperand::createReg(AArch64::X0));
Kristof Beylsaea84612015-03-04 09:12:08 +0000942 Adrp.addOperand(SymTLSDesc);
Lang Hames9ff69c82015-04-24 19:11:51 +0000943 EmitToStreamer(*OutStreamer, Adrp);
Kristof Beylsaea84612015-03-04 09:12:08 +0000944
945 MCInst Ldr;
946 Ldr.setOpcode(AArch64::LDRXui);
Jim Grosbache9119e42015-05-13 18:37:00 +0000947 Ldr.addOperand(MCOperand::createReg(AArch64::X1));
948 Ldr.addOperand(MCOperand::createReg(AArch64::X0));
Kristof Beylsaea84612015-03-04 09:12:08 +0000949 Ldr.addOperand(SymTLSDescLo12);
Jim Grosbache9119e42015-05-13 18:37:00 +0000950 Ldr.addOperand(MCOperand::createImm(0));
Lang Hames9ff69c82015-04-24 19:11:51 +0000951 EmitToStreamer(*OutStreamer, Ldr);
Kristof Beylsaea84612015-03-04 09:12:08 +0000952
953 MCInst Add;
954 Add.setOpcode(AArch64::ADDXri);
Jim Grosbache9119e42015-05-13 18:37:00 +0000955 Add.addOperand(MCOperand::createReg(AArch64::X0));
956 Add.addOperand(MCOperand::createReg(AArch64::X0));
Kristof Beylsaea84612015-03-04 09:12:08 +0000957 Add.addOperand(SymTLSDescLo12);
Jim Grosbache9119e42015-05-13 18:37:00 +0000958 Add.addOperand(MCOperand::createImm(AArch64_AM::getShiftValue(0)));
Lang Hames9ff69c82015-04-24 19:11:51 +0000959 EmitToStreamer(*OutStreamer, Add);
Kristof Beylsaea84612015-03-04 09:12:08 +0000960
961 // Emit a relocation-annotation. This expands to no code, but requests
Tim Northover3b0846e2014-05-24 12:50:23 +0000962 // the following instruction gets an R_AARCH64_TLSDESC_CALL.
963 MCInst TLSDescCall;
964 TLSDescCall.setOpcode(AArch64::TLSDESCCALL);
965 TLSDescCall.addOperand(Sym);
Lang Hames9ff69c82015-04-24 19:11:51 +0000966 EmitToStreamer(*OutStreamer, TLSDescCall);
Tim Northover3b0846e2014-05-24 12:50:23 +0000967
Kristof Beylsaea84612015-03-04 09:12:08 +0000968 MCInst Blr;
969 Blr.setOpcode(AArch64::BLR);
Jim Grosbache9119e42015-05-13 18:37:00 +0000970 Blr.addOperand(MCOperand::createReg(AArch64::X1));
Lang Hames9ff69c82015-04-24 19:11:51 +0000971 EmitToStreamer(*OutStreamer, Blr);
Tim Northover3b0846e2014-05-24 12:50:23 +0000972
973 return;
974 }
975
Tim Northover1c353412018-10-24 20:19:09 +0000976 case AArch64::JumpTableDest32: {
977 // We want:
978 // ldrsw xScratch, [xTable, xEntry, lsl #2]
979 // add xDest, xTable, xScratch
980 unsigned DestReg = MI->getOperand(0).getReg(),
981 ScratchReg = MI->getOperand(1).getReg(),
982 TableReg = MI->getOperand(2).getReg(),
983 EntryReg = MI->getOperand(3).getReg();
984 EmitToStreamer(*OutStreamer, MCInstBuilder(AArch64::LDRSWroX)
985 .addReg(ScratchReg)
986 .addReg(TableReg)
987 .addReg(EntryReg)
988 .addImm(0)
989 .addImm(1));
990 EmitToStreamer(*OutStreamer, MCInstBuilder(AArch64::ADDXrs)
991 .addReg(DestReg)
992 .addReg(TableReg)
993 .addReg(ScratchReg)
994 .addImm(0));
995 return;
996 }
997 case AArch64::JumpTableDest16:
998 case AArch64::JumpTableDest8:
999 LowerJumpTableDestSmall(*OutStreamer, *MI);
1000 return;
1001
Sjoerd Meijerb0eb5fb2017-08-24 14:47:06 +00001002 case AArch64::FMOVH0:
Matthias Braunad0032a2016-07-06 21:39:33 +00001003 case AArch64::FMOVS0:
1004 case AArch64::FMOVD0:
1005 EmitFMov0(*MI);
1006 return;
1007
Tim Northover3b0846e2014-05-24 12:50:23 +00001008 case TargetOpcode::STACKMAP:
Lang Hames9ff69c82015-04-24 19:11:51 +00001009 return LowerSTACKMAP(*OutStreamer, SM, *MI);
Tim Northover3b0846e2014-05-24 12:50:23 +00001010
1011 case TargetOpcode::PATCHPOINT:
Lang Hames9ff69c82015-04-24 19:11:51 +00001012 return LowerPATCHPOINT(*OutStreamer, SM, *MI);
Dean Michael Berris3234d3a2016-11-17 05:15:37 +00001013
1014 case TargetOpcode::PATCHABLE_FUNCTION_ENTER:
1015 LowerPATCHABLE_FUNCTION_ENTER(*MI);
1016 return;
1017
1018 case TargetOpcode::PATCHABLE_FUNCTION_EXIT:
1019 LowerPATCHABLE_FUNCTION_EXIT(*MI);
1020 return;
1021
1022 case TargetOpcode::PATCHABLE_TAIL_CALL:
1023 LowerPATCHABLE_TAIL_CALL(*MI);
1024 return;
Sanjin Sijaric96f2ea32018-10-27 06:13:06 +00001025
Peter Collingbourne73078ec2019-01-23 02:20:10 +00001026 case AArch64::HWASAN_CHECK_MEMACCESS:
1027 LowerHWASAN_CHECK_MEMACCESS(*MI);
1028 return;
1029
Sanjin Sijaric96f2ea32018-10-27 06:13:06 +00001030 case AArch64::SEH_StackAlloc:
1031 TS->EmitARM64WinCFIAllocStack(MI->getOperand(0).getImm());
1032 return;
1033
1034 case AArch64::SEH_SaveFPLR:
1035 TS->EmitARM64WinCFISaveFPLR(MI->getOperand(0).getImm());
1036 return;
1037
1038 case AArch64::SEH_SaveFPLR_X:
1039 assert(MI->getOperand(0).getImm() < 0 &&
1040 "Pre increment SEH opcode must have a negative offset");
1041 TS->EmitARM64WinCFISaveFPLRX(-MI->getOperand(0).getImm());
1042 return;
1043
1044 case AArch64::SEH_SaveReg:
1045 TS->EmitARM64WinCFISaveReg(MI->getOperand(0).getImm(),
1046 MI->getOperand(1).getImm());
1047 return;
1048
1049 case AArch64::SEH_SaveReg_X:
1050 assert(MI->getOperand(1).getImm() < 0 &&
1051 "Pre increment SEH opcode must have a negative offset");
1052 TS->EmitARM64WinCFISaveRegX(MI->getOperand(0).getImm(),
1053 -MI->getOperand(1).getImm());
1054 return;
1055
1056 case AArch64::SEH_SaveRegP:
1057 assert((MI->getOperand(1).getImm() - MI->getOperand(0).getImm() == 1) &&
1058 "Non-consecutive registers not allowed for save_regp");
1059 TS->EmitARM64WinCFISaveRegP(MI->getOperand(0).getImm(),
1060 MI->getOperand(2).getImm());
1061 return;
1062
1063 case AArch64::SEH_SaveRegP_X:
1064 assert((MI->getOperand(1).getImm() - MI->getOperand(0).getImm() == 1) &&
1065 "Non-consecutive registers not allowed for save_regp_x");
1066 assert(MI->getOperand(2).getImm() < 0 &&
1067 "Pre increment SEH opcode must have a negative offset");
1068 TS->EmitARM64WinCFISaveRegPX(MI->getOperand(0).getImm(),
1069 -MI->getOperand(2).getImm());
1070 return;
1071
1072 case AArch64::SEH_SaveFReg:
1073 TS->EmitARM64WinCFISaveFReg(MI->getOperand(0).getImm(),
1074 MI->getOperand(1).getImm());
1075 return;
1076
1077 case AArch64::SEH_SaveFReg_X:
1078 assert(MI->getOperand(1).getImm() < 0 &&
1079 "Pre increment SEH opcode must have a negative offset");
1080 TS->EmitARM64WinCFISaveFRegX(MI->getOperand(0).getImm(),
1081 -MI->getOperand(1).getImm());
1082 return;
1083
1084 case AArch64::SEH_SaveFRegP:
1085 assert((MI->getOperand(1).getImm() - MI->getOperand(0).getImm() == 1) &&
1086 "Non-consecutive registers not allowed for save_regp");
1087 TS->EmitARM64WinCFISaveFRegP(MI->getOperand(0).getImm(),
1088 MI->getOperand(2).getImm());
1089 return;
1090
1091 case AArch64::SEH_SaveFRegP_X:
1092 assert((MI->getOperand(1).getImm() - MI->getOperand(0).getImm() == 1) &&
1093 "Non-consecutive registers not allowed for save_regp_x");
1094 assert(MI->getOperand(2).getImm() < 0 &&
1095 "Pre increment SEH opcode must have a negative offset");
1096 TS->EmitARM64WinCFISaveFRegPX(MI->getOperand(0).getImm(),
1097 -MI->getOperand(2).getImm());
1098 return;
1099
1100 case AArch64::SEH_SetFP:
1101 TS->EmitARM64WinCFISetFP();
1102 return;
1103
1104 case AArch64::SEH_AddFP:
1105 TS->EmitARM64WinCFIAddFP(MI->getOperand(0).getImm());
1106 return;
1107
1108 case AArch64::SEH_Nop:
1109 TS->EmitARM64WinCFINop();
1110 return;
1111
1112 case AArch64::SEH_PrologEnd:
1113 TS->EmitARM64WinCFIPrologEnd();
1114 return;
1115
1116 case AArch64::SEH_EpilogStart:
1117 TS->EmitARM64WinCFIEpilogStart();
1118 return;
1119
1120 case AArch64::SEH_EpilogEnd:
1121 TS->EmitARM64WinCFIEpilogEnd();
1122 return;
Tim Northover3b0846e2014-05-24 12:50:23 +00001123 }
1124
1125 // Finally, do the automated lowerings for everything else.
1126 MCInst TmpInst;
1127 MCInstLowering.Lower(MI, TmpInst);
Lang Hames9ff69c82015-04-24 19:11:51 +00001128 EmitToStreamer(*OutStreamer, TmpInst);
Tim Northover3b0846e2014-05-24 12:50:23 +00001129}
1130
1131// Force static initialization.
1132extern "C" void LLVMInitializeAArch64AsmPrinter() {
Mehdi Aminif42454b2016-10-09 23:00:34 +00001133 RegisterAsmPrinter<AArch64AsmPrinter> X(getTheAArch64leTarget());
1134 RegisterAsmPrinter<AArch64AsmPrinter> Y(getTheAArch64beTarget());
1135 RegisterAsmPrinter<AArch64AsmPrinter> Z(getTheARM64Target());
Tim Northover3b0846e2014-05-24 12:50:23 +00001136}