Thanks to visit codestin.com
Credit goes to llvm.org

LLVM 22.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"
64#include "llvm/Config/config.h"
65#include "llvm/IR/BasicBlock.h"
66#include "llvm/IR/Comdat.h"
67#include "llvm/IR/Constant.h"
68#include "llvm/IR/Constants.h"
69#include "llvm/IR/DataLayout.h"
73#include "llvm/IR/Function.h"
74#include "llvm/IR/GCStrategy.h"
75#include "llvm/IR/GlobalAlias.h"
76#include "llvm/IR/GlobalIFunc.h"
78#include "llvm/IR/GlobalValue.h"
80#include "llvm/IR/Instruction.h"
83#include "llvm/IR/Mangler.h"
84#include "llvm/IR/Metadata.h"
85#include "llvm/IR/Module.h"
86#include "llvm/IR/Operator.h"
87#include "llvm/IR/PseudoProbe.h"
88#include "llvm/IR/Type.h"
89#include "llvm/IR/Value.h"
90#include "llvm/IR/ValueHandle.h"
91#include "llvm/MC/MCAsmInfo.h"
92#include "llvm/MC/MCContext.h"
94#include "llvm/MC/MCExpr.h"
95#include "llvm/MC/MCInst.h"
96#include "llvm/MC/MCSchedule.h"
97#include "llvm/MC/MCSection.h"
102#include "llvm/MC/MCStreamer.h"
104#include "llvm/MC/MCSymbol.h"
105#include "llvm/MC/MCSymbolELF.h"
107#include "llvm/MC/MCValue.h"
108#include "llvm/MC/SectionKind.h"
109#include "llvm/Object/ELFTypes.h"
110#include "llvm/Pass.h"
112#include "llvm/Support/Casting.h"
117#include "llvm/Support/Format.h"
119#include "llvm/Support/Path.h"
120#include "llvm/Support/VCSRevision.h"
126#include <algorithm>
127#include <cassert>
128#include <cinttypes>
129#include <cstdint>
130#include <iterator>
131#include <memory>
132#include <optional>
133#include <string>
134#include <utility>
135#include <vector>
136
137using namespace llvm;
138
139#define DEBUG_TYPE "asm-printer"
140
141// This is a replication of fields of object::PGOAnalysisMap::Features. It
142// should match the order of the fields so that
143// `object::PGOAnalysisMap::Features::decode(PgoAnalysisMapFeatures.getBits())`
144// succeeds.
153 "pgo-analysis-map", cl::Hidden, cl::CommaSeparated,
155 clEnumValN(PGOMapFeaturesEnum::None, "none", "Disable all options"),
157 "Function Entry Count"),
159 "Basic Block Frequency"),
160 clEnumValN(PGOMapFeaturesEnum::BrProb, "br-prob", "Branch Probability"),
161 clEnumValN(PGOMapFeaturesEnum::All, "all", "Enable all options")),
162 cl::desc(
163 "Enable extended information within the SHT_LLVM_BB_ADDR_MAP that is "
164 "extracted from PGO related analysis."));
165
167 "basic-block-address-map-skip-bb-entries",
168 cl::desc("Skip emitting basic block entries in the SHT_LLVM_BB_ADDR_MAP "
169 "section. It's used to save binary size when BB entries are "
170 "unnecessary for some PGOAnalysisMap features."),
171 cl::Hidden, cl::init(false));
172
174 "emit-jump-table-sizes-section",
175 cl::desc("Emit a section containing jump table addresses and sizes"),
176 cl::Hidden, cl::init(false));
177
178// This isn't turned on by default, since several of the scheduling models are
179// not completely accurate, and we don't want to be misleading.
181 "asm-print-latency",
182 cl::desc("Print instruction latencies as verbose asm comments"), cl::Hidden,
183 cl::init(false));
184
185STATISTIC(EmittedInsts, "Number of machine instrs printed");
186
187char AsmPrinter::ID = 0;
188
189namespace {
190class AddrLabelMapCallbackPtr final : CallbackVH {
191 AddrLabelMap *Map = nullptr;
192
193public:
194 AddrLabelMapCallbackPtr() = default;
195 AddrLabelMapCallbackPtr(Value *V) : CallbackVH(V) {}
196
197 void setPtr(BasicBlock *BB) {
199 }
200
201 void setMap(AddrLabelMap *map) { Map = map; }
202
203 void deleted() override;
204 void allUsesReplacedWith(Value *V2) override;
205};
206} // namespace
207
209 MCContext &Context;
210 struct AddrLabelSymEntry {
211 /// The symbols for the label.
213
214 Function *Fn; // The containing function of the BasicBlock.
215 unsigned Index; // The index in BBCallbacks for the BasicBlock.
216 };
217
218 DenseMap<AssertingVH<BasicBlock>, AddrLabelSymEntry> AddrLabelSymbols;
219
220 /// Callbacks for the BasicBlock's that we have entries for. We use this so
221 /// we get notified if a block is deleted or RAUWd.
222 std::vector<AddrLabelMapCallbackPtr> BBCallbacks;
223
224 /// This is a per-function list of symbols whose corresponding BasicBlock got
225 /// deleted. These symbols need to be emitted at some point in the file, so
226 /// AsmPrinter emits them after the function body.
227 DenseMap<AssertingVH<Function>, std::vector<MCSymbol *>>
228 DeletedAddrLabelsNeedingEmission;
229
230public:
231 AddrLabelMap(MCContext &context) : Context(context) {}
232
234 assert(DeletedAddrLabelsNeedingEmission.empty() &&
235 "Some labels for deleted blocks never got emitted");
236 }
237
239
241 std::vector<MCSymbol *> &Result);
242
245};
246
248 assert(BB->hasAddressTaken() &&
249 "Shouldn't get label for block without address taken");
250 AddrLabelSymEntry &Entry = AddrLabelSymbols[BB];
251
252 // If we already had an entry for this block, just return it.
253 if (!Entry.Symbols.empty()) {
254 assert(BB->getParent() == Entry.Fn && "Parent changed");
255 return Entry.Symbols;
256 }
257
258 // Otherwise, this is a new entry, create a new symbol for it and add an
259 // entry to BBCallbacks so we can be notified if the BB is deleted or RAUWd.
260 BBCallbacks.emplace_back(BB);
261 BBCallbacks.back().setMap(this);
262 Entry.Index = BBCallbacks.size() - 1;
263 Entry.Fn = BB->getParent();
264 MCSymbol *Sym = BB->hasAddressTaken() ? Context.createNamedTempSymbol()
265 : Context.createTempSymbol();
266 Entry.Symbols.push_back(Sym);
267 return Entry.Symbols;
268}
269
270/// If we have any deleted symbols for F, return them.
272 Function *F, std::vector<MCSymbol *> &Result) {
273 DenseMap<AssertingVH<Function>, std::vector<MCSymbol *>>::iterator I =
274 DeletedAddrLabelsNeedingEmission.find(F);
275
276 // If there are no entries for the function, just return.
277 if (I == DeletedAddrLabelsNeedingEmission.end())
278 return;
279
280 // Otherwise, take the list.
281 std::swap(Result, I->second);
282 DeletedAddrLabelsNeedingEmission.erase(I);
283}
284
285//===- Address of Block Management ----------------------------------------===//
286
289 // Lazily create AddrLabelSymbols.
290 if (!AddrLabelSymbols)
291 AddrLabelSymbols = std::make_unique<AddrLabelMap>(OutContext);
292 return AddrLabelSymbols->getAddrLabelSymbolToEmit(
293 const_cast<BasicBlock *>(BB));
294}
295
297 const Function *F, std::vector<MCSymbol *> &Result) {
298 // If no blocks have had their addresses taken, we're done.
299 if (!AddrLabelSymbols)
300 return;
301 return AddrLabelSymbols->takeDeletedSymbolsForFunction(
302 const_cast<Function *>(F), Result);
303}
304
306 // If the block got deleted, there is no need for the symbol. If the symbol
307 // was already emitted, we can just forget about it, otherwise we need to
308 // queue it up for later emission when the function is output.
309 AddrLabelSymEntry Entry = std::move(AddrLabelSymbols[BB]);
310 AddrLabelSymbols.erase(BB);
311 assert(!Entry.Symbols.empty() && "Didn't have a symbol, why a callback?");
312 BBCallbacks[Entry.Index] = nullptr; // Clear the callback.
313
314#if !LLVM_MEMORY_SANITIZER_BUILD
315 // BasicBlock is destroyed already, so this access is UB detectable by msan.
316 assert((BB->getParent() == nullptr || BB->getParent() == Entry.Fn) &&
317 "Block/parent mismatch");
318#endif
319
320 for (MCSymbol *Sym : Entry.Symbols) {
321 if (Sym->isDefined())
322 return;
323
324 // If the block is not yet defined, we need to emit it at the end of the
325 // function. Add the symbol to the DeletedAddrLabelsNeedingEmission list
326 // for the containing Function. Since the block is being deleted, its
327 // parent may already be removed, we have to get the function from 'Entry'.
328 DeletedAddrLabelsNeedingEmission[Entry.Fn].push_back(Sym);
329 }
330}
331
333 // Get the entry for the RAUW'd block and remove it from our map.
334 AddrLabelSymEntry OldEntry = std::move(AddrLabelSymbols[Old]);
335 AddrLabelSymbols.erase(Old);
336 assert(!OldEntry.Symbols.empty() && "Didn't have a symbol, why a callback?");
337
338 AddrLabelSymEntry &NewEntry = AddrLabelSymbols[New];
339
340 // If New is not address taken, just move our symbol over to it.
341 if (NewEntry.Symbols.empty()) {
342 BBCallbacks[OldEntry.Index].setPtr(New); // Update the callback.
343 NewEntry = std::move(OldEntry); // Set New's entry.
344 return;
345 }
346
347 BBCallbacks[OldEntry.Index] = nullptr; // Update the callback.
348
349 // Otherwise, we need to add the old symbols to the new block's set.
350 llvm::append_range(NewEntry.Symbols, OldEntry.Symbols);
351}
352
353void AddrLabelMapCallbackPtr::deleted() {
354 Map->UpdateForDeletedBlock(cast<BasicBlock>(getValPtr()));
355}
356
357void AddrLabelMapCallbackPtr::allUsesReplacedWith(Value *V2) {
358 Map->UpdateForRAUWBlock(cast<BasicBlock>(getValPtr()), cast<BasicBlock>(V2));
359}
360
361/// getGVAlignment - Return the alignment to use for the specified global
362/// value. This rounds up to the preferred alignment if possible and legal.
364 Align InAlign) {
365 Align Alignment;
366 if (const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV))
367 Alignment = DL.getPreferredAlign(GVar);
368
369 // If InAlign is specified, round it to it.
370 if (InAlign > Alignment)
371 Alignment = InAlign;
372
373 // If the GV has a specified alignment, take it into account.
374 MaybeAlign GVAlign;
375 if (auto *GVar = dyn_cast<GlobalVariable>(GV))
376 GVAlign = GVar->getAlign();
377 else if (auto *F = dyn_cast<Function>(GV))
378 GVAlign = F->getAlign();
379 if (!GVAlign)
380 return Alignment;
381
382 assert(GVAlign && "GVAlign must be set");
383
384 // If the GVAlign is larger than NumBits, or if we are required to obey
385 // NumBits because the GV has an assigned section, obey it.
386 if (*GVAlign > Alignment || GV->hasSection())
387 Alignment = *GVAlign;
388 return Alignment;
389}
390
391AsmPrinter::AsmPrinter(TargetMachine &tm, std::unique_ptr<MCStreamer> Streamer,
392 char &ID)
393 : MachineFunctionPass(ID), TM(tm), MAI(tm.getMCAsmInfo()),
394 OutContext(Streamer->getContext()), OutStreamer(std::move(Streamer)),
395 SM(*this) {
396 VerboseAsm = OutStreamer->isVerboseAsm();
397 DwarfUsesRelocationsAcrossSections =
398 MAI->doesDwarfUseRelocationsAcrossSections();
399}
400
402 assert(!DD && Handlers.size() == NumUserHandlers &&
403 "Debug/EH info didn't get finalized");
404}
405
407 return TM.isPositionIndependent();
408}
409
410/// getFunctionNumber - Return a unique ID for the current function.
412 return MF->getFunctionNumber();
413}
414
416 return *TM.getObjFileLowering();
417}
418
420 assert(MMI && "MMI could not be nullptr!");
421 return MMI->getModule()->getDataLayout();
422}
423
424// Do not use the cached DataLayout because some client use it without a Module
425// (dsymutil, llvm-dwarfdump).
427 return TM.getPointerSize(0); // FIXME: Default address space
428}
429
431 assert(MF && "getSubtargetInfo requires a valid MachineFunction!");
432 return MF->getSubtarget<MCSubtargetInfo>();
433}
434
438
440 if (DD) {
441 assert(OutStreamer->hasRawTextSupport() &&
442 "Expected assembly output mode.");
443 // This is NVPTX specific and it's unclear why.
444 // PR51079: If we have code without debug information we need to give up.
445 DISubprogram *MFSP = MF.getFunction().getSubprogram();
446 if (!MFSP)
447 return;
448 (void)DD->emitInitialLocDirective(MF, /*CUID=*/0);
449 }
450}
451
452/// getCurrentSection() - Return the current section we are emitting to.
454 return OutStreamer->getCurrentSectionOnly();
455}
456
465
468 MMI = MMIWP ? &MMIWP->getMMI() : nullptr;
469 HasSplitStack = false;
470 HasNoSplitStack = false;
471 DbgInfoAvailable = !M.debug_compile_units().empty();
472
473 AddrLabelSymbols = nullptr;
474
475 // Initialize TargetLoweringObjectFile.
477 .Initialize(OutContext, TM);
478
480 .getModuleMetadata(M);
481
482 // On AIX, we delay emitting any section information until
483 // after emitting the .file pseudo-op. This allows additional
484 // information (such as the embedded command line) to be associated
485 // with all sections in the object file rather than a single section.
486 if (!TM.getTargetTriple().isOSBinFormatXCOFF())
487 OutStreamer->initSections(false, *TM.getMCSubtargetInfo());
488
489 // Emit the version-min deployment target directive if needed.
490 //
491 // FIXME: If we end up with a collection of these sorts of Darwin-specific
492 // or ELF-specific things, it may make sense to have a platform helper class
493 // that will work with the target helper class. For now keep it here, as the
494 // alternative is duplicated code in each of the target asm printers that
495 // use the directive, where it would need the same conditionalization
496 // anyway.
497 const Triple &Target = TM.getTargetTriple();
498 if (Target.isOSBinFormatMachO() && Target.isOSDarwin()) {
499 Triple TVT(M.getDarwinTargetVariantTriple());
500 OutStreamer->emitVersionForTarget(
501 Target, M.getSDKVersion(),
502 M.getDarwinTargetVariantTriple().empty() ? nullptr : &TVT,
503 M.getDarwinTargetVariantSDKVersion());
504 }
505
506 // Allow the target to emit any magic that it wants at the start of the file.
508
509 // Very minimal debug info. It is ignored if we emit actual debug info. If we
510 // don't, this at least helps the user find where a global came from.
511 if (MAI->hasSingleParameterDotFile()) {
512 // .file "foo.c"
513 if (MAI->isAIX()) {
514 const char VerStr[] =
515#ifdef PACKAGE_VENDOR
516 PACKAGE_VENDOR " "
517#endif
518 PACKAGE_NAME " version " PACKAGE_VERSION
519#ifdef LLVM_REVISION
520 " (" LLVM_REVISION ")"
521#endif
522 ;
523 // TODO: Add timestamp and description.
524 OutStreamer->emitFileDirective(M.getSourceFileName(), VerStr, "", "");
525 } else {
526 OutStreamer->emitFileDirective(
527 llvm::sys::path::filename(M.getSourceFileName()));
528 }
529 }
530
531 // On AIX, emit bytes for llvm.commandline metadata after .file so that the
532 // C_INFO symbol is preserved if any csect is kept by the linker.
533 if (TM.getTargetTriple().isOSBinFormatXCOFF()) {
534 emitModuleCommandLines(M);
535 // Now we can generate section information.
536 OutStreamer->switchSection(
537 OutContext.getObjectFileInfo()->getTextSection());
538
539 // To work around an AIX assembler and/or linker bug, generate
540 // a rename for the default text-section symbol name. This call has
541 // no effect when generating object code directly.
542 MCSection *TextSection =
543 OutStreamer->getContext().getObjectFileInfo()->getTextSection();
544 MCSymbolXCOFF *XSym =
545 static_cast<MCSectionXCOFF *>(TextSection)->getQualNameSymbol();
546 if (XSym->hasRename())
547 OutStreamer->emitXCOFFRenameDirective(XSym, XSym->getSymbolTableName());
548 }
549
551 assert(MI && "AsmPrinter didn't require GCModuleInfo?");
552 for (const auto &I : *MI)
553 if (GCMetadataPrinter *MP = getOrCreateGCPrinter(*I))
554 MP->beginAssembly(M, *MI, *this);
555
556 // Emit module-level inline asm if it exists.
557 if (!M.getModuleInlineAsm().empty()) {
558 OutStreamer->AddComment("Start of file scope inline assembly");
559 OutStreamer->addBlankLine();
560 emitInlineAsm(
561 M.getModuleInlineAsm() + "\n", *TM.getMCSubtargetInfo(),
562 TM.Options.MCOptions, nullptr,
563 InlineAsm::AsmDialect(TM.getMCAsmInfo()->getAssemblerDialect()));
564 OutStreamer->AddComment("End of file scope inline assembly");
565 OutStreamer->addBlankLine();
566 }
567
568 if (MAI->doesSupportDebugInformation()) {
569 bool EmitCodeView = M.getCodeViewFlag();
570 // On Windows targets, emit minimal CodeView compiler info even when debug
571 // info is disabled.
572 if ((TM.getTargetTriple().isOSWindows() &&
573 M.getNamedMetadata("llvm.dbg.cu")) ||
574 (TM.getTargetTriple().isUEFI() && EmitCodeView))
575 Handlers.push_back(std::make_unique<CodeViewDebug>(this));
576 if (!EmitCodeView || M.getDwarfVersion()) {
577 if (hasDebugInfo()) {
578 DD = new DwarfDebug(this);
579 Handlers.push_back(std::unique_ptr<DwarfDebug>(DD));
580 }
581 }
582 }
583
584 if (M.getNamedMetadata(PseudoProbeDescMetadataName))
585 PP = std::make_unique<PseudoProbeHandler>(this);
586
587 switch (MAI->getExceptionHandlingType()) {
589 // We may want to emit CFI for debug.
590 [[fallthrough]];
594 for (auto &F : M.getFunctionList()) {
596 ModuleCFISection = getFunctionCFISectionType(F);
597 // If any function needsUnwindTableEntry(), it needs .eh_frame and hence
598 // the module needs .eh_frame. If we have found that case, we are done.
599 if (ModuleCFISection == CFISection::EH)
600 break;
601 }
602 assert(MAI->getExceptionHandlingType() == ExceptionHandling::DwarfCFI ||
603 usesCFIWithoutEH() || ModuleCFISection != CFISection::EH);
604 break;
605 default:
606 break;
607 }
608
609 EHStreamer *ES = nullptr;
610 switch (MAI->getExceptionHandlingType()) {
612 if (!usesCFIWithoutEH())
613 break;
614 [[fallthrough]];
618 ES = new DwarfCFIException(this);
619 break;
621 ES = new ARMException(this);
622 break;
624 switch (MAI->getWinEHEncodingType()) {
625 default: llvm_unreachable("unsupported unwinding information encoding");
627 break;
630 ES = new WinException(this);
631 break;
632 }
633 break;
635 ES = new WasmException(this);
636 break;
638 ES = new AIXException(this);
639 break;
640 }
641 if (ES)
642 Handlers.push_back(std::unique_ptr<EHStreamer>(ES));
643
644 // Emit tables for any value of cfguard flag (i.e. cfguard=1 or cfguard=2).
645 if (mdconst::extract_or_null<ConstantInt>(M.getModuleFlag("cfguard")))
646 EHHandlers.push_back(std::make_unique<WinCFGuard>(this));
647
648 for (auto &Handler : Handlers)
649 Handler->beginModule(&M);
650 for (auto &Handler : EHHandlers)
651 Handler->beginModule(&M);
652
653 return false;
654}
655
656static bool canBeHidden(const GlobalValue *GV, const MCAsmInfo &MAI) {
658 return false;
659
660 return GV->canBeOmittedFromSymbolTable();
661}
662
663void AsmPrinter::emitLinkage(const GlobalValue *GV, MCSymbol *GVSym) const {
665 switch (Linkage) {
671 if (MAI->isMachO()) {
672 // .globl _foo
673 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Global);
674
675 if (!canBeHidden(GV, *MAI))
676 // .weak_definition _foo
677 OutStreamer->emitSymbolAttribute(GVSym, MCSA_WeakDefinition);
678 else
679 OutStreamer->emitSymbolAttribute(GVSym, MCSA_WeakDefAutoPrivate);
680 } else if (MAI->avoidWeakIfComdat() && GV->hasComdat()) {
681 // .globl _foo
682 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Global);
683 //NOTE: linkonce is handled by the section the symbol was assigned to.
684 } else {
685 // .weak _foo
686 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Weak);
687 }
688 return;
690 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Global);
691 return;
694 return;
698 llvm_unreachable("Should never emit this");
699 }
700 llvm_unreachable("Unknown linkage type!");
701}
702
704 const GlobalValue *GV) const {
705 TM.getNameWithPrefix(Name, GV, getObjFileLowering().getMangler());
706}
707
709 return TM.getSymbol(GV);
710}
711
713 // On ELF, use .Lfoo$local if GV is a non-interposable GlobalObject with an
714 // exact definion (intersection of GlobalValue::hasExactDefinition() and
715 // !isInterposable()). These linkages include: external, appending, internal,
716 // private. It may be profitable to use a local alias for external. The
717 // assembler would otherwise be conservative and assume a global default
718 // visibility symbol can be interposable, even if the code generator already
719 // assumed it.
720 if (TM.getTargetTriple().isOSBinFormatELF() && GV.canBenefitFromLocalAlias()) {
721 const Module &M = *GV.getParent();
722 if (TM.getRelocationModel() != Reloc::Static &&
723 M.getPIELevel() == PIELevel::Default && GV.isDSOLocal())
724 return getSymbolWithGlobalValueBase(&GV, "$local");
725 }
726 return TM.getSymbol(&GV);
727}
728
729/// EmitGlobalVariable - Emit the specified global variable to the .s file.
731 bool IsEmuTLSVar = TM.useEmulatedTLS() && GV->isThreadLocal();
732 assert(!(IsEmuTLSVar && GV->hasCommonLinkage()) &&
733 "No emulated TLS variables in the common section");
734
735 // Never emit TLS variable xyz in emulated TLS model.
736 // The initialization value is in __emutls_t.xyz instead of xyz.
737 if (IsEmuTLSVar)
738 return;
739
740 if (GV->hasInitializer()) {
741 // Check to see if this is a special global used by LLVM, if so, emit it.
742 if (emitSpecialLLVMGlobal(GV))
743 return;
744
745 // Skip the emission of global equivalents. The symbol can be emitted later
746 // on by emitGlobalGOTEquivs in case it turns out to be needed.
747 if (GlobalGOTEquivs.count(getSymbol(GV)))
748 return;
749
750 if (isVerbose()) {
751 // When printing the control variable __emutls_v.*,
752 // we don't need to print the original TLS variable name.
753 GV->printAsOperand(OutStreamer->getCommentOS(),
754 /*PrintType=*/false, GV->getParent());
755 OutStreamer->getCommentOS() << '\n';
756 }
757 }
758
759 MCSymbol *GVSym = getSymbol(GV);
760 MCSymbol *EmittedSym = GVSym;
761
762 // getOrCreateEmuTLSControlSym only creates the symbol with name and default
763 // attributes.
764 // GV's or GVSym's attributes will be used for the EmittedSym.
765 emitVisibility(EmittedSym, GV->getVisibility(), !GV->isDeclaration());
766
767 if (GV->isTagged()) {
768 Triple T = TM.getTargetTriple();
769
770 if (T.getArch() != Triple::aarch64 || !T.isAndroid())
771 OutContext.reportError(SMLoc(),
772 "tagged symbols (-fsanitize=memtag-globals) are "
773 "only supported on AArch64 Android");
774 OutStreamer->emitSymbolAttribute(EmittedSym, MCSA_Memtag);
775 }
776
777 if (!GV->hasInitializer()) // External globals require no extra code.
778 return;
779
780 GVSym->redefineIfPossible();
781 if (GVSym->isDefined() || GVSym->isVariable())
782 OutContext.reportError(SMLoc(), "symbol '" + Twine(GVSym->getName()) +
783 "' is already defined");
784
785 if (MAI->hasDotTypeDotSizeDirective())
786 OutStreamer->emitSymbolAttribute(EmittedSym, MCSA_ELF_TypeObject);
787
789
790 const DataLayout &DL = GV->getDataLayout();
791 uint64_t Size = DL.getTypeAllocSize(GV->getValueType());
792
793 // If the alignment is specified, we *must* obey it. Overaligning a global
794 // with a specified alignment is a prompt way to break globals emitted to
795 // sections and expected to be contiguous (e.g. ObjC metadata).
796 const Align Alignment = getGVAlignment(GV, DL);
797
798 for (auto &Handler : Handlers)
799 Handler->setSymbolSize(GVSym, Size);
800
801 // Handle common symbols
802 if (GVKind.isCommon()) {
803 if (Size == 0) Size = 1; // .comm Foo, 0 is undefined, avoid it.
804 // .comm _foo, 42, 4
805 OutStreamer->emitCommonSymbol(GVSym, Size, Alignment);
806 return;
807 }
808
809 // Determine to which section this global should be emitted.
810 MCSection *TheSection = getObjFileLowering().SectionForGlobal(GV, GVKind, TM);
811
812 // If we have a bss global going to a section that supports the
813 // zerofill directive, do so here.
814 if (GVKind.isBSS() && MAI->isMachO() && TheSection->isBssSection()) {
815 if (Size == 0)
816 Size = 1; // zerofill of 0 bytes is undefined.
817 emitLinkage(GV, GVSym);
818 // .zerofill __DATA, __bss, _foo, 400, 5
819 OutStreamer->emitZerofill(TheSection, GVSym, Size, Alignment);
820 return;
821 }
822
823 // If this is a BSS local symbol and we are emitting in the BSS
824 // section use .lcomm/.comm directive.
825 if (GVKind.isBSSLocal() &&
826 getObjFileLowering().getBSSSection() == TheSection) {
827 if (Size == 0)
828 Size = 1; // .comm Foo, 0 is undefined, avoid it.
829
830 // Use .lcomm only if it supports user-specified alignment.
831 // Otherwise, while it would still be correct to use .lcomm in some
832 // cases (e.g. when Align == 1), the external assembler might enfore
833 // some -unknown- default alignment behavior, which could cause
834 // spurious differences between external and integrated assembler.
835 // Prefer to simply fall back to .local / .comm in this case.
836 if (MAI->getLCOMMDirectiveAlignmentType() != LCOMM::NoAlignment) {
837 // .lcomm _foo, 42
838 OutStreamer->emitLocalCommonSymbol(GVSym, Size, Alignment);
839 return;
840 }
841
842 // .local _foo
843 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Local);
844 // .comm _foo, 42, 4
845 OutStreamer->emitCommonSymbol(GVSym, Size, Alignment);
846 return;
847 }
848
849 // Handle thread local data for mach-o which requires us to output an
850 // additional structure of data and mangle the original symbol so that we
851 // can reference it later.
852 //
853 // TODO: This should become an "emit thread local global" method on TLOF.
854 // All of this macho specific stuff should be sunk down into TLOFMachO and
855 // stuff like "TLSExtraDataSection" should no longer be part of the parent
856 // TLOF class. This will also make it more obvious that stuff like
857 // MCStreamer::EmitTBSSSymbol is macho specific and only called from macho
858 // specific code.
859 if (GVKind.isThreadLocal() && MAI->isMachO()) {
860 // Emit the .tbss symbol
861 MCSymbol *MangSym =
862 OutContext.getOrCreateSymbol(GVSym->getName() + Twine("$tlv$init"));
863
864 if (GVKind.isThreadBSS()) {
865 TheSection = getObjFileLowering().getTLSBSSSection();
866 OutStreamer->emitTBSSSymbol(TheSection, MangSym, Size, Alignment);
867 } else if (GVKind.isThreadData()) {
868 OutStreamer->switchSection(TheSection);
869
870 emitAlignment(Alignment, GV);
871 OutStreamer->emitLabel(MangSym);
872
874 GV->getInitializer());
875 }
876
877 OutStreamer->addBlankLine();
878
879 // Emit the variable struct for the runtime.
881
882 OutStreamer->switchSection(TLVSect);
883 // Emit the linkage here.
884 emitLinkage(GV, GVSym);
885 OutStreamer->emitLabel(GVSym);
886
887 // Three pointers in size:
888 // - __tlv_bootstrap - used to make sure support exists
889 // - spare pointer, used when mapped by the runtime
890 // - pointer to mangled symbol above with initializer
891 unsigned PtrSize = DL.getPointerTypeSize(GV->getType());
892 OutStreamer->emitSymbolValue(GetExternalSymbolSymbol("_tlv_bootstrap"),
893 PtrSize);
894 OutStreamer->emitIntValue(0, PtrSize);
895 OutStreamer->emitSymbolValue(MangSym, PtrSize);
896
897 OutStreamer->addBlankLine();
898 return;
899 }
900
901 MCSymbol *EmittedInitSym = GVSym;
902
903 OutStreamer->switchSection(TheSection);
904
905 emitLinkage(GV, EmittedInitSym);
906 emitAlignment(Alignment, GV);
907
908 OutStreamer->emitLabel(EmittedInitSym);
909 MCSymbol *LocalAlias = getSymbolPreferLocal(*GV);
910 if (LocalAlias != EmittedInitSym)
911 OutStreamer->emitLabel(LocalAlias);
912
914
915 if (MAI->hasDotTypeDotSizeDirective())
916 // .size foo, 42
917 OutStreamer->emitELFSize(EmittedInitSym,
919
920 OutStreamer->addBlankLine();
921}
922
923/// Emit the directive and value for debug thread local expression
924///
925/// \p Value - The value to emit.
926/// \p Size - The size of the integer (in bytes) to emit.
927void AsmPrinter::emitDebugValue(const MCExpr *Value, unsigned Size) const {
928 OutStreamer->emitValue(Value, Size);
929}
930
931void AsmPrinter::emitFunctionHeaderComment() {}
932
933void AsmPrinter::emitFunctionPrefix(ArrayRef<const Constant *> Prefix) {
934 const Function &F = MF->getFunction();
936 for (auto &C : Prefix)
937 emitGlobalConstant(F.getDataLayout(), C);
938 return;
939 }
940 // Preserving prefix-like data on platforms which use subsections-via-symbols
941 // is a bit tricky. Here we introduce a symbol for the prefix-like data
942 // and use the .alt_entry attribute to mark the function's real entry point
943 // as an alternative entry point to the symbol that precedes the function..
944 OutStreamer->emitLabel(OutContext.createLinkerPrivateTempSymbol());
945
946 for (auto &C : Prefix) {
947 emitGlobalConstant(F.getDataLayout(), C);
948 }
949
950 // Emit an .alt_entry directive for the actual function symbol.
951 OutStreamer->emitSymbolAttribute(CurrentFnSym, MCSA_AltEntry);
952}
953
954/// EmitFunctionHeader - This method emits the header for the current
955/// function.
956void AsmPrinter::emitFunctionHeader() {
957 const Function &F = MF->getFunction();
958
959 if (isVerbose())
960 OutStreamer->getCommentOS()
961 << "-- Begin function "
962 << GlobalValue::dropLLVMManglingEscape(F.getName()) << '\n';
963
964 // Print out constants referenced by the function
966
967 // Print the 'header' of function.
968 // If basic block sections are desired, explicitly request a unique section
969 // for this function's entry block.
970 if (MF->front().isBeginSection())
971 MF->setSection(getObjFileLowering().getUniqueSectionForFunction(F, TM));
972 else
973 MF->setSection(getObjFileLowering().SectionForGlobal(&F, TM));
974 OutStreamer->switchSection(MF->getSection());
975
976 if (MAI->isAIX())
978 else
979 emitVisibility(CurrentFnSym, F.getVisibility());
980
982 if (MAI->hasFunctionAlignment())
983 emitAlignment(MF->getAlignment(), &F);
984
985 if (MAI->hasDotTypeDotSizeDirective())
986 OutStreamer->emitSymbolAttribute(CurrentFnSym, MCSA_ELF_TypeFunction);
987
988 if (F.hasFnAttribute(Attribute::Cold))
989 OutStreamer->emitSymbolAttribute(CurrentFnSym, MCSA_Cold);
990
991 // Emit the prefix data.
992 if (F.hasPrefixData())
993 emitFunctionPrefix({F.getPrefixData()});
994
995 // Emit KCFI type information before patchable-function-prefix nops.
997
998 // Emit M NOPs for -fpatchable-function-entry=N,M where M>0. We arbitrarily
999 // place prefix data before NOPs.
1000 unsigned PatchableFunctionPrefix = 0;
1001 unsigned PatchableFunctionEntry = 0;
1002 (void)F.getFnAttribute("patchable-function-prefix")
1003 .getValueAsString()
1004 .getAsInteger(10, PatchableFunctionPrefix);
1005 (void)F.getFnAttribute("patchable-function-entry")
1006 .getValueAsString()
1007 .getAsInteger(10, PatchableFunctionEntry);
1008 if (PatchableFunctionPrefix) {
1010 OutContext.createLinkerPrivateTempSymbol();
1012 emitNops(PatchableFunctionPrefix);
1013 } else if (PatchableFunctionEntry) {
1014 // May be reassigned when emitting the body, to reference the label after
1015 // the initial BTI (AArch64) or endbr32/endbr64 (x86).
1017 }
1018
1019 // Emit the function prologue data for the indirect call sanitizer.
1020 if (const MDNode *MD = F.getMetadata(LLVMContext::MD_func_sanitize)) {
1021 assert(MD->getNumOperands() == 2);
1022
1023 auto *PrologueSig = mdconst::extract<Constant>(MD->getOperand(0));
1024 auto *TypeHash = mdconst::extract<Constant>(MD->getOperand(1));
1025 emitFunctionPrefix({PrologueSig, TypeHash});
1026 }
1027
1028 if (isVerbose()) {
1029 F.printAsOperand(OutStreamer->getCommentOS(),
1030 /*PrintType=*/false, F.getParent());
1031 emitFunctionHeaderComment();
1032 OutStreamer->getCommentOS() << '\n';
1033 }
1034
1035 // Emit the function descriptor. This is a virtual function to allow targets
1036 // to emit their specific function descriptor. Right now it is only used by
1037 // the AIX target. The PowerPC 64-bit V1 ELF target also uses function
1038 // descriptors and should be converted to use this hook as well.
1039 if (MAI->isAIX())
1041
1042 // Emit the CurrentFnSym. This is a virtual function to allow targets to do
1043 // their wild and crazy things as required.
1045
1046 // If the function had address-taken blocks that got deleted, then we have
1047 // references to the dangling symbols. Emit them at the start of the function
1048 // so that we don't get references to undefined symbols.
1049 std::vector<MCSymbol*> DeadBlockSyms;
1050 takeDeletedSymbolsForFunction(&F, DeadBlockSyms);
1051 for (MCSymbol *DeadBlockSym : DeadBlockSyms) {
1052 OutStreamer->AddComment("Address taken block that was later removed");
1053 OutStreamer->emitLabel(DeadBlockSym);
1054 }
1055
1056 if (CurrentFnBegin) {
1057 if (MAI->useAssignmentForEHBegin()) {
1058 MCSymbol *CurPos = OutContext.createTempSymbol();
1059 OutStreamer->emitLabel(CurPos);
1060 OutStreamer->emitAssignment(CurrentFnBegin,
1062 } else {
1063 OutStreamer->emitLabel(CurrentFnBegin);
1064 }
1065 }
1066
1067 // Emit pre-function debug and/or EH information.
1068 for (auto &Handler : Handlers) {
1069 Handler->beginFunction(MF);
1070 Handler->beginBasicBlockSection(MF->front());
1071 }
1072 for (auto &Handler : EHHandlers) {
1073 Handler->beginFunction(MF);
1074 Handler->beginBasicBlockSection(MF->front());
1075 }
1076
1077 // Emit the prologue data.
1078 if (F.hasPrologueData())
1079 emitGlobalConstant(F.getDataLayout(), F.getPrologueData());
1080}
1081
1082/// EmitFunctionEntryLabel - Emit the label that is the entrypoint for the
1083/// function. This can be overridden by targets as required to do custom stuff.
1085 CurrentFnSym->redefineIfPossible();
1086 OutStreamer->emitLabel(CurrentFnSym);
1087
1088 if (TM.getTargetTriple().isOSBinFormatELF()) {
1089 MCSymbol *Sym = getSymbolPreferLocal(MF->getFunction());
1090 if (Sym != CurrentFnSym) {
1091 CurrentFnBeginLocal = Sym;
1092 OutStreamer->emitLabel(Sym);
1093 OutStreamer->emitSymbolAttribute(Sym, MCSA_ELF_TypeFunction);
1094 }
1095 }
1096}
1097
1098/// emitComments - Pretty-print comments for instructions.
1099static void emitComments(const MachineInstr &MI, const MCSubtargetInfo *STI,
1100 raw_ostream &CommentOS) {
1101 const MachineFunction *MF = MI.getMF();
1103
1104 // Check for spills and reloads
1105
1106 // We assume a single instruction only has a spill or reload, not
1107 // both.
1108 std::optional<LocationSize> Size;
1109 if ((Size = MI.getRestoreSize(TII))) {
1110 CommentOS << Size->getValue() << "-byte Reload\n";
1111 } else if ((Size = MI.getFoldedRestoreSize(TII))) {
1112 if (!Size->hasValue())
1113 CommentOS << "Unknown-size Folded Reload\n";
1114 else if (Size->getValue())
1115 CommentOS << Size->getValue() << "-byte Folded Reload\n";
1116 } else if ((Size = MI.getSpillSize(TII))) {
1117 CommentOS << Size->getValue() << "-byte Spill\n";
1118 } else if ((Size = MI.getFoldedSpillSize(TII))) {
1119 if (!Size->hasValue())
1120 CommentOS << "Unknown-size Folded Spill\n";
1121 else if (Size->getValue())
1122 CommentOS << Size->getValue() << "-byte Folded Spill\n";
1123 }
1124
1125 // Check for spill-induced copies
1126 if (MI.getAsmPrinterFlag(MachineInstr::ReloadReuse))
1127 CommentOS << " Reload Reuse\n";
1128
1129 if (PrintLatency) {
1131 const MCSchedModel &SCModel = STI->getSchedModel();
1134 *STI, *TII, MI);
1135 // Report only interesting latencies.
1136 if (1 < Latency)
1137 CommentOS << " Latency: " << Latency << "\n";
1138 }
1139}
1140
1141/// emitImplicitDef - This method emits the specified machine instruction
1142/// that is an implicit def.
1144 Register RegNo = MI->getOperand(0).getReg();
1145
1146 SmallString<128> Str;
1147 raw_svector_ostream OS(Str);
1148 OS << "implicit-def: "
1149 << printReg(RegNo, MF->getSubtarget().getRegisterInfo());
1150
1151 OutStreamer->AddComment(OS.str());
1152 OutStreamer->addBlankLine();
1153}
1154
1155static void emitKill(const MachineInstr *MI, AsmPrinter &AP) {
1156 std::string Str;
1157 raw_string_ostream OS(Str);
1158 OS << "kill:";
1159 for (const MachineOperand &Op : MI->operands()) {
1160 assert(Op.isReg() && "KILL instruction must have only register operands");
1161 OS << ' ' << (Op.isDef() ? "def " : "killed ")
1162 << printReg(Op.getReg(), AP.MF->getSubtarget().getRegisterInfo());
1163 }
1164 AP.OutStreamer->AddComment(Str);
1165 AP.OutStreamer->addBlankLine();
1166}
1167
1168static void emitFakeUse(const MachineInstr *MI, AsmPrinter &AP) {
1169 std::string Str;
1170 raw_string_ostream OS(Str);
1171 OS << "fake_use:";
1172 for (const MachineOperand &Op : MI->operands()) {
1173 // In some circumstances we can end up with fake uses of constants; skip
1174 // these.
1175 if (!Op.isReg())
1176 continue;
1177 OS << ' ' << printReg(Op.getReg(), AP.MF->getSubtarget().getRegisterInfo());
1178 }
1179 AP.OutStreamer->AddComment(OS.str());
1180 AP.OutStreamer->addBlankLine();
1181}
1182
1183/// emitDebugValueComment - This method handles the target-independent form
1184/// of DBG_VALUE, returning true if it was able to do so. A false return
1185/// means the target will need to handle MI in EmitInstruction.
1187 // This code handles only the 4-operand target-independent form.
1188 if (MI->isNonListDebugValue() && MI->getNumOperands() != 4)
1189 return false;
1190
1191 SmallString<128> Str;
1192 raw_svector_ostream OS(Str);
1193 OS << "DEBUG_VALUE: ";
1194
1195 const DILocalVariable *V = MI->getDebugVariable();
1196 if (auto *SP = dyn_cast<DISubprogram>(V->getScope())) {
1197 StringRef Name = SP->getName();
1198 if (!Name.empty())
1199 OS << Name << ":";
1200 }
1201 OS << V->getName();
1202 OS << " <- ";
1203
1204 const DIExpression *Expr = MI->getDebugExpression();
1205 // First convert this to a non-variadic expression if possible, to simplify
1206 // the output.
1207 if (auto NonVariadicExpr = DIExpression::convertToNonVariadicExpression(Expr))
1208 Expr = *NonVariadicExpr;
1209 // Then, output the possibly-simplified expression.
1210 if (Expr->getNumElements()) {
1211 OS << '[';
1212 ListSeparator LS;
1213 for (auto &Op : Expr->expr_ops()) {
1214 OS << LS << dwarf::OperationEncodingString(Op.getOp());
1215 for (unsigned I = 0; I < Op.getNumArgs(); ++I)
1216 OS << ' ' << Op.getArg(I);
1217 }
1218 OS << "] ";
1219 }
1220
1221 // Register or immediate value. Register 0 means undef.
1222 for (const MachineOperand &Op : MI->debug_operands()) {
1223 if (&Op != MI->debug_operands().begin())
1224 OS << ", ";
1225 switch (Op.getType()) {
1227 APFloat APF = APFloat(Op.getFPImm()->getValueAPF());
1228 Type *ImmTy = Op.getFPImm()->getType();
1229 if (ImmTy->isBFloatTy() || ImmTy->isHalfTy() || ImmTy->isFloatTy() ||
1230 ImmTy->isDoubleTy()) {
1231 OS << APF.convertToDouble();
1232 } else {
1233 // There is no good way to print long double. Convert a copy to
1234 // double. Ah well, it's only a comment.
1235 bool ignored;
1237 &ignored);
1238 OS << "(long double) " << APF.convertToDouble();
1239 }
1240 break;
1241 }
1243 OS << Op.getImm();
1244 break;
1245 }
1247 Op.getCImm()->getValue().print(OS, false /*isSigned*/);
1248 break;
1249 }
1251 OS << "!target-index(" << Op.getIndex() << "," << Op.getOffset() << ")";
1252 break;
1253 }
1256 Register Reg;
1257 std::optional<StackOffset> Offset;
1258 if (Op.isReg()) {
1259 Reg = Op.getReg();
1260 } else {
1261 const TargetFrameLowering *TFI =
1263 Offset = TFI->getFrameIndexReference(*AP.MF, Op.getIndex(), Reg);
1264 }
1265 if (!Reg) {
1266 // Suppress offset, it is not meaningful here.
1267 OS << "undef";
1268 break;
1269 }
1270 // The second operand is only an offset if it's an immediate.
1271 if (MI->isIndirectDebugValue())
1272 Offset = StackOffset::getFixed(MI->getDebugOffset().getImm());
1273 if (Offset)
1274 OS << '[';
1275 OS << printReg(Reg, AP.MF->getSubtarget().getRegisterInfo());
1276 if (Offset)
1277 OS << '+' << Offset->getFixed() << ']';
1278 break;
1279 }
1280 default:
1281 llvm_unreachable("Unknown operand type");
1282 }
1283 }
1284
1285 // NOTE: Want this comment at start of line, don't emit with AddComment.
1286 AP.OutStreamer->emitRawComment(Str);
1287 return true;
1288}
1289
1290/// This method handles the target-independent form of DBG_LABEL, returning
1291/// true if it was able to do so. A false return means the target will need
1292/// to handle MI in EmitInstruction.
1294 if (MI->getNumOperands() != 1)
1295 return false;
1296
1297 SmallString<128> Str;
1298 raw_svector_ostream OS(Str);
1299 OS << "DEBUG_LABEL: ";
1300
1301 const DILabel *V = MI->getDebugLabel();
1302 if (auto *SP = dyn_cast<DISubprogram>(
1303 V->getScope()->getNonLexicalBlockFileScope())) {
1304 StringRef Name = SP->getName();
1305 if (!Name.empty())
1306 OS << Name << ":";
1307 }
1308 OS << V->getName();
1309
1310 // NOTE: Want this comment at start of line, don't emit with AddComment.
1311 AP.OutStreamer->emitRawComment(OS.str());
1312 return true;
1313}
1314
1317 // Ignore functions that won't get emitted.
1318 if (F.isDeclarationForLinker())
1319 return CFISection::None;
1320
1321 if (MAI->getExceptionHandlingType() == ExceptionHandling::DwarfCFI &&
1322 F.needsUnwindTableEntry())
1323 return CFISection::EH;
1324
1325 if (MAI->usesCFIWithoutEH() && F.hasUWTable())
1326 return CFISection::EH;
1327
1328 if (hasDebugInfo() || TM.Options.ForceDwarfFrameSection)
1329 return CFISection::Debug;
1330
1331 return CFISection::None;
1332}
1333
1338
1340 return MAI->usesWindowsCFI() && MF->getFunction().needsUnwindTableEntry();
1341}
1342
1344 return MAI->usesCFIWithoutEH() && ModuleCFISection != CFISection::None;
1345}
1346
1348 ExceptionHandling ExceptionHandlingType = MAI->getExceptionHandlingType();
1349 if (!usesCFIWithoutEH() &&
1350 ExceptionHandlingType != ExceptionHandling::DwarfCFI &&
1351 ExceptionHandlingType != ExceptionHandling::ARM)
1352 return;
1353
1355 return;
1356
1357 // If there is no "real" instruction following this CFI instruction, skip
1358 // emitting it; it would be beyond the end of the function's FDE range.
1359 auto *MBB = MI.getParent();
1360 auto I = std::next(MI.getIterator());
1361 while (I != MBB->end() && I->isTransient())
1362 ++I;
1363 if (I == MBB->instr_end() &&
1364 MBB->getReverseIterator() == MBB->getParent()->rbegin())
1365 return;
1366
1367 const std::vector<MCCFIInstruction> &Instrs = MF->getFrameInstructions();
1368 unsigned CFIIndex = MI.getOperand(0).getCFIIndex();
1369 const MCCFIInstruction &CFI = Instrs[CFIIndex];
1370 emitCFIInstruction(CFI);
1371}
1372
1374 // The operands are the MCSymbol and the frame offset of the allocation.
1375 MCSymbol *FrameAllocSym = MI.getOperand(0).getMCSymbol();
1376 int FrameOffset = MI.getOperand(1).getImm();
1377
1378 // Emit a symbol assignment.
1379 OutStreamer->emitAssignment(FrameAllocSym,
1380 MCConstantExpr::create(FrameOffset, OutContext));
1381}
1382
1383/// Returns the BB metadata to be emitted in the SHT_LLVM_BB_ADDR_MAP section
1384/// for a given basic block. This can be used to capture more precise profile
1385/// information.
1387 const TargetInstrInfo *TII = MBB.getParent()->getSubtarget().getInstrInfo();
1389 MBB.isReturnBlock(), !MBB.empty() && TII->isTailCall(MBB.back()),
1390 MBB.isEHPad(), const_cast<MachineBasicBlock &>(MBB).canFallThrough(),
1391 !MBB.empty() && MBB.rbegin()->isIndirectBranch()}
1392 .encode();
1393}
1394
1396getBBAddrMapFeature(const MachineFunction &MF, int NumMBBSectionRanges,
1397 bool HasCalls) {
1398 // Ensure that the user has not passed in additional options while also
1399 // specifying all or none.
1402 popcount(PgoAnalysisMapFeatures.getBits()) != 1) {
1404 "-pgo-anaylsis-map can accept only all or none with no additional "
1405 "values.");
1406 }
1407
1408 bool NoFeatures = PgoAnalysisMapFeatures.isSet(PGOMapFeaturesEnum::None);
1410 bool FuncEntryCountEnabled =
1411 AllFeatures || (!NoFeatures && PgoAnalysisMapFeatures.isSet(
1413 bool BBFreqEnabled =
1414 AllFeatures ||
1415 (!NoFeatures && PgoAnalysisMapFeatures.isSet(PGOMapFeaturesEnum::BBFreq));
1416 bool BrProbEnabled =
1417 AllFeatures ||
1418 (!NoFeatures && PgoAnalysisMapFeatures.isSet(PGOMapFeaturesEnum::BrProb));
1419
1420 if ((BBFreqEnabled || BrProbEnabled) && BBAddrMapSkipEmitBBEntries) {
1422 "BB entries info is required for BBFreq and BrProb "
1423 "features");
1424 }
1425 return {FuncEntryCountEnabled,
1426 BBFreqEnabled,
1427 BrProbEnabled,
1428 MF.hasBBSections() && NumMBBSectionRanges > 1,
1429 static_cast<bool>(BBAddrMapSkipEmitBBEntries),
1430 HasCalls};
1431}
1432
1434 MCSection *BBAddrMapSection =
1435 getObjFileLowering().getBBAddrMapSection(*MF.getSection());
1436 assert(BBAddrMapSection && ".llvm_bb_addr_map section is not initialized.");
1437 bool HasCalls = !CurrentFnCallsiteEndSymbols.empty();
1438
1439 const MCSymbol *FunctionSymbol = getFunctionBegin();
1440
1441 OutStreamer->pushSection();
1442 OutStreamer->switchSection(BBAddrMapSection);
1443 OutStreamer->AddComment("version");
1444 uint8_t BBAddrMapVersion = OutStreamer->getContext().getBBAddrMapVersion();
1445 OutStreamer->emitInt8(BBAddrMapVersion);
1446 OutStreamer->AddComment("feature");
1447 auto Features = getBBAddrMapFeature(MF, MBBSectionRanges.size(), HasCalls);
1448 OutStreamer->emitInt8(Features.encode());
1449 // Emit BB Information for each basic block in the function.
1450 if (Features.MultiBBRange) {
1451 OutStreamer->AddComment("number of basic block ranges");
1452 OutStreamer->emitULEB128IntValue(MBBSectionRanges.size());
1453 }
1454 // Number of blocks in each MBB section.
1455 MapVector<MBBSectionID, unsigned> MBBSectionNumBlocks;
1456 const MCSymbol *PrevMBBEndSymbol = nullptr;
1457 if (!Features.MultiBBRange) {
1458 OutStreamer->AddComment("function address");
1459 OutStreamer->emitSymbolValue(FunctionSymbol, getPointerSize());
1460 OutStreamer->AddComment("number of basic blocks");
1461 OutStreamer->emitULEB128IntValue(MF.size());
1462 PrevMBBEndSymbol = FunctionSymbol;
1463 } else {
1464 unsigned BBCount = 0;
1465 for (const MachineBasicBlock &MBB : MF) {
1466 BBCount++;
1467 if (MBB.isEndSection()) {
1468 // Store each section's basic block count when it ends.
1469 MBBSectionNumBlocks[MBB.getSectionID()] = BBCount;
1470 // Reset the count for the next section.
1471 BBCount = 0;
1472 }
1473 }
1474 }
1475 // Emit the BB entry for each basic block in the function.
1476 for (const MachineBasicBlock &MBB : MF) {
1477 const MCSymbol *MBBSymbol =
1478 MBB.isEntryBlock() ? FunctionSymbol : MBB.getSymbol();
1479 bool IsBeginSection =
1480 Features.MultiBBRange && (MBB.isBeginSection() || MBB.isEntryBlock());
1481 if (IsBeginSection) {
1482 OutStreamer->AddComment("base address");
1483 OutStreamer->emitSymbolValue(MBBSymbol, getPointerSize());
1484 OutStreamer->AddComment("number of basic blocks");
1485 OutStreamer->emitULEB128IntValue(MBBSectionNumBlocks[MBB.getSectionID()]);
1486 PrevMBBEndSymbol = MBBSymbol;
1487 }
1488
1489 if (!Features.OmitBBEntries) {
1490 OutStreamer->AddComment("BB id");
1491 // Emit the BB ID for this basic block.
1492 // We only emit BaseID since CloneID is unset for
1493 // -basic-block-adress-map.
1494 // TODO: Emit the full BBID when labels and sections can be mixed
1495 // together.
1496 OutStreamer->emitULEB128IntValue(MBB.getBBID()->BaseID);
1497 // Emit the basic block offset relative to the end of the previous block.
1498 // This is zero unless the block is padded due to alignment.
1499 emitLabelDifferenceAsULEB128(MBBSymbol, PrevMBBEndSymbol);
1500 const MCSymbol *CurrentLabel = MBBSymbol;
1501 if (HasCalls) {
1502 auto CallsiteEndSymbols = CurrentFnCallsiteEndSymbols.lookup(&MBB);
1503 OutStreamer->AddComment("number of callsites");
1504 OutStreamer->emitULEB128IntValue(CallsiteEndSymbols.size());
1505 for (const MCSymbol *CallsiteEndSymbol : CallsiteEndSymbols) {
1506 // Emit the callsite offset.
1507 emitLabelDifferenceAsULEB128(CallsiteEndSymbol, CurrentLabel);
1508 CurrentLabel = CallsiteEndSymbol;
1509 }
1510 }
1511 // Emit the offset to the end of the block, which can be used to compute
1512 // the total block size.
1513 emitLabelDifferenceAsULEB128(MBB.getEndSymbol(), CurrentLabel);
1514 // Emit the Metadata.
1515 OutStreamer->emitULEB128IntValue(getBBAddrMapMetadata(MBB));
1516 }
1517 PrevMBBEndSymbol = MBB.getEndSymbol();
1518 }
1519
1520 if (Features.hasPGOAnalysis()) {
1521 assert(BBAddrMapVersion >= 2 &&
1522 "PGOAnalysisMap only supports version 2 or later");
1523
1524 if (Features.FuncEntryCount) {
1525 OutStreamer->AddComment("function entry count");
1526 auto MaybeEntryCount = MF.getFunction().getEntryCount();
1527 OutStreamer->emitULEB128IntValue(
1528 MaybeEntryCount ? MaybeEntryCount->getCount() : 0);
1529 }
1530 const MachineBlockFrequencyInfo *MBFI =
1531 Features.BBFreq
1533 : nullptr;
1534 const MachineBranchProbabilityInfo *MBPI =
1535 Features.BrProb
1537 : nullptr;
1538
1539 if (Features.BBFreq || Features.BrProb) {
1540 for (const MachineBasicBlock &MBB : MF) {
1541 if (Features.BBFreq) {
1542 OutStreamer->AddComment("basic block frequency");
1543 OutStreamer->emitULEB128IntValue(
1544 MBFI->getBlockFreq(&MBB).getFrequency());
1545 }
1546 if (Features.BrProb) {
1547 unsigned SuccCount = MBB.succ_size();
1548 OutStreamer->AddComment("basic block successor count");
1549 OutStreamer->emitULEB128IntValue(SuccCount);
1550 for (const MachineBasicBlock *SuccMBB : MBB.successors()) {
1551 OutStreamer->AddComment("successor BB ID");
1552 OutStreamer->emitULEB128IntValue(SuccMBB->getBBID()->BaseID);
1553 OutStreamer->AddComment("successor branch probability");
1554 OutStreamer->emitULEB128IntValue(
1555 MBPI->getEdgeProbability(&MBB, SuccMBB).getNumerator());
1556 }
1557 }
1558 }
1559 }
1560 }
1561
1562 OutStreamer->popSection();
1563}
1564
1566 const MCSymbol *Symbol) {
1567 MCSection *Section =
1568 getObjFileLowering().getKCFITrapSection(*MF.getSection());
1569 if (!Section)
1570 return;
1571
1572 OutStreamer->pushSection();
1573 OutStreamer->switchSection(Section);
1574
1575 MCSymbol *Loc = OutContext.createLinkerPrivateTempSymbol();
1576 OutStreamer->emitLabel(Loc);
1577 OutStreamer->emitAbsoluteSymbolDiff(Symbol, Loc, 4);
1578
1579 OutStreamer->popSection();
1580}
1581
1583 const Function &F = MF.getFunction();
1584 if (const MDNode *MD = F.getMetadata(LLVMContext::MD_kcfi_type))
1585 emitGlobalConstant(F.getDataLayout(),
1586 mdconst::extract<ConstantInt>(MD->getOperand(0)));
1587}
1588
1590 if (PP) {
1591 auto GUID = MI.getOperand(0).getImm();
1592 auto Index = MI.getOperand(1).getImm();
1593 auto Type = MI.getOperand(2).getImm();
1594 auto Attr = MI.getOperand(3).getImm();
1595 DILocation *DebugLoc = MI.getDebugLoc();
1596 PP->emitPseudoProbe(GUID, Index, Type, Attr, DebugLoc);
1597 }
1598}
1599
1601 if (!MF.getTarget().Options.EmitStackSizeSection)
1602 return;
1603
1604 MCSection *StackSizeSection =
1606 if (!StackSizeSection)
1607 return;
1608
1609 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
1610 // Don't emit functions with dynamic stack allocations.
1611 if (FrameInfo.hasVarSizedObjects())
1612 return;
1613
1614 OutStreamer->pushSection();
1615 OutStreamer->switchSection(StackSizeSection);
1616
1617 const MCSymbol *FunctionSymbol = getFunctionBegin();
1618 uint64_t StackSize =
1619 FrameInfo.getStackSize() + FrameInfo.getUnsafeStackSize();
1620 OutStreamer->emitSymbolValue(FunctionSymbol, TM.getProgramPointerSize());
1621 OutStreamer->emitULEB128IntValue(StackSize);
1622
1623 OutStreamer->popSection();
1624}
1625
1627 const std::string &OutputFilename = MF.getTarget().Options.StackUsageOutput;
1628
1629 // OutputFilename empty implies -fstack-usage is not passed.
1630 if (OutputFilename.empty())
1631 return;
1632
1633 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
1634 uint64_t StackSize =
1635 FrameInfo.getStackSize() + FrameInfo.getUnsafeStackSize();
1636
1637 if (StackUsageStream == nullptr) {
1638 std::error_code EC;
1639 StackUsageStream =
1640 std::make_unique<raw_fd_ostream>(OutputFilename, EC, sys::fs::OF_Text);
1641 if (EC) {
1642 errs() << "Could not open file: " << EC.message();
1643 return;
1644 }
1645 }
1646
1647 if (const DISubprogram *DSP = MF.getFunction().getSubprogram())
1648 *StackUsageStream << DSP->getFilename() << ':' << DSP->getLine();
1649 else
1650 *StackUsageStream << MF.getFunction().getParent()->getName();
1651
1652 *StackUsageStream << ':' << MF.getName() << '\t' << StackSize << '\t';
1653 if (FrameInfo.hasVarSizedObjects())
1654 *StackUsageStream << "dynamic\n";
1655 else
1656 *StackUsageStream << "static\n";
1657}
1658
1659/// Extracts a generalized numeric type identifier of a Function's type from
1660/// type metadata. Returns null if metadata cannot be found.
1663 F.getMetadata(LLVMContext::MD_type, Types);
1664 for (const auto &Type : Types) {
1665 if (Type->hasGeneralizedMDString()) {
1666 MDString *MDGeneralizedTypeId = cast<MDString>(Type->getOperand(1));
1667 uint64_t TypeIdVal = llvm::MD5Hash(MDGeneralizedTypeId->getString());
1668 IntegerType *Int64Ty = Type::getInt64Ty(F.getContext());
1669 return ConstantInt::get(Int64Ty, TypeIdVal);
1670 }
1671 }
1672 return nullptr;
1673}
1674
1675/// Emits .callgraph section.
1677 FunctionCallGraphInfo &FuncCGInfo) {
1678 if (!MF.getTarget().Options.EmitCallGraphSection)
1679 return;
1680
1681 // Switch to the call graph section for the function
1682 MCSection *FuncCGSection =
1684 assert(FuncCGSection && "null callgraph section");
1685 OutStreamer->pushSection();
1686 OutStreamer->switchSection(FuncCGSection);
1687
1688 // Emit format version number.
1689 OutStreamer->emitInt64(CallGraphSectionFormatVersion::V_0);
1690
1691 // Emit function's self information, which is composed of:
1692 // 1) FunctionEntryPc
1693 // 2) FunctionKind: Whether the function is indirect target, and if so,
1694 // whether its type id is known.
1695 // 3) FunctionTypeId: Emit only when the function is an indirect target
1696 // and its type id is known.
1697
1698 // Emit function entry pc.
1699 const MCSymbol *FunctionSymbol = getFunctionBegin();
1700 OutStreamer->emitSymbolValue(FunctionSymbol, TM.getProgramPointerSize());
1701
1702 // If this function has external linkage or has its address taken and
1703 // it is not a callback, then anything could call it.
1704 const Function &F = MF.getFunction();
1705 bool IsIndirectTarget =
1706 !F.hasLocalLinkage() || F.hasAddressTaken(nullptr,
1707 /*IgnoreCallbackUses=*/true,
1708 /*IgnoreAssumeLikeCalls=*/true,
1709 /*IgnoreLLVMUsed=*/false);
1710
1711 // FIXME: FunctionKind takes a few values but emitted as a 64-bit value.
1712 // Can be optimized to occupy 2 bits instead.
1713 // Emit function kind, and type id if available.
1714 if (!IsIndirectTarget) {
1715 OutStreamer->emitInt64(
1716 static_cast<uint64_t>(FunctionKind::NOT_INDIRECT_TARGET));
1717 } else {
1718 if (const auto *TypeId = extractNumericCGTypeId(F)) {
1719 OutStreamer->emitInt64(
1720 static_cast<uint64_t>(FunctionKind::INDIRECT_TARGET_KNOWN_TID));
1721 OutStreamer->emitInt64(TypeId->getZExtValue());
1722 } else {
1723 OutStreamer->emitInt64(
1724 static_cast<uint64_t>(FunctionKind::INDIRECT_TARGET_UNKNOWN_TID));
1725 }
1726 }
1727
1728 // Emit callsite labels, where each element is a pair of type id and
1729 // indirect callsite pc.
1730 const auto &CallSiteLabels = FuncCGInfo.CallSiteLabels;
1731 OutStreamer->emitInt64(CallSiteLabels.size());
1732 for (const auto &[TypeId, Label] : CallSiteLabels) {
1733 OutStreamer->emitInt64(TypeId);
1734 OutStreamer->emitSymbolValue(Label, TM.getProgramPointerSize());
1735 }
1736 FuncCGInfo.CallSiteLabels.clear();
1737
1738 const auto &DirectCallees = FuncCGInfo.DirectCallees;
1739 OutStreamer->emitInt64(DirectCallees.size());
1740 for (const auto &CalleeSymbol : DirectCallees) {
1741 OutStreamer->emitSymbolValue(CalleeSymbol, TM.getProgramPointerSize());
1742 }
1743 FuncCGInfo.DirectCallees.clear();
1744
1745 OutStreamer->popSection();
1746}
1747
1749 const MDNode &MD) {
1750 MCSymbol *S = MF.getContext().createTempSymbol("pcsection");
1751 OutStreamer->emitLabel(S);
1752 PCSectionsSymbols[&MD].emplace_back(S);
1753}
1754
1756 const Function &F = MF.getFunction();
1757 if (PCSectionsSymbols.empty() && !F.hasMetadata(LLVMContext::MD_pcsections))
1758 return;
1759
1760 const CodeModel::Model CM = MF.getTarget().getCodeModel();
1761 const unsigned RelativeRelocSize =
1763 : 4;
1764
1765 // Switch to PCSection, short-circuiting the common case where the current
1766 // section is still valid (assume most MD_pcsections contain just 1 section).
1767 auto SwitchSection = [&, Prev = StringRef()](const StringRef &Sec) mutable {
1768 if (Sec == Prev)
1769 return;
1770 MCSection *S = getObjFileLowering().getPCSection(Sec, MF.getSection());
1771 assert(S && "PC section is not initialized");
1772 OutStreamer->switchSection(S);
1773 Prev = Sec;
1774 };
1775 // Emit symbols into sections and data as specified in the pcsections MDNode.
1776 auto EmitForMD = [&](const MDNode &MD, ArrayRef<const MCSymbol *> Syms,
1777 bool Deltas) {
1778 // Expect the first operand to be a section name. After that, a tuple of
1779 // constants may appear, which will simply be emitted into the current
1780 // section (the user of MD_pcsections decides the format of encoded data).
1781 assert(isa<MDString>(MD.getOperand(0)) && "first operand not a string");
1782 bool ConstULEB128 = false;
1783 for (const MDOperand &MDO : MD.operands()) {
1784 if (auto *S = dyn_cast<MDString>(MDO)) {
1785 // Found string, start of new section!
1786 // Find options for this section "<section>!<opts>" - supported options:
1787 // C = Compress constant integers of size 2-8 bytes as ULEB128.
1788 const StringRef SecWithOpt = S->getString();
1789 const size_t OptStart = SecWithOpt.find('!'); // likely npos
1790 const StringRef Sec = SecWithOpt.substr(0, OptStart);
1791 const StringRef Opts = SecWithOpt.substr(OptStart); // likely empty
1792 ConstULEB128 = Opts.contains('C');
1793#ifndef NDEBUG
1794 for (char O : Opts)
1795 assert((O == '!' || O == 'C') && "Invalid !pcsections options");
1796#endif
1797 SwitchSection(Sec);
1798 const MCSymbol *Prev = Syms.front();
1799 for (const MCSymbol *Sym : Syms) {
1800 if (Sym == Prev || !Deltas) {
1801 // Use the entry itself as the base of the relative offset.
1802 MCSymbol *Base = MF.getContext().createTempSymbol("pcsection_base");
1803 OutStreamer->emitLabel(Base);
1804 // Emit relative relocation `addr - base`, which avoids a dynamic
1805 // relocation in the final binary. User will get the address with
1806 // `base + addr`.
1807 emitLabelDifference(Sym, Base, RelativeRelocSize);
1808 } else {
1809 // Emit delta between symbol and previous symbol.
1810 if (ConstULEB128)
1812 else
1813 emitLabelDifference(Sym, Prev, 4);
1814 }
1815 Prev = Sym;
1816 }
1817 } else {
1818 // Emit auxiliary data after PC.
1819 assert(isa<MDNode>(MDO) && "expecting either string or tuple");
1820 const auto *AuxMDs = cast<MDNode>(MDO);
1821 for (const MDOperand &AuxMDO : AuxMDs->operands()) {
1822 assert(isa<ConstantAsMetadata>(AuxMDO) && "expecting a constant");
1823 const Constant *C = cast<ConstantAsMetadata>(AuxMDO)->getValue();
1824 const DataLayout &DL = F.getDataLayout();
1825 const uint64_t Size = DL.getTypeStoreSize(C->getType());
1826
1827 if (auto *CI = dyn_cast<ConstantInt>(C);
1828 CI && ConstULEB128 && Size > 1 && Size <= 8) {
1829 emitULEB128(CI->getZExtValue());
1830 } else {
1832 }
1833 }
1834 }
1835 }
1836 };
1837
1838 OutStreamer->pushSection();
1839 // Emit PCs for function start and function size.
1840 if (const MDNode *MD = F.getMetadata(LLVMContext::MD_pcsections))
1841 EmitForMD(*MD, {getFunctionBegin(), getFunctionEnd()}, true);
1842 // Emit PCs for instructions collected.
1843 for (const auto &MS : PCSectionsSymbols)
1844 EmitForMD(*MS.first, MS.second, false);
1845 OutStreamer->popSection();
1846 PCSectionsSymbols.clear();
1847}
1848
1849/// Returns true if function begin and end labels should be emitted.
1850static bool needFuncLabels(const MachineFunction &MF, const AsmPrinter &Asm) {
1851 if (Asm.hasDebugInfo() || !MF.getLandingPads().empty() ||
1852 MF.hasEHFunclets() ||
1853 MF.getFunction().hasMetadata(LLVMContext::MD_pcsections))
1854 return true;
1855
1856 // We might emit an EH table that uses function begin and end labels even if
1857 // we don't have any landingpads.
1858 if (!MF.getFunction().hasPersonalityFn())
1859 return false;
1860 return !isNoOpWithoutInvoke(
1862}
1863
1864// Return the mnemonic of a MachineInstr if available, or the MachineInstr
1865// opcode name otherwise.
1867 const TargetInstrInfo *TII =
1868 MI.getParent()->getParent()->getSubtarget().getInstrInfo();
1869 MCInst MCI;
1870 MCI.setOpcode(MI.getOpcode());
1871 if (StringRef Name = Streamer.getMnemonic(MCI); !Name.empty())
1872 return Name;
1873 StringRef Name = TII->getName(MI.getOpcode());
1874 assert(!Name.empty() && "Missing mnemonic and name for opcode");
1875 return Name;
1876}
1877
1879 FunctionCallGraphInfo &FuncCGInfo,
1880 const MachineFunction::CallSiteInfoMap &CallSitesInfoMap,
1881 const MachineInstr &MI) {
1882 assert(MI.isCall() &&
1883 "Callsite labels are meant for call instructions only.");
1884 const MachineOperand &CalleeOperand = MI.getOperand(0);
1885 if (CalleeOperand.isGlobal() || CalleeOperand.isSymbol()) {
1886 // Handle direct calls.
1887 MCSymbol *CalleeSymbol = nullptr;
1888 switch (CalleeOperand.getType()) {
1890 CalleeSymbol = getSymbol(CalleeOperand.getGlobal());
1891 break;
1893 CalleeSymbol = GetExternalSymbolSymbol(CalleeOperand.getSymbolName());
1894 break;
1895 default:
1897 "Expected to only handle direct call instructions here.");
1898 }
1899 FuncCGInfo.DirectCallees.insert(CalleeSymbol);
1900 return; // Early exit after handling the direct call instruction.
1901 }
1902 const auto &CallSiteInfo = CallSitesInfoMap.find(&MI);
1903 if (CallSiteInfo == CallSitesInfoMap.end())
1904 return;
1905 // Handle indirect callsite info.
1906 // Only indirect calls have type identifiers set.
1907 for (ConstantInt *CalleeTypeId : CallSiteInfo->second.CalleeTypeIds) {
1908 MCSymbol *S = MF->getContext().createTempSymbol();
1909 OutStreamer->emitLabel(S);
1910 uint64_t CalleeTypeIdVal = CalleeTypeId->getZExtValue();
1911 FuncCGInfo.CallSiteLabels.emplace_back(CalleeTypeIdVal, S);
1912 }
1913}
1914
1915/// EmitFunctionBody - This method emits the body and trailer for a
1916/// function.
1918 emitFunctionHeader();
1919
1920 // Emit target-specific gunk before the function body.
1922
1923 if (isVerbose()) {
1924 // Get MachineDominatorTree or compute it on the fly if it's unavailable
1926 MDT = MDTWrapper ? &MDTWrapper->getDomTree() : nullptr;
1927 if (!MDT) {
1928 OwnedMDT = std::make_unique<MachineDominatorTree>();
1929 OwnedMDT->recalculate(*MF);
1930 MDT = OwnedMDT.get();
1931 }
1932
1933 // Get MachineLoopInfo or compute it on the fly if it's unavailable
1935 MLI = MLIWrapper ? &MLIWrapper->getLI() : nullptr;
1936 if (!MLI) {
1937 OwnedMLI = std::make_unique<MachineLoopInfo>();
1938 OwnedMLI->analyze(*MDT);
1939 MLI = OwnedMLI.get();
1940 }
1941 }
1942
1943 // Print out code for the function.
1944 bool HasAnyRealCode = false;
1945 int NumInstsInFunction = 0;
1946 bool IsEHa = MMI->getModule()->getModuleFlag("eh-asynch");
1947
1948 const MCSubtargetInfo *STI = nullptr;
1949 if (this->MF)
1950 STI = &getSubtargetInfo();
1951 else
1952 STI = TM.getMCSubtargetInfo();
1953
1954 bool CanDoExtraAnalysis = ORE->allowExtraAnalysis(DEBUG_TYPE);
1955 // Create a slot for the entry basic block section so that the section
1956 // order is preserved when iterating over MBBSectionRanges.
1957 if (!MF->empty())
1958 MBBSectionRanges[MF->front().getSectionID()] =
1960
1961 FunctionCallGraphInfo FuncCGInfo;
1962 const auto &CallSitesInfoMap = MF->getCallSitesInfo();
1963 for (auto &MBB : *MF) {
1964 // Print a label for the basic block.
1966 DenseMap<StringRef, unsigned> MnemonicCounts;
1967 for (auto &MI : MBB) {
1968 // Print the assembly for the instruction.
1969 if (!MI.isPosition() && !MI.isImplicitDef() && !MI.isKill() &&
1970 !MI.isDebugInstr()) {
1971 HasAnyRealCode = true;
1972 }
1973
1974 // If there is a pre-instruction symbol, emit a label for it here.
1975 if (MCSymbol *S = MI.getPreInstrSymbol())
1976 OutStreamer->emitLabel(S);
1977
1978 if (MDNode *MD = MI.getPCSections())
1979 emitPCSectionsLabel(*MF, *MD);
1980
1981 for (auto &Handler : Handlers)
1982 Handler->beginInstruction(&MI);
1983
1984 if (isVerbose())
1985 emitComments(MI, STI, OutStreamer->getCommentOS());
1986
1987 switch (MI.getOpcode()) {
1988 case TargetOpcode::CFI_INSTRUCTION:
1990 break;
1991 case TargetOpcode::LOCAL_ESCAPE:
1993 break;
1994 case TargetOpcode::ANNOTATION_LABEL:
1995 case TargetOpcode::GC_LABEL:
1996 OutStreamer->emitLabel(MI.getOperand(0).getMCSymbol());
1997 break;
1998 case TargetOpcode::EH_LABEL:
1999 OutStreamer->AddComment("EH_LABEL");
2000 OutStreamer->emitLabel(MI.getOperand(0).getMCSymbol());
2001 // For AsynchEH, insert a Nop if followed by a trap inst
2002 // Or the exception won't be caught.
2003 // (see MCConstantExpr::create(1,..) in WinException.cpp)
2004 // Ignore SDiv/UDiv because a DIV with Const-0 divisor
2005 // must have being turned into an UndefValue.
2006 // Div with variable opnds won't be the first instruction in
2007 // an EH region as it must be led by at least a Load
2008 {
2009 auto MI2 = std::next(MI.getIterator());
2010 if (IsEHa && MI2 != MBB.end() &&
2011 (MI2->mayLoadOrStore() || MI2->mayRaiseFPException()))
2012 emitNops(1);
2013 }
2014 break;
2015 case TargetOpcode::INLINEASM:
2016 case TargetOpcode::INLINEASM_BR:
2017 emitInlineAsm(&MI);
2018 break;
2019 case TargetOpcode::DBG_VALUE:
2020 case TargetOpcode::DBG_VALUE_LIST:
2021 if (isVerbose()) {
2022 if (!emitDebugValueComment(&MI, *this))
2024 }
2025 break;
2026 case TargetOpcode::DBG_INSTR_REF:
2027 // This instruction reference will have been resolved to a machine
2028 // location, and a nearby DBG_VALUE created. We can safely ignore
2029 // the instruction reference.
2030 break;
2031 case TargetOpcode::DBG_PHI:
2032 // This instruction is only used to label a program point, it's purely
2033 // meta information.
2034 break;
2035 case TargetOpcode::DBG_LABEL:
2036 if (isVerbose()) {
2037 if (!emitDebugLabelComment(&MI, *this))
2039 }
2040 break;
2041 case TargetOpcode::IMPLICIT_DEF:
2042 if (isVerbose()) emitImplicitDef(&MI);
2043 break;
2044 case TargetOpcode::KILL:
2045 if (isVerbose()) emitKill(&MI, *this);
2046 break;
2047 case TargetOpcode::FAKE_USE:
2048 if (isVerbose())
2049 emitFakeUse(&MI, *this);
2050 break;
2051 case TargetOpcode::PSEUDO_PROBE:
2053 break;
2054 case TargetOpcode::ARITH_FENCE:
2055 if (isVerbose())
2056 OutStreamer->emitRawComment("ARITH_FENCE");
2057 break;
2058 case TargetOpcode::MEMBARRIER:
2059 OutStreamer->emitRawComment("MEMBARRIER");
2060 break;
2061 case TargetOpcode::JUMP_TABLE_DEBUG_INFO:
2062 // This instruction is only used to note jump table debug info, it's
2063 // purely meta information.
2064 break;
2065 case TargetOpcode::INIT_UNDEF:
2066 // This is only used to influence register allocation behavior, no
2067 // actual initialization is needed.
2068 break;
2069 default:
2071
2072 auto CountInstruction = [&](const MachineInstr &MI) {
2073 // Skip Meta instructions inside bundles.
2074 if (MI.isMetaInstruction())
2075 return;
2076 ++NumInstsInFunction;
2077 if (CanDoExtraAnalysis) {
2079 ++MnemonicCounts[Name];
2080 }
2081 };
2082 if (!MI.isBundle()) {
2083 CountInstruction(MI);
2084 break;
2085 }
2086 // Separately count all the instructions in a bundle.
2087 for (auto It = std::next(MI.getIterator());
2088 It != MBB.end() && It->isInsideBundle(); ++It) {
2089 CountInstruction(*It);
2090 }
2091 break;
2092 }
2093
2094 if (MI.isCall() && MF->getTarget().Options.BBAddrMap)
2096
2097 if (TM.Options.EmitCallGraphSection && MI.isCall())
2098 handleCallsiteForCallgraph(FuncCGInfo, CallSitesInfoMap, MI);
2099
2100 // If there is a post-instruction symbol, emit a label for it here.
2101 if (MCSymbol *S = MI.getPostInstrSymbol())
2102 OutStreamer->emitLabel(S);
2103
2104 for (auto &Handler : Handlers)
2105 Handler->endInstruction();
2106 }
2107
2108 // We must emit temporary symbol for the end of this basic block, if either
2109 // we have BBLabels enabled or if this basic blocks marks the end of a
2110 // section.
2111 if (MF->getTarget().Options.BBAddrMap ||
2112 (MAI->hasDotTypeDotSizeDirective() && MBB.isEndSection()))
2113 OutStreamer->emitLabel(MBB.getEndSymbol());
2114
2115 if (MBB.isEndSection()) {
2116 // The size directive for the section containing the entry block is
2117 // handled separately by the function section.
2118 if (!MBB.sameSection(&MF->front())) {
2119 if (MAI->hasDotTypeDotSizeDirective()) {
2120 // Emit the size directive for the basic block section.
2121 const MCExpr *SizeExp = MCBinaryExpr::createSub(
2122 MCSymbolRefExpr::create(MBB.getEndSymbol(), OutContext),
2123 MCSymbolRefExpr::create(CurrentSectionBeginSym, OutContext),
2124 OutContext);
2125 OutStreamer->emitELFSize(CurrentSectionBeginSym, SizeExp);
2126 }
2127 assert(!MBBSectionRanges.contains(MBB.getSectionID()) &&
2128 "Overwrite section range");
2129 MBBSectionRanges[MBB.getSectionID()] =
2130 MBBSectionRange{CurrentSectionBeginSym, MBB.getEndSymbol()};
2131 }
2132 }
2134
2135 if (CanDoExtraAnalysis) {
2136 // Skip empty blocks.
2137 if (MBB.empty())
2138 continue;
2139
2141 MBB.begin()->getDebugLoc(), &MBB);
2142
2143 // Generate instruction mix remark. First, sort counts in descending order
2144 // by count and name.
2146 for (auto &KV : MnemonicCounts)
2147 MnemonicVec.emplace_back(KV.first, KV.second);
2148
2149 sort(MnemonicVec, [](const std::pair<StringRef, unsigned> &A,
2150 const std::pair<StringRef, unsigned> &B) {
2151 if (A.second > B.second)
2152 return true;
2153 if (A.second == B.second)
2154 return StringRef(A.first) < StringRef(B.first);
2155 return false;
2156 });
2157 R << "BasicBlock: " << ore::NV("BasicBlock", MBB.getName()) << "\n";
2158 for (auto &KV : MnemonicVec) {
2159 auto Name = (Twine("INST_") + getToken(KV.first.trim()).first).str();
2160 R << KV.first << ": " << ore::NV(Name, KV.second) << "\n";
2161 }
2162 ORE->emit(R);
2163 }
2164 }
2165
2166 EmittedInsts += NumInstsInFunction;
2167 MachineOptimizationRemarkAnalysis R(DEBUG_TYPE, "InstructionCount",
2168 MF->getFunction().getSubprogram(),
2169 &MF->front());
2170 R << ore::NV("NumInstructions", NumInstsInFunction)
2171 << " instructions in function";
2172 ORE->emit(R);
2173
2174 // If the function is empty and the object file uses .subsections_via_symbols,
2175 // then we need to emit *something* to the function body to prevent the
2176 // labels from collapsing together. Just emit a noop.
2177 // Similarly, don't emit empty functions on Windows either. It can lead to
2178 // duplicate entries (two functions with the same RVA) in the Guard CF Table
2179 // after linking, causing the kernel not to load the binary:
2180 // https://developercommunity.visualstudio.com/content/problem/45366/vc-linker-creates-invalid-dll-with-clang-cl.html
2181 // FIXME: Hide this behind some API in e.g. MCAsmInfo or MCTargetStreamer.
2182 const Triple &TT = TM.getTargetTriple();
2183 if (!HasAnyRealCode && (MAI->hasSubsectionsViaSymbols() ||
2184 (TT.isOSWindows() && TT.isOSBinFormatCOFF()))) {
2185 MCInst Noop = MF->getSubtarget().getInstrInfo()->getNop();
2186
2187 // Targets can opt-out of emitting the noop here by leaving the opcode
2188 // unspecified.
2189 if (Noop.getOpcode()) {
2190 OutStreamer->AddComment("avoids zero-length function");
2191 emitNops(1);
2192 }
2193 }
2194
2195 // Switch to the original section in case basic block sections was used.
2196 OutStreamer->switchSection(MF->getSection());
2197
2198 const Function &F = MF->getFunction();
2199 for (const auto &BB : F) {
2200 if (!BB.hasAddressTaken())
2201 continue;
2202 MCSymbol *Sym = GetBlockAddressSymbol(&BB);
2203 if (Sym->isDefined())
2204 continue;
2205 OutStreamer->AddComment("Address of block that was removed by CodeGen");
2206 OutStreamer->emitLabel(Sym);
2207 }
2208
2209 // Emit target-specific gunk after the function body.
2211
2212 // Even though wasm supports .type and .size in general, function symbols
2213 // are automatically sized.
2214 bool EmitFunctionSize = MAI->hasDotTypeDotSizeDirective() && !TT.isWasm();
2215
2216 // SPIR-V supports label instructions only inside a block, not after the
2217 // function body.
2218 if (TT.getObjectFormat() != Triple::SPIRV &&
2219 (EmitFunctionSize || needFuncLabels(*MF, *this))) {
2220 // Create a symbol for the end of function.
2221 CurrentFnEnd = createTempSymbol("func_end");
2222 OutStreamer->emitLabel(CurrentFnEnd);
2223 }
2224
2225 // If the target wants a .size directive for the size of the function, emit
2226 // it.
2227 if (EmitFunctionSize) {
2228 // We can get the size as difference between the function label and the
2229 // temp label.
2230 const MCExpr *SizeExp = MCBinaryExpr::createSub(
2231 MCSymbolRefExpr::create(CurrentFnEnd, OutContext),
2233 OutStreamer->emitELFSize(CurrentFnSym, SizeExp);
2235 OutStreamer->emitELFSize(CurrentFnBeginLocal, SizeExp);
2236 }
2237
2238 // Call endBasicBlockSection on the last block now, if it wasn't already
2239 // called.
2240 if (!MF->back().isEndSection()) {
2241 for (auto &Handler : Handlers)
2242 Handler->endBasicBlockSection(MF->back());
2243 for (auto &Handler : EHHandlers)
2244 Handler->endBasicBlockSection(MF->back());
2245 }
2246 for (auto &Handler : Handlers)
2247 Handler->markFunctionEnd();
2248 for (auto &Handler : EHHandlers)
2249 Handler->markFunctionEnd();
2250 // Update the end label of the entry block's section.
2251 MBBSectionRanges[MF->front().getSectionID()].EndLabel = CurrentFnEnd;
2252
2253 // Print out jump tables referenced by the function.
2255
2256 // Emit post-function debug and/or EH information.
2257 for (auto &Handler : Handlers)
2258 Handler->endFunction(MF);
2259 for (auto &Handler : EHHandlers)
2260 Handler->endFunction(MF);
2261
2262 // Emit section containing BB address offsets and their metadata, when
2263 // BB labels are requested for this function. Skip empty functions.
2264 if (HasAnyRealCode) {
2265 if (MF->getTarget().Options.BBAddrMap)
2267 else if (PgoAnalysisMapFeatures.getBits() != 0)
2268 MF->getContext().reportWarning(
2269 SMLoc(), "pgo-analysis-map is enabled for function " + MF->getName() +
2270 " but it does not have labels");
2271 }
2272
2273 // Emit sections containing instruction and function PCs.
2275
2276 // Emit section containing stack size metadata.
2278
2279 // Emit section containing call graph metadata.
2280 emitCallGraphSection(*MF, FuncCGInfo);
2281
2282 // Emit .su file containing function stack size information.
2284
2286
2287 if (isVerbose())
2288 OutStreamer->getCommentOS() << "-- End function\n";
2289
2290 OutStreamer->addBlankLine();
2291}
2292
2293/// Compute the number of Global Variables that uses a Constant.
2294static unsigned getNumGlobalVariableUses(const Constant *C,
2295 bool &HasNonGlobalUsers) {
2296 if (!C) {
2297 HasNonGlobalUsers = true;
2298 return 0;
2299 }
2300
2302 return 1;
2303
2304 unsigned NumUses = 0;
2305 for (const auto *CU : C->users())
2306 NumUses +=
2307 getNumGlobalVariableUses(dyn_cast<Constant>(CU), HasNonGlobalUsers);
2308
2309 return NumUses;
2310}
2311
2312/// Only consider global GOT equivalents if at least one user is a
2313/// cstexpr inside an initializer of another global variables. Also, don't
2314/// handle cstexpr inside instructions. During global variable emission,
2315/// candidates are skipped and are emitted later in case at least one cstexpr
2316/// isn't replaced by a PC relative GOT entry access.
2318 unsigned &NumGOTEquivUsers,
2319 bool &HasNonGlobalUsers) {
2320 // Global GOT equivalents are unnamed private globals with a constant
2321 // pointer initializer to another global symbol. They must point to a
2322 // GlobalVariable or Function, i.e., as GlobalValue.
2323 if (!GV->hasGlobalUnnamedAddr() || !GV->hasInitializer() ||
2324 !GV->isConstant() || !GV->isDiscardableIfUnused() ||
2326 return false;
2327
2328 // To be a got equivalent, at least one of its users need to be a constant
2329 // expression used by another global variable.
2330 for (const auto *U : GV->users())
2331 NumGOTEquivUsers +=
2332 getNumGlobalVariableUses(dyn_cast<Constant>(U), HasNonGlobalUsers);
2333
2334 return NumGOTEquivUsers > 0;
2335}
2336
2337/// Unnamed constant global variables solely contaning a pointer to
2338/// another globals variable is equivalent to a GOT table entry; it contains the
2339/// the address of another symbol. Optimize it and replace accesses to these
2340/// "GOT equivalents" by using the GOT entry for the final global instead.
2341/// Compute GOT equivalent candidates among all global variables to avoid
2342/// emitting them if possible later on, after it use is replaced by a GOT entry
2343/// access.
2345 if (!getObjFileLowering().supportIndirectSymViaGOTPCRel())
2346 return;
2347
2348 for (const auto &G : M.globals()) {
2349 unsigned NumGOTEquivUsers = 0;
2350 bool HasNonGlobalUsers = false;
2351 if (!isGOTEquivalentCandidate(&G, NumGOTEquivUsers, HasNonGlobalUsers))
2352 continue;
2353 // If non-global variables use it, we still need to emit it.
2354 // Add 1 here, then emit it in `emitGlobalGOTEquivs`.
2355 if (HasNonGlobalUsers)
2356 NumGOTEquivUsers += 1;
2357 const MCSymbol *GOTEquivSym = getSymbol(&G);
2358 GlobalGOTEquivs[GOTEquivSym] = std::make_pair(&G, NumGOTEquivUsers);
2359 }
2360}
2361
2362/// Constant expressions using GOT equivalent globals may not be eligible
2363/// for PC relative GOT entry conversion, in such cases we need to emit such
2364/// globals we previously omitted in EmitGlobalVariable.
2366 if (!getObjFileLowering().supportIndirectSymViaGOTPCRel())
2367 return;
2368
2370 for (auto &I : GlobalGOTEquivs) {
2371 const GlobalVariable *GV = I.second.first;
2372 unsigned Cnt = I.second.second;
2373 if (Cnt)
2374 FailedCandidates.push_back(GV);
2375 }
2376 GlobalGOTEquivs.clear();
2377
2378 for (const auto *GV : FailedCandidates)
2380}
2381
2383 MCSymbol *Name = getSymbol(&GA);
2384 bool IsFunction = GA.getValueType()->isFunctionTy();
2385 // Treat bitcasts of functions as functions also. This is important at least
2386 // on WebAssembly where object and function addresses can't alias each other.
2387 if (!IsFunction)
2388 IsFunction = isa<Function>(GA.getAliasee()->stripPointerCasts());
2389
2390 // AIX's assembly directive `.set` is not usable for aliasing purpose,
2391 // so AIX has to use the extra-label-at-definition strategy. At this
2392 // point, all the extra label is emitted, we just have to emit linkage for
2393 // those labels.
2394 if (TM.getTargetTriple().isOSBinFormatXCOFF()) {
2395 // Linkage for alias of global variable has been emitted.
2397 return;
2398
2399 emitLinkage(&GA, Name);
2400 // If it's a function, also emit linkage for aliases of function entry
2401 // point.
2402 if (IsFunction)
2403 emitLinkage(&GA,
2404 getObjFileLowering().getFunctionEntryPointSymbol(&GA, TM));
2405 return;
2406 }
2407
2408 if (GA.hasExternalLinkage() || !MAI->getWeakRefDirective())
2409 OutStreamer->emitSymbolAttribute(Name, MCSA_Global);
2410 else if (GA.hasWeakLinkage() || GA.hasLinkOnceLinkage())
2411 OutStreamer->emitSymbolAttribute(Name, MCSA_WeakReference);
2412 else
2413 assert(GA.hasLocalLinkage() && "Invalid alias linkage");
2414
2415 // Set the symbol type to function if the alias has a function type.
2416 // This affects codegen when the aliasee is not a function.
2417 if (IsFunction) {
2418 OutStreamer->emitSymbolAttribute(Name, MCSA_ELF_TypeFunction);
2419 if (TM.getTargetTriple().isOSBinFormatCOFF()) {
2420 OutStreamer->beginCOFFSymbolDef(Name);
2421 OutStreamer->emitCOFFSymbolStorageClass(
2426 OutStreamer->endCOFFSymbolDef();
2427 }
2428 }
2429
2430 emitVisibility(Name, GA.getVisibility());
2431
2432 const MCExpr *Expr = lowerConstant(GA.getAliasee());
2433
2434 if (MAI->isMachO() && isa<MCBinaryExpr>(Expr))
2435 OutStreamer->emitSymbolAttribute(Name, MCSA_AltEntry);
2436
2437 // Emit the directives as assignments aka .set:
2438 OutStreamer->emitAssignment(Name, Expr);
2439 MCSymbol *LocalAlias = getSymbolPreferLocal(GA);
2440 if (LocalAlias != Name)
2441 OutStreamer->emitAssignment(LocalAlias, Expr);
2442
2443 // If the aliasee does not correspond to a symbol in the output, i.e. the
2444 // alias is not of an object or the aliased object is private, then set the
2445 // size of the alias symbol from the type of the alias. We don't do this in
2446 // other situations as the alias and aliasee having differing types but same
2447 // size may be intentional.
2448 const GlobalObject *BaseObject = GA.getAliaseeObject();
2449 if (MAI->hasDotTypeDotSizeDirective() && GA.getValueType()->isSized() &&
2450 (!BaseObject || BaseObject->hasPrivateLinkage())) {
2451 const DataLayout &DL = M.getDataLayout();
2452 uint64_t Size = DL.getTypeAllocSize(GA.getValueType());
2453 OutStreamer->emitELFSize(Name, MCConstantExpr::create(Size, OutContext));
2454 }
2455}
2456
2457void AsmPrinter::emitGlobalIFunc(Module &M, const GlobalIFunc &GI) {
2459 "IFunc is not supported on AIX.");
2460
2461 auto EmitLinkage = [&](MCSymbol *Sym) {
2463 OutStreamer->emitSymbolAttribute(Sym, MCSA_Global);
2464 else if (GI.hasWeakLinkage() || GI.hasLinkOnceLinkage())
2465 OutStreamer->emitSymbolAttribute(Sym, MCSA_WeakReference);
2466 else
2467 assert(GI.hasLocalLinkage() && "Invalid ifunc linkage");
2468 };
2469
2471 MCSymbol *Name = getSymbol(&GI);
2472 EmitLinkage(Name);
2473 OutStreamer->emitSymbolAttribute(Name, MCSA_ELF_TypeIndFunction);
2474 emitVisibility(Name, GI.getVisibility());
2475
2476 // Emit the directives as assignments aka .set:
2477 const MCExpr *Expr = lowerConstant(GI.getResolver());
2478 OutStreamer->emitAssignment(Name, Expr);
2479 MCSymbol *LocalAlias = getSymbolPreferLocal(GI);
2480 if (LocalAlias != Name)
2481 OutStreamer->emitAssignment(LocalAlias, Expr);
2482
2483 return;
2484 }
2485
2486 if (!TM.getTargetTriple().isOSBinFormatMachO() || !getIFuncMCSubtargetInfo())
2487 reportFatalUsageError("IFuncs are not supported on this platform");
2488
2489 // On Darwin platforms, emit a manually-constructed .symbol_resolver that
2490 // implements the symbol resolution duties of the IFunc.
2491 //
2492 // Normally, this would be handled by linker magic, but unfortunately there
2493 // are a few limitations in ld64 and ld-prime's implementation of
2494 // .symbol_resolver that mean we can't always use them:
2495 //
2496 // * resolvers cannot be the target of an alias
2497 // * resolvers cannot have private linkage
2498 // * resolvers cannot have linkonce linkage
2499 // * resolvers cannot appear in executables
2500 // * resolvers cannot appear in bundles
2501 //
2502 // This works around that by emitting a close approximation of what the
2503 // linker would have done.
2504
2505 MCSymbol *LazyPointer =
2506 GetExternalSymbolSymbol(GI.getName() + ".lazy_pointer");
2507 MCSymbol *StubHelper = GetExternalSymbolSymbol(GI.getName() + ".stub_helper");
2508
2509 OutStreamer->switchSection(OutContext.getObjectFileInfo()->getDataSection());
2510
2511 const DataLayout &DL = M.getDataLayout();
2512 emitAlignment(Align(DL.getPointerSize()));
2513 OutStreamer->emitLabel(LazyPointer);
2514 emitVisibility(LazyPointer, GI.getVisibility());
2515 OutStreamer->emitValue(MCSymbolRefExpr::create(StubHelper, OutContext), 8);
2516
2517 OutStreamer->switchSection(OutContext.getObjectFileInfo()->getTextSection());
2518
2519 const TargetSubtargetInfo *STI =
2520 TM.getSubtargetImpl(*GI.getResolverFunction());
2521 const TargetLowering *TLI = STI->getTargetLowering();
2522 Align TextAlign(TLI->getMinFunctionAlignment());
2523
2524 MCSymbol *Stub = getSymbol(&GI);
2525 EmitLinkage(Stub);
2526 OutStreamer->emitCodeAlignment(TextAlign, getIFuncMCSubtargetInfo());
2527 OutStreamer->emitLabel(Stub);
2528 emitVisibility(Stub, GI.getVisibility());
2529 emitMachOIFuncStubBody(M, GI, LazyPointer);
2530
2531 OutStreamer->emitCodeAlignment(TextAlign, getIFuncMCSubtargetInfo());
2532 OutStreamer->emitLabel(StubHelper);
2533 emitVisibility(StubHelper, GI.getVisibility());
2534 emitMachOIFuncStubHelperBody(M, GI, LazyPointer);
2535}
2536
2538 if (!RS.needsSection())
2539 return;
2540 if (!RS.getFilename())
2541 return;
2542
2543 MCSection *RemarksSection =
2544 OutContext.getObjectFileInfo()->getRemarksSection();
2545 if (!RemarksSection) {
2546 OutContext.reportWarning(SMLoc(), "Current object file format does not "
2547 "support remarks sections. Use the yaml "
2548 "remark format instead.");
2549 return;
2550 }
2551
2552 SmallString<128> Filename = *RS.getFilename();
2553 sys::fs::make_absolute(Filename);
2554 assert(!Filename.empty() && "The filename can't be empty.");
2555
2556 std::string Buf;
2557 raw_string_ostream OS(Buf);
2558
2559 remarks::RemarkSerializer &RemarkSerializer = RS.getSerializer();
2560 std::unique_ptr<remarks::MetaSerializer> MetaSerializer =
2561 RemarkSerializer.metaSerializer(OS, Filename);
2562 MetaSerializer->emit();
2563
2564 // Switch to the remarks section.
2565 OutStreamer->switchSection(RemarksSection);
2566 OutStreamer->emitBinaryData(Buf);
2567}
2568
2570 const Constant *Initializer = G.getInitializer();
2571 return G.getParent()->getDataLayout().getTypeAllocSize(
2572 Initializer->getType());
2573}
2574
2576 // We used to do this in clang, but there are optimization passes that turn
2577 // non-constant globals into constants. So now, clang only tells us whether
2578 // it would *like* a global to be tagged, but we still make the decision here.
2579 //
2580 // For now, don't instrument constant data, as it'll be in .rodata anyway. It
2581 // may be worth instrumenting these in future to stop them from being used as
2582 // gadgets.
2583 if (G.getName().starts_with("llvm.") || G.isThreadLocal() || G.isConstant())
2584 return false;
2585
2586 // Globals can be placed implicitly or explicitly in sections. There's two
2587 // different types of globals that meet this criteria that cause problems:
2588 // 1. Function pointers that are going into various init arrays (either
2589 // explicitly through `__attribute__((section(<foo>)))` or implicitly
2590 // through `__attribute__((constructor)))`, such as ".(pre)init(_array)",
2591 // ".fini(_array)", ".ctors", and ".dtors". These function pointers end up
2592 // overaligned and overpadded, making iterating over them problematic, and
2593 // each function pointer is individually tagged (so the iteration over
2594 // them causes SIGSEGV/MTE[AS]ERR).
2595 // 2. Global variables put into an explicit section, where the section's name
2596 // is a valid C-style identifier. The linker emits a `__start_<name>` and
2597 // `__stop_<name>` symbol for the section, so that you can iterate over
2598 // globals within this section. Unfortunately, again, these globals would
2599 // be tagged and so iteration causes SIGSEGV/MTE[AS]ERR.
2600 //
2601 // To mitigate both these cases, and because specifying a section is rare
2602 // outside of these two cases, disable MTE protection for globals in any
2603 // section.
2604 if (G.hasSection())
2605 return false;
2606
2607 return globalSize(G) > 0;
2608}
2609
2611 uint64_t SizeInBytes = globalSize(*G);
2612
2613 uint64_t NewSize = alignTo(SizeInBytes, 16);
2614 if (SizeInBytes != NewSize) {
2615 // Pad the initializer out to the next multiple of 16 bytes.
2616 llvm::SmallVector<uint8_t> Init(NewSize - SizeInBytes, 0);
2617 Constant *Padding = ConstantDataArray::get(M.getContext(), Init);
2618 Constant *Initializer = G->getInitializer();
2619 Initializer = ConstantStruct::getAnon({Initializer, Padding});
2620 auto *NewGV = new GlobalVariable(
2621 M, Initializer->getType(), G->isConstant(), G->getLinkage(),
2622 Initializer, "", G, G->getThreadLocalMode(), G->getAddressSpace());
2623 NewGV->copyAttributesFrom(G);
2624 NewGV->setComdat(G->getComdat());
2625 NewGV->copyMetadata(G, 0);
2626
2627 NewGV->takeName(G);
2628 G->replaceAllUsesWith(NewGV);
2629 G->eraseFromParent();
2630 G = NewGV;
2631 }
2632
2633 if (G->getAlign().valueOrOne() < 16)
2634 G->setAlignment(Align(16));
2635
2636 // Ensure that tagged globals don't get merged by ICF - as they should have
2637 // different tags at runtime.
2638 G->setUnnamedAddr(GlobalValue::UnnamedAddr::None);
2639}
2640
2642 auto Meta = G.getSanitizerMetadata();
2643 Meta.Memtag = false;
2644 G.setSanitizerMetadata(Meta);
2645}
2646
2648 // Set the MachineFunction to nullptr so that we can catch attempted
2649 // accesses to MF specific features at the module level and so that
2650 // we can conditionalize accesses based on whether or not it is nullptr.
2651 MF = nullptr;
2652
2653 std::vector<GlobalVariable *> GlobalsToTag;
2654 for (GlobalVariable &G : M.globals()) {
2655 if (G.isDeclaration() || !G.isTagged())
2656 continue;
2657 if (!shouldTagGlobal(G)) {
2658 assert(G.hasSanitizerMetadata()); // because isTagged.
2660 assert(!G.isTagged());
2661 continue;
2662 }
2663 GlobalsToTag.push_back(&G);
2664 }
2665 for (GlobalVariable *G : GlobalsToTag)
2667
2668 // Gather all GOT equivalent globals in the module. We really need two
2669 // passes over the globals: one to compute and another to avoid its emission
2670 // in EmitGlobalVariable, otherwise we would not be able to handle cases
2671 // where the got equivalent shows up before its use.
2673
2674 // Emit global variables.
2675 for (const auto &G : M.globals())
2677
2678 // Emit remaining GOT equivalent globals.
2680
2682
2683 // Emit linkage(XCOFF) and visibility info for declarations
2684 for (const Function &F : M) {
2685 if (!F.isDeclarationForLinker())
2686 continue;
2687
2688 MCSymbol *Name = getSymbol(&F);
2689 // Function getSymbol gives us the function descriptor symbol for XCOFF.
2690
2691 if (!TM.getTargetTriple().isOSBinFormatXCOFF()) {
2692 GlobalValue::VisibilityTypes V = F.getVisibility();
2694 continue;
2695
2696 emitVisibility(Name, V, false);
2697 continue;
2698 }
2699
2700 if (F.isIntrinsic())
2701 continue;
2702
2703 // Handle the XCOFF case.
2704 // Variable `Name` is the function descriptor symbol (see above). Get the
2705 // function entry point symbol.
2706 MCSymbol *FnEntryPointSym = TLOF.getFunctionEntryPointSymbol(&F, TM);
2707 // Emit linkage for the function entry point.
2708 emitLinkage(&F, FnEntryPointSym);
2709
2710 // If a function's address is taken, which means it may be called via a
2711 // function pointer, we need the function descriptor for it.
2712 if (F.hasAddressTaken())
2713 emitLinkage(&F, Name);
2714 }
2715
2716 // Emit the remarks section contents.
2717 // FIXME: Figure out when is the safest time to emit this section. It should
2718 // not come after debug info.
2719 if (remarks::RemarkStreamer *RS = M.getContext().getMainRemarkStreamer())
2720 emitRemarksSection(*RS);
2721
2723
2724 if (TM.getTargetTriple().isOSBinFormatELF()) {
2725 MachineModuleInfoELF &MMIELF = MMI->getObjFileInfo<MachineModuleInfoELF>();
2726
2727 // Output stubs for external and common global variables.
2729 if (!Stubs.empty()) {
2730 OutStreamer->switchSection(TLOF.getDataSection());
2731 const DataLayout &DL = M.getDataLayout();
2732
2733 emitAlignment(Align(DL.getPointerSize()));
2734 for (const auto &Stub : Stubs) {
2735 OutStreamer->emitLabel(Stub.first);
2736 OutStreamer->emitSymbolValue(Stub.second.getPointer(),
2737 DL.getPointerSize());
2738 }
2739 }
2740 }
2741
2742 if (TM.getTargetTriple().isOSBinFormatCOFF()) {
2743 MachineModuleInfoCOFF &MMICOFF =
2744 MMI->getObjFileInfo<MachineModuleInfoCOFF>();
2745
2746 // Output stubs for external and common global variables.
2748 if (!Stubs.empty()) {
2749 const DataLayout &DL = M.getDataLayout();
2750
2751 for (const auto &Stub : Stubs) {
2753 SectionName += Stub.first->getName();
2754 OutStreamer->switchSection(OutContext.getCOFFSection(
2758 Stub.first->getName(), COFF::IMAGE_COMDAT_SELECT_ANY));
2759 emitAlignment(Align(DL.getPointerSize()));
2760 OutStreamer->emitSymbolAttribute(Stub.first, MCSA_Global);
2761 OutStreamer->emitLabel(Stub.first);
2762 OutStreamer->emitSymbolValue(Stub.second.getPointer(),
2763 DL.getPointerSize());
2764 }
2765 }
2766 }
2767
2768 // This needs to happen before emitting debug information since that can end
2769 // arbitrary sections.
2770 if (auto *TS = OutStreamer->getTargetStreamer())
2771 TS->emitConstantPools();
2772
2773 // Emit Stack maps before any debug info. Mach-O requires that no data or
2774 // text sections come after debug info has been emitted. This matters for
2775 // stack maps as they are arbitrary data, and may even have a custom format
2776 // through user plugins.
2777 emitStackMaps();
2778
2779 // Print aliases in topological order, that is, for each alias a = b,
2780 // b must be printed before a.
2781 // This is because on some targets (e.g. PowerPC) linker expects aliases in
2782 // such an order to generate correct TOC information.
2785 for (const auto &Alias : M.aliases()) {
2786 if (Alias.hasAvailableExternallyLinkage())
2787 continue;
2788 for (const GlobalAlias *Cur = &Alias; Cur;
2789 Cur = dyn_cast<GlobalAlias>(Cur->getAliasee())) {
2790 if (!AliasVisited.insert(Cur).second)
2791 break;
2792 AliasStack.push_back(Cur);
2793 }
2794 for (const GlobalAlias *AncestorAlias : llvm::reverse(AliasStack))
2795 emitGlobalAlias(M, *AncestorAlias);
2796 AliasStack.clear();
2797 }
2798
2799 // IFuncs must come before deubginfo in case the backend decides to emit them
2800 // as actual functions, since on Mach-O targets, we cannot create regular
2801 // sections after DWARF.
2802 for (const auto &IFunc : M.ifuncs())
2803 emitGlobalIFunc(M, IFunc);
2804
2805 // Finalize debug and EH information.
2806 for (auto &Handler : Handlers)
2807 Handler->endModule();
2808 for (auto &Handler : EHHandlers)
2809 Handler->endModule();
2810
2811 // This deletes all the ephemeral handlers that AsmPrinter added, while
2812 // keeping all the user-added handlers alive until the AsmPrinter is
2813 // destroyed.
2814 EHHandlers.clear();
2815 Handlers.erase(Handlers.begin() + NumUserHandlers, Handlers.end());
2816 DD = nullptr;
2817
2818 // If the target wants to know about weak references, print them all.
2819 if (MAI->getWeakRefDirective()) {
2820 // FIXME: This is not lazy, it would be nice to only print weak references
2821 // to stuff that is actually used. Note that doing so would require targets
2822 // to notice uses in operands (due to constant exprs etc). This should
2823 // happen with the MC stuff eventually.
2824
2825 // Print out module-level global objects here.
2826 for (const auto &GO : M.global_objects()) {
2827 if (!GO.hasExternalWeakLinkage())
2828 continue;
2829 OutStreamer->emitSymbolAttribute(getSymbol(&GO), MCSA_WeakReference);
2830 }
2832 auto SymbolName = "swift_async_extendedFramePointerFlags";
2833 auto Global = M.getGlobalVariable(SymbolName);
2834 if (!Global) {
2835 auto PtrTy = PointerType::getUnqual(M.getContext());
2836 Global = new GlobalVariable(M, PtrTy, false,
2838 SymbolName);
2839 OutStreamer->emitSymbolAttribute(getSymbol(Global), MCSA_WeakReference);
2840 }
2841 }
2842 }
2843
2845 assert(MI && "AsmPrinter didn't require GCModuleInfo?");
2846 for (GCModuleInfo::iterator I = MI->end(), E = MI->begin(); I != E; )
2847 if (GCMetadataPrinter *MP = getOrCreateGCPrinter(**--I))
2848 MP->finishAssembly(M, *MI, *this);
2849
2850 // Emit llvm.ident metadata in an '.ident' directive.
2851 emitModuleIdents(M);
2852
2853 // Emit bytes for llvm.commandline metadata.
2854 // The command line metadata is emitted earlier on XCOFF.
2855 if (!TM.getTargetTriple().isOSBinFormatXCOFF())
2856 emitModuleCommandLines(M);
2857
2858 // Emit .note.GNU-split-stack and .note.GNU-no-split-stack sections if
2859 // split-stack is used.
2860 if (TM.getTargetTriple().isOSBinFormatELF() && HasSplitStack) {
2861 OutStreamer->switchSection(OutContext.getELFSection(".note.GNU-split-stack",
2862 ELF::SHT_PROGBITS, 0));
2863 if (HasNoSplitStack)
2864 OutStreamer->switchSection(OutContext.getELFSection(
2865 ".note.GNU-no-split-stack", ELF::SHT_PROGBITS, 0));
2866 }
2867
2868 // If we don't have any trampolines, then we don't require stack memory
2869 // to be executable. Some targets have a directive to declare this.
2870 Function *InitTrampolineIntrinsic = M.getFunction("llvm.init.trampoline");
2871 if (!InitTrampolineIntrinsic || InitTrampolineIntrinsic->use_empty())
2872 if (MCSection *S = MAI->getNonexecutableStackSection(OutContext))
2873 OutStreamer->switchSection(S);
2874
2875 if (TM.Options.EmitAddrsig) {
2876 // Emit address-significance attributes for all globals.
2877 OutStreamer->emitAddrsig();
2878 for (const GlobalValue &GV : M.global_values()) {
2879 if (!GV.use_empty() && !GV.isThreadLocal() &&
2880 !GV.hasDLLImportStorageClass() &&
2881 !GV.getName().starts_with("llvm.") &&
2882 !GV.hasAtLeastLocalUnnamedAddr())
2883 OutStreamer->emitAddrsigSym(getSymbol(&GV));
2884 }
2885 }
2886
2887 // Emit symbol partition specifications (ELF only).
2888 if (TM.getTargetTriple().isOSBinFormatELF()) {
2889 unsigned UniqueID = 0;
2890 for (const GlobalValue &GV : M.global_values()) {
2891 if (!GV.hasPartition() || GV.isDeclarationForLinker() ||
2892 GV.getVisibility() != GlobalValue::DefaultVisibility)
2893 continue;
2894
2895 OutStreamer->switchSection(
2896 OutContext.getELFSection(".llvm_sympart", ELF::SHT_LLVM_SYMPART, 0, 0,
2897 "", false, ++UniqueID, nullptr));
2898 OutStreamer->emitBytes(GV.getPartition());
2899 OutStreamer->emitZeros(1);
2900 OutStreamer->emitValue(
2902 MAI->getCodePointerSize());
2903 }
2904 }
2905
2906 // Allow the target to emit any magic that it wants at the end of the file,
2907 // after everything else has gone out.
2909
2910 MMI = nullptr;
2911 AddrLabelSymbols = nullptr;
2912
2913 OutStreamer->finish();
2914 OutStreamer->reset();
2915 OwnedMLI.reset();
2916 OwnedMDT.reset();
2917
2918 return false;
2919}
2920
2922 auto Res = MBBSectionExceptionSyms.try_emplace(MBB.getSectionID());
2923 if (Res.second)
2924 Res.first->second = createTempSymbol("exception");
2925 return Res.first->second;
2926}
2927
2929 MCContext &Ctx = MF->getContext();
2930 MCSymbol *Sym = Ctx.createTempSymbol("BB" + Twine(MF->getFunctionNumber()) +
2931 "_" + Twine(MBB.getNumber()) + "_CS");
2932 CurrentFnCallsiteEndSymbols[&MBB].push_back(Sym);
2933 return Sym;
2934}
2935
2937 this->MF = &MF;
2938 const Function &F = MF.getFunction();
2939
2940 // Record that there are split-stack functions, so we will emit a special
2941 // section to tell the linker.
2942 if (MF.shouldSplitStack()) {
2943 HasSplitStack = true;
2944
2945 if (!MF.getFrameInfo().needsSplitStackProlog())
2946 HasNoSplitStack = true;
2947 } else
2948 HasNoSplitStack = true;
2949
2950 // Get the function symbol.
2951 if (!MAI->isAIX()) {
2952 CurrentFnSym = getSymbol(&MF.getFunction());
2953 } else {
2954 assert(TM.getTargetTriple().isOSAIX() &&
2955 "Only AIX uses the function descriptor hooks.");
2956 // AIX is unique here in that the name of the symbol emitted for the
2957 // function body does not have the same name as the source function's
2958 // C-linkage name.
2959 assert(CurrentFnDescSym && "The function descriptor symbol needs to be"
2960 " initalized first.");
2961
2962 // Get the function entry point symbol.
2964 }
2965
2967 CurrentFnBegin = nullptr;
2968 CurrentFnBeginLocal = nullptr;
2969 CurrentSectionBeginSym = nullptr;
2971 MBBSectionRanges.clear();
2972 MBBSectionExceptionSyms.clear();
2973 bool NeedsLocalForSize = MAI->needsLocalForSize();
2974 if (F.hasFnAttribute("patchable-function-entry") ||
2975 F.hasFnAttribute("function-instrument") ||
2976 F.hasFnAttribute("xray-instruction-threshold") ||
2977 needFuncLabels(MF, *this) || NeedsLocalForSize ||
2978 MF.getTarget().Options.EmitStackSizeSection ||
2979 MF.getTarget().Options.EmitCallGraphSection ||
2980 MF.getTarget().Options.BBAddrMap) {
2981 CurrentFnBegin = createTempSymbol("func_begin");
2982 if (NeedsLocalForSize)
2984 }
2985
2987}
2988
2989namespace {
2990
2991// Keep track the alignment, constpool entries per Section.
2992 struct SectionCPs {
2993 MCSection *S;
2994 Align Alignment;
2996
2997 SectionCPs(MCSection *s, Align a) : S(s), Alignment(a) {}
2998 };
2999
3000} // end anonymous namespace
3001
3003 if (TM.Options.EnableStaticDataPartitioning && C && SDPI && PSI)
3004 return SDPI->getConstantSectionPrefix(C, PSI);
3005
3006 return "";
3007}
3008
3009/// EmitConstantPool - Print to the current output stream assembly
3010/// representations of the constants in the constant pool MCP. This is
3011/// used to print out constants which have been "spilled to memory" by
3012/// the code generator.
3014 const MachineConstantPool *MCP = MF->getConstantPool();
3015 const std::vector<MachineConstantPoolEntry> &CP = MCP->getConstants();
3016 if (CP.empty()) return;
3017
3018 // Calculate sections for constant pool entries. We collect entries to go into
3019 // the same section together to reduce amount of section switch statements.
3020 SmallVector<SectionCPs, 4> CPSections;
3021 for (unsigned i = 0, e = CP.size(); i != e; ++i) {
3022 const MachineConstantPoolEntry &CPE = CP[i];
3023 Align Alignment = CPE.getAlign();
3024
3026
3027 const Constant *C = nullptr;
3028 if (!CPE.isMachineConstantPoolEntry())
3029 C = CPE.Val.ConstVal;
3030
3032 getDataLayout(), Kind, C, Alignment, getConstantSectionSuffix(C));
3033
3034 // The number of sections are small, just do a linear search from the
3035 // last section to the first.
3036 bool Found = false;
3037 unsigned SecIdx = CPSections.size();
3038 while (SecIdx != 0) {
3039 if (CPSections[--SecIdx].S == S) {
3040 Found = true;
3041 break;
3042 }
3043 }
3044 if (!Found) {
3045 SecIdx = CPSections.size();
3046 CPSections.push_back(SectionCPs(S, Alignment));
3047 }
3048
3049 if (Alignment > CPSections[SecIdx].Alignment)
3050 CPSections[SecIdx].Alignment = Alignment;
3051 CPSections[SecIdx].CPEs.push_back(i);
3052 }
3053
3054 // Now print stuff into the calculated sections.
3055 const MCSection *CurSection = nullptr;
3056 unsigned Offset = 0;
3057 for (const SectionCPs &CPSection : CPSections) {
3058 for (unsigned CPI : CPSection.CPEs) {
3059 MCSymbol *Sym = GetCPISymbol(CPI);
3060 if (!Sym->isUndefined())
3061 continue;
3062
3063 if (CurSection != CPSection.S) {
3064 OutStreamer->switchSection(CPSection.S);
3065 emitAlignment(Align(CPSection.Alignment));
3066 CurSection = CPSection.S;
3067 Offset = 0;
3068 }
3069
3070 MachineConstantPoolEntry CPE = CP[CPI];
3071
3072 // Emit inter-object padding for alignment.
3073 unsigned NewOffset = alignTo(Offset, CPE.getAlign());
3074 OutStreamer->emitZeros(NewOffset - Offset);
3075
3076 Offset = NewOffset + CPE.getSizeInBytes(getDataLayout());
3077
3078 OutStreamer->emitLabel(Sym);
3081 else
3083 }
3084 }
3085}
3086
3087// Print assembly representations of the jump tables used by the current
3088// function.
3090 const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
3091 if (!MJTI) return;
3092
3093 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
3094 if (JT.empty()) return;
3095
3096 if (!TM.Options.EnableStaticDataPartitioning) {
3097 emitJumpTableImpl(*MJTI, llvm::to_vector(llvm::seq<unsigned>(JT.size())));
3098 return;
3099 }
3100
3101 SmallVector<unsigned> HotJumpTableIndices, ColdJumpTableIndices;
3102 // When static data partitioning is enabled, collect jump table entries that
3103 // go into the same section together to reduce the amount of section switch
3104 // statements.
3105 for (unsigned JTI = 0, JTSize = JT.size(); JTI < JTSize; ++JTI) {
3106 if (JT[JTI].Hotness == MachineFunctionDataHotness::Cold) {
3107 ColdJumpTableIndices.push_back(JTI);
3108 } else {
3109 HotJumpTableIndices.push_back(JTI);
3110 }
3111 }
3112
3113 emitJumpTableImpl(*MJTI, HotJumpTableIndices);
3114 emitJumpTableImpl(*MJTI, ColdJumpTableIndices);
3115}
3116
3117void AsmPrinter::emitJumpTableImpl(const MachineJumpTableInfo &MJTI,
3118 ArrayRef<unsigned> JumpTableIndices) {
3120 JumpTableIndices.empty())
3121 return;
3122
3124 const Function &F = MF->getFunction();
3125 const std::vector<MachineJumpTableEntry> &JT = MJTI.getJumpTables();
3126 MCSection *JumpTableSection = nullptr;
3127
3128 const bool UseLabelDifference =
3131 // Pick the directive to use to print the jump table entries, and switch to
3132 // the appropriate section.
3133 const bool JTInDiffSection =
3134 !TLOF.shouldPutJumpTableInFunctionSection(UseLabelDifference, F);
3135 if (JTInDiffSection) {
3137 JumpTableSection =
3138 TLOF.getSectionForJumpTable(F, TM, &JT[JumpTableIndices.front()]);
3139 } else {
3140 JumpTableSection = TLOF.getSectionForJumpTable(F, TM);
3141 }
3142 OutStreamer->switchSection(JumpTableSection);
3143 }
3144
3145 const DataLayout &DL = MF->getDataLayout();
3147
3148 // Jump tables in code sections are marked with a data_region directive
3149 // where that's supported.
3150 if (!JTInDiffSection)
3151 OutStreamer->emitDataRegion(MCDR_DataRegionJT32);
3152
3153 for (const unsigned JumpTableIndex : JumpTableIndices) {
3154 ArrayRef<MachineBasicBlock *> JTBBs = JT[JumpTableIndex].MBBs;
3155
3156 // If this jump table was deleted, ignore it.
3157 if (JTBBs.empty())
3158 continue;
3159
3160 // For the EK_LabelDifference32 entry, if using .set avoids a relocation,
3161 /// emit a .set directive for each unique entry.
3163 MAI->doesSetDirectiveSuppressReloc()) {
3164 SmallPtrSet<const MachineBasicBlock *, 16> EmittedSets;
3165 const TargetLowering *TLI = MF->getSubtarget().getTargetLowering();
3166 const MCExpr *Base =
3167 TLI->getPICJumpTableRelocBaseExpr(MF, JumpTableIndex, OutContext);
3168 for (const MachineBasicBlock *MBB : JTBBs) {
3169 if (!EmittedSets.insert(MBB).second)
3170 continue;
3171
3172 // .set LJTSet, LBB32-base
3173 const MCExpr *LHS =
3175 OutStreamer->emitAssignment(
3176 GetJTSetSymbol(JumpTableIndex, MBB->getNumber()),
3178 }
3179 }
3180
3181 // On some targets (e.g. Darwin) we want to emit two consecutive labels
3182 // before each jump table. The first label is never referenced, but tells
3183 // the assembler and linker the extents of the jump table object. The
3184 // second label is actually referenced by the code.
3185 if (JTInDiffSection && DL.hasLinkerPrivateGlobalPrefix())
3186 // FIXME: This doesn't have to have any specific name, just any randomly
3187 // named and numbered local label started with 'l' would work. Simplify
3188 // GetJTISymbol.
3189 OutStreamer->emitLabel(GetJTISymbol(JumpTableIndex, true));
3190
3191 MCSymbol *JTISymbol = GetJTISymbol(JumpTableIndex);
3192 OutStreamer->emitLabel(JTISymbol);
3193
3194 // Defer MCAssembler based constant folding due to a performance issue. The
3195 // label differences will be evaluated at write time.
3196 for (const MachineBasicBlock *MBB : JTBBs)
3197 emitJumpTableEntry(MJTI, MBB, JumpTableIndex);
3198 }
3199
3201 emitJumpTableSizesSection(MJTI, MF->getFunction());
3202
3203 if (!JTInDiffSection)
3204 OutStreamer->emitDataRegion(MCDR_DataRegionEnd);
3205}
3206
3207void AsmPrinter::emitJumpTableSizesSection(const MachineJumpTableInfo &MJTI,
3208 const Function &F) const {
3209 const std::vector<MachineJumpTableEntry> &JT = MJTI.getJumpTables();
3210
3211 if (JT.empty())
3212 return;
3213
3214 StringRef GroupName = F.hasComdat() ? F.getComdat()->getName() : "";
3215 MCSection *JumpTableSizesSection = nullptr;
3216 StringRef sectionName = ".llvm_jump_table_sizes";
3217
3218 bool isElf = TM.getTargetTriple().isOSBinFormatELF();
3219 bool isCoff = TM.getTargetTriple().isOSBinFormatCOFF();
3220
3221 if (!isCoff && !isElf)
3222 return;
3223
3224 if (isElf) {
3225 auto *LinkedToSym = static_cast<MCSymbolELF *>(CurrentFnSym);
3226 int Flags = F.hasComdat() ? static_cast<int>(ELF::SHF_GROUP) : 0;
3227
3228 JumpTableSizesSection = OutContext.getELFSection(
3229 sectionName, ELF::SHT_LLVM_JT_SIZES, Flags, 0, GroupName, F.hasComdat(),
3230 MCSection::NonUniqueID, LinkedToSym);
3231 } else if (isCoff) {
3232 if (F.hasComdat()) {
3233 JumpTableSizesSection = OutContext.getCOFFSection(
3234 sectionName,
3237 F.getComdat()->getName(), COFF::IMAGE_COMDAT_SELECT_ASSOCIATIVE);
3238 } else {
3239 JumpTableSizesSection = OutContext.getCOFFSection(
3243 }
3244 }
3245
3246 OutStreamer->switchSection(JumpTableSizesSection);
3247
3248 for (unsigned JTI = 0, E = JT.size(); JTI != E; ++JTI) {
3249 const std::vector<MachineBasicBlock *> &JTBBs = JT[JTI].MBBs;
3250 OutStreamer->emitSymbolValue(GetJTISymbol(JTI), TM.getProgramPointerSize());
3251 OutStreamer->emitIntValue(JTBBs.size(), TM.getProgramPointerSize());
3252 }
3253}
3254
3255/// EmitJumpTableEntry - Emit a jump table entry for the specified MBB to the
3256/// current stream.
3258 const MachineBasicBlock *MBB,
3259 unsigned UID) const {
3260 assert(MBB && MBB->getNumber() >= 0 && "Invalid basic block");
3261 const MCExpr *Value = nullptr;
3262 switch (MJTI.getEntryKind()) {
3264 llvm_unreachable("Cannot emit EK_Inline jump table entry");
3267 llvm_unreachable("MIPS specific");
3269 Value = MF->getSubtarget().getTargetLowering()->LowerCustomJumpTableEntry(
3270 &MJTI, MBB, UID, OutContext);
3271 break;
3273 // EK_BlockAddress - Each entry is a plain address of block, e.g.:
3274 // .word LBB123
3276 break;
3277
3280 // Each entry is the address of the block minus the address of the jump
3281 // table. This is used for PIC jump tables where gprel32 is not supported.
3282 // e.g.:
3283 // .word LBB123 - LJTI1_2
3284 // If the .set directive avoids relocations, this is emitted as:
3285 // .set L4_5_set_123, LBB123 - LJTI1_2
3286 // .word L4_5_set_123
3288 MAI->doesSetDirectiveSuppressReloc()) {
3289 Value = MCSymbolRefExpr::create(GetJTSetSymbol(UID, MBB->getNumber()),
3290 OutContext);
3291 break;
3292 }
3294 const TargetLowering *TLI = MF->getSubtarget().getTargetLowering();
3297 break;
3298 }
3299 }
3300
3301 assert(Value && "Unknown entry kind!");
3302
3303 unsigned EntrySize = MJTI.getEntrySize(getDataLayout());
3304 OutStreamer->emitValue(Value, EntrySize);
3305}
3306
3307/// EmitSpecialLLVMGlobal - Check to see if the specified global is a
3308/// special global used by LLVM. If so, emit it and return true, otherwise
3309/// do nothing and return false.
3311 if (GV->getName() == "llvm.used") {
3312 if (MAI->hasNoDeadStrip()) // No need to emit this at all.
3313 emitLLVMUsedList(cast<ConstantArray>(GV->getInitializer()));
3314 return true;
3315 }
3316
3317 // Ignore debug and non-emitted data. This handles llvm.compiler.used.
3318 if (GV->getSection() == "llvm.metadata" ||
3320 return true;
3321
3322 if (GV->getName() == "llvm.arm64ec.symbolmap") {
3323 // For ARM64EC, print the table that maps between symbols and the
3324 // corresponding thunks to translate between x64 and AArch64 code.
3325 // This table is generated by AArch64Arm64ECCallLowering.
3326 OutStreamer->switchSection(
3327 OutContext.getCOFFSection(".hybmp$x", COFF::IMAGE_SCN_LNK_INFO));
3328 auto *Arr = cast<ConstantArray>(GV->getInitializer());
3329 for (auto &U : Arr->operands()) {
3330 auto *C = cast<Constant>(U);
3331 auto *Src = cast<GlobalValue>(C->getOperand(0)->stripPointerCasts());
3332 auto *Dst = cast<GlobalValue>(C->getOperand(1)->stripPointerCasts());
3333 int Kind = cast<ConstantInt>(C->getOperand(2))->getZExtValue();
3334
3335 if (Src->hasDLLImportStorageClass()) {
3336 // For now, we assume dllimport functions aren't directly called.
3337 // (We might change this later to match MSVC.)
3338 OutStreamer->emitCOFFSymbolIndex(
3339 OutContext.getOrCreateSymbol("__imp_" + Src->getName()));
3340 OutStreamer->emitCOFFSymbolIndex(getSymbol(Dst));
3341 OutStreamer->emitInt32(Kind);
3342 } else {
3343 // FIXME: For non-dllimport functions, MSVC emits the same entry
3344 // twice, for reasons I don't understand. I have to assume the linker
3345 // ignores the redundant entry; there aren't any reasonable semantics
3346 // to attach to it.
3347 OutStreamer->emitCOFFSymbolIndex(getSymbol(Src));
3348 OutStreamer->emitCOFFSymbolIndex(getSymbol(Dst));
3349 OutStreamer->emitInt32(Kind);
3350 }
3351 }
3352 return true;
3353 }
3354
3355 if (!GV->hasAppendingLinkage()) return false;
3356
3357 assert(GV->hasInitializer() && "Not a special LLVM global!");
3358
3359 if (GV->getName() == "llvm.global_ctors") {
3361 /* isCtor */ true);
3362
3363 return true;
3364 }
3365
3366 if (GV->getName() == "llvm.global_dtors") {
3368 /* isCtor */ false);
3369
3370 return true;
3371 }
3372
3373 GV->getContext().emitError(
3374 "unknown special variable with appending linkage: " +
3375 GV->getNameOrAsOperand());
3376 return true;
3377}
3378
3379/// EmitLLVMUsedList - For targets that define a MAI::UsedDirective, mark each
3380/// global in the specified llvm.used list.
3381void AsmPrinter::emitLLVMUsedList(const ConstantArray *InitList) {
3382 // Should be an array of 'i8*'.
3383 for (unsigned i = 0, e = InitList->getNumOperands(); i != e; ++i) {
3384 const GlobalValue *GV =
3386 if (GV)
3387 OutStreamer->emitSymbolAttribute(getSymbol(GV), MCSA_NoDeadStrip);
3388 }
3389}
3390
3392 const Constant *List,
3393 SmallVector<Structor, 8> &Structors) {
3394 // Should be an array of '{ i32, void ()*, i8* }' structs. The first value is
3395 // the init priority.
3397 return;
3398
3399 // Gather the structors in a form that's convenient for sorting by priority.
3400 for (Value *O : cast<ConstantArray>(List)->operands()) {
3401 auto *CS = cast<ConstantStruct>(O);
3402 if (CS->getOperand(1)->isNullValue())
3403 break; // Found a null terminator, skip the rest.
3404 ConstantInt *Priority = dyn_cast<ConstantInt>(CS->getOperand(0));
3405 if (!Priority)
3406 continue; // Malformed.
3407 Structors.push_back(Structor());
3408 Structor &S = Structors.back();
3409 S.Priority = Priority->getLimitedValue(65535);
3410 S.Func = CS->getOperand(1);
3411 if (!CS->getOperand(2)->isNullValue()) {
3412 if (TM.getTargetTriple().isOSAIX()) {
3413 CS->getContext().emitError(
3414 "associated data of XXStructor list is not yet supported on AIX");
3415 }
3416
3417 S.ComdatKey =
3418 dyn_cast<GlobalValue>(CS->getOperand(2)->stripPointerCasts());
3419 }
3420 }
3421
3422 // Emit the function pointers in the target-specific order
3423 llvm::stable_sort(Structors, [](const Structor &L, const Structor &R) {
3424 return L.Priority < R.Priority;
3425 });
3426}
3427
3428/// EmitXXStructorList - Emit the ctor or dtor list taking into account the init
3429/// priority.
3431 bool IsCtor) {
3432 SmallVector<Structor, 8> Structors;
3433 preprocessXXStructorList(DL, List, Structors);
3434 if (Structors.empty())
3435 return;
3436
3437 // Emit the structors in reverse order if we are using the .ctor/.dtor
3438 // initialization scheme.
3439 if (!TM.Options.UseInitArray)
3440 std::reverse(Structors.begin(), Structors.end());
3441
3442 const Align Align = DL.getPointerPrefAlignment();
3443 for (Structor &S : Structors) {
3445 const MCSymbol *KeySym = nullptr;
3446 if (GlobalValue *GV = S.ComdatKey) {
3447 if (GV->isDeclarationForLinker())
3448 // If the associated variable is not defined in this module
3449 // (it might be available_externally, or have been an
3450 // available_externally definition that was dropped by the
3451 // EliminateAvailableExternally pass), some other TU
3452 // will provide its dynamic initializer.
3453 continue;
3454
3455 KeySym = getSymbol(GV);
3456 }
3457
3458 MCSection *OutputSection =
3459 (IsCtor ? Obj.getStaticCtorSection(S.Priority, KeySym)
3460 : Obj.getStaticDtorSection(S.Priority, KeySym));
3461 OutStreamer->switchSection(OutputSection);
3462 if (OutStreamer->getCurrentSection() != OutStreamer->getPreviousSection())
3464 emitXXStructor(DL, S.Func);
3465 }
3466}
3467
3468void AsmPrinter::emitModuleIdents(Module &M) {
3469 if (!MAI->hasIdentDirective())
3470 return;
3471
3472 if (const NamedMDNode *NMD = M.getNamedMetadata("llvm.ident")) {
3473 for (const MDNode *N : NMD->operands()) {
3474 assert(N->getNumOperands() == 1 &&
3475 "llvm.ident metadata entry can have only one operand");
3476 const MDString *S = cast<MDString>(N->getOperand(0));
3477 OutStreamer->emitIdent(S->getString());
3478 }
3479 }
3480}
3481
3482void AsmPrinter::emitModuleCommandLines(Module &M) {
3483 MCSection *CommandLine = getObjFileLowering().getSectionForCommandLines();
3484 if (!CommandLine)
3485 return;
3486
3487 const NamedMDNode *NMD = M.getNamedMetadata("llvm.commandline");
3488 if (!NMD || !NMD->getNumOperands())
3489 return;
3490
3491 OutStreamer->pushSection();
3492 OutStreamer->switchSection(CommandLine);
3493 OutStreamer->emitZeros(1);
3494 for (const MDNode *N : NMD->operands()) {
3495 assert(N->getNumOperands() == 1 &&
3496 "llvm.commandline metadata entry can have only one operand");
3497 const MDString *S = cast<MDString>(N->getOperand(0));
3498 OutStreamer->emitBytes(S->getString());
3499 OutStreamer->emitZeros(1);
3500 }
3501 OutStreamer->popSection();
3502}
3503
3504//===--------------------------------------------------------------------===//
3505// Emission and print routines
3506//
3507
3508/// Emit a byte directive and value.
3509///
3510void AsmPrinter::emitInt8(int Value) const { OutStreamer->emitInt8(Value); }
3511
3512/// Emit a short directive and value.
3513void AsmPrinter::emitInt16(int Value) const { OutStreamer->emitInt16(Value); }
3514
3515/// Emit a long directive and value.
3516void AsmPrinter::emitInt32(int Value) const { OutStreamer->emitInt32(Value); }
3517
3518/// EmitSLEB128 - emit the specified signed leb128 value.
3519void AsmPrinter::emitSLEB128(int64_t Value, const char *Desc) const {
3520 if (isVerbose() && Desc)
3521 OutStreamer->AddComment(Desc);
3522
3523 OutStreamer->emitSLEB128IntValue(Value);
3524}
3525
3527 unsigned PadTo) const {
3528 if (isVerbose() && Desc)
3529 OutStreamer->AddComment(Desc);
3530
3531 OutStreamer->emitULEB128IntValue(Value, PadTo);
3532}
3533
3534/// Emit a long long directive and value.
3536 OutStreamer->emitInt64(Value);
3537}
3538
3539/// Emit something like ".long Hi-Lo" where the size in bytes of the directive
3540/// is specified by Size and Hi/Lo specify the labels. This implicitly uses
3541/// .set if it avoids relocations.
3543 unsigned Size) const {
3544 OutStreamer->emitAbsoluteSymbolDiff(Hi, Lo, Size);
3545}
3546
3547/// Emit something like ".uleb128 Hi-Lo".
3549 const MCSymbol *Lo) const {
3550 OutStreamer->emitAbsoluteSymbolDiffAsULEB128(Hi, Lo);
3551}
3552
3553/// EmitLabelPlusOffset - Emit something like ".long Label+Offset"
3554/// where the size in bytes of the directive is specified by Size and Label
3555/// specifies the label. This implicitly uses .set if it is available.
3557 unsigned Size,
3558 bool IsSectionRelative) const {
3559 if (MAI->needsDwarfSectionOffsetDirective() && IsSectionRelative) {
3560 OutStreamer->emitCOFFSecRel32(Label, Offset);
3561 if (Size > 4)
3562 OutStreamer->emitZeros(Size - 4);
3563 return;
3564 }
3565
3566 // Emit Label+Offset (or just Label if Offset is zero)
3567 const MCExpr *Expr = MCSymbolRefExpr::create(Label, OutContext);
3568 if (Offset)
3571
3572 OutStreamer->emitValue(Expr, Size);
3573}
3574
3575//===----------------------------------------------------------------------===//
3576
3577// EmitAlignment - Emit an alignment directive to the specified power of
3578// two boundary. If a global value is specified, and if that global has
3579// an explicit alignment requested, it will override the alignment request
3580// if required for correctness.
3582 unsigned MaxBytesToEmit) const {
3583 if (GV)
3584 Alignment = getGVAlignment(GV, GV->getDataLayout(), Alignment);
3585
3586 if (Alignment == Align(1))
3587 return; // 1-byte aligned: no need to emit alignment.
3588
3589 if (getCurrentSection()->isText()) {
3590 const MCSubtargetInfo *STI = nullptr;
3591 if (this->MF)
3592 STI = &getSubtargetInfo();
3593 else
3594 STI = TM.getMCSubtargetInfo();
3595 OutStreamer->emitCodeAlignment(Alignment, STI, MaxBytesToEmit);
3596 } else
3597 OutStreamer->emitValueToAlignment(Alignment, 0, 1, MaxBytesToEmit);
3598}
3599
3600//===----------------------------------------------------------------------===//
3601// Constant emission.
3602//===----------------------------------------------------------------------===//
3603
3605 const Constant *BaseCV,
3606 uint64_t Offset) {
3607 MCContext &Ctx = OutContext;
3608
3609 if (CV->isNullValue() || isa<UndefValue>(CV))
3610 return MCConstantExpr::create(0, Ctx);
3611
3612 if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV))
3613 return MCConstantExpr::create(CI->getZExtValue(), Ctx);
3614
3615 if (const ConstantPtrAuth *CPA = dyn_cast<ConstantPtrAuth>(CV))
3616 return lowerConstantPtrAuth(*CPA);
3617
3618 if (const GlobalValue *GV = dyn_cast<GlobalValue>(CV))
3619 return MCSymbolRefExpr::create(getSymbol(GV), Ctx);
3620
3621 if (const BlockAddress *BA = dyn_cast<BlockAddress>(CV))
3622 return lowerBlockAddressConstant(*BA);
3623
3624 if (const auto *Equiv = dyn_cast<DSOLocalEquivalent>(CV))
3626 getSymbol(Equiv->getGlobalValue()), nullptr, 0, std::nullopt, TM);
3627
3628 if (const NoCFIValue *NC = dyn_cast<NoCFIValue>(CV))
3629 return MCSymbolRefExpr::create(getSymbol(NC->getGlobalValue()), Ctx);
3630
3631 const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV);
3632 if (!CE) {
3633 llvm_unreachable("Unknown constant value to lower!");
3634 }
3635
3636 // The constant expression opcodes are limited to those that are necessary
3637 // to represent relocations on supported targets. Expressions involving only
3638 // constant addresses are constant folded instead.
3639 switch (CE->getOpcode()) {
3640 default:
3641 break; // Error
3642 case Instruction::AddrSpaceCast: {
3643 const Constant *Op = CE->getOperand(0);
3644 unsigned DstAS = CE->getType()->getPointerAddressSpace();
3645 unsigned SrcAS = Op->getType()->getPointerAddressSpace();
3646 if (TM.isNoopAddrSpaceCast(SrcAS, DstAS))
3647 return lowerConstant(Op);
3648
3649 break; // Error
3650 }
3651 case Instruction::GetElementPtr: {
3652 // Generate a symbolic expression for the byte address
3653 APInt OffsetAI(getDataLayout().getPointerTypeSizeInBits(CE->getType()), 0);
3654 cast<GEPOperator>(CE)->accumulateConstantOffset(getDataLayout(), OffsetAI);
3655
3656 const MCExpr *Base = lowerConstant(CE->getOperand(0));
3657 if (!OffsetAI)
3658 return Base;
3659
3660 int64_t Offset = OffsetAI.getSExtValue();
3662 Ctx);
3663 }
3664
3665 case Instruction::Trunc:
3666 // We emit the value and depend on the assembler to truncate the generated
3667 // expression properly. This is important for differences between
3668 // blockaddress labels. Since the two labels are in the same function, it
3669 // is reasonable to treat their delta as a 32-bit value.
3670 [[fallthrough]];
3671 case Instruction::BitCast:
3672 return lowerConstant(CE->getOperand(0), BaseCV, Offset);
3673
3674 case Instruction::IntToPtr: {
3675 const DataLayout &DL = getDataLayout();
3676
3677 // Handle casts to pointers by changing them into casts to the appropriate
3678 // integer type. This promotes constant folding and simplifies this code.
3679 Constant *Op = CE->getOperand(0);
3680 Op = ConstantFoldIntegerCast(Op, DL.getIntPtrType(CV->getType()),
3681 /*IsSigned*/ false, DL);
3682 if (Op)
3683 return lowerConstant(Op);
3684
3685 break; // Error
3686 }
3687
3688 case Instruction::PtrToAddr:
3689 case Instruction::PtrToInt: {
3690 const DataLayout &DL = getDataLayout();
3691
3692 // Support only foldable casts to/from pointers that can be eliminated by
3693 // changing the pointer to the appropriately sized integer type.
3694 Constant *Op = CE->getOperand(0);
3695 Type *Ty = CE->getType();
3696
3697 const MCExpr *OpExpr = lowerConstant(Op);
3698
3699 // We can emit the pointer value into this slot if the slot is an
3700 // integer slot equal to the size of the pointer.
3701 //
3702 // If the pointer is larger than the resultant integer, then
3703 // as with Trunc just depend on the assembler to truncate it.
3704 if (DL.getTypeAllocSize(Ty).getFixedValue() <=
3705 DL.getTypeAllocSize(Op->getType()).getFixedValue())
3706 return OpExpr;
3707
3708 break; // Error
3709 }
3710
3711 case Instruction::Sub: {
3712 GlobalValue *LHSGV, *RHSGV;
3713 APInt LHSOffset, RHSOffset;
3714 DSOLocalEquivalent *DSOEquiv;
3715 if (IsConstantOffsetFromGlobal(CE->getOperand(0), LHSGV, LHSOffset,
3716 getDataLayout(), &DSOEquiv) &&
3717 IsConstantOffsetFromGlobal(CE->getOperand(1), RHSGV, RHSOffset,
3718 getDataLayout())) {
3719 auto *LHSSym = getSymbol(LHSGV);
3720 auto *RHSSym = getSymbol(RHSGV);
3721 int64_t Addend = (LHSOffset - RHSOffset).getSExtValue();
3722 std::optional<int64_t> PCRelativeOffset;
3723 if (getObjFileLowering().hasPLTPCRelative() && RHSGV == BaseCV)
3724 PCRelativeOffset = Offset;
3725
3726 // Try the generic symbol difference first.
3728 LHSGV, RHSGV, Addend, PCRelativeOffset, TM);
3729
3730 // (ELF-specific) If the generic symbol difference does not apply, and
3731 // LHS is a dso_local_equivalent of a function, reference the PLT entry
3732 // instead. Note: A default visibility symbol is by default preemptible
3733 // during linking, and should not be referenced with PC-relative
3734 // relocations. Therefore, use a PLT relocation even if the function is
3735 // dso_local.
3736 if (DSOEquiv && TM.getTargetTriple().isOSBinFormatELF())
3738 LHSSym, RHSSym, Addend, PCRelativeOffset, TM);
3739
3740 // Otherwise, return LHS-RHS+Addend.
3741 if (!Res) {
3742 Res =
3744 MCSymbolRefExpr::create(RHSSym, Ctx), Ctx);
3745 if (Addend != 0)
3747 Res, MCConstantExpr::create(Addend, Ctx), Ctx);
3748 }
3749 return Res;
3750 }
3751
3752 const MCExpr *LHS = lowerConstant(CE->getOperand(0));
3753 const MCExpr *RHS = lowerConstant(CE->getOperand(1));
3754 return MCBinaryExpr::createSub(LHS, RHS, Ctx);
3755 break;
3756 }
3757
3758 case Instruction::Add: {
3759 const MCExpr *LHS = lowerConstant(CE->getOperand(0));
3760 const MCExpr *RHS = lowerConstant(CE->getOperand(1));
3761 return MCBinaryExpr::createAdd(LHS, RHS, Ctx);
3762 }
3763 }
3764
3765 // If the code isn't optimized, there may be outstanding folding
3766 // opportunities. Attempt to fold the expression using DataLayout as a
3767 // last resort before giving up.
3769 if (C != CE)
3770 return lowerConstant(C);
3771
3772 // Otherwise report the problem to the user.
3773 std::string S;
3774 raw_string_ostream OS(S);
3775 OS << "unsupported expression in static initializer: ";
3776 CE->printAsOperand(OS, /*PrintType=*/false,
3777 !MF ? nullptr : MF->getFunction().getParent());
3778 CE->getContext().emitError(S);
3779 return MCConstantExpr::create(0, Ctx);
3780}
3781
3782static void emitGlobalConstantImpl(const DataLayout &DL, const Constant *C,
3783 AsmPrinter &AP,
3784 const Constant *BaseCV = nullptr,
3785 uint64_t Offset = 0,
3786 AsmPrinter::AliasMapTy *AliasList = nullptr);
3787
3788static void emitGlobalConstantFP(const ConstantFP *CFP, AsmPrinter &AP);
3789static void emitGlobalConstantFP(APFloat APF, Type *ET, AsmPrinter &AP);
3790
3791/// isRepeatedByteSequence - Determine whether the given value is
3792/// composed of a repeated sequence of identical bytes and return the
3793/// byte value. If it is not a repeated sequence, return -1.
3795 StringRef Data = V->getRawDataValues();
3796 assert(!Data.empty() && "Empty aggregates should be CAZ node");
3797 char C = Data[0];
3798 for (unsigned i = 1, e = Data.size(); i != e; ++i)
3799 if (Data[i] != C) return -1;
3800 return static_cast<uint8_t>(C); // Ensure 255 is not returned as -1.
3801}
3802
3803/// isRepeatedByteSequence - Determine whether the given value is
3804/// composed of a repeated sequence of identical bytes and return the
3805/// byte value. If it is not a repeated sequence, return -1.
3806static int isRepeatedByteSequence(const Value *V, const DataLayout &DL) {
3807 if (const ConstantInt *CI = dyn_cast<ConstantInt>(V)) {
3808 uint64_t Size = DL.getTypeAllocSizeInBits(V->getType());
3809 assert(Size % 8 == 0);
3810
3811 // Extend the element to take zero padding into account.
3812 APInt Value = CI->getValue().zext(Size);
3813 if (!Value.isSplat(8))
3814 return -1;
3815
3816 return Value.zextOrTrunc(8).getZExtValue();
3817 }
3818 if (const ConstantArray *CA = dyn_cast<ConstantArray>(V)) {
3819 // Make sure all array elements are sequences of the same repeated
3820 // byte.
3821 assert(CA->getNumOperands() != 0 && "Should be a CAZ");
3822 Constant *Op0 = CA->getOperand(0);
3823 int Byte = isRepeatedByteSequence(Op0, DL);
3824 if (Byte == -1)
3825 return -1;
3826
3827 // All array elements must be equal.
3828 for (unsigned i = 1, e = CA->getNumOperands(); i != e; ++i)
3829 if (CA->getOperand(i) != Op0)
3830 return -1;
3831 return Byte;
3832 }
3833
3835 return isRepeatedByteSequence(CDS);
3836
3837 return -1;
3838}
3839
3841 AsmPrinter::AliasMapTy *AliasList) {
3842 if (AliasList) {
3843 auto AliasIt = AliasList->find(Offset);
3844 if (AliasIt != AliasList->end()) {
3845 for (const GlobalAlias *GA : AliasIt->second)
3846 AP.OutStreamer->emitLabel(AP.getSymbol(GA));
3847 AliasList->erase(Offset);
3848 }
3849 }
3850}
3851
3853 const DataLayout &DL, const ConstantDataSequential *CDS, AsmPrinter &AP,
3854 AsmPrinter::AliasMapTy *AliasList) {
3855 // See if we can aggregate this into a .fill, if so, emit it as such.
3856 int Value = isRepeatedByteSequence(CDS, DL);
3857 if (Value != -1) {
3858 uint64_t Bytes = DL.getTypeAllocSize(CDS->getType());
3859 // Don't emit a 1-byte object as a .fill.
3860 if (Bytes > 1)
3861 return AP.OutStreamer->emitFill(Bytes, Value);
3862 }
3863
3864 // If this can be emitted with .ascii/.asciz, emit it as such.
3865 if (CDS->isString())
3866 return AP.OutStreamer->emitBytes(CDS->getAsString());
3867
3868 // Otherwise, emit the values in successive locations.
3869 uint64_t ElementByteSize = CDS->getElementByteSize();
3870 if (isa<IntegerType>(CDS->getElementType())) {
3871 for (uint64_t I = 0, E = CDS->getNumElements(); I != E; ++I) {
3872 emitGlobalAliasInline(AP, ElementByteSize * I, AliasList);
3873 if (AP.isVerbose())
3874 AP.OutStreamer->getCommentOS()
3875 << format("0x%" PRIx64 "\n", CDS->getElementAsInteger(I));
3876 AP.OutStreamer->emitIntValue(CDS->getElementAsInteger(I),
3877 ElementByteSize);
3878 }
3879 } else {
3880 Type *ET = CDS->getElementType();
3881 for (uint64_t I = 0, E = CDS->getNumElements(); I != E; ++I) {
3882 emitGlobalAliasInline(AP, ElementByteSize * I, AliasList);
3884 }
3885 }
3886
3887 unsigned Size = DL.getTypeAllocSize(CDS->getType());
3888 unsigned EmittedSize =
3889 DL.getTypeAllocSize(CDS->getElementType()) * CDS->getNumElements();
3890 assert(EmittedSize <= Size && "Size cannot be less than EmittedSize!");
3891 if (unsigned Padding = Size - EmittedSize)
3892 AP.OutStreamer->emitZeros(Padding);
3893}
3894
3896 const ConstantArray *CA, AsmPrinter &AP,
3897 const Constant *BaseCV, uint64_t Offset,
3898 AsmPrinter::AliasMapTy *AliasList) {
3899 // See if we can aggregate some values. Make sure it can be
3900 // represented as a series of bytes of the constant value.
3901 int Value = isRepeatedByteSequence(CA, DL);
3902
3903 if (Value != -1) {
3904 uint64_t Bytes = DL.getTypeAllocSize(CA->getType());
3905 AP.OutStreamer->emitFill(Bytes, Value);
3906 } else {
3907 for (unsigned I = 0, E = CA->getNumOperands(); I != E; ++I) {
3908 emitGlobalConstantImpl(DL, CA->getOperand(I), AP, BaseCV, Offset,
3909 AliasList);
3910 Offset += DL.getTypeAllocSize(CA->getOperand(I)->getType());
3911 }
3912 }
3913}
3914
3915static void emitGlobalConstantLargeInt(const ConstantInt *CI, AsmPrinter &AP);
3916
3917static void emitGlobalConstantVector(const DataLayout &DL, const Constant *CV,
3918 AsmPrinter &AP,
3919 AsmPrinter::AliasMapTy *AliasList) {
3920 auto *VTy = cast<FixedVectorType>(CV->getType());
3921 Type *ElementType = VTy->getElementType();
3922 uint64_t ElementSizeInBits = DL.getTypeSizeInBits(ElementType);
3923 uint64_t ElementAllocSizeInBits = DL.getTypeAllocSizeInBits(ElementType);
3924 uint64_t EmittedSize;
3925 if (ElementSizeInBits != ElementAllocSizeInBits) {
3926 // If the allocation size of an element is different from the size in bits,
3927 // printing each element separately will insert incorrect padding.
3928 //
3929 // The general algorithm here is complicated; instead of writing it out
3930 // here, just use the existing code in ConstantFolding.
3931 Type *IntT =
3932 IntegerType::get(CV->getContext(), DL.getTypeSizeInBits(CV->getType()));
3934 ConstantExpr::getBitCast(const_cast<Constant *>(CV), IntT), DL));
3935 if (!CI) {
3937 "Cannot lower vector global with unusual element type");
3938 }
3939 emitGlobalAliasInline(AP, 0, AliasList);
3941 EmittedSize = DL.getTypeStoreSize(CV->getType());
3942 } else {
3943 for (unsigned I = 0, E = VTy->getNumElements(); I != E; ++I) {
3944 emitGlobalAliasInline(AP, DL.getTypeAllocSize(CV->getType()) * I, AliasList);
3946 }
3947 EmittedSize = DL.getTypeAllocSize(ElementType) * VTy->getNumElements();
3948 }
3949
3950 unsigned Size = DL.getTypeAllocSize(CV->getType());
3951 if (unsigned Padding = Size - EmittedSize)
3952 AP.OutStreamer->emitZeros(Padding);
3953}
3954
3956 const ConstantStruct *CS, AsmPrinter &AP,
3957 const Constant *BaseCV, uint64_t Offset,
3958 AsmPrinter::AliasMapTy *AliasList) {
3959 // Print the fields in successive locations. Pad to align if needed!
3960 uint64_t Size = DL.getTypeAllocSize(CS->getType());
3961 const StructLayout *Layout = DL.getStructLayout(CS->getType());
3962 uint64_t SizeSoFar = 0;
3963 for (unsigned I = 0, E = CS->getNumOperands(); I != E; ++I) {
3964 const Constant *Field = CS->getOperand(I);
3965
3966 // Print the actual field value.
3967 emitGlobalConstantImpl(DL, Field, AP, BaseCV, Offset + SizeSoFar,
3968 AliasList);
3969
3970 // Check if padding is needed and insert one or more 0s.
3971 uint64_t FieldSize = DL.getTypeAllocSize(Field->getType());
3972 uint64_t PadSize = ((I == E - 1 ? Size : Layout->getElementOffset(I + 1)) -
3973 Layout->getElementOffset(I)) -
3974 FieldSize;
3975 SizeSoFar += FieldSize + PadSize;
3976
3977 // Insert padding - this may include padding to increase the size of the
3978 // current field up to the ABI size (if the struct is not packed) as well
3979 // as padding to ensure that the next field starts at the right offset.
3980 AP.OutStreamer->emitZeros(PadSize);
3981 }
3982 assert(SizeSoFar == Layout->getSizeInBytes() &&
3983 "Layout of constant struct may be incorrect!");
3984}
3985
3986static void emitGlobalConstantFP(APFloat APF, Type *ET, AsmPrinter &AP) {
3987 assert(ET && "Unknown float type");
3988 APInt API = APF.bitcastToAPInt();
3989
3990 // First print a comment with what we think the original floating-point value
3991 // should have been.
3992 if (AP.isVerbose()) {
3993 SmallString<8> StrVal;
3994 APF.toString(StrVal);
3995 ET->print(AP.OutStreamer->getCommentOS());
3996 AP.OutStreamer->getCommentOS() << ' ' << StrVal << '\n';
3997 }
3998
3999 // Now iterate through the APInt chunks, emitting them in endian-correct
4000 // order, possibly with a smaller chunk at beginning/end (e.g. for x87 80-bit
4001 // floats).
4002 unsigned NumBytes = API.getBitWidth() / 8;
4003 unsigned TrailingBytes = NumBytes % sizeof(uint64_t);
4004 const uint64_t *p = API.getRawData();
4005
4006 // PPC's long double has odd notions of endianness compared to how LLVM
4007 // handles it: p[0] goes first for *big* endian on PPC.
4008 if (AP.getDataLayout().isBigEndian() && !ET->isPPC_FP128Ty()) {
4009 int Chunk = API.getNumWords() - 1;
4010
4011 if (TrailingBytes)
4012 AP.OutStreamer->emitIntValueInHexWithPadding(p[Chunk--], TrailingBytes);
4013
4014 for (; Chunk >= 0; --Chunk)
4015 AP.OutStreamer->emitIntValueInHexWithPadding(p[Chunk], sizeof(uint64_t));
4016 } else {
4017 unsigned Chunk;
4018 for (Chunk = 0; Chunk < NumBytes / sizeof(uint64_t); ++Chunk)
4019 AP.OutStreamer->emitIntValueInHexWithPadding(p[Chunk], sizeof(uint64_t));
4020
4021 if (TrailingBytes)
4022 AP.OutStreamer->emitIntValueInHexWithPadding(p[Chunk], TrailingBytes);
4023 }
4024
4025 // Emit the tail padding for the long double.
4026 const DataLayout &DL = AP.getDataLayout();
4027 AP.OutStreamer->emitZeros(DL.getTypeAllocSize(ET) - DL.getTypeStoreSize(ET));
4028}
4029
4030static void emitGlobalConstantFP(const ConstantFP *CFP, AsmPrinter &AP) {
4031 emitGlobalConstantFP(CFP->getValueAPF(), CFP->getType(), AP);
4032}
4033
4035 const DataLayout &DL = AP.getDataLayout();
4036 unsigned BitWidth = CI->getBitWidth();
4037
4038 // Copy the value as we may massage the layout for constants whose bit width
4039 // is not a multiple of 64-bits.
4040 APInt Realigned(CI->getValue());
4041 uint64_t ExtraBits = 0;
4042 unsigned ExtraBitsSize = BitWidth & 63;
4043
4044 if (ExtraBitsSize) {
4045 // The bit width of the data is not a multiple of 64-bits.
4046 // The extra bits are expected to be at the end of the chunk of the memory.
4047 // Little endian:
4048 // * Nothing to be done, just record the extra bits to emit.
4049 // Big endian:
4050 // * Record the extra bits to emit.
4051 // * Realign the raw data to emit the chunks of 64-bits.
4052 if (DL.isBigEndian()) {
4053 // Basically the structure of the raw data is a chunk of 64-bits cells:
4054 // 0 1 BitWidth / 64
4055 // [chunk1][chunk2] ... [chunkN].
4056 // The most significant chunk is chunkN and it should be emitted first.
4057 // However, due to the alignment issue chunkN contains useless bits.
4058 // Realign the chunks so that they contain only useful information:
4059 // ExtraBits 0 1 (BitWidth / 64) - 1
4060 // chu[nk1 chu][nk2 chu] ... [nkN-1 chunkN]
4061 ExtraBitsSize = alignTo(ExtraBitsSize, 8);
4062 ExtraBits = Realigned.getRawData()[0] &
4063 (((uint64_t)-1) >> (64 - ExtraBitsSize));
4064 if (BitWidth >= 64)
4065 Realigned.lshrInPlace(ExtraBitsSize);
4066 } else
4067 ExtraBits = Realigned.getRawData()[BitWidth / 64];
4068 }
4069
4070 // We don't expect assemblers to support integer data directives
4071 // for more than 64 bits, so we emit the data in at most 64-bit
4072 // quantities at a time.
4073 const uint64_t *RawData = Realigned.getRawData();
4074 for (unsigned i = 0, e = BitWidth / 64; i != e; ++i) {
4075 uint64_t Val = DL.isBigEndian() ? RawData[e - i - 1] : RawData[i];
4076 AP.OutStreamer->emitIntValue(Val, 8);
4077 }
4078
4079 if (ExtraBitsSize) {
4080 // Emit the extra bits after the 64-bits chunks.
4081
4082 // Emit a directive that fills the expected size.
4084 Size -= (BitWidth / 64) * 8;
4085 assert(Size && Size * 8 >= ExtraBitsSize &&
4086 (ExtraBits & (((uint64_t)-1) >> (64 - ExtraBitsSize)))
4087 == ExtraBits && "Directive too small for extra bits.");
4088 AP.OutStreamer->emitIntValue(ExtraBits, Size);
4089 }
4090}
4091
4092/// Transform a not absolute MCExpr containing a reference to a GOT
4093/// equivalent global, by a target specific GOT pc relative access to the
4094/// final symbol.
4096 const Constant *BaseCst,
4097 uint64_t Offset) {
4098 // The global @foo below illustrates a global that uses a got equivalent.
4099 //
4100 // @bar = global i32 42
4101 // @gotequiv = private unnamed_addr constant i32* @bar
4102 // @foo = i32 trunc (i64 sub (i64 ptrtoint (i32** @gotequiv to i64),
4103 // i64 ptrtoint (i32* @foo to i64))
4104 // to i32)
4105 //
4106 // The cstexpr in @foo is converted into the MCExpr `ME`, where we actually
4107 // check whether @foo is suitable to use a GOTPCREL. `ME` is usually in the
4108 // form:
4109 //
4110 // foo = cstexpr, where
4111 // cstexpr := <gotequiv> - "." + <cst>
4112 // cstexpr := <gotequiv> - (<foo> - <offset from @foo base>) + <cst>
4113 //
4114 // After canonicalization by evaluateAsRelocatable `ME` turns into:
4115 //
4116 // cstexpr := <gotequiv> - <foo> + gotpcrelcst, where
4117 // gotpcrelcst := <offset from @foo base> + <cst>
4118 MCValue MV;
4119 if (!(*ME)->evaluateAsRelocatable(MV, nullptr) || MV.isAbsolute())
4120 return;
4121 const MCSymbol *GOTEquivSym = MV.getAddSym();
4122 if (!GOTEquivSym)
4123 return;
4124
4125 // Check that GOT equivalent symbol is cached.
4126 if (!AP.GlobalGOTEquivs.count(GOTEquivSym))
4127 return;
4128
4129 const GlobalValue *BaseGV = dyn_cast_or_null<GlobalValue>(BaseCst);
4130 if (!BaseGV)
4131 return;
4132
4133 // Check for a valid base symbol
4134 const MCSymbol *BaseSym = AP.getSymbol(BaseGV);
4135 const MCSymbol *SymB = MV.getSubSym();
4136
4137 if (!SymB || BaseSym != SymB)
4138 return;
4139
4140 // Make sure to match:
4141 //
4142 // gotpcrelcst := <offset from @foo base> + <cst>
4143 //
4144 int64_t GOTPCRelCst = Offset + MV.getConstant();
4145 if (!AP.getObjFileLowering().supportGOTPCRelWithOffset() && GOTPCRelCst != 0)
4146 return;
4147
4148 // Emit the GOT PC relative to replace the got equivalent global, i.e.:
4149 //
4150 // bar:
4151 // .long 42
4152 // gotequiv:
4153 // .quad bar
4154 // foo:
4155 // .long gotequiv - "." + <cst>
4156 //
4157 // is replaced by the target specific equivalent to:
4158 //
4159 // bar:
4160 // .long 42
4161 // foo:
4162 // .long bar@GOTPCREL+<gotpcrelcst>
4163 AsmPrinter::GOTEquivUsePair Result = AP.GlobalGOTEquivs[GOTEquivSym];
4164 const GlobalVariable *GV = Result.first;
4165 int NumUses = (int)Result.second;
4166 const GlobalValue *FinalGV = dyn_cast<GlobalValue>(GV->getOperand(0));
4167 const MCSymbol *FinalSym = AP.getSymbol(FinalGV);
4169 FinalGV, FinalSym, MV, Offset, AP.MMI, *AP.OutStreamer);
4170
4171 // Update GOT equivalent usage information
4172 --NumUses;
4173 if (NumUses >= 0)
4174 AP.GlobalGOTEquivs[GOTEquivSym] = std::make_pair(GV, NumUses);
4175}
4176
4177static void emitGlobalConstantImpl(const DataLayout &DL, const Constant *CV,
4178 AsmPrinter &AP, const Constant *BaseCV,
4180 AsmPrinter::AliasMapTy *AliasList) {
4181 assert((!AliasList || AP.TM.getTargetTriple().isOSBinFormatXCOFF()) &&
4182 "AliasList only expected for XCOFF");
4183 emitGlobalAliasInline(AP, Offset, AliasList);
4184 uint64_t Size = DL.getTypeAllocSize(CV->getType());
4185
4186 // Globals with sub-elements such as combinations of arrays and structs
4187 // are handled recursively by emitGlobalConstantImpl. Keep track of the
4188 // constant symbol base and the current position with BaseCV and Offset.
4189 if (!BaseCV && CV->hasOneUse())
4190 BaseCV = dyn_cast<Constant>(CV->user_back());
4191
4193 StructType *structType;
4194 if (AliasList && (structType = llvm::dyn_cast<StructType>(CV->getType()))) {
4195 unsigned numElements = {structType->getNumElements()};
4196 if (numElements != 0) {
4197 // Handle cases of aliases to direct struct elements
4198 const StructLayout *Layout = DL.getStructLayout(structType);
4199 uint64_t SizeSoFar = 0;
4200 for (unsigned int i = 0; i < numElements - 1; ++i) {
4201 uint64_t GapToNext = Layout->getElementOffset(i + 1) - SizeSoFar;
4202 AP.OutStreamer->emitZeros(GapToNext);
4203 SizeSoFar += GapToNext;
4204 emitGlobalAliasInline(AP, Offset + SizeSoFar, AliasList);
4205 }
4206 AP.OutStreamer->emitZeros(Size - SizeSoFar);
4207 return;
4208 }
4209 }
4210 return AP.OutStreamer->emitZeros(Size);
4211 }
4212
4213 if (isa<UndefValue>(CV))
4214 return AP.OutStreamer->emitZeros(Size);
4215
4216 if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
4217 if (isa<VectorType>(CV->getType()))
4218 return emitGlobalConstantVector(DL, CV, AP, AliasList);
4219
4220 const uint64_t StoreSize = DL.getTypeStoreSize(CV->getType());
4221 if (StoreSize <= 8) {
4222 if (AP.isVerbose())
4223 AP.OutStreamer->getCommentOS()
4224 << format("0x%" PRIx64 "\n", CI->getZExtValue());
4225 AP.OutStreamer->emitIntValue(CI->getZExtValue(), StoreSize);
4226 } else {
4228 }
4229
4230 // Emit tail padding if needed
4231 if (Size != StoreSize)
4232 AP.OutStreamer->emitZeros(Size - StoreSize);
4233
4234 return;
4235 }
4236
4237 if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) {
4238 if (isa<VectorType>(CV->getType()))
4239 return emitGlobalConstantVector(DL, CV, AP, AliasList);
4240 else
4241 return emitGlobalConstantFP(CFP, AP);
4242 }
4243
4244 if (isa<ConstantPointerNull>(CV)) {
4245 AP.OutStreamer->emitIntValue(0, Size);
4246 return;
4247 }
4248
4250 return emitGlobalConstantDataSequential(DL, CDS, AP, AliasList);
4251
4252 if (const ConstantArray *CVA = dyn_cast<ConstantArray>(CV))
4253 return emitGlobalConstantArray(DL, CVA, AP, BaseCV, Offset, AliasList);
4254
4255 if (const ConstantStruct *CVS = dyn_cast<ConstantStruct>(CV))
4256 return emitGlobalConstantStruct(DL, CVS, AP, BaseCV, Offset, AliasList);
4257
4258 if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV)) {
4259 // Look through bitcasts, which might not be able to be MCExpr'ized (e.g. of
4260 // vectors).
4261 if (CE->getOpcode() == Instruction::BitCast)
4262 return emitGlobalConstantImpl(DL, CE->getOperand(0), AP);
4263
4264 if (Size > 8) {
4265 // If the constant expression's size is greater than 64-bits, then we have
4266 // to emit the value in chunks. Try to constant fold the value and emit it
4267 // that way.
4268 Constant *New = ConstantFoldConstant(CE, DL);
4269 if (New != CE)
4270 return emitGlobalConstantImpl(DL, New, AP);
4271 }
4272 }
4273
4274 if (isa<ConstantVector>(CV))
4275 return emitGlobalConstantVector(DL, CV, AP, AliasList);
4276
4277 // Otherwise, it must be a ConstantExpr. Lower it to an MCExpr, then emit it
4278 // thread the streamer with EmitValue.
4279 const MCExpr *ME = AP.lowerConstant(CV, BaseCV, Offset);
4280
4281 // Since lowerConstant already folded and got rid of all IR pointer and
4282 // integer casts, detect GOT equivalent accesses by looking into the MCExpr
4283 // directly.
4285 handleIndirectSymViaGOTPCRel(AP, &ME, BaseCV, Offset);
4286
4287 AP.OutStreamer->emitValue(ME, Size);
4288}
4289
4290/// EmitGlobalConstant - Print a general LLVM constant to the .s file.
4292 AliasMapTy *AliasList) {
4293 uint64_t Size = DL.getTypeAllocSize(CV->getType());
4294 if (Size)
4295 emitGlobalConstantImpl(DL, CV, *this, nullptr, 0, AliasList);
4296 else if (MAI->hasSubsectionsViaSymbols()) {
4297 // If the global has zero size, emit a single byte so that two labels don't
4298 // look like they are at the same location.
4299 OutStreamer->emitIntValue(0, 1);
4300 }
4301 if (!AliasList)
4302 return;
4303 // TODO: These remaining aliases are not emitted in the correct location. Need
4304 // to handle the case where the alias offset doesn't refer to any sub-element.
4305 for (auto &AliasPair : *AliasList) {
4306 for (const GlobalAlias *GA : AliasPair.second)
4307 OutStreamer->emitLabel(getSymbol(GA));
4308 }
4309}
4310
4312 // Target doesn't support this yet!
4313 llvm_unreachable("Target does not support EmitMachineConstantPoolValue");
4314}
4315
4317 if (Offset > 0)
4318 OS << '+' << Offset;
4319 else if (Offset < 0)
4320 OS << Offset;
4321}
4322
4323void AsmPrinter::emitNops(unsigned N) {
4324 MCInst Nop = MF->getSubtarget().getInstrInfo()->getNop();
4325 for (; N; --N)
4327}
4328
4329//===----------------------------------------------------------------------===//
4330// Symbol Lowering Routines.
4331//===----------------------------------------------------------------------===//
4332
4334 return OutContext.createTempSymbol(Name, true);
4335}
4336
4338 return const_cast<AsmPrinter *>(this)->getAddrLabelSymbol(
4339 BA->getBasicBlock());
4340}
4341
4343 return const_cast<AsmPrinter *>(this)->getAddrLabelSymbol(BB);
4344}
4345
4349
4350/// GetCPISymbol - Return the symbol for the specified constant pool entry.
4351MCSymbol *AsmPrinter::GetCPISymbol(unsigned CPID) const {
4352 if (getSubtargetInfo().getTargetTriple().isWindowsMSVCEnvironment() ||
4353 getSubtargetInfo().getTargetTriple().isUEFI()) {
4354 const MachineConstantPoolEntry &CPE =
4355 MF->getConstantPool()->getConstants()[CPID];
4356 if (!CPE.isMachineConstantPoolEntry()) {
4357 const DataLayout &DL = MF->getDataLayout();
4358 SectionKind Kind = CPE.getSectionKind(&DL);
4359 const Constant *C = CPE.Val.ConstVal;
4360 Align Alignment = CPE.Alignment;
4361 auto *S =
4362 getObjFileLowering().getSectionForConstant(DL, Kind, C, Alignment);
4363 if (S && TM.getTargetTriple().isOSBinFormatCOFF()) {
4364 if (MCSymbol *Sym =
4365 static_cast<const MCSectionCOFF *>(S)->getCOMDATSymbol()) {
4366 if (Sym->isUndefined())
4367 OutStreamer->emitSymbolAttribute(Sym, MCSA_Global);
4368 return Sym;
4369 }
4370 }
4371 }
4372 }
4373
4374 const DataLayout &DL = getDataLayout();
4375 return OutContext.getOrCreateSymbol(Twine(DL.getPrivateGlobalPrefix()) +
4376 "CPI" + Twine(getFunctionNumber()) + "_" +
4377 Twine(CPID));
4378}
4379
4380/// GetJTISymbol - Return the symbol for the specified jump table entry.
4381MCSymbol *AsmPrinter::GetJTISymbol(unsigned JTID, bool isLinkerPrivate) const {
4382 return MF->getJTISymbol(JTID, OutContext, isLinkerPrivate);
4383}
4384
4385/// GetJTSetSymbol - Return the symbol for the specified jump table .set
4386/// FIXME: privatize to AsmPrinter.
4387MCSymbol *AsmPrinter::GetJTSetSymbol(unsigned UID, unsigned MBBID) const {
4388 const DataLayout &DL = getDataLayout();
4389 return OutContext.getOrCreateSymbol(Twine(DL.getPrivateGlobalPrefix()) +
4390 Twine(getFunctionNumber()) + "_" +
4391 Twine(UID) + "_set_" + Twine(MBBID));
4392}
4393
4398
4399/// Return the MCSymbol for the specified ExternalSymbol.
4401 SmallString<60> NameStr;
4403 return OutContext.getOrCreateSymbol(NameStr);
4404}
4405
4406/// PrintParentLoopComment - Print comments about parent loops of this one.
4408 unsigned FunctionNumber) {
4409 if (!Loop) return;
4410 PrintParentLoopComment(OS, Loop->getParentLoop(), FunctionNumber);
4411 OS.indent(Loop->getLoopDepth()*2)
4412 << "Parent Loop BB" << FunctionNumber << "_"
4413 << Loop->getHeader()->getNumber()
4414 << " Depth=" << Loop->getLoopDepth() << '\n';
4415}
4416
4417/// PrintChildLoopComment - Print comments about child loops within
4418/// the loop for this basic block, with nesting.
4420 unsigned FunctionNumber) {
4421 // Add child loop information
4422 for (const MachineLoop *CL : *Loop) {
4423 OS.indent(CL->getLoopDepth()*2)
4424 << "Child Loop BB" << FunctionNumber << "_"
4425 << CL->getHeader()->getNumber() << " Depth " << CL->getLoopDepth()
4426 << '\n';
4427 PrintChildLoopComment(OS, CL, FunctionNumber);
4428 }
4429}
4430
4431/// emitBasicBlockLoopComments - Pretty-print comments for basic blocks.
4433 const MachineLoopInfo *LI,
4434 const AsmPrinter &AP) {
4435 // Add loop depth information
4436 const MachineLoop *Loop = LI->getLoopFor(&MBB);
4437 if (!Loop) return;
4438
4439 MachineBasicBlock *Header = Loop->getHeader();
4440 assert(Header && "No header for loop");
4441
4442 // If this block is not a loop header, just print out what is the loop header
4443 // and return.
4444 if (Header != &MBB) {
4445 AP.OutStreamer->AddComment(" in Loop: Header=BB" +
4446 Twine(AP.getFunctionNumber())+"_" +
4448 " Depth="+Twine(Loop->getLoopDepth()));
4449 return;
4450 }
4451
4452 // Otherwise, it is a loop header. Print out information about child and
4453 // parent loops.
4454 raw_ostream &OS = AP.OutStreamer->getCommentOS();
4455
4457
4458 OS << "=>";
4459 OS.indent(Loop->getLoopDepth()*2-2);
4460
4461 OS << "This ";
4462 if (Loop->isInnermost())
4463 OS << "Inner ";
4464 OS << "Loop Header: Depth=" + Twine(Loop->getLoopDepth()) << '\n';
4465
4467}
4468
4469/// emitBasicBlockStart - This method prints the label for the specified
4470/// MachineBasicBlock, an alignment (if present) and a comment describing
4471/// it if appropriate.
4473 // End the previous funclet and start a new one.
4474 if (MBB.isEHFuncletEntry()) {
4475 for (auto &Handler : Handlers) {
4476 Handler->endFunclet();
4477 Handler->beginFunclet(MBB);
4478 }
4479 for (auto &Handler : EHHandlers) {
4480 Handler->endFunclet();
4481 Handler->beginFunclet(MBB);
4482 }
4483 }
4484
4485 // Switch to a new section if this basic block must begin a section. The
4486 // entry block is always placed in the function section and is handled
4487 // separately.
4488 if (MBB.isBeginSection() && !MBB.isEntryBlock()) {
4489 OutStreamer->switchSection(
4490 getObjFileLowering().getSectionForMachineBasicBlock(MF->getFunction(),
4491 MBB, TM));
4492 CurrentSectionBeginSym = MBB.getSymbol();
4493 }
4494
4495 for (auto &Handler : Handlers)
4496 Handler->beginCodeAlignment(MBB);
4497
4498 // Emit an alignment directive for this block, if needed.
4499 const Align Alignment = MBB.getAlignment();
4500 if (Alignment != Align(1))
4501 emitAlignment(Alignment, nullptr, MBB.getMaxBytesForAlignment());
4502
4503 // If the block has its address taken, emit any labels that were used to
4504 // reference the block. It is possible that there is more than one label
4505 // here, because multiple LLVM BB's may have been RAUW'd to this block after
4506 // the references were generated.
4507 if (MBB.isIRBlockAddressTaken()) {
4508 if (isVerbose())
4509 OutStreamer->AddComment("Block address taken");
4510
4511 BasicBlock *BB = MBB.getAddressTakenIRBlock();
4512 assert(BB && BB->hasAddressTaken() && "Missing BB");
4513 for (MCSymbol *Sym : getAddrLabelSymbolToEmit(BB))
4514 OutStreamer->emitLabel(Sym);
4515 } else if (isVerbose() && MBB.isMachineBlockAddressTaken()) {
4516 OutStreamer->AddComment("Block address taken");
4517 } else if (isVerbose() && MBB.isInlineAsmBrIndirectTarget()) {
4518 OutStreamer->AddComment("Inline asm indirect target");
4519 }
4520
4521 // Print some verbose block comments.
4522 if (isVerbose()) {
4523 if (const BasicBlock *BB = MBB.getBasicBlock()) {
4524 if (BB->hasName()) {
4525 BB->printAsOperand(OutStreamer->getCommentOS(),
4526 /*PrintType=*/false, BB->getModule());
4527 OutStreamer->getCommentOS() << '\n';
4528 }
4529 }
4530
4531 assert(MLI != nullptr && "MachineLoopInfo should has been computed");
4533 }
4534
4535 // Print the main label for the block.
4536 if (shouldEmitLabelForBasicBlock(MBB)) {
4537 if (isVerbose() && MBB.hasLabelMustBeEmitted())
4538 OutStreamer->AddComment("Label of block must be emitted");
4539 OutStreamer->emitLabel(MBB.getSymbol());
4540 } else {
4541 if (isVerbose()) {
4542 // NOTE: Want this comment at start of line, don't emit with AddComment.
4543 OutStreamer->emitRawComment(" %bb." + Twine(MBB.getNumber()) + ":",
4544 false);
4545 }
4546 }
4547
4548 if (MBB.isEHContTarget() &&
4549 MAI->getExceptionHandlingType() == ExceptionHandling::WinEH) {
4550 OutStreamer->emitLabel(MBB.getEHContSymbol());
4551 }
4552
4553 // With BB sections, each basic block must handle CFI information on its own
4554 // if it begins a section (Entry block call is handled separately, next to
4555 // beginFunction).
4556 if (MBB.isBeginSection() && !MBB.isEntryBlock()) {
4557 for (auto &Handler : Handlers)
4558 Handler->beginBasicBlockSection(MBB);
4559 for (auto &Handler : EHHandlers)
4560 Handler->beginBasicBlockSection(MBB);
4561 }
4562}
4563
4565 // Check if CFI information needs to be updated for this MBB with basic block
4566 // sections.
4567 if (MBB.isEndSection()) {
4568 for (auto &Handler : Handlers)
4569 Handler->endBasicBlockSection(MBB);
4570 for (auto &Handler : EHHandlers)
4571 Handler->endBasicBlockSection(MBB);
4572 }
4573}
4574
4575void AsmPrinter::emitVisibility(MCSymbol *Sym, unsigned Visibility,
4576 bool IsDefinition) const {
4578
4579 switch (Visibility) {
4580 default: break;
4582 if (IsDefinition)
4583 Attr = MAI->getHiddenVisibilityAttr();
4584 else
4585 Attr = MAI->getHiddenDeclarationVisibilityAttr();
4586 break;
4588 Attr = MAI->getProtectedVisibilityAttr();
4589 break;
4590 }
4591
4592 if (Attr != MCSA_Invalid)
4593 OutStreamer->emitSymbolAttribute(Sym, Attr);
4594}
4595
4596bool AsmPrinter::shouldEmitLabelForBasicBlock(
4597 const MachineBasicBlock &MBB) const {
4598 // With `-fbasic-block-sections=`, a label is needed for every non-entry block
4599 // in the labels mode (option `=labels`) and every section beginning in the
4600 // sections mode (`=all` and `=list=`).
4601 if ((MF->getTarget().Options.BBAddrMap || MBB.isBeginSection()) &&
4602 !MBB.isEntryBlock())
4603 return true;
4604 // A label is needed for any block with at least one predecessor (when that
4605 // predecessor is not the fallthrough predecessor, or if it is an EH funclet
4606 // entry, or if a label is forced).
4607 return !MBB.pred_empty() &&
4608 (!isBlockOnlyReachableByFallthrough(&MBB) || MBB.isEHFuncletEntry() ||
4609 MBB.hasLabelMustBeEmitted());
4610}
4611
4612/// isBlockOnlyReachableByFallthough - Return true if the basic block has
4613/// exactly one predecessor and the control transfer mechanism between
4614/// the predecessor and this block is a fall-through.
4617 // If this is a landing pad, it isn't a fall through. If it has no preds,
4618 // then nothing falls through to it.
4619 if (MBB->isEHPad() || MBB->pred_empty())
4620 return false;
4621
4622 // If there isn't exactly one predecessor, it can't be a fall through.
4623 if (MBB->pred_size() > 1)
4624 return false;
4625
4626 // The predecessor has to be immediately before this block.
4627 MachineBasicBlock *Pred = *MBB->pred_begin();
4628 if (!Pred->isLayoutSuccessor(MBB))
4629 return false;
4630
4631 // If the block is completely empty, then it definitely does fall through.
4632 if (Pred->empty())
4633 return true;
4634
4635 // Check the terminators in the previous blocks
4636 for (const auto &MI : Pred->terminators()) {
4637 // If it is not a simple branch, we are in a table somewhere.
4638 if (!MI.isBranch() || MI.isIndirectBranch())
4639 return false;
4640
4641 // If we are the operands of one of the branches, this is not a fall
4642 // through. Note that targets with delay slots will usually bundle
4643 // terminators with the delay slot instruction.
4644 for (ConstMIBundleOperands OP(MI); OP.isValid(); ++OP) {
4645 if (OP->isJTI())
4646 return false;
4647 if (OP->isMBB() && OP->getMBB() == MBB)
4648 return false;
4649 }
4650 }
4651
4652 return true;
4653}
4654
4655GCMetadataPrinter *AsmPrinter::getOrCreateGCPrinter(GCStrategy &S) {
4656 if (!S.usesMetadata())
4657 return nullptr;
4658
4659 auto [GCPI, Inserted] = GCMetadataPrinters.try_emplace(&S);
4660 if (!Inserted)
4661 return GCPI->second.get();
4662
4663 auto Name = S.getName();
4664
4665 for (const GCMetadataPrinterRegistry::entry &GCMetaPrinter :
4667 if (Name == GCMetaPrinter.getName()) {
4668 std::unique_ptr<GCMetadataPrinter> GMP = GCMetaPrinter.instantiate();
4669 GMP->S = &S;
4670 GCPI->second = std::move(GMP);
4671 return GCPI->second.get();
4672 }
4673
4674 report_fatal_error("no GCMetadataPrinter registered for GC: " + Twine(Name));
4675}
4676
4679 assert(MI && "AsmPrinter didn't require GCModuleInfo?");
4680 bool NeedsDefault = false;
4681 if (MI->begin() == MI->end())
4682 // No GC strategy, use the default format.
4683 NeedsDefault = true;
4684 else
4685 for (const auto &I : *MI) {
4686 if (GCMetadataPrinter *MP = getOrCreateGCPrinter(*I))
4687 if (MP->emitStackMaps(SM, *this))
4688 continue;
4689 // The strategy doesn't have printer or doesn't emit custom stack maps.
4690 // Use the default format.
4691 NeedsDefault = true;
4692 }
4693
4694 if (NeedsDefault)
4695 SM.serializeToStackMapSection();
4696}
4697
4699 std::unique_ptr<AsmPrinterHandler> Handler) {
4700 Handlers.insert(Handlers.begin(), std::move(Handler));
4702}
4703
4704/// Pin vtables to this file.
4706
4708
4709// In the binary's "xray_instr_map" section, an array of these function entries
4710// describes each instrumentation point. When XRay patches your code, the index
4711// into this table will be given to your handler as a patch point identifier.
4713 auto Kind8 = static_cast<uint8_t>(Kind);
4714 Out->emitBinaryData(StringRef(reinterpret_cast<const char *>(&Kind8), 1));
4715 Out->emitBinaryData(
4716 StringRef(reinterpret_cast<const char *>(&AlwaysInstrument), 1));
4717 Out->emitBinaryData(StringRef(reinterpret_cast<const char *>(&Version), 1));
4718 auto Padding = (4 * Bytes) - ((2 * Bytes) + 3);
4719 assert(Padding >= 0 && "Instrumentation map entry > 4 * Word Size");
4720 Out->emitZeros(Padding);
4721}
4722
4724 if (Sleds.empty())
4725 return;
4726
4727 auto PrevSection = OutStreamer->getCurrentSectionOnly();
4728 const Function &F = MF->getFunction();
4729 MCSection *InstMap = nullptr;
4730 MCSection *FnSledIndex = nullptr;
4731 const Triple &TT = TM.getTargetTriple();
4732 // Use PC-relative addresses on all targets.
4733 if (TT.isOSBinFormatELF()) {
4734 auto LinkedToSym = static_cast<const MCSymbolELF *>(CurrentFnSym);
4735 auto Flags = ELF::SHF_ALLOC | ELF::SHF_LINK_ORDER;
4736 StringRef GroupName;
4737 if (F.hasComdat()) {
4738 Flags |= ELF::SHF_GROUP;
4739 GroupName = F.getComdat()->getName();
4740 }
4741 InstMap = OutContext.getELFSection("xray_instr_map", ELF::SHT_PROGBITS,
4742 Flags, 0, GroupName, F.hasComdat(),
4743 MCSection::NonUniqueID, LinkedToSym);
4744
4745 if (TM.Options.XRayFunctionIndex)
4746 FnSledIndex = OutContext.getELFSection(
4747 "xray_fn_idx", ELF::SHT_PROGBITS, Flags, 0, GroupName, F.hasComdat(),
4748 MCSection::NonUniqueID, LinkedToSym);
4749 } else if (MF->getSubtarget().getTargetTriple().isOSBinFormatMachO()) {
4750 InstMap = OutContext.getMachOSection("__DATA", "xray_instr_map",
4753 if (TM.Options.XRayFunctionIndex)
4754 FnSledIndex = OutContext.getMachOSection("__DATA", "xray_fn_idx",
4757 } else {
4758 llvm_unreachable("Unsupported target");
4759 }
4760
4761 auto WordSizeBytes = MAI->getCodePointerSize();
4762
4763 // Now we switch to the instrumentation map section. Because this is done
4764 // per-function, we are able to create an index entry that will represent the
4765 // range of sleds associated with a function.
4766 auto &Ctx = OutContext;
4767 MCSymbol *SledsStart =
4768 OutContext.createLinkerPrivateSymbol("xray_sleds_start");
4769 OutStreamer->switchSection(InstMap);
4770 OutStreamer->emitLabel(SledsStart);
4771 for (const auto &Sled : Sleds) {
4772 MCSymbol *Dot = Ctx.createTempSymbol();
4773 OutStreamer->emitLabel(Dot);
4774 OutStreamer->emitValueImpl(
4776 MCSymbolRefExpr::create(Dot, Ctx), Ctx),
4777 WordSizeBytes);
4778 OutStreamer->emitValueImpl(
4782 MCConstantExpr::create(WordSizeBytes, Ctx),
4783 Ctx),
4784 Ctx),
4785 WordSizeBytes);
4786 Sled.emit(WordSizeBytes, OutStreamer.get());
4787 }
4788 MCSymbol *SledsEnd = OutContext.createTempSymbol("xray_sleds_end", true);
4789 OutStreamer->emitLabel(SledsEnd);
4790
4791 // We then emit a single entry in the index per function. We use the symbols
4792 // that bound the instrumentation map as the range for a specific function.
4793 // Each entry contains 2 words and needs to be word-aligned.
4794 if (FnSledIndex) {
4795 OutStreamer->switchSection(FnSledIndex);
4796 OutStreamer->emitValueToAlignment(Align(WordSizeBytes));
4797 // For Mach-O, use an "l" symbol as the atom of this subsection. The label
4798 // difference uses a SUBTRACTOR external relocation which references the
4799 // symbol.
4800 MCSymbol *Dot = Ctx.createLinkerPrivateSymbol("xray_fn_idx");
4801 OutStreamer->emitLabel(Dot);
4802 OutStreamer->emitValueImpl(
4804 MCSymbolRefExpr::create(Dot, Ctx), Ctx),
4805 WordSizeBytes);
4806 OutStreamer->emitValueImpl(MCConstantExpr::create(Sleds.size(), Ctx),
4807 WordSizeBytes);
4808 OutStreamer->switchSection(PrevSection);
4809 }
4810 Sleds.clear();
4811}
4812
4814 SledKind Kind, uint8_t Version) {
4815 const Function &F = MI.getMF()->getFunction();
4816 auto Attr = F.getFnAttribute("function-instrument");
4817 bool LogArgs = F.hasFnAttribute("xray-log-args");
4818 bool AlwaysInstrument =
4819 Attr.isStringAttribute() && Attr.getValueAsString() == "xray-always";
4820 if (Kind == SledKind::FUNCTION_ENTER && LogArgs)
4822 Sleds.emplace_back(XRayFunctionEntry{Sled, CurrentFnSym, Kind,
4823 AlwaysInstrument, &F, Version});
4824}
4825
4827 const Function &F = MF->getFunction();
4828 unsigned PatchableFunctionPrefix = 0, PatchableFunctionEntry = 0;
4829 (void)F.getFnAttribute("patchable-function-prefix")
4830 .getValueAsString()
4831 .getAsInteger(10, PatchableFunctionPrefix);
4832 (void)F.getFnAttribute("patchable-function-entry")
4833 .getValueAsString()
4834 .getAsInteger(10, PatchableFunctionEntry);
4835 if (!PatchableFunctionPrefix && !PatchableFunctionEntry)
4836 return;
4837 const unsigned PointerSize = getPointerSize();
4838 if (TM.getTargetTriple().isOSBinFormatELF()) {
4839 auto Flags = ELF::SHF_WRITE | ELF::SHF_ALLOC;
4840 const MCSymbolELF *LinkedToSym = nullptr;
4841 StringRef GroupName, SectionName;
4842
4843 if (F.hasFnAttribute("patchable-function-entry-section"))
4844 SectionName = F.getFnAttribute("patchable-function-entry-section")
4845 .getValueAsString();
4846 if (SectionName.empty())
4847 SectionName = "__patchable_function_entries";
4848
4849 // GNU as < 2.35 did not support section flag 'o'. GNU ld < 2.36 did not
4850 // support mixed SHF_LINK_ORDER and non-SHF_LINK_ORDER sections.
4851 if (MAI->useIntegratedAssembler() || MAI->binutilsIsAtLeast(2, 36)) {
4852 Flags |= ELF::SHF_LINK_ORDER;
4853 if (F.hasComdat()) {
4854 Flags |= ELF::SHF_GROUP;
4855 GroupName = F.getComdat()->getName();
4856 }
4857 LinkedToSym = static_cast<const MCSymbolELF *>(CurrentFnSym);
4858 }
4859 OutStreamer->switchSection(OutContext.getELFSection(
4860 SectionName, ELF::SHT_PROGBITS, Flags, 0, GroupName, F.hasComdat(),
4861 MCSection::NonUniqueID, LinkedToSym));
4862 emitAlignment(Align(PointerSize));
4863 OutStreamer->emitSymbolValue(CurrentPatchableFunctionEntrySym, PointerSize);
4864 }
4865}
4866
4868 return OutStreamer->getContext().getDwarfVersion();
4869}
4870
4872 OutStreamer->getContext().setDwarfVersion(Version);
4873}
4874
4876 return OutStreamer->getContext().getDwarfFormat() == dwarf::DWARF64;
4877}
4878
4881 OutStreamer->getContext().getDwarfFormat());
4882}
4883
4885 return {getDwarfVersion(), uint8_t(MAI->getCodePointerSize()),
4886 OutStreamer->getContext().getDwarfFormat(),
4888}
4889
4892 OutStreamer->getContext().getDwarfFormat());
4893}
4894
4895std::tuple<const MCSymbol *, uint64_t, const MCSymbol *,
4898 const MCSymbol *BranchLabel) const {
4899 const auto TLI = MF->getSubtarget().getTargetLowering();
4900 const auto BaseExpr =
4901 TLI->getPICJumpTableRelocBaseExpr(MF, JTI, MMI->getContext());
4902 const auto Base = &cast<MCSymbolRefExpr>(BaseExpr)->getSymbol();
4903
4904 // By default, for the architectures that support CodeView,
4905 // EK_LabelDifference32 is implemented as an Int32 from the base address.
4906 return std::make_tuple(Base, 0, BranchLabel,
4908}
4909
4911 const Triple &TT = TM.getTargetTriple();
4912 assert(TT.isOSBinFormatCOFF());
4913
4914 bool IsTargetArm64EC = TT.isWindowsArm64EC();
4916 SmallVector<MCSymbol *> FuncOverrideDefaultSymbols;
4917 bool SwitchedToDirectiveSection = false;
4918 for (const Function &F : M.functions()) {
4919 if (F.hasFnAttribute("loader-replaceable")) {
4920 if (!SwitchedToDirectiveSection) {
4921 OutStreamer->switchSection(
4922 OutContext.getObjectFileInfo()->getDrectveSection());
4923 SwitchedToDirectiveSection = true;
4924 }
4925
4926 StringRef Name = F.getName();
4927
4928 // For hybrid-patchable targets, strip the prefix so that we can mark
4929 // the real function as replaceable.
4930 if (IsTargetArm64EC && Name.ends_with(HybridPatchableTargetSuffix)) {
4931 Name = Name.drop_back(HybridPatchableTargetSuffix.size());
4932 }
4933
4934 MCSymbol *FuncOverrideSymbol =
4935 MMI->getContext().getOrCreateSymbol(Name + "_$fo$");
4936 OutStreamer->beginCOFFSymbolDef(FuncOverrideSymbol);
4937 OutStreamer->emitCOFFSymbolStorageClass(COFF::IMAGE_SYM_CLASS_EXTERNAL);
4938 OutStreamer->emitCOFFSymbolType(COFF::IMAGE_SYM_DTYPE_NULL);
4939 OutStreamer->endCOFFSymbolDef();
4940
4941 MCSymbol *FuncOverrideDefaultSymbol =
4942 MMI->getContext().getOrCreateSymbol(Name + "_$fo_default$");
4943 OutStreamer->beginCOFFSymbolDef(FuncOverrideDefaultSymbol);
4944 OutStreamer->emitCOFFSymbolStorageClass(COFF::IMAGE_SYM_CLASS_EXTERNAL);
4945 OutStreamer->emitCOFFSymbolType(COFF::IMAGE_SYM_DTYPE_NULL);
4946 OutStreamer->endCOFFSymbolDef();
4947 FuncOverrideDefaultSymbols.push_back(FuncOverrideDefaultSymbol);
4948
4949 OutStreamer->emitBytes((Twine(" /ALTERNATENAME:") +
4950 FuncOverrideSymbol->getName() + "=" +
4951 FuncOverrideDefaultSymbol->getName())
4952 .toStringRef(Buf));
4953 Buf.clear();
4954 }
4955 }
4956
4957 if (SwitchedToDirectiveSection)
4958 OutStreamer->popSection();
4959
4960 if (FuncOverrideDefaultSymbols.empty())
4961 return;
4962
4963 // MSVC emits the symbols for the default variables pointing at the start of
4964 // the .data section, but doesn't actually allocate any space for them. LLVM
4965 // can't do this, so have all of the variables pointing at a single byte
4966 // instead.
4967 OutStreamer->switchSection(OutContext.getObjectFileInfo()->getDataSection());
4968 for (MCSymbol *Symbol : FuncOverrideDefaultSymbols) {
4969 OutStreamer->emitLabel(Symbol);
4970 }
4971 OutStreamer->emitZeros(1);
4972 OutStreamer->popSection();
4973}
4974
4976 const Triple &TT = TM.getTargetTriple();
4977 assert(TT.isOSBinFormatCOFF());
4978
4979 // Emit an absolute @feat.00 symbol.
4980 MCSymbol *S = MMI->getContext().getOrCreateSymbol(StringRef("@feat.00"));
4981 OutStreamer->beginCOFFSymbolDef(S);
4982 OutStreamer->emitCOFFSymbolStorageClass(COFF::IMAGE_SYM_CLASS_STATIC);
4983 OutStreamer->emitCOFFSymbolType(COFF::IMAGE_SYM_DTYPE_NULL);
4984 OutStreamer->endCOFFSymbolDef();
4985 int64_t Feat00Value = 0;
4986
4987 if (TT.getArch() == Triple::x86) {
4988 // According to the PE-COFF spec, the LSB of this value marks the object
4989 // for "registered SEH". This means that all SEH handler entry points
4990 // must be registered in .sxdata. Use of any unregistered handlers will
4991 // cause the process to terminate immediately. LLVM does not know how to
4992 // register any SEH handlers, so its object files should be safe.
4993 Feat00Value |= COFF::Feat00Flags::SafeSEH;
4994 }
4995
4996 if (M.getModuleFlag("cfguard")) {
4997 // Object is CFG-aware.
4998 Feat00Value |= COFF::Feat00Flags::GuardCF;
4999 }
5000
5001 if (M.getModuleFlag("ehcontguard")) {
5002 // Object also has EHCont.
5003 Feat00Value |= COFF::Feat00Flags::GuardEHCont;
5004 }
5005
5006 if (M.getModuleFlag("ms-kernel")) {
5007 // Object is compiled with /kernel.
5008 Feat00Value |= COFF::Feat00Flags::Kernel;
5009 }
5010
5011 OutStreamer->emitSymbolAttribute(S, MCSA_Global);
5012 OutStreamer->emitAssignment(
5013 S, MCConstantExpr::create(Feat00Value, MMI->getContext()));
5014}
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 bool emitDebugValueComment(const MachineInstr *MI, AsmPrinter &AP)
emitDebugValueComment - This method handles the target-independent form of DBG_VALUE,...
static uint32_t getBBAddrMapMetadata(const MachineBasicBlock &MBB)
Returns the BB metadata to be emitted in the SHT_LLVM_BB_ADDR_MAP section for a given basic block.
static cl::opt< bool > BBAddrMapSkipEmitBBEntries("basic-block-address-map-skip-bb-entries", cl::desc("Skip emitting basic block entries in the SHT_LLVM_BB_ADDR_MAP " "section. It's used to save binary size when BB entries are " "unnecessary for some PGOAnalysisMap features."), cl::Hidden, cl::init(false))
static void emitGlobalConstantFP(const ConstantFP *CFP, AsmPrinter &AP)
static void emitFakeUse(const MachineInstr *MI, AsmPrinter &AP)
static bool isGOTEquivalentCandidate(const GlobalVariable *GV, unsigned &NumGOTEquivUsers, bool &HasNonGlobalUsers)
Only consider global GOT equivalents if at least one user is a cstexpr inside an initializer of anoth...
static void 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 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 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 llvm::object::BBAddrMap::Features getBBAddrMapFeature(const MachineFunction &MF, int NumMBBSectionRanges, bool HasCalls)
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 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.
===- LazyMachineBlockFrequencyInfo.h - Lazy Block Frequency -*- C++ -*–===//
const FeatureInfo AllFeatures[]
#define F(x, y, z)
Definition MD5.cpp:55
#define I(x, y, z)
Definition MD5.cpp:58
#define G(x, y, z)
Definition MD5.cpp:56
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
OptimizedStructLayoutField Field
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.
Value * LHS
LLVM_ABI opStatus convert(const fltSemantics &ToSemantics, roundingMode RM, bool *losesInfo)
Definition APFloat.cpp:6057
LLVM_ABI double convertToDouble() const
Converts this APFloat to host double value.
Definition APFloat.cpp:6115
void toString(SmallVectorImpl< char > &Str, unsigned FormatPrecision=0, unsigned FormatMaxPadding=3, bool TruncateZero=true) const
Definition APFloat.h:1478
APInt bitcastToAPInt() const
Definition APFloat.h:1353
Class for arbitrary precision integers.
Definition APInt.h:78
unsigned getBitWidth() const
Return the number of bits in the APInt.
Definition APInt.h:1488
unsigned getNumWords() const
Get the number of words.
Definition APInt.h:1495
const uint64_t * getRawData() const
This function returns a pointer to the internal storage of the APInt.
Definition APInt.h:569
int64_t getSExtValue() const
Get sign extended value.
Definition APInt.h:1562
void lshrInPlace(unsigned ShiftAmt)
Logical right-shift this APInt by ShiftAmt in place.
Definition APInt.h:858
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)
Represent the analysis usage information of a 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:41
const T & front() const
front - Get the first element.
Definition ArrayRef.h:150
bool empty() const
empty - Check if the array is empty.
Definition ArrayRef.h:142
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:632
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:427
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.
virtual const MCExpr * lowerConstantPtrAuth(const ConstantPtrAuth &CPA)
Definition AsmPrinter.h:653
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.
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:317
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)
virtual void emitMachOIFuncStubHelperBody(Module &M, const GlobalIFunc &GI, MCSymbol *LazyPointer)
Definition AsmPrinter.h:684
MCSymbol * getMBBExceptionSym(const MachineBasicBlock &MBB)
MCSymbol * getAddrLabelSymbol(const BasicBlock *BB)
Return the symbol to be used for the specified basic block when its address is taken.
Definition AsmPrinter.h:327
const MCAsmInfo * MAI
Target Asm Printer information.
Definition AsmPrinter.h:97
SmallVector< std::unique_ptr< AsmPrinterHandler >, 2 > Handlers
Definition AsmPrinter.h:246
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 .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:608
MCSymbol * GetJTISymbol(unsigned JTID, bool isLinkerPrivate=false) const
Return the symbol for the specified jump table entry.
virtual void emitMachineConstantPoolValue(MachineConstantPoolValue *MCPV)
void emitStackMaps()
Emit the stack maps.
bool hasDebugInfo() const
Returns true if valid debug info is present.
Definition AsmPrinter.h:507
virtual void emitFunctionBodyStart()
Targets can override this to emit stuff before the first basic block in the function.
Definition AsmPrinter.h:616
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:612
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:678
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:575
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.
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.
void emitAlignment(Align Alignment, const GlobalObject *GV=nullptr, unsigned MaxBytesToEmit=0) const
Emit an alignment directive to the specified power of two boundary.
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:674
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
virtual void emitFunctionDescriptor()
Definition AsmPrinter.h:641
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:247
MCSymbol * CurrentFnSymForSize
The symbol used to represent the start of the current function for the purpose of calculating its siz...
Definition AsmPrinter.h:137
bool isVerbose() const
Return true if assembly output should contain comments.
Definition AsmPrinter.h:308
MCSymbol * getFunctionEnd() const
Definition AsmPrinter.h:318
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:649
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.
SmallVector< std::unique_ptr< AsmPrinterHandler >, 1 > EHHandlers
A handle to the EH info emitter (if present).
Definition AsmPrinter.h:241
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:620
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)
Iff MI is an indirect call, generate and emit a label after the callsites which will be used to popul...
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:377
@ 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.
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:690
The address of a basic block.
Definition Constants.h:899
BasicBlock * getBasicBlock() const
Definition Constants.h:934
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:433
ArrayType * getType() const
Specialize the getType() method to always return an ArrayType, which reduces the amount of casting ne...
Definition Constants.h:452
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:715
ConstantDataSequential - A vector or array constant whose element type is a simple 1/2/4/8-byte integ...
Definition Constants.h:593
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:668
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.
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:1120
static LLVM_ABI Constant * getBitCast(Constant *C, Type *Ty, bool OnlyIfReduced=false)
ConstantFP - Floating Point Values [float, double].
Definition Constants.h:277
const APFloat & getValueAPF() const
Definition Constants.h:320
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:264
unsigned getBitWidth() const
getBitWidth - Return the scalar bitwidth of this constant.
Definition Constants.h:157
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:163
const APInt & getValue() const
Return the constant as an APInt value reference.
Definition Constants.h:154
A signed pointer, in the ptrauth sense.
Definition Constants.h:1032
StructType * getType() const
Specialization - reduce amount of casting.
Definition Constants.h:504
static Constant * getAnon(ArrayRef< Constant * > V, bool Packed=false)
Return an anonymous struct that has the specified elements.
Definition Constants.h:486
This is an important base class in LLVM.
Definition Constant.h:43
const Constant * stripPointerCasts() const
Definition Constant.h:219
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:90
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:952
A parsed version of the target data layout string in and methods for querying it.
Definition DataLayout.h:63
bool isBigEndian() const
Definition DataLayout.h:199
TypeSize getTypeStoreSize(Type *Ty) const
Returns the maximum number of bytes that may be overwritten by storing the specified type.
Definition DataLayout.h:466
A debug info location.
Definition DebugLoc.h:124
iterator find(const_arg_type_t< KeyT > Val)
Definition DenseMap.h:165
iterator end()
Definition DenseMap.h:81
Collects and handles dwarf debug information.
Definition DwarfDebug.h:351
Emits exception handling directives.
Definition EHStreamer.h:30
bool hasPersonalityFn() const
Check whether this function has a personality function.
Definition Function.h:903
Constant * getPersonalityFn() const
Get the personality function associated with this function.
const Function & getFunction() const
Definition Function.h:164
LLVMContext & getContext() const
getContext - Return a reference to the LLVMContext associated with this function.
Definition Function.cpp:359
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:635
const Constant * getAliasee() const
Definition GlobalAlias.h:87
LLVM_ABI const Function * getResolverFunction() const
Definition Globals.cpp:664
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 value has any metadata attached to it.
Definition Value.h:602
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:328
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:132
LLVM_ABI bool canBenefitFromLocalAlias() const
Definition Globals.cpp:114
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:456
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.
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:319
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:613
bool hasSubsectionsViaSymbols() const
Definition MCAsmInfo.h:457
const char * getWeakRefDirective() const
Definition MCAsmInfo.h:611
bool hasIdentDirective() const
Definition MCAsmInfo.h:608
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
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:521
bool isBssSection() const
Check whether this section is "virtual", that is has no actual object file contents.
Definition MCSection.h:637
static constexpr unsigned NonUniqueID
Definition MCSection.h:526
Streaming machine code generation interface.
Definition MCStreamer.h:220
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:471
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.
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:1077
const MDOperand & getOperand(unsigned I) const
Definition Metadata.h:1441
ArrayRef< MDOperand > operands() const
Definition Metadata.h:1439
Tracking metadata reference owned by Metadata.
Definition Metadata.h:899
A single uniqued string.
Definition Metadata.h:720
LLVM_ABI StringRef getString() const
Definition Metadata.cpp:617
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.
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
The MachineFrameInfo class represents an abstract stack frame until prolog/epilog code is inserted.
bool hasVarSizedObjects() const
This method may be called any time after instruction selection is complete to determine if the stack ...
uint64_t getStackSize() const
Return the number of bytes that must be allocated to hold all of the fixed size frame objects.
uint64_t getUnsafeStackSize() const
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
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
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:1749
LLVM_ABI unsigned getNumOperands() const
iterator_range< op_iterator > operands()
Definition Metadata.h:1845
Wrapper for a value that won't be replaced with a CFI jump table pointer in LowerTypeTestsModule.
Definition Constants.h:991
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:19
static iterator_range< iterator > entries()
Definition Registry.h:113
SimpleRegistryEntry< GCMetadataPrinter > entry
Definition Registry.h:47
Represents a location in source code.
Definition SMLoc.h:23
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:47
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:573
bool contains(StringRef Other) const
Return true if the given string is a substring of *this, and false otherwise.
Definition StringRef.h:426
size_t find(char C, size_t From=0) const
Search for the first character C in the string.
Definition StringRef.h:293
Used to lazily calculate structure layout information for a target machine, based on the DataLayout s...
Definition DataLayout.h:621
TypeSize getSizeInBytes() const
Definition DataLayout.h:630
TypeSize getElementOffset(unsigned Idx) const
Definition DataLayout.h:652
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.
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 MCSection * getStaticDtorSection(unsigned Priority, const MCSymbol *KeySym) 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
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...
virtual MCSection * getStaticCtorSection(unsigned Priority, const MCSymbol *KeySym) const
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:792
bool isOSBinFormatELF() const
Tests whether the OS uses the ELF binary format.
Definition Triple.h:769
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:45
static LLVM_ABI IntegerType * getInt64Ty(LLVMContext &C)
Definition Type.cpp:298
bool isFloatTy() const
Return true if this is 'float', a 32-bit IEEE fp type.
Definition Type.h:153
bool isBFloatTy() const
Return true if this is 'bfloat', a 16-bit bfloat type.
Definition Type.h:145
bool isPPC_FP128Ty() const
Return true if this is powerpc long double.
Definition Type.h:165
bool isSized(SmallPtrSetImpl< Type * > *Visited=nullptr) const
Return true if it makes sense to take the size of this type.
Definition Type.h:311
bool isHalfTy() const
Return true if this is 'half', a 16-bit IEEE fp type.
Definition Type.h:142
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:156
bool isFunctionTy() const
True if this is an instance of FunctionType.
Definition Type.h:258
Value * getOperand(unsigned i) const
Definition User.h:232
unsigned getNumOperands() const
Definition User.h:254
Value * operator=(Value *RHS)
Definition ValueHandle.h:70
LLVM Value Representation.
Definition Value.h:75
Type * getType() const
All values are typed, get the type of this value.
Definition Value.h:256
LLVM_ABI std::string getNameOrAsOperand() const
Definition Value.cpp:457
bool hasOneUse() const
Return true if there is exactly one use of this value.
Definition Value.h:439
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:701
bool use_empty() const
Definition Value.h:346
LLVM_ABI LLVMContext & getContext() const
All values hold a context through their type.
Definition Value.cpp:1101
LLVM_ABI StringRef getName() const
Return a constant reference to the value's name.
Definition Value.cpp:322
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.
std::optional< StringRef > getFilename() const
Return the filename that the remark diagnostics are emitted to.
bool needsSection() const
Check if the remarks also need to have associated metadata in a section.
remarks::RemarkSerializer & getSerializer()
Return the serializer used for this stream.
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
@ SHT_LLVM_JT_SIZES
Definition ELF.h:1184
@ SHT_PROGBITS
Definition ELF.h:1143
@ SHT_LLVM_SYMPART
Definition ELF.h:1176
@ SHF_ALLOC
Definition ELF.h:1243
@ SHF_LINK_ORDER
Definition ELF.h:1258
@ SHF_GROUP
Definition ELF.h:1265
@ SHF_WRITE
Definition ELF.h:1240
@ 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:1127
@ 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:1088
std::enable_if_t< detail::IsValidPointer< X, Y >::value, X * > extract_or_null(Y &&MD)
Extract a Value from Metadata, allowing null.
Definition Metadata.h:681
std::enable_if_t< detail::IsValidPointer< X, Y >::value, X * > extract(Y &&MD)
Extract a Value from Metadata.
Definition Metadata.h:666
DiagnosticInfoOptimizationBase::Argument NV
uint64_t MD5Hash(const FunctionId &Obj)
Definition FunctionId.h:167
LLVM_ABI void make_absolute(const Twine &current_directory, SmallVectorImpl< char > &path)
Make path an absolute path.
Definition Path.cpp:906
@ OF_Text
The file should be opened in text mode on platforms like z/OS that make this distinction.
Definition FileSystem.h:767
LLVM_ABI StringRef filename(StringRef path LLVM_LIFETIME_BOUND, Style style=Style::native)
Get filename.
Definition Path.cpp:577
This is an optimization pass for GlobalISel generic memory operations.
@ Offset
Definition DWP.cpp:477
FunctionAddr VTableAddr Value
Definition InstrProf.h:137
void stable_sort(R &&Range)
Definition STLExtras.h:2038
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:649
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:2116
Op::Description Desc
@ MCDR_DataRegionEnd
.end_data_region
@ MCDR_DataRegionJT32
.data_region jt32
bool isNoOpWithoutInvoke(EHPersonality Pers)
Return true if this personality may be safely removed if there are no invoke instructions remaining i...
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:759
FunctionAddr VTableAddr uintptr_t uintptr_t Version
Definition InstrProf.h:302
auto reverse(ContainerTy &&C)
Definition STLExtras.h:408
void sort(IteratorTy Start, IteratorTy End)
Definition STLExtras.h:1624
LLVM_ABI void report_fatal_error(Error Err, bool gen_crash_diag=true)
Definition Error.cpp:167
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:548
format_object< Ts... > format(const char *Fmt, const Ts &... Vals)
These are helper functions used to produce formatted output.
Definition Format.h:126
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:189
uint64_t alignTo(uint64_t Size, Align A)
Returns a multiple of A needed to store Size bytes.
Definition Alignment.h:155
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:1847
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:565
auto seq(T Begin, T End)
Iterate over an integral type from Begin up to - but not including - End.
Definition Sequence.h:305
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)
int popcount(T Value) noexcept
Count the number of set bits in a value.
Definition bit.h:154
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:180
Implement std::hash so that hash_code can be used in STL containers.
Definition BitVector.h:851
void swap(llvm::BitVector &LHS, llvm::BitVector &RHS)
Implement std::swap in terms of BitVector swap.
Definition BitVector.h:853
#define N
#define NC
Definition regutils.h:42
static constexpr roundingMode rmNearestTiesToEven
Definition APFloat.h:304
static LLVM_ABI const fltSemantics & IEEEdouble() LLVM_READNONE
Definition APFloat.cpp:267
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition Alignment.h:39
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:539
LLVM_ABI void emit(int, MCStreamer *) 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:117
A helper struct providing information about the byte size of DW_FORM values that vary in size dependi...
Definition Dwarf.h:1101
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.