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