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