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
146// This is a replication of fields of object::PGOAnalysisMap::Features. It
147// should match the order of the fields so that
148// `object::PGOAnalysisMap::Features::decode(PgoAnalysisMapFeatures.getBits())`
149// succeeds.
159 "pgo-analysis-map", cl::Hidden, cl::CommaSeparated,
161 clEnumValN(PGOMapFeaturesEnum::None, "none", "Disable all options"),
163 "Function Entry Count"),
165 "Basic Block Frequency"),
166 clEnumValN(PGOMapFeaturesEnum::BrProb, "br-prob", "Branch Probability"),
167 clEnumValN(PGOMapFeaturesEnum::All, "all", "Enable all options")),
168 cl::desc(
169 "Enable extended information within the SHT_LLVM_BB_ADDR_MAP that is "
170 "extracted from PGO related analysis."));
171
173 "pgo-analysis-map-emit-bb-sections-cfg",
174 cl::desc("Enable the post-link cfg information from the basic block "
175 "sections profile in the PGO analysis map"),
176 cl::Hidden, cl::init(false));
177
179 "basic-block-address-map-skip-bb-entries",
180 cl::desc("Skip emitting basic block entries in the SHT_LLVM_BB_ADDR_MAP "
181 "section. It's used to save binary size when BB entries are "
182 "unnecessary for some PGOAnalysisMap features."),
183 cl::Hidden, cl::init(false));
184
186 "emit-jump-table-sizes-section",
187 cl::desc("Emit a section containing jump table addresses and sizes"),
188 cl::Hidden, cl::init(false));
189
190// This isn't turned on by default, since several of the scheduling models are
191// not completely accurate, and we don't want to be misleading.
193 "asm-print-latency",
194 cl::desc("Print instruction latencies as verbose asm comments"), cl::Hidden,
195 cl::init(false));
196
198 StackUsageFile("stack-usage-file",
199 cl::desc("Output filename for stack usage information"),
200 cl::value_desc("filename"), cl::Hidden);
201
203
204STATISTIC(EmittedInsts, "Number of machine instrs printed");
205
206char AsmPrinter::ID = 0;
207
208namespace {
209class AddrLabelMapCallbackPtr final : CallbackVH {
210 AddrLabelMap *Map = nullptr;
211
212public:
213 AddrLabelMapCallbackPtr() = default;
214 AddrLabelMapCallbackPtr(Value *V) : CallbackVH(V) {}
215
216 void setPtr(BasicBlock *BB) {
218 }
219
220 void setMap(AddrLabelMap *map) { Map = map; }
221
222 void deleted() override;
223 void allUsesReplacedWith(Value *V2) override;
224};
225} // namespace
226
228 MCContext &Context;
229 struct AddrLabelSymEntry {
230 /// The symbols for the label.
232
233 Function *Fn; // The containing function of the BasicBlock.
234 unsigned Index; // The index in BBCallbacks for the BasicBlock.
235 };
236
237 DenseMap<AssertingVH<BasicBlock>, AddrLabelSymEntry> AddrLabelSymbols;
238
239 /// Callbacks for the BasicBlock's that we have entries for. We use this so
240 /// we get notified if a block is deleted or RAUWd.
241 std::vector<AddrLabelMapCallbackPtr> BBCallbacks;
242
243 /// This is a per-function list of symbols whose corresponding BasicBlock got
244 /// deleted. These symbols need to be emitted at some point in the file, so
245 /// AsmPrinter emits them after the function body.
246 DenseMap<AssertingVH<Function>, std::vector<MCSymbol *>>
247 DeletedAddrLabelsNeedingEmission;
248
249public:
250 AddrLabelMap(MCContext &context) : Context(context) {}
251
253 assert(DeletedAddrLabelsNeedingEmission.empty() &&
254 "Some labels for deleted blocks never got emitted");
255 }
256
258
260 std::vector<MCSymbol *> &Result);
261
264};
265
267 assert(BB->hasAddressTaken() &&
268 "Shouldn't get label for block without address taken");
269 AddrLabelSymEntry &Entry = AddrLabelSymbols[BB];
270
271 // If we already had an entry for this block, just return it.
272 if (!Entry.Symbols.empty()) {
273 assert(BB->getParent() == Entry.Fn && "Parent changed");
274 return Entry.Symbols;
275 }
276
277 // Otherwise, this is a new entry, create a new symbol for it and add an
278 // entry to BBCallbacks so we can be notified if the BB is deleted or RAUWd.
279 BBCallbacks.emplace_back(BB);
280 BBCallbacks.back().setMap(this);
281 Entry.Index = BBCallbacks.size() - 1;
282 Entry.Fn = BB->getParent();
283 MCSymbol *Sym = BB->hasAddressTaken() ? Context.createNamedTempSymbol()
284 : Context.createTempSymbol();
285 Entry.Symbols.push_back(Sym);
286 return Entry.Symbols;
287}
288
289/// If we have any deleted symbols for F, return them.
291 Function *F, std::vector<MCSymbol *> &Result) {
292 DenseMap<AssertingVH<Function>, std::vector<MCSymbol *>>::iterator I =
293 DeletedAddrLabelsNeedingEmission.find(F);
294
295 // If there are no entries for the function, just return.
296 if (I == DeletedAddrLabelsNeedingEmission.end())
297 return;
298
299 // Otherwise, take the list.
300 std::swap(Result, I->second);
301 DeletedAddrLabelsNeedingEmission.erase(I);
302}
303
304//===- Address of Block Management ----------------------------------------===//
305
308 // Lazily create AddrLabelSymbols.
309 if (!AddrLabelSymbols)
310 AddrLabelSymbols = std::make_unique<AddrLabelMap>(OutContext);
311 return AddrLabelSymbols->getAddrLabelSymbolToEmit(
312 const_cast<BasicBlock *>(BB));
313}
314
316 const Function *F, std::vector<MCSymbol *> &Result) {
317 // If no blocks have had their addresses taken, we're done.
318 if (!AddrLabelSymbols)
319 return;
320 return AddrLabelSymbols->takeDeletedSymbolsForFunction(
321 const_cast<Function *>(F), Result);
322}
323
325 // If the block got deleted, there is no need for the symbol. If the symbol
326 // was already emitted, we can just forget about it, otherwise we need to
327 // queue it up for later emission when the function is output.
328 AddrLabelSymEntry Entry = std::move(AddrLabelSymbols[BB]);
329 AddrLabelSymbols.erase(BB);
330 assert(!Entry.Symbols.empty() && "Didn't have a symbol, why a callback?");
331 BBCallbacks[Entry.Index] = nullptr; // Clear the callback.
332
333#if !LLVM_MEMORY_SANITIZER_BUILD
334 // BasicBlock is destroyed already, so this access is UB detectable by msan.
335 assert((BB->getParent() == nullptr || BB->getParent() == Entry.Fn) &&
336 "Block/parent mismatch");
337#endif
338
339 for (MCSymbol *Sym : Entry.Symbols) {
340 if (Sym->isDefined())
341 return;
342
343 // If the block is not yet defined, we need to emit it at the end of the
344 // function. Add the symbol to the DeletedAddrLabelsNeedingEmission list
345 // for the containing Function. Since the block is being deleted, its
346 // parent may already be removed, we have to get the function from 'Entry'.
347 DeletedAddrLabelsNeedingEmission[Entry.Fn].push_back(Sym);
348 }
349}
350
352 // Get the entry for the RAUW'd block and remove it from our map.
353 AddrLabelSymEntry OldEntry = std::move(AddrLabelSymbols[Old]);
354 AddrLabelSymbols.erase(Old);
355 assert(!OldEntry.Symbols.empty() && "Didn't have a symbol, why a callback?");
356
357 AddrLabelSymEntry &NewEntry = AddrLabelSymbols[New];
358
359 // If New is not address taken, just move our symbol over to it.
360 if (NewEntry.Symbols.empty()) {
361 BBCallbacks[OldEntry.Index].setPtr(New); // Update the callback.
362 NewEntry = std::move(OldEntry); // Set New's entry.
363 return;
364 }
365
366 BBCallbacks[OldEntry.Index] = nullptr; // Update the callback.
367
368 // Otherwise, we need to add the old symbols to the new block's set.
369 llvm::append_range(NewEntry.Symbols, OldEntry.Symbols);
370}
371
372void AddrLabelMapCallbackPtr::deleted() {
373 Map->UpdateForDeletedBlock(cast<BasicBlock>(getValPtr()));
374}
375
376void AddrLabelMapCallbackPtr::allUsesReplacedWith(Value *V2) {
377 Map->UpdateForRAUWBlock(cast<BasicBlock>(getValPtr()), cast<BasicBlock>(V2));
378}
379
380/// getGVAlignment - Return the alignment to use for the specified global
381/// value. This rounds up to the preferred alignment if possible and legal.
383 Align InAlign) {
384 Align Alignment;
385 if (const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV))
386 Alignment = DL.getPreferredAlign(GVar);
387
388 // If InAlign is specified, round it to it.
389 if (InAlign > Alignment)
390 Alignment = InAlign;
391
392 // If the GV has a specified alignment, take it into account.
393 MaybeAlign GVAlign;
394 if (auto *GVar = dyn_cast<GlobalVariable>(GV))
395 GVAlign = GVar->getAlign();
396 else if (auto *F = dyn_cast<Function>(GV))
397 GVAlign = F->getAlign();
398 if (!GVAlign)
399 return Alignment;
400
401 assert(GVAlign && "GVAlign must be set");
402
403 // If the GVAlign is larger than NumBits, or if we are required to obey
404 // NumBits because the GV has an assigned section, obey it.
405 if (*GVAlign > Alignment || GV->hasSection())
406 Alignment = *GVAlign;
407 return Alignment;
408}
409
410AsmPrinter::AsmPrinter(TargetMachine &tm, std::unique_ptr<MCStreamer> Streamer,
411 char &ID)
412 : MachineFunctionPass(ID), TM(tm), MAI(tm.getMCAsmInfo()),
414 SM(*this) {
415 VerboseAsm = OutStreamer->isVerboseAsm();
416 DwarfUsesRelocationsAcrossSections =
417 MAI.doesDwarfUseRelocationsAcrossSections();
418 GetMMI = [this]() {
420 return MMIWP ? &MMIWP->getMMI() : nullptr;
421 };
422 GetORE = [this](MachineFunction &MF) {
424 };
425 GetMDT = [this](MachineFunction &MF) {
426 auto *MDTWrapper =
428 return MDTWrapper ? &MDTWrapper->getDomTree() : nullptr;
429 };
430 GetMLI = [this](MachineFunction &MF) {
432 return MLIWrapper ? &MLIWrapper->getLI() : nullptr;
433 };
434 BeginGCAssembly = [this](Module &M) {
436 assert(MI && "AsmPrinter didn't require GCModuleInfo?");
437 for (const auto &I : *MI)
438 if (GCMetadataPrinter *MP = getOrCreateGCPrinter(*I))
439 MP->beginAssembly(M, *MI, *this);
440 };
441 FinishGCAssembly = [this](Module &M) {
443 assert(MI && "AsmPrinter didn't require GCModuleInfo?");
444 for (GCModuleInfo::iterator I = MI->end(), E = MI->begin(); I != E;)
445 if (GCMetadataPrinter *MP = getOrCreateGCPrinter(**--I))
446 MP->finishAssembly(M, *MI, *this);
447 };
448 EmitStackMaps = [this](Module &M) {
450 assert(MI && "AsmPrinter didn't require GCModuleInfo?");
451 bool NeedsDefault = false;
452 if (MI->begin() == MI->end())
453 // No GC strategy, use the default format.
454 NeedsDefault = true;
455 else
456 for (const auto &I : *MI) {
457 if (GCMetadataPrinter *MP = getOrCreateGCPrinter(*I))
458 if (MP->emitStackMaps(SM, *this))
459 continue;
460 // The strategy doesn't have printer or doesn't emit custom stack maps.
461 // Use the default format.
462 NeedsDefault = true;
463 }
464
465 if (NeedsDefault)
466 SM.serializeToStackMapSection();
467 };
468 AssertDebugEHFinalized = [&]() {
469 assert(!DD && Handlers.size() == NumUserHandlers &&
470 "Debug/EH info didn't get finalized");
471 };
472}
473
475
477 return TM.isPositionIndependent();
478}
479
480/// getFunctionNumber - Return a unique ID for the current function.
482 return MF->getFunctionNumber();
483}
484
486 return *TM.getObjFileLowering();
487}
488
490 assert(MMI && "MMI could not be nullptr!");
491 return MMI->getModule()->getDataLayout();
492}
493
494// Do not use the cached DataLayout because some client use it without a Module
495// (dsymutil, llvm-dwarfdump).
497 return TM.getPointerSize(0); // FIXME: Default address space
498}
499
501 assert(MF && "getSubtargetInfo requires a valid MachineFunction!");
502 return MF->getSubtarget<MCSubtargetInfo>();
503}
504
508
509/// getCurrentSection() - Return the current section we are emitting to.
511 return OutStreamer->getCurrentSectionOnly();
512}
513
514/// createDwarfDebug() - Create the DwarfDebug handler.
516
528
530 MMI = GetMMI();
531 HasSplitStack = false;
532 HasNoSplitStack = false;
533 DbgInfoAvailable = !M.debug_compile_units().empty();
534 const Triple &Target = TM.getTargetTriple();
535
536 AddrLabelSymbols = nullptr;
537
538 // Initialize TargetLoweringObjectFile.
539 TM.getObjFileLowering()->Initialize(OutContext, TM);
540
541 TM.getObjFileLowering()->getModuleMetadata(M);
542
543 // On AIX, we delay emitting any section information until
544 // after emitting the .file pseudo-op. This allows additional
545 // information (such as the embedded command line) to be associated
546 // with all sections in the object file rather than a single section.
547 if (!Target.isOSBinFormatXCOFF())
548 OutStreamer->initSections(TM.getMCSubtargetInfo());
549
550 // Emit the version-min deployment target directive if needed.
551 //
552 // FIXME: If we end up with a collection of these sorts of Darwin-specific
553 // or ELF-specific things, it may make sense to have a platform helper class
554 // that will work with the target helper class. For now keep it here, as the
555 // alternative is duplicated code in each of the target asm printers that
556 // use the directive, where it would need the same conditionalization
557 // anyway.
558 if (Target.isOSBinFormatMachO() && Target.isOSDarwin()) {
559 Triple TVT(M.getDarwinTargetVariantTriple());
560 OutStreamer->emitVersionForTarget(
561 Target, M.getSDKVersion(),
562 M.getDarwinTargetVariantTriple().empty() ? nullptr : &TVT,
563 M.getDarwinTargetVariantSDKVersion());
564 }
565
566 // Allow the target to emit any magic that it wants at the start of the file.
568
569 // Very minimal debug info. It is ignored if we emit actual debug info. If we
570 // don't, this at least helps the user find where a global came from.
571 if (MAI.hasSingleParameterDotFile()) {
572 // .file "foo.c"
573 if (MAI.isAIX()) {
574 const char VerStr[] =
575#ifdef PACKAGE_VENDOR
576 PACKAGE_VENDOR " "
577#endif
578 PACKAGE_NAME " version " PACKAGE_VERSION
579#ifdef LLVM_REVISION
580 " (" LLVM_REVISION ")"
581#endif
582 ;
583 // TODO: Add timestamp and description.
584 OutStreamer->emitFileDirective(M.getSourceFileName(), VerStr, "", "");
585 } else {
586 OutStreamer->emitFileDirective(
587 llvm::sys::path::filename(M.getSourceFileName()));
588 }
589 }
590
591 // On AIX, emit bytes for llvm.commandline metadata after .file so that the
592 // C_INFO symbol is preserved if any csect is kept by the linker.
593 if (Target.isOSBinFormatXCOFF()) {
594 emitModuleCommandLines(M);
595 // Now we can generate section information.
596 OutStreamer->switchSection(
597 OutContext.getObjectFileInfo()->getTextSection());
598
599 // To work around an AIX assembler and/or linker bug, generate
600 // a rename for the default text-section symbol name. This call has
601 // no effect when generating object code directly.
602 MCSection *TextSection =
603 OutStreamer->getContext().getObjectFileInfo()->getTextSection();
604 MCSymbolXCOFF *XSym =
605 static_cast<MCSectionXCOFF *>(TextSection)->getQualNameSymbol();
606 if (XSym->hasRename())
607 OutStreamer->emitXCOFFRenameDirective(XSym, XSym->getSymbolTableName());
608 }
609
611
612 // Emit module-level inline asm if it exists.
613 if (M.hasModuleInlineAsm()) {
614 OutStreamer->AddComment("Start of file scope inline assembly");
615 OutStreamer->addBlankLine();
616 for (const Module::GlobalAsmFragment &Frag : M.getModuleInlineAsm()) {
617 const MCSubtargetInfo &AsmSTI = TM.getMCSubtargetInfo(
618 Frag.Props.TargetCPU, Frag.Props.TargetFeatures);
619 bool DidPush = emitTargetFeaturePush(AsmSTI);
620 emitInlineAsm(
621 Frag.Asm, AsmSTI, TM.Options.MCOptions, nullptr,
622 InlineAsm::AsmDialect(TM.getMCAsmInfo().getAssemblerDialect()));
623 emitTargetFeaturePop(AsmSTI, DidPush);
624 }
625 OutStreamer->AddComment("End of file scope inline assembly");
626 OutStreamer->addBlankLine();
627 }
628
629 if (MAI.doesSupportDebugInformation()) {
630 bool EmitCodeView = M.getCodeViewFlag();
631 // On Windows targets, emit minimal CodeView compiler info even when debug
632 // info is disabled.
633 if ((Target.isOSWindows() || (Target.isUEFI() && EmitCodeView)) &&
634 M.getNamedMetadata("llvm.dbg.cu"))
635 Handlers.push_back(std::make_unique<CodeViewDebug>(this));
636 if (!EmitCodeView || M.getDwarfVersion()) {
637 if (hasDebugInfo()) {
638 DD = createDwarfDebug();
639 Handlers.push_back(std::unique_ptr<DwarfDebug>(DD));
640 }
641 }
642 }
643
644 if (M.getNamedMetadata(PseudoProbeDescMetadataName))
645 PP = std::make_unique<PseudoProbeHandler>(this);
646
647 switch (MAI.getExceptionHandlingType()) {
649 // We may want to emit CFI for debug.
650 [[fallthrough]];
654 for (auto &F : M.getFunctionList()) {
656 ModuleCFISection = getFunctionCFISectionType(F);
657 // If any function needsUnwindTableEntry(), it needs .eh_frame and hence
658 // the module needs .eh_frame. If we have found that case, we are done.
659 if (ModuleCFISection == CFISection::EH)
660 break;
661 }
662 assert(MAI.getExceptionHandlingType() == ExceptionHandling::DwarfCFI ||
663 usesCFIWithoutEH() || ModuleCFISection != CFISection::EH);
664 break;
665 default:
666 break;
667 }
668
669 EHStreamer *ES = nullptr;
670 switch (MAI.getExceptionHandlingType()) {
673 // Emscripten EH is handled in JS glue code and emits no EH tables here.
674 if (!usesCFIWithoutEH())
675 break;
676 [[fallthrough]];
680 ES = new DwarfCFIException(this);
681 break;
683 ES = new ARMException(this);
684 break;
686 switch (MAI.getWinEHEncodingType()) {
687 default: llvm_unreachable("unsupported unwinding information encoding");
689 break;
692 ES = new WinException(this);
693 break;
694 }
695 break;
697 ES = new WasmException(this);
698 break;
700 ES = new AIXException(this);
701 break;
702 }
703 if (ES)
704 EHHandlers.push_back(std::unique_ptr<EHStreamer>(ES));
705
706 // All CFG modes required the tables emitted.
707 if (M.getControlFlowGuardMode() != ControlFlowGuardMode::Disabled)
708 Handlers.push_back(std::make_unique<WinCFGuard>(this));
709
710 for (auto &Handler : Handlers)
711 Handler->beginModule(&M);
712 for (auto &Handler : EHHandlers)
713 Handler->beginModule(&M);
714
715 return false;
716}
717
718static bool canBeHidden(const GlobalValue *GV, const MCAsmInfo &MAI) {
720 return false;
721
722 return GV->canBeOmittedFromSymbolTable();
723}
724
725void AsmPrinter::emitLinkage(const GlobalValue *GV, MCSymbol *GVSym) const {
727 switch (Linkage) {
733 if (MAI.isMachO()) {
734 // .globl _foo
735 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Global);
736
737 if (!canBeHidden(GV, MAI))
738 // .weak_definition _foo
739 OutStreamer->emitSymbolAttribute(GVSym, MCSA_WeakDefinition);
740 else
741 OutStreamer->emitSymbolAttribute(GVSym, MCSA_WeakDefAutoPrivate);
742 } else if (MAI.avoidWeakIfComdat() && GV->hasComdat()) {
743 // .globl _foo
744 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Global);
745 //NOTE: linkonce is handled by the section the symbol was assigned to.
746 } else {
747 // .weak _foo
748 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Weak);
749 }
750 return;
752 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Global);
753 return;
756 return;
760 llvm_unreachable("Should never emit this");
761 }
762 llvm_unreachable("Unknown linkage type!");
763}
764
766 const GlobalValue *GV) const {
767 TM.getNameWithPrefix(Name, GV, getObjFileLowering().getMangler());
768}
769
771 return TM.getSymbol(GV);
772}
773
775 // On ELF, use .Lfoo$local if GV is a non-interposable GlobalObject with an
776 // exact definion (intersection of GlobalValue::hasExactDefinition() and
777 // !isInterposable()). These linkages include: external, appending, internal,
778 // private. It may be profitable to use a local alias for external. The
779 // assembler would otherwise be conservative and assume a global default
780 // visibility symbol can be interposable, even if the code generator already
781 // assumed it.
782 if (TM.getTargetTriple().isOSBinFormatELF() && GV.canBenefitFromLocalAlias()) {
783 const Module &M = *GV.getParent();
784 if (TM.getRelocationModel() != Reloc::Static &&
785 M.getPIELevel() == PIELevel::Default && GV.isDSOLocal())
786 return getSymbolWithGlobalValueBase(&GV, "$local");
787 }
788 return TM.getSymbol(&GV);
789}
790
791/// EmitGlobalVariable - Emit the specified global variable to the .s file.
793 MaybeAlign AlignmentGranule = getRequiredGlobalAlignmentGranule(*GV);
794 emitGlobalVariable(GV, AlignmentGranule);
795 if (AlignmentGranule)
796 OutStreamer->emitValueToAlignment(*AlignmentGranule);
797}
798
800 MaybeAlign AlignmentGranule) {
801 bool IsEmuTLSVar = TM.useEmulatedTLS() && GV->isThreadLocal();
802 assert(!(IsEmuTLSVar && GV->hasCommonLinkage()) &&
803 "No emulated TLS variables in the common section");
804
805 // Never emit TLS variable xyz in emulated TLS model.
806 // The initialization value is in __emutls_t.xyz instead of xyz.
807 if (IsEmuTLSVar)
808 return;
809
810 if (GV->hasInitializer()) {
811 // Check to see if this is a special global used by LLVM, if so, emit it.
812 if (emitSpecialLLVMGlobal(GV))
813 return;
814
815 // Skip the emission of global equivalents. The symbol can be emitted later
816 // on by emitGlobalGOTEquivs in case it turns out to be needed.
817 if (GlobalGOTEquivs.count(getSymbol(GV)))
818 return;
819
820 if (isVerbose()) {
821 // When printing the control variable __emutls_v.*,
822 // we don't need to print the original TLS variable name.
823 GV->printAsOperand(OutStreamer->getCommentOS(),
824 /*PrintType=*/false, GV->getParent());
825 OutStreamer->getCommentOS() << '\n';
826 }
827 }
828
829 MCSymbol *GVSym = getSymbol(GV);
830 MCSymbol *EmittedSym = GVSym;
831
832 // getOrCreateEmuTLSControlSym only creates the symbol with name and default
833 // attributes.
834 // GV's or GVSym's attributes will be used for the EmittedSym.
835 emitVisibility(EmittedSym, GV->getVisibility(), !GV->isDeclaration());
836
837 if (GV->isTagged()) {
838 Triple T = TM.getTargetTriple();
839
840 if (T.getArch() != Triple::aarch64)
841 OutContext.reportError(SMLoc(),
842 "tagged symbols (-fsanitize=memtag-globals) are "
843 "only supported on AArch64");
844 OutStreamer->emitSymbolAttribute(EmittedSym, MCSA_Memtag);
845 }
846
847 if (!GV->hasInitializer()) // External globals require no extra code.
848 return;
849
850 GVSym->redefineIfPossible();
851 if (GVSym->isDefined() || GVSym->isVariable())
852 OutContext.reportError(SMLoc(), "symbol '" + Twine(GVSym->getName()) +
853 "' is already defined");
854
855 if (MAI.hasDotTypeDotSizeDirective())
856 OutStreamer->emitSymbolAttribute(EmittedSym, MCSA_ELF_TypeObject);
857
859
860 const DataLayout &DL = GV->getDataLayout();
861 uint64_t Size = GV->getGlobalSize(DL);
862
863 // If the alignment is specified, we *must* obey it. Overaligning a global
864 // with a specified alignment is a prompt way to break globals emitted to
865 // sections and expected to be contiguous (e.g. ObjC metadata).
866 //
867 // If we get passed in an explicit alignment granule, it is up to the caller
868 // to ensure that is not the case (i.e. that the GV is not in a section).
869 Align Alignment = getGVAlignment(GV, DL);
870
871 if (AlignmentGranule) {
872 assert(!GV->hasSection());
873 Size = alignTo(Size, *AlignmentGranule);
874 if (Alignment < *AlignmentGranule)
875 Alignment = *AlignmentGranule;
876 }
877
878 for (auto &Handler : Handlers)
879 Handler->setSymbolSize(GVSym, Size);
880
881 // Handle common symbols
882 if (GVKind.isCommon()) {
883 if (Size == 0) Size = 1; // .comm Foo, 0 is undefined, avoid it.
884 // .comm _foo, 42, 4
885 OutStreamer->emitCommonSymbol(GVSym, Size, Alignment);
886 return;
887 }
888
889 // Determine to which section this global should be emitted.
890 MCSection *TheSection = getObjFileLowering().SectionForGlobal(GV, GVKind, TM);
891
892 // If we have a bss global going to a section that supports the
893 // zerofill directive, do so here.
894 if (GVKind.isBSS() && MAI.isMachO() && TheSection->isBssSection()) {
895 if (Size == 0)
896 Size = 1; // zerofill of 0 bytes is undefined.
897 emitLinkage(GV, GVSym);
898 // .zerofill __DATA, __bss, _foo, 400, 5
899 OutStreamer->emitZerofill(TheSection, GVSym, Size, Alignment);
900 return;
901 }
902
903 // If this is a BSS local symbol and we are emitting in the BSS
904 // section use .lcomm/.comm directive.
905 if (GVKind.isBSSLocal() &&
906 getObjFileLowering().getBSSSection() == TheSection) {
907 if (Size == 0)
908 Size = 1; // .comm Foo, 0 is undefined, avoid it.
909
910 // Use .lcomm only if it supports user-specified alignment.
911 // Otherwise, while it would still be correct to use .lcomm in some
912 // cases (e.g. when Align == 1), the external assembler might enfore
913 // some -unknown- default alignment behavior, which could cause
914 // spurious differences between external and integrated assembler.
915 // Prefer to simply fall back to .local / .comm in this case.
916 if (MAI.getLCOMMDirectiveAlignmentType() != LCOMM::NoAlignment) {
917 // .lcomm _foo, 42
918 OutStreamer->emitLocalCommonSymbol(GVSym, Size, Alignment);
919 return;
920 }
921
922 // .local _foo
923 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Local);
924 // .comm _foo, 42, 4
925 OutStreamer->emitCommonSymbol(GVSym, Size, Alignment);
926 return;
927 }
928
929 // Handle thread local data for mach-o which requires us to output an
930 // additional structure of data and mangle the original symbol so that we
931 // can reference it later.
932 //
933 // TODO: This should become an "emit thread local global" method on TLOF.
934 // All of this macho specific stuff should be sunk down into TLOFMachO and
935 // stuff like "TLSExtraDataSection" should no longer be part of the parent
936 // TLOF class. This will also make it more obvious that stuff like
937 // MCStreamer::EmitTBSSSymbol is macho specific and only called from macho
938 // specific code.
939 if (GVKind.isThreadLocal() && MAI.isMachO()) {
940 // Emit the .tbss symbol
941 MCSymbol *MangSym =
942 OutContext.getOrCreateSymbol(GVSym->getName() + Twine("$tlv$init"));
943
944 if (GVKind.isThreadBSS()) {
945 TheSection = getObjFileLowering().getTLSBSSSection();
946 OutStreamer->emitTBSSSymbol(TheSection, MangSym, Size, Alignment);
947 } else if (GVKind.isThreadData()) {
948 OutStreamer->switchSection(TheSection);
949
950 emitAlignment(Alignment, GV);
951 OutStreamer->emitLabel(MangSym);
952
954 GV->getInitializer());
955 }
956
957 OutStreamer->addBlankLine();
958
959 // Emit the variable struct for the runtime.
961
962 OutStreamer->switchSection(TLVSect);
963 // Emit the linkage here.
964 emitLinkage(GV, GVSym);
965 OutStreamer->emitLabel(GVSym);
966
967 // Three pointers in size:
968 // - __tlv_bootstrap - used to make sure support exists
969 // - spare pointer, used when mapped by the runtime
970 // - pointer to mangled symbol above with initializer
971 unsigned PtrSize = DL.getPointerTypeSize(GV->getType());
972 OutStreamer->emitSymbolValue(GetExternalSymbolSymbol("_tlv_bootstrap"),
973 PtrSize);
974 OutStreamer->emitIntValue(0, PtrSize);
975 OutStreamer->emitSymbolValue(MangSym, PtrSize);
976
977 OutStreamer->addBlankLine();
978 return;
979 }
980
981 MCSymbol *EmittedInitSym = GVSym;
982
983 OutStreamer->switchSection(TheSection);
984
985 emitLinkage(GV, EmittedInitSym);
986 emitAlignment(Alignment, GV);
987
988 OutStreamer->emitLabel(EmittedInitSym);
989 MCSymbol *LocalAlias = getSymbolPreferLocal(*GV);
990 if (LocalAlias != EmittedInitSym)
991 OutStreamer->emitLabel(LocalAlias);
992
994
995 if (MAI.hasDotTypeDotSizeDirective())
996 // .size foo, 42
997 OutStreamer->emitELFSize(EmittedInitSym,
999
1000 OutStreamer->addBlankLine();
1001}
1002
1003/// Emit the directive and value for debug thread local expression
1004///
1005/// \p Value - The value to emit.
1006/// \p Size - The size of the integer (in bytes) to emit.
1007void AsmPrinter::emitDebugValue(const MCExpr *Value, unsigned Size) const {
1008 OutStreamer->emitValue(Value, Size);
1009}
1010
1011void AsmPrinter::emitFunctionHeaderComment() {}
1012
1013void AsmPrinter::emitFunctionPrefix(ArrayRef<const Constant *> Prefix) {
1014 const Function &F = MF->getFunction();
1016 for (auto &C : Prefix)
1017 emitGlobalConstant(F.getDataLayout(), C);
1018 return;
1019 }
1020 // Preserving prefix-like data on platforms which use subsections-via-symbols
1021 // is a bit tricky. Here we introduce a symbol for the prefix-like data
1022 // and use the .alt_entry attribute to mark the function's real entry point
1023 // as an alternative entry point to the symbol that precedes the function..
1024 OutStreamer->emitLabel(OutContext.createLinkerPrivateTempSymbol());
1025
1026 for (auto &C : Prefix) {
1027 emitGlobalConstant(F.getDataLayout(), C);
1028 }
1029
1030 // Emit an .alt_entry directive for the actual function symbol.
1031 OutStreamer->emitSymbolAttribute(CurrentFnSym, MCSA_AltEntry);
1032}
1033
1034/// EmitFunctionHeader - This method emits the header for the current
1035/// function.
1036void AsmPrinter::emitFunctionHeader() {
1037 const Function &F = MF->getFunction();
1038
1039 if (isVerbose())
1040 OutStreamer->getCommentOS()
1041 << "-- Begin function "
1042 << GlobalValue::dropLLVMManglingEscape(F.getName()) << '\n';
1043
1044 // Print out constants referenced by the function
1046
1047 // Print the 'header' of function.
1048 // If basic block sections are desired, explicitly request a unique section
1049 // for this function's entry block.
1050 if (MF->front().isBeginSection())
1051 MF->setSection(getObjFileLowering().getUniqueSectionForFunction(F, TM));
1052 else
1053 MF->setSection(getObjFileLowering().SectionForGlobal(&F, TM));
1054 OutStreamer->switchSection(MF->getSection());
1055
1056 if (MAI.isAIX())
1058 else
1059 emitVisibility(CurrentFnSym, F.getVisibility());
1060
1062 if (MAI.hasFunctionAlignment()) {
1063 Align PrefAlign = MF->getPreferredAlignment();
1064 if (MAI.useIntegratedAssembler() && MAI.hasPreferredAlignment()) {
1065 // Emit .p2align for the effective minimum alignment (which accounts for
1066 // F's own align attribute via getGVAlignment), then emit .prefalign only
1067 // when the preferred alignment is greater. The end symbol must be
1068 // created here, before the function body, so that .prefalign can
1069 // reference it; emitFunctionBody will emit the label at the function
1070 // end.
1071 Align MinAlign = emitAlignment(MF->getAlignment(), &F);
1072 if (MinAlign < PrefAlign) {
1073 CurrentFnEnd = createTempSymbol("func_end");
1074 OutStreamer->emitPrefAlign(PrefAlign, *CurrentFnEnd,
1075 /*EmitNops=*/true, /*Fill=*/0,
1077 }
1078 } else {
1079 emitAlignment(PrefAlign, &F);
1080 }
1081 }
1082
1083 if (MAI.hasDotTypeDotSizeDirective())
1084 OutStreamer->emitSymbolAttribute(CurrentFnSym, MCSA_ELF_TypeFunction);
1085
1086 if (F.hasFnAttribute(Attribute::Cold))
1087 OutStreamer->emitSymbolAttribute(CurrentFnSym, MCSA_Cold);
1088
1089 // Emit the prefix data.
1090 if (F.hasPrefixData())
1091 emitFunctionPrefix({F.getPrefixData()});
1092
1093 // Emit KCFI type information before patchable-function-prefix nops.
1095
1096 // Emit M NOPs for -fpatchable-function-entry=N,M where M>0. We arbitrarily
1097 // place prefix data before NOPs.
1098 unsigned PatchableFunctionPrefix =
1099 F.getFnAttributeAsParsedInteger("patchable-function-prefix");
1100 unsigned PatchableFunctionEntry =
1101 F.getFnAttributeAsParsedInteger("patchable-function-entry");
1102 if (PatchableFunctionPrefix) {
1104 OutContext.createLinkerPrivateTempSymbol();
1106 emitNops(PatchableFunctionPrefix);
1107 } else if (PatchableFunctionEntry) {
1108 // May be reassigned when emitting the body, to reference the label after
1109 // the initial BTI (AArch64) or endbr32/endbr64 (x86).
1111 }
1112
1113 // Emit the function prologue data for the indirect call sanitizer.
1114 if (const MDNode *MD = F.getMetadata(LLVMContext::MD_func_sanitize)) {
1115 assert(MD->getNumOperands() == 2);
1116
1117 auto *PrologueSig = mdconst::extract<Constant>(MD->getOperand(0));
1118 auto *TypeHash = mdconst::extract<Constant>(MD->getOperand(1));
1119 emitFunctionPrefix({PrologueSig, TypeHash});
1120 }
1121
1122 if (isVerbose()) {
1123 F.printAsOperand(OutStreamer->getCommentOS(),
1124 /*PrintType=*/false, F.getParent());
1125 emitFunctionHeaderComment();
1126 OutStreamer->getCommentOS() << '\n';
1127 }
1128
1129 // Emit the function descriptor. This is a virtual function to allow targets
1130 // to emit their specific function descriptor. Right now it is only used by
1131 // the AIX target. The PowerPC 64-bit V1 ELF target also uses function
1132 // descriptors and should be converted to use this hook as well.
1133 if (MAI.isAIX())
1135
1136 // Emit the CurrentFnSym. This is a virtual function to allow targets to do
1137 // their wild and crazy things as required.
1139
1140 // If the function had address-taken blocks that got deleted, then we have
1141 // references to the dangling symbols. Emit them at the start of the function
1142 // so that we don't get references to undefined symbols.
1143 std::vector<MCSymbol*> DeadBlockSyms;
1144 takeDeletedSymbolsForFunction(&F, DeadBlockSyms);
1145 for (MCSymbol *DeadBlockSym : DeadBlockSyms) {
1146 OutStreamer->AddComment("Address taken block that was later removed");
1147 OutStreamer->emitLabel(DeadBlockSym);
1148 }
1149
1150 if (CurrentFnBegin) {
1151 if (MAI.useAssignmentForEHBegin()) {
1152 MCSymbol *CurPos = OutContext.createTempSymbol();
1153 OutStreamer->emitLabel(CurPos);
1154 OutStreamer->emitAssignment(CurrentFnBegin,
1156 } else {
1157 OutStreamer->emitLabel(CurrentFnBegin);
1158 }
1159 }
1160
1161 // Emit pre-function debug and/or EH information.
1162 for (auto &Handler : Handlers) {
1163 Handler->beginFunction(MF);
1164 Handler->beginBasicBlockSection(MF->front());
1165 }
1166 for (auto &Handler : EHHandlers) {
1167 Handler->beginFunction(MF);
1168 Handler->beginBasicBlockSection(MF->front());
1169 }
1170
1171 // Emit the prologue data.
1172 if (F.hasPrologueData())
1173 emitGlobalConstant(F.getDataLayout(), F.getPrologueData());
1174}
1175
1176/// EmitFunctionEntryLabel - Emit the label that is the entrypoint for the
1177/// function. This can be overridden by targets as required to do custom stuff.
1179 CurrentFnSym->redefineIfPossible();
1180 OutStreamer->emitLabel(CurrentFnSym);
1181
1182 if (TM.getTargetTriple().isOSBinFormatELF()) {
1183 MCSymbol *Sym = getSymbolPreferLocal(MF->getFunction());
1184 if (Sym != CurrentFnSym) {
1185 CurrentFnBeginLocal = Sym;
1186 OutStreamer->emitLabel(Sym);
1187 OutStreamer->emitSymbolAttribute(Sym, MCSA_ELF_TypeFunction);
1188 }
1189 }
1190}
1191
1192/// emitComments - Pretty-print comments for instructions.
1193static void emitComments(const MachineInstr &MI, const MCSubtargetInfo *STI,
1194 raw_ostream &CommentOS) {
1195 const MachineFunction *MF = MI.getMF();
1197
1198 // Check for spills and reloads
1199
1200 // We assume a single instruction only has a spill or reload, not
1201 // both.
1202 std::optional<LocationSize> Size;
1203 if ((Size = MI.getRestoreSize(TII))) {
1204 CommentOS << Size->getValue() << "-byte Reload\n";
1205 } else if ((Size = MI.getFoldedRestoreSize(TII))) {
1206 if (!Size->hasValue())
1207 CommentOS << "Unknown-size Folded Reload\n";
1208 else if (Size->getValue())
1209 CommentOS << Size->getValue() << "-byte Folded Reload\n";
1210 } else if ((Size = MI.getSpillSize(TII))) {
1211 CommentOS << Size->getValue() << "-byte Spill\n";
1212 } else if ((Size = MI.getFoldedSpillSize(TII))) {
1213 if (!Size->hasValue())
1214 CommentOS << "Unknown-size Folded Spill\n";
1215 else if (Size->getValue())
1216 CommentOS << Size->getValue() << "-byte Folded Spill\n";
1217 }
1218
1219 // Check for spill-induced copies
1220 if (MI.getAsmPrinterFlag(MachineInstr::ReloadReuse))
1221 CommentOS << " Reload Reuse\n";
1222
1223 if (PrintLatency) {
1225 const MCSchedModel &SCModel = STI->getSchedModel();
1228 *STI, *TII, MI);
1229 // Report only interesting latencies.
1230 if (1 < Latency)
1231 CommentOS << " Latency: " << Latency << "\n";
1232 }
1233}
1234
1235/// emitImplicitDef - This method emits the specified machine instruction
1236/// that is an implicit def.
1238 Register RegNo = MI->getOperand(0).getReg();
1239
1240 SmallString<128> Str;
1241 raw_svector_ostream OS(Str);
1242 OS << "implicit-def: "
1243 << printReg(RegNo, MF->getSubtarget().getRegisterInfo());
1244
1245 OutStreamer->AddComment(OS.str());
1246 OutStreamer->addBlankLine();
1247}
1248
1249static void emitKill(const MachineInstr *MI, AsmPrinter &AP) {
1250 std::string Str;
1251 raw_string_ostream OS(Str);
1252 OS << "kill:";
1253 for (const MachineOperand &Op : MI->operands()) {
1254 assert(Op.isReg() && "KILL instruction must have only register operands");
1255 OS << ' ' << (Op.isDef() ? "def " : "killed ")
1256 << printReg(Op.getReg(), AP.MF->getSubtarget().getRegisterInfo());
1257 }
1258 AP.OutStreamer->AddComment(Str);
1259 AP.OutStreamer->addBlankLine();
1260}
1261
1262static void emitFakeUse(const MachineInstr *MI, AsmPrinter &AP) {
1263 std::string Str;
1264 raw_string_ostream OS(Str);
1265 OS << "fake_use:";
1266 for (const MachineOperand &Op : MI->operands()) {
1267 // In some circumstances we can end up with fake uses of constants; skip
1268 // these.
1269 if (!Op.isReg())
1270 continue;
1271 OS << ' ' << printReg(Op.getReg(), AP.MF->getSubtarget().getRegisterInfo());
1272 }
1273 AP.OutStreamer->AddComment(OS.str());
1274 AP.OutStreamer->addBlankLine();
1275}
1276
1277/// emitDebugValueComment - This method handles the target-independent form
1278/// of DBG_VALUE, returning true if it was able to do so. A false return
1279/// means the target will need to handle MI in EmitInstruction.
1281 // This code handles only the 4-operand target-independent form.
1282 if (MI->isNonListDebugValue() && MI->getNumOperands() != 4)
1283 return false;
1284
1285 SmallString<128> Str;
1286 raw_svector_ostream OS(Str);
1287 OS << "DEBUG_VALUE: ";
1288
1289 const DILocalVariable *V = MI->getDebugVariable();
1290 if (auto *SP = dyn_cast<DISubprogram>(V->getScope())) {
1291 StringRef Name = SP->getName();
1292 if (!Name.empty())
1293 OS << Name << ":";
1294 }
1295 OS << V->getName();
1296 OS << " <- ";
1297
1298 const DIExpression *Expr = MI->getDebugExpression();
1299 // First convert this to a non-variadic expression if possible, to simplify
1300 // the output.
1301 if (auto NonVariadicExpr = DIExpression::convertToNonVariadicExpression(Expr))
1302 Expr = *NonVariadicExpr;
1303 // Then, output the possibly-simplified expression.
1304 if (Expr->getNumElements()) {
1305 OS << '[';
1306 ListSeparator LS;
1307 for (auto &Op : Expr->expr_ops()) {
1308 OS << LS << dwarf::OperationEncodingString(Op.getOp());
1309 for (unsigned I = 0; I < Op.getNumArgs(); ++I)
1310 OS << ' ' << Op.getArg(I);
1311 }
1312 OS << "] ";
1313 }
1314
1315 // Register or immediate value. Register 0 means undef.
1316 for (const MachineOperand &Op : MI->debug_operands()) {
1317 if (&Op != MI->debug_operands().begin())
1318 OS << ", ";
1319 switch (Op.getType()) {
1321 APFloat APF = APFloat(Op.getFPImm()->getValueAPF());
1322 Type *ImmTy = Op.getFPImm()->getType();
1323 if (ImmTy->isBFloatTy() || ImmTy->isHalfTy() || ImmTy->isFloatTy() ||
1324 ImmTy->isDoubleTy()) {
1325 OS << APF.convertToDouble();
1326 } else {
1327 // There is no good way to print long double. Convert a copy to
1328 // double. Ah well, it's only a comment.
1329 bool ignored;
1331 &ignored);
1332 OS << "(long double) " << APF.convertToDouble();
1333 }
1334 break;
1335 }
1337 OS << Op.getImm();
1338 break;
1339 }
1341 Op.getCImm()->getValue().print(OS, false /*isSigned*/);
1342 break;
1343 }
1345 OS << "!target-index(" << Op.getIndex() << "," << Op.getOffset() << ")";
1346 break;
1347 }
1350 Register Reg;
1351 std::optional<StackOffset> Offset;
1352 if (Op.isReg()) {
1353 Reg = Op.getReg();
1354 } else {
1355 const TargetFrameLowering *TFI =
1357 Offset = TFI->getFrameIndexReference(*AP.MF, Op.getIndex(), Reg);
1358 }
1359 if (!Reg) {
1360 // Suppress offset, it is not meaningful here.
1361 OS << "undef";
1362 break;
1363 }
1364 // The second operand is only an offset if it's an immediate.
1365 if (MI->isIndirectDebugValue())
1366 Offset = StackOffset::getFixed(MI->getDebugOffset().getImm());
1367 if (Offset)
1368 OS << '[';
1369 OS << printReg(Reg, AP.MF->getSubtarget().getRegisterInfo());
1370 if (Offset)
1371 OS << '+' << Offset->getFixed() << ']';
1372 break;
1373 }
1374 default:
1375 llvm_unreachable("Unknown operand type");
1376 }
1377 }
1378
1379 // NOTE: Want this comment at start of line, don't emit with AddComment.
1380 AP.OutStreamer->emitRawComment(Str);
1381 return true;
1382}
1383
1384/// This method handles the target-independent form of DBG_LABEL, returning
1385/// true if it was able to do so. A false return means the target will need
1386/// to handle MI in EmitInstruction.
1388 if (MI->getNumOperands() != 1)
1389 return false;
1390
1391 SmallString<128> Str;
1392 raw_svector_ostream OS(Str);
1393 OS << "DEBUG_LABEL: ";
1394
1395 const DILabel *V = MI->getDebugLabel();
1396 if (auto *SP = dyn_cast<DISubprogram>(
1397 V->getScope()->getNonLexicalBlockFileScope())) {
1398 StringRef Name = SP->getName();
1399 if (!Name.empty())
1400 OS << Name << ":";
1401 }
1402 OS << V->getName();
1403
1404 // NOTE: Want this comment at start of line, don't emit with AddComment.
1405 AP.OutStreamer->emitRawComment(OS.str());
1406 return true;
1407}
1408
1411 // Ignore functions that won't get emitted.
1412 if (F.isDeclarationForLinker())
1413 return CFISection::None;
1414
1415 if (MAI.getExceptionHandlingType() == ExceptionHandling::DwarfCFI &&
1416 F.needsUnwindTableEntry())
1417 return CFISection::EH;
1418
1419 if (MAI.usesCFIWithoutEH() && F.hasUWTable())
1420 return CFISection::EH;
1421
1422 if (hasDebugInfo() || TM.Options.ForceDwarfFrameSection)
1423 return CFISection::Debug;
1424
1425 return CFISection::None;
1426}
1427
1432
1434 return MAI.usesWindowsCFI() && MF->getFunction().needsUnwindTableEntry();
1435}
1436
1438 return MAI.usesCFIWithoutEH() && ModuleCFISection != CFISection::None;
1439}
1440
1442 ExceptionHandling ExceptionHandlingType = MAI.getExceptionHandlingType();
1443 if (!usesCFIWithoutEH() &&
1444 ExceptionHandlingType != ExceptionHandling::DwarfCFI &&
1445 ExceptionHandlingType != ExceptionHandling::ARM)
1446 return;
1447
1449 return;
1450
1451 // If there is no "real" instruction following this CFI instruction, skip
1452 // emitting it; it would be beyond the end of the function's FDE range.
1453 auto *MBB = MI.getParent();
1454 auto I = std::next(MI.getIterator());
1455 while (I != MBB->end() && I->isTransient())
1456 ++I;
1457 if (I == MBB->instr_end() &&
1458 MBB->getReverseIterator() == MBB->getParent()->rbegin())
1459 return;
1460
1461 const std::vector<MCCFIInstruction> &Instrs = MF->getFrameInstructions();
1462 unsigned CFIIndex = MI.getOperand(0).getCFIIndex();
1463 const MCCFIInstruction &CFI = Instrs[CFIIndex];
1464 emitCFIInstruction(CFI);
1465}
1466
1468 // The operands are the MCSymbol and the frame offset of the allocation.
1469 MCSymbol *FrameAllocSym = MI.getOperand(0).getMCSymbol();
1470 int FrameOffset = MI.getOperand(1).getImm();
1471
1472 // Emit a symbol assignment.
1473 OutStreamer->emitAssignment(FrameAllocSym,
1474 MCConstantExpr::create(FrameOffset, OutContext));
1475}
1476
1477/// Returns the BB metadata to be emitted in the SHT_LLVM_BB_ADDR_MAP section
1478/// for a given basic block. This can be used to capture more precise profile
1479/// information.
1481 const TargetInstrInfo *TII = MBB.getParent()->getSubtarget().getInstrInfo();
1483 MBB.isReturnBlock(), !MBB.empty() && TII->isTailCall(MBB.back()),
1484 MBB.isEHPad(), const_cast<MachineBasicBlock &>(MBB).canFallThrough(),
1485 !MBB.empty() && MBB.rbegin()->isIndirectBranch()}
1486 .encode();
1487}
1488
1490getBBAddrMapFeature(const MachineFunction &MF, int NumMBBSectionRanges,
1491 bool HasCalls, const CFGProfile *FuncCFGProfile) {
1492 // Ensure that the user has not passed in additional options while also
1493 // specifying all or none.
1496 popcount(PgoAnalysisMapFeatures.getBits()) != 1) {
1498 "-pgo-analysis-map can accept only all or none with no additional "
1499 "values.");
1500 }
1501
1502 bool NoFeatures = PgoAnalysisMapFeatures.isSet(PGOMapFeaturesEnum::None);
1504 bool FuncEntryCountEnabled =
1505 AllFeatures || (!NoFeatures && PgoAnalysisMapFeatures.isSet(
1507 bool BBFreqEnabled =
1508 AllFeatures ||
1509 (!NoFeatures && PgoAnalysisMapFeatures.isSet(PGOMapFeaturesEnum::BBFreq));
1510 bool BrProbEnabled =
1511 AllFeatures ||
1512 (!NoFeatures && PgoAnalysisMapFeatures.isSet(PGOMapFeaturesEnum::BrProb));
1513 bool PostLinkCfgEnabled = FuncCFGProfile && PgoAnalysisMapEmitBBSectionsCfg;
1514
1515 if ((BBFreqEnabled || BrProbEnabled) && BBAddrMapSkipEmitBBEntries) {
1517 "BB entries info is required for BBFreq and BrProb features");
1518 }
1519 return {FuncEntryCountEnabled, BBFreqEnabled, BrProbEnabled,
1520 MF.hasBBSections() && NumMBBSectionRanges > 1,
1521 // Use static_cast to avoid breakage of tests on windows.
1522 static_cast<bool>(BBAddrMapSkipEmitBBEntries), HasCalls,
1523 static_cast<bool>(EmitBBHash), PostLinkCfgEnabled};
1524}
1525
1527 MCSection *BBAddrMapSection =
1528 getObjFileLowering().getBBAddrMapSection(*MF.getSection());
1529 assert(BBAddrMapSection && ".llvm_bb_addr_map section is not initialized.");
1530 bool HasCalls = !CurrentFnCallsiteEndSymbols.empty();
1531
1532 const BasicBlockSectionsProfileReader *BBSPR = nullptr;
1533 if (auto *BBSPRPass =
1535 BBSPR = &BBSPRPass->getBBSPR();
1536 const CFGProfile *FuncCFGProfile = nullptr;
1537 if (BBSPR)
1538 FuncCFGProfile = BBSPR->getFunctionCFGProfile(MF.getFunction().getName());
1539
1540 const MCSymbol *FunctionSymbol = getFunctionBegin();
1541
1542 OutStreamer->pushSection();
1543 OutStreamer->switchSection(BBAddrMapSection);
1544 OutStreamer->AddComment("version");
1545 uint8_t BBAddrMapVersion = OutStreamer->getContext().getBBAddrMapVersion();
1546 OutStreamer->emitInt8(BBAddrMapVersion);
1547 OutStreamer->AddComment("feature");
1548 auto Features = getBBAddrMapFeature(MF, MBBSectionRanges.size(), HasCalls,
1549 FuncCFGProfile);
1550 OutStreamer->emitInt16(Features.encode());
1551 // Emit BB Information for each basic block in the function.
1552 if (Features.MultiBBRange) {
1553 OutStreamer->AddComment("number of basic block ranges");
1554 OutStreamer->emitULEB128IntValue(MBBSectionRanges.size());
1555 }
1556 // Number of blocks in each MBB section.
1557 DenseMap<MBBSectionID, unsigned> MBBSectionNumBlocks;
1558 const MCSymbol *PrevMBBEndSymbol = nullptr;
1559 if (!Features.MultiBBRange) {
1560 OutStreamer->AddComment("function address");
1561 OutStreamer->emitSymbolValue(FunctionSymbol, getPointerSize());
1562 OutStreamer->AddComment("number of basic blocks");
1563 OutStreamer->emitULEB128IntValue(MF.size());
1564 PrevMBBEndSymbol = FunctionSymbol;
1565 } else {
1566 unsigned BBCount = 0;
1567 for (const MachineBasicBlock &MBB : MF) {
1568 BBCount++;
1569 if (MBB.isEndSection()) {
1570 // Store each section's basic block count when it ends.
1571 MBBSectionNumBlocks[MBB.getSectionID()] = BBCount;
1572 // Reset the count for the next section.
1573 BBCount = 0;
1574 }
1575 }
1576 }
1577 // Emit the BB entry for each basic block in the function.
1578 for (const MachineBasicBlock &MBB : MF) {
1579 const MCSymbol *MBBSymbol =
1580 MBB.isEntryBlock() ? FunctionSymbol : MBB.getSymbol();
1581 bool IsBeginSection =
1582 Features.MultiBBRange && (MBB.isBeginSection() || MBB.isEntryBlock());
1583 if (IsBeginSection) {
1584 OutStreamer->AddComment("base address");
1585 OutStreamer->emitSymbolValue(MBBSymbol, getPointerSize());
1586 OutStreamer->AddComment("number of basic blocks");
1587 OutStreamer->emitULEB128IntValue(MBBSectionNumBlocks[MBB.getSectionID()]);
1588 PrevMBBEndSymbol = MBBSymbol;
1589 }
1590
1591 auto MBHI =
1592 Features.BBHash ? &getAnalysis<MachineBlockHashInfo>() : nullptr;
1593
1594 if (!Features.OmitBBEntries) {
1595 OutStreamer->AddComment("BB id");
1596 // Emit the BB ID for this basic block.
1597 // We only emit BaseID since CloneID is unset for
1598 // -basic-block-adress-map.
1599 // TODO: Emit the full BBID when labels and sections can be mixed
1600 // together.
1601 OutStreamer->emitULEB128IntValue(MBB.getBBID()->BaseID);
1602 // Emit the basic block offset relative to the end of the previous block.
1603 // This is zero unless the block is padded due to alignment.
1604 emitLabelDifferenceAsULEB128(MBBSymbol, PrevMBBEndSymbol);
1605 const MCSymbol *CurrentLabel = MBBSymbol;
1606 if (HasCalls) {
1607 auto CallsiteEndSymbols = CurrentFnCallsiteEndSymbols.lookup(&MBB);
1608 OutStreamer->AddComment("number of callsites");
1609 OutStreamer->emitULEB128IntValue(CallsiteEndSymbols.size());
1610 for (const MCSymbol *CallsiteEndSymbol : CallsiteEndSymbols) {
1611 // Emit the callsite offset.
1612 emitLabelDifferenceAsULEB128(CallsiteEndSymbol, CurrentLabel);
1613 CurrentLabel = CallsiteEndSymbol;
1614 }
1615 }
1616 // Emit the offset to the end of the block, which can be used to compute
1617 // the total block size.
1618 emitLabelDifferenceAsULEB128(MBB.getEndSymbol(), CurrentLabel);
1619 // Emit the Metadata.
1620 OutStreamer->emitULEB128IntValue(getBBAddrMapMetadata(MBB));
1621 // Emit the Hash.
1622 if (MBHI) {
1623 OutStreamer->emitInt64(MBHI->getMBBHash(MBB));
1624 }
1625 }
1626 PrevMBBEndSymbol = MBB.getEndSymbol();
1627 }
1628
1629 if (Features.hasPGOAnalysis()) {
1630 assert(BBAddrMapVersion >= 2 &&
1631 "PGOAnalysisMap only supports version 2 or later");
1632
1633 if (Features.FuncEntryCount) {
1634 OutStreamer->AddComment("function entry count");
1635 auto MaybeEntryCount = MF.getFunction().getEntryCount();
1636 OutStreamer->emitULEB128IntValue(MaybeEntryCount ? *MaybeEntryCount : 0);
1637 }
1638 const MachineBlockFrequencyInfo *MBFI =
1639 Features.BBFreq
1641 : nullptr;
1642 const MachineBranchProbabilityInfo *MBPI =
1643 Features.BrProb
1645 : nullptr;
1646
1647 if (Features.BBFreq || Features.BrProb) {
1648 for (const MachineBasicBlock &MBB : MF) {
1649 if (Features.BBFreq) {
1650 OutStreamer->AddComment("basic block frequency");
1651 OutStreamer->emitULEB128IntValue(
1652 MBFI->getBlockFreq(&MBB).getFrequency());
1653 if (Features.PostLinkCfg) {
1654 OutStreamer->AddComment("basic block frequency (propeller)");
1655 OutStreamer->emitULEB128IntValue(
1656 FuncCFGProfile->getBlockCount(*MBB.getBBID()));
1657 }
1658 }
1659 if (Features.BrProb) {
1660 unsigned SuccCount = MBB.succ_size();
1661 OutStreamer->AddComment("basic block successor count");
1662 OutStreamer->emitULEB128IntValue(SuccCount);
1663 for (const MachineBasicBlock *SuccMBB : MBB.successors()) {
1664 OutStreamer->AddComment("successor BB ID");
1665 OutStreamer->emitULEB128IntValue(SuccMBB->getBBID()->BaseID);
1666 OutStreamer->AddComment("successor branch probability");
1667 OutStreamer->emitULEB128IntValue(
1668 MBPI->getEdgeProbability(&MBB, SuccMBB).getNumerator());
1669 if (Features.PostLinkCfg) {
1670 OutStreamer->AddComment("successor branch frequency (propeller)");
1671 OutStreamer->emitULEB128IntValue(FuncCFGProfile->getEdgeCount(
1672 *MBB.getBBID(), *SuccMBB->getBBID()));
1673 }
1674 }
1675 }
1676 }
1677 }
1678 }
1679
1680 OutStreamer->popSection();
1681}
1682
1684 const MCSymbol *Symbol) {
1685 MCSection *Section =
1686 getObjFileLowering().getKCFITrapSection(*MF.getSection());
1687 if (!Section)
1688 return;
1689
1690 OutStreamer->pushSection();
1691 OutStreamer->switchSection(Section);
1692
1693 MCSymbol *Loc = OutContext.createLinkerPrivateTempSymbol();
1694 OutStreamer->emitLabel(Loc);
1695 OutStreamer->emitAbsoluteSymbolDiff(Symbol, Loc, 4);
1696
1697 OutStreamer->popSection();
1698}
1699
1701 const Function &F = MF.getFunction();
1702 if (const MDNode *MD = F.getMetadata(LLVMContext::MD_kcfi_type))
1703 emitGlobalConstant(F.getDataLayout(),
1704 mdconst::extract<ConstantInt>(MD->getOperand(0)));
1705}
1706
1708 if (PP) {
1709 auto GUID = MI.getOperand(0).getImm();
1710 auto Index = MI.getOperand(1).getImm();
1711 auto Type = MI.getOperand(2).getImm();
1712 auto Attr = MI.getOperand(3).getImm();
1713 DILocation *DebugLoc = MI.getDebugLoc();
1714 PP->emitPseudoProbe(GUID, Index, Type, Attr, DebugLoc);
1715 }
1716}
1717
1719 if (!MF.getTarget().Options.EmitStackSizeSection)
1720 return;
1721
1722 MCSection *StackSizeSection =
1724 if (!StackSizeSection)
1725 return;
1726
1727 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
1728 // Don't emit functions with dynamic stack allocations.
1729 if (FrameInfo.hasVarSizedObjects())
1730 return;
1731
1732 OutStreamer->pushSection();
1733 OutStreamer->switchSection(StackSizeSection);
1734
1735 const MCSymbol *FunctionSymbol = getFunctionBegin();
1736 uint64_t StackSize =
1737 FrameInfo.getStackSize() + FrameInfo.getUnsafeStackSize();
1738 OutStreamer->emitSymbolValue(FunctionSymbol, TM.getProgramPointerSize());
1739 OutStreamer->emitULEB128IntValue(StackSize);
1740
1741 OutStreamer->popSection();
1742}
1743
1745 const std::string OutputFilename =
1747 : MF.getTarget().Options.StackUsageFile;
1748
1749 // OutputFilename empty implies -fstack-usage is not passed.
1750 if (OutputFilename.empty())
1751 return;
1752
1753 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
1754 uint64_t StackSize =
1755 FrameInfo.getStackSize() + FrameInfo.getUnsafeStackSize();
1756
1757 if (StackUsageStream == nullptr) {
1758 std::error_code EC;
1759 StackUsageStream =
1760 std::make_unique<raw_fd_ostream>(OutputFilename, EC, sys::fs::OF_Text);
1761 if (EC) {
1762 errs() << "Could not open file: " << EC.message();
1763 return;
1764 }
1765 }
1766
1767 if (const DISubprogram *DSP = MF.getFunction().getSubprogram())
1768 *StackUsageStream << DSP->getFilename() << ':' << DSP->getLine();
1769 else
1770 *StackUsageStream << MF.getFunction().getParent()->getName();
1771
1772 *StackUsageStream << ':' << MF.getName() << '\t' << StackSize << '\t';
1773 if (FrameInfo.hasVarSizedObjects())
1774 *StackUsageStream << "dynamic\n";
1775 else
1776 *StackUsageStream << "static\n";
1777}
1778
1779/// Extracts a numeric type identifier of a Function's type from
1780/// callgraph metadata. Returns null if metadata cannot be found.
1783 F.getMetadata(LLVMContext::MD_callgraph, Types);
1784 for (const auto &Type : Types) {
1785 if (Type->getNumOperands() == 1 && isa<MDString>(Type->getOperand(0))) {
1786 MDString *MDTypeId = cast<MDString>(Type->getOperand(0));
1787 uint64_t TypeIdVal = llvm::MD5Hash(MDTypeId->getString());
1788 IntegerType *Int64Ty = Type::getInt64Ty(F.getContext());
1789 return ConstantInt::get(Int64Ty, TypeIdVal);
1790 }
1791 }
1792 return nullptr;
1793}
1794
1795/// Emits .llvm.callgraph section.
1797 FunctionCallGraphInfo &FuncCGInfo) {
1798 if (!MF.getTarget().Options.EmitCallGraphSection)
1799 return;
1800
1801 // Switch to the call graph section for the function
1802 MCSection *FuncCGSection =
1804 assert(FuncCGSection && "null callgraph section");
1805 OutStreamer->pushSection();
1806 OutStreamer->switchSection(FuncCGSection);
1807
1808 const Function &F = MF.getFunction();
1809 // If this function has external linkage or has its address taken and
1810 // it is not a callback, then anything could call it.
1811 bool IsIndirectTarget =
1812 !F.hasLocalLinkage() || F.hasAddressTaken(nullptr,
1813 /*IgnoreCallbackUses=*/true,
1814 /*IgnoreAssumeLikeCalls=*/true,
1815 /*IgnoreLLVMUsed=*/false);
1816
1817 const auto &DirectCallees = FuncCGInfo.DirectCallees;
1818 const auto &IndirectCalleeTypeIDs = FuncCGInfo.IndirectCalleeTypeIDs;
1819
1820 using namespace callgraph;
1821 Flags CGFlags = Flags::None;
1822 if (IsIndirectTarget)
1823 CGFlags |= Flags::IsIndirectTarget;
1824 if (DirectCallees.size() > 0)
1825 CGFlags |= Flags::HasDirectCallees;
1826 if (IndirectCalleeTypeIDs.size() > 0)
1827 CGFlags |= Flags::HasIndirectCallees;
1828
1829 // Emit function's call graph information.
1830 // 1) CallGraphSectionFormatVersion
1831 // 2) Flags
1832 // a. LSB bit 0 is set to 1 if the function is a potential indirect
1833 // target.
1834 // b. LSB bit 1 is set to 1 if there are direct callees.
1835 // c. LSB bit 2 is set to 1 if there are indirect callees.
1836 // d. Rest of the 5 bits in Flags are reserved for any future use.
1837 // 3) Function entry PC.
1838 // 4) FunctionTypeID if the function is indirect target and its type id
1839 // is known, otherwise it is set to 0.
1840 // 5) Number of unique direct callees, if at least one exists.
1841 // 6) For each unique direct callee, the callee's PC.
1842 // 7) Number of unique indirect target type IDs, if at least one exists.
1843 // 8) Each unique indirect target type id.
1844 OutStreamer->emitInt8(CallGraphSectionFormatVersion::V_0);
1845 OutStreamer->emitInt8(static_cast<uint8_t>(CGFlags));
1846 OutStreamer->emitSymbolValue(getSymbol(&F), TM.getProgramPointerSize());
1847 const auto *TypeId = extractNumericCGTypeId(F);
1848 if (IsIndirectTarget && TypeId)
1849 OutStreamer->emitInt64(TypeId->getZExtValue());
1850 else
1851 OutStreamer->emitInt64(0);
1852
1853 if (DirectCallees.size() > 0) {
1854 OutStreamer->emitULEB128IntValue(DirectCallees.size());
1855 for (const auto &CalleeSymbol : DirectCallees)
1856 OutStreamer->emitSymbolValue(CalleeSymbol, TM.getProgramPointerSize());
1857 FuncCGInfo.DirectCallees.clear();
1858 }
1859 if (IndirectCalleeTypeIDs.size() > 0) {
1860 OutStreamer->emitULEB128IntValue(IndirectCalleeTypeIDs.size());
1861 for (const auto &CalleeTypeId : IndirectCalleeTypeIDs)
1862 OutStreamer->emitInt64(CalleeTypeId);
1863 FuncCGInfo.IndirectCalleeTypeIDs.clear();
1864 }
1865 // End of emitting call graph section contents.
1866 OutStreamer->popSection();
1867}
1868
1870 const MDNode &MD) {
1871 MCSymbol *S = MF.getContext().createTempSymbol("pcsection");
1872 OutStreamer->emitLabel(S);
1873 PCSectionsSymbols[&MD].emplace_back(S);
1874}
1875
1877 const Function &F = MF.getFunction();
1878 if (PCSectionsSymbols.empty() && !F.hasMetadata(LLVMContext::MD_pcsections))
1879 return;
1880
1881 const CodeModel::Model CM = MF.getTarget().getCodeModel();
1882 const unsigned RelativeRelocSize =
1884 : 4;
1885
1886 // Switch to PCSection, short-circuiting the common case where the current
1887 // section is still valid (assume most MD_pcsections contain just 1 section).
1888 auto SwitchSection = [&, Prev = StringRef()](const StringRef &Sec) mutable {
1889 if (Sec == Prev)
1890 return;
1891 MCSection *S = getObjFileLowering().getPCSection(Sec, MF.getSection());
1892 assert(S && "PC section is not initialized");
1893 OutStreamer->switchSection(S);
1894 Prev = Sec;
1895 };
1896 // Emit symbols into sections and data as specified in the pcsections MDNode.
1897 auto EmitForMD = [&](const MDNode &MD, ArrayRef<const MCSymbol *> Syms,
1898 bool Deltas) {
1899 // Expect the first operand to be a section name. After that, a tuple of
1900 // constants may appear, which will simply be emitted into the current
1901 // section (the user of MD_pcsections decides the format of encoded data).
1902 assert(isa<MDString>(MD.getOperand(0)) && "first operand not a string");
1903 bool ConstULEB128 = false;
1904 for (const MDOperand &MDO : MD.operands()) {
1905 if (auto *S = dyn_cast<MDString>(MDO)) {
1906 // Found string, start of new section!
1907 // Find options for this section "<section>!<opts>" - supported options:
1908 // C = Compress constant integers of size 2-8 bytes as ULEB128.
1909 const StringRef SecWithOpt = S->getString();
1910 const size_t OptStart = SecWithOpt.find('!'); // likely npos
1911 const StringRef Sec = SecWithOpt.substr(0, OptStart);
1912 const StringRef Opts = SecWithOpt.substr(OptStart); // likely empty
1913 ConstULEB128 = Opts.contains('C');
1914#ifndef NDEBUG
1915 for (char O : Opts)
1916 assert((O == '!' || O == 'C') && "Invalid !pcsections options");
1917#endif
1918 SwitchSection(Sec);
1919 const MCSymbol *Prev = Syms.front();
1920 for (const MCSymbol *Sym : Syms) {
1921 if (Sym == Prev || !Deltas) {
1922 // Use the entry itself as the base of the relative offset.
1923 MCSymbol *Base = MF.getContext().createTempSymbol("pcsection_base");
1924 OutStreamer->emitLabel(Base);
1925 // Emit relative relocation `addr - base`, which avoids a dynamic
1926 // relocation in the final binary. User will get the address with
1927 // `base + addr`.
1928 emitLabelDifference(Sym, Base, RelativeRelocSize);
1929 } else {
1930 // Emit delta between symbol and previous symbol.
1931 if (ConstULEB128)
1933 else
1934 emitLabelDifference(Sym, Prev, 4);
1935 }
1936 Prev = Sym;
1937 }
1938 } else {
1939 // Emit auxiliary data after PC.
1940 assert(isa<MDNode>(MDO) && "expecting either string or tuple");
1941 const auto *AuxMDs = cast<MDNode>(MDO);
1942 for (const MDOperand &AuxMDO : AuxMDs->operands()) {
1943 assert(isa<ConstantAsMetadata>(AuxMDO) && "expecting a constant");
1944 const Constant *C = cast<ConstantAsMetadata>(AuxMDO)->getValue();
1945 const DataLayout &DL = F.getDataLayout();
1946 const uint64_t Size = DL.getTypeStoreSize(C->getType());
1947
1948 if (auto *CI = dyn_cast<ConstantInt>(C);
1949 CI && ConstULEB128 && Size > 1 && Size <= 8) {
1950 emitULEB128(CI->getZExtValue());
1951 } else {
1953 }
1954 }
1955 }
1956 }
1957 };
1958
1959 OutStreamer->pushSection();
1960 // Emit PCs for function start and function size.
1961 if (const MDNode *MD = F.getMetadata(LLVMContext::MD_pcsections))
1962 EmitForMD(*MD, {getFunctionBegin(), getFunctionEnd()}, true);
1963 // Emit PCs for instructions collected.
1964 for (const auto &MS : PCSectionsSymbols)
1965 EmitForMD(*MS.first, MS.second, false);
1966 OutStreamer->popSection();
1967 PCSectionsSymbols.clear();
1968}
1969
1970/// Returns true if function begin and end labels should be emitted.
1971static bool needFuncLabels(const MachineFunction &MF, const AsmPrinter &Asm) {
1972 if (Asm.hasDebugInfo() || !MF.getLandingPads().empty() ||
1973 MF.hasEHFunclets() ||
1974 MF.getFunction().hasMetadata(LLVMContext::MD_pcsections))
1975 return true;
1976
1977 // We might emit an EH table that uses function begin and end labels even if
1978 // we don't have any landingpads.
1979 if (!MF.getFunction().hasPersonalityFn())
1980 return false;
1981 return !isNoOpWithoutInvoke(
1983}
1984
1985// Return the mnemonic of a MachineInstr if available, or the MachineInstr
1986// opcode name otherwise.
1988 const TargetInstrInfo *TII =
1989 MI.getParent()->getParent()->getSubtarget().getInstrInfo();
1990 MCInst MCI;
1991 MCI.setOpcode(MI.getOpcode());
1992 if (StringRef Name = Streamer.getMnemonic(MCI); !Name.empty())
1993 return Name;
1994 StringRef Name = TII->getName(MI.getOpcode());
1995 assert(!Name.empty() && "Missing mnemonic and name for opcode");
1996 return Name;
1997}
1998
2000 FunctionCallGraphInfo &FuncCGInfo,
2001 const MachineFunction::CallSiteInfoMap &CallSitesInfoMap,
2002 const MachineInstr &MI) {
2003 assert(MI.isCall() && "This method is meant for call instructions only.");
2004 const MachineOperand &CalleeOperand = MI.getOperand(0);
2005 if (CalleeOperand.isGlobal() || CalleeOperand.isSymbol()) {
2006 // Handle direct calls.
2007 MCSymbol *CalleeSymbol = nullptr;
2008 switch (CalleeOperand.getType()) {
2010 CalleeSymbol = getSymbol(CalleeOperand.getGlobal());
2011 break;
2013 CalleeSymbol = GetExternalSymbolSymbol(CalleeOperand.getSymbolName());
2014 break;
2015 default:
2017 "Expected to only handle direct call instructions here.");
2018 }
2019 FuncCGInfo.DirectCallees.insert(CalleeSymbol);
2020 return; // Early exit after handling the direct call instruction.
2021 }
2022 const auto &CallSiteInfo = CallSitesInfoMap.find(&MI);
2023 if (CallSiteInfo == CallSitesInfoMap.end())
2024 return;
2025 // Handle indirect callsite info.
2026 // Only indirect calls have type identifiers set.
2027 for (ConstantInt *CalleeTypeId : CallSiteInfo->second.CalleeTypeIds) {
2028 uint64_t CalleeTypeIdVal = CalleeTypeId->getZExtValue();
2029 FuncCGInfo.IndirectCalleeTypeIDs.insert(CalleeTypeIdVal);
2030 }
2031}
2032
2033/// Helper to emit a symbol for the prefetch target associated with the given
2034/// BBID and callsite index.
2036 unsigned CallsiteIndex) {
2037 SmallString<128> FunctionName;
2038 getNameWithPrefix(FunctionName, &MF->getFunction());
2039 MCSymbol *PrefetchTargetSymbol = OutContext.getOrCreateSymbol(
2040 getPrefetchTargetSymbolName(FunctionName, BBID, CallsiteIndex));
2041 // If the function is weak-linkage it may be replaced by a strong
2042 // version, in which case the prefetch targets should also be replaced.
2043 OutStreamer->emitSymbolAttribute(
2044 PrefetchTargetSymbol,
2045 MF->getFunction().isWeakForLinker() ? MCSA_Weak : MCSA_Global);
2046 OutStreamer->emitLabel(PrefetchTargetSymbol);
2047}
2048
2049/// Emit dangling prefetch targets that were not mapped to any basic block.
2051 const DenseMap<UniqueBBID, SmallVector<unsigned>> &MFPrefetchTargets =
2052 MF->getPrefetchTargets();
2053 if (MFPrefetchTargets.empty())
2054 return;
2055 DenseSet<UniqueBBID> MFBBIDs;
2056 for (const MachineBasicBlock &MBB : *MF)
2057 if (std::optional<UniqueBBID> BBID = MBB.getBBID())
2058 MFBBIDs.insert(*BBID);
2059
2060 for (const auto &[BBID, CallsiteIndexes] : MFPrefetchTargets) {
2061 if (MFBBIDs.contains(BBID))
2062 continue;
2063 for (unsigned CallsiteIndex : CallsiteIndexes)
2065 }
2066}
2067
2068/// EmitFunctionBody - This method emits the body and trailer for a
2069/// function.
2071 emitFunctionHeader();
2072
2073 // Emit target-specific gunk before the function body.
2075
2076 if (isVerbose()) {
2077 MDT = GetMDT(*MF);
2078 // Get MachineLoopInfo or compute it on the fly if it's unavailable, which
2079 // needs a MachineDominatorTree only for an irreducible CFG.
2080 MLI = GetMLI(*MF);
2081 if (!MLI) {
2082 OwnedMLI = std::make_unique<MachineLoopInfo>();
2083 OwnedMLI->calculate(*MF, [&]() -> const MachineDominatorTree & {
2084 if (!MDT) {
2085 OwnedMDT = std::make_unique<MachineDominatorTree>();
2086 OwnedMDT->recalculate(*MF);
2087 MDT = OwnedMDT.get();
2088 }
2089 return *MDT;
2090 });
2091 MLI = OwnedMLI.get();
2092 }
2093 }
2094
2095 // Print out code for the function.
2096 bool HasAnyRealCode = false;
2097 int NumInstsInFunction = 0;
2098 bool IsEHa = MMI->getModule()->getModuleFlag("eh-asynch");
2099
2100 const MCSubtargetInfo *STI = nullptr;
2101 if (this->MF)
2102 STI = &getSubtargetInfo();
2103 else
2104 STI = &TM.getMCSubtargetInfo();
2105
2106 bool CanDoExtraAnalysis = ORE->allowExtraAnalysis(DEBUG_TYPE);
2107 // Create a slot for the entry basic block section so that the section
2108 // order is preserved when iterating over MBBSectionRanges.
2109 if (!MF->empty())
2110 MBBSectionRanges[MF->front().getSectionID()] =
2112
2113 FunctionCallGraphInfo FuncCGInfo;
2114 const auto &CallSitesInfoMap = MF->getCallSitesInfo();
2115
2116 // Dangling targets are not mapped to any blocks and must be emitted at the
2117 // beginning of the function.
2119
2120 const auto &MFPrefetchTargets = MF->getPrefetchTargets();
2121 for (auto &MBB : *MF) {
2122 // Print a label for the basic block.
2124 DenseMap<StringRef, unsigned> MnemonicCounts;
2125
2126 const SmallVector<unsigned> *PrefetchTargets = nullptr;
2127 if (auto BBID = MBB.getBBID()) {
2128 auto R = MFPrefetchTargets.find(*BBID);
2129 if (R != MFPrefetchTargets.end())
2130 PrefetchTargets = &R->second;
2131 }
2132 auto PrefetchTargetIt =
2133 PrefetchTargets ? PrefetchTargets->begin() : nullptr;
2134 auto PrefetchTargetEnd = PrefetchTargets ? PrefetchTargets->end() : nullptr;
2135 unsigned LastCallsiteIndex = 0;
2136
2137 for (auto &MI : MBB) {
2138 if (PrefetchTargetIt != PrefetchTargetEnd &&
2139 *PrefetchTargetIt == LastCallsiteIndex) {
2140 emitPrefetchTargetSymbol(*MBB.getBBID(), *PrefetchTargetIt);
2141 ++PrefetchTargetIt;
2142 }
2143
2144 // Print the assembly for the instruction.
2145 if (!MI.isPosition() && !MI.isImplicitDef() && !MI.isKill() &&
2146 !MI.isDebugInstr()) {
2147 HasAnyRealCode = true;
2148 }
2149
2150 // If there is a pre-instruction symbol, emit a label for it here.
2151 if (MCSymbol *S = MI.getPreInstrSymbol())
2152 OutStreamer->emitLabel(S);
2153
2154 if (MDNode *MD = MI.getPCSections())
2155 emitPCSectionsLabel(*MF, *MD);
2156
2157 for (auto &Handler : Handlers)
2158 Handler->beginInstruction(&MI);
2159
2160 if (isVerbose())
2161 emitComments(MI, STI, OutStreamer->getCommentOS());
2162
2163#ifndef NDEBUG
2164 MCFragment *OldFragment = OutStreamer->getCurrentFragment();
2165 size_t OldFragSize = OldFragment->getFixedSize();
2166#endif
2167
2168 switch (MI.getOpcode()) {
2169 case TargetOpcode::CFI_INSTRUCTION:
2171 break;
2172 case TargetOpcode::LOCAL_ESCAPE:
2174 break;
2175 case TargetOpcode::ANNOTATION_LABEL:
2176 case TargetOpcode::GC_LABEL:
2177 OutStreamer->emitLabel(MI.getOperand(0).getMCSymbol());
2178 break;
2179 case TargetOpcode::EH_LABEL:
2180 OutStreamer->AddComment("EH_LABEL");
2181 OutStreamer->emitLabel(MI.getOperand(0).getMCSymbol());
2182 // For AsynchEH, insert a Nop if followed by a trap inst
2183 // Or the exception won't be caught.
2184 // (see MCConstantExpr::create(1,..) in WinException.cpp)
2185 // Ignore SDiv/UDiv because a DIV with Const-0 divisor
2186 // must have being turned into an UndefValue.
2187 // Div with variable opnds won't be the first instruction in
2188 // an EH region as it must be led by at least a Load
2189 {
2190 auto MI2 = std::next(MI.getIterator());
2191 if (IsEHa && MI2 != MBB.end() &&
2192 (MI2->mayLoadOrStore() || MI2->mayRaiseFPException()))
2193 emitNops(1);
2194 }
2195 break;
2196 case TargetOpcode::INLINEASM:
2197 case TargetOpcode::INLINEASM_BR:
2198 emitInlineAsm(&MI);
2199 break;
2200 case TargetOpcode::DBG_VALUE:
2201 case TargetOpcode::DBG_VALUE_LIST:
2202 if (isVerbose()) {
2203 if (!emitDebugValueComment(&MI, *this))
2205 }
2206 break;
2207 case TargetOpcode::DBG_INSTR_REF:
2208 // This instruction reference will have been resolved to a machine
2209 // location, and a nearby DBG_VALUE created. We can safely ignore
2210 // the instruction reference.
2211 break;
2212 case TargetOpcode::DBG_PHI:
2213 // This instruction is only used to label a program point, it's purely
2214 // meta information.
2215 break;
2216 case TargetOpcode::DBG_LABEL:
2217 if (isVerbose()) {
2218 if (!emitDebugLabelComment(&MI, *this))
2220 }
2221 break;
2222 case TargetOpcode::IMPLICIT_DEF:
2223 if (isVerbose()) emitImplicitDef(&MI);
2224 break;
2225 case TargetOpcode::KILL:
2226 if (isVerbose()) emitKill(&MI, *this);
2227 break;
2228 case TargetOpcode::FAKE_USE:
2229 if (isVerbose())
2230 emitFakeUse(&MI, *this);
2231 break;
2232 case TargetOpcode::PSEUDO_PROBE:
2234 break;
2235 case TargetOpcode::ARITH_FENCE:
2236 if (isVerbose())
2237 OutStreamer->emitRawComment("ARITH_FENCE");
2238 break;
2239 case TargetOpcode::MEMBARRIER:
2240 OutStreamer->emitRawComment("MEMBARRIER");
2241 break;
2242 case TargetOpcode::JUMP_TABLE_DEBUG_INFO:
2243 // This instruction is only used to note jump table debug info, it's
2244 // purely meta information.
2245 break;
2246 case TargetOpcode::INIT_UNDEF:
2247 // This is only used to influence register allocation behavior, no
2248 // actual initialization is needed.
2249 break;
2250 case TargetOpcode::RELOC_NONE: {
2251 // Generate a temporary label for the current PC.
2252 MCSymbol *Sym = OutContext.createTempSymbol("reloc_none");
2253 OutStreamer->emitLabel(Sym);
2254 const MCExpr *Dot = MCSymbolRefExpr::create(Sym, OutContext);
2256 OutContext.getOrCreateSymbol(MI.getOperand(0).getSymbolName()),
2257 OutContext);
2258 OutStreamer->emitRelocDirective(*Dot, "BFD_RELOC_NONE", Value, SMLoc());
2259 break;
2260 }
2261 default:
2263
2264 auto CountInstruction = [&](const MachineInstr &MI) {
2265 // Skip Meta instructions inside bundles.
2266 if (MI.isMetaInstruction())
2267 return;
2268 ++NumInstsInFunction;
2269 if (CanDoExtraAnalysis) {
2271 ++MnemonicCounts[Name];
2272 }
2273 };
2274 if (!MI.isBundle()) {
2275 CountInstruction(MI);
2276 break;
2277 }
2278 // Separately count all the instructions in a bundle.
2279 for (auto It = std::next(MI.getIterator());
2280 It != MBB.end() && It->isInsideBundle(); ++It) {
2281 CountInstruction(*It);
2282 }
2283 break;
2284 }
2285
2286#ifndef NDEBUG
2287 // Verify that the instruction size reported by InstrInfo matches the
2288 // actually emitted size. Many backends performing branch relaxation
2289 // on the MIR level rely on this for correctness.
2290 // TODO: We currently can't distinguish whether a parse error occurred
2291 // when handling INLINEASM.
2292 if (OutStreamer->isObj() && !OutContext.hadError() &&
2293 (MI.getOpcode() != TargetOpcode::INLINEASM &&
2294 MI.getOpcode() != TargetOpcode::INLINEASM_BR)) {
2295 const TargetInstrInfo *TII = MF->getSubtarget().getInstrInfo();
2297 TII->getInstSizeVerifyMode(MI);
2299 unsigned ExpectedSize = TII->getInstSizeInBytes(MI);
2300 MCFragment *NewFragment = OutStreamer->getCurrentFragment();
2301 unsigned ActualSize;
2302 if (OldFragment == NewFragment) {
2303 ActualSize = NewFragment->getFixedSize() - OldFragSize;
2304 } else {
2305 ActualSize = OldFragment->getFixedSize() - OldFragSize;
2306 const MCFragment *F = OldFragment->getNext();
2307 for (; F != NewFragment; F = F->getNext())
2308 ActualSize += F->getFixedSize();
2309 ActualSize += NewFragment->getFixedSize();
2310 }
2311 bool AllowOverEstimate =
2313 bool Valid = AllowOverEstimate ? ActualSize <= ExpectedSize
2314 : ActualSize == ExpectedSize;
2315 if (!Valid) {
2316 dbgs() << "In function: " << MF->getName() << "\n";
2317 dbgs() << "Size mismatch for: " << MI;
2318 if (MI.isBundled()) {
2319 dbgs() << "{\n";
2320 auto It = MI.getIterator(), End = MBB.instr_end();
2321 for (++It; It != End && It->isInsideBundle(); ++It)
2322 dbgs().indent(2) << *It;
2323 dbgs() << "}\n";
2324 }
2325 dbgs() << "Expected " << (AllowOverEstimate ? "maximum" : "exact")
2326 << " size: " << ExpectedSize << "\n";
2327 dbgs() << "Actual size: " << ActualSize << "\n";
2328 abort();
2329 }
2330 }
2331 }
2332#endif
2333
2334 if (MI.isCall()) {
2335 if (MF->getTarget().Options.BBAddrMap)
2337 LastCallsiteIndex++;
2338 }
2339
2340 if (TM.Options.EmitCallGraphSection && MI.isCall())
2341 handleCallsiteForCallgraph(FuncCGInfo, CallSitesInfoMap, MI);
2342
2343 // If there is a post-instruction symbol, emit a label for it here.
2344 if (MCSymbol *S = MI.getPostInstrSymbol()) {
2345 // Emit the weak symbol attribute used for the prefetch target fallback.
2346 if (TM.getTargetTriple().isOSBinFormatELF()) {
2347 MCSymbolELF *ESym = static_cast<MCSymbolELF *>(S);
2348 if (ESym->getBinding() == ELF::STB_WEAK)
2349 OutStreamer->emitSymbolAttribute(S, MCSA_Weak);
2350 }
2351 OutStreamer->emitLabel(S);
2352 }
2353
2354 for (auto &Handler : Handlers)
2355 Handler->endInstruction();
2356 }
2357 // Emit the remaining prefetch targets for this block. This includes
2358 // nonexisting callsite indexes.
2359 while (PrefetchTargetIt != PrefetchTargetEnd) {
2360 emitPrefetchTargetSymbol(*MBB.getBBID(), *PrefetchTargetIt);
2361 ++PrefetchTargetIt;
2362 }
2363
2364 // We must emit temporary symbol for the end of this basic block, if either
2365 // we have BBLabels enabled or if this basic blocks marks the end of a
2366 // section.
2367 if (MF->getTarget().Options.BBAddrMap ||
2368 (MAI.hasDotTypeDotSizeDirective() && MBB.isEndSection()))
2369 OutStreamer->emitLabel(MBB.getEndSymbol());
2370
2371 if (MBB.isEndSection()) {
2372 // The size directive for the section containing the entry block is
2373 // handled separately by the function section.
2374 if (!MBB.sameSection(&MF->front())) {
2375 if (MAI.hasDotTypeDotSizeDirective()) {
2376 // Emit the size directive for the basic block section.
2377 const MCExpr *SizeExp = MCBinaryExpr::createSub(
2378 MCSymbolRefExpr::create(MBB.getEndSymbol(), OutContext),
2379 MCSymbolRefExpr::create(CurrentSectionBeginSym, OutContext),
2380 OutContext);
2381 OutStreamer->emitELFSize(CurrentSectionBeginSym, SizeExp);
2382 }
2383 assert(!MBBSectionRanges.contains(MBB.getSectionID()) &&
2384 "Overwrite section range");
2385 MBBSectionRanges[MBB.getSectionID()] =
2386 MBBSectionRange{CurrentSectionBeginSym, MBB.getEndSymbol()};
2387 }
2388 }
2390
2391 if (CanDoExtraAnalysis) {
2392 // Skip empty blocks.
2393 if (MBB.empty())
2394 continue;
2395
2397 MBB.begin()->getDebugLoc(), &MBB);
2398
2399 // Generate instruction mix remark. First, sort counts in descending order
2400 // by count and name.
2402 for (auto &KV : MnemonicCounts)
2403 MnemonicVec.emplace_back(KV.first, KV.second);
2404
2405 sort(MnemonicVec, [](const std::pair<StringRef, unsigned> &A,
2406 const std::pair<StringRef, unsigned> &B) {
2407 if (A.second > B.second)
2408 return true;
2409 if (A.second == B.second)
2410 return StringRef(A.first) < StringRef(B.first);
2411 return false;
2412 });
2413 R << "BasicBlock: " << ore::NV("BasicBlock", MBB.getName()) << "\n";
2414 for (auto &KV : MnemonicVec) {
2415 auto Name = (Twine("INST_") + getToken(KV.first.trim()).first).str();
2416 R << KV.first << ": " << ore::NV(Name, KV.second) << "\n";
2417 }
2418 ORE->emit(R);
2419 }
2420 }
2421
2422 EmittedInsts += NumInstsInFunction;
2423 MachineOptimizationRemarkAnalysis R(DEBUG_TYPE, "InstructionCount",
2424 MF->getFunction().getSubprogram(),
2425 &MF->front());
2426 R << ore::NV("NumInstructions", NumInstsInFunction)
2427 << " instructions in function";
2428 ORE->emit(R);
2429
2430 if (ORE->allowExtraAnalysis("target-features")) {
2431 const Function &F = MF->getFunction();
2432 std::string FunctionName;
2433 raw_string_ostream OS(FunctionName);
2434 F.printAsOperand(OS, /*PrintType=*/false);
2435
2437 "target-features", "EnabledFeatures", F.getSubprogram(), &MF->front());
2438 Remark << "Enabled features for " << ore::NV("Function", FunctionName)
2439 << ": ";
2440 // The processor feature table is sorted by feature name.
2441 ListSeparator LS(",");
2442 for (const auto *Feature : MF->getSubtarget().getEnabledProcessorFeatures())
2443 Remark << LS << ore::NV("Feature", Feature->key());
2444 ORE->emit(Remark);
2445 }
2446
2447 // If the function is empty and the object file uses .subsections_via_symbols,
2448 // then we need to emit *something* to the function body to prevent the
2449 // labels from collapsing together. Just emit a noop.
2450 // Similarly, don't emit empty functions on Windows either. It can lead to
2451 // duplicate entries (two functions with the same RVA) in the Guard CF Table
2452 // after linking, causing the kernel not to load the binary:
2453 // https://developercommunity.visualstudio.com/content/problem/45366/vc-linker-creates-invalid-dll-with-clang-cl.html
2454 // FIXME: Hide this behind some API in e.g. MCAsmInfo or MCTargetStreamer.
2455 const Triple &TT = TM.getTargetTriple();
2456 if (!HasAnyRealCode && (MAI.hasSubsectionsViaSymbols() ||
2457 (TT.isOSWindows() && TT.isOSBinFormatCOFF()))) {
2458 MCInst Noop = MF->getSubtarget().getInstrInfo()->getNop();
2459
2460 // Targets can opt-out of emitting the noop here by leaving the opcode
2461 // unspecified.
2462 if (Noop.getOpcode()) {
2463 OutStreamer->AddComment("avoids zero-length function");
2464 emitNops(1);
2465 }
2466 }
2467
2468 // Switch to the original section in case basic block sections was used.
2469 OutStreamer->switchSection(MF->getSection());
2470
2471 const Function &F = MF->getFunction();
2472 for (const auto &BB : F) {
2473 if (!BB.hasAddressTaken())
2474 continue;
2475 MCSymbol *Sym = GetBlockAddressSymbol(&BB);
2476 if (Sym->isDefined())
2477 continue;
2478 OutStreamer->AddComment("Address of block that was removed by CodeGen");
2479 OutStreamer->emitLabel(Sym);
2480 }
2481
2482 // Emit target-specific gunk after the function body.
2484
2485 // Tail-pad functions that want it.
2486 if (F.hasFnAttribute("tail-pad-to-size")) {
2487 auto *FnEndSym = createTempSymbol("tail_pad_start");
2488 OutStreamer->emitLabel(FnEndSym);
2489
2490 uint64_t PadToSize = F.getFnAttributeAsParsedInteger("tail-pad-to-size");
2491 uint64_t FillValue =
2492 PadToSize ? F.getFnAttributeAsParsedInteger("tail-pad-value") : 0;
2493
2494 // .fill ((PadToSize - FuncSize) & (PadToSize - FuncSize >= 0)) FillValue
2495 const MCExpr *FuncSize = MCBinaryExpr::createSub(
2498 const MCExpr *SizeConst = MCConstantExpr::create(PadToSize, OutContext);
2499 const MCExpr *Zero = MCConstantExpr::create(0, OutContext);
2500 const MCExpr *SubExpr =
2501 MCBinaryExpr::createSub(SizeConst, FuncSize, OutContext);
2502 const MCExpr *Cmp = MCBinaryExpr::createGTE(SubExpr, Zero, OutContext);
2503 const MCExpr *FillExpr = MCBinaryExpr::createAnd(SubExpr, Cmp, OutContext);
2504 OutStreamer->emitFill(*FillExpr, FillValue);
2505 }
2506
2507 // Even though wasm supports .type and .size in general, function symbols
2508 // are automatically sized.
2509 bool EmitFunctionSize = MAI.hasDotTypeDotSizeDirective() && !TT.isWasm();
2510
2511 // SPIR-V supports label instructions only inside a block, not after the
2512 // function body.
2513 if (TT.getObjectFormat() != Triple::SPIRV &&
2514 (EmitFunctionSize || needFuncLabels(*MF, *this) || CurrentFnEnd)) {
2515 // Create a symbol for the end of function, if not already pre-created
2516 // (e.g. for .prefalign directive).
2517 if (!CurrentFnEnd)
2518 CurrentFnEnd = createTempSymbol("func_end");
2519 OutStreamer->emitLabel(CurrentFnEnd);
2520 }
2521
2522 // If the target wants a .size directive for the size of the function, emit
2523 // it.
2524 if (EmitFunctionSize) {
2525 // We can get the size as difference between the function label and the
2526 // temp label.
2527 const MCExpr *SizeExp = MCBinaryExpr::createSub(
2528 MCSymbolRefExpr::create(CurrentFnEnd, OutContext),
2530 OutStreamer->emitELFSize(CurrentFnSym, SizeExp);
2532 OutStreamer->emitELFSize(CurrentFnBeginLocal, SizeExp);
2533 }
2534
2535 // Call endBasicBlockSection on the last block now, if it wasn't already
2536 // called.
2537 if (!MF->back().isEndSection()) {
2538 for (auto &Handler : Handlers)
2539 Handler->endBasicBlockSection(MF->back());
2540 for (auto &Handler : EHHandlers)
2541 Handler->endBasicBlockSection(MF->back());
2542 }
2543 for (auto &Handler : Handlers)
2544 Handler->markFunctionEnd();
2545 for (auto &Handler : EHHandlers)
2546 Handler->markFunctionEnd();
2547 // Update the end label of the entry block's section.
2548 MBBSectionRanges[MF->front().getSectionID()].EndLabel = CurrentFnEnd;
2549
2550 // Print out jump tables referenced by the function.
2552
2553 // Emit post-function debug and/or EH information.
2554 for (auto &Handler : Handlers)
2555 Handler->endFunction(MF);
2556 for (auto &Handler : EHHandlers)
2557 Handler->endFunction(MF);
2558
2559 // Emit section containing BB address offsets and their metadata, when
2560 // BB labels are requested for this function. Skip empty functions.
2561 if (HasAnyRealCode) {
2562 if (MF->getTarget().Options.BBAddrMap)
2564 else if (PgoAnalysisMapFeatures.getBits() != 0)
2565 MF->getContext().reportWarning(
2566 SMLoc(), "pgo-analysis-map is enabled for function " + MF->getName() +
2567 " but it does not have labels");
2568 }
2569
2570 // Emit sections containing instruction and function PCs.
2572
2573 // Emit section containing stack size metadata.
2575
2576 // Emit section containing call graph metadata.
2577 emitCallGraphSection(*MF, FuncCGInfo);
2578
2579 // Emit .su file containing function stack size information.
2581
2583
2584 if (isVerbose())
2585 OutStreamer->getCommentOS() << "-- End function\n";
2586
2587 OutStreamer->addBlankLine();
2588}
2589
2590/// Compute the number of Global Variables that uses a Constant.
2591static unsigned getNumGlobalVariableUses(const Constant *C,
2592 bool &HasNonGlobalUsers) {
2593 if (!C) {
2594 HasNonGlobalUsers = true;
2595 return 0;
2596 }
2597
2599 return 1;
2600
2601 unsigned NumUses = 0;
2602 for (const auto *CU : C->users())
2603 NumUses +=
2604 getNumGlobalVariableUses(dyn_cast<Constant>(CU), HasNonGlobalUsers);
2605
2606 return NumUses;
2607}
2608
2609/// Only consider global GOT equivalents if at least one user is a
2610/// cstexpr inside an initializer of another global variables. Also, don't
2611/// handle cstexpr inside instructions. During global variable emission,
2612/// candidates are skipped and are emitted later in case at least one cstexpr
2613/// isn't replaced by a PC relative GOT entry access.
2615 unsigned &NumGOTEquivUsers,
2616 bool &HasNonGlobalUsers) {
2617 // Global GOT equivalents are unnamed private globals with a constant
2618 // pointer initializer to another global symbol. They must point to a
2619 // GlobalVariable or Function, i.e., as GlobalValue.
2620 if (!GV->hasGlobalUnnamedAddr() || !GV->hasInitializer() ||
2621 !GV->isConstant() || !GV->isDiscardableIfUnused() ||
2623 return false;
2624
2625 // To be a got equivalent, at least one of its users need to be a constant
2626 // expression used by another global variable.
2627 for (const auto *U : GV->users())
2628 NumGOTEquivUsers +=
2629 getNumGlobalVariableUses(dyn_cast<Constant>(U), HasNonGlobalUsers);
2630
2631 return NumGOTEquivUsers > 0;
2632}
2633
2634/// Unnamed constant global variables solely contaning a pointer to
2635/// another globals variable is equivalent to a GOT table entry; it contains the
2636/// the address of another symbol. Optimize it and replace accesses to these
2637/// "GOT equivalents" by using the GOT entry for the final global instead.
2638/// Compute GOT equivalent candidates among all global variables to avoid
2639/// emitting them if possible later on, after it use is replaced by a GOT entry
2640/// access.
2642 if (!getObjFileLowering().supportIndirectSymViaGOTPCRel())
2643 return;
2644
2645 for (const auto &G : M.globals()) {
2646 unsigned NumGOTEquivUsers = 0;
2647 bool HasNonGlobalUsers = false;
2648 if (!isGOTEquivalentCandidate(&G, NumGOTEquivUsers, HasNonGlobalUsers))
2649 continue;
2650 // If non-global variables use it, we still need to emit it.
2651 // Add 1 here, then emit it in `emitGlobalGOTEquivs`.
2652 if (HasNonGlobalUsers)
2653 NumGOTEquivUsers += 1;
2654 const MCSymbol *GOTEquivSym = getSymbol(&G);
2655 GlobalGOTEquivs[GOTEquivSym] = std::make_pair(&G, NumGOTEquivUsers);
2656 }
2657}
2658
2659/// Constant expressions using GOT equivalent globals may not be eligible
2660/// for PC relative GOT entry conversion, in such cases we need to emit such
2661/// globals we previously omitted in EmitGlobalVariable.
2663 if (!getObjFileLowering().supportIndirectSymViaGOTPCRel())
2664 return;
2665
2667 for (auto &I : GlobalGOTEquivs) {
2668 const GlobalVariable *GV = I.second.first;
2669 unsigned Cnt = I.second.second;
2670 if (Cnt)
2671 FailedCandidates.push_back(GV);
2672 }
2673 GlobalGOTEquivs.clear();
2674
2675 for (const auto *GV : FailedCandidates)
2677}
2678
2680 MCSymbol *Name = getSymbol(&GA);
2681 const GlobalObject *BaseObject = GA.getAliaseeObject();
2682
2683 bool IsFunction = GA.getValueType()->isFunctionTy();
2684 // Treat bitcasts of functions as functions also. This is important at least
2685 // on WebAssembly where object and function addresses can't alias each other.
2686 if (!IsFunction)
2687 IsFunction = isa_and_nonnull<Function>(BaseObject);
2688
2689 // AIX's assembly directive `.set` is not usable for aliasing purpose,
2690 // so AIX has to use the extra-label-at-definition strategy. At this
2691 // point, all the extra label is emitted, we just have to emit linkage for
2692 // those labels.
2693 if (TM.getTargetTriple().isOSBinFormatXCOFF()) {
2694 // Linkage for alias of global variable has been emitted.
2695 if (isa_and_nonnull<GlobalVariable>(BaseObject))
2696 return;
2697
2698 emitLinkage(&GA, Name);
2699 // If it's a function, also emit linkage for aliases of function entry
2700 // point.
2701 if (IsFunction)
2702 emitLinkage(&GA,
2703 getObjFileLowering().getFunctionEntryPointSymbol(&GA, TM));
2704 return;
2705 }
2706
2707 if (GA.hasExternalLinkage() || !MAI.getWeakRefDirective())
2708 OutStreamer->emitSymbolAttribute(Name, MCSA_Global);
2709 else if (GA.hasWeakLinkage() || GA.hasLinkOnceLinkage())
2710 OutStreamer->emitSymbolAttribute(Name, MCSA_WeakReference);
2711 else
2712 assert(GA.hasLocalLinkage() && "Invalid alias linkage");
2713
2714 // Set the symbol type to function if the alias has a function type.
2715 // This affects codegen when the aliasee is not a function.
2716 if (IsFunction) {
2717 OutStreamer->emitSymbolAttribute(Name, MCSA_ELF_TypeFunction);
2718 if (TM.getTargetTriple().isOSBinFormatCOFF()) {
2719 OutStreamer->beginCOFFSymbolDef(Name);
2720 OutStreamer->emitCOFFSymbolStorageClass(
2725 OutStreamer->endCOFFSymbolDef();
2726 }
2727 }
2728
2729 emitVisibility(Name, GA.getVisibility());
2730
2731 const MCExpr *Expr = lowerConstant(GA.getAliasee());
2732
2733 if (MAI.isMachO() && isa<MCBinaryExpr>(Expr))
2734 OutStreamer->emitSymbolAttribute(Name, MCSA_AltEntry);
2735
2736 // Emit the directives as assignments aka .set:
2737 OutStreamer->emitAssignment(Name, Expr);
2738 MCSymbol *LocalAlias = getSymbolPreferLocal(GA);
2739 if (LocalAlias != Name)
2740 OutStreamer->emitAssignment(LocalAlias, Expr);
2741
2742 // If the aliasee does not correspond to a symbol in the output, i.e. the
2743 // alias is not of an object or the aliased object is private, then set the
2744 // size of the alias symbol from the type of the alias. We don't do this in
2745 // other situations as the alias and aliasee having differing types but same
2746 // size may be intentional.
2747 if (MAI.hasDotTypeDotSizeDirective() && GA.getValueType()->isSized() &&
2748 (!BaseObject || BaseObject->hasPrivateLinkage())) {
2749 const DataLayout &DL = M.getDataLayout();
2750 uint64_t Size = DL.getTypeAllocSize(GA.getValueType());
2751 OutStreamer->emitELFSize(Name, MCConstantExpr::create(Size, OutContext));
2752 }
2753}
2754
2755void AsmPrinter::emitGlobalIFunc(Module &M, const GlobalIFunc &GI) {
2756 auto EmitLinkage = [&](MCSymbol *Sym) {
2758 OutStreamer->emitSymbolAttribute(Sym, MCSA_Global);
2759 else if (GI.hasWeakLinkage() || GI.hasLinkOnceLinkage())
2760 OutStreamer->emitSymbolAttribute(Sym, MCSA_WeakReference);
2761 else
2762 assert(GI.hasLocalLinkage() && "Invalid ifunc linkage");
2763 };
2764
2766 MCSymbol *Name = getSymbol(&GI);
2767 EmitLinkage(Name);
2768 OutStreamer->emitSymbolAttribute(Name, MCSA_ELF_TypeIndFunction);
2769 emitVisibility(Name, GI.getVisibility());
2770
2771 // Emit the directives as assignments aka .set:
2772 const MCExpr *Expr = lowerConstant(GI.getResolver());
2773 OutStreamer->emitAssignment(Name, Expr);
2774 MCSymbol *LocalAlias = getSymbolPreferLocal(GI);
2775 if (LocalAlias != Name)
2776 OutStreamer->emitAssignment(LocalAlias, Expr);
2777
2778 return;
2779 }
2780
2781 if (!TM.getTargetTriple().isOSBinFormatMachO() || !getIFuncMCSubtargetInfo())
2782 reportFatalUsageError("IFuncs are not supported on this platform");
2783
2784 // On Darwin platforms, emit a manually-constructed .symbol_resolver that
2785 // implements the symbol resolution duties of the IFunc.
2786 //
2787 // Normally, this would be handled by linker magic, but unfortunately there
2788 // are a few limitations in ld64 and ld-prime's implementation of
2789 // .symbol_resolver that mean we can't always use them:
2790 //
2791 // * resolvers cannot be the target of an alias
2792 // * resolvers cannot have private linkage
2793 // * resolvers cannot have linkonce linkage
2794 // * resolvers cannot appear in executables
2795 // * resolvers cannot appear in bundles
2796 //
2797 // This works around that by emitting a close approximation of what the
2798 // linker would have done.
2799
2800 MCSymbol *LazyPointer =
2801 GetExternalSymbolSymbol(GI.getName() + ".lazy_pointer");
2802 MCSymbol *StubHelper = GetExternalSymbolSymbol(GI.getName() + ".stub_helper");
2803
2804 OutStreamer->switchSection(OutContext.getObjectFileInfo()->getDataSection());
2805
2806 const DataLayout &DL = M.getDataLayout();
2807 emitAlignment(Align(DL.getPointerSize()));
2808 OutStreamer->emitLabel(LazyPointer);
2809 emitVisibility(LazyPointer, GI.getVisibility());
2810 OutStreamer->emitValue(MCSymbolRefExpr::create(StubHelper, OutContext), 8);
2811
2812 OutStreamer->switchSection(OutContext.getObjectFileInfo()->getTextSection());
2813
2814 const TargetSubtargetInfo *STI =
2815 TM.getSubtargetImpl(*GI.getResolverFunction());
2816 const TargetLowering *TLI = STI->getTargetLowering();
2817 Align TextAlign(TLI->getMinFunctionAlignment());
2818
2819 MCSymbol *Stub = getSymbol(&GI);
2820 EmitLinkage(Stub);
2821 OutStreamer->emitCodeAlignment(TextAlign, *getIFuncMCSubtargetInfo());
2822 OutStreamer->emitLabel(Stub);
2823 emitVisibility(Stub, GI.getVisibility());
2824 emitMachOIFuncStubBody(M, GI, LazyPointer);
2825
2826 OutStreamer->emitCodeAlignment(TextAlign, *getIFuncMCSubtargetInfo());
2827 OutStreamer->emitLabel(StubHelper);
2828 emitVisibility(StubHelper, GI.getVisibility());
2829 emitMachOIFuncStubHelperBody(M, GI, LazyPointer);
2830}
2831
2833 if (!RS.wantsSection())
2834 return;
2835 if (!RS.getFilename())
2836 return;
2837
2838 MCSection *RemarksSection =
2839 OutContext.getObjectFileInfo()->getRemarksSection();
2840 if (!RemarksSection && RS.needsSection()) {
2841 OutContext.reportWarning(SMLoc(), "Current object file format does not "
2842 "support remarks sections.");
2843 }
2844 if (!RemarksSection)
2845 return;
2846
2847 SmallString<128> Filename = *RS.getFilename();
2849 assert(!Filename.empty() && "The filename can't be empty.");
2850
2851 std::string Buf;
2852 raw_string_ostream OS(Buf);
2853
2854 remarks::RemarkSerializer &RemarkSerializer = RS.getSerializer();
2855 std::unique_ptr<remarks::MetaSerializer> MetaSerializer =
2856 RemarkSerializer.metaSerializer(OS, Filename);
2857 MetaSerializer->emit();
2858
2859 // Switch to the remarks section.
2860 OutStreamer->switchSection(RemarksSection);
2861 OutStreamer->emitBinaryData(Buf);
2862}
2863
2865 const Constant *Initializer = G.getInitializer();
2866 return G.getParent()->getDataLayout().getTypeAllocSize(
2867 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 = TM.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 (TM.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 (TM.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 for (unsigned JTI = 0, E = JT.size(); JTI != E; ++JTI) {
3570 const std::vector<MachineBasicBlock *> &JTBBs = JT[JTI].MBBs;
3571 OutStreamer->emitSymbolValue(GetJTISymbol(JTI), TM.getProgramPointerSize());
3572 OutStreamer->emitIntValue(JTBBs.size(), TM.getProgramPointerSize());
3573 }
3574}
3575
3576/// EmitJumpTableEntry - Emit a jump table entry for the specified MBB to the
3577/// current stream.
3579 const MachineBasicBlock *MBB,
3580 unsigned UID) const {
3581 assert(MBB && MBB->getNumber() >= 0 && "Invalid basic block");
3582 const MCExpr *Value = nullptr;
3583 switch (MJTI.getEntryKind()) {
3585 llvm_unreachable("Cannot emit EK_Inline jump table entry");
3588 llvm_unreachable("MIPS specific");
3590 Value = MF->getSubtarget().getTargetLowering()->LowerCustomJumpTableEntry(
3591 &MJTI, MBB, UID, OutContext);
3592 break;
3594 // EK_BlockAddress - Each entry is a plain address of block, e.g.:
3595 // .word LBB123
3597 break;
3598
3601 // Each entry is the address of the block minus the address of the jump
3602 // table. This is used for PIC jump tables where gprel32 is not supported.
3603 // e.g.:
3604 // .word LBB123 - LJTI1_2
3605 // If the .set directive avoids relocations, this is emitted as:
3606 // .set L4_5_set_123, LBB123 - LJTI1_2
3607 // .word L4_5_set_123
3609 MAI.doesSetDirectiveSuppressReloc()) {
3610 Value = MCSymbolRefExpr::create(GetJTSetSymbol(UID, MBB->getNumber()),
3611 OutContext);
3612 break;
3613 }
3615 const TargetLowering *TLI = MF->getSubtarget().getTargetLowering();
3618 break;
3619 }
3620 }
3621
3622 assert(Value && "Unknown entry kind!");
3623
3624 unsigned EntrySize = MJTI.getEntrySize(getDataLayout());
3625 OutStreamer->emitValue(Value, EntrySize);
3626}
3627
3628/// EmitSpecialLLVMGlobal - Check to see if the specified global is a
3629/// special global used by LLVM. If so, emit it and return true, otherwise
3630/// do nothing and return false.
3632 if (GV->getName() == "llvm.used") {
3633 if (MAI.hasNoDeadStrip()) // No need to emit this at all.
3634 emitLLVMUsedList(cast<ConstantArray>(GV->getInitializer()));
3635 return true;
3636 }
3637
3638 // Ignore debug and non-emitted data. This handles llvm.compiler.used.
3639 if (GV->getSection() == "llvm.metadata" ||
3641 return true;
3642
3643 if (GV->getName() == "llvm.arm64ec.symbolmap") {
3644 // For ARM64EC, print the table that maps between symbols and the
3645 // corresponding thunks to translate between x64 and AArch64 code.
3646 // This table is generated by AArch64Arm64ECCallLowering.
3647 OutStreamer->switchSection(
3648 OutContext.getCOFFSection(".hybmp$x", COFF::IMAGE_SCN_LNK_INFO));
3649 auto *Arr = cast<ConstantArray>(GV->getInitializer());
3650 for (auto &U : Arr->operands()) {
3651 auto *C = cast<Constant>(U);
3652 auto *Src = cast<GlobalValue>(C->getOperand(0)->stripPointerCasts());
3653 auto *Dst = cast<GlobalValue>(C->getOperand(1)->stripPointerCasts());
3654 int Kind = cast<ConstantInt>(C->getOperand(2))->getZExtValue();
3655
3656 if (Src->hasDLLImportStorageClass()) {
3657 // For now, we assume dllimport functions aren't directly called.
3658 // (We might change this later to match MSVC.)
3659 OutStreamer->emitCOFFSymbolIndex(
3660 OutContext.getOrCreateSymbol("__imp_" + Src->getName()));
3661 OutStreamer->emitCOFFSymbolIndex(getSymbol(Dst));
3662 OutStreamer->emitInt32(Kind);
3663 } else {
3664 // FIXME: For non-dllimport functions, MSVC emits the same entry
3665 // twice, for reasons I don't understand. I have to assume the linker
3666 // ignores the redundant entry; there aren't any reasonable semantics
3667 // to attach to it.
3668 OutStreamer->emitCOFFSymbolIndex(getSymbol(Src));
3669 OutStreamer->emitCOFFSymbolIndex(getSymbol(Dst));
3670 OutStreamer->emitInt32(Kind);
3671 }
3672 }
3673 return true;
3674 }
3675
3676 if (!GV->hasAppendingLinkage()) return false;
3677
3678 assert(GV->hasInitializer() && "Not a special LLVM global!");
3679
3680 if (GV->getName() == "llvm.global_ctors") {
3682 /* isCtor */ true);
3683
3684 return true;
3685 }
3686
3687 if (GV->getName() == "llvm.global_dtors") {
3689 /* isCtor */ false);
3690
3691 return true;
3692 }
3693
3694 GV->getContext().emitError(
3695 "unknown special variable with appending linkage: " +
3696 GV->getNameOrAsOperand());
3697 return true;
3698}
3699
3700/// EmitLLVMUsedList - For targets that define a MAI::UsedDirective, mark each
3701/// global in the specified llvm.used list.
3702void AsmPrinter::emitLLVMUsedList(const ConstantArray *InitList) {
3703 // Should be an array of 'i8*'.
3704 for (unsigned i = 0, e = InitList->getNumOperands(); i != e; ++i) {
3705 const GlobalValue *GV =
3707 if (GV)
3708 OutStreamer->emitSymbolAttribute(getSymbol(GV), MCSA_NoDeadStrip);
3709 }
3710}
3711
3713 const Constant *List,
3714 SmallVector<Structor, 8> &Structors) {
3715 // Should be an array of '{ i32, void ()*, i8* }' structs. The first value is
3716 // the init priority.
3718 return;
3719
3720 // Gather the structors in a form that's convenient for sorting by priority.
3721 for (Value *O : cast<ConstantArray>(List)->operands()) {
3722 auto *CS = cast<ConstantStruct>(O);
3723 if (CS->getOperand(1)->isNullValue())
3724 break; // Found a null terminator, skip the rest.
3725 ConstantInt *Priority = dyn_cast<ConstantInt>(CS->getOperand(0));
3726 if (!Priority)
3727 continue; // Malformed.
3728 Structors.push_back(Structor());
3729 Structor &S = Structors.back();
3730 S.Priority = Priority->getLimitedValue(65535);
3731 S.Func = CS->getOperand(1);
3732 if (!CS->getOperand(2)->isNullValue()) {
3733 if (TM.getTargetTriple().isOSAIX()) {
3734 CS->getContext().emitError(
3735 "associated data of XXStructor list is not yet supported on AIX");
3736 }
3737
3738 S.ComdatKey =
3739 dyn_cast<GlobalValue>(CS->getOperand(2)->stripPointerCasts());
3740 }
3741 }
3742
3743 // Emit the function pointers in the target-specific order
3744 llvm::stable_sort(Structors, [](const Structor &L, const Structor &R) {
3745 return L.Priority < R.Priority;
3746 });
3747}
3748
3749/// EmitXXStructorList - Emit the ctor or dtor list taking into account the init
3750/// priority.
3752 bool IsCtor) {
3753 SmallVector<Structor, 8> Structors;
3754 preprocessXXStructorList(DL, List, Structors);
3755 if (Structors.empty())
3756 return;
3757
3758 // Emit the structors in reverse order if we are using the .ctor/.dtor
3759 // initialization scheme.
3760 if (!TM.Options.UseInitArray)
3761 std::reverse(Structors.begin(), Structors.end());
3762
3763 const Align Align = DL.getPointerPrefAlignment(DL.getProgramAddressSpace());
3764 for (Structor &S : Structors) {
3766 const MCSymbol *KeySym = nullptr;
3767 if (GlobalValue *GV = S.ComdatKey) {
3768 if (GV->isDeclarationForLinker())
3769 // If the associated variable is not defined in this module
3770 // (it might be available_externally, or have been an
3771 // available_externally definition that was dropped by the
3772 // EliminateAvailableExternally pass), some other TU
3773 // will provide its dynamic initializer.
3774 continue;
3775
3776 KeySym = getSymbol(GV);
3777 }
3778
3779 MCSection *OutputSection =
3780 (IsCtor ? Obj.getStaticCtorSection(S.Priority, KeySym)
3781 : Obj.getStaticDtorSection(S.Priority, KeySym));
3782 OutStreamer->switchSection(OutputSection);
3783 if (OutStreamer->getCurrentSection() != OutStreamer->getPreviousSection())
3785 emitXXStructor(DL, S.Func);
3786 }
3787}
3788
3789void AsmPrinter::emitModuleIdents(Module &M) {
3790 if (!MAI.hasIdentDirective())
3791 return;
3792
3793 if (const NamedMDNode *NMD = M.getNamedMetadata("llvm.ident")) {
3794 for (const MDNode *N : NMD->operands()) {
3795 assert(N->getNumOperands() == 1 &&
3796 "llvm.ident metadata entry can have only one operand");
3797 const MDString *S = cast<MDString>(N->getOperand(0));
3798 OutStreamer->emitIdent(S->getString());
3799 }
3800 }
3801}
3802
3803void AsmPrinter::emitModuleCommandLines(Module &M) {
3804 MCSection *CommandLine = getObjFileLowering().getSectionForCommandLines();
3805 if (!CommandLine)
3806 return;
3807
3808 const NamedMDNode *NMD = M.getNamedMetadata("llvm.commandline");
3809 if (!NMD || !NMD->getNumOperands())
3810 return;
3811
3812 OutStreamer->pushSection();
3813 OutStreamer->switchSection(CommandLine);
3814 OutStreamer->emitZeros(1);
3815 for (const MDNode *N : NMD->operands()) {
3816 assert(N->getNumOperands() == 1 &&
3817 "llvm.commandline metadata entry can have only one operand");
3818 const MDString *S = cast<MDString>(N->getOperand(0));
3819 OutStreamer->emitBytes(S->getString());
3820 OutStreamer->emitZeros(1);
3821 }
3822 OutStreamer->popSection();
3823}
3824
3825//===--------------------------------------------------------------------===//
3826// Emission and print routines
3827//
3828
3829/// Emit a byte directive and value.
3830///
3831void AsmPrinter::emitInt8(int Value) const { OutStreamer->emitInt8(Value); }
3832
3833/// Emit a short directive and value.
3834void AsmPrinter::emitInt16(int Value) const { OutStreamer->emitInt16(Value); }
3835
3836/// Emit a long directive and value.
3837void AsmPrinter::emitInt32(int Value) const { OutStreamer->emitInt32(Value); }
3838
3839/// EmitSLEB128 - emit the specified signed leb128 value.
3840void AsmPrinter::emitSLEB128(int64_t Value, const char *Desc) const {
3841 if (isVerbose() && Desc)
3842 OutStreamer->AddComment(Desc);
3843
3844 OutStreamer->emitSLEB128IntValue(Value);
3845}
3846
3847void AsmPrinter::emitULEB128(uint64_t Value, const char *Desc,
3848 unsigned PadTo) const {
3849 if (isVerbose() && Desc)
3850 OutStreamer->AddComment(Desc);
3851
3852 OutStreamer->emitULEB128IntValue(Value, PadTo);
3853}
3854
3855/// Emit a long long directive and value.
3856void AsmPrinter::emitInt64(uint64_t Value) const {
3857 OutStreamer->emitInt64(Value);
3858}
3859
3860/// Emit something like ".long Hi-Lo" where the size in bytes of the directive
3861/// is specified by Size and Hi/Lo specify the labels. This implicitly uses
3862/// .set if it avoids relocations.
3864 unsigned Size) const {
3865 OutStreamer->emitAbsoluteSymbolDiff(Hi, Lo, Size);
3866}
3867
3868/// Emit something like ".uleb128 Hi-Lo".
3870 const MCSymbol *Lo) const {
3871 OutStreamer->emitAbsoluteSymbolDiffAsULEB128(Hi, Lo);
3872}
3873
3874/// EmitLabelPlusOffset - Emit something like ".long Label+Offset"
3875/// where the size in bytes of the directive is specified by Size and Label
3876/// specifies the label. This implicitly uses .set if it is available.
3878 unsigned Size,
3879 bool IsSectionRelative) const {
3880 if (MAI.needsDwarfSectionOffsetDirective() && IsSectionRelative) {
3881 OutStreamer->emitCOFFSecRel32(Label, Offset);
3882 if (Size > 4)
3883 OutStreamer->emitZeros(Size - 4);
3884 return;
3885 }
3886
3887 // Emit Label+Offset (or just Label if Offset is zero)
3888 const MCExpr *Expr = MCSymbolRefExpr::create(Label, OutContext);
3889 if (Offset)
3892
3893 OutStreamer->emitValue(Expr, Size);
3894}
3895
3896//===----------------------------------------------------------------------===//
3897
3898// EmitAlignment - Emit an alignment directive to the specified power of
3899// two boundary. If a global value is specified, and if that global has
3900// an explicit alignment requested, it will override the alignment request
3901// if required for correctness.
3903 unsigned MaxBytesToEmit) const {
3904 if (GV)
3905 Alignment = getGVAlignment(GV, GV->getDataLayout(), Alignment);
3906
3907 if (Alignment == Align(1))
3908 return Alignment; // 1-byte aligned: no need to emit alignment.
3909
3910 if (getCurrentSection()->isText()) {
3911 const MCSubtargetInfo *STI = nullptr;
3912 if (this->MF)
3913 STI = &getSubtargetInfo();
3914 else
3915 STI = &TM.getMCSubtargetInfo();
3916 OutStreamer->emitCodeAlignment(Alignment, *STI, MaxBytesToEmit);
3917 } else
3918 OutStreamer->emitValueToAlignment(Alignment, 0, 1, MaxBytesToEmit);
3919 return Alignment;
3920}
3921
3922//===----------------------------------------------------------------------===//
3923// Constant emission.
3924//===----------------------------------------------------------------------===//
3925
3927 const Constant *BaseCV,
3928 uint64_t Offset) {
3929 MCContext &Ctx = OutContext;
3930
3931 if (CV->isNullValue() || isa<UndefValue>(CV))
3932 return MCConstantExpr::create(0, Ctx);
3933
3934 if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV))
3935 return MCConstantExpr::create(CI->getZExtValue(), Ctx);
3936
3937 if (const ConstantByte *CB = dyn_cast<ConstantByte>(CV))
3938 return MCConstantExpr::create(CB->getZExtValue(), Ctx);
3939
3940 if (const ConstantPtrAuth *CPA = dyn_cast<ConstantPtrAuth>(CV))
3941 return lowerConstantPtrAuth(*CPA);
3942
3943 if (const GlobalValue *GV = dyn_cast<GlobalValue>(CV))
3944 return MCSymbolRefExpr::create(getSymbol(GV), Ctx);
3945
3946 if (const BlockAddress *BA = dyn_cast<BlockAddress>(CV))
3947 return lowerBlockAddressConstant(*BA);
3948
3949 if (const auto *Equiv = dyn_cast<DSOLocalEquivalent>(CV))
3951 getSymbol(Equiv->getGlobalValue()), nullptr, 0, std::nullopt, TM);
3952
3953 if (const NoCFIValue *NC = dyn_cast<NoCFIValue>(CV))
3954 return MCSymbolRefExpr::create(getSymbol(NC->getGlobalValue()), Ctx);
3955
3956 const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV);
3957 if (!CE) {
3958 llvm_unreachable("Unknown constant value to lower!");
3959 }
3960
3961 // The constant expression opcodes are limited to those that are necessary
3962 // to represent relocations on supported targets. Expressions involving only
3963 // constant addresses are constant folded instead.
3964 switch (CE->getOpcode()) {
3965 default:
3966 break; // Error
3967 case Instruction::AddrSpaceCast: {
3968 const Constant *Op = CE->getOperand(0);
3969 unsigned DstAS = CE->getType()->getPointerAddressSpace();
3970 unsigned SrcAS = Op->getType()->getPointerAddressSpace();
3971 if (TM.isNoopAddrSpaceCast(SrcAS, DstAS))
3972 return lowerConstant(Op);
3973
3974 break; // Error
3975 }
3976 case Instruction::GetElementPtr: {
3977 // Generate a symbolic expression for the byte address
3978 APInt OffsetAI(getDataLayout().getPointerTypeSizeInBits(CE->getType()), 0);
3979 cast<GEPOperator>(CE)->accumulateConstantOffset(getDataLayout(), OffsetAI);
3980
3981 const MCExpr *Base = lowerConstant(CE->getOperand(0));
3982 if (!OffsetAI)
3983 return Base;
3984
3985 int64_t Offset = OffsetAI.getSExtValue();
3987 Ctx);
3988 }
3989
3990 case Instruction::Trunc:
3991 // We emit the value and depend on the assembler to truncate the generated
3992 // expression properly. This is important for differences between
3993 // blockaddress labels. Since the two labels are in the same function, it
3994 // is reasonable to treat their delta as a 32-bit value.
3995 [[fallthrough]];
3996 case Instruction::BitCast:
3997 return lowerConstant(CE->getOperand(0), BaseCV, Offset);
3998
3999 case Instruction::IntToPtr: {
4000 const DataLayout &DL = getDataLayout();
4001
4002 // Handle casts to pointers by changing them into casts to the appropriate
4003 // integer type. This promotes constant folding and simplifies this code.
4004 Constant *Op = CE->getOperand(0);
4005 Op = ConstantFoldIntegerCast(Op, DL.getIntPtrType(CV->getType()),
4006 /*IsSigned*/ false, DL);
4007 if (Op)
4008 return lowerConstant(Op);
4009
4010 break; // Error
4011 }
4012
4013 case Instruction::PtrToAddr:
4014 case Instruction::PtrToInt: {
4015 const DataLayout &DL = getDataLayout();
4016
4017 // Support only foldable casts to/from pointers that can be eliminated by
4018 // changing the pointer to the appropriately sized integer type.
4019 Constant *Op = CE->getOperand(0);
4020 Type *Ty = CE->getType();
4021
4022 const MCExpr *OpExpr = lowerConstant(Op);
4023
4024 // We can emit the pointer value into this slot if the slot is an
4025 // integer slot equal to the size of the pointer.
4026 //
4027 // If the pointer is larger than the resultant integer, then
4028 // as with Trunc just depend on the assembler to truncate it.
4029 if (DL.getTypeAllocSize(Ty).getFixedValue() <=
4030 DL.getTypeAllocSize(Op->getType()).getFixedValue())
4031 return OpExpr;
4032
4033 break; // Error
4034 }
4035
4036 case Instruction::Sub: {
4037 GlobalValue *LHSGV, *RHSGV;
4038 APInt LHSOffset, RHSOffset;
4039 DSOLocalEquivalent *DSOEquiv;
4040 if (IsConstantOffsetFromGlobal(CE->getOperand(0), LHSGV, LHSOffset,
4041 getDataLayout(), &DSOEquiv) &&
4042 IsConstantOffsetFromGlobal(CE->getOperand(1), RHSGV, RHSOffset,
4043 getDataLayout())) {
4044 auto *LHSSym = getSymbol(LHSGV);
4045 auto *RHSSym = getSymbol(RHSGV);
4046 int64_t Addend = (LHSOffset - RHSOffset).getSExtValue();
4047 std::optional<int64_t> PCRelativeOffset;
4048 if (getObjFileLowering().hasPLTPCRelative() && RHSGV == BaseCV)
4049 PCRelativeOffset = Offset;
4050
4051 // Try the generic symbol difference first.
4053 LHSGV, RHSGV, Addend, PCRelativeOffset, TM);
4054
4055 // (ELF-specific) If the generic symbol difference does not apply, and
4056 // LHS is a dso_local_equivalent of a function, reference the PLT entry
4057 // instead. Note: A default visibility symbol is by default preemptible
4058 // during linking, and should not be referenced with PC-relative
4059 // relocations. Therefore, use a PLT relocation even if the function is
4060 // dso_local.
4061 if (DSOEquiv && TM.getTargetTriple().isOSBinFormatELF())
4063 LHSSym, RHSSym, Addend, PCRelativeOffset, TM);
4064
4065 // Otherwise, return LHS-RHS+Addend.
4066 if (!Res) {
4067 Res =
4069 MCSymbolRefExpr::create(RHSSym, Ctx), Ctx);
4070 if (Addend != 0)
4072 Res, MCConstantExpr::create(Addend, Ctx), Ctx);
4073 }
4074 return Res;
4075 }
4076
4077 const MCExpr *LHS = lowerConstant(CE->getOperand(0));
4078 const MCExpr *RHS = lowerConstant(CE->getOperand(1));
4079 return MCBinaryExpr::createSub(LHS, RHS, Ctx);
4080 break;
4081 }
4082
4083 case Instruction::Add: {
4084 const MCExpr *LHS = lowerConstant(CE->getOperand(0));
4085 const MCExpr *RHS = lowerConstant(CE->getOperand(1));
4086 return MCBinaryExpr::createAdd(LHS, RHS, Ctx);
4087 }
4088 }
4089
4090 // If the code isn't optimized, there may be outstanding folding
4091 // opportunities. Attempt to fold the expression using DataLayout as a
4092 // last resort before giving up.
4094 if (C != CE)
4095 return lowerConstant(C);
4096
4097 // Otherwise report the problem to the user.
4098 std::string S;
4099 raw_string_ostream OS(S);
4100 OS << "unsupported expression in static initializer: ";
4101 CE->printAsOperand(OS, /*PrintType=*/false,
4102 !MF ? nullptr : MF->getFunction().getParent());
4103 CE->getContext().emitError(S);
4104 return MCConstantExpr::create(0, Ctx);
4105}
4106
4107static void emitGlobalConstantImpl(const DataLayout &DL, const Constant *C,
4108 AsmPrinter &AP,
4109 const Constant *BaseCV = nullptr,
4110 uint64_t Offset = 0,
4111 AsmPrinter::AliasMapTy *AliasList = nullptr);
4112
4113static void emitGlobalConstantFP(const ConstantFP *CFP, AsmPrinter &AP);
4114static void emitGlobalConstantFP(APFloat APF, Type *ET, AsmPrinter &AP);
4115
4116/// isRepeatedByteSequence - Determine whether the given value is
4117/// composed of a repeated sequence of identical bytes and return the
4118/// byte value. If it is not a repeated sequence, return -1.
4120 StringRef Data = V->getRawDataValues();
4121 assert(!Data.empty() && "Empty aggregates should be CAZ node");
4122 char C = Data[0];
4123 for (unsigned i = 1, e = Data.size(); i != e; ++i)
4124 if (Data[i] != C) return -1;
4125 return static_cast<uint8_t>(C); // Ensure 255 is not returned as -1.
4126}
4127
4128/// isRepeatedByteSequence - Determine whether the given value is
4129/// composed of a repeated sequence of identical bytes and return the
4130/// byte value. If it is not a repeated sequence, return -1.
4131static int isRepeatedByteSequence(const Value *V, const DataLayout &DL) {
4132 if (const ConstantInt *CI = dyn_cast<ConstantInt>(V)) {
4133 uint64_t Size = DL.getTypeAllocSizeInBits(V->getType());
4134 assert(Size % 8 == 0);
4135
4136 // Extend the element to take zero padding into account.
4137 APInt Value = CI->getValue().zext(Size);
4138 if (!Value.isSplat(8))
4139 return -1;
4140
4141 return Value.zextOrTrunc(8).getZExtValue();
4142 }
4143 if (const ConstantArray *CA = dyn_cast<ConstantArray>(V)) {
4144 // Make sure all array elements are sequences of the same repeated
4145 // byte.
4146 assert(CA->getNumOperands() != 0 && "Should be a CAZ");
4147 Constant *Op0 = CA->getOperand(0);
4148 int Byte = isRepeatedByteSequence(Op0, DL);
4149 if (Byte == -1)
4150 return -1;
4151
4152 // All array elements must be equal.
4153 for (unsigned i = 1, e = CA->getNumOperands(); i != e; ++i)
4154 if (CA->getOperand(i) != Op0)
4155 return -1;
4156 return Byte;
4157 }
4158
4160 return isRepeatedByteSequence(CDS);
4161
4162 return -1;
4163}
4164
4166 AsmPrinter::AliasMapTy *AliasList) {
4167 if (AliasList) {
4168 auto AliasIt = AliasList->find(Offset);
4169 if (AliasIt != AliasList->end()) {
4170 for (const GlobalAlias *GA : AliasIt->second)
4171 AP.OutStreamer->emitLabel(AP.getSymbol(GA));
4172 AliasList->erase(Offset);
4173 }
4174 }
4175}
4176
4178 const DataLayout &DL, const ConstantDataSequential *CDS, AsmPrinter &AP,
4179 AsmPrinter::AliasMapTy *AliasList) {
4180 // See if we can aggregate this into a .fill, if so, emit it as such.
4181 int Value = isRepeatedByteSequence(CDS, DL);
4182 if (Value != -1) {
4183 uint64_t Bytes = DL.getTypeAllocSize(CDS->getType());
4184 // Don't emit a 1-byte object as a .fill.
4185 if (Bytes > 1)
4186 return AP.OutStreamer->emitFill(Bytes, Value);
4187 }
4188
4189 // If this can be emitted with .ascii/.asciz, emit it as such.
4190 if (CDS->isString())
4191 return AP.OutStreamer->emitBytes(CDS->getAsString());
4192
4193 // Otherwise, emit the values in successive locations.
4194 uint64_t ElementByteSize = CDS->getElementByteSize();
4195 if (isa<IntegerType>(CDS->getElementType()) ||
4196 isa<ByteType>(CDS->getElementType())) {
4197 for (uint64_t I = 0, E = CDS->getNumElements(); I != E; ++I) {
4198 emitGlobalAliasInline(AP, ElementByteSize * I, AliasList);
4199 if (AP.isVerbose())
4200 AP.OutStreamer->getCommentOS()
4201 << format("0x%" PRIx64 "\n", CDS->getElementAsInteger(I));
4202 AP.OutStreamer->emitIntValue(CDS->getElementAsInteger(I),
4203 ElementByteSize);
4204 }
4205 } else {
4206 Type *ET = CDS->getElementType();
4207 for (uint64_t I = 0, E = CDS->getNumElements(); I != E; ++I) {
4208 emitGlobalAliasInline(AP, ElementByteSize * I, AliasList);
4210 }
4211 }
4212
4213 unsigned Size = DL.getTypeAllocSize(CDS->getType());
4214 unsigned EmittedSize =
4215 DL.getTypeAllocSize(CDS->getElementType()) * CDS->getNumElements();
4216 assert(EmittedSize <= Size && "Size cannot be less than EmittedSize!");
4217 if (unsigned Padding = Size - EmittedSize)
4218 AP.OutStreamer->emitZeros(Padding);
4219}
4220
4222 const ConstantArray *CA, AsmPrinter &AP,
4223 const Constant *BaseCV, uint64_t Offset,
4224 AsmPrinter::AliasMapTy *AliasList) {
4225 // See if we can aggregate some values. Make sure it can be
4226 // represented as a series of bytes of the constant value.
4227 int Value = isRepeatedByteSequence(CA, DL);
4228
4229 if (Value != -1) {
4230 uint64_t Bytes = DL.getTypeAllocSize(CA->getType());
4231 AP.OutStreamer->emitFill(Bytes, Value);
4232 } else {
4233 for (unsigned I = 0, E = CA->getNumOperands(); I != E; ++I) {
4234 emitGlobalConstantImpl(DL, CA->getOperand(I), AP, BaseCV, Offset,
4235 AliasList);
4236 Offset += DL.getTypeAllocSize(CA->getOperand(I)->getType());
4237 }
4238 }
4239}
4240
4241static void emitGlobalConstantLargeInt(const ConstantInt *CI, AsmPrinter &AP);
4242
4243static void emitGlobalConstantVector(const DataLayout &DL, const Constant *CV,
4244 AsmPrinter &AP,
4245 AsmPrinter::AliasMapTy *AliasList) {
4246 uint64_t AllocSize = DL.getTypeAllocSize(CV->getType());
4247
4248 if (CV->isNullValue())
4249 return AP.OutStreamer->emitZeros(AllocSize);
4250
4251 auto *VTy = cast<FixedVectorType>(CV->getType());
4252 Type *ElementType = VTy->getElementType();
4253 uint64_t ElementSizeInBits = DL.getTypeSizeInBits(ElementType);
4254 uint64_t ElementAllocSizeInBits = DL.getTypeAllocSizeInBits(ElementType);
4255 uint64_t EmittedSize;
4256 if (ElementSizeInBits != ElementAllocSizeInBits) {
4257 // If the allocation size of an element is different from the size in bits,
4258 // printing each element separately will insert incorrect padding.
4259 //
4260 // The general algorithm here is complicated; instead of writing it out
4261 // here, just use the existing code in ConstantFolding.
4262 Type *IntT =
4263 IntegerType::get(CV->getContext(), DL.getTypeSizeInBits(CV->getType()));
4265 ConstantExpr::getBitCast(const_cast<Constant *>(CV), IntT), DL));
4266 if (!CI) {
4268 "Cannot lower vector global with unusual element type");
4269 }
4270 emitGlobalAliasInline(AP, 0, AliasList);
4272 EmittedSize = DL.getTypeStoreSize(CV->getType());
4273 } else {
4274 for (unsigned I = 0, E = VTy->getNumElements(); I != E; ++I) {
4275 emitGlobalAliasInline(AP, AllocSize * I, AliasList);
4277 }
4278 EmittedSize = DL.getTypeAllocSize(ElementType) * VTy->getNumElements();
4279 }
4280
4281 if (unsigned Padding = AllocSize - EmittedSize)
4282 AP.OutStreamer->emitZeros(Padding);
4283}
4284
4286 const ConstantStruct *CS, AsmPrinter &AP,
4287 const Constant *BaseCV, uint64_t Offset,
4288 AsmPrinter::AliasMapTy *AliasList) {
4289 // Print the fields in successive locations. Pad to align if needed!
4290 uint64_t Size = DL.getTypeAllocSize(CS->getType());
4291 const StructLayout *Layout = DL.getStructLayout(CS->getType());
4292 uint64_t SizeSoFar = 0;
4293 for (unsigned I = 0, E = CS->getNumOperands(); I != E; ++I) {
4294 const Constant *Field = CS->getOperand(I);
4295
4296 // Print the actual field value.
4297 emitGlobalConstantImpl(DL, Field, AP, BaseCV, Offset + SizeSoFar,
4298 AliasList);
4299
4300 // Check if padding is needed and insert one or more 0s.
4301 uint64_t FieldSize = DL.getTypeAllocSize(Field->getType());
4302 uint64_t PadSize = ((I == E - 1 ? Size : Layout->getElementOffset(I + 1)) -
4303 Layout->getElementOffset(I)) -
4304 FieldSize;
4305 SizeSoFar += FieldSize + PadSize;
4306
4307 // Insert padding - this may include padding to increase the size of the
4308 // current field up to the ABI size (if the struct is not packed) as well
4309 // as padding to ensure that the next field starts at the right offset.
4310 AP.OutStreamer->emitZeros(PadSize);
4311 }
4312 assert(SizeSoFar == Layout->getSizeInBytes() &&
4313 "Layout of constant struct may be incorrect!");
4314}
4315
4316static void emitGlobalConstantFP(APFloat APF, Type *ET, AsmPrinter &AP) {
4317 assert(ET && "Unknown float type");
4318 APInt API = APF.bitcastToAPInt();
4319
4320 // First print a comment with what we think the original floating-point value
4321 // should have been.
4322 if (AP.isVerbose()) {
4323 SmallString<8> StrVal;
4324 APF.toString(StrVal);
4325 ET->print(AP.OutStreamer->getCommentOS());
4326 AP.OutStreamer->getCommentOS() << ' ' << StrVal << '\n';
4327 }
4328
4329 // Now iterate through the APInt chunks, emitting them in endian-correct
4330 // order, possibly with a smaller chunk at beginning/end (e.g. for x87 80-bit
4331 // floats).
4332 unsigned NumBytes = API.getBitWidth() / 8;
4333 unsigned TrailingBytes = NumBytes % sizeof(uint64_t);
4334 const uint64_t *p = API.getRawData();
4335
4336 // PPC's long double has odd notions of endianness compared to how LLVM
4337 // handles it: p[0] goes first for *big* endian on PPC.
4338 if (AP.getDataLayout().isBigEndian() && !ET->isPPC_FP128Ty()) {
4339 int Chunk = API.getNumWords() - 1;
4340
4341 if (TrailingBytes)
4342 AP.OutStreamer->emitIntValueInHexWithPadding(p[Chunk--], TrailingBytes);
4343
4344 for (; Chunk >= 0; --Chunk)
4345 AP.OutStreamer->emitIntValueInHexWithPadding(p[Chunk], sizeof(uint64_t));
4346 } else {
4347 unsigned Chunk;
4348 for (Chunk = 0; Chunk < NumBytes / sizeof(uint64_t); ++Chunk)
4349 AP.OutStreamer->emitIntValueInHexWithPadding(p[Chunk], sizeof(uint64_t));
4350
4351 if (TrailingBytes)
4352 AP.OutStreamer->emitIntValueInHexWithPadding(p[Chunk], TrailingBytes);
4353 }
4354
4355 // Emit the tail padding for the long double.
4356 const DataLayout &DL = AP.getDataLayout();
4357 AP.OutStreamer->emitZeros(DL.getTypeAllocSize(ET) - DL.getTypeStoreSize(ET));
4358}
4359
4360static void emitGlobalConstantFP(const ConstantFP *CFP, AsmPrinter &AP) {
4361 emitGlobalConstantFP(CFP->getValueAPF(), CFP->getType(), AP);
4362}
4363
4365 uint64_t TypeStoreSize,
4366 AsmPrinter &AP) {
4367 const DataLayout &DL = AP.getDataLayout();
4368 unsigned BitWidth = Val.getBitWidth();
4369
4370 // Copy the value as we may massage the layout for constants whose bit width
4371 // is not a multiple of 64-bits.
4372 APInt Realigned(Val);
4373 uint64_t ExtraBits = 0;
4374 unsigned ExtraBitsSize = BitWidth & 63;
4375
4376 if (ExtraBitsSize) {
4377 // The bit width of the data is not a multiple of 64-bits.
4378 // The extra bits are expected to be at the end of the chunk of the memory.
4379 // Little endian:
4380 // * Nothing to be done, just record the extra bits to emit.
4381 // Big endian:
4382 // * Record the extra bits to emit.
4383 // * Realign the raw data to emit the chunks of 64-bits.
4384 if (DL.isBigEndian()) {
4385 // Basically the structure of the raw data is a chunk of 64-bits cells:
4386 // 0 1 BitWidth / 64
4387 // [chunk1][chunk2] ... [chunkN].
4388 // The most significant chunk is chunkN and it should be emitted first.
4389 // However, due to the alignment issue chunkN contains useless bits.
4390 // Realign the chunks so that they contain only useful information:
4391 // ExtraBits 0 1 (BitWidth / 64) - 1
4392 // chu[nk1 chu][nk2 chu] ... [nkN-1 chunkN]
4393 ExtraBitsSize = alignTo(ExtraBitsSize, 8);
4394 ExtraBits =
4395 Realigned.getRawData()[0] & (((uint64_t)-1) >> (64 - ExtraBitsSize));
4396 if (BitWidth >= 64)
4397 Realigned.lshrInPlace(ExtraBitsSize);
4398 } else
4399 ExtraBits = Realigned.getRawData()[BitWidth / 64];
4400 }
4401
4402 // We don't expect assemblers to support data directives
4403 // for more than 64 bits, so we emit the data in at most 64-bit
4404 // quantities at a time.
4405 const uint64_t *RawData = Realigned.getRawData();
4406 for (unsigned i = 0, e = BitWidth / 64; i != e; ++i) {
4407 uint64_t ChunkVal = DL.isBigEndian() ? RawData[e - i - 1] : RawData[i];
4408 AP.OutStreamer->emitIntValue(ChunkVal, 8);
4409 }
4410
4411 if (ExtraBitsSize) {
4412 // Emit the extra bits after the 64-bits chunks.
4413
4414 // Emit a directive that fills the expected size.
4415 uint64_t Size = TypeStoreSize - (BitWidth / 64) * 8;
4416 assert(Size && Size * 8 >= ExtraBitsSize &&
4417 (ExtraBits & (((uint64_t)-1) >> (64 - ExtraBitsSize))) ==
4418 ExtraBits &&
4419 "Directive too small for extra bits.");
4420 AP.OutStreamer->emitIntValue(ExtraBits, Size);
4421 }
4422}
4423
4425 AsmPrinter &AP) {
4427 CB->getValue(), AP.getDataLayout().getTypeStoreSize(CB->getType()), AP);
4428}
4429
4434
4435/// Transform a not absolute MCExpr containing a reference to a GOT
4436/// equivalent global, by a target specific GOT pc relative access to the
4437/// final symbol.
4439 const Constant *BaseCst,
4440 uint64_t Offset) {
4441 // The global @foo below illustrates a global that uses a got equivalent.
4442 //
4443 // @bar = global i32 42
4444 // @gotequiv = private unnamed_addr constant i32* @bar
4445 // @foo = i32 trunc (i64 sub (i64 ptrtoint (i32** @gotequiv to i64),
4446 // i64 ptrtoint (i32* @foo to i64))
4447 // to i32)
4448 //
4449 // The cstexpr in @foo is converted into the MCExpr `ME`, where we actually
4450 // check whether @foo is suitable to use a GOTPCREL. `ME` is usually in the
4451 // form:
4452 //
4453 // foo = cstexpr, where
4454 // cstexpr := <gotequiv> - "." + <cst>
4455 // cstexpr := <gotequiv> - (<foo> - <offset from @foo base>) + <cst>
4456 //
4457 // After canonicalization by evaluateAsRelocatable `ME` turns into:
4458 //
4459 // cstexpr := <gotequiv> - <foo> + gotpcrelcst, where
4460 // gotpcrelcst := <offset from @foo base> + <cst>
4461 MCValue MV;
4462 if (!(*ME)->evaluateAsRelocatable(MV, nullptr) || MV.isAbsolute())
4463 return;
4464 const MCSymbol *GOTEquivSym = MV.getAddSym();
4465 if (!GOTEquivSym)
4466 return;
4467
4468 // Check that GOT equivalent symbol is cached.
4469 if (!AP.GlobalGOTEquivs.count(GOTEquivSym))
4470 return;
4471
4472 const GlobalValue *BaseGV = dyn_cast_or_null<GlobalValue>(BaseCst);
4473 if (!BaseGV)
4474 return;
4475
4476 // Check for a valid base symbol
4477 const MCSymbol *BaseSym = AP.getSymbol(BaseGV);
4478 const MCSymbol *SymB = MV.getSubSym();
4479
4480 if (!SymB || BaseSym != SymB)
4481 return;
4482
4483 // Make sure to match:
4484 //
4485 // gotpcrelcst := <offset from @foo base> + <cst>
4486 //
4487 int64_t GOTPCRelCst = Offset + MV.getConstant();
4488 if (!AP.getObjFileLowering().supportGOTPCRelWithOffset() && GOTPCRelCst != 0)
4489 return;
4490
4491 // Emit the GOT PC relative to replace the got equivalent global, i.e.:
4492 //
4493 // bar:
4494 // .long 42
4495 // gotequiv:
4496 // .quad bar
4497 // foo:
4498 // .long gotequiv - "." + <cst>
4499 //
4500 // is replaced by the target specific equivalent to:
4501 //
4502 // bar:
4503 // .long 42
4504 // foo:
4505 // .long bar@GOTPCREL+<gotpcrelcst>
4506 AsmPrinter::GOTEquivUsePair Result = AP.GlobalGOTEquivs[GOTEquivSym];
4507 const GlobalVariable *GV = Result.first;
4508 int NumUses = (int)Result.second;
4509 const GlobalValue *FinalGV = dyn_cast<GlobalValue>(GV->getOperand(0));
4510 const MCSymbol *FinalSym = AP.getSymbol(FinalGV);
4512 FinalGV, FinalSym, MV, Offset, AP.MMI, *AP.OutStreamer);
4513
4514 // Update GOT equivalent usage information
4515 --NumUses;
4516 if (NumUses >= 0)
4517 AP.GlobalGOTEquivs[GOTEquivSym] = std::make_pair(GV, NumUses);
4518}
4519
4520static void emitGlobalConstantImpl(const DataLayout &DL, const Constant *CV,
4521 AsmPrinter &AP, const Constant *BaseCV,
4523 AsmPrinter::AliasMapTy *AliasList) {
4524 assert((!AliasList || AP.TM.getTargetTriple().isOSBinFormatXCOFF()) &&
4525 "AliasList only expected for XCOFF");
4526 emitGlobalAliasInline(AP, Offset, AliasList);
4527 uint64_t Size = DL.getTypeAllocSize(CV->getType());
4528
4529 // Globals with sub-elements such as combinations of arrays and structs
4530 // are handled recursively by emitGlobalConstantImpl. Keep track of the
4531 // constant symbol base and the current position with BaseCV and Offset.
4532 if (!BaseCV && CV->hasOneUse())
4533 BaseCV = dyn_cast<Constant>(CV->user_back());
4534
4536 StructType *structType;
4537 if (AliasList && (structType = llvm::dyn_cast<StructType>(CV->getType()))) {
4538 unsigned numElements = {structType->getNumElements()};
4539 if (numElements != 0) {
4540 // Handle cases of aliases to direct struct elements
4541 const StructLayout *Layout = DL.getStructLayout(structType);
4542 uint64_t SizeSoFar = 0;
4543 for (unsigned int i = 0; i < numElements - 1; ++i) {
4544 uint64_t GapToNext = Layout->getElementOffset(i + 1) - SizeSoFar;
4545 AP.OutStreamer->emitZeros(GapToNext);
4546 SizeSoFar += GapToNext;
4547 emitGlobalAliasInline(AP, Offset + SizeSoFar, AliasList);
4548 }
4549 AP.OutStreamer->emitZeros(Size - SizeSoFar);
4550 return;
4551 }
4552 }
4553 return AP.OutStreamer->emitZeros(Size);
4554 }
4555
4556 if (isa<UndefValue>(CV))
4557 return AP.OutStreamer->emitZeros(Size);
4558
4559 if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
4560 if (isa<VectorType>(CV->getType()))
4561 return emitGlobalConstantVector(DL, CV, AP, AliasList);
4562
4563 const uint64_t StoreSize = DL.getTypeStoreSize(CV->getType());
4564 if (StoreSize <= 8) {
4565 if (AP.isVerbose())
4566 AP.OutStreamer->getCommentOS()
4567 << format("0x%" PRIx64 "\n", CI->getZExtValue());
4568 AP.OutStreamer->emitIntValue(CI->getZExtValue(), StoreSize);
4569 } else {
4571 }
4572
4573 // Emit tail padding if needed
4574 if (Size != StoreSize)
4575 AP.OutStreamer->emitZeros(Size - StoreSize);
4576
4577 return;
4578 }
4579
4580 if (const ConstantByte *CB = dyn_cast<ConstantByte>(CV)) {
4581 if (isa<VectorType>(CV->getType()))
4582 return emitGlobalConstantVector(DL, CV, AP, AliasList);
4583
4584 const uint64_t StoreSize = DL.getTypeStoreSize(CV->getType());
4585 if (StoreSize <= 8) {
4586 if (AP.isVerbose())
4587 AP.OutStreamer->getCommentOS()
4588 << format("0x%" PRIx64 "\n", CB->getZExtValue());
4589 AP.OutStreamer->emitIntValue(CB->getZExtValue(), StoreSize);
4590 } else {
4592 }
4593
4594 // Emit tail padding if needed
4595 if (Size != StoreSize)
4596 AP.OutStreamer->emitZeros(Size - StoreSize);
4597
4598 return;
4599 }
4600
4601 if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) {
4602 if (isa<VectorType>(CV->getType()))
4603 return emitGlobalConstantVector(DL, CV, AP, AliasList);
4604 else
4605 return emitGlobalConstantFP(CFP, AP);
4606 }
4607
4608 if (isa<ConstantPointerNull>(CV)) {
4609 AP.OutStreamer->emitIntValue(0, Size);
4610 return;
4611 }
4612
4614 return emitGlobalConstantDataSequential(DL, CDS, AP, AliasList);
4615
4616 if (const ConstantArray *CVA = dyn_cast<ConstantArray>(CV))
4617 return emitGlobalConstantArray(DL, CVA, AP, BaseCV, Offset, AliasList);
4618
4619 if (const ConstantStruct *CVS = dyn_cast<ConstantStruct>(CV))
4620 return emitGlobalConstantStruct(DL, CVS, AP, BaseCV, Offset, AliasList);
4621
4622 if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV)) {
4623 // Look through bitcasts, which might not be able to be MCExpr'ized (e.g. of
4624 // vectors).
4625 if (CE->getOpcode() == Instruction::BitCast)
4626 return emitGlobalConstantImpl(DL, CE->getOperand(0), AP);
4627
4628 if (Size > 8) {
4629 // If the constant expression's size is greater than 64-bits, then we have
4630 // to emit the value in chunks. Try to constant fold the value and emit it
4631 // that way.
4632 Constant *New = ConstantFoldConstant(CE, DL);
4633 if (New != CE)
4634 return emitGlobalConstantImpl(DL, New, AP);
4635 }
4636 }
4637
4638 if (isa<ConstantVector>(CV))
4639 return emitGlobalConstantVector(DL, CV, AP, AliasList);
4640
4641 // Otherwise, it must be a ConstantExpr. Lower it to an MCExpr, then emit it
4642 // thread the streamer with EmitValue.
4643 const MCExpr *ME = AP.lowerConstant(CV, BaseCV, Offset);
4644
4645 // Since lowerConstant already folded and got rid of all IR pointer and
4646 // integer casts, detect GOT equivalent accesses by looking into the MCExpr
4647 // directly.
4649 handleIndirectSymViaGOTPCRel(AP, &ME, BaseCV, Offset);
4650
4651 AP.OutStreamer->emitValue(ME, Size);
4652}
4653
4654/// EmitGlobalConstant - Print a general LLVM constant to the .s file.
4656 AliasMapTy *AliasList) {
4657 uint64_t Size = DL.getTypeAllocSize(CV->getType());
4658 if (Size)
4659 emitGlobalConstantImpl(DL, CV, *this, nullptr, 0, AliasList);
4660 else if (MAI.hasSubsectionsViaSymbols()) {
4661 // If the global has zero size, emit a single byte so that two labels don't
4662 // look like they are at the same location.
4663 OutStreamer->emitIntValue(0, 1);
4664 }
4665 if (!AliasList)
4666 return;
4667 // TODO: These remaining aliases are not emitted in the correct location. Need
4668 // to handle the case where the alias offset doesn't refer to any sub-element.
4669 for (auto &AliasPair : *AliasList) {
4670 for (const GlobalAlias *GA : AliasPair.second)
4671 OutStreamer->emitLabel(getSymbol(GA));
4672 }
4673}
4674
4676 // Target doesn't support this yet!
4677 llvm_unreachable("Target does not support EmitMachineConstantPoolValue");
4678}
4679
4681 if (Offset > 0)
4682 OS << '+' << Offset;
4683 else if (Offset < 0)
4684 OS << Offset;
4685}
4686
4687void AsmPrinter::emitNops(unsigned N) {
4688 MCInst Nop = MF->getSubtarget().getInstrInfo()->getNop();
4689 for (; N; --N)
4691}
4692
4693//===----------------------------------------------------------------------===//
4694// Symbol Lowering Routines.
4695//===----------------------------------------------------------------------===//
4696
4698 return OutContext.createTempSymbol(Name, true);
4699}
4700
4702 return const_cast<AsmPrinter *>(this)->getAddrLabelSymbol(
4703 BA->getBasicBlock());
4704}
4705
4707 return const_cast<AsmPrinter *>(this)->getAddrLabelSymbol(BB);
4708}
4709
4713
4714/// GetCPISymbol - Return the symbol for the specified constant pool entry.
4715MCSymbol *AsmPrinter::GetCPISymbol(unsigned CPID) const {
4716 if (getSubtargetInfo().getTargetTriple().isWindowsMSVCEnvironment() ||
4717 getSubtargetInfo().getTargetTriple().isUEFI()) {
4718 const MachineConstantPoolEntry &CPE =
4719 MF->getConstantPool()->getConstants()[CPID];
4720 if (!CPE.isMachineConstantPoolEntry()) {
4721 const DataLayout &DL = MF->getDataLayout();
4722 SectionKind Kind = CPE.getSectionKind(&DL);
4723 const Constant *C = CPE.Val.ConstVal;
4724 Align Alignment = CPE.Alignment;
4726 DL, Kind, C, Alignment, &MF->getFunction());
4727 if (S && TM.getTargetTriple().isOSBinFormatCOFF()) {
4728 if (MCSymbol *Sym =
4729 static_cast<const MCSectionCOFF *>(S)->getCOMDATSymbol()) {
4730 if (Sym->isUndefined())
4731 OutStreamer->emitSymbolAttribute(Sym, MCSA_Global);
4732 return Sym;
4733 }
4734 }
4735 }
4736 }
4737
4738 const DataLayout &DL = getDataLayout();
4739 return OutContext.getOrCreateSymbol(Twine(DL.getInternalSymbolPrefix()) +
4740 "CPI" + Twine(getFunctionNumber()) + "_" +
4741 Twine(CPID));
4742}
4743
4744/// GetJTISymbol - Return the symbol for the specified jump table entry.
4745MCSymbol *AsmPrinter::GetJTISymbol(unsigned JTID, bool isLinkerPrivate) const {
4746 return MF->getJTISymbol(JTID, OutContext, isLinkerPrivate);
4747}
4748
4749/// GetJTSetSymbol - Return the symbol for the specified jump table .set
4750/// FIXME: privatize to AsmPrinter.
4751MCSymbol *AsmPrinter::GetJTSetSymbol(unsigned UID, unsigned MBBID) const {
4752 const DataLayout &DL = getDataLayout();
4753 return OutContext.getOrCreateSymbol(Twine(DL.getInternalSymbolPrefix()) +
4754 Twine(getFunctionNumber()) + "_" +
4755 Twine(UID) + "_set_" + Twine(MBBID));
4756}
4757
4762
4763/// Return the MCSymbol for the specified ExternalSymbol.
4765 SmallString<60> NameStr;
4767 return OutContext.getOrCreateSymbol(NameStr);
4768}
4769
4770/// PrintParentLoopComment - Print comments about parent loops of this one.
4772 unsigned FunctionNumber) {
4773 if (!Loop) return;
4774 PrintParentLoopComment(OS, Loop->getParentLoop(), FunctionNumber);
4775 OS.indent(Loop->getLoopDepth()*2)
4776 << "Parent Loop BB" << FunctionNumber << "_"
4777 << Loop->getHeader()->getNumber()
4778 << " Depth=" << Loop->getLoopDepth() << '\n';
4779}
4780
4781/// PrintChildLoopComment - Print comments about child loops within
4782/// the loop for this basic block, with nesting.
4784 unsigned FunctionNumber) {
4785 // Add child loop information
4786 for (const MachineLoop *CL : *Loop) {
4787 OS.indent(CL->getLoopDepth()*2)
4788 << "Child Loop BB" << FunctionNumber << "_"
4789 << CL->getHeader()->getNumber() << " Depth " << CL->getLoopDepth()
4790 << '\n';
4791 PrintChildLoopComment(OS, CL, FunctionNumber);
4792 }
4793}
4794
4795/// emitBasicBlockLoopComments - Pretty-print comments for basic blocks.
4797 const MachineLoopInfo *LI,
4798 const AsmPrinter &AP) {
4799 // Add loop depth information
4800 const MachineLoop *Loop = LI->getLoopFor(&MBB);
4801 if (!Loop) return;
4802
4803 MachineBasicBlock *Header = Loop->getHeader();
4804 assert(Header && "No header for loop");
4805
4806 // If this block is not a loop header, just print out what is the loop header
4807 // and return.
4808 if (Header != &MBB) {
4809 AP.OutStreamer->AddComment(" in Loop: Header=BB" +
4810 Twine(AP.getFunctionNumber())+"_" +
4812 " Depth="+Twine(Loop->getLoopDepth()));
4813 return;
4814 }
4815
4816 // Otherwise, it is a loop header. Print out information about child and
4817 // parent loops.
4818 raw_ostream &OS = AP.OutStreamer->getCommentOS();
4819
4821
4822 OS << "=>";
4823 OS.indent(Loop->getLoopDepth()*2-2);
4824
4825 OS << "This ";
4826 if (Loop->isInnermost())
4827 OS << "Inner ";
4828 OS << "Loop Header: Depth=" + Twine(Loop->getLoopDepth()) << '\n';
4829
4831}
4832
4833/// emitBasicBlockStart - This method prints the label for the specified
4834/// MachineBasicBlock, an alignment (if present) and a comment describing
4835/// it if appropriate.
4837 // End the previous funclet and start a new one.
4838 if (MBB.isEHFuncletEntry()) {
4839 for (auto &Handler : Handlers) {
4840 Handler->endFunclet();
4841 Handler->beginFunclet(MBB);
4842 }
4843 for (auto &Handler : EHHandlers) {
4844 Handler->endFunclet();
4845 Handler->beginFunclet(MBB);
4846 }
4847 }
4848
4849 // Switch to a new section if this basic block must begin a section. The
4850 // entry block is always placed in the function section and is handled
4851 // separately.
4852 if (MBB.isBeginSection() && !MBB.isEntryBlock()) {
4853 OutStreamer->switchSection(
4854 getObjFileLowering().getSectionForMachineBasicBlock(MF->getFunction(),
4855 MBB, TM));
4856 CurrentSectionBeginSym = MBB.getSymbol();
4857 }
4858
4859 for (auto &Handler : Handlers)
4860 Handler->beginCodeAlignment(MBB);
4861
4862 // Emit an alignment directive for this block, if needed.
4863 const Align Alignment = MBB.getAlignment();
4864 if (Alignment != Align(1))
4865 emitAlignment(Alignment, nullptr, MBB.getMaxBytesForAlignment());
4866
4867 // If the block has its address taken, emit any labels that were used to
4868 // reference the block. It is possible that there is more than one label
4869 // here, because multiple LLVM BB's may have been RAUW'd to this block after
4870 // the references were generated.
4871 if (MBB.isIRBlockAddressTaken()) {
4872 if (isVerbose())
4873 OutStreamer->AddComment("Block address taken");
4874
4875 BasicBlock *BB = MBB.getAddressTakenIRBlock();
4876 assert(BB && BB->hasAddressTaken() && "Missing BB");
4877 for (MCSymbol *Sym : getAddrLabelSymbolToEmit(BB))
4878 OutStreamer->emitLabel(Sym);
4879 } else if (isVerbose() && MBB.isMachineBlockAddressTaken()) {
4880 OutStreamer->AddComment("Block address taken");
4881 } else if (isVerbose() && MBB.isInlineAsmBrIndirectTarget()) {
4882 OutStreamer->AddComment("Inline asm indirect target");
4883 }
4884
4885 // Print some verbose block comments.
4886 if (isVerbose()) {
4887 if (const BasicBlock *BB = MBB.getBasicBlock()) {
4888 if (BB->hasName()) {
4889 BB->printAsOperand(OutStreamer->getCommentOS(),
4890 /*PrintType=*/false, BB->getModule());
4891 OutStreamer->getCommentOS() << '\n';
4892 }
4893 }
4894
4895 assert(MLI != nullptr && "MachineLoopInfo should has been computed");
4897 }
4898
4899 // Print the main label for the block.
4900 if (shouldEmitLabelForBasicBlock(MBB)) {
4901 if (isVerbose() && MBB.hasLabelMustBeEmitted())
4902 OutStreamer->AddComment("Label of block must be emitted");
4903 OutStreamer->emitLabel(MBB.getSymbol());
4904 } else {
4905 if (isVerbose()) {
4906 // NOTE: Want this comment at start of line, don't emit with AddComment.
4907 OutStreamer->emitRawComment(" %bb." + Twine(MBB.getNumber()) + ":",
4908 false);
4909 }
4910 }
4911
4912 if (MBB.isEHContTarget() &&
4913 MAI.getExceptionHandlingType() == ExceptionHandling::WinEH) {
4914 OutStreamer->emitLabel(MBB.getEHContSymbol());
4915 }
4916
4917 // With BB sections, each basic block must handle CFI information on its own
4918 // if it begins a section (Entry block call is handled separately, next to
4919 // beginFunction).
4920 if (MBB.isBeginSection() && !MBB.isEntryBlock()) {
4921 for (auto &Handler : Handlers)
4922 Handler->beginBasicBlockSection(MBB);
4923 for (auto &Handler : EHHandlers)
4924 Handler->beginBasicBlockSection(MBB);
4925 }
4926}
4927
4929 // Check if CFI information needs to be updated for this MBB with basic block
4930 // sections.
4931 if (MBB.isEndSection()) {
4932 for (auto &Handler : Handlers)
4933 Handler->endBasicBlockSection(MBB);
4934 for (auto &Handler : EHHandlers)
4935 Handler->endBasicBlockSection(MBB);
4936 }
4937}
4938
4939void AsmPrinter::emitVisibility(MCSymbol *Sym, unsigned Visibility,
4940 bool IsDefinition) const {
4942
4943 switch (Visibility) {
4944 default: break;
4946 if (IsDefinition)
4947 Attr = MAI.getHiddenVisibilityAttr();
4948 else
4949 Attr = MAI.getHiddenDeclarationVisibilityAttr();
4950 break;
4952 Attr = MAI.getProtectedVisibilityAttr();
4953 break;
4954 }
4955
4956 if (Attr != MCSA_Invalid)
4957 OutStreamer->emitSymbolAttribute(Sym, Attr);
4958}
4959
4960bool AsmPrinter::shouldEmitLabelForBasicBlock(
4961 const MachineBasicBlock &MBB) const {
4962 // With `-fbasic-block-sections=`, a label is needed for every non-entry block
4963 // in the labels mode (option `=labels`) and every section beginning in the
4964 // sections mode (`=all` and `=list=`).
4965 if ((MF->getTarget().Options.BBAddrMap || MBB.isBeginSection()) &&
4966 !MBB.isEntryBlock())
4967 return true;
4968 // A label is needed for any block with at least one predecessor (when that
4969 // predecessor is not the fallthrough predecessor, or if it is an EH funclet
4970 // entry, or if a label is forced).
4971 return !MBB.pred_empty() &&
4972 (!isBlockOnlyReachableByFallthrough(&MBB) || MBB.isEHFuncletEntry() ||
4973 MBB.hasLabelMustBeEmitted());
4974}
4975
4976/// isBlockOnlyReachableByFallthough - Return true if the basic block has
4977/// exactly one predecessor and the control transfer mechanism between
4978/// the predecessor and this block is a fall-through.
4981 // If this is a landing pad, it isn't a fall through. If it has no preds,
4982 // then nothing falls through to it.
4983 if (MBB->isEHPad() || MBB->pred_empty())
4984 return false;
4985
4986 // If there isn't exactly one predecessor, it can't be a fall through.
4987 if (MBB->pred_size() > 1)
4988 return false;
4989
4990 // The predecessor has to be immediately before this block.
4991 MachineBasicBlock *Pred = *MBB->pred_begin();
4992 if (!Pred->isLayoutSuccessor(MBB))
4993 return false;
4994
4995 // If the block is completely empty, then it definitely does fall through.
4996 if (Pred->empty())
4997 return true;
4998
4999 // Check the terminators in the previous blocks
5000 for (const auto &MI : Pred->terminators()) {
5001 // If it is not a simple branch, we are in a table somewhere.
5002 if (!MI.isBranch() || MI.isIndirectBranch())
5003 return false;
5004
5005 // If we are the operands of one of the branches, this is not a fall
5006 // through. Note that targets with delay slots will usually bundle
5007 // terminators with the delay slot instruction.
5008 for (ConstMIBundleOperands OP(MI); OP.isValid(); ++OP) {
5009 if (OP->isJTI())
5010 return false;
5011 if (OP->isMBB() && OP->getMBB() == MBB)
5012 return false;
5013 }
5014 }
5015
5016 return true;
5017}
5018
5019GCMetadataPrinter *AsmPrinter::getOrCreateGCPrinter(GCStrategy &S) {
5020 if (!S.usesMetadata())
5021 return nullptr;
5022
5023 auto [GCPI, Inserted] = GCMetadataPrinters.try_emplace(&S);
5024 if (!Inserted)
5025 return GCPI->second.get();
5026
5027 auto Name = S.getName();
5028
5029 for (const GCMetadataPrinterRegistry::entry &GCMetaPrinter :
5031 if (Name == GCMetaPrinter.getName()) {
5032 std::unique_ptr<GCMetadataPrinter> GMP = GCMetaPrinter.instantiate();
5033 GMP->S = &S;
5034 GCPI->second = std::move(GMP);
5035 return GCPI->second.get();
5036 }
5037
5038 report_fatal_error("no GCMetadataPrinter registered for GC: " + Twine(Name));
5039}
5040
5042 std::unique_ptr<AsmPrinterHandler> Handler) {
5043 Handlers.insert(Handlers.begin(), std::move(Handler));
5045}
5046
5047/// Pin vtables to this file.
5049
5051
5052// In the binary's "xray_instr_map" section, an array of these function entries
5053// describes each instrumentation point. When XRay patches your code, the index
5054// into this table will be given to your handler as a patch point identifier.
5056 auto Kind8 = static_cast<uint8_t>(Kind);
5057 Out->emitBinaryData(StringRef(reinterpret_cast<const char *>(&Kind8), 1));
5058 Out->emitBinaryData(
5059 StringRef(reinterpret_cast<const char *>(&AlwaysInstrument), 1));
5060 Out->emitBinaryData(StringRef(reinterpret_cast<const char *>(&Version), 1));
5061 auto Padding = (4 * Bytes) - ((2 * Bytes) + 3);
5062 assert(Padding >= 0 && "Instrumentation map entry > 4 * Word Size");
5063 Out->emitZeros(Padding);
5064}
5065
5067 if (Sleds.empty())
5068 return;
5069
5070 auto PrevSection = OutStreamer->getCurrentSectionOnly();
5071 const Function &F = MF->getFunction();
5072 MCSection *InstMap = nullptr;
5073 MCSection *FnSledIndex = nullptr;
5074 const Triple &TT = TM.getTargetTriple();
5075 // Use PC-relative addresses on all targets.
5076 if (TT.isOSBinFormatELF()) {
5077 auto LinkedToSym = static_cast<const MCSymbolELF *>(CurrentFnSym);
5078 auto Flags = ELF::SHF_ALLOC | ELF::SHF_LINK_ORDER;
5079 StringRef GroupName;
5080 if (F.hasComdat()) {
5081 Flags |= ELF::SHF_GROUP;
5082 GroupName = F.getComdat()->getName();
5083 }
5084 InstMap = OutContext.getELFSection("xray_instr_map", ELF::SHT_PROGBITS,
5085 Flags, 0, GroupName, F.hasComdat(),
5086 MCSection::NonUniqueID, LinkedToSym);
5087
5088 if (TM.Options.XRayFunctionIndex)
5089 FnSledIndex = OutContext.getELFSection(
5090 "xray_fn_idx", ELF::SHT_PROGBITS, Flags, 0, GroupName, F.hasComdat(),
5091 MCSection::NonUniqueID, LinkedToSym);
5092 } else if (MF->getSubtarget().getTargetTriple().isOSBinFormatMachO()) {
5093 InstMap = OutContext.getMachOSection("__DATA", "xray_instr_map",
5096 if (TM.Options.XRayFunctionIndex)
5097 FnSledIndex = OutContext.getMachOSection("__DATA", "xray_fn_idx",
5100 } else {
5101 llvm_unreachable("Unsupported target");
5102 }
5103
5104 auto WordSizeBytes = MAI.getCodePointerSize();
5105
5106 // Now we switch to the instrumentation map section. Because this is done
5107 // per-function, we are able to create an index entry that will represent the
5108 // range of sleds associated with a function.
5109 auto &Ctx = OutContext;
5110 MCSymbol *SledsStart =
5111 OutContext.createLinkerPrivateSymbol("xray_sleds_start");
5112 OutStreamer->switchSection(InstMap);
5113 OutStreamer->emitLabel(SledsStart);
5114 for (const auto &Sled : Sleds) {
5115 MCSymbol *Dot = Ctx.createTempSymbol();
5116 OutStreamer->emitLabel(Dot);
5117 OutStreamer->emitValueImpl(
5119 MCSymbolRefExpr::create(Dot, Ctx), Ctx),
5120 WordSizeBytes);
5121 OutStreamer->emitValueImpl(
5125 MCConstantExpr::create(WordSizeBytes, Ctx),
5126 Ctx),
5127 Ctx),
5128 WordSizeBytes);
5129 Sled.emit(WordSizeBytes, OutStreamer.get());
5130 }
5131 MCSymbol *SledsEnd = OutContext.createTempSymbol("xray_sleds_end", true);
5132 OutStreamer->emitLabel(SledsEnd);
5133
5134 // We then emit a single entry in the index per function. We use the symbols
5135 // that bound the instrumentation map as the range for a specific function.
5136 // Each entry contains 2 words and needs to be word-aligned.
5137 if (FnSledIndex) {
5138 OutStreamer->switchSection(FnSledIndex);
5139 OutStreamer->emitValueToAlignment(Align(WordSizeBytes));
5140 // For Mach-O, use an "l" symbol as the atom of this subsection. The label
5141 // difference uses a SUBTRACTOR external relocation which references the
5142 // symbol.
5143 MCSymbol *Dot = Ctx.createLinkerPrivateSymbol("xray_fn_idx");
5144 OutStreamer->emitLabel(Dot);
5145 OutStreamer->emitValueImpl(
5147 MCSymbolRefExpr::create(Dot, Ctx), Ctx),
5148 WordSizeBytes);
5149 OutStreamer->emitValueImpl(MCConstantExpr::create(Sleds.size(), Ctx),
5150 WordSizeBytes);
5151 OutStreamer->switchSection(PrevSection);
5152 }
5153 Sleds.clear();
5154}
5155
5157 SledKind Kind, uint8_t Version) {
5158 const Function &F = MI.getMF()->getFunction();
5159 auto Attr = F.getFnAttribute("function-instrument");
5160 bool LogArgs = F.hasFnAttribute("xray-log-args");
5161 bool AlwaysInstrument =
5162 Attr.isStringAttribute() && Attr.getValueAsString() == "xray-always";
5163 if (Kind == SledKind::FUNCTION_ENTER && LogArgs)
5165 Sleds.emplace_back(XRayFunctionEntry{Sled, CurrentFnSym, Kind,
5166 AlwaysInstrument, &F, Version});
5167}
5168
5170 const Function &F = MF->getFunction();
5171 unsigned PatchableFunctionPrefix =
5172 F.getFnAttributeAsParsedInteger("patchable-function-prefix");
5173 unsigned PatchableFunctionEntry =
5174 F.getFnAttributeAsParsedInteger("patchable-function-entry");
5175 if (!PatchableFunctionPrefix && !PatchableFunctionEntry)
5176 return;
5177 const unsigned PointerSize = getPointerSize();
5178 if (TM.getTargetTriple().isOSBinFormatELF()) {
5179 auto Flags = ELF::SHF_WRITE | ELF::SHF_ALLOC;
5180 const MCSymbolELF *LinkedToSym = nullptr;
5181 StringRef GroupName, SectionName;
5182
5183 if (F.hasFnAttribute("patchable-function-entry-section"))
5184 SectionName = F.getFnAttribute("patchable-function-entry-section")
5185 .getValueAsString();
5186 if (SectionName.empty())
5187 SectionName = "__patchable_function_entries";
5188
5189 // GNU as < 2.35 did not support section flag 'o'. GNU ld < 2.36 did not
5190 // support mixed SHF_LINK_ORDER and non-SHF_LINK_ORDER sections.
5191 if (MAI.useIntegratedAssembler() || MAI.binutilsIsAtLeast(2, 36)) {
5192 Flags |= ELF::SHF_LINK_ORDER;
5193 if (F.hasComdat()) {
5194 Flags |= ELF::SHF_GROUP;
5195 GroupName = F.getComdat()->getName();
5196 }
5197 LinkedToSym = static_cast<const MCSymbolELF *>(CurrentFnSym);
5198 }
5199 OutStreamer->switchSection(OutContext.getELFSection(
5200 SectionName, ELF::SHT_PROGBITS, Flags, 0, GroupName, F.hasComdat(),
5201 MCSection::NonUniqueID, LinkedToSym));
5202 emitAlignment(Align(PointerSize));
5203 OutStreamer->emitSymbolValue(CurrentPatchableFunctionEntrySym, PointerSize);
5204 }
5205}
5206
5208 return OutStreamer->getContext().getDwarfVersion();
5209}
5210
5212 OutStreamer->getContext().setDwarfVersion(Version);
5213}
5214
5216 return OutStreamer->getContext().getDwarfFormat() == dwarf::DWARF64;
5217}
5218
5221 OutStreamer->getContext().getDwarfFormat());
5222}
5223
5225 return {getDwarfVersion(), uint8_t(MAI.getCodePointerSize()),
5226 OutStreamer->getContext().getDwarfFormat(),
5228}
5229
5232 OutStreamer->getContext().getDwarfFormat());
5233}
5234
5235std::tuple<const MCSymbol *, uint64_t, const MCSymbol *,
5238 const MCSymbol *BranchLabel) const {
5239 const auto TLI = MF->getSubtarget().getTargetLowering();
5240 const auto BaseExpr =
5241 TLI->getPICJumpTableRelocBaseExpr(MF, JTI, MMI->getContext());
5242 const auto Base = &cast<MCSymbolRefExpr>(BaseExpr)->getSymbol();
5243
5244 // By default, for the architectures that support CodeView,
5245 // EK_LabelDifference32 is implemented as an Int32 from the base address.
5246 return std::make_tuple(Base, 0, BranchLabel,
5248}
5249
5251 const Triple &TT = TM.getTargetTriple();
5252 assert(TT.isOSBinFormatCOFF());
5253
5254 bool IsTargetArm64EC = TT.isWindowsArm64EC();
5256 SmallVector<MCSymbol *> FuncOverrideDefaultSymbols;
5257 bool SwitchedToDirectiveSection = false;
5258 for (const Function &F : M.functions()) {
5259 if (F.hasFnAttribute("loader-replaceable")) {
5260 if (!SwitchedToDirectiveSection) {
5261 OutStreamer->switchSection(
5262 OutContext.getObjectFileInfo()->getDrectveSection());
5263 SwitchedToDirectiveSection = true;
5264 }
5265
5266 StringRef Name = F.getName();
5267
5268 // For hybrid-patchable targets, strip the prefix so that we can mark
5269 // the real function as replaceable.
5270 if (IsTargetArm64EC && Name.ends_with(HybridPatchableTargetSuffix)) {
5271 Name = Name.drop_back(HybridPatchableTargetSuffix.size());
5272 }
5273
5274 MCSymbol *FuncOverrideSymbol =
5275 MMI->getContext().getOrCreateSymbol(Name + "_$fo$");
5276 OutStreamer->beginCOFFSymbolDef(FuncOverrideSymbol);
5277 OutStreamer->emitCOFFSymbolStorageClass(COFF::IMAGE_SYM_CLASS_EXTERNAL);
5278 OutStreamer->emitCOFFSymbolType(COFF::IMAGE_SYM_DTYPE_NULL);
5279 OutStreamer->endCOFFSymbolDef();
5280
5281 MCSymbol *FuncOverrideDefaultSymbol =
5282 MMI->getContext().getOrCreateSymbol(Name + "_$fo_default$");
5283 OutStreamer->beginCOFFSymbolDef(FuncOverrideDefaultSymbol);
5284 OutStreamer->emitCOFFSymbolStorageClass(COFF::IMAGE_SYM_CLASS_EXTERNAL);
5285 OutStreamer->emitCOFFSymbolType(COFF::IMAGE_SYM_DTYPE_NULL);
5286 OutStreamer->endCOFFSymbolDef();
5287 FuncOverrideDefaultSymbols.push_back(FuncOverrideDefaultSymbol);
5288
5289 OutStreamer->emitBytes((Twine(" /ALTERNATENAME:") +
5290 FuncOverrideSymbol->getName() + "=" +
5291 FuncOverrideDefaultSymbol->getName())
5292 .toStringRef(Buf));
5293 Buf.clear();
5294 }
5295 }
5296
5297 if (SwitchedToDirectiveSection)
5298 OutStreamer->popSection();
5299
5300 if (FuncOverrideDefaultSymbols.empty())
5301 return;
5302
5303 // MSVC emits the symbols for the default variables pointing at the start of
5304 // the .data section, but doesn't actually allocate any space for them. LLVM
5305 // can't do this, so have all of the variables pointing at a single byte
5306 // instead.
5307 OutStreamer->switchSection(OutContext.getObjectFileInfo()->getDataSection());
5308 for (MCSymbol *Symbol : FuncOverrideDefaultSymbols) {
5309 OutStreamer->emitLabel(Symbol);
5310 }
5311 OutStreamer->emitZeros(1);
5312 OutStreamer->popSection();
5313}
5314
5316 const Triple &TT = TM.getTargetTriple();
5317 assert(TT.isOSBinFormatCOFF());
5318
5319 // Emit an absolute @feat.00 symbol.
5320 MCSymbol *S = MMI->getContext().getOrCreateSymbol(StringRef("@feat.00"));
5321 OutStreamer->beginCOFFSymbolDef(S);
5322 OutStreamer->emitCOFFSymbolStorageClass(COFF::IMAGE_SYM_CLASS_STATIC);
5323 OutStreamer->emitCOFFSymbolType(COFF::IMAGE_SYM_DTYPE_NULL);
5324 OutStreamer->endCOFFSymbolDef();
5325 int64_t Feat00Value = 0;
5326
5327 if (TT.getArch() == Triple::x86) {
5328 // According to the PE-COFF spec, the LSB of this value marks the object
5329 // for "registered SEH". This means that all SEH handler entry points
5330 // must be registered in .sxdata. Use of any unregistered handlers will
5331 // cause the process to terminate immediately. LLVM does not know how to
5332 // register any SEH handlers, so its object files should be safe.
5333 Feat00Value |= COFF::Feat00Flags::SafeSEH;
5334 }
5335
5336 if (M.getControlFlowGuardMode() == ControlFlowGuardMode::Enabled) {
5337 // Object is CFG-aware. Only set if we actually inserted the checks.
5338 Feat00Value |= COFF::Feat00Flags::GuardCF;
5339 }
5340
5341 if (M.getModuleFlag("ehcontguard")) {
5342 // Object also has EHCont.
5343 Feat00Value |= COFF::Feat00Flags::GuardEHCont;
5344 }
5345
5346 if (M.getModuleFlag("ms-kernel")) {
5347 // Object is compiled with /kernel.
5348 Feat00Value |= COFF::Feat00Flags::Kernel;
5349 }
5350
5351 OutStreamer->emitSymbolAttribute(S, MCSA_Global);
5352 OutStreamer->emitAssignment(
5353 S, MCConstantExpr::create(Feat00Value, MMI->getContext()));
5354}
5355
5356namespace llvm {
5357namespace {
5359 MachineFunction &MF) {
5361 MAM.getResult<FunctionAnalysisManagerModuleProxy>(M).getManager();
5364 MF.getFunction())
5365 .getManager();
5366 return MFAM;
5367}
5368} // anonymous namespace
5369
5372 MachineModuleInfo &MMI = MAM.getResult<MachineModuleAnalysis>(M).getMMI();
5373 AsmPrinter.GetMMI = [&MMI]() { return &MMI; };
5374 AsmPrinter.MMI = &MMI;
5375 AsmPrinter.GetORE = [&MAM, &M](MachineFunction &MF) {
5376 return &getMFAM(M, MAM, MF)
5378 };
5379 AsmPrinter.GetMDT = [&MAM, &M](MachineFunction &MF) {
5380 return &getMFAM(M, MAM, MF).getResult<MachineDominatorTreeAnalysis>(MF);
5381 };
5382 AsmPrinter.GetMLI = [&MAM, &M](MachineFunction &MF) {
5383 return &getMFAM(M, MAM, MF).getResult<MachineLoopAnalysis>(MF);
5384 };
5385 // TODO(boomanaiden154): Get GC working with the new pass manager.
5386 AsmPrinter.BeginGCAssembly = [](Module &M) {};
5388 AsmPrinter.EmitStackMaps = [](Module &M) {};
5390}
5391
5393 MachineFunction &MF,
5395 const ModuleAnalysisManagerMachineFunctionProxy::Result &MAMProxy =
5397 MachineModuleInfo &MMI =
5398 MAMProxy
5399 .getCachedResult<MachineModuleAnalysis>(*MF.getFunction().getParent())
5400 ->getMMI();
5401 AsmPrinter.GetMMI = [&MMI]() { return &MMI; };
5402 AsmPrinter.MMI = &MMI;
5403 AsmPrinter.GetORE = [&MFAM](MachineFunction &MF) {
5405 };
5406 AsmPrinter.GetMDT = [&MFAM](MachineFunction &MF) {
5407 return &MFAM.getResult<MachineDominatorTreeAnalysis>(MF);
5408 };
5409 AsmPrinter.GetMLI = [&MFAM](MachineFunction &MF) {
5410 return &MFAM.getResult<MachineLoopAnalysis>(MF);
5411 };
5412 // TODO(boomanaiden154): Get GC working with the new pass manager.
5413 AsmPrinter.BeginGCAssembly = [](Module &M) {};
5415 AsmPrinter.EmitStackMaps = [](Module &M) {};
5417}
5418
5420
5421} // 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.
cl::opt< bool > EmitBBHash
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 cl::bits< 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 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 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.
#define T
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:6010
LLVM_ABI double convertToDouble() const
Converts this APFloat to host double value.
Definition APFloat.cpp:6069
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:1509
unsigned getNumWords() const
Get the number of words.
Definition APInt.h:1516
const uint64_t * getRawData() const
This function returns a pointer to the internal storage of the APInt.
Definition APInt.h:572
int64_t getSExtValue() const
Get sign extended value.
Definition APInt.h:1583
void lshrInPlace(unsigned ShiftAmt)
Logical right-shift this APInt by ShiftAmt in place.
Definition APInt.h:861
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:643
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:426
MapVector< MBBSectionID, MBBSectionRange > MBBSectionRanges
Definition AsmPrinter.h:158
bool isDwarf64() const
void emitNops(unsigned N)
Emit N NOP instructions.
MCSymbol * CurrentFnBegin
Definition AsmPrinter.h:233
MachineLoopInfo * MLI
This is a pointer to the current MachineLoopInfo.
Definition AsmPrinter.h:118
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:177
virtual const MCExpr * lowerConstantPtrAuth(const ConstantPtrAuth &CPA)
Definition AsmPrinter.h:664
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...
virtual bool emitTargetFeaturePush(const MCSubtargetInfo &STI)
Emit necessary directives to allow use of instructions that are permitted by target features enabled ...
Definition AsmPrinter.h:942
~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:144
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:132
MCSymbol * CurrentFnBeginLocal
For dso_local functions, the current $local alias for the function.
Definition AsmPrinter.h:236
MapVector< const MCSymbol *, GOTEquivUsePair > GlobalGOTEquivs
Definition AsmPrinter.h:163
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:319
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:239
virtual void emitMachOIFuncStubHelperBody(Module &M, const GlobalIFunc &GI, MCSymbol *LazyPointer)
Definition AsmPrinter.h:695
MCSymbol * getMBBExceptionSym(const MachineBasicBlock &MBB)
std::function< void(Module &)> EmitStackMaps
Definition AsmPrinter.h:182
MCSymbol * getAddrLabelSymbol(const BasicBlock *BB)
Return the symbol to be used for the specified basic block when its address is taken.
Definition AsmPrinter.h:329
virtual DwarfDebug * createDwarfDebug()
Create the DwarfDebug handler.
SmallVector< std::unique_ptr< AsmPrinterHandler >, 2 > Handlers
Definition AsmPrinter.h:244
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:115
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:619
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:181
virtual void emitMachineConstantPoolValue(MachineConstantPoolValue *MCPV)
bool hasDebugInfo() const
Returns true if valid debug info is present.
Definition AsmPrinter.h:515
virtual void emitFunctionBodyStart()
Targets can override this to emit stuff before the first basic block in the function.
Definition AsmPrinter.h:627
std::function< MachineDominatorTree *(MachineFunction &)> GetMDT
Definition AsmPrinter.h:178
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:162
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:623
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:689
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:121
DenseMap< uint64_t, SmallVector< const GlobalAlias *, 1 > > AliasMapTy
Print a general LLVM constant to the .s file.
Definition AsmPrinter.h:589
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:180
MCSymbol * CurrentFnSym
The symbol for the current function.
Definition AsmPrinter.h:128
MachineModuleInfo * MMI
This is a pointer to the current MachineModuleInfo.
Definition AsmPrinter.h:112
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:147
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:685
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:949
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:124
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:150
const MCAsmInfo & MAI
Target Asm Printer information.
Definition AsmPrinter.h:97
std::function< void()> AssertDebugEHFinalized
Definition AsmPrinter.h:183
virtual void emitFunctionDescriptor()
Definition AsmPrinter.h:652
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:245
MCSymbol * CurrentFnSymForSize
The symbol used to represent the start of the current function for the purpose of calculating its siz...
Definition AsmPrinter.h:137
std::function< MachineLoopInfo *(MachineFunction &)> GetMLI
Definition AsmPrinter.h:179
std::function< MachineModuleInfo *()> GetMMI
Definition AsmPrinter.h:176
bool isVerbose() const
Return true if assembly output should contain comments.
Definition AsmPrinter.h:310
MCSymbol * getFunctionEnd() const
Definition AsmPrinter.h:320
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:660
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)
unsigned getPointerSize() const
Return the pointer size from the TargetMachine.
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:631
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:376
@ None
Do not emit either .eh_frame or .debug_frame.
Definition AsmPrinter.h:167
@ Debug
Emit .debug_frame.
Definition AsmPrinter.h:169
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
iterator find(const_arg_type_t< KeyT > Val)
Definition DenseMap.h:251
bool empty() const
Definition DenseMap.h:199
iterator end()
Definition DenseMap.h:169
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:1079
const MDOperand & getOperand(unsigned I) const
Definition Metadata.h:1436
ArrayRef< MDOperand > operands() const
Definition Metadata.h:1434
Tracking metadata reference owned by Metadata.
Definition Metadata.h:900
A single uniqued string.
Definition Metadata.h:731
LLVM_ABI StringRef getString() const
Definition Metadata.cpp:605
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:1765
LLVM_ABI unsigned getNumOperands() const
iterator_range< op_iterator > operands()
Definition Metadata.h:1861
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
bool isOSBinFormatELF() const
Tests whether the OS uses the ELF binary format.
Definition Triple.h:866
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:80
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:713
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:1417
@ S_ATTR_LIVE_SUPPORT
S_ATTR_LIVE_SUPPORT - Blocks are live if they reference live blocks.
Definition MachO.h:202
@ 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:1237
@ 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:1195
std::enable_if_t< detail::IsValidPointer< X, Y >::value, X * > extract(Y &&MD)
Extract a Value from Metadata.
Definition Metadata.h:677
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:795
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:2116
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:2208
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
constexpr int popcount(T Value) noexcept
Count the number of set bits in a value.
Definition bit.h:156
@ 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:407
void sort(IteratorTy Start, IteratorTy End)
Definition STLExtras.h:1636
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:1917
ExceptionHandling
Definition CodeGen.h:54
@ SjLj
setjmp/longjmp based exceptions
Definition CodeGen.h:57
@ ZOS
z/OS MVS Exception Handling.
Definition CodeGen.h:63
@ Emscripten
Emscripten JavaScript-based exception handling.
Definition CodeGen.h:61
@ None
No exception support.
Definition CodeGen.h:55
@ AIX
AIX Exception Handling.
Definition CodeGen.h:62
@ DwarfCFI
DWARF-like instruction based exceptions.
Definition CodeGen.h:56
@ WinEH
Windows Exception Handling.
Definition CodeGen.h:59
@ Wasm
WebAssembly Exception Handling.
Definition CodeGen.h:60
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
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:154
llvm.global_ctors and llvm.global_dtors are arrays of Structor structs.
Definition AsmPrinter.h:552
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:1208
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.