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