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