LLVM 24.0.0git
AsmPrinter.cpp
Go to the documentation of this file.
1//===- AsmPrinter.cpp - Common AsmPrinter code ----------------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file implements the AsmPrinter class.
10//
11//===----------------------------------------------------------------------===//
12
14#include "CodeViewDebug.h"
15#include "DwarfDebug.h"
16#include "DwarfException.h"
17#include "PseudoProbePrinter.h"
18#include "WasmException.h"
19#include "WinCFGuard.h"
20#include "WinException.h"
21#include "llvm/ADT/APFloat.h"
22#include "llvm/ADT/APInt.h"
23#include "llvm/ADT/DenseMap.h"
24#include "llvm/ADT/STLExtras.h"
28#include "llvm/ADT/Statistic.h"
30#include "llvm/ADT/StringRef.h"
32#include "llvm/ADT/Twine.h"
68#include "llvm/Config/config.h"
69#include "llvm/IR/BasicBlock.h"
70#include "llvm/IR/Comdat.h"
71#include "llvm/IR/Constant.h"
72#include "llvm/IR/Constants.h"
73#include "llvm/IR/DataLayout.h"
77#include "llvm/IR/Function.h"
78#include "llvm/IR/GCStrategy.h"
79#include "llvm/IR/GlobalAlias.h"
80#include "llvm/IR/GlobalIFunc.h"
82#include "llvm/IR/GlobalValue.h"
84#include "llvm/IR/Instruction.h"
87#include "llvm/IR/Mangler.h"
88#include "llvm/IR/Metadata.h"
89#include "llvm/IR/Module.h"
90#include "llvm/IR/Operator.h"
91#include "llvm/IR/PseudoProbe.h"
92#include "llvm/IR/Type.h"
93#include "llvm/IR/Value.h"
94#include "llvm/IR/ValueHandle.h"
95#include "llvm/MC/MCAsmInfo.h"
96#include "llvm/MC/MCContext.h"
98#include "llvm/MC/MCExpr.h"
99#include "llvm/MC/MCInst.h"
100#include "llvm/MC/MCSchedule.h"
101#include "llvm/MC/MCSection.h"
103#include "llvm/MC/MCSectionELF.h"
106#include "llvm/MC/MCStreamer.h"
108#include "llvm/MC/MCSymbol.h"
109#include "llvm/MC/MCSymbolELF.h"
111#include "llvm/MC/MCValue.h"
112#include "llvm/MC/SectionKind.h"
114#include "llvm/Object/ELFTypes.h"
115#include "llvm/Pass.h"
117#include "llvm/Support/Casting.h"
122#include "llvm/Support/Format.h"
124#include "llvm/Support/Path.h"
125#include "llvm/Support/VCSRevision.h"
131#include <algorithm>
132#include <cassert>
133#include <cinttypes>
134#include <cstdint>
135#include <iterator>
136#include <memory>
137#include <optional>
138#include <string>
139#include <utility>
140#include <vector>
141
142using namespace llvm;
143
144#define DEBUG_TYPE "asm-printer"
145
155 "pgo-analysis-map", cl::Hidden, cl::CommaSeparated,
157 clEnumValN(PGOMapFeaturesEnum::None, "none", "Disable all options"),
159 "Function Entry Count"),
161 "Basic Block Frequency"),
162 clEnumValN(PGOMapFeaturesEnum::BrProb, "br-prob", "Branch Probability"),
163 clEnumValN(PGOMapFeaturesEnum::All, "all", "Enable all options")),
164 cl::desc(
165 "Enable extended information within the SHT_LLVM_BB_ADDR_MAP that is "
166 "extracted from PGO related analysis."));
167
169 "pgo-analysis-map-emit-bb-sections-cfg",
170 cl::desc("Enable the post-link cfg information from the basic block "
171 "sections profile in the PGO analysis map"),
172 cl::Hidden, cl::init(false));
173
175 "basic-block-address-map-skip-bb-entries",
176 cl::desc("Skip emitting basic block entries in the SHT_LLVM_BB_ADDR_MAP "
177 "section. It's used to save binary size when BB entries are "
178 "unnecessary for some PGOAnalysisMap features."),
179 cl::Hidden, cl::init(false));
180
182 "emit-jump-table-sizes-section",
183 cl::desc("Emit a section containing jump table addresses and sizes"),
184 cl::Hidden, cl::init(false));
185
186// This isn't turned on by default, since several of the scheduling models are
187// not completely accurate, and we don't want to be misleading.
189 "asm-print-latency",
190 cl::desc("Print instruction latencies as verbose asm comments"), cl::Hidden,
191 cl::init(false));
192
194 StackUsageFile("stack-usage-file",
195 cl::desc("Output filename for stack usage information"),
196 cl::value_desc("filename"), cl::Hidden);
197
198STATISTIC(EmittedInsts, "Number of machine instrs printed");
199
200char AsmPrinter::ID = 0;
201
202namespace {
203class AddrLabelMapCallbackPtr final : CallbackVH {
204 AddrLabelMap *Map = nullptr;
205
206public:
207 AddrLabelMapCallbackPtr() = default;
208 AddrLabelMapCallbackPtr(Value *V) : CallbackVH(V) {}
209
210 void setPtr(BasicBlock *BB) {
212 }
213
214 void setMap(AddrLabelMap *map) { Map = map; }
215
216 void deleted() override;
217 void allUsesReplacedWith(Value *V2) override;
218};
219} // namespace
220
222 MCContext &Context;
223 struct AddrLabelSymEntry {
224 /// The symbols for the label.
226
227 Function *Fn; // The containing function of the BasicBlock.
228 unsigned Index; // The index in BBCallbacks for the BasicBlock.
229 };
230
231 DenseMap<AssertingVH<BasicBlock>, AddrLabelSymEntry> AddrLabelSymbols;
232
233 /// Callbacks for the BasicBlock's that we have entries for. We use this so
234 /// we get notified if a block is deleted or RAUWd.
235 std::vector<AddrLabelMapCallbackPtr> BBCallbacks;
236
237 /// This is a per-function list of symbols whose corresponding BasicBlock got
238 /// deleted. These symbols need to be emitted at some point in the file, so
239 /// AsmPrinter emits them after the function body.
240 DenseMap<AssertingVH<Function>, std::vector<MCSymbol *>>
241 DeletedAddrLabelsNeedingEmission;
242
243public:
244 AddrLabelMap(MCContext &context) : Context(context) {}
245
247 assert(DeletedAddrLabelsNeedingEmission.empty() &&
248 "Some labels for deleted blocks never got emitted");
249 }
250
252
254 std::vector<MCSymbol *> &Result);
255
258};
259
261 assert(BB->hasAddressTaken() &&
262 "Shouldn't get label for block without address taken");
263 AddrLabelSymEntry &Entry = AddrLabelSymbols[BB];
264
265 // If we already had an entry for this block, just return it.
266 if (!Entry.Symbols.empty()) {
267 assert(BB->getParent() == Entry.Fn && "Parent changed");
268 return Entry.Symbols;
269 }
270
271 // Otherwise, this is a new entry, create a new symbol for it and add an
272 // entry to BBCallbacks so we can be notified if the BB is deleted or RAUWd.
273 BBCallbacks.emplace_back(BB);
274 BBCallbacks.back().setMap(this);
275 Entry.Index = BBCallbacks.size() - 1;
276 Entry.Fn = BB->getParent();
277 MCSymbol *Sym = BB->hasAddressTaken() ? Context.createNamedTempSymbol()
278 : Context.createTempSymbol();
279 Entry.Symbols.push_back(Sym);
280 return Entry.Symbols;
281}
282
283/// If we have any deleted symbols for F, return them.
285 Function *F, std::vector<MCSymbol *> &Result) {
286 DenseMap<AssertingVH<Function>, std::vector<MCSymbol *>>::iterator I =
287 DeletedAddrLabelsNeedingEmission.find(F);
288
289 // If there are no entries for the function, just return.
290 if (I == DeletedAddrLabelsNeedingEmission.end())
291 return;
292
293 // Otherwise, take the list.
294 std::swap(Result, I->second);
295 DeletedAddrLabelsNeedingEmission.erase(I);
296}
297
298//===- Address of Block Management ----------------------------------------===//
299
302 // Lazily create AddrLabelSymbols.
303 if (!AddrLabelSymbols)
304 AddrLabelSymbols = std::make_unique<AddrLabelMap>(OutContext);
305 return AddrLabelSymbols->getAddrLabelSymbolToEmit(
306 const_cast<BasicBlock *>(BB));
307}
308
310 const Function *F, std::vector<MCSymbol *> &Result) {
311 // If no blocks have had their addresses taken, we're done.
312 if (!AddrLabelSymbols)
313 return;
314 return AddrLabelSymbols->takeDeletedSymbolsForFunction(
315 const_cast<Function *>(F), Result);
316}
317
319 // If the block got deleted, there is no need for the symbol. If the symbol
320 // was already emitted, we can just forget about it, otherwise we need to
321 // queue it up for later emission when the function is output.
322 AddrLabelSymEntry Entry = std::move(AddrLabelSymbols[BB]);
323 AddrLabelSymbols.erase(BB);
324 assert(!Entry.Symbols.empty() && "Didn't have a symbol, why a callback?");
325 BBCallbacks[Entry.Index] = nullptr; // Clear the callback.
326
327#if !LLVM_MEMORY_SANITIZER_BUILD
328 // BasicBlock is destroyed already, so this access is UB detectable by msan.
329 assert((BB->getParent() == nullptr || BB->getParent() == Entry.Fn) &&
330 "Block/parent mismatch");
331#endif
332
333 for (MCSymbol *Sym : Entry.Symbols) {
334 if (Sym->isDefined())
335 return;
336
337 // If the block is not yet defined, we need to emit it at the end of the
338 // function. Add the symbol to the DeletedAddrLabelsNeedingEmission list
339 // for the containing Function. Since the block is being deleted, its
340 // parent may already be removed, we have to get the function from 'Entry'.
341 DeletedAddrLabelsNeedingEmission[Entry.Fn].push_back(Sym);
342 }
343}
344
346 // Get the entry for the RAUW'd block and remove it from our map.
347 AddrLabelSymEntry OldEntry = std::move(AddrLabelSymbols[Old]);
348 AddrLabelSymbols.erase(Old);
349 assert(!OldEntry.Symbols.empty() && "Didn't have a symbol, why a callback?");
350
351 AddrLabelSymEntry &NewEntry = AddrLabelSymbols[New];
352
353 // If New is not address taken, just move our symbol over to it.
354 if (NewEntry.Symbols.empty()) {
355 BBCallbacks[OldEntry.Index].setPtr(New); // Update the callback.
356 NewEntry = std::move(OldEntry); // Set New's entry.
357 return;
358 }
359
360 BBCallbacks[OldEntry.Index] = nullptr; // Update the callback.
361
362 // Otherwise, we need to add the old symbols to the new block's set.
363 llvm::append_range(NewEntry.Symbols, OldEntry.Symbols);
364}
365
366void AddrLabelMapCallbackPtr::deleted() {
367 Map->UpdateForDeletedBlock(cast<BasicBlock>(getValPtr()));
368}
369
370void AddrLabelMapCallbackPtr::allUsesReplacedWith(Value *V2) {
371 Map->UpdateForRAUWBlock(cast<BasicBlock>(getValPtr()), cast<BasicBlock>(V2));
372}
373
374/// getGVAlignment - Return the alignment to use for the specified global
375/// value. This rounds up to the preferred alignment if possible and legal.
377 Align InAlign) {
378 Align Alignment;
379 if (const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV))
380 Alignment = DL.getPreferredAlign(GVar);
381
382 // If InAlign is specified, round it to it.
383 if (InAlign > Alignment)
384 Alignment = InAlign;
385
386 // If the GV has a specified alignment, take it into account.
387 MaybeAlign GVAlign;
388 if (auto *GVar = dyn_cast<GlobalVariable>(GV))
389 GVAlign = GVar->getAlign();
390 else if (auto *F = dyn_cast<Function>(GV))
391 GVAlign = F->getAlign();
392 if (!GVAlign)
393 return Alignment;
394
395 assert(GVAlign && "GVAlign must be set");
396
397 // If the GVAlign is larger than NumBits, or if we are required to obey
398 // NumBits because the GV has an assigned section, obey it.
399 if (*GVAlign > Alignment || GV->hasSection())
400 Alignment = *GVAlign;
401 return Alignment;
402}
403
404AsmPrinter::AsmPrinter(TargetMachine &tm, std::unique_ptr<MCStreamer> Streamer,
405 char &ID)
406 : MachineFunctionPass(ID), TM(tm), MAI(tm.getMCAsmInfo()),
408 PointerSize(tm.getTargetTriple().getArchPointerBitWidth() / 8),
409 SM(*this) {
410 VerboseAsm = OutStreamer->isVerboseAsm();
411 DwarfUsesRelocationsAcrossSections =
412 MAI.doesDwarfUseRelocationsAcrossSections();
413 GetMMI = [this]() {
415 return MMIWP ? &MMIWP->getMMI() : nullptr;
416 };
417 GetORE = [this](MachineFunction &MF) {
419 };
420 GetMDT = [this](MachineFunction &MF) {
421 auto *MDTWrapper =
423 return MDTWrapper ? &MDTWrapper->getDomTree() : nullptr;
424 };
425 GetMLI = [this](MachineFunction &MF) {
427 return MLIWrapper ? &MLIWrapper->getLI() : nullptr;
428 };
429 GetMBPI = [this](MachineFunction &MF) {
431 };
432 GetMBFI = [this](MachineFunction &MF) {
434 };
435 GetMBHI = [this](MachineFunction &MF) {
436 return &getAnalysis<MachineBlockHashInfo>().getMBHI();
437 };
438 GetBBSPR = [this](MachineFunction &MF) {
439 auto *BBSPRPass =
441 return BBSPRPass ? &BBSPRPass->getBBSPR() : nullptr;
442 };
443 BeginGCAssembly = [this](Module &M) {
445 assert(MI && "AsmPrinter didn't require GCModuleInfo?");
446 for (const auto &I : *MI)
447 if (GCMetadataPrinter *MP = getOrCreateGCPrinter(*I))
448 MP->beginAssembly(M, *MI, *this);
449 };
450 FinishGCAssembly = [this](Module &M) {
452 assert(MI && "AsmPrinter didn't require GCModuleInfo?");
453 for (GCModuleInfo::iterator I = MI->end(), E = MI->begin(); I != E;)
454 if (GCMetadataPrinter *MP = getOrCreateGCPrinter(**--I))
455 MP->finishAssembly(M, *MI, *this);
456 };
457 EmitStackMaps = [this](Module &M) {
459 assert(MI && "AsmPrinter didn't require GCModuleInfo?");
460 bool NeedsDefault = false;
461 if (MI->begin() == MI->end())
462 // No GC strategy, use the default format.
463 NeedsDefault = true;
464 else
465 for (const auto &I : *MI) {
466 if (GCMetadataPrinter *MP = getOrCreateGCPrinter(*I))
467 if (MP->emitStackMaps(SM, *this))
468 continue;
469 // The strategy doesn't have printer or doesn't emit custom stack maps.
470 // Use the default format.
471 NeedsDefault = true;
472 }
473
474 if (NeedsDefault)
475 SM.serializeToStackMapSection();
476 };
477 AssertDebugEHFinalized = [&]() {
478 assert(!DD && Handlers.size() == NumUserHandlers &&
479 "Debug/EH info didn't get finalized");
480 };
481}
482
484
486 return TM.isPositionIndependent();
487}
488
489/// getFunctionNumber - Return a unique ID for the current function.
491 return MF->getFunctionNumber();
492}
493
495 return *TM.getObjFileLowering();
496}
497
499 assert(MMI && "MMI could not be nullptr!");
500 return MMI->getModule()->getDataLayout();
501}
502
504 assert(MF && "getSubtargetInfo requires a valid MachineFunction!");
505 return MF->getSubtarget<MCSubtargetInfo>();
506}
507
511
512/// getCurrentSection() - Return the current section we are emitting to.
514 return OutStreamer->getCurrentSectionOnly();
515}
516
517/// createDwarfDebug() - Create the DwarfDebug handler.
519
531
533 MMI = GetMMI();
534 PointerSize = M.getDataLayout().getPointerSize(0);
535 HasSplitStack = false;
536 HasNoSplitStack = false;
537 DbgInfoAvailable = !M.debug_compile_units().empty();
538 ModuleExceptionModel = M.getExceptionModel();
539 const Triple &Target = M.getTargetTriple();
540
541 AddrLabelSymbols = nullptr;
542
543 // On AIX, we delay emitting any section information until
544 // after emitting the .file pseudo-op. This allows additional
545 // information (such as the embedded command line) to be associated
546 // with all sections in the object file rather than a single section.
547 if (!Target.isOSBinFormatXCOFF())
548 OutStreamer->initSections(TM.getMCSubtargetInfo());
549
550 // Emit the version-min deployment target directive if needed.
551 //
552 // FIXME: If we end up with a collection of these sorts of Darwin-specific
553 // or ELF-specific things, it may make sense to have a platform helper class
554 // that will work with the target helper class. For now keep it here, as the
555 // alternative is duplicated code in each of the target asm printers that
556 // use the directive, where it would need the same conditionalization
557 // anyway.
558 if (Target.isOSBinFormatMachO() && Target.isOSDarwin()) {
559 Triple TVT(M.getDarwinTargetVariantTriple());
560 OutStreamer->emitVersionForTarget(
561 Target, M.getSDKVersion(),
562 M.getDarwinTargetVariantTriple().empty() ? nullptr : &TVT,
563 M.getDarwinTargetVariantSDKVersion());
564 }
565
566 // Allow the target to emit any magic that it wants at the start of the file.
568
569 // Very minimal debug info. It is ignored if we emit actual debug info. If we
570 // don't, this at least helps the user find where a global came from.
571 if (MAI.hasSingleParameterDotFile()) {
572 // .file "foo.c"
573 if (MAI.isAIX()) {
574 const char VerStr[] =
575#ifdef PACKAGE_VENDOR
576 PACKAGE_VENDOR " "
577#endif
578 PACKAGE_NAME " version " PACKAGE_VERSION
579#ifdef LLVM_REVISION
580 " (" LLVM_REVISION ")"
581#endif
582 ;
583 // TODO: Add timestamp and description.
584 OutStreamer->emitFileDirective(M.getSourceFileName(), VerStr, "", "");
585 } else {
586 OutStreamer->emitFileDirective(
587 llvm::sys::path::filename(M.getSourceFileName()));
588 }
589 }
590
591 // On AIX, emit bytes for llvm.commandline metadata after .file so that the
592 // C_INFO symbol is preserved if any csect is kept by the linker.
593 if (Target.isOSBinFormatXCOFF()) {
594 emitModuleCommandLines(M);
595 // Now we can generate section information.
596 OutStreamer->switchSection(
597 OutContext.getObjectFileInfo()->getTextSection());
598
599 // To work around an AIX assembler and/or linker bug, generate
600 // a rename for the default text-section symbol name. This call has
601 // no effect when generating object code directly.
602 MCSection *TextSection =
603 OutStreamer->getContext().getObjectFileInfo()->getTextSection();
604 MCSymbolXCOFF *XSym =
605 static_cast<MCSectionXCOFF *>(TextSection)->getQualNameSymbol();
606 if (XSym->hasRename())
607 OutStreamer->emitXCOFFRenameDirective(XSym, XSym->getSymbolTableName());
608 }
609
611
612 // Emit module-level inline asm if it exists.
613 if (M.hasModuleInlineAsm()) {
614 OutStreamer->AddComment("Start of file scope inline assembly");
615 OutStreamer->addBlankLine();
616 for (const Module::GlobalAsmFragment &Frag : M.getModuleInlineAsm()) {
617 const MCSubtargetInfo &AsmSTI = TM.getMCSubtargetInfo(
618 Frag.Props.TargetCPU, Frag.Props.TargetFeatures);
619 bool DidPush = emitTargetFeaturePush(AsmSTI);
620 emitInlineAsm(
621 Frag.Asm, AsmSTI, TM.Options.MCOptions, nullptr,
622 InlineAsm::AsmDialect(TM.getMCAsmInfo().getAssemblerDialect()));
623 emitTargetFeaturePop(AsmSTI, DidPush);
624 }
625 OutStreamer->AddComment("End of file scope inline assembly");
626 OutStreamer->addBlankLine();
627 }
628
629 if (MAI.doesSupportDebugInformation()) {
630 bool EmitCodeView = M.getCodeViewFlag();
631 // On Windows and UEFI targets, emit minimal CodeView compiler info even
632 // when debug info is disabled. UEFI follows the MSVC toolchain
633 // conventions, so it is treated the same way as Windows here.
634 if ((Target.isOSWindows() || Target.isUEFI()) &&
635 M.getNamedMetadata("llvm.dbg.cu"))
636 Handlers.push_back(std::make_unique<CodeViewDebug>(this));
637 if (!EmitCodeView || M.getDwarfVersion()) {
638 if (hasDebugInfo()) {
639 DD = createDwarfDebug();
640 Handlers.push_back(std::unique_ptr<DwarfDebug>(DD));
641 }
642 }
643 }
644
645 if (M.getNamedMetadata(PseudoProbeDescMetadataName))
646 PP = std::make_unique<PseudoProbeHandler>(this);
647
648 switch (ModuleExceptionModel) {
650 // We may want to emit CFI for debug.
651 [[fallthrough]];
655 for (auto &F : M.getFunctionList()) {
657 ModuleCFISection = getFunctionCFISectionType(F);
658 // If any function needsUnwindTableEntry(), it needs .eh_frame and hence
659 // the module needs .eh_frame. If we have found that case, we are done.
660 if (ModuleCFISection == CFISection::EH)
661 break;
662 }
663 assert(ModuleExceptionModel == ExceptionHandling::DwarfCFI ||
664 usesCFIWithoutEH() || ModuleCFISection != CFISection::EH);
665 break;
666 default:
667 break;
668 }
669
670 EHStreamer *ES = nullptr;
671 switch (ModuleExceptionModel) {
673 llvm_unreachable("should have resolved exception model kind");
676 // Emscripten EH is handled in JS glue code and emits no EH tables here.
677 if (!usesCFIWithoutEH())
678 break;
679 [[fallthrough]];
683 ES = new DwarfCFIException(this);
684 break;
686 ES = new ARMException(this);
687 break;
689 switch (MAI.getWinEHEncodingType()) {
690 default: llvm_unreachable("unsupported unwinding information encoding");
692 break;
695 ES = new WinException(this);
696 break;
697 }
698 break;
700 ES = new WasmException(this);
701 break;
703 ES = new AIXException(this);
704 break;
705 }
706 if (ES)
707 EHHandlers.push_back(std::unique_ptr<EHStreamer>(ES));
708
709 // All CFG modes required the tables emitted.
710 if (M.getControlFlowGuardMode() != ControlFlowGuardMode::Disabled)
711 Handlers.push_back(std::make_unique<WinCFGuard>(this));
712
713 for (auto &Handler : Handlers)
714 Handler->beginModule(&M);
715 for (auto &Handler : EHHandlers)
716 Handler->beginModule(&M);
717
718 return false;
719}
720
721static bool canBeHidden(const GlobalValue *GV, const MCAsmInfo &MAI) {
723 return false;
724
725 return GV->canBeOmittedFromSymbolTable();
726}
727
728void AsmPrinter::emitLinkage(const GlobalValue *GV, MCSymbol *GVSym) const {
730 switch (Linkage) {
736 if (MAI.isMachO()) {
737 // .globl _foo
738 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Global);
739
740 if (!canBeHidden(GV, MAI))
741 // .weak_definition _foo
742 OutStreamer->emitSymbolAttribute(GVSym, MCSA_WeakDefinition);
743 else
744 OutStreamer->emitSymbolAttribute(GVSym, MCSA_WeakDefAutoPrivate);
745 } else if (MAI.avoidWeakIfComdat() && GV->hasComdat()) {
746 // .globl _foo
747 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Global);
748 //NOTE: linkonce is handled by the section the symbol was assigned to.
749 } else {
750 // .weak _foo
751 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Weak);
752 }
753 return;
755 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Global);
756 return;
759 return;
763 llvm_unreachable("Should never emit this");
764 }
765 llvm_unreachable("Unknown linkage type!");
766}
767
769 const GlobalValue *GV) const {
770 TM.getNameWithPrefix(Name, GV, getObjFileLowering().getMangler());
771}
772
774 return TM.getSymbol(GV);
775}
776
778 // On ELF, use .Lfoo$local if GV is a non-interposable GlobalObject with an
779 // exact definion (intersection of GlobalValue::hasExactDefinition() and
780 // !isInterposable()). These linkages include: external, appending, internal,
781 // private. It may be profitable to use a local alias for external. The
782 // assembler would otherwise be conservative and assume a global default
783 // visibility symbol can be interposable, even if the code generator already
784 // assumed it.
785 const Module &M = *GV.getParent();
786 if (M.getTargetTriple().isOSBinFormatELF() && GV.canBenefitFromLocalAlias()) {
787 if (TM.getRelocationModel() != Reloc::Static &&
788 M.getPIELevel() == PIELevel::Default && GV.isDSOLocal())
789 return getSymbolWithGlobalValueBase(&GV, "$local");
790 }
791 return TM.getSymbol(&GV);
792}
793
794/// EmitGlobalVariable - Emit the specified global variable to the .s file.
796 MaybeAlign AlignmentGranule = getRequiredGlobalAlignmentGranule(*GV);
797 emitGlobalVariable(GV, AlignmentGranule);
798 if (AlignmentGranule)
799 OutStreamer->emitValueToAlignment(*AlignmentGranule);
800}
801
803 MaybeAlign AlignmentGranule) {
804 bool IsEmuTLSVar = TM.useEmulatedTLS() && GV->isThreadLocal();
805 assert(!(IsEmuTLSVar && GV->hasCommonLinkage()) &&
806 "No emulated TLS variables in the common section");
807
808 // Never emit TLS variable xyz in emulated TLS model.
809 // The initialization value is in __emutls_t.xyz instead of xyz.
810 if (IsEmuTLSVar)
811 return;
812
813 if (GV->hasInitializer()) {
814 // Check to see if this is a special global used by LLVM, if so, emit it.
815 if (emitSpecialLLVMGlobal(GV))
816 return;
817
818 // Skip the emission of global equivalents. The symbol can be emitted later
819 // on by emitGlobalGOTEquivs in case it turns out to be needed.
820 if (GlobalGOTEquivs.count(getSymbol(GV)))
821 return;
822
823 if (isVerbose()) {
824 // When printing the control variable __emutls_v.*,
825 // we don't need to print the original TLS variable name.
826 GV->printAsOperand(OutStreamer->getCommentOS(),
827 /*PrintType=*/false, GV->getParent());
828 OutStreamer->getCommentOS() << '\n';
829 }
830 }
831
832 MCSymbol *GVSym = getSymbol(GV);
833 MCSymbol *EmittedSym = GVSym;
834
835 // getOrCreateEmuTLSControlSym only creates the symbol with name and default
836 // attributes.
837 // GV's or GVSym's attributes will be used for the EmittedSym.
838 emitVisibility(EmittedSym, GV->getVisibility(), !GV->isDeclaration());
839
840 if (GV->isTagged()) {
841 if (TM.getTargetTriple().getArch() != Triple::aarch64)
842 OutContext.reportError(SMLoc(),
843 "tagged symbols (-fsanitize=memtag-globals) are "
844 "only supported on AArch64");
845 OutStreamer->emitSymbolAttribute(EmittedSym, MCSA_Memtag);
846 }
847
848 if (!GV->hasInitializer()) // External globals require no extra code.
849 return;
850
851 GVSym->redefineIfPossible();
852 if (GVSym->isDefined() || GVSym->isVariable())
853 OutContext.reportError(SMLoc(), "symbol '" + Twine(GVSym->getName()) +
854 "' is already defined");
855
856 if (MAI.hasDotTypeDotSizeDirective())
857 OutStreamer->emitSymbolAttribute(EmittedSym, MCSA_ELF_TypeObject);
858
860
861 const DataLayout &DL = GV->getDataLayout();
862 uint64_t Size = GV->getGlobalSize(DL);
863
864 // If the alignment is specified, we *must* obey it. Overaligning a global
865 // with a specified alignment is a prompt way to break globals emitted to
866 // sections and expected to be contiguous (e.g. ObjC metadata).
867 //
868 // If we get passed in an explicit alignment granule, it is up to the caller
869 // to ensure that is not the case (i.e. that the GV is not in a section).
870 Align Alignment = getGVAlignment(GV, DL);
871
872 if (AlignmentGranule) {
873 assert(!GV->hasSection());
874 Size = alignTo(Size, *AlignmentGranule);
875 if (Alignment < *AlignmentGranule)
876 Alignment = *AlignmentGranule;
877 }
878
879 for (auto &Handler : Handlers)
880 Handler->setSymbolSize(GVSym, Size);
881
882 // Handle common symbols
883 if (GVKind.isCommon()) {
884 if (Size == 0) Size = 1; // .comm Foo, 0 is undefined, avoid it.
885 // .comm _foo, 42, 4
886 OutStreamer->emitCommonSymbol(GVSym, Size, Alignment);
887 return;
888 }
889
890 // Determine to which section this global should be emitted.
891 MCSection *TheSection = getObjFileLowering().SectionForGlobal(GV, GVKind, TM);
892
893 // If we have a bss global going to a section that supports the
894 // zerofill directive, do so here.
895 if (GVKind.isBSS() && MAI.isMachO() && TheSection->isBssSection()) {
896 if (Size == 0)
897 Size = 1; // zerofill of 0 bytes is undefined.
898 emitLinkage(GV, GVSym);
899 // .zerofill __DATA, __bss, _foo, 400, 5
900 OutStreamer->emitZerofill(TheSection, GVSym, Size, Alignment);
901 return;
902 }
903
904 // If this is a BSS local symbol and we are emitting in the BSS
905 // section use .lcomm/.comm directive.
906 if (GVKind.isBSSLocal() &&
907 getObjFileLowering().getBSSSection() == TheSection) {
908 if (Size == 0)
909 Size = 1; // .comm Foo, 0 is undefined, avoid it.
910
911 // Use .lcomm only if it supports user-specified alignment.
912 // Otherwise, while it would still be correct to use .lcomm in some
913 // cases (e.g. when Align == 1), the external assembler might enfore
914 // some -unknown- default alignment behavior, which could cause
915 // spurious differences between external and integrated assembler.
916 // Prefer to simply fall back to .local / .comm in this case.
917 if (MAI.getLCOMMDirectiveAlignmentType() != LCOMM::NoAlignment) {
918 // .lcomm _foo, 42
919 OutStreamer->emitLocalCommonSymbol(GVSym, Size, Alignment);
920 return;
921 }
922
923 // .local _foo
924 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Local);
925 // .comm _foo, 42, 4
926 OutStreamer->emitCommonSymbol(GVSym, Size, Alignment);
927 return;
928 }
929
930 // Handle thread local data for mach-o which requires us to output an
931 // additional structure of data and mangle the original symbol so that we
932 // can reference it later.
933 //
934 // TODO: This should become an "emit thread local global" method on TLOF.
935 // All of this macho specific stuff should be sunk down into TLOFMachO and
936 // stuff like "TLSExtraDataSection" should no longer be part of the parent
937 // TLOF class. This will also make it more obvious that stuff like
938 // MCStreamer::EmitTBSSSymbol is macho specific and only called from macho
939 // specific code.
940 if (GVKind.isThreadLocal() && MAI.isMachO()) {
941 // Emit the .tbss symbol
942 MCSymbol *MangSym =
943 OutContext.getOrCreateSymbol(GVSym->getName() + Twine("$tlv$init"));
944
945 if (GVKind.isThreadBSS()) {
946 TheSection = getObjFileLowering().getTLSBSSSection();
947 OutStreamer->emitTBSSSymbol(TheSection, MangSym, Size, Alignment);
948 } else if (GVKind.isThreadData()) {
949 OutStreamer->switchSection(TheSection);
950
951 emitAlignment(Alignment, GV);
952 OutStreamer->emitLabel(MangSym);
953
955 GV->getInitializer());
956 }
957
958 OutStreamer->addBlankLine();
959
960 // Emit the variable struct for the runtime.
962
963 OutStreamer->switchSection(TLVSect);
964 // Emit the linkage here.
965 emitLinkage(GV, GVSym);
966 OutStreamer->emitLabel(GVSym);
967
968 // Three pointers in size:
969 // - __tlv_bootstrap - used to make sure support exists
970 // - spare pointer, used when mapped by the runtime
971 // - pointer to mangled symbol above with initializer
972 unsigned PtrSize = DL.getPointerTypeSize(GV->getType());
973 OutStreamer->emitSymbolValue(GetExternalSymbolSymbol("_tlv_bootstrap"),
974 PtrSize);
975 OutStreamer->emitIntValue(0, PtrSize);
976 OutStreamer->emitSymbolValue(MangSym, PtrSize);
977
978 OutStreamer->addBlankLine();
979 return;
980 }
981
982 MCSymbol *EmittedInitSym = GVSym;
983
984 OutStreamer->switchSection(TheSection);
985
986 emitLinkage(GV, EmittedInitSym);
987 emitAlignment(Alignment, GV);
988
989 OutStreamer->emitLabel(EmittedInitSym);
990 MCSymbol *LocalAlias = getSymbolPreferLocal(*GV);
991 if (LocalAlias != EmittedInitSym)
992 OutStreamer->emitLabel(LocalAlias);
993
995
996 if (MAI.hasDotTypeDotSizeDirective())
997 // .size foo, 42
998 OutStreamer->emitELFSize(EmittedInitSym,
1000
1001 OutStreamer->addBlankLine();
1002}
1003
1004/// Emit the directive and value for debug thread local expression
1005///
1006/// \p Value - The value to emit.
1007/// \p Size - The size of the integer (in bytes) to emit.
1008void AsmPrinter::emitDebugValue(const MCExpr *Value, unsigned Size) const {
1009 OutStreamer->emitValue(Value, Size);
1010}
1011
1012void AsmPrinter::emitFunctionHeaderComment() {}
1013
1014void AsmPrinter::emitFunctionPrefix(ArrayRef<const Constant *> Prefix) {
1015 const Function &F = MF->getFunction();
1017 for (auto &C : Prefix)
1018 emitGlobalConstant(F.getDataLayout(), C);
1019 return;
1020 }
1021 // Preserving prefix-like data on platforms which use subsections-via-symbols
1022 // is a bit tricky. Here we introduce a symbol for the prefix-like data
1023 // and use the .alt_entry attribute to mark the function's real entry point
1024 // as an alternative entry point to the symbol that precedes the function..
1025 OutStreamer->emitLabel(OutContext.createLinkerPrivateTempSymbol());
1026
1027 for (auto &C : Prefix) {
1028 emitGlobalConstant(F.getDataLayout(), C);
1029 }
1030
1031 // Emit an .alt_entry directive for the actual function symbol.
1032 OutStreamer->emitSymbolAttribute(CurrentFnSym, MCSA_AltEntry);
1033}
1034
1035/// EmitFunctionHeader - This method emits the header for the current
1036/// function.
1037void AsmPrinter::emitFunctionHeader() {
1038 const Function &F = MF->getFunction();
1039
1040 if (isVerbose())
1041 OutStreamer->getCommentOS()
1042 << "-- Begin function "
1043 << GlobalValue::dropLLVMManglingEscape(F.getName()) << '\n';
1044
1045 // Print out constants referenced by the function
1047
1048 // Print the 'header' of function.
1049 // If basic block sections are desired, explicitly request a unique section
1050 // for this function's entry block.
1051 if (MF->front().isBeginSection())
1052 MF->setSection(getObjFileLowering().getUniqueSectionForFunction(F, TM));
1053 else
1054 MF->setSection(getObjFileLowering().SectionForGlobal(&F, TM));
1055 OutStreamer->switchSection(MF->getSection());
1056
1057 if (MAI.isAIX())
1059 else
1060 emitVisibility(CurrentFnSym, F.getVisibility());
1061
1063 if (MAI.hasFunctionAlignment()) {
1064 Align PrefAlign = MF->getPreferredAlignment();
1065 if (MAI.useIntegratedAssembler() && MAI.hasPreferredAlignment()) {
1066 // Emit .p2align for the effective minimum alignment (which accounts for
1067 // F's own align attribute via getGVAlignment), then emit .prefalign only
1068 // when the preferred alignment is greater. The end symbol must be
1069 // created here, before the function body, so that .prefalign can
1070 // reference it; emitFunctionBody will emit the label at the function
1071 // end.
1072 Align MinAlign = emitAlignment(MF->getAlignment(), &F);
1073 if (MinAlign < PrefAlign) {
1074 CurrentFnEnd = createTempSymbol("func_end");
1075 OutStreamer->emitPrefAlign(PrefAlign, *CurrentFnEnd,
1076 /*EmitNops=*/true, /*Fill=*/0,
1078 }
1079 } else {
1080 emitAlignment(PrefAlign, &F);
1081 }
1082 }
1083
1084 if (MAI.hasDotTypeDotSizeDirective())
1085 OutStreamer->emitSymbolAttribute(CurrentFnSym, MCSA_ELF_TypeFunction);
1086
1087 if (F.hasFnAttribute(Attribute::Cold))
1088 OutStreamer->emitSymbolAttribute(CurrentFnSym, MCSA_Cold);
1089
1090 // Emit the prefix data.
1091 if (F.hasPrefixData())
1092 emitFunctionPrefix({F.getPrefixData()});
1093
1094 // Emit KCFI type information before patchable-function-prefix nops.
1096
1097 // Emit M NOPs for -fpatchable-function-entry=N,M where M>0. We arbitrarily
1098 // place prefix data before NOPs.
1099 unsigned PatchableFunctionPrefix =
1100 F.getFnAttributeAsParsedInteger("patchable-function-prefix");
1101 unsigned PatchableFunctionEntry =
1102 F.getFnAttributeAsParsedInteger("patchable-function-entry");
1103 if (PatchableFunctionPrefix) {
1105 OutContext.createLinkerPrivateTempSymbol();
1107 emitNops(PatchableFunctionPrefix);
1108 } else if (PatchableFunctionEntry) {
1109 // May be reassigned when emitting the body, to reference the label after
1110 // the initial BTI (AArch64) or endbr32/endbr64 (x86).
1112 }
1113
1114 // Emit the function prologue data for the indirect call sanitizer.
1115 if (const MDNode *MD = F.getMetadata(LLVMContext::MD_func_sanitize)) {
1116 assert(MD->getNumOperands() == 2);
1117
1118 auto *PrologueSig = mdconst::extract<Constant>(MD->getOperand(0));
1119 auto *TypeHash = mdconst::extract<Constant>(MD->getOperand(1));
1120 emitFunctionPrefix({PrologueSig, TypeHash});
1121 }
1122
1123 if (isVerbose()) {
1124 F.printAsOperand(OutStreamer->getCommentOS(),
1125 /*PrintType=*/false, F.getParent());
1126 emitFunctionHeaderComment();
1127 OutStreamer->getCommentOS() << '\n';
1128 }
1129
1130 // Emit the function descriptor. This is a virtual function to allow targets
1131 // to emit their specific function descriptor. Right now it is only used by
1132 // the AIX target. The PowerPC 64-bit V1 ELF target also uses function
1133 // descriptors and should be converted to use this hook as well.
1134 if (MAI.isAIX())
1136
1137 // Emit the CurrentFnSym. This is a virtual function to allow targets to do
1138 // their wild and crazy things as required.
1140
1141 // If the function had address-taken blocks that got deleted, then we have
1142 // references to the dangling symbols. Emit them at the start of the function
1143 // so that we don't get references to undefined symbols.
1144 std::vector<MCSymbol*> DeadBlockSyms;
1145 takeDeletedSymbolsForFunction(&F, DeadBlockSyms);
1146 for (MCSymbol *DeadBlockSym : DeadBlockSyms) {
1147 OutStreamer->AddComment("Address taken block that was later removed");
1148 OutStreamer->emitLabel(DeadBlockSym);
1149 }
1150
1151 if (CurrentFnBegin) {
1152 if (MAI.useAssignmentForEHBegin()) {
1153 MCSymbol *CurPos = OutContext.createTempSymbol();
1154 OutStreamer->emitLabel(CurPos);
1155 OutStreamer->emitAssignment(CurrentFnBegin,
1157 } else {
1158 OutStreamer->emitLabel(CurrentFnBegin);
1159 }
1160 }
1161
1162 // Emit pre-function debug and/or EH information.
1163 for (auto &Handler : Handlers) {
1164 Handler->beginFunction(MF);
1165 Handler->beginBasicBlockSection(MF->front());
1166 }
1167 for (auto &Handler : EHHandlers) {
1168 Handler->beginFunction(MF);
1169 Handler->beginBasicBlockSection(MF->front());
1170 }
1171
1172 // Emit the prologue data.
1173 if (F.hasPrologueData())
1174 emitGlobalConstant(F.getDataLayout(), F.getPrologueData());
1175}
1176
1177/// EmitFunctionEntryLabel - Emit the label that is the entrypoint for the
1178/// function. This can be overridden by targets as required to do custom stuff.
1180 CurrentFnSym->redefineIfPossible();
1181 OutStreamer->emitLabel(CurrentFnSym);
1182
1183 if (TM.getTargetTriple().isOSBinFormatELF()) {
1184 MCSymbol *Sym = getSymbolPreferLocal(MF->getFunction());
1185 if (Sym != CurrentFnSym) {
1186 CurrentFnBeginLocal = Sym;
1187 OutStreamer->emitLabel(Sym);
1188 OutStreamer->emitSymbolAttribute(Sym, MCSA_ELF_TypeFunction);
1189 }
1190 }
1191}
1192
1193/// emitComments - Pretty-print comments for instructions.
1194static void emitComments(const MachineInstr &MI, const MCSubtargetInfo *STI,
1195 raw_ostream &CommentOS) {
1196 const MachineFunction *MF = MI.getMF();
1198
1199 // Check for spills and reloads
1200
1201 // We assume a single instruction only has a spill or reload, not
1202 // both.
1203 std::optional<LocationSize> Size;
1204 if ((Size = MI.getRestoreSize(TII))) {
1205 CommentOS << Size->getValue() << "-byte Reload\n";
1206 } else if ((Size = MI.getFoldedRestoreSize(TII))) {
1207 if (!Size->hasValue())
1208 CommentOS << "Unknown-size Folded Reload\n";
1209 else if (Size->getValue())
1210 CommentOS << Size->getValue() << "-byte Folded Reload\n";
1211 } else if ((Size = MI.getSpillSize(TII))) {
1212 CommentOS << Size->getValue() << "-byte Spill\n";
1213 } else if ((Size = MI.getFoldedSpillSize(TII))) {
1214 if (!Size->hasValue())
1215 CommentOS << "Unknown-size Folded Spill\n";
1216 else if (Size->getValue())
1217 CommentOS << Size->getValue() << "-byte Folded Spill\n";
1218 }
1219
1220 // Check for spill-induced copies
1221 if (MI.getAsmPrinterFlag(MachineInstr::ReloadReuse))
1222 CommentOS << " Reload Reuse\n";
1223
1224 if (PrintLatency) {
1226 const MCSchedModel &SCModel = STI->getSchedModel();
1229 *STI, *TII, MI);
1230 // Report only interesting latencies.
1231 if (1 < Latency)
1232 CommentOS << " Latency: " << Latency << "\n";
1233 }
1234}
1235
1236/// emitImplicitDef - This method emits the specified machine instruction
1237/// that is an implicit def.
1239 Register RegNo = MI->getOperand(0).getReg();
1240
1241 SmallString<128> Str;
1242 raw_svector_ostream OS(Str);
1243 OS << "implicit-def: "
1244 << printReg(RegNo, MF->getSubtarget().getRegisterInfo());
1245
1246 OutStreamer->AddComment(OS.str());
1247 OutStreamer->addBlankLine();
1248}
1249
1250static void emitKill(const MachineInstr *MI, AsmPrinter &AP) {
1251 std::string Str;
1252 raw_string_ostream OS(Str);
1253 OS << "kill:";
1254 for (const MachineOperand &Op : MI->operands()) {
1255 assert(Op.isReg() && "KILL instruction must have only register operands");
1256 OS << ' ' << (Op.isDef() ? "def " : "killed ")
1257 << printReg(Op.getReg(), AP.MF->getSubtarget().getRegisterInfo());
1258 }
1259 AP.OutStreamer->AddComment(Str);
1260 AP.OutStreamer->addBlankLine();
1261}
1262
1263static void emitFakeUse(const MachineInstr *MI, AsmPrinter &AP) {
1264 std::string Str;
1265 raw_string_ostream OS(Str);
1266 OS << "fake_use:";
1267 for (const MachineOperand &Op : MI->operands()) {
1268 // In some circumstances we can end up with fake uses of constants; skip
1269 // these.
1270 if (!Op.isReg())
1271 continue;
1272 OS << ' ' << printReg(Op.getReg(), AP.MF->getSubtarget().getRegisterInfo());
1273 }
1274 AP.OutStreamer->AddComment(OS.str());
1275 AP.OutStreamer->addBlankLine();
1276}
1277
1278/// emitDebugValueComment - This method handles the target-independent form
1279/// of DBG_VALUE, returning true if it was able to do so. A false return
1280/// means the target will need to handle MI in EmitInstruction.
1282 // This code handles only the 4-operand target-independent form.
1283 if (MI->isNonListDebugValue() && MI->getNumOperands() != 4)
1284 return false;
1285
1286 SmallString<128> Str;
1287 raw_svector_ostream OS(Str);
1288 OS << "DEBUG_VALUE: ";
1289
1290 const DILocalVariable *V = MI->getDebugVariable();
1291 if (auto *SP = dyn_cast<DISubprogram>(V->getScope())) {
1292 StringRef Name = SP->getName();
1293 if (!Name.empty())
1294 OS << Name << ":";
1295 }
1296 OS << V->getName();
1297 OS << " <- ";
1298
1299 const DIExpression *Expr = MI->getDebugExpression();
1300 // First convert this to a non-variadic expression if possible, to simplify
1301 // the output.
1302 if (auto NonVariadicExpr = DIExpression::convertToNonVariadicExpression(Expr))
1303 Expr = *NonVariadicExpr;
1304 // Then, output the possibly-simplified expression.
1305 if (Expr->getNumElements()) {
1306 OS << '[';
1307 ListSeparator LS;
1308 for (auto &Op : Expr->expr_ops()) {
1309 OS << LS << dwarf::OperationEncodingString(Op.getOp());
1310 for (unsigned I = 0; I < Op.getNumArgs(); ++I)
1311 OS << ' ' << Op.getArg(I);
1312 }
1313 OS << "] ";
1314 }
1315
1316 // Register or immediate value. Register 0 means undef.
1317 for (const MachineOperand &Op : MI->debug_operands()) {
1318 if (&Op != MI->debug_operands().begin())
1319 OS << ", ";
1320 switch (Op.getType()) {
1322 APFloat APF = APFloat(Op.getFPImm()->getValueAPF());
1323 Type *ImmTy = Op.getFPImm()->getType();
1324 if (ImmTy->isBFloatTy() || ImmTy->isHalfTy() || ImmTy->isFloatTy() ||
1325 ImmTy->isDoubleTy()) {
1326 OS << APF.convertToDouble();
1327 } else {
1328 // There is no good way to print long double. Convert a copy to
1329 // double. Ah well, it's only a comment.
1330 bool ignored;
1332 &ignored);
1333 OS << "(long double) " << APF.convertToDouble();
1334 }
1335 break;
1336 }
1338 OS << Op.getImm();
1339 break;
1340 }
1342 Op.getCImm()->getValue().print(OS, false /*isSigned*/);
1343 break;
1344 }
1346 OS << "!target-index(" << Op.getIndex() << "," << Op.getOffset() << ")";
1347 break;
1348 }
1350 Op.getGlobal()->printAsOperand(OS, /*PrintType=*/false);
1351 if (Op.getOffset())
1352 OS << '+' << Op.getOffset();
1353 break;
1354 }
1357 Register Reg;
1358 std::optional<StackOffset> Offset;
1359 if (Op.isReg()) {
1360 Reg = Op.getReg();
1361 } else {
1362 const TargetFrameLowering *TFI =
1364 Offset = TFI->getFrameIndexReference(*AP.MF, Op.getIndex(), Reg);
1365 }
1366 if (!Reg) {
1367 // Suppress offset, it is not meaningful here.
1368 OS << "undef";
1369 break;
1370 }
1371 // The second operand is only an offset if it's an immediate.
1372 if (MI->isIndirectDebugValue())
1373 Offset = StackOffset::getFixed(MI->getDebugOffset().getImm());
1374 if (Offset)
1375 OS << '[';
1376 OS << printReg(Reg, AP.MF->getSubtarget().getRegisterInfo());
1377 if (Offset)
1378 OS << '+' << Offset->getFixed() << ']';
1379 break;
1380 }
1381 default:
1382 llvm_unreachable("Unknown operand type");
1383 }
1384 }
1385
1386 // NOTE: Want this comment at start of line, don't emit with AddComment.
1387 AP.OutStreamer->emitRawComment(Str);
1388 return true;
1389}
1390
1391/// This method handles the target-independent form of DBG_LABEL, returning
1392/// true if it was able to do so. A false return means the target will need
1393/// to handle MI in EmitInstruction.
1395 if (MI->getNumOperands() != 1)
1396 return false;
1397
1398 SmallString<128> Str;
1399 raw_svector_ostream OS(Str);
1400 OS << "DEBUG_LABEL: ";
1401
1402 const DILabel *V = MI->getDebugLabel();
1403 if (auto *SP = dyn_cast<DISubprogram>(
1404 V->getScope()->getNonLexicalBlockFileScope())) {
1405 StringRef Name = SP->getName();
1406 if (!Name.empty())
1407 OS << Name << ":";
1408 }
1409 OS << V->getName();
1410
1411 // NOTE: Want this comment at start of line, don't emit with AddComment.
1412 AP.OutStreamer->emitRawComment(OS.str());
1413 return true;
1414}
1415
1418 // Ignore functions that won't get emitted.
1419 if (F.isDeclarationForLinker())
1420 return CFISection::None;
1421
1422 if (ModuleExceptionModel == ExceptionHandling::DwarfCFI &&
1423 F.needsUnwindTableEntry())
1424 return CFISection::EH;
1425
1426 if (MAI.usesCFIWithoutEH(ModuleExceptionModel) && F.hasUWTable())
1427 return CFISection::EH;
1428
1429 if (hasDebugInfo() || TM.Options.ForceDwarfFrameSection)
1430 return CFISection::Debug;
1431
1432 return CFISection::None;
1433}
1434
1439
1441 return MAI.usesCFIWithoutEH(ModuleExceptionModel) &&
1442 ModuleCFISection != CFISection::None;
1443}
1444
1446 if (!usesCFIWithoutEH() &&
1447 ModuleExceptionModel != ExceptionHandling::DwarfCFI &&
1448 ModuleExceptionModel != ExceptionHandling::ARM)
1449 return;
1450
1452 return;
1453
1454 // If there is no "real" instruction following this CFI instruction, skip
1455 // emitting it; it would be beyond the end of the function's FDE range.
1456 auto *MBB = MI.getParent();
1457 auto I = std::next(MI.getIterator());
1458 while (I != MBB->end() && I->isTransient())
1459 ++I;
1460 if (I == MBB->instr_end() &&
1461 MBB->getReverseIterator() == MBB->getParent()->rbegin())
1462 return;
1463
1464 const std::vector<MCCFIInstruction> &Instrs = MF->getFrameInstructions();
1465 unsigned CFIIndex = MI.getOperand(0).getCFIIndex();
1466 const MCCFIInstruction &CFI = Instrs[CFIIndex];
1467 emitCFIInstruction(CFI);
1468}
1469
1471 // The operands are the MCSymbol and the frame offset of the allocation.
1472 MCSymbol *FrameAllocSym = MI.getOperand(0).getMCSymbol();
1473 int FrameOffset = MI.getOperand(1).getImm();
1474
1475 // Emit a symbol assignment.
1476 OutStreamer->emitAssignment(FrameAllocSym,
1477 MCConstantExpr::create(FrameOffset, OutContext));
1478}
1479
1480/// Returns the BB metadata to be emitted in the SHT_LLVM_BB_ADDR_MAP section
1481/// for a given basic block. This can be used to capture more precise profile
1482/// information.
1484 const TargetInstrInfo *TII = MBB.getParent()->getSubtarget().getInstrInfo();
1486 MBB.isReturnBlock(), !MBB.empty() && TII->isTailCall(MBB.back()),
1487 MBB.isEHPad(), const_cast<MachineBasicBlock &>(MBB).canFallThrough(),
1488 !MBB.empty() && MBB.rbegin()->isIndirectBranch()}
1489 .encode();
1490}
1491
1493getBBAddrMapFeature(const MachineFunction &MF, int NumMBBSectionRanges,
1494 bool HasCalls, const CFGProfile *FuncCFGProfile) {
1495 // Ensure that the user has not passed in additional options while also
1496 // specifying all or none.
1497 auto IsSet = [](PGOMapFeaturesEnum F) {
1499 };
1500 bool NoFeatures = IsSet(PGOMapFeaturesEnum::None);
1502 if ((NoFeatures || AllFeatures) && !all_equal(PgoAnalysisMapFeatures)) {
1504 "-pgo-analysis-map can accept only all or none with no additional "
1505 "values.");
1506 }
1507
1508 bool FuncEntryCountEnabled =
1509 AllFeatures || (!NoFeatures && IsSet(PGOMapFeaturesEnum::FuncEntryCount));
1510 bool BBFreqEnabled =
1511 AllFeatures || (!NoFeatures && IsSet(PGOMapFeaturesEnum::BBFreq));
1512 bool BrProbEnabled =
1513 AllFeatures || (!NoFeatures && IsSet(PGOMapFeaturesEnum::BrProb));
1514 bool PostLinkCfgEnabled = FuncCFGProfile && PgoAnalysisMapEmitBBSectionsCfg;
1515
1516 if ((BBFreqEnabled || BrProbEnabled) && BBAddrMapSkipEmitBBEntries) {
1518 "BB entries info is required for BBFreq and BrProb features");
1519 }
1520 return {FuncEntryCountEnabled, BBFreqEnabled, BrProbEnabled,
1521 MF.hasBBSections() && NumMBBSectionRanges > 1,
1522 // Use static_cast to avoid breakage of tests on windows.
1523 static_cast<bool>(BBAddrMapSkipEmitBBEntries), HasCalls,
1524 shouldEmitBBHash(), PostLinkCfgEnabled, /*FuncGUID=*/false};
1525}
1526
1528 MCSection *BBAddrMapSection =
1529 getObjFileLowering().getBBAddrMapSection(*MF.getSection());
1530 assert(BBAddrMapSection && ".llvm_bb_addr_map section is not initialized.");
1531 bool HasCalls = !CurrentFnCallsiteEndSymbols.empty();
1532
1533 const BasicBlockSectionsProfileReader *BBSPR = GetBBSPR(*this->MF);
1534 const CFGProfile *FuncCFGProfile = nullptr;
1535 if (BBSPR)
1536 FuncCFGProfile = BBSPR->getFunctionCFGProfile(MF.getFunction().getName());
1537
1538 const MCSymbol *FunctionSymbol = getFunctionBegin();
1539
1540 OutStreamer->pushSection();
1541 OutStreamer->switchSection(BBAddrMapSection);
1542 OutStreamer->AddComment("version");
1543 uint8_t BBAddrMapVersion = OutStreamer->getContext().getBBAddrMapVersion();
1544 OutStreamer->emitInt8(BBAddrMapVersion);
1545 OutStreamer->AddComment("feature");
1546 auto Features = getBBAddrMapFeature(MF, MBBSectionRanges.size(), HasCalls,
1547 FuncCFGProfile);
1548 OutStreamer->emitInt16(Features.encode());
1549 // Emit BB Information for each basic block in the function.
1550 if (Features.MultiBBRange) {
1551 OutStreamer->AddComment("number of basic block ranges");
1552 OutStreamer->emitULEB128IntValue(MBBSectionRanges.size());
1553 }
1554 // Number of blocks in each MBB section.
1555 DenseMap<MBBSectionID, unsigned> MBBSectionNumBlocks;
1556 const MCSymbol *PrevMBBEndSymbol = nullptr;
1557 if (!Features.MultiBBRange) {
1558 OutStreamer->AddComment("function address");
1559 OutStreamer->emitSymbolValue(FunctionSymbol, getPointerSize());
1560 OutStreamer->AddComment("number of basic blocks");
1561 OutStreamer->emitULEB128IntValue(MF.size());
1562 PrevMBBEndSymbol = FunctionSymbol;
1563 } else {
1564 unsigned BBCount = 0;
1565 for (const MachineBasicBlock &MBB : MF) {
1566 BBCount++;
1567 if (MBB.isEndSection()) {
1568 // Store each section's basic block count when it ends.
1569 MBBSectionNumBlocks[MBB.getSectionID()] = BBCount;
1570 // Reset the count for the next section.
1571 BBCount = 0;
1572 }
1573 }
1574 }
1575 // Emit the BB entry for each basic block in the function.
1576 for (const MachineBasicBlock &MBB : MF) {
1577 const MCSymbol *MBBSymbol =
1578 MBB.isEntryBlock() ? FunctionSymbol : MBB.getSymbol();
1579 bool IsBeginSection =
1580 Features.MultiBBRange && (MBB.isBeginSection() || MBB.isEntryBlock());
1581 if (IsBeginSection) {
1582 OutStreamer->AddComment("base address");
1583 OutStreamer->emitSymbolValue(MBBSymbol, getPointerSize());
1584 OutStreamer->AddComment("number of basic blocks");
1585 OutStreamer->emitULEB128IntValue(MBBSectionNumBlocks[MBB.getSectionID()]);
1586 PrevMBBEndSymbol = MBBSymbol;
1587 }
1588
1589 const MachineBlockHashInfoResult *MBHI =
1590 Features.BBHash ? GetMBHI(*this->MF) : nullptr;
1591
1592 if (!Features.OmitBBEntries) {
1593 OutStreamer->AddComment("BB id");
1594 // Emit the BB ID for this basic block.
1595 // We only emit BaseID since CloneID is unset for
1596 // -basic-block-adress-map.
1597 // TODO: Emit the full BBID when labels and sections can be mixed
1598 // together.
1599 OutStreamer->emitULEB128IntValue(MBB.getBBID()->BaseID);
1600 // Emit the basic block offset relative to the end of the previous block.
1601 // This is zero unless the block is padded due to alignment.
1602 emitLabelDifferenceAsULEB128(MBBSymbol, PrevMBBEndSymbol);
1603 const MCSymbol *CurrentLabel = MBBSymbol;
1604 if (HasCalls) {
1605 auto CallsiteEndSymbols = CurrentFnCallsiteEndSymbols.lookup(&MBB);
1606 OutStreamer->AddComment("number of callsites");
1607 OutStreamer->emitULEB128IntValue(CallsiteEndSymbols.size());
1608 for (const MCSymbol *CallsiteEndSymbol : CallsiteEndSymbols) {
1609 // Emit the callsite offset.
1610 emitLabelDifferenceAsULEB128(CallsiteEndSymbol, CurrentLabel);
1611 CurrentLabel = CallsiteEndSymbol;
1612 }
1613 }
1614 // Emit the offset to the end of the block, which can be used to compute
1615 // the total block size.
1616 emitLabelDifferenceAsULEB128(MBB.getEndSymbol(), CurrentLabel);
1617 // Emit the Metadata.
1618 OutStreamer->emitULEB128IntValue(getBBAddrMapMetadata(MBB));
1619 // Emit the Hash.
1620 if (MBHI) {
1621 OutStreamer->emitInt64(MBHI->getMBBHash(MBB));
1622 }
1623 }
1624 PrevMBBEndSymbol = MBB.getEndSymbol();
1625 }
1626
1627 if (Features.hasPGOAnalysis()) {
1628 assert(BBAddrMapVersion >= 2 &&
1629 "PGOAnalysisMap only supports version 2 or later");
1630
1631 if (Features.FuncEntryCount) {
1632 OutStreamer->AddComment("function entry count");
1633 auto MaybeEntryCount = MF.getFunction().getEntryCount();
1634 OutStreamer->emitULEB128IntValue(MaybeEntryCount ? *MaybeEntryCount : 0);
1635 }
1636 const MachineBlockFrequencyInfo *MBFI =
1637 Features.BBFreq ? GetMBFI(*this->MF) : nullptr;
1638 const MachineBranchProbabilityInfo *MBPI =
1639 Features.BrProb ? GetMBPI(*this->MF) : nullptr;
1640
1641 if (Features.BBFreq || Features.BrProb) {
1642 for (const MachineBasicBlock &MBB : MF) {
1643 if (Features.BBFreq) {
1644 OutStreamer->AddComment("basic block frequency");
1645 OutStreamer->emitULEB128IntValue(
1646 MBFI->getBlockFreq(&MBB).getFrequency());
1647 if (Features.PostLinkCfg) {
1648 OutStreamer->AddComment("basic block frequency (propeller)");
1649 OutStreamer->emitULEB128IntValue(
1650 FuncCFGProfile->getBlockCount(*MBB.getBBID()));
1651 }
1652 }
1653 if (Features.BrProb) {
1654 unsigned SuccCount = MBB.succ_size();
1655 OutStreamer->AddComment("basic block successor count");
1656 OutStreamer->emitULEB128IntValue(SuccCount);
1657 for (const MachineBasicBlock *SuccMBB : MBB.successors()) {
1658 OutStreamer->AddComment("successor BB ID");
1659 OutStreamer->emitULEB128IntValue(SuccMBB->getBBID()->BaseID);
1660 OutStreamer->AddComment("successor branch probability");
1661 OutStreamer->emitULEB128IntValue(
1662 MBPI->getEdgeProbability(&MBB, SuccMBB).getNumerator());
1663 if (Features.PostLinkCfg) {
1664 OutStreamer->AddComment("successor branch frequency (propeller)");
1665 OutStreamer->emitULEB128IntValue(FuncCFGProfile->getEdgeCount(
1666 *MBB.getBBID(), *SuccMBB->getBBID()));
1667 }
1668 }
1669 }
1670 }
1671 }
1672 }
1673
1674 OutStreamer->popSection();
1675}
1676
1678 const MCSymbol *Symbol) {
1679 MCSection *Section =
1680 getObjFileLowering().getKCFITrapSection(*MF.getSection());
1681 if (!Section)
1682 return;
1683
1684 OutStreamer->pushSection();
1685 OutStreamer->switchSection(Section);
1686
1687 MCSymbol *Loc = OutContext.createLinkerPrivateTempSymbol();
1688 OutStreamer->emitLabel(Loc);
1689 OutStreamer->emitAbsoluteSymbolDiff(Symbol, Loc, 4);
1690
1691 OutStreamer->popSection();
1692}
1693
1695 const Function &F = MF.getFunction();
1696 if (const MDNode *MD = F.getMetadata(LLVMContext::MD_kcfi_type))
1697 emitGlobalConstant(F.getDataLayout(),
1698 mdconst::extract<ConstantInt>(MD->getOperand(0)));
1699}
1700
1702 if (PP) {
1703 auto GUID = MI.getOperand(0).getImm();
1704 auto Index = MI.getOperand(1).getImm();
1705 auto Type = MI.getOperand(2).getImm();
1706 auto Attr = MI.getOperand(3).getImm();
1707 DILocation *DebugLoc = MI.getDebugLoc();
1708 PP->emitPseudoProbe(GUID, Index, Type, Attr, DebugLoc);
1709 }
1710}
1711
1713 if (!MF.getTarget().Options.EmitStackSizeSection)
1714 return;
1715
1716 MCSection *StackSizeSection =
1718 if (!StackSizeSection)
1719 return;
1720
1721 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
1722 // Don't emit functions with dynamic stack allocations.
1723 if (FrameInfo.hasVarSizedObjects())
1724 return;
1725
1726 OutStreamer->pushSection();
1727 OutStreamer->switchSection(StackSizeSection);
1728
1729 const MCSymbol *FunctionSymbol = getFunctionBegin();
1730 uint64_t StackSize =
1731 FrameInfo.getStackSize() + FrameInfo.getUnsafeStackSize();
1732 const DataLayout &DL = getDataLayout();
1733 OutStreamer->emitSymbolValue(FunctionSymbol,
1734 DL.getPointerSize(DL.getProgramAddressSpace()));
1735 OutStreamer->emitULEB128IntValue(StackSize);
1736
1737 OutStreamer->popSection();
1738}
1739
1741 const std::string OutputFilename =
1743 : MF.getTarget().Options.StackUsageFile;
1744
1745 // OutputFilename empty implies -fstack-usage is not passed.
1746 if (OutputFilename.empty())
1747 return;
1748
1749 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
1750 uint64_t StackSize =
1751 FrameInfo.getStackSize() + FrameInfo.getUnsafeStackSize();
1752
1753 if (StackUsageStream == nullptr) {
1754 std::error_code EC;
1755 StackUsageStream =
1756 std::make_unique<raw_fd_ostream>(OutputFilename, EC, sys::fs::OF_Text);
1757 if (EC) {
1758 errs() << "Could not open file: " << EC.message();
1759 return;
1760 }
1761 }
1762
1763 if (const DISubprogram *DSP = MF.getFunction().getSubprogram())
1764 *StackUsageStream << DSP->getFilename() << ':' << DSP->getLine();
1765 else
1766 *StackUsageStream << MF.getFunction().getParent()->getName();
1767
1768 *StackUsageStream << ':' << MF.getName() << '\t' << StackSize << '\t';
1769 if (FrameInfo.hasVarSizedObjects())
1770 *StackUsageStream << "dynamic\n";
1771 else
1772 *StackUsageStream << "static\n";
1773}
1774
1775/// Extracts a numeric type identifier of a Function's type from
1776/// callgraph metadata. Returns null if metadata cannot be found.
1779 F.getMetadata(LLVMContext::MD_callgraph, Types);
1780 for (const auto &Type : Types) {
1781 if (Type->getNumOperands() == 1 && isa<MDString>(Type->getOperand(0))) {
1782 MDString *MDTypeId = cast<MDString>(Type->getOperand(0));
1783 uint64_t TypeIdVal = llvm::MD5Hash(MDTypeId->getString());
1784 IntegerType *Int64Ty = Type::getInt64Ty(F.getContext());
1785 return ConstantInt::get(Int64Ty, TypeIdVal);
1786 }
1787 }
1788 return nullptr;
1789}
1790
1791/// Emits .llvm.callgraph section.
1793 FunctionCallGraphInfo &FuncCGInfo) {
1794 if (!MF.getTarget().Options.EmitCallGraphSection)
1795 return;
1796
1797 // Switch to the call graph section for the function
1798 MCSection *FuncCGSection =
1800 assert(FuncCGSection && "null callgraph section");
1801 OutStreamer->pushSection();
1802 OutStreamer->switchSection(FuncCGSection);
1803
1804 const Function &F = MF.getFunction();
1805 // If this function has external linkage or has its address taken and
1806 // it is not a callback, then anything could call it.
1807 bool IsIndirectTarget =
1808 !F.hasLocalLinkage() || F.hasAddressTaken(nullptr,
1809 /*IgnoreCallbackUses=*/true,
1810 /*IgnoreAssumeLikeCalls=*/true,
1811 /*IgnoreLLVMUsed=*/false);
1812
1813 const auto &DirectCallees = FuncCGInfo.DirectCallees;
1814 const auto &IndirectCalleeTypeIDs = FuncCGInfo.IndirectCalleeTypeIDs;
1815
1816 using namespace callgraph;
1817 Flags CGFlags = Flags::None;
1818 if (IsIndirectTarget)
1819 CGFlags |= Flags::IsIndirectTarget;
1820 if (DirectCallees.size() > 0)
1821 CGFlags |= Flags::HasDirectCallees;
1822 if (IndirectCalleeTypeIDs.size() > 0)
1823 CGFlags |= Flags::HasIndirectCallees;
1824
1825 // Emit function's call graph information.
1826 // 1) CallGraphSectionFormatVersion
1827 // 2) Flags
1828 // a. LSB bit 0 is set to 1 if the function is a potential indirect
1829 // target.
1830 // b. LSB bit 1 is set to 1 if there are direct callees.
1831 // c. LSB bit 2 is set to 1 if there are indirect callees.
1832 // d. Rest of the 5 bits in Flags are reserved for any future use.
1833 // 3) Function entry PC.
1834 // 4) FunctionTypeID if the function is indirect target and its type id
1835 // is known, otherwise it is set to 0.
1836 // 5) Number of unique direct callees, if at least one exists.
1837 // 6) For each unique direct callee, the callee's PC.
1838 // 7) Number of unique indirect target type IDs, if at least one exists.
1839 // 8) Each unique indirect target type id.
1840 const DataLayout &DL = getDataLayout();
1841 unsigned ProgramPointerSize = DL.getPointerSize(DL.getProgramAddressSpace());
1842 OutStreamer->emitInt8(CallGraphSectionFormatVersion::V_0);
1843 OutStreamer->emitInt8(static_cast<uint8_t>(CGFlags));
1844 OutStreamer->emitSymbolValue(getSymbol(&F), ProgramPointerSize);
1845 const auto *TypeId = extractNumericCGTypeId(F);
1846 if (IsIndirectTarget && TypeId)
1847 OutStreamer->emitInt64(TypeId->getZExtValue());
1848 else
1849 OutStreamer->emitInt64(0);
1850
1851 if (DirectCallees.size() > 0) {
1852 OutStreamer->emitULEB128IntValue(DirectCallees.size());
1853 for (const auto &CalleeSymbol : DirectCallees)
1854 OutStreamer->emitSymbolValue(CalleeSymbol, ProgramPointerSize);
1855 FuncCGInfo.DirectCallees.clear();
1856 }
1857 if (IndirectCalleeTypeIDs.size() > 0) {
1858 OutStreamer->emitULEB128IntValue(IndirectCalleeTypeIDs.size());
1859 for (const auto &CalleeTypeId : IndirectCalleeTypeIDs)
1860 OutStreamer->emitInt64(CalleeTypeId);
1861 FuncCGInfo.IndirectCalleeTypeIDs.clear();
1862 }
1863 // End of emitting call graph section contents.
1864 OutStreamer->popSection();
1865}
1866
1868 const MDNode &MD) {
1869 MCSymbol *S = MF.getContext().createTempSymbol("pcsection");
1870 OutStreamer->emitLabel(S);
1871 PCSectionsSymbols[&MD].emplace_back(S);
1872}
1873
1875 const Function &F = MF.getFunction();
1876 if (PCSectionsSymbols.empty() && !F.hasMetadata(LLVMContext::MD_pcsections))
1877 return;
1878
1879 const CodeModel::Model CM = MF.getTarget().getCodeModel();
1880 const unsigned RelativeRelocSize =
1882 : 4;
1883
1884 // Switch to PCSection, short-circuiting the common case where the current
1885 // section is still valid (assume most MD_pcsections contain just 1 section).
1886 auto SwitchSection = [&, Prev = StringRef()](const StringRef &Sec) mutable {
1887 if (Sec == Prev)
1888 return;
1889 MCSection *S = getObjFileLowering().getPCSection(Sec, MF.getSection());
1890 assert(S && "PC section is not initialized");
1891 OutStreamer->switchSection(S);
1892 Prev = Sec;
1893 };
1894 // Emit symbols into sections and data as specified in the pcsections MDNode.
1895 auto EmitForMD = [&](const MDNode &MD, ArrayRef<const MCSymbol *> Syms,
1896 bool Deltas) {
1897 // Expect the first operand to be a section name. After that, a tuple of
1898 // constants may appear, which will simply be emitted into the current
1899 // section (the user of MD_pcsections decides the format of encoded data).
1900 assert(isa<MDString>(MD.getOperand(0)) && "first operand not a string");
1901 bool ConstULEB128 = false;
1902 for (const MDOperand &MDO : MD.operands()) {
1903 if (auto *S = dyn_cast<MDString>(MDO)) {
1904 // Found string, start of new section!
1905 // Find options for this section "<section>!<opts>" - supported options:
1906 // C = Compress constant integers of size 2-8 bytes as ULEB128.
1907 const StringRef SecWithOpt = S->getString();
1908 const size_t OptStart = SecWithOpt.find('!'); // likely npos
1909 const StringRef Sec = SecWithOpt.substr(0, OptStart);
1910 const StringRef Opts = SecWithOpt.substr(OptStart); // likely empty
1911 ConstULEB128 = Opts.contains('C');
1912#ifndef NDEBUG
1913 for (char O : Opts)
1914 assert((O == '!' || O == 'C') && "Invalid !pcsections options");
1915#endif
1916 SwitchSection(Sec);
1917 const MCSymbol *Prev = Syms.front();
1918 for (const MCSymbol *Sym : Syms) {
1919 if (Sym == Prev || !Deltas) {
1920 // Use the entry itself as the base of the relative offset.
1921 MCSymbol *Base = MF.getContext().createTempSymbol("pcsection_base");
1922 OutStreamer->emitLabel(Base);
1923 // Emit relative relocation `addr - base`, which avoids a dynamic
1924 // relocation in the final binary. User will get the address with
1925 // `base + addr`.
1926 emitLabelDifference(Sym, Base, RelativeRelocSize);
1927 } else {
1928 // Emit delta between symbol and previous symbol.
1929 if (ConstULEB128)
1931 else
1932 emitLabelDifference(Sym, Prev, 4);
1933 }
1934 Prev = Sym;
1935 }
1936 } else {
1937 // Emit auxiliary data after PC.
1938 assert(isa<MDNode>(MDO) && "expecting either string or tuple");
1939 const auto *AuxMDs = cast<MDNode>(MDO);
1940 for (const MDOperand &AuxMDO : AuxMDs->operands()) {
1941 assert(isa<ConstantAsMetadata>(AuxMDO) && "expecting a constant");
1942 const Constant *C = cast<ConstantAsMetadata>(AuxMDO)->getValue();
1943 const DataLayout &DL = F.getDataLayout();
1944 const uint64_t Size = DL.getTypeStoreSize(C->getType());
1945
1946 if (auto *CI = dyn_cast<ConstantInt>(C);
1947 CI && ConstULEB128 && Size > 1 && Size <= 8) {
1948 emitULEB128(CI->getZExtValue());
1949 } else {
1951 }
1952 }
1953 }
1954 }
1955 };
1956
1957 OutStreamer->pushSection();
1958 // Emit PCs for function start and function size.
1959 if (const MDNode *MD = F.getMetadata(LLVMContext::MD_pcsections))
1960 EmitForMD(*MD, {getFunctionBegin(), getFunctionEnd()}, true);
1961 // Emit PCs for instructions collected.
1962 for (const auto &MS : PCSectionsSymbols)
1963 EmitForMD(*MS.first, MS.second, false);
1964 OutStreamer->popSection();
1965 PCSectionsSymbols.clear();
1966}
1967
1968/// Returns true if function begin and end labels should be emitted.
1969static bool needFuncLabels(const MachineFunction &MF, const AsmPrinter &Asm) {
1970 if (Asm.hasDebugInfo() || !MF.getLandingPads().empty() ||
1971 MF.hasEHFunclets() ||
1972 MF.getFunction().hasMetadata(LLVMContext::MD_pcsections))
1973 return true;
1974
1975 // We might emit an EH table that uses function begin and end labels even if
1976 // we don't have any landingpads.
1977 if (!MF.getFunction().hasPersonalityFn())
1978 return false;
1979 return !isNoOpWithoutInvoke(
1981}
1982
1983// Return the mnemonic of a MachineInstr if available, or the MachineInstr
1984// opcode name otherwise.
1986 const TargetInstrInfo *TII =
1987 MI.getParent()->getParent()->getSubtarget().getInstrInfo();
1988 MCInst MCI;
1989 MCI.setOpcode(MI.getOpcode());
1990 if (StringRef Name = Streamer.getMnemonic(MCI); !Name.empty())
1991 return Name;
1992 StringRef Name = TII->getName(MI.getOpcode());
1993 assert(!Name.empty() && "Missing mnemonic and name for opcode");
1994 return Name;
1995}
1996
1998 FunctionCallGraphInfo &FuncCGInfo,
1999 const MachineFunction::CallSiteInfoMap &CallSitesInfoMap,
2000 const MachineInstr &MI) {
2001 assert(MI.isCall() && "This method is meant for call instructions only.");
2002 const TargetInstrInfo *TII = MF->getSubtarget().getInstrInfo();
2003 const MachineOperand &CalleeOperand = TII->getCalleeOperand(MI);
2004 if (CalleeOperand.isGlobal() || CalleeOperand.isSymbol()) {
2005 // Handle direct calls.
2006 MCSymbol *CalleeSymbol = nullptr;
2007 switch (CalleeOperand.getType()) {
2009 CalleeSymbol = getSymbol(CalleeOperand.getGlobal());
2010 break;
2012 CalleeSymbol = GetExternalSymbolSymbol(CalleeOperand.getSymbolName());
2013 break;
2014 default:
2016 "Expected to only handle direct call instructions here.");
2017 }
2018 FuncCGInfo.DirectCallees.insert(CalleeSymbol);
2019 return; // Early exit after handling the direct call instruction.
2020 }
2021 const auto &CallSiteInfo = CallSitesInfoMap.find(&MI);
2022 if (CallSiteInfo == CallSitesInfoMap.end())
2023 return;
2024 // Handle indirect callsite info.
2025 // Only indirect calls have type identifiers set.
2026 for (ConstantInt *CalleeTypeId : CallSiteInfo->second.CalleeTypeIds) {
2027 uint64_t CalleeTypeIdVal = CalleeTypeId->getZExtValue();
2028 FuncCGInfo.IndirectCalleeTypeIDs.insert(CalleeTypeIdVal);
2029 }
2030}
2031
2032/// Helper to emit a symbol for the prefetch target associated with the given
2033/// BBID and callsite index.
2035 unsigned CallsiteIndex) {
2036 SmallString<128> FunctionName;
2037 getNameWithPrefix(FunctionName, &MF->getFunction());
2038 MCSymbol *PrefetchTargetSymbol = OutContext.getOrCreateSymbol(
2039 getPrefetchTargetSymbolName(FunctionName, BBID, CallsiteIndex));
2040 // If the function is weak-linkage it may be replaced by a strong
2041 // version, in which case the prefetch targets should also be replaced.
2042 OutStreamer->emitSymbolAttribute(
2043 PrefetchTargetSymbol,
2044 MF->getFunction().isWeakForLinker() ? MCSA_Weak : MCSA_Global);
2045 OutStreamer->emitLabel(PrefetchTargetSymbol);
2046}
2047
2048/// Emit dangling prefetch targets that were not mapped to any basic block.
2050 const DenseMap<UniqueBBID, SmallVector<unsigned>> &MFPrefetchTargets =
2051 MF->getPrefetchTargets();
2052 if (MFPrefetchTargets.empty())
2053 return;
2054 DenseSet<UniqueBBID> MFBBIDs;
2055 for (const MachineBasicBlock &MBB : *MF)
2056 if (std::optional<UniqueBBID> BBID = MBB.getBBID())
2057 MFBBIDs.insert(*BBID);
2058
2059 for (const auto &[BBID, CallsiteIndexes] : MFPrefetchTargets) {
2060 if (MFBBIDs.contains(BBID))
2061 continue;
2062 for (unsigned CallsiteIndex : CallsiteIndexes)
2064 }
2065}
2066
2067/// EmitFunctionBody - This method emits the body and trailer for a
2068/// function.
2070 emitFunctionHeader();
2071
2072 // Emit target-specific gunk before the function body.
2074
2075 if (isVerbose()) {
2076 MDT = GetMDT(*MF);
2077 // Get MachineLoopInfo or compute it on the fly if it's unavailable, which
2078 // needs a MachineDominatorTree only for an irreducible CFG.
2079 MLI = GetMLI(*MF);
2080 if (!MLI) {
2081 OwnedMLI = std::make_unique<MachineLoopInfo>();
2082 OwnedMLI->calculate(*MF, [&]() -> const MachineDominatorTree & {
2083 if (!MDT) {
2084 OwnedMDT = std::make_unique<MachineDominatorTree>();
2085 OwnedMDT->recalculate(*MF);
2086 MDT = OwnedMDT.get();
2087 }
2088 return *MDT;
2089 });
2090 MLI = OwnedMLI.get();
2091 }
2092 }
2093
2094 // Print out code for the function.
2095 bool HasAnyRealCode = false;
2096 int NumInstsInFunction = 0;
2097 // Only x86 needs this padding; the Arm unwinders back the PC up themselves.
2098 const Module *M = MMI->getModule();
2099 bool NeedsEHaNops =
2100 M->getTargetTriple().isX86() && M->getModuleFlag("eh-asynch");
2101
2102 const MCSubtargetInfo *STI = nullptr;
2103 if (this->MF)
2104 STI = &getSubtargetInfo();
2105 else
2106 STI = &TM.getMCSubtargetInfo();
2107
2108 bool CanDoExtraAnalysis = ORE->allowExtraAnalysis(DEBUG_TYPE);
2109 // Create a slot for the entry basic block section so that the section
2110 // order is preserved when iterating over MBBSectionRanges.
2111 if (!MF->empty())
2112 MBBSectionRanges[MF->front().getSectionID()] =
2114
2115 FunctionCallGraphInfo FuncCGInfo;
2116 const auto &CallSitesInfoMap = MF->getCallSitesInfo();
2117
2118 // Dangling targets are not mapped to any blocks and must be emitted at the
2119 // beginning of the function.
2121
2122 const auto &MFPrefetchTargets = MF->getPrefetchTargets();
2123 for (auto &MBB : *MF) {
2124 // Print a label for the basic block.
2126 DenseMap<StringRef, unsigned> MnemonicCounts;
2127
2128 const SmallVector<unsigned> *PrefetchTargets = nullptr;
2129 if (auto BBID = MBB.getBBID()) {
2130 auto R = MFPrefetchTargets.find(*BBID);
2131 if (R != MFPrefetchTargets.end())
2132 PrefetchTargets = &R->second;
2133 }
2134 auto PrefetchTargetIt =
2135 PrefetchTargets ? PrefetchTargets->begin() : nullptr;
2136 auto PrefetchTargetEnd = PrefetchTargets ? PrefetchTargets->end() : nullptr;
2137 unsigned LastCallsiteIndex = 0;
2138
2139 for (auto &MI : MBB) {
2140 if (PrefetchTargetIt != PrefetchTargetEnd &&
2141 *PrefetchTargetIt == LastCallsiteIndex) {
2142 emitPrefetchTargetSymbol(*MBB.getBBID(), *PrefetchTargetIt);
2143 ++PrefetchTargetIt;
2144 }
2145
2146 // Print the assembly for the instruction.
2147 if (!MI.isPosition() && !MI.isImplicitDef() && !MI.isKill() &&
2148 !MI.isDebugInstr()) {
2149 HasAnyRealCode = true;
2150 }
2151
2152 // If there is a pre-instruction symbol, emit a label for it here.
2153 if (MCSymbol *S = MI.getPreInstrSymbol())
2154 OutStreamer->emitLabel(S);
2155
2156 if (MDNode *MD = MI.getPCSections())
2157 emitPCSectionsLabel(*MF, *MD);
2158
2159 for (auto &Handler : Handlers)
2160 Handler->beginInstruction(&MI);
2161
2162 if (isVerbose())
2163 emitComments(MI, STI, OutStreamer->getCommentOS());
2164
2165#ifndef NDEBUG
2166 MCFragment *OldFragment = OutStreamer->getCurrentFragment();
2167 size_t OldFragSize = OldFragment->getFixedSize();
2168#endif
2169
2170 switch (MI.getOpcode()) {
2171 case TargetOpcode::CFI_INSTRUCTION:
2173 break;
2174 case TargetOpcode::LOCAL_ESCAPE:
2176 break;
2177 case TargetOpcode::ANNOTATION_LABEL:
2178 case TargetOpcode::GC_LABEL:
2179 OutStreamer->emitLabel(MI.getOperand(0).getMCSymbol());
2180 break;
2181 case TargetOpcode::EH_LABEL:
2182 OutStreamer->AddComment("EH_LABEL");
2183 OutStreamer->emitLabel(MI.getOperand(0).getMCSymbol());
2184 // For AsynchEH, insert a Nop if followed by a trap inst
2185 // Or the exception won't be caught.
2186 // (see MCConstantExpr::create(1,..) in WinException.cpp)
2187 // Ignore SDiv/UDiv because a DIV with Const-0 divisor
2188 // must have being turned into an UndefValue.
2189 // Div with variable opnds won't be the first instruction in
2190 // an EH region as it must be led by at least a Load
2191 {
2192 auto MI2 = std::next(MI.getIterator());
2193 if (NeedsEHaNops && MI2 != MBB.end() &&
2194 (MI2->mayLoadOrStore() || MI2->mayRaiseFPException()))
2195 emitNops(1);
2196 }
2197 break;
2198 case TargetOpcode::INLINEASM:
2199 case TargetOpcode::INLINEASM_BR:
2200 emitInlineAsm(&MI);
2201 break;
2202 case TargetOpcode::DBG_VALUE:
2203 case TargetOpcode::DBG_VALUE_LIST:
2204 if (isVerbose()) {
2205 if (!emitDebugValueComment(&MI, *this))
2207 }
2208 break;
2209 case TargetOpcode::DBG_INSTR_REF:
2210 // This instruction reference will have been resolved to a machine
2211 // location, and a nearby DBG_VALUE created. We can safely ignore
2212 // the instruction reference.
2213 break;
2214 case TargetOpcode::DBG_PHI:
2215 // This instruction is only used to label a program point, it's purely
2216 // meta information.
2217 break;
2218 case TargetOpcode::DBG_LABEL:
2219 if (isVerbose()) {
2220 if (!emitDebugLabelComment(&MI, *this))
2222 }
2223 break;
2224 case TargetOpcode::IMPLICIT_DEF:
2225 if (isVerbose()) emitImplicitDef(&MI);
2226 break;
2227 case TargetOpcode::KILL:
2228 if (isVerbose()) emitKill(&MI, *this);
2229 break;
2230 case TargetOpcode::FAKE_USE:
2231 if (isVerbose())
2232 emitFakeUse(&MI, *this);
2233 break;
2234 case TargetOpcode::PSEUDO_PROBE:
2236 break;
2237 case TargetOpcode::ARITH_FENCE:
2238 if (isVerbose())
2239 OutStreamer->emitRawComment("ARITH_FENCE");
2240 break;
2241 case TargetOpcode::MEMBARRIER:
2242 OutStreamer->emitRawComment("MEMBARRIER");
2243 break;
2244 case TargetOpcode::JUMP_TABLE_DEBUG_INFO:
2245 // This instruction is only used to note jump table debug info, it's
2246 // purely meta information.
2247 break;
2248 case TargetOpcode::INIT_UNDEF:
2249 // This is only used to influence register allocation behavior, no
2250 // actual initialization is needed.
2251 break;
2252 case TargetOpcode::RELOC_NONE: {
2253 // Generate a temporary label for the current PC.
2254 MCSymbol *Sym = OutContext.createTempSymbol("reloc_none");
2255 OutStreamer->emitLabel(Sym);
2256 const MCExpr *Dot = MCSymbolRefExpr::create(Sym, OutContext);
2258 OutContext.getOrCreateSymbol(MI.getOperand(0).getSymbolName()),
2259 OutContext);
2260 OutStreamer->emitRelocDirective(*Dot, "BFD_RELOC_NONE", Value, SMLoc());
2261 break;
2262 }
2263 default:
2265
2266 auto CountInstruction = [&](const MachineInstr &MI) {
2267 // Skip Meta instructions inside bundles.
2268 if (MI.isMetaInstruction())
2269 return;
2270 ++NumInstsInFunction;
2271 if (CanDoExtraAnalysis) {
2273 ++MnemonicCounts[Name];
2274 }
2275 };
2276 if (!MI.isBundle()) {
2277 CountInstruction(MI);
2278 break;
2279 }
2280 // Separately count all the instructions in a bundle.
2281 for (auto It = std::next(MI.getIterator());
2282 It != MBB.end() && It->isInsideBundle(); ++It) {
2283 CountInstruction(*It);
2284 }
2285 break;
2286 }
2287
2288#ifndef NDEBUG
2289 // Verify that the instruction size reported by InstrInfo matches the
2290 // actually emitted size. Many backends performing branch relaxation
2291 // on the MIR level rely on this for correctness.
2292 // TODO: We currently can't distinguish whether a parse error occurred
2293 // when handling INLINEASM.
2294 if (OutStreamer->isObj() && !OutContext.hadError() &&
2295 (MI.getOpcode() != TargetOpcode::INLINEASM &&
2296 MI.getOpcode() != TargetOpcode::INLINEASM_BR)) {
2297 const TargetInstrInfo *TII = MF->getSubtarget().getInstrInfo();
2299 TII->getInstSizeVerifyMode(MI);
2301 unsigned ExpectedSize = TII->getInstSizeInBytes(MI);
2302 MCFragment *NewFragment = OutStreamer->getCurrentFragment();
2303 unsigned ActualSize;
2304 if (OldFragment == NewFragment) {
2305 ActualSize = NewFragment->getFixedSize() - OldFragSize;
2306 } else {
2307 ActualSize = OldFragment->getFixedSize() - OldFragSize;
2308 const MCFragment *F = OldFragment->getNext();
2309 for (; F != NewFragment; F = F->getNext())
2310 ActualSize += F->getFixedSize();
2311 ActualSize += NewFragment->getFixedSize();
2312 }
2313 bool AllowOverEstimate =
2315 bool Valid = AllowOverEstimate ? ActualSize <= ExpectedSize
2316 : ActualSize == ExpectedSize;
2317 if (!Valid) {
2318 dbgs() << "In function: " << MF->getName() << "\n";
2319 dbgs() << "Size mismatch for: " << MI;
2320 if (MI.isBundled()) {
2321 dbgs() << "{\n";
2322 auto It = MI.getIterator(), End = MBB.instr_end();
2323 for (++It; It != End && It->isInsideBundle(); ++It)
2324 dbgs().indent(2) << *It;
2325 dbgs() << "}\n";
2326 }
2327 dbgs() << "Expected " << (AllowOverEstimate ? "maximum" : "exact")
2328 << " size: " << ExpectedSize << "\n";
2329 dbgs() << "Actual size: " << ActualSize << "\n";
2330 abort();
2331 }
2332 }
2333 }
2334#endif
2335
2336 if (MI.isCall()) {
2337 if (MF->getTarget().Options.BBAddrMap)
2339 LastCallsiteIndex++;
2340 }
2341
2342 if (TM.Options.EmitCallGraphSection && MI.isCall())
2343 handleCallsiteForCallgraph(FuncCGInfo, CallSitesInfoMap, MI);
2344
2345 // If there is a post-instruction symbol, emit a label for it here.
2346 if (MCSymbol *S = MI.getPostInstrSymbol()) {
2347 // Emit the weak symbol attribute used for the prefetch target fallback.
2348 if (M->getTargetTriple().isOSBinFormatELF()) {
2349 MCSymbolELF *ESym = static_cast<MCSymbolELF *>(S);
2350 if (ESym->getBinding() == ELF::STB_WEAK)
2351 OutStreamer->emitSymbolAttribute(S, MCSA_Weak);
2352 }
2353 OutStreamer->emitLabel(S);
2354 }
2355
2356 for (auto &Handler : Handlers)
2357 Handler->endInstruction();
2358 }
2359 // Emit the remaining prefetch targets for this block. This includes
2360 // nonexisting callsite indexes.
2361 while (PrefetchTargetIt != PrefetchTargetEnd) {
2362 emitPrefetchTargetSymbol(*MBB.getBBID(), *PrefetchTargetIt);
2363 ++PrefetchTargetIt;
2364 }
2365
2366 // We must emit temporary symbol for the end of this basic block, if either
2367 // we have BBLabels enabled or if this basic blocks marks the end of a
2368 // section.
2369 if (MF->getTarget().Options.BBAddrMap ||
2370 (MAI.hasDotTypeDotSizeDirective() && MBB.isEndSection()))
2371 OutStreamer->emitLabel(MBB.getEndSymbol());
2372
2373 if (MBB.isEndSection()) {
2374 // The size directive for the section containing the entry block is
2375 // handled separately by the function section.
2376 if (!MBB.sameSection(&MF->front())) {
2377 if (MAI.hasDotTypeDotSizeDirective()) {
2378 // Emit the size directive for the basic block section.
2379 const MCExpr *SizeExp = MCBinaryExpr::createSub(
2380 MCSymbolRefExpr::create(MBB.getEndSymbol(), OutContext),
2381 MCSymbolRefExpr::create(CurrentSectionBeginSym, OutContext),
2382 OutContext);
2383 OutStreamer->emitELFSize(CurrentSectionBeginSym, SizeExp);
2384 }
2385 assert(!MBBSectionRanges.contains(MBB.getSectionID()) &&
2386 "Overwrite section range");
2387 MBBSectionRanges[MBB.getSectionID()] =
2388 MBBSectionRange{CurrentSectionBeginSym, MBB.getEndSymbol()};
2389 }
2390 }
2392
2393 if (CanDoExtraAnalysis) {
2394 // Skip empty blocks.
2395 if (MBB.empty())
2396 continue;
2397
2399 MBB.begin()->getDebugLoc(), &MBB);
2400
2401 // Generate instruction mix remark. First, sort counts in descending order
2402 // by count and name.
2404 for (auto &KV : MnemonicCounts)
2405 MnemonicVec.emplace_back(KV.first, KV.second);
2406
2407 sort(MnemonicVec, [](const std::pair<StringRef, unsigned> &A,
2408 const std::pair<StringRef, unsigned> &B) {
2409 if (A.second > B.second)
2410 return true;
2411 if (A.second == B.second)
2412 return StringRef(A.first) < StringRef(B.first);
2413 return false;
2414 });
2415 R << "BasicBlock: " << ore::NV("BasicBlock", MBB.getName()) << "\n";
2416 for (auto &KV : MnemonicVec) {
2417 auto Name = (Twine("INST_") + getToken(KV.first.trim()).first).str();
2418 R << KV.first << ": " << ore::NV(Name, KV.second) << "\n";
2419 }
2420 ORE->emit(R);
2421 }
2422 }
2423
2424 EmittedInsts += NumInstsInFunction;
2425 MachineOptimizationRemarkAnalysis R(DEBUG_TYPE, "InstructionCount",
2426 MF->getFunction().getSubprogram(),
2427 &MF->front());
2428 R << ore::NV("NumInstructions", NumInstsInFunction)
2429 << " instructions in function";
2430 ORE->emit(R);
2431
2432 if (ORE->allowExtraAnalysis("target-features")) {
2433 const Function &F = MF->getFunction();
2434 std::string FunctionName;
2435 raw_string_ostream OS(FunctionName);
2436 F.printAsOperand(OS, /*PrintType=*/false);
2437
2439 "target-features", "EnabledFeatures", F.getSubprogram(), &MF->front());
2440 Remark << "Enabled features for " << ore::NV("Function", FunctionName)
2441 << ": ";
2442 // The processor feature table is sorted by feature name.
2443 ListSeparator LS(",");
2444 for (const auto *Feature : MF->getSubtarget().getEnabledProcessorFeatures())
2445 Remark << LS << ore::NV("Feature", Feature->key());
2446 ORE->emit(Remark);
2447 }
2448
2449 // If the function is empty and the object file uses .subsections_via_symbols,
2450 // then we need to emit *something* to the function body to prevent the
2451 // labels from collapsing together. Just emit a noop.
2452 // Similarly, don't emit empty functions on Windows either. It can lead to
2453 // duplicate entries (two functions with the same RVA) in the Guard CF Table
2454 // after linking, causing the kernel not to load the binary:
2455 // https://developercommunity.visualstudio.com/content/problem/45366/vc-linker-creates-invalid-dll-with-clang-cl.html
2456 // FIXME: Hide this behind some API in e.g. MCAsmInfo or MCTargetStreamer.
2457 const Triple &TT = M->getTargetTriple();
2458 if (!HasAnyRealCode && (MAI.hasSubsectionsViaSymbols() ||
2459 (TT.isOSWindows() && TT.isOSBinFormatCOFF()))) {
2460 MCInst Noop = MF->getSubtarget().getInstrInfo()->getNop();
2461
2462 // Targets can opt-out of emitting the noop here by leaving the opcode
2463 // unspecified.
2464 if (Noop.getOpcode()) {
2465 OutStreamer->AddComment("avoids zero-length function");
2466 emitNops(1);
2467 }
2468 }
2469
2470 // Switch to the original section in case basic block sections was used.
2471 OutStreamer->switchSection(MF->getSection());
2472
2473 const Function &F = MF->getFunction();
2474 for (const auto &BB : F) {
2475 if (!BB.hasAddressTaken())
2476 continue;
2477 MCSymbol *Sym = GetBlockAddressSymbol(&BB);
2478 if (Sym->isDefined())
2479 continue;
2480 OutStreamer->AddComment("Address of block that was removed by CodeGen");
2481 OutStreamer->emitLabel(Sym);
2482 }
2483
2484 // Emit target-specific gunk after the function body.
2486
2487 // Tail-pad functions that want it.
2488 if (F.hasFnAttribute("tail-pad-to-size")) {
2489 auto *FnEndSym = createTempSymbol("tail_pad_start");
2490 OutStreamer->emitLabel(FnEndSym);
2491
2492 uint64_t PadToSize = F.getFnAttributeAsParsedInteger("tail-pad-to-size");
2493 uint64_t FillValue =
2494 PadToSize ? F.getFnAttributeAsParsedInteger("tail-pad-value") : 0;
2495
2496 // .fill ((PadToSize - FuncSize) & (PadToSize - FuncSize >= 0)) FillValue
2497 const MCExpr *FuncSize = MCBinaryExpr::createSub(
2500 const MCExpr *SizeConst = MCConstantExpr::create(PadToSize, OutContext);
2501 const MCExpr *Zero = MCConstantExpr::create(0, OutContext);
2502 const MCExpr *SubExpr =
2503 MCBinaryExpr::createSub(SizeConst, FuncSize, OutContext);
2504 const MCExpr *Cmp = MCBinaryExpr::createGTE(SubExpr, Zero, OutContext);
2505 const MCExpr *FillExpr = MCBinaryExpr::createAnd(SubExpr, Cmp, OutContext);
2506 OutStreamer->emitFill(*FillExpr, FillValue);
2507 }
2508
2509 // Even though wasm supports .type and .size in general, function symbols
2510 // are automatically sized.
2511 bool EmitFunctionSize = MAI.hasDotTypeDotSizeDirective() && !TT.isWasm();
2512
2513 // SPIR-V supports label instructions only inside a block, not after the
2514 // function body.
2515 if (TT.getObjectFormat() != Triple::SPIRV &&
2516 (EmitFunctionSize || needFuncLabels(*MF, *this) || CurrentFnEnd)) {
2517 // Create a symbol for the end of function, if not already pre-created
2518 // (e.g. for .prefalign directive).
2519 if (!CurrentFnEnd)
2520 CurrentFnEnd = createTempSymbol("func_end");
2521 OutStreamer->emitLabel(CurrentFnEnd);
2522 }
2523
2524 // If the target wants a .size directive for the size of the function, emit
2525 // it.
2526 if (EmitFunctionSize) {
2527 // We can get the size as difference between the function label and the
2528 // temp label.
2529 const MCExpr *SizeExp = MCBinaryExpr::createSub(
2530 MCSymbolRefExpr::create(CurrentFnEnd, OutContext),
2532 OutStreamer->emitELFSize(CurrentFnSym, SizeExp);
2534 OutStreamer->emitELFSize(CurrentFnBeginLocal, SizeExp);
2535 }
2536
2537 // Call endBasicBlockSection on the last block now, if it wasn't already
2538 // called.
2539 if (!MF->back().isEndSection()) {
2540 for (auto &Handler : Handlers)
2541 Handler->endBasicBlockSection(MF->back());
2542 for (auto &Handler : EHHandlers)
2543 Handler->endBasicBlockSection(MF->back());
2544 }
2545 for (auto &Handler : Handlers)
2546 Handler->markFunctionEnd();
2547 for (auto &Handler : EHHandlers)
2548 Handler->markFunctionEnd();
2549 // Update the end label of the entry block's section.
2550 MBBSectionRanges[MF->front().getSectionID()].EndLabel = CurrentFnEnd;
2551
2552 // Print out jump tables referenced by the function.
2554
2555 // Emit post-function debug and/or EH information.
2556 for (auto &Handler : Handlers)
2557 Handler->endFunction(MF);
2558 for (auto &Handler : EHHandlers)
2559 Handler->endFunction(MF);
2560
2561 // Emit section containing BB address offsets and their metadata, when
2562 // BB labels are requested for this function. Skip empty functions.
2563 if (HasAnyRealCode) {
2564 if (MF->getTarget().Options.BBAddrMap)
2566 else if (!PgoAnalysisMapFeatures.empty())
2567 MF->getContext().reportWarning(
2568 SMLoc(), "pgo-analysis-map is enabled for function " + MF->getName() +
2569 " but it does not have labels");
2570 }
2571
2572 // Emit sections containing instruction and function PCs.
2574
2575 // Emit section containing stack size metadata.
2577
2578 // Emit section containing call graph metadata.
2579 emitCallGraphSection(*MF, FuncCGInfo);
2580
2581 // Emit .su file containing function stack size information.
2583
2585
2586 if (isVerbose())
2587 OutStreamer->getCommentOS() << "-- End function\n";
2588
2589 OutStreamer->addBlankLine();
2590}
2591
2592/// Compute the number of Global Variables that uses a Constant.
2593static unsigned getNumGlobalVariableUses(const Constant *C,
2594 bool &HasNonGlobalUsers) {
2595 if (!C) {
2596 HasNonGlobalUsers = true;
2597 return 0;
2598 }
2599
2601 return 1;
2602
2603 unsigned NumUses = 0;
2604 for (const auto *CU : C->users())
2605 NumUses +=
2606 getNumGlobalVariableUses(dyn_cast<Constant>(CU), HasNonGlobalUsers);
2607
2608 return NumUses;
2609}
2610
2611/// Only consider global GOT equivalents if at least one user is a
2612/// cstexpr inside an initializer of another global variables. Also, don't
2613/// handle cstexpr inside instructions. During global variable emission,
2614/// candidates are skipped and are emitted later in case at least one cstexpr
2615/// isn't replaced by a PC relative GOT entry access.
2617 unsigned &NumGOTEquivUsers,
2618 bool &HasNonGlobalUsers) {
2619 // Global GOT equivalents are unnamed private globals with a constant
2620 // pointer initializer to another global symbol. They must point to a
2621 // GlobalVariable or Function, i.e., as GlobalValue.
2622 if (!GV->hasGlobalUnnamedAddr() || !GV->hasInitializer() ||
2623 !GV->isConstant() || !GV->isDiscardableIfUnused() ||
2625 return false;
2626
2627 // To be a got equivalent, at least one of its users need to be a constant
2628 // expression used by another global variable.
2629 for (const auto *U : GV->users())
2630 NumGOTEquivUsers +=
2631 getNumGlobalVariableUses(dyn_cast<Constant>(U), HasNonGlobalUsers);
2632
2633 return NumGOTEquivUsers > 0;
2634}
2635
2636/// Unnamed constant global variables solely contaning a pointer to
2637/// another globals variable is equivalent to a GOT table entry; it contains the
2638/// the address of another symbol. Optimize it and replace accesses to these
2639/// "GOT equivalents" by using the GOT entry for the final global instead.
2640/// Compute GOT equivalent candidates among all global variables to avoid
2641/// emitting them if possible later on, after it use is replaced by a GOT entry
2642/// access.
2644 if (!getObjFileLowering().supportIndirectSymViaGOTPCRel())
2645 return;
2646
2647 for (const auto &G : M.globals()) {
2648 unsigned NumGOTEquivUsers = 0;
2649 bool HasNonGlobalUsers = false;
2650 if (!isGOTEquivalentCandidate(&G, NumGOTEquivUsers, HasNonGlobalUsers))
2651 continue;
2652 // If non-global variables use it, we still need to emit it.
2653 // Add 1 here, then emit it in `emitGlobalGOTEquivs`.
2654 if (HasNonGlobalUsers)
2655 NumGOTEquivUsers += 1;
2656 const MCSymbol *GOTEquivSym = getSymbol(&G);
2657 GlobalGOTEquivs[GOTEquivSym] = std::make_pair(&G, NumGOTEquivUsers);
2658 }
2659}
2660
2661/// Constant expressions using GOT equivalent globals may not be eligible
2662/// for PC relative GOT entry conversion, in such cases we need to emit such
2663/// globals we previously omitted in EmitGlobalVariable.
2665 if (!getObjFileLowering().supportIndirectSymViaGOTPCRel())
2666 return;
2667
2669 for (auto &I : GlobalGOTEquivs) {
2670 const GlobalVariable *GV = I.second.first;
2671 unsigned Cnt = I.second.second;
2672 if (Cnt)
2673 FailedCandidates.push_back(GV);
2674 }
2675 GlobalGOTEquivs.clear();
2676
2677 for (const auto *GV : FailedCandidates)
2679}
2680
2682 MCSymbol *Name = getSymbol(&GA);
2683 const GlobalObject *BaseObject = GA.getAliaseeObject();
2684
2685 bool IsFunction = GA.getValueType()->isFunctionTy();
2686 // Treat bitcasts of functions as functions also. This is important at least
2687 // on WebAssembly where object and function addresses can't alias each other.
2688 if (!IsFunction)
2689 IsFunction = isa_and_nonnull<Function>(BaseObject);
2690
2691 // AIX's assembly directive `.set` is not usable for aliasing purpose,
2692 // so AIX has to use the extra-label-at-definition strategy. At this
2693 // point, all the extra label is emitted, we just have to emit linkage for
2694 // those labels.
2695 if (M.getTargetTriple().isOSBinFormatXCOFF()) {
2696 // Linkage for alias of global variable has been emitted.
2697 if (isa_and_nonnull<GlobalVariable>(BaseObject))
2698 return;
2699
2700 emitLinkage(&GA, Name);
2701 // If it's a function, also emit linkage for aliases of function entry
2702 // point.
2703 if (IsFunction)
2704 emitLinkage(&GA,
2705 getObjFileLowering().getFunctionEntryPointSymbol(&GA, TM));
2706 return;
2707 }
2708
2709 if (GA.hasExternalLinkage() || !MAI.getWeakRefDirective())
2710 OutStreamer->emitSymbolAttribute(Name, MCSA_Global);
2711 else if (GA.hasWeakLinkage() || GA.hasLinkOnceLinkage())
2712 OutStreamer->emitSymbolAttribute(Name, MCSA_WeakReference);
2713 else
2714 assert(GA.hasLocalLinkage() && "Invalid alias linkage");
2715
2716 // Set the symbol type to function if the alias has a function type.
2717 // This affects codegen when the aliasee is not a function.
2718 if (IsFunction) {
2719 OutStreamer->emitSymbolAttribute(Name, MCSA_ELF_TypeFunction);
2720 if (M.getTargetTriple().isOSBinFormatCOFF()) {
2721 OutStreamer->beginCOFFSymbolDef(Name);
2722 OutStreamer->emitCOFFSymbolStorageClass(
2727 OutStreamer->endCOFFSymbolDef();
2728 }
2729 }
2730
2731 emitVisibility(Name, GA.getVisibility());
2732
2733 const MCExpr *Expr = lowerConstant(GA.getAliasee());
2734
2735 if (MAI.isMachO() && isa<MCBinaryExpr>(Expr))
2736 OutStreamer->emitSymbolAttribute(Name, MCSA_AltEntry);
2737
2738 // Emit the directives as assignments aka .set:
2739 OutStreamer->emitAssignment(Name, Expr);
2740 MCSymbol *LocalAlias = getSymbolPreferLocal(GA);
2741 if (LocalAlias != Name)
2742 OutStreamer->emitAssignment(LocalAlias, Expr);
2743
2744 // If the aliasee does not correspond to a symbol in the output, i.e. the
2745 // alias is not of an object or the aliased object is private, then set the
2746 // size of the alias symbol from the type of the alias. We don't do this in
2747 // other situations as the alias and aliasee having differing types but same
2748 // size may be intentional.
2749 if (MAI.hasDotTypeDotSizeDirective() && GA.getValueType()->isSized() &&
2750 (!BaseObject || BaseObject->hasPrivateLinkage())) {
2751 const DataLayout &DL = M.getDataLayout();
2752 uint64_t Size = DL.getTypeAllocSize(GA.getValueType());
2753 OutStreamer->emitELFSize(Name, MCConstantExpr::create(Size, OutContext));
2754 }
2755}
2756
2757void AsmPrinter::emitGlobalIFunc(Module &M, const GlobalIFunc &GI) {
2758 auto EmitLinkage = [&](MCSymbol *Sym) {
2760 OutStreamer->emitSymbolAttribute(Sym, MCSA_Global);
2761 else if (GI.hasWeakLinkage() || GI.hasLinkOnceLinkage())
2762 OutStreamer->emitSymbolAttribute(Sym, MCSA_WeakReference);
2763 else
2764 assert(GI.hasLocalLinkage() && "Invalid ifunc linkage");
2765 };
2766
2767 if (M.getTargetTriple().isOSBinFormatELF()) {
2768 MCSymbol *Name = getSymbol(&GI);
2769 EmitLinkage(Name);
2770 OutStreamer->emitSymbolAttribute(Name, MCSA_ELF_TypeIndFunction);
2771 emitVisibility(Name, GI.getVisibility());
2772
2773 // Emit the directives as assignments aka .set:
2774 const MCExpr *Expr = lowerConstant(GI.getResolver());
2775 OutStreamer->emitAssignment(Name, Expr);
2776 MCSymbol *LocalAlias = getSymbolPreferLocal(GI);
2777 if (LocalAlias != Name)
2778 OutStreamer->emitAssignment(LocalAlias, Expr);
2779
2780 return;
2781 }
2782
2783 if (!M.getTargetTriple().isOSBinFormatMachO() || !getIFuncMCSubtargetInfo())
2784 reportFatalUsageError("IFuncs are not supported on this platform");
2785
2786 // On Darwin platforms, emit a manually-constructed .symbol_resolver that
2787 // implements the symbol resolution duties of the IFunc.
2788 //
2789 // Normally, this would be handled by linker magic, but unfortunately there
2790 // are a few limitations in ld64 and ld-prime's implementation of
2791 // .symbol_resolver that mean we can't always use them:
2792 //
2793 // * resolvers cannot be the target of an alias
2794 // * resolvers cannot have private linkage
2795 // * resolvers cannot have linkonce linkage
2796 // * resolvers cannot appear in executables
2797 // * resolvers cannot appear in bundles
2798 //
2799 // This works around that by emitting a close approximation of what the
2800 // linker would have done.
2801
2802 MCSymbol *LazyPointer =
2803 GetExternalSymbolSymbol(GI.getName() + ".lazy_pointer");
2804 MCSymbol *StubHelper = GetExternalSymbolSymbol(GI.getName() + ".stub_helper");
2805
2806 OutStreamer->switchSection(OutContext.getObjectFileInfo()->getDataSection());
2807
2808 const DataLayout &DL = M.getDataLayout();
2809 emitAlignment(Align(DL.getPointerSize()));
2810 OutStreamer->emitLabel(LazyPointer);
2811 emitVisibility(LazyPointer, GI.getVisibility());
2812 OutStreamer->emitValue(MCSymbolRefExpr::create(StubHelper, OutContext), 8);
2813
2814 OutStreamer->switchSection(OutContext.getObjectFileInfo()->getTextSection());
2815
2816 const TargetSubtargetInfo *STI =
2817 TM.getSubtargetImpl(*GI.getResolverFunction());
2818 const TargetLowering *TLI = STI->getTargetLowering();
2819 Align TextAlign(TLI->getMinFunctionAlignment());
2820
2821 MCSymbol *Stub = getSymbol(&GI);
2822 EmitLinkage(Stub);
2823 OutStreamer->emitCodeAlignment(TextAlign, *getIFuncMCSubtargetInfo());
2824 OutStreamer->emitLabel(Stub);
2825 emitVisibility(Stub, GI.getVisibility());
2826 emitMachOIFuncStubBody(M, GI, LazyPointer);
2827
2828 OutStreamer->emitCodeAlignment(TextAlign, *getIFuncMCSubtargetInfo());
2829 OutStreamer->emitLabel(StubHelper);
2830 emitVisibility(StubHelper, GI.getVisibility());
2831 emitMachOIFuncStubHelperBody(M, GI, LazyPointer);
2832}
2833
2835 if (!RS.wantsSection())
2836 return;
2837 if (!RS.getFilename())
2838 return;
2839
2840 MCSection *RemarksSection =
2841 OutContext.getObjectFileInfo()->getRemarksSection();
2842 if (!RemarksSection && RS.needsSection()) {
2843 OutContext.reportWarning(SMLoc(), "Current object file format does not "
2844 "support remarks sections.");
2845 }
2846 if (!RemarksSection)
2847 return;
2848
2849 SmallString<128> Filename = *RS.getFilename();
2850 assert(!Filename.empty() && "The filename can't be empty.");
2852 "The remarks filename must be absolute.");
2853
2854 std::string Buf;
2855 raw_string_ostream OS(Buf);
2856
2857 remarks::RemarkSerializer &RemarkSerializer = RS.getSerializer();
2858 std::unique_ptr<remarks::MetaSerializer> MetaSerializer =
2859 RemarkSerializer.metaSerializer(OS, Filename);
2860 MetaSerializer->emit();
2861
2862 // Switch to the remarks section.
2863 OutStreamer->switchSection(RemarksSection);
2864 OutStreamer->emitBinaryData(Buf);
2865}
2866
2868 const Constant *Initializer = G.getInitializer();
2869 return G.getDataLayout().getTypeAllocSize(Initializer->getType());
2870}
2871
2873 // We used to do this in clang, but there are optimization passes that turn
2874 // non-constant globals into constants. So now, clang only tells us whether
2875 // it would *like* a global to be tagged, but we still make the decision here.
2876 //
2877 // For now, don't instrument constant data, as it'll be in .rodata anyway. It
2878 // may be worth instrumenting these in future to stop them from being used as
2879 // gadgets.
2880 if (G.getName().starts_with("llvm.") || G.isThreadLocal() || G.isConstant())
2881 return false;
2882
2883 // Globals can be placed implicitly or explicitly in sections. There's two
2884 // different types of globals that meet this criteria that cause problems:
2885 // 1. Function pointers that are going into various init arrays (either
2886 // explicitly through `__attribute__((section(<foo>)))` or implicitly
2887 // through `__attribute__((constructor)))`, such as ".(pre)init(_array)",
2888 // ".fini(_array)", ".ctors", and ".dtors". These function pointers end up
2889 // overaligned and overpadded, making iterating over them problematic, and
2890 // each function pointer is individually tagged (so the iteration over
2891 // them causes SIGSEGV/MTE[AS]ERR).
2892 // 2. Global variables put into an explicit section, where the section's name
2893 // is a valid C-style identifier. The linker emits a `__start_<name>` and
2894 // `__stop_<name>` symbol for the section, so that you can iterate over
2895 // globals within this section. Unfortunately, again, these globals would
2896 // be tagged and so iteration causes SIGSEGV/MTE[AS]ERR.
2897 //
2898 // To mitigate both these cases, and because specifying a section is rare
2899 // outside of these two cases, disable MTE protection for globals in any
2900 // section.
2901 if (G.hasSection())
2902 return false;
2903
2904 return globalSize(G) > 0;
2905}
2906
2908 uint64_t SizeInBytes = globalSize(*G);
2909
2910 uint64_t NewSize = alignTo(SizeInBytes, 16);
2911 if (SizeInBytes != NewSize) {
2912 // Pad the initializer out to the next multiple of 16 bytes.
2913 llvm::SmallVector<uint8_t> Init(NewSize - SizeInBytes, 0);
2914 Constant *Padding = ConstantDataArray::get(M.getContext(), Init);
2915 Constant *Initializer = G->getInitializer();
2916 Initializer = ConstantStruct::getAnon({Initializer, Padding});
2917 auto *NewGV = new GlobalVariable(
2918 M, Initializer->getType(), G->isConstant(), G->getLinkage(),
2919 Initializer, "", G, G->getThreadLocalMode(), G->getAddressSpace());
2920 NewGV->copyAttributesFrom(G);
2921 NewGV->setComdat(G->getComdat());
2922 NewGV->copyMetadata(G, 0);
2923
2924 NewGV->takeName(G);
2925 G->replaceAllUsesWith(NewGV);
2926 G->eraseFromParent();
2927 G = NewGV;
2928 }
2929
2930 if (G->getAlign().valueOrOne() < 16)
2931 G->setAlignment(Align(16));
2932
2933 // Ensure that tagged globals don't get merged by ICF - as they should have
2934 // different tags at runtime.
2935 G->setUnnamedAddr(GlobalValue::UnnamedAddr::None);
2936}
2937
2939 auto Meta = G.getSanitizerMetadata();
2940 Meta.Memtag = false;
2941 G.setSanitizerMetadata(Meta);
2942}
2943
2945 // Set the MachineFunction to nullptr so that we can catch attempted
2946 // accesses to MF specific features at the module level and so that
2947 // we can conditionalize accesses based on whether or not it is nullptr.
2948 MF = nullptr;
2949 const Triple &Target = M.getTargetTriple();
2950
2951 std::vector<GlobalVariable *> GlobalsToTag;
2952 for (GlobalVariable &G : M.globals()) {
2953 if (G.isDeclaration() || !G.isTagged())
2954 continue;
2955 if (!shouldTagGlobal(G)) {
2956 assert(G.hasSanitizerMetadata()); // because isTagged.
2958 assert(!G.isTagged());
2959 continue;
2960 }
2961 GlobalsToTag.push_back(&G);
2962 }
2963 for (GlobalVariable *G : GlobalsToTag)
2965
2966 // Gather all GOT equivalent globals in the module. We really need two
2967 // passes over the globals: one to compute and another to avoid its emission
2968 // in EmitGlobalVariable, otherwise we would not be able to handle cases
2969 // where the got equivalent shows up before its use.
2971
2972 // Emit global variables.
2973 for (const auto &G : M.globals())
2975
2976 // Emit remaining GOT equivalent globals.
2978
2980
2981 // Emit linkage(XCOFF) and visibility info for declarations
2982 for (const Function &F : M) {
2983 if (!F.isDeclarationForLinker())
2984 continue;
2985
2986 MCSymbol *Name = getSymbol(&F);
2987 // Function getSymbol gives us the function descriptor symbol for XCOFF.
2988
2989 if (!Target.isOSBinFormatXCOFF()) {
2990 GlobalValue::VisibilityTypes V = F.getVisibility();
2992 continue;
2993
2994 emitVisibility(Name, V, false);
2995 continue;
2996 }
2997
2998 if (F.isIntrinsic())
2999 continue;
3000
3001 // Handle the XCOFF case.
3002 // Variable `Name` is the function descriptor symbol (see above). Get the
3003 // function entry point symbol.
3004 MCSymbol *FnEntryPointSym = TLOF.getFunctionEntryPointSymbol(&F, TM);
3005 // Emit linkage for the function entry point.
3006 emitLinkage(&F, FnEntryPointSym);
3007
3008 // If a function's address is taken, which means it may be called via a
3009 // function pointer, we need the function descriptor for it.
3010 if (F.hasAddressTaken())
3011 emitLinkage(&F, Name);
3012 }
3013
3014 // Emit the remarks section contents.
3015 // FIXME: Figure out when is the safest time to emit this section. It should
3016 // not come after debug info.
3017 if (remarks::RemarkStreamer *RS = M.getContext().getMainRemarkStreamer())
3018 emitRemarksSection(*RS);
3019
3021
3022 if (Target.isOSBinFormatELF()) {
3023 MachineModuleInfoELF &MMIELF = MMI->getObjFileInfo<MachineModuleInfoELF>();
3024
3025 // Output stubs for external and common global variables.
3027 if (!Stubs.empty()) {
3028 OutStreamer->switchSection(TLOF.getDataSection());
3029 const DataLayout &DL = M.getDataLayout();
3030
3031 emitAlignment(Align(DL.getPointerSize()));
3032 for (const auto &Stub : Stubs) {
3033 OutStreamer->emitLabel(Stub.first);
3034 OutStreamer->emitSymbolValue(Stub.second.getPointer(),
3035 DL.getPointerSize());
3036 }
3037 }
3038 }
3039
3040 if (Target.isOSBinFormatCOFF()) {
3041 MachineModuleInfoCOFF &MMICOFF =
3042 MMI->getObjFileInfo<MachineModuleInfoCOFF>();
3043
3044 // Output stubs for external and common global variables.
3046 if (!Stubs.empty()) {
3047 const DataLayout &DL = M.getDataLayout();
3048
3049 for (const auto &Stub : Stubs) {
3051 SectionName += Stub.first->getName();
3052 OutStreamer->switchSection(OutContext.getCOFFSection(
3056 Stub.first->getName(), COFF::IMAGE_COMDAT_SELECT_ANY));
3057 emitAlignment(Align(DL.getPointerSize()));
3058 OutStreamer->emitSymbolAttribute(Stub.first, MCSA_Global);
3059 OutStreamer->emitLabel(Stub.first);
3060 OutStreamer->emitSymbolValue(Stub.second.getPointer(),
3061 DL.getPointerSize());
3062 }
3063 }
3064 }
3065
3066 // This needs to happen before emitting debug information since that can end
3067 // arbitrary sections.
3068 if (auto *TS = OutStreamer->getTargetStreamer())
3069 TS->emitConstantPools();
3070
3071 // Emit Stack maps before any debug info. Mach-O requires that no data or
3072 // text sections come after debug info has been emitted. This matters for
3073 // stack maps as they are arbitrary data, and may even have a custom format
3074 // through user plugins.
3075 EmitStackMaps(M);
3076
3077 // Print aliases in topological order, that is, for each alias a = b,
3078 // b must be printed before a.
3079 // This is because on some targets (e.g. PowerPC) linker expects aliases in
3080 // such an order to generate correct TOC information.
3083 for (const auto &Alias : M.aliases()) {
3084 if (Alias.hasAvailableExternallyLinkage())
3085 continue;
3086 for (const GlobalAlias *Cur = &Alias; Cur;
3087 Cur = dyn_cast<GlobalAlias>(Cur->getAliasee())) {
3088 if (!AliasVisited.insert(Cur).second)
3089 break;
3090 AliasStack.push_back(Cur);
3091 }
3092 for (const GlobalAlias *AncestorAlias : llvm::reverse(AliasStack))
3093 emitGlobalAlias(M, *AncestorAlias);
3094 AliasStack.clear();
3095 }
3096
3097 // IFuncs must come before deubginfo in case the backend decides to emit them
3098 // as actual functions, since on Mach-O targets, we cannot create regular
3099 // sections after DWARF.
3100 for (const auto &IFunc : M.ifuncs())
3101 emitGlobalIFunc(M, IFunc);
3102 if (M.getTargetTriple().isOSBinFormatXCOFF() && hasDebugInfo()) {
3103 // Emit section end. This is used to tell the debug line section where the
3104 // end is for a text section if we don't use .loc to represent the debug
3105 // line.
3106 auto *Sec = OutContext.getObjectFileInfo()->getTextSection();
3107 OutStreamer->switchSectionNoPrint(Sec);
3108 MCSymbol *Sym = Sec->getEndSymbol(OutContext);
3109 OutStreamer->emitLabel(Sym);
3110 }
3111
3112 // Finalize debug and EH information.
3113 for (auto &Handler : Handlers)
3114 Handler->endModule();
3115 for (auto &Handler : EHHandlers)
3116 Handler->endModule();
3117
3118 // This deletes all the ephemeral handlers that AsmPrinter added, while
3119 // keeping all the user-added handlers alive until the AsmPrinter is
3120 // destroyed.
3121 EHHandlers.clear();
3122 Handlers.erase(Handlers.begin() + NumUserHandlers, Handlers.end());
3123 DD = nullptr;
3124
3125 // If the target wants to know about weak references, print them all.
3126 if (MAI.getWeakRefDirective()) {
3127 // FIXME: This is not lazy, it would be nice to only print weak references
3128 // to stuff that is actually used. Note that doing so would require targets
3129 // to notice uses in operands (due to constant exprs etc). This should
3130 // happen with the MC stuff eventually.
3131
3132 // Print out module-level global objects here.
3133 for (const auto &GO : M.global_objects()) {
3134 if (!GO.hasExternalWeakLinkage())
3135 continue;
3136 OutStreamer->emitSymbolAttribute(getSymbol(&GO), MCSA_WeakReference);
3137 }
3139 auto SymbolName = "swift_async_extendedFramePointerFlags";
3140 auto Global = M.getGlobalVariable(SymbolName);
3141 if (!Global) {
3142 auto PtrTy = PointerType::getUnqual(M.getContext());
3143 Global = new GlobalVariable(M, PtrTy, false,
3145 SymbolName);
3146 OutStreamer->emitSymbolAttribute(getSymbol(Global), MCSA_WeakReference);
3147 }
3148 }
3149 }
3150
3152
3153 // Emit llvm.ident metadata in an '.ident' directive.
3154 emitModuleIdents(M);
3155
3156 // Emit bytes for llvm.commandline metadata.
3157 // The command line metadata is emitted earlier on XCOFF.
3158 if (!Target.isOSBinFormatXCOFF())
3159 emitModuleCommandLines(M);
3160
3161 // Emit .note.GNU-split-stack and .note.GNU-no-split-stack sections if
3162 // split-stack is used.
3163 if (M.getTargetTriple().isOSBinFormatELF() && HasSplitStack) {
3164 OutStreamer->switchSection(OutContext.getELFSection(".note.GNU-split-stack",
3165 ELF::SHT_PROGBITS, 0));
3166 if (HasNoSplitStack)
3167 OutStreamer->switchSection(OutContext.getELFSection(
3168 ".note.GNU-no-split-stack", ELF::SHT_PROGBITS, 0));
3169 }
3170
3171 // If we don't have any trampolines, then we don't require stack memory
3172 // to be executable. Some targets have a directive to declare this.
3173 Function *InitTrampolineIntrinsic = M.getFunction("llvm.init.trampoline");
3174 bool HasTrampolineUses =
3175 InitTrampolineIntrinsic && !InitTrampolineIntrinsic->use_empty();
3176 MCSection *S = MAI.getStackSection(OutContext, /*Exec=*/HasTrampolineUses);
3177 if (S)
3178 OutStreamer->switchSection(S);
3179
3180 if (TM.Options.EmitAddrsig) {
3181 // Emit address-significance attributes for all globals.
3182 OutStreamer->emitAddrsig();
3183 for (const GlobalValue &GV : M.global_values()) {
3184 if (!GV.use_empty() && !GV.isThreadLocal() &&
3185 !GV.hasDLLImportStorageClass() &&
3186 !GV.getName().starts_with("llvm.") &&
3187 !GV.hasAtLeastLocalUnnamedAddr())
3188 OutStreamer->emitAddrsigSym(getSymbol(&GV));
3189 }
3190 }
3191
3192 // Emit symbol partition specifications (ELF only).
3193 if (Target.isOSBinFormatELF()) {
3194 unsigned UniqueID = 0;
3195 for (const GlobalValue &GV : M.global_values()) {
3196 if (!GV.hasPartition() || GV.isDeclarationForLinker() ||
3197 GV.getVisibility() != GlobalValue::DefaultVisibility)
3198 continue;
3199
3200 OutStreamer->switchSection(
3201 OutContext.getELFSection(".llvm_sympart", ELF::SHT_LLVM_SYMPART, 0, 0,
3202 "", false, ++UniqueID, nullptr));
3203 OutStreamer->emitBytes(GV.getPartition());
3204 OutStreamer->emitZeros(1);
3205 OutStreamer->emitValue(
3207 MAI.getCodePointerSize());
3208 }
3209 }
3210
3211 // Allow the target to emit any magic that it wants at the end of the file,
3212 // after everything else has gone out.
3214
3215 MMI = nullptr;
3216 AddrLabelSymbols = nullptr;
3217
3218 OutStreamer->finish();
3219 OutStreamer->reset();
3220 OwnedMLI.reset();
3221 OwnedMDT.reset();
3222
3223 return false;
3224}
3225
3227 auto Res = MBBSectionExceptionSyms.try_emplace(MBB.getSectionID());
3228 if (Res.second)
3229 Res.first->second = createTempSymbol("exception");
3230 return Res.first->second;
3231}
3232
3234 MCContext &Ctx = MF->getContext();
3235 MCSymbol *Sym = Ctx.createTempSymbol("BB" + Twine(MF->getFunctionNumber()) +
3236 "_" + Twine(MBB.getNumber()) + "_CS");
3237 CurrentFnCallsiteEndSymbols[&MBB].push_back(Sym);
3238 return Sym;
3239}
3240
3242 this->MF = &MF;
3243 const Function &F = MF.getFunction();
3244
3245 // Record that there are split-stack functions, so we will emit a special
3246 // section to tell the linker.
3247 if (MF.shouldSplitStack()) {
3248 HasSplitStack = true;
3249
3250 if (!MF.getFrameInfo().needsSplitStackProlog())
3251 HasNoSplitStack = true;
3252 } else
3253 HasNoSplitStack = true;
3254
3255 // Get the function symbol.
3256 if (!MAI.isAIX()) {
3257 CurrentFnSym = getSymbol(&MF.getFunction());
3258 } else {
3259 assert(TM.getTargetTriple().isOSAIX() &&
3260 "Only AIX uses the function descriptor hooks.");
3261 // AIX is unique here in that the name of the symbol emitted for the
3262 // function body does not have the same name as the source function's
3263 // C-linkage name.
3264 assert(CurrentFnDescSym && "The function descriptor symbol needs to be"
3265 " initalized first.");
3266
3267 // Get the function entry point symbol.
3269 }
3270
3272 CurrentFnBegin = nullptr;
3273 CurrentFnBeginLocal = nullptr;
3274 CurrentFnEnd = nullptr;
3275 CurrentSectionBeginSym = nullptr;
3277 MBBSectionRanges.clear();
3278 MBBSectionExceptionSyms.clear();
3279 bool NeedsLocalForSize = MAI.needsLocalForSize();
3280 if (F.hasFnAttribute("patchable-function-entry") ||
3281 F.hasFnAttribute("tail-pad-to-size") ||
3282 F.hasFnAttribute("function-instrument") ||
3283 F.hasFnAttribute("xray-instruction-threshold") ||
3284 needFuncLabels(MF, *this) || NeedsLocalForSize ||
3285 MF.getTarget().Options.EmitStackSizeSection ||
3286 MF.getTarget().Options.EmitCallGraphSection ||
3287 MF.getTarget().Options.BBAddrMap) {
3288 CurrentFnBegin = createTempSymbol("func_begin");
3289 if (NeedsLocalForSize)
3291 }
3292
3293 ORE = GetORE(MF);
3294}
3295
3296namespace {
3297
3298// Keep track the alignment, constpool entries per Section.
3299 struct SectionCPs {
3300 MCSection *S;
3301 Align Alignment;
3303
3304 SectionCPs(MCSection *s, Align a) : S(s), Alignment(a) {}
3305 };
3306
3307} // end anonymous namespace
3308
3310 if (TM.Options.EnableStaticDataPartitioning && C && SDPI && PSI)
3311 return SDPI->getConstantSectionPrefix(C, PSI);
3312
3313 return "";
3314}
3315
3316/// EmitConstantPool - Print to the current output stream assembly
3317/// representations of the constants in the constant pool MCP. This is
3318/// used to print out constants which have been "spilled to memory" by
3319/// the code generator.
3321 const MachineConstantPool *MCP = MF->getConstantPool();
3322 const std::vector<MachineConstantPoolEntry> &CP = MCP->getConstants();
3323 if (CP.empty()) return;
3324
3325 // Calculate sections for constant pool entries. We collect entries to go into
3326 // the same section together to reduce amount of section switch statements.
3327 SmallVector<SectionCPs, 4> CPSections;
3328 for (unsigned i = 0, e = CP.size(); i != e; ++i) {
3329 const MachineConstantPoolEntry &CPE = CP[i];
3330 Align Alignment = CPE.getAlign();
3331
3333
3334 const Constant *C = nullptr;
3335 if (!CPE.isMachineConstantPoolEntry())
3336 C = CPE.Val.ConstVal;
3337
3339 getDataLayout(), Kind, C, Alignment, &MF->getFunction(),
3341
3342 // The number of sections are small, just do a linear search from the
3343 // last section to the first.
3344 bool Found = false;
3345 unsigned SecIdx = CPSections.size();
3346 while (SecIdx != 0) {
3347 if (CPSections[--SecIdx].S == S) {
3348 Found = true;
3349 break;
3350 }
3351 }
3352 if (!Found) {
3353 SecIdx = CPSections.size();
3354 CPSections.push_back(SectionCPs(S, Alignment));
3355 }
3356
3357 if (Alignment > CPSections[SecIdx].Alignment)
3358 CPSections[SecIdx].Alignment = Alignment;
3359 CPSections[SecIdx].CPEs.push_back(i);
3360 }
3361
3362 // Now print stuff into the calculated sections.
3363 const MCSection *CurSection = nullptr;
3364 unsigned Offset = 0;
3365 for (const SectionCPs &CPSection : CPSections) {
3366 for (unsigned CPI : CPSection.CPEs) {
3367 MCSymbol *Sym = GetCPISymbol(CPI);
3368 if (!Sym->isUndefined())
3369 continue;
3370
3371 if (CurSection != CPSection.S) {
3372 OutStreamer->switchSection(CPSection.S);
3373 emitAlignment(Align(CPSection.Alignment));
3374 CurSection = CPSection.S;
3375 Offset = 0;
3376 }
3377
3378 MachineConstantPoolEntry CPE = CP[CPI];
3379
3380 // Emit inter-object padding for alignment.
3381 unsigned NewOffset = alignTo(Offset, CPE.getAlign());
3382 OutStreamer->emitZeros(NewOffset - Offset);
3383
3384 if (MAI.hasDotTypeDotSizeDirective())
3385 OutStreamer->emitSymbolAttribute(Sym, MCSA_ELF_TypeObject);
3386 OutStreamer->emitLabel(Sym);
3387
3390 else
3392
3393 unsigned EntrySize = CPE.getSizeInBytes(getDataLayout());
3394 if (MAI.hasDotTypeDotSizeDirective())
3395 OutStreamer->emitELFSize(Sym,
3397
3398 Offset = NewOffset + EntrySize;
3399 }
3400 }
3401}
3402
3403// Print assembly representations of the jump tables used by the current
3404// function.
3406 const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
3407 if (!MJTI) return;
3408
3409 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
3410 if (JT.empty()) return;
3411
3412 if (!TM.Options.EnableStaticDataPartitioning) {
3413 emitJumpTableImpl(*MJTI, llvm::to_vector(llvm::seq<unsigned>(JT.size())));
3414 return;
3415 }
3416
3417 SmallVector<unsigned> HotJumpTableIndices, ColdJumpTableIndices;
3418 // When static data partitioning is enabled, collect jump table entries that
3419 // go into the same section together to reduce the amount of section switch
3420 // statements.
3421 for (unsigned JTI = 0, JTSize = JT.size(); JTI < JTSize; ++JTI) {
3422 if (JT[JTI].Hotness == MachineFunctionDataHotness::Cold) {
3423 ColdJumpTableIndices.push_back(JTI);
3424 } else {
3425 HotJumpTableIndices.push_back(JTI);
3426 }
3427 }
3428
3429 emitJumpTableImpl(*MJTI, HotJumpTableIndices);
3430 emitJumpTableImpl(*MJTI, ColdJumpTableIndices);
3431}
3432
3433void AsmPrinter::emitJumpTableImpl(const MachineJumpTableInfo &MJTI,
3434 ArrayRef<unsigned> JumpTableIndices) {
3436 JumpTableIndices.empty())
3437 return;
3438
3440 const Function &F = MF->getFunction();
3441 const std::vector<MachineJumpTableEntry> &JT = MJTI.getJumpTables();
3442 MCSection *JumpTableSection = nullptr;
3443
3444 const bool UseLabelDifference =
3447 // Pick the directive to use to print the jump table entries, and switch to
3448 // the appropriate section.
3449 const bool JTInDiffSection =
3450 !TLOF.shouldPutJumpTableInFunctionSection(UseLabelDifference, F);
3451 if (JTInDiffSection) {
3453 JumpTableSection =
3454 TLOF.getSectionForJumpTable(F, TM, &JT[JumpTableIndices.front()]);
3455 } else {
3456 JumpTableSection = TLOF.getSectionForJumpTable(F, TM);
3457 }
3458 OutStreamer->switchSection(JumpTableSection);
3459 }
3460
3461 const DataLayout &DL = MF->getDataLayout();
3463
3464 // Jump tables in code sections are marked with a data_region directive
3465 // where that's supported.
3466 if (!JTInDiffSection)
3467 OutStreamer->emitDataRegion(MCDR_DataRegionJT32);
3468
3469 for (const unsigned JumpTableIndex : JumpTableIndices) {
3470 ArrayRef<MachineBasicBlock *> JTBBs = JT[JumpTableIndex].MBBs;
3471
3472 // If this jump table was deleted, ignore it.
3473 if (JTBBs.empty())
3474 continue;
3475
3476 // For the EK_LabelDifference32 entry, if using .set avoids a relocation,
3477 /// emit a .set directive for each unique entry.
3479 MAI.doesSetDirectiveSuppressReloc()) {
3480 SmallPtrSet<const MachineBasicBlock *, 16> EmittedSets;
3481 const TargetLowering *TLI = MF->getSubtarget().getTargetLowering();
3482 const MCExpr *Base =
3483 TLI->getPICJumpTableRelocBaseExpr(MF, JumpTableIndex, OutContext);
3484 for (const MachineBasicBlock *MBB : JTBBs) {
3485 if (!EmittedSets.insert(MBB).second)
3486 continue;
3487
3488 // .set LJTSet, LBB32-base
3489 const MCExpr *LHS =
3491 OutStreamer->emitAssignment(
3492 GetJTSetSymbol(JumpTableIndex, MBB->getNumber()),
3494 }
3495 }
3496
3497 // On some targets (e.g. Darwin) we want to emit two consecutive labels
3498 // before each jump table. The first label is never referenced, but tells
3499 // the assembler and linker the extents of the jump table object. The
3500 // second label is actually referenced by the code.
3501 if (JTInDiffSection && DL.hasLinkerPrivateGlobalPrefix())
3502 // FIXME: This doesn't have to have any specific name, just any randomly
3503 // named and numbered local label started with 'l' would work. Simplify
3504 // GetJTISymbol.
3505 OutStreamer->emitLabel(GetJTISymbol(JumpTableIndex, true));
3506
3507 MCSymbol *JTISymbol = GetJTISymbol(JumpTableIndex);
3508 if (JTInDiffSection && MAI.hasDotTypeDotSizeDirective())
3509 OutStreamer->emitSymbolAttribute(JTISymbol, MCSA_ELF_TypeObject);
3510 OutStreamer->emitLabel(JTISymbol);
3511
3512 // Defer MCAssembler based constant folding due to a performance issue. The
3513 // label differences will be evaluated at write time.
3514 for (const MachineBasicBlock *MBB : JTBBs)
3515 emitJumpTableEntry(MJTI, MBB, JumpTableIndex);
3516
3517 if (JTInDiffSection && MAI.hasDotTypeDotSizeDirective())
3518 OutStreamer->emitELFSize(
3519 JTISymbol, MCConstantExpr::create(
3520 JTBBs.size() * MJTI.getEntrySize(DL), OutContext));
3521 }
3522
3524 emitJumpTableSizesSection(MJTI, MF->getFunction());
3525
3526 if (!JTInDiffSection)
3527 OutStreamer->emitDataRegion(MCDR_DataRegionEnd);
3528}
3529
3530void AsmPrinter::emitJumpTableSizesSection(const MachineJumpTableInfo &MJTI,
3531 const Function &F) const {
3532 const std::vector<MachineJumpTableEntry> &JT = MJTI.getJumpTables();
3533
3534 if (JT.empty())
3535 return;
3536
3537 StringRef GroupName = F.hasComdat() ? F.getComdat()->getName() : "";
3538 MCSection *JumpTableSizesSection = nullptr;
3539 StringRef sectionName = ".llvm_jump_table_sizes";
3540
3541 bool isElf = TM.getTargetTriple().isOSBinFormatELF();
3542 bool isCoff = TM.getTargetTriple().isOSBinFormatCOFF();
3543
3544 if (!isCoff && !isElf)
3545 return;
3546
3547 if (isElf) {
3548 auto *LinkedToSym = static_cast<MCSymbolELF *>(CurrentFnSym);
3549 int Flags = F.hasComdat() ? static_cast<int>(ELF::SHF_GROUP) : 0;
3550
3551 JumpTableSizesSection = OutContext.getELFSection(
3552 sectionName, ELF::SHT_LLVM_JT_SIZES, Flags, 0, GroupName, F.hasComdat(),
3553 MCSection::NonUniqueID, LinkedToSym);
3554 } else if (isCoff) {
3555 if (F.hasComdat()) {
3556 JumpTableSizesSection = OutContext.getCOFFSection(
3557 sectionName,
3560 F.getComdat()->getName(), COFF::IMAGE_COMDAT_SELECT_ASSOCIATIVE);
3561 } else {
3562 JumpTableSizesSection = OutContext.getCOFFSection(
3566 }
3567 }
3568
3569 OutStreamer->switchSection(JumpTableSizesSection);
3570
3571 const DataLayout &DL = getDataLayout();
3572 unsigned ProgramPointerSize = DL.getPointerSize(DL.getProgramAddressSpace());
3573 for (unsigned JTI = 0, E = JT.size(); JTI != E; ++JTI) {
3574 const std::vector<MachineBasicBlock *> &JTBBs = JT[JTI].MBBs;
3575 OutStreamer->emitSymbolValue(GetJTISymbol(JTI), ProgramPointerSize);
3576 OutStreamer->emitIntValue(JTBBs.size(), ProgramPointerSize);
3577 }
3578}
3579
3580/// EmitJumpTableEntry - Emit a jump table entry for the specified MBB to the
3581/// current stream.
3583 const MachineBasicBlock *MBB,
3584 unsigned UID) const {
3585 assert(MBB && MBB->getNumber() >= 0 && "Invalid basic block");
3586 const MCExpr *Value = nullptr;
3587 switch (MJTI.getEntryKind()) {
3589 llvm_unreachable("Cannot emit EK_Inline jump table entry");
3592 llvm_unreachable("MIPS specific");
3594 Value = MF->getSubtarget().getTargetLowering()->LowerCustomJumpTableEntry(
3595 &MJTI, MBB, UID, OutContext);
3596 break;
3598 // EK_BlockAddress - Each entry is a plain address of block, e.g.:
3599 // .word LBB123
3601 break;
3602
3605 // Each entry is the address of the block minus the address of the jump
3606 // table. This is used for PIC jump tables where gprel32 is not supported.
3607 // e.g.:
3608 // .word LBB123 - LJTI1_2
3609 // If the .set directive avoids relocations, this is emitted as:
3610 // .set L4_5_set_123, LBB123 - LJTI1_2
3611 // .word L4_5_set_123
3613 MAI.doesSetDirectiveSuppressReloc()) {
3614 Value = MCSymbolRefExpr::create(GetJTSetSymbol(UID, MBB->getNumber()),
3615 OutContext);
3616 break;
3617 }
3619 const TargetLowering *TLI = MF->getSubtarget().getTargetLowering();
3622 break;
3623 }
3624 }
3625
3626 assert(Value && "Unknown entry kind!");
3627
3628 unsigned EntrySize = MJTI.getEntrySize(getDataLayout());
3629 OutStreamer->emitValue(Value, EntrySize);
3630}
3631
3632/// EmitSpecialLLVMGlobal - Check to see if the specified global is a
3633/// special global used by LLVM. If so, emit it and return true, otherwise
3634/// do nothing and return false.
3636 if (GV->getName() == "llvm.used") {
3637 if (MAI.hasNoDeadStrip()) // No need to emit this at all.
3638 emitLLVMUsedList(cast<ConstantArray>(GV->getInitializer()));
3639 return true;
3640 }
3641
3642 // Ignore debug and non-emitted data. This handles llvm.compiler.used.
3643 if (GV->getSection() == "llvm.metadata" ||
3645 return true;
3646
3647 if (GV->getName() == "llvm.arm64ec.symbolmap") {
3648 // For ARM64EC, print the table that maps between symbols and the
3649 // corresponding thunks to translate between x64 and AArch64 code.
3650 // This table is generated by AArch64Arm64ECCallLowering.
3651 OutStreamer->switchSection(
3652 OutContext.getCOFFSection(".hybmp$x", COFF::IMAGE_SCN_LNK_INFO));
3653 auto *Arr = cast<ConstantArray>(GV->getInitializer());
3654 for (auto &U : Arr->operands()) {
3655 auto *C = cast<Constant>(U);
3656 auto *Src = cast<GlobalValue>(C->getOperand(0)->stripPointerCasts());
3657 auto *Dst = cast<GlobalValue>(C->getOperand(1)->stripPointerCasts());
3658 int Kind = cast<ConstantInt>(C->getOperand(2))->getZExtValue();
3659
3660 if (Src->hasDLLImportStorageClass()) {
3661 // For now, we assume dllimport functions aren't directly called.
3662 // (We might change this later to match MSVC.)
3663 OutStreamer->emitCOFFSymbolIndex(
3664 OutContext.getOrCreateSymbol("__imp_" + Src->getName()));
3665 OutStreamer->emitCOFFSymbolIndex(getSymbol(Dst));
3666 OutStreamer->emitInt32(Kind);
3667 } else {
3668 // FIXME: For non-dllimport functions, MSVC emits the same entry
3669 // twice, for reasons I don't understand. I have to assume the linker
3670 // ignores the redundant entry; there aren't any reasonable semantics
3671 // to attach to it.
3672 OutStreamer->emitCOFFSymbolIndex(getSymbol(Src));
3673 OutStreamer->emitCOFFSymbolIndex(getSymbol(Dst));
3674 OutStreamer->emitInt32(Kind);
3675 }
3676 }
3677 return true;
3678 }
3679
3680 if (!GV->hasAppendingLinkage()) return false;
3681
3682 assert(GV->hasInitializer() && "Not a special LLVM global!");
3683
3684 if (GV->getName() == "llvm.global_ctors") {
3686 /* isCtor */ true);
3687
3688 return true;
3689 }
3690
3691 if (GV->getName() == "llvm.global_dtors") {
3693 /* isCtor */ false);
3694
3695 return true;
3696 }
3697
3698 GV->getContext().emitError(
3699 "unknown special variable with appending linkage: " +
3700 GV->getNameOrAsOperand());
3701 return true;
3702}
3703
3704/// EmitLLVMUsedList - For targets that define a MAI::UsedDirective, mark each
3705/// global in the specified llvm.used list.
3706void AsmPrinter::emitLLVMUsedList(const ConstantArray *InitList) {
3707 // Should be an array of 'i8*'.
3708 for (unsigned i = 0, e = InitList->getNumOperands(); i != e; ++i) {
3709 const GlobalValue *GV =
3711 if (GV)
3712 OutStreamer->emitSymbolAttribute(getSymbol(GV), MCSA_NoDeadStrip);
3713 }
3714}
3715
3717 const Constant *List,
3718 SmallVector<Structor, 8> &Structors) {
3719 // Should be an array of '{ i32, void ()*, i8* }' structs. The first value is
3720 // the init priority.
3722 return;
3723
3724 // Gather the structors in a form that's convenient for sorting by priority.
3725 for (Value *O : cast<ConstantArray>(List)->operands()) {
3726 auto *CS = cast<ConstantStruct>(O);
3727 if (CS->getOperand(1)->isNullValue())
3728 break; // Found a null terminator, skip the rest.
3729 ConstantInt *Priority = dyn_cast<ConstantInt>(CS->getOperand(0));
3730 if (!Priority)
3731 continue; // Malformed.
3732 Structors.push_back(Structor());
3733 Structor &S = Structors.back();
3734 S.Priority = Priority->getLimitedValue(65535);
3735 S.Func = CS->getOperand(1);
3736 if (!CS->getOperand(2)->isNullValue()) {
3737 if (TM.getTargetTriple().isOSAIX()) {
3738 CS->getContext().emitError(
3739 "associated data of XXStructor list is not yet supported on AIX");
3740 }
3741
3742 S.ComdatKey =
3743 dyn_cast<GlobalValue>(CS->getOperand(2)->stripPointerCasts());
3744 }
3745 }
3746
3747 // Emit the function pointers in the target-specific order
3748 llvm::stable_sort(Structors, [](const Structor &L, const Structor &R) {
3749 return L.Priority < R.Priority;
3750 });
3751}
3752
3753/// EmitXXStructorList - Emit the ctor or dtor list taking into account the init
3754/// priority.
3756 bool IsCtor) {
3757 SmallVector<Structor, 8> Structors;
3758 preprocessXXStructorList(DL, List, Structors);
3759 if (Structors.empty())
3760 return;
3761
3762 // Emit the structors in reverse order if we are using the .ctor/.dtor
3763 // initialization scheme.
3764 if (!TM.Options.UseInitArray)
3765 std::reverse(Structors.begin(), Structors.end());
3766
3767 const Align Align = DL.getPointerPrefAlignment(DL.getProgramAddressSpace());
3768 for (Structor &S : Structors) {
3770 const MCSymbol *KeySym = nullptr;
3771 if (GlobalValue *GV = S.ComdatKey) {
3772 if (GV->isDeclarationForLinker())
3773 // If the associated variable is not defined in this module
3774 // (it might be available_externally, or have been an
3775 // available_externally definition that was dropped by the
3776 // EliminateAvailableExternally pass), some other TU
3777 // will provide its dynamic initializer.
3778 continue;
3779
3780 KeySym = getSymbol(GV);
3781 }
3782
3783 MCSection *OutputSection =
3784 (IsCtor ? Obj.getStaticCtorSection(S.Priority, KeySym)
3785 : Obj.getStaticDtorSection(S.Priority, KeySym));
3786 OutStreamer->switchSection(OutputSection);
3787 if (OutStreamer->getCurrentSection() != OutStreamer->getPreviousSection())
3789 emitXXStructor(DL, S.Func);
3790 }
3791}
3792
3793void AsmPrinter::emitModuleIdents(Module &M) {
3794 if (!MAI.hasIdentDirective())
3795 return;
3796
3797 if (const NamedMDNode *NMD = M.getNamedMetadata("llvm.ident")) {
3798 for (const MDNode *N : NMD->operands()) {
3799 assert(N->getNumOperands() == 1 &&
3800 "llvm.ident metadata entry can have only one operand");
3801 const MDString *S = cast<MDString>(N->getOperand(0));
3802 OutStreamer->emitIdent(S->getString());
3803 }
3804 }
3805}
3806
3807void AsmPrinter::emitModuleCommandLines(Module &M) {
3808 MCSection *CommandLine = getObjFileLowering().getSectionForCommandLines();
3809 if (!CommandLine)
3810 return;
3811
3812 const NamedMDNode *NMD = M.getNamedMetadata("llvm.commandline");
3813 if (!NMD || !NMD->getNumOperands())
3814 return;
3815
3816 OutStreamer->pushSection();
3817 OutStreamer->switchSection(CommandLine);
3818 OutStreamer->emitZeros(1);
3819 for (const MDNode *N : NMD->operands()) {
3820 assert(N->getNumOperands() == 1 &&
3821 "llvm.commandline metadata entry can have only one operand");
3822 const MDString *S = cast<MDString>(N->getOperand(0));
3823 OutStreamer->emitBytes(S->getString());
3824 OutStreamer->emitZeros(1);
3825 }
3826 OutStreamer->popSection();
3827}
3828
3829//===--------------------------------------------------------------------===//
3830// Emission and print routines
3831//
3832
3833/// Emit a byte directive and value.
3834///
3835void AsmPrinter::emitInt8(int Value) const { OutStreamer->emitInt8(Value); }
3836
3837/// Emit a short directive and value.
3838void AsmPrinter::emitInt16(int Value) const { OutStreamer->emitInt16(Value); }
3839
3840/// Emit a long directive and value.
3841void AsmPrinter::emitInt32(int Value) const { OutStreamer->emitInt32(Value); }
3842
3843/// EmitSLEB128 - emit the specified signed leb128 value.
3844void AsmPrinter::emitSLEB128(int64_t Value, const char *Desc) const {
3845 if (isVerbose() && Desc)
3846 OutStreamer->AddComment(Desc);
3847
3848 OutStreamer->emitSLEB128IntValue(Value);
3849}
3850
3851void AsmPrinter::emitULEB128(uint64_t Value, const char *Desc,
3852 unsigned PadTo) const {
3853 if (isVerbose() && Desc)
3854 OutStreamer->AddComment(Desc);
3855
3856 OutStreamer->emitULEB128IntValue(Value, PadTo);
3857}
3858
3859/// Emit a long long directive and value.
3860void AsmPrinter::emitInt64(uint64_t Value) const {
3861 OutStreamer->emitInt64(Value);
3862}
3863
3864/// Emit something like ".long Hi-Lo" where the size in bytes of the directive
3865/// is specified by Size and Hi/Lo specify the labels. This implicitly uses
3866/// .set if it avoids relocations.
3868 unsigned Size) const {
3869 OutStreamer->emitAbsoluteSymbolDiff(Hi, Lo, Size);
3870}
3871
3872/// Emit something like ".uleb128 Hi-Lo".
3874 const MCSymbol *Lo) const {
3875 OutStreamer->emitAbsoluteSymbolDiffAsULEB128(Hi, Lo);
3876}
3877
3878/// EmitLabelPlusOffset - Emit something like ".long Label+Offset"
3879/// where the size in bytes of the directive is specified by Size and Label
3880/// specifies the label. This implicitly uses .set if it is available.
3882 unsigned Size,
3883 bool IsSectionRelative) const {
3884 if (MAI.needsDwarfSectionOffsetDirective() && IsSectionRelative) {
3885 OutStreamer->emitCOFFSecRel32(Label, Offset);
3886 if (Size > 4)
3887 OutStreamer->emitZeros(Size - 4);
3888 return;
3889 }
3890
3891 // Emit Label+Offset (or just Label if Offset is zero)
3892 const MCExpr *Expr = MCSymbolRefExpr::create(Label, OutContext);
3893 if (Offset)
3896
3897 OutStreamer->emitValue(Expr, Size);
3898}
3899
3900//===----------------------------------------------------------------------===//
3901
3902// EmitAlignment - Emit an alignment directive to the specified power of
3903// two boundary. If a global value is specified, and if that global has
3904// an explicit alignment requested, it will override the alignment request
3905// if required for correctness.
3907 unsigned MaxBytesToEmit) const {
3908 if (GV)
3909 Alignment = getGVAlignment(GV, GV->getDataLayout(), Alignment);
3910
3911 if (Alignment == Align(1))
3912 return Alignment; // 1-byte aligned: no need to emit alignment.
3913
3914 if (getCurrentSection()->isText()) {
3915 const MCSubtargetInfo *STI = nullptr;
3916 if (this->MF)
3917 STI = &getSubtargetInfo();
3918 else
3919 STI = &TM.getMCSubtargetInfo();
3920 OutStreamer->emitCodeAlignment(Alignment, *STI, MaxBytesToEmit);
3921 } else
3922 OutStreamer->emitValueToAlignment(Alignment, 0, 1, MaxBytesToEmit);
3923 return Alignment;
3924}
3925
3926//===----------------------------------------------------------------------===//
3927// Constant emission.
3928//===----------------------------------------------------------------------===//
3929
3931 const Constant *BaseCV,
3932 uint64_t Offset) {
3933 MCContext &Ctx = OutContext;
3934
3935 if (CV->isNullValue() || isa<UndefValue>(CV))
3936 return MCConstantExpr::create(0, Ctx);
3937
3938 if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV))
3939 return MCConstantExpr::create(CI->getZExtValue(), Ctx);
3940
3941 if (const ConstantByte *CB = dyn_cast<ConstantByte>(CV))
3942 return MCConstantExpr::create(CB->getZExtValue(), Ctx);
3943
3944 if (const ConstantPtrAuth *CPA = dyn_cast<ConstantPtrAuth>(CV))
3945 return lowerConstantPtrAuth(*CPA);
3946
3947 if (const GlobalValue *GV = dyn_cast<GlobalValue>(CV))
3948 return MCSymbolRefExpr::create(getSymbol(GV), Ctx);
3949
3950 if (const BlockAddress *BA = dyn_cast<BlockAddress>(CV))
3951 return lowerBlockAddressConstant(*BA);
3952
3953 if (const auto *Equiv = dyn_cast<DSOLocalEquivalent>(CV))
3955 getSymbol(Equiv->getGlobalValue()), nullptr, 0, std::nullopt, TM);
3956
3957 if (const NoCFIValue *NC = dyn_cast<NoCFIValue>(CV))
3958 return MCSymbolRefExpr::create(getSymbol(NC->getGlobalValue()), Ctx);
3959
3960 const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV);
3961 if (!CE) {
3962 llvm_unreachable("Unknown constant value to lower!");
3963 }
3964
3965 // The constant expression opcodes are limited to those that are necessary
3966 // to represent relocations on supported targets. Expressions involving only
3967 // constant addresses are constant folded instead.
3968 switch (CE->getOpcode()) {
3969 default:
3970 break; // Error
3971 case Instruction::AddrSpaceCast: {
3972 const Constant *Op = CE->getOperand(0);
3973 unsigned DstAS = CE->getType()->getPointerAddressSpace();
3974 unsigned SrcAS = Op->getType()->getPointerAddressSpace();
3975 if (TM.isNoopAddrSpaceCast(getDataLayout(), SrcAS, DstAS))
3976 return lowerConstant(Op);
3977
3978 break; // Error
3979 }
3980 case Instruction::GetElementPtr: {
3981 // Generate a symbolic expression for the byte address
3982 APInt OffsetAI(getDataLayout().getIndexTypeSizeInBits(CE->getType()), 0);
3983 cast<GEPOperator>(CE)->accumulateConstantOffset(getDataLayout(), OffsetAI);
3984
3985 const MCExpr *Base = lowerConstant(CE->getOperand(0));
3986 if (!OffsetAI)
3987 return Base;
3988
3989 int64_t Offset = OffsetAI.getSExtValue();
3991 Ctx);
3992 }
3993
3994 case Instruction::Trunc:
3995 // We emit the value and depend on the assembler to truncate the generated
3996 // expression properly. This is important for differences between
3997 // blockaddress labels. Since the two labels are in the same function, it
3998 // is reasonable to treat their delta as a 32-bit value.
3999 [[fallthrough]];
4000 case Instruction::BitCast:
4001 return lowerConstant(CE->getOperand(0), BaseCV, Offset);
4002
4003 case Instruction::IntToPtr: {
4004 const DataLayout &DL = getDataLayout();
4005
4006 // Handle casts to pointers by changing them into casts to the appropriate
4007 // integer type. This promotes constant folding and simplifies this code.
4008 Constant *Op = CE->getOperand(0);
4009 Op = ConstantFoldIntegerCast(Op, DL.getIntPtrType(CV->getType()),
4010 /*IsSigned*/ false, DL);
4011 if (Op)
4012 return lowerConstant(Op);
4013
4014 break; // Error
4015 }
4016
4017 case Instruction::PtrToAddr:
4018 case Instruction::PtrToInt: {
4019 const DataLayout &DL = getDataLayout();
4020
4021 // Support only foldable casts to/from pointers that can be eliminated by
4022 // changing the pointer to the appropriately sized integer type.
4023 Constant *Op = CE->getOperand(0);
4024 Type *Ty = CE->getType();
4025
4026 const MCExpr *OpExpr = lowerConstant(Op);
4027
4028 // We can emit the pointer value into this slot if the slot is an
4029 // integer slot equal to the size of the pointer.
4030 //
4031 // If the pointer is larger than the resultant integer, then
4032 // as with Trunc just depend on the assembler to truncate it.
4033 if (DL.getTypeAllocSize(Ty).getFixedValue() <=
4034 DL.getTypeAllocSize(Op->getType()).getFixedValue())
4035 return OpExpr;
4036
4037 break; // Error
4038 }
4039
4040 case Instruction::Sub: {
4041 GlobalValue *LHSGV, *RHSGV;
4042 APInt LHSOffset, RHSOffset;
4043 DSOLocalEquivalent *DSOEquiv;
4044 if (IsConstantOffsetFromGlobal(CE->getOperand(0), LHSGV, LHSOffset,
4045 getDataLayout(), &DSOEquiv) &&
4046 IsConstantOffsetFromGlobal(CE->getOperand(1), RHSGV, RHSOffset,
4047 getDataLayout())) {
4048 auto *LHSSym = getSymbol(LHSGV);
4049 auto *RHSSym = getSymbol(RHSGV);
4050 int64_t Addend = (LHSOffset - RHSOffset).getSExtValue();
4051 std::optional<int64_t> PCRelativeOffset;
4052 if (getObjFileLowering().hasPLTPCRelative() && RHSGV == BaseCV)
4053 PCRelativeOffset = Offset;
4054
4055 // Try the generic symbol difference first.
4057 LHSGV, RHSGV, Addend, PCRelativeOffset, TM);
4058
4059 // (ELF-specific) If the generic symbol difference does not apply, and
4060 // LHS is a dso_local_equivalent of a function, reference the PLT entry
4061 // instead. Note: A default visibility symbol is by default preemptible
4062 // during linking, and should not be referenced with PC-relative
4063 // relocations. Therefore, use a PLT relocation even if the function is
4064 // dso_local.
4065 if (DSOEquiv && TM.getTargetTriple().isOSBinFormatELF())
4067 LHSSym, RHSSym, Addend, PCRelativeOffset, TM);
4068
4069 // Otherwise, return LHS-RHS+Addend.
4070 if (!Res) {
4071 Res =
4073 MCSymbolRefExpr::create(RHSSym, Ctx), Ctx);
4074 if (Addend != 0)
4076 Res, MCConstantExpr::create(Addend, Ctx), Ctx);
4077 }
4078 return Res;
4079 }
4080
4081 const MCExpr *LHS = lowerConstant(CE->getOperand(0));
4082 const MCExpr *RHS = lowerConstant(CE->getOperand(1));
4083 return MCBinaryExpr::createSub(LHS, RHS, Ctx);
4084 break;
4085 }
4086
4087 case Instruction::Add: {
4088 const MCExpr *LHS = lowerConstant(CE->getOperand(0));
4089 const MCExpr *RHS = lowerConstant(CE->getOperand(1));
4090 return MCBinaryExpr::createAdd(LHS, RHS, Ctx);
4091 }
4092 }
4093
4094 // If the code isn't optimized, there may be outstanding folding
4095 // opportunities. Attempt to fold the expression using DataLayout as a
4096 // last resort before giving up.
4098 if (C != CE)
4099 return lowerConstant(C);
4100
4101 // Otherwise report the problem to the user.
4102 std::string S;
4103 raw_string_ostream OS(S);
4104 OS << "unsupported expression in static initializer: ";
4105 CE->printAsOperand(OS, /*PrintType=*/false,
4106 !MF ? nullptr : MF->getFunction().getParent());
4107 CE->getContext().emitError(S);
4108 return MCConstantExpr::create(0, Ctx);
4109}
4110
4111static void emitGlobalConstantImpl(const DataLayout &DL, const Constant *C,
4112 AsmPrinter &AP,
4113 const Constant *BaseCV = nullptr,
4114 uint64_t Offset = 0,
4115 AsmPrinter::AliasMapTy *AliasList = nullptr);
4116
4117static void emitGlobalConstantFP(const ConstantFP *CFP, AsmPrinter &AP);
4118static void emitGlobalConstantFP(APFloat APF, Type *ET, AsmPrinter &AP);
4119
4120/// isRepeatedByteSequence - Determine whether the given value is
4121/// composed of a repeated sequence of identical bytes and return the
4122/// byte value. If it is not a repeated sequence, return -1.
4124 StringRef Data = V->getRawDataValues();
4125 assert(!Data.empty() && "Empty aggregates should be CAZ node");
4126 char C = Data[0];
4127 for (unsigned i = 1, e = Data.size(); i != e; ++i)
4128 if (Data[i] != C) return -1;
4129 return static_cast<uint8_t>(C); // Ensure 255 is not returned as -1.
4130}
4131
4132/// isRepeatedByteSequence - Determine whether the given value is
4133/// composed of a repeated sequence of identical bytes and return the
4134/// byte value. If it is not a repeated sequence, return -1.
4135static int isRepeatedByteSequence(const Value *V, const DataLayout &DL) {
4136 if (const ConstantInt *CI = dyn_cast<ConstantInt>(V)) {
4137 uint64_t Size = DL.getTypeAllocSizeInBits(V->getType());
4138 assert(Size % 8 == 0);
4139
4140 // Extend the element to take zero padding into account.
4141 APInt Value = CI->getValue().zext(Size);
4142 if (!Value.isSplat(8))
4143 return -1;
4144
4145 return Value.zextOrTrunc(8).getZExtValue();
4146 }
4147 if (const ConstantArray *CA = dyn_cast<ConstantArray>(V)) {
4148 // Make sure all array elements are sequences of the same repeated
4149 // byte.
4150 assert(CA->getNumOperands() != 0 && "Should be a CAZ");
4151 Constant *Op0 = CA->getOperand(0);
4152 int Byte = isRepeatedByteSequence(Op0, DL);
4153 if (Byte == -1)
4154 return -1;
4155
4156 // All array elements must be equal.
4157 for (unsigned i = 1, e = CA->getNumOperands(); i != e; ++i)
4158 if (CA->getOperand(i) != Op0)
4159 return -1;
4160 return Byte;
4161 }
4162
4164 return isRepeatedByteSequence(CDS);
4165
4166 return -1;
4167}
4168
4170 AsmPrinter::AliasMapTy *AliasList) {
4171 if (AliasList) {
4172 auto AliasIt = AliasList->find(Offset);
4173 if (AliasIt != AliasList->end()) {
4174 for (const GlobalAlias *GA : AliasIt->second)
4175 AP.OutStreamer->emitLabel(AP.getSymbol(GA));
4176 AliasList->erase(Offset);
4177 }
4178 }
4179}
4180
4182 const DataLayout &DL, const ConstantDataSequential *CDS, AsmPrinter &AP,
4183 AsmPrinter::AliasMapTy *AliasList) {
4184 // See if we can aggregate this into a .fill, if so, emit it as such.
4185 int Value = isRepeatedByteSequence(CDS, DL);
4186 if (Value != -1) {
4187 uint64_t Bytes = DL.getTypeAllocSize(CDS->getType());
4188 // Don't emit a 1-byte object as a .fill.
4189 if (Bytes > 1)
4190 return AP.OutStreamer->emitFill(Bytes, Value);
4191 }
4192
4193 // If this can be emitted with .ascii/.asciz, emit it as such.
4194 if (CDS->isString())
4195 return AP.OutStreamer->emitBytes(CDS->getAsString());
4196
4197 // Otherwise, emit the values in successive locations.
4198 uint64_t ElementByteSize = CDS->getElementByteSize();
4199 if (isa<IntegerType>(CDS->getElementType()) ||
4200 isa<ByteType>(CDS->getElementType())) {
4201 for (uint64_t I = 0, E = CDS->getNumElements(); I != E; ++I) {
4202 emitGlobalAliasInline(AP, ElementByteSize * I, AliasList);
4203 if (AP.isVerbose())
4204 AP.OutStreamer->getCommentOS()
4205 << format("0x%" PRIx64 "\n", CDS->getElementAsInteger(I));
4206 AP.OutStreamer->emitIntValue(CDS->getElementAsInteger(I),
4207 ElementByteSize);
4208 }
4209 } else {
4210 Type *ET = CDS->getElementType();
4211 for (uint64_t I = 0, E = CDS->getNumElements(); I != E; ++I) {
4212 emitGlobalAliasInline(AP, ElementByteSize * I, AliasList);
4214 }
4215 }
4216
4217 unsigned Size = DL.getTypeAllocSize(CDS->getType());
4218 unsigned EmittedSize =
4219 DL.getTypeAllocSize(CDS->getElementType()) * CDS->getNumElements();
4220 assert(EmittedSize <= Size && "Size cannot be less than EmittedSize!");
4221 if (unsigned Padding = Size - EmittedSize)
4222 AP.OutStreamer->emitZeros(Padding);
4223}
4224
4226 const ConstantArray *CA, AsmPrinter &AP,
4227 const Constant *BaseCV, uint64_t Offset,
4228 AsmPrinter::AliasMapTy *AliasList) {
4229 // See if we can aggregate some values. Make sure it can be
4230 // represented as a series of bytes of the constant value.
4231 int Value = isRepeatedByteSequence(CA, DL);
4232
4233 if (Value != -1) {
4234 uint64_t Bytes = DL.getTypeAllocSize(CA->getType());
4235 AP.OutStreamer->emitFill(Bytes, Value);
4236 } else {
4237 for (unsigned I = 0, E = CA->getNumOperands(); I != E; ++I) {
4238 emitGlobalConstantImpl(DL, CA->getOperand(I), AP, BaseCV, Offset,
4239 AliasList);
4240 Offset += DL.getTypeAllocSize(CA->getOperand(I)->getType());
4241 }
4242 }
4243}
4244
4245static void emitGlobalConstantLargeInt(const ConstantInt *CI, AsmPrinter &AP);
4246
4247static void emitGlobalConstantVector(const DataLayout &DL, const Constant *CV,
4248 AsmPrinter &AP,
4249 AsmPrinter::AliasMapTy *AliasList) {
4250 uint64_t AllocSize = DL.getTypeAllocSize(CV->getType());
4251
4252 if (CV->isNullValue())
4253 return AP.OutStreamer->emitZeros(AllocSize);
4254
4255 auto *VTy = cast<FixedVectorType>(CV->getType());
4256 Type *ElementType = VTy->getElementType();
4257 uint64_t ElementSizeInBits = DL.getTypeSizeInBits(ElementType);
4258 uint64_t ElementAllocSizeInBits = DL.getTypeAllocSizeInBits(ElementType);
4259 uint64_t EmittedSize;
4260 if (ElementSizeInBits != ElementAllocSizeInBits) {
4261 // If the allocation size of an element is different from the size in bits,
4262 // printing each element separately will insert incorrect padding.
4263 //
4264 // The general algorithm here is complicated; instead of writing it out
4265 // here, just use the existing code in ConstantFolding.
4266 Type *IntT =
4267 IntegerType::get(CV->getContext(), DL.getTypeSizeInBits(CV->getType()));
4269 ConstantExpr::getBitCast(const_cast<Constant *>(CV), IntT), DL));
4270 if (!CI) {
4272 "Cannot lower vector global with unusual element type");
4273 }
4274 emitGlobalAliasInline(AP, 0, AliasList);
4276 EmittedSize = DL.getTypeStoreSize(CV->getType());
4277 } else {
4278 for (unsigned I = 0, E = VTy->getNumElements(); I != E; ++I) {
4279 emitGlobalAliasInline(AP, AllocSize * I, AliasList);
4281 }
4282 EmittedSize = DL.getTypeAllocSize(ElementType) * VTy->getNumElements();
4283 }
4284
4285 if (unsigned Padding = AllocSize - EmittedSize)
4286 AP.OutStreamer->emitZeros(Padding);
4287}
4288
4290 const ConstantStruct *CS, AsmPrinter &AP,
4291 const Constant *BaseCV, uint64_t Offset,
4292 AsmPrinter::AliasMapTy *AliasList) {
4293 // Print the fields in successive locations. Pad to align if needed!
4294 uint64_t Size = DL.getTypeAllocSize(CS->getType());
4295 const StructLayout *Layout = DL.getStructLayout(CS->getType());
4296 uint64_t SizeSoFar = 0;
4297 for (unsigned I = 0, E = CS->getNumOperands(); I != E; ++I) {
4298 const Constant *Field = CS->getOperand(I);
4299
4300 // Print the actual field value.
4301 emitGlobalConstantImpl(DL, Field, AP, BaseCV, Offset + SizeSoFar,
4302 AliasList);
4303
4304 // Check if padding is needed and insert one or more 0s.
4305 uint64_t FieldSize = DL.getTypeAllocSize(Field->getType());
4306 uint64_t PadSize = ((I == E - 1 ? Size : Layout->getElementOffset(I + 1)) -
4307 Layout->getElementOffset(I)) -
4308 FieldSize;
4309 SizeSoFar += FieldSize + PadSize;
4310
4311 // Insert padding - this may include padding to increase the size of the
4312 // current field up to the ABI size (if the struct is not packed) as well
4313 // as padding to ensure that the next field starts at the right offset.
4314 AP.OutStreamer->emitZeros(PadSize);
4315 }
4316 assert(SizeSoFar == Layout->getSizeInBytes() &&
4317 "Layout of constant struct may be incorrect!");
4318}
4319
4320static void emitGlobalConstantFP(APFloat APF, Type *ET, AsmPrinter &AP) {
4321 assert(ET && "Unknown float type");
4322 APInt API = APF.bitcastToAPInt();
4323
4324 // First print a comment with what we think the original floating-point value
4325 // should have been.
4326 if (AP.isVerbose()) {
4327 SmallString<8> StrVal;
4328 APF.toString(StrVal);
4329 ET->print(AP.OutStreamer->getCommentOS());
4330 AP.OutStreamer->getCommentOS() << ' ' << StrVal << '\n';
4331 }
4332
4333 // Now iterate through the APInt chunks, emitting them in endian-correct
4334 // order, possibly with a smaller chunk at beginning/end (e.g. for x87 80-bit
4335 // floats).
4336 unsigned NumBytes = API.getBitWidth() / 8;
4337 unsigned TrailingBytes = NumBytes % sizeof(uint64_t);
4338 const uint64_t *p = API.getRawData();
4339
4340 // PPC's long double has odd notions of endianness compared to how LLVM
4341 // handles it: p[0] goes first for *big* endian on PPC.
4342 if (AP.getDataLayout().isBigEndian() && !ET->isPPC_FP128Ty()) {
4343 int Chunk = API.getNumWords() - 1;
4344
4345 if (TrailingBytes)
4346 AP.OutStreamer->emitIntValueInHexWithPadding(p[Chunk--], TrailingBytes);
4347
4348 for (; Chunk >= 0; --Chunk)
4349 AP.OutStreamer->emitIntValueInHexWithPadding(p[Chunk], sizeof(uint64_t));
4350 } else {
4351 unsigned Chunk;
4352 for (Chunk = 0; Chunk < NumBytes / sizeof(uint64_t); ++Chunk)
4353 AP.OutStreamer->emitIntValueInHexWithPadding(p[Chunk], sizeof(uint64_t));
4354
4355 if (TrailingBytes)
4356 AP.OutStreamer->emitIntValueInHexWithPadding(p[Chunk], TrailingBytes);
4357 }
4358
4359 // Emit the tail padding for the long double.
4360 const DataLayout &DL = AP.getDataLayout();
4361 AP.OutStreamer->emitZeros(DL.getTypeAllocSize(ET) - DL.getTypeStoreSize(ET));
4362}
4363
4364static void emitGlobalConstantFP(const ConstantFP *CFP, AsmPrinter &AP) {
4365 emitGlobalConstantFP(CFP->getValueAPF(), CFP->getType(), AP);
4366}
4367
4369 uint64_t TypeStoreSize,
4370 AsmPrinter &AP) {
4371 const DataLayout &DL = AP.getDataLayout();
4372 unsigned BitWidth = Val.getBitWidth();
4373
4374 // Copy the value as we may massage the layout for constants whose bit width
4375 // is not a multiple of 64-bits.
4376 APInt Realigned(Val);
4377 uint64_t ExtraBits = 0;
4378 unsigned ExtraBitsSize = BitWidth & 63;
4379
4380 if (ExtraBitsSize) {
4381 // The bit width of the data is not a multiple of 64-bits.
4382 // The extra bits are expected to be at the end of the chunk of the memory.
4383 // Little endian:
4384 // * Nothing to be done, just record the extra bits to emit.
4385 // Big endian:
4386 // * Record the extra bits to emit.
4387 // * Realign the raw data to emit the chunks of 64-bits.
4388 if (DL.isBigEndian()) {
4389 // Basically the structure of the raw data is a chunk of 64-bits cells:
4390 // 0 1 BitWidth / 64
4391 // [chunk1][chunk2] ... [chunkN].
4392 // The most significant chunk is chunkN and it should be emitted first.
4393 // However, due to the alignment issue chunkN contains useless bits.
4394 // Realign the chunks so that they contain only useful information:
4395 // ExtraBits 0 1 (BitWidth / 64) - 1
4396 // chu[nk1 chu][nk2 chu] ... [nkN-1 chunkN]
4397 ExtraBitsSize = alignTo(ExtraBitsSize, 8);
4398 ExtraBits =
4399 Realigned.getRawData()[0] & (((uint64_t)-1) >> (64 - ExtraBitsSize));
4400 if (BitWidth >= 64)
4401 Realigned.lshrInPlace(ExtraBitsSize);
4402 } else
4403 ExtraBits = Realigned.getRawData()[BitWidth / 64];
4404 }
4405
4406 // We don't expect assemblers to support data directives
4407 // for more than 64 bits, so we emit the data in at most 64-bit
4408 // quantities at a time.
4409 const uint64_t *RawData = Realigned.getRawData();
4410 for (unsigned i = 0, e = BitWidth / 64; i != e; ++i) {
4411 uint64_t ChunkVal = DL.isBigEndian() ? RawData[e - i - 1] : RawData[i];
4412 AP.OutStreamer->emitIntValue(ChunkVal, 8);
4413 }
4414
4415 if (ExtraBitsSize) {
4416 // Emit the extra bits after the 64-bits chunks.
4417
4418 // Emit a directive that fills the expected size.
4419 uint64_t Size = TypeStoreSize - (BitWidth / 64) * 8;
4420 assert(Size && Size * 8 >= ExtraBitsSize &&
4421 (ExtraBits & (((uint64_t)-1) >> (64 - ExtraBitsSize))) ==
4422 ExtraBits &&
4423 "Directive too small for extra bits.");
4424 AP.OutStreamer->emitIntValue(ExtraBits, Size);
4425 }
4426}
4427
4429 AsmPrinter &AP) {
4431 CB->getValue(), AP.getDataLayout().getTypeStoreSize(CB->getType()), AP);
4432}
4433
4438
4439/// Transform a not absolute MCExpr containing a reference to a GOT
4440/// equivalent global, by a target specific GOT pc relative access to the
4441/// final symbol.
4443 const Constant *BaseCst,
4444 uint64_t Offset) {
4445 // The global @foo below illustrates a global that uses a got equivalent.
4446 //
4447 // @bar = global i32 42
4448 // @gotequiv = private unnamed_addr constant i32* @bar
4449 // @foo = i32 trunc (i64 sub (i64 ptrtoint (i32** @gotequiv to i64),
4450 // i64 ptrtoint (i32* @foo to i64))
4451 // to i32)
4452 //
4453 // The cstexpr in @foo is converted into the MCExpr `ME`, where we actually
4454 // check whether @foo is suitable to use a GOTPCREL. `ME` is usually in the
4455 // form:
4456 //
4457 // foo = cstexpr, where
4458 // cstexpr := <gotequiv> - "." + <cst>
4459 // cstexpr := <gotequiv> - (<foo> - <offset from @foo base>) + <cst>
4460 //
4461 // After canonicalization by evaluateAsRelocatable `ME` turns into:
4462 //
4463 // cstexpr := <gotequiv> - <foo> + gotpcrelcst, where
4464 // gotpcrelcst := <offset from @foo base> + <cst>
4465 MCValue MV;
4466 if (!(*ME)->evaluateAsRelocatable(MV, nullptr) || MV.isAbsolute())
4467 return;
4468 const MCSymbol *GOTEquivSym = MV.getAddSym();
4469 if (!GOTEquivSym)
4470 return;
4471
4472 // Check that GOT equivalent symbol is cached.
4473 if (!AP.GlobalGOTEquivs.count(GOTEquivSym))
4474 return;
4475
4476 const GlobalValue *BaseGV = dyn_cast_or_null<GlobalValue>(BaseCst);
4477 if (!BaseGV)
4478 return;
4479
4480 // Check for a valid base symbol
4481 const MCSymbol *BaseSym = AP.getSymbol(BaseGV);
4482 const MCSymbol *SymB = MV.getSubSym();
4483
4484 if (!SymB || BaseSym != SymB)
4485 return;
4486
4487 // Make sure to match:
4488 //
4489 // gotpcrelcst := <offset from @foo base> + <cst>
4490 //
4491 int64_t GOTPCRelCst = Offset + MV.getConstant();
4492 if (!AP.getObjFileLowering().supportGOTPCRelWithOffset() && GOTPCRelCst != 0)
4493 return;
4494
4495 // Emit the GOT PC relative to replace the got equivalent global, i.e.:
4496 //
4497 // bar:
4498 // .long 42
4499 // gotequiv:
4500 // .quad bar
4501 // foo:
4502 // .long gotequiv - "." + <cst>
4503 //
4504 // is replaced by the target specific equivalent to:
4505 //
4506 // bar:
4507 // .long 42
4508 // foo:
4509 // .long bar@GOTPCREL+<gotpcrelcst>
4510 AsmPrinter::GOTEquivUsePair Result = AP.GlobalGOTEquivs[GOTEquivSym];
4511 const GlobalVariable *GV = Result.first;
4512 int NumUses = (int)Result.second;
4513 const GlobalValue *FinalGV = dyn_cast<GlobalValue>(GV->getOperand(0));
4514 const MCSymbol *FinalSym = AP.getSymbol(FinalGV);
4516 FinalGV, FinalSym, MV, Offset, AP.MMI, *AP.OutStreamer);
4517
4518 // Update GOT equivalent usage information
4519 --NumUses;
4520 if (NumUses >= 0)
4521 AP.GlobalGOTEquivs[GOTEquivSym] = std::make_pair(GV, NumUses);
4522}
4523
4524static void emitGlobalConstantImpl(const DataLayout &DL, const Constant *CV,
4525 AsmPrinter &AP, const Constant *BaseCV,
4527 AsmPrinter::AliasMapTy *AliasList) {
4528 assert((!AliasList || AP.TM.getTargetTriple().isOSBinFormatXCOFF()) &&
4529 "AliasList only expected for XCOFF");
4530 emitGlobalAliasInline(AP, Offset, AliasList);
4531 uint64_t Size = DL.getTypeAllocSize(CV->getType());
4532
4533 // Globals with sub-elements such as combinations of arrays and structs
4534 // are handled recursively by emitGlobalConstantImpl. Keep track of the
4535 // constant symbol base and the current position with BaseCV and Offset.
4536 if (!BaseCV && CV->hasOneUse())
4537 BaseCV = dyn_cast<Constant>(CV->user_back());
4538
4540 StructType *structType;
4541 if (AliasList && (structType = llvm::dyn_cast<StructType>(CV->getType()))) {
4542 unsigned numElements = {structType->getNumElements()};
4543 if (numElements != 0) {
4544 // Handle cases of aliases to direct struct elements
4545 const StructLayout *Layout = DL.getStructLayout(structType);
4546 uint64_t SizeSoFar = 0;
4547 for (unsigned int i = 0; i < numElements - 1; ++i) {
4548 uint64_t GapToNext = Layout->getElementOffset(i + 1) - SizeSoFar;
4549 AP.OutStreamer->emitZeros(GapToNext);
4550 SizeSoFar += GapToNext;
4551 emitGlobalAliasInline(AP, Offset + SizeSoFar, AliasList);
4552 }
4553 AP.OutStreamer->emitZeros(Size - SizeSoFar);
4554 return;
4555 }
4556 }
4557 return AP.OutStreamer->emitZeros(Size);
4558 }
4559
4560 if (isa<UndefValue>(CV))
4561 return AP.OutStreamer->emitZeros(Size);
4562
4563 if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
4564 if (isa<VectorType>(CV->getType()))
4565 return emitGlobalConstantVector(DL, CV, AP, AliasList);
4566
4567 const uint64_t StoreSize = DL.getTypeStoreSize(CV->getType());
4568 if (StoreSize <= 8) {
4569 if (AP.isVerbose())
4570 AP.OutStreamer->getCommentOS()
4571 << format("0x%" PRIx64 "\n", CI->getZExtValue());
4572 AP.OutStreamer->emitIntValue(CI->getZExtValue(), StoreSize);
4573 } else {
4575 }
4576
4577 // Emit tail padding if needed
4578 if (Size != StoreSize)
4579 AP.OutStreamer->emitZeros(Size - StoreSize);
4580
4581 return;
4582 }
4583
4584 if (const ConstantByte *CB = dyn_cast<ConstantByte>(CV)) {
4585 if (isa<VectorType>(CV->getType()))
4586 return emitGlobalConstantVector(DL, CV, AP, AliasList);
4587
4588 const uint64_t StoreSize = DL.getTypeStoreSize(CV->getType());
4589 if (StoreSize <= 8) {
4590 if (AP.isVerbose())
4591 AP.OutStreamer->getCommentOS()
4592 << format("0x%" PRIx64 "\n", CB->getZExtValue());
4593 AP.OutStreamer->emitIntValue(CB->getZExtValue(), StoreSize);
4594 } else {
4596 }
4597
4598 // Emit tail padding if needed
4599 if (Size != StoreSize)
4600 AP.OutStreamer->emitZeros(Size - StoreSize);
4601
4602 return;
4603 }
4604
4605 if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) {
4606 if (isa<VectorType>(CV->getType()))
4607 return emitGlobalConstantVector(DL, CV, AP, AliasList);
4608 else
4609 return emitGlobalConstantFP(CFP, AP);
4610 }
4611
4612 if (isa<ConstantPointerNull>(CV)) {
4613 AP.OutStreamer->emitIntValue(0, Size);
4614 return;
4615 }
4616
4618 return emitGlobalConstantDataSequential(DL, CDS, AP, AliasList);
4619
4620 if (const ConstantArray *CVA = dyn_cast<ConstantArray>(CV))
4621 return emitGlobalConstantArray(DL, CVA, AP, BaseCV, Offset, AliasList);
4622
4623 if (const ConstantStruct *CVS = dyn_cast<ConstantStruct>(CV))
4624 return emitGlobalConstantStruct(DL, CVS, AP, BaseCV, Offset, AliasList);
4625
4626 if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV)) {
4627 // Look through bitcasts, which might not be able to be MCExpr'ized (e.g. of
4628 // vectors).
4629 if (CE->getOpcode() == Instruction::BitCast)
4630 return emitGlobalConstantImpl(DL, CE->getOperand(0), AP);
4631
4632 if (Size > 8) {
4633 // If the constant expression's size is greater than 64-bits, then we have
4634 // to emit the value in chunks. Try to constant fold the value and emit it
4635 // that way.
4636 Constant *New = ConstantFoldConstant(CE, DL);
4637 if (New != CE)
4638 return emitGlobalConstantImpl(DL, New, AP);
4639 }
4640 }
4641
4642 if (isa<ConstantVector>(CV))
4643 return emitGlobalConstantVector(DL, CV, AP, AliasList);
4644
4645 // Otherwise, it must be a ConstantExpr. Lower it to an MCExpr, then emit it
4646 // thread the streamer with EmitValue.
4647 const MCExpr *ME = AP.lowerConstant(CV, BaseCV, Offset);
4648
4649 // Since lowerConstant already folded and got rid of all IR pointer and
4650 // integer casts, detect GOT equivalent accesses by looking into the MCExpr
4651 // directly.
4653 handleIndirectSymViaGOTPCRel(AP, &ME, BaseCV, Offset);
4654
4655 AP.OutStreamer->emitValue(ME, Size);
4656}
4657
4658/// EmitGlobalConstant - Print a general LLVM constant to the .s file.
4660 AliasMapTy *AliasList) {
4661 uint64_t Size = DL.getTypeAllocSize(CV->getType());
4662 if (Size)
4663 emitGlobalConstantImpl(DL, CV, *this, nullptr, 0, AliasList);
4664 else if (MAI.hasSubsectionsViaSymbols()) {
4665 // If the global has zero size, emit a single byte so that two labels don't
4666 // look like they are at the same location.
4667 OutStreamer->emitIntValue(0, 1);
4668 }
4669 if (!AliasList)
4670 return;
4671 // TODO: These remaining aliases are not emitted in the correct location. Need
4672 // to handle the case where the alias offset doesn't refer to any sub-element.
4673 for (auto &AliasPair : *AliasList) {
4674 for (const GlobalAlias *GA : AliasPair.second)
4675 OutStreamer->emitLabel(getSymbol(GA));
4676 }
4677}
4678
4680 // Target doesn't support this yet!
4681 llvm_unreachable("Target does not support EmitMachineConstantPoolValue");
4682}
4683
4685 if (Offset > 0)
4686 OS << '+' << Offset;
4687 else if (Offset < 0)
4688 OS << Offset;
4689}
4690
4691void AsmPrinter::emitNops(unsigned N) {
4692 MCInst Nop = MF->getSubtarget().getInstrInfo()->getNop();
4693 for (; N; --N)
4695}
4696
4697//===----------------------------------------------------------------------===//
4698// Symbol Lowering Routines.
4699//===----------------------------------------------------------------------===//
4700
4702 return OutContext.createTempSymbol(Name, true);
4703}
4704
4706 return const_cast<AsmPrinter *>(this)->getAddrLabelSymbol(
4707 BA->getBasicBlock());
4708}
4709
4711 return const_cast<AsmPrinter *>(this)->getAddrLabelSymbol(BB);
4712}
4713
4717
4718/// GetCPISymbol - Return the symbol for the specified constant pool entry.
4719MCSymbol *AsmPrinter::GetCPISymbol(unsigned CPID) const {
4720 if (getSubtargetInfo().getTargetTriple().isWindowsMSVCEnvironment() ||
4721 getSubtargetInfo().getTargetTriple().isUEFI()) {
4722 const MachineConstantPoolEntry &CPE =
4723 MF->getConstantPool()->getConstants()[CPID];
4724 if (!CPE.isMachineConstantPoolEntry()) {
4725 const DataLayout &DL = MF->getDataLayout();
4726 SectionKind Kind = CPE.getSectionKind(&DL);
4727 const Constant *C = CPE.Val.ConstVal;
4728 Align Alignment = CPE.Alignment;
4730 DL, Kind, C, Alignment, &MF->getFunction());
4731 if (S && TM.getTargetTriple().isOSBinFormatCOFF()) {
4732 if (MCSymbol *Sym =
4733 static_cast<const MCSectionCOFF *>(S)->getCOMDATSymbol()) {
4734 if (Sym->isUndefined())
4735 OutStreamer->emitSymbolAttribute(Sym, MCSA_Global);
4736 return Sym;
4737 }
4738 }
4739 }
4740 }
4741
4742 const DataLayout &DL = getDataLayout();
4743 return OutContext.getOrCreateSymbol(Twine(DL.getInternalSymbolPrefix()) +
4744 "CPI" + Twine(getFunctionNumber()) + "_" +
4745 Twine(CPID));
4746}
4747
4748/// GetJTISymbol - Return the symbol for the specified jump table entry.
4749MCSymbol *AsmPrinter::GetJTISymbol(unsigned JTID, bool isLinkerPrivate) const {
4750 return MF->getJTISymbol(JTID, OutContext, isLinkerPrivate);
4751}
4752
4753/// GetJTSetSymbol - Return the symbol for the specified jump table .set
4754/// FIXME: privatize to AsmPrinter.
4755MCSymbol *AsmPrinter::GetJTSetSymbol(unsigned UID, unsigned MBBID) const {
4756 const DataLayout &DL = getDataLayout();
4757 return OutContext.getOrCreateSymbol(Twine(DL.getInternalSymbolPrefix()) +
4758 Twine(getFunctionNumber()) + "_" +
4759 Twine(UID) + "_set_" + Twine(MBBID));
4760}
4761
4766
4767/// Return the MCSymbol for the specified ExternalSymbol.
4769 SmallString<60> NameStr;
4771 return OutContext.getOrCreateSymbol(NameStr);
4772}
4773
4774/// PrintParentLoopComment - Print comments about parent loops of this one.
4776 unsigned FunctionNumber) {
4777 if (!Loop) return;
4778 PrintParentLoopComment(OS, Loop->getParentLoop(), FunctionNumber);
4779 OS.indent(Loop->getLoopDepth()*2)
4780 << "Parent Loop BB" << FunctionNumber << "_"
4781 << Loop->getHeader()->getNumber()
4782 << " Depth=" << Loop->getLoopDepth() << '\n';
4783}
4784
4785/// PrintChildLoopComment - Print comments about child loops within
4786/// the loop for this basic block, with nesting.
4788 unsigned FunctionNumber) {
4789 // Add child loop information
4790 for (const MachineLoop *CL : *Loop) {
4791 OS.indent(CL->getLoopDepth()*2)
4792 << "Child Loop BB" << FunctionNumber << "_"
4793 << CL->getHeader()->getNumber() << " Depth " << CL->getLoopDepth()
4794 << '\n';
4795 PrintChildLoopComment(OS, CL, FunctionNumber);
4796 }
4797}
4798
4799/// emitBasicBlockLoopComments - Pretty-print comments for basic blocks.
4801 const MachineLoopInfo *LI,
4802 const AsmPrinter &AP) {
4803 // Add loop depth information
4804 const MachineLoop *Loop = LI->getLoopFor(&MBB);
4805 if (!Loop) return;
4806
4807 MachineBasicBlock *Header = Loop->getHeader();
4808 assert(Header && "No header for loop");
4809
4810 // If this block is not a loop header, just print out what is the loop header
4811 // and return.
4812 if (Header != &MBB) {
4813 AP.OutStreamer->AddComment(" in Loop: Header=BB" +
4814 Twine(AP.getFunctionNumber())+"_" +
4816 " Depth="+Twine(Loop->getLoopDepth()));
4817 return;
4818 }
4819
4820 // Otherwise, it is a loop header. Print out information about child and
4821 // parent loops.
4822 raw_ostream &OS = AP.OutStreamer->getCommentOS();
4823
4825
4826 OS << "=>";
4827 OS.indent(Loop->getLoopDepth()*2-2);
4828
4829 OS << "This ";
4830 if (Loop->isInnermost())
4831 OS << "Inner ";
4832 OS << "Loop Header: Depth=" + Twine(Loop->getLoopDepth()) << '\n';
4833
4835}
4836
4837/// emitBasicBlockStart - This method prints the label for the specified
4838/// MachineBasicBlock, an alignment (if present) and a comment describing
4839/// it if appropriate.
4841 // End the previous funclet and start a new one.
4842 if (MBB.isEHFuncletEntry()) {
4843 for (auto &Handler : Handlers) {
4844 Handler->endFunclet();
4845 Handler->beginFunclet(MBB);
4846 }
4847 for (auto &Handler : EHHandlers) {
4848 Handler->endFunclet();
4849 Handler->beginFunclet(MBB);
4850 }
4851 }
4852
4853 // Switch to a new section if this basic block must begin a section. The
4854 // entry block is always placed in the function section and is handled
4855 // separately.
4856 if (MBB.isBeginSection() && !MBB.isEntryBlock()) {
4857 OutStreamer->switchSection(
4858 getObjFileLowering().getSectionForMachineBasicBlock(MF->getFunction(),
4859 MBB, TM));
4860 CurrentSectionBeginSym = MBB.getSymbol();
4861 }
4862
4863 for (auto &Handler : Handlers)
4864 Handler->beginCodeAlignment(MBB);
4865
4866 // Emit an alignment directive for this block, if needed.
4867 const Align Alignment = MBB.getAlignment();
4868 if (Alignment != Align(1))
4869 emitAlignment(Alignment, nullptr, MBB.getMaxBytesForAlignment());
4870
4871 // If the block has its address taken, emit any labels that were used to
4872 // reference the block. It is possible that there is more than one label
4873 // here, because multiple LLVM BB's may have been RAUW'd to this block after
4874 // the references were generated.
4875 if (MBB.isIRBlockAddressTaken()) {
4876 if (isVerbose())
4877 OutStreamer->AddComment("Block address taken");
4878
4879 BasicBlock *BB = MBB.getAddressTakenIRBlock();
4880 assert(BB && BB->hasAddressTaken() && "Missing BB");
4881 for (MCSymbol *Sym : getAddrLabelSymbolToEmit(BB))
4882 OutStreamer->emitLabel(Sym);
4883 } else if (isVerbose() && MBB.isMachineBlockAddressTaken()) {
4884 OutStreamer->AddComment("Block address taken");
4885 } else if (isVerbose() && MBB.isInlineAsmBrIndirectTarget()) {
4886 OutStreamer->AddComment("Inline asm indirect target");
4887 }
4888
4889 // Print some verbose block comments.
4890 if (isVerbose()) {
4891 if (const BasicBlock *BB = MBB.getBasicBlock()) {
4892 if (BB->hasName()) {
4893 BB->printAsOperand(OutStreamer->getCommentOS(),
4894 /*PrintType=*/false, BB->getModule());
4895 OutStreamer->getCommentOS() << '\n';
4896 }
4897 }
4898
4899 assert(MLI != nullptr && "MachineLoopInfo should has been computed");
4901 }
4902
4903 // Print the main label for the block.
4904 if (shouldEmitLabelForBasicBlock(MBB)) {
4905 if (isVerbose() && MBB.hasLabelMustBeEmitted())
4906 OutStreamer->AddComment("Label of block must be emitted");
4907 OutStreamer->emitLabel(MBB.getSymbol());
4908 } else {
4909 if (isVerbose()) {
4910 // NOTE: Want this comment at start of line, don't emit with AddComment.
4911 OutStreamer->emitRawComment(" %bb." + Twine(MBB.getNumber()) + ":",
4912 false);
4913 }
4914 }
4915
4916 if (MBB.isEHContTarget() &&
4917 ModuleExceptionModel == ExceptionHandling::WinEH) {
4918 OutStreamer->emitLabel(MBB.getEHContSymbol());
4919 }
4920
4921 // With BB sections, each basic block must handle CFI information on its own
4922 // if it begins a section (Entry block call is handled separately, next to
4923 // beginFunction).
4924 if (MBB.isBeginSection() && !MBB.isEntryBlock()) {
4925 for (auto &Handler : Handlers)
4926 Handler->beginBasicBlockSection(MBB);
4927 for (auto &Handler : EHHandlers)
4928 Handler->beginBasicBlockSection(MBB);
4929 }
4930}
4931
4933 // Check if CFI information needs to be updated for this MBB with basic block
4934 // sections.
4935 if (MBB.isEndSection()) {
4936 for (auto &Handler : Handlers)
4937 Handler->endBasicBlockSection(MBB);
4938 for (auto &Handler : EHHandlers)
4939 Handler->endBasicBlockSection(MBB);
4940 }
4941}
4942
4943void AsmPrinter::emitVisibility(MCSymbol *Sym, unsigned Visibility,
4944 bool IsDefinition) const {
4946
4947 switch (Visibility) {
4948 default: break;
4950 if (IsDefinition)
4951 Attr = MAI.getHiddenVisibilityAttr();
4952 else
4953 Attr = MAI.getHiddenDeclarationVisibilityAttr();
4954 break;
4956 Attr = MAI.getProtectedVisibilityAttr();
4957 break;
4958 }
4959
4960 if (Attr != MCSA_Invalid)
4961 OutStreamer->emitSymbolAttribute(Sym, Attr);
4962}
4963
4964bool AsmPrinter::shouldEmitLabelForBasicBlock(
4965 const MachineBasicBlock &MBB) const {
4966 // With `-fbasic-block-sections=`, a label is needed for every non-entry block
4967 // in the labels mode (option `=labels`) and every section beginning in the
4968 // sections mode (`=all` and `=list=`).
4969 if ((MF->getTarget().Options.BBAddrMap || MBB.isBeginSection()) &&
4970 !MBB.isEntryBlock())
4971 return true;
4972 // A label is needed for any block with at least one predecessor (when that
4973 // predecessor is not the fallthrough predecessor, or if it is an EH funclet
4974 // entry, or if a label is forced).
4975 return !MBB.pred_empty() &&
4976 (!isBlockOnlyReachableByFallthrough(&MBB) || MBB.isEHFuncletEntry() ||
4977 MBB.hasLabelMustBeEmitted());
4978}
4979
4980/// isBlockOnlyReachableByFallthough - Return true if the basic block has
4981/// exactly one predecessor and the control transfer mechanism between
4982/// the predecessor and this block is a fall-through.
4985 // If this is a landing pad, it isn't a fall through. If it has no preds,
4986 // then nothing falls through to it.
4987 if (MBB->isEHPad() || MBB->pred_empty())
4988 return false;
4989
4990 // If there isn't exactly one predecessor, it can't be a fall through.
4991 if (MBB->pred_size() > 1)
4992 return false;
4993
4994 // The predecessor has to be immediately before this block.
4995 MachineBasicBlock *Pred = *MBB->pred_begin();
4996 if (!Pred->isLayoutSuccessor(MBB))
4997 return false;
4998
4999 // If the block is completely empty, then it definitely does fall through.
5000 if (Pred->empty())
5001 return true;
5002
5003 // Check the terminators in the previous blocks
5004 for (const auto &MI : Pred->terminators()) {
5005 // If it is not a simple branch, we are in a table somewhere.
5006 if (!MI.isBranch() || MI.isIndirectBranch())
5007 return false;
5008
5009 // If we are the operands of one of the branches, this is not a fall
5010 // through. Note that targets with delay slots will usually bundle
5011 // terminators with the delay slot instruction.
5012 for (ConstMIBundleOperands OP(MI); OP.isValid(); ++OP) {
5013 if (OP->isJTI())
5014 return false;
5015 if (OP->isMBB() && OP->getMBB() == MBB)
5016 return false;
5017 }
5018 }
5019
5020 return true;
5021}
5022
5023GCMetadataPrinter *AsmPrinter::getOrCreateGCPrinter(GCStrategy &S) {
5024 if (!S.usesMetadata())
5025 return nullptr;
5026
5027 auto [GCPI, Inserted] = GCMetadataPrinters.try_emplace(&S);
5028 if (!Inserted)
5029 return GCPI->second.get();
5030
5031 auto Name = S.getName();
5032
5033 for (const GCMetadataPrinterRegistry::entry &GCMetaPrinter :
5035 if (Name == GCMetaPrinter.getName()) {
5036 std::unique_ptr<GCMetadataPrinter> GMP = GCMetaPrinter.instantiate();
5037 GMP->S = &S;
5038 GCPI->second = std::move(GMP);
5039 return GCPI->second.get();
5040 }
5041
5042 report_fatal_error("no GCMetadataPrinter registered for GC: " + Twine(Name));
5043}
5044
5046 std::unique_ptr<AsmPrinterHandler> Handler) {
5047 Handlers.insert(Handlers.begin(), std::move(Handler));
5049}
5050
5051/// Pin vtables to this file.
5053
5055
5056// In the binary's "xray_instr_map" section, an array of these function entries
5057// describes each instrumentation point. When XRay patches your code, the index
5058// into this table will be given to your handler as a patch point identifier.
5060 auto Kind8 = static_cast<uint8_t>(Kind);
5061 Out->emitBinaryData(StringRef(reinterpret_cast<const char *>(&Kind8), 1));
5062 Out->emitBinaryData(
5063 StringRef(reinterpret_cast<const char *>(&AlwaysInstrument), 1));
5064 Out->emitBinaryData(StringRef(reinterpret_cast<const char *>(&Version), 1));
5065 auto Padding = (4 * Bytes) - ((2 * Bytes) + 3);
5066 assert(Padding >= 0 && "Instrumentation map entry > 4 * Word Size");
5067 Out->emitZeros(Padding);
5068}
5069
5071 if (Sleds.empty())
5072 return;
5073
5074 auto PrevSection = OutStreamer->getCurrentSectionOnly();
5075 const Function &F = MF->getFunction();
5076 MCSection *InstMap = nullptr;
5077 MCSection *FnSledIndex = nullptr;
5078 const Triple &TT = TM.getTargetTriple();
5079 // Use PC-relative addresses on all targets.
5080 if (TT.isOSBinFormatELF()) {
5081 auto LinkedToSym = static_cast<const MCSymbolELF *>(CurrentFnSym);
5082 auto Flags = ELF::SHF_ALLOC | ELF::SHF_LINK_ORDER;
5083 StringRef GroupName;
5084 if (F.hasComdat()) {
5085 Flags |= ELF::SHF_GROUP;
5086 GroupName = F.getComdat()->getName();
5087 }
5088 InstMap = OutContext.getELFSection("xray_instr_map", ELF::SHT_PROGBITS,
5089 Flags, 0, GroupName, F.hasComdat(),
5090 MCSection::NonUniqueID, LinkedToSym);
5091
5092 if (TM.Options.XRayFunctionIndex)
5093 FnSledIndex = OutContext.getELFSection(
5094 "xray_fn_idx", ELF::SHT_PROGBITS, Flags, 0, GroupName, F.hasComdat(),
5095 MCSection::NonUniqueID, LinkedToSym);
5096 } else if (MF->getSubtarget().getTargetTriple().isOSBinFormatMachO()) {
5097 InstMap = OutContext.getMachOSection("__DATA", "xray_instr_map",
5100 if (TM.Options.XRayFunctionIndex)
5101 FnSledIndex = OutContext.getMachOSection("__DATA", "xray_fn_idx",
5104 } else {
5105 llvm_unreachable("Unsupported target");
5106 }
5107
5108 auto WordSizeBytes = MAI.getCodePointerSize();
5109
5110 // Now we switch to the instrumentation map section. Because this is done
5111 // per-function, we are able to create an index entry that will represent the
5112 // range of sleds associated with a function.
5113 auto &Ctx = OutContext;
5114 MCSymbol *SledsStart =
5115 OutContext.createLinkerPrivateSymbol("xray_sleds_start");
5116 OutStreamer->switchSection(InstMap);
5117 OutStreamer->emitLabel(SledsStart);
5118 for (const auto &Sled : Sleds) {
5119 MCSymbol *Dot = Ctx.createTempSymbol();
5120 OutStreamer->emitLabel(Dot);
5121 OutStreamer->emitValueImpl(
5123 MCSymbolRefExpr::create(Dot, Ctx), Ctx),
5124 WordSizeBytes);
5125 OutStreamer->emitValueImpl(
5129 MCConstantExpr::create(WordSizeBytes, Ctx),
5130 Ctx),
5131 Ctx),
5132 WordSizeBytes);
5133 Sled.emit(WordSizeBytes, OutStreamer.get());
5134 }
5135 MCSymbol *SledsEnd = OutContext.createTempSymbol("xray_sleds_end", true);
5136 OutStreamer->emitLabel(SledsEnd);
5137
5138 // We then emit a single entry in the index per function. We use the symbols
5139 // that bound the instrumentation map as the range for a specific function.
5140 // Each entry contains 2 words and needs to be word-aligned.
5141 if (FnSledIndex) {
5142 OutStreamer->switchSection(FnSledIndex);
5143 OutStreamer->emitValueToAlignment(Align(WordSizeBytes));
5144 // For Mach-O, use an "l" symbol as the atom of this subsection. The label
5145 // difference uses a SUBTRACTOR external relocation which references the
5146 // symbol.
5147 MCSymbol *Dot = Ctx.createLinkerPrivateSymbol("xray_fn_idx");
5148 OutStreamer->emitLabel(Dot);
5149 OutStreamer->emitValueImpl(
5151 MCSymbolRefExpr::create(Dot, Ctx), Ctx),
5152 WordSizeBytes);
5153 OutStreamer->emitValueImpl(MCConstantExpr::create(Sleds.size(), Ctx),
5154 WordSizeBytes);
5155 OutStreamer->switchSection(PrevSection);
5156 }
5157 Sleds.clear();
5158}
5159
5161 SledKind Kind, uint8_t Version) {
5162 const Function &F = MI.getMF()->getFunction();
5163 auto Attr = F.getFnAttribute("function-instrument");
5164 bool LogArgs = F.hasFnAttribute("xray-log-args");
5165 bool AlwaysInstrument =
5166 Attr.isStringAttribute() && Attr.getValueAsString() == "xray-always";
5167 if (Kind == SledKind::FUNCTION_ENTER && LogArgs)
5169 Sleds.emplace_back(XRayFunctionEntry{Sled, CurrentFnSym, Kind,
5170 AlwaysInstrument, &F, Version});
5171}
5172
5174 const Function &F = MF->getFunction();
5175 unsigned PatchableFunctionPrefix =
5176 F.getFnAttributeAsParsedInteger("patchable-function-prefix");
5177 unsigned PatchableFunctionEntry =
5178 F.getFnAttributeAsParsedInteger("patchable-function-entry");
5179 if (!PatchableFunctionPrefix && !PatchableFunctionEntry)
5180 return;
5181 const unsigned PointerSize = getPointerSize();
5182 if (TM.getTargetTriple().isOSBinFormatELF()) {
5183 auto Flags = ELF::SHF_WRITE | ELF::SHF_ALLOC;
5184 const MCSymbolELF *LinkedToSym = nullptr;
5185 StringRef GroupName, SectionName;
5186
5187 if (F.hasFnAttribute("patchable-function-entry-section"))
5188 SectionName = F.getFnAttribute("patchable-function-entry-section")
5189 .getValueAsString();
5190 if (SectionName.empty())
5191 SectionName = "__patchable_function_entries";
5192
5193 // GNU as < 2.35 did not support section flag 'o'. GNU ld < 2.36 did not
5194 // support mixed SHF_LINK_ORDER and non-SHF_LINK_ORDER sections.
5195 if (MAI.useIntegratedAssembler() || MAI.binutilsIsAtLeast(2, 36)) {
5196 Flags |= ELF::SHF_LINK_ORDER;
5197 if (F.hasComdat()) {
5198 Flags |= ELF::SHF_GROUP;
5199 GroupName = F.getComdat()->getName();
5200 }
5201 LinkedToSym = static_cast<const MCSymbolELF *>(CurrentFnSym);
5202 }
5203 OutStreamer->switchSection(OutContext.getELFSection(
5204 SectionName, ELF::SHT_PROGBITS, Flags, 0, GroupName, F.hasComdat(),
5205 MCSection::NonUniqueID, LinkedToSym));
5208 }
5209}
5210
5212 return OutStreamer->getContext().getDwarfVersion();
5213}
5214
5216 OutStreamer->getContext().setDwarfVersion(Version);
5217}
5218
5220 return OutStreamer->getContext().getDwarfFormat() == dwarf::DWARF64;
5221}
5222
5225 OutStreamer->getContext().getDwarfFormat());
5226}
5227
5229 return {getDwarfVersion(), uint8_t(MAI.getCodePointerSize()),
5230 OutStreamer->getContext().getDwarfFormat(),
5232}
5233
5236 OutStreamer->getContext().getDwarfFormat());
5237}
5238
5239std::tuple<const MCSymbol *, uint64_t, const MCSymbol *,
5242 const MCSymbol *BranchLabel) const {
5243 const auto TLI = MF->getSubtarget().getTargetLowering();
5244 const auto BaseExpr =
5245 TLI->getPICJumpTableRelocBaseExpr(MF, JTI, MMI->getContext());
5246 const auto Base = &cast<MCSymbolRefExpr>(BaseExpr)->getSymbol();
5247
5248 // By default, for the architectures that support CodeView,
5249 // EK_LabelDifference32 is implemented as an Int32 from the base address.
5250 return std::make_tuple(Base, 0, BranchLabel,
5252}
5253
5255 const Triple &TT = M.getTargetTriple();
5256 assert(TT.isOSBinFormatCOFF());
5257
5258 bool IsTargetArm64EC = TT.isWindowsArm64EC();
5260 SmallVector<MCSymbol *> FuncOverrideDefaultSymbols;
5261 bool SwitchedToDirectiveSection = false;
5262 for (const Function &F : M.functions()) {
5263 if (F.hasFnAttribute("loader-replaceable")) {
5264 if (!SwitchedToDirectiveSection) {
5265 OutStreamer->switchSection(
5266 OutContext.getObjectFileInfo()->getDrectveSection());
5267 SwitchedToDirectiveSection = true;
5268 }
5269
5270 StringRef Name = F.getName();
5271
5272 // For hybrid-patchable targets, strip the prefix so that we can mark
5273 // the real function as replaceable.
5274 if (IsTargetArm64EC && Name.ends_with(HybridPatchableTargetSuffix)) {
5275 Name = Name.drop_back(HybridPatchableTargetSuffix.size());
5276 }
5277
5278 MCSymbol *FuncOverrideSymbol =
5279 MMI->getContext().getOrCreateSymbol(Name + "_$fo$");
5280 OutStreamer->beginCOFFSymbolDef(FuncOverrideSymbol);
5281 OutStreamer->emitCOFFSymbolStorageClass(COFF::IMAGE_SYM_CLASS_EXTERNAL);
5282 OutStreamer->emitCOFFSymbolType(COFF::IMAGE_SYM_DTYPE_NULL);
5283 OutStreamer->endCOFFSymbolDef();
5284
5285 MCSymbol *FuncOverrideDefaultSymbol =
5286 MMI->getContext().getOrCreateSymbol(Name + "_$fo_default$");
5287 OutStreamer->beginCOFFSymbolDef(FuncOverrideDefaultSymbol);
5288 OutStreamer->emitCOFFSymbolStorageClass(COFF::IMAGE_SYM_CLASS_EXTERNAL);
5289 OutStreamer->emitCOFFSymbolType(COFF::IMAGE_SYM_DTYPE_NULL);
5290 OutStreamer->endCOFFSymbolDef();
5291 FuncOverrideDefaultSymbols.push_back(FuncOverrideDefaultSymbol);
5292
5293 OutStreamer->emitBytes((Twine(" /ALTERNATENAME:") +
5294 FuncOverrideSymbol->getName() + "=" +
5295 FuncOverrideDefaultSymbol->getName())
5296 .toStringRef(Buf));
5297 Buf.clear();
5298 }
5299 }
5300
5301 if (SwitchedToDirectiveSection)
5302 OutStreamer->popSection();
5303
5304 if (FuncOverrideDefaultSymbols.empty())
5305 return;
5306
5307 // MSVC emits the symbols for the default variables pointing at the start of
5308 // the .data section, but doesn't actually allocate any space for them. LLVM
5309 // can't do this, so have all of the variables pointing at a single byte
5310 // instead.
5311 OutStreamer->switchSection(OutContext.getObjectFileInfo()->getDataSection());
5312 for (MCSymbol *Symbol : FuncOverrideDefaultSymbols) {
5313 OutStreamer->emitLabel(Symbol);
5314 }
5315 OutStreamer->emitZeros(1);
5316 OutStreamer->popSection();
5317}
5318
5320 const Triple &TT = M.getTargetTriple();
5321 assert(TT.isOSBinFormatCOFF());
5322
5323 // Emit an absolute @feat.00 symbol.
5324 MCSymbol *S = MMI->getContext().getOrCreateSymbol(StringRef("@feat.00"));
5325 OutStreamer->beginCOFFSymbolDef(S);
5326 OutStreamer->emitCOFFSymbolStorageClass(COFF::IMAGE_SYM_CLASS_STATIC);
5327 OutStreamer->emitCOFFSymbolType(COFF::IMAGE_SYM_DTYPE_NULL);
5328 OutStreamer->endCOFFSymbolDef();
5329 int64_t Feat00Value = 0;
5330
5331 if (TT.getArch() == Triple::x86) {
5332 // According to the PE-COFF spec, the LSB of this value marks the object
5333 // for "registered SEH". This means that all SEH handler entry points
5334 // must be registered in .sxdata. Use of any unregistered handlers will
5335 // cause the process to terminate immediately. LLVM does not know how to
5336 // register any SEH handlers, so its object files should be safe.
5337 Feat00Value |= COFF::Feat00Flags::SafeSEH;
5338 }
5339
5340 if (M.getControlFlowGuardMode() == ControlFlowGuardMode::Enabled) {
5341 // Object is CFG-aware. Only set if we actually inserted the checks.
5342 Feat00Value |= COFF::Feat00Flags::GuardCF;
5343 }
5344
5345 if (M.getModuleFlag("ehcontguard")) {
5346 // Object also has EHCont.
5347 Feat00Value |= COFF::Feat00Flags::GuardEHCont;
5348 }
5349
5350 if (M.getModuleFlag("ms-kernel")) {
5351 // Object is compiled with /kernel.
5352 Feat00Value |= COFF::Feat00Flags::Kernel;
5353 }
5354
5355 OutStreamer->emitSymbolAttribute(S, MCSA_Global);
5356 OutStreamer->emitAssignment(
5357 S, MCConstantExpr::create(Feat00Value, MMI->getContext()));
5358}
5359
5360namespace llvm {
5361namespace {
5363 return MAM.getResult<FunctionAnalysisManagerModuleProxy>(M).getManager();
5364}
5365
5367 MachineFunction &MF) {
5369 .getManager();
5370}
5371
5373 MachineFunction &MF) {
5375 getFAM(M, MAM)
5377 MF.getFunction())
5378 .getManager();
5379 return MFAM;
5380}
5381} // anonymous namespace
5382
5385 MachineModuleInfo &MMI = MAM.getResult<MachineModuleAnalysis>(M).getMMI();
5386 AsmPrinter.GetMMI = [&MMI]() { return &MMI; };
5387 AsmPrinter.MMI = &MMI;
5388 AsmPrinter.GetORE = [&MAM, &M](MachineFunction &MF) {
5389 return &getMFAM(M, MAM, MF)
5391 };
5392 AsmPrinter.GetMDT = [&MAM, &M](MachineFunction &MF) {
5393 return &getMFAM(M, MAM, MF).getResult<MachineDominatorTreeAnalysis>(MF);
5394 };
5395 AsmPrinter.GetMLI = [&MAM, &M](MachineFunction &MF) {
5396 return &getMFAM(M, MAM, MF).getResult<MachineLoopAnalysis>(MF);
5397 };
5398 AsmPrinter.GetMBPI = [&MAM, &M](MachineFunction &MF) {
5399 return &getMFAM(M, MAM, MF).getResult<MachineBranchProbabilityAnalysis>(MF);
5400 };
5401 AsmPrinter.GetMBFI = [&MAM, &M](MachineFunction &MF) {
5402 return &getMFAM(M, MAM, MF).getResult<MachineBlockFrequencyAnalysis>(MF);
5403 };
5404 AsmPrinter.GetMBHI = [&MAM, &M](MachineFunction &MF) {
5405 return &getMFAM(M, MAM, MF).getResult<MachineBlockHashInfoAnalysis>(MF);
5406 };
5407 AsmPrinter.GetBBSPR = [&MAM, &M](MachineFunction &MF) {
5408 return getFAM(M, MAM)
5410 MF.getFunction());
5411 };
5412 // TODO(boomanaiden154): Get GC working with the new pass manager.
5413 AsmPrinter.BeginGCAssembly = [](Module &M) {};
5415 AsmPrinter.EmitStackMaps = [](Module &M) {};
5417}
5418
5420 MachineFunction &MF,
5422 const ModuleAnalysisManagerMachineFunctionProxy::Result &MAMProxy =
5424 MachineModuleInfo &MMI =
5425 MAMProxy
5426 .getCachedResult<MachineModuleAnalysis>(*MF.getFunction().getParent())
5427 ->getMMI();
5428 AsmPrinter.GetMMI = [&MMI]() { return &MMI; };
5429 AsmPrinter.MMI = &MMI;
5430 AsmPrinter.GetORE = [&MFAM](MachineFunction &MF) {
5432 };
5433 AsmPrinter.GetMDT = [&MFAM](MachineFunction &MF) {
5434 return &MFAM.getResult<MachineDominatorTreeAnalysis>(MF);
5435 };
5436 AsmPrinter.GetMLI = [&MFAM](MachineFunction &MF) {
5437 return &MFAM.getResult<MachineLoopAnalysis>(MF);
5438 };
5439 AsmPrinter.GetMBPI = [&MFAM](MachineFunction &MF) {
5441 };
5442 AsmPrinter.GetMBFI = [&MFAM](MachineFunction &MF) {
5443 return &MFAM.getResult<MachineBlockFrequencyAnalysis>(MF);
5444 };
5445 AsmPrinter.GetMBHI = [&MFAM](MachineFunction &MF) {
5446 return &MFAM.getResult<MachineBlockHashInfoAnalysis>(MF);
5447 };
5448 AsmPrinter.GetBBSPR = [&MFAM](MachineFunction &MF) {
5449 return getFAM(MFAM, MF)
5451 MF.getFunction());
5452 };
5453 // TODO(boomanaiden154): Get GC working with the new pass manager.
5454 AsmPrinter.BeginGCAssembly = [](Module &M) {};
5456 AsmPrinter.EmitStackMaps = [](Module &M) {};
5458}
5459
5461
5462} // namespace llvm
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
uint64_t uint64_t
This file declares a class to represent arbitrary precision floating point values and provide a varie...
This file implements a class to represent arbitrary precision integral constant values and operations...
MachineBasicBlock & MBB
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static cl::opt< bool > PgoAnalysisMapEmitBBSectionsCfg("pgo-analysis-map-emit-bb-sections-cfg", cl::desc("Enable the post-link cfg information from the basic block " "sections profile in the PGO analysis map"), cl::Hidden, cl::init(false))
static bool emitDebugValueComment(const MachineInstr *MI, AsmPrinter &AP)
emitDebugValueComment - This method handles the target-independent form of DBG_VALUE,...
static cl::opt< std::string > StackUsageFile("stack-usage-file", cl::desc("Output filename for stack usage information"), cl::value_desc("filename"), cl::Hidden)
static uint32_t getBBAddrMapMetadata(const MachineBasicBlock &MBB)
Returns the BB metadata to be emitted in the SHT_LLVM_BB_ADDR_MAP section for a given basic block.
static cl::opt< bool > BBAddrMapSkipEmitBBEntries("basic-block-address-map-skip-bb-entries", cl::desc("Skip emitting basic block entries in the SHT_LLVM_BB_ADDR_MAP " "section. It's used to save binary size when BB entries are " "unnecessary for some PGOAnalysisMap features."), cl::Hidden, cl::init(false))
static void emitGlobalConstantFP(const ConstantFP *CFP, AsmPrinter &AP)
static void emitFakeUse(const MachineInstr *MI, AsmPrinter &AP)
static bool isGOTEquivalentCandidate(const GlobalVariable *GV, unsigned &NumGOTEquivUsers, bool &HasNonGlobalUsers)
Only consider global GOT equivalents if at least one user is a cstexpr inside an initializer of anoth...
static void emitGlobalConstantLargeByte(const ConstantByte *CB, AsmPrinter &AP)
static void tagGlobalDefinition(Module &M, GlobalVariable *G)
static void emitBasicBlockLoopComments(const MachineBasicBlock &MBB, const MachineLoopInfo *LI, const AsmPrinter &AP)
emitBasicBlockLoopComments - Pretty-print comments for basic blocks.
static void emitGlobalConstantLargeAPInt(const APInt &Val, uint64_t TypeStoreSize, AsmPrinter &AP)
static void handleIndirectSymViaGOTPCRel(AsmPrinter &AP, const MCExpr **ME, const Constant *BaseCst, uint64_t Offset)
Transform a not absolute MCExpr containing a reference to a GOT equivalent global,...
static llvm::object::BBAddrMap::Features getBBAddrMapFeature(const MachineFunction &MF, int NumMBBSectionRanges, bool HasCalls, const CFGProfile *FuncCFGProfile)
static int isRepeatedByteSequence(const ConstantDataSequential *V)
isRepeatedByteSequence - Determine whether the given value is composed of a repeated sequence of iden...
static void emitGlobalAliasInline(AsmPrinter &AP, uint64_t Offset, AsmPrinter::AliasMapTy *AliasList)
static bool needFuncLabels(const MachineFunction &MF, const AsmPrinter &Asm)
Returns true if function begin and end labels should be emitted.
static unsigned getNumGlobalVariableUses(const Constant *C, bool &HasNonGlobalUsers)
Compute the number of Global Variables that uses a Constant.
static 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 cl::list< 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 ConstantInt * extractNumericCGTypeId(const Function &F)
Extracts a numeric type identifier of a Function's type from callgraph metadata.
static cl::opt< bool > PrintLatency("asm-print-latency", cl::desc("Print instruction latencies as verbose asm comments"), cl::Hidden, cl::init(false))
static bool emitDebugLabelComment(const MachineInstr *MI, AsmPrinter &AP)
This method handles the target-independent form of DBG_LABEL, returning true if it was able to do so.
static bool canBeHidden(const GlobalValue *GV, const MCAsmInfo &MAI)
static void emitGlobalConstantVector(const DataLayout &DL, const Constant *CV, AsmPrinter &AP, AsmPrinter::AliasMapTy *AliasList)
static cl::opt< bool > EmitJumpTableSizesSection("emit-jump-table-sizes-section", cl::desc("Emit a section containing jump table addresses and sizes"), cl::Hidden, cl::init(false))
static void emitGlobalConstantArray(const DataLayout &DL, const ConstantArray *CA, AsmPrinter &AP, const Constant *BaseCV, uint64_t Offset, AsmPrinter::AliasMapTy *AliasList)
static void emitGlobalConstantLargeInt(const ConstantInt *CI, AsmPrinter &AP)
static const Function * getParent(const Value *V)
static GCRegistry::Add< ShadowStackGC > C("shadow-stack", "Very portable GC for uncooperative code generators")
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
#define clEnumValN(ENUMVAL, FLAGNAME, DESC)
This file contains the declarations for the subclasses of Constant, which represent the different fla...
This file defines the DenseMap class.
This file contains constants used for implementing Dwarf debug support.
#define DEBUG_TYPE
This file contains the declaration of the GlobalIFunc class, which represents a single indirect funct...
const HexagonInstrInfo * TII
IRTranslator LLVM IR MI
Module.h This file contains the declarations for the Module class.
This file contains common utilities for code prefetch insertion.
===- LazyMachineBlockFrequencyInfo.h - Lazy Block Frequency -*- C++ -*–===//
const FeatureInfo AllFeatures[]
#define F(x, y, z)
Definition MD5.cpp:54
#define I(x, y, z)
Definition MD5.cpp:57
#define G(x, y, z)
Definition MD5.cpp:55
This file declares the MachineConstantPool class which is an abstract constant pool to keep track of ...
===- MachineOptimizationRemarkEmitter.h - Opt Diagnostics -*- C++ -*-—===//
Register Reg
static cl::opt< std::string > OutputFilename("o", cl::desc("Output filename"), cl::value_desc("filename"), cl::init("-"))
This file provides utility analysis objects describing memory locations.
This file contains the declarations for metadata subclasses.
static constexpr StringLiteral Filename
OptimizedStructLayoutField Field
ModuleAnalysisManager MAM
Func getContext().diagnose(DiagnosticInfoUnsupported(Func
This file contains some templates that are useful if you are working with the STL at all.
#define OP(OPC)
Definition Instruction.h:46
This file defines the SmallPtrSet class.
This file defines the SmallString class.
This file defines the SmallVector class.
This file defines the 'Statistic' class, which is designed to be an easy way to expose various metric...
#define STATISTIC(VARNAME, DESC)
Definition Statistic.h:171
This file contains some functions that are useful when dealing with strings.
std::unique_ptr< MCStreamer > && Streamer
This file describes how to lower LLVM code to machine code.
Defines the virtual file system interface vfs::FileSystem.
Value * LHS
static const fltSemantics & IEEEdouble()
Definition APFloat.h:305
static constexpr roundingMode rmNearestTiesToEven
Definition APFloat.h:361
LLVM_ABI opStatus convert(const fltSemantics &ToSemantics, roundingMode RM, bool *losesInfo)
Definition APFloat.cpp:6045
LLVM_ABI double convertToDouble() const
Converts this APFloat to host double value.
Definition APFloat.cpp:6104
void toString(SmallVectorImpl< char > &Str, unsigned FormatPrecision=0, unsigned FormatMaxPadding=3, bool TruncateZero=true) const
Definition APFloat.h:1620
APInt bitcastToAPInt() const
Definition APFloat.h:1475
Class for arbitrary precision integers.
Definition APInt.h:78
unsigned getBitWidth() const
Return the number of bits in the APInt.
Definition APInt.h:1508
unsigned getNumWords() const
Get the number of words.
Definition APInt.h:1515
const uint64_t * getRawData() const
This function returns a pointer to the internal storage of the APInt.
Definition APInt.h:571
int64_t getSExtValue() const
Get sign extended value.
Definition APInt.h:1582
void lshrInPlace(unsigned ShiftAmt)
Logical right-shift this APInt by ShiftAmt in place.
Definition APInt.h:860
AddrLabelMap(MCContext &context)
void UpdateForRAUWBlock(BasicBlock *Old, BasicBlock *New)
void takeDeletedSymbolsForFunction(Function *F, std::vector< MCSymbol * > &Result)
If we have any deleted symbols for F, return them.
void UpdateForDeletedBlock(BasicBlock *BB)
ArrayRef< MCSymbol * > getAddrLabelSymbolToEmit(BasicBlock *BB)
PassT::Result & getResult(IRUnitT &IR, ExtraArgTs... ExtraArgs)
Get the result of an analysis pass for a given IR unit.
Represent the analysis usage information of a pass.
AnalysisUsage & addUsedIfAvailable()
Add the specified Pass class to the set of analyses used by this pass.
AnalysisUsage & addRequired()
void setPreservesAll()
Set by analyses that do not transform their input at all.
Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition ArrayRef.h:40
const T & front() const
Get the first element.
Definition ArrayRef.h:144
bool empty() const
Check if the array is empty.
Definition ArrayRef.h:136
static LLVM_ABI AnalysisKey Key
virtual ~AsmPrinterHandler()
Pin vtables to this file.
virtual void markFunctionEnd()
This class is intended to be used as a driving class for all asm writers.
Definition AsmPrinter.h:95
virtual void emitInstruction(const MachineInstr *)
Targets should implement this to emit instructions.
Definition AsmPrinter.h:671
void emitDanglingPrefetchTargets()
Emit prefetch targets that were not mapped to any basic block.
const TargetLoweringObjectFile & getObjFileLowering() const
Return information about object file lowering.
MCSymbol * getSymbolWithGlobalValueBase(const GlobalValue *GV, StringRef Suffix) const
Return the MCSymbol for a private symbol with global value name as its base, with the specified suffi...
MCSymbol * getSymbol(const GlobalValue *GV) const
void emitULEB128(uint64_t Value, const char *Desc=nullptr, unsigned PadTo=0) const
Emit the specified unsigned leb128 value.
SmallVector< XRayFunctionEntry, 4 > Sleds
Definition AsmPrinter.h:451
MapVector< MBBSectionID, MBBSectionRange > MBBSectionRanges
Definition AsmPrinter.h:165
bool isDwarf64() const
void emitNops(unsigned N)
Emit N NOP instructions.
MCSymbol * CurrentFnBegin
Definition AsmPrinter.h:246
MachineLoopInfo * MLI
This is a pointer to the current MachineLoopInfo.
Definition AsmPrinter.h:125
virtual void emitDebugValue(const MCExpr *Value, unsigned Size) const
Emit the directive and value for debug thread local expression.
void EmitToStreamer(MCStreamer &S, const MCInst &Inst)
virtual void emitConstantPool()
Print to the current output stream assembly representations of the constants in the constant pool MCP...
virtual void emitGlobalVariable(const GlobalVariable *GV)
Emit the specified global variable to the .s file.
std::function< MachineOptimizationRemarkEmitter *(MachineFunction &)> GetORE
Definition AsmPrinter.h:184
virtual const MCExpr * lowerConstantPtrAuth(const ConstantPtrAuth &CPA)
Definition AsmPrinter.h:692
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...
unsigned getPointerSize() const
Return the pointer size in bytes from the target triple.
Definition AsmPrinter.h:381
virtual bool emitTargetFeaturePush(const MCSubtargetInfo &STI)
Emit necessary directives to allow use of instructions that are permitted by target features enabled ...
Definition AsmPrinter.h:970
~AsmPrinter() override
TargetMachine & TM
Target machine description.
Definition AsmPrinter.h:98
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:151
virtual void emitBasicBlockEnd(const MachineBasicBlock &MBB)
Targets can override this to emit stuff at the end of a basic block.
Align emitAlignment(Align Alignment, const GlobalObject *GV=nullptr, unsigned MaxBytesToEmit=0) const
Emit an alignment directive to the specified power of two boundary.
virtual void emitJumpTableEntry(const MachineJumpTableInfo &MJTI, const MachineBasicBlock *MBB, unsigned uid) const
EmitJumpTableEntry - Emit a jump table entry for the specified MBB to the current stream.
MCSymbol * CurrentFnDescSym
The symbol for the current function descriptor on AIX.
Definition AsmPrinter.h:139
MCSymbol * CurrentFnBeginLocal
For dso_local functions, the current $local alias for the function.
Definition AsmPrinter.h:249
MapVector< const MCSymbol *, GOTEquivUsePair > GlobalGOTEquivs
Definition AsmPrinter.h:170
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:344
void emitLabelDifference(const MCSymbol *Hi, const MCSymbol *Lo, unsigned Size) const
Emit something like ".long Hi-Lo" where the size in bytes of the directive is specified by Size and H...
void emitKCFITrapEntry(const MachineFunction &MF, const MCSymbol *Symbol)
SmallVector< std::unique_ptr< EHStreamer >, 1 > EHHandlers
A handle to the EH info emitter (if present).
Definition AsmPrinter.h:252
virtual void emitMachOIFuncStubHelperBody(Module &M, const GlobalIFunc &GI, MCSymbol *LazyPointer)
Definition AsmPrinter.h:723
MCSymbol * getMBBExceptionSym(const MachineBasicBlock &MBB)
std::function< void(Module &)> EmitStackMaps
Definition AsmPrinter.h:195
MCSymbol * getAddrLabelSymbol(const BasicBlock *BB)
Return the symbol to be used for the specified basic block when its address is taken.
Definition AsmPrinter.h:354
virtual DwarfDebug * createDwarfDebug()
Create the DwarfDebug handler.
std::function< BasicBlockSectionsProfileReader *(MachineFunction &)> GetBBSPR
Returns the basic block sections profile reader if available, nullptr otherwise.
Definition AsmPrinter.h:192
SmallVector< std::unique_ptr< AsmPrinterHandler >, 2 > Handlers
Definition AsmPrinter.h:257
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:113
virtual void emitJumpTableInfo()
Print assembly representations of the jump tables used by the current function to the current output ...
void computeGlobalGOTEquivs(Module &M)
Unnamed constant global variables solely contaning a pointer to another globals variable act like a g...
static Align getGVAlignment(const GlobalObject *GV, const DataLayout &DL, Align InAlign=Align(1))
Return the alignment for the specified GV.
MCSymbol * createCallsiteEndSymbol(const MachineBasicBlock &MBB)
Creates a new symbol to be used for the end of a callsite at the specified basic block.
virtual const MCExpr * lowerConstant(const Constant *CV, const Constant *BaseCV=nullptr, uint64_t Offset=0)
Lower the specified LLVM Constant to an MCExpr.
void emitCallGraphSection(const MachineFunction &MF, FunctionCallGraphInfo &FuncCGInfo)
Emits .llvm.callgraph section.
void emitInt8(int Value) const
Emit a byte directive and value.
CFISection getFunctionCFISectionType(const Function &F) const
Get the CFISection type for a function.
virtual void SetupMachineFunction(MachineFunction &MF)
This should be called when a new MachineFunction is being processed from runOnMachineFunction.
void emitFunctionBody()
This method emits the body and trailer for a function.
virtual bool isBlockOnlyReachableByFallthrough(const MachineBasicBlock *MBB) const
Return true if the basic block has exactly one predecessor and the control transfer mechanism between...
void emitBBAddrMapSection(const MachineFunction &MF)
void emitPCSections(const MachineFunction &MF)
Emits the PC sections collected from instructions.
MachineDominatorTree * MDT
This is a pointer to the current MachineDominatorTree.
Definition AsmPrinter.h:122
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:647
unsigned PointerSize
The pointer size in bytes for the default address space.
Definition AsmPrinter.h:119
MCSymbol * GetJTISymbol(unsigned JTID, bool isLinkerPrivate=false) const
Return the symbol for the specified jump table entry.
std::function< void(Module &)> FinishGCAssembly
Definition AsmPrinter.h:194
virtual void emitMachineConstantPoolValue(MachineConstantPoolValue *MCPV)
bool hasDebugInfo() const
Returns true if valid debug info is present.
Definition AsmPrinter.h:545
virtual void emitFunctionBodyStart()
Targets can override this to emit stuff before the first basic block in the function.
Definition AsmPrinter.h:655
std::function< MachineDominatorTree *(MachineFunction &)> GetMDT
Definition AsmPrinter.h:185
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:169
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:651
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:717
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:128
DenseMap< uint64_t, SmallVector< const GlobalAlias *, 1 > > AliasMapTy
Print a general LLVM constant to the .s file.
Definition AsmPrinter.h:617
virtual bool shouldEmitWeakSwiftAsyncExtendedFramePointerFlags() const
std::function< MachineBlockHashInfoResult *(MachineFunction &)> GetMBHI
Definition AsmPrinter.h:189
AsmPrinter(TargetMachine &TM, std::unique_ptr< MCStreamer > Streamer, char &ID=AsmPrinter::ID)
void printOffset(int64_t Offset, raw_ostream &OS) const
This is just convenient handler for printing offsets.
void emitGlobalConstant(const DataLayout &DL, const Constant *CV, AliasMapTy *AliasList=nullptr)
EmitGlobalConstant - Print a general LLVM constant to the .s file.
void emitFrameAlloc(const MachineInstr &MI)
void emitStackSizeSection(const MachineFunction &MF)
MCSymbol * getSymbolPreferLocal(const GlobalValue &GV) const
Similar to getSymbol() but preferred for references.
std::function< void(Module &)> BeginGCAssembly
Definition AsmPrinter.h:193
MCSymbol * CurrentFnSym
The symbol for the current function.
Definition AsmPrinter.h:135
MachineModuleInfo * MMI
This is a pointer to the current MachineModuleInfo.
Definition AsmPrinter.h:116
void emitSLEB128(int64_t Value, const char *Desc=nullptr) const
Emit the specified signed leb128 value.
std::function< MachineBlockFrequencyInfo *(MachineFunction &)> GetMBFI
Definition AsmPrinter.h:188
MCContext & OutContext
This is the context for the output file that we are streaming.
Definition AsmPrinter.h:105
const StaticDataProfileInfo * SDPI
Provides the profile information for constants.
Definition AsmPrinter.h:154
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:713
void emitStackUsage(const MachineFunction &MF)
virtual void emitKCFITypeId(const MachineFunction &MF)
bool isPositionIndependent() const
virtual void emitTargetFeaturePop(const MCSubtargetInfo &STI, bool DidPush)
Emit necessary directives to restore target feature state.
Definition AsmPrinter.h:977
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:131
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:110
const ProfileSummaryInfo * PSI
The profile summary information.
Definition AsmPrinter.h:157
const MCAsmInfo & MAI
Target Asm Printer information.
Definition AsmPrinter.h:101
std::function< void()> AssertDebugEHFinalized
Definition AsmPrinter.h:196
virtual void emitFunctionDescriptor()
Definition AsmPrinter.h:680
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:258
MCSymbol * CurrentFnSymForSize
The symbol used to represent the start of the current function for the purpose of calculating its siz...
Definition AsmPrinter.h:144
std::function< MachineLoopInfo *(MachineFunction &)> GetMLI
Definition AsmPrinter.h:186
std::function< MachineModuleInfo *()> GetMMI
Definition AsmPrinter.h:183
bool isVerbose() const
Return true if assembly output should contain comments.
Definition AsmPrinter.h:335
MCSymbol * getFunctionEnd() const
Definition AsmPrinter.h:345
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:688
void preprocessXXStructorList(const DataLayout &DL, const Constant *List, SmallVector< Structor, 8 > &Structors)
This method gathers an array of Structors and then sorts them out by Priority.
void emitInt16(int Value) const
Emit a short directive and value.
void setDwarfVersion(uint16_t Version)
void getNameWithPrefix(SmallVectorImpl< char > &Name, const GlobalValue *GV) const
StringRef getConstantSectionSuffix(const Constant *C) const
Returns a section suffix (hot or unlikely) for the constant if profiles are available.
void emitPseudoProbe(const MachineInstr &MI)
void emitRemarksSection(remarks::RemarkStreamer &RS)
virtual MaybeAlign getRequiredGlobalAlignmentGranule(const GlobalVariable &GV)
Returns a optional minimum alignment that applies to both the address and the allocation size of the ...
MCSymbol * GetBlockAddressSymbol(const BlockAddress *BA) const
Return the MCSymbol used to satisfy BlockAddress uses of the specified basic block.
ArrayRef< MCSymbol * > getAddrLabelSymbolToEmit(const BasicBlock *BB)
Return the symbol to be used for the specified basic block when its address is taken.
virtual void emitFunctionBodyEnd()
Targets can override this to emit stuff after the last basic block in the function.
Definition AsmPrinter.h:659
const DataLayout & getDataLayout() const
Return information about data layout.
void emitCOFFFeatureSymbol(Module &M)
Emits the @feat.00 symbol indicating the features enabled in this module.
virtual void emitFunctionEntryLabel()
EmitFunctionEntryLabel - Emit the label that is the entrypoint for the function.
MCSymbol * GetExternalSymbolSymbol(const Twine &Sym) const
Return the MCSymbol for the specified ExternalSymbol.
void handleCallsiteForCallgraph(FunctionCallGraphInfo &FuncCGInfo, const MachineFunction::CallSiteInfoMap &CallSitesInfoMap, const MachineInstr &MI)
If MI is an indirect call, add expected type IDs to indirect type ids list.
void emitPrefetchTargetSymbol(const UniqueBBID &BBID, unsigned CallsiteIndex)
Helper to emit a symbol for the prefetch target associated with the given BBID and callsite index.
void emitInt64(uint64_t Value) const
Emit a long long directive and value.
uint16_t getDwarfVersion() const
dwarf::FormParams getDwarfFormParams() const
Returns information about the byte size of DW_FORM values.
const MCSubtargetInfo & getSubtargetInfo() const
Return information about subtarget.
void emitCOFFReplaceableFunctionData(Module &M)
Emits symbols and data to allow functions marked with the loader-replaceable attribute to be replacea...
bool usesCFIWithoutEH() const
Since emitting CFI unwind information is entangled with supporting the exceptions,...
bool doesDwarfUseRelocationsAcrossSections() const
Definition AsmPrinter.h:401
@ None
Do not emit either .eh_frame or .debug_frame.
Definition AsmPrinter.h:174
@ Debug
Emit .debug_frame.
Definition AsmPrinter.h:176
std::function< MachineBranchProbabilityInfo *(MachineFunction &)> GetMBPI
Definition AsmPrinter.h:187
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.
Analysis pass providing the BasicBlockSectionsProfileReader.
const CFGProfile * getFunctionCFGProfile(StringRef FuncName) const
LLVM Basic Block Representation.
Definition BasicBlock.h:62
unsigned getNumber() const
Definition BasicBlock.h:95
const Function * getParent() const
Return the enclosing method, or null if none.
Definition BasicBlock.h:213
bool hasAddressTaken() const
Returns true if there are any uses of this basic block other than direct branches,...
Definition BasicBlock.h:666
The address of a basic block.
Definition Constants.h:1088
BasicBlock * getBasicBlock() const
Definition Constants.h:1125
uint64_t getFrequency() const
Returns the frequency as a fixpoint number scaled by the entry frequency.
uint32_t getNumerator() const
Value handle with callbacks on RAUW and destruction.
ConstMIBundleOperands - Iterate over all operands in a const bundle of machine instructions.
ConstantArray - Constant Array Declarations.
Definition Constants.h:590
ArrayType * getType() const
Specialize the getType() method to always return an ArrayType, which reduces the amount of casting ne...
Definition Constants.h:609
Class for constant bytes.
Definition Constants.h:281
const APInt & getValue() const
Return the constant as an APInt value reference.
Definition Constants.h:345
static Constant * get(LLVMContext &Context, ArrayRef< ElementTy > Elts)
get() constructor - Return a constant with array type with an element count and element type matching...
Definition Constants.h:878
ConstantDataSequential - A vector or array constant whose element type is a simple 1/2/4/8-byte integ...
Definition Constants.h:755
LLVM_ABI APFloat getElementAsAPFloat(uint64_t i) const
If this is a sequential container of floating point type, return the specified element as an APFloat.
LLVM_ABI uint64_t getElementAsInteger(uint64_t i) const
If this is a sequential container of integers (of any size), return the specified element in the low ...
StringRef getAsString() const
If this array is isString(), then this method returns the array as a StringRef.
Definition Constants.h:831
LLVM_ABI uint64_t getElementByteSize() const
Return the size (in bytes) of each element in the array/vector.
LLVM_ABI bool isString(unsigned CharSize=8) const
This method returns true if this is an array of CharSize integers or bytes.
LLVM_ABI uint64_t getNumElements() const
Return the number of elements in the array or vector.
LLVM_ABI Type * getElementType() const
Return the element type of the array/vector.
A constant value that is initialized with an expression using other constant values.
Definition Constants.h:1316
static LLVM_ABI Constant * getBitCast(Constant *C, Type *Ty, bool OnlyIfReduced=false)
ConstantFP - Floating Point Values [float, double].
Definition Constants.h:420
const APFloat & getValueAPF() const
Definition Constants.h:463
This is the shared class of boolean and integer constants.
Definition Constants.h:87
uint64_t getLimitedValue(uint64_t Limit=~0ULL) const
getLimitedValue - If the value is smaller than the specified limit, return it, otherwise return the l...
Definition Constants.h:269
uint64_t getZExtValue() const
Return the constant as a 64-bit unsigned integer value after it has been zero extended as appropriate...
Definition Constants.h:168
const APInt & getValue() const
Return the constant as an APInt value reference.
Definition Constants.h:159
A signed pointer, in the ptrauth sense.
Definition Constants.h:1223
StructType * getType() const
Specialization - reduce amount of casting.
Definition Constants.h:661
static Constant * getAnon(ArrayRef< Constant * > V, bool Packed=false)
Return an anonymous struct that has the specified elements.
Definition Constants.h:643
This is an important base class in LLVM.
Definition Constant.h:44
bool isNullValue() const
Return true if this is the value that would be returned by getNullValue.
Definition Constant.h:65
LLVM_ABI Constant * getAggregateElement(unsigned Elt) const
For aggregates (struct/array/vector) return the constant that corresponds to the specified element if...
DWARF expression.
iterator_range< expr_op_iterator > expr_ops() const
unsigned getNumElements() const
static LLVM_ABI std::optional< const DIExpression * > convertToNonVariadicExpression(const DIExpression *Expr)
If Expr is a valid single-location expression, i.e.
Subprogram description. Uses SubclassData1.
Wrapper for a function that represents a value that functionally represents the original function.
Definition Constants.h:1143
A parsed version of the target data layout string in and methods for querying it.
Definition DataLayout.h:64
bool isBigEndian() const
Definition DataLayout.h:218
TypeSize getTypeStoreSize(Type *Ty) const
Returns the maximum number of bytes that may be overwritten by storing the specified type.
Definition DataLayout.h:579
A debug info location.
Definition DebugLoc.h:126
bool empty() const
Definition DenseMap.h:716
iterator find(const_arg_type_t< KeyT > Val)
Definition DenseMap.h:766
iterator end()
Definition DenseMap.h:686
Implements a dense probed hash-table based set.
Definition DenseSet.h:281
Collects and handles dwarf debug information.
Definition DwarfDebug.h:352
Emits exception handling directives.
Definition EHStreamer.h:30
bool hasPersonalityFn() const
Check whether this function has a personality function.
Definition Function.h:890
Constant * getPersonalityFn() const
Get the personality function associated with this function.
const Function & getFunction() const
Definition Function.h:167
LLVMContext & getContext() const
getContext - Return a reference to the LLVMContext associated with this function.
Definition Function.cpp:352
GCMetadataPrinter - Emits GC metadata as assembly code.
An analysis pass which caches information about the entire Module.
Definition GCMetadata.h:237
SmallVector< std::unique_ptr< GCStrategy >, 1 >::const_iterator iterator
Definition GCMetadata.h:266
GCStrategy describes a garbage collector algorithm's code generation requirements,...
Definition GCStrategy.h:64
bool usesMetadata() const
If set, appropriate metadata tables must be emitted by the back-end (assembler, JIT,...
Definition GCStrategy.h:120
const std::string & getName() const
Return the name of the GC strategy.
Definition GCStrategy.h:90
LLVM_ABI const GlobalObject * getAliaseeObject() const
Definition Globals.cpp:730
const Constant * getAliasee() const
Definition GlobalAlias.h:87
LLVM_ABI const Function * getResolverFunction() const
Definition Globals.cpp:759
const Constant * getResolver() const
Definition GlobalIFunc.h:73
StringRef getSection() const
Get the custom section of this global if it has one.
bool hasMetadata() const
Return true if this GlobalObject has any metadata attached to it.
bool hasSection() const
Check if this global has a custom object file section.
bool hasLinkOnceLinkage() const
bool hasExternalLinkage() const
bool isDSOLocal() const
bool isThreadLocal() const
If the value is "Thread Local", its value isn't shared by the threads.
VisibilityTypes getVisibility() const
LLVM_ABI bool isDeclaration() const
Return true if the primary definition of this global value is outside of the current translation unit...
Definition Globals.cpp:408
LinkageTypes getLinkage() const
bool hasLocalLinkage() const
static StringRef dropLLVMManglingEscape(StringRef Name)
If the given string begins with the GlobalValue name mangling escape character '\1',...
bool hasPrivateLinkage() const
bool isTagged() const
bool isDeclarationForLinker() const
Module * getParent()
Get the module that this global value is contained inside of...
PointerType * getType() const
Global values are always pointers.
VisibilityTypes
An enumeration for the kinds of visibility of global values.
Definition GlobalValue.h:67
@ DefaultVisibility
The GV is visible.
Definition GlobalValue.h:68
@ HiddenVisibility
The GV is hidden.
Definition GlobalValue.h:69
@ ProtectedVisibility
The GV is protected.
Definition GlobalValue.h:70
LLVM_ABI const DataLayout & getDataLayout() const
Get the data layout of the module this global belongs to.
Definition Globals.cpp:205
LLVM_ABI bool canBenefitFromLocalAlias() const
Definition Globals.cpp:187
bool hasComdat() const
bool hasWeakLinkage() const
bool hasCommonLinkage() const
bool hasGlobalUnnamedAddr() const
bool hasAppendingLinkage() const
static bool isDiscardableIfUnused(LinkageTypes Linkage)
Whether the definition of this global may be discarded if it is not used in its compilation unit.
LLVM_ABI bool canBeOmittedFromSymbolTable() const
True if GV can be left out of the object symbol table.
Definition Globals.cpp:546
bool hasAvailableExternallyLinkage() const
LinkageTypes
An enumeration for the kinds of linkage for global values.
Definition GlobalValue.h:52
@ PrivateLinkage
Like Internal, but omit from symbol table.
Definition GlobalValue.h:61
@ CommonLinkage
Tentative definitions.
Definition GlobalValue.h:63
@ InternalLinkage
Rename collisions when linking (static functions).
Definition GlobalValue.h:60
@ LinkOnceAnyLinkage
Keep one copy of function when linking (inline)
Definition GlobalValue.h:55
@ WeakODRLinkage
Same, but only replaced by something equivalent.
Definition GlobalValue.h:58
@ ExternalLinkage
Externally visible function.
Definition GlobalValue.h:53
@ WeakAnyLinkage
Keep one copy of named function when linking (weak)
Definition GlobalValue.h:57
@ AppendingLinkage
Special purpose, only applies to global arrays.
Definition GlobalValue.h:59
@ AvailableExternallyLinkage
Available for inspection, not emission.
Definition GlobalValue.h:54
@ ExternalWeakLinkage
ExternalWeak linkage description.
Definition GlobalValue.h:62
@ LinkOnceODRLinkage
Same, but only replaced by something equivalent.
Definition GlobalValue.h:56
Type * getValueType() const
const Constant * getInitializer() const
getInitializer - Return the initializer for this global variable.
bool hasInitializer() const
Definitions have initializers, declarations don't.
LLVM_ABI uint64_t getGlobalSize(const DataLayout &DL) const
Get the size of this global variable in bytes.
Definition Globals.cpp:640
bool isConstant() const
If the value is a global constant, its value is immutable throughout the runtime execution of the pro...
Itinerary data supplied by a subtarget to be used by a target.
Class to represent integer types.
static LLVM_ABI IntegerType * get(LLVMContext &C, unsigned NumBits)
This static method is the primary way of constructing an IntegerType.
Definition Type.cpp:338
LLVM_ABI void emitError(const Instruction *I, const Twine &ErrorStr)
emitError - Emit an error message to the currently installed error handler with optional location inf...
This is an alternative analysis pass to MachineBlockFrequencyInfo.
A helper class to return the specified delimiter string after the first invocation of operator String...
bool isInnermost() const
Return true if the loop does not contain any (natural) loops.
BlockT * getHeader() const
unsigned getLoopDepth() const
Return the nesting level of this loop.
LoopT * getParentLoop() const
Return the parent loop if it exists or nullptr for top level loops.
LoopT * getLoopFor(const BlockT *BB) const
Return the inner most loop that BB lives in.
Represents a single loop in the control flow graph.
Definition LoopInfo.h:40
This class is intended to be used as a base class for asm properties and features specific to the tar...
Definition MCAsmInfo.h:67
bool hasWeakDefCanBeHiddenDirective() const
Definition MCAsmInfo.h:634
bool hasSubsectionsViaSymbols() const
Definition MCAsmInfo.h:466
const char * getWeakRefDirective() const
Definition MCAsmInfo.h:632
bool hasIdentDirective() const
Definition MCAsmInfo.h:629
static const MCBinaryExpr * createAdd(const MCExpr *LHS, const MCExpr *RHS, MCContext &Ctx, SMLoc Loc=SMLoc())
Definition MCExpr.h:342
static const MCBinaryExpr * createAnd(const MCExpr *LHS, const MCExpr *RHS, MCContext &Ctx)
Definition MCExpr.h:347
static const MCBinaryExpr * createGTE(const MCExpr *LHS, const MCExpr *RHS, MCContext &Ctx)
Definition MCExpr.h:367
static const MCBinaryExpr * createSub(const MCExpr *LHS, const MCExpr *RHS, MCContext &Ctx)
Definition MCExpr.h:427
static LLVM_ABI const MCConstantExpr * create(int64_t Value, MCContext &Ctx, bool PrintInHex=false, unsigned SizeInBytes=0)
Definition MCExpr.cpp:212
Context object for machine code objects.
Definition MCContext.h:83
Base class for the full range of assembler expressions which are needed for parsing.
Definition MCExpr.h:34
MCFragment * getNext() const
Definition MCSection.h:177
size_t getFixedSize() const
Definition MCSection.h:223
Instances of this class represent a single low-level machine instruction.
Definition MCInst.h:188
unsigned getOpcode() const
Definition MCInst.h:202
void setOpcode(unsigned Op)
Definition MCInst.h:201
Interface to description of machine instruction set.
Definition MCInstrInfo.h:27
MCSection * getTLSBSSSection() const
MCSection * getStackSizesSection(const MCSection &TextSec) const
MCSection * getBBAddrMapSection(const MCSection &TextSec) const
MCSection * getTLSExtraDataSection() const
MCSection * getKCFITrapSection(const MCSection &TextSec) const
MCSection * getPCSection(StringRef Name, const MCSection *TextSec) const
MCSection * getCallGraphSection(const MCSection &TextSec) const
MCSection * getDataSection() const
This represents a section on Windows.
Instances of this class represent a uniqued identifier for a section in the current translation unit.
Definition MCSection.h:580
bool isBssSection() const
Check whether this section is "virtual", that is has no actual object file contents.
Definition MCSection.h:697
static constexpr unsigned NonUniqueID
Definition MCSection.h:585
Streaming machine code generation interface.
Definition MCStreamer.h:222
virtual void emitInstruction(const MCInst &Inst, const MCSubtargetInfo &STI)
Emit the given Instruction into the current section.
Generic base class for all target subtargets.
const MCSchedModel & getSchedModel() const
Get the machine model for this subtarget's CPU.
LLVM_ABI unsigned getBinding() const
static const MCSymbolRefExpr * create(const MCSymbol *Symbol, MCContext &Ctx, SMLoc Loc=SMLoc())
Definition MCExpr.h:213
StringRef getSymbolTableName() const
bool hasRename() const
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
Definition MCSymbol.h:42
bool isDefined() const
isDefined - Check if this symbol is defined (i.e., it has an address).
Definition MCSymbol.h:233
bool isUndefined() const
isUndefined - Check if this symbol undefined (i.e., implicitly defined).
Definition MCSymbol.h:243
StringRef getName() const
getName - Get the symbol name.
Definition MCSymbol.h:188
bool isVariable() const
isVariable - Check if this is a variable symbol.
Definition MCSymbol.h:267
void redefineIfPossible()
Prepare this symbol to be redefined.
Definition MCSymbol.h:212
const MCSymbol * getAddSym() const
Definition MCValue.h:49
int64_t getConstant() const
Definition MCValue.h:44
const MCSymbol * getSubSym() const
Definition MCValue.h:51
bool isAbsolute() const
Is this an absolute (as opposed to relocatable) value.
Definition MCValue.h:54
Metadata node.
Definition Metadata.h:1081
const MDOperand & getOperand(unsigned I) const
Definition Metadata.h:1437
ArrayRef< MDOperand > operands() const
Definition Metadata.h:1435
Tracking metadata reference owned by Metadata.
Definition Metadata.h:902
A single uniqued string.
Definition Metadata.h:733
LLVM_ABI StringRef getString() const
Definition Metadata.cpp:615
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.
Result object for MachineBlockHashInfo.
LLVM_ABI uint64_t getMBBHash(const MachineBasicBlock &MBB) const
Legacy MachineFunctionPass for MachineBlockHashInfo.
LLVM_ABI BranchProbability getEdgeProbability(const MachineBasicBlock *Src, const MachineBasicBlock *Dst) const
This class is a data container for one entry in a MachineConstantPool.
union llvm::MachineConstantPoolEntry::@004270020304201266316354007027341142157160323045 Val
The constant itself.
bool isMachineConstantPoolEntry() const
isMachineConstantPoolEntry - Return true if the MachineConstantPoolEntry is indeed a target specific ...
MachineConstantPoolValue * MachineCPVal
Align Alignment
The required alignment for this entry.
LLVM_ABI unsigned getSizeInBytes(const DataLayout &DL) const
LLVM_ABI SectionKind getSectionKind(const DataLayout *DL) const
Abstract base class for all machine specific constantpool value subclasses.
The MachineConstantPool class keeps track of constants referenced by a function which must be spilled...
const std::vector< MachineConstantPoolEntry > & getConstants() const
Analysis pass which computes a MachineDominatorTree.
DominatorTree Class - Concrete subclass of DominatorTreeBase that is used to compute a normal dominat...
The MachineFrameInfo class represents an abstract stack frame until prolog/epilog code is inserted.
void getAnalysisUsage(AnalysisUsage &AU) const override
getAnalysisUsage - Subclasses that override getAnalysisUsage must call this.
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
DenseMap< const MachineInstr *, CallSiteInfo > CallSiteInfoMap
bool hasBBSections() const
Returns true if this function has basic block sections enabled.
Function & getFunction()
Return the LLVM function that this machine code represents.
const std::vector< LandingPadInfo > & getLandingPads() const
Return a reference to the landing pad info for the current function.
const TargetMachine & getTarget() const
getTarget - Return the target machine this machine code is compiled with
Representation of each machine instruction.
LLVM_ABI unsigned getEntrySize(const DataLayout &TD) const
getEntrySize - Return the size of each entry in the jump table.
@ EK_GPRel32BlockAddress
EK_GPRel32BlockAddress - Each entry is an address of block, encoded with a relocation as gp-relative,...
@ EK_Inline
EK_Inline - Jump table entries are emitted inline at their point of use.
@ EK_LabelDifference32
EK_LabelDifference32 - Each entry is the address of the block minus the address of the jump table.
@ EK_Custom32
EK_Custom32 - Each entry is a 32-bit value that is custom lowered by the TargetLowering::LowerCustomJ...
@ EK_LabelDifference64
EK_LabelDifference64 - Each entry is the address of the block minus the address of the jump table.
@ EK_BlockAddress
EK_BlockAddress - Each entry is a plain address of block, e.g.: .word LBB123.
@ EK_GPRel64BlockAddress
EK_GPRel64BlockAddress - Each entry is an address of block, encoded with a relocation as gp-relative,...
LLVM_ABI unsigned getEntryAlignment(const DataLayout &TD) const
getEntryAlignment - Return the alignment of each entry in the jump table.
const std::vector< MachineJumpTableEntry > & getJumpTables() const
Analysis pass that exposes the MachineLoopInfo for a machine function.
An analysis that produces MachineModuleInfo for a module.
MachineModuleInfoCOFF - This is a MachineModuleInfoImpl implementation for COFF targets.
SymbolListTy GetGVStubList()
Accessor methods to return the set of stubs in sorted order.
MachineModuleInfoELF - This is a MachineModuleInfoImpl implementation for ELF targets.
SymbolListTy GetGVStubList()
Accessor methods to return the set of stubs in sorted order.
std::vector< std::pair< MCSymbol *, StubValueTy > > SymbolListTy
This class contains meta information specific to a module.
MachineOperand class - Representation of each machine instruction operand.
const GlobalValue * getGlobal() const
bool isSymbol() const
isSymbol - Tests if this is a MO_ExternalSymbol operand.
bool isGlobal() const
isGlobal - Tests if this is a MO_GlobalAddress operand.
MachineOperandType getType() const
getType - Returns the MachineOperandType for this operand.
const char * getSymbolName() const
@ MO_Immediate
Immediate operand.
@ MO_GlobalAddress
Address of a global value.
@ MO_CImmediate
Immediate >64bit operand.
@ MO_FrameIndex
Abstract Stack Frame Index.
@ MO_Register
Register operand.
@ MO_ExternalSymbol
Name of external global symbol.
@ MO_TargetIndex
Target-dependent index+offset operand.
@ MO_FPImmediate
Floating-point immediate operand.
Diagnostic information for optimization analysis remarks.
LLVM_ABI void getNameWithPrefix(raw_ostream &OS, const GlobalValue *GV, bool CannotUsePrivateLabel) const
Print the appropriate prefix and the specified global variable's name.
Definition Mangler.cpp:121
A Module instance is used to store all the information related to an LLVM module.
Definition Module.h:68
A tuple of MDNodes.
Definition Metadata.h:1797
LLVM_ABI unsigned getNumOperands() const
iterator_range< op_iterator > operands()
Definition Metadata.h:1893
Wrapper for a value that won't be replaced with a CFI jump table pointer in LowerTypeTestsModule.
Definition Constants.h:1182
AnalysisType & getAnalysis() const
getAnalysis<AnalysisType>() - This function is used by subclasses to get to the analysis information ...
AnalysisType * getAnalysisIfAvailable() const
getAnalysisIfAvailable<AnalysisType>() - Subclasses use this function to get analysis information tha...
static PointerType * getUnqual(LLVMContext &C)
This constructs an opaque pointer to an object in the default address space (address space zero).
Wrapper class representing virtual and physical registers.
Definition Register.h:20
SimpleRegistryEntry< GCMetadataPrinter, CtorParamTypes... > entry
Definition Registry.h:123
static iterator_range< iterator > entries()
Definition Registry.h:183
Represents a location in source code.
Definition SMLoc.h:22
SectionKind - This is a simple POD value that classifies the properties of a section.
Definition SectionKind.h:22
bool isCommon() const
bool isBSS() const
static SectionKind getReadOnlyWithRel()
bool isBSSLocal() const
bool isThreadBSS() const
bool isThreadLocal() const
bool isThreadData() const
static SectionKind getReadOnly()
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements.
SmallString - A SmallString is just a SmallVector with methods and accessors that make it work better...
Definition SmallString.h:26
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
reference emplace_back(ArgTypes &&... Args)
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
int64_t getFixed() const
Returns the fixed component of the stack.
Definition TypeSize.h:47
Represent a constant reference to a string, i.e.
Definition StringRef.h:56
constexpr StringRef substr(size_t Start, size_t N=npos) const
Return a reference to the substring from [Start, Start + N).
Definition StringRef.h:597
bool contains(StringRef Other) const
Return true if the given string is a substring of *this, and false otherwise.
Definition StringRef.h:446
size_t find(char C, size_t From=0) const
Search for the first character C in the string.
Definition StringRef.h:290
Used to lazily calculate structure layout information for a target machine, based on the DataLayout s...
Definition DataLayout.h:743
TypeSize getSizeInBytes() const
Definition DataLayout.h:752
TypeSize getElementOffset(unsigned Idx) const
Definition DataLayout.h:774
Class to represent struct types.
unsigned getNumElements() const
Random access to the elements.
Information about stack frame layout on the target.
virtual StackOffset getFrameIndexReference(const MachineFunction &MF, int FI, Register &FrameReg) const
getFrameIndexReference - This method should return the base register and offset used to reference a f...
TargetInstrInfo - Interface to description of machine instruction set.
@ AllowOverEstimate
Allow the reported instruction size to be larger than the actual size.
@ NoVerify
Do not verify instruction size.
Align getMinFunctionAlignment() const
Return the minimum function alignment.
virtual const MCExpr * lowerDSOLocalEquivalent(const MCSymbol *LHS, const MCSymbol *RHS, int64_t Addend, std::optional< int64_t > PCRelativeOffset, const TargetMachine &TM) const
virtual MCSection * getSectionForCommandLines() const
If supported, return the section to use for the llvm.commandline metadata.
static SectionKind getKindForGlobal(const GlobalObject *GO, const TargetMachine &TM)
Classify the specified global variable into a set of target independent categories embodied in Sectio...
virtual MCSection * getSectionForJumpTable(const Function &F, const TargetMachine &TM) const
virtual bool shouldPutJumpTableInFunctionSection(bool UsesLabelDifference, const Function &F) const
virtual const MCExpr * getIndirectSymViaGOTPCRel(const GlobalValue *GV, const MCSymbol *Sym, const MCValue &MV, int64_t Offset, MachineModuleInfo *MMI, MCStreamer &Streamer) const
Get the target specific PC relative GOT entry relocation.
virtual MCSection * getSectionForConstant(const DataLayout &DL, SectionKind Kind, const Constant *C, Align &Alignment, const Function *F) const
Given a constant with the SectionKind, return a section that it should be placed in.
virtual const MCExpr * lowerRelativeReference(const GlobalValue *LHS, const GlobalValue *RHS, int64_t Addend, std::optional< int64_t > PCRelativeOffset, const TargetMachine &TM) const
MCSymbol * getSymbolWithGlobalValueBase(const GlobalValue *GV, StringRef Suffix, const TargetMachine &TM) const
Return the MCSymbol for a private symbol with global value name as its base, with the specified suffi...
bool supportGOTPCRelWithOffset() const
Target GOT "PC"-relative relocation supports encoding an additional binary expression with an offset?
bool supportIndirectSymViaGOTPCRel() const
Target supports replacing a data "PC"-relative access to a symbol through another symbol,...
virtual void emitModuleMetadata(MCStreamer &Streamer, const Module &M) const
Emit the module-level metadata that the platform cares about.
virtual MCSymbol * getFunctionEntryPointSymbol(const GlobalValue *Func, const TargetMachine &TM) const
If supported, return the function entry point symbol.
MCSection * SectionForGlobal(const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const
This method computes the appropriate section to emit the specified global variable or function defini...
This class defines information used to lower LLVM code to legal SelectionDAG operators that the targe...
virtual const MCExpr * getPICJumpTableRelocBaseExpr(const MachineFunction *MF, unsigned JTI, MCContext &Ctx) const
This returns the relocation base for the given PIC jumptable, the same as getPICJumpTableRelocBase,...
Primary interface to the complete machine description for the target machine.
const Triple & getTargetTriple() const
TargetOptions Options
unsigned EnableStaticDataPartitioning
Enables the StaticDataSplitter pass.
virtual const TargetFrameLowering * getFrameLowering() const
virtual const TargetInstrInfo * getInstrInfo() const
virtual const TargetRegisterInfo * getRegisterInfo() const =0
Return the target's register information.
virtual const TargetLowering * getTargetLowering() const
Target - Wrapper for Target specific information.
TinyPtrVector - This class is specialized for cases where there are normally 0 or 1 element in a vect...
Triple - Helper class for working with autoconf configuration names.
Definition Triple.h:48
bool isOSBinFormatXCOFF() const
Tests whether the OS uses the XCOFF binary format.
Definition Triple.h:882
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
Definition Twine.h:82
The instances of the Type class are immutable: once they are created, they are never changed.
Definition Type.h:46
static LLVM_ABI IntegerType * getInt64Ty(LLVMContext &C)
Definition Type.cpp:300
bool isPPC_FP128Ty() const
Return true if this is powerpc long double.
Definition Type.h:167
bool isSized() const
Return true if it makes sense to take the size of this type.
Definition Type.h:321
LLVM_ABI void print(raw_ostream &O, bool IsForDebug=false, bool NoDetails=false) const
Print the current type.
bool isFunctionTy() const
True if this is an instance of FunctionType.
Definition Type.h:268
Value * getOperand(unsigned i) const
Definition User.h:207
unsigned getNumOperands() const
Definition User.h:229
Value * operator=(Value *RHS)
Definition ValueHandle.h:81
LLVM Value Representation.
Definition Value.h:75
Type * getType() const
All values are typed, get the type of this value.
Definition Value.h:257
LLVM_ABI std::string getNameOrAsOperand() const
Definition Value.cpp:457
bool hasOneUse() const
Return true if there is exactly one use of this value.
Definition Value.h:441
LLVMContext & getContext() const
All values hold a context through their type.
Definition Value.h:260
iterator_range< user_iterator > users()
Definition Value.h:428
User * user_back()
Definition Value.h:414
LLVM_ABI void printAsOperand(raw_ostream &O, bool PrintType=true, const Module *M=nullptr) const
Print the name of this Value out to the specified raw_ostream.
LLVM_ABI const Value * stripPointerCasts() const
Strip off pointer casts, all-zero GEPs and address space casts.
Definition Value.cpp:708
bool use_empty() const
Definition Value.h:348
LLVM_ABI StringRef getName() const
Return a constant reference to the value's name.
Definition Value.cpp:315
std::pair< iterator, bool > insert(const ValueT &V)
Definition DenseSet.h:209
bool contains(const_arg_type_t< ValueT > V) const
Check if the set contains the given element.
Definition DenseSet.h:182
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition raw_ostream.h:53
raw_ostream & indent(unsigned NumSpaces)
indent - Insert 'NumSpaces' spaces.
A raw_ostream that writes to an std::string.
std::string & str()
Returns the string's reference.
A raw_ostream that writes to an SmallVector or SmallString.
StringRef str() const
Return a StringRef for the vector contents.
LLVM_ABI StringRef OperationEncodingString(unsigned Encoding)
Definition Dwarf.cpp:138
This file contains the declaration of the Comdat class, which represents a single COMDAT in LLVM.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
constexpr char Align[]
Key for Kernel::Arg::Metadata::mAlign.
@ IMAGE_SCN_MEM_READ
Definition COFF.h:336
@ IMAGE_SCN_MEM_DISCARDABLE
Definition COFF.h:331
@ IMAGE_SCN_LNK_INFO
Definition COFF.h:307
@ IMAGE_SCN_CNT_INITIALIZED_DATA
Definition COFF.h:304
@ IMAGE_SCN_LNK_COMDAT
Definition COFF.h:309
@ IMAGE_SYM_CLASS_EXTERNAL
External symbol.
Definition COFF.h:224
@ IMAGE_SYM_CLASS_STATIC
Static.
Definition COFF.h:225
@ IMAGE_COMDAT_SELECT_ASSOCIATIVE
Definition COFF.h:459
@ IMAGE_COMDAT_SELECT_ANY
Definition COFF.h:456
@ SafeSEH
Definition COFF.h:847
@ GuardEHCont
Definition COFF.h:855
@ GuardCF
Definition COFF.h:853
@ Kernel
Definition COFF.h:857
@ IMAGE_SYM_DTYPE_NULL
No complex type; simple scalar variable.
Definition COFF.h:274
@ IMAGE_SYM_DTYPE_FUNCTION
A function that returns a base type.
Definition COFF.h:276
@ SCT_COMPLEX_TYPE_SHIFT
Type is formed as (base + (derived << SCT_COMPLEX_TYPE_SHIFT))
Definition COFF.h:280
@ SHF_ALLOC
Definition ELF.h:1259
@ SHF_LINK_ORDER
Definition ELF.h:1274
@ SHF_GROUP
Definition ELF.h:1281
@ SHF_WRITE
Definition ELF.h:1256
@ SHT_LLVM_JT_SIZES
Definition ELF.h:1198
@ SHT_PROGBITS
Definition ELF.h:1157
@ SHT_LLVM_SYMPART
Definition ELF.h:1190
@ STB_WEAK
Definition ELF.h:1423
constexpr uint32_t S_ATTR_LIVE_SUPPORT
Blocks are live if they reference live blocks.
Definition MachO.h:200
@ Itanium
Windows CE ARM, PowerPC, SH3, SH4.
Definition MCAsmInfo.h:52
@ X86
Windows x64, Windows Itanium (IA-64)
Definition MCAsmInfo.h:53
ValuesClass values(OptsTy... Options)
Helper to build a ValuesClass by forwarding a variable number of arguments as an initializer list to ...
initializer< Ty > init(const Ty &Val)
uint8_t getUnitLengthFieldByteSize(DwarfFormat Format)
Get the byte size of the unit length field depending on the DWARF format.
Definition Dwarf.h:1245
@ 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:1203
std::enable_if_t< detail::IsValidPointer< X, Y >::value, X * > extract(Y &&MD)
Extract a Value from Metadata.
Definition Metadata.h:679
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:793
LLVM_ABI StringRef filename(StringRef path LLVM_LIFETIME_BOUND, Style style=Style::native)
Get filename.
Definition Path.cpp:594
LLVM_ABI bool is_absolute(const Twine &path, Style style=Style::native)
Is path absolute?
Definition Path.cpp:688
This is an optimization pass for GlobalISel generic memory operations.
@ Offset
Definition DWP.cpp:577
void stable_sort(R &&Range)
Definition STLExtras.h:2132
LLVM_ABI bool shouldEmitBBHash()
Returns whether -emit-bb-hash is set.
OuterAnalysisManagerProxy< ModuleAnalysisManager, MachineFunction > ModuleAnalysisManagerMachineFunctionProxy
Provide the ModuleAnalysisManager to Function proxy.
LLVM_ABI std::pair< StringRef, StringRef > getToken(StringRef Source, StringRef Delimiters=" \t\n\v\f\r")
getToken - This function extracts one token from source, ignoring any leading characters that appear ...
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:643
LLVM_ABI bool IsConstantOffsetFromGlobal(Constant *C, GlobalValue *&GV, APInt &Offset, const DataLayout &DL, DSOLocalEquivalent **DSOEquiv=nullptr)
If this constant is a constant offset from a global, return the global and the constant.
void append_range(Container &C, Range &&R)
Wrapper function to append range R to container C.
Definition STLExtras.h:2224
InnerAnalysisManagerProxy< FunctionAnalysisManager, Module > FunctionAnalysisManagerModuleProxy
Provide the FunctionAnalysisManager to Module proxy.
AnalysisManager< MachineFunction > MachineFunctionAnalysisManager
bool isa_and_nonnull(const Y &Val)
Definition Casting.h:676
Op::Description Desc
@ MCDR_DataRegionEnd
.end_data_region
@ MCDR_DataRegionJT32
.data_region jt32
bool isNoOpWithoutInvoke(EHPersonality Pers)
Return true if this personality may be safely removed if there are no invoke instructions remaining i...
RelativeUniformCounterPtr ValuesPtrExpr VTableAddr Value
Definition InstrProf.h:143
constexpr T MinAlign(U A, V B)
A and B are either alignments or offsets.
Definition MathExtras.h:352
LLVM_ABI Constant * ConstantFoldConstant(const Constant *C, const DataLayout &DL, const TargetLibraryInfo *TLI=nullptr)
ConstantFoldConstant - Fold the constant using the specified DataLayout.
auto dyn_cast_or_null(const Y &Val)
Definition Casting.h:753
auto reverse(ContainerTy &&C)
Definition STLExtras.h:408
void sort(IteratorTy Start, IteratorTy End)
Definition STLExtras.h:1652
LLVM_ABI void setupModuleAsmPrinter(Module &M, ModuleAnalysisManager &MAM, AsmPrinter &AsmPrinter)
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition Debug.cpp:209
LLVM_ABI void report_fatal_error(Error Err, bool gen_crash_diag=true)
Definition Error.cpp:163
constexpr uint64_t alignTo(uint64_t Size, Align A)
Returns a multiple of A needed to store Size bytes.
Definition Alignment.h:149
LLVM_ABI SmallString< 128 > getPrefetchTargetSymbolName(StringRef FunctionName, const UniqueBBID &BBID, unsigned CallsiteIndex)
SmallVector< ValueTypeFromRangeType< R >, Size > to_vector(R &&Range)
Given a range of type R, iterate the entire range and return a SmallVector with elements of the vecto...
LLVM_ABI EHPersonality classifyEHPersonality(const Value *Pers)
See if the given exception handling personality function is one that we understand.
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
Definition Casting.h:547
InnerAnalysisManagerProxy< MachineFunctionAnalysisManager, Function > MachineFunctionAnalysisManagerFunctionProxy
format_object< Ts... > format(const char *Fmt, const Ts &... Vals)
These are helper functions used to produce formatted output.
Definition Format.h:102
constexpr std::string_view HybridPatchableTargetSuffix
Definition Mangler.h:37
LLVM_ABI raw_fd_ostream & errs()
This returns a reference to a raw_ostream for standard error.
@ Global
Append to llvm.global_dtors.
DWARFExpression::Operation Op
ArrayRef(const T &OneElt) -> ArrayRef< T >
constexpr unsigned BitWidth
OutputIt move(R &&Range, OutputIt Out)
Provide wrappers to std::move which take ranges instead of having to pass begin/end explicitly.
Definition STLExtras.h:1933
@ SjLj
setjmp/longjmp based exceptions
Definition CodeGen.h:58
@ ZOS
z/OS MVS Exception Handling.
Definition CodeGen.h:64
@ Emscripten
Emscripten JavaScript-based exception handling.
Definition CodeGen.h:62
@ None
No exception support.
Definition CodeGen.h:56
@ Default
Not specified; resolve to the target's default model.
Definition CodeGen.h:55
@ AIX
AIX Exception Handling.
Definition CodeGen.h:63
@ DwarfCFI
DWARF-like instruction based exceptions.
Definition CodeGen.h:57
@ WinEH
Windows Exception Handling.
Definition CodeGen.h:60
@ Wasm
WebAssembly Exception Handling.
Definition CodeGen.h:61
LLVM_ABI void setupMachineFunctionAsmPrinter(MachineFunctionAnalysisManager &MFAM, MachineFunction &MF, AsmPrinter &AsmPrinter)
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:559
constexpr auto seq(T Begin, T End)
Iterate over an integral type from Begin up to - but not including - End.
Definition Sequence.h:341
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.
Definition STLExtras.h:1963
bool all_equal(std::initializer_list< T > Values)
Returns true if all Values in the initializer lists are equal or the list.
Definition STLExtras.h:2182
AnalysisManager< Function > FunctionAnalysisManager
Convenience typedef for the Function analysis manager.
@ TypeHash
Token ID based on allocated type hash.
Definition AllocToken.h:32
@ End
Run the machine verifier once, at the end of the pipeline.
Definition CodeGen.h:267
LLVM_ABI Constant * ConstantFoldIntegerCast(Constant *C, Type *DestTy, bool IsSigned, const DataLayout &DL)
Constant fold a zext, sext or trunc, depending on IsSigned and whether the DestTy is wider or narrowe...
LLVM_ABI Printable printReg(Register Reg, const TargetRegisterInfo *TRI=nullptr, unsigned SubIdx=0, const MachineRegisterInfo *MRI=nullptr)
Prints virtual and physical registers with or without a TRI instance.
@ MCSA_Local
.local (ELF)
@ MCSA_WeakDefAutoPrivate
.weak_def_can_be_hidden (MachO)
@ MCSA_Memtag
.memtag (ELF)
@ MCSA_WeakReference
.weak_reference (MachO)
@ MCSA_AltEntry
.alt_entry (MachO)
@ MCSA_ELF_TypeIndFunction
.type _foo, STT_GNU_IFUNC
@ MCSA_Weak
.weak
@ MCSA_WeakDefinition
.weak_definition (MachO)
@ MCSA_Global
.type _foo, @gnu_unique_object
@ MCSA_Cold
.cold (MachO)
@ MCSA_ELF_TypeObject
.type _foo, STT_OBJECT # aka @object
@ MCSA_ELF_TypeFunction
.type _foo, STT_FUNC # aka @function
@ MCSA_Invalid
Not a valid directive.
@ MCSA_NoDeadStrip
.no_dead_strip (MachO)
AnalysisManager< Module > ModuleAnalysisManager
Convenience typedef for the Module analysis manager.
Definition MIRParser.h:39
constexpr const char * PseudoProbeDescMetadataName
Definition PseudoProbe.h:26
LLVM_ABI void reportFatalUsageError(Error Err)
Report a fatal error that does not indicate a bug in LLVM.
Definition Error.cpp:177
Implement std::hash so that hash_code can be used in STL containers.
Definition BitVector.h:878
void swap(llvm::BitVector &LHS, llvm::BitVector &RHS)
Implement std::swap in terms of BitVector swap.
Definition BitVector.h:880
#define N
#define NC
Definition regutils.h:42
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition Alignment.h:39
A special type used by analysis passes to provide an address that identifies that particular analysis...
Definition Analysis.h:29
Map a basic block section ID to the begin and end symbols of that section which determine the section...
Definition AsmPrinter.h:161
llvm.global_ctors and llvm.global_dtors are arrays of Structor structs.
Definition AsmPrinter.h:580
LLVM_ABI void emit(int, MCStreamer *) const
uint64_t getEdgeCount(const UniqueBBID &SrcBBID, const UniqueBBID &SinkBBID) const
uint64_t getBlockCount(const UniqueBBID &BBID) const
Machine model for scheduling, bundling, and heuristics.
Definition MCSchedule.h:274
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:111
A helper struct providing information about the byte size of DW_FORM values that vary in size dependi...
Definition Dwarf.h:1216
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.