LLVM 19.0.0git
AArch64MCTargetDesc.cpp
Go to the documentation of this file.
1//===-- AArch64MCTargetDesc.cpp - AArch64 Target Descriptions ---*- C++ -*-===//
2//
3// 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
6//
7//===----------------------------------------------------------------------===//
8//
9// This file provides AArch64 specific target descriptions.
10//
11//===----------------------------------------------------------------------===//
12
13#include "AArch64MCTargetDesc.h"
14#include "AArch64ELFStreamer.h"
15#include "AArch64MCAsmInfo.h"
24#include "llvm/MC/MCInstrInfo.h"
27#include "llvm/MC/MCStreamer.h"
30#include "llvm/Support/Endian.h"
33
34using namespace llvm;
35
36#define GET_INSTRINFO_MC_DESC
37#define GET_INSTRINFO_MC_HELPERS
38#define ENABLE_INSTR_PREDICATE_VERIFIER
39#include "AArch64GenInstrInfo.inc"
40
41#define GET_SUBTARGETINFO_MC_DESC
42#include "AArch64GenSubtargetInfo.inc"
43
44#define GET_REGINFO_MC_DESC
45#include "AArch64GenRegisterInfo.inc"
46
48 MCInstrInfo *X = new MCInstrInfo();
49 InitAArch64MCInstrInfo(X);
50 return X;
51}
52
53static MCSubtargetInfo *
55 CPU = AArch64::resolveCPUAlias(CPU);
56
57 if (CPU.empty()) {
58 CPU = "generic";
59 if (FS.empty())
60 FS = "+v8a";
61
62 if (TT.isArm64e())
63 CPU = "apple-a12";
64 }
65
66 return createAArch64MCSubtargetInfoImpl(TT, CPU, /*TuneCPU*/ CPU, FS);
67}
68
70 // Mapping from CodeView to MC register id.
71 static const struct {
73 MCPhysReg Reg;
74 } RegMap[] = {
75 {codeview::RegisterId::ARM64_W0, AArch64::W0},
76 {codeview::RegisterId::ARM64_W1, AArch64::W1},
77 {codeview::RegisterId::ARM64_W2, AArch64::W2},
78 {codeview::RegisterId::ARM64_W3, AArch64::W3},
79 {codeview::RegisterId::ARM64_W4, AArch64::W4},
80 {codeview::RegisterId::ARM64_W5, AArch64::W5},
81 {codeview::RegisterId::ARM64_W6, AArch64::W6},
82 {codeview::RegisterId::ARM64_W7, AArch64::W7},
83 {codeview::RegisterId::ARM64_W8, AArch64::W8},
84 {codeview::RegisterId::ARM64_W9, AArch64::W9},
85 {codeview::RegisterId::ARM64_W10, AArch64::W10},
86 {codeview::RegisterId::ARM64_W11, AArch64::W11},
87 {codeview::RegisterId::ARM64_W12, AArch64::W12},
88 {codeview::RegisterId::ARM64_W13, AArch64::W13},
89 {codeview::RegisterId::ARM64_W14, AArch64::W14},
90 {codeview::RegisterId::ARM64_W15, AArch64::W15},
91 {codeview::RegisterId::ARM64_W16, AArch64::W16},
92 {codeview::RegisterId::ARM64_W17, AArch64::W17},
93 {codeview::RegisterId::ARM64_W18, AArch64::W18},
94 {codeview::RegisterId::ARM64_W19, AArch64::W19},
95 {codeview::RegisterId::ARM64_W20, AArch64::W20},
96 {codeview::RegisterId::ARM64_W21, AArch64::W21},
97 {codeview::RegisterId::ARM64_W22, AArch64::W22},
98 {codeview::RegisterId::ARM64_W23, AArch64::W23},
99 {codeview::RegisterId::ARM64_W24, AArch64::W24},
100 {codeview::RegisterId::ARM64_W25, AArch64::W25},
101 {codeview::RegisterId::ARM64_W26, AArch64::W26},
102 {codeview::RegisterId::ARM64_W27, AArch64::W27},
103 {codeview::RegisterId::ARM64_W28, AArch64::W28},
104 {codeview::RegisterId::ARM64_W29, AArch64::W29},
105 {codeview::RegisterId::ARM64_W30, AArch64::W30},
106 {codeview::RegisterId::ARM64_WZR, AArch64::WZR},
107 {codeview::RegisterId::ARM64_X0, AArch64::X0},
108 {codeview::RegisterId::ARM64_X1, AArch64::X1},
109 {codeview::RegisterId::ARM64_X2, AArch64::X2},
110 {codeview::RegisterId::ARM64_X3, AArch64::X3},
111 {codeview::RegisterId::ARM64_X4, AArch64::X4},
112 {codeview::RegisterId::ARM64_X5, AArch64::X5},
113 {codeview::RegisterId::ARM64_X6, AArch64::X6},
114 {codeview::RegisterId::ARM64_X7, AArch64::X7},
115 {codeview::RegisterId::ARM64_X8, AArch64::X8},
116 {codeview::RegisterId::ARM64_X9, AArch64::X9},
117 {codeview::RegisterId::ARM64_X10, AArch64::X10},
118 {codeview::RegisterId::ARM64_X11, AArch64::X11},
119 {codeview::RegisterId::ARM64_X12, AArch64::X12},
120 {codeview::RegisterId::ARM64_X13, AArch64::X13},
121 {codeview::RegisterId::ARM64_X14, AArch64::X14},
122 {codeview::RegisterId::ARM64_X15, AArch64::X15},
123 {codeview::RegisterId::ARM64_X16, AArch64::X16},
124 {codeview::RegisterId::ARM64_X17, AArch64::X17},
125 {codeview::RegisterId::ARM64_X18, AArch64::X18},
126 {codeview::RegisterId::ARM64_X19, AArch64::X19},
127 {codeview::RegisterId::ARM64_X20, AArch64::X20},
128 {codeview::RegisterId::ARM64_X21, AArch64::X21},
129 {codeview::RegisterId::ARM64_X22, AArch64::X22},
130 {codeview::RegisterId::ARM64_X23, AArch64::X23},
131 {codeview::RegisterId::ARM64_X24, AArch64::X24},
132 {codeview::RegisterId::ARM64_X25, AArch64::X25},
133 {codeview::RegisterId::ARM64_X26, AArch64::X26},
134 {codeview::RegisterId::ARM64_X27, AArch64::X27},
135 {codeview::RegisterId::ARM64_X28, AArch64::X28},
136 {codeview::RegisterId::ARM64_FP, AArch64::FP},
137 {codeview::RegisterId::ARM64_LR, AArch64::LR},
138 {codeview::RegisterId::ARM64_SP, AArch64::SP},
139 {codeview::RegisterId::ARM64_ZR, AArch64::XZR},
140 {codeview::RegisterId::ARM64_NZCV, AArch64::NZCV},
141 {codeview::RegisterId::ARM64_S0, AArch64::S0},
142 {codeview::RegisterId::ARM64_S1, AArch64::S1},
143 {codeview::RegisterId::ARM64_S2, AArch64::S2},
144 {codeview::RegisterId::ARM64_S3, AArch64::S3},
145 {codeview::RegisterId::ARM64_S4, AArch64::S4},
146 {codeview::RegisterId::ARM64_S5, AArch64::S5},
147 {codeview::RegisterId::ARM64_S6, AArch64::S6},
148 {codeview::RegisterId::ARM64_S7, AArch64::S7},
149 {codeview::RegisterId::ARM64_S8, AArch64::S8},
150 {codeview::RegisterId::ARM64_S9, AArch64::S9},
151 {codeview::RegisterId::ARM64_S10, AArch64::S10},
152 {codeview::RegisterId::ARM64_S11, AArch64::S11},
153 {codeview::RegisterId::ARM64_S12, AArch64::S12},
154 {codeview::RegisterId::ARM64_S13, AArch64::S13},
155 {codeview::RegisterId::ARM64_S14, AArch64::S14},
156 {codeview::RegisterId::ARM64_S15, AArch64::S15},
157 {codeview::RegisterId::ARM64_S16, AArch64::S16},
158 {codeview::RegisterId::ARM64_S17, AArch64::S17},
159 {codeview::RegisterId::ARM64_S18, AArch64::S18},
160 {codeview::RegisterId::ARM64_S19, AArch64::S19},
161 {codeview::RegisterId::ARM64_S20, AArch64::S20},
162 {codeview::RegisterId::ARM64_S21, AArch64::S21},
163 {codeview::RegisterId::ARM64_S22, AArch64::S22},
164 {codeview::RegisterId::ARM64_S23, AArch64::S23},
165 {codeview::RegisterId::ARM64_S24, AArch64::S24},
166 {codeview::RegisterId::ARM64_S25, AArch64::S25},
167 {codeview::RegisterId::ARM64_S26, AArch64::S26},
168 {codeview::RegisterId::ARM64_S27, AArch64::S27},
169 {codeview::RegisterId::ARM64_S28, AArch64::S28},
170 {codeview::RegisterId::ARM64_S29, AArch64::S29},
171 {codeview::RegisterId::ARM64_S30, AArch64::S30},
172 {codeview::RegisterId::ARM64_S31, AArch64::S31},
173 {codeview::RegisterId::ARM64_D0, AArch64::D0},
174 {codeview::RegisterId::ARM64_D1, AArch64::D1},
175 {codeview::RegisterId::ARM64_D2, AArch64::D2},
176 {codeview::RegisterId::ARM64_D3, AArch64::D3},
177 {codeview::RegisterId::ARM64_D4, AArch64::D4},
178 {codeview::RegisterId::ARM64_D5, AArch64::D5},
179 {codeview::RegisterId::ARM64_D6, AArch64::D6},
180 {codeview::RegisterId::ARM64_D7, AArch64::D7},
181 {codeview::RegisterId::ARM64_D8, AArch64::D8},
182 {codeview::RegisterId::ARM64_D9, AArch64::D9},
183 {codeview::RegisterId::ARM64_D10, AArch64::D10},
184 {codeview::RegisterId::ARM64_D11, AArch64::D11},
185 {codeview::RegisterId::ARM64_D12, AArch64::D12},
186 {codeview::RegisterId::ARM64_D13, AArch64::D13},
187 {codeview::RegisterId::ARM64_D14, AArch64::D14},
188 {codeview::RegisterId::ARM64_D15, AArch64::D15},
189 {codeview::RegisterId::ARM64_D16, AArch64::D16},
190 {codeview::RegisterId::ARM64_D17, AArch64::D17},
191 {codeview::RegisterId::ARM64_D18, AArch64::D18},
192 {codeview::RegisterId::ARM64_D19, AArch64::D19},
193 {codeview::RegisterId::ARM64_D20, AArch64::D20},
194 {codeview::RegisterId::ARM64_D21, AArch64::D21},
195 {codeview::RegisterId::ARM64_D22, AArch64::D22},
196 {codeview::RegisterId::ARM64_D23, AArch64::D23},
197 {codeview::RegisterId::ARM64_D24, AArch64::D24},
198 {codeview::RegisterId::ARM64_D25, AArch64::D25},
199 {codeview::RegisterId::ARM64_D26, AArch64::D26},
200 {codeview::RegisterId::ARM64_D27, AArch64::D27},
201 {codeview::RegisterId::ARM64_D28, AArch64::D28},
202 {codeview::RegisterId::ARM64_D29, AArch64::D29},
203 {codeview::RegisterId::ARM64_D30, AArch64::D30},
204 {codeview::RegisterId::ARM64_D31, AArch64::D31},
205 {codeview::RegisterId::ARM64_Q0, AArch64::Q0},
206 {codeview::RegisterId::ARM64_Q1, AArch64::Q1},
207 {codeview::RegisterId::ARM64_Q2, AArch64::Q2},
208 {codeview::RegisterId::ARM64_Q3, AArch64::Q3},
209 {codeview::RegisterId::ARM64_Q4, AArch64::Q4},
210 {codeview::RegisterId::ARM64_Q5, AArch64::Q5},
211 {codeview::RegisterId::ARM64_Q6, AArch64::Q6},
212 {codeview::RegisterId::ARM64_Q7, AArch64::Q7},
213 {codeview::RegisterId::ARM64_Q8, AArch64::Q8},
214 {codeview::RegisterId::ARM64_Q9, AArch64::Q9},
215 {codeview::RegisterId::ARM64_Q10, AArch64::Q10},
216 {codeview::RegisterId::ARM64_Q11, AArch64::Q11},
217 {codeview::RegisterId::ARM64_Q12, AArch64::Q12},
218 {codeview::RegisterId::ARM64_Q13, AArch64::Q13},
219 {codeview::RegisterId::ARM64_Q14, AArch64::Q14},
220 {codeview::RegisterId::ARM64_Q15, AArch64::Q15},
221 {codeview::RegisterId::ARM64_Q16, AArch64::Q16},
222 {codeview::RegisterId::ARM64_Q17, AArch64::Q17},
223 {codeview::RegisterId::ARM64_Q18, AArch64::Q18},
224 {codeview::RegisterId::ARM64_Q19, AArch64::Q19},
225 {codeview::RegisterId::ARM64_Q20, AArch64::Q20},
226 {codeview::RegisterId::ARM64_Q21, AArch64::Q21},
227 {codeview::RegisterId::ARM64_Q22, AArch64::Q22},
228 {codeview::RegisterId::ARM64_Q23, AArch64::Q23},
229 {codeview::RegisterId::ARM64_Q24, AArch64::Q24},
230 {codeview::RegisterId::ARM64_Q25, AArch64::Q25},
231 {codeview::RegisterId::ARM64_Q26, AArch64::Q26},
232 {codeview::RegisterId::ARM64_Q27, AArch64::Q27},
233 {codeview::RegisterId::ARM64_Q28, AArch64::Q28},
234 {codeview::RegisterId::ARM64_Q29, AArch64::Q29},
235 {codeview::RegisterId::ARM64_Q30, AArch64::Q30},
236 {codeview::RegisterId::ARM64_Q31, AArch64::Q31},
237 {codeview::RegisterId::ARM64_B0, AArch64::B0},
238 {codeview::RegisterId::ARM64_B1, AArch64::B1},
239 {codeview::RegisterId::ARM64_B2, AArch64::B2},
240 {codeview::RegisterId::ARM64_B3, AArch64::B3},
241 {codeview::RegisterId::ARM64_B4, AArch64::B4},
242 {codeview::RegisterId::ARM64_B5, AArch64::B5},
243 {codeview::RegisterId::ARM64_B6, AArch64::B6},
244 {codeview::RegisterId::ARM64_B7, AArch64::B7},
245 {codeview::RegisterId::ARM64_B8, AArch64::B8},
246 {codeview::RegisterId::ARM64_B9, AArch64::B9},
247 {codeview::RegisterId::ARM64_B10, AArch64::B10},
248 {codeview::RegisterId::ARM64_B11, AArch64::B11},
249 {codeview::RegisterId::ARM64_B12, AArch64::B12},
250 {codeview::RegisterId::ARM64_B13, AArch64::B13},
251 {codeview::RegisterId::ARM64_B14, AArch64::B14},
252 {codeview::RegisterId::ARM64_B15, AArch64::B15},
253 {codeview::RegisterId::ARM64_B16, AArch64::B16},
254 {codeview::RegisterId::ARM64_B17, AArch64::B17},
255 {codeview::RegisterId::ARM64_B18, AArch64::B18},
256 {codeview::RegisterId::ARM64_B19, AArch64::B19},
257 {codeview::RegisterId::ARM64_B20, AArch64::B20},
258 {codeview::RegisterId::ARM64_B21, AArch64::B21},
259 {codeview::RegisterId::ARM64_B22, AArch64::B22},
260 {codeview::RegisterId::ARM64_B23, AArch64::B23},
261 {codeview::RegisterId::ARM64_B24, AArch64::B24},
262 {codeview::RegisterId::ARM64_B25, AArch64::B25},
263 {codeview::RegisterId::ARM64_B26, AArch64::B26},
264 {codeview::RegisterId::ARM64_B27, AArch64::B27},
265 {codeview::RegisterId::ARM64_B28, AArch64::B28},
266 {codeview::RegisterId::ARM64_B29, AArch64::B29},
267 {codeview::RegisterId::ARM64_B30, AArch64::B30},
268 {codeview::RegisterId::ARM64_B31, AArch64::B31},
269 {codeview::RegisterId::ARM64_H0, AArch64::H0},
270 {codeview::RegisterId::ARM64_H1, AArch64::H1},
271 {codeview::RegisterId::ARM64_H2, AArch64::H2},
272 {codeview::RegisterId::ARM64_H3, AArch64::H3},
273 {codeview::RegisterId::ARM64_H4, AArch64::H4},
274 {codeview::RegisterId::ARM64_H5, AArch64::H5},
275 {codeview::RegisterId::ARM64_H6, AArch64::H6},
276 {codeview::RegisterId::ARM64_H7, AArch64::H7},
277 {codeview::RegisterId::ARM64_H8, AArch64::H8},
278 {codeview::RegisterId::ARM64_H9, AArch64::H9},
279 {codeview::RegisterId::ARM64_H10, AArch64::H10},
280 {codeview::RegisterId::ARM64_H11, AArch64::H11},
281 {codeview::RegisterId::ARM64_H12, AArch64::H12},
282 {codeview::RegisterId::ARM64_H13, AArch64::H13},
283 {codeview::RegisterId::ARM64_H14, AArch64::H14},
284 {codeview::RegisterId::ARM64_H15, AArch64::H15},
285 {codeview::RegisterId::ARM64_H16, AArch64::H16},
286 {codeview::RegisterId::ARM64_H17, AArch64::H17},
287 {codeview::RegisterId::ARM64_H18, AArch64::H18},
288 {codeview::RegisterId::ARM64_H19, AArch64::H19},
289 {codeview::RegisterId::ARM64_H20, AArch64::H20},
290 {codeview::RegisterId::ARM64_H21, AArch64::H21},
291 {codeview::RegisterId::ARM64_H22, AArch64::H22},
292 {codeview::RegisterId::ARM64_H23, AArch64::H23},
293 {codeview::RegisterId::ARM64_H24, AArch64::H24},
294 {codeview::RegisterId::ARM64_H25, AArch64::H25},
295 {codeview::RegisterId::ARM64_H26, AArch64::H26},
296 {codeview::RegisterId::ARM64_H27, AArch64::H27},
297 {codeview::RegisterId::ARM64_H28, AArch64::H28},
298 {codeview::RegisterId::ARM64_H29, AArch64::H29},
299 {codeview::RegisterId::ARM64_H30, AArch64::H30},
300 {codeview::RegisterId::ARM64_H31, AArch64::H31},
301 };
302 for (const auto &I : RegMap)
303 MRI->mapLLVMRegToCVReg(I.Reg, static_cast<int>(I.CVReg));
304}
305
306bool AArch64_MC::isHForm(const MCInst &MI, const MCInstrInfo *MCII) {
307 const auto &FPR16 = AArch64MCRegisterClasses[AArch64::FPR16RegClassID];
308 return llvm::any_of(MI, [&](const MCOperand &Op) {
309 return Op.isReg() && FPR16.contains(Op.getReg());
310 });
311}
312
313bool AArch64_MC::isQForm(const MCInst &MI, const MCInstrInfo *MCII) {
314 const auto &FPR128 = AArch64MCRegisterClasses[AArch64::FPR128RegClassID];
315 return llvm::any_of(MI, [&](const MCOperand &Op) {
316 return Op.isReg() && FPR128.contains(Op.getReg());
317 });
318}
319
320bool AArch64_MC::isFpOrNEON(const MCInst &MI, const MCInstrInfo *MCII) {
321 const auto &FPR128 = AArch64MCRegisterClasses[AArch64::FPR128RegClassID];
322 const auto &FPR64 = AArch64MCRegisterClasses[AArch64::FPR64RegClassID];
323 const auto &FPR32 = AArch64MCRegisterClasses[AArch64::FPR32RegClassID];
324 const auto &FPR16 = AArch64MCRegisterClasses[AArch64::FPR16RegClassID];
325 const auto &FPR8 = AArch64MCRegisterClasses[AArch64::FPR8RegClassID];
326
327 auto IsFPR = [&](const MCOperand &Op) {
328 if (!Op.isReg())
329 return false;
330 auto Reg = Op.getReg();
331 return FPR128.contains(Reg) || FPR64.contains(Reg) || FPR32.contains(Reg) ||
332 FPR16.contains(Reg) || FPR8.contains(Reg);
333 };
334
335 return llvm::any_of(MI, IsFPR);
336}
337
340 InitAArch64MCRegisterInfo(X, AArch64::LR);
342 return X;
343}
344
346 const Triple &TheTriple,
347 const MCTargetOptions &Options) {
348 MCAsmInfo *MAI;
349 if (TheTriple.isOSBinFormatMachO())
350 MAI = new AArch64MCAsmInfoDarwin(TheTriple.getArch() == Triple::aarch64_32);
351 else if (TheTriple.isWindowsMSVCEnvironment())
353 else if (TheTriple.isOSBinFormatCOFF())
354 MAI = new AArch64MCAsmInfoGNUCOFF();
355 else {
356 assert(TheTriple.isOSBinFormatELF() && "Invalid target");
357 MAI = new AArch64MCAsmInfoELF(TheTriple);
358 }
359
360 // Initial state of the frame pointer is SP.
361 unsigned Reg = MRI.getDwarfRegNum(AArch64::SP, true);
362 MCCFIInstruction Inst = MCCFIInstruction::cfiDefCfa(nullptr, Reg, 0);
363 MAI->addInitialFrameState(Inst);
364
365 return MAI;
366}
367
369 unsigned SyntaxVariant,
370 const MCAsmInfo &MAI,
371 const MCInstrInfo &MII,
372 const MCRegisterInfo &MRI) {
373 if (SyntaxVariant == 0)
374 return new AArch64InstPrinter(MAI, MII, MRI);
375 if (SyntaxVariant == 1)
376 return new AArch64AppleInstPrinter(MAI, MII, MRI);
377
378 return nullptr;
379}
380
382 std::unique_ptr<MCAsmBackend> &&TAB,
383 std::unique_ptr<MCObjectWriter> &&OW,
384 std::unique_ptr<MCCodeEmitter> &&Emitter) {
385 return createAArch64ELFStreamer(Ctx, std::move(TAB), std::move(OW),
386 std::move(Emitter));
387}
388
390 std::unique_ptr<MCAsmBackend> &&TAB,
391 std::unique_ptr<MCObjectWriter> &&OW,
392 std::unique_ptr<MCCodeEmitter> &&Emitter,
393 bool DWARFMustBeAtTheEnd) {
394 return createMachOStreamer(Ctx, std::move(TAB), std::move(OW),
395 std::move(Emitter), DWARFMustBeAtTheEnd,
396 /*LabelSections*/ true);
397}
398
399static MCStreamer *
400createWinCOFFStreamer(MCContext &Ctx, std::unique_ptr<MCAsmBackend> &&TAB,
401 std::unique_ptr<MCObjectWriter> &&OW,
402 std::unique_ptr<MCCodeEmitter> &&Emitter,
403 bool IncrementalLinkerCompatible) {
404 return createAArch64WinCOFFStreamer(Ctx, std::move(TAB), std::move(OW),
405 std::move(Emitter),
406 IncrementalLinkerCompatible);
407}
408
409namespace {
410
411class AArch64MCInstrAnalysis : public MCInstrAnalysis {
412public:
413 AArch64MCInstrAnalysis(const MCInstrInfo *Info) : MCInstrAnalysis(Info) {}
414
415 bool evaluateBranch(const MCInst &Inst, uint64_t Addr, uint64_t Size,
416 uint64_t &Target) const override {
417 // Search for a PC-relative argument.
418 // This will handle instructions like bcc (where the first argument is the
419 // condition code) and cbz (where it is a register).
420 const auto &Desc = Info->get(Inst.getOpcode());
421 for (unsigned i = 0, e = Inst.getNumOperands(); i != e; i++) {
422 if (Desc.operands()[i].OperandType == MCOI::OPERAND_PCREL) {
423 int64_t Imm = Inst.getOperand(i).getImm();
424 if (Inst.getOpcode() == AArch64::ADR)
425 Target = Addr + Imm;
426 else if (Inst.getOpcode() == AArch64::ADRP)
427 Target = (Addr & -4096) + Imm * 4096;
428 else
429 Target = Addr + Imm * 4;
430 return true;
431 }
432 }
433 return false;
434 }
435
436 bool clearsSuperRegisters(const MCRegisterInfo &MRI, const MCInst &Inst,
437 APInt &Mask) const override {
438 const MCInstrDesc &Desc = Info->get(Inst.getOpcode());
439 unsigned NumDefs = Desc.getNumDefs();
440 unsigned NumImplicitDefs = Desc.implicit_defs().size();
441 assert(Mask.getBitWidth() == NumDefs + NumImplicitDefs &&
442 "Unexpected number of bits in the mask!");
443 // 32-bit General Purpose Register class.
444 const MCRegisterClass &GPR32RC = MRI.getRegClass(AArch64::GPR32RegClassID);
445 // Floating Point Register classes.
446 const MCRegisterClass &FPR8RC = MRI.getRegClass(AArch64::FPR8RegClassID);
447 const MCRegisterClass &FPR16RC = MRI.getRegClass(AArch64::FPR16RegClassID);
448 const MCRegisterClass &FPR32RC = MRI.getRegClass(AArch64::FPR32RegClassID);
449 const MCRegisterClass &FPR64RC = MRI.getRegClass(AArch64::FPR64RegClassID);
450 const MCRegisterClass &FPR128RC =
451 MRI.getRegClass(AArch64::FPR128RegClassID);
452
453 auto ClearsSuperReg = [=](unsigned RegID) {
454 // An update to the lower 32 bits of a 64 bit integer register is
455 // architecturally defined to zero extend the upper 32 bits on a write.
456 if (GPR32RC.contains(RegID))
457 return true;
458 // SIMD&FP instructions operating on scalar data only acccess the lower
459 // bits of a register, the upper bits are zero extended on a write. For
460 // SIMD vector registers smaller than 128-bits, the upper 64-bits of the
461 // register are zero extended on a write.
462 // When VL is higher than 128 bits, any write to a SIMD&FP register sets
463 // bits higher than 128 to zero.
464 return FPR8RC.contains(RegID) || FPR16RC.contains(RegID) ||
465 FPR32RC.contains(RegID) || FPR64RC.contains(RegID) ||
466 FPR128RC.contains(RegID);
467 };
468
469 Mask.clearAllBits();
470 for (unsigned I = 0, E = NumDefs; I < E; ++I) {
471 const MCOperand &Op = Inst.getOperand(I);
472 if (ClearsSuperReg(Op.getReg()))
473 Mask.setBit(I);
474 }
475
476 for (unsigned I = 0, E = NumImplicitDefs; I < E; ++I) {
477 const MCPhysReg Reg = Desc.implicit_defs()[I];
478 if (ClearsSuperReg(Reg))
479 Mask.setBit(NumDefs + I);
480 }
481
482 return Mask.getBoolValue();
483 }
484
485 std::vector<std::pair<uint64_t, uint64_t>>
486 findPltEntries(uint64_t PltSectionVA, ArrayRef<uint8_t> PltContents,
487 const Triple &TargetTriple) const override {
488 // Do a lightweight parsing of PLT entries.
489 std::vector<std::pair<uint64_t, uint64_t>> Result;
490 for (uint64_t Byte = 0, End = PltContents.size(); Byte + 7 < End;
491 Byte += 4) {
492 uint32_t Insn = support::endian::read32le(PltContents.data() + Byte);
493 uint64_t Off = 0;
494 // Check for optional bti c that prefixes adrp in BTI enabled entries
495 if (Insn == 0xd503245f) {
496 Off = 4;
497 Insn = support::endian::read32le(PltContents.data() + Byte + Off);
498 }
499 // Check for adrp.
500 if ((Insn & 0x9f000000) != 0x90000000)
501 continue;
502 Off += 4;
503 uint64_t Imm = (((PltSectionVA + Byte) >> 12) << 12) +
504 (((Insn >> 29) & 3) << 12) + (((Insn >> 5) & 0x3ffff) << 14);
505 uint32_t Insn2 =
506 support::endian::read32le(PltContents.data() + Byte + Off);
507 // Check for: ldr Xt, [Xn, #pimm].
508 if (Insn2 >> 22 == 0x3e5) {
509 Imm += ((Insn2 >> 10) & 0xfff) << 3;
510 Result.push_back(std::make_pair(PltSectionVA + Byte, Imm));
511 Byte += 4;
512 }
513 }
514 return Result;
515 }
516};
517
518} // end anonymous namespace
519
521 return new AArch64MCInstrAnalysis(Info);
522}
523
524// Force static initialization.
529 // Register the MC asm info.
531
532 // Register the MC instruction info.
534
535 // Register the MC register info.
537
538 // Register the MC subtarget info.
540
541 // Register the MC instruction analyzer.
543
544 // Register the MC Code Emitter
546
547 // Register the obj streamers.
551
552 // Register the obj target streamer.
555
556 // Register the asm streamer.
559 // Register the null streamer.
562
563 // Register the MCInstPrinter.
565 }
566
567 // Register the asm backend.
573}
unsigned const MachineRegisterInfo * MRI
static MCStreamer * createWinCOFFStreamer(MCContext &Ctx, std::unique_ptr< MCAsmBackend > &&TAB, std::unique_ptr< MCObjectWriter > &&OW, std::unique_ptr< MCCodeEmitter > &&Emitter, bool IncrementalLinkerCompatible)
static MCStreamer * createELFStreamer(const Triple &T, MCContext &Ctx, std::unique_ptr< MCAsmBackend > &&TAB, std::unique_ptr< MCObjectWriter > &&OW, std::unique_ptr< MCCodeEmitter > &&Emitter)
static MCInstPrinter * createAArch64MCInstPrinter(const Triple &T, unsigned SyntaxVariant, const MCAsmInfo &MAI, const MCInstrInfo &MII, const MCRegisterInfo &MRI)
static MCSubtargetInfo * createAArch64MCSubtargetInfo(const Triple &TT, StringRef CPU, StringRef FS)
static MCRegisterInfo * createAArch64MCRegisterInfo(const Triple &Triple)
static MCStreamer * createMachOStreamer(MCContext &Ctx, std::unique_ptr< MCAsmBackend > &&TAB, std::unique_ptr< MCObjectWriter > &&OW, std::unique_ptr< MCCodeEmitter > &&Emitter, bool DWARFMustBeAtTheEnd)
static MCInstrInfo * createAArch64MCInstrInfo()
LLVM_EXTERNAL_VISIBILITY void LLVMInitializeAArch64TargetMC()
static MCInstrAnalysis * createAArch64InstrAnalysis(const MCInstrInfo *Info)
static MCAsmInfo * createAArch64MCAsmInfo(const MCRegisterInfo &MRI, const Triple &TheTriple, const MCTargetOptions &Options)
SmallVector< AArch64_IMM::ImmInsnModel, 4 > Insn
Analysis containing CSE Info
Definition: CSEInfo.cpp:27
#define LLVM_EXTERNAL_VISIBILITY
Definition: Compiler.h:135
dxil DXContainer Global Emitter
uint64_t Addr
uint64_t Size
bool End
Definition: ELF_riscv.cpp:480
static GCMetadataPrinterRegistry::Add< ErlangGCPrinter > X("erlang", "erlang-compatible garbage collector")
IRTranslator LLVM IR MI
static LVOptions Options
Definition: LVOptions.cpp:25
#define I(x, y, z)
Definition: MD5.cpp:58
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
Class for arbitrary precision integers.
Definition: APInt.h:77
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition: ArrayRef.h:41
size_t size() const
size - Get the array size.
Definition: ArrayRef.h:165
const T * data() const
Definition: ArrayRef.h:162
This class represents an Operation in the Expression.
This class is intended to be used as a base class for asm properties and features specific to the tar...
Definition: MCAsmInfo.h:56
void addInitialFrameState(const MCCFIInstruction &Inst)
Definition: MCAsmInfo.cpp:75
static MCCFIInstruction cfiDefCfa(MCSymbol *L, unsigned Register, int Offset, SMLoc Loc={})
.cfi_def_cfa defines a rule for computing CFA as: take address from Register and add Offset to it.
Definition: MCDwarf.h:541
Context object for machine code objects.
Definition: MCContext.h:83
This is an instance of a target assembly language printer that converts an MCInst to valid target ass...
Definition: MCInstPrinter.h:45
Instances of this class represent a single low-level machine instruction.
Definition: MCInst.h:184
unsigned getNumOperands() const
Definition: MCInst.h:208
unsigned getOpcode() const
Definition: MCInst.h:198
const MCOperand & getOperand(unsigned i) const
Definition: MCInst.h:206
virtual bool evaluateBranch(const MCInst &Inst, uint64_t Addr, uint64_t Size, uint64_t &Target) const
Given a branch instruction try to get the address the branch targets.
virtual std::vector< std::pair< uint64_t, uint64_t > > findPltEntries(uint64_t PltSectionVA, ArrayRef< uint8_t > PltContents, const Triple &TargetTriple) const
Returns (PLT virtual address, GOT virtual address) pairs for PLT entries.
virtual bool clearsSuperRegisters(const MCRegisterInfo &MRI, const MCInst &Inst, APInt &Writes) const
Returns true if at least one of the register writes performed by.
Describe properties that are true of each instruction in the target description file.
Definition: MCInstrDesc.h:198
Interface to description of machine instruction set.
Definition: MCInstrInfo.h:26
Instances of this class represent operands of the MCInst class.
Definition: MCInst.h:36
int64_t getImm() const
Definition: MCInst.h:80
MCRegisterClass - Base class of TargetRegisterClass.
bool contains(MCRegister Reg) const
contains - Return true if the specified register is included in this register class.
MCRegisterInfo base class - We assume that the target defines a static array of MCRegisterDesc object...
Streaming machine code generation interface.
Definition: MCStreamer.h:213
Generic base class for all target subtargets.
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:50
constexpr bool empty() const
empty - Check if the string is empty.
Definition: StringRef.h:134
Target - Wrapper for Target specific information.
Triple - Helper class for working with autoconf configuration names.
Definition: Triple.h:44
bool isOSBinFormatMachO() const
Tests whether the environment is MachO.
Definition: Triple.h:732
@ aarch64_32
Definition: Triple.h:53
ArchType getArch() const
Get the parsed architecture type of this triple.
Definition: Triple.h:373
bool isOSBinFormatCOFF() const
Tests whether the OS uses the COFF binary format.
Definition: Triple.h:724
bool isOSBinFormatELF() const
Tests whether the OS uses the ELF binary format.
Definition: Triple.h:719
bool isWindowsMSVCEnvironment() const
Checks if the environment could be MSVC.
Definition: Triple.h:634
bool isHForm(const MCInst &MI, const MCInstrInfo *MCII)
void initLLVMToCVRegMapping(MCRegisterInfo *MRI)
bool isQForm(const MCInst &MI, const MCInstrInfo *MCII)
bool isFpOrNEON(const MCInst &MI, const MCInstrInfo *MCII)
StringRef resolveCPUAlias(StringRef CPU)
constexpr std::underlying_type_t< E > Mask()
Get a bitmask with 1s in all places up to the high-order bit of E's largest value.
Definition: BitmaskEnum.h:121
Reg
All possible values of the reg field in the ModR/M byte.
uint32_t read32le(const void *P)
Definition: Endian.h:425
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
MCWinCOFFStreamer * createAArch64WinCOFFStreamer(MCContext &Context, std::unique_ptr< MCAsmBackend > TAB, std::unique_ptr< MCObjectWriter > OW, std::unique_ptr< MCCodeEmitter > Emitter, bool IncrementalLinkerCompatible)
Target & getTheAArch64beTarget()
Target & getTheAArch64leTarget()
MCTargetStreamer * createAArch64NullTargetStreamer(MCStreamer &S)
bool any_of(R &&range, UnaryPredicate P)
Provide wrappers to std::any_of which take ranges instead of having to pass begin/end explicitly.
Definition: STLExtras.h:1729
MCAsmBackend * createAArch64leAsmBackend(const Target &T, const MCSubtargetInfo &STI, const MCRegisterInfo &MRI, const MCTargetOptions &Options)
Target & getTheAArch64_32Target()
Target & getTheARM64_32Target()
MCTargetStreamer * createAArch64AsmTargetStreamer(MCStreamer &S, formatted_raw_ostream &OS, MCInstPrinter *InstPrint, bool isVerboseAsm)
Target & getTheARM64Target()
DWARFExpression::Operation Op
MCAsmBackend * createAArch64beAsmBackend(const Target &T, const MCSubtargetInfo &STI, const MCRegisterInfo &MRI, const MCTargetOptions &Options)
MCELFStreamer * createAArch64ELFStreamer(MCContext &Context, std::unique_ptr< MCAsmBackend > TAB, std::unique_ptr< MCObjectWriter > OW, std::unique_ptr< MCCodeEmitter > Emitter)
MCTargetStreamer * createAArch64ObjectTargetStreamer(MCStreamer &S, const MCSubtargetInfo &STI)
MCCodeEmitter * createAArch64MCCodeEmitter(const MCInstrInfo &MCII, MCContext &Ctx)
Description of the encoding of one expression Op.
RegisterMCAsmInfoFn - Helper template for registering a target assembly info implementation.
static void RegisterMCRegInfo(Target &T, Target::MCRegInfoCtorFnTy Fn)
RegisterMCRegInfo - Register a MCRegisterInfo implementation for the given target.
static void RegisterMCAsmBackend(Target &T, Target::MCAsmBackendCtorTy Fn)
RegisterMCAsmBackend - Register a MCAsmBackend implementation for the given target.
static void RegisterMCCodeEmitter(Target &T, Target::MCCodeEmitterCtorTy Fn)
RegisterMCCodeEmitter - Register a MCCodeEmitter implementation for the given target.
static void RegisterMCSubtargetInfo(Target &T, Target::MCSubtargetInfoCtorFnTy Fn)
RegisterMCSubtargetInfo - Register a MCSubtargetInfo implementation for the given target.
static void RegisterObjectTargetStreamer(Target &T, Target::ObjectTargetStreamerCtorTy Fn)
static void RegisterMCInstrAnalysis(Target &T, Target::MCInstrAnalysisCtorFnTy Fn)
RegisterMCInstrAnalysis - Register a MCInstrAnalysis implementation for the given target.
static void RegisterELFStreamer(Target &T, Target::ELFStreamerCtorTy Fn)
static void RegisterNullTargetStreamer(Target &T, Target::NullTargetStreamerCtorTy Fn)
static void RegisterMCInstPrinter(Target &T, Target::MCInstPrinterCtorTy Fn)
RegisterMCInstPrinter - Register a MCInstPrinter implementation for the given target.
static void RegisterCOFFStreamer(Target &T, Target::COFFStreamerCtorTy Fn)
static void RegisterMCInstrInfo(Target &T, Target::MCInstrInfoCtorFnTy Fn)
RegisterMCInstrInfo - Register a MCInstrInfo implementation for the given target.
static void RegisterMachOStreamer(Target &T, Target::MachOStreamerCtorTy Fn)
static void RegisterAsmTargetStreamer(Target &T, Target::AsmTargetStreamerCtorTy Fn)