LLVM 24.0.0git
AsmPrinter.cpp
Go to the documentation of this file.
1//===- AsmPrinter.cpp - Common AsmPrinter code ----------------------------===//
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 implements the AsmPrinter class.
10//
11//===----------------------------------------------------------------------===//
12
14#include "CodeViewDebug.h"
15#include "DwarfDebug.h"
16#include "DwarfException.h"
17#include "PseudoProbePrinter.h"
18#include "WasmException.h"
19#include "WinCFGuard.h"
20#include "WinException.h"
21#include "llvm/ADT/APFloat.h"
22#include "llvm/ADT/APInt.h"
23#include "llvm/ADT/DenseMap.h"
24#include "llvm/ADT/STLExtras.h"
28#include "llvm/ADT/Statistic.h"
30#include "llvm/ADT/StringRef.h"
32#include "llvm/ADT/Twine.h"
68#include "llvm/Config/config.h"
69#include "llvm/IR/BasicBlock.h"
70#include "llvm/IR/Comdat.h"
71#include "llvm/IR/Constant.h"
72#include "llvm/IR/Constants.h"
73#include "llvm/IR/DataLayout.h"
77#include "llvm/IR/Function.h"
78#include "llvm/IR/GCStrategy.h"
79#include "llvm/IR/GlobalAlias.h"
80#include "llvm/IR/GlobalIFunc.h"
82#include "llvm/IR/GlobalValue.h"
84#include "llvm/IR/Instruction.h"
87#include "llvm/IR/Mangler.h"
88#include "llvm/IR/Metadata.h"
89#include "llvm/IR/Module.h"
90#include "llvm/IR/Operator.h"
91#include "llvm/IR/PseudoProbe.h"
92#include "llvm/IR/Type.h"
93#include "llvm/IR/Value.h"
94#include "llvm/IR/ValueHandle.h"
95#include "llvm/MC/MCAsmInfo.h"
96#include "llvm/MC/MCContext.h"
98#include "llvm/MC/MCExpr.h"
99#include "llvm/MC/MCInst.h"
100#include "llvm/MC/MCSchedule.h"
101#include "llvm/MC/MCSection.h"
103#include "llvm/MC/MCSectionELF.h"
106#include "llvm/MC/MCStreamer.h"
108#include "llvm/MC/MCSymbol.h"
109#include "llvm/MC/MCSymbolELF.h"
111#include "llvm/MC/MCValue.h"
112#include "llvm/MC/SectionKind.h"
114#include "llvm/Object/ELFTypes.h"
115#include "llvm/Pass.h"
117#include "llvm/Support/Casting.h"
122#include "llvm/Support/Format.h"
124#include "llvm/Support/Path.h"
125#include "llvm/Support/VCSRevision.h"
131#include <algorithm>
132#include <cassert>
133#include <cinttypes>
134#include <cstdint>
135#include <iterator>
136#include <memory>
137#include <optional>
138#include <string>
139#include <utility>
140#include <vector>
141
142using namespace llvm;
143
144#define DEBUG_TYPE "asm-printer"
145
155 "pgo-analysis-map", cl::Hidden, cl::CommaSeparated,
157 clEnumValN(PGOMapFeaturesEnum::None, "none", "Disable all options"),
159 "Function Entry Count"),
161 "Basic Block Frequency"),
162 clEnumValN(PGOMapFeaturesEnum::BrProb, "br-prob", "Branch Probability"),
163 clEnumValN(PGOMapFeaturesEnum::All, "all", "Enable all options")),
164 cl::desc(
165 "Enable extended information within the SHT_LLVM_BB_ADDR_MAP that is "
166 "extracted from PGO related analysis."));
167
169 "pgo-analysis-map-emit-bb-sections-cfg",
170 cl::desc("Enable the post-link cfg information from the basic block "
171 "sections profile in the PGO analysis map"),
172 cl::Hidden, cl::init(false));
173
175 "basic-block-address-map-skip-bb-entries",
176 cl::desc("Skip emitting basic block entries in the SHT_LLVM_BB_ADDR_MAP "
177 "section. It's used to save binary size when BB entries are "
178 "unnecessary for some PGOAnalysisMap features."),
179 cl::Hidden, cl::init(false));
180
182 "emit-jump-table-sizes-section",
183 cl::desc("Emit a section containing jump table addresses and sizes"),
184 cl::Hidden, cl::init(false));
185
186// This isn't turned on by default, since several of the scheduling models are
187// not completely accurate, and we don't want to be misleading.
189 "asm-print-latency",
190 cl::desc("Print instruction latencies as verbose asm comments"), cl::Hidden,
191 cl::init(false));
192
194 StackUsageFile("stack-usage-file",
195 cl::desc("Output filename for stack usage information"),
196 cl::value_desc("filename"), cl::Hidden);
197
198STATISTIC(EmittedInsts, "Number of machine instrs printed");
199
200char AsmPrinter::ID = 0;
201
202namespace {
203class AddrLabelMapCallbackPtr final : CallbackVH {
204 AddrLabelMap *Map = nullptr;
205
206public:
207 AddrLabelMapCallbackPtr() = default;
208 AddrLabelMapCallbackPtr(Value *V) : CallbackVH(V) {}
209
210 void setPtr(BasicBlock *BB) {
212 }
213
214 void setMap(AddrLabelMap *map) { Map = map; }
215
216 void deleted() override;
217 void allUsesReplacedWith(Value *V2) override;
218};
219} // namespace
220
222 MCContext &Context;
223 struct AddrLabelSymEntry {
224 /// The symbols for the label.
226
227 Function *Fn; // The containing function of the BasicBlock.
228 unsigned Index; // The index in BBCallbacks for the BasicBlock.
229 };
230
231 DenseMap<AssertingVH<BasicBlock>, AddrLabelSymEntry> AddrLabelSymbols;
232
233 /// Callbacks for the BasicBlock's that we have entries for. We use this so
234 /// we get notified if a block is deleted or RAUWd.
235 std::vector<AddrLabelMapCallbackPtr> BBCallbacks;
236
237 /// This is a per-function list of symbols whose corresponding BasicBlock got
238 /// deleted. These symbols need to be emitted at some point in the file, so
239 /// AsmPrinter emits them after the function body.
240 DenseMap<AssertingVH<Function>, std::vector<MCSymbol *>>
241 DeletedAddrLabelsNeedingEmission;
242
243public:
244 AddrLabelMap(MCContext &context) : Context(context) {}
245
247 assert(DeletedAddrLabelsNeedingEmission.empty() &&
248 "Some labels for deleted blocks never got emitted");
249 }
250
252
254 std::vector<MCSymbol *> &Result);
255
258};
259
261 assert(BB->hasAddressTaken() &&
262 "Shouldn't get label for block without address taken");
263 AddrLabelSymEntry &Entry = AddrLabelSymbols[BB];
264
265 // If we already had an entry for this block, just return it.
266 if (!Entry.Symbols.empty()) {
267 assert(BB->getParent() == Entry.Fn && "Parent changed");
268 return Entry.Symbols;
269 }
270
271 // Otherwise, this is a new entry, create a new symbol for it and add an
272 // entry to BBCallbacks so we can be notified if the BB is deleted or RAUWd.
273 BBCallbacks.emplace_back(BB);
274 BBCallbacks.back().setMap(this);
275 Entry.Index = BBCallbacks.size() - 1;
276 Entry.Fn = BB->getParent();
277 MCSymbol *Sym = BB->hasAddressTaken() ? Context.createNamedTempSymbol()
278 : Context.createTempSymbol();
279 Entry.Symbols.push_back(Sym);
280 return Entry.Symbols;
281}
282
283/// If we have any deleted symbols for F, return them.
285 Function *F, std::vector<MCSymbol *> &Result) {
286 DenseMap<AssertingVH<Function>, std::vector<MCSymbol *>>::iterator I =
287 DeletedAddrLabelsNeedingEmission.find(F);
288
289 // If there are no entries for the function, just return.
290 if (I == DeletedAddrLabelsNeedingEmission.end())
291 return;
292
293 // Otherwise, take the list.
294 std::swap(Result, I->second);
295 DeletedAddrLabelsNeedingEmission.erase(I);
296}
297
298//===- Address of Block Management ----------------------------------------===//
299
302 // Lazily create AddrLabelSymbols.
303 if (!AddrLabelSymbols)
304 AddrLabelSymbols = std::make_unique<AddrLabelMap>(OutContext);
305 return AddrLabelSymbols->getAddrLabelSymbolToEmit(
306 const_cast<BasicBlock *>(BB));
307}
308
310 const Function *F, std::vector<MCSymbol *> &Result) {
311 // If no blocks have had their addresses taken, we're done.
312 if (!AddrLabelSymbols)
313 return;
314 return AddrLabelSymbols->takeDeletedSymbolsForFunction(
315 const_cast<Function *>(F), Result);
316}
317
319 // If the block got deleted, there is no need for the symbol. If the symbol
320 // was already emitted, we can just forget about it, otherwise we need to
321 // queue it up for later emission when the function is output.
322 AddrLabelSymEntry Entry = std::move(AddrLabelSymbols[BB]);
323 AddrLabelSymbols.erase(BB);
324 assert(!Entry.Symbols.empty() && "Didn't have a symbol, why a callback?");
325 BBCallbacks[Entry.Index] = nullptr; // Clear the callback.
326
327#if !LLVM_MEMORY_SANITIZER_BUILD
328 // BasicBlock is destroyed already, so this access is UB detectable by msan.
329 assert((BB->getParent() == nullptr || BB->getParent() == Entry.Fn) &&
330 "Block/parent mismatch");
331#endif
332
333 for (MCSymbol *Sym : Entry.Symbols) {
334 if (Sym->isDefined())
335 return;
336
337 // If the block is not yet defined, we need to emit it at the end of the
338 // function. Add the symbol to the DeletedAddrLabelsNeedingEmission list
339 // for the containing Function. Since the block is being deleted, its
340 // parent may already be removed, we have to get the function from 'Entry'.
341 DeletedAddrLabelsNeedingEmission[Entry.Fn].push_back(Sym);
342 }
343}
344
346 // Get the entry for the RAUW'd block and remove it from our map.
347 AddrLabelSymEntry OldEntry = std::move(AddrLabelSymbols[Old]);
348 AddrLabelSymbols.erase(Old);
349 assert(!OldEntry.Symbols.empty() && "Didn't have a symbol, why a callback?");
350
351 AddrLabelSymEntry &NewEntry = AddrLabelSymbols[New];
352
353 // If New is not address taken, just move our symbol over to it.
354 if (NewEntry.Symbols.empty()) {
355 BBCallbacks[OldEntry.Index].setPtr(New); // Update the callback.
356 NewEntry = std::move(OldEntry); // Set New's entry.
357 return;
358 }
359
360 BBCallbacks[OldEntry.Index] = nullptr; // Update the callback.
361
362 // Otherwise, we need to add the old symbols to the new block's set.
363 llvm::append_range(NewEntry.Symbols, OldEntry.Symbols);
364}
365
366void AddrLabelMapCallbackPtr::deleted() {
367 Map->UpdateForDeletedBlock(cast<BasicBlock>(getValPtr()));
368}
369
370void AddrLabelMapCallbackPtr::allUsesReplacedWith(Value *V2) {
371 Map->UpdateForRAUWBlock(cast<BasicBlock>(getValPtr()), cast<BasicBlock>(V2));
372}
373
374/// getGVAlignment - Return the alignment to use for the specified global
375/// value. This rounds up to the preferred alignment if possible and legal.
377 Align InAlign) {
378 Align Alignment;
379 if (const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV))
380 Alignment = DL.getPreferredAlign(GVar);
381
382 // If InAlign is specified, round it to it.
383 if (InAlign > Alignment)
384 Alignment = InAlign;
385
386 // If the GV has a specified alignment, take it into account.
387 MaybeAlign GVAlign;
388 if (auto *GVar = dyn_cast<GlobalVariable>(GV))
389 GVAlign = GVar->getAlign();
390 else if (auto *F = dyn_cast<Function>(GV))
391 GVAlign = F->getAlign();
392 if (!GVAlign)
393 return Alignment;
394
395 assert(GVAlign && "GVAlign must be set");
396
397 // If the GVAlign is larger than NumBits, or if we are required to obey
398 // NumBits because the GV has an assigned section, obey it.
399 if (*GVAlign > Alignment || GV->hasSection())
400 Alignment = *GVAlign;
401 return Alignment;
402}
403
404AsmPrinter::AsmPrinter(TargetMachine &tm, std::unique_ptr<MCStreamer> Streamer,
405 char &ID)
406 : MachineFunctionPass(ID), TM(tm), MAI(tm.getMCAsmInfo()),
408 PointerSize(tm.getTargetTriple().getArchPointerBitWidth() / 8),
409 SM(*this) {
410 VerboseAsm = OutStreamer->isVerboseAsm();
411 DwarfUsesRelocationsAcrossSections =
412 MAI.doesDwarfUseRelocationsAcrossSections();
413 GetMMI = [this]() {
415 return MMIWP ? &MMIWP->getMMI() : nullptr;
416 };
417 GetORE = [this](MachineFunction &MF) {
419 };
420 GetMDT = [this](MachineFunction &MF) {
421 auto *MDTWrapper =
423 return MDTWrapper ? &MDTWrapper->getDomTree() : nullptr;
424 };
425 GetMLI = [this](MachineFunction &MF) {
427 return MLIWrapper ? &MLIWrapper->getLI() : nullptr;
428 };
429 BeginGCAssembly = [this](Module &M) {
431 assert(MI && "AsmPrinter didn't require GCModuleInfo?");
432 for (const auto &I : *MI)
433 if (GCMetadataPrinter *MP = getOrCreateGCPrinter(*I))
434 MP->beginAssembly(M, *MI, *this);
435 };
436 FinishGCAssembly = [this](Module &M) {
438 assert(MI && "AsmPrinter didn't require GCModuleInfo?");
439 for (GCModuleInfo::iterator I = MI->end(), E = MI->begin(); I != E;)
440 if (GCMetadataPrinter *MP = getOrCreateGCPrinter(**--I))
441 MP->finishAssembly(M, *MI, *this);
442 };
443 EmitStackMaps = [this](Module &M) {
445 assert(MI && "AsmPrinter didn't require GCModuleInfo?");
446 bool NeedsDefault = false;
447 if (MI->begin() == MI->end())
448 // No GC strategy, use the default format.
449 NeedsDefault = true;
450 else
451 for (const auto &I : *MI) {
452 if (GCMetadataPrinter *MP = getOrCreateGCPrinter(*I))
453 if (MP->emitStackMaps(SM, *this))
454 continue;
455 // The strategy doesn't have printer or doesn't emit custom stack maps.
456 // Use the default format.
457 NeedsDefault = true;
458 }
459
460 if (NeedsDefault)
461 SM.serializeToStackMapSection();
462 };
463 AssertDebugEHFinalized = [&]() {
464 assert(!DD && Handlers.size() == NumUserHandlers &&
465 "Debug/EH info didn't get finalized");
466 };
467}
468
470
472 return TM.isPositionIndependent();
473}
474
475/// getFunctionNumber - Return a unique ID for the current function.
477 return MF->getFunctionNumber();
478}
479
481 return *TM.getObjFileLowering();
482}
483
485 assert(MMI && "MMI could not be nullptr!");
486 return MMI->getModule()->getDataLayout();
487}
488
490 assert(MF && "getSubtargetInfo requires a valid MachineFunction!");
491 return MF->getSubtarget<MCSubtargetInfo>();
492}
493
497
498/// getCurrentSection() - Return the current section we are emitting to.
500 return OutStreamer->getCurrentSectionOnly();
501}
502
503/// createDwarfDebug() - Create the DwarfDebug handler.
505
517
519 MMI = GetMMI();
520 PointerSize = M.getDataLayout().getPointerSize(0);
521 HasSplitStack = false;
522 HasNoSplitStack = false;
523 DbgInfoAvailable = !M.debug_compile_units().empty();
524 const Triple &Target = M.getTargetTriple();
525
526 AddrLabelSymbols = nullptr;
527
528 // Initialize TargetLoweringObjectFile.
529 TM.getObjFileLowering()->Initialize(OutContext, TM);
530
531 TM.getObjFileLowering()->getModuleMetadata(M);
532
533 // On AIX, we delay emitting any section information until
534 // after emitting the .file pseudo-op. This allows additional
535 // information (such as the embedded command line) to be associated
536 // with all sections in the object file rather than a single section.
537 if (!Target.isOSBinFormatXCOFF())
538 OutStreamer->initSections(TM.getMCSubtargetInfo());
539
540 // Emit the version-min deployment target directive if needed.
541 //
542 // FIXME: If we end up with a collection of these sorts of Darwin-specific
543 // or ELF-specific things, it may make sense to have a platform helper class
544 // that will work with the target helper class. For now keep it here, as the
545 // alternative is duplicated code in each of the target asm printers that
546 // use the directive, where it would need the same conditionalization
547 // anyway.
548 if (Target.isOSBinFormatMachO() && Target.isOSDarwin()) {
549 Triple TVT(M.getDarwinTargetVariantTriple());
550 OutStreamer->emitVersionForTarget(
551 Target, M.getSDKVersion(),
552 M.getDarwinTargetVariantTriple().empty() ? nullptr : &TVT,
553 M.getDarwinTargetVariantSDKVersion());
554 }
555
556 // Allow the target to emit any magic that it wants at the start of the file.
558
559 // Very minimal debug info. It is ignored if we emit actual debug info. If we
560 // don't, this at least helps the user find where a global came from.
561 if (MAI.hasSingleParameterDotFile()) {
562 // .file "foo.c"
563 if (MAI.isAIX()) {
564 const char VerStr[] =
565#ifdef PACKAGE_VENDOR
566 PACKAGE_VENDOR " "
567#endif
568 PACKAGE_NAME " version " PACKAGE_VERSION
569#ifdef LLVM_REVISION
570 " (" LLVM_REVISION ")"
571#endif
572 ;
573 // TODO: Add timestamp and description.
574 OutStreamer->emitFileDirective(M.getSourceFileName(), VerStr, "", "");
575 } else {
576 OutStreamer->emitFileDirective(
577 llvm::sys::path::filename(M.getSourceFileName()));
578 }
579 }
580
581 // On AIX, emit bytes for llvm.commandline metadata after .file so that the
582 // C_INFO symbol is preserved if any csect is kept by the linker.
583 if (Target.isOSBinFormatXCOFF()) {
584 emitModuleCommandLines(M);
585 // Now we can generate section information.
586 OutStreamer->switchSection(
587 OutContext.getObjectFileInfo()->getTextSection());
588
589 // To work around an AIX assembler and/or linker bug, generate
590 // a rename for the default text-section symbol name. This call has
591 // no effect when generating object code directly.
592 MCSection *TextSection =
593 OutStreamer->getContext().getObjectFileInfo()->getTextSection();
594 MCSymbolXCOFF *XSym =
595 static_cast<MCSectionXCOFF *>(TextSection)->getQualNameSymbol();
596 if (XSym->hasRename())
597 OutStreamer->emitXCOFFRenameDirective(XSym, XSym->getSymbolTableName());
598 }
599
601
602 // Emit module-level inline asm if it exists.
603 if (M.hasModuleInlineAsm()) {
604 OutStreamer->AddComment("Start of file scope inline assembly");
605 OutStreamer->addBlankLine();
606 for (const Module::GlobalAsmFragment &Frag : M.getModuleInlineAsm()) {
607 const MCSubtargetInfo &AsmSTI = TM.getMCSubtargetInfo(
608 Frag.Props.TargetCPU, Frag.Props.TargetFeatures);
609 bool DidPush = emitTargetFeaturePush(AsmSTI);
610 emitInlineAsm(
611 Frag.Asm, AsmSTI, TM.Options.MCOptions, nullptr,
612 InlineAsm::AsmDialect(TM.getMCAsmInfo().getAssemblerDialect()));
613 emitTargetFeaturePop(AsmSTI, DidPush);
614 }
615 OutStreamer->AddComment("End of file scope inline assembly");
616 OutStreamer->addBlankLine();
617 }
618
619 if (MAI.doesSupportDebugInformation()) {
620 bool EmitCodeView = M.getCodeViewFlag();
621 // On Windows targets, emit minimal CodeView compiler info even when debug
622 // info is disabled.
623 if ((Target.isOSWindows() || (Target.isUEFI() && EmitCodeView)) &&
624 M.getNamedMetadata("llvm.dbg.cu"))
625 Handlers.push_back(std::make_unique<CodeViewDebug>(this));
626 if (!EmitCodeView || M.getDwarfVersion()) {
627 if (hasDebugInfo()) {
628 DD = createDwarfDebug();
629 Handlers.push_back(std::unique_ptr<DwarfDebug>(DD));
630 }
631 }
632 }
633
634 if (M.getNamedMetadata(PseudoProbeDescMetadataName))
635 PP = std::make_unique<PseudoProbeHandler>(this);
636
637 switch (MAI.getExceptionHandlingType()) {
639 // We may want to emit CFI for debug.
640 [[fallthrough]];
644 for (auto &F : M.getFunctionList()) {
646 ModuleCFISection = getFunctionCFISectionType(F);
647 // If any function needsUnwindTableEntry(), it needs .eh_frame and hence
648 // the module needs .eh_frame. If we have found that case, we are done.
649 if (ModuleCFISection == CFISection::EH)
650 break;
651 }
652 assert(MAI.getExceptionHandlingType() == ExceptionHandling::DwarfCFI ||
653 usesCFIWithoutEH() || ModuleCFISection != CFISection::EH);
654 break;
655 default:
656 break;
657 }
658
659 EHStreamer *ES = nullptr;
660 switch (MAI.getExceptionHandlingType()) {
662 llvm_unreachable("should have resolved exception model kind");
665 // Emscripten EH is handled in JS glue code and emits no EH tables here.
666 if (!usesCFIWithoutEH())
667 break;
668 [[fallthrough]];
672 ES = new DwarfCFIException(this);
673 break;
675 ES = new ARMException(this);
676 break;
678 switch (MAI.getWinEHEncodingType()) {
679 default: llvm_unreachable("unsupported unwinding information encoding");
681 break;
684 ES = new WinException(this);
685 break;
686 }
687 break;
689 ES = new WasmException(this);
690 break;
692 ES = new AIXException(this);
693 break;
694 }
695 if (ES)
696 EHHandlers.push_back(std::unique_ptr<EHStreamer>(ES));
697
698 // All CFG modes required the tables emitted.
699 if (M.getControlFlowGuardMode() != ControlFlowGuardMode::Disabled)
700 Handlers.push_back(std::make_unique<WinCFGuard>(this));
701
702 for (auto &Handler : Handlers)
703 Handler->beginModule(&M);
704 for (auto &Handler : EHHandlers)
705 Handler->beginModule(&M);
706
707 return false;
708}
709
710static bool canBeHidden(const GlobalValue *GV, const MCAsmInfo &MAI) {
712 return false;
713
714 return GV->canBeOmittedFromSymbolTable();
715}
716
717void AsmPrinter::emitLinkage(const GlobalValue *GV, MCSymbol *GVSym) const {
719 switch (Linkage) {
725 if (MAI.isMachO()) {
726 // .globl _foo
727 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Global);
728
729 if (!canBeHidden(GV, MAI))
730 // .weak_definition _foo
731 OutStreamer->emitSymbolAttribute(GVSym, MCSA_WeakDefinition);
732 else
733 OutStreamer->emitSymbolAttribute(GVSym, MCSA_WeakDefAutoPrivate);
734 } else if (MAI.avoidWeakIfComdat() && GV->hasComdat()) {
735 // .globl _foo
736 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Global);
737 //NOTE: linkonce is handled by the section the symbol was assigned to.
738 } else {
739 // .weak _foo
740 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Weak);
741 }
742 return;
744 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Global);
745 return;
748 return;
752 llvm_unreachable("Should never emit this");
753 }
754 llvm_unreachable("Unknown linkage type!");
755}
756
758 const GlobalValue *GV) const {
759 TM.getNameWithPrefix(Name, GV, getObjFileLowering().getMangler());
760}
761
763 return TM.getSymbol(GV);
764}
765
767 // On ELF, use .Lfoo$local if GV is a non-interposable GlobalObject with an
768 // exact definion (intersection of GlobalValue::hasExactDefinition() and
769 // !isInterposable()). These linkages include: external, appending, internal,
770 // private. It may be profitable to use a local alias for external. The
771 // assembler would otherwise be conservative and assume a global default
772 // visibility symbol can be interposable, even if the code generator already
773 // assumed it.
774 const Module &M = *GV.getParent();
775 if (M.getTargetTriple().isOSBinFormatELF() && GV.canBenefitFromLocalAlias()) {
776 if (TM.getRelocationModel() != Reloc::Static &&
777 M.getPIELevel() == PIELevel::Default && GV.isDSOLocal())
778 return getSymbolWithGlobalValueBase(&GV, "$local");
779 }
780 return TM.getSymbol(&GV);
781}
782
783/// EmitGlobalVariable - Emit the specified global variable to the .s file.
785 MaybeAlign AlignmentGranule = getRequiredGlobalAlignmentGranule(*GV);
786 emitGlobalVariable(GV, AlignmentGranule);
787 if (AlignmentGranule)
788 OutStreamer->emitValueToAlignment(*AlignmentGranule);
789}
790
792 MaybeAlign AlignmentGranule) {
793 bool IsEmuTLSVar = TM.useEmulatedTLS() && GV->isThreadLocal();
794 assert(!(IsEmuTLSVar && GV->hasCommonLinkage()) &&
795 "No emulated TLS variables in the common section");
796
797 // Never emit TLS variable xyz in emulated TLS model.
798 // The initialization value is in __emutls_t.xyz instead of xyz.
799 if (IsEmuTLSVar)
800 return;
801
802 if (GV->hasInitializer()) {
803 // Check to see if this is a special global used by LLVM, if so, emit it.
804 if (emitSpecialLLVMGlobal(GV))
805 return;
806
807 // Skip the emission of global equivalents. The symbol can be emitted later
808 // on by emitGlobalGOTEquivs in case it turns out to be needed.
809 if (GlobalGOTEquivs.count(getSymbol(GV)))
810 return;
811
812 if (isVerbose()) {
813 // When printing the control variable __emutls_v.*,
814 // we don't need to print the original TLS variable name.
815 GV->printAsOperand(OutStreamer->getCommentOS(),
816 /*PrintType=*/false, GV->getParent());
817 OutStreamer->getCommentOS() << '\n';
818 }
819 }
820
821 MCSymbol *GVSym = getSymbol(GV);
822 MCSymbol *EmittedSym = GVSym;
823
824 // getOrCreateEmuTLSControlSym only creates the symbol with name and default
825 // attributes.
826 // GV's or GVSym's attributes will be used for the EmittedSym.
827 emitVisibility(EmittedSym, GV->getVisibility(), !GV->isDeclaration());
828
829 if (GV->isTagged()) {
830 if (TM.getTargetTriple().getArch() != Triple::aarch64)
831 OutContext.reportError(SMLoc(),
832 "tagged symbols (-fsanitize=memtag-globals) are "
833 "only supported on AArch64");
834 OutStreamer->emitSymbolAttribute(EmittedSym, MCSA_Memtag);
835 }
836
837 if (!GV->hasInitializer()) // External globals require no extra code.
838 return;
839
840 GVSym->redefineIfPossible();
841 if (GVSym->isDefined() || GVSym->isVariable())
842 OutContext.reportError(SMLoc(), "symbol '" + Twine(GVSym->getName()) +
843 "' is already defined");
844
845 if (MAI.hasDotTypeDotSizeDirective())
846 OutStreamer->emitSymbolAttribute(EmittedSym, MCSA_ELF_TypeObject);
847
849
850 const DataLayout &DL = GV->getDataLayout();
851 uint64_t Size = GV->getGlobalSize(DL);
852
853 // If the alignment is specified, we *must* obey it. Overaligning a global
854 // with a specified alignment is a prompt way to break globals emitted to
855 // sections and expected to be contiguous (e.g. ObjC metadata).
856 //
857 // If we get passed in an explicit alignment granule, it is up to the caller
858 // to ensure that is not the case (i.e. that the GV is not in a section).
859 Align Alignment = getGVAlignment(GV, DL);
860
861 if (AlignmentGranule) {
862 assert(!GV->hasSection());
863 Size = alignTo(Size, *AlignmentGranule);
864 if (Alignment < *AlignmentGranule)
865 Alignment = *AlignmentGranule;
866 }
867
868 for (auto &Handler : Handlers)
869 Handler->setSymbolSize(GVSym, Size);
870
871 // Handle common symbols
872 if (GVKind.isCommon()) {
873 if (Size == 0) Size = 1; // .comm Foo, 0 is undefined, avoid it.
874 // .comm _foo, 42, 4
875 OutStreamer->emitCommonSymbol(GVSym, Size, Alignment);
876 return;
877 }
878
879 // Determine to which section this global should be emitted.
880 MCSection *TheSection = getObjFileLowering().SectionForGlobal(GV, GVKind, TM);
881
882 // If we have a bss global going to a section that supports the
883 // zerofill directive, do so here.
884 if (GVKind.isBSS() && MAI.isMachO() && TheSection->isBssSection()) {
885 if (Size == 0)
886 Size = 1; // zerofill of 0 bytes is undefined.
887 emitLinkage(GV, GVSym);
888 // .zerofill __DATA, __bss, _foo, 400, 5
889 OutStreamer->emitZerofill(TheSection, GVSym, Size, Alignment);
890 return;
891 }
892
893 // If this is a BSS local symbol and we are emitting in the BSS
894 // section use .lcomm/.comm directive.
895 if (GVKind.isBSSLocal() &&
896 getObjFileLowering().getBSSSection() == TheSection) {
897 if (Size == 0)
898 Size = 1; // .comm Foo, 0 is undefined, avoid it.
899
900 // Use .lcomm only if it supports user-specified alignment.
901 // Otherwise, while it would still be correct to use .lcomm in some
902 // cases (e.g. when Align == 1), the external assembler might enfore
903 // some -unknown- default alignment behavior, which could cause
904 // spurious differences between external and integrated assembler.
905 // Prefer to simply fall back to .local / .comm in this case.
906 if (MAI.getLCOMMDirectiveAlignmentType() != LCOMM::NoAlignment) {
907 // .lcomm _foo, 42
908 OutStreamer->emitLocalCommonSymbol(GVSym, Size, Alignment);
909 return;
910 }
911
912 // .local _foo
913 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Local);
914 // .comm _foo, 42, 4
915 OutStreamer->emitCommonSymbol(GVSym, Size, Alignment);
916 return;
917 }
918
919 // Handle thread local data for mach-o which requires us to output an
920 // additional structure of data and mangle the original symbol so that we
921 // can reference it later.
922 //
923 // TODO: This should become an "emit thread local global" method on TLOF.
924 // All of this macho specific stuff should be sunk down into TLOFMachO and
925 // stuff like "TLSExtraDataSection" should no longer be part of the parent
926 // TLOF class. This will also make it more obvious that stuff like
927 // MCStreamer::EmitTBSSSymbol is macho specific and only called from macho
928 // specific code.
929 if (GVKind.isThreadLocal() && MAI.isMachO()) {
930 // Emit the .tbss symbol
931 MCSymbol *MangSym =
932 OutContext.getOrCreateSymbol(GVSym->getName() + Twine("$tlv$init"));
933
934 if (GVKind.isThreadBSS()) {
935 TheSection = getObjFileLowering().getTLSBSSSection();
936 OutStreamer->emitTBSSSymbol(TheSection, MangSym, Size, Alignment);
937 } else if (GVKind.isThreadData()) {
938 OutStreamer->switchSection(TheSection);
939
940 emitAlignment(Alignment, GV);
941 OutStreamer->emitLabel(MangSym);
942
944 GV->getInitializer());
945 }
946
947 OutStreamer->addBlankLine();
948
949 // Emit the variable struct for the runtime.
951
952 OutStreamer->switchSection(TLVSect);
953 // Emit the linkage here.
954 emitLinkage(GV, GVSym);
955 OutStreamer->emitLabel(GVSym);
956
957 // Three pointers in size:
958 // - __tlv_bootstrap - used to make sure support exists
959 // - spare pointer, used when mapped by the runtime
960 // - pointer to mangled symbol above with initializer
961 unsigned PtrSize = DL.getPointerTypeSize(GV->getType());
962 OutStreamer->emitSymbolValue(GetExternalSymbolSymbol("_tlv_bootstrap"),
963 PtrSize);
964 OutStreamer->emitIntValue(0, PtrSize);
965 OutStreamer->emitSymbolValue(MangSym, PtrSize);
966
967 OutStreamer->addBlankLine();
968 return;
969 }
970
971 MCSymbol *EmittedInitSym = GVSym;
972
973 OutStreamer->switchSection(TheSection);
974
975 emitLinkage(GV, EmittedInitSym);
976 emitAlignment(Alignment, GV);
977
978 OutStreamer->emitLabel(EmittedInitSym);
979 MCSymbol *LocalAlias = getSymbolPreferLocal(*GV);
980 if (LocalAlias != EmittedInitSym)
981 OutStreamer->emitLabel(LocalAlias);
982
984
985 if (MAI.hasDotTypeDotSizeDirective())
986 // .size foo, 42
987 OutStreamer->emitELFSize(EmittedInitSym,
989
990 OutStreamer->addBlankLine();
991}
992
993/// Emit the directive and value for debug thread local expression
994///
995/// \p Value - The value to emit.
996/// \p Size - The size of the integer (in bytes) to emit.
997void AsmPrinter::emitDebugValue(const MCExpr *Value, unsigned Size) const {
998 OutStreamer->emitValue(Value, Size);
999}
1000
1001void AsmPrinter::emitFunctionHeaderComment() {}
1002
1003void AsmPrinter::emitFunctionPrefix(ArrayRef<const Constant *> Prefix) {
1004 const Function &F = MF->getFunction();
1006 for (auto &C : Prefix)
1007 emitGlobalConstant(F.getDataLayout(), C);
1008 return;
1009 }
1010 // Preserving prefix-like data on platforms which use subsections-via-symbols
1011 // is a bit tricky. Here we introduce a symbol for the prefix-like data
1012 // and use the .alt_entry attribute to mark the function's real entry point
1013 // as an alternative entry point to the symbol that precedes the function..
1014 OutStreamer->emitLabel(OutContext.createLinkerPrivateTempSymbol());
1015
1016 for (auto &C : Prefix) {
1017 emitGlobalConstant(F.getDataLayout(), C);
1018 }
1019
1020 // Emit an .alt_entry directive for the actual function symbol.
1021 OutStreamer->emitSymbolAttribute(CurrentFnSym, MCSA_AltEntry);
1022}
1023
1024/// EmitFunctionHeader - This method emits the header for the current
1025/// function.
1026void AsmPrinter::emitFunctionHeader() {
1027 const Function &F = MF->getFunction();
1028
1029 if (isVerbose())
1030 OutStreamer->getCommentOS()
1031 << "-- Begin function "
1032 << GlobalValue::dropLLVMManglingEscape(F.getName()) << '\n';
1033
1034 // Print out constants referenced by the function
1036
1037 // Print the 'header' of function.
1038 // If basic block sections are desired, explicitly request a unique section
1039 // for this function's entry block.
1040 if (MF->front().isBeginSection())
1041 MF->setSection(getObjFileLowering().getUniqueSectionForFunction(F, TM));
1042 else
1043 MF->setSection(getObjFileLowering().SectionForGlobal(&F, TM));
1044 OutStreamer->switchSection(MF->getSection());
1045
1046 if (MAI.isAIX())
1048 else
1049 emitVisibility(CurrentFnSym, F.getVisibility());
1050
1052 if (MAI.hasFunctionAlignment()) {
1053 Align PrefAlign = MF->getPreferredAlignment();
1054 if (MAI.useIntegratedAssembler() && MAI.hasPreferredAlignment()) {
1055 // Emit .p2align for the effective minimum alignment (which accounts for
1056 // F's own align attribute via getGVAlignment), then emit .prefalign only
1057 // when the preferred alignment is greater. The end symbol must be
1058 // created here, before the function body, so that .prefalign can
1059 // reference it; emitFunctionBody will emit the label at the function
1060 // end.
1061 Align MinAlign = emitAlignment(MF->getAlignment(), &F);
1062 if (MinAlign < PrefAlign) {
1063 CurrentFnEnd = createTempSymbol("func_end");
1064 OutStreamer->emitPrefAlign(PrefAlign, *CurrentFnEnd,
1065 /*EmitNops=*/true, /*Fill=*/0,
1067 }
1068 } else {
1069 emitAlignment(PrefAlign, &F);
1070 }
1071 }
1072
1073 if (MAI.hasDotTypeDotSizeDirective())
1074 OutStreamer->emitSymbolAttribute(CurrentFnSym, MCSA_ELF_TypeFunction);
1075
1076 if (F.hasFnAttribute(Attribute::Cold))
1077 OutStreamer->emitSymbolAttribute(CurrentFnSym, MCSA_Cold);
1078
1079 // Emit the prefix data.
1080 if (F.hasPrefixData())
1081 emitFunctionPrefix({F.getPrefixData()});
1082
1083 // Emit KCFI type information before patchable-function-prefix nops.
1085
1086 // Emit M NOPs for -fpatchable-function-entry=N,M where M>0. We arbitrarily
1087 // place prefix data before NOPs.
1088 unsigned PatchableFunctionPrefix =
1089 F.getFnAttributeAsParsedInteger("patchable-function-prefix");
1090 unsigned PatchableFunctionEntry =
1091 F.getFnAttributeAsParsedInteger("patchable-function-entry");
1092 if (PatchableFunctionPrefix) {
1094 OutContext.createLinkerPrivateTempSymbol();
1096 emitNops(PatchableFunctionPrefix);
1097 } else if (PatchableFunctionEntry) {
1098 // May be reassigned when emitting the body, to reference the label after
1099 // the initial BTI (AArch64) or endbr32/endbr64 (x86).
1101 }
1102
1103 // Emit the function prologue data for the indirect call sanitizer.
1104 if (const MDNode *MD = F.getMetadata(LLVMContext::MD_func_sanitize)) {
1105 assert(MD->getNumOperands() == 2);
1106
1107 auto *PrologueSig = mdconst::extract<Constant>(MD->getOperand(0));
1108 auto *TypeHash = mdconst::extract<Constant>(MD->getOperand(1));
1109 emitFunctionPrefix({PrologueSig, TypeHash});
1110 }
1111
1112 if (isVerbose()) {
1113 F.printAsOperand(OutStreamer->getCommentOS(),
1114 /*PrintType=*/false, F.getParent());
1115 emitFunctionHeaderComment();
1116 OutStreamer->getCommentOS() << '\n';
1117 }
1118
1119 // Emit the function descriptor. This is a virtual function to allow targets
1120 // to emit their specific function descriptor. Right now it is only used by
1121 // the AIX target. The PowerPC 64-bit V1 ELF target also uses function
1122 // descriptors and should be converted to use this hook as well.
1123 if (MAI.isAIX())
1125
1126 // Emit the CurrentFnSym. This is a virtual function to allow targets to do
1127 // their wild and crazy things as required.
1129
1130 // If the function had address-taken blocks that got deleted, then we have
1131 // references to the dangling symbols. Emit them at the start of the function
1132 // so that we don't get references to undefined symbols.
1133 std::vector<MCSymbol*> DeadBlockSyms;
1134 takeDeletedSymbolsForFunction(&F, DeadBlockSyms);
1135 for (MCSymbol *DeadBlockSym : DeadBlockSyms) {
1136 OutStreamer->AddComment("Address taken block that was later removed");
1137 OutStreamer->emitLabel(DeadBlockSym);
1138 }
1139
1140 if (CurrentFnBegin) {
1141 if (MAI.useAssignmentForEHBegin()) {
1142 MCSymbol *CurPos = OutContext.createTempSymbol();
1143 OutStreamer->emitLabel(CurPos);
1144 OutStreamer->emitAssignment(CurrentFnBegin,
1146 } else {
1147 OutStreamer->emitLabel(CurrentFnBegin);
1148 }
1149 }
1150
1151 // Emit pre-function debug and/or EH information.
1152 for (auto &Handler : Handlers) {
1153 Handler->beginFunction(MF);
1154 Handler->beginBasicBlockSection(MF->front());
1155 }
1156 for (auto &Handler : EHHandlers) {
1157 Handler->beginFunction(MF);
1158 Handler->beginBasicBlockSection(MF->front());
1159 }
1160
1161 // Emit the prologue data.
1162 if (F.hasPrologueData())
1163 emitGlobalConstant(F.getDataLayout(), F.getPrologueData());
1164}
1165
1166/// EmitFunctionEntryLabel - Emit the label that is the entrypoint for the
1167/// function. This can be overridden by targets as required to do custom stuff.
1169 CurrentFnSym->redefineIfPossible();
1170 OutStreamer->emitLabel(CurrentFnSym);
1171
1172 if (TM.getTargetTriple().isOSBinFormatELF()) {
1173 MCSymbol *Sym = getSymbolPreferLocal(MF->getFunction());
1174 if (Sym != CurrentFnSym) {
1175 CurrentFnBeginLocal = Sym;
1176 OutStreamer->emitLabel(Sym);
1177 OutStreamer->emitSymbolAttribute(Sym, MCSA_ELF_TypeFunction);
1178 }
1179 }
1180}
1181
1182/// emitComments - Pretty-print comments for instructions.
1183static void emitComments(const MachineInstr &MI, const MCSubtargetInfo *STI,
1184 raw_ostream &CommentOS) {
1185 const MachineFunction *MF = MI.getMF();
1187
1188 // Check for spills and reloads
1189
1190 // We assume a single instruction only has a spill or reload, not
1191 // both.
1192 std::optional<LocationSize> Size;
1193 if ((Size = MI.getRestoreSize(TII))) {
1194 CommentOS << Size->getValue() << "-byte Reload\n";
1195 } else if ((Size = MI.getFoldedRestoreSize(TII))) {
1196 if (!Size->hasValue())
1197 CommentOS << "Unknown-size Folded Reload\n";
1198 else if (Size->getValue())
1199 CommentOS << Size->getValue() << "-byte Folded Reload\n";
1200 } else if ((Size = MI.getSpillSize(TII))) {
1201 CommentOS << Size->getValue() << "-byte Spill\n";
1202 } else if ((Size = MI.getFoldedSpillSize(TII))) {
1203 if (!Size->hasValue())
1204 CommentOS << "Unknown-size Folded Spill\n";
1205 else if (Size->getValue())
1206 CommentOS << Size->getValue() << "-byte Folded Spill\n";
1207 }
1208
1209 // Check for spill-induced copies
1210 if (MI.getAsmPrinterFlag(MachineInstr::ReloadReuse))
1211 CommentOS << " Reload Reuse\n";
1212
1213 if (PrintLatency) {
1215 const MCSchedModel &SCModel = STI->getSchedModel();
1218 *STI, *TII, MI);
1219 // Report only interesting latencies.
1220 if (1 < Latency)
1221 CommentOS << " Latency: " << Latency << "\n";
1222 }
1223}
1224
1225/// emitImplicitDef - This method emits the specified machine instruction
1226/// that is an implicit def.
1228 Register RegNo = MI->getOperand(0).getReg();
1229
1230 SmallString<128> Str;
1231 raw_svector_ostream OS(Str);
1232 OS << "implicit-def: "
1233 << printReg(RegNo, MF->getSubtarget().getRegisterInfo());
1234
1235 OutStreamer->AddComment(OS.str());
1236 OutStreamer->addBlankLine();
1237}
1238
1239static void emitKill(const MachineInstr *MI, AsmPrinter &AP) {
1240 std::string Str;
1241 raw_string_ostream OS(Str);
1242 OS << "kill:";
1243 for (const MachineOperand &Op : MI->operands()) {
1244 assert(Op.isReg() && "KILL instruction must have only register operands");
1245 OS << ' ' << (Op.isDef() ? "def " : "killed ")
1246 << printReg(Op.getReg(), AP.MF->getSubtarget().getRegisterInfo());
1247 }
1248 AP.OutStreamer->AddComment(Str);
1249 AP.OutStreamer->addBlankLine();
1250}
1251
1252static void emitFakeUse(const MachineInstr *MI, AsmPrinter &AP) {
1253 std::string Str;
1254 raw_string_ostream OS(Str);
1255 OS << "fake_use:";
1256 for (const MachineOperand &Op : MI->operands()) {
1257 // In some circumstances we can end up with fake uses of constants; skip
1258 // these.
1259 if (!Op.isReg())
1260 continue;
1261 OS << ' ' << printReg(Op.getReg(), AP.MF->getSubtarget().getRegisterInfo());
1262 }
1263 AP.OutStreamer->AddComment(OS.str());
1264 AP.OutStreamer->addBlankLine();
1265}
1266
1267/// emitDebugValueComment - This method handles the target-independent form
1268/// of DBG_VALUE, returning true if it was able to do so. A false return
1269/// means the target will need to handle MI in EmitInstruction.
1271 // This code handles only the 4-operand target-independent form.
1272 if (MI->isNonListDebugValue() && MI->getNumOperands() != 4)
1273 return false;
1274
1275 SmallString<128> Str;
1276 raw_svector_ostream OS(Str);
1277 OS << "DEBUG_VALUE: ";
1278
1279 const DILocalVariable *V = MI->getDebugVariable();
1280 if (auto *SP = dyn_cast<DISubprogram>(V->getScope())) {
1281 StringRef Name = SP->getName();
1282 if (!Name.empty())
1283 OS << Name << ":";
1284 }
1285 OS << V->getName();
1286 OS << " <- ";
1287
1288 const DIExpression *Expr = MI->getDebugExpression();
1289 // First convert this to a non-variadic expression if possible, to simplify
1290 // the output.
1291 if (auto NonVariadicExpr = DIExpression::convertToNonVariadicExpression(Expr))
1292 Expr = *NonVariadicExpr;
1293 // Then, output the possibly-simplified expression.
1294 if (Expr->getNumElements()) {
1295 OS << '[';
1296 ListSeparator LS;
1297 for (auto &Op : Expr->expr_ops()) {
1298 OS << LS << dwarf::OperationEncodingString(Op.getOp());
1299 for (unsigned I = 0; I < Op.getNumArgs(); ++I)
1300 OS << ' ' << Op.getArg(I);
1301 }
1302 OS << "] ";
1303 }
1304
1305 // Register or immediate value. Register 0 means undef.
1306 for (const MachineOperand &Op : MI->debug_operands()) {
1307 if (&Op != MI->debug_operands().begin())
1308 OS << ", ";
1309 switch (Op.getType()) {
1311 APFloat APF = APFloat(Op.getFPImm()->getValueAPF());
1312 Type *ImmTy = Op.getFPImm()->getType();
1313 if (ImmTy->isBFloatTy() || ImmTy->isHalfTy() || ImmTy->isFloatTy() ||
1314 ImmTy->isDoubleTy()) {
1315 OS << APF.convertToDouble();
1316 } else {
1317 // There is no good way to print long double. Convert a copy to
1318 // double. Ah well, it's only a comment.
1319 bool ignored;
1321 &ignored);
1322 OS << "(long double) " << APF.convertToDouble();
1323 }
1324 break;
1325 }
1327 OS << Op.getImm();
1328 break;
1329 }
1331 Op.getCImm()->getValue().print(OS, false /*isSigned*/);
1332 break;
1333 }
1335 OS << "!target-index(" << Op.getIndex() << "," << Op.getOffset() << ")";
1336 break;
1337 }
1339 Op.getGlobal()->printAsOperand(OS, /*PrintType=*/false);
1340 if (Op.getOffset())
1341 OS << '+' << Op.getOffset();
1342 break;
1343 }
1346 Register Reg;
1347 std::optional<StackOffset> Offset;
1348 if (Op.isReg()) {
1349 Reg = Op.getReg();
1350 } else {
1351 const TargetFrameLowering *TFI =
1353 Offset = TFI->getFrameIndexReference(*AP.MF, Op.getIndex(), Reg);
1354 }
1355 if (!Reg) {
1356 // Suppress offset, it is not meaningful here.
1357 OS << "undef";
1358 break;
1359 }
1360 // The second operand is only an offset if it's an immediate.
1361 if (MI->isIndirectDebugValue())
1362 Offset = StackOffset::getFixed(MI->getDebugOffset().getImm());
1363 if (Offset)
1364 OS << '[';
1365 OS << printReg(Reg, AP.MF->getSubtarget().getRegisterInfo());
1366 if (Offset)
1367 OS << '+' << Offset->getFixed() << ']';
1368 break;
1369 }
1370 default:
1371 llvm_unreachable("Unknown operand type");
1372 }
1373 }
1374
1375 // NOTE: Want this comment at start of line, don't emit with AddComment.
1376 AP.OutStreamer->emitRawComment(Str);
1377 return true;
1378}
1379
1380/// This method handles the target-independent form of DBG_LABEL, returning
1381/// true if it was able to do so. A false return means the target will need
1382/// to handle MI in EmitInstruction.
1384 if (MI->getNumOperands() != 1)
1385 return false;
1386
1387 SmallString<128> Str;
1388 raw_svector_ostream OS(Str);
1389 OS << "DEBUG_LABEL: ";
1390
1391 const DILabel *V = MI->getDebugLabel();
1392 if (auto *SP = dyn_cast<DISubprogram>(
1393 V->getScope()->getNonLexicalBlockFileScope())) {
1394 StringRef Name = SP->getName();
1395 if (!Name.empty())
1396 OS << Name << ":";
1397 }
1398 OS << V->getName();
1399
1400 // NOTE: Want this comment at start of line, don't emit with AddComment.
1401 AP.OutStreamer->emitRawComment(OS.str());
1402 return true;
1403}
1404
1407 // Ignore functions that won't get emitted.
1408 if (F.isDeclarationForLinker())
1409 return CFISection::None;
1410
1411 if (MAI.getExceptionHandlingType() == ExceptionHandling::DwarfCFI &&
1412 F.needsUnwindTableEntry())
1413 return CFISection::EH;
1414
1415 if (MAI.usesCFIWithoutEH() && F.hasUWTable())
1416 return CFISection::EH;
1417
1418 if (hasDebugInfo() || TM.Options.ForceDwarfFrameSection)
1419 return CFISection::Debug;
1420
1421 return CFISection::None;
1422}
1423
1428
1430 return MAI.usesWindowsCFI() && MF->getFunction().needsUnwindTableEntry();
1431}
1432
1434 return MAI.usesCFIWithoutEH() && ModuleCFISection != CFISection::None;
1435}
1436
1438 ExceptionHandling ExceptionHandlingType = MAI.getExceptionHandlingType();
1439 if (!usesCFIWithoutEH() &&
1440 ExceptionHandlingType != ExceptionHandling::DwarfCFI &&
1441 ExceptionHandlingType != ExceptionHandling::ARM)
1442 return;
1443
1445 return;
1446
1447 // If there is no "real" instruction following this CFI instruction, skip
1448 // emitting it; it would be beyond the end of the function's FDE range.
1449 auto *MBB = MI.getParent();
1450 auto I = std::next(MI.getIterator());
1451 while (I != MBB->end() && I->isTransient())
1452 ++I;
1453 if (I == MBB->instr_end() &&
1454 MBB->getReverseIterator() == MBB->getParent()->rbegin())
1455 return;
1456
1457 const std::vector<MCCFIInstruction> &Instrs = MF->getFrameInstructions();
1458 unsigned CFIIndex = MI.getOperand(0).getCFIIndex();
1459 const MCCFIInstruction &CFI = Instrs[CFIIndex];
1460 emitCFIInstruction(CFI);
1461}
1462
1464 // The operands are the MCSymbol and the frame offset of the allocation.
1465 MCSymbol *FrameAllocSym = MI.getOperand(0).getMCSymbol();
1466 int FrameOffset = MI.getOperand(1).getImm();
1467
1468 // Emit a symbol assignment.
1469 OutStreamer->emitAssignment(FrameAllocSym,
1470 MCConstantExpr::create(FrameOffset, OutContext));
1471}
1472
1473/// Returns the BB metadata to be emitted in the SHT_LLVM_BB_ADDR_MAP section
1474/// for a given basic block. This can be used to capture more precise profile
1475/// information.
1477 const TargetInstrInfo *TII = MBB.getParent()->getSubtarget().getInstrInfo();
1479 MBB.isReturnBlock(), !MBB.empty() && TII->isTailCall(MBB.back()),
1480 MBB.isEHPad(), const_cast<MachineBasicBlock &>(MBB).canFallThrough(),
1481 !MBB.empty() && MBB.rbegin()->isIndirectBranch()}
1482 .encode();
1483}
1484
1486getBBAddrMapFeature(const MachineFunction &MF, int NumMBBSectionRanges,
1487 bool HasCalls, const CFGProfile *FuncCFGProfile) {
1488 // Ensure that the user has not passed in additional options while also
1489 // specifying all or none.
1490 auto IsSet = [](PGOMapFeaturesEnum F) {
1492 };
1493 bool NoFeatures = IsSet(PGOMapFeaturesEnum::None);
1495 if ((NoFeatures || AllFeatures) && !all_equal(PgoAnalysisMapFeatures)) {
1497 "-pgo-analysis-map can accept only all or none with no additional "
1498 "values.");
1499 }
1500
1501 bool FuncEntryCountEnabled =
1502 AllFeatures || (!NoFeatures && IsSet(PGOMapFeaturesEnum::FuncEntryCount));
1503 bool BBFreqEnabled =
1504 AllFeatures || (!NoFeatures && IsSet(PGOMapFeaturesEnum::BBFreq));
1505 bool BrProbEnabled =
1506 AllFeatures || (!NoFeatures && IsSet(PGOMapFeaturesEnum::BrProb));
1507 bool PostLinkCfgEnabled = FuncCFGProfile && PgoAnalysisMapEmitBBSectionsCfg;
1508
1509 if ((BBFreqEnabled || BrProbEnabled) && BBAddrMapSkipEmitBBEntries) {
1511 "BB entries info is required for BBFreq and BrProb features");
1512 }
1513 return {FuncEntryCountEnabled, BBFreqEnabled, BrProbEnabled,
1514 MF.hasBBSections() && NumMBBSectionRanges > 1,
1515 // Use static_cast to avoid breakage of tests on windows.
1516 static_cast<bool>(BBAddrMapSkipEmitBBEntries), HasCalls,
1517 shouldEmitBBHash(), PostLinkCfgEnabled};
1518}
1519
1521 MCSection *BBAddrMapSection =
1522 getObjFileLowering().getBBAddrMapSection(*MF.getSection());
1523 assert(BBAddrMapSection && ".llvm_bb_addr_map section is not initialized.");
1524 bool HasCalls = !CurrentFnCallsiteEndSymbols.empty();
1525
1526 const BasicBlockSectionsProfileReader *BBSPR = nullptr;
1527 if (auto *BBSPRPass =
1529 BBSPR = &BBSPRPass->getBBSPR();
1530 const CFGProfile *FuncCFGProfile = nullptr;
1531 if (BBSPR)
1532 FuncCFGProfile = BBSPR->getFunctionCFGProfile(MF.getFunction().getName());
1533
1534 const MCSymbol *FunctionSymbol = getFunctionBegin();
1535
1536 OutStreamer->pushSection();
1537 OutStreamer->switchSection(BBAddrMapSection);
1538 OutStreamer->AddComment("version");
1539 uint8_t BBAddrMapVersion = OutStreamer->getContext().getBBAddrMapVersion();
1540 OutStreamer->emitInt8(BBAddrMapVersion);
1541 OutStreamer->AddComment("feature");
1542 auto Features = getBBAddrMapFeature(MF, MBBSectionRanges.size(), HasCalls,
1543 FuncCFGProfile);
1544 OutStreamer->emitInt16(Features.encode());
1545 // Emit BB Information for each basic block in the function.
1546 if (Features.MultiBBRange) {
1547 OutStreamer->AddComment("number of basic block ranges");
1548 OutStreamer->emitULEB128IntValue(MBBSectionRanges.size());
1549 }
1550 // Number of blocks in each MBB section.
1551 DenseMap<MBBSectionID, unsigned> MBBSectionNumBlocks;
1552 const MCSymbol *PrevMBBEndSymbol = nullptr;
1553 if (!Features.MultiBBRange) {
1554 OutStreamer->AddComment("function address");
1555 OutStreamer->emitSymbolValue(FunctionSymbol, getPointerSize());
1556 OutStreamer->AddComment("number of basic blocks");
1557 OutStreamer->emitULEB128IntValue(MF.size());
1558 PrevMBBEndSymbol = FunctionSymbol;
1559 } else {
1560 unsigned BBCount = 0;
1561 for (const MachineBasicBlock &MBB : MF) {
1562 BBCount++;
1563 if (MBB.isEndSection()) {
1564 // Store each section's basic block count when it ends.
1565 MBBSectionNumBlocks[MBB.getSectionID()] = BBCount;
1566 // Reset the count for the next section.
1567 BBCount = 0;
1568 }
1569 }
1570 }
1571 // Emit the BB entry for each basic block in the function.
1572 for (const MachineBasicBlock &MBB : MF) {
1573 const MCSymbol *MBBSymbol =
1574 MBB.isEntryBlock() ? FunctionSymbol : MBB.getSymbol();
1575 bool IsBeginSection =
1576 Features.MultiBBRange && (MBB.isBeginSection() || MBB.isEntryBlock());
1577 if (IsBeginSection) {
1578 OutStreamer->AddComment("base address");
1579 OutStreamer->emitSymbolValue(MBBSymbol, getPointerSize());
1580 OutStreamer->AddComment("number of basic blocks");
1581 OutStreamer->emitULEB128IntValue(MBBSectionNumBlocks[MBB.getSectionID()]);
1582 PrevMBBEndSymbol = MBBSymbol;
1583 }
1584
1585 auto MBHI =
1586 Features.BBHash ? &getAnalysis<MachineBlockHashInfo>() : nullptr;
1587
1588 if (!Features.OmitBBEntries) {
1589 OutStreamer->AddComment("BB id");
1590 // Emit the BB ID for this basic block.
1591 // We only emit BaseID since CloneID is unset for
1592 // -basic-block-adress-map.
1593 // TODO: Emit the full BBID when labels and sections can be mixed
1594 // together.
1595 OutStreamer->emitULEB128IntValue(MBB.getBBID()->BaseID);
1596 // Emit the basic block offset relative to the end of the previous block.
1597 // This is zero unless the block is padded due to alignment.
1598 emitLabelDifferenceAsULEB128(MBBSymbol, PrevMBBEndSymbol);
1599 const MCSymbol *CurrentLabel = MBBSymbol;
1600 if (HasCalls) {
1601 auto CallsiteEndSymbols = CurrentFnCallsiteEndSymbols.lookup(&MBB);
1602 OutStreamer->AddComment("number of callsites");
1603 OutStreamer->emitULEB128IntValue(CallsiteEndSymbols.size());
1604 for (const MCSymbol *CallsiteEndSymbol : CallsiteEndSymbols) {
1605 // Emit the callsite offset.
1606 emitLabelDifferenceAsULEB128(CallsiteEndSymbol, CurrentLabel);
1607 CurrentLabel = CallsiteEndSymbol;
1608 }
1609 }
1610 // Emit the offset to the end of the block, which can be used to compute
1611 // the total block size.
1612 emitLabelDifferenceAsULEB128(MBB.getEndSymbol(), CurrentLabel);
1613 // Emit the Metadata.
1614 OutStreamer->emitULEB128IntValue(getBBAddrMapMetadata(MBB));
1615 // Emit the Hash.
1616 if (MBHI) {
1617 OutStreamer->emitInt64(MBHI->getMBBHash(MBB));
1618 }
1619 }
1620 PrevMBBEndSymbol = MBB.getEndSymbol();
1621 }
1622
1623 if (Features.hasPGOAnalysis()) {
1624 assert(BBAddrMapVersion >= 2 &&
1625 "PGOAnalysisMap only supports version 2 or later");
1626
1627 if (Features.FuncEntryCount) {
1628 OutStreamer->AddComment("function entry count");
1629 auto MaybeEntryCount = MF.getFunction().getEntryCount();
1630 OutStreamer->emitULEB128IntValue(MaybeEntryCount ? *MaybeEntryCount : 0);
1631 }
1632 const MachineBlockFrequencyInfo *MBFI =
1633 Features.BBFreq
1635 : nullptr;
1636 const MachineBranchProbabilityInfo *MBPI =
1637 Features.BrProb
1639 : nullptr;
1640
1641 if (Features.BBFreq || Features.BrProb) {
1642 for (const MachineBasicBlock &MBB : MF) {
1643 if (Features.BBFreq) {
1644 OutStreamer->AddComment("basic block frequency");
1645 OutStreamer->emitULEB128IntValue(
1646 MBFI->getBlockFreq(&MBB).getFrequency());
1647 if (Features.PostLinkCfg) {
1648 OutStreamer->AddComment("basic block frequency (propeller)");
1649 OutStreamer->emitULEB128IntValue(
1650 FuncCFGProfile->getBlockCount(*MBB.getBBID()));
1651 }
1652 }
1653 if (Features.BrProb) {
1654 unsigned SuccCount = MBB.succ_size();
1655 OutStreamer->AddComment("basic block successor count");
1656 OutStreamer->emitULEB128IntValue(SuccCount);
1657 for (const MachineBasicBlock *SuccMBB : MBB.successors()) {
1658 OutStreamer->AddComment("successor BB ID");
1659 OutStreamer->emitULEB128IntValue(SuccMBB->getBBID()->BaseID);
1660 OutStreamer->AddComment("successor branch probability");
1661 OutStreamer->emitULEB128IntValue(
1662 MBPI->getEdgeProbability(&MBB, SuccMBB).getNumerator());
1663 if (Features.PostLinkCfg) {
1664 OutStreamer->AddComment("successor branch frequency (propeller)");
1665 OutStreamer->emitULEB128IntValue(FuncCFGProfile->getEdgeCount(
1666 *MBB.getBBID(), *SuccMBB->getBBID()));
1667 }
1668 }
1669 }
1670 }
1671 }
1672 }
1673
1674 OutStreamer->popSection();
1675}
1676
1678 const MCSymbol *Symbol) {
1679 MCSection *Section =
1680 getObjFileLowering().getKCFITrapSection(*MF.getSection());
1681 if (!Section)
1682 return;
1683
1684 OutStreamer->pushSection();
1685 OutStreamer->switchSection(Section);
1686
1687 MCSymbol *Loc = OutContext.createLinkerPrivateTempSymbol();
1688 OutStreamer->emitLabel(Loc);
1689 OutStreamer->emitAbsoluteSymbolDiff(Symbol, Loc, 4);
1690
1691 OutStreamer->popSection();
1692}
1693
1695 const Function &F = MF.getFunction();
1696 if (const MDNode *MD = F.getMetadata(LLVMContext::MD_kcfi_type))
1697 emitGlobalConstant(F.getDataLayout(),
1698 mdconst::extract<ConstantInt>(MD->getOperand(0)));
1699}
1700
1702 if (PP) {
1703 auto GUID = MI.getOperand(0).getImm();
1704 auto Index = MI.getOperand(1).getImm();
1705 auto Type = MI.getOperand(2).getImm();
1706 auto Attr = MI.getOperand(3).getImm();
1707 DILocation *DebugLoc = MI.getDebugLoc();
1708 PP->emitPseudoProbe(GUID, Index, Type, Attr, DebugLoc);
1709 }
1710}
1711
1713 if (!MF.getTarget().Options.EmitStackSizeSection)
1714 return;
1715
1716 MCSection *StackSizeSection =
1718 if (!StackSizeSection)
1719 return;
1720
1721 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
1722 // Don't emit functions with dynamic stack allocations.
1723 if (FrameInfo.hasVarSizedObjects())
1724 return;
1725
1726 OutStreamer->pushSection();
1727 OutStreamer->switchSection(StackSizeSection);
1728
1729 const MCSymbol *FunctionSymbol = getFunctionBegin();
1730 uint64_t StackSize =
1731 FrameInfo.getStackSize() + FrameInfo.getUnsafeStackSize();
1732 const DataLayout &DL = getDataLayout();
1733 OutStreamer->emitSymbolValue(FunctionSymbol,
1734 DL.getPointerSize(DL.getProgramAddressSpace()));
1735 OutStreamer->emitULEB128IntValue(StackSize);
1736
1737 OutStreamer->popSection();
1738}
1739
1741 const std::string OutputFilename =
1743 : MF.getTarget().Options.StackUsageFile;
1744
1745 // OutputFilename empty implies -fstack-usage is not passed.
1746 if (OutputFilename.empty())
1747 return;
1748
1749 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
1750 uint64_t StackSize =
1751 FrameInfo.getStackSize() + FrameInfo.getUnsafeStackSize();
1752
1753 if (StackUsageStream == nullptr) {
1754 std::error_code EC;
1755 StackUsageStream =
1756 std::make_unique<raw_fd_ostream>(OutputFilename, EC, sys::fs::OF_Text);
1757 if (EC) {
1758 errs() << "Could not open file: " << EC.message();
1759 return;
1760 }
1761 }
1762
1763 if (const DISubprogram *DSP = MF.getFunction().getSubprogram())
1764 *StackUsageStream << DSP->getFilename() << ':' << DSP->getLine();
1765 else
1766 *StackUsageStream << MF.getFunction().getParent()->getName();
1767
1768 *StackUsageStream << ':' << MF.getName() << '\t' << StackSize << '\t';
1769 if (FrameInfo.hasVarSizedObjects())
1770 *StackUsageStream << "dynamic\n";
1771 else
1772 *StackUsageStream << "static\n";
1773}
1774
1775/// Extracts a numeric type identifier of a Function's type from
1776/// callgraph metadata. Returns null if metadata cannot be found.
1779 F.getMetadata(LLVMContext::MD_callgraph, Types);
1780 for (const auto &Type : Types) {
1781 if (Type->getNumOperands() == 1 && isa<MDString>(Type->getOperand(0))) {
1782 MDString *MDTypeId = cast<MDString>(Type->getOperand(0));
1783 uint64_t TypeIdVal = llvm::MD5Hash(MDTypeId->getString());
1784 IntegerType *Int64Ty = Type::getInt64Ty(F.getContext());
1785 return ConstantInt::get(Int64Ty, TypeIdVal);
1786 }
1787 }
1788 return nullptr;
1789}
1790
1791/// Emits .llvm.callgraph section.
1793 FunctionCallGraphInfo &FuncCGInfo) {
1794 if (!MF.getTarget().Options.EmitCallGraphSection)
1795 return;
1796
1797 // Switch to the call graph section for the function
1798 MCSection *FuncCGSection =
1800 assert(FuncCGSection && "null callgraph section");
1801 OutStreamer->pushSection();
1802 OutStreamer->switchSection(FuncCGSection);
1803
1804 const Function &F = MF.getFunction();
1805 // If this function has external linkage or has its address taken and
1806 // it is not a callback, then anything could call it.
1807 bool IsIndirectTarget =
1808 !F.hasLocalLinkage() || F.hasAddressTaken(nullptr,
1809 /*IgnoreCallbackUses=*/true,
1810 /*IgnoreAssumeLikeCalls=*/true,
1811 /*IgnoreLLVMUsed=*/false);
1812
1813 const auto &DirectCallees = FuncCGInfo.DirectCallees;
1814 const auto &IndirectCalleeTypeIDs = FuncCGInfo.IndirectCalleeTypeIDs;
1815
1816 using namespace callgraph;
1817 Flags CGFlags = Flags::None;
1818 if (IsIndirectTarget)
1819 CGFlags |= Flags::IsIndirectTarget;
1820 if (DirectCallees.size() > 0)
1821 CGFlags |= Flags::HasDirectCallees;
1822 if (IndirectCalleeTypeIDs.size() > 0)
1823 CGFlags |= Flags::HasIndirectCallees;
1824
1825 // Emit function's call graph information.
1826 // 1) CallGraphSectionFormatVersion
1827 // 2) Flags
1828 // a. LSB bit 0 is set to 1 if the function is a potential indirect
1829 // target.
1830 // b. LSB bit 1 is set to 1 if there are direct callees.
1831 // c. LSB bit 2 is set to 1 if there are indirect callees.
1832 // d. Rest of the 5 bits in Flags are reserved for any future use.
1833 // 3) Function entry PC.
1834 // 4) FunctionTypeID if the function is indirect target and its type id
1835 // is known, otherwise it is set to 0.
1836 // 5) Number of unique direct callees, if at least one exists.
1837 // 6) For each unique direct callee, the callee's PC.
1838 // 7) Number of unique indirect target type IDs, if at least one exists.
1839 // 8) Each unique indirect target type id.
1840 const DataLayout &DL = getDataLayout();
1841 unsigned ProgramPointerSize = DL.getPointerSize(DL.getProgramAddressSpace());
1842 OutStreamer->emitInt8(CallGraphSectionFormatVersion::V_0);
1843 OutStreamer->emitInt8(static_cast<uint8_t>(CGFlags));
1844 OutStreamer->emitSymbolValue(getSymbol(&F), ProgramPointerSize);
1845 const auto *TypeId = extractNumericCGTypeId(F);
1846 if (IsIndirectTarget && TypeId)
1847 OutStreamer->emitInt64(TypeId->getZExtValue());
1848 else
1849 OutStreamer->emitInt64(0);
1850
1851 if (DirectCallees.size() > 0) {
1852 OutStreamer->emitULEB128IntValue(DirectCallees.size());
1853 for (const auto &CalleeSymbol : DirectCallees)
1854 OutStreamer->emitSymbolValue(CalleeSymbol, ProgramPointerSize);
1855 FuncCGInfo.DirectCallees.clear();
1856 }
1857 if (IndirectCalleeTypeIDs.size() > 0) {
1858 OutStreamer->emitULEB128IntValue(IndirectCalleeTypeIDs.size());
1859 for (const auto &CalleeTypeId : IndirectCalleeTypeIDs)
1860 OutStreamer->emitInt64(CalleeTypeId);
1861 FuncCGInfo.IndirectCalleeTypeIDs.clear();
1862 }
1863 // End of emitting call graph section contents.
1864 OutStreamer->popSection();
1865}
1866
1868 const MDNode &MD) {
1869 MCSymbol *S = MF.getContext().createTempSymbol("pcsection");
1870 OutStreamer->emitLabel(S);
1871 PCSectionsSymbols[&MD].emplace_back(S);
1872}
1873
1875 const Function &F = MF.getFunction();
1876 if (PCSectionsSymbols.empty() && !F.hasMetadata(LLVMContext::MD_pcsections))
1877 return;
1878
1879 const CodeModel::Model CM = MF.getTarget().getCodeModel();
1880 const unsigned RelativeRelocSize =
1882 : 4;
1883
1884 // Switch to PCSection, short-circuiting the common case where the current
1885 // section is still valid (assume most MD_pcsections contain just 1 section).
1886 auto SwitchSection = [&, Prev = StringRef()](const StringRef &Sec) mutable {
1887 if (Sec == Prev)
1888 return;
1889 MCSection *S = getObjFileLowering().getPCSection(Sec, MF.getSection());
1890 assert(S && "PC section is not initialized");
1891 OutStreamer->switchSection(S);
1892 Prev = Sec;
1893 };
1894 // Emit symbols into sections and data as specified in the pcsections MDNode.
1895 auto EmitForMD = [&](const MDNode &MD, ArrayRef<const MCSymbol *> Syms,
1896 bool Deltas) {
1897 // Expect the first operand to be a section name. After that, a tuple of
1898 // constants may appear, which will simply be emitted into the current
1899 // section (the user of MD_pcsections decides the format of encoded data).
1900 assert(isa<MDString>(MD.getOperand(0)) && "first operand not a string");
1901 bool ConstULEB128 = false;
1902 for (const MDOperand &MDO : MD.operands()) {
1903 if (auto *S = dyn_cast<MDString>(MDO)) {
1904 // Found string, start of new section!
1905 // Find options for this section "<section>!<opts>" - supported options:
1906 // C = Compress constant integers of size 2-8 bytes as ULEB128.
1907 const StringRef SecWithOpt = S->getString();
1908 const size_t OptStart = SecWithOpt.find('!'); // likely npos
1909 const StringRef Sec = SecWithOpt.substr(0, OptStart);
1910 const StringRef Opts = SecWithOpt.substr(OptStart); // likely empty
1911 ConstULEB128 = Opts.contains('C');
1912#ifndef NDEBUG
1913 for (char O : Opts)
1914 assert((O == '!' || O == 'C') && "Invalid !pcsections options");
1915#endif
1916 SwitchSection(Sec);
1917 const MCSymbol *Prev = Syms.front();
1918 for (const MCSymbol *Sym : Syms) {
1919 if (Sym == Prev || !Deltas) {
1920 // Use the entry itself as the base of the relative offset.
1921 MCSymbol *Base = MF.getContext().createTempSymbol("pcsection_base");
1922 OutStreamer->emitLabel(Base);
1923 // Emit relative relocation `addr - base`, which avoids a dynamic
1924 // relocation in the final binary. User will get the address with
1925 // `base + addr`.
1926 emitLabelDifference(Sym, Base, RelativeRelocSize);
1927 } else {
1928 // Emit delta between symbol and previous symbol.
1929 if (ConstULEB128)
1931 else
1932 emitLabelDifference(Sym, Prev, 4);
1933 }
1934 Prev = Sym;
1935 }
1936 } else {
1937 // Emit auxiliary data after PC.
1938 assert(isa<MDNode>(MDO) && "expecting either string or tuple");
1939 const auto *AuxMDs = cast<MDNode>(MDO);
1940 for (const MDOperand &AuxMDO : AuxMDs->operands()) {
1941 assert(isa<ConstantAsMetadata>(AuxMDO) && "expecting a constant");
1942 const Constant *C = cast<ConstantAsMetadata>(AuxMDO)->getValue();
1943 const DataLayout &DL = F.getDataLayout();
1944 const uint64_t Size = DL.getTypeStoreSize(C->getType());
1945
1946 if (auto *CI = dyn_cast<ConstantInt>(C);
1947 CI && ConstULEB128 && Size > 1 && Size <= 8) {
1948 emitULEB128(CI->getZExtValue());
1949 } else {
1951 }
1952 }
1953 }
1954 }
1955 };
1956
1957 OutStreamer->pushSection();
1958 // Emit PCs for function start and function size.
1959 if (const MDNode *MD = F.getMetadata(LLVMContext::MD_pcsections))
1960 EmitForMD(*MD, {getFunctionBegin(), getFunctionEnd()}, true);
1961 // Emit PCs for instructions collected.
1962 for (const auto &MS : PCSectionsSymbols)
1963 EmitForMD(*MS.first, MS.second, false);
1964 OutStreamer->popSection();
1965 PCSectionsSymbols.clear();
1966}
1967
1968/// Returns true if function begin and end labels should be emitted.
1969static bool needFuncLabels(const MachineFunction &MF, const AsmPrinter &Asm) {
1970 if (Asm.hasDebugInfo() || !MF.getLandingPads().empty() ||
1971 MF.hasEHFunclets() ||
1972 MF.getFunction().hasMetadata(LLVMContext::MD_pcsections))
1973 return true;
1974
1975 // We might emit an EH table that uses function begin and end labels even if
1976 // we don't have any landingpads.
1977 if (!MF.getFunction().hasPersonalityFn())
1978 return false;
1979 return !isNoOpWithoutInvoke(
1981}
1982
1983// Return the mnemonic of a MachineInstr if available, or the MachineInstr
1984// opcode name otherwise.
1986 const TargetInstrInfo *TII =
1987 MI.getParent()->getParent()->getSubtarget().getInstrInfo();
1988 MCInst MCI;
1989 MCI.setOpcode(MI.getOpcode());
1990 if (StringRef Name = Streamer.getMnemonic(MCI); !Name.empty())
1991 return Name;
1992 StringRef Name = TII->getName(MI.getOpcode());
1993 assert(!Name.empty() && "Missing mnemonic and name for opcode");
1994 return Name;
1995}
1996
1998 FunctionCallGraphInfo &FuncCGInfo,
1999 const MachineFunction::CallSiteInfoMap &CallSitesInfoMap,
2000 const MachineInstr &MI) {
2001 assert(MI.isCall() && "This method is meant for call instructions only.");
2002 const MachineOperand &CalleeOperand = MI.getOperand(0);
2003 if (CalleeOperand.isGlobal() || CalleeOperand.isSymbol()) {
2004 // Handle direct calls.
2005 MCSymbol *CalleeSymbol = nullptr;
2006 switch (CalleeOperand.getType()) {
2008 CalleeSymbol = getSymbol(CalleeOperand.getGlobal());
2009 break;
2011 CalleeSymbol = GetExternalSymbolSymbol(CalleeOperand.getSymbolName());
2012 break;
2013 default:
2015 "Expected to only handle direct call instructions here.");
2016 }
2017 FuncCGInfo.DirectCallees.insert(CalleeSymbol);
2018 return; // Early exit after handling the direct call instruction.
2019 }
2020 const auto &CallSiteInfo = CallSitesInfoMap.find(&MI);
2021 if (CallSiteInfo == CallSitesInfoMap.end())
2022 return;
2023 // Handle indirect callsite info.
2024 // Only indirect calls have type identifiers set.
2025 for (ConstantInt *CalleeTypeId : CallSiteInfo->second.CalleeTypeIds) {
2026 uint64_t CalleeTypeIdVal = CalleeTypeId->getZExtValue();
2027 FuncCGInfo.IndirectCalleeTypeIDs.insert(CalleeTypeIdVal);
2028 }
2029}
2030
2031/// Helper to emit a symbol for the prefetch target associated with the given
2032/// BBID and callsite index.
2034 unsigned CallsiteIndex) {
2035 SmallString<128> FunctionName;
2036 getNameWithPrefix(FunctionName, &MF->getFunction());
2037 MCSymbol *PrefetchTargetSymbol = OutContext.getOrCreateSymbol(
2038 getPrefetchTargetSymbolName(FunctionName, BBID, CallsiteIndex));
2039 // If the function is weak-linkage it may be replaced by a strong
2040 // version, in which case the prefetch targets should also be replaced.
2041 OutStreamer->emitSymbolAttribute(
2042 PrefetchTargetSymbol,
2043 MF->getFunction().isWeakForLinker() ? MCSA_Weak : MCSA_Global);
2044 OutStreamer->emitLabel(PrefetchTargetSymbol);
2045}
2046
2047/// Emit dangling prefetch targets that were not mapped to any basic block.
2049 const DenseMap<UniqueBBID, SmallVector<unsigned>> &MFPrefetchTargets =
2050 MF->getPrefetchTargets();
2051 if (MFPrefetchTargets.empty())
2052 return;
2053 DenseSet<UniqueBBID> MFBBIDs;
2054 for (const MachineBasicBlock &MBB : *MF)
2055 if (std::optional<UniqueBBID> BBID = MBB.getBBID())
2056 MFBBIDs.insert(*BBID);
2057
2058 for (const auto &[BBID, CallsiteIndexes] : MFPrefetchTargets) {
2059 if (MFBBIDs.contains(BBID))
2060 continue;
2061 for (unsigned CallsiteIndex : CallsiteIndexes)
2063 }
2064}
2065
2066/// EmitFunctionBody - This method emits the body and trailer for a
2067/// function.
2069 emitFunctionHeader();
2070
2071 // Emit target-specific gunk before the function body.
2073
2074 if (isVerbose()) {
2075 MDT = GetMDT(*MF);
2076 // Get MachineLoopInfo or compute it on the fly if it's unavailable, which
2077 // needs a MachineDominatorTree only for an irreducible CFG.
2078 MLI = GetMLI(*MF);
2079 if (!MLI) {
2080 OwnedMLI = std::make_unique<MachineLoopInfo>();
2081 OwnedMLI->calculate(*MF, [&]() -> const MachineDominatorTree & {
2082 if (!MDT) {
2083 OwnedMDT = std::make_unique<MachineDominatorTree>();
2084 OwnedMDT->recalculate(*MF);
2085 MDT = OwnedMDT.get();
2086 }
2087 return *MDT;
2088 });
2089 MLI = OwnedMLI.get();
2090 }
2091 }
2092
2093 // Print out code for the function.
2094 bool HasAnyRealCode = false;
2095 int NumInstsInFunction = 0;
2096 // Only x86 needs this padding; the Arm unwinders back the PC up themselves.
2097 const Module *M = MMI->getModule();
2098 bool NeedsEHaNops =
2099 M->getTargetTriple().isX86() && M->getModuleFlag("eh-asynch");
2100
2101 const MCSubtargetInfo *STI = nullptr;
2102 if (this->MF)
2103 STI = &getSubtargetInfo();
2104 else
2105 STI = &TM.getMCSubtargetInfo();
2106
2107 bool CanDoExtraAnalysis = ORE->allowExtraAnalysis(DEBUG_TYPE);
2108 // Create a slot for the entry basic block section so that the section
2109 // order is preserved when iterating over MBBSectionRanges.
2110 if (!MF->empty())
2111 MBBSectionRanges[MF->front().getSectionID()] =
2113
2114 FunctionCallGraphInfo FuncCGInfo;
2115 const auto &CallSitesInfoMap = MF->getCallSitesInfo();
2116
2117 // Dangling targets are not mapped to any blocks and must be emitted at the
2118 // beginning of the function.
2120
2121 const auto &MFPrefetchTargets = MF->getPrefetchTargets();
2122 for (auto &MBB : *MF) {
2123 // Print a label for the basic block.
2125 DenseMap<StringRef, unsigned> MnemonicCounts;
2126
2127 const SmallVector<unsigned> *PrefetchTargets = nullptr;
2128 if (auto BBID = MBB.getBBID()) {
2129 auto R = MFPrefetchTargets.find(*BBID);
2130 if (R != MFPrefetchTargets.end())
2131 PrefetchTargets = &R->second;
2132 }
2133 auto PrefetchTargetIt =
2134 PrefetchTargets ? PrefetchTargets->begin() : nullptr;
2135 auto PrefetchTargetEnd = PrefetchTargets ? PrefetchTargets->end() : nullptr;
2136 unsigned LastCallsiteIndex = 0;
2137
2138 for (auto &MI : MBB) {
2139 if (PrefetchTargetIt != PrefetchTargetEnd &&
2140 *PrefetchTargetIt == LastCallsiteIndex) {
2141 emitPrefetchTargetSymbol(*MBB.getBBID(), *PrefetchTargetIt);
2142 ++PrefetchTargetIt;
2143 }
2144
2145 // Print the assembly for the instruction.
2146 if (!MI.isPosition() && !MI.isImplicitDef() && !MI.isKill() &&
2147 !MI.isDebugInstr()) {
2148 HasAnyRealCode = true;
2149 }
2150
2151 // If there is a pre-instruction symbol, emit a label for it here.
2152 if (MCSymbol *S = MI.getPreInstrSymbol())
2153 OutStreamer->emitLabel(S);
2154
2155 if (MDNode *MD = MI.getPCSections())
2156 emitPCSectionsLabel(*MF, *MD);
2157
2158 for (auto &Handler : Handlers)
2159 Handler->beginInstruction(&MI);
2160
2161 if (isVerbose())
2162 emitComments(MI, STI, OutStreamer->getCommentOS());
2163
2164#ifndef NDEBUG
2165 MCFragment *OldFragment = OutStreamer->getCurrentFragment();
2166 size_t OldFragSize = OldFragment->getFixedSize();
2167#endif
2168
2169 switch (MI.getOpcode()) {
2170 case TargetOpcode::CFI_INSTRUCTION:
2172 break;
2173 case TargetOpcode::LOCAL_ESCAPE:
2175 break;
2176 case TargetOpcode::ANNOTATION_LABEL:
2177 case TargetOpcode::GC_LABEL:
2178 OutStreamer->emitLabel(MI.getOperand(0).getMCSymbol());
2179 break;
2180 case TargetOpcode::EH_LABEL:
2181 OutStreamer->AddComment("EH_LABEL");
2182 OutStreamer->emitLabel(MI.getOperand(0).getMCSymbol());
2183 // For AsynchEH, insert a Nop if followed by a trap inst
2184 // Or the exception won't be caught.
2185 // (see MCConstantExpr::create(1,..) in WinException.cpp)
2186 // Ignore SDiv/UDiv because a DIV with Const-0 divisor
2187 // must have being turned into an UndefValue.
2188 // Div with variable opnds won't be the first instruction in
2189 // an EH region as it must be led by at least a Load
2190 {
2191 auto MI2 = std::next(MI.getIterator());
2192 if (NeedsEHaNops && MI2 != MBB.end() &&
2193 (MI2->mayLoadOrStore() || MI2->mayRaiseFPException()))
2194 emitNops(1);
2195 }
2196 break;
2197 case TargetOpcode::INLINEASM:
2198 case TargetOpcode::INLINEASM_BR:
2199 emitInlineAsm(&MI);
2200 break;
2201 case TargetOpcode::DBG_VALUE:
2202 case TargetOpcode::DBG_VALUE_LIST:
2203 if (isVerbose()) {
2204 if (!emitDebugValueComment(&MI, *this))
2206 }
2207 break;
2208 case TargetOpcode::DBG_INSTR_REF:
2209 // This instruction reference will have been resolved to a machine
2210 // location, and a nearby DBG_VALUE created. We can safely ignore
2211 // the instruction reference.
2212 break;
2213 case TargetOpcode::DBG_PHI:
2214 // This instruction is only used to label a program point, it's purely
2215 // meta information.
2216 break;
2217 case TargetOpcode::DBG_LABEL:
2218 if (isVerbose()) {
2219 if (!emitDebugLabelComment(&MI, *this))
2221 }
2222 break;
2223 case TargetOpcode::IMPLICIT_DEF:
2224 if (isVerbose()) emitImplicitDef(&MI);
2225 break;
2226 case TargetOpcode::KILL:
2227 if (isVerbose()) emitKill(&MI, *this);
2228 break;
2229 case TargetOpcode::FAKE_USE:
2230 if (isVerbose())
2231 emitFakeUse(&MI, *this);
2232 break;
2233 case TargetOpcode::PSEUDO_PROBE:
2235 break;
2236 case TargetOpcode::ARITH_FENCE:
2237 if (isVerbose())
2238 OutStreamer->emitRawComment("ARITH_FENCE");
2239 break;
2240 case TargetOpcode::MEMBARRIER:
2241 OutStreamer->emitRawComment("MEMBARRIER");
2242 break;
2243 case TargetOpcode::JUMP_TABLE_DEBUG_INFO:
2244 // This instruction is only used to note jump table debug info, it's
2245 // purely meta information.
2246 break;
2247 case TargetOpcode::INIT_UNDEF:
2248 // This is only used to influence register allocation behavior, no
2249 // actual initialization is needed.
2250 break;
2251 case TargetOpcode::RELOC_NONE: {
2252 // Generate a temporary label for the current PC.
2253 MCSymbol *Sym = OutContext.createTempSymbol("reloc_none");
2254 OutStreamer->emitLabel(Sym);
2255 const MCExpr *Dot = MCSymbolRefExpr::create(Sym, OutContext);
2257 OutContext.getOrCreateSymbol(MI.getOperand(0).getSymbolName()),
2258 OutContext);
2259 OutStreamer->emitRelocDirective(*Dot, "BFD_RELOC_NONE", Value, SMLoc());
2260 break;
2261 }
2262 default:
2264
2265 auto CountInstruction = [&](const MachineInstr &MI) {
2266 // Skip Meta instructions inside bundles.
2267 if (MI.isMetaInstruction())
2268 return;
2269 ++NumInstsInFunction;
2270 if (CanDoExtraAnalysis) {
2272 ++MnemonicCounts[Name];
2273 }
2274 };
2275 if (!MI.isBundle()) {
2276 CountInstruction(MI);
2277 break;
2278 }
2279 // Separately count all the instructions in a bundle.
2280 for (auto It = std::next(MI.getIterator());
2281 It != MBB.end() && It->isInsideBundle(); ++It) {
2282 CountInstruction(*It);
2283 }
2284 break;
2285 }
2286
2287#ifndef NDEBUG
2288 // Verify that the instruction size reported by InstrInfo matches the
2289 // actually emitted size. Many backends performing branch relaxation
2290 // on the MIR level rely on this for correctness.
2291 // TODO: We currently can't distinguish whether a parse error occurred
2292 // when handling INLINEASM.
2293 if (OutStreamer->isObj() && !OutContext.hadError() &&
2294 (MI.getOpcode() != TargetOpcode::INLINEASM &&
2295 MI.getOpcode() != TargetOpcode::INLINEASM_BR)) {
2296 const TargetInstrInfo *TII = MF->getSubtarget().getInstrInfo();
2298 TII->getInstSizeVerifyMode(MI);
2300 unsigned ExpectedSize = TII->getInstSizeInBytes(MI);
2301 MCFragment *NewFragment = OutStreamer->getCurrentFragment();
2302 unsigned ActualSize;
2303 if (OldFragment == NewFragment) {
2304 ActualSize = NewFragment->getFixedSize() - OldFragSize;
2305 } else {
2306 ActualSize = OldFragment->getFixedSize() - OldFragSize;
2307 const MCFragment *F = OldFragment->getNext();
2308 for (; F != NewFragment; F = F->getNext())
2309 ActualSize += F->getFixedSize();
2310 ActualSize += NewFragment->getFixedSize();
2311 }
2312 bool AllowOverEstimate =
2314 bool Valid = AllowOverEstimate ? ActualSize <= ExpectedSize
2315 : ActualSize == ExpectedSize;
2316 if (!Valid) {
2317 dbgs() << "In function: " << MF->getName() << "\n";
2318 dbgs() << "Size mismatch for: " << MI;
2319 if (MI.isBundled()) {
2320 dbgs() << "{\n";
2321 auto It = MI.getIterator(), End = MBB.instr_end();
2322 for (++It; It != End && It->isInsideBundle(); ++It)
2323 dbgs().indent(2) << *It;
2324 dbgs() << "}\n";
2325 }
2326 dbgs() << "Expected " << (AllowOverEstimate ? "maximum" : "exact")
2327 << " size: " << ExpectedSize << "\n";
2328 dbgs() << "Actual size: " << ActualSize << "\n";
2329 abort();
2330 }
2331 }
2332 }
2333#endif
2334
2335 if (MI.isCall()) {
2336 if (MF->getTarget().Options.BBAddrMap)
2338 LastCallsiteIndex++;
2339 }
2340
2341 if (TM.Options.EmitCallGraphSection && MI.isCall())
2342 handleCallsiteForCallgraph(FuncCGInfo, CallSitesInfoMap, MI);
2343
2344 // If there is a post-instruction symbol, emit a label for it here.
2345 if (MCSymbol *S = MI.getPostInstrSymbol()) {
2346 // Emit the weak symbol attribute used for the prefetch target fallback.
2347 if (M->getTargetTriple().isOSBinFormatELF()) {
2348 MCSymbolELF *ESym = static_cast<MCSymbolELF *>(S);
2349 if (ESym->getBinding() == ELF::STB_WEAK)
2350 OutStreamer->emitSymbolAttribute(S, MCSA_Weak);
2351 }
2352 OutStreamer->emitLabel(S);
2353 }
2354
2355 for (auto &Handler : Handlers)
2356 Handler->endInstruction();
2357 }
2358 // Emit the remaining prefetch targets for this block. This includes
2359 // nonexisting callsite indexes.
2360 while (PrefetchTargetIt != PrefetchTargetEnd) {
2361 emitPrefetchTargetSymbol(*MBB.getBBID(), *PrefetchTargetIt);
2362 ++PrefetchTargetIt;
2363 }
2364
2365 // We must emit temporary symbol for the end of this basic block, if either
2366 // we have BBLabels enabled or if this basic blocks marks the end of a
2367 // section.
2368 if (MF->getTarget().Options.BBAddrMap ||
2369 (MAI.hasDotTypeDotSizeDirective() && MBB.isEndSection()))
2370 OutStreamer->emitLabel(MBB.getEndSymbol());
2371
2372 if (MBB.isEndSection()) {
2373 // The size directive for the section containing the entry block is
2374 // handled separately by the function section.
2375 if (!MBB.sameSection(&MF->front())) {
2376 if (MAI.hasDotTypeDotSizeDirective()) {
2377 // Emit the size directive for the basic block section.
2378 const MCExpr *SizeExp = MCBinaryExpr::createSub(
2379 MCSymbolRefExpr::create(MBB.getEndSymbol(), OutContext),
2380 MCSymbolRefExpr::create(CurrentSectionBeginSym, OutContext),
2381 OutContext);
2382 OutStreamer->emitELFSize(CurrentSectionBeginSym, SizeExp);
2383 }
2384 assert(!MBBSectionRanges.contains(MBB.getSectionID()) &&
2385 "Overwrite section range");
2386 MBBSectionRanges[MBB.getSectionID()] =
2387 MBBSectionRange{CurrentSectionBeginSym, MBB.getEndSymbol()};
2388 }
2389 }
2391
2392 if (CanDoExtraAnalysis) {
2393 // Skip empty blocks.
2394 if (MBB.empty())
2395 continue;
2396
2398 MBB.begin()->getDebugLoc(), &MBB);
2399
2400 // Generate instruction mix remark. First, sort counts in descending order
2401 // by count and name.
2403 for (auto &KV : MnemonicCounts)
2404 MnemonicVec.emplace_back(KV.first, KV.second);
2405
2406 sort(MnemonicVec, [](const std::pair<StringRef, unsigned> &A,
2407 const std::pair<StringRef, unsigned> &B) {
2408 if (A.second > B.second)
2409 return true;
2410 if (A.second == B.second)
2411 return StringRef(A.first) < StringRef(B.first);
2412 return false;
2413 });
2414 R << "BasicBlock: " << ore::NV("BasicBlock", MBB.getName()) << "\n";
2415 for (auto &KV : MnemonicVec) {
2416 auto Name = (Twine("INST_") + getToken(KV.first.trim()).first).str();
2417 R << KV.first << ": " << ore::NV(Name, KV.second) << "\n";
2418 }
2419 ORE->emit(R);
2420 }
2421 }
2422
2423 EmittedInsts += NumInstsInFunction;
2424 MachineOptimizationRemarkAnalysis R(DEBUG_TYPE, "InstructionCount",
2425 MF->getFunction().getSubprogram(),
2426 &MF->front());
2427 R << ore::NV("NumInstructions", NumInstsInFunction)
2428 << " instructions in function";
2429 ORE->emit(R);
2430
2431 if (ORE->allowExtraAnalysis("target-features")) {
2432 const Function &F = MF->getFunction();
2433 std::string FunctionName;
2434 raw_string_ostream OS(FunctionName);
2435 F.printAsOperand(OS, /*PrintType=*/false);
2436
2438 "target-features", "EnabledFeatures", F.getSubprogram(), &MF->front());
2439 Remark << "Enabled features for " << ore::NV("Function", FunctionName)
2440 << ": ";
2441 // The processor feature table is sorted by feature name.
2442 ListSeparator LS(",");
2443 for (const auto *Feature : MF->getSubtarget().getEnabledProcessorFeatures())
2444 Remark << LS << ore::NV("Feature", Feature->key());
2445 ORE->emit(Remark);
2446 }
2447
2448 // If the function is empty and the object file uses .subsections_via_symbols,
2449 // then we need to emit *something* to the function body to prevent the
2450 // labels from collapsing together. Just emit a noop.
2451 // Similarly, don't emit empty functions on Windows either. It can lead to
2452 // duplicate entries (two functions with the same RVA) in the Guard CF Table
2453 // after linking, causing the kernel not to load the binary:
2454 // https://developercommunity.visualstudio.com/content/problem/45366/vc-linker-creates-invalid-dll-with-clang-cl.html
2455 // FIXME: Hide this behind some API in e.g. MCAsmInfo or MCTargetStreamer.
2456 const Triple &TT = M->getTargetTriple();
2457 if (!HasAnyRealCode && (MAI.hasSubsectionsViaSymbols() ||
2458 (TT.isOSWindows() && TT.isOSBinFormatCOFF()))) {
2459 MCInst Noop = MF->getSubtarget().getInstrInfo()->getNop();
2460
2461 // Targets can opt-out of emitting the noop here by leaving the opcode
2462 // unspecified.
2463 if (Noop.getOpcode()) {
2464 OutStreamer->AddComment("avoids zero-length function");
2465 emitNops(1);
2466 }
2467 }
2468
2469 // Switch to the original section in case basic block sections was used.
2470 OutStreamer->switchSection(MF->getSection());
2471
2472 const Function &F = MF->getFunction();
2473 for (const auto &BB : F) {
2474 if (!BB.hasAddressTaken())
2475 continue;
2476 MCSymbol *Sym = GetBlockAddressSymbol(&BB);
2477 if (Sym->isDefined())
2478 continue;
2479 OutStreamer->AddComment("Address of block that was removed by CodeGen");
2480 OutStreamer->emitLabel(Sym);
2481 }
2482
2483 // Emit target-specific gunk after the function body.
2485
2486 // Tail-pad functions that want it.
2487 if (F.hasFnAttribute("tail-pad-to-size")) {
2488 auto *FnEndSym = createTempSymbol("tail_pad_start");
2489 OutStreamer->emitLabel(FnEndSym);
2490
2491 uint64_t PadToSize = F.getFnAttributeAsParsedInteger("tail-pad-to-size");
2492 uint64_t FillValue =
2493 PadToSize ? F.getFnAttributeAsParsedInteger("tail-pad-value") : 0;
2494
2495 // .fill ((PadToSize - FuncSize) & (PadToSize - FuncSize >= 0)) FillValue
2496 const MCExpr *FuncSize = MCBinaryExpr::createSub(
2499 const MCExpr *SizeConst = MCConstantExpr::create(PadToSize, OutContext);
2500 const MCExpr *Zero = MCConstantExpr::create(0, OutContext);
2501 const MCExpr *SubExpr =
2502 MCBinaryExpr::createSub(SizeConst, FuncSize, OutContext);
2503 const MCExpr *Cmp = MCBinaryExpr::createGTE(SubExpr, Zero, OutContext);
2504 const MCExpr *FillExpr = MCBinaryExpr::createAnd(SubExpr, Cmp, OutContext);
2505 OutStreamer->emitFill(*FillExpr, FillValue);
2506 }
2507
2508 // Even though wasm supports .type and .size in general, function symbols
2509 // are automatically sized.
2510 bool EmitFunctionSize = MAI.hasDotTypeDotSizeDirective() && !TT.isWasm();
2511
2512 // SPIR-V supports label instructions only inside a block, not after the
2513 // function body.
2514 if (TT.getObjectFormat() != Triple::SPIRV &&
2515 (EmitFunctionSize || needFuncLabels(*MF, *this) || CurrentFnEnd)) {
2516 // Create a symbol for the end of function, if not already pre-created
2517 // (e.g. for .prefalign directive).
2518 if (!CurrentFnEnd)
2519 CurrentFnEnd = createTempSymbol("func_end");
2520 OutStreamer->emitLabel(CurrentFnEnd);
2521 }
2522
2523 // If the target wants a .size directive for the size of the function, emit
2524 // it.
2525 if (EmitFunctionSize) {
2526 // We can get the size as difference between the function label and the
2527 // temp label.
2528 const MCExpr *SizeExp = MCBinaryExpr::createSub(
2529 MCSymbolRefExpr::create(CurrentFnEnd, OutContext),
2531 OutStreamer->emitELFSize(CurrentFnSym, SizeExp);
2533 OutStreamer->emitELFSize(CurrentFnBeginLocal, SizeExp);
2534 }
2535
2536 // Call endBasicBlockSection on the last block now, if it wasn't already
2537 // called.
2538 if (!MF->back().isEndSection()) {
2539 for (auto &Handler : Handlers)
2540 Handler->endBasicBlockSection(MF->back());
2541 for (auto &Handler : EHHandlers)
2542 Handler->endBasicBlockSection(MF->back());
2543 }
2544 for (auto &Handler : Handlers)
2545 Handler->markFunctionEnd();
2546 for (auto &Handler : EHHandlers)
2547 Handler->markFunctionEnd();
2548 // Update the end label of the entry block's section.
2549 MBBSectionRanges[MF->front().getSectionID()].EndLabel = CurrentFnEnd;
2550
2551 // Print out jump tables referenced by the function.
2553
2554 // Emit post-function debug and/or EH information.
2555 for (auto &Handler : Handlers)
2556 Handler->endFunction(MF);
2557 for (auto &Handler : EHHandlers)
2558 Handler->endFunction(MF);
2559
2560 // Emit section containing BB address offsets and their metadata, when
2561 // BB labels are requested for this function. Skip empty functions.
2562 if (HasAnyRealCode) {
2563 if (MF->getTarget().Options.BBAddrMap)
2565 else if (!PgoAnalysisMapFeatures.empty())
2566 MF->getContext().reportWarning(
2567 SMLoc(), "pgo-analysis-map is enabled for function " + MF->getName() +
2568 " but it does not have labels");
2569 }
2570
2571 // Emit sections containing instruction and function PCs.
2573
2574 // Emit section containing stack size metadata.
2576
2577 // Emit section containing call graph metadata.
2578 emitCallGraphSection(*MF, FuncCGInfo);
2579
2580 // Emit .su file containing function stack size information.
2582
2584
2585 if (isVerbose())
2586 OutStreamer->getCommentOS() << "-- End function\n";
2587
2588 OutStreamer->addBlankLine();
2589}
2590
2591/// Compute the number of Global Variables that uses a Constant.
2592static unsigned getNumGlobalVariableUses(const Constant *C,
2593 bool &HasNonGlobalUsers) {
2594 if (!C) {
2595 HasNonGlobalUsers = true;
2596 return 0;
2597 }
2598
2600 return 1;
2601
2602 unsigned NumUses = 0;
2603 for (const auto *CU : C->users())
2604 NumUses +=
2605 getNumGlobalVariableUses(dyn_cast<Constant>(CU), HasNonGlobalUsers);
2606
2607 return NumUses;
2608}
2609
2610/// Only consider global GOT equivalents if at least one user is a
2611/// cstexpr inside an initializer of another global variables. Also, don't
2612/// handle cstexpr inside instructions. During global variable emission,
2613/// candidates are skipped and are emitted later in case at least one cstexpr
2614/// isn't replaced by a PC relative GOT entry access.
2616 unsigned &NumGOTEquivUsers,
2617 bool &HasNonGlobalUsers) {
2618 // Global GOT equivalents are unnamed private globals with a constant
2619 // pointer initializer to another global symbol. They must point to a
2620 // GlobalVariable or Function, i.e., as GlobalValue.
2621 if (!GV->hasGlobalUnnamedAddr() || !GV->hasInitializer() ||
2622 !GV->isConstant() || !GV->isDiscardableIfUnused() ||
2624 return false;
2625
2626 // To be a got equivalent, at least one of its users need to be a constant
2627 // expression used by another global variable.
2628 for (const auto *U : GV->users())
2629 NumGOTEquivUsers +=
2630 getNumGlobalVariableUses(dyn_cast<Constant>(U), HasNonGlobalUsers);
2631
2632 return NumGOTEquivUsers > 0;
2633}
2634
2635/// Unnamed constant global variables solely contaning a pointer to
2636/// another globals variable is equivalent to a GOT table entry; it contains the
2637/// the address of another symbol. Optimize it and replace accesses to these
2638/// "GOT equivalents" by using the GOT entry for the final global instead.
2639/// Compute GOT equivalent candidates among all global variables to avoid
2640/// emitting them if possible later on, after it use is replaced by a GOT entry
2641/// access.
2643 if (!getObjFileLowering().supportIndirectSymViaGOTPCRel())
2644 return;
2645
2646 for (const auto &G : M.globals()) {
2647 unsigned NumGOTEquivUsers = 0;
2648 bool HasNonGlobalUsers = false;
2649 if (!isGOTEquivalentCandidate(&G, NumGOTEquivUsers, HasNonGlobalUsers))
2650 continue;
2651 // If non-global variables use it, we still need to emit it.
2652 // Add 1 here, then emit it in `emitGlobalGOTEquivs`.
2653 if (HasNonGlobalUsers)
2654 NumGOTEquivUsers += 1;
2655 const MCSymbol *GOTEquivSym = getSymbol(&G);
2656 GlobalGOTEquivs[GOTEquivSym] = std::make_pair(&G, NumGOTEquivUsers);
2657 }
2658}
2659
2660/// Constant expressions using GOT equivalent globals may not be eligible
2661/// for PC relative GOT entry conversion, in such cases we need to emit such
2662/// globals we previously omitted in EmitGlobalVariable.
2664 if (!getObjFileLowering().supportIndirectSymViaGOTPCRel())
2665 return;
2666
2668 for (auto &I : GlobalGOTEquivs) {
2669 const GlobalVariable *GV = I.second.first;
2670 unsigned Cnt = I.second.second;
2671 if (Cnt)
2672 FailedCandidates.push_back(GV);
2673 }
2674 GlobalGOTEquivs.clear();
2675
2676 for (const auto *GV : FailedCandidates)
2678}
2679
2681 MCSymbol *Name = getSymbol(&GA);
2682 const GlobalObject *BaseObject = GA.getAliaseeObject();
2683
2684 bool IsFunction = GA.getValueType()->isFunctionTy();
2685 // Treat bitcasts of functions as functions also. This is important at least
2686 // on WebAssembly where object and function addresses can't alias each other.
2687 if (!IsFunction)
2688 IsFunction = isa_and_nonnull<Function>(BaseObject);
2689
2690 // AIX's assembly directive `.set` is not usable for aliasing purpose,
2691 // so AIX has to use the extra-label-at-definition strategy. At this
2692 // point, all the extra label is emitted, we just have to emit linkage for
2693 // those labels.
2694 if (M.getTargetTriple().isOSBinFormatXCOFF()) {
2695 // Linkage for alias of global variable has been emitted.
2696 if (isa_and_nonnull<GlobalVariable>(BaseObject))
2697 return;
2698
2699 emitLinkage(&GA, Name);
2700 // If it's a function, also emit linkage for aliases of function entry
2701 // point.
2702 if (IsFunction)
2703 emitLinkage(&GA,
2704 getObjFileLowering().getFunctionEntryPointSymbol(&GA, TM));
2705 return;
2706 }
2707
2708 if (GA.hasExternalLinkage() || !MAI.getWeakRefDirective())
2709 OutStreamer->emitSymbolAttribute(Name, MCSA_Global);
2710 else if (GA.hasWeakLinkage() || GA.hasLinkOnceLinkage())
2711 OutStreamer->emitSymbolAttribute(Name, MCSA_WeakReference);
2712 else
2713 assert(GA.hasLocalLinkage() && "Invalid alias linkage");
2714
2715 // Set the symbol type to function if the alias has a function type.
2716 // This affects codegen when the aliasee is not a function.
2717 if (IsFunction) {
2718 OutStreamer->emitSymbolAttribute(Name, MCSA_ELF_TypeFunction);
2719 if (M.getTargetTriple().isOSBinFormatCOFF()) {
2720 OutStreamer->beginCOFFSymbolDef(Name);
2721 OutStreamer->emitCOFFSymbolStorageClass(
2726 OutStreamer->endCOFFSymbolDef();
2727 }
2728 }
2729
2730 emitVisibility(Name, GA.getVisibility());
2731
2732 const MCExpr *Expr = lowerConstant(GA.getAliasee());
2733
2734 if (MAI.isMachO() && isa<MCBinaryExpr>(Expr))
2735 OutStreamer->emitSymbolAttribute(Name, MCSA_AltEntry);
2736
2737 // Emit the directives as assignments aka .set:
2738 OutStreamer->emitAssignment(Name, Expr);
2739 MCSymbol *LocalAlias = getSymbolPreferLocal(GA);
2740 if (LocalAlias != Name)
2741 OutStreamer->emitAssignment(LocalAlias, Expr);
2742
2743 // If the aliasee does not correspond to a symbol in the output, i.e. the
2744 // alias is not of an object or the aliased object is private, then set the
2745 // size of the alias symbol from the type of the alias. We don't do this in
2746 // other situations as the alias and aliasee having differing types but same
2747 // size may be intentional.
2748 if (MAI.hasDotTypeDotSizeDirective() && GA.getValueType()->isSized() &&
2749 (!BaseObject || BaseObject->hasPrivateLinkage())) {
2750 const DataLayout &DL = M.getDataLayout();
2751 uint64_t Size = DL.getTypeAllocSize(GA.getValueType());
2752 OutStreamer->emitELFSize(Name, MCConstantExpr::create(Size, OutContext));
2753 }
2754}
2755
2756void AsmPrinter::emitGlobalIFunc(Module &M, const GlobalIFunc &GI) {
2757 auto EmitLinkage = [&](MCSymbol *Sym) {
2759 OutStreamer->emitSymbolAttribute(Sym, MCSA_Global);
2760 else if (GI.hasWeakLinkage() || GI.hasLinkOnceLinkage())
2761 OutStreamer->emitSymbolAttribute(Sym, MCSA_WeakReference);
2762 else
2763 assert(GI.hasLocalLinkage() && "Invalid ifunc linkage");
2764 };
2765
2766 if (M.getTargetTriple().isOSBinFormatELF()) {
2767 MCSymbol *Name = getSymbol(&GI);
2768 EmitLinkage(Name);
2769 OutStreamer->emitSymbolAttribute(Name, MCSA_ELF_TypeIndFunction);
2770 emitVisibility(Name, GI.getVisibility());
2771
2772 // Emit the directives as assignments aka .set:
2773 const MCExpr *Expr = lowerConstant(GI.getResolver());
2774 OutStreamer->emitAssignment(Name, Expr);
2775 MCSymbol *LocalAlias = getSymbolPreferLocal(GI);
2776 if (LocalAlias != Name)
2777 OutStreamer->emitAssignment(LocalAlias, Expr);
2778
2779 return;
2780 }
2781
2782 if (!M.getTargetTriple().isOSBinFormatMachO() || !getIFuncMCSubtargetInfo())
2783 reportFatalUsageError("IFuncs are not supported on this platform");
2784
2785 // On Darwin platforms, emit a manually-constructed .symbol_resolver that
2786 // implements the symbol resolution duties of the IFunc.
2787 //
2788 // Normally, this would be handled by linker magic, but unfortunately there
2789 // are a few limitations in ld64 and ld-prime's implementation of
2790 // .symbol_resolver that mean we can't always use them:
2791 //
2792 // * resolvers cannot be the target of an alias
2793 // * resolvers cannot have private linkage
2794 // * resolvers cannot have linkonce linkage
2795 // * resolvers cannot appear in executables
2796 // * resolvers cannot appear in bundles
2797 //
2798 // This works around that by emitting a close approximation of what the
2799 // linker would have done.
2800
2801 MCSymbol *LazyPointer =
2802 GetExternalSymbolSymbol(GI.getName() + ".lazy_pointer");
2803 MCSymbol *StubHelper = GetExternalSymbolSymbol(GI.getName() + ".stub_helper");
2804
2805 OutStreamer->switchSection(OutContext.getObjectFileInfo()->getDataSection());
2806
2807 const DataLayout &DL = M.getDataLayout();
2808 emitAlignment(Align(DL.getPointerSize()));
2809 OutStreamer->emitLabel(LazyPointer);
2810 emitVisibility(LazyPointer, GI.getVisibility());
2811 OutStreamer->emitValue(MCSymbolRefExpr::create(StubHelper, OutContext), 8);
2812
2813 OutStreamer->switchSection(OutContext.getObjectFileInfo()->getTextSection());
2814
2815 const TargetSubtargetInfo *STI =
2816 TM.getSubtargetImpl(*GI.getResolverFunction());
2817 const TargetLowering *TLI = STI->getTargetLowering();
2818 Align TextAlign(TLI->getMinFunctionAlignment());
2819
2820 MCSymbol *Stub = getSymbol(&GI);
2821 EmitLinkage(Stub);
2822 OutStreamer->emitCodeAlignment(TextAlign, *getIFuncMCSubtargetInfo());
2823 OutStreamer->emitLabel(Stub);
2824 emitVisibility(Stub, GI.getVisibility());
2825 emitMachOIFuncStubBody(M, GI, LazyPointer);
2826
2827 OutStreamer->emitCodeAlignment(TextAlign, *getIFuncMCSubtargetInfo());
2828 OutStreamer->emitLabel(StubHelper);
2829 emitVisibility(StubHelper, GI.getVisibility());
2830 emitMachOIFuncStubHelperBody(M, GI, LazyPointer);
2831}
2832
2834 if (!RS.wantsSection())
2835 return;
2836 if (!RS.getFilename())
2837 return;
2838
2839 MCSection *RemarksSection =
2840 OutContext.getObjectFileInfo()->getRemarksSection();
2841 if (!RemarksSection && RS.needsSection()) {
2842 OutContext.reportWarning(SMLoc(), "Current object file format does not "
2843 "support remarks sections.");
2844 }
2845 if (!RemarksSection)
2846 return;
2847
2848 SmallString<128> Filename = *RS.getFilename();
2850 assert(!Filename.empty() && "The filename can't be empty.");
2851
2852 std::string Buf;
2853 raw_string_ostream OS(Buf);
2854
2855 remarks::RemarkSerializer &RemarkSerializer = RS.getSerializer();
2856 std::unique_ptr<remarks::MetaSerializer> MetaSerializer =
2857 RemarkSerializer.metaSerializer(OS, Filename);
2858 MetaSerializer->emit();
2859
2860 // Switch to the remarks section.
2861 OutStreamer->switchSection(RemarksSection);
2862 OutStreamer->emitBinaryData(Buf);
2863}
2864
2866 const Constant *Initializer = G.getInitializer();
2867 return G.getDataLayout().getTypeAllocSize(Initializer->getType());
2868}
2869
2871 // We used to do this in clang, but there are optimization passes that turn
2872 // non-constant globals into constants. So now, clang only tells us whether
2873 // it would *like* a global to be tagged, but we still make the decision here.
2874 //
2875 // For now, don't instrument constant data, as it'll be in .rodata anyway. It
2876 // may be worth instrumenting these in future to stop them from being used as
2877 // gadgets.
2878 if (G.getName().starts_with("llvm.") || G.isThreadLocal() || G.isConstant())
2879 return false;
2880
2881 // Globals can be placed implicitly or explicitly in sections. There's two
2882 // different types of globals that meet this criteria that cause problems:
2883 // 1. Function pointers that are going into various init arrays (either
2884 // explicitly through `__attribute__((section(<foo>)))` or implicitly
2885 // through `__attribute__((constructor)))`, such as ".(pre)init(_array)",
2886 // ".fini(_array)", ".ctors", and ".dtors". These function pointers end up
2887 // overaligned and overpadded, making iterating over them problematic, and
2888 // each function pointer is individually tagged (so the iteration over
2889 // them causes SIGSEGV/MTE[AS]ERR).
2890 // 2. Global variables put into an explicit section, where the section's name
2891 // is a valid C-style identifier. The linker emits a `__start_<name>` and
2892 // `__stop_<name>` symbol for the section, so that you can iterate over
2893 // globals within this section. Unfortunately, again, these globals would
2894 // be tagged and so iteration causes SIGSEGV/MTE[AS]ERR.
2895 //
2896 // To mitigate both these cases, and because specifying a section is rare
2897 // outside of these two cases, disable MTE protection for globals in any
2898 // section.
2899 if (G.hasSection())
2900 return false;
2901
2902 return globalSize(G) > 0;
2903}
2904
2906 uint64_t SizeInBytes = globalSize(*G);
2907
2908 uint64_t NewSize = alignTo(SizeInBytes, 16);
2909 if (SizeInBytes != NewSize) {
2910 // Pad the initializer out to the next multiple of 16 bytes.
2911 llvm::SmallVector<uint8_t> Init(NewSize - SizeInBytes, 0);
2912 Constant *Padding = ConstantDataArray::get(M.getContext(), Init);
2913 Constant *Initializer = G->getInitializer();
2914 Initializer = ConstantStruct::getAnon({Initializer, Padding});
2915 auto *NewGV = new GlobalVariable(
2916 M, Initializer->getType(), G->isConstant(), G->getLinkage(),
2917 Initializer, "", G, G->getThreadLocalMode(), G->getAddressSpace());
2918 NewGV->copyAttributesFrom(G);
2919 NewGV->setComdat(G->getComdat());
2920 NewGV->copyMetadata(G, 0);
2921
2922 NewGV->takeName(G);
2923 G->replaceAllUsesWith(NewGV);
2924 G->eraseFromParent();
2925 G = NewGV;
2926 }
2927
2928 if (G->getAlign().valueOrOne() < 16)
2929 G->setAlignment(Align(16));
2930
2931 // Ensure that tagged globals don't get merged by ICF - as they should have
2932 // different tags at runtime.
2933 G->setUnnamedAddr(GlobalValue::UnnamedAddr::None);
2934}
2935
2937 auto Meta = G.getSanitizerMetadata();
2938 Meta.Memtag = false;
2939 G.setSanitizerMetadata(Meta);
2940}
2941
2943 // Set the MachineFunction to nullptr so that we can catch attempted
2944 // accesses to MF specific features at the module level and so that
2945 // we can conditionalize accesses based on whether or not it is nullptr.
2946 MF = nullptr;
2947 const Triple &Target = M.getTargetTriple();
2948
2949 std::vector<GlobalVariable *> GlobalsToTag;
2950 for (GlobalVariable &G : M.globals()) {
2951 if (G.isDeclaration() || !G.isTagged())
2952 continue;
2953 if (!shouldTagGlobal(G)) {
2954 assert(G.hasSanitizerMetadata()); // because isTagged.
2956 assert(!G.isTagged());
2957 continue;
2958 }
2959 GlobalsToTag.push_back(&G);
2960 }
2961 for (GlobalVariable *G : GlobalsToTag)
2963
2964 // Gather all GOT equivalent globals in the module. We really need two
2965 // passes over the globals: one to compute and another to avoid its emission
2966 // in EmitGlobalVariable, otherwise we would not be able to handle cases
2967 // where the got equivalent shows up before its use.
2969
2970 // Emit global variables.
2971 for (const auto &G : M.globals())
2973
2974 // Emit remaining GOT equivalent globals.
2976
2978
2979 // Emit linkage(XCOFF) and visibility info for declarations
2980 for (const Function &F : M) {
2981 if (!F.isDeclarationForLinker())
2982 continue;
2983
2984 MCSymbol *Name = getSymbol(&F);
2985 // Function getSymbol gives us the function descriptor symbol for XCOFF.
2986
2987 if (!Target.isOSBinFormatXCOFF()) {
2988 GlobalValue::VisibilityTypes V = F.getVisibility();
2990 continue;
2991
2992 emitVisibility(Name, V, false);
2993 continue;
2994 }
2995
2996 if (F.isIntrinsic())
2997 continue;
2998
2999 // Handle the XCOFF case.
3000 // Variable `Name` is the function descriptor symbol (see above). Get the
3001 // function entry point symbol.
3002 MCSymbol *FnEntryPointSym = TLOF.getFunctionEntryPointSymbol(&F, TM);
3003 // Emit linkage for the function entry point.
3004 emitLinkage(&F, FnEntryPointSym);
3005
3006 // If a function's address is taken, which means it may be called via a
3007 // function pointer, we need the function descriptor for it.
3008 if (F.hasAddressTaken())
3009 emitLinkage(&F, Name);
3010 }
3011
3012 // Emit the remarks section contents.
3013 // FIXME: Figure out when is the safest time to emit this section. It should
3014 // not come after debug info.
3015 if (remarks::RemarkStreamer *RS = M.getContext().getMainRemarkStreamer())
3016 emitRemarksSection(*RS);
3017
3019
3020 if (Target.isOSBinFormatELF()) {
3021 MachineModuleInfoELF &MMIELF = MMI->getObjFileInfo<MachineModuleInfoELF>();
3022
3023 // Output stubs for external and common global variables.
3025 if (!Stubs.empty()) {
3026 OutStreamer->switchSection(TLOF.getDataSection());
3027 const DataLayout &DL = M.getDataLayout();
3028
3029 emitAlignment(Align(DL.getPointerSize()));
3030 for (const auto &Stub : Stubs) {
3031 OutStreamer->emitLabel(Stub.first);
3032 OutStreamer->emitSymbolValue(Stub.second.getPointer(),
3033 DL.getPointerSize());
3034 }
3035 }
3036 }
3037
3038 if (Target.isOSBinFormatCOFF()) {
3039 MachineModuleInfoCOFF &MMICOFF =
3040 MMI->getObjFileInfo<MachineModuleInfoCOFF>();
3041
3042 // Output stubs for external and common global variables.
3044 if (!Stubs.empty()) {
3045 const DataLayout &DL = M.getDataLayout();
3046
3047 for (const auto &Stub : Stubs) {
3049 SectionName += Stub.first->getName();
3050 OutStreamer->switchSection(OutContext.getCOFFSection(
3054 Stub.first->getName(), COFF::IMAGE_COMDAT_SELECT_ANY));
3055 emitAlignment(Align(DL.getPointerSize()));
3056 OutStreamer->emitSymbolAttribute(Stub.first, MCSA_Global);
3057 OutStreamer->emitLabel(Stub.first);
3058 OutStreamer->emitSymbolValue(Stub.second.getPointer(),
3059 DL.getPointerSize());
3060 }
3061 }
3062 }
3063
3064 // This needs to happen before emitting debug information since that can end
3065 // arbitrary sections.
3066 if (auto *TS = OutStreamer->getTargetStreamer())
3067 TS->emitConstantPools();
3068
3069 // Emit Stack maps before any debug info. Mach-O requires that no data or
3070 // text sections come after debug info has been emitted. This matters for
3071 // stack maps as they are arbitrary data, and may even have a custom format
3072 // through user plugins.
3073 EmitStackMaps(M);
3074
3075 // Print aliases in topological order, that is, for each alias a = b,
3076 // b must be printed before a.
3077 // This is because on some targets (e.g. PowerPC) linker expects aliases in
3078 // such an order to generate correct TOC information.
3081 for (const auto &Alias : M.aliases()) {
3082 if (Alias.hasAvailableExternallyLinkage())
3083 continue;
3084 for (const GlobalAlias *Cur = &Alias; Cur;
3085 Cur = dyn_cast<GlobalAlias>(Cur->getAliasee())) {
3086 if (!AliasVisited.insert(Cur).second)
3087 break;
3088 AliasStack.push_back(Cur);
3089 }
3090 for (const GlobalAlias *AncestorAlias : llvm::reverse(AliasStack))
3091 emitGlobalAlias(M, *AncestorAlias);
3092 AliasStack.clear();
3093 }
3094
3095 // IFuncs must come before deubginfo in case the backend decides to emit them
3096 // as actual functions, since on Mach-O targets, we cannot create regular
3097 // sections after DWARF.
3098 for (const auto &IFunc : M.ifuncs())
3099 emitGlobalIFunc(M, IFunc);
3100 if (M.getTargetTriple().isOSBinFormatXCOFF() && hasDebugInfo()) {
3101 // Emit section end. This is used to tell the debug line section where the
3102 // end is for a text section if we don't use .loc to represent the debug
3103 // line.
3104 auto *Sec = OutContext.getObjectFileInfo()->getTextSection();
3105 OutStreamer->switchSectionNoPrint(Sec);
3106 MCSymbol *Sym = Sec->getEndSymbol(OutContext);
3107 OutStreamer->emitLabel(Sym);
3108 }
3109
3110 // Finalize debug and EH information.
3111 for (auto &Handler : Handlers)
3112 Handler->endModule();
3113 for (auto &Handler : EHHandlers)
3114 Handler->endModule();
3115
3116 // This deletes all the ephemeral handlers that AsmPrinter added, while
3117 // keeping all the user-added handlers alive until the AsmPrinter is
3118 // destroyed.
3119 EHHandlers.clear();
3120 Handlers.erase(Handlers.begin() + NumUserHandlers, Handlers.end());
3121 DD = nullptr;
3122
3123 // If the target wants to know about weak references, print them all.
3124 if (MAI.getWeakRefDirective()) {
3125 // FIXME: This is not lazy, it would be nice to only print weak references
3126 // to stuff that is actually used. Note that doing so would require targets
3127 // to notice uses in operands (due to constant exprs etc). This should
3128 // happen with the MC stuff eventually.
3129
3130 // Print out module-level global objects here.
3131 for (const auto &GO : M.global_objects()) {
3132 if (!GO.hasExternalWeakLinkage())
3133 continue;
3134 OutStreamer->emitSymbolAttribute(getSymbol(&GO), MCSA_WeakReference);
3135 }
3137 auto SymbolName = "swift_async_extendedFramePointerFlags";
3138 auto Global = M.getGlobalVariable(SymbolName);
3139 if (!Global) {
3140 auto PtrTy = PointerType::getUnqual(M.getContext());
3141 Global = new GlobalVariable(M, PtrTy, false,
3143 SymbolName);
3144 OutStreamer->emitSymbolAttribute(getSymbol(Global), MCSA_WeakReference);
3145 }
3146 }
3147 }
3148
3150
3151 // Emit llvm.ident metadata in an '.ident' directive.
3152 emitModuleIdents(M);
3153
3154 // Emit bytes for llvm.commandline metadata.
3155 // The command line metadata is emitted earlier on XCOFF.
3156 if (!Target.isOSBinFormatXCOFF())
3157 emitModuleCommandLines(M);
3158
3159 // Emit .note.GNU-split-stack and .note.GNU-no-split-stack sections if
3160 // split-stack is used.
3161 if (M.getTargetTriple().isOSBinFormatELF() && HasSplitStack) {
3162 OutStreamer->switchSection(OutContext.getELFSection(".note.GNU-split-stack",
3163 ELF::SHT_PROGBITS, 0));
3164 if (HasNoSplitStack)
3165 OutStreamer->switchSection(OutContext.getELFSection(
3166 ".note.GNU-no-split-stack", ELF::SHT_PROGBITS, 0));
3167 }
3168
3169 // If we don't have any trampolines, then we don't require stack memory
3170 // to be executable. Some targets have a directive to declare this.
3171 Function *InitTrampolineIntrinsic = M.getFunction("llvm.init.trampoline");
3172 bool HasTrampolineUses =
3173 InitTrampolineIntrinsic && !InitTrampolineIntrinsic->use_empty();
3174 MCSection *S = MAI.getStackSection(OutContext, /*Exec=*/HasTrampolineUses);
3175 if (S)
3176 OutStreamer->switchSection(S);
3177
3178 if (TM.Options.EmitAddrsig) {
3179 // Emit address-significance attributes for all globals.
3180 OutStreamer->emitAddrsig();
3181 for (const GlobalValue &GV : M.global_values()) {
3182 if (!GV.use_empty() && !GV.isThreadLocal() &&
3183 !GV.hasDLLImportStorageClass() &&
3184 !GV.getName().starts_with("llvm.") &&
3185 !GV.hasAtLeastLocalUnnamedAddr())
3186 OutStreamer->emitAddrsigSym(getSymbol(&GV));
3187 }
3188 }
3189
3190 // Emit symbol partition specifications (ELF only).
3191 if (Target.isOSBinFormatELF()) {
3192 unsigned UniqueID = 0;
3193 for (const GlobalValue &GV : M.global_values()) {
3194 if (!GV.hasPartition() || GV.isDeclarationForLinker() ||
3195 GV.getVisibility() != GlobalValue::DefaultVisibility)
3196 continue;
3197
3198 OutStreamer->switchSection(
3199 OutContext.getELFSection(".llvm_sympart", ELF::SHT_LLVM_SYMPART, 0, 0,
3200 "", false, ++UniqueID, nullptr));
3201 OutStreamer->emitBytes(GV.getPartition());
3202 OutStreamer->emitZeros(1);
3203 OutStreamer->emitValue(
3205 MAI.getCodePointerSize());
3206 }
3207 }
3208
3209 // Allow the target to emit any magic that it wants at the end of the file,
3210 // after everything else has gone out.
3212
3213 MMI = nullptr;
3214 AddrLabelSymbols = nullptr;
3215
3216 OutStreamer->finish();
3217 OutStreamer->reset();
3218 OwnedMLI.reset();
3219 OwnedMDT.reset();
3220
3221 return false;
3222}
3223
3225 auto Res = MBBSectionExceptionSyms.try_emplace(MBB.getSectionID());
3226 if (Res.second)
3227 Res.first->second = createTempSymbol("exception");
3228 return Res.first->second;
3229}
3230
3232 MCContext &Ctx = MF->getContext();
3233 MCSymbol *Sym = Ctx.createTempSymbol("BB" + Twine(MF->getFunctionNumber()) +
3234 "_" + Twine(MBB.getNumber()) + "_CS");
3235 CurrentFnCallsiteEndSymbols[&MBB].push_back(Sym);
3236 return Sym;
3237}
3238
3240 this->MF = &MF;
3241 const Function &F = MF.getFunction();
3242
3243 // Record that there are split-stack functions, so we will emit a special
3244 // section to tell the linker.
3245 if (MF.shouldSplitStack()) {
3246 HasSplitStack = true;
3247
3248 if (!MF.getFrameInfo().needsSplitStackProlog())
3249 HasNoSplitStack = true;
3250 } else
3251 HasNoSplitStack = true;
3252
3253 // Get the function symbol.
3254 if (!MAI.isAIX()) {
3255 CurrentFnSym = getSymbol(&MF.getFunction());
3256 } else {
3257 assert(TM.getTargetTriple().isOSAIX() &&
3258 "Only AIX uses the function descriptor hooks.");
3259 // AIX is unique here in that the name of the symbol emitted for the
3260 // function body does not have the same name as the source function's
3261 // C-linkage name.
3262 assert(CurrentFnDescSym && "The function descriptor symbol needs to be"
3263 " initalized first.");
3264
3265 // Get the function entry point symbol.
3267 }
3268
3270 CurrentFnBegin = nullptr;
3271 CurrentFnBeginLocal = nullptr;
3272 CurrentFnEnd = nullptr;
3273 CurrentSectionBeginSym = nullptr;
3275 MBBSectionRanges.clear();
3276 MBBSectionExceptionSyms.clear();
3277 bool NeedsLocalForSize = MAI.needsLocalForSize();
3278 if (F.hasFnAttribute("patchable-function-entry") ||
3279 F.hasFnAttribute("tail-pad-to-size") ||
3280 F.hasFnAttribute("function-instrument") ||
3281 F.hasFnAttribute("xray-instruction-threshold") ||
3282 needFuncLabels(MF, *this) || NeedsLocalForSize ||
3283 MF.getTarget().Options.EmitStackSizeSection ||
3284 MF.getTarget().Options.EmitCallGraphSection ||
3285 MF.getTarget().Options.BBAddrMap) {
3286 CurrentFnBegin = createTempSymbol("func_begin");
3287 if (NeedsLocalForSize)
3289 }
3290
3291 ORE = GetORE(MF);
3292}
3293
3294namespace {
3295
3296// Keep track the alignment, constpool entries per Section.
3297 struct SectionCPs {
3298 MCSection *S;
3299 Align Alignment;
3301
3302 SectionCPs(MCSection *s, Align a) : S(s), Alignment(a) {}
3303 };
3304
3305} // end anonymous namespace
3306
3308 if (TM.Options.EnableStaticDataPartitioning && C && SDPI && PSI)
3309 return SDPI->getConstantSectionPrefix(C, PSI);
3310
3311 return "";
3312}
3313
3314/// EmitConstantPool - Print to the current output stream assembly
3315/// representations of the constants in the constant pool MCP. This is
3316/// used to print out constants which have been "spilled to memory" by
3317/// the code generator.
3319 const MachineConstantPool *MCP = MF->getConstantPool();
3320 const std::vector<MachineConstantPoolEntry> &CP = MCP->getConstants();
3321 if (CP.empty()) return;
3322
3323 // Calculate sections for constant pool entries. We collect entries to go into
3324 // the same section together to reduce amount of section switch statements.
3325 SmallVector<SectionCPs, 4> CPSections;
3326 for (unsigned i = 0, e = CP.size(); i != e; ++i) {
3327 const MachineConstantPoolEntry &CPE = CP[i];
3328 Align Alignment = CPE.getAlign();
3329
3331
3332 const Constant *C = nullptr;
3333 if (!CPE.isMachineConstantPoolEntry())
3334 C = CPE.Val.ConstVal;
3335
3337 getDataLayout(), Kind, C, Alignment, &MF->getFunction(),
3339
3340 // The number of sections are small, just do a linear search from the
3341 // last section to the first.
3342 bool Found = false;
3343 unsigned SecIdx = CPSections.size();
3344 while (SecIdx != 0) {
3345 if (CPSections[--SecIdx].S == S) {
3346 Found = true;
3347 break;
3348 }
3349 }
3350 if (!Found) {
3351 SecIdx = CPSections.size();
3352 CPSections.push_back(SectionCPs(S, Alignment));
3353 }
3354
3355 if (Alignment > CPSections[SecIdx].Alignment)
3356 CPSections[SecIdx].Alignment = Alignment;
3357 CPSections[SecIdx].CPEs.push_back(i);
3358 }
3359
3360 // Now print stuff into the calculated sections.
3361 const MCSection *CurSection = nullptr;
3362 unsigned Offset = 0;
3363 for (const SectionCPs &CPSection : CPSections) {
3364 for (unsigned CPI : CPSection.CPEs) {
3365 MCSymbol *Sym = GetCPISymbol(CPI);
3366 if (!Sym->isUndefined())
3367 continue;
3368
3369 if (CurSection != CPSection.S) {
3370 OutStreamer->switchSection(CPSection.S);
3371 emitAlignment(Align(CPSection.Alignment));
3372 CurSection = CPSection.S;
3373 Offset = 0;
3374 }
3375
3376 MachineConstantPoolEntry CPE = CP[CPI];
3377
3378 // Emit inter-object padding for alignment.
3379 unsigned NewOffset = alignTo(Offset, CPE.getAlign());
3380 OutStreamer->emitZeros(NewOffset - Offset);
3381
3382 if (MAI.hasDotTypeDotSizeDirective())
3383 OutStreamer->emitSymbolAttribute(Sym, MCSA_ELF_TypeObject);
3384 OutStreamer->emitLabel(Sym);
3385
3388 else
3390
3391 unsigned EntrySize = CPE.getSizeInBytes(getDataLayout());
3392 if (MAI.hasDotTypeDotSizeDirective())
3393 OutStreamer->emitELFSize(Sym,
3395
3396 Offset = NewOffset + EntrySize;
3397 }
3398 }
3399}
3400
3401// Print assembly representations of the jump tables used by the current
3402// function.
3404 const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
3405 if (!MJTI) return;
3406
3407 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
3408 if (JT.empty()) return;
3409
3410 if (!TM.Options.EnableStaticDataPartitioning) {
3411 emitJumpTableImpl(*MJTI, llvm::to_vector(llvm::seq<unsigned>(JT.size())));
3412 return;
3413 }
3414
3415 SmallVector<unsigned> HotJumpTableIndices, ColdJumpTableIndices;
3416 // When static data partitioning is enabled, collect jump table entries that
3417 // go into the same section together to reduce the amount of section switch
3418 // statements.
3419 for (unsigned JTI = 0, JTSize = JT.size(); JTI < JTSize; ++JTI) {
3420 if (JT[JTI].Hotness == MachineFunctionDataHotness::Cold) {
3421 ColdJumpTableIndices.push_back(JTI);
3422 } else {
3423 HotJumpTableIndices.push_back(JTI);
3424 }
3425 }
3426
3427 emitJumpTableImpl(*MJTI, HotJumpTableIndices);
3428 emitJumpTableImpl(*MJTI, ColdJumpTableIndices);
3429}
3430
3431void AsmPrinter::emitJumpTableImpl(const MachineJumpTableInfo &MJTI,
3432 ArrayRef<unsigned> JumpTableIndices) {
3434 JumpTableIndices.empty())
3435 return;
3436
3438 const Function &F = MF->getFunction();
3439 const std::vector<MachineJumpTableEntry> &JT = MJTI.getJumpTables();
3440 MCSection *JumpTableSection = nullptr;
3441
3442 const bool UseLabelDifference =
3445 // Pick the directive to use to print the jump table entries, and switch to
3446 // the appropriate section.
3447 const bool JTInDiffSection =
3448 !TLOF.shouldPutJumpTableInFunctionSection(UseLabelDifference, F);
3449 if (JTInDiffSection) {
3451 JumpTableSection =
3452 TLOF.getSectionForJumpTable(F, TM, &JT[JumpTableIndices.front()]);
3453 } else {
3454 JumpTableSection = TLOF.getSectionForJumpTable(F, TM);
3455 }
3456 OutStreamer->switchSection(JumpTableSection);
3457 }
3458
3459 const DataLayout &DL = MF->getDataLayout();
3461
3462 // Jump tables in code sections are marked with a data_region directive
3463 // where that's supported.
3464 if (!JTInDiffSection)
3465 OutStreamer->emitDataRegion(MCDR_DataRegionJT32);
3466
3467 for (const unsigned JumpTableIndex : JumpTableIndices) {
3468 ArrayRef<MachineBasicBlock *> JTBBs = JT[JumpTableIndex].MBBs;
3469
3470 // If this jump table was deleted, ignore it.
3471 if (JTBBs.empty())
3472 continue;
3473
3474 // For the EK_LabelDifference32 entry, if using .set avoids a relocation,
3475 /// emit a .set directive for each unique entry.
3477 MAI.doesSetDirectiveSuppressReloc()) {
3478 SmallPtrSet<const MachineBasicBlock *, 16> EmittedSets;
3479 const TargetLowering *TLI = MF->getSubtarget().getTargetLowering();
3480 const MCExpr *Base =
3481 TLI->getPICJumpTableRelocBaseExpr(MF, JumpTableIndex, OutContext);
3482 for (const MachineBasicBlock *MBB : JTBBs) {
3483 if (!EmittedSets.insert(MBB).second)
3484 continue;
3485
3486 // .set LJTSet, LBB32-base
3487 const MCExpr *LHS =
3489 OutStreamer->emitAssignment(
3490 GetJTSetSymbol(JumpTableIndex, MBB->getNumber()),
3492 }
3493 }
3494
3495 // On some targets (e.g. Darwin) we want to emit two consecutive labels
3496 // before each jump table. The first label is never referenced, but tells
3497 // the assembler and linker the extents of the jump table object. The
3498 // second label is actually referenced by the code.
3499 if (JTInDiffSection && DL.hasLinkerPrivateGlobalPrefix())
3500 // FIXME: This doesn't have to have any specific name, just any randomly
3501 // named and numbered local label started with 'l' would work. Simplify
3502 // GetJTISymbol.
3503 OutStreamer->emitLabel(GetJTISymbol(JumpTableIndex, true));
3504
3505 MCSymbol *JTISymbol = GetJTISymbol(JumpTableIndex);
3506 if (JTInDiffSection && MAI.hasDotTypeDotSizeDirective())
3507 OutStreamer->emitSymbolAttribute(JTISymbol, MCSA_ELF_TypeObject);
3508 OutStreamer->emitLabel(JTISymbol);
3509
3510 // Defer MCAssembler based constant folding due to a performance issue. The
3511 // label differences will be evaluated at write time.
3512 for (const MachineBasicBlock *MBB : JTBBs)
3513 emitJumpTableEntry(MJTI, MBB, JumpTableIndex);
3514
3515 if (JTInDiffSection && MAI.hasDotTypeDotSizeDirective())
3516 OutStreamer->emitELFSize(
3517 JTISymbol, MCConstantExpr::create(
3518 JTBBs.size() * MJTI.getEntrySize(DL), OutContext));
3519 }
3520
3522 emitJumpTableSizesSection(MJTI, MF->getFunction());
3523
3524 if (!JTInDiffSection)
3525 OutStreamer->emitDataRegion(MCDR_DataRegionEnd);
3526}
3527
3528void AsmPrinter::emitJumpTableSizesSection(const MachineJumpTableInfo &MJTI,
3529 const Function &F) const {
3530 const std::vector<MachineJumpTableEntry> &JT = MJTI.getJumpTables();
3531
3532 if (JT.empty())
3533 return;
3534
3535 StringRef GroupName = F.hasComdat() ? F.getComdat()->getName() : "";
3536 MCSection *JumpTableSizesSection = nullptr;
3537 StringRef sectionName = ".llvm_jump_table_sizes";
3538
3539 bool isElf = TM.getTargetTriple().isOSBinFormatELF();
3540 bool isCoff = TM.getTargetTriple().isOSBinFormatCOFF();
3541
3542 if (!isCoff && !isElf)
3543 return;
3544
3545 if (isElf) {
3546 auto *LinkedToSym = static_cast<MCSymbolELF *>(CurrentFnSym);
3547 int Flags = F.hasComdat() ? static_cast<int>(ELF::SHF_GROUP) : 0;
3548
3549 JumpTableSizesSection = OutContext.getELFSection(
3550 sectionName, ELF::SHT_LLVM_JT_SIZES, Flags, 0, GroupName, F.hasComdat(),
3551 MCSection::NonUniqueID, LinkedToSym);
3552 } else if (isCoff) {
3553 if (F.hasComdat()) {
3554 JumpTableSizesSection = OutContext.getCOFFSection(
3555 sectionName,
3558 F.getComdat()->getName(), COFF::IMAGE_COMDAT_SELECT_ASSOCIATIVE);
3559 } else {
3560 JumpTableSizesSection = OutContext.getCOFFSection(
3564 }
3565 }
3566
3567 OutStreamer->switchSection(JumpTableSizesSection);
3568
3569 const DataLayout &DL = getDataLayout();
3570 unsigned ProgramPointerSize = DL.getPointerSize(DL.getProgramAddressSpace());
3571 for (unsigned JTI = 0, E = JT.size(); JTI != E; ++JTI) {
3572 const std::vector<MachineBasicBlock *> &JTBBs = JT[JTI].MBBs;
3573 OutStreamer->emitSymbolValue(GetJTISymbol(JTI), ProgramPointerSize);
3574 OutStreamer->emitIntValue(JTBBs.size(), ProgramPointerSize);
3575 }
3576}
3577
3578/// EmitJumpTableEntry - Emit a jump table entry for the specified MBB to the
3579/// current stream.
3581 const MachineBasicBlock *MBB,
3582 unsigned UID) const {
3583 assert(MBB && MBB->getNumber() >= 0 && "Invalid basic block");
3584 const MCExpr *Value = nullptr;
3585 switch (MJTI.getEntryKind()) {
3587 llvm_unreachable("Cannot emit EK_Inline jump table entry");
3590 llvm_unreachable("MIPS specific");
3592 Value = MF->getSubtarget().getTargetLowering()->LowerCustomJumpTableEntry(
3593 &MJTI, MBB, UID, OutContext);
3594 break;
3596 // EK_BlockAddress - Each entry is a plain address of block, e.g.:
3597 // .word LBB123
3599 break;
3600
3603 // Each entry is the address of the block minus the address of the jump
3604 // table. This is used for PIC jump tables where gprel32 is not supported.
3605 // e.g.:
3606 // .word LBB123 - LJTI1_2
3607 // If the .set directive avoids relocations, this is emitted as:
3608 // .set L4_5_set_123, LBB123 - LJTI1_2
3609 // .word L4_5_set_123
3611 MAI.doesSetDirectiveSuppressReloc()) {
3612 Value = MCSymbolRefExpr::create(GetJTSetSymbol(UID, MBB->getNumber()),
3613 OutContext);
3614 break;
3615 }
3617 const TargetLowering *TLI = MF->getSubtarget().getTargetLowering();
3620 break;
3621 }
3622 }
3623
3624 assert(Value && "Unknown entry kind!");
3625
3626 unsigned EntrySize = MJTI.getEntrySize(getDataLayout());
3627 OutStreamer->emitValue(Value, EntrySize);
3628}
3629
3630/// EmitSpecialLLVMGlobal - Check to see if the specified global is a
3631/// special global used by LLVM. If so, emit it and return true, otherwise
3632/// do nothing and return false.
3634 if (GV->getName() == "llvm.used") {
3635 if (MAI.hasNoDeadStrip()) // No need to emit this at all.
3636 emitLLVMUsedList(cast<ConstantArray>(GV->getInitializer()));
3637 return true;
3638 }
3639
3640 // Ignore debug and non-emitted data. This handles llvm.compiler.used.
3641 if (GV->getSection() == "llvm.metadata" ||
3643 return true;
3644
3645 if (GV->getName() == "llvm.arm64ec.symbolmap") {
3646 // For ARM64EC, print the table that maps between symbols and the
3647 // corresponding thunks to translate between x64 and AArch64 code.
3648 // This table is generated by AArch64Arm64ECCallLowering.
3649 OutStreamer->switchSection(
3650 OutContext.getCOFFSection(".hybmp$x", COFF::IMAGE_SCN_LNK_INFO));
3651 auto *Arr = cast<ConstantArray>(GV->getInitializer());
3652 for (auto &U : Arr->operands()) {
3653 auto *C = cast<Constant>(U);
3654 auto *Src = cast<GlobalValue>(C->getOperand(0)->stripPointerCasts());
3655 auto *Dst = cast<GlobalValue>(C->getOperand(1)->stripPointerCasts());
3656 int Kind = cast<ConstantInt>(C->getOperand(2))->getZExtValue();
3657
3658 if (Src->hasDLLImportStorageClass()) {
3659 // For now, we assume dllimport functions aren't directly called.
3660 // (We might change this later to match MSVC.)
3661 OutStreamer->emitCOFFSymbolIndex(
3662 OutContext.getOrCreateSymbol("__imp_" + Src->getName()));
3663 OutStreamer->emitCOFFSymbolIndex(getSymbol(Dst));
3664 OutStreamer->emitInt32(Kind);
3665 } else {
3666 // FIXME: For non-dllimport functions, MSVC emits the same entry
3667 // twice, for reasons I don't understand. I have to assume the linker
3668 // ignores the redundant entry; there aren't any reasonable semantics
3669 // to attach to it.
3670 OutStreamer->emitCOFFSymbolIndex(getSymbol(Src));
3671 OutStreamer->emitCOFFSymbolIndex(getSymbol(Dst));
3672 OutStreamer->emitInt32(Kind);
3673 }
3674 }
3675 return true;
3676 }
3677
3678 if (!GV->hasAppendingLinkage()) return false;
3679
3680 assert(GV->hasInitializer() && "Not a special LLVM global!");
3681
3682 if (GV->getName() == "llvm.global_ctors") {
3684 /* isCtor */ true);
3685
3686 return true;
3687 }
3688
3689 if (GV->getName() == "llvm.global_dtors") {
3691 /* isCtor */ false);
3692
3693 return true;
3694 }
3695
3696 GV->getContext().emitError(
3697 "unknown special variable with appending linkage: " +
3698 GV->getNameOrAsOperand());
3699 return true;
3700}
3701
3702/// EmitLLVMUsedList - For targets that define a MAI::UsedDirective, mark each
3703/// global in the specified llvm.used list.
3704void AsmPrinter::emitLLVMUsedList(const ConstantArray *InitList) {
3705 // Should be an array of 'i8*'.
3706 for (unsigned i = 0, e = InitList->getNumOperands(); i != e; ++i) {
3707 const GlobalValue *GV =
3709 if (GV)
3710 OutStreamer->emitSymbolAttribute(getSymbol(GV), MCSA_NoDeadStrip);
3711 }
3712}
3713
3715 const Constant *List,
3716 SmallVector<Structor, 8> &Structors) {
3717 // Should be an array of '{ i32, void ()*, i8* }' structs. The first value is
3718 // the init priority.
3720 return;
3721
3722 // Gather the structors in a form that's convenient for sorting by priority.
3723 for (Value *O : cast<ConstantArray>(List)->operands()) {
3724 auto *CS = cast<ConstantStruct>(O);
3725 if (CS->getOperand(1)->isNullValue())
3726 break; // Found a null terminator, skip the rest.
3727 ConstantInt *Priority = dyn_cast<ConstantInt>(CS->getOperand(0));
3728 if (!Priority)
3729 continue; // Malformed.
3730 Structors.push_back(Structor());
3731 Structor &S = Structors.back();
3732 S.Priority = Priority->getLimitedValue(65535);
3733 S.Func = CS->getOperand(1);
3734 if (!CS->getOperand(2)->isNullValue()) {
3735 if (TM.getTargetTriple().isOSAIX()) {
3736 CS->getContext().emitError(
3737 "associated data of XXStructor list is not yet supported on AIX");
3738 }
3739
3740 S.ComdatKey =
3741 dyn_cast<GlobalValue>(CS->getOperand(2)->stripPointerCasts());
3742 }
3743 }
3744
3745 // Emit the function pointers in the target-specific order
3746 llvm::stable_sort(Structors, [](const Structor &L, const Structor &R) {
3747 return L.Priority < R.Priority;
3748 });
3749}
3750
3751/// EmitXXStructorList - Emit the ctor or dtor list taking into account the init
3752/// priority.
3754 bool IsCtor) {
3755 SmallVector<Structor, 8> Structors;
3756 preprocessXXStructorList(DL, List, Structors);
3757 if (Structors.empty())
3758 return;
3759
3760 // Emit the structors in reverse order if we are using the .ctor/.dtor
3761 // initialization scheme.
3762 if (!TM.Options.UseInitArray)
3763 std::reverse(Structors.begin(), Structors.end());
3764
3765 const Align Align = DL.getPointerPrefAlignment(DL.getProgramAddressSpace());
3766 for (Structor &S : Structors) {
3768 const MCSymbol *KeySym = nullptr;
3769 if (GlobalValue *GV = S.ComdatKey) {
3770 if (GV->isDeclarationForLinker())
3771 // If the associated variable is not defined in this module
3772 // (it might be available_externally, or have been an
3773 // available_externally definition that was dropped by the
3774 // EliminateAvailableExternally pass), some other TU
3775 // will provide its dynamic initializer.
3776 continue;
3777
3778 KeySym = getSymbol(GV);
3779 }
3780
3781 MCSection *OutputSection =
3782 (IsCtor ? Obj.getStaticCtorSection(S.Priority, KeySym)
3783 : Obj.getStaticDtorSection(S.Priority, KeySym));
3784 OutStreamer->switchSection(OutputSection);
3785 if (OutStreamer->getCurrentSection() != OutStreamer->getPreviousSection())
3787 emitXXStructor(DL, S.Func);
3788 }
3789}
3790
3791void AsmPrinter::emitModuleIdents(Module &M) {
3792 if (!MAI.hasIdentDirective())
3793 return;
3794
3795 if (const NamedMDNode *NMD = M.getNamedMetadata("llvm.ident")) {
3796 for (const MDNode *N : NMD->operands()) {
3797 assert(N->getNumOperands() == 1 &&
3798 "llvm.ident metadata entry can have only one operand");
3799 const MDString *S = cast<MDString>(N->getOperand(0));
3800 OutStreamer->emitIdent(S->getString());
3801 }
3802 }
3803}
3804
3805void AsmPrinter::emitModuleCommandLines(Module &M) {
3806 MCSection *CommandLine = getObjFileLowering().getSectionForCommandLines();
3807 if (!CommandLine)
3808 return;
3809
3810 const NamedMDNode *NMD = M.getNamedMetadata("llvm.commandline");
3811 if (!NMD || !NMD->getNumOperands())
3812 return;
3813
3814 OutStreamer->pushSection();
3815 OutStreamer->switchSection(CommandLine);
3816 OutStreamer->emitZeros(1);
3817 for (const MDNode *N : NMD->operands()) {
3818 assert(N->getNumOperands() == 1 &&
3819 "llvm.commandline metadata entry can have only one operand");
3820 const MDString *S = cast<MDString>(N->getOperand(0));
3821 OutStreamer->emitBytes(S->getString());
3822 OutStreamer->emitZeros(1);
3823 }
3824 OutStreamer->popSection();
3825}
3826
3827//===--------------------------------------------------------------------===//
3828// Emission and print routines
3829//
3830
3831/// Emit a byte directive and value.
3832///
3833void AsmPrinter::emitInt8(int Value) const { OutStreamer->emitInt8(Value); }
3834
3835/// Emit a short directive and value.
3836void AsmPrinter::emitInt16(int Value) const { OutStreamer->emitInt16(Value); }
3837
3838/// Emit a long directive and value.
3839void AsmPrinter::emitInt32(int Value) const { OutStreamer->emitInt32(Value); }
3840
3841/// EmitSLEB128 - emit the specified signed leb128 value.
3842void AsmPrinter::emitSLEB128(int64_t Value, const char *Desc) const {
3843 if (isVerbose() && Desc)
3844 OutStreamer->AddComment(Desc);
3845
3846 OutStreamer->emitSLEB128IntValue(Value);
3847}
3848
3849void AsmPrinter::emitULEB128(uint64_t Value, const char *Desc,
3850 unsigned PadTo) const {
3851 if (isVerbose() && Desc)
3852 OutStreamer->AddComment(Desc);
3853
3854 OutStreamer->emitULEB128IntValue(Value, PadTo);
3855}
3856
3857/// Emit a long long directive and value.
3858void AsmPrinter::emitInt64(uint64_t Value) const {
3859 OutStreamer->emitInt64(Value);
3860}
3861
3862/// Emit something like ".long Hi-Lo" where the size in bytes of the directive
3863/// is specified by Size and Hi/Lo specify the labels. This implicitly uses
3864/// .set if it avoids relocations.
3866 unsigned Size) const {
3867 OutStreamer->emitAbsoluteSymbolDiff(Hi, Lo, Size);
3868}
3869
3870/// Emit something like ".uleb128 Hi-Lo".
3872 const MCSymbol *Lo) const {
3873 OutStreamer->emitAbsoluteSymbolDiffAsULEB128(Hi, Lo);
3874}
3875
3876/// EmitLabelPlusOffset - Emit something like ".long Label+Offset"
3877/// where the size in bytes of the directive is specified by Size and Label
3878/// specifies the label. This implicitly uses .set if it is available.
3880 unsigned Size,
3881 bool IsSectionRelative) const {
3882 if (MAI.needsDwarfSectionOffsetDirective() && IsSectionRelative) {
3883 OutStreamer->emitCOFFSecRel32(Label, Offset);
3884 if (Size > 4)
3885 OutStreamer->emitZeros(Size - 4);
3886 return;
3887 }
3888
3889 // Emit Label+Offset (or just Label if Offset is zero)
3890 const MCExpr *Expr = MCSymbolRefExpr::create(Label, OutContext);
3891 if (Offset)
3894
3895 OutStreamer->emitValue(Expr, Size);
3896}
3897
3898//===----------------------------------------------------------------------===//
3899
3900// EmitAlignment - Emit an alignment directive to the specified power of
3901// two boundary. If a global value is specified, and if that global has
3902// an explicit alignment requested, it will override the alignment request
3903// if required for correctness.
3905 unsigned MaxBytesToEmit) const {
3906 if (GV)
3907 Alignment = getGVAlignment(GV, GV->getDataLayout(), Alignment);
3908
3909 if (Alignment == Align(1))
3910 return Alignment; // 1-byte aligned: no need to emit alignment.
3911
3912 if (getCurrentSection()->isText()) {
3913 const MCSubtargetInfo *STI = nullptr;
3914 if (this->MF)
3915 STI = &getSubtargetInfo();
3916 else
3917 STI = &TM.getMCSubtargetInfo();
3918 OutStreamer->emitCodeAlignment(Alignment, *STI, MaxBytesToEmit);
3919 } else
3920 OutStreamer->emitValueToAlignment(Alignment, 0, 1, MaxBytesToEmit);
3921 return Alignment;
3922}
3923
3924//===----------------------------------------------------------------------===//
3925// Constant emission.
3926//===----------------------------------------------------------------------===//
3927
3929 const Constant *BaseCV,
3930 uint64_t Offset) {
3931 MCContext &Ctx = OutContext;
3932
3933 if (CV->isNullValue() || isa<UndefValue>(CV))
3934 return MCConstantExpr::create(0, Ctx);
3935
3936 if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV))
3937 return MCConstantExpr::create(CI->getZExtValue(), Ctx);
3938
3939 if (const ConstantByte *CB = dyn_cast<ConstantByte>(CV))
3940 return MCConstantExpr::create(CB->getZExtValue(), Ctx);
3941
3942 if (const ConstantPtrAuth *CPA = dyn_cast<ConstantPtrAuth>(CV))
3943 return lowerConstantPtrAuth(*CPA);
3944
3945 if (const GlobalValue *GV = dyn_cast<GlobalValue>(CV))
3946 return MCSymbolRefExpr::create(getSymbol(GV), Ctx);
3947
3948 if (const BlockAddress *BA = dyn_cast<BlockAddress>(CV))
3949 return lowerBlockAddressConstant(*BA);
3950
3951 if (const auto *Equiv = dyn_cast<DSOLocalEquivalent>(CV))
3953 getSymbol(Equiv->getGlobalValue()), nullptr, 0, std::nullopt, TM);
3954
3955 if (const NoCFIValue *NC = dyn_cast<NoCFIValue>(CV))
3956 return MCSymbolRefExpr::create(getSymbol(NC->getGlobalValue()), Ctx);
3957
3958 const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV);
3959 if (!CE) {
3960 llvm_unreachable("Unknown constant value to lower!");
3961 }
3962
3963 // The constant expression opcodes are limited to those that are necessary
3964 // to represent relocations on supported targets. Expressions involving only
3965 // constant addresses are constant folded instead.
3966 switch (CE->getOpcode()) {
3967 default:
3968 break; // Error
3969 case Instruction::AddrSpaceCast: {
3970 const Constant *Op = CE->getOperand(0);
3971 unsigned DstAS = CE->getType()->getPointerAddressSpace();
3972 unsigned SrcAS = Op->getType()->getPointerAddressSpace();
3973 if (TM.isNoopAddrSpaceCast(getDataLayout(), SrcAS, DstAS))
3974 return lowerConstant(Op);
3975
3976 break; // Error
3977 }
3978 case Instruction::GetElementPtr: {
3979 // Generate a symbolic expression for the byte address
3980 APInt OffsetAI(getDataLayout().getIndexTypeSizeInBits(CE->getType()), 0);
3981 cast<GEPOperator>(CE)->accumulateConstantOffset(getDataLayout(), OffsetAI);
3982
3983 const MCExpr *Base = lowerConstant(CE->getOperand(0));
3984 if (!OffsetAI)
3985 return Base;
3986
3987 int64_t Offset = OffsetAI.getSExtValue();
3989 Ctx);
3990 }
3991
3992 case Instruction::Trunc:
3993 // We emit the value and depend on the assembler to truncate the generated
3994 // expression properly. This is important for differences between
3995 // blockaddress labels. Since the two labels are in the same function, it
3996 // is reasonable to treat their delta as a 32-bit value.
3997 [[fallthrough]];
3998 case Instruction::BitCast:
3999 return lowerConstant(CE->getOperand(0), BaseCV, Offset);
4000
4001 case Instruction::IntToPtr: {
4002 const DataLayout &DL = getDataLayout();
4003
4004 // Handle casts to pointers by changing them into casts to the appropriate
4005 // integer type. This promotes constant folding and simplifies this code.
4006 Constant *Op = CE->getOperand(0);
4007 Op = ConstantFoldIntegerCast(Op, DL.getIntPtrType(CV->getType()),
4008 /*IsSigned*/ false, DL);
4009 if (Op)
4010 return lowerConstant(Op);
4011
4012 break; // Error
4013 }
4014
4015 case Instruction::PtrToAddr:
4016 case Instruction::PtrToInt: {
4017 const DataLayout &DL = getDataLayout();
4018
4019 // Support only foldable casts to/from pointers that can be eliminated by
4020 // changing the pointer to the appropriately sized integer type.
4021 Constant *Op = CE->getOperand(0);
4022 Type *Ty = CE->getType();
4023
4024 const MCExpr *OpExpr = lowerConstant(Op);
4025
4026 // We can emit the pointer value into this slot if the slot is an
4027 // integer slot equal to the size of the pointer.
4028 //
4029 // If the pointer is larger than the resultant integer, then
4030 // as with Trunc just depend on the assembler to truncate it.
4031 if (DL.getTypeAllocSize(Ty).getFixedValue() <=
4032 DL.getTypeAllocSize(Op->getType()).getFixedValue())
4033 return OpExpr;
4034
4035 break; // Error
4036 }
4037
4038 case Instruction::Sub: {
4039 GlobalValue *LHSGV, *RHSGV;
4040 APInt LHSOffset, RHSOffset;
4041 DSOLocalEquivalent *DSOEquiv;
4042 if (IsConstantOffsetFromGlobal(CE->getOperand(0), LHSGV, LHSOffset,
4043 getDataLayout(), &DSOEquiv) &&
4044 IsConstantOffsetFromGlobal(CE->getOperand(1), RHSGV, RHSOffset,
4045 getDataLayout())) {
4046 auto *LHSSym = getSymbol(LHSGV);
4047 auto *RHSSym = getSymbol(RHSGV);
4048 int64_t Addend = (LHSOffset - RHSOffset).getSExtValue();
4049 std::optional<int64_t> PCRelativeOffset;
4050 if (getObjFileLowering().hasPLTPCRelative() && RHSGV == BaseCV)
4051 PCRelativeOffset = Offset;
4052
4053 // Try the generic symbol difference first.
4055 LHSGV, RHSGV, Addend, PCRelativeOffset, TM);
4056
4057 // (ELF-specific) If the generic symbol difference does not apply, and
4058 // LHS is a dso_local_equivalent of a function, reference the PLT entry
4059 // instead. Note: A default visibility symbol is by default preemptible
4060 // during linking, and should not be referenced with PC-relative
4061 // relocations. Therefore, use a PLT relocation even if the function is
4062 // dso_local.
4063 if (DSOEquiv && TM.getTargetTriple().isOSBinFormatELF())
4065 LHSSym, RHSSym, Addend, PCRelativeOffset, TM);
4066
4067 // Otherwise, return LHS-RHS+Addend.
4068 if (!Res) {
4069 Res =
4071 MCSymbolRefExpr::create(RHSSym, Ctx), Ctx);
4072 if (Addend != 0)
4074 Res, MCConstantExpr::create(Addend, Ctx), Ctx);
4075 }
4076 return Res;
4077 }
4078
4079 const MCExpr *LHS = lowerConstant(CE->getOperand(0));
4080 const MCExpr *RHS = lowerConstant(CE->getOperand(1));
4081 return MCBinaryExpr::createSub(LHS, RHS, Ctx);
4082 break;
4083 }
4084
4085 case Instruction::Add: {
4086 const MCExpr *LHS = lowerConstant(CE->getOperand(0));
4087 const MCExpr *RHS = lowerConstant(CE->getOperand(1));
4088 return MCBinaryExpr::createAdd(LHS, RHS, Ctx);
4089 }
4090 }
4091
4092 // If the code isn't optimized, there may be outstanding folding
4093 // opportunities. Attempt to fold the expression using DataLayout as a
4094 // last resort before giving up.
4096 if (C != CE)
4097 return lowerConstant(C);
4098
4099 // Otherwise report the problem to the user.
4100 std::string S;
4101 raw_string_ostream OS(S);
4102 OS << "unsupported expression in static initializer: ";
4103 CE->printAsOperand(OS, /*PrintType=*/false,
4104 !MF ? nullptr : MF->getFunction().getParent());
4105 CE->getContext().emitError(S);
4106 return MCConstantExpr::create(0, Ctx);
4107}
4108
4109static void emitGlobalConstantImpl(const DataLayout &DL, const Constant *C,
4110 AsmPrinter &AP,
4111 const Constant *BaseCV = nullptr,
4112 uint64_t Offset = 0,
4113 AsmPrinter::AliasMapTy *AliasList = nullptr);
4114
4115static void emitGlobalConstantFP(const ConstantFP *CFP, AsmPrinter &AP);
4116static void emitGlobalConstantFP(APFloat APF, Type *ET, AsmPrinter &AP);
4117
4118/// isRepeatedByteSequence - Determine whether the given value is
4119/// composed of a repeated sequence of identical bytes and return the
4120/// byte value. If it is not a repeated sequence, return -1.
4122 StringRef Data = V->getRawDataValues();
4123 assert(!Data.empty() && "Empty aggregates should be CAZ node");
4124 char C = Data[0];
4125 for (unsigned i = 1, e = Data.size(); i != e; ++i)
4126 if (Data[i] != C) return -1;
4127 return static_cast<uint8_t>(C); // Ensure 255 is not returned as -1.
4128}
4129
4130/// isRepeatedByteSequence - Determine whether the given value is
4131/// composed of a repeated sequence of identical bytes and return the
4132/// byte value. If it is not a repeated sequence, return -1.
4133static int isRepeatedByteSequence(const Value *V, const DataLayout &DL) {
4134 if (const ConstantInt *CI = dyn_cast<ConstantInt>(V)) {
4135 uint64_t Size = DL.getTypeAllocSizeInBits(V->getType());
4136 assert(Size % 8 == 0);
4137
4138 // Extend the element to take zero padding into account.
4139 APInt Value = CI->getValue().zext(Size);
4140 if (!Value.isSplat(8))
4141 return -1;
4142
4143 return Value.zextOrTrunc(8).getZExtValue();
4144 }
4145 if (const ConstantArray *CA = dyn_cast<ConstantArray>(V)) {
4146 // Make sure all array elements are sequences of the same repeated
4147 // byte.
4148 assert(CA->getNumOperands() != 0 && "Should be a CAZ");
4149 Constant *Op0 = CA->getOperand(0);
4150 int Byte = isRepeatedByteSequence(Op0, DL);
4151 if (Byte == -1)
4152 return -1;
4153
4154 // All array elements must be equal.
4155 for (unsigned i = 1, e = CA->getNumOperands(); i != e; ++i)
4156 if (CA->getOperand(i) != Op0)
4157 return -1;
4158 return Byte;
4159 }
4160
4162 return isRepeatedByteSequence(CDS);
4163
4164 return -1;
4165}
4166
4168 AsmPrinter::AliasMapTy *AliasList) {
4169 if (AliasList) {
4170 auto AliasIt = AliasList->find(Offset);
4171 if (AliasIt != AliasList->end()) {
4172 for (const GlobalAlias *GA : AliasIt->second)
4173 AP.OutStreamer->emitLabel(AP.getSymbol(GA));
4174 AliasList->erase(Offset);
4175 }
4176 }
4177}
4178
4180 const DataLayout &DL, const ConstantDataSequential *CDS, AsmPrinter &AP,
4181 AsmPrinter::AliasMapTy *AliasList) {
4182 // See if we can aggregate this into a .fill, if so, emit it as such.
4183 int Value = isRepeatedByteSequence(CDS, DL);
4184 if (Value != -1) {
4185 uint64_t Bytes = DL.getTypeAllocSize(CDS->getType());
4186 // Don't emit a 1-byte object as a .fill.
4187 if (Bytes > 1)
4188 return AP.OutStreamer->emitFill(Bytes, Value);
4189 }
4190
4191 // If this can be emitted with .ascii/.asciz, emit it as such.
4192 if (CDS->isString())
4193 return AP.OutStreamer->emitBytes(CDS->getAsString());
4194
4195 // Otherwise, emit the values in successive locations.
4196 uint64_t ElementByteSize = CDS->getElementByteSize();
4197 if (isa<IntegerType>(CDS->getElementType()) ||
4198 isa<ByteType>(CDS->getElementType())) {
4199 for (uint64_t I = 0, E = CDS->getNumElements(); I != E; ++I) {
4200 emitGlobalAliasInline(AP, ElementByteSize * I, AliasList);
4201 if (AP.isVerbose())
4202 AP.OutStreamer->getCommentOS()
4203 << format("0x%" PRIx64 "\n", CDS->getElementAsInteger(I));
4204 AP.OutStreamer->emitIntValue(CDS->getElementAsInteger(I),
4205 ElementByteSize);
4206 }
4207 } else {
4208 Type *ET = CDS->getElementType();
4209 for (uint64_t I = 0, E = CDS->getNumElements(); I != E; ++I) {
4210 emitGlobalAliasInline(AP, ElementByteSize * I, AliasList);
4212 }
4213 }
4214
4215 unsigned Size = DL.getTypeAllocSize(CDS->getType());
4216 unsigned EmittedSize =
4217 DL.getTypeAllocSize(CDS->getElementType()) * CDS->getNumElements();
4218 assert(EmittedSize <= Size && "Size cannot be less than EmittedSize!");
4219 if (unsigned Padding = Size - EmittedSize)
4220 AP.OutStreamer->emitZeros(Padding);
4221}
4222
4224 const ConstantArray *CA, AsmPrinter &AP,
4225 const Constant *BaseCV, uint64_t Offset,
4226 AsmPrinter::AliasMapTy *AliasList) {
4227 // See if we can aggregate some values. Make sure it can be
4228 // represented as a series of bytes of the constant value.
4229 int Value = isRepeatedByteSequence(CA, DL);
4230
4231 if (Value != -1) {
4232 uint64_t Bytes = DL.getTypeAllocSize(CA->getType());
4233 AP.OutStreamer->emitFill(Bytes, Value);
4234 } else {
4235 for (unsigned I = 0, E = CA->getNumOperands(); I != E; ++I) {
4236 emitGlobalConstantImpl(DL, CA->getOperand(I), AP, BaseCV, Offset,
4237 AliasList);
4238 Offset += DL.getTypeAllocSize(CA->getOperand(I)->getType());
4239 }
4240 }
4241}
4242
4243static void emitGlobalConstantLargeInt(const ConstantInt *CI, AsmPrinter &AP);
4244
4245static void emitGlobalConstantVector(const DataLayout &DL, const Constant *CV,
4246 AsmPrinter &AP,
4247 AsmPrinter::AliasMapTy *AliasList) {
4248 uint64_t AllocSize = DL.getTypeAllocSize(CV->getType());
4249
4250 if (CV->isNullValue())
4251 return AP.OutStreamer->emitZeros(AllocSize);
4252
4253 auto *VTy = cast<FixedVectorType>(CV->getType());
4254 Type *ElementType = VTy->getElementType();
4255 uint64_t ElementSizeInBits = DL.getTypeSizeInBits(ElementType);
4256 uint64_t ElementAllocSizeInBits = DL.getTypeAllocSizeInBits(ElementType);
4257 uint64_t EmittedSize;
4258 if (ElementSizeInBits != ElementAllocSizeInBits) {
4259 // If the allocation size of an element is different from the size in bits,
4260 // printing each element separately will insert incorrect padding.
4261 //
4262 // The general algorithm here is complicated; instead of writing it out
4263 // here, just use the existing code in ConstantFolding.
4264 Type *IntT =
4265 IntegerType::get(CV->getContext(), DL.getTypeSizeInBits(CV->getType()));
4267 ConstantExpr::getBitCast(const_cast<Constant *>(CV), IntT), DL));
4268 if (!CI) {
4270 "Cannot lower vector global with unusual element type");
4271 }
4272 emitGlobalAliasInline(AP, 0, AliasList);
4274 EmittedSize = DL.getTypeStoreSize(CV->getType());
4275 } else {
4276 for (unsigned I = 0, E = VTy->getNumElements(); I != E; ++I) {
4277 emitGlobalAliasInline(AP, AllocSize * I, AliasList);
4279 }
4280 EmittedSize = DL.getTypeAllocSize(ElementType) * VTy->getNumElements();
4281 }
4282
4283 if (unsigned Padding = AllocSize - EmittedSize)
4284 AP.OutStreamer->emitZeros(Padding);
4285}
4286
4288 const ConstantStruct *CS, AsmPrinter &AP,
4289 const Constant *BaseCV, uint64_t Offset,
4290 AsmPrinter::AliasMapTy *AliasList) {
4291 // Print the fields in successive locations. Pad to align if needed!
4292 uint64_t Size = DL.getTypeAllocSize(CS->getType());
4293 const StructLayout *Layout = DL.getStructLayout(CS->getType());
4294 uint64_t SizeSoFar = 0;
4295 for (unsigned I = 0, E = CS->getNumOperands(); I != E; ++I) {
4296 const Constant *Field = CS->getOperand(I);
4297
4298 // Print the actual field value.
4299 emitGlobalConstantImpl(DL, Field, AP, BaseCV, Offset + SizeSoFar,
4300 AliasList);
4301
4302 // Check if padding is needed and insert one or more 0s.
4303 uint64_t FieldSize = DL.getTypeAllocSize(Field->getType());
4304 uint64_t PadSize = ((I == E - 1 ? Size : Layout->getElementOffset(I + 1)) -
4305 Layout->getElementOffset(I)) -
4306 FieldSize;
4307 SizeSoFar += FieldSize + PadSize;
4308
4309 // Insert padding - this may include padding to increase the size of the
4310 // current field up to the ABI size (if the struct is not packed) as well
4311 // as padding to ensure that the next field starts at the right offset.
4312 AP.OutStreamer->emitZeros(PadSize);
4313 }
4314 assert(SizeSoFar == Layout->getSizeInBytes() &&
4315 "Layout of constant struct may be incorrect!");
4316}
4317
4318static void emitGlobalConstantFP(APFloat APF, Type *ET, AsmPrinter &AP) {
4319 assert(ET && "Unknown float type");
4320 APInt API = APF.bitcastToAPInt();
4321
4322 // First print a comment with what we think the original floating-point value
4323 // should have been.
4324 if (AP.isVerbose()) {
4325 SmallString<8> StrVal;
4326 APF.toString(StrVal);
4327 ET->print(AP.OutStreamer->getCommentOS());
4328 AP.OutStreamer->getCommentOS() << ' ' << StrVal << '\n';
4329 }
4330
4331 // Now iterate through the APInt chunks, emitting them in endian-correct
4332 // order, possibly with a smaller chunk at beginning/end (e.g. for x87 80-bit
4333 // floats).
4334 unsigned NumBytes = API.getBitWidth() / 8;
4335 unsigned TrailingBytes = NumBytes % sizeof(uint64_t);
4336 const uint64_t *p = API.getRawData();
4337
4338 // PPC's long double has odd notions of endianness compared to how LLVM
4339 // handles it: p[0] goes first for *big* endian on PPC.
4340 if (AP.getDataLayout().isBigEndian() && !ET->isPPC_FP128Ty()) {
4341 int Chunk = API.getNumWords() - 1;
4342
4343 if (TrailingBytes)
4344 AP.OutStreamer->emitIntValueInHexWithPadding(p[Chunk--], TrailingBytes);
4345
4346 for (; Chunk >= 0; --Chunk)
4347 AP.OutStreamer->emitIntValueInHexWithPadding(p[Chunk], sizeof(uint64_t));
4348 } else {
4349 unsigned Chunk;
4350 for (Chunk = 0; Chunk < NumBytes / sizeof(uint64_t); ++Chunk)
4351 AP.OutStreamer->emitIntValueInHexWithPadding(p[Chunk], sizeof(uint64_t));
4352
4353 if (TrailingBytes)
4354 AP.OutStreamer->emitIntValueInHexWithPadding(p[Chunk], TrailingBytes);
4355 }
4356
4357 // Emit the tail padding for the long double.
4358 const DataLayout &DL = AP.getDataLayout();
4359 AP.OutStreamer->emitZeros(DL.getTypeAllocSize(ET) - DL.getTypeStoreSize(ET));
4360}
4361
4362static void emitGlobalConstantFP(const ConstantFP *CFP, AsmPrinter &AP) {
4363 emitGlobalConstantFP(CFP->getValueAPF(), CFP->getType(), AP);
4364}
4365
4367 uint64_t TypeStoreSize,
4368 AsmPrinter &AP) {
4369 const DataLayout &DL = AP.getDataLayout();
4370 unsigned BitWidth = Val.getBitWidth();
4371
4372 // Copy the value as we may massage the layout for constants whose bit width
4373 // is not a multiple of 64-bits.
4374 APInt Realigned(Val);
4375 uint64_t ExtraBits = 0;
4376 unsigned ExtraBitsSize = BitWidth & 63;
4377
4378 if (ExtraBitsSize) {
4379 // The bit width of the data is not a multiple of 64-bits.
4380 // The extra bits are expected to be at the end of the chunk of the memory.
4381 // Little endian:
4382 // * Nothing to be done, just record the extra bits to emit.
4383 // Big endian:
4384 // * Record the extra bits to emit.
4385 // * Realign the raw data to emit the chunks of 64-bits.
4386 if (DL.isBigEndian()) {
4387 // Basically the structure of the raw data is a chunk of 64-bits cells:
4388 // 0 1 BitWidth / 64
4389 // [chunk1][chunk2] ... [chunkN].
4390 // The most significant chunk is chunkN and it should be emitted first.
4391 // However, due to the alignment issue chunkN contains useless bits.
4392 // Realign the chunks so that they contain only useful information:
4393 // ExtraBits 0 1 (BitWidth / 64) - 1
4394 // chu[nk1 chu][nk2 chu] ... [nkN-1 chunkN]
4395 ExtraBitsSize = alignTo(ExtraBitsSize, 8);
4396 ExtraBits =
4397 Realigned.getRawData()[0] & (((uint64_t)-1) >> (64 - ExtraBitsSize));
4398 if (BitWidth >= 64)
4399 Realigned.lshrInPlace(ExtraBitsSize);
4400 } else
4401 ExtraBits = Realigned.getRawData()[BitWidth / 64];
4402 }
4403
4404 // We don't expect assemblers to support data directives
4405 // for more than 64 bits, so we emit the data in at most 64-bit
4406 // quantities at a time.
4407 const uint64_t *RawData = Realigned.getRawData();
4408 for (unsigned i = 0, e = BitWidth / 64; i != e; ++i) {
4409 uint64_t ChunkVal = DL.isBigEndian() ? RawData[e - i - 1] : RawData[i];
4410 AP.OutStreamer->emitIntValue(ChunkVal, 8);
4411 }
4412
4413 if (ExtraBitsSize) {
4414 // Emit the extra bits after the 64-bits chunks.
4415
4416 // Emit a directive that fills the expected size.
4417 uint64_t Size = TypeStoreSize - (BitWidth / 64) * 8;
4418 assert(Size && Size * 8 >= ExtraBitsSize &&
4419 (ExtraBits & (((uint64_t)-1) >> (64 - ExtraBitsSize))) ==
4420 ExtraBits &&
4421 "Directive too small for extra bits.");
4422 AP.OutStreamer->emitIntValue(ExtraBits, Size);
4423 }
4424}
4425
4427 AsmPrinter &AP) {
4429 CB->getValue(), AP.getDataLayout().getTypeStoreSize(CB->getType()), AP);
4430}
4431
4436
4437/// Transform a not absolute MCExpr containing a reference to a GOT
4438/// equivalent global, by a target specific GOT pc relative access to the
4439/// final symbol.
4441 const Constant *BaseCst,
4442 uint64_t Offset) {
4443 // The global @foo below illustrates a global that uses a got equivalent.
4444 //
4445 // @bar = global i32 42
4446 // @gotequiv = private unnamed_addr constant i32* @bar
4447 // @foo = i32 trunc (i64 sub (i64 ptrtoint (i32** @gotequiv to i64),
4448 // i64 ptrtoint (i32* @foo to i64))
4449 // to i32)
4450 //
4451 // The cstexpr in @foo is converted into the MCExpr `ME`, where we actually
4452 // check whether @foo is suitable to use a GOTPCREL. `ME` is usually in the
4453 // form:
4454 //
4455 // foo = cstexpr, where
4456 // cstexpr := <gotequiv> - "." + <cst>
4457 // cstexpr := <gotequiv> - (<foo> - <offset from @foo base>) + <cst>
4458 //
4459 // After canonicalization by evaluateAsRelocatable `ME` turns into:
4460 //
4461 // cstexpr := <gotequiv> - <foo> + gotpcrelcst, where
4462 // gotpcrelcst := <offset from @foo base> + <cst>
4463 MCValue MV;
4464 if (!(*ME)->evaluateAsRelocatable(MV, nullptr) || MV.isAbsolute())
4465 return;
4466 const MCSymbol *GOTEquivSym = MV.getAddSym();
4467 if (!GOTEquivSym)
4468 return;
4469
4470 // Check that GOT equivalent symbol is cached.
4471 if (!AP.GlobalGOTEquivs.count(GOTEquivSym))
4472 return;
4473
4474 const GlobalValue *BaseGV = dyn_cast_or_null<GlobalValue>(BaseCst);
4475 if (!BaseGV)
4476 return;
4477
4478 // Check for a valid base symbol
4479 const MCSymbol *BaseSym = AP.getSymbol(BaseGV);
4480 const MCSymbol *SymB = MV.getSubSym();
4481
4482 if (!SymB || BaseSym != SymB)
4483 return;
4484
4485 // Make sure to match:
4486 //
4487 // gotpcrelcst := <offset from @foo base> + <cst>
4488 //
4489 int64_t GOTPCRelCst = Offset + MV.getConstant();
4490 if (!AP.getObjFileLowering().supportGOTPCRelWithOffset() && GOTPCRelCst != 0)
4491 return;
4492
4493 // Emit the GOT PC relative to replace the got equivalent global, i.e.:
4494 //
4495 // bar:
4496 // .long 42
4497 // gotequiv:
4498 // .quad bar
4499 // foo:
4500 // .long gotequiv - "." + <cst>
4501 //
4502 // is replaced by the target specific equivalent to:
4503 //
4504 // bar:
4505 // .long 42
4506 // foo:
4507 // .long bar@GOTPCREL+<gotpcrelcst>
4508 AsmPrinter::GOTEquivUsePair Result = AP.GlobalGOTEquivs[GOTEquivSym];
4509 const GlobalVariable *GV = Result.first;
4510 int NumUses = (int)Result.second;
4511 const GlobalValue *FinalGV = dyn_cast<GlobalValue>(GV->getOperand(0));
4512 const MCSymbol *FinalSym = AP.getSymbol(FinalGV);
4514 FinalGV, FinalSym, MV, Offset, AP.MMI, *AP.OutStreamer);
4515
4516 // Update GOT equivalent usage information
4517 --NumUses;
4518 if (NumUses >= 0)
4519 AP.GlobalGOTEquivs[GOTEquivSym] = std::make_pair(GV, NumUses);
4520}
4521
4522static void emitGlobalConstantImpl(const DataLayout &DL, const Constant *CV,
4523 AsmPrinter &AP, const Constant *BaseCV,
4525 AsmPrinter::AliasMapTy *AliasList) {
4526 assert((!AliasList || AP.TM.getTargetTriple().isOSBinFormatXCOFF()) &&
4527 "AliasList only expected for XCOFF");
4528 emitGlobalAliasInline(AP, Offset, AliasList);
4529 uint64_t Size = DL.getTypeAllocSize(CV->getType());
4530
4531 // Globals with sub-elements such as combinations of arrays and structs
4532 // are handled recursively by emitGlobalConstantImpl. Keep track of the
4533 // constant symbol base and the current position with BaseCV and Offset.
4534 if (!BaseCV && CV->hasOneUse())
4535 BaseCV = dyn_cast<Constant>(CV->user_back());
4536
4538 StructType *structType;
4539 if (AliasList && (structType = llvm::dyn_cast<StructType>(CV->getType()))) {
4540 unsigned numElements = {structType->getNumElements()};
4541 if (numElements != 0) {
4542 // Handle cases of aliases to direct struct elements
4543 const StructLayout *Layout = DL.getStructLayout(structType);
4544 uint64_t SizeSoFar = 0;
4545 for (unsigned int i = 0; i < numElements - 1; ++i) {
4546 uint64_t GapToNext = Layout->getElementOffset(i + 1) - SizeSoFar;
4547 AP.OutStreamer->emitZeros(GapToNext);
4548 SizeSoFar += GapToNext;
4549 emitGlobalAliasInline(AP, Offset + SizeSoFar, AliasList);
4550 }
4551 AP.OutStreamer->emitZeros(Size - SizeSoFar);
4552 return;
4553 }
4554 }
4555 return AP.OutStreamer->emitZeros(Size);
4556 }
4557
4558 if (isa<UndefValue>(CV))
4559 return AP.OutStreamer->emitZeros(Size);
4560
4561 if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
4562 if (isa<VectorType>(CV->getType()))
4563 return emitGlobalConstantVector(DL, CV, AP, AliasList);
4564
4565 const uint64_t StoreSize = DL.getTypeStoreSize(CV->getType());
4566 if (StoreSize <= 8) {
4567 if (AP.isVerbose())
4568 AP.OutStreamer->getCommentOS()
4569 << format("0x%" PRIx64 "\n", CI->getZExtValue());
4570 AP.OutStreamer->emitIntValue(CI->getZExtValue(), StoreSize);
4571 } else {
4573 }
4574
4575 // Emit tail padding if needed
4576 if (Size != StoreSize)
4577 AP.OutStreamer->emitZeros(Size - StoreSize);
4578
4579 return;
4580 }
4581
4582 if (const ConstantByte *CB = dyn_cast<ConstantByte>(CV)) {
4583 if (isa<VectorType>(CV->getType()))
4584 return emitGlobalConstantVector(DL, CV, AP, AliasList);
4585
4586 const uint64_t StoreSize = DL.getTypeStoreSize(CV->getType());
4587 if (StoreSize <= 8) {
4588 if (AP.isVerbose())
4589 AP.OutStreamer->getCommentOS()
4590 << format("0x%" PRIx64 "\n", CB->getZExtValue());
4591 AP.OutStreamer->emitIntValue(CB->getZExtValue(), StoreSize);
4592 } else {
4594 }
4595
4596 // Emit tail padding if needed
4597 if (Size != StoreSize)
4598 AP.OutStreamer->emitZeros(Size - StoreSize);
4599
4600 return;
4601 }
4602
4603 if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) {
4604 if (isa<VectorType>(CV->getType()))
4605 return emitGlobalConstantVector(DL, CV, AP, AliasList);
4606 else
4607 return emitGlobalConstantFP(CFP, AP);
4608 }
4609
4610 if (isa<ConstantPointerNull>(CV)) {
4611 AP.OutStreamer->emitIntValue(0, Size);
4612 return;
4613 }
4614
4616 return emitGlobalConstantDataSequential(DL, CDS, AP, AliasList);
4617
4618 if (const ConstantArray *CVA = dyn_cast<ConstantArray>(CV))
4619 return emitGlobalConstantArray(DL, CVA, AP, BaseCV, Offset, AliasList);
4620
4621 if (const ConstantStruct *CVS = dyn_cast<ConstantStruct>(CV))
4622 return emitGlobalConstantStruct(DL, CVS, AP, BaseCV, Offset, AliasList);
4623
4624 if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV)) {
4625 // Look through bitcasts, which might not be able to be MCExpr'ized (e.g. of
4626 // vectors).
4627 if (CE->getOpcode() == Instruction::BitCast)
4628 return emitGlobalConstantImpl(DL, CE->getOperand(0), AP);
4629
4630 if (Size > 8) {
4631 // If the constant expression's size is greater than 64-bits, then we have
4632 // to emit the value in chunks. Try to constant fold the value and emit it
4633 // that way.
4634 Constant *New = ConstantFoldConstant(CE, DL);
4635 if (New != CE)
4636 return emitGlobalConstantImpl(DL, New, AP);
4637 }
4638 }
4639
4640 if (isa<ConstantVector>(CV))
4641 return emitGlobalConstantVector(DL, CV, AP, AliasList);
4642
4643 // Otherwise, it must be a ConstantExpr. Lower it to an MCExpr, then emit it
4644 // thread the streamer with EmitValue.
4645 const MCExpr *ME = AP.lowerConstant(CV, BaseCV, Offset);
4646
4647 // Since lowerConstant already folded and got rid of all IR pointer and
4648 // integer casts, detect GOT equivalent accesses by looking into the MCExpr
4649 // directly.
4651 handleIndirectSymViaGOTPCRel(AP, &ME, BaseCV, Offset);
4652
4653 AP.OutStreamer->emitValue(ME, Size);
4654}
4655
4656/// EmitGlobalConstant - Print a general LLVM constant to the .s file.
4658 AliasMapTy *AliasList) {
4659 uint64_t Size = DL.getTypeAllocSize(CV->getType());
4660 if (Size)
4661 emitGlobalConstantImpl(DL, CV, *this, nullptr, 0, AliasList);
4662 else if (MAI.hasSubsectionsViaSymbols()) {
4663 // If the global has zero size, emit a single byte so that two labels don't
4664 // look like they are at the same location.
4665 OutStreamer->emitIntValue(0, 1);
4666 }
4667 if (!AliasList)
4668 return;
4669 // TODO: These remaining aliases are not emitted in the correct location. Need
4670 // to handle the case where the alias offset doesn't refer to any sub-element.
4671 for (auto &AliasPair : *AliasList) {
4672 for (const GlobalAlias *GA : AliasPair.second)
4673 OutStreamer->emitLabel(getSymbol(GA));
4674 }
4675}
4676
4678 // Target doesn't support this yet!
4679 llvm_unreachable("Target does not support EmitMachineConstantPoolValue");
4680}
4681
4683 if (Offset > 0)
4684 OS << '+' << Offset;
4685 else if (Offset < 0)
4686 OS << Offset;
4687}
4688
4689void AsmPrinter::emitNops(unsigned N) {
4690 MCInst Nop = MF->getSubtarget().getInstrInfo()->getNop();
4691 for (; N; --N)
4693}
4694
4695//===----------------------------------------------------------------------===//
4696// Symbol Lowering Routines.
4697//===----------------------------------------------------------------------===//
4698
4700 return OutContext.createTempSymbol(Name, true);
4701}
4702
4704 return const_cast<AsmPrinter *>(this)->getAddrLabelSymbol(
4705 BA->getBasicBlock());
4706}
4707
4709 return const_cast<AsmPrinter *>(this)->getAddrLabelSymbol(BB);
4710}
4711
4715
4716/// GetCPISymbol - Return the symbol for the specified constant pool entry.
4717MCSymbol *AsmPrinter::GetCPISymbol(unsigned CPID) const {
4718 if (getSubtargetInfo().getTargetTriple().isWindowsMSVCEnvironment() ||
4719 getSubtargetInfo().getTargetTriple().isUEFI()) {
4720 const MachineConstantPoolEntry &CPE =
4721 MF->getConstantPool()->getConstants()[CPID];
4722 if (!CPE.isMachineConstantPoolEntry()) {
4723 const DataLayout &DL = MF->getDataLayout();
4724 SectionKind Kind = CPE.getSectionKind(&DL);
4725 const Constant *C = CPE.Val.ConstVal;
4726 Align Alignment = CPE.Alignment;
4728 DL, Kind, C, Alignment, &MF->getFunction());
4729 if (S && TM.getTargetTriple().isOSBinFormatCOFF()) {
4730 if (MCSymbol *Sym =
4731 static_cast<const MCSectionCOFF *>(S)->getCOMDATSymbol()) {
4732 if (Sym->isUndefined())
4733 OutStreamer->emitSymbolAttribute(Sym, MCSA_Global);
4734 return Sym;
4735 }
4736 }
4737 }
4738 }
4739
4740 const DataLayout &DL = getDataLayout();
4741 return OutContext.getOrCreateSymbol(Twine(DL.getInternalSymbolPrefix()) +
4742 "CPI" + Twine(getFunctionNumber()) + "_" +
4743 Twine(CPID));
4744}
4745
4746/// GetJTISymbol - Return the symbol for the specified jump table entry.
4747MCSymbol *AsmPrinter::GetJTISymbol(unsigned JTID, bool isLinkerPrivate) const {
4748 return MF->getJTISymbol(JTID, OutContext, isLinkerPrivate);
4749}
4750
4751/// GetJTSetSymbol - Return the symbol for the specified jump table .set
4752/// FIXME: privatize to AsmPrinter.
4753MCSymbol *AsmPrinter::GetJTSetSymbol(unsigned UID, unsigned MBBID) const {
4754 const DataLayout &DL = getDataLayout();
4755 return OutContext.getOrCreateSymbol(Twine(DL.getInternalSymbolPrefix()) +
4756 Twine(getFunctionNumber()) + "_" +
4757 Twine(UID) + "_set_" + Twine(MBBID));
4758}
4759
4764
4765/// Return the MCSymbol for the specified ExternalSymbol.
4767 SmallString<60> NameStr;
4769 return OutContext.getOrCreateSymbol(NameStr);
4770}
4771
4772/// PrintParentLoopComment - Print comments about parent loops of this one.
4774 unsigned FunctionNumber) {
4775 if (!Loop) return;
4776 PrintParentLoopComment(OS, Loop->getParentLoop(), FunctionNumber);
4777 OS.indent(Loop->getLoopDepth()*2)
4778 << "Parent Loop BB" << FunctionNumber << "_"
4779 << Loop->getHeader()->getNumber()
4780 << " Depth=" << Loop->getLoopDepth() << '\n';
4781}
4782
4783/// PrintChildLoopComment - Print comments about child loops within
4784/// the loop for this basic block, with nesting.
4786 unsigned FunctionNumber) {
4787 // Add child loop information
4788 for (const MachineLoop *CL : *Loop) {
4789 OS.indent(CL->getLoopDepth()*2)
4790 << "Child Loop BB" << FunctionNumber << "_"
4791 << CL->getHeader()->getNumber() << " Depth " << CL->getLoopDepth()
4792 << '\n';
4793 PrintChildLoopComment(OS, CL, FunctionNumber);
4794 }
4795}
4796
4797/// emitBasicBlockLoopComments - Pretty-print comments for basic blocks.
4799 const MachineLoopInfo *LI,
4800 const AsmPrinter &AP) {
4801 // Add loop depth information
4802 const MachineLoop *Loop = LI->getLoopFor(&MBB);
4803 if (!Loop) return;
4804
4805 MachineBasicBlock *Header = Loop->getHeader();
4806 assert(Header && "No header for loop");
4807
4808 // If this block is not a loop header, just print out what is the loop header
4809 // and return.
4810 if (Header != &MBB) {
4811 AP.OutStreamer->AddComment(" in Loop: Header=BB" +
4812 Twine(AP.getFunctionNumber())+"_" +
4814 " Depth="+Twine(Loop->getLoopDepth()));
4815 return;
4816 }
4817
4818 // Otherwise, it is a loop header. Print out information about child and
4819 // parent loops.
4820 raw_ostream &OS = AP.OutStreamer->getCommentOS();
4821
4823
4824 OS << "=>";
4825 OS.indent(Loop->getLoopDepth()*2-2);
4826
4827 OS << "This ";
4828 if (Loop->isInnermost())
4829 OS << "Inner ";
4830 OS << "Loop Header: Depth=" + Twine(Loop->getLoopDepth()) << '\n';
4831
4833}
4834
4835/// emitBasicBlockStart - This method prints the label for the specified
4836/// MachineBasicBlock, an alignment (if present) and a comment describing
4837/// it if appropriate.
4839 // End the previous funclet and start a new one.
4840 if (MBB.isEHFuncletEntry()) {
4841 for (auto &Handler : Handlers) {
4842 Handler->endFunclet();
4843 Handler->beginFunclet(MBB);
4844 }
4845 for (auto &Handler : EHHandlers) {
4846 Handler->endFunclet();
4847 Handler->beginFunclet(MBB);
4848 }
4849 }
4850
4851 // Switch to a new section if this basic block must begin a section. The
4852 // entry block is always placed in the function section and is handled
4853 // separately.
4854 if (MBB.isBeginSection() && !MBB.isEntryBlock()) {
4855 OutStreamer->switchSection(
4856 getObjFileLowering().getSectionForMachineBasicBlock(MF->getFunction(),
4857 MBB, TM));
4858 CurrentSectionBeginSym = MBB.getSymbol();
4859 }
4860
4861 for (auto &Handler : Handlers)
4862 Handler->beginCodeAlignment(MBB);
4863
4864 // Emit an alignment directive for this block, if needed.
4865 const Align Alignment = MBB.getAlignment();
4866 if (Alignment != Align(1))
4867 emitAlignment(Alignment, nullptr, MBB.getMaxBytesForAlignment());
4868
4869 // If the block has its address taken, emit any labels that were used to
4870 // reference the block. It is possible that there is more than one label
4871 // here, because multiple LLVM BB's may have been RAUW'd to this block after
4872 // the references were generated.
4873 if (MBB.isIRBlockAddressTaken()) {
4874 if (isVerbose())
4875 OutStreamer->AddComment("Block address taken");
4876
4877 BasicBlock *BB = MBB.getAddressTakenIRBlock();
4878 assert(BB && BB->hasAddressTaken() && "Missing BB");
4879 for (MCSymbol *Sym : getAddrLabelSymbolToEmit(BB))
4880 OutStreamer->emitLabel(Sym);
4881 } else if (isVerbose() && MBB.isMachineBlockAddressTaken()) {
4882 OutStreamer->AddComment("Block address taken");
4883 } else if (isVerbose() && MBB.isInlineAsmBrIndirectTarget()) {
4884 OutStreamer->AddComment("Inline asm indirect target");
4885 }
4886
4887 // Print some verbose block comments.
4888 if (isVerbose()) {
4889 if (const BasicBlock *BB = MBB.getBasicBlock()) {
4890 if (BB->hasName()) {
4891 BB->printAsOperand(OutStreamer->getCommentOS(),
4892 /*PrintType=*/false, BB->getModule());
4893 OutStreamer->getCommentOS() << '\n';
4894 }
4895 }
4896
4897 assert(MLI != nullptr && "MachineLoopInfo should has been computed");
4899 }
4900
4901 // Print the main label for the block.
4902 if (shouldEmitLabelForBasicBlock(MBB)) {
4903 if (isVerbose() && MBB.hasLabelMustBeEmitted())
4904 OutStreamer->AddComment("Label of block must be emitted");
4905 OutStreamer->emitLabel(MBB.getSymbol());
4906 } else {
4907 if (isVerbose()) {
4908 // NOTE: Want this comment at start of line, don't emit with AddComment.
4909 OutStreamer->emitRawComment(" %bb." + Twine(MBB.getNumber()) + ":",
4910 false);
4911 }
4912 }
4913
4914 if (MBB.isEHContTarget() &&
4915 MAI.getExceptionHandlingType() == ExceptionHandling::WinEH) {
4916 OutStreamer->emitLabel(MBB.getEHContSymbol());
4917 }
4918
4919 // With BB sections, each basic block must handle CFI information on its own
4920 // if it begins a section (Entry block call is handled separately, next to
4921 // beginFunction).
4922 if (MBB.isBeginSection() && !MBB.isEntryBlock()) {
4923 for (auto &Handler : Handlers)
4924 Handler->beginBasicBlockSection(MBB);
4925 for (auto &Handler : EHHandlers)
4926 Handler->beginBasicBlockSection(MBB);
4927 }
4928}
4929
4931 // Check if CFI information needs to be updated for this MBB with basic block
4932 // sections.
4933 if (MBB.isEndSection()) {
4934 for (auto &Handler : Handlers)
4935 Handler->endBasicBlockSection(MBB);
4936 for (auto &Handler : EHHandlers)
4937 Handler->endBasicBlockSection(MBB);
4938 }
4939}
4940
4941void AsmPrinter::emitVisibility(MCSymbol *Sym, unsigned Visibility,
4942 bool IsDefinition) const {
4944
4945 switch (Visibility) {
4946 default: break;
4948 if (IsDefinition)
4949 Attr = MAI.getHiddenVisibilityAttr();
4950 else
4951 Attr = MAI.getHiddenDeclarationVisibilityAttr();
4952 break;
4954 Attr = MAI.getProtectedVisibilityAttr();
4955 break;
4956 }
4957
4958 if (Attr != MCSA_Invalid)
4959 OutStreamer->emitSymbolAttribute(Sym, Attr);
4960}
4961
4962bool AsmPrinter::shouldEmitLabelForBasicBlock(
4963 const MachineBasicBlock &MBB) const {
4964 // With `-fbasic-block-sections=`, a label is needed for every non-entry block
4965 // in the labels mode (option `=labels`) and every section beginning in the
4966 // sections mode (`=all` and `=list=`).
4967 if ((MF->getTarget().Options.BBAddrMap || MBB.isBeginSection()) &&
4968 !MBB.isEntryBlock())
4969 return true;
4970 // A label is needed for any block with at least one predecessor (when that
4971 // predecessor is not the fallthrough predecessor, or if it is an EH funclet
4972 // entry, or if a label is forced).
4973 return !MBB.pred_empty() &&
4974 (!isBlockOnlyReachableByFallthrough(&MBB) || MBB.isEHFuncletEntry() ||
4975 MBB.hasLabelMustBeEmitted());
4976}
4977
4978/// isBlockOnlyReachableByFallthough - Return true if the basic block has
4979/// exactly one predecessor and the control transfer mechanism between
4980/// the predecessor and this block is a fall-through.
4983 // If this is a landing pad, it isn't a fall through. If it has no preds,
4984 // then nothing falls through to it.
4985 if (MBB->isEHPad() || MBB->pred_empty())
4986 return false;
4987
4988 // If there isn't exactly one predecessor, it can't be a fall through.
4989 if (MBB->pred_size() > 1)
4990 return false;
4991
4992 // The predecessor has to be immediately before this block.
4993 MachineBasicBlock *Pred = *MBB->pred_begin();
4994 if (!Pred->isLayoutSuccessor(MBB))
4995 return false;
4996
4997 // If the block is completely empty, then it definitely does fall through.
4998 if (Pred->empty())
4999 return true;
5000
5001 // Check the terminators in the previous blocks
5002 for (const auto &MI : Pred->terminators()) {
5003 // If it is not a simple branch, we are in a table somewhere.
5004 if (!MI.isBranch() || MI.isIndirectBranch())
5005 return false;
5006
5007 // If we are the operands of one of the branches, this is not a fall
5008 // through. Note that targets with delay slots will usually bundle
5009 // terminators with the delay slot instruction.
5010 for (ConstMIBundleOperands OP(MI); OP.isValid(); ++OP) {
5011 if (OP->isJTI())
5012 return false;
5013 if (OP->isMBB() && OP->getMBB() == MBB)
5014 return false;
5015 }
5016 }
5017
5018 return true;
5019}
5020
5021GCMetadataPrinter *AsmPrinter::getOrCreateGCPrinter(GCStrategy &S) {
5022 if (!S.usesMetadata())
5023 return nullptr;
5024
5025 auto [GCPI, Inserted] = GCMetadataPrinters.try_emplace(&S);
5026 if (!Inserted)
5027 return GCPI->second.get();
5028
5029 auto Name = S.getName();
5030
5031 for (const GCMetadataPrinterRegistry::entry &GCMetaPrinter :
5033 if (Name == GCMetaPrinter.getName()) {
5034 std::unique_ptr<GCMetadataPrinter> GMP = GCMetaPrinter.instantiate();
5035 GMP->S = &S;
5036 GCPI->second = std::move(GMP);
5037 return GCPI->second.get();
5038 }
5039
5040 report_fatal_error("no GCMetadataPrinter registered for GC: " + Twine(Name));
5041}
5042
5044 std::unique_ptr<AsmPrinterHandler> Handler) {
5045 Handlers.insert(Handlers.begin(), std::move(Handler));
5047}
5048
5049/// Pin vtables to this file.
5051
5053
5054// In the binary's "xray_instr_map" section, an array of these function entries
5055// describes each instrumentation point. When XRay patches your code, the index
5056// into this table will be given to your handler as a patch point identifier.
5058 auto Kind8 = static_cast<uint8_t>(Kind);
5059 Out->emitBinaryData(StringRef(reinterpret_cast<const char *>(&Kind8), 1));
5060 Out->emitBinaryData(
5061 StringRef(reinterpret_cast<const char *>(&AlwaysInstrument), 1));
5062 Out->emitBinaryData(StringRef(reinterpret_cast<const char *>(&Version), 1));
5063 auto Padding = (4 * Bytes) - ((2 * Bytes) + 3);
5064 assert(Padding >= 0 && "Instrumentation map entry > 4 * Word Size");
5065 Out->emitZeros(Padding);
5066}
5067
5069 if (Sleds.empty())
5070 return;
5071
5072 auto PrevSection = OutStreamer->getCurrentSectionOnly();
5073 const Function &F = MF->getFunction();
5074 MCSection *InstMap = nullptr;
5075 MCSection *FnSledIndex = nullptr;
5076 const Triple &TT = TM.getTargetTriple();
5077 // Use PC-relative addresses on all targets.
5078 if (TT.isOSBinFormatELF()) {
5079 auto LinkedToSym = static_cast<const MCSymbolELF *>(CurrentFnSym);
5080 auto Flags = ELF::SHF_ALLOC | ELF::SHF_LINK_ORDER;
5081 StringRef GroupName;
5082 if (F.hasComdat()) {
5083 Flags |= ELF::SHF_GROUP;
5084 GroupName = F.getComdat()->getName();
5085 }
5086 InstMap = OutContext.getELFSection("xray_instr_map", ELF::SHT_PROGBITS,
5087 Flags, 0, GroupName, F.hasComdat(),
5088 MCSection::NonUniqueID, LinkedToSym);
5089
5090 if (TM.Options.XRayFunctionIndex)
5091 FnSledIndex = OutContext.getELFSection(
5092 "xray_fn_idx", ELF::SHT_PROGBITS, Flags, 0, GroupName, F.hasComdat(),
5093 MCSection::NonUniqueID, LinkedToSym);
5094 } else if (MF->getSubtarget().getTargetTriple().isOSBinFormatMachO()) {
5095 InstMap = OutContext.getMachOSection("__DATA", "xray_instr_map",
5098 if (TM.Options.XRayFunctionIndex)
5099 FnSledIndex = OutContext.getMachOSection("__DATA", "xray_fn_idx",
5102 } else {
5103 llvm_unreachable("Unsupported target");
5104 }
5105
5106 auto WordSizeBytes = MAI.getCodePointerSize();
5107
5108 // Now we switch to the instrumentation map section. Because this is done
5109 // per-function, we are able to create an index entry that will represent the
5110 // range of sleds associated with a function.
5111 auto &Ctx = OutContext;
5112 MCSymbol *SledsStart =
5113 OutContext.createLinkerPrivateSymbol("xray_sleds_start");
5114 OutStreamer->switchSection(InstMap);
5115 OutStreamer->emitLabel(SledsStart);
5116 for (const auto &Sled : Sleds) {
5117 MCSymbol *Dot = Ctx.createTempSymbol();
5118 OutStreamer->emitLabel(Dot);
5119 OutStreamer->emitValueImpl(
5121 MCSymbolRefExpr::create(Dot, Ctx), Ctx),
5122 WordSizeBytes);
5123 OutStreamer->emitValueImpl(
5127 MCConstantExpr::create(WordSizeBytes, Ctx),
5128 Ctx),
5129 Ctx),
5130 WordSizeBytes);
5131 Sled.emit(WordSizeBytes, OutStreamer.get());
5132 }
5133 MCSymbol *SledsEnd = OutContext.createTempSymbol("xray_sleds_end", true);
5134 OutStreamer->emitLabel(SledsEnd);
5135
5136 // We then emit a single entry in the index per function. We use the symbols
5137 // that bound the instrumentation map as the range for a specific function.
5138 // Each entry contains 2 words and needs to be word-aligned.
5139 if (FnSledIndex) {
5140 OutStreamer->switchSection(FnSledIndex);
5141 OutStreamer->emitValueToAlignment(Align(WordSizeBytes));
5142 // For Mach-O, use an "l" symbol as the atom of this subsection. The label
5143 // difference uses a SUBTRACTOR external relocation which references the
5144 // symbol.
5145 MCSymbol *Dot = Ctx.createLinkerPrivateSymbol("xray_fn_idx");
5146 OutStreamer->emitLabel(Dot);
5147 OutStreamer->emitValueImpl(
5149 MCSymbolRefExpr::create(Dot, Ctx), Ctx),
5150 WordSizeBytes);
5151 OutStreamer->emitValueImpl(MCConstantExpr::create(Sleds.size(), Ctx),
5152 WordSizeBytes);
5153 OutStreamer->switchSection(PrevSection);
5154 }
5155 Sleds.clear();
5156}
5157
5159 SledKind Kind, uint8_t Version) {
5160 const Function &F = MI.getMF()->getFunction();
5161 auto Attr = F.getFnAttribute("function-instrument");
5162 bool LogArgs = F.hasFnAttribute("xray-log-args");
5163 bool AlwaysInstrument =
5164 Attr.isStringAttribute() && Attr.getValueAsString() == "xray-always";
5165 if (Kind == SledKind::FUNCTION_ENTER && LogArgs)
5167 Sleds.emplace_back(XRayFunctionEntry{Sled, CurrentFnSym, Kind,
5168 AlwaysInstrument, &F, Version});
5169}
5170
5172 const Function &F = MF->getFunction();
5173 unsigned PatchableFunctionPrefix =
5174 F.getFnAttributeAsParsedInteger("patchable-function-prefix");
5175 unsigned PatchableFunctionEntry =
5176 F.getFnAttributeAsParsedInteger("patchable-function-entry");
5177 if (!PatchableFunctionPrefix && !PatchableFunctionEntry)
5178 return;
5179 const unsigned PointerSize = getPointerSize();
5180 if (TM.getTargetTriple().isOSBinFormatELF()) {
5181 auto Flags = ELF::SHF_WRITE | ELF::SHF_ALLOC;
5182 const MCSymbolELF *LinkedToSym = nullptr;
5183 StringRef GroupName, SectionName;
5184
5185 if (F.hasFnAttribute("patchable-function-entry-section"))
5186 SectionName = F.getFnAttribute("patchable-function-entry-section")
5187 .getValueAsString();
5188 if (SectionName.empty())
5189 SectionName = "__patchable_function_entries";
5190
5191 // GNU as < 2.35 did not support section flag 'o'. GNU ld < 2.36 did not
5192 // support mixed SHF_LINK_ORDER and non-SHF_LINK_ORDER sections.
5193 if (MAI.useIntegratedAssembler() || MAI.binutilsIsAtLeast(2, 36)) {
5194 Flags |= ELF::SHF_LINK_ORDER;
5195 if (F.hasComdat()) {
5196 Flags |= ELF::SHF_GROUP;
5197 GroupName = F.getComdat()->getName();
5198 }
5199 LinkedToSym = static_cast<const MCSymbolELF *>(CurrentFnSym);
5200 }
5201 OutStreamer->switchSection(OutContext.getELFSection(
5202 SectionName, ELF::SHT_PROGBITS, Flags, 0, GroupName, F.hasComdat(),
5203 MCSection::NonUniqueID, LinkedToSym));
5206 }
5207}
5208
5210 return OutStreamer->getContext().getDwarfVersion();
5211}
5212
5214 OutStreamer->getContext().setDwarfVersion(Version);
5215}
5216
5218 return OutStreamer->getContext().getDwarfFormat() == dwarf::DWARF64;
5219}
5220
5223 OutStreamer->getContext().getDwarfFormat());
5224}
5225
5227 return {getDwarfVersion(), uint8_t(MAI.getCodePointerSize()),
5228 OutStreamer->getContext().getDwarfFormat(),
5230}
5231
5234 OutStreamer->getContext().getDwarfFormat());
5235}
5236
5237std::tuple<const MCSymbol *, uint64_t, const MCSymbol *,
5240 const MCSymbol *BranchLabel) const {
5241 const auto TLI = MF->getSubtarget().getTargetLowering();
5242 const auto BaseExpr =
5243 TLI->getPICJumpTableRelocBaseExpr(MF, JTI, MMI->getContext());
5244 const auto Base = &cast<MCSymbolRefExpr>(BaseExpr)->getSymbol();
5245
5246 // By default, for the architectures that support CodeView,
5247 // EK_LabelDifference32 is implemented as an Int32 from the base address.
5248 return std::make_tuple(Base, 0, BranchLabel,
5250}
5251
5253 const Triple &TT = M.getTargetTriple();
5254 assert(TT.isOSBinFormatCOFF());
5255
5256 bool IsTargetArm64EC = TT.isWindowsArm64EC();
5258 SmallVector<MCSymbol *> FuncOverrideDefaultSymbols;
5259 bool SwitchedToDirectiveSection = false;
5260 for (const Function &F : M.functions()) {
5261 if (F.hasFnAttribute("loader-replaceable")) {
5262 if (!SwitchedToDirectiveSection) {
5263 OutStreamer->switchSection(
5264 OutContext.getObjectFileInfo()->getDrectveSection());
5265 SwitchedToDirectiveSection = true;
5266 }
5267
5268 StringRef Name = F.getName();
5269
5270 // For hybrid-patchable targets, strip the prefix so that we can mark
5271 // the real function as replaceable.
5272 if (IsTargetArm64EC && Name.ends_with(HybridPatchableTargetSuffix)) {
5273 Name = Name.drop_back(HybridPatchableTargetSuffix.size());
5274 }
5275
5276 MCSymbol *FuncOverrideSymbol =
5277 MMI->getContext().getOrCreateSymbol(Name + "_$fo$");
5278 OutStreamer->beginCOFFSymbolDef(FuncOverrideSymbol);
5279 OutStreamer->emitCOFFSymbolStorageClass(COFF::IMAGE_SYM_CLASS_EXTERNAL);
5280 OutStreamer->emitCOFFSymbolType(COFF::IMAGE_SYM_DTYPE_NULL);
5281 OutStreamer->endCOFFSymbolDef();
5282
5283 MCSymbol *FuncOverrideDefaultSymbol =
5284 MMI->getContext().getOrCreateSymbol(Name + "_$fo_default$");
5285 OutStreamer->beginCOFFSymbolDef(FuncOverrideDefaultSymbol);
5286 OutStreamer->emitCOFFSymbolStorageClass(COFF::IMAGE_SYM_CLASS_EXTERNAL);
5287 OutStreamer->emitCOFFSymbolType(COFF::IMAGE_SYM_DTYPE_NULL);
5288 OutStreamer->endCOFFSymbolDef();
5289 FuncOverrideDefaultSymbols.push_back(FuncOverrideDefaultSymbol);
5290
5291 OutStreamer->emitBytes((Twine(" /ALTERNATENAME:") +
5292 FuncOverrideSymbol->getName() + "=" +
5293 FuncOverrideDefaultSymbol->getName())
5294 .toStringRef(Buf));
5295 Buf.clear();
5296 }
5297 }
5298
5299 if (SwitchedToDirectiveSection)
5300 OutStreamer->popSection();
5301
5302 if (FuncOverrideDefaultSymbols.empty())
5303 return;
5304
5305 // MSVC emits the symbols for the default variables pointing at the start of
5306 // the .data section, but doesn't actually allocate any space for them. LLVM
5307 // can't do this, so have all of the variables pointing at a single byte
5308 // instead.
5309 OutStreamer->switchSection(OutContext.getObjectFileInfo()->getDataSection());
5310 for (MCSymbol *Symbol : FuncOverrideDefaultSymbols) {
5311 OutStreamer->emitLabel(Symbol);
5312 }
5313 OutStreamer->emitZeros(1);
5314 OutStreamer->popSection();
5315}
5316
5318 const Triple &TT = M.getTargetTriple();
5319 assert(TT.isOSBinFormatCOFF());
5320
5321 // Emit an absolute @feat.00 symbol.
5322 MCSymbol *S = MMI->getContext().getOrCreateSymbol(StringRef("@feat.00"));
5323 OutStreamer->beginCOFFSymbolDef(S);
5324 OutStreamer->emitCOFFSymbolStorageClass(COFF::IMAGE_SYM_CLASS_STATIC);
5325 OutStreamer->emitCOFFSymbolType(COFF::IMAGE_SYM_DTYPE_NULL);
5326 OutStreamer->endCOFFSymbolDef();
5327 int64_t Feat00Value = 0;
5328
5329 if (TT.getArch() == Triple::x86) {
5330 // According to the PE-COFF spec, the LSB of this value marks the object
5331 // for "registered SEH". This means that all SEH handler entry points
5332 // must be registered in .sxdata. Use of any unregistered handlers will
5333 // cause the process to terminate immediately. LLVM does not know how to
5334 // register any SEH handlers, so its object files should be safe.
5335 Feat00Value |= COFF::Feat00Flags::SafeSEH;
5336 }
5337
5338 if (M.getControlFlowGuardMode() == ControlFlowGuardMode::Enabled) {
5339 // Object is CFG-aware. Only set if we actually inserted the checks.
5340 Feat00Value |= COFF::Feat00Flags::GuardCF;
5341 }
5342
5343 if (M.getModuleFlag("ehcontguard")) {
5344 // Object also has EHCont.
5345 Feat00Value |= COFF::Feat00Flags::GuardEHCont;
5346 }
5347
5348 if (M.getModuleFlag("ms-kernel")) {
5349 // Object is compiled with /kernel.
5350 Feat00Value |= COFF::Feat00Flags::Kernel;
5351 }
5352
5353 OutStreamer->emitSymbolAttribute(S, MCSA_Global);
5354 OutStreamer->emitAssignment(
5355 S, MCConstantExpr::create(Feat00Value, MMI->getContext()));
5356}
5357
5358namespace llvm {
5359namespace {
5361 MachineFunction &MF) {
5363 MAM.getResult<FunctionAnalysisManagerModuleProxy>(M).getManager();
5366 MF.getFunction())
5367 .getManager();
5368 return MFAM;
5369}
5370} // anonymous namespace
5371
5374 MachineModuleInfo &MMI = MAM.getResult<MachineModuleAnalysis>(M).getMMI();
5375 AsmPrinter.GetMMI = [&MMI]() { return &MMI; };
5376 AsmPrinter.MMI = &MMI;
5377 AsmPrinter.GetORE = [&MAM, &M](MachineFunction &MF) {
5378 return &getMFAM(M, MAM, MF)
5380 };
5381 AsmPrinter.GetMDT = [&MAM, &M](MachineFunction &MF) {
5382 return &getMFAM(M, MAM, MF).getResult<MachineDominatorTreeAnalysis>(MF);
5383 };
5384 AsmPrinter.GetMLI = [&MAM, &M](MachineFunction &MF) {
5385 return &getMFAM(M, MAM, MF).getResult<MachineLoopAnalysis>(MF);
5386 };
5387 // TODO(boomanaiden154): Get GC working with the new pass manager.
5388 AsmPrinter.BeginGCAssembly = [](Module &M) {};
5390 AsmPrinter.EmitStackMaps = [](Module &M) {};
5392}
5393
5395 MachineFunction &MF,
5397 const ModuleAnalysisManagerMachineFunctionProxy::Result &MAMProxy =
5399 MachineModuleInfo &MMI =
5400 MAMProxy
5401 .getCachedResult<MachineModuleAnalysis>(*MF.getFunction().getParent())
5402 ->getMMI();
5403 AsmPrinter.GetMMI = [&MMI]() { return &MMI; };
5404 AsmPrinter.MMI = &MMI;
5405 AsmPrinter.GetORE = [&MFAM](MachineFunction &MF) {
5407 };
5408 AsmPrinter.GetMDT = [&MFAM](MachineFunction &MF) {
5409 return &MFAM.getResult<MachineDominatorTreeAnalysis>(MF);
5410 };
5411 AsmPrinter.GetMLI = [&MFAM](MachineFunction &MF) {
5412 return &MFAM.getResult<MachineLoopAnalysis>(MF);
5413 };
5414 // TODO(boomanaiden154): Get GC working with the new pass manager.
5415 AsmPrinter.BeginGCAssembly = [](Module &M) {};
5417 AsmPrinter.EmitStackMaps = [](Module &M) {};
5419}
5420
5422
5423} // namespace llvm
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
unsigned uint64_t
This file declares a class to represent arbitrary precision floating point values and provide a varie...
This file implements a class to represent arbitrary precision integral constant values and operations...
MachineBasicBlock & MBB
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static cl::opt< bool > PgoAnalysisMapEmitBBSectionsCfg("pgo-analysis-map-emit-bb-sections-cfg", cl::desc("Enable the post-link cfg information from the basic block " "sections profile in the PGO analysis map"), cl::Hidden, cl::init(false))
static bool emitDebugValueComment(const MachineInstr *MI, AsmPrinter &AP)
emitDebugValueComment - This method handles the target-independent form of DBG_VALUE,...
static cl::opt< std::string > StackUsageFile("stack-usage-file", cl::desc("Output filename for stack usage information"), cl::value_desc("filename"), cl::Hidden)
static uint32_t getBBAddrMapMetadata(const MachineBasicBlock &MBB)
Returns the BB metadata to be emitted in the SHT_LLVM_BB_ADDR_MAP section for a given basic block.
static cl::opt< bool > BBAddrMapSkipEmitBBEntries("basic-block-address-map-skip-bb-entries", cl::desc("Skip emitting basic block entries in the SHT_LLVM_BB_ADDR_MAP " "section. It's used to save binary size when BB entries are " "unnecessary for some PGOAnalysisMap features."), cl::Hidden, cl::init(false))
static void emitGlobalConstantFP(const ConstantFP *CFP, AsmPrinter &AP)
static void emitFakeUse(const MachineInstr *MI, AsmPrinter &AP)
static bool isGOTEquivalentCandidate(const GlobalVariable *GV, unsigned &NumGOTEquivUsers, bool &HasNonGlobalUsers)
Only consider global GOT equivalents if at least one user is a cstexpr inside an initializer of anoth...
static void emitGlobalConstantLargeByte(const ConstantByte *CB, AsmPrinter &AP)
static void tagGlobalDefinition(Module &M, GlobalVariable *G)
static void emitBasicBlockLoopComments(const MachineBasicBlock &MBB, const MachineLoopInfo *LI, const AsmPrinter &AP)
emitBasicBlockLoopComments - Pretty-print comments for basic blocks.
static void emitGlobalConstantLargeAPInt(const APInt &Val, uint64_t TypeStoreSize, AsmPrinter &AP)
static void handleIndirectSymViaGOTPCRel(AsmPrinter &AP, const MCExpr **ME, const Constant *BaseCst, uint64_t Offset)
Transform a not absolute MCExpr containing a reference to a GOT equivalent global,...
static llvm::object::BBAddrMap::Features getBBAddrMapFeature(const MachineFunction &MF, int NumMBBSectionRanges, bool HasCalls, const CFGProfile *FuncCFGProfile)
static int isRepeatedByteSequence(const ConstantDataSequential *V)
isRepeatedByteSequence - Determine whether the given value is composed of a repeated sequence of iden...
static void emitGlobalAliasInline(AsmPrinter &AP, uint64_t Offset, AsmPrinter::AliasMapTy *AliasList)
static bool needFuncLabels(const MachineFunction &MF, const AsmPrinter &Asm)
Returns true if function begin and end labels should be emitted.
static unsigned getNumGlobalVariableUses(const Constant *C, bool &HasNonGlobalUsers)
Compute the number of Global Variables that uses a Constant.
static void removeMemtagFromGlobal(GlobalVariable &G)
static uint64_t globalSize(const llvm::GlobalVariable &G)
static void PrintChildLoopComment(raw_ostream &OS, const MachineLoop *Loop, unsigned FunctionNumber)
PrintChildLoopComment - Print comments about child loops within the loop for this basic block,...
static StringRef getMIMnemonic(const MachineInstr &MI, MCStreamer &Streamer)
PGOMapFeaturesEnum
static void emitComments(const MachineInstr &MI, const MCSubtargetInfo *STI, raw_ostream &CommentOS)
emitComments - Pretty-print comments for instructions.
static void PrintParentLoopComment(raw_ostream &OS, const MachineLoop *Loop, unsigned FunctionNumber)
PrintParentLoopComment - Print comments about parent loops of this one.
static void emitGlobalConstantStruct(const DataLayout &DL, const ConstantStruct *CS, AsmPrinter &AP, const Constant *BaseCV, uint64_t Offset, AsmPrinter::AliasMapTy *AliasList)
static void emitGlobalConstantDataSequential(const DataLayout &DL, const ConstantDataSequential *CDS, AsmPrinter &AP, AsmPrinter::AliasMapTy *AliasList)
static void emitKill(const MachineInstr *MI, AsmPrinter &AP)
static bool shouldTagGlobal(const llvm::GlobalVariable &G)
static void emitGlobalConstantImpl(const DataLayout &DL, const Constant *C, AsmPrinter &AP, const Constant *BaseCV=nullptr, uint64_t Offset=0, AsmPrinter::AliasMapTy *AliasList=nullptr)
static cl::list< PGOMapFeaturesEnum > PgoAnalysisMapFeatures("pgo-analysis-map", cl::Hidden, cl::CommaSeparated, cl::values(clEnumValN(PGOMapFeaturesEnum::None, "none", "Disable all options"), clEnumValN(PGOMapFeaturesEnum::FuncEntryCount, "func-entry-count", "Function Entry Count"), clEnumValN(PGOMapFeaturesEnum::BBFreq, "bb-freq", "Basic Block Frequency"), clEnumValN(PGOMapFeaturesEnum::BrProb, "br-prob", "Branch Probability"), clEnumValN(PGOMapFeaturesEnum::All, "all", "Enable all options")), cl::desc("Enable extended information within the SHT_LLVM_BB_ADDR_MAP that is " "extracted from PGO related analysis."))
static ConstantInt * extractNumericCGTypeId(const Function &F)
Extracts a numeric type identifier of a Function's type from callgraph metadata.
static cl::opt< bool > PrintLatency("asm-print-latency", cl::desc("Print instruction latencies as verbose asm comments"), cl::Hidden, cl::init(false))
static bool emitDebugLabelComment(const MachineInstr *MI, AsmPrinter &AP)
This method handles the target-independent form of DBG_LABEL, returning true if it was able to do so.
static bool canBeHidden(const GlobalValue *GV, const MCAsmInfo &MAI)
static void emitGlobalConstantVector(const DataLayout &DL, const Constant *CV, AsmPrinter &AP, AsmPrinter::AliasMapTy *AliasList)
static cl::opt< bool > EmitJumpTableSizesSection("emit-jump-table-sizes-section", cl::desc("Emit a section containing jump table addresses and sizes"), cl::Hidden, cl::init(false))
static void emitGlobalConstantArray(const DataLayout &DL, const ConstantArray *CA, AsmPrinter &AP, const Constant *BaseCV, uint64_t Offset, AsmPrinter::AliasMapTy *AliasList)
static void emitGlobalConstantLargeInt(const ConstantInt *CI, AsmPrinter &AP)
static const Function * getParent(const Value *V)
static GCRegistry::Add< ShadowStackGC > C("shadow-stack", "Very portable GC for uncooperative code generators")
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
#define clEnumValN(ENUMVAL, FLAGNAME, DESC)
This file contains the declarations for the subclasses of Constant, which represent the different fla...
This file defines the DenseMap class.
This file contains constants used for implementing Dwarf debug support.
#define DEBUG_TYPE
This file contains the declaration of the GlobalIFunc class, which represents a single indirect funct...
const HexagonInstrInfo * TII
IRTranslator LLVM IR MI
Module.h This file contains the declarations for the Module class.
This file contains common utilities for code prefetch insertion.
===- LazyMachineBlockFrequencyInfo.h - Lazy Block Frequency -*- C++ -*–===//
const FeatureInfo AllFeatures[]
#define F(x, y, z)
Definition MD5.cpp:54
#define I(x, y, z)
Definition MD5.cpp:57
#define G(x, y, z)
Definition MD5.cpp:55
This file declares the MachineConstantPool class which is an abstract constant pool to keep track of ...
===- MachineOptimizationRemarkEmitter.h - Opt Diagnostics -*- C++ -*-—===//
Register Reg
static cl::opt< std::string > OutputFilename("o", cl::desc("Output filename"), cl::value_desc("filename"), cl::init("-"))
This file provides utility analysis objects describing memory locations.
This file contains the declarations for metadata subclasses.
static constexpr StringLiteral Filename
OptimizedStructLayoutField Field
FunctionAnalysisManager FAM
ModuleAnalysisManager MAM
Func getContext().diagnose(DiagnosticInfoUnsupported(Func
This file contains some templates that are useful if you are working with the STL at all.
#define OP(OPC)
Definition Instruction.h:46
This file defines the SmallPtrSet class.
This file defines the SmallString class.
This file defines the SmallVector class.
This file defines the 'Statistic' class, which is designed to be an easy way to expose various metric...
#define STATISTIC(VARNAME, DESC)
Definition Statistic.h:171
This file contains some functions that are useful when dealing with strings.
std::unique_ptr< MCStreamer > && Streamer
This file describes how to lower LLVM code to machine code.
Defines the virtual file system interface vfs::FileSystem.
Value * LHS
static const fltSemantics & IEEEdouble()
Definition APFloat.h:305
static constexpr roundingMode rmNearestTiesToEven
Definition APFloat.h:361
LLVM_ABI opStatus convert(const fltSemantics &ToSemantics, roundingMode RM, bool *losesInfo)
Definition APFloat.cpp:6034
LLVM_ABI double convertToDouble() const
Converts this APFloat to host double value.
Definition APFloat.cpp:6093
void toString(SmallVectorImpl< char > &Str, unsigned FormatPrecision=0, unsigned FormatMaxPadding=3, bool TruncateZero=true) const
Definition APFloat.h:1620
APInt bitcastToAPInt() const
Definition APFloat.h:1475
Class for arbitrary precision integers.
Definition APInt.h:78
unsigned getBitWidth() const
Return the number of bits in the APInt.
Definition APInt.h:1508
unsigned getNumWords() const
Get the number of words.
Definition APInt.h:1515
const uint64_t * getRawData() const
This function returns a pointer to the internal storage of the APInt.
Definition APInt.h:571
int64_t getSExtValue() const
Get sign extended value.
Definition APInt.h:1582
void lshrInPlace(unsigned ShiftAmt)
Logical right-shift this APInt by ShiftAmt in place.
Definition APInt.h:860
AddrLabelMap(MCContext &context)
void UpdateForRAUWBlock(BasicBlock *Old, BasicBlock *New)
void takeDeletedSymbolsForFunction(Function *F, std::vector< MCSymbol * > &Result)
If we have any deleted symbols for F, return them.
void UpdateForDeletedBlock(BasicBlock *BB)
ArrayRef< MCSymbol * > getAddrLabelSymbolToEmit(BasicBlock *BB)
PassT::Result & getResult(IRUnitT &IR, ExtraArgTs... ExtraArgs)
Get the result of an analysis pass for a given IR unit.
Represent the analysis usage information of a pass.
AnalysisUsage & addUsedIfAvailable()
Add the specified Pass class to the set of analyses used by this pass.
AnalysisUsage & addRequired()
void setPreservesAll()
Set by analyses that do not transform their input at all.
Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition ArrayRef.h:40
const T & front() const
Get the first element.
Definition ArrayRef.h:144
bool empty() const
Check if the array is empty.
Definition ArrayRef.h:136
static LLVM_ABI AnalysisKey Key
virtual ~AsmPrinterHandler()
Pin vtables to this file.
virtual void markFunctionEnd()
This class is intended to be used as a driving class for all asm writers.
Definition AsmPrinter.h:91
virtual void emitInstruction(const MachineInstr *)
Targets should implement this to emit instructions.
Definition AsmPrinter.h:646
void emitDanglingPrefetchTargets()
Emit prefetch targets that were not mapped to any basic block.
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 emitULEB128(uint64_t Value, const char *Desc=nullptr, unsigned PadTo=0) const
Emit the specified unsigned leb128 value.
SmallVector< XRayFunctionEntry, 4 > Sleds
Definition AsmPrinter.h:429
MapVector< MBBSectionID, MBBSectionRange > MBBSectionRanges
Definition AsmPrinter.h:161
bool isDwarf64() const
void emitNops(unsigned N)
Emit N NOP instructions.
MCSymbol * CurrentFnBegin
Definition AsmPrinter.h:236
MachineLoopInfo * MLI
This is a pointer to the current MachineLoopInfo.
Definition AsmPrinter.h:121
virtual void emitDebugValue(const MCExpr *Value, unsigned Size) const
Emit the directive and value for debug thread local expression.
void EmitToStreamer(MCStreamer &S, const MCInst &Inst)
virtual void emitConstantPool()
Print to the current output stream assembly representations of the constants in the constant pool MCP...
virtual void emitGlobalVariable(const GlobalVariable *GV)
Emit the specified global variable to the .s file.
std::function< MachineOptimizationRemarkEmitter *(MachineFunction &)> GetORE
Definition AsmPrinter.h:180
virtual const MCExpr * lowerConstantPtrAuth(const ConstantPtrAuth &CPA)
Definition AsmPrinter.h:667
unsigned int getUnitLengthFieldByteSize() const
Returns 4 for DWARF32 and 12 for DWARF64.
void emitLabelPlusOffset(const MCSymbol *Label, uint64_t Offset, unsigned Size, bool IsSectionRelative=false) const
Emit something like ".long Label+Offset" where the size in bytes of the directive is specified by Siz...
unsigned getPointerSize() const
Return the pointer size in bytes from the target triple.
Definition AsmPrinter.h:359
virtual bool emitTargetFeaturePush(const MCSubtargetInfo &STI)
Emit necessary directives to allow use of instructions that are permitted by target features enabled ...
Definition AsmPrinter.h:945
~AsmPrinter() override
TargetMachine & TM
Target machine description.
Definition AsmPrinter.h:94
void emitXRayTable()
Emit a table with all XRay instrumentation points.
virtual void emitGlobalAlias(const Module &M, const GlobalAlias &GA)
DenseMap< const MachineBasicBlock *, SmallVector< MCSymbol *, 1 > > CurrentFnCallsiteEndSymbols
Vector of symbols marking the end of the callsites in the current function, keyed by their containing...
Definition AsmPrinter.h:147
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 void emitJumpTableEntry(const MachineJumpTableInfo &MJTI, const MachineBasicBlock *MBB, unsigned uid) const
EmitJumpTableEntry - Emit a jump table entry for the specified MBB to the current stream.
MCSymbol * CurrentFnDescSym
The symbol for the current function descriptor on AIX.
Definition AsmPrinter.h:135
MCSymbol * CurrentFnBeginLocal
For dso_local functions, the current $local alias for the function.
Definition AsmPrinter.h:239
MapVector< const MCSymbol *, GOTEquivUsePair > GlobalGOTEquivs
Definition AsmPrinter.h:166
virtual MCSymbol * GetCPISymbol(unsigned CPID) const
Return the symbol for the specified constant pool entry.
void emitGlobalGOTEquivs()
Constant expressions using GOT equivalent globals may not be eligible for PC relative GOT entry conve...
MCSymbol * getFunctionBegin() const
Definition AsmPrinter.h:322
void emitLabelDifference(const MCSymbol *Hi, const MCSymbol *Lo, unsigned Size) const
Emit something like ".long Hi-Lo" where the size in bytes of the directive is specified by Size and H...
void emitKCFITrapEntry(const MachineFunction &MF, const MCSymbol *Symbol)
SmallVector< std::unique_ptr< EHStreamer >, 1 > EHHandlers
A handle to the EH info emitter (if present).
Definition AsmPrinter.h:242
virtual void emitMachOIFuncStubHelperBody(Module &M, const GlobalIFunc &GI, MCSymbol *LazyPointer)
Definition AsmPrinter.h:698
MCSymbol * getMBBExceptionSym(const MachineBasicBlock &MBB)
std::function< void(Module &)> EmitStackMaps
Definition AsmPrinter.h:185
MCSymbol * getAddrLabelSymbol(const BasicBlock *BB)
Return the symbol to be used for the specified basic block when its address is taken.
Definition AsmPrinter.h:332
virtual DwarfDebug * createDwarfDebug()
Create the DwarfDebug handler.
SmallVector< std::unique_ptr< AsmPrinterHandler >, 2 > Handlers
Definition AsmPrinter.h:247
bool emitSpecialLLVMGlobal(const GlobalVariable *GV)
Check to see if the specified global is a special global used by LLVM.
MachineFunction * MF
The current machine function.
Definition AsmPrinter.h:109
virtual void emitJumpTableInfo()
Print assembly representations of the jump tables used by the current function to the current output ...
void computeGlobalGOTEquivs(Module &M)
Unnamed constant global variables solely contaning a pointer to another globals variable act like a g...
static Align getGVAlignment(const GlobalObject *GV, const DataLayout &DL, Align InAlign=Align(1))
Return the alignment for the specified GV.
MCSymbol * createCallsiteEndSymbol(const MachineBasicBlock &MBB)
Creates a new symbol to be used for the end of a callsite at the specified basic block.
virtual const MCExpr * lowerConstant(const Constant *CV, const Constant *BaseCV=nullptr, uint64_t Offset=0)
Lower the specified LLVM Constant to an MCExpr.
void emitCallGraphSection(const MachineFunction &MF, FunctionCallGraphInfo &FuncCGInfo)
Emits .llvm.callgraph section.
void emitInt8(int Value) const
Emit a byte directive and value.
CFISection getFunctionCFISectionType(const Function &F) const
Get the CFISection type for a function.
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.
virtual bool isBlockOnlyReachableByFallthrough(const MachineBasicBlock *MBB) const
Return true if the basic block has exactly one predecessor and the control transfer mechanism between...
void emitBBAddrMapSection(const MachineFunction &MF)
void emitPCSections(const MachineFunction &MF)
Emits the PC sections collected from instructions.
MachineDominatorTree * MDT
This is a pointer to the current MachineDominatorTree.
Definition AsmPrinter.h:118
virtual void emitStartOfAsmFile(Module &)
This virtual method can be overridden by targets that want to emit something at the start of their fi...
Definition AsmPrinter.h:622
unsigned PointerSize
The pointer size in bytes for the default address space.
Definition AsmPrinter.h:115
MCSymbol * GetJTISymbol(unsigned JTID, bool isLinkerPrivate=false) const
Return the symbol for the specified jump table entry.
std::function< void(Module &)> FinishGCAssembly
Definition AsmPrinter.h:184
virtual void emitMachineConstantPoolValue(MachineConstantPoolValue *MCPV)
bool hasDebugInfo() const
Returns true if valid debug info is present.
Definition AsmPrinter.h:518
virtual void emitFunctionBodyStart()
Targets can override this to emit stuff before the first basic block in the function.
Definition AsmPrinter.h:630
std::function< MachineDominatorTree *(MachineFunction &)> GetMDT
Definition AsmPrinter.h:181
std::pair< const GlobalVariable *, unsigned > GOTEquivUsePair
Map global GOT equivalent MCSymbols to GlobalVariables and keep track of its number of uses by other ...
Definition AsmPrinter.h:165
void emitPatchableFunctionEntries()
void recordSled(MCSymbol *Sled, const MachineInstr &MI, SledKind Kind, uint8_t Version=0)
virtual void emitEndOfAsmFile(Module &)
This virtual method can be overridden by targets that want to emit something at the end of their file...
Definition AsmPrinter.h:626
bool doInitialization(Module &M) override
Set up the AsmPrinter when we are working on a new module.
MCSymbol * GetJTSetSymbol(unsigned UID, unsigned MBBID) const
Return the symbol for the specified jump table .set FIXME: privatize to AsmPrinter.
virtual void emitMachOIFuncStubBody(Module &M, const GlobalIFunc &GI, MCSymbol *LazyPointer)
Definition AsmPrinter.h:692
virtual void emitImplicitDef(const MachineInstr *MI) const
Targets can override this to customize the output of IMPLICIT_DEF instructions in verbose mode.
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.
void getAnalysisUsage(AnalysisUsage &AU) const override
Record analysis usage.
unsigned getFunctionNumber() const
Return a unique ID for the current function.
MachineOptimizationRemarkEmitter * ORE
Optimization remark emitter.
Definition AsmPrinter.h:124
DenseMap< uint64_t, SmallVector< const GlobalAlias *, 1 > > AliasMapTy
Print a general LLVM constant to the .s file.
Definition AsmPrinter.h:592
virtual bool shouldEmitWeakSwiftAsyncExtendedFramePointerFlags() const
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.
void emitGlobalConstant(const DataLayout &DL, const Constant *CV, AliasMapTy *AliasList=nullptr)
EmitGlobalConstant - Print a general LLVM constant to the .s file.
void emitFrameAlloc(const MachineInstr &MI)
void emitStackSizeSection(const MachineFunction &MF)
MCSymbol * getSymbolPreferLocal(const GlobalValue &GV) const
Similar to getSymbol() but preferred for references.
std::function< void(Module &)> BeginGCAssembly
Definition AsmPrinter.h:183
MCSymbol * CurrentFnSym
The symbol for the current function.
Definition AsmPrinter.h:131
MachineModuleInfo * MMI
This is a pointer to the current MachineModuleInfo.
Definition AsmPrinter.h:112
void emitSLEB128(int64_t Value, const char *Desc=nullptr) const
Emit the specified signed leb128 value.
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:150
void emitCFIInstruction(const MachineInstr &MI)
MCSymbol * createTempSymbol(const Twine &Name) const
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:688
void emitStackUsage(const MachineFunction &MF)
virtual void emitKCFITypeId(const MachineFunction &MF)
bool isPositionIndependent() const
virtual void emitTargetFeaturePop(const MCSubtargetInfo &STI, bool DidPush)
Emit necessary directives to restore target feature state.
Definition AsmPrinter.h:952
virtual void emitXXStructorList(const DataLayout &DL, const Constant *List, bool IsCtor)
This method emits llvm.global_ctors or llvm.global_dtors list.
void emitPCSectionsLabel(const MachineFunction &MF, const MDNode &MD)
Emits a label as reference for PC sections.
MCSymbol * CurrentPatchableFunctionEntrySym
The symbol for the entry in __patchable_function_entires.
Definition AsmPrinter.h:127
virtual void emitBasicBlockStart(const MachineBasicBlock &MBB)
Targets can override this to emit stuff at the start of a basic block.
void takeDeletedSymbolsForFunction(const Function *F, std::vector< MCSymbol * > &Result)
If the specified function has had any references to address-taken blocks generated,...
void emitVisibility(MCSymbol *Sym, unsigned Visibility, bool IsDefinition=true) const
This emits visibility information about symbol, if this is supported by the target.
void emitInt32(int Value) const
Emit a long directive and value.
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:153
const MCAsmInfo & MAI
Target Asm Printer information.
Definition AsmPrinter.h:97
std::function< void()> AssertDebugEHFinalized
Definition AsmPrinter.h:186
virtual void emitFunctionDescriptor()
Definition AsmPrinter.h:655
const MCSection * getCurrentSection() const
Return the current section we are emitting to.
unsigned int getDwarfOffsetByteSize() const
Returns 4 for DWARF32 and 8 for DWARF64.
size_t NumUserHandlers
Definition AsmPrinter.h:248
MCSymbol * CurrentFnSymForSize
The symbol used to represent the start of the current function for the purpose of calculating its siz...
Definition AsmPrinter.h:140
std::function< MachineLoopInfo *(MachineFunction &)> GetMLI
Definition AsmPrinter.h:182
std::function< MachineModuleInfo *()> GetMMI
Definition AsmPrinter.h:179
bool isVerbose() const
Return true if assembly output should contain comments.
Definition AsmPrinter.h:313
MCSymbol * getFunctionEnd() const
Definition AsmPrinter.h:323
virtual void emitXXStructor(const DataLayout &DL, const Constant *CV)
Targets can override this to change how global constants that are part of a C++ static/global constru...
Definition AsmPrinter.h:663
void preprocessXXStructorList(const DataLayout &DL, const Constant *List, SmallVector< Structor, 8 > &Structors)
This method gathers an array of Structors and then sorts them out by Priority.
void emitInt16(int Value) const
Emit a short directive and value.
void setDwarfVersion(uint16_t Version)
void getNameWithPrefix(SmallVectorImpl< char > &Name, const GlobalValue *GV) const
StringRef getConstantSectionSuffix(const Constant *C) const
Returns a section suffix (hot or unlikely) for the constant if profiles are available.
void emitPseudoProbe(const MachineInstr &MI)
void emitRemarksSection(remarks::RemarkStreamer &RS)
virtual MaybeAlign getRequiredGlobalAlignmentGranule(const GlobalVariable &GV)
Returns a optional minimum alignment that applies to both the address and the allocation size of the ...
MCSymbol * GetBlockAddressSymbol(const BlockAddress *BA) const
Return the MCSymbol used to satisfy BlockAddress uses of the specified basic block.
ArrayRef< MCSymbol * > getAddrLabelSymbolToEmit(const BasicBlock *BB)
Return the symbol to be used for the specified basic block when its address is taken.
virtual void emitFunctionBodyEnd()
Targets can override this to emit stuff after the last basic block in the function.
Definition AsmPrinter.h:634
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.
virtual void emitFunctionEntryLabel()
EmitFunctionEntryLabel - Emit the label that is the entrypoint for the function.
MCSymbol * GetExternalSymbolSymbol(const Twine &Sym) const
Return the MCSymbol for the specified ExternalSymbol.
void handleCallsiteForCallgraph(FunctionCallGraphInfo &FuncCGInfo, const MachineFunction::CallSiteInfoMap &CallSitesInfoMap, const MachineInstr &MI)
If MI is an indirect call, add expected type IDs to indirect type ids list.
void emitPrefetchTargetSymbol(const UniqueBBID &BBID, unsigned CallsiteIndex)
Helper to emit a symbol for the prefetch target associated with the given BBID and callsite index.
void emitInt64(uint64_t Value) const
Emit a long long directive and value.
uint16_t getDwarfVersion() const
dwarf::FormParams getDwarfFormParams() const
Returns information about the byte size of DW_FORM values.
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...
bool usesCFIWithoutEH() const
Since emitting CFI unwind information is entangled with supporting the exceptions,...
bool doesDwarfUseRelocationsAcrossSections() const
Definition AsmPrinter.h:379
@ None
Do not emit either .eh_frame or .debug_frame.
Definition AsmPrinter.h:170
@ Debug
Emit .debug_frame.
Definition AsmPrinter.h:172
void addAsmPrinterHandler(std::unique_ptr< AsmPrinterHandler > Handler)
virtual std::tuple< const MCSymbol *, uint64_t, const MCSymbol *, codeview::JumpTableEntrySize > getCodeViewJumpTableInfo(int JTI, const MachineInstr *BranchInstr, const MCSymbol *BranchLabel) const
Gets information required to create a CodeView debug symbol for a jump table.
void emitLabelDifferenceAsULEB128(const MCSymbol *Hi, const MCSymbol *Lo) const
Emit something like ".uleb128 Hi-Lo".
virtual const MCExpr * lowerBlockAddressConstant(const BlockAddress &BA)
Lower the specified BlockAddress to an MCExpr.
const CFGProfile * getFunctionCFGProfile(StringRef FuncName) const
LLVM Basic Block Representation.
Definition BasicBlock.h:62
unsigned getNumber() const
Definition BasicBlock.h:95
const Function * getParent() const
Return the enclosing method, or null if none.
Definition BasicBlock.h:213
bool hasAddressTaken() const
Returns true if there are any uses of this basic block other than direct branches,...
Definition BasicBlock.h:672
The address of a basic block.
Definition Constants.h:1088
BasicBlock * getBasicBlock() const
Definition Constants.h:1125
uint64_t getFrequency() const
Returns the frequency as a fixpoint number scaled by the entry frequency.
uint32_t getNumerator() const
Value handle with callbacks on RAUW and destruction.
ConstMIBundleOperands - Iterate over all operands in a const bundle of machine instructions.
ConstantArray - Constant Array Declarations.
Definition Constants.h:590
ArrayType * getType() const
Specialize the getType() method to always return an ArrayType, which reduces the amount of casting ne...
Definition Constants.h:609
Class for constant bytes.
Definition Constants.h:281
const APInt & getValue() const
Return the constant as an APInt value reference.
Definition Constants.h:345
static Constant * get(LLVMContext &Context, ArrayRef< ElementTy > Elts)
get() constructor - Return a constant with array type with an element count and element type matching...
Definition Constants.h:878
ConstantDataSequential - A vector or array constant whose element type is a simple 1/2/4/8-byte integ...
Definition Constants.h:755
LLVM_ABI APFloat getElementAsAPFloat(uint64_t i) const
If this is a sequential container of floating point type, return the specified element as an APFloat.
LLVM_ABI uint64_t getElementAsInteger(uint64_t i) const
If this is a sequential container of integers (of any size), return the specified element in the low ...
StringRef getAsString() const
If this array is isString(), then this method returns the array as a StringRef.
Definition Constants.h:831
LLVM_ABI uint64_t getElementByteSize() const
Return the size (in bytes) of each element in the array/vector.
LLVM_ABI bool isString(unsigned CharSize=8) const
This method returns true if this is an array of CharSize integers or bytes.
LLVM_ABI uint64_t getNumElements() const
Return the number of elements in the array or vector.
LLVM_ABI Type * getElementType() const
Return the element type of the array/vector.
A constant value that is initialized with an expression using other constant values.
Definition Constants.h:1316
static LLVM_ABI Constant * getBitCast(Constant *C, Type *Ty, bool OnlyIfReduced=false)
ConstantFP - Floating Point Values [float, double].
Definition Constants.h:420
const APFloat & getValueAPF() const
Definition Constants.h:463
This is the shared class of boolean and integer constants.
Definition Constants.h:87
uint64_t getLimitedValue(uint64_t Limit=~0ULL) const
getLimitedValue - If the value is smaller than the specified limit, return it, otherwise return the l...
Definition Constants.h:269
uint64_t getZExtValue() const
Return the constant as a 64-bit unsigned integer value after it has been zero extended as appropriate...
Definition Constants.h:168
const APInt & getValue() const
Return the constant as an APInt value reference.
Definition Constants.h:159
A signed pointer, in the ptrauth sense.
Definition Constants.h:1223
StructType * getType() const
Specialization - reduce amount of casting.
Definition Constants.h:661
static Constant * getAnon(ArrayRef< Constant * > V, bool Packed=false)
Return an anonymous struct that has the specified elements.
Definition Constants.h:643
This is an important base class in LLVM.
Definition Constant.h:43
bool isNullValue() const
Return true if this is the value that would be returned by getNullValue.
Definition Constant.h:64
LLVM_ABI Constant * getAggregateElement(unsigned Elt) const
For aggregates (struct/array/vector) return the constant that corresponds to the specified element if...
DWARF expression.
iterator_range< expr_op_iterator > expr_ops() const
unsigned getNumElements() const
static LLVM_ABI std::optional< const DIExpression * > convertToNonVariadicExpression(const DIExpression *Expr)
If Expr is a valid single-location expression, i.e.
Subprogram description. Uses SubclassData1.
Wrapper for a function that represents a value that functionally represents the original function.
Definition Constants.h:1143
A parsed version of the target data layout string in and methods for querying it.
Definition DataLayout.h:64
bool isBigEndian() const
Definition DataLayout.h:218
TypeSize getTypeStoreSize(Type *Ty) const
Returns the maximum number of bytes that may be overwritten by storing the specified type.
Definition DataLayout.h:579
A debug info location.
Definition DebugLoc.h:126
bool empty() const
Definition DenseMap.h:717
iterator find(const_arg_type_t< KeyT > Val)
Definition DenseMap.h:767
iterator end()
Definition DenseMap.h:687
Implements a dense probed hash-table based set.
Definition DenseSet.h:281
Collects and handles dwarf debug information.
Definition DwarfDebug.h:352
Emits exception handling directives.
Definition EHStreamer.h:30
bool hasPersonalityFn() const
Check whether this function has a personality function.
Definition Function.h:890
Constant * getPersonalityFn() const
Get the personality function associated with this function.
const Function & getFunction() const
Definition Function.h:167
LLVMContext & getContext() const
getContext - Return a reference to the LLVMContext associated with this function.
Definition Function.cpp:356
GCMetadataPrinter - Emits GC metadata as assembly code.
An analysis pass which caches information about the entire Module.
Definition GCMetadata.h:237
SmallVector< std::unique_ptr< GCStrategy >, 1 >::const_iterator iterator
Definition GCMetadata.h:266
GCStrategy describes a garbage collector algorithm's code generation requirements,...
Definition GCStrategy.h:64
bool usesMetadata() const
If set, appropriate metadata tables must be emitted by the back-end (assembler, JIT,...
Definition GCStrategy.h:120
const std::string & getName() const
Return the name of the GC strategy.
Definition GCStrategy.h:90
LLVM_ABI const GlobalObject * getAliaseeObject() const
Definition Globals.cpp:730
const Constant * getAliasee() const
Definition GlobalAlias.h:87
LLVM_ABI const Function * getResolverFunction() const
Definition Globals.cpp:759
const Constant * getResolver() const
Definition GlobalIFunc.h:73
StringRef getSection() const
Get the custom section of this global if it has one.
bool hasMetadata() const
Return true if this GlobalObject has any metadata attached to it.
bool hasSection() const
Check if this global has a custom object file section.
bool hasLinkOnceLinkage() const
bool hasExternalLinkage() const
bool isDSOLocal() const
bool isThreadLocal() const
If the value is "Thread Local", its value isn't shared by the threads.
VisibilityTypes getVisibility() const
LLVM_ABI bool isDeclaration() const
Return true if the primary definition of this global value is outside of the current translation unit...
Definition Globals.cpp:408
LinkageTypes getLinkage() const
bool hasLocalLinkage() const
static StringRef dropLLVMManglingEscape(StringRef Name)
If the given string begins with the GlobalValue name mangling escape character '\1',...
bool hasPrivateLinkage() const
bool isTagged() const
bool isDeclarationForLinker() const
Module * getParent()
Get the module that this global value is contained inside of...
PointerType * getType() const
Global values are always pointers.
VisibilityTypes
An enumeration for the kinds of visibility of global values.
Definition GlobalValue.h:67
@ DefaultVisibility
The GV is visible.
Definition GlobalValue.h:68
@ HiddenVisibility
The GV is hidden.
Definition GlobalValue.h:69
@ ProtectedVisibility
The GV is protected.
Definition GlobalValue.h:70
LLVM_ABI const DataLayout & getDataLayout() const
Get the data layout of the module this global belongs to.
Definition Globals.cpp:205
LLVM_ABI bool canBenefitFromLocalAlias() const
Definition Globals.cpp:187
bool hasComdat() const
bool hasWeakLinkage() const
bool hasCommonLinkage() const
bool hasGlobalUnnamedAddr() const
bool hasAppendingLinkage() const
static bool isDiscardableIfUnused(LinkageTypes Linkage)
Whether the definition of this global may be discarded if it is not used in its compilation unit.
LLVM_ABI bool canBeOmittedFromSymbolTable() const
True if GV can be left out of the object symbol table.
Definition Globals.cpp:546
bool hasAvailableExternallyLinkage() const
LinkageTypes
An enumeration for the kinds of linkage for global values.
Definition GlobalValue.h:52
@ PrivateLinkage
Like Internal, but omit from symbol table.
Definition GlobalValue.h:61
@ CommonLinkage
Tentative definitions.
Definition GlobalValue.h:63
@ InternalLinkage
Rename collisions when linking (static functions).
Definition GlobalValue.h:60
@ LinkOnceAnyLinkage
Keep one copy of function when linking (inline)
Definition GlobalValue.h:55
@ WeakODRLinkage
Same, but only replaced by something equivalent.
Definition GlobalValue.h:58
@ ExternalLinkage
Externally visible function.
Definition GlobalValue.h:53
@ WeakAnyLinkage
Keep one copy of named function when linking (weak)
Definition GlobalValue.h:57
@ AppendingLinkage
Special purpose, only applies to global arrays.
Definition GlobalValue.h:59
@ AvailableExternallyLinkage
Available for inspection, not emission.
Definition GlobalValue.h:54
@ ExternalWeakLinkage
ExternalWeak linkage description.
Definition GlobalValue.h:62
@ LinkOnceODRLinkage
Same, but only replaced by something equivalent.
Definition GlobalValue.h:56
Type * getValueType() const
const Constant * getInitializer() const
getInitializer - Return the initializer for this global variable.
bool hasInitializer() const
Definitions have initializers, declarations don't.
LLVM_ABI uint64_t getGlobalSize(const DataLayout &DL) const
Get the size of this global variable in bytes.
Definition Globals.cpp:640
bool isConstant() const
If the value is a global constant, its value is immutable throughout the runtime execution of the pro...
Itinerary data supplied by a subtarget to be used by a target.
Class to represent integer types.
static LLVM_ABI IntegerType * get(LLVMContext &C, unsigned NumBits)
This static method is the primary way of constructing an IntegerType.
Definition Type.cpp:338
LLVM_ABI void emitError(const Instruction *I, const Twine &ErrorStr)
emitError - Emit an error message to the currently installed error handler with optional location inf...
This is an alternative analysis pass to MachineBlockFrequencyInfo.
A helper class to return the specified delimiter string after the first invocation of operator String...
bool isInnermost() const
Return true if the loop does not contain any (natural) loops.
BlockT * getHeader() const
unsigned getLoopDepth() const
Return the nesting level of this loop.
LoopT * getParentLoop() const
Return the parent loop if it exists or nullptr for top level loops.
LoopT * getLoopFor(const BlockT *BB) const
Return the inner most loop that BB lives in.
Represents a single loop in the control flow graph.
Definition LoopInfo.h:40
This class is intended to be used as a base class for asm properties and features specific to the tar...
Definition MCAsmInfo.h:67
bool hasWeakDefCanBeHiddenDirective() const
Definition MCAsmInfo.h:636
bool hasSubsectionsViaSymbols() const
Definition MCAsmInfo.h:468
const char * getWeakRefDirective() const
Definition MCAsmInfo.h:634
bool hasIdentDirective() const
Definition MCAsmInfo.h:631
static const MCBinaryExpr * createAdd(const MCExpr *LHS, const MCExpr *RHS, MCContext &Ctx, SMLoc Loc=SMLoc())
Definition MCExpr.h:342
static const MCBinaryExpr * createAnd(const MCExpr *LHS, const MCExpr *RHS, MCContext &Ctx)
Definition MCExpr.h:347
static const MCBinaryExpr * createGTE(const MCExpr *LHS, const MCExpr *RHS, MCContext &Ctx)
Definition MCExpr.h:367
static const MCBinaryExpr * createSub(const MCExpr *LHS, const MCExpr *RHS, MCContext &Ctx)
Definition MCExpr.h:427
static LLVM_ABI const MCConstantExpr * create(int64_t Value, MCContext &Ctx, bool PrintInHex=false, unsigned SizeInBytes=0)
Definition MCExpr.cpp:212
Context object for machine code objects.
Definition MCContext.h:83
Base class for the full range of assembler expressions which are needed for parsing.
Definition MCExpr.h:34
MCFragment * getNext() const
Definition MCSection.h:177
size_t getFixedSize() const
Definition MCSection.h:223
Instances of this class represent a single low-level machine instruction.
Definition MCInst.h:188
unsigned getOpcode() const
Definition MCInst.h:202
void setOpcode(unsigned Op)
Definition MCInst.h:201
Interface to description of machine instruction set.
Definition MCInstrInfo.h:27
MCSection * getTLSBSSSection() const
MCSection * getStackSizesSection(const MCSection &TextSec) const
MCSection * getBBAddrMapSection(const MCSection &TextSec) const
MCSection * getTLSExtraDataSection() const
MCSection * getKCFITrapSection(const MCSection &TextSec) const
MCSection * getPCSection(StringRef Name, const MCSection *TextSec) const
MCSection * getCallGraphSection(const MCSection &TextSec) const
MCSection * getDataSection() const
This represents a section on Windows.
Instances of this class represent a uniqued identifier for a section in the current translation unit.
Definition MCSection.h:580
bool isBssSection() const
Check whether this section is "virtual", that is has no actual object file contents.
Definition MCSection.h:697
static constexpr unsigned NonUniqueID
Definition MCSection.h:585
Streaming machine code generation interface.
Definition MCStreamer.h:222
virtual void emitInstruction(const MCInst &Inst, const MCSubtargetInfo &STI)
Emit the given Instruction into the current section.
Generic base class for all target subtargets.
const MCSchedModel & getSchedModel() const
Get the machine model for this subtarget's CPU.
LLVM_ABI unsigned getBinding() const
static const MCSymbolRefExpr * create(const MCSymbol *Symbol, MCContext &Ctx, SMLoc Loc=SMLoc())
Definition MCExpr.h:213
StringRef getSymbolTableName() const
bool hasRename() const
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
Definition MCSymbol.h:42
bool isDefined() const
isDefined - Check if this symbol is defined (i.e., it has an address).
Definition MCSymbol.h:233
bool isUndefined() const
isUndefined - Check if this symbol undefined (i.e., implicitly defined).
Definition MCSymbol.h:243
StringRef getName() const
getName - Get the symbol name.
Definition MCSymbol.h:188
bool isVariable() const
isVariable - Check if this is a variable symbol.
Definition MCSymbol.h:267
void redefineIfPossible()
Prepare this symbol to be redefined.
Definition MCSymbol.h:212
const MCSymbol * getAddSym() const
Definition MCValue.h:49
int64_t getConstant() const
Definition MCValue.h:44
const MCSymbol * getSubSym() const
Definition MCValue.h:51
bool isAbsolute() const
Is this an absolute (as opposed to relocatable) value.
Definition MCValue.h:54
Metadata node.
Definition Metadata.h:1081
const MDOperand & getOperand(unsigned I) const
Definition Metadata.h:1437
ArrayRef< MDOperand > operands() const
Definition Metadata.h:1435
Tracking metadata reference owned by Metadata.
Definition Metadata.h:902
A single uniqued string.
Definition Metadata.h:733
LLVM_ABI StringRef getString() const
Definition Metadata.cpp:615
LLVM_ABI MCSymbol * getSymbol() const
Return the MCSymbol for this basic block.
int getNumber() const
MachineBasicBlocks are uniquely numbered at the function level, unless they're not in a MachineFuncti...
MachineBlockFrequencyInfo pass uses BlockFrequencyInfoImpl implementation to estimate machine basic b...
LLVM_ABI BlockFrequency getBlockFreq(const MachineBasicBlock *MBB) const
getblockFreq - Return block frequency.
Legacy MachineFunctionPass for MachineBlockHashInfo.
LLVM_ABI BranchProbability getEdgeProbability(const MachineBasicBlock *Src, const MachineBasicBlock *Dst) const
This class is a data container for one entry in a MachineConstantPool.
union llvm::MachineConstantPoolEntry::@004270020304201266316354007027341142157160323045 Val
The constant itself.
bool isMachineConstantPoolEntry() const
isMachineConstantPoolEntry - Return true if the MachineConstantPoolEntry is indeed a target specific ...
MachineConstantPoolValue * MachineCPVal
Align Alignment
The required alignment for this entry.
LLVM_ABI unsigned getSizeInBytes(const DataLayout &DL) const
LLVM_ABI SectionKind getSectionKind(const DataLayout *DL) const
Abstract base class for all machine specific constantpool value subclasses.
The MachineConstantPool class keeps track of constants referenced by a function which must be spilled...
const std::vector< MachineConstantPoolEntry > & getConstants() const
Analysis pass which computes a MachineDominatorTree.
DominatorTree Class - Concrete subclass of DominatorTreeBase that is used to compute a normal dominat...
The MachineFrameInfo class represents an abstract stack frame until prolog/epilog code is inserted.
void getAnalysisUsage(AnalysisUsage &AU) const override
getAnalysisUsage - Subclasses that override getAnalysisUsage must call this.
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
DenseMap< const MachineInstr *, CallSiteInfo > CallSiteInfoMap
bool hasBBSections() const
Returns true if this function has basic block sections enabled.
Function & getFunction()
Return the LLVM function that this machine code represents.
const std::vector< LandingPadInfo > & getLandingPads() const
Return a reference to the landing pad info for the current function.
const TargetMachine & getTarget() const
getTarget - Return the target machine this machine code is compiled with
Representation of each machine instruction.
LLVM_ABI unsigned getEntrySize(const DataLayout &TD) const
getEntrySize - Return the size of each entry in the jump table.
@ EK_GPRel32BlockAddress
EK_GPRel32BlockAddress - Each entry is an address of block, encoded with a relocation as gp-relative,...
@ EK_Inline
EK_Inline - Jump table entries are emitted inline at their point of use.
@ EK_LabelDifference32
EK_LabelDifference32 - Each entry is the address of the block minus the address of the jump table.
@ EK_Custom32
EK_Custom32 - Each entry is a 32-bit value that is custom lowered by the TargetLowering::LowerCustomJ...
@ EK_LabelDifference64
EK_LabelDifference64 - Each entry is the address of the block minus the address of the jump table.
@ EK_BlockAddress
EK_BlockAddress - Each entry is a plain address of block, e.g.: .word LBB123.
@ EK_GPRel64BlockAddress
EK_GPRel64BlockAddress - Each entry is an address of block, encoded with a relocation as gp-relative,...
LLVM_ABI unsigned getEntryAlignment(const DataLayout &TD) const
getEntryAlignment - Return the alignment of each entry in the jump table.
const std::vector< MachineJumpTableEntry > & getJumpTables() const
Analysis pass that exposes the MachineLoopInfo for a machine function.
An analysis that produces MachineModuleInfo for a module.
MachineModuleInfoCOFF - This is a MachineModuleInfoImpl implementation for COFF targets.
SymbolListTy GetGVStubList()
Accessor methods to return the set of stubs in sorted order.
MachineModuleInfoELF - This is a MachineModuleInfoImpl implementation for ELF targets.
SymbolListTy GetGVStubList()
Accessor methods to return the set of stubs in sorted order.
std::vector< std::pair< MCSymbol *, StubValueTy > > SymbolListTy
This class contains meta information specific to a module.
MachineOperand class - Representation of each machine instruction operand.
const GlobalValue * getGlobal() const
bool isSymbol() const
isSymbol - Tests if this is a MO_ExternalSymbol operand.
bool isGlobal() const
isGlobal - Tests if this is a MO_GlobalAddress operand.
MachineOperandType getType() const
getType - Returns the MachineOperandType for this operand.
const char * getSymbolName() const
@ MO_Immediate
Immediate operand.
@ MO_GlobalAddress
Address of a global value.
@ MO_CImmediate
Immediate >64bit operand.
@ MO_FrameIndex
Abstract Stack Frame Index.
@ MO_Register
Register operand.
@ MO_ExternalSymbol
Name of external global symbol.
@ MO_TargetIndex
Target-dependent index+offset operand.
@ MO_FPImmediate
Floating-point immediate operand.
Diagnostic information for optimization analysis remarks.
LLVM_ABI void getNameWithPrefix(raw_ostream &OS, const GlobalValue *GV, bool CannotUsePrivateLabel) const
Print the appropriate prefix and the specified global variable's name.
Definition Mangler.cpp:121
A Module instance is used to store all the information related to an LLVM module.
Definition Module.h:68
A tuple of MDNodes.
Definition Metadata.h:1797
LLVM_ABI unsigned getNumOperands() const
iterator_range< op_iterator > operands()
Definition Metadata.h:1893
Wrapper for a value that won't be replaced with a CFI jump table pointer in LowerTypeTestsModule.
Definition Constants.h:1182
AnalysisType & getAnalysis() const
getAnalysis<AnalysisType>() - This function is used by subclasses to get to the analysis information ...
AnalysisType * getAnalysisIfAvailable() const
getAnalysisIfAvailable<AnalysisType>() - Subclasses use this function to get analysis information tha...
static PointerType * getUnqual(LLVMContext &C)
This constructs an opaque pointer to an object in the default address space (address space zero).
Wrapper class representing virtual and physical registers.
Definition Register.h:20
SimpleRegistryEntry< GCMetadataPrinter, CtorParamTypes... > entry
Definition Registry.h:123
static iterator_range< iterator > entries()
Definition Registry.h:183
Represents a location in source code.
Definition SMLoc.h:22
SectionKind - This is a simple POD value that classifies the properties of a section.
Definition SectionKind.h:22
bool isCommon() const
bool isBSS() const
static SectionKind getReadOnlyWithRel()
bool isBSSLocal() const
bool isThreadBSS() const
bool isThreadLocal() const
bool isThreadData() const
static SectionKind getReadOnly()
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements.
SmallString - A SmallString is just a SmallVector with methods and accessors that make it work better...
Definition SmallString.h:26
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
reference emplace_back(ArgTypes &&... Args)
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
int64_t getFixed() const
Returns the fixed component of the stack.
Definition TypeSize.h:46
Represent a constant reference to a string, i.e.
Definition StringRef.h:56
constexpr StringRef substr(size_t Start, size_t N=npos) const
Return a reference to the substring from [Start, Start + N).
Definition StringRef.h:597
bool contains(StringRef Other) const
Return true if the given string is a substring of *this, and false otherwise.
Definition StringRef.h:446
size_t find(char C, size_t From=0) const
Search for the first character C in the string.
Definition StringRef.h:290
Used to lazily calculate structure layout information for a target machine, based on the DataLayout s...
Definition DataLayout.h:743
TypeSize getSizeInBytes() const
Definition DataLayout.h:752
TypeSize getElementOffset(unsigned Idx) const
Definition DataLayout.h:774
Class to represent struct types.
unsigned getNumElements() const
Random access to the elements.
Information about stack frame layout on the target.
virtual StackOffset getFrameIndexReference(const MachineFunction &MF, int FI, Register &FrameReg) const
getFrameIndexReference - This method should return the base register and offset used to reference a f...
TargetInstrInfo - Interface to description of machine instruction set.
@ AllowOverEstimate
Allow the reported instruction size to be larger than the actual size.
@ NoVerify
Do not verify instruction size.
Align getMinFunctionAlignment() const
Return the minimum function alignment.
virtual const MCExpr * lowerDSOLocalEquivalent(const MCSymbol *LHS, const MCSymbol *RHS, int64_t Addend, std::optional< int64_t > PCRelativeOffset, const TargetMachine &TM) const
virtual MCSection * getSectionForCommandLines() const
If supported, return the section to use for the llvm.commandline metadata.
static SectionKind getKindForGlobal(const GlobalObject *GO, const TargetMachine &TM)
Classify the specified global variable into a set of target independent categories embodied in Sectio...
virtual MCSection * getSectionForJumpTable(const Function &F, const TargetMachine &TM) const
virtual bool shouldPutJumpTableInFunctionSection(bool UsesLabelDifference, const Function &F) const
virtual const MCExpr * getIndirectSymViaGOTPCRel(const GlobalValue *GV, const MCSymbol *Sym, const MCValue &MV, int64_t Offset, MachineModuleInfo *MMI, MCStreamer &Streamer) const
Get the target specific PC relative GOT entry relocation.
virtual void emitModuleMetadata(MCStreamer &Streamer, Module &M) const
Emit the module-level metadata that the platform cares about.
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.
virtual const MCExpr * lowerRelativeReference(const GlobalValue *LHS, const GlobalValue *RHS, int64_t Addend, std::optional< int64_t > PCRelativeOffset, const TargetMachine &TM) const
MCSymbol * getSymbolWithGlobalValueBase(const GlobalValue *GV, StringRef Suffix, const TargetMachine &TM) const
Return the MCSymbol for a private symbol with global value name as its base, with the specified suffi...
bool supportGOTPCRelWithOffset() const
Target GOT "PC"-relative relocation supports encoding an additional binary expression with an offset?
bool supportIndirectSymViaGOTPCRel() const
Target supports replacing a data "PC"-relative access to a symbol through another symbol,...
virtual MCSymbol * getFunctionEntryPointSymbol(const GlobalValue *Func, const TargetMachine &TM) const
If supported, return the function entry point symbol.
MCSection * SectionForGlobal(const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const
This method computes the appropriate section to emit the specified global variable or function defini...
This class defines information used to lower LLVM code to legal SelectionDAG operators that the targe...
virtual const MCExpr * getPICJumpTableRelocBaseExpr(const MachineFunction *MF, unsigned JTI, MCContext &Ctx) const
This returns the relocation base for the given PIC jumptable, the same as getPICJumpTableRelocBase,...
Primary interface to the complete machine description for the target machine.
const Triple & getTargetTriple() const
TargetOptions Options
unsigned EnableStaticDataPartitioning
Enables the StaticDataSplitter pass.
virtual const TargetFrameLowering * getFrameLowering() const
virtual const TargetInstrInfo * getInstrInfo() const
virtual const TargetRegisterInfo * getRegisterInfo() const =0
Return the target's register information.
virtual const TargetLowering * getTargetLowering() const
Target - Wrapper for Target specific information.
TinyPtrVector - This class is specialized for cases where there are normally 0 or 1 element in a vect...
Triple - Helper class for working with autoconf configuration names.
Definition Triple.h:48
bool isOSBinFormatXCOFF() const
Tests whether the OS uses the XCOFF binary format.
Definition Triple.h:881
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
static LLVM_ABI IntegerType * getInt64Ty(LLVMContext &C)
Definition Type.cpp:300
bool isPPC_FP128Ty() const
Return true if this is powerpc long double.
Definition Type.h:167
bool isSized() const
Return true if it makes sense to take the size of this type.
Definition Type.h:321
LLVM_ABI void print(raw_ostream &O, bool IsForDebug=false, bool NoDetails=false) const
Print the current type.
bool isFunctionTy() const
True if this is an instance of FunctionType.
Definition Type.h:268
Value * getOperand(unsigned i) const
Definition User.h:207
unsigned getNumOperands() const
Definition User.h:229
Value * operator=(Value *RHS)
Definition ValueHandle.h:81
LLVM Value Representation.
Definition Value.h:75
Type * getType() const
All values are typed, get the type of this value.
Definition Value.h:257
LLVM_ABI std::string getNameOrAsOperand() const
Definition Value.cpp:461
bool hasOneUse() const
Return true if there is exactly one use of this value.
Definition Value.h:441
LLVMContext & getContext() const
All values hold a context through their type.
Definition Value.h:260
iterator_range< user_iterator > users()
Definition Value.h:428
User * user_back()
Definition Value.h:414
LLVM_ABI void printAsOperand(raw_ostream &O, bool PrintType=true, const Module *M=nullptr) const
Print the name of this Value out to the specified raw_ostream.
LLVM_ABI const Value * stripPointerCasts() const
Strip off pointer casts, all-zero GEPs and address space casts.
Definition Value.cpp:712
bool use_empty() const
Definition Value.h:348
LLVM_ABI StringRef getName() const
Return a constant reference to the value's name.
Definition Value.cpp:319
std::pair< iterator, bool > insert(const ValueT &V)
Definition DenseSet.h:209
bool contains(const_arg_type_t< ValueT > V) const
Check if the set contains the given element.
Definition DenseSet.h:182
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition raw_ostream.h:53
raw_ostream & indent(unsigned NumSpaces)
indent - Insert 'NumSpaces' spaces.
A raw_ostream that writes to an std::string.
std::string & str()
Returns the string's reference.
A raw_ostream that writes to an SmallVector or SmallString.
StringRef str() const
Return a StringRef for the vector contents.
LLVM_ABI StringRef OperationEncodingString(unsigned Encoding)
Definition Dwarf.cpp:138
This file contains the declaration of the Comdat class, which represents a single COMDAT in LLVM.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
constexpr char Align[]
Key for Kernel::Arg::Metadata::mAlign.
@ IMAGE_SCN_MEM_READ
Definition COFF.h:336
@ IMAGE_SCN_MEM_DISCARDABLE
Definition COFF.h:331
@ IMAGE_SCN_LNK_INFO
Definition COFF.h:307
@ IMAGE_SCN_CNT_INITIALIZED_DATA
Definition COFF.h:304
@ IMAGE_SCN_LNK_COMDAT
Definition COFF.h:309
@ IMAGE_SYM_CLASS_EXTERNAL
External symbol.
Definition COFF.h:224
@ IMAGE_SYM_CLASS_STATIC
Static.
Definition COFF.h:225
@ IMAGE_COMDAT_SELECT_ASSOCIATIVE
Definition COFF.h:459
@ IMAGE_COMDAT_SELECT_ANY
Definition COFF.h:456
@ SafeSEH
Definition COFF.h:847
@ GuardEHCont
Definition COFF.h:855
@ GuardCF
Definition COFF.h:853
@ Kernel
Definition COFF.h:857
@ IMAGE_SYM_DTYPE_NULL
No complex type; simple scalar variable.
Definition COFF.h:274
@ 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
@ SHF_ALLOC
Definition ELF.h:1259
@ SHF_LINK_ORDER
Definition ELF.h:1274
@ SHF_GROUP
Definition ELF.h:1281
@ SHF_WRITE
Definition ELF.h:1256
@ SHT_LLVM_JT_SIZES
Definition ELF.h:1198
@ SHT_PROGBITS
Definition ELF.h:1157
@ SHT_LLVM_SYMPART
Definition ELF.h:1190
@ STB_WEAK
Definition ELF.h:1423
constexpr uint32_t S_ATTR_LIVE_SUPPORT
Blocks are live if they reference live blocks.
Definition MachO.h:200
@ Itanium
Windows CE ARM, PowerPC, SH3, SH4.
Definition MCAsmInfo.h:52
@ X86
Windows x64, Windows Itanium (IA-64)
Definition MCAsmInfo.h:53
ValuesClass values(OptsTy... Options)
Helper to build a ValuesClass by forwarding a variable number of arguments as an initializer list to ...
initializer< Ty > init(const Ty &Val)
uint8_t getUnitLengthFieldByteSize(DwarfFormat Format)
Get the byte size of the unit length field depending on the DWARF format.
Definition Dwarf.h:1245
@ DWARF64
Definition Dwarf.h:93
uint8_t getDwarfOffsetByteSize(DwarfFormat Format)
The size of a reference determined by the DWARF 32/64-bit format.
Definition Dwarf.h:1203
std::enable_if_t< detail::IsValidPointer< X, Y >::value, X * > extract(Y &&MD)
Extract a Value from Metadata.
Definition Metadata.h:679
DiagnosticInfoOptimizationBase::Argument NV
uint64_t MD5Hash(const FunctionId &Obj)
Definition FunctionId.h:167
@ OF_Text
The file should be opened in text mode on platforms like z/OS that make this distinction.
Definition FileSystem.h:777
LLVM_ABI std::error_code make_absolute(SmallVectorImpl< char > &path)
Make path an absolute path.
Definition Path.cpp:979
LLVM_ABI StringRef filename(StringRef path LLVM_LIFETIME_BOUND, Style style=Style::native)
Get filename.
Definition Path.cpp:594
This is an optimization pass for GlobalISel generic memory operations.
@ Offset
Definition DWP.cpp:577
void stable_sort(R &&Range)
Definition STLExtras.h:2132
LLVM_ABI bool shouldEmitBBHash()
Returns whether -emit-bb-hash is set.
OuterAnalysisManagerProxy< ModuleAnalysisManager, MachineFunction > ModuleAnalysisManagerMachineFunctionProxy
Provide the ModuleAnalysisManager to Function proxy.
LLVM_ABI std::pair< StringRef, StringRef > getToken(StringRef Source, StringRef Delimiters=" \t\n\v\f\r")
getToken - This function extracts one token from source, ignoring any leading characters that appear ...
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:643
LLVM_ABI bool IsConstantOffsetFromGlobal(Constant *C, GlobalValue *&GV, APInt &Offset, const DataLayout &DL, DSOLocalEquivalent **DSOEquiv=nullptr)
If this constant is a constant offset from a global, return the global and the constant.
void append_range(Container &C, Range &&R)
Wrapper function to append range R to container C.
Definition STLExtras.h:2224
InnerAnalysisManagerProxy< FunctionAnalysisManager, Module > FunctionAnalysisManagerModuleProxy
Provide the FunctionAnalysisManager to Module proxy.
AnalysisManager< MachineFunction > MachineFunctionAnalysisManager
bool isa_and_nonnull(const Y &Val)
Definition Casting.h:676
Op::Description Desc
@ MCDR_DataRegionEnd
.end_data_region
@ MCDR_DataRegionJT32
.data_region jt32
bool isNoOpWithoutInvoke(EHPersonality Pers)
Return true if this personality may be safely removed if there are no invoke instructions remaining i...
RelativeUniformCounterPtr ValuesPtrExpr VTableAddr Value
Definition InstrProf.h:143
constexpr T MinAlign(U A, V B)
A and B are either alignments or offsets.
Definition MathExtras.h:352
LLVM_ABI Constant * ConstantFoldConstant(const Constant *C, const DataLayout &DL, const TargetLibraryInfo *TLI=nullptr)
ConstantFoldConstant - Fold the constant using the specified DataLayout.
auto dyn_cast_or_null(const Y &Val)
Definition Casting.h:753
auto reverse(ContainerTy &&C)
Definition STLExtras.h:408
void sort(IteratorTy Start, IteratorTy End)
Definition STLExtras.h:1652
LLVM_ABI void setupModuleAsmPrinter(Module &M, ModuleAnalysisManager &MAM, AsmPrinter &AsmPrinter)
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition Debug.cpp:209
LLVM_ABI void report_fatal_error(Error Err, bool gen_crash_diag=true)
Definition Error.cpp:163
constexpr uint64_t alignTo(uint64_t Size, Align A)
Returns a multiple of A needed to store Size bytes.
Definition Alignment.h:144
LLVM_ABI SmallString< 128 > getPrefetchTargetSymbolName(StringRef FunctionName, const UniqueBBID &BBID, unsigned CallsiteIndex)
SmallVector< ValueTypeFromRangeType< R >, Size > to_vector(R &&Range)
Given a range of type R, iterate the entire range and return a SmallVector with elements of the vecto...
LLVM_ABI EHPersonality classifyEHPersonality(const Value *Pers)
See if the given exception handling personality function is one that we understand.
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
Definition Casting.h:547
InnerAnalysisManagerProxy< MachineFunctionAnalysisManager, Function > MachineFunctionAnalysisManagerFunctionProxy
format_object< Ts... > format(const char *Fmt, const Ts &... Vals)
These are helper functions used to produce formatted output.
Definition Format.h:102
constexpr std::string_view HybridPatchableTargetSuffix
Definition Mangler.h:37
LLVM_ABI raw_fd_ostream & errs()
This returns a reference to a raw_ostream for standard error.
@ Global
Append to llvm.global_dtors.
DWARFExpression::Operation Op
ArrayRef(const T &OneElt) -> ArrayRef< T >
constexpr unsigned BitWidth
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:1933
ExceptionHandling
Definition CodeGen.h:54
@ SjLj
setjmp/longjmp based exceptions
Definition CodeGen.h:58
@ ZOS
z/OS MVS Exception Handling.
Definition CodeGen.h:64
@ Emscripten
Emscripten JavaScript-based exception handling.
Definition CodeGen.h:62
@ None
No exception support.
Definition CodeGen.h:56
@ Default
Not specified; resolve to the target's default model.
Definition CodeGen.h:55
@ AIX
AIX Exception Handling.
Definition CodeGen.h:63
@ DwarfCFI
DWARF-like instruction based exceptions.
Definition CodeGen.h:57
@ WinEH
Windows Exception Handling.
Definition CodeGen.h:60
@ Wasm
WebAssembly Exception Handling.
Definition CodeGen.h:61
LLVM_ABI void setupMachineFunctionAsmPrinter(MachineFunctionAnalysisManager &MFAM, MachineFunction &MF, AsmPrinter &AsmPrinter)
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:559
constexpr auto seq(T Begin, T End)
Iterate over an integral type from Begin up to - but not including - End.
Definition Sequence.h:341
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.
Definition STLExtras.h:1963
bool all_equal(std::initializer_list< T > Values)
Returns true if all Values in the initializer lists are equal or the list.
Definition STLExtras.h:2182
AnalysisManager< Function > FunctionAnalysisManager
Convenience typedef for the Function analysis manager.
@ TypeHash
Token ID based on allocated type hash.
Definition AllocToken.h:32
LLVM_ABI Constant * ConstantFoldIntegerCast(Constant *C, Type *DestTy, bool IsSigned, const DataLayout &DL)
Constant fold a zext, sext or trunc, depending on IsSigned and whether the DestTy is wider or narrowe...
LLVM_ABI Printable printReg(Register Reg, const TargetRegisterInfo *TRI=nullptr, unsigned SubIdx=0, const MachineRegisterInfo *MRI=nullptr)
Prints virtual and physical registers with or without a TRI instance.
@ MCSA_Local
.local (ELF)
@ MCSA_WeakDefAutoPrivate
.weak_def_can_be_hidden (MachO)
@ MCSA_Memtag
.memtag (ELF)
@ MCSA_WeakReference
.weak_reference (MachO)
@ MCSA_AltEntry
.alt_entry (MachO)
@ MCSA_ELF_TypeIndFunction
.type _foo, STT_GNU_IFUNC
@ MCSA_Weak
.weak
@ MCSA_WeakDefinition
.weak_definition (MachO)
@ MCSA_Global
.type _foo, @gnu_unique_object
@ MCSA_Cold
.cold (MachO)
@ MCSA_ELF_TypeObject
.type _foo, STT_OBJECT # aka @object
@ MCSA_ELF_TypeFunction
.type _foo, STT_FUNC # aka @function
@ MCSA_Invalid
Not a valid directive.
@ MCSA_NoDeadStrip
.no_dead_strip (MachO)
AnalysisManager< Module > ModuleAnalysisManager
Convenience typedef for the Module analysis manager.
Definition MIRParser.h:39
constexpr const char * PseudoProbeDescMetadataName
Definition PseudoProbe.h:26
LLVM_ABI void reportFatalUsageError(Error Err)
Report a fatal error that does not indicate a bug in LLVM.
Definition Error.cpp:177
Implement std::hash so that hash_code can be used in STL containers.
Definition BitVector.h:878
void swap(llvm::BitVector &LHS, llvm::BitVector &RHS)
Implement std::swap in terms of BitVector swap.
Definition BitVector.h:880
#define N
#define NC
Definition regutils.h:42
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition Alignment.h:39
A special type used by analysis passes to provide an address that identifies that particular analysis...
Definition Analysis.h:29
Map a basic block section ID to the begin and end symbols of that section which determine the section...
Definition AsmPrinter.h:157
llvm.global_ctors and llvm.global_dtors are arrays of Structor structs.
Definition AsmPrinter.h:555
LLVM_ABI void emit(int, MCStreamer *) const
uint64_t getEdgeCount(const UniqueBBID &SrcBBID, const UniqueBBID &SinkBBID) const
uint64_t getBlockCount(const UniqueBBID &BBID) const
Machine model for scheduling, bundling, and heuristics.
Definition MCSchedule.h:273
static LLVM_ABI int computeInstrLatency(const MCSubtargetInfo &STI, const MCSchedClassDesc &SCDesc)
Returns the latency value for the scheduling class.
This struct is a compact representation of a valid (power of two) or undefined (0) alignment.
Definition Alignment.h:106
A helper struct providing information about the byte size of DW_FORM values that vary in size dependi...
Definition Dwarf.h:1216
This is the base class for a remark serializer.
virtual std::unique_ptr< MetaSerializer > metaSerializer(raw_ostream &OS, StringRef ExternalFilename)=0
Return the corresponding metadata serializer.