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