LLVM 24.0.0git
X86AsmPrinter.cpp
Go to the documentation of this file.
1//===-- X86AsmPrinter.cpp - Convert X86 LLVM code to AT&T assembly --------===//
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 contains a printer that converts from our internal representation
10// of machine-dependent LLVM code to X86 machine code.
11//
12//===----------------------------------------------------------------------===//
13
14#include "X86AsmPrinter.h"
20#include "X86.h"
21#include "X86InstrInfo.h"
23#include "X86Subtarget.h"
24#include "llvm-c/Visibility.h"
35#include "llvm/IR/InlineAsm.h"
37#include "llvm/IR/Mangler.h"
38#include "llvm/IR/Module.h"
39#include "llvm/IR/Type.h"
40#include "llvm/MC/MCAsmInfo.h"
42#include "llvm/MC/MCContext.h"
43#include "llvm/MC/MCExpr.h"
44#include "llvm/MC/MCInst.h"
49#include "llvm/MC/MCStreamer.h"
50#include "llvm/MC/MCSymbol.h"
52#include "llvm/Support/Debug.h"
55
56using namespace llvm;
57
59 std::unique_ptr<MCStreamer> Streamer)
60 : AsmPrinter(TM, std::move(Streamer), ID), FM(*this) {
61 GetPSI = [this](Module &M) -> ProfileSummaryInfo * {
63 return &PSIW->getPSI();
64 return nullptr;
65 };
66 GetSDPI = [this](Module &M) -> StaticDataProfileInfo * {
67 if (auto *SDPIW =
69 return &SDPIW->getStaticDataProfileInfo();
70 return nullptr;
71 };
72}
73
74//===----------------------------------------------------------------------===//
75// Primitive Helper Functions.
76//===----------------------------------------------------------------------===//
77
78/// runOnMachineFunction - Emit the function body.
79///
81 PSI = GetPSI(*MF.getFunction().getParent());
82 SDPI = GetSDPI(*MF.getFunction().getParent());
83
84 Subtarget = &MF.getSubtarget<X86Subtarget>();
85
86 SMShadowTracker.startFunction(MF);
87 CodeEmitter.reset(TM.getTarget().createMCCodeEmitter(
88 *Subtarget->getInstrInfo(), MF.getContext()));
89
90 const Module *M = MF.getFunction().getParent();
91 EmitFPOData = Subtarget->isTargetWin32() && M->getCodeViewFlag();
92
93 IndCSPrefix = M->getModuleFlag("indirect_branch_cs_prefix");
94
96
97 if (Subtarget->isTargetCOFF()) {
98 bool Local = MF.getFunction().hasLocalLinkage();
99 OutStreamer->beginCOFFSymbolDef(CurrentFnSym);
100 OutStreamer->emitCOFFSymbolStorageClass(
104 OutStreamer->endCOFFSymbolDef();
105 }
106
107 // Emit the rest of the function body.
109
110 // Emit the XRay table for this function.
112
113 EmitFPOData = false;
114
115 IndCSPrefix = false;
116
117 // We didn't modify anything.
118 return false;
119}
120
122 if (EmitFPOData) {
123 auto *XTS =
124 static_cast<X86TargetStreamer *>(OutStreamer->getTargetStreamer());
125 XTS->emitFPOProc(
128 }
129}
130
132 if (EmitFPOData) {
133 auto *XTS =
134 static_cast<X86TargetStreamer *>(OutStreamer->getTargetStreamer());
135 XTS->emitFPOEndProc();
136 }
137}
138
139uint32_t X86AsmPrinter::MaskKCFIType(uint32_t Value) {
140 // If the type hash matches an invalid pattern, mask the value.
141 const uint32_t InvalidValues[] = {
142 0xFA1E0FF3, /* ENDBR64 */
143 0xFB1E0FF3, /* ENDBR32 */
144 };
145 for (uint32_t N : InvalidValues) {
146 // LowerKCFI_CHECK emits -Value for indirect call checks, so we must also
147 // mask that. Note that -(Value + 1) == ~Value.
148 if (N == Value || -N == Value)
149 return Value + 1;
150 }
151 return Value;
152}
153
154void X86AsmPrinter::EmitKCFITypePadding(const MachineFunction &MF,
155 bool HasType) {
156 // Keep the function entry aligned, taking patchable-function-prefix into
157 // account if set.
158 int64_t PrefixBytes = MF.getFunction().getFnAttributeAsParsedInteger(
159 "patchable-function-prefix");
160
161 // Also take the type identifier into account if we're emitting
162 // one. Otherwise, just pad with nops. The X86::MOV32ri instruction emitted
163 // in X86AsmPrinter::emitKCFITypeId is 5 bytes long.
164 if (HasType)
165 PrefixBytes += 5;
166
167 emitNops(offsetToAlignment(PrefixBytes, MF.getPreferredAlignment()));
168}
169
170/// emitKCFITypeId - Emit the KCFI type information in architecture specific
171/// format.
173 const Function &F = MF.getFunction();
174 if (!F.getParent()->getModuleFlag("kcfi"))
175 return;
176
177 ConstantInt *Type = nullptr;
178 if (const MDNode *MD = F.getMetadata(LLVMContext::MD_kcfi_type))
179 Type = mdconst::extract<ConstantInt>(MD->getOperand(0));
180
181 // If we don't have a type to emit, just emit padding if needed to maintain
182 // the same alignment for all functions.
183 if (!Type) {
184 EmitKCFITypePadding(MF, /*HasType=*/false);
185 return;
186 }
187
188 // Emit a function symbol for the type data to avoid unreachable instruction
189 // warnings from binary validation tools, and use the same linkage as the
190 // parent function. Note that using local linkage would result in duplicate
191 // symbols for weak parent functions.
192 MCSymbol *FnSym = OutContext.getOrCreateSymbol("__cfi_" + MF.getName());
193 emitLinkage(&MF.getFunction(), FnSym);
194 if (MAI.hasDotTypeDotSizeDirective())
195 OutStreamer->emitSymbolAttribute(FnSym, MCSA_ELF_TypeFunction);
196 OutStreamer->emitLabel(FnSym);
197
198 // Embed the type hash in the X86::MOV32ri instruction to avoid special
199 // casing object file parsers.
200 EmitKCFITypePadding(MF);
201 unsigned DestReg = X86::EAX;
202
203 if (F.getParent()->getModuleFlag("kcfi-arity")) {
204 // The ArityToRegMap assumes the 64-bit SysV ABI.
205 [[maybe_unused]] const auto &Triple = MF.getTarget().getTargetTriple();
207
208 // Determine the function's arity (i.e., the number of arguments) at the ABI
209 // level by counting the number of parameters that are passed
210 // as registers, such as pointers and 64-bit (or smaller) integers. The
211 // Linux x86-64 ABI allows up to 6 integer parameters to be passed in GPRs.
212 // Additional parameters or parameters larger than 64 bits may be passed on
213 // the stack, in which case the arity is denoted as 7. Floating-point
214 // arguments passed in XMM0-XMM7 are not counted toward arity because
215 // floating-point values are not relevant to enforcing kCFI at this time.
216 const unsigned ArityToRegMap[8] = {X86::EAX, X86::ECX, X86::EDX, X86::EBX,
217 X86::ESP, X86::EBP, X86::ESI, X86::EDI};
218 int Arity;
219 if (MF.getInfo<X86MachineFunctionInfo>()->getArgumentStackSize() > 0) {
220 Arity = 7;
221 } else {
222 Arity = 0;
223 for (const auto &LI : MF.getRegInfo().liveins()) {
224 auto Reg = LI.first;
225 if (X86::GR8RegClass.contains(Reg) || X86::GR16RegClass.contains(Reg) ||
226 X86::GR32RegClass.contains(Reg) ||
227 X86::GR64RegClass.contains(Reg)) {
228 ++Arity;
229 }
230 }
231 }
232 DestReg = ArityToRegMap[Arity];
233 }
234
235 EmitAndCountInstruction(MCInstBuilder(X86::MOV32ri)
236 .addReg(DestReg)
237 .addImm(MaskKCFIType(Type->getZExtValue())));
238
239 if (MAI.hasDotTypeDotSizeDirective()) {
240 MCSymbol *EndSym = OutContext.createTempSymbol("cfi_func_end");
241 OutStreamer->emitLabel(EndSym);
242
243 const MCExpr *SizeExp = MCBinaryExpr::createSub(
246 OutStreamer->emitELFSize(FnSym, SizeExp);
247 }
248}
249
250/// PrintSymbolOperand - Print a raw symbol reference operand. This handles
251/// jump tables, constant pools, global address and external symbols, all of
252/// which print to a label with various suffixes for relocation types etc.
253void X86AsmPrinter::PrintSymbolOperand(const MachineOperand &MO,
254 raw_ostream &O) {
255 switch (MO.getType()) {
256 default: llvm_unreachable("unknown symbol type!");
258 GetCPISymbol(MO.getIndex())->print(O, MAI);
259 printOffset(MO.getOffset(), O);
260 break;
262 const GlobalValue *GV = MO.getGlobal();
263
264 MCSymbol *GVSym;
267 GVSym = getSymbolWithGlobalValueBase(GV, "$non_lazy_ptr");
268 else
269 GVSym = getSymbolPreferLocal(*GV);
270
271 // Handle dllimport linkage.
273 GVSym = OutContext.getOrCreateSymbol(Twine("__imp_") + GVSym->getName());
274 else if (MO.getTargetFlags() == X86II::MO_COFFSTUB)
275 GVSym =
276 OutContext.getOrCreateSymbol(Twine(".refptr.") + GVSym->getName());
277
280 MCSymbol *Sym = getSymbolWithGlobalValueBase(GV, "$non_lazy_ptr");
282 MMI->getObjFileInfo<MachineModuleInfoMachO>().getGVStubEntry(Sym);
283 if (!StubSym.getPointer())
285 !GV->hasInternalLinkage());
286 }
287
288 // If the name begins with a dollar-sign, enclose it in parens. We do this
289 // to avoid having it look like an integer immediate to the assembler.
290 if (GVSym->getName()[0] != '$')
291 GVSym->print(O, MAI);
292 else {
293 O << '(';
294 GVSym->print(O, MAI);
295 O << ')';
296 }
297 printOffset(MO.getOffset(), O);
298 break;
299 }
300 }
301
302 switch (MO.getTargetFlags()) {
303 default:
304 llvm_unreachable("Unknown target flag on GV operand");
305 case X86II::MO_NO_FLAG: // No flag.
306 break;
310 // These affect the name of the symbol, not any suffix.
311 break;
313 O << " + [.-";
314 MF->getPICBaseSymbol()->print(O, MAI);
315 O << ']';
316 break;
319 O << '-';
320 MF->getPICBaseSymbol()->print(O, MAI);
321 break;
322 case X86II::MO_TLSGD: O << "@TLSGD"; break;
323 case X86II::MO_TLSLD: O << "@TLSLD"; break;
324 case X86II::MO_TLSLDM: O << "@TLSLDM"; break;
325 case X86II::MO_GOTTPOFF: O << "@GOTTPOFF"; break;
326 case X86II::MO_INDNTPOFF: O << "@INDNTPOFF"; break;
327 case X86II::MO_TPOFF: O << "@TPOFF"; break;
328 case X86II::MO_DTPOFF: O << "@DTPOFF"; break;
329 case X86II::MO_NTPOFF: O << "@NTPOFF"; break;
330 case X86II::MO_GOTNTPOFF: O << "@GOTNTPOFF"; break;
331 case X86II::MO_GOTPCREL: O << "@GOTPCREL"; break;
332 case X86II::MO_GOTPCREL_NORELAX: O << "@GOTPCREL_NORELAX"; break;
333 case X86II::MO_GOT: O << "@GOT"; break;
334 case X86II::MO_GOTOFF: O << "@GOTOFF"; break;
335 case X86II::MO_PLT: O << "@PLT"; break;
336 case X86II::MO_TLVP: O << "@TLVP"; break;
338 O << "@TLVP" << '-';
339 MF->getPICBaseSymbol()->print(O, MAI);
340 break;
341 case X86II::MO_SECREL: O << "@SECREL32"; break;
342 }
343}
344
345void X86AsmPrinter::PrintOperand(const MachineInstr *MI, unsigned OpNo,
346 raw_ostream &O) {
347 const MachineOperand &MO = MI->getOperand(OpNo);
348 const bool IsATT = MI->getInlineAsmDialect() == InlineAsm::AD_ATT;
349 switch (MO.getType()) {
350 default: llvm_unreachable("unknown operand type!");
352 if (IsATT)
353 O << '%';
355 return;
356 }
357
359 if (IsATT)
360 O << '$';
361 O << MO.getImm();
362 return;
363
366 switch (MI->getInlineAsmDialect()) {
368 O << '$';
369 break;
371 O << "offset ";
372 break;
373 }
374 PrintSymbolOperand(MO, O);
375 break;
376 }
379 Sym->print(O, MAI);
380 break;
381 }
382 }
383}
384
385/// PrintModifiedOperand - Print subregisters based on supplied modifier,
386/// deferring to PrintOperand() if no modifier was supplied or if operand is not
387/// a register.
388void X86AsmPrinter::PrintModifiedOperand(const MachineInstr *MI, unsigned OpNo,
389 raw_ostream &O, StringRef Modifier) {
390 const MachineOperand &MO = MI->getOperand(OpNo);
391 if (Modifier.empty() || !MO.isReg())
392 return PrintOperand(MI, OpNo, O);
393 if (MI->getInlineAsmDialect() == InlineAsm::AD_ATT)
394 O << '%';
395 Register Reg = MO.getReg();
396 if (Modifier.consume_front("subreg")) {
397 unsigned Size = (Modifier == "64") ? 64
398 : (Modifier == "32") ? 32
399 : (Modifier == "16") ? 16
400 : 8;
402 }
404}
405
406/// PrintPCRelImm - This is used to print an immediate value that ends up
407/// being encoded as a pc-relative value. These print slightly differently, for
408/// example, a $ is not emitted.
409void X86AsmPrinter::PrintPCRelImm(const MachineInstr *MI, unsigned OpNo,
410 raw_ostream &O) {
411 const MachineOperand &MO = MI->getOperand(OpNo);
412 switch (MO.getType()) {
413 default: llvm_unreachable("Unknown pcrel immediate operand");
415 // pc-relativeness was handled when computing the value in the reg.
416 PrintOperand(MI, OpNo, O);
417 return;
419 O << MO.getImm();
420 return;
422 PrintSymbolOperand(MO, O);
423 return;
424 }
425}
426
427void X86AsmPrinter::PrintLeaMemReference(const MachineInstr *MI, unsigned OpNo,
428 raw_ostream &O, StringRef Modifier) {
429 const MachineOperand &BaseReg = MI->getOperand(OpNo + X86::AddrBaseReg);
430 const MachineOperand &IndexReg = MI->getOperand(OpNo + X86::AddrIndexReg);
431 const MachineOperand &DispSpec = MI->getOperand(OpNo + X86::AddrDisp);
432
433 // If we really don't want to print out (rip), don't.
434 bool HasBaseReg = BaseReg.getReg() != 0;
435 if (HasBaseReg && Modifier == "no-rip" && BaseReg.getReg() == X86::RIP)
436 HasBaseReg = false;
437
438 // If we really just want to print out displacement.
439 if ((DispSpec.isGlobal() || DispSpec.isSymbol()) && Modifier == "disp-only")
440 HasBaseReg = false;
441
442 // HasParenPart - True if we will print out the () part of the mem ref.
443 bool HasParenPart = IndexReg.getReg() || HasBaseReg;
444
445 switch (DispSpec.getType()) {
446 default:
447 llvm_unreachable("unknown operand type!");
449 int DispVal = DispSpec.getImm();
450 if (DispVal || !HasParenPart)
451 O << DispVal;
452 break;
453 }
456 PrintSymbolOperand(DispSpec, O);
457 break;
458 }
459
460 if (Modifier == "H")
461 O << "+8";
462
463 if (HasParenPart) {
464 assert(IndexReg.getReg() != X86::ESP &&
465 "X86 doesn't allow scaling by ESP");
466
467 O << '(';
468 if (HasBaseReg)
469 PrintModifiedOperand(MI, OpNo + X86::AddrBaseReg, O, Modifier);
470
471 if (IndexReg.getReg()) {
472 O << ',';
473 PrintModifiedOperand(MI, OpNo + X86::AddrIndexReg, O, Modifier);
474 unsigned ScaleVal = MI->getOperand(OpNo + X86::AddrScaleAmt).getImm();
475 if (ScaleVal != 1)
476 O << ',' << ScaleVal;
477 }
478 O << ')';
479 }
480}
481
482static bool isSimpleReturn(const MachineInstr &MI) {
483 // We exclude all tail calls here which set both isReturn and isCall.
484 return MI.getDesc().isReturn() && !MI.getDesc().isCall();
485}
486
488 unsigned Opc = MI.getOpcode();
489 return MI.getDesc().isIndirectBranch() /*Make below code in a good shape*/ ||
490 Opc == X86::TAILJMPr || Opc == X86::TAILJMPm ||
491 Opc == X86::TAILJMPr64 || Opc == X86::TAILJMPm64 ||
492 Opc == X86::TCRETURNri || Opc == X86::TCRETURN_WIN64ri ||
493 Opc == X86::TCRETURN_HIPE32ri || Opc == X86::TCRETURNmi ||
494 Opc == X86::TCRETURN_WINmi64 || Opc == X86::TCRETURNri64 ||
495 Opc == X86::TCRETURNmi64 || Opc == X86::TCRETURNri64_ImpCall ||
496 Opc == X86::TAILJMPr64_REX || Opc == X86::TAILJMPm64_REX;
497}
498
500 if (Subtarget->hardenSlsRet() || Subtarget->hardenSlsIJmp()) {
501 auto I = MBB.getLastNonDebugInstr();
502 if (I != MBB.end()) {
503 if ((Subtarget->hardenSlsRet() && isSimpleReturn(*I)) ||
504 (Subtarget->hardenSlsIJmp() && isIndirectBranchOrTailCall(*I))) {
505 MCInst TmpInst;
506 TmpInst.setOpcode(X86::INT3);
507 EmitToStreamer(*OutStreamer, TmpInst);
508 }
509 }
510 }
511 if (SplitChainedAtEndOfBlock) {
512 OutStreamer->emitWinCFISplitChained();
513 // Splitting into a new unwind info implicitly starts a prolog. We have no
514 // instructions to add to the prolog, so immediately end it.
515 OutStreamer->emitWinCFIEndProlog();
516 SplitChainedAtEndOfBlock = false;
517 }
519 SMShadowTracker.emitShadowPadding(*OutStreamer, getSubtargetInfo());
520}
521
522void X86AsmPrinter::PrintMemReference(const MachineInstr *MI, unsigned OpNo,
523 raw_ostream &O, StringRef Modifier) {
524 assert(isMem(*MI, OpNo) && "Invalid memory reference!");
525 const MachineOperand &Segment = MI->getOperand(OpNo + X86::AddrSegmentReg);
526 if (Segment.getReg()) {
527 PrintModifiedOperand(MI, OpNo + X86::AddrSegmentReg, O, Modifier);
528 O << ':';
529 }
530 PrintLeaMemReference(MI, OpNo, O, Modifier);
531}
532
533void X86AsmPrinter::PrintIntelMemReference(const MachineInstr *MI,
534 unsigned OpNo, raw_ostream &O,
535 StringRef Modifier) {
536 const MachineOperand &BaseReg = MI->getOperand(OpNo + X86::AddrBaseReg);
537 unsigned ScaleVal = MI->getOperand(OpNo + X86::AddrScaleAmt).getImm();
538 const MachineOperand &IndexReg = MI->getOperand(OpNo + X86::AddrIndexReg);
539 const MachineOperand &DispSpec = MI->getOperand(OpNo + X86::AddrDisp);
540 const MachineOperand &SegReg = MI->getOperand(OpNo + X86::AddrSegmentReg);
541
542 // If we really don't want to print out (rip), don't.
543 bool HasBaseReg = BaseReg.getReg() != 0;
544 if (HasBaseReg && Modifier == "no-rip" && BaseReg.getReg() == X86::RIP)
545 HasBaseReg = false;
546
547 // If we really just want to print out displacement.
548 if ((DispSpec.isGlobal() || DispSpec.isSymbol()) && Modifier == "disp-only") {
549 HasBaseReg = false;
550 }
551
552 // If this has a segment register, print it.
553 if (SegReg.getReg()) {
554 PrintOperand(MI, OpNo + X86::AddrSegmentReg, O);
555 O << ':';
556 }
557
558 O << '[';
559
560 bool NeedPlus = false;
561 if (HasBaseReg) {
562 PrintOperand(MI, OpNo + X86::AddrBaseReg, O);
563 NeedPlus = true;
564 }
565
566 if (IndexReg.getReg()) {
567 if (NeedPlus) O << " + ";
568 if (ScaleVal != 1)
569 O << ScaleVal << '*';
570 PrintOperand(MI, OpNo + X86::AddrIndexReg, O);
571 NeedPlus = true;
572 }
573
574 if (!DispSpec.isImm()) {
575 if (NeedPlus) O << " + ";
576 // Do not add `offset` operator. Matches the behaviour of
577 // X86IntelInstPrinter::printMemReference.
578 PrintSymbolOperand(DispSpec, O);
579 } else {
580 int64_t DispVal = DispSpec.getImm();
581 if (DispVal || (!IndexReg.getReg() && !HasBaseReg)) {
582 if (NeedPlus) {
583 if (DispVal > 0)
584 O << " + ";
585 else {
586 O << " - ";
587 DispVal = -DispVal;
588 }
589 }
590 O << DispVal;
591 }
592 }
593 O << ']';
594}
595
597 assert(Subtarget);
598 return Subtarget;
599}
600
601void X86AsmPrinter::emitMachOIFuncStubBody(Module &M, const GlobalIFunc &GI,
602 MCSymbol *LazyPointer) {
603 // _ifunc:
604 // jmpq *lazy_pointer(%rip)
605
606 OutStreamer->emitInstruction(
607 MCInstBuilder(X86::JMP32m)
608 .addReg(X86::RIP)
609 .addImm(1)
610 .addReg(0)
612 MCSymbolRefExpr::create(LazyPointer, OutContext)))
613 .addReg(0),
614 *Subtarget);
615}
616
617void X86AsmPrinter::emitMachOIFuncStubHelperBody(Module &M,
618 const GlobalIFunc &GI,
619 MCSymbol *LazyPointer) {
620 // _ifunc.stub_helper:
621 // push %rax
622 // push %rdi
623 // push %rsi
624 // push %rdx
625 // push %rcx
626 // push %r8
627 // push %r9
628 // callq foo
629 // movq %rax,lazy_pointer(%rip)
630 // pop %r9
631 // pop %r8
632 // pop %rcx
633 // pop %rdx
634 // pop %rsi
635 // pop %rdi
636 // pop %rax
637 // jmpq *lazy_pointer(%rip)
638
639 for (int Reg :
640 {X86::RAX, X86::RDI, X86::RSI, X86::RDX, X86::RCX, X86::R8, X86::R9})
641 OutStreamer->emitInstruction(MCInstBuilder(X86::PUSH64r).addReg(Reg),
642 *Subtarget);
643
644 OutStreamer->emitInstruction(
645 MCInstBuilder(X86::CALL64pcrel32)
647 *Subtarget);
648
649 OutStreamer->emitInstruction(
650 MCInstBuilder(X86::MOV64mr)
651 .addReg(X86::RIP)
652 .addImm(1)
653 .addReg(0)
655 MCSymbolRefExpr::create(LazyPointer, OutContext)))
656 .addReg(0)
657 .addReg(X86::RAX),
658 *Subtarget);
659
660 for (int Reg :
661 {X86::R9, X86::R8, X86::RCX, X86::RDX, X86::RSI, X86::RDI, X86::RAX})
662 OutStreamer->emitInstruction(MCInstBuilder(X86::POP64r).addReg(Reg),
663 *Subtarget);
664
665 OutStreamer->emitInstruction(
666 MCInstBuilder(X86::JMP32m)
667 .addReg(X86::RIP)
668 .addImm(1)
669 .addReg(0)
671 MCSymbolRefExpr::create(LazyPointer, OutContext)))
672 .addReg(0),
673 *Subtarget);
674}
675
676static bool printAsmMRegister(const X86AsmPrinter &P, const MachineOperand &MO,
677 char Mode, raw_ostream &O) {
678 Register Reg = MO.getReg();
679 bool EmitPercent = MO.getParent()->getInlineAsmDialect() == InlineAsm::AD_ATT;
680
681 if (!X86::GR8RegClass.contains(Reg) &&
682 !X86::GR16RegClass.contains(Reg) &&
683 !X86::GR32RegClass.contains(Reg) &&
684 !X86::GR64RegClass.contains(Reg))
685 return true;
686
687 switch (Mode) {
688 default: return true; // Unknown mode.
689 case 'b': // Print QImode register
691 break;
692 case 'h': // Print QImode high register
693 Reg = getX86SubSuperRegister(Reg, 8, true);
694 if (!Reg.isValid())
695 return true;
696 break;
697 case 'w': // Print HImode register
699 break;
700 case 'k': // Print SImode register
702 break;
703 case 'V':
704 EmitPercent = false;
705 [[fallthrough]];
706 case 'q':
707 // Print 64-bit register names if 64-bit integer registers are available.
708 // Otherwise, print 32-bit register names.
709 Reg = getX86SubSuperRegister(Reg, P.getSubtarget().is64Bit() ? 64 : 32);
710 break;
711 }
712
713 if (EmitPercent)
714 O << '%';
715
717 return false;
718}
719
720static bool printAsmVRegister(const MachineOperand &MO, char Mode,
721 raw_ostream &O) {
722 Register Reg = MO.getReg();
723 bool EmitPercent = MO.getParent()->getInlineAsmDialect() == InlineAsm::AD_ATT;
724
725 unsigned Index;
726 if (X86::VR128XRegClass.contains(Reg))
727 Index = Reg - X86::XMM0;
728 else if (X86::VR256XRegClass.contains(Reg))
729 Index = Reg - X86::YMM0;
730 else if (X86::VR512RegClass.contains(Reg))
731 Index = Reg - X86::ZMM0;
732 else
733 return true;
734
735 switch (Mode) {
736 default: // Unknown mode.
737 return true;
738 case 'x': // Print V4SFmode register
739 Reg = X86::XMM0 + Index;
740 break;
741 case 't': // Print V8SFmode register
742 Reg = X86::YMM0 + Index;
743 break;
744 case 'g': // Print V16SFmode register
745 Reg = X86::ZMM0 + Index;
746 break;
747 }
748
749 if (EmitPercent)
750 O << '%';
751
753 return false;
754}
755
756/// PrintAsmOperand - Print out an operand for an inline asm expression.
757///
759 const char *ExtraCode, raw_ostream &O) {
760 // Does this asm operand have a single letter operand modifier?
761 if (ExtraCode && ExtraCode[0]) {
762 if (ExtraCode[1] != 0) return true; // Unknown modifier.
763
764 const MachineOperand &MO = MI->getOperand(OpNo);
765 const bool IsIntel = MI->getInlineAsmDialect() == InlineAsm::AD_Intel;
766
767 switch (ExtraCode[0]) {
768 default:
769 // See if this is a generic print operand
770 return AsmPrinter::PrintAsmOperand(MI, OpNo, ExtraCode, O);
771 case 'a': // This is an address. Currently only 'i' and 'r' are expected.
772 switch (MO.getType()) {
773 default:
774 return true;
776 O << MO.getImm();
777 return false;
781 llvm_unreachable("unexpected operand type!");
783 PrintSymbolOperand(MO, O);
784 if (Subtarget->is64Bit())
785 O << "(%rip)";
786 return false;
788 O << (IsIntel ? '[' : '(');
789 PrintOperand(MI, OpNo, O);
790 O << (IsIntel ? ']' : ')');
791 return false;
792 }
793
794 case 'c': // Don't print "$" before a global var name or constant.
795 switch (MO.getType()) {
796 default:
797 PrintOperand(MI, OpNo, O);
798 break;
800 O << MO.getImm();
801 break;
805 llvm_unreachable("unexpected operand type!");
807 PrintSymbolOperand(MO, O);
808 break;
809 }
810 return false;
811
812 case 'A': // Print '*' before a register (it must be a register)
813 if (MO.isReg()) {
814 if (!IsIntel)
815 O << '*';
816 PrintOperand(MI, OpNo, O);
817 return false;
818 }
819 return true;
820
821 case 'b': // Print QImode register
822 case 'h': // Print QImode high register
823 case 'w': // Print HImode register
824 case 'k': // Print SImode register
825 case 'q': // Print DImode register
826 case 'V': // Print native register without '%'
827 if (MO.isReg())
828 return printAsmMRegister(*this, MO, ExtraCode[0], O);
829 PrintOperand(MI, OpNo, O);
830 return false;
831
832 case 'x': // Print V4SFmode register
833 case 't': // Print V8SFmode register
834 case 'g': // Print V16SFmode register
835 if (MO.isReg())
836 return printAsmVRegister(MO, ExtraCode[0], O);
837 PrintOperand(MI, OpNo, O);
838 return false;
839
840 case 'p': {
841 const MachineOperand &MO = MI->getOperand(OpNo);
843 return true;
844 PrintSymbolOperand(MO, O);
845 return false;
846 }
847
848 case 'P': // This is the operand of a call, treat specially.
849 PrintPCRelImm(MI, OpNo, O);
850 return false;
851
852 case 'n': // Negate the immediate or print a '-' before the operand.
853 // Note: this is a temporary solution. It should be handled target
854 // independently as part of the 'MC' work.
855 if (MO.isImm()) {
856 O << -MO.getImm();
857 return false;
858 }
859 O << '-';
860 }
861 }
862
863 PrintOperand(MI, OpNo, O);
864 return false;
865}
866
868 const char *ExtraCode,
869 raw_ostream &O) {
870 if (ExtraCode && ExtraCode[0]) {
871 if (ExtraCode[1] != 0) return true; // Unknown modifier.
872
873 switch (ExtraCode[0]) {
874 default: return true; // Unknown modifier.
875 case 'a': {
876 // Print as address — only valid with 'p' constraint.
877 const InlineAsm::Flag Flags(MI->getOperand(OpNo - 1).getImm());
878 if (Flags.getMemoryConstraintID() != InlineAsm::ConstraintCode::p)
879 return true;
880 break;
881 }
882 case 'b': // Print QImode register
883 case 'h': // Print QImode high register
884 case 'w': // Print HImode register
885 case 'k': // Print SImode register
886 case 'q': // Print SImode register
887 // These only apply to registers, ignore on mem.
888 break;
889 case 'H':
890 if (MI->getInlineAsmDialect() == InlineAsm::AD_Intel) {
891 return true; // Unsupported modifier in Intel inline assembly.
892 } else {
893 PrintMemReference(MI, OpNo, O, "H");
894 }
895 return false;
896 // Print memory only with displacement. The Modifer 'P' is used in inline
897 // asm to present a call symbol or a global symbol which can not use base
898 // reg or index reg.
899 case 'P':
900 if (MI->getInlineAsmDialect() == InlineAsm::AD_Intel) {
901 PrintIntelMemReference(MI, OpNo, O, "disp-only");
902 } else {
903 PrintMemReference(MI, OpNo, O, "disp-only");
904 }
905 return false;
906 }
907 } else {
908 // Constraint 'p' requires modifier 'a'.
909 const InlineAsm::Flag Flags(MI->getOperand(OpNo - 1).getImm());
910 if (Flags.getMemoryConstraintID() == InlineAsm::ConstraintCode::p)
911 return true;
912 }
913 if (MI->getInlineAsmDialect() == InlineAsm::AD_Intel) {
914 PrintIntelMemReference(MI, OpNo, O);
915 } else {
916 PrintMemReference(MI, OpNo, O);
917 }
918 return false;
919}
920
922 const Triple &TT = TM.getTargetTriple();
923
924 if (TT.isOSBinFormatELF()) {
925 // Assemble feature flags that may require creation of a note section.
926 unsigned FeatureFlagsAnd = 0;
927 if (M.getModuleFlag("cf-protection-branch"))
928 FeatureFlagsAnd |= ELF::GNU_PROPERTY_X86_FEATURE_1_IBT;
929 if (M.getModuleFlag("cf-protection-return"))
930 FeatureFlagsAnd |= ELF::GNU_PROPERTY_X86_FEATURE_1_SHSTK;
931
932 if (FeatureFlagsAnd) {
933 // Emit a .note.gnu.property section with the flags.
934 assert((TT.isX86_32() || TT.isX86_64()) &&
935 "CFProtection used on invalid architecture!");
936 MCSection *Cur = OutStreamer->getCurrentSectionOnly();
937 MCSection *Nt = MMI->getContext().getELFSection(
938 ".note.gnu.property", ELF::SHT_NOTE, ELF::SHF_ALLOC);
939 OutStreamer->switchSection(Nt);
940
941 // Emitting note header.
942 const int WordSize = TT.isX86_64() && !TT.isX32() ? 8 : 4;
943 emitAlignment(WordSize == 4 ? Align(4) : Align(8));
944 OutStreamer->emitIntValue(4, 4 /*size*/); // data size for "GNU\0"
945 OutStreamer->emitIntValue(8 + WordSize, 4 /*size*/); // Elf_Prop size
946 OutStreamer->emitIntValue(ELF::NT_GNU_PROPERTY_TYPE_0, 4 /*size*/);
947 OutStreamer->emitBytes(StringRef("GNU", 4)); // note name
948
949 // Emitting an Elf_Prop for the CET properties.
951 OutStreamer->emitInt32(4); // data size
952 OutStreamer->emitInt32(FeatureFlagsAnd); // data
953 emitAlignment(WordSize == 4 ? Align(4) : Align(8)); // padding
954
955 OutStreamer->switchSection(Cur);
956 }
957 }
958
959 if (TT.isOSBinFormatMachO())
960 OutStreamer->switchSection(getObjFileLowering().getTextSection());
961
962 if (TT.isOSBinFormatCOFF()) {
965
966 if (M.getModuleFlag("import-call-optimization"))
967 EnableImportCallOptimization = true;
968
969 // Unwind v3 is set for the entire module, not just individual functions.
970 if (M.getWinX64EHUnwindMode() == WinX64EHUnwindMode::V3)
971 OutStreamer->emitWinCFIUnwindVersion(3);
972 }
973
974 // TODO: Support prefixed registers for the Intel syntax.
975 const bool IntelSyntax =
976 MAI.getOutputAssemblerDialect() == InlineAsm::AD_Intel;
977 OutStreamer->emitSyntaxDirective(IntelSyntax ? "intel" : "att",
978 IntelSyntax ? "noprefix" : "");
979
980 // If this is not inline asm and we're in 16-bit
981 // mode prefix assembly with .code16.
982 bool is16 = TT.getEnvironment() == Triple::CODE16;
983 if (M.getModuleInlineAsm().empty() && is16) {
984 auto *XTS =
985 static_cast<X86TargetStreamer *>(OutStreamer->getTargetStreamer());
986 XTS->emitCode16();
987 }
988}
989
990static void
993 // L_foo$stub:
994 OutStreamer.emitLabel(StubLabel);
995 // .indirect_symbol _foo
997
998 if (MCSym.getInt())
999 // External to current translation unit.
1000 OutStreamer.emitIntValue(0, 4/*size*/);
1001 else
1002 // Internal to current translation unit.
1003 //
1004 // When we place the LSDA into the TEXT section, the type info
1005 // pointers need to be indirect and pc-rel. We accomplish this by
1006 // using NLPs; however, sometimes the types are local to the file.
1007 // We need to fill in the value for the NLP in those cases.
1008 OutStreamer.emitValue(
1009 MCSymbolRefExpr::create(MCSym.getPointer(), OutStreamer.getContext()),
1010 4 /*size*/);
1011}
1012
1013static void emitNonLazyStubs(MachineModuleInfo *MMI, MCStreamer &OutStreamer) {
1014
1015 MachineModuleInfoMachO &MMIMacho =
1017
1018 // Output stubs for dynamically-linked functions.
1020
1021 // Output stubs for external and common global variables.
1022 Stubs = MMIMacho.GetGVStubList();
1023 if (!Stubs.empty()) {
1024 OutStreamer.switchSection(MMI->getContext().getMachOSection(
1025 "__IMPORT", "__pointers", MachO::S_NON_LAZY_SYMBOL_POINTERS,
1027
1028 for (auto &Stub : Stubs)
1029 emitNonLazySymbolPointer(OutStreamer, Stub.first, Stub.second);
1030
1031 Stubs.clear();
1032 OutStreamer.addBlankLine();
1033 }
1034}
1035
1036/// True if this module is being built for windows/msvc, and uses floating
1037/// point. This is used to emit an undefined reference to _fltused. This is
1038/// needed in Windows kernel or driver contexts to find and prevent code from
1039/// modifying non-GPR registers.
1040///
1041/// TODO: It would be better if this was computed from MIR by looking for
1042/// selected floating-point instructions.
1043static bool usesMSVCFloatingPoint(const Triple &TT, const Module &M) {
1044 // Only needed for MSVC
1045 if (!TT.isWindowsMSVCEnvironment())
1046 return false;
1047
1048 for (const Function &F : M) {
1049 for (const Instruction &I : instructions(F)) {
1050 if (I.getType()->isFloatingPointTy())
1051 return true;
1052
1053 for (const auto &Op : I.operands()) {
1054 if (Op->getType()->isFloatingPointTy())
1055 return true;
1056 }
1057 }
1058 }
1059
1060 return false;
1061}
1062
1064 const Triple &TT = TM.getTargetTriple();
1065
1066 if (TT.isOSBinFormatMachO()) {
1067 // Mach-O uses non-lazy symbol stubs to encode per-TU information into
1068 // global table for symbol lookup.
1070
1071 // Emit fault map information.
1072 FM.serializeToFaultMapSection();
1073
1074 // This flag tells the linker that no global symbols contain code that fall
1075 // through to other global symbols (e.g. an implementation of multiple entry
1076 // points). If this doesn't occur, the linker can safely perform dead code
1077 // stripping. Since LLVM never generates code that does this, it is always
1078 // safe to set.
1079 OutStreamer->emitSubsectionsViaSymbols();
1080 } else if (TT.isOSBinFormatCOFF()) {
1081 // If import call optimization is enabled, emit the appropriate section.
1082 // We do this whether or not we recorded any items.
1083 if (EnableImportCallOptimization) {
1084 OutStreamer->switchSection(getObjFileLowering().getImportCallSection());
1085
1086 // Section always starts with some magic.
1087 constexpr char ImpCallMagic[12] = "RetpolineV1";
1088 OutStreamer->emitBytes(StringRef{ImpCallMagic, sizeof(ImpCallMagic)});
1089
1090 // Layout of this section is:
1091 // Per section that contains an item to record:
1092 // uint32_t SectionSize: Size in bytes for information in this section.
1093 // uint32_t Section Number
1094 // Per call to imported function in section:
1095 // uint32_t Kind: the kind of item.
1096 // uint32_t InstOffset: the offset of the instr in its parent section.
1097 for (auto &[Section, CallsToImportedFuncs] :
1098 SectionToImportedFunctionCalls) {
1099 unsigned SectionSize =
1100 sizeof(uint32_t) * (2 + 2 * CallsToImportedFuncs.size());
1101 OutStreamer->emitInt32(SectionSize);
1102 OutStreamer->emitCOFFSecNumber(Section->getBeginSymbol());
1103 for (auto &[CallsiteSymbol, Kind] : CallsToImportedFuncs) {
1104 OutStreamer->emitInt32(Kind);
1105 OutStreamer->emitCOFFSecOffset(CallsiteSymbol);
1106 }
1107 }
1108 }
1109
1110 if (usesMSVCFloatingPoint(TT, M)) {
1111 // In Windows' libcmt.lib, there is a file which is linked in only if the
1112 // symbol _fltused is referenced. Linking this in causes some
1113 // side-effects:
1114 //
1115 // 1. For x86-32, it will set the x87 rounding mode to 53-bit instead of
1116 // 64-bit mantissas at program start.
1117 //
1118 // 2. It links in support routines for floating-point in scanf and printf.
1119 //
1120 // MSVC emits an undefined reference to _fltused when there are any
1121 // floating point operations in the program (including calls). A program
1122 // that only has: `scanf("%f", &global_float);` may fail to trigger this,
1123 // but oh well...that's a documented issue.
1124 StringRef SymbolName =
1125 (TT.getArch() == Triple::x86) ? "__fltused" : "_fltused";
1126 MCSymbol *S = MMI->getContext().getOrCreateSymbol(SymbolName);
1127 OutStreamer->emitSymbolAttribute(S, MCSA_Global);
1128 return;
1129 }
1130 } else if (TT.isOSBinFormatELF()) {
1131 FM.serializeToFaultMapSection();
1132 }
1133
1134 // Emit __morestack address if needed for indirect calls.
1135 if (TT.isX86_64() && TM.getCodeModel() == CodeModel::Large) {
1136 if (MCSymbol *AddrSymbol = OutContext.lookupSymbol("__morestack_addr")) {
1137 Align Alignment(1);
1140 /*C=*/nullptr, Alignment, /*F=*/nullptr);
1141 OutStreamer->switchSection(ReadOnlySection);
1142 OutStreamer->emitLabel(AddrSymbol);
1143
1144 unsigned PtrSize = MAI.getCodePointerSize();
1145 OutStreamer->emitSymbolValue(GetExternalSymbolSymbol("__morestack"),
1146 PtrSize);
1147 }
1148 }
1149}
1150
1151char X86AsmPrinter::ID = 0;
1152
1153INITIALIZE_PASS(X86AsmPrinter, "x86-asm-printer", "X86 Assembly Printer", false,
1154 false)
1155
1156//===----------------------------------------------------------------------===//
1157// Target Registry Stuff
1158//===----------------------------------------------------------------------===//
1159
1160// Force static initialization.
1161extern "C" LLVM_C_ABI void LLVMInitializeX86AsmPrinter() {
1164}
1165
1168 // Force the computation of SDPI so that it is available for the
1169 // actual pass, where it cannot be explicitly requested.
1170 MAM.getResult<StaticDataProfileInfoAnalysis>(M);
1171 X86AsmPrinter &AsmPrinter = static_cast<X86AsmPrinter &>(
1172 MAM.getResult<AsmPrinterAnalysis>(M).getPrinter());
1173 AsmPrinter.GetPSI = [&MAM](Module &M) {
1174 return &MAM.getResult<ProfileSummaryAnalysis>(M);
1175 };
1176 AsmPrinter.GetSDPI = [&MAM](Module &M) {
1177 return &MAM.getResult<StaticDataProfileInfoAnalysis>(M)
1178 .getStaticDataProfileInfo();
1179 };
1182 return PreservedAnalyses::all();
1183}
1184
1187 X86AsmPrinter &AsmPrinter = static_cast<X86AsmPrinter &>(
1189 .getCachedResult<AsmPrinterAnalysis>(*MF.getFunction().getParent())
1190 ->getPrinter());
1191 AsmPrinter.GetPSI = [&MFAM, &MF](Module &M) {
1193 .getCachedResult<ProfileSummaryAnalysis>(M);
1194 };
1195 AsmPrinter.GetSDPI = [&MFAM, &MF](Module &M) {
1197 .getCachedResult<StaticDataProfileInfoAnalysis>(
1198 *MF.getFunction().getParent())
1199 ->getStaticDataProfileInfo();
1200 };
1203 return PreservedAnalyses::all();
1204}
1205
1208 X86AsmPrinter &AsmPrinter = static_cast<X86AsmPrinter &>(
1209 MAM.getCachedResult<AsmPrinterAnalysis>(M)->getPrinter());
1210 AsmPrinter.GetPSI = [&MAM](Module &M) {
1211 return &MAM.getResult<ProfileSummaryAnalysis>(M);
1212 };
1213 AsmPrinter.GetSDPI = [&MAM](Module &M) {
1214 return &MAM.getResult<StaticDataProfileInfoAnalysis>(M)
1215 .getStaticDataProfileInfo();
1216 };
1219 return PreservedAnalyses::all();
1220}
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
static MCDisassembler::DecodeStatus addOperand(MCInst &Inst, const MCOperand &Opnd)
static void emitNonLazySymbolPointer(MCStreamer &OutStreamer, MCSymbol *StubLabel, MachineModuleInfoImpl::StubValueTy &MCSym)
MachineBasicBlock & MBB
Expand Atomic instructions
static const Function * getParent(const Value *V)
#define X(NUM, ENUM, NAME)
Definition ELF.h:856
IRTranslator LLVM IR MI
Module.h This file contains the declarations for the Module class.
#define F(x, y, z)
Definition MD5.cpp:54
#define I(x, y, z)
Definition MD5.cpp:57
This file declares the MachineConstantPool class which is an abstract constant pool to keep track of ...
Register Reg
Promote Memory to Register
Definition Mem2Reg.cpp:110
#define P(N)
ModuleAnalysisManager MAM
#define INITIALIZE_PASS(passName, arg, name, cfg, analysis)
Definition PassSupport.h:56
static cl::opt< RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode > Mode("regalloc-enable-advisor", cl::Hidden, cl::init(RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode::Default), cl::desc("Enable regalloc advisor mode"), cl::values(clEnumValN(RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode::Default, "default", "Default"), clEnumValN(RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode::Release, "release", "precompiled"), clEnumValN(RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode::Development, "development", "for training")))
static bool contains(SmallPtrSetImpl< ConstantExpr * > &Cache, ConstantExpr *Expr, Constant *C)
Definition Value.cpp:484
static TableGen::Emitter::Opt Y("gen-skeleton-entry", EmitSkeleton, "Generate example skeleton entry")
#define LLVM_C_ABI
LLVM_C_ABI is the export/visibility macro used to mark symbols declared in llvm-c as exported when bu...
Definition Visibility.h:40
static bool printAsmMRegister(const X86AsmPrinter &P, const MachineOperand &MO, char Mode, raw_ostream &O)
static bool isSimpleReturn(const MachineInstr &MI)
static bool usesMSVCFloatingPoint(const Triple &TT, const Module &M)
True if this module is being built for windows/msvc, and uses floating point.
static bool isIndirectBranchOrTailCall(const MachineInstr &MI)
static bool printAsmVRegister(const MachineOperand &MO, char Mode, raw_ostream &O)
static void emitNonLazyStubs(MachineModuleInfo *MMI, MCStreamer &OutStreamer)
PassT::Result & getResult(IRUnitT &IR, ExtraArgTs... ExtraArgs)
Get the result of an analysis pass for a given IR unit.
This class is intended to be used as a driving class for all asm writers.
Definition AsmPrinter.h:91
const TargetLoweringObjectFile & getObjFileLowering() const
Return information about object file lowering.
MCSymbol * getSymbolWithGlobalValueBase(const GlobalValue *GV, StringRef Suffix) const
Return the MCSymbol for a private symbol with global value name as its base, with the specified suffi...
MCSymbol * getSymbol(const GlobalValue *GV) const
void emitNops(unsigned N)
Emit N NOP instructions.
void EmitToStreamer(MCStreamer &S, const MCInst &Inst)
TargetMachine & TM
Target machine description.
Definition AsmPrinter.h:94
void emitXRayTable()
Emit a table with all XRay instrumentation points.
virtual void emitBasicBlockEnd(const MachineBasicBlock &MBB)
Targets can override this to emit stuff at the end of a basic block.
Align emitAlignment(Align Alignment, const GlobalObject *GV=nullptr, unsigned MaxBytesToEmit=0) const
Emit an alignment directive to the specified power of two boundary.
virtual MCSymbol * GetCPISymbol(unsigned CPID) const
Return the symbol for the specified constant pool entry.
MachineFunction * MF
The current machine function.
Definition AsmPrinter.h:109
virtual const MCExpr * lowerConstant(const Constant *CV, const Constant *BaseCV=nullptr, uint64_t Offset=0)
Lower the specified LLVM Constant to an MCExpr.
virtual void SetupMachineFunction(MachineFunction &MF)
This should be called when a new MachineFunction is being processed from runOnMachineFunction.
void emitFunctionBody()
This method emits the body and trailer for a function.
bool doInitialization(Module &M) override
Set up the AsmPrinter when we are working on a new module.
virtual void emitLinkage(const GlobalValue *GV, MCSymbol *GVSym) const
This emits linkage information about GVSym based on GV, if this is supported by the target.
AsmPrinter(TargetMachine &TM, std::unique_ptr< MCStreamer > Streamer, char &ID=AsmPrinter::ID)
void printOffset(int64_t Offset, raw_ostream &OS) const
This is just convenient handler for printing offsets.
MCSymbol * getSymbolPreferLocal(const GlobalValue &GV) const
Similar to getSymbol() but preferred for references.
MCSymbol * CurrentFnSym
The symbol for the current function.
Definition AsmPrinter.h:128
MachineModuleInfo * MMI
This is a pointer to the current MachineModuleInfo.
Definition AsmPrinter.h:112
MCContext & OutContext
This is the context for the output file that we are streaming.
Definition AsmPrinter.h:101
const StaticDataProfileInfo * SDPI
Provides the profile information for constants.
Definition AsmPrinter.h:147
bool doFinalization(Module &M) override
Shut down the asmprinter.
virtual const MCSubtargetInfo * getIFuncMCSubtargetInfo() const
getSubtargetInfo() cannot be used where this is needed because we don't have a MachineFunction when w...
Definition AsmPrinter.h:685
bool runOnMachineFunction(MachineFunction &MF) override
Emit the specified function out to the OutStreamer.
Definition AsmPrinter.h:453
std::unique_ptr< MCStreamer > OutStreamer
This is the MCStreamer object for the file we are generating.
Definition AsmPrinter.h:106
const ProfileSummaryInfo * PSI
The profile summary information.
Definition AsmPrinter.h:150
const MCAsmInfo & MAI
Target Asm Printer information.
Definition AsmPrinter.h:97
MCSymbol * GetBlockAddressSymbol(const BlockAddress *BA) const
Return the MCSymbol used to satisfy BlockAddress uses of the specified basic block.
const DataLayout & getDataLayout() const
Return information about data layout.
void emitCOFFFeatureSymbol(Module &M)
Emits the @feat.00 symbol indicating the features enabled in this module.
MCSymbol * GetExternalSymbolSymbol(const Twine &Sym) const
Return the MCSymbol for the specified ExternalSymbol.
const MCSubtargetInfo & getSubtargetInfo() const
Return information about subtarget.
void emitCOFFReplaceableFunctionData(Module &M)
Emits symbols and data to allow functions marked with the loader-replaceable attribute to be replacea...
virtual bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNo, const char *ExtraCode, raw_ostream &OS)
Print the specified operand of MI, an INLINEASM instruction, using the specified assembler variant.
This is the shared class of boolean and integer constants.
Definition Constants.h:87
const Constant * getResolver() const
Definition GlobalIFunc.h:73
Module * getParent()
Get the module that this global value is contained inside of...
bool hasInternalLinkage() const
static const MCBinaryExpr * createSub(const MCExpr *LHS, const MCExpr *RHS, MCContext &Ctx)
Definition MCExpr.h:427
LLVM_ABI MCSectionMachO * getMachOSection(StringRef Segment, StringRef Section, unsigned TypeAndAttributes, unsigned Reserved2, SectionKind K, const char *BeginSymName=nullptr)
Return the MCSection for the specified mach-o section.
LLVM_ABI MCSymbol * getOrCreateSymbol(const Twine &Name)
Lookup the symbol inside with the specified Name.
Base class for the full range of assembler expressions which are needed for parsing.
Definition MCExpr.h:34
Instances of this class represent a single low-level machine instruction.
Definition MCInst.h:188
void setOpcode(unsigned Op)
Definition MCInst.h:201
static MCOperand createExpr(const MCExpr *Val)
Definition MCInst.h:166
Instances of this class represent a uniqued identifier for a section in the current translation unit.
Definition MCSection.h:580
Streaming machine code generation interface.
Definition MCStreamer.h:222
virtual void addBlankLine()
Emit a blank line to a .s file to pretty it up.
Definition MCStreamer.h:425
virtual bool emitSymbolAttribute(MCSymbol *Symbol, MCSymbolAttr Attribute)=0
Add the given Attribute to Symbol.
MCContext & getContext() const
Definition MCStreamer.h:326
void emitValue(const MCExpr *Value, unsigned Size, SMLoc Loc=SMLoc())
virtual void emitLabel(MCSymbol *Symbol, SMLoc Loc=SMLoc())
Emit a label for Symbol into the current section.
virtual void emitIntValue(uint64_t Value, unsigned Size)
Special case of EmitValue that avoids the client having to pass in a MCExpr for constant integers.
virtual void switchSection(MCSection *Section, uint32_t Subsec=0)
Set the current section where code is being emitted to Section.
Generic base class for all target subtargets.
static const MCSymbolRefExpr * create(const MCSymbol *Symbol, MCContext &Ctx, SMLoc Loc=SMLoc())
Definition MCExpr.h:213
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
Definition MCSymbol.h:42
LLVM_ABI void print(raw_ostream &OS, const MCAsmInfo *MAI) const
print - Print the value to the stream OS.
Definition MCSymbol.cpp:59
StringRef getName() const
getName - Get the symbol name.
Definition MCSymbol.h:188
Metadata node.
Definition Metadata.h:1069
Function & getFunction()
Return the LLVM function that this machine code represents.
Representation of each machine instruction.
LLVM_ABI InlineAsm::AsmDialect getInlineAsmDialect() const
std::vector< std::pair< MCSymbol *, StubValueTy > > SymbolListTy
PointerIntPair< MCSymbol *, 1, bool > StubValueTy
MachineModuleInfoMachO - This is a MachineModuleInfoImpl implementation for MachO targets.
SymbolListTy GetGVStubList()
Accessor methods to return the set of stubs in sorted order.
This class contains meta information specific to a module.
const MCContext & getContext() const
Ty & getObjFileInfo()
Keep track of various per-module pieces of information for backends that would like to do so.
MachineOperand class - Representation of each machine instruction operand.
const GlobalValue * getGlobal() const
int64_t getImm() const
bool isReg() const
isReg - Tests if this is a MO_Register operand.
bool isImm() const
isImm - Tests if this is a MO_Immediate operand.
bool isSymbol() const
isSymbol - Tests if this is a MO_ExternalSymbol operand.
const BlockAddress * getBlockAddress() const
MachineInstr * getParent()
getParent - Return the instruction that this operand belongs to.
unsigned getTargetFlags() const
bool isGlobal() const
isGlobal - Tests if this is a MO_GlobalAddress operand.
MachineOperandType getType() const
getType - Returns the MachineOperandType for this operand.
Register getReg() const
getReg - Returns the register number.
@ MO_Immediate
Immediate operand.
@ MO_ConstantPoolIndex
Address of indexed Constant in Constant Pool.
@ MO_GlobalAddress
Address of a global value.
@ MO_BlockAddress
Address of a basic block.
@ MO_Register
Register operand.
@ MO_ExternalSymbol
Name of external global symbol.
@ MO_JumpTableIndex
Address of indexed Jump Table for switch.
int64_t getOffset() const
Return the offset from the symbol in this operand.
A Module instance is used to store all the information related to an LLVM module.
Definition Module.h:67
AnalysisType * getAnalysisIfAvailable() const
getAnalysisIfAvailable<AnalysisType>() - Subclasses use this function to get analysis information tha...
IntType getInt() const
PointerTy getPointer() const
A set of analyses that are preserved following a run of a transformation pass.
Definition Analysis.h:112
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
Definition Analysis.h:118
An analysis pass based on the new PM to deliver ProfileSummaryInfo.
Analysis providing profile information.
Wrapper class representing virtual and physical registers.
Definition Register.h:20
static SectionKind getMetadata()
static SectionKind getReadOnly()
A class that holds the constants that represent static data and their profile information and provide...
Represent a constant reference to a string, i.e.
Definition StringRef.h:56
constexpr bool empty() const
Check if the string is empty.
Definition StringRef.h:141
bool consume_front(char Prefix)
Returns true if this StringRef has the given prefix and removes that prefix.
Definition StringRef.h:661
virtual MCSection * getSectionForConstant(const DataLayout &DL, SectionKind Kind, const Constant *C, Align &Alignment, const Function *F) const
Given a constant with the SectionKind, return a section that it should be placed in.
Primary interface to the complete machine description for the target machine.
Triple - Helper class for working with autoconf configuration names.
Definition Triple.h:48
bool isX86_64() const
Tests whether the target is x86 (64-bit).
Definition Triple.h:1203
bool isOSWindows() const
Tests whether the OS is Windows.
Definition Triple.h:775
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
Definition Twine.h:82
The instances of the Type class are immutable: once they are created, they are never changed.
Definition Type.h:46
LLVM Value Representation.
Definition Value.h:75
static const char * getRegisterName(MCRegister Reg)
PreservedAnalyses run(Module &M, ModuleAnalysisManager &MAM)
PreservedAnalyses run(Module &M, ModuleAnalysisManager &MAM)
PreservedAnalyses run(MachineFunction &MF, MachineFunctionAnalysisManager &MFAM)
bool runOnMachineFunction(MachineFunction &MF) override
runOnMachineFunction - Emit the function body.
void emitKCFITypeId(const MachineFunction &MF) override
emitKCFITypeId - Emit the KCFI type information in architecture specific format.
void emitStartOfAsmFile(Module &M) override
This virtual method can be overridden by targets that want to emit something at the start of their fi...
void emitEndOfAsmFile(Module &M) override
This virtual method can be overridden by targets that want to emit something at the end of their file...
std::function< ProfileSummaryInfo *(Module &)> GetPSI
void emitFunctionBodyEnd() override
Targets can override this to emit stuff after the last basic block in the function.
bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNo, const char *ExtraCode, raw_ostream &O) override
Print the specified operand of MI, an INLINEASM instruction, using the specified assembler variant as...
void emitBasicBlockEnd(const MachineBasicBlock &MBB) override
Targets can override this to emit stuff at the end of a basic block.
X86AsmPrinter(TargetMachine &TM, std::unique_ptr< MCStreamer > Streamer)
std::function< const StaticDataProfileInfo *(Module &)> GetSDPI
bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNo, const char *ExtraCode, raw_ostream &O) override
PrintAsmOperand - Print out an operand for an inline asm expression.
void emitFunctionBodyStart() override
Targets can override this to emit stuff before the first basic block in the function.
X86MachineFunctionInfo - This class is derived from MachineFunction and contains private X86 target-s...
X86 target streamer implementing x86-only assembly directives.
virtual bool emitFPOProc(const MCSymbol *ProcSym, unsigned ParamsSize, SMLoc L={})
virtual bool emitFPOEndProc(SMLoc L={})
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition raw_ostream.h:53
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ IMAGE_SYM_CLASS_EXTERNAL
External symbol.
Definition COFF.h:224
@ IMAGE_SYM_CLASS_STATIC
Static.
Definition COFF.h:225
@ IMAGE_SYM_DTYPE_FUNCTION
A function that returns a base type.
Definition COFF.h:276
@ SCT_COMPLEX_TYPE_SHIFT
Type is formed as (base + (derived << SCT_COMPLEX_TYPE_SHIFT))
Definition COFF.h:280
@ NT_GNU_PROPERTY_TYPE_0
Definition ELF.h:1820
@ SHF_ALLOC
Definition ELF.h:1258
@ SHT_NOTE
Definition ELF.h:1162
@ GNU_PROPERTY_X86_FEATURE_1_AND
Definition ELF.h:1855
@ GNU_PROPERTY_X86_FEATURE_1_SHSTK
Definition ELF.h:1902
@ GNU_PROPERTY_X86_FEATURE_1_IBT
Definition ELF.h:1901
@ S_NON_LAZY_SYMBOL_POINTERS
S_NON_LAZY_SYMBOL_POINTERS - Section with non-lazy symbol pointers.
Definition MachO.h:139
@ MO_TLSLD
MO_TLSLD - On a symbol operand this indicates that the immediate is the offset of the GOT entry with ...
@ MO_GOTPCREL_NORELAX
MO_GOTPCREL_NORELAX - Same as MO_GOTPCREL except that R_X86_64_GOTPCREL relocations are guaranteed to...
@ MO_GOTOFF
MO_GOTOFF - On a symbol operand this indicates that the immediate is the offset to the location of th...
@ MO_DARWIN_NONLAZY_PIC_BASE
MO_DARWIN_NONLAZY_PIC_BASE - On a symbol operand "FOO", this indicates that the reference is actually...
@ MO_GOT_ABSOLUTE_ADDRESS
MO_GOT_ABSOLUTE_ADDRESS - On a symbol operand, this represents a relocation of: SYMBOL_LABEL + [.
@ MO_COFFSTUB
MO_COFFSTUB - On a symbol operand "FOO", this indicates that the reference is actually to the "....
@ MO_NTPOFF
MO_NTPOFF - On a symbol operand this indicates that the immediate is the negative thread-pointer offs...
@ MO_DARWIN_NONLAZY
MO_DARWIN_NONLAZY - On a symbol operand "FOO", this indicates that the reference is actually to the "...
@ MO_INDNTPOFF
MO_INDNTPOFF - On a symbol operand this indicates that the immediate is the absolute address of the G...
@ MO_GOTNTPOFF
MO_GOTNTPOFF - On a symbol operand this indicates that the immediate is the offset of the GOT entry w...
@ MO_TPOFF
MO_TPOFF - On a symbol operand this indicates that the immediate is the thread-pointer offset for the...
@ MO_TLVP_PIC_BASE
MO_TLVP_PIC_BASE - On a symbol operand this indicates that the immediate is some TLS offset from the ...
@ MO_GOT
MO_GOT - On a symbol operand this indicates that the immediate is the offset to the GOT entry for the...
@ MO_PLT
MO_PLT - On a symbol operand this indicates that the immediate is offset to the PLT entry of symbol n...
@ MO_TLSGD
MO_TLSGD - On a symbol operand this indicates that the immediate is the offset of the GOT entry with ...
@ MO_NO_FLAG
MO_NO_FLAG - No flag for the operand.
@ MO_TLVP
MO_TLVP - On a symbol operand this indicates that the immediate is some TLS offset.
@ MO_DLLIMPORT
MO_DLLIMPORT - On a symbol operand "FOO", this indicates that the reference is actually to the "__imp...
@ MO_GOTTPOFF
MO_GOTTPOFF - On a symbol operand this indicates that the immediate is the offset of the GOT entry wi...
@ MO_SECREL
MO_SECREL - On a symbol operand this indicates that the immediate is the offset from beginning of sec...
@ MO_DTPOFF
MO_DTPOFF - On a symbol operand this indicates that the immediate is the offset of the GOT entry with...
@ MO_PIC_BASE_OFFSET
MO_PIC_BASE_OFFSET - On a symbol operand this indicates that the immediate should get the value of th...
@ MO_TLSLDM
MO_TLSLDM - On a symbol operand this indicates that the immediate is the offset of the GOT entry with...
@ MO_GOTPCREL
MO_GOTPCREL - On a symbol operand this indicates that the immediate is offset to the GOT entry for th...
std::enable_if_t< detail::IsValidPointer< X, Y >::value, X * > extract(Y &&MD)
Extract a Value from Metadata.
Definition Metadata.h:668
BaseReg
Stack frame base register. Bit 0 of FREInfo.Info.
Definition SFrame.h:77
This is an optimization pass for GlobalISel generic memory operations.
OuterAnalysisManagerProxy< ModuleAnalysisManager, MachineFunction > ModuleAnalysisManagerMachineFunctionProxy
Provide the ModuleAnalysisManager to Function proxy.
static bool isMem(const MachineInstr &MI, unsigned Op)
MCRegister getX86SubSuperRegister(MCRegister Reg, unsigned Size, bool High=false)
Target & getTheX86_32Target()
AnalysisManager< MachineFunction > MachineFunctionAnalysisManager
RelativeUniformCounterPtr ValuesPtrExpr VTableAddr Value
Definition InstrProf.h:143
LLVM_ABI void setupModuleAsmPrinter(Module &M, ModuleAnalysisManager &MAM, AsmPrinter &AsmPrinter)
uint64_t offsetToAlignment(uint64_t Value, Align Alignment)
Returns the offset to the next integer (mod 2**64) that is greater than or equal to Value and is a mu...
Definition Alignment.h:186
DWARFExpression::Operation Op
OutputIt move(R &&Range, OutputIt Out)
Provide wrappers to std::move which take ranges instead of having to pass begin/end explicitly.
Definition STLExtras.h:1917
LLVM_ABI void setupMachineFunctionAsmPrinter(MachineFunctionAnalysisManager &MFAM, MachineFunction &MF, AsmPrinter &AsmPrinter)
Target & getTheX86_64Target()
@ MCSA_IndirectSymbol
.indirect_symbol (MachO)
@ MCSA_Global
.type _foo, @gnu_unique_object
@ MCSA_ELF_TypeFunction
.type _foo, STT_FUNC # aka @function
AnalysisManager< Module > ModuleAnalysisManager
Convenience typedef for the Module analysis manager.
Definition MIRParser.h:39
Implement std::hash so that hash_code can be used in STL containers.
Definition BitVector.h:878
#define N
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition Alignment.h:39
RegisterAsmPrinter - Helper template for registering a target specific assembly printer,...