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()),
413 OutContext(Streamer->getContext()), OutStreamer(std::move(Streamer)),
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()) {
672 if (!usesCFIWithoutEH())
673 break;
674 [[fallthrough]];
678 ES = new DwarfCFIException(this);
679 break;
681 ES = new ARMException(this);
682 break;
684 switch (MAI.getWinEHEncodingType()) {
685 default: llvm_unreachable("unsupported unwinding information encoding");
687 break;
690 ES = new WinException(this);
691 break;
692 }
693 break;
695 ES = new WasmException(this);
696 break;
698 ES = new AIXException(this);
699 break;
700 }
701 if (ES)
702 EHHandlers.push_back(std::unique_ptr<EHStreamer>(ES));
703
704 // All CFG modes required the tables emitted.
705 if (M.getControlFlowGuardMode() != ControlFlowGuardMode::Disabled)
706 Handlers.push_back(std::make_unique<WinCFGuard>(this));
707
708 for (auto &Handler : Handlers)
709 Handler->beginModule(&M);
710 for (auto &Handler : EHHandlers)
711 Handler->beginModule(&M);
712
713 return false;
714}
715
716static bool canBeHidden(const GlobalValue *GV, const MCAsmInfo &MAI) {
718 return false;
719
720 return GV->canBeOmittedFromSymbolTable();
721}
722
723void AsmPrinter::emitLinkage(const GlobalValue *GV, MCSymbol *GVSym) const {
725 switch (Linkage) {
731 if (MAI.isMachO()) {
732 // .globl _foo
733 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Global);
734
735 if (!canBeHidden(GV, MAI))
736 // .weak_definition _foo
737 OutStreamer->emitSymbolAttribute(GVSym, MCSA_WeakDefinition);
738 else
739 OutStreamer->emitSymbolAttribute(GVSym, MCSA_WeakDefAutoPrivate);
740 } else if (MAI.avoidWeakIfComdat() && GV->hasComdat()) {
741 // .globl _foo
742 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Global);
743 //NOTE: linkonce is handled by the section the symbol was assigned to.
744 } else {
745 // .weak _foo
746 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Weak);
747 }
748 return;
750 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Global);
751 return;
754 return;
758 llvm_unreachable("Should never emit this");
759 }
760 llvm_unreachable("Unknown linkage type!");
761}
762
764 const GlobalValue *GV) const {
765 TM.getNameWithPrefix(Name, GV, getObjFileLowering().getMangler());
766}
767
769 return TM.getSymbol(GV);
770}
771
773 // On ELF, use .Lfoo$local if GV is a non-interposable GlobalObject with an
774 // exact definion (intersection of GlobalValue::hasExactDefinition() and
775 // !isInterposable()). These linkages include: external, appending, internal,
776 // private. It may be profitable to use a local alias for external. The
777 // assembler would otherwise be conservative and assume a global default
778 // visibility symbol can be interposable, even if the code generator already
779 // assumed it.
780 if (TM.getTargetTriple().isOSBinFormatELF() && GV.canBenefitFromLocalAlias()) {
781 const Module &M = *GV.getParent();
782 if (TM.getRelocationModel() != Reloc::Static &&
783 M.getPIELevel() == PIELevel::Default && GV.isDSOLocal())
784 return getSymbolWithGlobalValueBase(&GV, "$local");
785 }
786 return TM.getSymbol(&GV);
787}
788
789/// EmitGlobalVariable - Emit the specified global variable to the .s file.
791 bool IsEmuTLSVar = TM.useEmulatedTLS() && GV->isThreadLocal();
792 assert(!(IsEmuTLSVar && GV->hasCommonLinkage()) &&
793 "No emulated TLS variables in the common section");
794
795 // Never emit TLS variable xyz in emulated TLS model.
796 // The initialization value is in __emutls_t.xyz instead of xyz.
797 if (IsEmuTLSVar)
798 return;
799
800 if (GV->hasInitializer()) {
801 // Check to see if this is a special global used by LLVM, if so, emit it.
802 if (emitSpecialLLVMGlobal(GV))
803 return;
804
805 // Skip the emission of global equivalents. The symbol can be emitted later
806 // on by emitGlobalGOTEquivs in case it turns out to be needed.
807 if (GlobalGOTEquivs.count(getSymbol(GV)))
808 return;
809
810 if (isVerbose()) {
811 // When printing the control variable __emutls_v.*,
812 // we don't need to print the original TLS variable name.
813 GV->printAsOperand(OutStreamer->getCommentOS(),
814 /*PrintType=*/false, GV->getParent());
815 OutStreamer->getCommentOS() << '\n';
816 }
817 }
818
819 MCSymbol *GVSym = getSymbol(GV);
820 MCSymbol *EmittedSym = GVSym;
821
822 // getOrCreateEmuTLSControlSym only creates the symbol with name and default
823 // attributes.
824 // GV's or GVSym's attributes will be used for the EmittedSym.
825 emitVisibility(EmittedSym, GV->getVisibility(), !GV->isDeclaration());
826
827 if (GV->isTagged()) {
828 Triple T = TM.getTargetTriple();
829
830 if (T.getArch() != Triple::aarch64)
831 OutContext.reportError(SMLoc(),
832 "tagged symbols (-fsanitize=memtag-globals) are "
833 "only supported on AArch64");
834 OutStreamer->emitSymbolAttribute(EmittedSym, MCSA_Memtag);
835 }
836
837 if (!GV->hasInitializer()) // External globals require no extra code.
838 return;
839
840 GVSym->redefineIfPossible();
841 if (GVSym->isDefined() || GVSym->isVariable())
842 OutContext.reportError(SMLoc(), "symbol '" + Twine(GVSym->getName()) +
843 "' is already defined");
844
845 if (MAI.hasDotTypeDotSizeDirective())
846 OutStreamer->emitSymbolAttribute(EmittedSym, MCSA_ELF_TypeObject);
847
849
850 const DataLayout &DL = GV->getDataLayout();
852
853 // If the alignment is specified, we *must* obey it. Overaligning a global
854 // with a specified alignment is a prompt way to break globals emitted to
855 // sections and expected to be contiguous (e.g. ObjC metadata).
856 const Align Alignment = getGVAlignment(GV, DL);
857
858 for (auto &Handler : Handlers)
859 Handler->setSymbolSize(GVSym, Size);
860
861 // Handle common symbols
862 if (GVKind.isCommon()) {
863 if (Size == 0) Size = 1; // .comm Foo, 0 is undefined, avoid it.
864 // .comm _foo, 42, 4
865 OutStreamer->emitCommonSymbol(GVSym, Size, Alignment);
866 return;
867 }
868
869 // Determine to which section this global should be emitted.
870 MCSection *TheSection = getObjFileLowering().SectionForGlobal(GV, GVKind, TM);
871
872 // If we have a bss global going to a section that supports the
873 // zerofill directive, do so here.
874 if (GVKind.isBSS() && MAI.isMachO() && TheSection->isBssSection()) {
875 if (Size == 0)
876 Size = 1; // zerofill of 0 bytes is undefined.
877 emitLinkage(GV, GVSym);
878 // .zerofill __DATA, __bss, _foo, 400, 5
879 OutStreamer->emitZerofill(TheSection, GVSym, Size, Alignment);
880 return;
881 }
882
883 // If this is a BSS local symbol and we are emitting in the BSS
884 // section use .lcomm/.comm directive.
885 if (GVKind.isBSSLocal() &&
886 getObjFileLowering().getBSSSection() == TheSection) {
887 if (Size == 0)
888 Size = 1; // .comm Foo, 0 is undefined, avoid it.
889
890 // Use .lcomm only if it supports user-specified alignment.
891 // Otherwise, while it would still be correct to use .lcomm in some
892 // cases (e.g. when Align == 1), the external assembler might enfore
893 // some -unknown- default alignment behavior, which could cause
894 // spurious differences between external and integrated assembler.
895 // Prefer to simply fall back to .local / .comm in this case.
896 if (MAI.getLCOMMDirectiveAlignmentType() != LCOMM::NoAlignment) {
897 // .lcomm _foo, 42
898 OutStreamer->emitLocalCommonSymbol(GVSym, Size, Alignment);
899 return;
900 }
901
902 // .local _foo
903 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Local);
904 // .comm _foo, 42, 4
905 OutStreamer->emitCommonSymbol(GVSym, Size, Alignment);
906 return;
907 }
908
909 // Handle thread local data for mach-o which requires us to output an
910 // additional structure of data and mangle the original symbol so that we
911 // can reference it later.
912 //
913 // TODO: This should become an "emit thread local global" method on TLOF.
914 // All of this macho specific stuff should be sunk down into TLOFMachO and
915 // stuff like "TLSExtraDataSection" should no longer be part of the parent
916 // TLOF class. This will also make it more obvious that stuff like
917 // MCStreamer::EmitTBSSSymbol is macho specific and only called from macho
918 // specific code.
919 if (GVKind.isThreadLocal() && MAI.isMachO()) {
920 // Emit the .tbss symbol
921 MCSymbol *MangSym =
922 OutContext.getOrCreateSymbol(GVSym->getName() + Twine("$tlv$init"));
923
924 if (GVKind.isThreadBSS()) {
925 TheSection = getObjFileLowering().getTLSBSSSection();
926 OutStreamer->emitTBSSSymbol(TheSection, MangSym, Size, Alignment);
927 } else if (GVKind.isThreadData()) {
928 OutStreamer->switchSection(TheSection);
929
930 emitAlignment(Alignment, GV);
931 OutStreamer->emitLabel(MangSym);
932
934 GV->getInitializer());
935 }
936
937 OutStreamer->addBlankLine();
938
939 // Emit the variable struct for the runtime.
941
942 OutStreamer->switchSection(TLVSect);
943 // Emit the linkage here.
944 emitLinkage(GV, GVSym);
945 OutStreamer->emitLabel(GVSym);
946
947 // Three pointers in size:
948 // - __tlv_bootstrap - used to make sure support exists
949 // - spare pointer, used when mapped by the runtime
950 // - pointer to mangled symbol above with initializer
951 unsigned PtrSize = DL.getPointerTypeSize(GV->getType());
952 OutStreamer->emitSymbolValue(GetExternalSymbolSymbol("_tlv_bootstrap"),
953 PtrSize);
954 OutStreamer->emitIntValue(0, PtrSize);
955 OutStreamer->emitSymbolValue(MangSym, PtrSize);
956
957 OutStreamer->addBlankLine();
958 return;
959 }
960
961 MCSymbol *EmittedInitSym = GVSym;
962
963 OutStreamer->switchSection(TheSection);
964
965 emitLinkage(GV, EmittedInitSym);
966 emitAlignment(Alignment, GV);
967
968 OutStreamer->emitLabel(EmittedInitSym);
969 MCSymbol *LocalAlias = getSymbolPreferLocal(*GV);
970 if (LocalAlias != EmittedInitSym)
971 OutStreamer->emitLabel(LocalAlias);
972
974
975 if (MAI.hasDotTypeDotSizeDirective())
976 // .size foo, 42
977 OutStreamer->emitELFSize(EmittedInitSym,
979
980 OutStreamer->addBlankLine();
981}
982
983/// Emit the directive and value for debug thread local expression
984///
985/// \p Value - The value to emit.
986/// \p Size - The size of the integer (in bytes) to emit.
987void AsmPrinter::emitDebugValue(const MCExpr *Value, unsigned Size) const {
988 OutStreamer->emitValue(Value, Size);
989}
990
991void AsmPrinter::emitFunctionHeaderComment() {}
992
993void AsmPrinter::emitFunctionPrefix(ArrayRef<const Constant *> Prefix) {
994 const Function &F = MF->getFunction();
996 for (auto &C : Prefix)
997 emitGlobalConstant(F.getDataLayout(), C);
998 return;
999 }
1000 // Preserving prefix-like data on platforms which use subsections-via-symbols
1001 // is a bit tricky. Here we introduce a symbol for the prefix-like data
1002 // and use the .alt_entry attribute to mark the function's real entry point
1003 // as an alternative entry point to the symbol that precedes the function..
1004 OutStreamer->emitLabel(OutContext.createLinkerPrivateTempSymbol());
1005
1006 for (auto &C : Prefix) {
1007 emitGlobalConstant(F.getDataLayout(), C);
1008 }
1009
1010 // Emit an .alt_entry directive for the actual function symbol.
1011 OutStreamer->emitSymbolAttribute(CurrentFnSym, MCSA_AltEntry);
1012}
1013
1014/// EmitFunctionHeader - This method emits the header for the current
1015/// function.
1016void AsmPrinter::emitFunctionHeader() {
1017 const Function &F = MF->getFunction();
1018
1019 if (isVerbose())
1020 OutStreamer->getCommentOS()
1021 << "-- Begin function "
1022 << GlobalValue::dropLLVMManglingEscape(F.getName()) << '\n';
1023
1024 // Print out constants referenced by the function
1026
1027 // Print the 'header' of function.
1028 // If basic block sections are desired, explicitly request a unique section
1029 // for this function's entry block.
1030 if (MF->front().isBeginSection())
1031 MF->setSection(getObjFileLowering().getUniqueSectionForFunction(F, TM));
1032 else
1033 MF->setSection(getObjFileLowering().SectionForGlobal(&F, TM));
1034 OutStreamer->switchSection(MF->getSection());
1035
1036 if (MAI.isAIX())
1038 else
1039 emitVisibility(CurrentFnSym, F.getVisibility());
1040
1042 if (MAI.hasFunctionAlignment()) {
1043 Align PrefAlign = MF->getPreferredAlignment();
1044 if (MAI.useIntegratedAssembler() && MAI.hasPreferredAlignment()) {
1045 // Emit .p2align for the effective minimum alignment (which accounts for
1046 // F's own align attribute via getGVAlignment), then emit .prefalign only
1047 // when the preferred alignment is greater. The end symbol must be
1048 // created here, before the function body, so that .prefalign can
1049 // reference it; emitFunctionBody will emit the label at the function
1050 // end.
1051 Align MinAlign = emitAlignment(MF->getAlignment(), &F);
1052 if (MinAlign < PrefAlign) {
1053 CurrentFnEnd = createTempSymbol("func_end");
1054 OutStreamer->emitPrefAlign(PrefAlign, *CurrentFnEnd,
1055 /*EmitNops=*/true, /*Fill=*/0,
1057 }
1058 } else {
1059 emitAlignment(PrefAlign, &F);
1060 }
1061 }
1062
1063 if (MAI.hasDotTypeDotSizeDirective())
1064 OutStreamer->emitSymbolAttribute(CurrentFnSym, MCSA_ELF_TypeFunction);
1065
1066 if (F.hasFnAttribute(Attribute::Cold))
1067 OutStreamer->emitSymbolAttribute(CurrentFnSym, MCSA_Cold);
1068
1069 // Emit the prefix data.
1070 if (F.hasPrefixData())
1071 emitFunctionPrefix({F.getPrefixData()});
1072
1073 // Emit KCFI type information before patchable-function-prefix nops.
1075
1076 // Emit M NOPs for -fpatchable-function-entry=N,M where M>0. We arbitrarily
1077 // place prefix data before NOPs.
1078 unsigned PatchableFunctionPrefix =
1079 F.getFnAttributeAsParsedInteger("patchable-function-prefix");
1080 unsigned PatchableFunctionEntry =
1081 F.getFnAttributeAsParsedInteger("patchable-function-entry");
1082 if (PatchableFunctionPrefix) {
1084 OutContext.createLinkerPrivateTempSymbol();
1086 emitNops(PatchableFunctionPrefix);
1087 } else if (PatchableFunctionEntry) {
1088 // May be reassigned when emitting the body, to reference the label after
1089 // the initial BTI (AArch64) or endbr32/endbr64 (x86).
1091 }
1092
1093 // Emit the function prologue data for the indirect call sanitizer.
1094 if (const MDNode *MD = F.getMetadata(LLVMContext::MD_func_sanitize)) {
1095 assert(MD->getNumOperands() == 2);
1096
1097 auto *PrologueSig = mdconst::extract<Constant>(MD->getOperand(0));
1098 auto *TypeHash = mdconst::extract<Constant>(MD->getOperand(1));
1099 emitFunctionPrefix({PrologueSig, TypeHash});
1100 }
1101
1102 if (isVerbose()) {
1103 F.printAsOperand(OutStreamer->getCommentOS(),
1104 /*PrintType=*/false, F.getParent());
1105 emitFunctionHeaderComment();
1106 OutStreamer->getCommentOS() << '\n';
1107 }
1108
1109 // Emit the function descriptor. This is a virtual function to allow targets
1110 // to emit their specific function descriptor. Right now it is only used by
1111 // the AIX target. The PowerPC 64-bit V1 ELF target also uses function
1112 // descriptors and should be converted to use this hook as well.
1113 if (MAI.isAIX())
1115
1116 // Emit the CurrentFnSym. This is a virtual function to allow targets to do
1117 // their wild and crazy things as required.
1119
1120 // If the function had address-taken blocks that got deleted, then we have
1121 // references to the dangling symbols. Emit them at the start of the function
1122 // so that we don't get references to undefined symbols.
1123 std::vector<MCSymbol*> DeadBlockSyms;
1124 takeDeletedSymbolsForFunction(&F, DeadBlockSyms);
1125 for (MCSymbol *DeadBlockSym : DeadBlockSyms) {
1126 OutStreamer->AddComment("Address taken block that was later removed");
1127 OutStreamer->emitLabel(DeadBlockSym);
1128 }
1129
1130 if (CurrentFnBegin) {
1131 if (MAI.useAssignmentForEHBegin()) {
1132 MCSymbol *CurPos = OutContext.createTempSymbol();
1133 OutStreamer->emitLabel(CurPos);
1134 OutStreamer->emitAssignment(CurrentFnBegin,
1136 } else {
1137 OutStreamer->emitLabel(CurrentFnBegin);
1138 }
1139 }
1140
1141 // Emit pre-function debug and/or EH information.
1142 for (auto &Handler : Handlers) {
1143 Handler->beginFunction(MF);
1144 Handler->beginBasicBlockSection(MF->front());
1145 }
1146 for (auto &Handler : EHHandlers) {
1147 Handler->beginFunction(MF);
1148 Handler->beginBasicBlockSection(MF->front());
1149 }
1150
1151 // Emit the prologue data.
1152 if (F.hasPrologueData())
1153 emitGlobalConstant(F.getDataLayout(), F.getPrologueData());
1154}
1155
1156/// EmitFunctionEntryLabel - Emit the label that is the entrypoint for the
1157/// function. This can be overridden by targets as required to do custom stuff.
1159 CurrentFnSym->redefineIfPossible();
1160 OutStreamer->emitLabel(CurrentFnSym);
1161
1162 if (TM.getTargetTriple().isOSBinFormatELF()) {
1163 MCSymbol *Sym = getSymbolPreferLocal(MF->getFunction());
1164 if (Sym != CurrentFnSym) {
1165 CurrentFnBeginLocal = Sym;
1166 OutStreamer->emitLabel(Sym);
1167 OutStreamer->emitSymbolAttribute(Sym, MCSA_ELF_TypeFunction);
1168 }
1169 }
1170}
1171
1172/// emitComments - Pretty-print comments for instructions.
1173static void emitComments(const MachineInstr &MI, const MCSubtargetInfo *STI,
1174 raw_ostream &CommentOS) {
1175 const MachineFunction *MF = MI.getMF();
1177
1178 // Check for spills and reloads
1179
1180 // We assume a single instruction only has a spill or reload, not
1181 // both.
1182 std::optional<LocationSize> Size;
1183 if ((Size = MI.getRestoreSize(TII))) {
1184 CommentOS << Size->getValue() << "-byte Reload\n";
1185 } else if ((Size = MI.getFoldedRestoreSize(TII))) {
1186 if (!Size->hasValue())
1187 CommentOS << "Unknown-size Folded Reload\n";
1188 else if (Size->getValue())
1189 CommentOS << Size->getValue() << "-byte Folded Reload\n";
1190 } else if ((Size = MI.getSpillSize(TII))) {
1191 CommentOS << Size->getValue() << "-byte Spill\n";
1192 } else if ((Size = MI.getFoldedSpillSize(TII))) {
1193 if (!Size->hasValue())
1194 CommentOS << "Unknown-size Folded Spill\n";
1195 else if (Size->getValue())
1196 CommentOS << Size->getValue() << "-byte Folded Spill\n";
1197 }
1198
1199 // Check for spill-induced copies
1200 if (MI.getAsmPrinterFlag(MachineInstr::ReloadReuse))
1201 CommentOS << " Reload Reuse\n";
1202
1203 if (PrintLatency) {
1205 const MCSchedModel &SCModel = STI->getSchedModel();
1208 *STI, *TII, MI);
1209 // Report only interesting latencies.
1210 if (1 < Latency)
1211 CommentOS << " Latency: " << Latency << "\n";
1212 }
1213}
1214
1215/// emitImplicitDef - This method emits the specified machine instruction
1216/// that is an implicit def.
1218 Register RegNo = MI->getOperand(0).getReg();
1219
1220 SmallString<128> Str;
1221 raw_svector_ostream OS(Str);
1222 OS << "implicit-def: "
1223 << printReg(RegNo, MF->getSubtarget().getRegisterInfo());
1224
1225 OutStreamer->AddComment(OS.str());
1226 OutStreamer->addBlankLine();
1227}
1228
1229static void emitKill(const MachineInstr *MI, AsmPrinter &AP) {
1230 std::string Str;
1231 raw_string_ostream OS(Str);
1232 OS << "kill:";
1233 for (const MachineOperand &Op : MI->operands()) {
1234 assert(Op.isReg() && "KILL instruction must have only register operands");
1235 OS << ' ' << (Op.isDef() ? "def " : "killed ")
1236 << printReg(Op.getReg(), AP.MF->getSubtarget().getRegisterInfo());
1237 }
1238 AP.OutStreamer->AddComment(Str);
1239 AP.OutStreamer->addBlankLine();
1240}
1241
1242static void emitFakeUse(const MachineInstr *MI, AsmPrinter &AP) {
1243 std::string Str;
1244 raw_string_ostream OS(Str);
1245 OS << "fake_use:";
1246 for (const MachineOperand &Op : MI->operands()) {
1247 // In some circumstances we can end up with fake uses of constants; skip
1248 // these.
1249 if (!Op.isReg())
1250 continue;
1251 OS << ' ' << printReg(Op.getReg(), AP.MF->getSubtarget().getRegisterInfo());
1252 }
1253 AP.OutStreamer->AddComment(OS.str());
1254 AP.OutStreamer->addBlankLine();
1255}
1256
1257/// emitDebugValueComment - This method handles the target-independent form
1258/// of DBG_VALUE, returning true if it was able to do so. A false return
1259/// means the target will need to handle MI in EmitInstruction.
1261 // This code handles only the 4-operand target-independent form.
1262 if (MI->isNonListDebugValue() && MI->getNumOperands() != 4)
1263 return false;
1264
1265 SmallString<128> Str;
1266 raw_svector_ostream OS(Str);
1267 OS << "DEBUG_VALUE: ";
1268
1269 const DILocalVariable *V = MI->getDebugVariable();
1270 if (auto *SP = dyn_cast<DISubprogram>(V->getScope())) {
1271 StringRef Name = SP->getName();
1272 if (!Name.empty())
1273 OS << Name << ":";
1274 }
1275 OS << V->getName();
1276 OS << " <- ";
1277
1278 const DIExpression *Expr = MI->getDebugExpression();
1279 // First convert this to a non-variadic expression if possible, to simplify
1280 // the output.
1281 if (auto NonVariadicExpr = DIExpression::convertToNonVariadicExpression(Expr))
1282 Expr = *NonVariadicExpr;
1283 // Then, output the possibly-simplified expression.
1284 if (Expr->getNumElements()) {
1285 OS << '[';
1286 ListSeparator LS;
1287 for (auto &Op : Expr->expr_ops()) {
1288 OS << LS << dwarf::OperationEncodingString(Op.getOp());
1289 for (unsigned I = 0; I < Op.getNumArgs(); ++I)
1290 OS << ' ' << Op.getArg(I);
1291 }
1292 OS << "] ";
1293 }
1294
1295 // Register or immediate value. Register 0 means undef.
1296 for (const MachineOperand &Op : MI->debug_operands()) {
1297 if (&Op != MI->debug_operands().begin())
1298 OS << ", ";
1299 switch (Op.getType()) {
1301 APFloat APF = APFloat(Op.getFPImm()->getValueAPF());
1302 Type *ImmTy = Op.getFPImm()->getType();
1303 if (ImmTy->isBFloatTy() || ImmTy->isHalfTy() || ImmTy->isFloatTy() ||
1304 ImmTy->isDoubleTy()) {
1305 OS << APF.convertToDouble();
1306 } else {
1307 // There is no good way to print long double. Convert a copy to
1308 // double. Ah well, it's only a comment.
1309 bool ignored;
1311 &ignored);
1312 OS << "(long double) " << APF.convertToDouble();
1313 }
1314 break;
1315 }
1317 OS << Op.getImm();
1318 break;
1319 }
1321 Op.getCImm()->getValue().print(OS, false /*isSigned*/);
1322 break;
1323 }
1325 OS << "!target-index(" << Op.getIndex() << "," << Op.getOffset() << ")";
1326 break;
1327 }
1330 Register Reg;
1331 std::optional<StackOffset> Offset;
1332 if (Op.isReg()) {
1333 Reg = Op.getReg();
1334 } else {
1335 const TargetFrameLowering *TFI =
1337 Offset = TFI->getFrameIndexReference(*AP.MF, Op.getIndex(), Reg);
1338 }
1339 if (!Reg) {
1340 // Suppress offset, it is not meaningful here.
1341 OS << "undef";
1342 break;
1343 }
1344 // The second operand is only an offset if it's an immediate.
1345 if (MI->isIndirectDebugValue())
1346 Offset = StackOffset::getFixed(MI->getDebugOffset().getImm());
1347 if (Offset)
1348 OS << '[';
1349 OS << printReg(Reg, AP.MF->getSubtarget().getRegisterInfo());
1350 if (Offset)
1351 OS << '+' << Offset->getFixed() << ']';
1352 break;
1353 }
1354 default:
1355 llvm_unreachable("Unknown operand type");
1356 }
1357 }
1358
1359 // NOTE: Want this comment at start of line, don't emit with AddComment.
1360 AP.OutStreamer->emitRawComment(Str);
1361 return true;
1362}
1363
1364/// This method handles the target-independent form of DBG_LABEL, returning
1365/// true if it was able to do so. A false return means the target will need
1366/// to handle MI in EmitInstruction.
1368 if (MI->getNumOperands() != 1)
1369 return false;
1370
1371 SmallString<128> Str;
1372 raw_svector_ostream OS(Str);
1373 OS << "DEBUG_LABEL: ";
1374
1375 const DILabel *V = MI->getDebugLabel();
1376 if (auto *SP = dyn_cast<DISubprogram>(
1377 V->getScope()->getNonLexicalBlockFileScope())) {
1378 StringRef Name = SP->getName();
1379 if (!Name.empty())
1380 OS << Name << ":";
1381 }
1382 OS << V->getName();
1383
1384 // NOTE: Want this comment at start of line, don't emit with AddComment.
1385 AP.OutStreamer->emitRawComment(OS.str());
1386 return true;
1387}
1388
1391 // Ignore functions that won't get emitted.
1392 if (F.isDeclarationForLinker())
1393 return CFISection::None;
1394
1395 if (MAI.getExceptionHandlingType() == ExceptionHandling::DwarfCFI &&
1396 F.needsUnwindTableEntry())
1397 return CFISection::EH;
1398
1399 if (MAI.usesCFIWithoutEH() && F.hasUWTable())
1400 return CFISection::EH;
1401
1402 if (hasDebugInfo() || TM.Options.ForceDwarfFrameSection)
1403 return CFISection::Debug;
1404
1405 return CFISection::None;
1406}
1407
1412
1414 return MAI.usesWindowsCFI() && MF->getFunction().needsUnwindTableEntry();
1415}
1416
1418 return MAI.usesCFIWithoutEH() && ModuleCFISection != CFISection::None;
1419}
1420
1422 ExceptionHandling ExceptionHandlingType = MAI.getExceptionHandlingType();
1423 if (!usesCFIWithoutEH() &&
1424 ExceptionHandlingType != ExceptionHandling::DwarfCFI &&
1425 ExceptionHandlingType != ExceptionHandling::ARM)
1426 return;
1427
1429 return;
1430
1431 // If there is no "real" instruction following this CFI instruction, skip
1432 // emitting it; it would be beyond the end of the function's FDE range.
1433 auto *MBB = MI.getParent();
1434 auto I = std::next(MI.getIterator());
1435 while (I != MBB->end() && I->isTransient())
1436 ++I;
1437 if (I == MBB->instr_end() &&
1438 MBB->getReverseIterator() == MBB->getParent()->rbegin())
1439 return;
1440
1441 const std::vector<MCCFIInstruction> &Instrs = MF->getFrameInstructions();
1442 unsigned CFIIndex = MI.getOperand(0).getCFIIndex();
1443 const MCCFIInstruction &CFI = Instrs[CFIIndex];
1444 emitCFIInstruction(CFI);
1445}
1446
1448 // The operands are the MCSymbol and the frame offset of the allocation.
1449 MCSymbol *FrameAllocSym = MI.getOperand(0).getMCSymbol();
1450 int FrameOffset = MI.getOperand(1).getImm();
1451
1452 // Emit a symbol assignment.
1453 OutStreamer->emitAssignment(FrameAllocSym,
1454 MCConstantExpr::create(FrameOffset, OutContext));
1455}
1456
1457/// Returns the BB metadata to be emitted in the SHT_LLVM_BB_ADDR_MAP section
1458/// for a given basic block. This can be used to capture more precise profile
1459/// information.
1461 const TargetInstrInfo *TII = MBB.getParent()->getSubtarget().getInstrInfo();
1463 MBB.isReturnBlock(), !MBB.empty() && TII->isTailCall(MBB.back()),
1464 MBB.isEHPad(), const_cast<MachineBasicBlock &>(MBB).canFallThrough(),
1465 !MBB.empty() && MBB.rbegin()->isIndirectBranch()}
1466 .encode();
1467}
1468
1470getBBAddrMapFeature(const MachineFunction &MF, int NumMBBSectionRanges,
1471 bool HasCalls, const CFGProfile *FuncCFGProfile) {
1472 // Ensure that the user has not passed in additional options while also
1473 // specifying all or none.
1476 popcount(PgoAnalysisMapFeatures.getBits()) != 1) {
1478 "-pgo-analysis-map can accept only all or none with no additional "
1479 "values.");
1480 }
1481
1482 bool NoFeatures = PgoAnalysisMapFeatures.isSet(PGOMapFeaturesEnum::None);
1484 bool FuncEntryCountEnabled =
1485 AllFeatures || (!NoFeatures && PgoAnalysisMapFeatures.isSet(
1487 bool BBFreqEnabled =
1488 AllFeatures ||
1489 (!NoFeatures && PgoAnalysisMapFeatures.isSet(PGOMapFeaturesEnum::BBFreq));
1490 bool BrProbEnabled =
1491 AllFeatures ||
1492 (!NoFeatures && PgoAnalysisMapFeatures.isSet(PGOMapFeaturesEnum::BrProb));
1493 bool PostLinkCfgEnabled = FuncCFGProfile && PgoAnalysisMapEmitBBSectionsCfg;
1494
1495 if ((BBFreqEnabled || BrProbEnabled) && BBAddrMapSkipEmitBBEntries) {
1497 "BB entries info is required for BBFreq and BrProb features");
1498 }
1499 return {FuncEntryCountEnabled, BBFreqEnabled, BrProbEnabled,
1500 MF.hasBBSections() && NumMBBSectionRanges > 1,
1501 // Use static_cast to avoid breakage of tests on windows.
1502 static_cast<bool>(BBAddrMapSkipEmitBBEntries), HasCalls,
1503 static_cast<bool>(EmitBBHash), PostLinkCfgEnabled};
1504}
1505
1507 MCSection *BBAddrMapSection =
1508 getObjFileLowering().getBBAddrMapSection(*MF.getSection());
1509 assert(BBAddrMapSection && ".llvm_bb_addr_map section is not initialized.");
1510 bool HasCalls = !CurrentFnCallsiteEndSymbols.empty();
1511
1512 const BasicBlockSectionsProfileReader *BBSPR = nullptr;
1513 if (auto *BBSPRPass =
1515 BBSPR = &BBSPRPass->getBBSPR();
1516 const CFGProfile *FuncCFGProfile = nullptr;
1517 if (BBSPR)
1518 FuncCFGProfile = BBSPR->getFunctionCFGProfile(MF.getFunction().getName());
1519
1520 const MCSymbol *FunctionSymbol = getFunctionBegin();
1521
1522 OutStreamer->pushSection();
1523 OutStreamer->switchSection(BBAddrMapSection);
1524 OutStreamer->AddComment("version");
1525 uint8_t BBAddrMapVersion = OutStreamer->getContext().getBBAddrMapVersion();
1526 OutStreamer->emitInt8(BBAddrMapVersion);
1527 OutStreamer->AddComment("feature");
1528 auto Features = getBBAddrMapFeature(MF, MBBSectionRanges.size(), HasCalls,
1529 FuncCFGProfile);
1530 OutStreamer->emitInt16(Features.encode());
1531 // Emit BB Information for each basic block in the function.
1532 if (Features.MultiBBRange) {
1533 OutStreamer->AddComment("number of basic block ranges");
1534 OutStreamer->emitULEB128IntValue(MBBSectionRanges.size());
1535 }
1536 // Number of blocks in each MBB section.
1537 DenseMap<MBBSectionID, unsigned> MBBSectionNumBlocks;
1538 const MCSymbol *PrevMBBEndSymbol = nullptr;
1539 if (!Features.MultiBBRange) {
1540 OutStreamer->AddComment("function address");
1541 OutStreamer->emitSymbolValue(FunctionSymbol, getPointerSize());
1542 OutStreamer->AddComment("number of basic blocks");
1543 OutStreamer->emitULEB128IntValue(MF.size());
1544 PrevMBBEndSymbol = FunctionSymbol;
1545 } else {
1546 unsigned BBCount = 0;
1547 for (const MachineBasicBlock &MBB : MF) {
1548 BBCount++;
1549 if (MBB.isEndSection()) {
1550 // Store each section's basic block count when it ends.
1551 MBBSectionNumBlocks[MBB.getSectionID()] = BBCount;
1552 // Reset the count for the next section.
1553 BBCount = 0;
1554 }
1555 }
1556 }
1557 // Emit the BB entry for each basic block in the function.
1558 for (const MachineBasicBlock &MBB : MF) {
1559 const MCSymbol *MBBSymbol =
1560 MBB.isEntryBlock() ? FunctionSymbol : MBB.getSymbol();
1561 bool IsBeginSection =
1562 Features.MultiBBRange && (MBB.isBeginSection() || MBB.isEntryBlock());
1563 if (IsBeginSection) {
1564 OutStreamer->AddComment("base address");
1565 OutStreamer->emitSymbolValue(MBBSymbol, getPointerSize());
1566 OutStreamer->AddComment("number of basic blocks");
1567 OutStreamer->emitULEB128IntValue(MBBSectionNumBlocks[MBB.getSectionID()]);
1568 PrevMBBEndSymbol = MBBSymbol;
1569 }
1570
1571 auto MBHI =
1572 Features.BBHash ? &getAnalysis<MachineBlockHashInfo>() : nullptr;
1573
1574 if (!Features.OmitBBEntries) {
1575 OutStreamer->AddComment("BB id");
1576 // Emit the BB ID for this basic block.
1577 // We only emit BaseID since CloneID is unset for
1578 // -basic-block-adress-map.
1579 // TODO: Emit the full BBID when labels and sections can be mixed
1580 // together.
1581 OutStreamer->emitULEB128IntValue(MBB.getBBID()->BaseID);
1582 // Emit the basic block offset relative to the end of the previous block.
1583 // This is zero unless the block is padded due to alignment.
1584 emitLabelDifferenceAsULEB128(MBBSymbol, PrevMBBEndSymbol);
1585 const MCSymbol *CurrentLabel = MBBSymbol;
1586 if (HasCalls) {
1587 auto CallsiteEndSymbols = CurrentFnCallsiteEndSymbols.lookup(&MBB);
1588 OutStreamer->AddComment("number of callsites");
1589 OutStreamer->emitULEB128IntValue(CallsiteEndSymbols.size());
1590 for (const MCSymbol *CallsiteEndSymbol : CallsiteEndSymbols) {
1591 // Emit the callsite offset.
1592 emitLabelDifferenceAsULEB128(CallsiteEndSymbol, CurrentLabel);
1593 CurrentLabel = CallsiteEndSymbol;
1594 }
1595 }
1596 // Emit the offset to the end of the block, which can be used to compute
1597 // the total block size.
1598 emitLabelDifferenceAsULEB128(MBB.getEndSymbol(), CurrentLabel);
1599 // Emit the Metadata.
1600 OutStreamer->emitULEB128IntValue(getBBAddrMapMetadata(MBB));
1601 // Emit the Hash.
1602 if (MBHI) {
1603 OutStreamer->emitInt64(MBHI->getMBBHash(MBB));
1604 }
1605 }
1606 PrevMBBEndSymbol = MBB.getEndSymbol();
1607 }
1608
1609 if (Features.hasPGOAnalysis()) {
1610 assert(BBAddrMapVersion >= 2 &&
1611 "PGOAnalysisMap only supports version 2 or later");
1612
1613 if (Features.FuncEntryCount) {
1614 OutStreamer->AddComment("function entry count");
1615 auto MaybeEntryCount = MF.getFunction().getEntryCount();
1616 OutStreamer->emitULEB128IntValue(MaybeEntryCount ? *MaybeEntryCount : 0);
1617 }
1618 const MachineBlockFrequencyInfo *MBFI =
1619 Features.BBFreq
1621 : nullptr;
1622 const MachineBranchProbabilityInfo *MBPI =
1623 Features.BrProb
1625 : nullptr;
1626
1627 if (Features.BBFreq || Features.BrProb) {
1628 for (const MachineBasicBlock &MBB : MF) {
1629 if (Features.BBFreq) {
1630 OutStreamer->AddComment("basic block frequency");
1631 OutStreamer->emitULEB128IntValue(
1632 MBFI->getBlockFreq(&MBB).getFrequency());
1633 if (Features.PostLinkCfg) {
1634 OutStreamer->AddComment("basic block frequency (propeller)");
1635 OutStreamer->emitULEB128IntValue(
1636 FuncCFGProfile->getBlockCount(*MBB.getBBID()));
1637 }
1638 }
1639 if (Features.BrProb) {
1640 unsigned SuccCount = MBB.succ_size();
1641 OutStreamer->AddComment("basic block successor count");
1642 OutStreamer->emitULEB128IntValue(SuccCount);
1643 for (const MachineBasicBlock *SuccMBB : MBB.successors()) {
1644 OutStreamer->AddComment("successor BB ID");
1645 OutStreamer->emitULEB128IntValue(SuccMBB->getBBID()->BaseID);
1646 OutStreamer->AddComment("successor branch probability");
1647 OutStreamer->emitULEB128IntValue(
1648 MBPI->getEdgeProbability(&MBB, SuccMBB).getNumerator());
1649 if (Features.PostLinkCfg) {
1650 OutStreamer->AddComment("successor branch frequency (propeller)");
1651 OutStreamer->emitULEB128IntValue(FuncCFGProfile->getEdgeCount(
1652 *MBB.getBBID(), *SuccMBB->getBBID()));
1653 }
1654 }
1655 }
1656 }
1657 }
1658 }
1659
1660 OutStreamer->popSection();
1661}
1662
1664 const MCSymbol *Symbol) {
1665 MCSection *Section =
1666 getObjFileLowering().getKCFITrapSection(*MF.getSection());
1667 if (!Section)
1668 return;
1669
1670 OutStreamer->pushSection();
1671 OutStreamer->switchSection(Section);
1672
1673 MCSymbol *Loc = OutContext.createLinkerPrivateTempSymbol();
1674 OutStreamer->emitLabel(Loc);
1675 OutStreamer->emitAbsoluteSymbolDiff(Symbol, Loc, 4);
1676
1677 OutStreamer->popSection();
1678}
1679
1681 const Function &F = MF.getFunction();
1682 if (const MDNode *MD = F.getMetadata(LLVMContext::MD_kcfi_type))
1683 emitGlobalConstant(F.getDataLayout(),
1684 mdconst::extract<ConstantInt>(MD->getOperand(0)));
1685}
1686
1688 if (PP) {
1689 auto GUID = MI.getOperand(0).getImm();
1690 auto Index = MI.getOperand(1).getImm();
1691 auto Type = MI.getOperand(2).getImm();
1692 auto Attr = MI.getOperand(3).getImm();
1693 DILocation *DebugLoc = MI.getDebugLoc();
1694 PP->emitPseudoProbe(GUID, Index, Type, Attr, DebugLoc);
1695 }
1696}
1697
1699 if (!MF.getTarget().Options.EmitStackSizeSection)
1700 return;
1701
1702 MCSection *StackSizeSection =
1704 if (!StackSizeSection)
1705 return;
1706
1707 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
1708 // Don't emit functions with dynamic stack allocations.
1709 if (FrameInfo.hasVarSizedObjects())
1710 return;
1711
1712 OutStreamer->pushSection();
1713 OutStreamer->switchSection(StackSizeSection);
1714
1715 const MCSymbol *FunctionSymbol = getFunctionBegin();
1716 uint64_t StackSize =
1717 FrameInfo.getStackSize() + FrameInfo.getUnsafeStackSize();
1718 OutStreamer->emitSymbolValue(FunctionSymbol, TM.getProgramPointerSize());
1719 OutStreamer->emitULEB128IntValue(StackSize);
1720
1721 OutStreamer->popSection();
1722}
1723
1725 const std::string OutputFilename =
1727 : MF.getTarget().Options.StackUsageFile;
1728
1729 // OutputFilename empty implies -fstack-usage is not passed.
1730 if (OutputFilename.empty())
1731 return;
1732
1733 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
1734 uint64_t StackSize =
1735 FrameInfo.getStackSize() + FrameInfo.getUnsafeStackSize();
1736
1737 if (StackUsageStream == nullptr) {
1738 std::error_code EC;
1739 StackUsageStream =
1740 std::make_unique<raw_fd_ostream>(OutputFilename, EC, sys::fs::OF_Text);
1741 if (EC) {
1742 errs() << "Could not open file: " << EC.message();
1743 return;
1744 }
1745 }
1746
1747 if (const DISubprogram *DSP = MF.getFunction().getSubprogram())
1748 *StackUsageStream << DSP->getFilename() << ':' << DSP->getLine();
1749 else
1750 *StackUsageStream << MF.getFunction().getParent()->getName();
1751
1752 *StackUsageStream << ':' << MF.getName() << '\t' << StackSize << '\t';
1753 if (FrameInfo.hasVarSizedObjects())
1754 *StackUsageStream << "dynamic\n";
1755 else
1756 *StackUsageStream << "static\n";
1757}
1758
1759/// Extracts a numeric type identifier of a Function's type from
1760/// callgraph metadata. Returns null if metadata cannot be found.
1763 F.getMetadata(LLVMContext::MD_callgraph, Types);
1764 for (const auto &Type : Types) {
1765 if (Type->getNumOperands() == 1 && isa<MDString>(Type->getOperand(0))) {
1766 MDString *MDTypeId = cast<MDString>(Type->getOperand(0));
1767 uint64_t TypeIdVal = llvm::MD5Hash(MDTypeId->getString());
1768 IntegerType *Int64Ty = Type::getInt64Ty(F.getContext());
1769 return ConstantInt::get(Int64Ty, TypeIdVal);
1770 }
1771 }
1772 return nullptr;
1773}
1774
1775/// Emits .llvm.callgraph section.
1777 FunctionCallGraphInfo &FuncCGInfo) {
1778 if (!MF.getTarget().Options.EmitCallGraphSection)
1779 return;
1780
1781 // Switch to the call graph section for the function
1782 MCSection *FuncCGSection =
1784 assert(FuncCGSection && "null callgraph section");
1785 OutStreamer->pushSection();
1786 OutStreamer->switchSection(FuncCGSection);
1787
1788 const Function &F = MF.getFunction();
1789 // If this function has external linkage or has its address taken and
1790 // it is not a callback, then anything could call it.
1791 bool IsIndirectTarget =
1792 !F.hasLocalLinkage() || F.hasAddressTaken(nullptr,
1793 /*IgnoreCallbackUses=*/true,
1794 /*IgnoreAssumeLikeCalls=*/true,
1795 /*IgnoreLLVMUsed=*/false);
1796
1797 const auto &DirectCallees = FuncCGInfo.DirectCallees;
1798 const auto &IndirectCalleeTypeIDs = FuncCGInfo.IndirectCalleeTypeIDs;
1799
1800 using namespace callgraph;
1801 Flags CGFlags = Flags::None;
1802 if (IsIndirectTarget)
1803 CGFlags |= Flags::IsIndirectTarget;
1804 if (DirectCallees.size() > 0)
1805 CGFlags |= Flags::HasDirectCallees;
1806 if (IndirectCalleeTypeIDs.size() > 0)
1807 CGFlags |= Flags::HasIndirectCallees;
1808
1809 // Emit function's call graph information.
1810 // 1) CallGraphSectionFormatVersion
1811 // 2) Flags
1812 // a. LSB bit 0 is set to 1 if the function is a potential indirect
1813 // target.
1814 // b. LSB bit 1 is set to 1 if there are direct callees.
1815 // c. LSB bit 2 is set to 1 if there are indirect callees.
1816 // d. Rest of the 5 bits in Flags are reserved for any future use.
1817 // 3) Function entry PC.
1818 // 4) FunctionTypeID if the function is indirect target and its type id
1819 // is known, otherwise it is set to 0.
1820 // 5) Number of unique direct callees, if at least one exists.
1821 // 6) For each unique direct callee, the callee's PC.
1822 // 7) Number of unique indirect target type IDs, if at least one exists.
1823 // 8) Each unique indirect target type id.
1824 OutStreamer->emitInt8(CallGraphSectionFormatVersion::V_0);
1825 OutStreamer->emitInt8(static_cast<uint8_t>(CGFlags));
1826 OutStreamer->emitSymbolValue(getSymbol(&F), TM.getProgramPointerSize());
1827 const auto *TypeId = extractNumericCGTypeId(F);
1828 if (IsIndirectTarget && TypeId)
1829 OutStreamer->emitInt64(TypeId->getZExtValue());
1830 else
1831 OutStreamer->emitInt64(0);
1832
1833 if (DirectCallees.size() > 0) {
1834 OutStreamer->emitULEB128IntValue(DirectCallees.size());
1835 for (const auto &CalleeSymbol : DirectCallees)
1836 OutStreamer->emitSymbolValue(CalleeSymbol, TM.getProgramPointerSize());
1837 FuncCGInfo.DirectCallees.clear();
1838 }
1839 if (IndirectCalleeTypeIDs.size() > 0) {
1840 OutStreamer->emitULEB128IntValue(IndirectCalleeTypeIDs.size());
1841 for (const auto &CalleeTypeId : IndirectCalleeTypeIDs)
1842 OutStreamer->emitInt64(CalleeTypeId);
1843 FuncCGInfo.IndirectCalleeTypeIDs.clear();
1844 }
1845 // End of emitting call graph section contents.
1846 OutStreamer->popSection();
1847}
1848
1850 const MDNode &MD) {
1851 MCSymbol *S = MF.getContext().createTempSymbol("pcsection");
1852 OutStreamer->emitLabel(S);
1853 PCSectionsSymbols[&MD].emplace_back(S);
1854}
1855
1857 const Function &F = MF.getFunction();
1858 if (PCSectionsSymbols.empty() && !F.hasMetadata(LLVMContext::MD_pcsections))
1859 return;
1860
1861 const CodeModel::Model CM = MF.getTarget().getCodeModel();
1862 const unsigned RelativeRelocSize =
1864 : 4;
1865
1866 // Switch to PCSection, short-circuiting the common case where the current
1867 // section is still valid (assume most MD_pcsections contain just 1 section).
1868 auto SwitchSection = [&, Prev = StringRef()](const StringRef &Sec) mutable {
1869 if (Sec == Prev)
1870 return;
1871 MCSection *S = getObjFileLowering().getPCSection(Sec, MF.getSection());
1872 assert(S && "PC section is not initialized");
1873 OutStreamer->switchSection(S);
1874 Prev = Sec;
1875 };
1876 // Emit symbols into sections and data as specified in the pcsections MDNode.
1877 auto EmitForMD = [&](const MDNode &MD, ArrayRef<const MCSymbol *> Syms,
1878 bool Deltas) {
1879 // Expect the first operand to be a section name. After that, a tuple of
1880 // constants may appear, which will simply be emitted into the current
1881 // section (the user of MD_pcsections decides the format of encoded data).
1882 assert(isa<MDString>(MD.getOperand(0)) && "first operand not a string");
1883 bool ConstULEB128 = false;
1884 for (const MDOperand &MDO : MD.operands()) {
1885 if (auto *S = dyn_cast<MDString>(MDO)) {
1886 // Found string, start of new section!
1887 // Find options for this section "<section>!<opts>" - supported options:
1888 // C = Compress constant integers of size 2-8 bytes as ULEB128.
1889 const StringRef SecWithOpt = S->getString();
1890 const size_t OptStart = SecWithOpt.find('!'); // likely npos
1891 const StringRef Sec = SecWithOpt.substr(0, OptStart);
1892 const StringRef Opts = SecWithOpt.substr(OptStart); // likely empty
1893 ConstULEB128 = Opts.contains('C');
1894#ifndef NDEBUG
1895 for (char O : Opts)
1896 assert((O == '!' || O == 'C') && "Invalid !pcsections options");
1897#endif
1898 SwitchSection(Sec);
1899 const MCSymbol *Prev = Syms.front();
1900 for (const MCSymbol *Sym : Syms) {
1901 if (Sym == Prev || !Deltas) {
1902 // Use the entry itself as the base of the relative offset.
1903 MCSymbol *Base = MF.getContext().createTempSymbol("pcsection_base");
1904 OutStreamer->emitLabel(Base);
1905 // Emit relative relocation `addr - base`, which avoids a dynamic
1906 // relocation in the final binary. User will get the address with
1907 // `base + addr`.
1908 emitLabelDifference(Sym, Base, RelativeRelocSize);
1909 } else {
1910 // Emit delta between symbol and previous symbol.
1911 if (ConstULEB128)
1913 else
1914 emitLabelDifference(Sym, Prev, 4);
1915 }
1916 Prev = Sym;
1917 }
1918 } else {
1919 // Emit auxiliary data after PC.
1920 assert(isa<MDNode>(MDO) && "expecting either string or tuple");
1921 const auto *AuxMDs = cast<MDNode>(MDO);
1922 for (const MDOperand &AuxMDO : AuxMDs->operands()) {
1923 assert(isa<ConstantAsMetadata>(AuxMDO) && "expecting a constant");
1924 const Constant *C = cast<ConstantAsMetadata>(AuxMDO)->getValue();
1925 const DataLayout &DL = F.getDataLayout();
1926 const uint64_t Size = DL.getTypeStoreSize(C->getType());
1927
1928 if (auto *CI = dyn_cast<ConstantInt>(C);
1929 CI && ConstULEB128 && Size > 1 && Size <= 8) {
1930 emitULEB128(CI->getZExtValue());
1931 } else {
1933 }
1934 }
1935 }
1936 }
1937 };
1938
1939 OutStreamer->pushSection();
1940 // Emit PCs for function start and function size.
1941 if (const MDNode *MD = F.getMetadata(LLVMContext::MD_pcsections))
1942 EmitForMD(*MD, {getFunctionBegin(), getFunctionEnd()}, true);
1943 // Emit PCs for instructions collected.
1944 for (const auto &MS : PCSectionsSymbols)
1945 EmitForMD(*MS.first, MS.second, false);
1946 OutStreamer->popSection();
1947 PCSectionsSymbols.clear();
1948}
1949
1950/// Returns true if function begin and end labels should be emitted.
1951static bool needFuncLabels(const MachineFunction &MF, const AsmPrinter &Asm) {
1952 if (Asm.hasDebugInfo() || !MF.getLandingPads().empty() ||
1953 MF.hasEHFunclets() ||
1954 MF.getFunction().hasMetadata(LLVMContext::MD_pcsections))
1955 return true;
1956
1957 // We might emit an EH table that uses function begin and end labels even if
1958 // we don't have any landingpads.
1959 if (!MF.getFunction().hasPersonalityFn())
1960 return false;
1961 return !isNoOpWithoutInvoke(
1963}
1964
1965// Return the mnemonic of a MachineInstr if available, or the MachineInstr
1966// opcode name otherwise.
1968 const TargetInstrInfo *TII =
1969 MI.getParent()->getParent()->getSubtarget().getInstrInfo();
1970 MCInst MCI;
1971 MCI.setOpcode(MI.getOpcode());
1972 if (StringRef Name = Streamer.getMnemonic(MCI); !Name.empty())
1973 return Name;
1974 StringRef Name = TII->getName(MI.getOpcode());
1975 assert(!Name.empty() && "Missing mnemonic and name for opcode");
1976 return Name;
1977}
1978
1980 FunctionCallGraphInfo &FuncCGInfo,
1981 const MachineFunction::CallSiteInfoMap &CallSitesInfoMap,
1982 const MachineInstr &MI) {
1983 assert(MI.isCall() && "This method is meant for call instructions only.");
1984 const MachineOperand &CalleeOperand = MI.getOperand(0);
1985 if (CalleeOperand.isGlobal() || CalleeOperand.isSymbol()) {
1986 // Handle direct calls.
1987 MCSymbol *CalleeSymbol = nullptr;
1988 switch (CalleeOperand.getType()) {
1990 CalleeSymbol = getSymbol(CalleeOperand.getGlobal());
1991 break;
1993 CalleeSymbol = GetExternalSymbolSymbol(CalleeOperand.getSymbolName());
1994 break;
1995 default:
1997 "Expected to only handle direct call instructions here.");
1998 }
1999 FuncCGInfo.DirectCallees.insert(CalleeSymbol);
2000 return; // Early exit after handling the direct call instruction.
2001 }
2002 const auto &CallSiteInfo = CallSitesInfoMap.find(&MI);
2003 if (CallSiteInfo == CallSitesInfoMap.end())
2004 return;
2005 // Handle indirect callsite info.
2006 // Only indirect calls have type identifiers set.
2007 for (ConstantInt *CalleeTypeId : CallSiteInfo->second.CalleeTypeIds) {
2008 uint64_t CalleeTypeIdVal = CalleeTypeId->getZExtValue();
2009 FuncCGInfo.IndirectCalleeTypeIDs.insert(CalleeTypeIdVal);
2010 }
2011}
2012
2013/// Helper to emit a symbol for the prefetch target associated with the given
2014/// BBID and callsite index.
2016 unsigned CallsiteIndex) {
2017 SmallString<128> FunctionName;
2018 getNameWithPrefix(FunctionName, &MF->getFunction());
2019 MCSymbol *PrefetchTargetSymbol = OutContext.getOrCreateSymbol(
2020 getPrefetchTargetSymbolName(FunctionName, BBID, CallsiteIndex));
2021 // If the function is weak-linkage it may be replaced by a strong
2022 // version, in which case the prefetch targets should also be replaced.
2023 OutStreamer->emitSymbolAttribute(
2024 PrefetchTargetSymbol,
2025 MF->getFunction().isWeakForLinker() ? MCSA_Weak : MCSA_Global);
2026 OutStreamer->emitLabel(PrefetchTargetSymbol);
2027}
2028
2029/// Emit dangling prefetch targets that were not mapped to any basic block.
2031 const DenseMap<UniqueBBID, SmallVector<unsigned>> &MFPrefetchTargets =
2032 MF->getPrefetchTargets();
2033 if (MFPrefetchTargets.empty())
2034 return;
2035 DenseSet<UniqueBBID> MFBBIDs;
2036 for (const MachineBasicBlock &MBB : *MF)
2037 if (std::optional<UniqueBBID> BBID = MBB.getBBID())
2038 MFBBIDs.insert(*BBID);
2039
2040 for (const auto &[BBID, CallsiteIndexes] : MFPrefetchTargets) {
2041 if (MFBBIDs.contains(BBID))
2042 continue;
2043 for (unsigned CallsiteIndex : CallsiteIndexes)
2045 }
2046}
2047
2048/// EmitFunctionBody - This method emits the body and trailer for a
2049/// function.
2051 emitFunctionHeader();
2052
2053 // Emit target-specific gunk before the function body.
2055
2056 if (isVerbose()) {
2057 MDT = GetMDT(*MF);
2058 // Get MachineLoopInfo or compute it on the fly if it's unavailable, which
2059 // needs a MachineDominatorTree only for an irreducible CFG.
2060 MLI = GetMLI(*MF);
2061 if (!MLI) {
2062 OwnedMLI = std::make_unique<MachineLoopInfo>();
2063 OwnedMLI->calculate(*MF, [&]() -> const MachineDominatorTree & {
2064 if (!MDT) {
2065 OwnedMDT = std::make_unique<MachineDominatorTree>();
2066 OwnedMDT->recalculate(*MF);
2067 MDT = OwnedMDT.get();
2068 }
2069 return *MDT;
2070 });
2071 MLI = OwnedMLI.get();
2072 }
2073 }
2074
2075 // Print out code for the function.
2076 bool HasAnyRealCode = false;
2077 int NumInstsInFunction = 0;
2078 bool IsEHa = MMI->getModule()->getModuleFlag("eh-asynch");
2079
2080 const MCSubtargetInfo *STI = nullptr;
2081 if (this->MF)
2082 STI = &getSubtargetInfo();
2083 else
2084 STI = &TM.getMCSubtargetInfo();
2085
2086 bool CanDoExtraAnalysis = ORE->allowExtraAnalysis(DEBUG_TYPE);
2087 // Create a slot for the entry basic block section so that the section
2088 // order is preserved when iterating over MBBSectionRanges.
2089 if (!MF->empty())
2090 MBBSectionRanges[MF->front().getSectionID()] =
2092
2093 FunctionCallGraphInfo FuncCGInfo;
2094 const auto &CallSitesInfoMap = MF->getCallSitesInfo();
2095
2096 // Dangling targets are not mapped to any blocks and must be emitted at the
2097 // beginning of the function.
2099
2100 const auto &MFPrefetchTargets = MF->getPrefetchTargets();
2101 for (auto &MBB : *MF) {
2102 // Print a label for the basic block.
2104 DenseMap<StringRef, unsigned> MnemonicCounts;
2105
2106 const SmallVector<unsigned> *PrefetchTargets = nullptr;
2107 if (auto BBID = MBB.getBBID()) {
2108 auto R = MFPrefetchTargets.find(*BBID);
2109 if (R != MFPrefetchTargets.end())
2110 PrefetchTargets = &R->second;
2111 }
2112 auto PrefetchTargetIt =
2113 PrefetchTargets ? PrefetchTargets->begin() : nullptr;
2114 auto PrefetchTargetEnd = PrefetchTargets ? PrefetchTargets->end() : nullptr;
2115 unsigned LastCallsiteIndex = 0;
2116
2117 for (auto &MI : MBB) {
2118 if (PrefetchTargetIt != PrefetchTargetEnd &&
2119 *PrefetchTargetIt == LastCallsiteIndex) {
2120 emitPrefetchTargetSymbol(*MBB.getBBID(), *PrefetchTargetIt);
2121 ++PrefetchTargetIt;
2122 }
2123
2124 // Print the assembly for the instruction.
2125 if (!MI.isPosition() && !MI.isImplicitDef() && !MI.isKill() &&
2126 !MI.isDebugInstr()) {
2127 HasAnyRealCode = true;
2128 }
2129
2130 // If there is a pre-instruction symbol, emit a label for it here.
2131 if (MCSymbol *S = MI.getPreInstrSymbol())
2132 OutStreamer->emitLabel(S);
2133
2134 if (MDNode *MD = MI.getPCSections())
2135 emitPCSectionsLabel(*MF, *MD);
2136
2137 for (auto &Handler : Handlers)
2138 Handler->beginInstruction(&MI);
2139
2140 if (isVerbose())
2141 emitComments(MI, STI, OutStreamer->getCommentOS());
2142
2143#ifndef NDEBUG
2144 MCFragment *OldFragment = OutStreamer->getCurrentFragment();
2145 size_t OldFragSize = OldFragment->getFixedSize();
2146#endif
2147
2148 switch (MI.getOpcode()) {
2149 case TargetOpcode::CFI_INSTRUCTION:
2151 break;
2152 case TargetOpcode::LOCAL_ESCAPE:
2154 break;
2155 case TargetOpcode::ANNOTATION_LABEL:
2156 case TargetOpcode::GC_LABEL:
2157 OutStreamer->emitLabel(MI.getOperand(0).getMCSymbol());
2158 break;
2159 case TargetOpcode::EH_LABEL:
2160 OutStreamer->AddComment("EH_LABEL");
2161 OutStreamer->emitLabel(MI.getOperand(0).getMCSymbol());
2162 // For AsynchEH, insert a Nop if followed by a trap inst
2163 // Or the exception won't be caught.
2164 // (see MCConstantExpr::create(1,..) in WinException.cpp)
2165 // Ignore SDiv/UDiv because a DIV with Const-0 divisor
2166 // must have being turned into an UndefValue.
2167 // Div with variable opnds won't be the first instruction in
2168 // an EH region as it must be led by at least a Load
2169 {
2170 auto MI2 = std::next(MI.getIterator());
2171 if (IsEHa && MI2 != MBB.end() &&
2172 (MI2->mayLoadOrStore() || MI2->mayRaiseFPException()))
2173 emitNops(1);
2174 }
2175 break;
2176 case TargetOpcode::INLINEASM:
2177 case TargetOpcode::INLINEASM_BR:
2178 emitInlineAsm(&MI);
2179 break;
2180 case TargetOpcode::DBG_VALUE:
2181 case TargetOpcode::DBG_VALUE_LIST:
2182 if (isVerbose()) {
2183 if (!emitDebugValueComment(&MI, *this))
2185 }
2186 break;
2187 case TargetOpcode::DBG_INSTR_REF:
2188 // This instruction reference will have been resolved to a machine
2189 // location, and a nearby DBG_VALUE created. We can safely ignore
2190 // the instruction reference.
2191 break;
2192 case TargetOpcode::DBG_PHI:
2193 // This instruction is only used to label a program point, it's purely
2194 // meta information.
2195 break;
2196 case TargetOpcode::DBG_LABEL:
2197 if (isVerbose()) {
2198 if (!emitDebugLabelComment(&MI, *this))
2200 }
2201 break;
2202 case TargetOpcode::IMPLICIT_DEF:
2203 if (isVerbose()) emitImplicitDef(&MI);
2204 break;
2205 case TargetOpcode::KILL:
2206 if (isVerbose()) emitKill(&MI, *this);
2207 break;
2208 case TargetOpcode::FAKE_USE:
2209 if (isVerbose())
2210 emitFakeUse(&MI, *this);
2211 break;
2212 case TargetOpcode::PSEUDO_PROBE:
2214 break;
2215 case TargetOpcode::ARITH_FENCE:
2216 if (isVerbose())
2217 OutStreamer->emitRawComment("ARITH_FENCE");
2218 break;
2219 case TargetOpcode::MEMBARRIER:
2220 OutStreamer->emitRawComment("MEMBARRIER");
2221 break;
2222 case TargetOpcode::JUMP_TABLE_DEBUG_INFO:
2223 // This instruction is only used to note jump table debug info, it's
2224 // purely meta information.
2225 break;
2226 case TargetOpcode::INIT_UNDEF:
2227 // This is only used to influence register allocation behavior, no
2228 // actual initialization is needed.
2229 break;
2230 case TargetOpcode::RELOC_NONE: {
2231 // Generate a temporary label for the current PC.
2232 MCSymbol *Sym = OutContext.createTempSymbol("reloc_none");
2233 OutStreamer->emitLabel(Sym);
2234 const MCExpr *Dot = MCSymbolRefExpr::create(Sym, OutContext);
2236 OutContext.getOrCreateSymbol(MI.getOperand(0).getSymbolName()),
2237 OutContext);
2238 OutStreamer->emitRelocDirective(*Dot, "BFD_RELOC_NONE", Value, SMLoc());
2239 break;
2240 }
2241 default:
2243
2244 auto CountInstruction = [&](const MachineInstr &MI) {
2245 // Skip Meta instructions inside bundles.
2246 if (MI.isMetaInstruction())
2247 return;
2248 ++NumInstsInFunction;
2249 if (CanDoExtraAnalysis) {
2251 ++MnemonicCounts[Name];
2252 }
2253 };
2254 if (!MI.isBundle()) {
2255 CountInstruction(MI);
2256 break;
2257 }
2258 // Separately count all the instructions in a bundle.
2259 for (auto It = std::next(MI.getIterator());
2260 It != MBB.end() && It->isInsideBundle(); ++It) {
2261 CountInstruction(*It);
2262 }
2263 break;
2264 }
2265
2266#ifndef NDEBUG
2267 // Verify that the instruction size reported by InstrInfo matches the
2268 // actually emitted size. Many backends performing branch relaxation
2269 // on the MIR level rely on this for correctness.
2270 // TODO: We currently can't distinguish whether a parse error occurred
2271 // when handling INLINEASM.
2272 if (OutStreamer->isObj() && !OutContext.hadError() &&
2273 (MI.getOpcode() != TargetOpcode::INLINEASM &&
2274 MI.getOpcode() != TargetOpcode::INLINEASM_BR)) {
2275 const TargetInstrInfo *TII = MF->getSubtarget().getInstrInfo();
2277 TII->getInstSizeVerifyMode(MI);
2279 unsigned ExpectedSize = TII->getInstSizeInBytes(MI);
2280 MCFragment *NewFragment = OutStreamer->getCurrentFragment();
2281 unsigned ActualSize;
2282 if (OldFragment == NewFragment) {
2283 ActualSize = NewFragment->getFixedSize() - OldFragSize;
2284 } else {
2285 ActualSize = OldFragment->getFixedSize() - OldFragSize;
2286 const MCFragment *F = OldFragment->getNext();
2287 for (; F != NewFragment; F = F->getNext())
2288 ActualSize += F->getFixedSize();
2289 ActualSize += NewFragment->getFixedSize();
2290 }
2291 bool AllowOverEstimate =
2293 bool Valid = AllowOverEstimate ? ActualSize <= ExpectedSize
2294 : ActualSize == ExpectedSize;
2295 if (!Valid) {
2296 dbgs() << "In function: " << MF->getName() << "\n";
2297 dbgs() << "Size mismatch for: " << MI;
2298 if (MI.isBundled()) {
2299 dbgs() << "{\n";
2300 auto It = MI.getIterator(), End = MBB.instr_end();
2301 for (++It; It != End && It->isInsideBundle(); ++It)
2302 dbgs().indent(2) << *It;
2303 dbgs() << "}\n";
2304 }
2305 dbgs() << "Expected " << (AllowOverEstimate ? "maximum" : "exact")
2306 << " size: " << ExpectedSize << "\n";
2307 dbgs() << "Actual size: " << ActualSize << "\n";
2308 abort();
2309 }
2310 }
2311 }
2312#endif
2313
2314 if (MI.isCall()) {
2315 if (MF->getTarget().Options.BBAddrMap)
2317 LastCallsiteIndex++;
2318 }
2319
2320 if (TM.Options.EmitCallGraphSection && MI.isCall())
2321 handleCallsiteForCallgraph(FuncCGInfo, CallSitesInfoMap, MI);
2322
2323 // If there is a post-instruction symbol, emit a label for it here.
2324 if (MCSymbol *S = MI.getPostInstrSymbol()) {
2325 // Emit the weak symbol attribute used for the prefetch target fallback.
2326 if (TM.getTargetTriple().isOSBinFormatELF()) {
2327 MCSymbolELF *ESym = static_cast<MCSymbolELF *>(S);
2328 if (ESym->getBinding() == ELF::STB_WEAK)
2329 OutStreamer->emitSymbolAttribute(S, MCSA_Weak);
2330 }
2331 OutStreamer->emitLabel(S);
2332 }
2333
2334 for (auto &Handler : Handlers)
2335 Handler->endInstruction();
2336 }
2337 // Emit the remaining prefetch targets for this block. This includes
2338 // nonexisting callsite indexes.
2339 while (PrefetchTargetIt != PrefetchTargetEnd) {
2340 emitPrefetchTargetSymbol(*MBB.getBBID(), *PrefetchTargetIt);
2341 ++PrefetchTargetIt;
2342 }
2343
2344 // We must emit temporary symbol for the end of this basic block, if either
2345 // we have BBLabels enabled or if this basic blocks marks the end of a
2346 // section.
2347 if (MF->getTarget().Options.BBAddrMap ||
2348 (MAI.hasDotTypeDotSizeDirective() && MBB.isEndSection()))
2349 OutStreamer->emitLabel(MBB.getEndSymbol());
2350
2351 if (MBB.isEndSection()) {
2352 // The size directive for the section containing the entry block is
2353 // handled separately by the function section.
2354 if (!MBB.sameSection(&MF->front())) {
2355 if (MAI.hasDotTypeDotSizeDirective()) {
2356 // Emit the size directive for the basic block section.
2357 const MCExpr *SizeExp = MCBinaryExpr::createSub(
2358 MCSymbolRefExpr::create(MBB.getEndSymbol(), OutContext),
2359 MCSymbolRefExpr::create(CurrentSectionBeginSym, OutContext),
2360 OutContext);
2361 OutStreamer->emitELFSize(CurrentSectionBeginSym, SizeExp);
2362 }
2363 assert(!MBBSectionRanges.contains(MBB.getSectionID()) &&
2364 "Overwrite section range");
2365 MBBSectionRanges[MBB.getSectionID()] =
2366 MBBSectionRange{CurrentSectionBeginSym, MBB.getEndSymbol()};
2367 }
2368 }
2370
2371 if (CanDoExtraAnalysis) {
2372 // Skip empty blocks.
2373 if (MBB.empty())
2374 continue;
2375
2377 MBB.begin()->getDebugLoc(), &MBB);
2378
2379 // Generate instruction mix remark. First, sort counts in descending order
2380 // by count and name.
2382 for (auto &KV : MnemonicCounts)
2383 MnemonicVec.emplace_back(KV.first, KV.second);
2384
2385 sort(MnemonicVec, [](const std::pair<StringRef, unsigned> &A,
2386 const std::pair<StringRef, unsigned> &B) {
2387 if (A.second > B.second)
2388 return true;
2389 if (A.second == B.second)
2390 return StringRef(A.first) < StringRef(B.first);
2391 return false;
2392 });
2393 R << "BasicBlock: " << ore::NV("BasicBlock", MBB.getName()) << "\n";
2394 for (auto &KV : MnemonicVec) {
2395 auto Name = (Twine("INST_") + getToken(KV.first.trim()).first).str();
2396 R << KV.first << ": " << ore::NV(Name, KV.second) << "\n";
2397 }
2398 ORE->emit(R);
2399 }
2400 }
2401
2402 EmittedInsts += NumInstsInFunction;
2403 MachineOptimizationRemarkAnalysis R(DEBUG_TYPE, "InstructionCount",
2404 MF->getFunction().getSubprogram(),
2405 &MF->front());
2406 R << ore::NV("NumInstructions", NumInstsInFunction)
2407 << " instructions in function";
2408 ORE->emit(R);
2409
2410 // If the function is empty and the object file uses .subsections_via_symbols,
2411 // then we need to emit *something* to the function body to prevent the
2412 // labels from collapsing together. Just emit a noop.
2413 // Similarly, don't emit empty functions on Windows either. It can lead to
2414 // duplicate entries (two functions with the same RVA) in the Guard CF Table
2415 // after linking, causing the kernel not to load the binary:
2416 // https://developercommunity.visualstudio.com/content/problem/45366/vc-linker-creates-invalid-dll-with-clang-cl.html
2417 // FIXME: Hide this behind some API in e.g. MCAsmInfo or MCTargetStreamer.
2418 const Triple &TT = TM.getTargetTriple();
2419 if (!HasAnyRealCode && (MAI.hasSubsectionsViaSymbols() ||
2420 (TT.isOSWindows() && TT.isOSBinFormatCOFF()))) {
2421 MCInst Noop = MF->getSubtarget().getInstrInfo()->getNop();
2422
2423 // Targets can opt-out of emitting the noop here by leaving the opcode
2424 // unspecified.
2425 if (Noop.getOpcode()) {
2426 OutStreamer->AddComment("avoids zero-length function");
2427 emitNops(1);
2428 }
2429 }
2430
2431 // Switch to the original section in case basic block sections was used.
2432 OutStreamer->switchSection(MF->getSection());
2433
2434 const Function &F = MF->getFunction();
2435 for (const auto &BB : F) {
2436 if (!BB.hasAddressTaken())
2437 continue;
2438 MCSymbol *Sym = GetBlockAddressSymbol(&BB);
2439 if (Sym->isDefined())
2440 continue;
2441 OutStreamer->AddComment("Address of block that was removed by CodeGen");
2442 OutStreamer->emitLabel(Sym);
2443 }
2444
2445 // Emit target-specific gunk after the function body.
2447
2448 // Tail-pad functions that want it.
2449 if (F.hasFnAttribute("tail-pad-to-size")) {
2450 auto *FnEndSym = createTempSymbol("tail_pad_start");
2451 OutStreamer->emitLabel(FnEndSym);
2452
2453 uint64_t PadToSize = F.getFnAttributeAsParsedInteger("tail-pad-to-size");
2454 uint64_t FillValue =
2455 PadToSize ? F.getFnAttributeAsParsedInteger("tail-pad-value") : 0;
2456
2457 // .fill ((PadToSize - FuncSize) & (PadToSize - FuncSize >= 0)) FillValue
2458 const MCExpr *FuncSize = MCBinaryExpr::createSub(
2461 const MCExpr *SizeConst = MCConstantExpr::create(PadToSize, OutContext);
2462 const MCExpr *Zero = MCConstantExpr::create(0, OutContext);
2463 const MCExpr *SubExpr =
2464 MCBinaryExpr::createSub(SizeConst, FuncSize, OutContext);
2465 const MCExpr *Cmp = MCBinaryExpr::createGTE(SubExpr, Zero, OutContext);
2466 const MCExpr *FillExpr = MCBinaryExpr::createAnd(SubExpr, Cmp, OutContext);
2467 OutStreamer->emitFill(*FillExpr, FillValue);
2468 }
2469
2470 // Even though wasm supports .type and .size in general, function symbols
2471 // are automatically sized.
2472 bool EmitFunctionSize = MAI.hasDotTypeDotSizeDirective() && !TT.isWasm();
2473
2474 // SPIR-V supports label instructions only inside a block, not after the
2475 // function body.
2476 if (TT.getObjectFormat() != Triple::SPIRV &&
2477 (EmitFunctionSize || needFuncLabels(*MF, *this) || CurrentFnEnd)) {
2478 // Create a symbol for the end of function, if not already pre-created
2479 // (e.g. for .prefalign directive).
2480 if (!CurrentFnEnd)
2481 CurrentFnEnd = createTempSymbol("func_end");
2482 OutStreamer->emitLabel(CurrentFnEnd);
2483 }
2484
2485 // If the target wants a .size directive for the size of the function, emit
2486 // it.
2487 if (EmitFunctionSize) {
2488 // We can get the size as difference between the function label and the
2489 // temp label.
2490 const MCExpr *SizeExp = MCBinaryExpr::createSub(
2491 MCSymbolRefExpr::create(CurrentFnEnd, OutContext),
2493 OutStreamer->emitELFSize(CurrentFnSym, SizeExp);
2495 OutStreamer->emitELFSize(CurrentFnBeginLocal, SizeExp);
2496 }
2497
2498 // Call endBasicBlockSection on the last block now, if it wasn't already
2499 // called.
2500 if (!MF->back().isEndSection()) {
2501 for (auto &Handler : Handlers)
2502 Handler->endBasicBlockSection(MF->back());
2503 for (auto &Handler : EHHandlers)
2504 Handler->endBasicBlockSection(MF->back());
2505 }
2506 for (auto &Handler : Handlers)
2507 Handler->markFunctionEnd();
2508 for (auto &Handler : EHHandlers)
2509 Handler->markFunctionEnd();
2510 // Update the end label of the entry block's section.
2511 MBBSectionRanges[MF->front().getSectionID()].EndLabel = CurrentFnEnd;
2512
2513 // Print out jump tables referenced by the function.
2515
2516 // Emit post-function debug and/or EH information.
2517 for (auto &Handler : Handlers)
2518 Handler->endFunction(MF);
2519 for (auto &Handler : EHHandlers)
2520 Handler->endFunction(MF);
2521
2522 // Emit section containing BB address offsets and their metadata, when
2523 // BB labels are requested for this function. Skip empty functions.
2524 if (HasAnyRealCode) {
2525 if (MF->getTarget().Options.BBAddrMap)
2527 else if (PgoAnalysisMapFeatures.getBits() != 0)
2528 MF->getContext().reportWarning(
2529 SMLoc(), "pgo-analysis-map is enabled for function " + MF->getName() +
2530 " but it does not have labels");
2531 }
2532
2533 // Emit sections containing instruction and function PCs.
2535
2536 // Emit section containing stack size metadata.
2538
2539 // Emit section containing call graph metadata.
2540 emitCallGraphSection(*MF, FuncCGInfo);
2541
2542 // Emit .su file containing function stack size information.
2544
2546
2547 if (isVerbose())
2548 OutStreamer->getCommentOS() << "-- End function\n";
2549
2550 OutStreamer->addBlankLine();
2551}
2552
2553/// Compute the number of Global Variables that uses a Constant.
2554static unsigned getNumGlobalVariableUses(const Constant *C,
2555 bool &HasNonGlobalUsers) {
2556 if (!C) {
2557 HasNonGlobalUsers = true;
2558 return 0;
2559 }
2560
2562 return 1;
2563
2564 unsigned NumUses = 0;
2565 for (const auto *CU : C->users())
2566 NumUses +=
2567 getNumGlobalVariableUses(dyn_cast<Constant>(CU), HasNonGlobalUsers);
2568
2569 return NumUses;
2570}
2571
2572/// Only consider global GOT equivalents if at least one user is a
2573/// cstexpr inside an initializer of another global variables. Also, don't
2574/// handle cstexpr inside instructions. During global variable emission,
2575/// candidates are skipped and are emitted later in case at least one cstexpr
2576/// isn't replaced by a PC relative GOT entry access.
2578 unsigned &NumGOTEquivUsers,
2579 bool &HasNonGlobalUsers) {
2580 // Global GOT equivalents are unnamed private globals with a constant
2581 // pointer initializer to another global symbol. They must point to a
2582 // GlobalVariable or Function, i.e., as GlobalValue.
2583 if (!GV->hasGlobalUnnamedAddr() || !GV->hasInitializer() ||
2584 !GV->isConstant() || !GV->isDiscardableIfUnused() ||
2586 return false;
2587
2588 // To be a got equivalent, at least one of its users need to be a constant
2589 // expression used by another global variable.
2590 for (const auto *U : GV->users())
2591 NumGOTEquivUsers +=
2592 getNumGlobalVariableUses(dyn_cast<Constant>(U), HasNonGlobalUsers);
2593
2594 return NumGOTEquivUsers > 0;
2595}
2596
2597/// Unnamed constant global variables solely contaning a pointer to
2598/// another globals variable is equivalent to a GOT table entry; it contains the
2599/// the address of another symbol. Optimize it and replace accesses to these
2600/// "GOT equivalents" by using the GOT entry for the final global instead.
2601/// Compute GOT equivalent candidates among all global variables to avoid
2602/// emitting them if possible later on, after it use is replaced by a GOT entry
2603/// access.
2605 if (!getObjFileLowering().supportIndirectSymViaGOTPCRel())
2606 return;
2607
2608 for (const auto &G : M.globals()) {
2609 unsigned NumGOTEquivUsers = 0;
2610 bool HasNonGlobalUsers = false;
2611 if (!isGOTEquivalentCandidate(&G, NumGOTEquivUsers, HasNonGlobalUsers))
2612 continue;
2613 // If non-global variables use it, we still need to emit it.
2614 // Add 1 here, then emit it in `emitGlobalGOTEquivs`.
2615 if (HasNonGlobalUsers)
2616 NumGOTEquivUsers += 1;
2617 const MCSymbol *GOTEquivSym = getSymbol(&G);
2618 GlobalGOTEquivs[GOTEquivSym] = std::make_pair(&G, NumGOTEquivUsers);
2619 }
2620}
2621
2622/// Constant expressions using GOT equivalent globals may not be eligible
2623/// for PC relative GOT entry conversion, in such cases we need to emit such
2624/// globals we previously omitted in EmitGlobalVariable.
2626 if (!getObjFileLowering().supportIndirectSymViaGOTPCRel())
2627 return;
2628
2630 for (auto &I : GlobalGOTEquivs) {
2631 const GlobalVariable *GV = I.second.first;
2632 unsigned Cnt = I.second.second;
2633 if (Cnt)
2634 FailedCandidates.push_back(GV);
2635 }
2636 GlobalGOTEquivs.clear();
2637
2638 for (const auto *GV : FailedCandidates)
2640}
2641
2643 MCSymbol *Name = getSymbol(&GA);
2644 const GlobalObject *BaseObject = GA.getAliaseeObject();
2645
2646 bool IsFunction = GA.getValueType()->isFunctionTy();
2647 // Treat bitcasts of functions as functions also. This is important at least
2648 // on WebAssembly where object and function addresses can't alias each other.
2649 if (!IsFunction)
2650 IsFunction = isa_and_nonnull<Function>(BaseObject);
2651
2652 // AIX's assembly directive `.set` is not usable for aliasing purpose,
2653 // so AIX has to use the extra-label-at-definition strategy. At this
2654 // point, all the extra label is emitted, we just have to emit linkage for
2655 // those labels.
2656 if (TM.getTargetTriple().isOSBinFormatXCOFF()) {
2657 // Linkage for alias of global variable has been emitted.
2658 if (isa_and_nonnull<GlobalVariable>(BaseObject))
2659 return;
2660
2661 emitLinkage(&GA, Name);
2662 // If it's a function, also emit linkage for aliases of function entry
2663 // point.
2664 if (IsFunction)
2665 emitLinkage(&GA,
2666 getObjFileLowering().getFunctionEntryPointSymbol(&GA, TM));
2667 return;
2668 }
2669
2670 if (GA.hasExternalLinkage() || !MAI.getWeakRefDirective())
2671 OutStreamer->emitSymbolAttribute(Name, MCSA_Global);
2672 else if (GA.hasWeakLinkage() || GA.hasLinkOnceLinkage())
2673 OutStreamer->emitSymbolAttribute(Name, MCSA_WeakReference);
2674 else
2675 assert(GA.hasLocalLinkage() && "Invalid alias linkage");
2676
2677 // Set the symbol type to function if the alias has a function type.
2678 // This affects codegen when the aliasee is not a function.
2679 if (IsFunction) {
2680 OutStreamer->emitSymbolAttribute(Name, MCSA_ELF_TypeFunction);
2681 if (TM.getTargetTriple().isOSBinFormatCOFF()) {
2682 OutStreamer->beginCOFFSymbolDef(Name);
2683 OutStreamer->emitCOFFSymbolStorageClass(
2688 OutStreamer->endCOFFSymbolDef();
2689 }
2690 }
2691
2692 emitVisibility(Name, GA.getVisibility());
2693
2694 const MCExpr *Expr = lowerConstant(GA.getAliasee());
2695
2696 if (MAI.isMachO() && isa<MCBinaryExpr>(Expr))
2697 OutStreamer->emitSymbolAttribute(Name, MCSA_AltEntry);
2698
2699 // Emit the directives as assignments aka .set:
2700 OutStreamer->emitAssignment(Name, Expr);
2701 MCSymbol *LocalAlias = getSymbolPreferLocal(GA);
2702 if (LocalAlias != Name)
2703 OutStreamer->emitAssignment(LocalAlias, Expr);
2704
2705 // If the aliasee does not correspond to a symbol in the output, i.e. the
2706 // alias is not of an object or the aliased object is private, then set the
2707 // size of the alias symbol from the type of the alias. We don't do this in
2708 // other situations as the alias and aliasee having differing types but same
2709 // size may be intentional.
2710 if (MAI.hasDotTypeDotSizeDirective() && GA.getValueType()->isSized() &&
2711 (!BaseObject || BaseObject->hasPrivateLinkage())) {
2712 const DataLayout &DL = M.getDataLayout();
2713 uint64_t Size = DL.getTypeAllocSize(GA.getValueType());
2714 OutStreamer->emitELFSize(Name, MCConstantExpr::create(Size, OutContext));
2715 }
2716}
2717
2718void AsmPrinter::emitGlobalIFunc(Module &M, const GlobalIFunc &GI) {
2719 auto EmitLinkage = [&](MCSymbol *Sym) {
2721 OutStreamer->emitSymbolAttribute(Sym, MCSA_Global);
2722 else if (GI.hasWeakLinkage() || GI.hasLinkOnceLinkage())
2723 OutStreamer->emitSymbolAttribute(Sym, MCSA_WeakReference);
2724 else
2725 assert(GI.hasLocalLinkage() && "Invalid ifunc linkage");
2726 };
2727
2729 MCSymbol *Name = getSymbol(&GI);
2730 EmitLinkage(Name);
2731 OutStreamer->emitSymbolAttribute(Name, MCSA_ELF_TypeIndFunction);
2732 emitVisibility(Name, GI.getVisibility());
2733
2734 // Emit the directives as assignments aka .set:
2735 const MCExpr *Expr = lowerConstant(GI.getResolver());
2736 OutStreamer->emitAssignment(Name, Expr);
2737 MCSymbol *LocalAlias = getSymbolPreferLocal(GI);
2738 if (LocalAlias != Name)
2739 OutStreamer->emitAssignment(LocalAlias, Expr);
2740
2741 return;
2742 }
2743
2744 if (!TM.getTargetTriple().isOSBinFormatMachO() || !getIFuncMCSubtargetInfo())
2745 reportFatalUsageError("IFuncs are not supported on this platform");
2746
2747 // On Darwin platforms, emit a manually-constructed .symbol_resolver that
2748 // implements the symbol resolution duties of the IFunc.
2749 //
2750 // Normally, this would be handled by linker magic, but unfortunately there
2751 // are a few limitations in ld64 and ld-prime's implementation of
2752 // .symbol_resolver that mean we can't always use them:
2753 //
2754 // * resolvers cannot be the target of an alias
2755 // * resolvers cannot have private linkage
2756 // * resolvers cannot have linkonce linkage
2757 // * resolvers cannot appear in executables
2758 // * resolvers cannot appear in bundles
2759 //
2760 // This works around that by emitting a close approximation of what the
2761 // linker would have done.
2762
2763 MCSymbol *LazyPointer =
2764 GetExternalSymbolSymbol(GI.getName() + ".lazy_pointer");
2765 MCSymbol *StubHelper = GetExternalSymbolSymbol(GI.getName() + ".stub_helper");
2766
2767 OutStreamer->switchSection(OutContext.getObjectFileInfo()->getDataSection());
2768
2769 const DataLayout &DL = M.getDataLayout();
2770 emitAlignment(Align(DL.getPointerSize()));
2771 OutStreamer->emitLabel(LazyPointer);
2772 emitVisibility(LazyPointer, GI.getVisibility());
2773 OutStreamer->emitValue(MCSymbolRefExpr::create(StubHelper, OutContext), 8);
2774
2775 OutStreamer->switchSection(OutContext.getObjectFileInfo()->getTextSection());
2776
2777 const TargetSubtargetInfo *STI =
2778 TM.getSubtargetImpl(*GI.getResolverFunction());
2779 const TargetLowering *TLI = STI->getTargetLowering();
2780 Align TextAlign(TLI->getMinFunctionAlignment());
2781
2782 MCSymbol *Stub = getSymbol(&GI);
2783 EmitLinkage(Stub);
2784 OutStreamer->emitCodeAlignment(TextAlign, *getIFuncMCSubtargetInfo());
2785 OutStreamer->emitLabel(Stub);
2786 emitVisibility(Stub, GI.getVisibility());
2787 emitMachOIFuncStubBody(M, GI, LazyPointer);
2788
2789 OutStreamer->emitCodeAlignment(TextAlign, *getIFuncMCSubtargetInfo());
2790 OutStreamer->emitLabel(StubHelper);
2791 emitVisibility(StubHelper, GI.getVisibility());
2792 emitMachOIFuncStubHelperBody(M, GI, LazyPointer);
2793}
2794
2796 if (!RS.wantsSection())
2797 return;
2798 if (!RS.getFilename())
2799 return;
2800
2801 MCSection *RemarksSection =
2802 OutContext.getObjectFileInfo()->getRemarksSection();
2803 if (!RemarksSection && RS.needsSection()) {
2804 OutContext.reportWarning(SMLoc(), "Current object file format does not "
2805 "support remarks sections.");
2806 }
2807 if (!RemarksSection)
2808 return;
2809
2810 SmallString<128> Filename = *RS.getFilename();
2812 assert(!Filename.empty() && "The filename can't be empty.");
2813
2814 std::string Buf;
2815 raw_string_ostream OS(Buf);
2816
2817 remarks::RemarkSerializer &RemarkSerializer = RS.getSerializer();
2818 std::unique_ptr<remarks::MetaSerializer> MetaSerializer =
2819 RemarkSerializer.metaSerializer(OS, Filename);
2820 MetaSerializer->emit();
2821
2822 // Switch to the remarks section.
2823 OutStreamer->switchSection(RemarksSection);
2824 OutStreamer->emitBinaryData(Buf);
2825}
2826
2828 const Constant *Initializer = G.getInitializer();
2829 return G.getParent()->getDataLayout().getTypeAllocSize(
2830 Initializer->getType());
2831}
2832
2834 // We used to do this in clang, but there are optimization passes that turn
2835 // non-constant globals into constants. So now, clang only tells us whether
2836 // it would *like* a global to be tagged, but we still make the decision here.
2837 //
2838 // For now, don't instrument constant data, as it'll be in .rodata anyway. It
2839 // may be worth instrumenting these in future to stop them from being used as
2840 // gadgets.
2841 if (G.getName().starts_with("llvm.") || G.isThreadLocal() || G.isConstant())
2842 return false;
2843
2844 // Globals can be placed implicitly or explicitly in sections. There's two
2845 // different types of globals that meet this criteria that cause problems:
2846 // 1. Function pointers that are going into various init arrays (either
2847 // explicitly through `__attribute__((section(<foo>)))` or implicitly
2848 // through `__attribute__((constructor)))`, such as ".(pre)init(_array)",
2849 // ".fini(_array)", ".ctors", and ".dtors". These function pointers end up
2850 // overaligned and overpadded, making iterating over them problematic, and
2851 // each function pointer is individually tagged (so the iteration over
2852 // them causes SIGSEGV/MTE[AS]ERR).
2853 // 2. Global variables put into an explicit section, where the section's name
2854 // is a valid C-style identifier. The linker emits a `__start_<name>` and
2855 // `__stop_<name>` symbol for the section, so that you can iterate over
2856 // globals within this section. Unfortunately, again, these globals would
2857 // be tagged and so iteration causes SIGSEGV/MTE[AS]ERR.
2858 //
2859 // To mitigate both these cases, and because specifying a section is rare
2860 // outside of these two cases, disable MTE protection for globals in any
2861 // section.
2862 if (G.hasSection())
2863 return false;
2864
2865 return globalSize(G) > 0;
2866}
2867
2869 uint64_t SizeInBytes = globalSize(*G);
2870
2871 uint64_t NewSize = alignTo(SizeInBytes, 16);
2872 if (SizeInBytes != NewSize) {
2873 // Pad the initializer out to the next multiple of 16 bytes.
2874 llvm::SmallVector<uint8_t> Init(NewSize - SizeInBytes, 0);
2875 Constant *Padding = ConstantDataArray::get(M.getContext(), Init);
2876 Constant *Initializer = G->getInitializer();
2877 Initializer = ConstantStruct::getAnon({Initializer, Padding});
2878 auto *NewGV = new GlobalVariable(
2879 M, Initializer->getType(), G->isConstant(), G->getLinkage(),
2880 Initializer, "", G, G->getThreadLocalMode(), G->getAddressSpace());
2881 NewGV->copyAttributesFrom(G);
2882 NewGV->setComdat(G->getComdat());
2883 NewGV->copyMetadata(G, 0);
2884
2885 NewGV->takeName(G);
2886 G->replaceAllUsesWith(NewGV);
2887 G->eraseFromParent();
2888 G = NewGV;
2889 }
2890
2891 if (G->getAlign().valueOrOne() < 16)
2892 G->setAlignment(Align(16));
2893
2894 // Ensure that tagged globals don't get merged by ICF - as they should have
2895 // different tags at runtime.
2896 G->setUnnamedAddr(GlobalValue::UnnamedAddr::None);
2897}
2898
2900 auto Meta = G.getSanitizerMetadata();
2901 Meta.Memtag = false;
2902 G.setSanitizerMetadata(Meta);
2903}
2904
2906 // Set the MachineFunction to nullptr so that we can catch attempted
2907 // accesses to MF specific features at the module level and so that
2908 // we can conditionalize accesses based on whether or not it is nullptr.
2909 MF = nullptr;
2910 const Triple &Target = TM.getTargetTriple();
2911
2912 std::vector<GlobalVariable *> GlobalsToTag;
2913 for (GlobalVariable &G : M.globals()) {
2914 if (G.isDeclaration() || !G.isTagged())
2915 continue;
2916 if (!shouldTagGlobal(G)) {
2917 assert(G.hasSanitizerMetadata()); // because isTagged.
2919 assert(!G.isTagged());
2920 continue;
2921 }
2922 GlobalsToTag.push_back(&G);
2923 }
2924 for (GlobalVariable *G : GlobalsToTag)
2926
2927 // Gather all GOT equivalent globals in the module. We really need two
2928 // passes over the globals: one to compute and another to avoid its emission
2929 // in EmitGlobalVariable, otherwise we would not be able to handle cases
2930 // where the got equivalent shows up before its use.
2932
2933 // Emit global variables.
2934 for (const auto &G : M.globals())
2936
2937 // Emit remaining GOT equivalent globals.
2939
2941
2942 // Emit linkage(XCOFF) and visibility info for declarations
2943 for (const Function &F : M) {
2944 if (!F.isDeclarationForLinker())
2945 continue;
2946
2947 MCSymbol *Name = getSymbol(&F);
2948 // Function getSymbol gives us the function descriptor symbol for XCOFF.
2949
2950 if (!Target.isOSBinFormatXCOFF()) {
2951 GlobalValue::VisibilityTypes V = F.getVisibility();
2953 continue;
2954
2955 emitVisibility(Name, V, false);
2956 continue;
2957 }
2958
2959 if (F.isIntrinsic())
2960 continue;
2961
2962 // Handle the XCOFF case.
2963 // Variable `Name` is the function descriptor symbol (see above). Get the
2964 // function entry point symbol.
2965 MCSymbol *FnEntryPointSym = TLOF.getFunctionEntryPointSymbol(&F, TM);
2966 // Emit linkage for the function entry point.
2967 emitLinkage(&F, FnEntryPointSym);
2968
2969 // If a function's address is taken, which means it may be called via a
2970 // function pointer, we need the function descriptor for it.
2971 if (F.hasAddressTaken())
2972 emitLinkage(&F, Name);
2973 }
2974
2975 // Emit the remarks section contents.
2976 // FIXME: Figure out when is the safest time to emit this section. It should
2977 // not come after debug info.
2978 if (remarks::RemarkStreamer *RS = M.getContext().getMainRemarkStreamer())
2979 emitRemarksSection(*RS);
2980
2982
2983 if (Target.isOSBinFormatELF()) {
2984 MachineModuleInfoELF &MMIELF = MMI->getObjFileInfo<MachineModuleInfoELF>();
2985
2986 // Output stubs for external and common global variables.
2988 if (!Stubs.empty()) {
2989 OutStreamer->switchSection(TLOF.getDataSection());
2990 const DataLayout &DL = M.getDataLayout();
2991
2992 emitAlignment(Align(DL.getPointerSize()));
2993 for (const auto &Stub : Stubs) {
2994 OutStreamer->emitLabel(Stub.first);
2995 OutStreamer->emitSymbolValue(Stub.second.getPointer(),
2996 DL.getPointerSize());
2997 }
2998 }
2999 }
3000
3001 if (Target.isOSBinFormatCOFF()) {
3002 MachineModuleInfoCOFF &MMICOFF =
3003 MMI->getObjFileInfo<MachineModuleInfoCOFF>();
3004
3005 // Output stubs for external and common global variables.
3007 if (!Stubs.empty()) {
3008 const DataLayout &DL = M.getDataLayout();
3009
3010 for (const auto &Stub : Stubs) {
3012 SectionName += Stub.first->getName();
3013 OutStreamer->switchSection(OutContext.getCOFFSection(
3017 Stub.first->getName(), COFF::IMAGE_COMDAT_SELECT_ANY));
3018 emitAlignment(Align(DL.getPointerSize()));
3019 OutStreamer->emitSymbolAttribute(Stub.first, MCSA_Global);
3020 OutStreamer->emitLabel(Stub.first);
3021 OutStreamer->emitSymbolValue(Stub.second.getPointer(),
3022 DL.getPointerSize());
3023 }
3024 }
3025 }
3026
3027 // This needs to happen before emitting debug information since that can end
3028 // arbitrary sections.
3029 if (auto *TS = OutStreamer->getTargetStreamer())
3030 TS->emitConstantPools();
3031
3032 // Emit Stack maps before any debug info. Mach-O requires that no data or
3033 // text sections come after debug info has been emitted. This matters for
3034 // stack maps as they are arbitrary data, and may even have a custom format
3035 // through user plugins.
3036 EmitStackMaps(M);
3037
3038 // Print aliases in topological order, that is, for each alias a = b,
3039 // b must be printed before a.
3040 // This is because on some targets (e.g. PowerPC) linker expects aliases in
3041 // such an order to generate correct TOC information.
3044 for (const auto &Alias : M.aliases()) {
3045 if (Alias.hasAvailableExternallyLinkage())
3046 continue;
3047 for (const GlobalAlias *Cur = &Alias; Cur;
3048 Cur = dyn_cast<GlobalAlias>(Cur->getAliasee())) {
3049 if (!AliasVisited.insert(Cur).second)
3050 break;
3051 AliasStack.push_back(Cur);
3052 }
3053 for (const GlobalAlias *AncestorAlias : llvm::reverse(AliasStack))
3054 emitGlobalAlias(M, *AncestorAlias);
3055 AliasStack.clear();
3056 }
3057
3058 // IFuncs must come before deubginfo in case the backend decides to emit them
3059 // as actual functions, since on Mach-O targets, we cannot create regular
3060 // sections after DWARF.
3061 for (const auto &IFunc : M.ifuncs())
3062 emitGlobalIFunc(M, IFunc);
3063 if (TM.getTargetTriple().isOSBinFormatXCOFF() && hasDebugInfo()) {
3064 // Emit section end. This is used to tell the debug line section where the
3065 // end is for a text section if we don't use .loc to represent the debug
3066 // line.
3067 auto *Sec = OutContext.getObjectFileInfo()->getTextSection();
3068 OutStreamer->switchSectionNoPrint(Sec);
3069 MCSymbol *Sym = Sec->getEndSymbol(OutContext);
3070 OutStreamer->emitLabel(Sym);
3071 }
3072
3073 // Finalize debug and EH information.
3074 for (auto &Handler : Handlers)
3075 Handler->endModule();
3076 for (auto &Handler : EHHandlers)
3077 Handler->endModule();
3078
3079 // This deletes all the ephemeral handlers that AsmPrinter added, while
3080 // keeping all the user-added handlers alive until the AsmPrinter is
3081 // destroyed.
3082 EHHandlers.clear();
3083 Handlers.erase(Handlers.begin() + NumUserHandlers, Handlers.end());
3084 DD = nullptr;
3085
3086 // If the target wants to know about weak references, print them all.
3087 if (MAI.getWeakRefDirective()) {
3088 // FIXME: This is not lazy, it would be nice to only print weak references
3089 // to stuff that is actually used. Note that doing so would require targets
3090 // to notice uses in operands (due to constant exprs etc). This should
3091 // happen with the MC stuff eventually.
3092
3093 // Print out module-level global objects here.
3094 for (const auto &GO : M.global_objects()) {
3095 if (!GO.hasExternalWeakLinkage())
3096 continue;
3097 OutStreamer->emitSymbolAttribute(getSymbol(&GO), MCSA_WeakReference);
3098 }
3100 auto SymbolName = "swift_async_extendedFramePointerFlags";
3101 auto Global = M.getGlobalVariable(SymbolName);
3102 if (!Global) {
3103 auto PtrTy = PointerType::getUnqual(M.getContext());
3104 Global = new GlobalVariable(M, PtrTy, false,
3106 SymbolName);
3107 OutStreamer->emitSymbolAttribute(getSymbol(Global), MCSA_WeakReference);
3108 }
3109 }
3110 }
3111
3113
3114 // Emit llvm.ident metadata in an '.ident' directive.
3115 emitModuleIdents(M);
3116
3117 // Emit bytes for llvm.commandline metadata.
3118 // The command line metadata is emitted earlier on XCOFF.
3119 if (!Target.isOSBinFormatXCOFF())
3120 emitModuleCommandLines(M);
3121
3122 // Emit .note.GNU-split-stack and .note.GNU-no-split-stack sections if
3123 // split-stack is used.
3124 if (TM.getTargetTriple().isOSBinFormatELF() && HasSplitStack) {
3125 OutStreamer->switchSection(OutContext.getELFSection(".note.GNU-split-stack",
3126 ELF::SHT_PROGBITS, 0));
3127 if (HasNoSplitStack)
3128 OutStreamer->switchSection(OutContext.getELFSection(
3129 ".note.GNU-no-split-stack", ELF::SHT_PROGBITS, 0));
3130 }
3131
3132 // If we don't have any trampolines, then we don't require stack memory
3133 // to be executable. Some targets have a directive to declare this.
3134 Function *InitTrampolineIntrinsic = M.getFunction("llvm.init.trampoline");
3135 bool HasTrampolineUses =
3136 InitTrampolineIntrinsic && !InitTrampolineIntrinsic->use_empty();
3137 MCSection *S = MAI.getStackSection(OutContext, /*Exec=*/HasTrampolineUses);
3138 if (S)
3139 OutStreamer->switchSection(S);
3140
3141 if (TM.Options.EmitAddrsig) {
3142 // Emit address-significance attributes for all globals.
3143 OutStreamer->emitAddrsig();
3144 for (const GlobalValue &GV : M.global_values()) {
3145 if (!GV.use_empty() && !GV.isThreadLocal() &&
3146 !GV.hasDLLImportStorageClass() &&
3147 !GV.getName().starts_with("llvm.") &&
3148 !GV.hasAtLeastLocalUnnamedAddr())
3149 OutStreamer->emitAddrsigSym(getSymbol(&GV));
3150 }
3151 }
3152
3153 // Emit symbol partition specifications (ELF only).
3154 if (Target.isOSBinFormatELF()) {
3155 unsigned UniqueID = 0;
3156 for (const GlobalValue &GV : M.global_values()) {
3157 if (!GV.hasPartition() || GV.isDeclarationForLinker() ||
3158 GV.getVisibility() != GlobalValue::DefaultVisibility)
3159 continue;
3160
3161 OutStreamer->switchSection(
3162 OutContext.getELFSection(".llvm_sympart", ELF::SHT_LLVM_SYMPART, 0, 0,
3163 "", false, ++UniqueID, nullptr));
3164 OutStreamer->emitBytes(GV.getPartition());
3165 OutStreamer->emitZeros(1);
3166 OutStreamer->emitValue(
3168 MAI.getCodePointerSize());
3169 }
3170 }
3171
3172 // Allow the target to emit any magic that it wants at the end of the file,
3173 // after everything else has gone out.
3175
3176 MMI = nullptr;
3177 AddrLabelSymbols = nullptr;
3178
3179 OutStreamer->finish();
3180 OutStreamer->reset();
3181 OwnedMLI.reset();
3182 OwnedMDT.reset();
3183
3184 return false;
3185}
3186
3188 auto Res = MBBSectionExceptionSyms.try_emplace(MBB.getSectionID());
3189 if (Res.second)
3190 Res.first->second = createTempSymbol("exception");
3191 return Res.first->second;
3192}
3193
3195 MCContext &Ctx = MF->getContext();
3196 MCSymbol *Sym = Ctx.createTempSymbol("BB" + Twine(MF->getFunctionNumber()) +
3197 "_" + Twine(MBB.getNumber()) + "_CS");
3198 CurrentFnCallsiteEndSymbols[&MBB].push_back(Sym);
3199 return Sym;
3200}
3201
3203 this->MF = &MF;
3204 const Function &F = MF.getFunction();
3205
3206 // Record that there are split-stack functions, so we will emit a special
3207 // section to tell the linker.
3208 if (MF.shouldSplitStack()) {
3209 HasSplitStack = true;
3210
3211 if (!MF.getFrameInfo().needsSplitStackProlog())
3212 HasNoSplitStack = true;
3213 } else
3214 HasNoSplitStack = true;
3215
3216 // Get the function symbol.
3217 if (!MAI.isAIX()) {
3218 CurrentFnSym = getSymbol(&MF.getFunction());
3219 } else {
3220 assert(TM.getTargetTriple().isOSAIX() &&
3221 "Only AIX uses the function descriptor hooks.");
3222 // AIX is unique here in that the name of the symbol emitted for the
3223 // function body does not have the same name as the source function's
3224 // C-linkage name.
3225 assert(CurrentFnDescSym && "The function descriptor symbol needs to be"
3226 " initalized first.");
3227
3228 // Get the function entry point symbol.
3230 }
3231
3233 CurrentFnBegin = nullptr;
3234 CurrentFnBeginLocal = nullptr;
3235 CurrentFnEnd = nullptr;
3236 CurrentSectionBeginSym = nullptr;
3238 MBBSectionRanges.clear();
3239 MBBSectionExceptionSyms.clear();
3240 bool NeedsLocalForSize = MAI.needsLocalForSize();
3241 if (F.hasFnAttribute("patchable-function-entry") ||
3242 F.hasFnAttribute("tail-pad-to-size") ||
3243 F.hasFnAttribute("function-instrument") ||
3244 F.hasFnAttribute("xray-instruction-threshold") ||
3245 needFuncLabels(MF, *this) || NeedsLocalForSize ||
3246 MF.getTarget().Options.EmitStackSizeSection ||
3247 MF.getTarget().Options.EmitCallGraphSection ||
3248 MF.getTarget().Options.BBAddrMap) {
3249 CurrentFnBegin = createTempSymbol("func_begin");
3250 if (NeedsLocalForSize)
3252 }
3253
3254 ORE = GetORE(MF);
3255}
3256
3257namespace {
3258
3259// Keep track the alignment, constpool entries per Section.
3260 struct SectionCPs {
3261 MCSection *S;
3262 Align Alignment;
3264
3265 SectionCPs(MCSection *s, Align a) : S(s), Alignment(a) {}
3266 };
3267
3268} // end anonymous namespace
3269
3271 if (TM.Options.EnableStaticDataPartitioning && C && SDPI && PSI)
3272 return SDPI->getConstantSectionPrefix(C, PSI);
3273
3274 return "";
3275}
3276
3277/// EmitConstantPool - Print to the current output stream assembly
3278/// representations of the constants in the constant pool MCP. This is
3279/// used to print out constants which have been "spilled to memory" by
3280/// the code generator.
3282 const MachineConstantPool *MCP = MF->getConstantPool();
3283 const std::vector<MachineConstantPoolEntry> &CP = MCP->getConstants();
3284 if (CP.empty()) return;
3285
3286 // Calculate sections for constant pool entries. We collect entries to go into
3287 // the same section together to reduce amount of section switch statements.
3288 SmallVector<SectionCPs, 4> CPSections;
3289 for (unsigned i = 0, e = CP.size(); i != e; ++i) {
3290 const MachineConstantPoolEntry &CPE = CP[i];
3291 Align Alignment = CPE.getAlign();
3292
3294
3295 const Constant *C = nullptr;
3296 if (!CPE.isMachineConstantPoolEntry())
3297 C = CPE.Val.ConstVal;
3298
3300 getDataLayout(), Kind, C, Alignment, &MF->getFunction(),
3302
3303 // The number of sections are small, just do a linear search from the
3304 // last section to the first.
3305 bool Found = false;
3306 unsigned SecIdx = CPSections.size();
3307 while (SecIdx != 0) {
3308 if (CPSections[--SecIdx].S == S) {
3309 Found = true;
3310 break;
3311 }
3312 }
3313 if (!Found) {
3314 SecIdx = CPSections.size();
3315 CPSections.push_back(SectionCPs(S, Alignment));
3316 }
3317
3318 if (Alignment > CPSections[SecIdx].Alignment)
3319 CPSections[SecIdx].Alignment = Alignment;
3320 CPSections[SecIdx].CPEs.push_back(i);
3321 }
3322
3323 // Now print stuff into the calculated sections.
3324 const MCSection *CurSection = nullptr;
3325 unsigned Offset = 0;
3326 for (const SectionCPs &CPSection : CPSections) {
3327 for (unsigned CPI : CPSection.CPEs) {
3328 MCSymbol *Sym = GetCPISymbol(CPI);
3329 if (!Sym->isUndefined())
3330 continue;
3331
3332 if (CurSection != CPSection.S) {
3333 OutStreamer->switchSection(CPSection.S);
3334 emitAlignment(Align(CPSection.Alignment));
3335 CurSection = CPSection.S;
3336 Offset = 0;
3337 }
3338
3339 MachineConstantPoolEntry CPE = CP[CPI];
3340
3341 // Emit inter-object padding for alignment.
3342 unsigned NewOffset = alignTo(Offset, CPE.getAlign());
3343 OutStreamer->emitZeros(NewOffset - Offset);
3344
3345 if (MAI.hasDotTypeDotSizeDirective())
3346 OutStreamer->emitSymbolAttribute(Sym, MCSA_ELF_TypeObject);
3347 OutStreamer->emitLabel(Sym);
3348
3351 else
3353
3354 unsigned EntrySize = CPE.getSizeInBytes(getDataLayout());
3355 if (MAI.hasDotTypeDotSizeDirective())
3356 OutStreamer->emitELFSize(Sym,
3358
3359 Offset = NewOffset + EntrySize;
3360 }
3361 }
3362}
3363
3364// Print assembly representations of the jump tables used by the current
3365// function.
3367 const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
3368 if (!MJTI) return;
3369
3370 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
3371 if (JT.empty()) return;
3372
3373 if (!TM.Options.EnableStaticDataPartitioning) {
3374 emitJumpTableImpl(*MJTI, llvm::to_vector(llvm::seq<unsigned>(JT.size())));
3375 return;
3376 }
3377
3378 SmallVector<unsigned> HotJumpTableIndices, ColdJumpTableIndices;
3379 // When static data partitioning is enabled, collect jump table entries that
3380 // go into the same section together to reduce the amount of section switch
3381 // statements.
3382 for (unsigned JTI = 0, JTSize = JT.size(); JTI < JTSize; ++JTI) {
3383 if (JT[JTI].Hotness == MachineFunctionDataHotness::Cold) {
3384 ColdJumpTableIndices.push_back(JTI);
3385 } else {
3386 HotJumpTableIndices.push_back(JTI);
3387 }
3388 }
3389
3390 emitJumpTableImpl(*MJTI, HotJumpTableIndices);
3391 emitJumpTableImpl(*MJTI, ColdJumpTableIndices);
3392}
3393
3394void AsmPrinter::emitJumpTableImpl(const MachineJumpTableInfo &MJTI,
3395 ArrayRef<unsigned> JumpTableIndices) {
3397 JumpTableIndices.empty())
3398 return;
3399
3401 const Function &F = MF->getFunction();
3402 const std::vector<MachineJumpTableEntry> &JT = MJTI.getJumpTables();
3403 MCSection *JumpTableSection = nullptr;
3404
3405 const bool UseLabelDifference =
3408 // Pick the directive to use to print the jump table entries, and switch to
3409 // the appropriate section.
3410 const bool JTInDiffSection =
3411 !TLOF.shouldPutJumpTableInFunctionSection(UseLabelDifference, F);
3412 if (JTInDiffSection) {
3414 JumpTableSection =
3415 TLOF.getSectionForJumpTable(F, TM, &JT[JumpTableIndices.front()]);
3416 } else {
3417 JumpTableSection = TLOF.getSectionForJumpTable(F, TM);
3418 }
3419 OutStreamer->switchSection(JumpTableSection);
3420 }
3421
3422 const DataLayout &DL = MF->getDataLayout();
3424
3425 // Jump tables in code sections are marked with a data_region directive
3426 // where that's supported.
3427 if (!JTInDiffSection)
3428 OutStreamer->emitDataRegion(MCDR_DataRegionJT32);
3429
3430 for (const unsigned JumpTableIndex : JumpTableIndices) {
3431 ArrayRef<MachineBasicBlock *> JTBBs = JT[JumpTableIndex].MBBs;
3432
3433 // If this jump table was deleted, ignore it.
3434 if (JTBBs.empty())
3435 continue;
3436
3437 // For the EK_LabelDifference32 entry, if using .set avoids a relocation,
3438 /// emit a .set directive for each unique entry.
3440 MAI.doesSetDirectiveSuppressReloc()) {
3441 SmallPtrSet<const MachineBasicBlock *, 16> EmittedSets;
3442 const TargetLowering *TLI = MF->getSubtarget().getTargetLowering();
3443 const MCExpr *Base =
3444 TLI->getPICJumpTableRelocBaseExpr(MF, JumpTableIndex, OutContext);
3445 for (const MachineBasicBlock *MBB : JTBBs) {
3446 if (!EmittedSets.insert(MBB).second)
3447 continue;
3448
3449 // .set LJTSet, LBB32-base
3450 const MCExpr *LHS =
3452 OutStreamer->emitAssignment(
3453 GetJTSetSymbol(JumpTableIndex, MBB->getNumber()),
3455 }
3456 }
3457
3458 // On some targets (e.g. Darwin) we want to emit two consecutive labels
3459 // before each jump table. The first label is never referenced, but tells
3460 // the assembler and linker the extents of the jump table object. The
3461 // second label is actually referenced by the code.
3462 if (JTInDiffSection && DL.hasLinkerPrivateGlobalPrefix())
3463 // FIXME: This doesn't have to have any specific name, just any randomly
3464 // named and numbered local label started with 'l' would work. Simplify
3465 // GetJTISymbol.
3466 OutStreamer->emitLabel(GetJTISymbol(JumpTableIndex, true));
3467
3468 MCSymbol *JTISymbol = GetJTISymbol(JumpTableIndex);
3469 if (JTInDiffSection && MAI.hasDotTypeDotSizeDirective())
3470 OutStreamer->emitSymbolAttribute(JTISymbol, MCSA_ELF_TypeObject);
3471 OutStreamer->emitLabel(JTISymbol);
3472
3473 // Defer MCAssembler based constant folding due to a performance issue. The
3474 // label differences will be evaluated at write time.
3475 for (const MachineBasicBlock *MBB : JTBBs)
3476 emitJumpTableEntry(MJTI, MBB, JumpTableIndex);
3477
3478 if (JTInDiffSection && MAI.hasDotTypeDotSizeDirective())
3479 OutStreamer->emitELFSize(
3480 JTISymbol, MCConstantExpr::create(
3481 JTBBs.size() * MJTI.getEntrySize(DL), OutContext));
3482 }
3483
3485 emitJumpTableSizesSection(MJTI, MF->getFunction());
3486
3487 if (!JTInDiffSection)
3488 OutStreamer->emitDataRegion(MCDR_DataRegionEnd);
3489}
3490
3491void AsmPrinter::emitJumpTableSizesSection(const MachineJumpTableInfo &MJTI,
3492 const Function &F) const {
3493 const std::vector<MachineJumpTableEntry> &JT = MJTI.getJumpTables();
3494
3495 if (JT.empty())
3496 return;
3497
3498 StringRef GroupName = F.hasComdat() ? F.getComdat()->getName() : "";
3499 MCSection *JumpTableSizesSection = nullptr;
3500 StringRef sectionName = ".llvm_jump_table_sizes";
3501
3502 bool isElf = TM.getTargetTriple().isOSBinFormatELF();
3503 bool isCoff = TM.getTargetTriple().isOSBinFormatCOFF();
3504
3505 if (!isCoff && !isElf)
3506 return;
3507
3508 if (isElf) {
3509 auto *LinkedToSym = static_cast<MCSymbolELF *>(CurrentFnSym);
3510 int Flags = F.hasComdat() ? static_cast<int>(ELF::SHF_GROUP) : 0;
3511
3512 JumpTableSizesSection = OutContext.getELFSection(
3513 sectionName, ELF::SHT_LLVM_JT_SIZES, Flags, 0, GroupName, F.hasComdat(),
3514 MCSection::NonUniqueID, LinkedToSym);
3515 } else if (isCoff) {
3516 if (F.hasComdat()) {
3517 JumpTableSizesSection = OutContext.getCOFFSection(
3518 sectionName,
3521 F.getComdat()->getName(), COFF::IMAGE_COMDAT_SELECT_ASSOCIATIVE);
3522 } else {
3523 JumpTableSizesSection = OutContext.getCOFFSection(
3527 }
3528 }
3529
3530 OutStreamer->switchSection(JumpTableSizesSection);
3531
3532 for (unsigned JTI = 0, E = JT.size(); JTI != E; ++JTI) {
3533 const std::vector<MachineBasicBlock *> &JTBBs = JT[JTI].MBBs;
3534 OutStreamer->emitSymbolValue(GetJTISymbol(JTI), TM.getProgramPointerSize());
3535 OutStreamer->emitIntValue(JTBBs.size(), TM.getProgramPointerSize());
3536 }
3537}
3538
3539/// EmitJumpTableEntry - Emit a jump table entry for the specified MBB to the
3540/// current stream.
3542 const MachineBasicBlock *MBB,
3543 unsigned UID) const {
3544 assert(MBB && MBB->getNumber() >= 0 && "Invalid basic block");
3545 const MCExpr *Value = nullptr;
3546 switch (MJTI.getEntryKind()) {
3548 llvm_unreachable("Cannot emit EK_Inline jump table entry");
3551 llvm_unreachable("MIPS specific");
3553 Value = MF->getSubtarget().getTargetLowering()->LowerCustomJumpTableEntry(
3554 &MJTI, MBB, UID, OutContext);
3555 break;
3557 // EK_BlockAddress - Each entry is a plain address of block, e.g.:
3558 // .word LBB123
3560 break;
3561
3564 // Each entry is the address of the block minus the address of the jump
3565 // table. This is used for PIC jump tables where gprel32 is not supported.
3566 // e.g.:
3567 // .word LBB123 - LJTI1_2
3568 // If the .set directive avoids relocations, this is emitted as:
3569 // .set L4_5_set_123, LBB123 - LJTI1_2
3570 // .word L4_5_set_123
3572 MAI.doesSetDirectiveSuppressReloc()) {
3573 Value = MCSymbolRefExpr::create(GetJTSetSymbol(UID, MBB->getNumber()),
3574 OutContext);
3575 break;
3576 }
3578 const TargetLowering *TLI = MF->getSubtarget().getTargetLowering();
3581 break;
3582 }
3583 }
3584
3585 assert(Value && "Unknown entry kind!");
3586
3587 unsigned EntrySize = MJTI.getEntrySize(getDataLayout());
3588 OutStreamer->emitValue(Value, EntrySize);
3589}
3590
3591/// EmitSpecialLLVMGlobal - Check to see if the specified global is a
3592/// special global used by LLVM. If so, emit it and return true, otherwise
3593/// do nothing and return false.
3595 if (GV->getName() == "llvm.used") {
3596 if (MAI.hasNoDeadStrip()) // No need to emit this at all.
3597 emitLLVMUsedList(cast<ConstantArray>(GV->getInitializer()));
3598 return true;
3599 }
3600
3601 // Ignore debug and non-emitted data. This handles llvm.compiler.used.
3602 if (GV->getSection() == "llvm.metadata" ||
3604 return true;
3605
3606 if (GV->getName() == "llvm.arm64ec.symbolmap") {
3607 // For ARM64EC, print the table that maps between symbols and the
3608 // corresponding thunks to translate between x64 and AArch64 code.
3609 // This table is generated by AArch64Arm64ECCallLowering.
3610 OutStreamer->switchSection(
3611 OutContext.getCOFFSection(".hybmp$x", COFF::IMAGE_SCN_LNK_INFO));
3612 auto *Arr = cast<ConstantArray>(GV->getInitializer());
3613 for (auto &U : Arr->operands()) {
3614 auto *C = cast<Constant>(U);
3615 auto *Src = cast<GlobalValue>(C->getOperand(0)->stripPointerCasts());
3616 auto *Dst = cast<GlobalValue>(C->getOperand(1)->stripPointerCasts());
3617 int Kind = cast<ConstantInt>(C->getOperand(2))->getZExtValue();
3618
3619 if (Src->hasDLLImportStorageClass()) {
3620 // For now, we assume dllimport functions aren't directly called.
3621 // (We might change this later to match MSVC.)
3622 OutStreamer->emitCOFFSymbolIndex(
3623 OutContext.getOrCreateSymbol("__imp_" + Src->getName()));
3624 OutStreamer->emitCOFFSymbolIndex(getSymbol(Dst));
3625 OutStreamer->emitInt32(Kind);
3626 } else {
3627 // FIXME: For non-dllimport functions, MSVC emits the same entry
3628 // twice, for reasons I don't understand. I have to assume the linker
3629 // ignores the redundant entry; there aren't any reasonable semantics
3630 // to attach to it.
3631 OutStreamer->emitCOFFSymbolIndex(getSymbol(Src));
3632 OutStreamer->emitCOFFSymbolIndex(getSymbol(Dst));
3633 OutStreamer->emitInt32(Kind);
3634 }
3635 }
3636 return true;
3637 }
3638
3639 if (!GV->hasAppendingLinkage()) return false;
3640
3641 assert(GV->hasInitializer() && "Not a special LLVM global!");
3642
3643 if (GV->getName() == "llvm.global_ctors") {
3645 /* isCtor */ true);
3646
3647 return true;
3648 }
3649
3650 if (GV->getName() == "llvm.global_dtors") {
3652 /* isCtor */ false);
3653
3654 return true;
3655 }
3656
3657 GV->getContext().emitError(
3658 "unknown special variable with appending linkage: " +
3659 GV->getNameOrAsOperand());
3660 return true;
3661}
3662
3663/// EmitLLVMUsedList - For targets that define a MAI::UsedDirective, mark each
3664/// global in the specified llvm.used list.
3665void AsmPrinter::emitLLVMUsedList(const ConstantArray *InitList) {
3666 // Should be an array of 'i8*'.
3667 for (unsigned i = 0, e = InitList->getNumOperands(); i != e; ++i) {
3668 const GlobalValue *GV =
3670 if (GV)
3671 OutStreamer->emitSymbolAttribute(getSymbol(GV), MCSA_NoDeadStrip);
3672 }
3673}
3674
3676 const Constant *List,
3677 SmallVector<Structor, 8> &Structors) {
3678 // Should be an array of '{ i32, void ()*, i8* }' structs. The first value is
3679 // the init priority.
3681 return;
3682
3683 // Gather the structors in a form that's convenient for sorting by priority.
3684 for (Value *O : cast<ConstantArray>(List)->operands()) {
3685 auto *CS = cast<ConstantStruct>(O);
3686 if (CS->getOperand(1)->isNullValue())
3687 break; // Found a null terminator, skip the rest.
3688 ConstantInt *Priority = dyn_cast<ConstantInt>(CS->getOperand(0));
3689 if (!Priority)
3690 continue; // Malformed.
3691 Structors.push_back(Structor());
3692 Structor &S = Structors.back();
3693 S.Priority = Priority->getLimitedValue(65535);
3694 S.Func = CS->getOperand(1);
3695 if (!CS->getOperand(2)->isNullValue()) {
3696 if (TM.getTargetTriple().isOSAIX()) {
3697 CS->getContext().emitError(
3698 "associated data of XXStructor list is not yet supported on AIX");
3699 }
3700
3701 S.ComdatKey =
3702 dyn_cast<GlobalValue>(CS->getOperand(2)->stripPointerCasts());
3703 }
3704 }
3705
3706 // Emit the function pointers in the target-specific order
3707 llvm::stable_sort(Structors, [](const Structor &L, const Structor &R) {
3708 return L.Priority < R.Priority;
3709 });
3710}
3711
3712/// EmitXXStructorList - Emit the ctor or dtor list taking into account the init
3713/// priority.
3715 bool IsCtor) {
3716 SmallVector<Structor, 8> Structors;
3717 preprocessXXStructorList(DL, List, Structors);
3718 if (Structors.empty())
3719 return;
3720
3721 // Emit the structors in reverse order if we are using the .ctor/.dtor
3722 // initialization scheme.
3723 if (!TM.Options.UseInitArray)
3724 std::reverse(Structors.begin(), Structors.end());
3725
3726 const Align Align = DL.getPointerPrefAlignment(DL.getProgramAddressSpace());
3727 for (Structor &S : Structors) {
3729 const MCSymbol *KeySym = nullptr;
3730 if (GlobalValue *GV = S.ComdatKey) {
3731 if (GV->isDeclarationForLinker())
3732 // If the associated variable is not defined in this module
3733 // (it might be available_externally, or have been an
3734 // available_externally definition that was dropped by the
3735 // EliminateAvailableExternally pass), some other TU
3736 // will provide its dynamic initializer.
3737 continue;
3738
3739 KeySym = getSymbol(GV);
3740 }
3741
3742 MCSection *OutputSection =
3743 (IsCtor ? Obj.getStaticCtorSection(S.Priority, KeySym)
3744 : Obj.getStaticDtorSection(S.Priority, KeySym));
3745 OutStreamer->switchSection(OutputSection);
3746 if (OutStreamer->getCurrentSection() != OutStreamer->getPreviousSection())
3748 emitXXStructor(DL, S.Func);
3749 }
3750}
3751
3752void AsmPrinter::emitModuleIdents(Module &M) {
3753 if (!MAI.hasIdentDirective())
3754 return;
3755
3756 if (const NamedMDNode *NMD = M.getNamedMetadata("llvm.ident")) {
3757 for (const MDNode *N : NMD->operands()) {
3758 assert(N->getNumOperands() == 1 &&
3759 "llvm.ident metadata entry can have only one operand");
3760 const MDString *S = cast<MDString>(N->getOperand(0));
3761 OutStreamer->emitIdent(S->getString());
3762 }
3763 }
3764}
3765
3766void AsmPrinter::emitModuleCommandLines(Module &M) {
3767 MCSection *CommandLine = getObjFileLowering().getSectionForCommandLines();
3768 if (!CommandLine)
3769 return;
3770
3771 const NamedMDNode *NMD = M.getNamedMetadata("llvm.commandline");
3772 if (!NMD || !NMD->getNumOperands())
3773 return;
3774
3775 OutStreamer->pushSection();
3776 OutStreamer->switchSection(CommandLine);
3777 OutStreamer->emitZeros(1);
3778 for (const MDNode *N : NMD->operands()) {
3779 assert(N->getNumOperands() == 1 &&
3780 "llvm.commandline metadata entry can have only one operand");
3781 const MDString *S = cast<MDString>(N->getOperand(0));
3782 OutStreamer->emitBytes(S->getString());
3783 OutStreamer->emitZeros(1);
3784 }
3785 OutStreamer->popSection();
3786}
3787
3788//===--------------------------------------------------------------------===//
3789// Emission and print routines
3790//
3791
3792/// Emit a byte directive and value.
3793///
3794void AsmPrinter::emitInt8(int Value) const { OutStreamer->emitInt8(Value); }
3795
3796/// Emit a short directive and value.
3797void AsmPrinter::emitInt16(int Value) const { OutStreamer->emitInt16(Value); }
3798
3799/// Emit a long directive and value.
3800void AsmPrinter::emitInt32(int Value) const { OutStreamer->emitInt32(Value); }
3801
3802/// EmitSLEB128 - emit the specified signed leb128 value.
3803void AsmPrinter::emitSLEB128(int64_t Value, const char *Desc) const {
3804 if (isVerbose() && Desc)
3805 OutStreamer->AddComment(Desc);
3806
3807 OutStreamer->emitSLEB128IntValue(Value);
3808}
3809
3811 unsigned PadTo) const {
3812 if (isVerbose() && Desc)
3813 OutStreamer->AddComment(Desc);
3814
3815 OutStreamer->emitULEB128IntValue(Value, PadTo);
3816}
3817
3818/// Emit a long long directive and value.
3820 OutStreamer->emitInt64(Value);
3821}
3822
3823/// Emit something like ".long Hi-Lo" where the size in bytes of the directive
3824/// is specified by Size and Hi/Lo specify the labels. This implicitly uses
3825/// .set if it avoids relocations.
3827 unsigned Size) const {
3828 OutStreamer->emitAbsoluteSymbolDiff(Hi, Lo, Size);
3829}
3830
3831/// Emit something like ".uleb128 Hi-Lo".
3833 const MCSymbol *Lo) const {
3834 OutStreamer->emitAbsoluteSymbolDiffAsULEB128(Hi, Lo);
3835}
3836
3837/// EmitLabelPlusOffset - Emit something like ".long Label+Offset"
3838/// where the size in bytes of the directive is specified by Size and Label
3839/// specifies the label. This implicitly uses .set if it is available.
3841 unsigned Size,
3842 bool IsSectionRelative) const {
3843 if (MAI.needsDwarfSectionOffsetDirective() && IsSectionRelative) {
3844 OutStreamer->emitCOFFSecRel32(Label, Offset);
3845 if (Size > 4)
3846 OutStreamer->emitZeros(Size - 4);
3847 return;
3848 }
3849
3850 // Emit Label+Offset (or just Label if Offset is zero)
3851 const MCExpr *Expr = MCSymbolRefExpr::create(Label, OutContext);
3852 if (Offset)
3855
3856 OutStreamer->emitValue(Expr, Size);
3857}
3858
3859//===----------------------------------------------------------------------===//
3860
3861// EmitAlignment - Emit an alignment directive to the specified power of
3862// two boundary. If a global value is specified, and if that global has
3863// an explicit alignment requested, it will override the alignment request
3864// if required for correctness.
3866 unsigned MaxBytesToEmit) const {
3867 if (GV)
3868 Alignment = getGVAlignment(GV, GV->getDataLayout(), Alignment);
3869
3870 if (Alignment == Align(1))
3871 return Alignment; // 1-byte aligned: no need to emit alignment.
3872
3873 if (getCurrentSection()->isText()) {
3874 const MCSubtargetInfo *STI = nullptr;
3875 if (this->MF)
3876 STI = &getSubtargetInfo();
3877 else
3878 STI = &TM.getMCSubtargetInfo();
3879 OutStreamer->emitCodeAlignment(Alignment, *STI, MaxBytesToEmit);
3880 } else
3881 OutStreamer->emitValueToAlignment(Alignment, 0, 1, MaxBytesToEmit);
3882 return Alignment;
3883}
3884
3885//===----------------------------------------------------------------------===//
3886// Constant emission.
3887//===----------------------------------------------------------------------===//
3888
3890 const Constant *BaseCV,
3891 uint64_t Offset) {
3892 MCContext &Ctx = OutContext;
3893
3894 if (CV->isNullValue() || isa<UndefValue>(CV))
3895 return MCConstantExpr::create(0, Ctx);
3896
3897 if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV))
3898 return MCConstantExpr::create(CI->getZExtValue(), Ctx);
3899
3900 if (const ConstantByte *CB = dyn_cast<ConstantByte>(CV))
3901 return MCConstantExpr::create(CB->getZExtValue(), Ctx);
3902
3903 if (const ConstantPtrAuth *CPA = dyn_cast<ConstantPtrAuth>(CV))
3904 return lowerConstantPtrAuth(*CPA);
3905
3906 if (const GlobalValue *GV = dyn_cast<GlobalValue>(CV))
3907 return MCSymbolRefExpr::create(getSymbol(GV), Ctx);
3908
3909 if (const BlockAddress *BA = dyn_cast<BlockAddress>(CV))
3910 return lowerBlockAddressConstant(*BA);
3911
3912 if (const auto *Equiv = dyn_cast<DSOLocalEquivalent>(CV))
3914 getSymbol(Equiv->getGlobalValue()), nullptr, 0, std::nullopt, TM);
3915
3916 if (const NoCFIValue *NC = dyn_cast<NoCFIValue>(CV))
3917 return MCSymbolRefExpr::create(getSymbol(NC->getGlobalValue()), Ctx);
3918
3919 const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV);
3920 if (!CE) {
3921 llvm_unreachable("Unknown constant value to lower!");
3922 }
3923
3924 // The constant expression opcodes are limited to those that are necessary
3925 // to represent relocations on supported targets. Expressions involving only
3926 // constant addresses are constant folded instead.
3927 switch (CE->getOpcode()) {
3928 default:
3929 break; // Error
3930 case Instruction::AddrSpaceCast: {
3931 const Constant *Op = CE->getOperand(0);
3932 unsigned DstAS = CE->getType()->getPointerAddressSpace();
3933 unsigned SrcAS = Op->getType()->getPointerAddressSpace();
3934 if (TM.isNoopAddrSpaceCast(SrcAS, DstAS))
3935 return lowerConstant(Op);
3936
3937 break; // Error
3938 }
3939 case Instruction::GetElementPtr: {
3940 // Generate a symbolic expression for the byte address
3941 APInt OffsetAI(getDataLayout().getPointerTypeSizeInBits(CE->getType()), 0);
3942 cast<GEPOperator>(CE)->accumulateConstantOffset(getDataLayout(), OffsetAI);
3943
3944 const MCExpr *Base = lowerConstant(CE->getOperand(0));
3945 if (!OffsetAI)
3946 return Base;
3947
3948 int64_t Offset = OffsetAI.getSExtValue();
3950 Ctx);
3951 }
3952
3953 case Instruction::Trunc:
3954 // We emit the value and depend on the assembler to truncate the generated
3955 // expression properly. This is important for differences between
3956 // blockaddress labels. Since the two labels are in the same function, it
3957 // is reasonable to treat their delta as a 32-bit value.
3958 [[fallthrough]];
3959 case Instruction::BitCast:
3960 return lowerConstant(CE->getOperand(0), BaseCV, Offset);
3961
3962 case Instruction::IntToPtr: {
3963 const DataLayout &DL = getDataLayout();
3964
3965 // Handle casts to pointers by changing them into casts to the appropriate
3966 // integer type. This promotes constant folding and simplifies this code.
3967 Constant *Op = CE->getOperand(0);
3968 Op = ConstantFoldIntegerCast(Op, DL.getIntPtrType(CV->getType()),
3969 /*IsSigned*/ false, DL);
3970 if (Op)
3971 return lowerConstant(Op);
3972
3973 break; // Error
3974 }
3975
3976 case Instruction::PtrToAddr:
3977 case Instruction::PtrToInt: {
3978 const DataLayout &DL = getDataLayout();
3979
3980 // Support only foldable casts to/from pointers that can be eliminated by
3981 // changing the pointer to the appropriately sized integer type.
3982 Constant *Op = CE->getOperand(0);
3983 Type *Ty = CE->getType();
3984
3985 const MCExpr *OpExpr = lowerConstant(Op);
3986
3987 // We can emit the pointer value into this slot if the slot is an
3988 // integer slot equal to the size of the pointer.
3989 //
3990 // If the pointer is larger than the resultant integer, then
3991 // as with Trunc just depend on the assembler to truncate it.
3992 if (DL.getTypeAllocSize(Ty).getFixedValue() <=
3993 DL.getTypeAllocSize(Op->getType()).getFixedValue())
3994 return OpExpr;
3995
3996 break; // Error
3997 }
3998
3999 case Instruction::Sub: {
4000 GlobalValue *LHSGV, *RHSGV;
4001 APInt LHSOffset, RHSOffset;
4002 DSOLocalEquivalent *DSOEquiv;
4003 if (IsConstantOffsetFromGlobal(CE->getOperand(0), LHSGV, LHSOffset,
4004 getDataLayout(), &DSOEquiv) &&
4005 IsConstantOffsetFromGlobal(CE->getOperand(1), RHSGV, RHSOffset,
4006 getDataLayout())) {
4007 auto *LHSSym = getSymbol(LHSGV);
4008 auto *RHSSym = getSymbol(RHSGV);
4009 int64_t Addend = (LHSOffset - RHSOffset).getSExtValue();
4010 std::optional<int64_t> PCRelativeOffset;
4011 if (getObjFileLowering().hasPLTPCRelative() && RHSGV == BaseCV)
4012 PCRelativeOffset = Offset;
4013
4014 // Try the generic symbol difference first.
4016 LHSGV, RHSGV, Addend, PCRelativeOffset, TM);
4017
4018 // (ELF-specific) If the generic symbol difference does not apply, and
4019 // LHS is a dso_local_equivalent of a function, reference the PLT entry
4020 // instead. Note: A default visibility symbol is by default preemptible
4021 // during linking, and should not be referenced with PC-relative
4022 // relocations. Therefore, use a PLT relocation even if the function is
4023 // dso_local.
4024 if (DSOEquiv && TM.getTargetTriple().isOSBinFormatELF())
4026 LHSSym, RHSSym, Addend, PCRelativeOffset, TM);
4027
4028 // Otherwise, return LHS-RHS+Addend.
4029 if (!Res) {
4030 Res =
4032 MCSymbolRefExpr::create(RHSSym, Ctx), Ctx);
4033 if (Addend != 0)
4035 Res, MCConstantExpr::create(Addend, Ctx), Ctx);
4036 }
4037 return Res;
4038 }
4039
4040 const MCExpr *LHS = lowerConstant(CE->getOperand(0));
4041 const MCExpr *RHS = lowerConstant(CE->getOperand(1));
4042 return MCBinaryExpr::createSub(LHS, RHS, Ctx);
4043 break;
4044 }
4045
4046 case Instruction::Add: {
4047 const MCExpr *LHS = lowerConstant(CE->getOperand(0));
4048 const MCExpr *RHS = lowerConstant(CE->getOperand(1));
4049 return MCBinaryExpr::createAdd(LHS, RHS, Ctx);
4050 }
4051 }
4052
4053 // If the code isn't optimized, there may be outstanding folding
4054 // opportunities. Attempt to fold the expression using DataLayout as a
4055 // last resort before giving up.
4057 if (C != CE)
4058 return lowerConstant(C);
4059
4060 // Otherwise report the problem to the user.
4061 std::string S;
4062 raw_string_ostream OS(S);
4063 OS << "unsupported expression in static initializer: ";
4064 CE->printAsOperand(OS, /*PrintType=*/false,
4065 !MF ? nullptr : MF->getFunction().getParent());
4066 CE->getContext().emitError(S);
4067 return MCConstantExpr::create(0, Ctx);
4068}
4069
4070static void emitGlobalConstantImpl(const DataLayout &DL, const Constant *C,
4071 AsmPrinter &AP,
4072 const Constant *BaseCV = nullptr,
4073 uint64_t Offset = 0,
4074 AsmPrinter::AliasMapTy *AliasList = nullptr);
4075
4076static void emitGlobalConstantFP(const ConstantFP *CFP, AsmPrinter &AP);
4077static void emitGlobalConstantFP(APFloat APF, Type *ET, AsmPrinter &AP);
4078
4079/// isRepeatedByteSequence - Determine whether the given value is
4080/// composed of a repeated sequence of identical bytes and return the
4081/// byte value. If it is not a repeated sequence, return -1.
4083 StringRef Data = V->getRawDataValues();
4084 assert(!Data.empty() && "Empty aggregates should be CAZ node");
4085 char C = Data[0];
4086 for (unsigned i = 1, e = Data.size(); i != e; ++i)
4087 if (Data[i] != C) return -1;
4088 return static_cast<uint8_t>(C); // Ensure 255 is not returned as -1.
4089}
4090
4091/// isRepeatedByteSequence - Determine whether the given value is
4092/// composed of a repeated sequence of identical bytes and return the
4093/// byte value. If it is not a repeated sequence, return -1.
4094static int isRepeatedByteSequence(const Value *V, const DataLayout &DL) {
4095 if (const ConstantInt *CI = dyn_cast<ConstantInt>(V)) {
4096 uint64_t Size = DL.getTypeAllocSizeInBits(V->getType());
4097 assert(Size % 8 == 0);
4098
4099 // Extend the element to take zero padding into account.
4100 APInt Value = CI->getValue().zext(Size);
4101 if (!Value.isSplat(8))
4102 return -1;
4103
4104 return Value.zextOrTrunc(8).getZExtValue();
4105 }
4106 if (const ConstantArray *CA = dyn_cast<ConstantArray>(V)) {
4107 // Make sure all array elements are sequences of the same repeated
4108 // byte.
4109 assert(CA->getNumOperands() != 0 && "Should be a CAZ");
4110 Constant *Op0 = CA->getOperand(0);
4111 int Byte = isRepeatedByteSequence(Op0, DL);
4112 if (Byte == -1)
4113 return -1;
4114
4115 // All array elements must be equal.
4116 for (unsigned i = 1, e = CA->getNumOperands(); i != e; ++i)
4117 if (CA->getOperand(i) != Op0)
4118 return -1;
4119 return Byte;
4120 }
4121
4123 return isRepeatedByteSequence(CDS);
4124
4125 return -1;
4126}
4127
4129 AsmPrinter::AliasMapTy *AliasList) {
4130 if (AliasList) {
4131 auto AliasIt = AliasList->find(Offset);
4132 if (AliasIt != AliasList->end()) {
4133 for (const GlobalAlias *GA : AliasIt->second)
4134 AP.OutStreamer->emitLabel(AP.getSymbol(GA));
4135 AliasList->erase(Offset);
4136 }
4137 }
4138}
4139
4141 const DataLayout &DL, const ConstantDataSequential *CDS, AsmPrinter &AP,
4142 AsmPrinter::AliasMapTy *AliasList) {
4143 // See if we can aggregate this into a .fill, if so, emit it as such.
4144 int Value = isRepeatedByteSequence(CDS, DL);
4145 if (Value != -1) {
4146 uint64_t Bytes = DL.getTypeAllocSize(CDS->getType());
4147 // Don't emit a 1-byte object as a .fill.
4148 if (Bytes > 1)
4149 return AP.OutStreamer->emitFill(Bytes, Value);
4150 }
4151
4152 // If this can be emitted with .ascii/.asciz, emit it as such.
4153 if (CDS->isString())
4154 return AP.OutStreamer->emitBytes(CDS->getAsString());
4155
4156 // Otherwise, emit the values in successive locations.
4157 uint64_t ElementByteSize = CDS->getElementByteSize();
4158 if (isa<IntegerType>(CDS->getElementType()) ||
4159 isa<ByteType>(CDS->getElementType())) {
4160 for (uint64_t I = 0, E = CDS->getNumElements(); I != E; ++I) {
4161 emitGlobalAliasInline(AP, ElementByteSize * I, AliasList);
4162 if (AP.isVerbose())
4163 AP.OutStreamer->getCommentOS()
4164 << format("0x%" PRIx64 "\n", CDS->getElementAsInteger(I));
4165 AP.OutStreamer->emitIntValue(CDS->getElementAsInteger(I),
4166 ElementByteSize);
4167 }
4168 } else {
4169 Type *ET = CDS->getElementType();
4170 for (uint64_t I = 0, E = CDS->getNumElements(); I != E; ++I) {
4171 emitGlobalAliasInline(AP, ElementByteSize * I, AliasList);
4173 }
4174 }
4175
4176 unsigned Size = DL.getTypeAllocSize(CDS->getType());
4177 unsigned EmittedSize =
4178 DL.getTypeAllocSize(CDS->getElementType()) * CDS->getNumElements();
4179 assert(EmittedSize <= Size && "Size cannot be less than EmittedSize!");
4180 if (unsigned Padding = Size - EmittedSize)
4181 AP.OutStreamer->emitZeros(Padding);
4182}
4183
4185 const ConstantArray *CA, AsmPrinter &AP,
4186 const Constant *BaseCV, uint64_t Offset,
4187 AsmPrinter::AliasMapTy *AliasList) {
4188 // See if we can aggregate some values. Make sure it can be
4189 // represented as a series of bytes of the constant value.
4190 int Value = isRepeatedByteSequence(CA, DL);
4191
4192 if (Value != -1) {
4193 uint64_t Bytes = DL.getTypeAllocSize(CA->getType());
4194 AP.OutStreamer->emitFill(Bytes, Value);
4195 } else {
4196 for (unsigned I = 0, E = CA->getNumOperands(); I != E; ++I) {
4197 emitGlobalConstantImpl(DL, CA->getOperand(I), AP, BaseCV, Offset,
4198 AliasList);
4199 Offset += DL.getTypeAllocSize(CA->getOperand(I)->getType());
4200 }
4201 }
4202}
4203
4204static void emitGlobalConstantLargeInt(const ConstantInt *CI, AsmPrinter &AP);
4205
4206static void emitGlobalConstantVector(const DataLayout &DL, const Constant *CV,
4207 AsmPrinter &AP,
4208 AsmPrinter::AliasMapTy *AliasList) {
4209 uint64_t AllocSize = DL.getTypeAllocSize(CV->getType());
4210
4211 if (CV->isNullValue())
4212 return AP.OutStreamer->emitZeros(AllocSize);
4213
4214 auto *VTy = cast<FixedVectorType>(CV->getType());
4215 Type *ElementType = VTy->getElementType();
4216 uint64_t ElementSizeInBits = DL.getTypeSizeInBits(ElementType);
4217 uint64_t ElementAllocSizeInBits = DL.getTypeAllocSizeInBits(ElementType);
4218 uint64_t EmittedSize;
4219 if (ElementSizeInBits != ElementAllocSizeInBits) {
4220 // If the allocation size of an element is different from the size in bits,
4221 // printing each element separately will insert incorrect padding.
4222 //
4223 // The general algorithm here is complicated; instead of writing it out
4224 // here, just use the existing code in ConstantFolding.
4225 Type *IntT =
4226 IntegerType::get(CV->getContext(), DL.getTypeSizeInBits(CV->getType()));
4228 ConstantExpr::getBitCast(const_cast<Constant *>(CV), IntT), DL));
4229 if (!CI) {
4231 "Cannot lower vector global with unusual element type");
4232 }
4233 emitGlobalAliasInline(AP, 0, AliasList);
4235 EmittedSize = DL.getTypeStoreSize(CV->getType());
4236 } else {
4237 for (unsigned I = 0, E = VTy->getNumElements(); I != E; ++I) {
4238 emitGlobalAliasInline(AP, AllocSize * I, AliasList);
4240 }
4241 EmittedSize = DL.getTypeAllocSize(ElementType) * VTy->getNumElements();
4242 }
4243
4244 if (unsigned Padding = AllocSize - EmittedSize)
4245 AP.OutStreamer->emitZeros(Padding);
4246}
4247
4249 const ConstantStruct *CS, AsmPrinter &AP,
4250 const Constant *BaseCV, uint64_t Offset,
4251 AsmPrinter::AliasMapTy *AliasList) {
4252 // Print the fields in successive locations. Pad to align if needed!
4253 uint64_t Size = DL.getTypeAllocSize(CS->getType());
4254 const StructLayout *Layout = DL.getStructLayout(CS->getType());
4255 uint64_t SizeSoFar = 0;
4256 for (unsigned I = 0, E = CS->getNumOperands(); I != E; ++I) {
4257 const Constant *Field = CS->getOperand(I);
4258
4259 // Print the actual field value.
4260 emitGlobalConstantImpl(DL, Field, AP, BaseCV, Offset + SizeSoFar,
4261 AliasList);
4262
4263 // Check if padding is needed and insert one or more 0s.
4264 uint64_t FieldSize = DL.getTypeAllocSize(Field->getType());
4265 uint64_t PadSize = ((I == E - 1 ? Size : Layout->getElementOffset(I + 1)) -
4266 Layout->getElementOffset(I)) -
4267 FieldSize;
4268 SizeSoFar += FieldSize + PadSize;
4269
4270 // Insert padding - this may include padding to increase the size of the
4271 // current field up to the ABI size (if the struct is not packed) as well
4272 // as padding to ensure that the next field starts at the right offset.
4273 AP.OutStreamer->emitZeros(PadSize);
4274 }
4275 assert(SizeSoFar == Layout->getSizeInBytes() &&
4276 "Layout of constant struct may be incorrect!");
4277}
4278
4279static void emitGlobalConstantFP(APFloat APF, Type *ET, AsmPrinter &AP) {
4280 assert(ET && "Unknown float type");
4281 APInt API = APF.bitcastToAPInt();
4282
4283 // First print a comment with what we think the original floating-point value
4284 // should have been.
4285 if (AP.isVerbose()) {
4286 SmallString<8> StrVal;
4287 APF.toString(StrVal);
4288 ET->print(AP.OutStreamer->getCommentOS());
4289 AP.OutStreamer->getCommentOS() << ' ' << StrVal << '\n';
4290 }
4291
4292 // Now iterate through the APInt chunks, emitting them in endian-correct
4293 // order, possibly with a smaller chunk at beginning/end (e.g. for x87 80-bit
4294 // floats).
4295 unsigned NumBytes = API.getBitWidth() / 8;
4296 unsigned TrailingBytes = NumBytes % sizeof(uint64_t);
4297 const uint64_t *p = API.getRawData();
4298
4299 // PPC's long double has odd notions of endianness compared to how LLVM
4300 // handles it: p[0] goes first for *big* endian on PPC.
4301 if (AP.getDataLayout().isBigEndian() && !ET->isPPC_FP128Ty()) {
4302 int Chunk = API.getNumWords() - 1;
4303
4304 if (TrailingBytes)
4305 AP.OutStreamer->emitIntValueInHexWithPadding(p[Chunk--], TrailingBytes);
4306
4307 for (; Chunk >= 0; --Chunk)
4308 AP.OutStreamer->emitIntValueInHexWithPadding(p[Chunk], sizeof(uint64_t));
4309 } else {
4310 unsigned Chunk;
4311 for (Chunk = 0; Chunk < NumBytes / sizeof(uint64_t); ++Chunk)
4312 AP.OutStreamer->emitIntValueInHexWithPadding(p[Chunk], sizeof(uint64_t));
4313
4314 if (TrailingBytes)
4315 AP.OutStreamer->emitIntValueInHexWithPadding(p[Chunk], TrailingBytes);
4316 }
4317
4318 // Emit the tail padding for the long double.
4319 const DataLayout &DL = AP.getDataLayout();
4320 AP.OutStreamer->emitZeros(DL.getTypeAllocSize(ET) - DL.getTypeStoreSize(ET));
4321}
4322
4323static void emitGlobalConstantFP(const ConstantFP *CFP, AsmPrinter &AP) {
4324 emitGlobalConstantFP(CFP->getValueAPF(), CFP->getType(), AP);
4325}
4326
4328 uint64_t TypeStoreSize,
4329 AsmPrinter &AP) {
4330 const DataLayout &DL = AP.getDataLayout();
4331 unsigned BitWidth = Val.getBitWidth();
4332
4333 // Copy the value as we may massage the layout for constants whose bit width
4334 // is not a multiple of 64-bits.
4335 APInt Realigned(Val);
4336 uint64_t ExtraBits = 0;
4337 unsigned ExtraBitsSize = BitWidth & 63;
4338
4339 if (ExtraBitsSize) {
4340 // The bit width of the data is not a multiple of 64-bits.
4341 // The extra bits are expected to be at the end of the chunk of the memory.
4342 // Little endian:
4343 // * Nothing to be done, just record the extra bits to emit.
4344 // Big endian:
4345 // * Record the extra bits to emit.
4346 // * Realign the raw data to emit the chunks of 64-bits.
4347 if (DL.isBigEndian()) {
4348 // Basically the structure of the raw data is a chunk of 64-bits cells:
4349 // 0 1 BitWidth / 64
4350 // [chunk1][chunk2] ... [chunkN].
4351 // The most significant chunk is chunkN and it should be emitted first.
4352 // However, due to the alignment issue chunkN contains useless bits.
4353 // Realign the chunks so that they contain only useful information:
4354 // ExtraBits 0 1 (BitWidth / 64) - 1
4355 // chu[nk1 chu][nk2 chu] ... [nkN-1 chunkN]
4356 ExtraBitsSize = alignTo(ExtraBitsSize, 8);
4357 ExtraBits =
4358 Realigned.getRawData()[0] & (((uint64_t)-1) >> (64 - ExtraBitsSize));
4359 if (BitWidth >= 64)
4360 Realigned.lshrInPlace(ExtraBitsSize);
4361 } else
4362 ExtraBits = Realigned.getRawData()[BitWidth / 64];
4363 }
4364
4365 // We don't expect assemblers to support data directives
4366 // for more than 64 bits, so we emit the data in at most 64-bit
4367 // quantities at a time.
4368 const uint64_t *RawData = Realigned.getRawData();
4369 for (unsigned i = 0, e = BitWidth / 64; i != e; ++i) {
4370 uint64_t ChunkVal = DL.isBigEndian() ? RawData[e - i - 1] : RawData[i];
4371 AP.OutStreamer->emitIntValue(ChunkVal, 8);
4372 }
4373
4374 if (ExtraBitsSize) {
4375 // Emit the extra bits after the 64-bits chunks.
4376
4377 // Emit a directive that fills the expected size.
4378 uint64_t Size = TypeStoreSize - (BitWidth / 64) * 8;
4379 assert(Size && Size * 8 >= ExtraBitsSize &&
4380 (ExtraBits & (((uint64_t)-1) >> (64 - ExtraBitsSize))) ==
4381 ExtraBits &&
4382 "Directive too small for extra bits.");
4383 AP.OutStreamer->emitIntValue(ExtraBits, Size);
4384 }
4385}
4386
4388 AsmPrinter &AP) {
4390 CB->getValue(), AP.getDataLayout().getTypeStoreSize(CB->getType()), AP);
4391}
4392
4397
4398/// Transform a not absolute MCExpr containing a reference to a GOT
4399/// equivalent global, by a target specific GOT pc relative access to the
4400/// final symbol.
4402 const Constant *BaseCst,
4403 uint64_t Offset) {
4404 // The global @foo below illustrates a global that uses a got equivalent.
4405 //
4406 // @bar = global i32 42
4407 // @gotequiv = private unnamed_addr constant i32* @bar
4408 // @foo = i32 trunc (i64 sub (i64 ptrtoint (i32** @gotequiv to i64),
4409 // i64 ptrtoint (i32* @foo to i64))
4410 // to i32)
4411 //
4412 // The cstexpr in @foo is converted into the MCExpr `ME`, where we actually
4413 // check whether @foo is suitable to use a GOTPCREL. `ME` is usually in the
4414 // form:
4415 //
4416 // foo = cstexpr, where
4417 // cstexpr := <gotequiv> - "." + <cst>
4418 // cstexpr := <gotequiv> - (<foo> - <offset from @foo base>) + <cst>
4419 //
4420 // After canonicalization by evaluateAsRelocatable `ME` turns into:
4421 //
4422 // cstexpr := <gotequiv> - <foo> + gotpcrelcst, where
4423 // gotpcrelcst := <offset from @foo base> + <cst>
4424 MCValue MV;
4425 if (!(*ME)->evaluateAsRelocatable(MV, nullptr) || MV.isAbsolute())
4426 return;
4427 const MCSymbol *GOTEquivSym = MV.getAddSym();
4428 if (!GOTEquivSym)
4429 return;
4430
4431 // Check that GOT equivalent symbol is cached.
4432 if (!AP.GlobalGOTEquivs.count(GOTEquivSym))
4433 return;
4434
4435 const GlobalValue *BaseGV = dyn_cast_or_null<GlobalValue>(BaseCst);
4436 if (!BaseGV)
4437 return;
4438
4439 // Check for a valid base symbol
4440 const MCSymbol *BaseSym = AP.getSymbol(BaseGV);
4441 const MCSymbol *SymB = MV.getSubSym();
4442
4443 if (!SymB || BaseSym != SymB)
4444 return;
4445
4446 // Make sure to match:
4447 //
4448 // gotpcrelcst := <offset from @foo base> + <cst>
4449 //
4450 int64_t GOTPCRelCst = Offset + MV.getConstant();
4451 if (!AP.getObjFileLowering().supportGOTPCRelWithOffset() && GOTPCRelCst != 0)
4452 return;
4453
4454 // Emit the GOT PC relative to replace the got equivalent global, i.e.:
4455 //
4456 // bar:
4457 // .long 42
4458 // gotequiv:
4459 // .quad bar
4460 // foo:
4461 // .long gotequiv - "." + <cst>
4462 //
4463 // is replaced by the target specific equivalent to:
4464 //
4465 // bar:
4466 // .long 42
4467 // foo:
4468 // .long bar@GOTPCREL+<gotpcrelcst>
4469 AsmPrinter::GOTEquivUsePair Result = AP.GlobalGOTEquivs[GOTEquivSym];
4470 const GlobalVariable *GV = Result.first;
4471 int NumUses = (int)Result.second;
4472 const GlobalValue *FinalGV = dyn_cast<GlobalValue>(GV->getOperand(0));
4473 const MCSymbol *FinalSym = AP.getSymbol(FinalGV);
4475 FinalGV, FinalSym, MV, Offset, AP.MMI, *AP.OutStreamer);
4476
4477 // Update GOT equivalent usage information
4478 --NumUses;
4479 if (NumUses >= 0)
4480 AP.GlobalGOTEquivs[GOTEquivSym] = std::make_pair(GV, NumUses);
4481}
4482
4483static void emitGlobalConstantImpl(const DataLayout &DL, const Constant *CV,
4484 AsmPrinter &AP, const Constant *BaseCV,
4486 AsmPrinter::AliasMapTy *AliasList) {
4487 assert((!AliasList || AP.TM.getTargetTriple().isOSBinFormatXCOFF()) &&
4488 "AliasList only expected for XCOFF");
4489 emitGlobalAliasInline(AP, Offset, AliasList);
4490 uint64_t Size = DL.getTypeAllocSize(CV->getType());
4491
4492 // Globals with sub-elements such as combinations of arrays and structs
4493 // are handled recursively by emitGlobalConstantImpl. Keep track of the
4494 // constant symbol base and the current position with BaseCV and Offset.
4495 if (!BaseCV && CV->hasOneUse())
4496 BaseCV = dyn_cast<Constant>(CV->user_back());
4497
4499 StructType *structType;
4500 if (AliasList && (structType = llvm::dyn_cast<StructType>(CV->getType()))) {
4501 unsigned numElements = {structType->getNumElements()};
4502 if (numElements != 0) {
4503 // Handle cases of aliases to direct struct elements
4504 const StructLayout *Layout = DL.getStructLayout(structType);
4505 uint64_t SizeSoFar = 0;
4506 for (unsigned int i = 0; i < numElements - 1; ++i) {
4507 uint64_t GapToNext = Layout->getElementOffset(i + 1) - SizeSoFar;
4508 AP.OutStreamer->emitZeros(GapToNext);
4509 SizeSoFar += GapToNext;
4510 emitGlobalAliasInline(AP, Offset + SizeSoFar, AliasList);
4511 }
4512 AP.OutStreamer->emitZeros(Size - SizeSoFar);
4513 return;
4514 }
4515 }
4516 return AP.OutStreamer->emitZeros(Size);
4517 }
4518
4519 if (isa<UndefValue>(CV))
4520 return AP.OutStreamer->emitZeros(Size);
4521
4522 if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
4523 if (isa<VectorType>(CV->getType()))
4524 return emitGlobalConstantVector(DL, CV, AP, AliasList);
4525
4526 const uint64_t StoreSize = DL.getTypeStoreSize(CV->getType());
4527 if (StoreSize <= 8) {
4528 if (AP.isVerbose())
4529 AP.OutStreamer->getCommentOS()
4530 << format("0x%" PRIx64 "\n", CI->getZExtValue());
4531 AP.OutStreamer->emitIntValue(CI->getZExtValue(), StoreSize);
4532 } else {
4534 }
4535
4536 // Emit tail padding if needed
4537 if (Size != StoreSize)
4538 AP.OutStreamer->emitZeros(Size - StoreSize);
4539
4540 return;
4541 }
4542
4543 if (const ConstantByte *CB = dyn_cast<ConstantByte>(CV)) {
4544 if (isa<VectorType>(CV->getType()))
4545 return emitGlobalConstantVector(DL, CV, AP, AliasList);
4546
4547 const uint64_t StoreSize = DL.getTypeStoreSize(CV->getType());
4548 if (StoreSize <= 8) {
4549 if (AP.isVerbose())
4550 AP.OutStreamer->getCommentOS()
4551 << format("0x%" PRIx64 "\n", CB->getZExtValue());
4552 AP.OutStreamer->emitIntValue(CB->getZExtValue(), StoreSize);
4553 } else {
4555 }
4556
4557 // Emit tail padding if needed
4558 if (Size != StoreSize)
4559 AP.OutStreamer->emitZeros(Size - StoreSize);
4560
4561 return;
4562 }
4563
4564 if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) {
4565 if (isa<VectorType>(CV->getType()))
4566 return emitGlobalConstantVector(DL, CV, AP, AliasList);
4567 else
4568 return emitGlobalConstantFP(CFP, AP);
4569 }
4570
4571 if (isa<ConstantPointerNull>(CV)) {
4572 AP.OutStreamer->emitIntValue(0, Size);
4573 return;
4574 }
4575
4577 return emitGlobalConstantDataSequential(DL, CDS, AP, AliasList);
4578
4579 if (const ConstantArray *CVA = dyn_cast<ConstantArray>(CV))
4580 return emitGlobalConstantArray(DL, CVA, AP, BaseCV, Offset, AliasList);
4581
4582 if (const ConstantStruct *CVS = dyn_cast<ConstantStruct>(CV))
4583 return emitGlobalConstantStruct(DL, CVS, AP, BaseCV, Offset, AliasList);
4584
4585 if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV)) {
4586 // Look through bitcasts, which might not be able to be MCExpr'ized (e.g. of
4587 // vectors).
4588 if (CE->getOpcode() == Instruction::BitCast)
4589 return emitGlobalConstantImpl(DL, CE->getOperand(0), AP);
4590
4591 if (Size > 8) {
4592 // If the constant expression's size is greater than 64-bits, then we have
4593 // to emit the value in chunks. Try to constant fold the value and emit it
4594 // that way.
4595 Constant *New = ConstantFoldConstant(CE, DL);
4596 if (New != CE)
4597 return emitGlobalConstantImpl(DL, New, AP);
4598 }
4599 }
4600
4601 if (isa<ConstantVector>(CV))
4602 return emitGlobalConstantVector(DL, CV, AP, AliasList);
4603
4604 // Otherwise, it must be a ConstantExpr. Lower it to an MCExpr, then emit it
4605 // thread the streamer with EmitValue.
4606 const MCExpr *ME = AP.lowerConstant(CV, BaseCV, Offset);
4607
4608 // Since lowerConstant already folded and got rid of all IR pointer and
4609 // integer casts, detect GOT equivalent accesses by looking into the MCExpr
4610 // directly.
4612 handleIndirectSymViaGOTPCRel(AP, &ME, BaseCV, Offset);
4613
4614 AP.OutStreamer->emitValue(ME, Size);
4615}
4616
4617/// EmitGlobalConstant - Print a general LLVM constant to the .s file.
4619 AliasMapTy *AliasList) {
4620 uint64_t Size = DL.getTypeAllocSize(CV->getType());
4621 if (Size)
4622 emitGlobalConstantImpl(DL, CV, *this, nullptr, 0, AliasList);
4623 else if (MAI.hasSubsectionsViaSymbols()) {
4624 // If the global has zero size, emit a single byte so that two labels don't
4625 // look like they are at the same location.
4626 OutStreamer->emitIntValue(0, 1);
4627 }
4628 if (!AliasList)
4629 return;
4630 // TODO: These remaining aliases are not emitted in the correct location. Need
4631 // to handle the case where the alias offset doesn't refer to any sub-element.
4632 for (auto &AliasPair : *AliasList) {
4633 for (const GlobalAlias *GA : AliasPair.second)
4634 OutStreamer->emitLabel(getSymbol(GA));
4635 }
4636}
4637
4639 // Target doesn't support this yet!
4640 llvm_unreachable("Target does not support EmitMachineConstantPoolValue");
4641}
4642
4644 if (Offset > 0)
4645 OS << '+' << Offset;
4646 else if (Offset < 0)
4647 OS << Offset;
4648}
4649
4650void AsmPrinter::emitNops(unsigned N) {
4651 MCInst Nop = MF->getSubtarget().getInstrInfo()->getNop();
4652 for (; N; --N)
4654}
4655
4656//===----------------------------------------------------------------------===//
4657// Symbol Lowering Routines.
4658//===----------------------------------------------------------------------===//
4659
4661 return OutContext.createTempSymbol(Name, true);
4662}
4663
4665 return const_cast<AsmPrinter *>(this)->getAddrLabelSymbol(
4666 BA->getBasicBlock());
4667}
4668
4670 return const_cast<AsmPrinter *>(this)->getAddrLabelSymbol(BB);
4671}
4672
4676
4677/// GetCPISymbol - Return the symbol for the specified constant pool entry.
4678MCSymbol *AsmPrinter::GetCPISymbol(unsigned CPID) const {
4679 if (getSubtargetInfo().getTargetTriple().isWindowsMSVCEnvironment() ||
4680 getSubtargetInfo().getTargetTriple().isUEFI()) {
4681 const MachineConstantPoolEntry &CPE =
4682 MF->getConstantPool()->getConstants()[CPID];
4683 if (!CPE.isMachineConstantPoolEntry()) {
4684 const DataLayout &DL = MF->getDataLayout();
4685 SectionKind Kind = CPE.getSectionKind(&DL);
4686 const Constant *C = CPE.Val.ConstVal;
4687 Align Alignment = CPE.Alignment;
4689 DL, Kind, C, Alignment, &MF->getFunction());
4690 if (S && TM.getTargetTriple().isOSBinFormatCOFF()) {
4691 if (MCSymbol *Sym =
4692 static_cast<const MCSectionCOFF *>(S)->getCOMDATSymbol()) {
4693 if (Sym->isUndefined())
4694 OutStreamer->emitSymbolAttribute(Sym, MCSA_Global);
4695 return Sym;
4696 }
4697 }
4698 }
4699 }
4700
4701 const DataLayout &DL = getDataLayout();
4702 return OutContext.getOrCreateSymbol(Twine(DL.getInternalSymbolPrefix()) +
4703 "CPI" + Twine(getFunctionNumber()) + "_" +
4704 Twine(CPID));
4705}
4706
4707/// GetJTISymbol - Return the symbol for the specified jump table entry.
4708MCSymbol *AsmPrinter::GetJTISymbol(unsigned JTID, bool isLinkerPrivate) const {
4709 return MF->getJTISymbol(JTID, OutContext, isLinkerPrivate);
4710}
4711
4712/// GetJTSetSymbol - Return the symbol for the specified jump table .set
4713/// FIXME: privatize to AsmPrinter.
4714MCSymbol *AsmPrinter::GetJTSetSymbol(unsigned UID, unsigned MBBID) const {
4715 const DataLayout &DL = getDataLayout();
4716 return OutContext.getOrCreateSymbol(Twine(DL.getInternalSymbolPrefix()) +
4717 Twine(getFunctionNumber()) + "_" +
4718 Twine(UID) + "_set_" + Twine(MBBID));
4719}
4720
4725
4726/// Return the MCSymbol for the specified ExternalSymbol.
4728 SmallString<60> NameStr;
4730 return OutContext.getOrCreateSymbol(NameStr);
4731}
4732
4733/// PrintParentLoopComment - Print comments about parent loops of this one.
4735 unsigned FunctionNumber) {
4736 if (!Loop) return;
4737 PrintParentLoopComment(OS, Loop->getParentLoop(), FunctionNumber);
4738 OS.indent(Loop->getLoopDepth()*2)
4739 << "Parent Loop BB" << FunctionNumber << "_"
4740 << Loop->getHeader()->getNumber()
4741 << " Depth=" << Loop->getLoopDepth() << '\n';
4742}
4743
4744/// PrintChildLoopComment - Print comments about child loops within
4745/// the loop for this basic block, with nesting.
4747 unsigned FunctionNumber) {
4748 // Add child loop information
4749 for (const MachineLoop *CL : *Loop) {
4750 OS.indent(CL->getLoopDepth()*2)
4751 << "Child Loop BB" << FunctionNumber << "_"
4752 << CL->getHeader()->getNumber() << " Depth " << CL->getLoopDepth()
4753 << '\n';
4754 PrintChildLoopComment(OS, CL, FunctionNumber);
4755 }
4756}
4757
4758/// emitBasicBlockLoopComments - Pretty-print comments for basic blocks.
4760 const MachineLoopInfo *LI,
4761 const AsmPrinter &AP) {
4762 // Add loop depth information
4763 const MachineLoop *Loop = LI->getLoopFor(&MBB);
4764 if (!Loop) return;
4765
4766 MachineBasicBlock *Header = Loop->getHeader();
4767 assert(Header && "No header for loop");
4768
4769 // If this block is not a loop header, just print out what is the loop header
4770 // and return.
4771 if (Header != &MBB) {
4772 AP.OutStreamer->AddComment(" in Loop: Header=BB" +
4773 Twine(AP.getFunctionNumber())+"_" +
4775 " Depth="+Twine(Loop->getLoopDepth()));
4776 return;
4777 }
4778
4779 // Otherwise, it is a loop header. Print out information about child and
4780 // parent loops.
4781 raw_ostream &OS = AP.OutStreamer->getCommentOS();
4782
4784
4785 OS << "=>";
4786 OS.indent(Loop->getLoopDepth()*2-2);
4787
4788 OS << "This ";
4789 if (Loop->isInnermost())
4790 OS << "Inner ";
4791 OS << "Loop Header: Depth=" + Twine(Loop->getLoopDepth()) << '\n';
4792
4794}
4795
4796/// emitBasicBlockStart - This method prints the label for the specified
4797/// MachineBasicBlock, an alignment (if present) and a comment describing
4798/// it if appropriate.
4800 // End the previous funclet and start a new one.
4801 if (MBB.isEHFuncletEntry()) {
4802 for (auto &Handler : Handlers) {
4803 Handler->endFunclet();
4804 Handler->beginFunclet(MBB);
4805 }
4806 for (auto &Handler : EHHandlers) {
4807 Handler->endFunclet();
4808 Handler->beginFunclet(MBB);
4809 }
4810 }
4811
4812 // Switch to a new section if this basic block must begin a section. The
4813 // entry block is always placed in the function section and is handled
4814 // separately.
4815 if (MBB.isBeginSection() && !MBB.isEntryBlock()) {
4816 OutStreamer->switchSection(
4817 getObjFileLowering().getSectionForMachineBasicBlock(MF->getFunction(),
4818 MBB, TM));
4819 CurrentSectionBeginSym = MBB.getSymbol();
4820 }
4821
4822 for (auto &Handler : Handlers)
4823 Handler->beginCodeAlignment(MBB);
4824
4825 // Emit an alignment directive for this block, if needed.
4826 const Align Alignment = MBB.getAlignment();
4827 if (Alignment != Align(1))
4828 emitAlignment(Alignment, nullptr, MBB.getMaxBytesForAlignment());
4829
4830 // If the block has its address taken, emit any labels that were used to
4831 // reference the block. It is possible that there is more than one label
4832 // here, because multiple LLVM BB's may have been RAUW'd to this block after
4833 // the references were generated.
4834 if (MBB.isIRBlockAddressTaken()) {
4835 if (isVerbose())
4836 OutStreamer->AddComment("Block address taken");
4837
4838 BasicBlock *BB = MBB.getAddressTakenIRBlock();
4839 assert(BB && BB->hasAddressTaken() && "Missing BB");
4840 for (MCSymbol *Sym : getAddrLabelSymbolToEmit(BB))
4841 OutStreamer->emitLabel(Sym);
4842 } else if (isVerbose() && MBB.isMachineBlockAddressTaken()) {
4843 OutStreamer->AddComment("Block address taken");
4844 } else if (isVerbose() && MBB.isInlineAsmBrIndirectTarget()) {
4845 OutStreamer->AddComment("Inline asm indirect target");
4846 }
4847
4848 // Print some verbose block comments.
4849 if (isVerbose()) {
4850 if (const BasicBlock *BB = MBB.getBasicBlock()) {
4851 if (BB->hasName()) {
4852 BB->printAsOperand(OutStreamer->getCommentOS(),
4853 /*PrintType=*/false, BB->getModule());
4854 OutStreamer->getCommentOS() << '\n';
4855 }
4856 }
4857
4858 assert(MLI != nullptr && "MachineLoopInfo should has been computed");
4860 }
4861
4862 // Print the main label for the block.
4863 if (shouldEmitLabelForBasicBlock(MBB)) {
4864 if (isVerbose() && MBB.hasLabelMustBeEmitted())
4865 OutStreamer->AddComment("Label of block must be emitted");
4866 OutStreamer->emitLabel(MBB.getSymbol());
4867 } else {
4868 if (isVerbose()) {
4869 // NOTE: Want this comment at start of line, don't emit with AddComment.
4870 OutStreamer->emitRawComment(" %bb." + Twine(MBB.getNumber()) + ":",
4871 false);
4872 }
4873 }
4874
4875 if (MBB.isEHContTarget() &&
4876 MAI.getExceptionHandlingType() == ExceptionHandling::WinEH) {
4877 OutStreamer->emitLabel(MBB.getEHContSymbol());
4878 }
4879
4880 // With BB sections, each basic block must handle CFI information on its own
4881 // if it begins a section (Entry block call is handled separately, next to
4882 // beginFunction).
4883 if (MBB.isBeginSection() && !MBB.isEntryBlock()) {
4884 for (auto &Handler : Handlers)
4885 Handler->beginBasicBlockSection(MBB);
4886 for (auto &Handler : EHHandlers)
4887 Handler->beginBasicBlockSection(MBB);
4888 }
4889}
4890
4892 // Check if CFI information needs to be updated for this MBB with basic block
4893 // sections.
4894 if (MBB.isEndSection()) {
4895 for (auto &Handler : Handlers)
4896 Handler->endBasicBlockSection(MBB);
4897 for (auto &Handler : EHHandlers)
4898 Handler->endBasicBlockSection(MBB);
4899 }
4900}
4901
4902void AsmPrinter::emitVisibility(MCSymbol *Sym, unsigned Visibility,
4903 bool IsDefinition) const {
4905
4906 switch (Visibility) {
4907 default: break;
4909 if (IsDefinition)
4910 Attr = MAI.getHiddenVisibilityAttr();
4911 else
4912 Attr = MAI.getHiddenDeclarationVisibilityAttr();
4913 break;
4915 Attr = MAI.getProtectedVisibilityAttr();
4916 break;
4917 }
4918
4919 if (Attr != MCSA_Invalid)
4920 OutStreamer->emitSymbolAttribute(Sym, Attr);
4921}
4922
4923bool AsmPrinter::shouldEmitLabelForBasicBlock(
4924 const MachineBasicBlock &MBB) const {
4925 // With `-fbasic-block-sections=`, a label is needed for every non-entry block
4926 // in the labels mode (option `=labels`) and every section beginning in the
4927 // sections mode (`=all` and `=list=`).
4928 if ((MF->getTarget().Options.BBAddrMap || MBB.isBeginSection()) &&
4929 !MBB.isEntryBlock())
4930 return true;
4931 // A label is needed for any block with at least one predecessor (when that
4932 // predecessor is not the fallthrough predecessor, or if it is an EH funclet
4933 // entry, or if a label is forced).
4934 return !MBB.pred_empty() &&
4935 (!isBlockOnlyReachableByFallthrough(&MBB) || MBB.isEHFuncletEntry() ||
4936 MBB.hasLabelMustBeEmitted());
4937}
4938
4939/// isBlockOnlyReachableByFallthough - Return true if the basic block has
4940/// exactly one predecessor and the control transfer mechanism between
4941/// the predecessor and this block is a fall-through.
4944 // If this is a landing pad, it isn't a fall through. If it has no preds,
4945 // then nothing falls through to it.
4946 if (MBB->isEHPad() || MBB->pred_empty())
4947 return false;
4948
4949 // If there isn't exactly one predecessor, it can't be a fall through.
4950 if (MBB->pred_size() > 1)
4951 return false;
4952
4953 // The predecessor has to be immediately before this block.
4954 MachineBasicBlock *Pred = *MBB->pred_begin();
4955 if (!Pred->isLayoutSuccessor(MBB))
4956 return false;
4957
4958 // If the block is completely empty, then it definitely does fall through.
4959 if (Pred->empty())
4960 return true;
4961
4962 // Check the terminators in the previous blocks
4963 for (const auto &MI : Pred->terminators()) {
4964 // If it is not a simple branch, we are in a table somewhere.
4965 if (!MI.isBranch() || MI.isIndirectBranch())
4966 return false;
4967
4968 // If we are the operands of one of the branches, this is not a fall
4969 // through. Note that targets with delay slots will usually bundle
4970 // terminators with the delay slot instruction.
4971 for (ConstMIBundleOperands OP(MI); OP.isValid(); ++OP) {
4972 if (OP->isJTI())
4973 return false;
4974 if (OP->isMBB() && OP->getMBB() == MBB)
4975 return false;
4976 }
4977 }
4978
4979 return true;
4980}
4981
4982GCMetadataPrinter *AsmPrinter::getOrCreateGCPrinter(GCStrategy &S) {
4983 if (!S.usesMetadata())
4984 return nullptr;
4985
4986 auto [GCPI, Inserted] = GCMetadataPrinters.try_emplace(&S);
4987 if (!Inserted)
4988 return GCPI->second.get();
4989
4990 auto Name = S.getName();
4991
4992 for (const GCMetadataPrinterRegistry::entry &GCMetaPrinter :
4994 if (Name == GCMetaPrinter.getName()) {
4995 std::unique_ptr<GCMetadataPrinter> GMP = GCMetaPrinter.instantiate();
4996 GMP->S = &S;
4997 GCPI->second = std::move(GMP);
4998 return GCPI->second.get();
4999 }
5000
5001 report_fatal_error("no GCMetadataPrinter registered for GC: " + Twine(Name));
5002}
5003
5005 std::unique_ptr<AsmPrinterHandler> Handler) {
5006 Handlers.insert(Handlers.begin(), std::move(Handler));
5008}
5009
5010/// Pin vtables to this file.
5012
5014
5015// In the binary's "xray_instr_map" section, an array of these function entries
5016// describes each instrumentation point. When XRay patches your code, the index
5017// into this table will be given to your handler as a patch point identifier.
5019 auto Kind8 = static_cast<uint8_t>(Kind);
5020 Out->emitBinaryData(StringRef(reinterpret_cast<const char *>(&Kind8), 1));
5021 Out->emitBinaryData(
5022 StringRef(reinterpret_cast<const char *>(&AlwaysInstrument), 1));
5023 Out->emitBinaryData(StringRef(reinterpret_cast<const char *>(&Version), 1));
5024 auto Padding = (4 * Bytes) - ((2 * Bytes) + 3);
5025 assert(Padding >= 0 && "Instrumentation map entry > 4 * Word Size");
5026 Out->emitZeros(Padding);
5027}
5028
5030 if (Sleds.empty())
5031 return;
5032
5033 auto PrevSection = OutStreamer->getCurrentSectionOnly();
5034 const Function &F = MF->getFunction();
5035 MCSection *InstMap = nullptr;
5036 MCSection *FnSledIndex = nullptr;
5037 const Triple &TT = TM.getTargetTriple();
5038 // Use PC-relative addresses on all targets.
5039 if (TT.isOSBinFormatELF()) {
5040 auto LinkedToSym = static_cast<const MCSymbolELF *>(CurrentFnSym);
5041 auto Flags = ELF::SHF_ALLOC | ELF::SHF_LINK_ORDER;
5042 StringRef GroupName;
5043 if (F.hasComdat()) {
5044 Flags |= ELF::SHF_GROUP;
5045 GroupName = F.getComdat()->getName();
5046 }
5047 InstMap = OutContext.getELFSection("xray_instr_map", ELF::SHT_PROGBITS,
5048 Flags, 0, GroupName, F.hasComdat(),
5049 MCSection::NonUniqueID, LinkedToSym);
5050
5051 if (TM.Options.XRayFunctionIndex)
5052 FnSledIndex = OutContext.getELFSection(
5053 "xray_fn_idx", ELF::SHT_PROGBITS, Flags, 0, GroupName, F.hasComdat(),
5054 MCSection::NonUniqueID, LinkedToSym);
5055 } else if (MF->getSubtarget().getTargetTriple().isOSBinFormatMachO()) {
5056 InstMap = OutContext.getMachOSection("__DATA", "xray_instr_map",
5059 if (TM.Options.XRayFunctionIndex)
5060 FnSledIndex = OutContext.getMachOSection("__DATA", "xray_fn_idx",
5063 } else {
5064 llvm_unreachable("Unsupported target");
5065 }
5066
5067 auto WordSizeBytes = MAI.getCodePointerSize();
5068
5069 // Now we switch to the instrumentation map section. Because this is done
5070 // per-function, we are able to create an index entry that will represent the
5071 // range of sleds associated with a function.
5072 auto &Ctx = OutContext;
5073 MCSymbol *SledsStart =
5074 OutContext.createLinkerPrivateSymbol("xray_sleds_start");
5075 OutStreamer->switchSection(InstMap);
5076 OutStreamer->emitLabel(SledsStart);
5077 for (const auto &Sled : Sleds) {
5078 MCSymbol *Dot = Ctx.createTempSymbol();
5079 OutStreamer->emitLabel(Dot);
5080 OutStreamer->emitValueImpl(
5082 MCSymbolRefExpr::create(Dot, Ctx), Ctx),
5083 WordSizeBytes);
5084 OutStreamer->emitValueImpl(
5088 MCConstantExpr::create(WordSizeBytes, Ctx),
5089 Ctx),
5090 Ctx),
5091 WordSizeBytes);
5092 Sled.emit(WordSizeBytes, OutStreamer.get());
5093 }
5094 MCSymbol *SledsEnd = OutContext.createTempSymbol("xray_sleds_end", true);
5095 OutStreamer->emitLabel(SledsEnd);
5096
5097 // We then emit a single entry in the index per function. We use the symbols
5098 // that bound the instrumentation map as the range for a specific function.
5099 // Each entry contains 2 words and needs to be word-aligned.
5100 if (FnSledIndex) {
5101 OutStreamer->switchSection(FnSledIndex);
5102 OutStreamer->emitValueToAlignment(Align(WordSizeBytes));
5103 // For Mach-O, use an "l" symbol as the atom of this subsection. The label
5104 // difference uses a SUBTRACTOR external relocation which references the
5105 // symbol.
5106 MCSymbol *Dot = Ctx.createLinkerPrivateSymbol("xray_fn_idx");
5107 OutStreamer->emitLabel(Dot);
5108 OutStreamer->emitValueImpl(
5110 MCSymbolRefExpr::create(Dot, Ctx), Ctx),
5111 WordSizeBytes);
5112 OutStreamer->emitValueImpl(MCConstantExpr::create(Sleds.size(), Ctx),
5113 WordSizeBytes);
5114 OutStreamer->switchSection(PrevSection);
5115 }
5116 Sleds.clear();
5117}
5118
5120 SledKind Kind, uint8_t Version) {
5121 const Function &F = MI.getMF()->getFunction();
5122 auto Attr = F.getFnAttribute("function-instrument");
5123 bool LogArgs = F.hasFnAttribute("xray-log-args");
5124 bool AlwaysInstrument =
5125 Attr.isStringAttribute() && Attr.getValueAsString() == "xray-always";
5126 if (Kind == SledKind::FUNCTION_ENTER && LogArgs)
5128 Sleds.emplace_back(XRayFunctionEntry{Sled, CurrentFnSym, Kind,
5129 AlwaysInstrument, &F, Version});
5130}
5131
5133 const Function &F = MF->getFunction();
5134 unsigned PatchableFunctionPrefix =
5135 F.getFnAttributeAsParsedInteger("patchable-function-prefix");
5136 unsigned PatchableFunctionEntry =
5137 F.getFnAttributeAsParsedInteger("patchable-function-entry");
5138 if (!PatchableFunctionPrefix && !PatchableFunctionEntry)
5139 return;
5140 const unsigned PointerSize = getPointerSize();
5141 if (TM.getTargetTriple().isOSBinFormatELF()) {
5142 auto Flags = ELF::SHF_WRITE | ELF::SHF_ALLOC;
5143 const MCSymbolELF *LinkedToSym = nullptr;
5144 StringRef GroupName, SectionName;
5145
5146 if (F.hasFnAttribute("patchable-function-entry-section"))
5147 SectionName = F.getFnAttribute("patchable-function-entry-section")
5148 .getValueAsString();
5149 if (SectionName.empty())
5150 SectionName = "__patchable_function_entries";
5151
5152 // GNU as < 2.35 did not support section flag 'o'. GNU ld < 2.36 did not
5153 // support mixed SHF_LINK_ORDER and non-SHF_LINK_ORDER sections.
5154 if (MAI.useIntegratedAssembler() || MAI.binutilsIsAtLeast(2, 36)) {
5155 Flags |= ELF::SHF_LINK_ORDER;
5156 if (F.hasComdat()) {
5157 Flags |= ELF::SHF_GROUP;
5158 GroupName = F.getComdat()->getName();
5159 }
5160 LinkedToSym = static_cast<const MCSymbolELF *>(CurrentFnSym);
5161 }
5162 OutStreamer->switchSection(OutContext.getELFSection(
5163 SectionName, ELF::SHT_PROGBITS, Flags, 0, GroupName, F.hasComdat(),
5164 MCSection::NonUniqueID, LinkedToSym));
5165 emitAlignment(Align(PointerSize));
5166 OutStreamer->emitSymbolValue(CurrentPatchableFunctionEntrySym, PointerSize);
5167 }
5168}
5169
5171 return OutStreamer->getContext().getDwarfVersion();
5172}
5173
5175 OutStreamer->getContext().setDwarfVersion(Version);
5176}
5177
5179 return OutStreamer->getContext().getDwarfFormat() == dwarf::DWARF64;
5180}
5181
5184 OutStreamer->getContext().getDwarfFormat());
5185}
5186
5188 return {getDwarfVersion(), uint8_t(MAI.getCodePointerSize()),
5189 OutStreamer->getContext().getDwarfFormat(),
5191}
5192
5195 OutStreamer->getContext().getDwarfFormat());
5196}
5197
5198std::tuple<const MCSymbol *, uint64_t, const MCSymbol *,
5201 const MCSymbol *BranchLabel) const {
5202 const auto TLI = MF->getSubtarget().getTargetLowering();
5203 const auto BaseExpr =
5204 TLI->getPICJumpTableRelocBaseExpr(MF, JTI, MMI->getContext());
5205 const auto Base = &cast<MCSymbolRefExpr>(BaseExpr)->getSymbol();
5206
5207 // By default, for the architectures that support CodeView,
5208 // EK_LabelDifference32 is implemented as an Int32 from the base address.
5209 return std::make_tuple(Base, 0, BranchLabel,
5211}
5212
5214 const Triple &TT = TM.getTargetTriple();
5215 assert(TT.isOSBinFormatCOFF());
5216
5217 bool IsTargetArm64EC = TT.isWindowsArm64EC();
5219 SmallVector<MCSymbol *> FuncOverrideDefaultSymbols;
5220 bool SwitchedToDirectiveSection = false;
5221 for (const Function &F : M.functions()) {
5222 if (F.hasFnAttribute("loader-replaceable")) {
5223 if (!SwitchedToDirectiveSection) {
5224 OutStreamer->switchSection(
5225 OutContext.getObjectFileInfo()->getDrectveSection());
5226 SwitchedToDirectiveSection = true;
5227 }
5228
5229 StringRef Name = F.getName();
5230
5231 // For hybrid-patchable targets, strip the prefix so that we can mark
5232 // the real function as replaceable.
5233 if (IsTargetArm64EC && Name.ends_with(HybridPatchableTargetSuffix)) {
5234 Name = Name.drop_back(HybridPatchableTargetSuffix.size());
5235 }
5236
5237 MCSymbol *FuncOverrideSymbol =
5238 MMI->getContext().getOrCreateSymbol(Name + "_$fo$");
5239 OutStreamer->beginCOFFSymbolDef(FuncOverrideSymbol);
5240 OutStreamer->emitCOFFSymbolStorageClass(COFF::IMAGE_SYM_CLASS_EXTERNAL);
5241 OutStreamer->emitCOFFSymbolType(COFF::IMAGE_SYM_DTYPE_NULL);
5242 OutStreamer->endCOFFSymbolDef();
5243
5244 MCSymbol *FuncOverrideDefaultSymbol =
5245 MMI->getContext().getOrCreateSymbol(Name + "_$fo_default$");
5246 OutStreamer->beginCOFFSymbolDef(FuncOverrideDefaultSymbol);
5247 OutStreamer->emitCOFFSymbolStorageClass(COFF::IMAGE_SYM_CLASS_EXTERNAL);
5248 OutStreamer->emitCOFFSymbolType(COFF::IMAGE_SYM_DTYPE_NULL);
5249 OutStreamer->endCOFFSymbolDef();
5250 FuncOverrideDefaultSymbols.push_back(FuncOverrideDefaultSymbol);
5251
5252 OutStreamer->emitBytes((Twine(" /ALTERNATENAME:") +
5253 FuncOverrideSymbol->getName() + "=" +
5254 FuncOverrideDefaultSymbol->getName())
5255 .toStringRef(Buf));
5256 Buf.clear();
5257 }
5258 }
5259
5260 if (SwitchedToDirectiveSection)
5261 OutStreamer->popSection();
5262
5263 if (FuncOverrideDefaultSymbols.empty())
5264 return;
5265
5266 // MSVC emits the symbols for the default variables pointing at the start of
5267 // the .data section, but doesn't actually allocate any space for them. LLVM
5268 // can't do this, so have all of the variables pointing at a single byte
5269 // instead.
5270 OutStreamer->switchSection(OutContext.getObjectFileInfo()->getDataSection());
5271 for (MCSymbol *Symbol : FuncOverrideDefaultSymbols) {
5272 OutStreamer->emitLabel(Symbol);
5273 }
5274 OutStreamer->emitZeros(1);
5275 OutStreamer->popSection();
5276}
5277
5279 const Triple &TT = TM.getTargetTriple();
5280 assert(TT.isOSBinFormatCOFF());
5281
5282 // Emit an absolute @feat.00 symbol.
5283 MCSymbol *S = MMI->getContext().getOrCreateSymbol(StringRef("@feat.00"));
5284 OutStreamer->beginCOFFSymbolDef(S);
5285 OutStreamer->emitCOFFSymbolStorageClass(COFF::IMAGE_SYM_CLASS_STATIC);
5286 OutStreamer->emitCOFFSymbolType(COFF::IMAGE_SYM_DTYPE_NULL);
5287 OutStreamer->endCOFFSymbolDef();
5288 int64_t Feat00Value = 0;
5289
5290 if (TT.getArch() == Triple::x86) {
5291 // According to the PE-COFF spec, the LSB of this value marks the object
5292 // for "registered SEH". This means that all SEH handler entry points
5293 // must be registered in .sxdata. Use of any unregistered handlers will
5294 // cause the process to terminate immediately. LLVM does not know how to
5295 // register any SEH handlers, so its object files should be safe.
5296 Feat00Value |= COFF::Feat00Flags::SafeSEH;
5297 }
5298
5299 if (M.getControlFlowGuardMode() == ControlFlowGuardMode::Enabled) {
5300 // Object is CFG-aware. Only set if we actually inserted the checks.
5301 Feat00Value |= COFF::Feat00Flags::GuardCF;
5302 }
5303
5304 if (M.getModuleFlag("ehcontguard")) {
5305 // Object also has EHCont.
5306 Feat00Value |= COFF::Feat00Flags::GuardEHCont;
5307 }
5308
5309 if (M.getModuleFlag("ms-kernel")) {
5310 // Object is compiled with /kernel.
5311 Feat00Value |= COFF::Feat00Flags::Kernel;
5312 }
5313
5314 OutStreamer->emitSymbolAttribute(S, MCSA_Global);
5315 OutStreamer->emitAssignment(
5316 S, MCConstantExpr::create(Feat00Value, MMI->getContext()));
5317}
5318
5319namespace llvm {
5320namespace {
5322 MachineFunction &MF) {
5324 MAM.getResult<FunctionAnalysisManagerModuleProxy>(M).getManager();
5327 MF.getFunction())
5328 .getManager();
5329 return MFAM;
5330}
5331} // anonymous namespace
5332
5335 MachineModuleInfo &MMI = MAM.getResult<MachineModuleAnalysis>(M).getMMI();
5336 AsmPrinter.GetMMI = [&MMI]() { return &MMI; };
5337 AsmPrinter.MMI = &MMI;
5338 AsmPrinter.GetORE = [&MAM, &M](MachineFunction &MF) {
5339 return &getMFAM(M, MAM, MF)
5341 };
5342 AsmPrinter.GetMDT = [&MAM, &M](MachineFunction &MF) {
5343 return &getMFAM(M, MAM, MF).getResult<MachineDominatorTreeAnalysis>(MF);
5344 };
5345 AsmPrinter.GetMLI = [&MAM, &M](MachineFunction &MF) {
5346 return &getMFAM(M, MAM, MF).getResult<MachineLoopAnalysis>(MF);
5347 };
5348 // TODO(boomanaiden154): Get GC working with the new pass manager.
5349 AsmPrinter.BeginGCAssembly = [](Module &M) {};
5351 AsmPrinter.EmitStackMaps = [](Module &M) {};
5353}
5354
5356 MachineFunction &MF,
5358 const ModuleAnalysisManagerMachineFunctionProxy::Result &MAMProxy =
5360 MachineModuleInfo &MMI =
5361 MAMProxy
5362 .getCachedResult<MachineModuleAnalysis>(*MF.getFunction().getParent())
5363 ->getMMI();
5364 AsmPrinter.GetMMI = [&MMI]() { return &MMI; };
5365 AsmPrinter.MMI = &MMI;
5366 AsmPrinter.GetORE = [&MFAM](MachineFunction &MF) {
5368 };
5369 AsmPrinter.GetMDT = [&MFAM](MachineFunction &MF) {
5370 return &MFAM.getResult<MachineDominatorTreeAnalysis>(MF);
5371 };
5372 AsmPrinter.GetMLI = [&MFAM](MachineFunction &MF) {
5373 return &MFAM.getResult<MachineLoopAnalysis>(MF);
5374 };
5375 // TODO(boomanaiden154): Get GC working with the new pass manager.
5376 AsmPrinter.BeginGCAssembly = [](Module &M) {};
5378 AsmPrinter.EmitStackMaps = [](Module &M) {};
5380}
5381
5383
5384} // namespace llvm
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
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.
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:353
LLVM_ABI opStatus convert(const fltSemantics &ToSemantics, roundingMode RM, bool *losesInfo)
Definition APFloat.cpp:5929
LLVM_ABI double convertToDouble() const
Converts this APFloat to host double value.
Definition APFloat.cpp:5988
void toString(SmallVectorImpl< char > &Str, unsigned FormatPrecision=0, unsigned FormatMaxPadding=3, bool TruncateZero=true) const
Definition APFloat.h:1612
APInt bitcastToAPInt() const
Definition APFloat.h:1467
Class for arbitrary precision integers.
Definition APInt.h:78
unsigned getBitWidth() const
Return the number of bits in the APInt.
Definition APInt.h:1513
unsigned getNumWords() const
Get the number of words.
Definition APInt.h:1520
const uint64_t * getRawData() const
This function returns a pointer to the internal storage of the APInt.
Definition APInt.h:576
int64_t getSExtValue() const
Get sign extended value.
Definition APInt.h:1587
void lshrInPlace(unsigned ShiftAmt)
Logical right-shift this APInt by ShiftAmt in place.
Definition APInt.h:865
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:638
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:659
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:937
~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:690
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:614
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:622
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:618
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:684
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:584
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:680
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:944
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:647
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:655
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)
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:626
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
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:223
bool empty() const
Definition DenseMap.h:171
iterator end()
Definition DenseMap.h:141
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:882
Constant * getPersonalityFn() const
Get the personality function associated with this function.
const Function & getFunction() const
Definition Function.h:166
LLVMContext & getContext() const
getContext - Return a reference to the LLVMContext associated with this function.
Definition Function.cpp:353
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:348
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 emitBinaryData(StringRef Data)
Functionally identical to EmitBytes.
virtual void emitInstruction(const MCInst &Inst, const MCSubtargetInfo &STI)
Emit the given Instruction into the current section.
virtual StringRef getMnemonic(const MCInst &MI) const
Returns the mnemonic for MI, if the streamer has access to a instruction printer and returns an empty...
Definition MCStreamer.h:488
void emitZeros(uint64_t NumBytes)
Emit NumBytes worth of zeros.
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:1069
const MDOperand & getOperand(unsigned I) const
Definition Metadata.h:1426
ArrayRef< MDOperand > operands() const
Definition Metadata.h:1424
Tracking metadata reference owned by Metadata.
Definition Metadata.h:891
A single uniqued string.
Definition Metadata.h:722
LLVM_ABI StringRef getString() const
Definition Metadata.cpp:633
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:67
A tuple of MDNodes.
Definition Metadata.h:1755
LLVM_ABI unsigned getNumOperands() const
iterator_range< op_iterator > operands()
Definition Metadata.h:1851
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:879
bool isOSBinFormatELF() const
Tests whether the OS uses the ELF binary format.
Definition Triple.h:864
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:310
bool isFloatTy() const
Return true if this is 'float', a 32-bit IEEE fp type.
Definition Type.h:155
bool isBFloatTy() const
Return true if this is 'bfloat', a 16-bit bfloat type.
Definition Type.h:147
bool isPPC_FP128Ty() const
Return true if this is powerpc long double.
Definition Type.h:167
bool isSized(SmallPtrSetImpl< Type * > *Visited=nullptr) const
Return true if it makes sense to take the size of this type.
Definition Type.h:326
bool isHalfTy() const
Return true if this is 'half', a 16-bit IEEE fp type.
Definition Type.h:144
LLVM_ABI void print(raw_ostream &O, bool IsForDebug=false, bool NoDetails=false) const
Print the current type.
bool isDoubleTy() const
Return true if this is 'double', a 64-bit IEEE fp type.
Definition Type.h:158
bool isFunctionTy() const
True if this is an instance of FunctionType.
Definition Type.h:273
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:255
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:439
LLVMContext & getContext() const
All values hold a context through their type.
Definition Value.h:258
iterator_range< user_iterator > users()
Definition Value.h:426
User * user_back()
Definition Value.h:412
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:346
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:1258
@ SHF_LINK_ORDER
Definition ELF.h:1273
@ SHF_GROUP
Definition ELF.h:1280
@ SHF_WRITE
Definition ELF.h:1255
@ SHT_LLVM_JT_SIZES
Definition ELF.h:1197
@ SHT_PROGBITS
Definition ELF.h:1156
@ SHT_LLVM_SYMPART
Definition ELF.h:1189
@ STB_WEAK
Definition ELF.h:1416
@ 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:1228
@ 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:1186
std::enable_if_t< detail::IsValidPointer< X, Y >::value, X * > extract(Y &&MD)
Extract a Value from Metadata.
Definition Metadata.h:668
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:578
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
ExceptionHandling
Definition CodeGen.h:54
@ SjLj
setjmp/longjmp based exceptions
Definition CodeGen.h:57
@ ZOS
z/OS MVS Exception Handling.
Definition CodeGen.h:62
@ None
No exception support.
Definition CodeGen.h:55
@ AIX
AIX Exception Handling.
Definition CodeGen.h:61
@ 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 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:358
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:94
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
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:547
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:1199
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.