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