LLVM 20.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"
64#include "llvm/Config/config.h"
65#include "llvm/IR/BasicBlock.h"
66#include "llvm/IR/Comdat.h"
67#include "llvm/IR/Constant.h"
68#include "llvm/IR/Constants.h"
69#include "llvm/IR/DataLayout.h"
73#include "llvm/IR/Function.h"
74#include "llvm/IR/GCStrategy.h"
75#include "llvm/IR/GlobalAlias.h"
76#include "llvm/IR/GlobalIFunc.h"
78#include "llvm/IR/GlobalValue.h"
80#include "llvm/IR/Instruction.h"
81#include "llvm/IR/Mangler.h"
82#include "llvm/IR/Metadata.h"
83#include "llvm/IR/Module.h"
84#include "llvm/IR/Operator.h"
85#include "llvm/IR/PseudoProbe.h"
86#include "llvm/IR/Type.h"
87#include "llvm/IR/Value.h"
88#include "llvm/IR/ValueHandle.h"
89#include "llvm/MC/MCAsmInfo.h"
90#include "llvm/MC/MCContext.h"
92#include "llvm/MC/MCExpr.h"
93#include "llvm/MC/MCInst.h"
94#include "llvm/MC/MCSection.h"
99#include "llvm/MC/MCStreamer.h"
101#include "llvm/MC/MCSymbol.h"
102#include "llvm/MC/MCSymbolELF.h"
104#include "llvm/MC/MCValue.h"
105#include "llvm/MC/SectionKind.h"
106#include "llvm/Object/ELFTypes.h"
107#include "llvm/Pass.h"
109#include "llvm/Support/Casting.h"
113#include "llvm/Support/Format.h"
115#include "llvm/Support/Path.h"
116#include "llvm/Support/VCSRevision.h"
122#include <algorithm>
123#include <cassert>
124#include <cinttypes>
125#include <cstdint>
126#include <iterator>
127#include <memory>
128#include <optional>
129#include <string>
130#include <utility>
131#include <vector>
132
133using namespace llvm;
134
135#define DEBUG_TYPE "asm-printer"
136
137// This is a replication of fields of object::PGOAnalysisMap::Features. It
138// should match the order of the fields so that
139// `object::PGOAnalysisMap::Features::decode(PgoAnalysisMapFeatures.getBits())`
140// succeeds.
143 BBFreq,
144 BrProb,
145};
147 "pgo-analysis-map", cl::Hidden, cl::CommaSeparated,
149 "func-entry-count", "Function Entry Count"),
151 "Basic Block Frequency"),
153 "Branch Probability")),
154 cl::desc(
155 "Enable extended information within the SHT_LLVM_BB_ADDR_MAP that is "
156 "extracted from PGO related analysis."));
157
158STATISTIC(EmittedInsts, "Number of machine instrs printed");
159
160char AsmPrinter::ID = 0;
161
162namespace {
163class AddrLabelMapCallbackPtr final : CallbackVH {
164 AddrLabelMap *Map = nullptr;
165
166public:
167 AddrLabelMapCallbackPtr() = default;
168 AddrLabelMapCallbackPtr(Value *V) : CallbackVH(V) {}
169
170 void setPtr(BasicBlock *BB) {
172 }
173
174 void setMap(AddrLabelMap *map) { Map = map; }
175
176 void deleted() override;
177 void allUsesReplacedWith(Value *V2) override;
178};
179} // namespace
180
182 MCContext &Context;
183 struct AddrLabelSymEntry {
184 /// The symbols for the label.
186
187 Function *Fn; // The containing function of the BasicBlock.
188 unsigned Index; // The index in BBCallbacks for the BasicBlock.
189 };
190
191 DenseMap<AssertingVH<BasicBlock>, AddrLabelSymEntry> AddrLabelSymbols;
192
193 /// Callbacks for the BasicBlock's that we have entries for. We use this so
194 /// we get notified if a block is deleted or RAUWd.
195 std::vector<AddrLabelMapCallbackPtr> BBCallbacks;
196
197 /// This is a per-function list of symbols whose corresponding BasicBlock got
198 /// deleted. These symbols need to be emitted at some point in the file, so
199 /// AsmPrinter emits them after the function body.
200 DenseMap<AssertingVH<Function>, std::vector<MCSymbol *>>
201 DeletedAddrLabelsNeedingEmission;
202
203public:
204 AddrLabelMap(MCContext &context) : Context(context) {}
205
207 assert(DeletedAddrLabelsNeedingEmission.empty() &&
208 "Some labels for deleted blocks never got emitted");
209 }
210
212
214 std::vector<MCSymbol *> &Result);
215
218};
219
221 assert(BB->hasAddressTaken() &&
222 "Shouldn't get label for block without address taken");
223 AddrLabelSymEntry &Entry = AddrLabelSymbols[BB];
224
225 // If we already had an entry for this block, just return it.
226 if (!Entry.Symbols.empty()) {
227 assert(BB->getParent() == Entry.Fn && "Parent changed");
228 return Entry.Symbols;
229 }
230
231 // Otherwise, this is a new entry, create a new symbol for it and add an
232 // entry to BBCallbacks so we can be notified if the BB is deleted or RAUWd.
233 BBCallbacks.emplace_back(BB);
234 BBCallbacks.back().setMap(this);
235 Entry.Index = BBCallbacks.size() - 1;
236 Entry.Fn = BB->getParent();
238 : Context.createTempSymbol();
239 Entry.Symbols.push_back(Sym);
240 return Entry.Symbols;
241}
242
243/// If we have any deleted symbols for F, return them.
245 Function *F, std::vector<MCSymbol *> &Result) {
246 DenseMap<AssertingVH<Function>, std::vector<MCSymbol *>>::iterator I =
247 DeletedAddrLabelsNeedingEmission.find(F);
248
249 // If there are no entries for the function, just return.
250 if (I == DeletedAddrLabelsNeedingEmission.end())
251 return;
252
253 // Otherwise, take the list.
254 std::swap(Result, I->second);
255 DeletedAddrLabelsNeedingEmission.erase(I);
256}
257
258//===- Address of Block Management ----------------------------------------===//
259
262 // Lazily create AddrLabelSymbols.
263 if (!AddrLabelSymbols)
264 AddrLabelSymbols = std::make_unique<AddrLabelMap>(OutContext);
265 return AddrLabelSymbols->getAddrLabelSymbolToEmit(
266 const_cast<BasicBlock *>(BB));
267}
268
270 const Function *F, std::vector<MCSymbol *> &Result) {
271 // If no blocks have had their addresses taken, we're done.
272 if (!AddrLabelSymbols)
273 return;
274 return AddrLabelSymbols->takeDeletedSymbolsForFunction(
275 const_cast<Function *>(F), Result);
276}
277
279 // If the block got deleted, there is no need for the symbol. If the symbol
280 // was already emitted, we can just forget about it, otherwise we need to
281 // queue it up for later emission when the function is output.
282 AddrLabelSymEntry Entry = std::move(AddrLabelSymbols[BB]);
283 AddrLabelSymbols.erase(BB);
284 assert(!Entry.Symbols.empty() && "Didn't have a symbol, why a callback?");
285 BBCallbacks[Entry.Index] = nullptr; // Clear the callback.
286
287#if !LLVM_MEMORY_SANITIZER_BUILD
288 // BasicBlock is destroyed already, so this access is UB detectable by msan.
289 assert((BB->getParent() == nullptr || BB->getParent() == Entry.Fn) &&
290 "Block/parent mismatch");
291#endif
292
293 for (MCSymbol *Sym : Entry.Symbols) {
294 if (Sym->isDefined())
295 return;
296
297 // If the block is not yet defined, we need to emit it at the end of the
298 // function. Add the symbol to the DeletedAddrLabelsNeedingEmission list
299 // for the containing Function. Since the block is being deleted, its
300 // parent may already be removed, we have to get the function from 'Entry'.
301 DeletedAddrLabelsNeedingEmission[Entry.Fn].push_back(Sym);
302 }
303}
304
306 // Get the entry for the RAUW'd block and remove it from our map.
307 AddrLabelSymEntry OldEntry = std::move(AddrLabelSymbols[Old]);
308 AddrLabelSymbols.erase(Old);
309 assert(!OldEntry.Symbols.empty() && "Didn't have a symbol, why a callback?");
310
311 AddrLabelSymEntry &NewEntry = AddrLabelSymbols[New];
312
313 // If New is not address taken, just move our symbol over to it.
314 if (NewEntry.Symbols.empty()) {
315 BBCallbacks[OldEntry.Index].setPtr(New); // Update the callback.
316 NewEntry = std::move(OldEntry); // Set New's entry.
317 return;
318 }
319
320 BBCallbacks[OldEntry.Index] = nullptr; // Update the callback.
321
322 // Otherwise, we need to add the old symbols to the new block's set.
323 llvm::append_range(NewEntry.Symbols, OldEntry.Symbols);
324}
325
326void AddrLabelMapCallbackPtr::deleted() {
327 Map->UpdateForDeletedBlock(cast<BasicBlock>(getValPtr()));
328}
329
330void AddrLabelMapCallbackPtr::allUsesReplacedWith(Value *V2) {
331 Map->UpdateForRAUWBlock(cast<BasicBlock>(getValPtr()), cast<BasicBlock>(V2));
332}
333
334/// getGVAlignment - Return the alignment to use for the specified global
335/// value. This rounds up to the preferred alignment if possible and legal.
337 Align InAlign) {
338 Align Alignment;
339 if (const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV))
340 Alignment = DL.getPreferredAlign(GVar);
341
342 // If InAlign is specified, round it to it.
343 if (InAlign > Alignment)
344 Alignment = InAlign;
345
346 // If the GV has a specified alignment, take it into account.
347 const MaybeAlign GVAlign(GV->getAlign());
348 if (!GVAlign)
349 return Alignment;
350
351 assert(GVAlign && "GVAlign must be set");
352
353 // If the GVAlign is larger than NumBits, or if we are required to obey
354 // NumBits because the GV has an assigned section, obey it.
355 if (*GVAlign > Alignment || GV->hasSection())
356 Alignment = *GVAlign;
357 return Alignment;
358}
359
360AsmPrinter::AsmPrinter(TargetMachine &tm, std::unique_ptr<MCStreamer> Streamer)
361 : MachineFunctionPass(ID), TM(tm), MAI(tm.getMCAsmInfo()),
362 OutContext(Streamer->getContext()), OutStreamer(std::move(Streamer)),
363 SM(*this) {
364 VerboseAsm = OutStreamer->isVerboseAsm();
365 DwarfUsesRelocationsAcrossSections =
367}
368
370 assert(!DD && Handlers.size() == NumUserHandlers &&
371 "Debug/EH info didn't get finalized");
372}
373
375 return TM.isPositionIndependent();
376}
377
378/// getFunctionNumber - Return a unique ID for the current function.
380 return MF->getFunctionNumber();
381}
382
384 return *TM.getObjFileLowering();
385}
386
388 assert(MMI && "MMI could not be nullptr!");
389 return MMI->getModule()->getDataLayout();
390}
391
392// Do not use the cached DataLayout because some client use it without a Module
393// (dsymutil, llvm-dwarfdump).
395 return TM.getPointerSize(0); // FIXME: Default address space
396}
397
399 assert(MF && "getSubtargetInfo requires a valid MachineFunction!");
401}
402
405}
406
408 if (DD) {
409 assert(OutStreamer->hasRawTextSupport() &&
410 "Expected assembly output mode.");
411 // This is NVPTX specific and it's unclear why.
412 // PR51079: If we have code without debug information we need to give up.
414 if (!MFSP)
415 return;
416 (void)DD->emitInitialLocDirective(MF, /*CUID=*/0);
417 }
418}
419
420/// getCurrentSection() - Return the current section we are emitting to.
422 return OutStreamer->getCurrentSectionOnly();
423}
424
426 AU.setPreservesAll();
432}
433
435 auto *MMIWP = getAnalysisIfAvailable<MachineModuleInfoWrapperPass>();
436 MMI = MMIWP ? &MMIWP->getMMI() : nullptr;
437 HasSplitStack = false;
438 HasNoSplitStack = false;
439 DbgInfoAvailable = !M.debug_compile_units().empty();
440
441 AddrLabelSymbols = nullptr;
442
443 // Initialize TargetLoweringObjectFile.
445 .Initialize(OutContext, TM);
446
448 .getModuleMetadata(M);
449
450 // On AIX, we delay emitting any section information until
451 // after emitting the .file pseudo-op. This allows additional
452 // information (such as the embedded command line) to be associated
453 // with all sections in the object file rather than a single section.
455 OutStreamer->initSections(false, *TM.getMCSubtargetInfo());
456
457 // Emit the version-min deployment target directive if needed.
458 //
459 // FIXME: If we end up with a collection of these sorts of Darwin-specific
460 // or ELF-specific things, it may make sense to have a platform helper class
461 // that will work with the target helper class. For now keep it here, as the
462 // alternative is duplicated code in each of the target asm printers that
463 // use the directive, where it would need the same conditionalization
464 // anyway.
465 const Triple &Target = TM.getTargetTriple();
466 if (Target.isOSBinFormatMachO() && Target.isOSDarwin()) {
467 Triple TVT(M.getDarwinTargetVariantTriple());
468 OutStreamer->emitVersionForTarget(
469 Target, M.getSDKVersion(),
470 M.getDarwinTargetVariantTriple().empty() ? nullptr : &TVT,
471 M.getDarwinTargetVariantSDKVersion());
472 }
473
474 // Allow the target to emit any magic that it wants at the start of the file.
476
477 // Very minimal debug info. It is ignored if we emit actual debug info. If we
478 // don't, this at least helps the user find where a global came from.
480 // .file "foo.c"
481
482 SmallString<128> FileName;
484 FileName = llvm::sys::path::filename(M.getSourceFileName());
485 else
486 FileName = M.getSourceFileName();
487 if (MAI->hasFourStringsDotFile()) {
488 const char VerStr[] =
489#ifdef PACKAGE_VENDOR
490 PACKAGE_VENDOR " "
491#endif
492 PACKAGE_NAME " version " PACKAGE_VERSION
493#ifdef LLVM_REVISION
494 " (" LLVM_REVISION ")"
495#endif
496 ;
497 // TODO: Add timestamp and description.
498 OutStreamer->emitFileDirective(FileName, VerStr, "", "");
499 } else {
500 OutStreamer->emitFileDirective(FileName);
501 }
502 }
503
504 // On AIX, emit bytes for llvm.commandline metadata after .file so that the
505 // C_INFO symbol is preserved if any csect is kept by the linker.
507 emitModuleCommandLines(M);
508 // Now we can generate section information.
509 OutStreamer->initSections(false, *TM.getMCSubtargetInfo());
510
511 // To work around an AIX assembler and/or linker bug, generate
512 // a rename for the default text-section symbol name. This call has
513 // no effect when generating object code directly.
514 MCSection *TextSection =
515 OutStreamer->getContext().getObjectFileInfo()->getTextSection();
516 MCSymbolXCOFF *XSym =
517 static_cast<MCSectionXCOFF *>(TextSection)->getQualNameSymbol();
518 if (XSym->hasRename())
519 OutStreamer->emitXCOFFRenameDirective(XSym, XSym->getSymbolTableName());
520 }
521
522 GCModuleInfo *MI = getAnalysisIfAvailable<GCModuleInfo>();
523 assert(MI && "AsmPrinter didn't require GCModuleInfo?");
524 for (const auto &I : *MI)
525 if (GCMetadataPrinter *MP = getOrCreateGCPrinter(*I))
526 MP->beginAssembly(M, *MI, *this);
527
528 // Emit module-level inline asm if it exists.
529 if (!M.getModuleInlineAsm().empty()) {
530 OutStreamer->AddComment("Start of file scope inline assembly");
531 OutStreamer->addBlankLine();
532 emitInlineAsm(
533 M.getModuleInlineAsm() + "\n", *TM.getMCSubtargetInfo(),
534 TM.Options.MCOptions, nullptr,
536 OutStreamer->AddComment("End of file scope inline assembly");
537 OutStreamer->addBlankLine();
538 }
539
541 bool EmitCodeView = M.getCodeViewFlag();
542 if (EmitCodeView && TM.getTargetTriple().isOSWindows())
543 DebugHandlers.push_back(std::make_unique<CodeViewDebug>(this));
544 if (!EmitCodeView || M.getDwarfVersion()) {
545 if (hasDebugInfo()) {
546 DD = new DwarfDebug(this);
547 DebugHandlers.push_back(std::unique_ptr<DwarfDebug>(DD));
548 }
549 }
550 }
551
552 if (M.getNamedMetadata(PseudoProbeDescMetadataName))
553 PP = std::make_unique<PseudoProbeHandler>(this);
554
555 switch (MAI->getExceptionHandlingType()) {
557 // We may want to emit CFI for debug.
558 [[fallthrough]];
562 for (auto &F : M.getFunctionList()) {
564 ModuleCFISection = getFunctionCFISectionType(F);
565 // If any function needsUnwindTableEntry(), it needs .eh_frame and hence
566 // the module needs .eh_frame. If we have found that case, we are done.
567 if (ModuleCFISection == CFISection::EH)
568 break;
569 }
571 usesCFIWithoutEH() || ModuleCFISection != CFISection::EH);
572 break;
573 default:
574 break;
575 }
576
577 EHStreamer *ES = nullptr;
578 switch (MAI->getExceptionHandlingType()) {
580 if (!usesCFIWithoutEH())
581 break;
582 [[fallthrough]];
586 ES = new DwarfCFIException(this);
587 break;
589 ES = new ARMException(this);
590 break;
592 switch (MAI->getWinEHEncodingType()) {
593 default: llvm_unreachable("unsupported unwinding information encoding");
595 break;
598 ES = new WinException(this);
599 break;
600 }
601 break;
603 ES = new WasmException(this);
604 break;
606 ES = new AIXException(this);
607 break;
608 }
609 if (ES)
610 Handlers.push_back(std::unique_ptr<EHStreamer>(ES));
611
612 // Emit tables for any value of cfguard flag (i.e. cfguard=1 or cfguard=2).
613 if (mdconst::extract_or_null<ConstantInt>(M.getModuleFlag("cfguard")))
614 Handlers.push_back(std::make_unique<WinCFGuard>(this));
615
616 for (auto &Handler : DebugHandlers)
617 Handler->beginModule(&M);
618 for (auto &Handler : Handlers)
619 Handler->beginModule(&M);
620
621 return false;
622}
623
624static bool canBeHidden(const GlobalValue *GV, const MCAsmInfo &MAI) {
626 return false;
627
628 return GV->canBeOmittedFromSymbolTable();
629}
630
631void AsmPrinter::emitLinkage(const GlobalValue *GV, MCSymbol *GVSym) const {
633 switch (Linkage) {
639 if (MAI->isMachO()) {
640 // .globl _foo
641 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Global);
642
643 if (!canBeHidden(GV, *MAI))
644 // .weak_definition _foo
645 OutStreamer->emitSymbolAttribute(GVSym, MCSA_WeakDefinition);
646 else
647 OutStreamer->emitSymbolAttribute(GVSym, MCSA_WeakDefAutoPrivate);
648 } else if (MAI->avoidWeakIfComdat() && GV->hasComdat()) {
649 // .globl _foo
650 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Global);
651 //NOTE: linkonce is handled by the section the symbol was assigned to.
652 } else {
653 // .weak _foo
654 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Weak);
655 }
656 return;
658 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Global);
659 return;
662 return;
666 llvm_unreachable("Should never emit this");
667 }
668 llvm_unreachable("Unknown linkage type!");
669}
670
672 const GlobalValue *GV) const {
673 TM.getNameWithPrefix(Name, GV, getObjFileLowering().getMangler());
674}
675
677 return TM.getSymbol(GV);
678}
679
681 // On ELF, use .Lfoo$local if GV is a non-interposable GlobalObject with an
682 // exact definion (intersection of GlobalValue::hasExactDefinition() and
683 // !isInterposable()). These linkages include: external, appending, internal,
684 // private. It may be profitable to use a local alias for external. The
685 // assembler would otherwise be conservative and assume a global default
686 // visibility symbol can be interposable, even if the code generator already
687 // assumed it.
689 const Module &M = *GV.getParent();
691 M.getPIELevel() == PIELevel::Default && GV.isDSOLocal())
692 return getSymbolWithGlobalValueBase(&GV, "$local");
693 }
694 return TM.getSymbol(&GV);
695}
696
697/// EmitGlobalVariable - Emit the specified global variable to the .s file.
699 bool IsEmuTLSVar = TM.useEmulatedTLS() && GV->isThreadLocal();
700 assert(!(IsEmuTLSVar && GV->hasCommonLinkage()) &&
701 "No emulated TLS variables in the common section");
702
703 // Never emit TLS variable xyz in emulated TLS model.
704 // The initialization value is in __emutls_t.xyz instead of xyz.
705 if (IsEmuTLSVar)
706 return;
707
708 if (GV->hasInitializer()) {
709 // Check to see if this is a special global used by LLVM, if so, emit it.
710 if (emitSpecialLLVMGlobal(GV))
711 return;
712
713 // Skip the emission of global equivalents. The symbol can be emitted later
714 // on by emitGlobalGOTEquivs in case it turns out to be needed.
715 if (GlobalGOTEquivs.count(getSymbol(GV)))
716 return;
717
718 if (isVerbose()) {
719 // When printing the control variable __emutls_v.*,
720 // we don't need to print the original TLS variable name.
721 GV->printAsOperand(OutStreamer->getCommentOS(),
722 /*PrintType=*/false, GV->getParent());
723 OutStreamer->getCommentOS() << '\n';
724 }
725 }
726
727 MCSymbol *GVSym = getSymbol(GV);
728 MCSymbol *EmittedSym = GVSym;
729
730 // getOrCreateEmuTLSControlSym only creates the symbol with name and default
731 // attributes.
732 // GV's or GVSym's attributes will be used for the EmittedSym.
733 emitVisibility(EmittedSym, GV->getVisibility(), !GV->isDeclaration());
734
735 if (GV->isTagged()) {
737
738 if (T.getArch() != Triple::aarch64 || !T.isAndroid())
740 "tagged symbols (-fsanitize=memtag-globals) are "
741 "only supported on AArch64 Android");
742 OutStreamer->emitSymbolAttribute(EmittedSym, MAI->getMemtagAttr());
743 }
744
745 if (!GV->hasInitializer()) // External globals require no extra code.
746 return;
747
748 GVSym->redefineIfPossible();
749 if (GVSym->isDefined() || GVSym->isVariable())
750 OutContext.reportError(SMLoc(), "symbol '" + Twine(GVSym->getName()) +
751 "' is already defined");
752
754 OutStreamer->emitSymbolAttribute(EmittedSym, MCSA_ELF_TypeObject);
755
757
758 const DataLayout &DL = GV->getDataLayout();
759 uint64_t Size = DL.getTypeAllocSize(GV->getValueType());
760
761 // If the alignment is specified, we *must* obey it. Overaligning a global
762 // with a specified alignment is a prompt way to break globals emitted to
763 // sections and expected to be contiguous (e.g. ObjC metadata).
764 const Align Alignment = getGVAlignment(GV, DL);
765
766 for (auto &Handler : DebugHandlers)
767 Handler->setSymbolSize(GVSym, Size);
768
769 // Handle common symbols
770 if (GVKind.isCommon()) {
771 if (Size == 0) Size = 1; // .comm Foo, 0 is undefined, avoid it.
772 // .comm _foo, 42, 4
773 OutStreamer->emitCommonSymbol(GVSym, Size, Alignment);
774 return;
775 }
776
777 // Determine to which section this global should be emitted.
778 MCSection *TheSection = getObjFileLowering().SectionForGlobal(GV, GVKind, TM);
779
780 // If we have a bss global going to a section that supports the
781 // zerofill directive, do so here.
782 if (GVKind.isBSS() && MAI->isMachO() && TheSection->isVirtualSection()) {
783 if (Size == 0)
784 Size = 1; // zerofill of 0 bytes is undefined.
785 emitLinkage(GV, GVSym);
786 // .zerofill __DATA, __bss, _foo, 400, 5
787 OutStreamer->emitZerofill(TheSection, GVSym, Size, Alignment);
788 return;
789 }
790
791 // If this is a BSS local symbol and we are emitting in the BSS
792 // section use .lcomm/.comm directive.
793 if (GVKind.isBSSLocal() &&
794 getObjFileLowering().getBSSSection() == TheSection) {
795 if (Size == 0)
796 Size = 1; // .comm Foo, 0 is undefined, avoid it.
797
798 // Use .lcomm only if it supports user-specified alignment.
799 // Otherwise, while it would still be correct to use .lcomm in some
800 // cases (e.g. when Align == 1), the external assembler might enfore
801 // some -unknown- default alignment behavior, which could cause
802 // spurious differences between external and integrated assembler.
803 // Prefer to simply fall back to .local / .comm in this case.
805 // .lcomm _foo, 42
806 OutStreamer->emitLocalCommonSymbol(GVSym, Size, Alignment);
807 return;
808 }
809
810 // .local _foo
811 OutStreamer->emitSymbolAttribute(GVSym, MCSA_Local);
812 // .comm _foo, 42, 4
813 OutStreamer->emitCommonSymbol(GVSym, Size, Alignment);
814 return;
815 }
816
817 // Handle thread local data for mach-o which requires us to output an
818 // additional structure of data and mangle the original symbol so that we
819 // can reference it later.
820 //
821 // TODO: This should become an "emit thread local global" method on TLOF.
822 // All of this macho specific stuff should be sunk down into TLOFMachO and
823 // stuff like "TLSExtraDataSection" should no longer be part of the parent
824 // TLOF class. This will also make it more obvious that stuff like
825 // MCStreamer::EmitTBSSSymbol is macho specific and only called from macho
826 // specific code.
827 if (GVKind.isThreadLocal() && MAI->isMachO()) {
828 // Emit the .tbss symbol
829 MCSymbol *MangSym =
830 OutContext.getOrCreateSymbol(GVSym->getName() + Twine("$tlv$init"));
831
832 if (GVKind.isThreadBSS()) {
833 TheSection = getObjFileLowering().getTLSBSSSection();
834 OutStreamer->emitTBSSSymbol(TheSection, MangSym, Size, Alignment);
835 } else if (GVKind.isThreadData()) {
836 OutStreamer->switchSection(TheSection);
837
838 emitAlignment(Alignment, GV);
839 OutStreamer->emitLabel(MangSym);
840
842 GV->getInitializer());
843 }
844
845 OutStreamer->addBlankLine();
846
847 // Emit the variable struct for the runtime.
849
850 OutStreamer->switchSection(TLVSect);
851 // Emit the linkage here.
852 emitLinkage(GV, GVSym);
853 OutStreamer->emitLabel(GVSym);
854
855 // Three pointers in size:
856 // - __tlv_bootstrap - used to make sure support exists
857 // - spare pointer, used when mapped by the runtime
858 // - pointer to mangled symbol above with initializer
859 unsigned PtrSize = DL.getPointerTypeSize(GV->getType());
860 OutStreamer->emitSymbolValue(GetExternalSymbolSymbol("_tlv_bootstrap"),
861 PtrSize);
862 OutStreamer->emitIntValue(0, PtrSize);
863 OutStreamer->emitSymbolValue(MangSym, PtrSize);
864
865 OutStreamer->addBlankLine();
866 return;
867 }
868
869 MCSymbol *EmittedInitSym = GVSym;
870
871 OutStreamer->switchSection(TheSection);
872
873 emitLinkage(GV, EmittedInitSym);
874 emitAlignment(Alignment, GV);
875
876 OutStreamer->emitLabel(EmittedInitSym);
877 MCSymbol *LocalAlias = getSymbolPreferLocal(*GV);
878 if (LocalAlias != EmittedInitSym)
879 OutStreamer->emitLabel(LocalAlias);
880
882
884 // .size foo, 42
885 OutStreamer->emitELFSize(EmittedInitSym,
887
888 OutStreamer->addBlankLine();
889}
890
891/// Emit the directive and value for debug thread local expression
892///
893/// \p Value - The value to emit.
894/// \p Size - The size of the integer (in bytes) to emit.
895void AsmPrinter::emitDebugValue(const MCExpr *Value, unsigned Size) const {
896 OutStreamer->emitValue(Value, Size);
897}
898
899void AsmPrinter::emitFunctionHeaderComment() {}
900
901void AsmPrinter::emitFunctionPrefix(ArrayRef<const Constant *> Prefix) {
902 const Function &F = MF->getFunction();
904 for (auto &C : Prefix)
905 emitGlobalConstant(F.getDataLayout(), C);
906 return;
907 }
908 // Preserving prefix-like data on platforms which use subsections-via-symbols
909 // is a bit tricky. Here we introduce a symbol for the prefix-like data
910 // and use the .alt_entry attribute to mark the function's real entry point
911 // as an alternative entry point to the symbol that precedes the function..
913
914 for (auto &C : Prefix) {
915 emitGlobalConstant(F.getDataLayout(), C);
916 }
917
918 // Emit an .alt_entry directive for the actual function symbol.
919 OutStreamer->emitSymbolAttribute(CurrentFnSym, MCSA_AltEntry);
920}
921
922/// EmitFunctionHeader - This method emits the header for the current
923/// function.
924void AsmPrinter::emitFunctionHeader() {
925 const Function &F = MF->getFunction();
926
927 if (isVerbose())
928 OutStreamer->getCommentOS()
929 << "-- Begin function "
930 << GlobalValue::dropLLVMManglingEscape(F.getName()) << '\n';
931
932 // Print out constants referenced by the function
934
935 // Print the 'header' of function.
936 // If basic block sections are desired, explicitly request a unique section
937 // for this function's entry block.
938 if (MF->front().isBeginSection())
939 MF->setSection(getObjFileLowering().getUniqueSectionForFunction(F, TM));
940 else
941 MF->setSection(getObjFileLowering().SectionForGlobal(&F, TM));
942 OutStreamer->switchSection(MF->getSection());
943
945 emitVisibility(CurrentFnSym, F.getVisibility());
946
949
953
955 OutStreamer->emitSymbolAttribute(CurrentFnSym, MCSA_ELF_TypeFunction);
956
957 if (F.hasFnAttribute(Attribute::Cold))
958 OutStreamer->emitSymbolAttribute(CurrentFnSym, MCSA_Cold);
959
960 // Emit the prefix data.
961 if (F.hasPrefixData())
962 emitFunctionPrefix({F.getPrefixData()});
963
964 // Emit KCFI type information before patchable-function-prefix nops.
966
967 // Emit M NOPs for -fpatchable-function-entry=N,M where M>0. We arbitrarily
968 // place prefix data before NOPs.
969 unsigned PatchableFunctionPrefix = 0;
970 unsigned PatchableFunctionEntry = 0;
971 (void)F.getFnAttribute("patchable-function-prefix")
972 .getValueAsString()
973 .getAsInteger(10, PatchableFunctionPrefix);
974 (void)F.getFnAttribute("patchable-function-entry")
975 .getValueAsString()
976 .getAsInteger(10, PatchableFunctionEntry);
977 if (PatchableFunctionPrefix) {
981 emitNops(PatchableFunctionPrefix);
982 } else if (PatchableFunctionEntry) {
983 // May be reassigned when emitting the body, to reference the label after
984 // the initial BTI (AArch64) or endbr32/endbr64 (x86).
986 }
987
988 // Emit the function prologue data for the indirect call sanitizer.
989 if (const MDNode *MD = F.getMetadata(LLVMContext::MD_func_sanitize)) {
990 assert(MD->getNumOperands() == 2);
991
992 auto *PrologueSig = mdconst::extract<Constant>(MD->getOperand(0));
993 auto *TypeHash = mdconst::extract<Constant>(MD->getOperand(1));
994 emitFunctionPrefix({PrologueSig, TypeHash});
995 }
996
997 if (isVerbose()) {
998 F.printAsOperand(OutStreamer->getCommentOS(),
999 /*PrintType=*/false, F.getParent());
1000 emitFunctionHeaderComment();
1001 OutStreamer->getCommentOS() << '\n';
1002 }
1003
1004 // Emit the function descriptor. This is a virtual function to allow targets
1005 // to emit their specific function descriptor. Right now it is only used by
1006 // the AIX target. The PowerPC 64-bit V1 ELF target also uses function
1007 // descriptors and should be converted to use this hook as well.
1010
1011 // Emit the CurrentFnSym. This is a virtual function to allow targets to do
1012 // their wild and crazy things as required.
1014
1015 // If the function had address-taken blocks that got deleted, then we have
1016 // references to the dangling symbols. Emit them at the start of the function
1017 // so that we don't get references to undefined symbols.
1018 std::vector<MCSymbol*> DeadBlockSyms;
1019 takeDeletedSymbolsForFunction(&F, DeadBlockSyms);
1020 for (MCSymbol *DeadBlockSym : DeadBlockSyms) {
1021 OutStreamer->AddComment("Address taken block that was later removed");
1022 OutStreamer->emitLabel(DeadBlockSym);
1023 }
1024
1025 if (CurrentFnBegin) {
1028 OutStreamer->emitLabel(CurPos);
1029 OutStreamer->emitAssignment(CurrentFnBegin,
1031 } else {
1032 OutStreamer->emitLabel(CurrentFnBegin);
1033 }
1034 }
1035
1036 // Emit pre-function debug and/or EH information.
1037 for (auto &Handler : DebugHandlers) {
1038 Handler->beginFunction(MF);
1039 Handler->beginBasicBlockSection(MF->front());
1040 }
1041 for (auto &Handler : Handlers)
1042 Handler->beginFunction(MF);
1043 for (auto &Handler : Handlers)
1044 Handler->beginBasicBlockSection(MF->front());
1045
1046 // Emit the prologue data.
1047 if (F.hasPrologueData())
1048 emitGlobalConstant(F.getDataLayout(), F.getPrologueData());
1049}
1050
1051/// EmitFunctionEntryLabel - Emit the label that is the entrypoint for the
1052/// function. This can be overridden by targets as required to do custom stuff.
1055
1056 // The function label could have already been emitted if two symbols end up
1057 // conflicting due to asm renaming. Detect this and emit an error.
1058 if (CurrentFnSym->isVariable())
1060 "' is a protected alias");
1061
1062 OutStreamer->emitLabel(CurrentFnSym);
1063
1066 if (Sym != CurrentFnSym) {
1067 cast<MCSymbolELF>(Sym)->setType(ELF::STT_FUNC);
1069 OutStreamer->emitLabel(Sym);
1071 OutStreamer->emitSymbolAttribute(Sym, MCSA_ELF_TypeFunction);
1072 }
1073 }
1074}
1075
1076/// emitComments - Pretty-print comments for instructions.
1077static void emitComments(const MachineInstr &MI, raw_ostream &CommentOS) {
1078 const MachineFunction *MF = MI.getMF();
1080
1081 // Check for spills and reloads
1082
1083 // We assume a single instruction only has a spill or reload, not
1084 // both.
1085 std::optional<LocationSize> Size;
1086 if ((Size = MI.getRestoreSize(TII))) {
1087 CommentOS << Size->getValue() << "-byte Reload\n";
1088 } else if ((Size = MI.getFoldedRestoreSize(TII))) {
1089 if (!Size->hasValue())
1090 CommentOS << "Unknown-size Folded Reload\n";
1091 else if (Size->getValue())
1092 CommentOS << Size->getValue() << "-byte Folded Reload\n";
1093 } else if ((Size = MI.getSpillSize(TII))) {
1094 CommentOS << Size->getValue() << "-byte Spill\n";
1095 } else if ((Size = MI.getFoldedSpillSize(TII))) {
1096 if (!Size->hasValue())
1097 CommentOS << "Unknown-size Folded Spill\n";
1098 else if (Size->getValue())
1099 CommentOS << Size->getValue() << "-byte Folded Spill\n";
1100 }
1101
1102 // Check for spill-induced copies
1103 if (MI.getAsmPrinterFlag(MachineInstr::ReloadReuse))
1104 CommentOS << " Reload Reuse\n";
1105}
1106
1107/// emitImplicitDef - This method emits the specified machine instruction
1108/// that is an implicit def.
1110 Register RegNo = MI->getOperand(0).getReg();
1111
1112 SmallString<128> Str;
1114 OS << "implicit-def: "
1115 << printReg(RegNo, MF->getSubtarget().getRegisterInfo());
1116
1117 OutStreamer->AddComment(OS.str());
1118 OutStreamer->addBlankLine();
1119}
1120
1121static void emitKill(const MachineInstr *MI, AsmPrinter &AP) {
1122 std::string Str;
1124 OS << "kill:";
1125 for (const MachineOperand &Op : MI->operands()) {
1126 assert(Op.isReg() && "KILL instruction must have only register operands");
1127 OS << ' ' << (Op.isDef() ? "def " : "killed ")
1128 << printReg(Op.getReg(), AP.MF->getSubtarget().getRegisterInfo());
1129 }
1130 AP.OutStreamer->AddComment(Str);
1131 AP.OutStreamer->addBlankLine();
1132}
1133
1134/// emitDebugValueComment - This method handles the target-independent form
1135/// of DBG_VALUE, returning true if it was able to do so. A false return
1136/// means the target will need to handle MI in EmitInstruction.
1138 // This code handles only the 4-operand target-independent form.
1139 if (MI->isNonListDebugValue() && MI->getNumOperands() != 4)
1140 return false;
1141
1142 SmallString<128> Str;
1144 OS << "DEBUG_VALUE: ";
1145
1146 const DILocalVariable *V = MI->getDebugVariable();
1147 if (auto *SP = dyn_cast<DISubprogram>(V->getScope())) {
1148 StringRef Name = SP->getName();
1149 if (!Name.empty())
1150 OS << Name << ":";
1151 }
1152 OS << V->getName();
1153 OS << " <- ";
1154
1155 const DIExpression *Expr = MI->getDebugExpression();
1156 // First convert this to a non-variadic expression if possible, to simplify
1157 // the output.
1158 if (auto NonVariadicExpr = DIExpression::convertToNonVariadicExpression(Expr))
1159 Expr = *NonVariadicExpr;
1160 // Then, output the possibly-simplified expression.
1161 if (Expr->getNumElements()) {
1162 OS << '[';
1163 ListSeparator LS;
1164 for (auto &Op : Expr->expr_ops()) {
1165 OS << LS << dwarf::OperationEncodingString(Op.getOp());
1166 for (unsigned I = 0; I < Op.getNumArgs(); ++I)
1167 OS << ' ' << Op.getArg(I);
1168 }
1169 OS << "] ";
1170 }
1171
1172 // Register or immediate value. Register 0 means undef.
1173 for (const MachineOperand &Op : MI->debug_operands()) {
1174 if (&Op != MI->debug_operands().begin())
1175 OS << ", ";
1176 switch (Op.getType()) {
1178 APFloat APF = APFloat(Op.getFPImm()->getValueAPF());
1179 Type *ImmTy = Op.getFPImm()->getType();
1180 if (ImmTy->isBFloatTy() || ImmTy->isHalfTy() || ImmTy->isFloatTy() ||
1181 ImmTy->isDoubleTy()) {
1182 OS << APF.convertToDouble();
1183 } else {
1184 // There is no good way to print long double. Convert a copy to
1185 // double. Ah well, it's only a comment.
1186 bool ignored;
1188 &ignored);
1189 OS << "(long double) " << APF.convertToDouble();
1190 }
1191 break;
1192 }
1194 OS << Op.getImm();
1195 break;
1196 }
1198 Op.getCImm()->getValue().print(OS, false /*isSigned*/);
1199 break;
1200 }
1202 OS << "!target-index(" << Op.getIndex() << "," << Op.getOffset() << ")";
1203 break;
1204 }
1207 Register Reg;
1208 std::optional<StackOffset> Offset;
1209 if (Op.isReg()) {
1210 Reg = Op.getReg();
1211 } else {
1212 const TargetFrameLowering *TFI =
1214 Offset = TFI->getFrameIndexReference(*AP.MF, Op.getIndex(), Reg);
1215 }
1216 if (!Reg) {
1217 // Suppress offset, it is not meaningful here.
1218 OS << "undef";
1219 break;
1220 }
1221 // The second operand is only an offset if it's an immediate.
1222 if (MI->isIndirectDebugValue())
1223 Offset = StackOffset::getFixed(MI->getDebugOffset().getImm());
1224 if (Offset)
1225 OS << '[';
1226 OS << printReg(Reg, AP.MF->getSubtarget().getRegisterInfo());
1227 if (Offset)
1228 OS << '+' << Offset->getFixed() << ']';
1229 break;
1230 }
1231 default:
1232 llvm_unreachable("Unknown operand type");
1233 }
1234 }
1235
1236 // NOTE: Want this comment at start of line, don't emit with AddComment.
1237 AP.OutStreamer->emitRawComment(Str);
1238 return true;
1239}
1240
1241/// This method handles the target-independent form of DBG_LABEL, returning
1242/// true if it was able to do so. A false return means the target will need
1243/// to handle MI in EmitInstruction.
1245 if (MI->getNumOperands() != 1)
1246 return false;
1247
1248 SmallString<128> Str;
1250 OS << "DEBUG_LABEL: ";
1251
1252 const DILabel *V = MI->getDebugLabel();
1253 if (auto *SP = dyn_cast<DISubprogram>(
1254 V->getScope()->getNonLexicalBlockFileScope())) {
1255 StringRef Name = SP->getName();
1256 if (!Name.empty())
1257 OS << Name << ":";
1258 }
1259 OS << V->getName();
1260
1261 // NOTE: Want this comment at start of line, don't emit with AddComment.
1262 AP.OutStreamer->emitRawComment(OS.str());
1263 return true;
1264}
1265
1268 // Ignore functions that won't get emitted.
1269 if (F.isDeclarationForLinker())
1270 return CFISection::None;
1271
1273 F.needsUnwindTableEntry())
1274 return CFISection::EH;
1275
1276 if (MAI->usesCFIWithoutEH() && F.hasUWTable())
1277 return CFISection::EH;
1278
1280 return CFISection::Debug;
1281
1282 return CFISection::None;
1283}
1284
1288}
1289
1292}
1293
1295 return MAI->usesCFIWithoutEH() && ModuleCFISection != CFISection::None;
1296}
1297
1299 ExceptionHandling ExceptionHandlingType = MAI->getExceptionHandlingType();
1300 if (!usesCFIWithoutEH() &&
1301 ExceptionHandlingType != ExceptionHandling::DwarfCFI &&
1302 ExceptionHandlingType != ExceptionHandling::ARM)
1303 return;
1304
1306 return;
1307
1308 // If there is no "real" instruction following this CFI instruction, skip
1309 // emitting it; it would be beyond the end of the function's FDE range.
1310 auto *MBB = MI.getParent();
1311 auto I = std::next(MI.getIterator());
1312 while (I != MBB->end() && I->isTransient())
1313 ++I;
1314 if (I == MBB->instr_end() &&
1316 return;
1317
1318 const std::vector<MCCFIInstruction> &Instrs = MF->getFrameInstructions();
1319 unsigned CFIIndex = MI.getOperand(0).getCFIIndex();
1320 const MCCFIInstruction &CFI = Instrs[CFIIndex];
1321 emitCFIInstruction(CFI);
1322}
1323
1325 // The operands are the MCSymbol and the frame offset of the allocation.
1326 MCSymbol *FrameAllocSym = MI.getOperand(0).getMCSymbol();
1327 int FrameOffset = MI.getOperand(1).getImm();
1328
1329 // Emit a symbol assignment.
1330 OutStreamer->emitAssignment(FrameAllocSym,
1331 MCConstantExpr::create(FrameOffset, OutContext));
1332}
1333
1334/// Returns the BB metadata to be emitted in the SHT_LLVM_BB_ADDR_MAP section
1335/// for a given basic block. This can be used to capture more precise profile
1336/// information.
1341 MBB.isEHPad(), const_cast<MachineBasicBlock &>(MBB).canFallThrough(),
1342 !MBB.empty() && MBB.rbegin()->isIndirectBranch()}
1343 .encode();
1344}
1345
1347getBBAddrMapFeature(const MachineFunction &MF, int NumMBBSectionRanges) {
1348 return {PgoAnalysisMapFeatures.isSet(PGOMapFeaturesEnum::FuncEntryCount),
1349 PgoAnalysisMapFeatures.isSet(PGOMapFeaturesEnum::BBFreq),
1350 PgoAnalysisMapFeatures.isSet(PGOMapFeaturesEnum::BrProb),
1351 MF.hasBBSections() && NumMBBSectionRanges > 1};
1352}
1353
1355 MCSection *BBAddrMapSection =
1357 assert(BBAddrMapSection && ".llvm_bb_addr_map section is not initialized.");
1358
1359 const MCSymbol *FunctionSymbol = getFunctionBegin();
1360
1361 OutStreamer->pushSection();
1362 OutStreamer->switchSection(BBAddrMapSection);
1363 OutStreamer->AddComment("version");
1364 uint8_t BBAddrMapVersion = OutStreamer->getContext().getBBAddrMapVersion();
1365 OutStreamer->emitInt8(BBAddrMapVersion);
1366 OutStreamer->AddComment("feature");
1367 auto Features = getBBAddrMapFeature(MF, MBBSectionRanges.size());
1368 OutStreamer->emitInt8(Features.encode());
1369 // Emit BB Information for each basic block in the function.
1370 if (Features.MultiBBRange) {
1371 OutStreamer->AddComment("number of basic block ranges");
1372 OutStreamer->emitULEB128IntValue(MBBSectionRanges.size());
1373 }
1374 // Number of blocks in each MBB section.
1375 MapVector<MBBSectionID, unsigned> MBBSectionNumBlocks;
1376 const MCSymbol *PrevMBBEndSymbol = nullptr;
1377 if (!Features.MultiBBRange) {
1378 OutStreamer->AddComment("function address");
1379 OutStreamer->emitSymbolValue(FunctionSymbol, getPointerSize());
1380 OutStreamer->AddComment("number of basic blocks");
1381 OutStreamer->emitULEB128IntValue(MF.size());
1382 PrevMBBEndSymbol = FunctionSymbol;
1383 } else {
1384 unsigned BBCount = 0;
1385 for (const MachineBasicBlock &MBB : MF) {
1386 BBCount++;
1387 if (MBB.isEndSection()) {
1388 // Store each section's basic block count when it ends.
1389 MBBSectionNumBlocks[MBB.getSectionID()] = BBCount;
1390 // Reset the count for the next section.
1391 BBCount = 0;
1392 }
1393 }
1394 }
1395 // Emit the BB entry for each basic block in the function.
1396 for (const MachineBasicBlock &MBB : MF) {
1397 const MCSymbol *MBBSymbol =
1398 MBB.isEntryBlock() ? FunctionSymbol : MBB.getSymbol();
1399 bool IsBeginSection =
1400 Features.MultiBBRange && (MBB.isBeginSection() || MBB.isEntryBlock());
1401 if (IsBeginSection) {
1402 OutStreamer->AddComment("base address");
1403 OutStreamer->emitSymbolValue(MBBSymbol, getPointerSize());
1404 OutStreamer->AddComment("number of basic blocks");
1405 OutStreamer->emitULEB128IntValue(MBBSectionNumBlocks[MBB.getSectionID()]);
1406 PrevMBBEndSymbol = MBBSymbol;
1407 }
1408 // TODO: Remove this check when version 1 is deprecated.
1409 if (BBAddrMapVersion > 1) {
1410 OutStreamer->AddComment("BB id");
1411 // Emit the BB ID for this basic block.
1412 // We only emit BaseID since CloneID is unset for
1413 // basic-block-sections=labels.
1414 // TODO: Emit the full BBID when labels and sections can be mixed
1415 // together.
1416 OutStreamer->emitULEB128IntValue(MBB.getBBID()->BaseID);
1417 }
1418 // Emit the basic block offset relative to the end of the previous block.
1419 // This is zero unless the block is padded due to alignment.
1420 emitLabelDifferenceAsULEB128(MBBSymbol, PrevMBBEndSymbol);
1421 // Emit the basic block size. When BBs have alignments, their size cannot
1422 // always be computed from their offsets.
1424 // Emit the Metadata.
1425 OutStreamer->emitULEB128IntValue(getBBAddrMapMetadata(MBB));
1426 PrevMBBEndSymbol = MBB.getEndSymbol();
1427 }
1428
1429 if (Features.hasPGOAnalysis()) {
1430 assert(BBAddrMapVersion >= 2 &&
1431 "PGOAnalysisMap only supports version 2 or later");
1432
1433 if (Features.FuncEntryCount) {
1434 OutStreamer->AddComment("function entry count");
1435 auto MaybeEntryCount = MF.getFunction().getEntryCount();
1436 OutStreamer->emitULEB128IntValue(
1437 MaybeEntryCount ? MaybeEntryCount->getCount() : 0);
1438 }
1439 const MachineBlockFrequencyInfo *MBFI =
1440 Features.BBFreq
1441 ? &getAnalysis<LazyMachineBlockFrequencyInfoPass>().getBFI()
1442 : nullptr;
1443 const MachineBranchProbabilityInfo *MBPI =
1444 Features.BrProb
1445 ? &getAnalysis<MachineBranchProbabilityInfoWrapperPass>().getMBPI()
1446 : nullptr;
1447
1448 if (Features.BBFreq || Features.BrProb) {
1449 for (const MachineBasicBlock &MBB : MF) {
1450 if (Features.BBFreq) {
1451 OutStreamer->AddComment("basic block frequency");
1452 OutStreamer->emitULEB128IntValue(
1453 MBFI->getBlockFreq(&MBB).getFrequency());
1454 }
1455 if (Features.BrProb) {
1456 unsigned SuccCount = MBB.succ_size();
1457 OutStreamer->AddComment("basic block successor count");
1458 OutStreamer->emitULEB128IntValue(SuccCount);
1459 for (const MachineBasicBlock *SuccMBB : MBB.successors()) {
1460 OutStreamer->AddComment("successor BB ID");
1461 OutStreamer->emitULEB128IntValue(SuccMBB->getBBID()->BaseID);
1462 OutStreamer->AddComment("successor branch probability");
1463 OutStreamer->emitULEB128IntValue(
1464 MBPI->getEdgeProbability(&MBB, SuccMBB).getNumerator());
1465 }
1466 }
1467 }
1468 }
1469 }
1470
1471 OutStreamer->popSection();
1472}
1473
1475 const MCSymbol *Symbol) {
1476 MCSection *Section =
1478 if (!Section)
1479 return;
1480
1481 OutStreamer->pushSection();
1482 OutStreamer->switchSection(Section);
1483
1485 OutStreamer->emitLabel(Loc);
1486 OutStreamer->emitAbsoluteSymbolDiff(Symbol, Loc, 4);
1487
1488 OutStreamer->popSection();
1489}
1490
1492 const Function &F = MF.getFunction();
1493 if (const MDNode *MD = F.getMetadata(LLVMContext::MD_kcfi_type))
1494 emitGlobalConstant(F.getDataLayout(),
1495 mdconst::extract<ConstantInt>(MD->getOperand(0)));
1496}
1497
1499 if (PP) {
1500 auto GUID = MI.getOperand(0).getImm();
1501 auto Index = MI.getOperand(1).getImm();
1502 auto Type = MI.getOperand(2).getImm();
1503 auto Attr = MI.getOperand(3).getImm();
1504 DILocation *DebugLoc = MI.getDebugLoc();
1505 PP->emitPseudoProbe(GUID, Index, Type, Attr, DebugLoc);
1506 }
1507}
1508
1511 return;
1512
1513 MCSection *StackSizeSection =
1515 if (!StackSizeSection)
1516 return;
1517
1518 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
1519 // Don't emit functions with dynamic stack allocations.
1520 if (FrameInfo.hasVarSizedObjects())
1521 return;
1522
1523 OutStreamer->pushSection();
1524 OutStreamer->switchSection(StackSizeSection);
1525
1526 const MCSymbol *FunctionSymbol = getFunctionBegin();
1527 uint64_t StackSize =
1528 FrameInfo.getStackSize() + FrameInfo.getUnsafeStackSize();
1529 OutStreamer->emitSymbolValue(FunctionSymbol, TM.getProgramPointerSize());
1530 OutStreamer->emitULEB128IntValue(StackSize);
1531
1532 OutStreamer->popSection();
1533}
1534
1536 const std::string &OutputFilename = MF.getTarget().Options.StackUsageOutput;
1537
1538 // OutputFilename empty implies -fstack-usage is not passed.
1539 if (OutputFilename.empty())
1540 return;
1541
1542 const MachineFrameInfo &FrameInfo = MF.getFrameInfo();
1543 uint64_t StackSize =
1544 FrameInfo.getStackSize() + FrameInfo.getUnsafeStackSize();
1545
1546 if (StackUsageStream == nullptr) {
1547 std::error_code EC;
1548 StackUsageStream =
1549 std::make_unique<raw_fd_ostream>(OutputFilename, EC, sys::fs::OF_Text);
1550 if (EC) {
1551 errs() << "Could not open file: " << EC.message();
1552 return;
1553 }
1554 }
1555
1556 if (const DISubprogram *DSP = MF.getFunction().getSubprogram())
1557 *StackUsageStream << DSP->getFilename() << ':' << DSP->getLine();
1558 else
1559 *StackUsageStream << MF.getFunction().getParent()->getName();
1560
1561 *StackUsageStream << ':' << MF.getName() << '\t' << StackSize << '\t';
1562 if (FrameInfo.hasVarSizedObjects())
1563 *StackUsageStream << "dynamic\n";
1564 else
1565 *StackUsageStream << "static\n";
1566}
1567
1569 const MDNode &MD) {
1570 MCSymbol *S = MF.getContext().createTempSymbol("pcsection");
1571 OutStreamer->emitLabel(S);
1572 PCSectionsSymbols[&MD].emplace_back(S);
1573}
1574
1576 const Function &F = MF.getFunction();
1577 if (PCSectionsSymbols.empty() && !F.hasMetadata(LLVMContext::MD_pcsections))
1578 return;
1579
1581 const unsigned RelativeRelocSize =
1583 : 4;
1584
1585 // Switch to PCSection, short-circuiting the common case where the current
1586 // section is still valid (assume most MD_pcsections contain just 1 section).
1587 auto SwitchSection = [&, Prev = StringRef()](const StringRef &Sec) mutable {
1588 if (Sec == Prev)
1589 return;
1591 assert(S && "PC section is not initialized");
1592 OutStreamer->switchSection(S);
1593 Prev = Sec;
1594 };
1595 // Emit symbols into sections and data as specified in the pcsections MDNode.
1596 auto EmitForMD = [&](const MDNode &MD, ArrayRef<const MCSymbol *> Syms,
1597 bool Deltas) {
1598 // Expect the first operand to be a section name. After that, a tuple of
1599 // constants may appear, which will simply be emitted into the current
1600 // section (the user of MD_pcsections decides the format of encoded data).
1601 assert(isa<MDString>(MD.getOperand(0)) && "first operand not a string");
1602 bool ConstULEB128 = false;
1603 for (const MDOperand &MDO : MD.operands()) {
1604 if (auto *S = dyn_cast<MDString>(MDO)) {
1605 // Found string, start of new section!
1606 // Find options for this section "<section>!<opts>" - supported options:
1607 // C = Compress constant integers of size 2-8 bytes as ULEB128.
1608 const StringRef SecWithOpt = S->getString();
1609 const size_t OptStart = SecWithOpt.find('!'); // likely npos
1610 const StringRef Sec = SecWithOpt.substr(0, OptStart);
1611 const StringRef Opts = SecWithOpt.substr(OptStart); // likely empty
1612 ConstULEB128 = Opts.contains('C');
1613#ifndef NDEBUG
1614 for (char O : Opts)
1615 assert((O == '!' || O == 'C') && "Invalid !pcsections options");
1616#endif
1617 SwitchSection(Sec);
1618 const MCSymbol *Prev = Syms.front();
1619 for (const MCSymbol *Sym : Syms) {
1620 if (Sym == Prev || !Deltas) {
1621 // Use the entry itself as the base of the relative offset.
1622 MCSymbol *Base = MF.getContext().createTempSymbol("pcsection_base");
1623 OutStreamer->emitLabel(Base);
1624 // Emit relative relocation `addr - base`, which avoids a dynamic
1625 // relocation in the final binary. User will get the address with
1626 // `base + addr`.
1627 emitLabelDifference(Sym, Base, RelativeRelocSize);
1628 } else {
1629 // Emit delta between symbol and previous symbol.
1630 if (ConstULEB128)
1632 else
1633 emitLabelDifference(Sym, Prev, 4);
1634 }
1635 Prev = Sym;
1636 }
1637 } else {
1638 // Emit auxiliary data after PC.
1639 assert(isa<MDNode>(MDO) && "expecting either string or tuple");
1640 const auto *AuxMDs = cast<MDNode>(MDO);
1641 for (const MDOperand &AuxMDO : AuxMDs->operands()) {
1642 assert(isa<ConstantAsMetadata>(AuxMDO) && "expecting a constant");
1643 const Constant *C = cast<ConstantAsMetadata>(AuxMDO)->getValue();
1644 const DataLayout &DL = F.getDataLayout();
1645 const uint64_t Size = DL.getTypeStoreSize(C->getType());
1646
1647 if (auto *CI = dyn_cast<ConstantInt>(C);
1648 CI && ConstULEB128 && Size > 1 && Size <= 8) {
1649 emitULEB128(CI->getZExtValue());
1650 } else {
1652 }
1653 }
1654 }
1655 }
1656 };
1657
1658 OutStreamer->pushSection();
1659 // Emit PCs for function start and function size.
1660 if (const MDNode *MD = F.getMetadata(LLVMContext::MD_pcsections))
1661 EmitForMD(*MD, {getFunctionBegin(), getFunctionEnd()}, true);
1662 // Emit PCs for instructions collected.
1663 for (const auto &MS : PCSectionsSymbols)
1664 EmitForMD(*MS.first, MS.second, false);
1665 OutStreamer->popSection();
1666 PCSectionsSymbols.clear();
1667}
1668
1669/// Returns true if function begin and end labels should be emitted.
1670static bool needFuncLabels(const MachineFunction &MF, const AsmPrinter &Asm) {
1671 if (Asm.hasDebugInfo() || !MF.getLandingPads().empty() ||
1672 MF.hasEHFunclets() ||
1673 MF.getFunction().hasMetadata(LLVMContext::MD_pcsections))
1674 return true;
1675
1676 // We might emit an EH table that uses function begin and end labels even if
1677 // we don't have any landingpads.
1678 if (!MF.getFunction().hasPersonalityFn())
1679 return false;
1680 return !isNoOpWithoutInvoke(
1682}
1683
1684/// EmitFunctionBody - This method emits the body and trailer for a
1685/// function.
1687 emitFunctionHeader();
1688
1689 // Emit target-specific gunk before the function body.
1691
1692 if (isVerbose()) {
1693 // Get MachineDominatorTree or compute it on the fly if it's unavailable
1694 auto MDTWrapper = getAnalysisIfAvailable<MachineDominatorTreeWrapperPass>();
1695 MDT = MDTWrapper ? &MDTWrapper->getDomTree() : nullptr;
1696 if (!MDT) {
1697 OwnedMDT = std::make_unique<MachineDominatorTree>();
1698 OwnedMDT->getBase().recalculate(*MF);
1699 MDT = OwnedMDT.get();
1700 }
1701
1702 // Get MachineLoopInfo or compute it on the fly if it's unavailable
1703 auto *MLIWrapper = getAnalysisIfAvailable<MachineLoopInfoWrapperPass>();
1704 MLI = MLIWrapper ? &MLIWrapper->getLI() : nullptr;
1705 if (!MLI) {
1706 OwnedMLI = std::make_unique<MachineLoopInfo>();
1707 OwnedMLI->analyze(MDT->getBase());
1708 MLI = OwnedMLI.get();
1709 }
1710 }
1711
1712 // Print out code for the function.
1713 bool HasAnyRealCode = false;
1714 int NumInstsInFunction = 0;
1715 bool IsEHa = MMI->getModule()->getModuleFlag("eh-asynch");
1716
1717 bool CanDoExtraAnalysis = ORE->allowExtraAnalysis(DEBUG_TYPE);
1718 for (auto &MBB : *MF) {
1719 // Print a label for the basic block.
1721 DenseMap<StringRef, unsigned> MnemonicCounts;
1722 for (auto &MI : MBB) {
1723 // Print the assembly for the instruction.
1724 if (!MI.isPosition() && !MI.isImplicitDef() && !MI.isKill() &&
1725 !MI.isDebugInstr()) {
1726 HasAnyRealCode = true;
1727 ++NumInstsInFunction;
1728 }
1729
1730 // If there is a pre-instruction symbol, emit a label for it here.
1731 if (MCSymbol *S = MI.getPreInstrSymbol())
1732 OutStreamer->emitLabel(S);
1733
1734 if (MDNode *MD = MI.getPCSections())
1735 emitPCSectionsLabel(*MF, *MD);
1736
1737 for (auto &Handler : DebugHandlers)
1738 Handler->beginInstruction(&MI);
1739
1740 if (isVerbose())
1741 emitComments(MI, OutStreamer->getCommentOS());
1742
1743 switch (MI.getOpcode()) {
1744 case TargetOpcode::CFI_INSTRUCTION:
1746 break;
1747 case TargetOpcode::LOCAL_ESCAPE:
1749 break;
1750 case TargetOpcode::ANNOTATION_LABEL:
1751 case TargetOpcode::GC_LABEL:
1752 OutStreamer->emitLabel(MI.getOperand(0).getMCSymbol());
1753 break;
1754 case TargetOpcode::EH_LABEL:
1755 OutStreamer->emitLabel(MI.getOperand(0).getMCSymbol());
1756 // For AsynchEH, insert a Nop if followed by a trap inst
1757 // Or the exception won't be caught.
1758 // (see MCConstantExpr::create(1,..) in WinException.cpp)
1759 // Ignore SDiv/UDiv because a DIV with Const-0 divisor
1760 // must have being turned into an UndefValue.
1761 // Div with variable opnds won't be the first instruction in
1762 // an EH region as it must be led by at least a Load
1763 {
1764 auto MI2 = std::next(MI.getIterator());
1765 if (IsEHa && MI2 != MBB.end() &&
1766 (MI2->mayLoadOrStore() || MI2->mayRaiseFPException()))
1767 emitNops(1);
1768 }
1769 break;
1770 case TargetOpcode::INLINEASM:
1771 case TargetOpcode::INLINEASM_BR:
1772 emitInlineAsm(&MI);
1773 break;
1774 case TargetOpcode::DBG_VALUE:
1775 case TargetOpcode::DBG_VALUE_LIST:
1776 if (isVerbose()) {
1777 if (!emitDebugValueComment(&MI, *this))
1779 }
1780 break;
1781 case TargetOpcode::DBG_INSTR_REF:
1782 // This instruction reference will have been resolved to a machine
1783 // location, and a nearby DBG_VALUE created. We can safely ignore
1784 // the instruction reference.
1785 break;
1786 case TargetOpcode::DBG_PHI:
1787 // This instruction is only used to label a program point, it's purely
1788 // meta information.
1789 break;
1790 case TargetOpcode::DBG_LABEL:
1791 if (isVerbose()) {
1792 if (!emitDebugLabelComment(&MI, *this))
1794 }
1795 break;
1796 case TargetOpcode::IMPLICIT_DEF:
1797 if (isVerbose()) emitImplicitDef(&MI);
1798 break;
1799 case TargetOpcode::KILL:
1800 if (isVerbose()) emitKill(&MI, *this);
1801 break;
1802 case TargetOpcode::PSEUDO_PROBE:
1804 break;
1805 case TargetOpcode::ARITH_FENCE:
1806 if (isVerbose())
1807 OutStreamer->emitRawComment("ARITH_FENCE");
1808 break;
1809 case TargetOpcode::MEMBARRIER:
1810 OutStreamer->emitRawComment("MEMBARRIER");
1811 break;
1812 case TargetOpcode::JUMP_TABLE_DEBUG_INFO:
1813 // This instruction is only used to note jump table debug info, it's
1814 // purely meta information.
1815 break;
1816 default:
1818 if (CanDoExtraAnalysis) {
1819 MCInst MCI;
1820 MCI.setOpcode(MI.getOpcode());
1821 auto Name = OutStreamer->getMnemonic(MCI);
1822 auto I = MnemonicCounts.insert({Name, 0u});
1823 I.first->second++;
1824 }
1825 break;
1826 }
1827
1828 // If there is a post-instruction symbol, emit a label for it here.
1829 if (MCSymbol *S = MI.getPostInstrSymbol())
1830 OutStreamer->emitLabel(S);
1831
1832 for (auto &Handler : DebugHandlers)
1833 Handler->endInstruction();
1834 }
1835
1836 // We must emit temporary symbol for the end of this basic block, if either
1837 // we have BBLabels enabled or if this basic blocks marks the end of a
1838 // section.
1839 if (MF->hasBBLabels() || MF->getTarget().Options.BBAddrMap ||
1841 OutStreamer->emitLabel(MBB.getEndSymbol());
1842
1843 if (MBB.isEndSection()) {
1844 // The size directive for the section containing the entry block is
1845 // handled separately by the function section.
1846 if (!MBB.sameSection(&MF->front())) {
1848 // Emit the size directive for the basic block section.
1849 const MCExpr *SizeExp = MCBinaryExpr::createSub(
1851 MCSymbolRefExpr::create(CurrentSectionBeginSym, OutContext),
1852 OutContext);
1853 OutStreamer->emitELFSize(CurrentSectionBeginSym, SizeExp);
1854 }
1855 assert(!MBBSectionRanges.contains(MBB.getSectionID()) &&
1856 "Overwrite section range");
1858 MBBSectionRange{CurrentSectionBeginSym, MBB.getEndSymbol()};
1859 }
1860 }
1862
1863 if (CanDoExtraAnalysis) {
1864 // Skip empty blocks.
1865 if (MBB.empty())
1866 continue;
1867
1869 MBB.begin()->getDebugLoc(), &MBB);
1870
1871 // Generate instruction mix remark. First, sort counts in descending order
1872 // by count and name.
1874 for (auto &KV : MnemonicCounts)
1875 MnemonicVec.emplace_back(KV.first, KV.second);
1876
1877 sort(MnemonicVec, [](const std::pair<StringRef, unsigned> &A,
1878 const std::pair<StringRef, unsigned> &B) {
1879 if (A.second > B.second)
1880 return true;
1881 if (A.second == B.second)
1882 return StringRef(A.first) < StringRef(B.first);
1883 return false;
1884 });
1885 R << "BasicBlock: " << ore::NV("BasicBlock", MBB.getName()) << "\n";
1886 for (auto &KV : MnemonicVec) {
1887 auto Name = (Twine("INST_") + getToken(KV.first.trim()).first).str();
1888 R << KV.first << ": " << ore::NV(Name, KV.second) << "\n";
1889 }
1890 ORE->emit(R);
1891 }
1892 }
1893
1894 EmittedInsts += NumInstsInFunction;
1895 MachineOptimizationRemarkAnalysis R(DEBUG_TYPE, "InstructionCount",
1897 &MF->front());
1898 R << ore::NV("NumInstructions", NumInstsInFunction)
1899 << " instructions in function";
1900 ORE->emit(R);
1901
1902 // If the function is empty and the object file uses .subsections_via_symbols,
1903 // then we need to emit *something* to the function body to prevent the
1904 // labels from collapsing together. Just emit a noop.
1905 // Similarly, don't emit empty functions on Windows either. It can lead to
1906 // duplicate entries (two functions with the same RVA) in the Guard CF Table
1907 // after linking, causing the kernel not to load the binary:
1908 // https://developercommunity.visualstudio.com/content/problem/45366/vc-linker-creates-invalid-dll-with-clang-cl.html
1909 // FIXME: Hide this behind some API in e.g. MCAsmInfo or MCTargetStreamer.
1910 const Triple &TT = TM.getTargetTriple();
1911 if (!HasAnyRealCode && (MAI->hasSubsectionsViaSymbols() ||
1912 (TT.isOSWindows() && TT.isOSBinFormatCOFF()))) {
1913 MCInst Noop = MF->getSubtarget().getInstrInfo()->getNop();
1914
1915 // Targets can opt-out of emitting the noop here by leaving the opcode
1916 // unspecified.
1917 if (Noop.getOpcode()) {
1918 OutStreamer->AddComment("avoids zero-length function");
1919 emitNops(1);
1920 }
1921 }
1922
1923 // Switch to the original section in case basic block sections was used.
1924 OutStreamer->switchSection(MF->getSection());
1925
1926 const Function &F = MF->getFunction();
1927 for (const auto &BB : F) {
1928 if (!BB.hasAddressTaken())
1929 continue;
1931 if (Sym->isDefined())
1932 continue;
1933 OutStreamer->AddComment("Address of block that was removed by CodeGen");
1934 OutStreamer->emitLabel(Sym);
1935 }
1936
1937 // Emit target-specific gunk after the function body.
1939
1940 // Even though wasm supports .type and .size in general, function symbols
1941 // are automatically sized.
1942 bool EmitFunctionSize = MAI->hasDotTypeDotSizeDirective() && !TT.isWasm();
1943
1944 if (EmitFunctionSize || needFuncLabels(*MF, *this)) {
1945 // Create a symbol for the end of function.
1946 CurrentFnEnd = createTempSymbol("func_end");
1947 OutStreamer->emitLabel(CurrentFnEnd);
1948 }
1949
1950 // If the target wants a .size directive for the size of the function, emit
1951 // it.
1952 if (EmitFunctionSize) {
1953 // We can get the size as difference between the function label and the
1954 // temp label.
1955 const MCExpr *SizeExp = MCBinaryExpr::createSub(
1956 MCSymbolRefExpr::create(CurrentFnEnd, OutContext),
1958 OutStreamer->emitELFSize(CurrentFnSym, SizeExp);
1960 OutStreamer->emitELFSize(CurrentFnBeginLocal, SizeExp);
1961 }
1962
1963 // Call endBasicBlockSection on the last block now, if it wasn't already
1964 // called.
1965 if (!MF->back().isEndSection()) {
1966 for (auto &Handler : DebugHandlers)
1967 Handler->endBasicBlockSection(MF->back());
1968 for (auto &Handler : Handlers)
1969 Handler->endBasicBlockSection(MF->back());
1970 }
1971 for (auto &Handler : Handlers)
1972 Handler->markFunctionEnd();
1973
1974 assert(!MBBSectionRanges.contains(MF->front().getSectionID()) &&
1975 "Overwrite section range");
1977 MBBSectionRange{CurrentFnBegin, CurrentFnEnd};
1978
1979 // Print out jump tables referenced by the function.
1981
1982 // Emit post-function debug and/or EH information.
1983 for (auto &Handler : DebugHandlers)
1984 Handler->endFunction(MF);
1985 for (auto &Handler : Handlers)
1986 Handler->endFunction(MF);
1987
1988 // Emit section containing BB address offsets and their metadata, when
1989 // BB labels are requested for this function. Skip empty functions.
1990 if (HasAnyRealCode) {
1993 else if (PgoAnalysisMapFeatures.getBits() != 0)
1995 SMLoc(), "pgo-analysis-map is enabled for function " + MF->getName() +
1996 " but it does not have labels");
1997 }
1998
1999 // Emit sections containing instruction and function PCs.
2001
2002 // Emit section containing stack size metadata.
2004
2005 // Emit .su file containing function stack size information.
2007
2009
2010 if (isVerbose())
2011 OutStreamer->getCommentOS() << "-- End function\n";
2012
2013 OutStreamer->addBlankLine();
2014}
2015
2016/// Compute the number of Global Variables that uses a Constant.
2017static unsigned getNumGlobalVariableUses(const Constant *C) {
2018 if (!C)
2019 return 0;
2020
2021 if (isa<GlobalVariable>(C))
2022 return 1;
2023
2024 unsigned NumUses = 0;
2025 for (const auto *CU : C->users())
2026 NumUses += getNumGlobalVariableUses(dyn_cast<Constant>(CU));
2027
2028 return NumUses;
2029}
2030
2031/// Only consider global GOT equivalents if at least one user is a
2032/// cstexpr inside an initializer of another global variables. Also, don't
2033/// handle cstexpr inside instructions. During global variable emission,
2034/// candidates are skipped and are emitted later in case at least one cstexpr
2035/// isn't replaced by a PC relative GOT entry access.
2037 unsigned &NumGOTEquivUsers) {
2038 // Global GOT equivalents are unnamed private globals with a constant
2039 // pointer initializer to another global symbol. They must point to a
2040 // GlobalVariable or Function, i.e., as GlobalValue.
2041 if (!GV->hasGlobalUnnamedAddr() || !GV->hasInitializer() ||
2042 !GV->isConstant() || !GV->isDiscardableIfUnused() ||
2043 !isa<GlobalValue>(GV->getOperand(0)))
2044 return false;
2045
2046 // To be a got equivalent, at least one of its users need to be a constant
2047 // expression used by another global variable.
2048 for (const auto *U : GV->users())
2049 NumGOTEquivUsers += getNumGlobalVariableUses(dyn_cast<Constant>(U));
2050
2051 return NumGOTEquivUsers > 0;
2052}
2053
2054/// Unnamed constant global variables solely contaning a pointer to
2055/// another globals variable is equivalent to a GOT table entry; it contains the
2056/// the address of another symbol. Optimize it and replace accesses to these
2057/// "GOT equivalents" by using the GOT entry for the final global instead.
2058/// Compute GOT equivalent candidates among all global variables to avoid
2059/// emitting them if possible later on, after it use is replaced by a GOT entry
2060/// access.
2062 if (!getObjFileLowering().supportIndirectSymViaGOTPCRel())
2063 return;
2064
2065 for (const auto &G : M.globals()) {
2066 unsigned NumGOTEquivUsers = 0;
2067 if (!isGOTEquivalentCandidate(&G, NumGOTEquivUsers))
2068 continue;
2069
2070 const MCSymbol *GOTEquivSym = getSymbol(&G);
2071 GlobalGOTEquivs[GOTEquivSym] = std::make_pair(&G, NumGOTEquivUsers);
2072 }
2073}
2074
2075/// Constant expressions using GOT equivalent globals may not be eligible
2076/// for PC relative GOT entry conversion, in such cases we need to emit such
2077/// globals we previously omitted in EmitGlobalVariable.
2079 if (!getObjFileLowering().supportIndirectSymViaGOTPCRel())
2080 return;
2081
2083 for (auto &I : GlobalGOTEquivs) {
2084 const GlobalVariable *GV = I.second.first;
2085 unsigned Cnt = I.second.second;
2086 if (Cnt)
2087 FailedCandidates.push_back(GV);
2088 }
2089 GlobalGOTEquivs.clear();
2090
2091 for (const auto *GV : FailedCandidates)
2093}
2094
2096 MCSymbol *Name = getSymbol(&GA);
2097 bool IsFunction = GA.getValueType()->isFunctionTy();
2098 // Treat bitcasts of functions as functions also. This is important at least
2099 // on WebAssembly where object and function addresses can't alias each other.
2100 if (!IsFunction)
2101 IsFunction = isa<Function>(GA.getAliasee()->stripPointerCasts());
2102
2103 // AIX's assembly directive `.set` is not usable for aliasing purpose,
2104 // so AIX has to use the extra-label-at-definition strategy. At this
2105 // point, all the extra label is emitted, we just have to emit linkage for
2106 // those labels.
2109 "Visibility should be handled with emitLinkage() on AIX.");
2110
2111 // Linkage for alias of global variable has been emitted.
2112 if (isa<GlobalVariable>(GA.getAliaseeObject()))
2113 return;
2114
2115 emitLinkage(&GA, Name);
2116 // If it's a function, also emit linkage for aliases of function entry
2117 // point.
2118 if (IsFunction)
2119 emitLinkage(&GA,
2120 getObjFileLowering().getFunctionEntryPointSymbol(&GA, TM));
2121 return;
2122 }
2123
2125 OutStreamer->emitSymbolAttribute(Name, MCSA_Global);
2126 else if (GA.hasWeakLinkage() || GA.hasLinkOnceLinkage())
2127 OutStreamer->emitSymbolAttribute(Name, MCSA_WeakReference);
2128 else
2129 assert(GA.hasLocalLinkage() && "Invalid alias linkage");
2130
2131 // Set the symbol type to function if the alias has a function type.
2132 // This affects codegen when the aliasee is not a function.
2133 if (IsFunction) {
2134 OutStreamer->emitSymbolAttribute(Name, MCSA_ELF_TypeFunction);
2136 OutStreamer->beginCOFFSymbolDef(Name);
2137 OutStreamer->emitCOFFSymbolStorageClass(
2142 OutStreamer->endCOFFSymbolDef();
2143 }
2144 }
2145
2147
2148 const MCExpr *Expr = lowerConstant(GA.getAliasee());
2149
2150 if (MAI->isMachO() && isa<MCBinaryExpr>(Expr))
2151 OutStreamer->emitSymbolAttribute(Name, MCSA_AltEntry);
2152
2153 // Emit the directives as assignments aka .set:
2154 OutStreamer->emitAssignment(Name, Expr);
2155 MCSymbol *LocalAlias = getSymbolPreferLocal(GA);
2156 if (LocalAlias != Name)
2157 OutStreamer->emitAssignment(LocalAlias, Expr);
2158
2159 // If the aliasee does not correspond to a symbol in the output, i.e. the
2160 // alias is not of an object or the aliased object is private, then set the
2161 // size of the alias symbol from the type of the alias. We don't do this in
2162 // other situations as the alias and aliasee having differing types but same
2163 // size may be intentional.
2164 const GlobalObject *BaseObject = GA.getAliaseeObject();
2166 (!BaseObject || BaseObject->hasPrivateLinkage())) {
2167 const DataLayout &DL = M.getDataLayout();
2168 uint64_t Size = DL.getTypeAllocSize(GA.getValueType());
2170 }
2171}
2172
2173void AsmPrinter::emitGlobalIFunc(Module &M, const GlobalIFunc &GI) {
2175 "IFunc is not supported on AIX.");
2176
2177 auto EmitLinkage = [&](MCSymbol *Sym) {
2179 OutStreamer->emitSymbolAttribute(Sym, MCSA_Global);
2180 else if (GI.hasWeakLinkage() || GI.hasLinkOnceLinkage())
2181 OutStreamer->emitSymbolAttribute(Sym, MCSA_WeakReference);
2182 else
2183 assert(GI.hasLocalLinkage() && "Invalid ifunc linkage");
2184 };
2185
2187 MCSymbol *Name = getSymbol(&GI);
2188 EmitLinkage(Name);
2189 OutStreamer->emitSymbolAttribute(Name, MCSA_ELF_TypeIndFunction);
2191
2192 // Emit the directives as assignments aka .set:
2193 const MCExpr *Expr = lowerConstant(GI.getResolver());
2194 OutStreamer->emitAssignment(Name, Expr);
2195 MCSymbol *LocalAlias = getSymbolPreferLocal(GI);
2196 if (LocalAlias != Name)
2197 OutStreamer->emitAssignment(LocalAlias, Expr);
2198
2199 return;
2200 }
2201
2203 llvm::report_fatal_error("IFuncs are not supported on this platform");
2204
2205 // On Darwin platforms, emit a manually-constructed .symbol_resolver that
2206 // implements the symbol resolution duties of the IFunc.
2207 //
2208 // Normally, this would be handled by linker magic, but unfortunately there
2209 // are a few limitations in ld64 and ld-prime's implementation of
2210 // .symbol_resolver that mean we can't always use them:
2211 //
2212 // * resolvers cannot be the target of an alias
2213 // * resolvers cannot have private linkage
2214 // * resolvers cannot have linkonce linkage
2215 // * resolvers cannot appear in executables
2216 // * resolvers cannot appear in bundles
2217 //
2218 // This works around that by emitting a close approximation of what the
2219 // linker would have done.
2220
2221 MCSymbol *LazyPointer =
2222 GetExternalSymbolSymbol(GI.getName() + ".lazy_pointer");
2223 MCSymbol *StubHelper = GetExternalSymbolSymbol(GI.getName() + ".stub_helper");
2224
2226
2227 const DataLayout &DL = M.getDataLayout();
2228 emitAlignment(Align(DL.getPointerSize()));
2229 OutStreamer->emitLabel(LazyPointer);
2230 emitVisibility(LazyPointer, GI.getVisibility());
2231 OutStreamer->emitValue(MCSymbolRefExpr::create(StubHelper, OutContext), 8);
2232
2234
2235 const TargetSubtargetInfo *STI =
2237 const TargetLowering *TLI = STI->getTargetLowering();
2238 Align TextAlign(TLI->getMinFunctionAlignment());
2239
2240 MCSymbol *Stub = getSymbol(&GI);
2241 EmitLinkage(Stub);
2242 OutStreamer->emitCodeAlignment(TextAlign, getIFuncMCSubtargetInfo());
2243 OutStreamer->emitLabel(Stub);
2244 emitVisibility(Stub, GI.getVisibility());
2245 emitMachOIFuncStubBody(M, GI, LazyPointer);
2246
2247 OutStreamer->emitCodeAlignment(TextAlign, getIFuncMCSubtargetInfo());
2248 OutStreamer->emitLabel(StubHelper);
2249 emitVisibility(StubHelper, GI.getVisibility());
2250 emitMachOIFuncStubHelperBody(M, GI, LazyPointer);
2251}
2252
2254 if (!RS.needsSection())
2255 return;
2256
2257 remarks::RemarkSerializer &RemarkSerializer = RS.getSerializer();
2258
2259 std::optional<SmallString<128>> Filename;
2260 if (std::optional<StringRef> FilenameRef = RS.getFilename()) {
2261 Filename = *FilenameRef;
2262 sys::fs::make_absolute(*Filename);
2263 assert(!Filename->empty() && "The filename can't be empty.");
2264 }
2265
2266 std::string Buf;
2268 std::unique_ptr<remarks::MetaSerializer> MetaSerializer =
2269 Filename ? RemarkSerializer.metaSerializer(OS, Filename->str())
2270 : RemarkSerializer.metaSerializer(OS);
2271 MetaSerializer->emit();
2272
2273 // Switch to the remarks section.
2274 MCSection *RemarksSection =
2276 OutStreamer->switchSection(RemarksSection);
2277
2278 OutStreamer->emitBinaryData(Buf);
2279}
2280
2282 // Set the MachineFunction to nullptr so that we can catch attempted
2283 // accesses to MF specific features at the module level and so that
2284 // we can conditionalize accesses based on whether or not it is nullptr.
2285 MF = nullptr;
2286
2287 // Gather all GOT equivalent globals in the module. We really need two
2288 // passes over the globals: one to compute and another to avoid its emission
2289 // in EmitGlobalVariable, otherwise we would not be able to handle cases
2290 // where the got equivalent shows up before its use.
2292
2293 // Emit global variables.
2294 for (const auto &G : M.globals())
2296
2297 // Emit remaining GOT equivalent globals.
2299
2301
2302 // Emit linkage(XCOFF) and visibility info for declarations
2303 for (const Function &F : M) {
2304 if (!F.isDeclarationForLinker())
2305 continue;
2306
2307 MCSymbol *Name = getSymbol(&F);
2308 // Function getSymbol gives us the function descriptor symbol for XCOFF.
2309
2311 GlobalValue::VisibilityTypes V = F.getVisibility();
2313 continue;
2314
2315 emitVisibility(Name, V, false);
2316 continue;
2317 }
2318
2319 if (F.isIntrinsic())
2320 continue;
2321
2322 // Handle the XCOFF case.
2323 // Variable `Name` is the function descriptor symbol (see above). Get the
2324 // function entry point symbol.
2325 MCSymbol *FnEntryPointSym = TLOF.getFunctionEntryPointSymbol(&F, TM);
2326 // Emit linkage for the function entry point.
2327 emitLinkage(&F, FnEntryPointSym);
2328
2329 // If a function's address is taken, which means it may be called via a
2330 // function pointer, we need the function descriptor for it.
2331 if (F.hasAddressTaken())
2332 emitLinkage(&F, Name);
2333 }
2334
2335 // Emit the remarks section contents.
2336 // FIXME: Figure out when is the safest time to emit this section. It should
2337 // not come after debug info.
2338 if (remarks::RemarkStreamer *RS = M.getContext().getMainRemarkStreamer())
2339 emitRemarksSection(*RS);
2340
2342
2345
2346 // Output stubs for external and common global variables.
2348 if (!Stubs.empty()) {
2349 OutStreamer->switchSection(TLOF.getDataSection());
2350 const DataLayout &DL = M.getDataLayout();
2351
2352 emitAlignment(Align(DL.getPointerSize()));
2353 for (const auto &Stub : Stubs) {
2354 OutStreamer->emitLabel(Stub.first);
2355 OutStreamer->emitSymbolValue(Stub.second.getPointer(),
2356 DL.getPointerSize());
2357 }
2358 }
2359 }
2360
2362 MachineModuleInfoCOFF &MMICOFF =
2364
2365 // Output stubs for external and common global variables.
2367 if (!Stubs.empty()) {
2368 const DataLayout &DL = M.getDataLayout();
2369
2370 for (const auto &Stub : Stubs) {
2372 SectionName += Stub.first->getName();
2373 OutStreamer->switchSection(OutContext.getCOFFSection(
2377 Stub.first->getName(), COFF::IMAGE_COMDAT_SELECT_ANY));
2378 emitAlignment(Align(DL.getPointerSize()));
2379 OutStreamer->emitSymbolAttribute(Stub.first, MCSA_Global);
2380 OutStreamer->emitLabel(Stub.first);
2381 OutStreamer->emitSymbolValue(Stub.second.getPointer(),
2382 DL.getPointerSize());
2383 }
2384 }
2385 }
2386
2387 // This needs to happen before emitting debug information since that can end
2388 // arbitrary sections.
2389 if (auto *TS = OutStreamer->getTargetStreamer())
2390 TS->emitConstantPools();
2391
2392 // Emit Stack maps before any debug info. Mach-O requires that no data or
2393 // text sections come after debug info has been emitted. This matters for
2394 // stack maps as they are arbitrary data, and may even have a custom format
2395 // through user plugins.
2396 emitStackMaps();
2397
2398 // Print aliases in topological order, that is, for each alias a = b,
2399 // b must be printed before a.
2400 // This is because on some targets (e.g. PowerPC) linker expects aliases in
2401 // such an order to generate correct TOC information.
2404 for (const auto &Alias : M.aliases()) {
2405 if (Alias.hasAvailableExternallyLinkage())
2406 continue;
2407 for (const GlobalAlias *Cur = &Alias; Cur;
2408 Cur = dyn_cast<GlobalAlias>(Cur->getAliasee())) {
2409 if (!AliasVisited.insert(Cur).second)
2410 break;
2411 AliasStack.push_back(Cur);
2412 }
2413 for (const GlobalAlias *AncestorAlias : llvm::reverse(AliasStack))
2414 emitGlobalAlias(M, *AncestorAlias);
2415 AliasStack.clear();
2416 }
2417
2418 // IFuncs must come before deubginfo in case the backend decides to emit them
2419 // as actual functions, since on Mach-O targets, we cannot create regular
2420 // sections after DWARF.
2421 for (const auto &IFunc : M.ifuncs())
2422 emitGlobalIFunc(M, IFunc);
2423
2424 // Finalize debug and EH information.
2425 for (auto &Handler : DebugHandlers)
2426 Handler->endModule();
2427 for (auto &Handler : Handlers)
2428 Handler->endModule();
2429
2430 // This deletes all the ephemeral handlers that AsmPrinter added, while
2431 // keeping all the user-added handlers alive until the AsmPrinter is
2432 // destroyed.
2433 Handlers.erase(Handlers.begin() + NumUserHandlers, Handlers.end());
2435 DebugHandlers.end());
2436 DD = nullptr;
2437
2438 // If the target wants to know about weak references, print them all.
2439 if (MAI->getWeakRefDirective()) {
2440 // FIXME: This is not lazy, it would be nice to only print weak references
2441 // to stuff that is actually used. Note that doing so would require targets
2442 // to notice uses in operands (due to constant exprs etc). This should
2443 // happen with the MC stuff eventually.
2444
2445 // Print out module-level global objects here.
2446 for (const auto &GO : M.global_objects()) {
2447 if (!GO.hasExternalWeakLinkage())
2448 continue;
2449 OutStreamer->emitSymbolAttribute(getSymbol(&GO), MCSA_WeakReference);
2450 }
2452 auto SymbolName = "swift_async_extendedFramePointerFlags";
2453 auto Global = M.getGlobalVariable(SymbolName);
2454 if (!Global) {
2455 auto PtrTy = PointerType::getUnqual(M.getContext());
2456 Global = new GlobalVariable(M, PtrTy, false,
2458 SymbolName);
2459 OutStreamer->emitSymbolAttribute(getSymbol(Global), MCSA_WeakReference);
2460 }
2461 }
2462 }
2463
2464 GCModuleInfo *MI = getAnalysisIfAvailable<GCModuleInfo>();
2465 assert(MI && "AsmPrinter didn't require GCModuleInfo?");
2466 for (GCModuleInfo::iterator I = MI->end(), E = MI->begin(); I != E; )
2467 if (GCMetadataPrinter *MP = getOrCreateGCPrinter(**--I))
2468 MP->finishAssembly(M, *MI, *this);
2469
2470 // Emit llvm.ident metadata in an '.ident' directive.
2471 emitModuleIdents(M);
2472
2473 // Emit bytes for llvm.commandline metadata.
2474 // The command line metadata is emitted earlier on XCOFF.
2476 emitModuleCommandLines(M);
2477
2478 // Emit .note.GNU-split-stack and .note.GNU-no-split-stack sections if
2479 // split-stack is used.
2480 if (TM.getTargetTriple().isOSBinFormatELF() && HasSplitStack) {
2481 OutStreamer->switchSection(OutContext.getELFSection(".note.GNU-split-stack",
2482 ELF::SHT_PROGBITS, 0));
2483 if (HasNoSplitStack)
2484 OutStreamer->switchSection(OutContext.getELFSection(
2485 ".note.GNU-no-split-stack", ELF::SHT_PROGBITS, 0));
2486 }
2487
2488 // If we don't have any trampolines, then we don't require stack memory
2489 // to be executable. Some targets have a directive to declare this.
2490 Function *InitTrampolineIntrinsic = M.getFunction("llvm.init.trampoline");
2491 if (!InitTrampolineIntrinsic || InitTrampolineIntrinsic->use_empty())
2493 OutStreamer->switchSection(S);
2494
2495 if (TM.Options.EmitAddrsig) {
2496 // Emit address-significance attributes for all globals.
2497 OutStreamer->emitAddrsig();
2498 for (const GlobalValue &GV : M.global_values()) {
2499 if (!GV.use_empty() && !GV.isThreadLocal() &&
2500 !GV.hasDLLImportStorageClass() &&
2501 !GV.getName().starts_with("llvm.") &&
2502 !GV.hasAtLeastLocalUnnamedAddr())
2503 OutStreamer->emitAddrsigSym(getSymbol(&GV));
2504 }
2505 }
2506
2507 // Emit symbol partition specifications (ELF only).
2509 unsigned UniqueID = 0;
2510 for (const GlobalValue &GV : M.global_values()) {
2511 if (!GV.hasPartition() || GV.isDeclarationForLinker() ||
2512 GV.getVisibility() != GlobalValue::DefaultVisibility)
2513 continue;
2514
2515 OutStreamer->switchSection(
2516 OutContext.getELFSection(".llvm_sympart", ELF::SHT_LLVM_SYMPART, 0, 0,
2517 "", false, ++UniqueID, nullptr));
2518 OutStreamer->emitBytes(GV.getPartition());
2519 OutStreamer->emitZeros(1);
2520 OutStreamer->emitValue(
2523 }
2524 }
2525
2526 // Allow the target to emit any magic that it wants at the end of the file,
2527 // after everything else has gone out.
2529
2530 MMI = nullptr;
2531 AddrLabelSymbols = nullptr;
2532
2533 OutStreamer->finish();
2534 OutStreamer->reset();
2535 OwnedMLI.reset();
2536 OwnedMDT.reset();
2537
2538 return false;
2539}
2540
2542 auto Res = MBBSectionExceptionSyms.try_emplace(MBB.getSectionID());
2543 if (Res.second)
2544 Res.first->second = createTempSymbol("exception");
2545 return Res.first->second;
2546}
2547
2549 this->MF = &MF;
2550 const Function &F = MF.getFunction();
2551
2552 // Record that there are split-stack functions, so we will emit a special
2553 // section to tell the linker.
2554 if (MF.shouldSplitStack()) {
2555 HasSplitStack = true;
2556
2558 HasNoSplitStack = true;
2559 } else
2560 HasNoSplitStack = true;
2561
2562 // Get the function symbol.
2563 if (!MAI->needsFunctionDescriptors()) {
2565 } else {
2567 "Only AIX uses the function descriptor hooks.");
2568 // AIX is unique here in that the name of the symbol emitted for the
2569 // function body does not have the same name as the source function's
2570 // C-linkage name.
2571 assert(CurrentFnDescSym && "The function descriptor symbol needs to be"
2572 " initalized first.");
2573
2574 // Get the function entry point symbol.
2576 }
2577
2579 CurrentFnBegin = nullptr;
2580 CurrentFnBeginLocal = nullptr;
2581 CurrentSectionBeginSym = nullptr;
2582 MBBSectionRanges.clear();
2583 MBBSectionExceptionSyms.clear();
2584 bool NeedsLocalForSize = MAI->needsLocalForSize();
2585 if (F.hasFnAttribute("patchable-function-entry") ||
2586 F.hasFnAttribute("function-instrument") ||
2587 F.hasFnAttribute("xray-instruction-threshold") ||
2588 needFuncLabels(MF, *this) || NeedsLocalForSize ||
2591 CurrentFnBegin = createTempSymbol("func_begin");
2592 if (NeedsLocalForSize)
2594 }
2595
2596 ORE = &getAnalysis<MachineOptimizationRemarkEmitterPass>().getORE();
2597}
2598
2599namespace {
2600
2601// Keep track the alignment, constpool entries per Section.
2602 struct SectionCPs {
2603 MCSection *S;
2604 Align Alignment;
2606
2607 SectionCPs(MCSection *s, Align a) : S(s), Alignment(a) {}
2608 };
2609
2610} // end anonymous namespace
2611
2612/// EmitConstantPool - Print to the current output stream assembly
2613/// representations of the constants in the constant pool MCP. This is
2614/// used to print out constants which have been "spilled to memory" by
2615/// the code generator.
2617 const MachineConstantPool *MCP = MF->getConstantPool();
2618 const std::vector<MachineConstantPoolEntry> &CP = MCP->getConstants();
2619 if (CP.empty()) return;
2620
2621 // Calculate sections for constant pool entries. We collect entries to go into
2622 // the same section together to reduce amount of section switch statements.
2623 SmallVector<SectionCPs, 4> CPSections;
2624 for (unsigned i = 0, e = CP.size(); i != e; ++i) {
2625 const MachineConstantPoolEntry &CPE = CP[i];
2626 Align Alignment = CPE.getAlign();
2627
2629
2630 const Constant *C = nullptr;
2631 if (!CPE.isMachineConstantPoolEntry())
2632 C = CPE.Val.ConstVal;
2633
2635 getDataLayout(), Kind, C, Alignment);
2636
2637 // The number of sections are small, just do a linear search from the
2638 // last section to the first.
2639 bool Found = false;
2640 unsigned SecIdx = CPSections.size();
2641 while (SecIdx != 0) {
2642 if (CPSections[--SecIdx].S == S) {
2643 Found = true;
2644 break;
2645 }
2646 }
2647 if (!Found) {
2648 SecIdx = CPSections.size();
2649 CPSections.push_back(SectionCPs(S, Alignment));
2650 }
2651
2652 if (Alignment > CPSections[SecIdx].Alignment)
2653 CPSections[SecIdx].Alignment = Alignment;
2654 CPSections[SecIdx].CPEs.push_back(i);
2655 }
2656
2657 // Now print stuff into the calculated sections.
2658 const MCSection *CurSection = nullptr;
2659 unsigned Offset = 0;
2660 for (unsigned i = 0, e = CPSections.size(); i != e; ++i) {
2661 for (unsigned j = 0, ee = CPSections[i].CPEs.size(); j != ee; ++j) {
2662 unsigned CPI = CPSections[i].CPEs[j];
2663 MCSymbol *Sym = GetCPISymbol(CPI);
2664 if (!Sym->isUndefined())
2665 continue;
2666
2667 if (CurSection != CPSections[i].S) {
2668 OutStreamer->switchSection(CPSections[i].S);
2669 emitAlignment(Align(CPSections[i].Alignment));
2670 CurSection = CPSections[i].S;
2671 Offset = 0;
2672 }
2673
2674 MachineConstantPoolEntry CPE = CP[CPI];
2675
2676 // Emit inter-object padding for alignment.
2677 unsigned NewOffset = alignTo(Offset, CPE.getAlign());
2678 OutStreamer->emitZeros(NewOffset - Offset);
2679
2680 Offset = NewOffset + CPE.getSizeInBytes(getDataLayout());
2681
2682 OutStreamer->emitLabel(Sym);
2685 else
2687 }
2688 }
2689}
2690
2691// Print assembly representations of the jump tables used by the current
2692// function.
2694 const DataLayout &DL = MF->getDataLayout();
2695 const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
2696 if (!MJTI) return;
2697 if (MJTI->getEntryKind() == MachineJumpTableInfo::EK_Inline) return;
2698 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
2699 if (JT.empty()) return;
2700
2701 // Pick the directive to use to print the jump table entries, and switch to
2702 // the appropriate section.
2703 const Function &F = MF->getFunction();
2705 bool JTInDiffSection = !TLOF.shouldPutJumpTableInFunctionSection(
2708 F);
2709 if (JTInDiffSection) {
2710 // Drop it in the readonly section.
2711 MCSection *ReadOnlySection = TLOF.getSectionForJumpTable(F, TM);
2712 OutStreamer->switchSection(ReadOnlySection);
2713 }
2714
2716
2717 // Jump tables in code sections are marked with a data_region directive
2718 // where that's supported.
2719 if (!JTInDiffSection)
2720 OutStreamer->emitDataRegion(MCDR_DataRegionJT32);
2721
2722 for (unsigned JTI = 0, e = JT.size(); JTI != e; ++JTI) {
2723 const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs;
2724
2725 // If this jump table was deleted, ignore it.
2726 if (JTBBs.empty()) continue;
2727
2728 // For the EK_LabelDifference32 entry, if using .set avoids a relocation,
2729 /// emit a .set directive for each unique entry.
2735 for (const MachineBasicBlock *MBB : JTBBs) {
2736 if (!EmittedSets.insert(MBB).second)
2737 continue;
2738
2739 // .set LJTSet, LBB32-base
2740 const MCExpr *LHS =
2742 OutStreamer->emitAssignment(GetJTSetSymbol(JTI, MBB->getNumber()),
2744 OutContext));
2745 }
2746 }
2747
2748 // On some targets (e.g. Darwin) we want to emit two consecutive labels
2749 // before each jump table. The first label is never referenced, but tells
2750 // the assembler and linker the extents of the jump table object. The
2751 // second label is actually referenced by the code.
2752 if (JTInDiffSection && DL.hasLinkerPrivateGlobalPrefix())
2753 // FIXME: This doesn't have to have any specific name, just any randomly
2754 // named and numbered local label started with 'l' would work. Simplify
2755 // GetJTISymbol.
2756 OutStreamer->emitLabel(GetJTISymbol(JTI, true));
2757
2758 MCSymbol* JTISymbol = GetJTISymbol(JTI);
2759 OutStreamer->emitLabel(JTISymbol);
2760
2761 // Defer MCAssembler based constant folding due to a performance issue. The
2762 // label differences will be evaluated at write time.
2763 for (const MachineBasicBlock *MBB : JTBBs)
2764 emitJumpTableEntry(MJTI, MBB, JTI);
2765 }
2766 if (!JTInDiffSection)
2767 OutStreamer->emitDataRegion(MCDR_DataRegionEnd);
2768}
2769
2770/// EmitJumpTableEntry - Emit a jump table entry for the specified MBB to the
2771/// current stream.
2772void AsmPrinter::emitJumpTableEntry(const MachineJumpTableInfo *MJTI,
2773 const MachineBasicBlock *MBB,
2774 unsigned UID) const {
2775 assert(MBB && MBB->getNumber() >= 0 && "Invalid basic block");
2776 const MCExpr *Value = nullptr;
2777 switch (MJTI->getEntryKind()) {
2779 llvm_unreachable("Cannot emit EK_Inline jump table entry");
2782 MJTI, MBB, UID, OutContext);
2783 break;
2785 // EK_BlockAddress - Each entry is a plain address of block, e.g.:
2786 // .word LBB123
2788 break;
2790 // EK_GPRel32BlockAddress - Each entry is an address of block, encoded
2791 // with a relocation as gp-relative, e.g.:
2792 // .gprel32 LBB123
2793 MCSymbol *MBBSym = MBB->getSymbol();
2794 OutStreamer->emitGPRel32Value(MCSymbolRefExpr::create(MBBSym, OutContext));
2795 return;
2796 }
2797
2799 // EK_GPRel64BlockAddress - Each entry is an address of block, encoded
2800 // with a relocation as gp-relative, e.g.:
2801 // .gpdword LBB123
2802 MCSymbol *MBBSym = MBB->getSymbol();
2803 OutStreamer->emitGPRel64Value(MCSymbolRefExpr::create(MBBSym, OutContext));
2804 return;
2805 }
2806
2809 // Each entry is the address of the block minus the address of the jump
2810 // table. This is used for PIC jump tables where gprel32 is not supported.
2811 // e.g.:
2812 // .word LBB123 - LJTI1_2
2813 // If the .set directive avoids relocations, this is emitted as:
2814 // .set L4_5_set_123, LBB123 - LJTI1_2
2815 // .word L4_5_set_123
2819 OutContext);
2820 break;
2821 }
2826 break;
2827 }
2828 }
2829
2830 assert(Value && "Unknown entry kind!");
2831
2832 unsigned EntrySize = MJTI->getEntrySize(getDataLayout());
2833 OutStreamer->emitValue(Value, EntrySize);
2834}
2835
2836/// EmitSpecialLLVMGlobal - Check to see if the specified global is a
2837/// special global used by LLVM. If so, emit it and return true, otherwise
2838/// do nothing and return false.
2840 if (GV->getName() == "llvm.used") {
2841 if (MAI->hasNoDeadStrip()) // No need to emit this at all.
2842 emitLLVMUsedList(cast<ConstantArray>(GV->getInitializer()));
2843 return true;
2844 }
2845
2846 // Ignore debug and non-emitted data. This handles llvm.compiler.used.
2847 if (GV->getSection() == "llvm.metadata" ||
2849 return true;
2850
2851 if (GV->getName() == "llvm.arm64ec.symbolmap") {
2852 // For ARM64EC, print the table that maps between symbols and the
2853 // corresponding thunks to translate between x64 and AArch64 code.
2854 // This table is generated by AArch64Arm64ECCallLowering.
2855 OutStreamer->switchSection(
2857 auto *Arr = cast<ConstantArray>(GV->getInitializer());
2858 for (auto &U : Arr->operands()) {
2859 auto *C = cast<Constant>(U);
2860 auto *Src = cast<GlobalValue>(C->getOperand(0)->stripPointerCasts());
2861 auto *Dst = cast<GlobalValue>(C->getOperand(1)->stripPointerCasts());
2862 int Kind = cast<ConstantInt>(C->getOperand(2))->getZExtValue();
2863
2864 if (Src->hasDLLImportStorageClass()) {
2865 // For now, we assume dllimport functions aren't directly called.
2866 // (We might change this later to match MSVC.)
2867 OutStreamer->emitCOFFSymbolIndex(
2868 OutContext.getOrCreateSymbol("__imp_" + Src->getName()));
2869 OutStreamer->emitCOFFSymbolIndex(getSymbol(Dst));
2870 OutStreamer->emitInt32(Kind);
2871 } else {
2872 // FIXME: For non-dllimport functions, MSVC emits the same entry
2873 // twice, for reasons I don't understand. I have to assume the linker
2874 // ignores the redundant entry; there aren't any reasonable semantics
2875 // to attach to it.
2876 OutStreamer->emitCOFFSymbolIndex(getSymbol(Src));
2877 OutStreamer->emitCOFFSymbolIndex(getSymbol(Dst));
2878 OutStreamer->emitInt32(Kind);
2879 }
2880 }
2881 return true;
2882 }
2883
2884 if (!GV->hasAppendingLinkage()) return false;
2885
2886 assert(GV->hasInitializer() && "Not a special LLVM global!");
2887
2888 if (GV->getName() == "llvm.global_ctors") {
2890 /* isCtor */ true);
2891
2892 return true;
2893 }
2894
2895 if (GV->getName() == "llvm.global_dtors") {
2897 /* isCtor */ false);
2898
2899 return true;
2900 }
2901
2902 report_fatal_error("unknown special variable with appending linkage");
2903}
2904
2905/// EmitLLVMUsedList - For targets that define a MAI::UsedDirective, mark each
2906/// global in the specified llvm.used list.
2907void AsmPrinter::emitLLVMUsedList(const ConstantArray *InitList) {
2908 // Should be an array of 'i8*'.
2909 for (unsigned i = 0, e = InitList->getNumOperands(); i != e; ++i) {
2910 const GlobalValue *GV =
2911 dyn_cast<GlobalValue>(InitList->getOperand(i)->stripPointerCasts());
2912 if (GV)
2913 OutStreamer->emitSymbolAttribute(getSymbol(GV), MCSA_NoDeadStrip);
2914 }
2915}
2916
2918 const Constant *List,
2919 SmallVector<Structor, 8> &Structors) {
2920 // Should be an array of '{ i32, void ()*, i8* }' structs. The first value is
2921 // the init priority.
2922 if (!isa<ConstantArray>(List))
2923 return;
2924
2925 // Gather the structors in a form that's convenient for sorting by priority.
2926 for (Value *O : cast<ConstantArray>(List)->operands()) {
2927 auto *CS = cast<ConstantStruct>(O);
2928 if (CS->getOperand(1)->isNullValue())
2929 break; // Found a null terminator, skip the rest.
2930 ConstantInt *Priority = dyn_cast<ConstantInt>(CS->getOperand(0));
2931 if (!Priority)
2932 continue; // Malformed.
2933 Structors.push_back(Structor());
2934 Structor &S = Structors.back();
2935 S.Priority = Priority->getLimitedValue(65535);
2936 S.Func = CS->getOperand(1);
2937 if (!CS->getOperand(2)->isNullValue()) {
2938 if (TM.getTargetTriple().isOSAIX())
2940 "associated data of XXStructor list is not yet supported on AIX");
2941 S.ComdatKey =
2942 dyn_cast<GlobalValue>(CS->getOperand(2)->stripPointerCasts());
2943 }
2944 }
2945
2946 // Emit the function pointers in the target-specific order
2947 llvm::stable_sort(Structors, [](const Structor &L, const Structor &R) {
2948 return L.Priority < R.Priority;
2949 });
2950}
2951
2952/// EmitXXStructorList - Emit the ctor or dtor list taking into account the init
2953/// priority.
2955 bool IsCtor) {
2956 SmallVector<Structor, 8> Structors;
2957 preprocessXXStructorList(DL, List, Structors);
2958 if (Structors.empty())
2959 return;
2960
2961 // Emit the structors in reverse order if we are using the .ctor/.dtor
2962 // initialization scheme.
2963 if (!TM.Options.UseInitArray)
2964 std::reverse(Structors.begin(), Structors.end());
2965
2966 const Align Align = DL.getPointerPrefAlignment();
2967 for (Structor &S : Structors) {
2969 const MCSymbol *KeySym = nullptr;
2970 if (GlobalValue *GV = S.ComdatKey) {
2971 if (GV->isDeclarationForLinker())
2972 // If the associated variable is not defined in this module
2973 // (it might be available_externally, or have been an
2974 // available_externally definition that was dropped by the
2975 // EliminateAvailableExternally pass), some other TU
2976 // will provide its dynamic initializer.
2977 continue;
2978
2979 KeySym = getSymbol(GV);
2980 }
2981
2982 MCSection *OutputSection =
2983 (IsCtor ? Obj.getStaticCtorSection(S.Priority, KeySym)
2984 : Obj.getStaticDtorSection(S.Priority, KeySym));
2985 OutStreamer->switchSection(OutputSection);
2986 if (OutStreamer->getCurrentSection() != OutStreamer->getPreviousSection())
2988 emitXXStructor(DL, S.Func);
2989 }
2990}
2991
2992void AsmPrinter::emitModuleIdents(Module &M) {
2993 if (!MAI->hasIdentDirective())
2994 return;
2995
2996 if (const NamedMDNode *NMD = M.getNamedMetadata("llvm.ident")) {
2997 for (const MDNode *N : NMD->operands()) {
2998 assert(N->getNumOperands() == 1 &&
2999 "llvm.ident metadata entry can have only one operand");
3000 const MDString *S = cast<MDString>(N->getOperand(0));
3001 OutStreamer->emitIdent(S->getString());
3002 }
3003 }
3004}
3005
3006void AsmPrinter::emitModuleCommandLines(Module &M) {
3008 if (!CommandLine)
3009 return;
3010
3011 const NamedMDNode *NMD = M.getNamedMetadata("llvm.commandline");
3012 if (!NMD || !NMD->getNumOperands())
3013 return;
3014
3015 OutStreamer->pushSection();
3016 OutStreamer->switchSection(CommandLine);
3017 OutStreamer->emitZeros(1);
3018 for (const MDNode *N : NMD->operands()) {
3019 assert(N->getNumOperands() == 1 &&
3020 "llvm.commandline metadata entry can have only one operand");
3021 const MDString *S = cast<MDString>(N->getOperand(0));
3022 OutStreamer->emitBytes(S->getString());
3023 OutStreamer->emitZeros(1);
3024 }
3025 OutStreamer->popSection();
3026}
3027
3028//===--------------------------------------------------------------------===//
3029// Emission and print routines
3030//
3031
3032/// Emit a byte directive and value.
3033///
3034void AsmPrinter::emitInt8(int Value) const { OutStreamer->emitInt8(Value); }
3035
3036/// Emit a short directive and value.
3037void AsmPrinter::emitInt16(int Value) const { OutStreamer->emitInt16(Value); }
3038
3039/// Emit a long directive and value.
3040void AsmPrinter::emitInt32(int Value) const { OutStreamer->emitInt32(Value); }
3041
3042/// EmitSLEB128 - emit the specified signed leb128 value.
3043void AsmPrinter::emitSLEB128(int64_t Value, const char *Desc) const {
3044 if (isVerbose() && Desc)
3045 OutStreamer->AddComment(Desc);
3046
3047 OutStreamer->emitSLEB128IntValue(Value);
3048}
3049
3051 unsigned PadTo) const {
3052 if (isVerbose() && Desc)
3053 OutStreamer->AddComment(Desc);
3054
3055 OutStreamer->emitULEB128IntValue(Value, PadTo);
3056}
3057
3058/// Emit a long long directive and value.
3060 OutStreamer->emitInt64(Value);
3061}
3062
3063/// Emit something like ".long Hi-Lo" where the size in bytes of the directive
3064/// is specified by Size and Hi/Lo specify the labels. This implicitly uses
3065/// .set if it avoids relocations.
3067 unsigned Size) const {
3068 OutStreamer->emitAbsoluteSymbolDiff(Hi, Lo, Size);
3069}
3070
3071/// Emit something like ".uleb128 Hi-Lo".
3073 const MCSymbol *Lo) const {
3074 OutStreamer->emitAbsoluteSymbolDiffAsULEB128(Hi, Lo);
3075}
3076
3077/// EmitLabelPlusOffset - Emit something like ".long Label+Offset"
3078/// where the size in bytes of the directive is specified by Size and Label
3079/// specifies the label. This implicitly uses .set if it is available.
3081 unsigned Size,
3082 bool IsSectionRelative) const {
3083 if (MAI->needsDwarfSectionOffsetDirective() && IsSectionRelative) {
3084 OutStreamer->emitCOFFSecRel32(Label, Offset);
3085 if (Size > 4)
3086 OutStreamer->emitZeros(Size - 4);
3087 return;
3088 }
3089
3090 // Emit Label+Offset (or just Label if Offset is zero)
3091 const MCExpr *Expr = MCSymbolRefExpr::create(Label, OutContext);
3092 if (Offset)
3095
3096 OutStreamer->emitValue(Expr, Size);
3097}
3098
3099//===----------------------------------------------------------------------===//
3100
3101// EmitAlignment - Emit an alignment directive to the specified power of
3102// two boundary. If a global value is specified, and if that global has
3103// an explicit alignment requested, it will override the alignment request
3104// if required for correctness.
3106 unsigned MaxBytesToEmit) const {
3107 if (GV)
3108 Alignment = getGVAlignment(GV, GV->getDataLayout(), Alignment);
3109
3110 if (Alignment == Align(1))
3111 return; // 1-byte aligned: no need to emit alignment.
3112
3113 if (getCurrentSection()->isText()) {
3114 const MCSubtargetInfo *STI = nullptr;
3115 if (this->MF)
3116 STI = &getSubtargetInfo();
3117 else
3118 STI = TM.getMCSubtargetInfo();
3119 OutStreamer->emitCodeAlignment(Alignment, STI, MaxBytesToEmit);
3120 } else
3121 OutStreamer->emitValueToAlignment(Alignment, 0, 1, MaxBytesToEmit);
3122}
3123
3124//===----------------------------------------------------------------------===//
3125// Constant emission.
3126//===----------------------------------------------------------------------===//
3127
3129 MCContext &Ctx = OutContext;
3130
3131 if (CV->isNullValue() || isa<UndefValue>(CV))
3132 return MCConstantExpr::create(0, Ctx);
3133
3134 if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV))
3135 return MCConstantExpr::create(CI->getZExtValue(), Ctx);
3136
3137 if (const ConstantPtrAuth *CPA = dyn_cast<ConstantPtrAuth>(CV))
3138 return lowerConstantPtrAuth(*CPA);
3139
3140 if (const GlobalValue *GV = dyn_cast<GlobalValue>(CV))
3141 return MCSymbolRefExpr::create(getSymbol(GV), Ctx);
3142
3143 if (const BlockAddress *BA = dyn_cast<BlockAddress>(CV))
3144 return lowerBlockAddressConstant(*BA);
3145
3146 if (const auto *Equiv = dyn_cast<DSOLocalEquivalent>(CV))
3148
3149 if (const NoCFIValue *NC = dyn_cast<NoCFIValue>(CV))
3150 return MCSymbolRefExpr::create(getSymbol(NC->getGlobalValue()), Ctx);
3151
3152 const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV);
3153 if (!CE) {
3154 llvm_unreachable("Unknown constant value to lower!");
3155 }
3156
3157 // The constant expression opcodes are limited to those that are necessary
3158 // to represent relocations on supported targets. Expressions involving only
3159 // constant addresses are constant folded instead.
3160 switch (CE->getOpcode()) {
3161 default:
3162 break; // Error
3163 case Instruction::AddrSpaceCast: {
3164 const Constant *Op = CE->getOperand(0);
3165 unsigned DstAS = CE->getType()->getPointerAddressSpace();
3166 unsigned SrcAS = Op->getType()->getPointerAddressSpace();
3167 if (TM.isNoopAddrSpaceCast(SrcAS, DstAS))
3168 return lowerConstant(Op);
3169
3170 break; // Error
3171 }
3172 case Instruction::GetElementPtr: {
3173 // Generate a symbolic expression for the byte address
3174 APInt OffsetAI(getDataLayout().getPointerTypeSizeInBits(CE->getType()), 0);
3175 cast<GEPOperator>(CE)->accumulateConstantOffset(getDataLayout(), OffsetAI);
3176
3177 const MCExpr *Base = lowerConstant(CE->getOperand(0));
3178 if (!OffsetAI)
3179 return Base;
3180
3181 int64_t Offset = OffsetAI.getSExtValue();
3183 Ctx);
3184 }
3185
3186 case Instruction::Trunc:
3187 // We emit the value and depend on the assembler to truncate the generated
3188 // expression properly. This is important for differences between
3189 // blockaddress labels. Since the two labels are in the same function, it
3190 // is reasonable to treat their delta as a 32-bit value.
3191 [[fallthrough]];
3192 case Instruction::BitCast:
3193 return lowerConstant(CE->getOperand(0));
3194
3195 case Instruction::IntToPtr: {
3196 const DataLayout &DL = getDataLayout();
3197
3198 // Handle casts to pointers by changing them into casts to the appropriate
3199 // integer type. This promotes constant folding and simplifies this code.
3200 Constant *Op = CE->getOperand(0);
3201 Op = ConstantFoldIntegerCast(Op, DL.getIntPtrType(CV->getType()),
3202 /*IsSigned*/ false, DL);
3203 if (Op)
3204 return lowerConstant(Op);
3205
3206 break; // Error
3207 }
3208
3209 case Instruction::PtrToInt: {
3210 const DataLayout &DL = getDataLayout();
3211
3212 // Support only foldable casts to/from pointers that can be eliminated by
3213 // changing the pointer to the appropriately sized integer type.
3214 Constant *Op = CE->getOperand(0);
3215 Type *Ty = CE->getType();
3216
3217 const MCExpr *OpExpr = lowerConstant(Op);
3218
3219 // We can emit the pointer value into this slot if the slot is an
3220 // integer slot equal to the size of the pointer.
3221 //
3222 // If the pointer is larger than the resultant integer, then
3223 // as with Trunc just depend on the assembler to truncate it.
3224 if (DL.getTypeAllocSize(Ty).getFixedValue() <=
3225 DL.getTypeAllocSize(Op->getType()).getFixedValue())
3226 return OpExpr;
3227
3228 break; // Error
3229 }
3230
3231 case Instruction::Sub: {
3232 GlobalValue *LHSGV;
3233 APInt LHSOffset;
3234 DSOLocalEquivalent *DSOEquiv;
3235 if (IsConstantOffsetFromGlobal(CE->getOperand(0), LHSGV, LHSOffset,
3236 getDataLayout(), &DSOEquiv)) {
3237 GlobalValue *RHSGV;
3238 APInt RHSOffset;
3239 if (IsConstantOffsetFromGlobal(CE->getOperand(1), RHSGV, RHSOffset,
3240 getDataLayout())) {
3241 const MCExpr *RelocExpr =
3243 if (!RelocExpr) {
3244 const MCExpr *LHSExpr =
3246 if (DSOEquiv &&
3247 getObjFileLowering().supportDSOLocalEquivalentLowering())
3248 LHSExpr =
3250 RelocExpr = MCBinaryExpr::createSub(
3251 LHSExpr, MCSymbolRefExpr::create(getSymbol(RHSGV), Ctx), Ctx);
3252 }
3253 int64_t Addend = (LHSOffset - RHSOffset).getSExtValue();
3254 if (Addend != 0)
3255 RelocExpr = MCBinaryExpr::createAdd(
3256 RelocExpr, MCConstantExpr::create(Addend, Ctx), Ctx);
3257 return RelocExpr;
3258 }
3259 }
3260
3261 const MCExpr *LHS = lowerConstant(CE->getOperand(0));
3262 const MCExpr *RHS = lowerConstant(CE->getOperand(1));
3263 return MCBinaryExpr::createSub(LHS, RHS, Ctx);
3264 break;
3265 }
3266
3267 case Instruction::Add: {
3268 const MCExpr *LHS = lowerConstant(CE->getOperand(0));
3269 const MCExpr *RHS = lowerConstant(CE->getOperand(1));
3270 return MCBinaryExpr::createAdd(LHS, RHS, Ctx);
3271 }
3272 }
3273
3274 // If the code isn't optimized, there may be outstanding folding
3275 // opportunities. Attempt to fold the expression using DataLayout as a
3276 // last resort before giving up.
3278 if (C != CE)
3279 return lowerConstant(C);
3280
3281 // Otherwise report the problem to the user.
3282 std::string S;
3284 OS << "Unsupported expression in static initializer: ";
3285 CE->printAsOperand(OS, /*PrintType=*/false,
3286 !MF ? nullptr : MF->getFunction().getParent());
3288}
3289
3290static void emitGlobalConstantImpl(const DataLayout &DL, const Constant *C,
3291 AsmPrinter &AP,
3292 const Constant *BaseCV = nullptr,
3293 uint64_t Offset = 0,
3294 AsmPrinter::AliasMapTy *AliasList = nullptr);
3295
3296static void emitGlobalConstantFP(const ConstantFP *CFP, AsmPrinter &AP);
3297static void emitGlobalConstantFP(APFloat APF, Type *ET, AsmPrinter &AP);
3298
3299/// isRepeatedByteSequence - Determine whether the given value is
3300/// composed of a repeated sequence of identical bytes and return the
3301/// byte value. If it is not a repeated sequence, return -1.
3303 StringRef Data = V->getRawDataValues();
3304 assert(!Data.empty() && "Empty aggregates should be CAZ node");
3305 char C = Data[0];
3306 for (unsigned i = 1, e = Data.size(); i != e; ++i)
3307 if (Data[i] != C) return -1;
3308 return static_cast<uint8_t>(C); // Ensure 255 is not returned as -1.
3309}
3310
3311/// isRepeatedByteSequence - Determine whether the given value is
3312/// composed of a repeated sequence of identical bytes and return the
3313/// byte value. If it is not a repeated sequence, return -1.
3314static int isRepeatedByteSequence(const Value *V, const DataLayout &DL) {
3315 if (const ConstantInt *CI = dyn_cast<ConstantInt>(V)) {
3316 uint64_t Size = DL.getTypeAllocSizeInBits(V->getType());
3317 assert(Size % 8 == 0);
3318
3319 // Extend the element to take zero padding into account.
3320 APInt Value = CI->getValue().zext(Size);
3321 if (!Value.isSplat(8))
3322 return -1;
3323
3324 return Value.zextOrTrunc(8).getZExtValue();
3325 }
3326 if (const ConstantArray *CA = dyn_cast<ConstantArray>(V)) {
3327 // Make sure all array elements are sequences of the same repeated
3328 // byte.
3329 assert(CA->getNumOperands() != 0 && "Should be a CAZ");
3330 Constant *Op0 = CA->getOperand(0);
3331 int Byte = isRepeatedByteSequence(Op0, DL);
3332 if (Byte == -1)
3333 return -1;
3334
3335 // All array elements must be equal.
3336 for (unsigned i = 1, e = CA->getNumOperands(); i != e; ++i)
3337 if (CA->getOperand(i) != Op0)
3338 return -1;
3339 return Byte;
3340 }
3341
3342 if (const ConstantDataSequential *CDS = dyn_cast<ConstantDataSequential>(V))
3343 return isRepeatedByteSequence(CDS);
3344
3345 return -1;
3346}
3347
3349 AsmPrinter::AliasMapTy *AliasList) {
3350 if (AliasList) {
3351 auto AliasIt = AliasList->find(Offset);
3352 if (AliasIt != AliasList->end()) {
3353 for (const GlobalAlias *GA : AliasIt->second)
3354 AP.OutStreamer->emitLabel(AP.getSymbol(GA));
3355 AliasList->erase(Offset);
3356 }
3357 }
3358}
3359
3361 const DataLayout &DL, const ConstantDataSequential *CDS, AsmPrinter &AP,
3362 AsmPrinter::AliasMapTy *AliasList) {
3363 // See if we can aggregate this into a .fill, if so, emit it as such.
3364 int Value = isRepeatedByteSequence(CDS, DL);
3365 if (Value != -1) {
3366 uint64_t Bytes = DL.getTypeAllocSize(CDS->getType());
3367 // Don't emit a 1-byte object as a .fill.
3368 if (Bytes > 1)
3369 return AP.OutStreamer->emitFill(Bytes, Value);
3370 }
3371
3372 // If this can be emitted with .ascii/.asciz, emit it as such.
3373 if (CDS->isString())
3374 return AP.OutStreamer->emitBytes(CDS->getAsString());
3375
3376 // Otherwise, emit the values in successive locations.
3377 unsigned ElementByteSize = CDS->getElementByteSize();
3378 if (isa<IntegerType>(CDS->getElementType())) {
3379 for (unsigned I = 0, E = CDS->getNumElements(); I != E; ++I) {
3380 emitGlobalAliasInline(AP, ElementByteSize * I, AliasList);
3381 if (AP.isVerbose())
3382 AP.OutStreamer->getCommentOS()
3383 << format("0x%" PRIx64 "\n", CDS->getElementAsInteger(I));
3384 AP.OutStreamer->emitIntValue(CDS->getElementAsInteger(I),
3385 ElementByteSize);
3386 }
3387 } else {
3388 Type *ET = CDS->getElementType();
3389 for (unsigned I = 0, E = CDS->getNumElements(); I != E; ++I) {
3390 emitGlobalAliasInline(AP, ElementByteSize * I, AliasList);
3392 }
3393 }
3394
3395 unsigned Size = DL.getTypeAllocSize(CDS->getType());
3396 unsigned EmittedSize =
3397 DL.getTypeAllocSize(CDS->getElementType()) * CDS->getNumElements();
3398 assert(EmittedSize <= Size && "Size cannot be less than EmittedSize!");
3399 if (unsigned Padding = Size - EmittedSize)
3400 AP.OutStreamer->emitZeros(Padding);
3401}
3402
3404 const ConstantArray *CA, AsmPrinter &AP,
3405 const Constant *BaseCV, uint64_t Offset,
3406 AsmPrinter::AliasMapTy *AliasList) {
3407 // See if we can aggregate some values. Make sure it can be
3408 // represented as a series of bytes of the constant value.
3409 int Value = isRepeatedByteSequence(CA, DL);
3410
3411 if (Value != -1) {
3412 uint64_t Bytes = DL.getTypeAllocSize(CA->getType());
3413 AP.OutStreamer->emitFill(Bytes, Value);
3414 } else {
3415 for (unsigned I = 0, E = CA->getNumOperands(); I != E; ++I) {
3416 emitGlobalConstantImpl(DL, CA->getOperand(I), AP, BaseCV, Offset,
3417 AliasList);
3418 Offset += DL.getTypeAllocSize(CA->getOperand(I)->getType());
3419 }
3420 }
3421}
3422
3423static void emitGlobalConstantLargeInt(const ConstantInt *CI, AsmPrinter &AP);
3424
3426 const ConstantVector *CV, AsmPrinter &AP,
3427 AsmPrinter::AliasMapTy *AliasList) {
3428 Type *ElementType = CV->getType()->getElementType();
3429 uint64_t ElementSizeInBits = DL.getTypeSizeInBits(ElementType);
3430 uint64_t ElementAllocSizeInBits = DL.getTypeAllocSizeInBits(ElementType);
3431 uint64_t EmittedSize;
3432 if (ElementSizeInBits != ElementAllocSizeInBits) {
3433 // If the allocation size of an element is different from the size in bits,
3434 // printing each element separately will insert incorrect padding.
3435 //
3436 // The general algorithm here is complicated; instead of writing it out
3437 // here, just use the existing code in ConstantFolding.
3438 Type *IntT =
3439 IntegerType::get(CV->getContext(), DL.getTypeSizeInBits(CV->getType()));
3440 ConstantInt *CI = dyn_cast_or_null<ConstantInt>(ConstantFoldConstant(
3441 ConstantExpr::getBitCast(const_cast<ConstantVector *>(CV), IntT), DL));
3442 if (!CI) {
3444 "Cannot lower vector global with unusual element type");
3445 }
3446 emitGlobalAliasInline(AP, 0, AliasList);
3448 EmittedSize = DL.getTypeStoreSize(CV->getType());
3449 } else {
3450 for (unsigned I = 0, E = CV->getType()->getNumElements(); I != E; ++I) {
3451 emitGlobalAliasInline(AP, DL.getTypeAllocSize(CV->getType()) * I, AliasList);
3453 }
3454 EmittedSize =
3455 DL.getTypeAllocSize(ElementType) * CV->getType()->getNumElements();
3456 }
3457
3458 unsigned Size = DL.getTypeAllocSize(CV->getType());
3459 if (unsigned Padding = Size - EmittedSize)
3460 AP.OutStreamer->emitZeros(Padding);
3461}
3462
3464 const ConstantStruct *CS, AsmPrinter &AP,
3465 const Constant *BaseCV, uint64_t Offset,
3466 AsmPrinter::AliasMapTy *AliasList) {
3467 // Print the fields in successive locations. Pad to align if needed!
3468 uint64_t Size = DL.getTypeAllocSize(CS->getType());
3469 const StructLayout *Layout = DL.getStructLayout(CS->getType());
3470 uint64_t SizeSoFar = 0;
3471 for (unsigned I = 0, E = CS->getNumOperands(); I != E; ++I) {
3472 const Constant *Field = CS->getOperand(I);
3473
3474 // Print the actual field value.
3475 emitGlobalConstantImpl(DL, Field, AP, BaseCV, Offset + SizeSoFar,
3476 AliasList);
3477
3478 // Check if padding is needed and insert one or more 0s.
3479 uint64_t FieldSize = DL.getTypeAllocSize(Field->getType());
3480 uint64_t PadSize = ((I == E - 1 ? Size : Layout->getElementOffset(I + 1)) -
3481 Layout->getElementOffset(I)) -
3482 FieldSize;
3483 SizeSoFar += FieldSize + PadSize;
3484
3485 // Insert padding - this may include padding to increase the size of the
3486 // current field up to the ABI size (if the struct is not packed) as well
3487 // as padding to ensure that the next field starts at the right offset.
3488 AP.OutStreamer->emitZeros(PadSize);
3489 }
3490 assert(SizeSoFar == Layout->getSizeInBytes() &&
3491 "Layout of constant struct may be incorrect!");
3492}
3493
3494static void emitGlobalConstantFP(APFloat APF, Type *ET, AsmPrinter &AP) {
3495 assert(ET && "Unknown float type");
3496 APInt API = APF.bitcastToAPInt();
3497
3498 // First print a comment with what we think the original floating-point value
3499 // should have been.
3500 if (AP.isVerbose()) {
3501 SmallString<8> StrVal;
3502 APF.toString(StrVal);
3503 ET->print(AP.OutStreamer->getCommentOS());
3504 AP.OutStreamer->getCommentOS() << ' ' << StrVal << '\n';
3505 }
3506
3507 // Now iterate through the APInt chunks, emitting them in endian-correct
3508 // order, possibly with a smaller chunk at beginning/end (e.g. for x87 80-bit
3509 // floats).
3510 unsigned NumBytes = API.getBitWidth() / 8;
3511 unsigned TrailingBytes = NumBytes % sizeof(uint64_t);
3512 const uint64_t *p = API.getRawData();
3513
3514 // PPC's long double has odd notions of endianness compared to how LLVM
3515 // handles it: p[0] goes first for *big* endian on PPC.
3516 if (AP.getDataLayout().isBigEndian() && !ET->isPPC_FP128Ty()) {
3517 int Chunk = API.getNumWords() - 1;
3518
3519 if (TrailingBytes)
3520 AP.OutStreamer->emitIntValueInHexWithPadding(p[Chunk--], TrailingBytes);
3521
3522 for (; Chunk >= 0; --Chunk)
3523 AP.OutStreamer->emitIntValueInHexWithPadding(p[Chunk], sizeof(uint64_t));
3524 } else {
3525 unsigned Chunk;
3526 for (Chunk = 0; Chunk < NumBytes / sizeof(uint64_t); ++Chunk)
3527 AP.OutStreamer->emitIntValueInHexWithPadding(p[Chunk], sizeof(uint64_t));
3528
3529 if (TrailingBytes)
3530 AP.OutStreamer->emitIntValueInHexWithPadding(p[Chunk], TrailingBytes);
3531 }
3532
3533 // Emit the tail padding for the long double.
3534 const DataLayout &DL = AP.getDataLayout();
3535 AP.OutStreamer->emitZeros(DL.getTypeAllocSize(ET) - DL.getTypeStoreSize(ET));
3536}
3537
3538static void emitGlobalConstantFP(const ConstantFP *CFP, AsmPrinter &AP) {
3539 emitGlobalConstantFP(CFP->getValueAPF(), CFP->getType(), AP);
3540}
3541
3543 const DataLayout &DL = AP.getDataLayout();
3544 unsigned BitWidth = CI->getBitWidth();
3545
3546 // Copy the value as we may massage the layout for constants whose bit width
3547 // is not a multiple of 64-bits.
3548 APInt Realigned(CI->getValue());
3549 uint64_t ExtraBits = 0;
3550 unsigned ExtraBitsSize = BitWidth & 63;
3551
3552 if (ExtraBitsSize) {
3553 // The bit width of the data is not a multiple of 64-bits.
3554 // The extra bits are expected to be at the end of the chunk of the memory.
3555 // Little endian:
3556 // * Nothing to be done, just record the extra bits to emit.
3557 // Big endian:
3558 // * Record the extra bits to emit.
3559 // * Realign the raw data to emit the chunks of 64-bits.
3560 if (DL.isBigEndian()) {
3561 // Basically the structure of the raw data is a chunk of 64-bits cells:
3562 // 0 1 BitWidth / 64
3563 // [chunk1][chunk2] ... [chunkN].
3564 // The most significant chunk is chunkN and it should be emitted first.
3565 // However, due to the alignment issue chunkN contains useless bits.
3566 // Realign the chunks so that they contain only useful information:
3567 // ExtraBits 0 1 (BitWidth / 64) - 1
3568 // chu[nk1 chu][nk2 chu] ... [nkN-1 chunkN]
3569 ExtraBitsSize = alignTo(ExtraBitsSize, 8);
3570 ExtraBits = Realigned.getRawData()[0] &
3571 (((uint64_t)-1) >> (64 - ExtraBitsSize));
3572 if (BitWidth >= 64)
3573 Realigned.lshrInPlace(ExtraBitsSize);
3574 } else
3575 ExtraBits = Realigned.getRawData()[BitWidth / 64];
3576 }
3577
3578 // We don't expect assemblers to support integer data directives
3579 // for more than 64 bits, so we emit the data in at most 64-bit
3580 // quantities at a time.
3581 const uint64_t *RawData = Realigned.getRawData();
3582 for (unsigned i = 0, e = BitWidth / 64; i != e; ++i) {
3583 uint64_t Val = DL.isBigEndian() ? RawData[e - i - 1] : RawData[i];
3584 AP.OutStreamer->emitIntValue(Val, 8);
3585 }
3586
3587 if (ExtraBitsSize) {
3588 // Emit the extra bits after the 64-bits chunks.
3589
3590 // Emit a directive that fills the expected size.
3592 Size -= (BitWidth / 64) * 8;
3593 assert(Size && Size * 8 >= ExtraBitsSize &&
3594 (ExtraBits & (((uint64_t)-1) >> (64 - ExtraBitsSize)))
3595 == ExtraBits && "Directive too small for extra bits.");
3596 AP.OutStreamer->emitIntValue(ExtraBits, Size);
3597 }
3598}
3599
3600/// Transform a not absolute MCExpr containing a reference to a GOT
3601/// equivalent global, by a target specific GOT pc relative access to the
3602/// final symbol.
3604 const Constant *BaseCst,
3605 uint64_t Offset) {
3606 // The global @foo below illustrates a global that uses a got equivalent.
3607 //
3608 // @bar = global i32 42
3609 // @gotequiv = private unnamed_addr constant i32* @bar
3610 // @foo = i32 trunc (i64 sub (i64 ptrtoint (i32** @gotequiv to i64),
3611 // i64 ptrtoint (i32* @foo to i64))
3612 // to i32)
3613 //
3614 // The cstexpr in @foo is converted into the MCExpr `ME`, where we actually
3615 // check whether @foo is suitable to use a GOTPCREL. `ME` is usually in the
3616 // form:
3617 //
3618 // foo = cstexpr, where
3619 // cstexpr := <gotequiv> - "." + <cst>
3620 // cstexpr := <gotequiv> - (<foo> - <offset from @foo base>) + <cst>
3621 //
3622 // After canonicalization by evaluateAsRelocatable `ME` turns into:
3623 //
3624 // cstexpr := <gotequiv> - <foo> + gotpcrelcst, where
3625 // gotpcrelcst := <offset from @foo base> + <cst>
3626 MCValue MV;
3627 if (!(*ME)->evaluateAsRelocatable(MV, nullptr, nullptr) || MV.isAbsolute())
3628 return;
3629 const MCSymbolRefExpr *SymA = MV.getSymA();
3630 if (!SymA)
3631 return;
3632
3633 // Check that GOT equivalent symbol is cached.
3634 const MCSymbol *GOTEquivSym = &SymA->getSymbol();
3635 if (!AP.GlobalGOTEquivs.count(GOTEquivSym))
3636 return;
3637
3638 const GlobalValue *BaseGV = dyn_cast_or_null<GlobalValue>(BaseCst);
3639 if (!BaseGV)
3640 return;
3641
3642 // Check for a valid base symbol
3643 const MCSymbol *BaseSym = AP.getSymbol(BaseGV);
3644 const MCSymbolRefExpr *SymB = MV.getSymB();
3645
3646 if (!SymB || BaseSym != &SymB->getSymbol())
3647 return;
3648
3649 // Make sure to match:
3650 //
3651 // gotpcrelcst := <offset from @foo base> + <cst>
3652 //
3653 int64_t GOTPCRelCst = Offset + MV.getConstant();
3654 if (!AP.getObjFileLowering().supportGOTPCRelWithOffset() && GOTPCRelCst != 0)
3655 return;
3656
3657 // Emit the GOT PC relative to replace the got equivalent global, i.e.:
3658 //
3659 // bar:
3660 // .long 42
3661 // gotequiv:
3662 // .quad bar
3663 // foo:
3664 // .long gotequiv - "." + <cst>
3665 //
3666 // is replaced by the target specific equivalent to:
3667 //
3668 // bar:
3669 // .long 42
3670 // foo:
3671 // .long bar@GOTPCREL+<gotpcrelcst>
3672 AsmPrinter::GOTEquivUsePair Result = AP.GlobalGOTEquivs[GOTEquivSym];
3673 const GlobalVariable *GV = Result.first;
3674 int NumUses = (int)Result.second;
3675 const GlobalValue *FinalGV = dyn_cast<GlobalValue>(GV->getOperand(0));
3676 const MCSymbol *FinalSym = AP.getSymbol(FinalGV);
3678 FinalGV, FinalSym, MV, Offset, AP.MMI, *AP.OutStreamer);
3679
3680 // Update GOT equivalent usage information
3681 --NumUses;
3682 if (NumUses >= 0)
3683 AP.GlobalGOTEquivs[GOTEquivSym] = std::make_pair(GV, NumUses);
3684}
3685
3686static void emitGlobalConstantImpl(const DataLayout &DL, const Constant *CV,
3687 AsmPrinter &AP, const Constant *BaseCV,
3689 AsmPrinter::AliasMapTy *AliasList) {
3690 emitGlobalAliasInline(AP, Offset, AliasList);
3691 uint64_t Size = DL.getTypeAllocSize(CV->getType());
3692
3693 // Globals with sub-elements such as combinations of arrays and structs
3694 // are handled recursively by emitGlobalConstantImpl. Keep track of the
3695 // constant symbol base and the current position with BaseCV and Offset.
3696 if (!BaseCV && CV->hasOneUse())
3697 BaseCV = dyn_cast<Constant>(CV->user_back());
3698
3699 if (isa<ConstantAggregateZero>(CV) || isa<UndefValue>(CV))
3700 return AP.OutStreamer->emitZeros(Size);
3701
3702 if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
3703 const uint64_t StoreSize = DL.getTypeStoreSize(CV->getType());
3704
3705 if (StoreSize <= 8) {
3706 if (AP.isVerbose())
3707 AP.OutStreamer->getCommentOS()
3708 << format("0x%" PRIx64 "\n", CI->getZExtValue());
3709 AP.OutStreamer->emitIntValue(CI->getZExtValue(), StoreSize);
3710 } else {
3712 }
3713
3714 // Emit tail padding if needed
3715 if (Size != StoreSize)
3716 AP.OutStreamer->emitZeros(Size - StoreSize);
3717
3718 return;
3719 }
3720
3721 if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV))
3722 return emitGlobalConstantFP(CFP, AP);
3723
3724 if (isa<ConstantPointerNull>(CV)) {
3725 AP.OutStreamer->emitIntValue(0, Size);
3726 return;
3727 }
3728
3729 if (const ConstantDataSequential *CDS = dyn_cast<ConstantDataSequential>(CV))
3730 return emitGlobalConstantDataSequential(DL, CDS, AP, AliasList);
3731
3732 if (const ConstantArray *CVA = dyn_cast<ConstantArray>(CV))
3733 return emitGlobalConstantArray(DL, CVA, AP, BaseCV, Offset, AliasList);
3734
3735 if (const ConstantStruct *CVS = dyn_cast<ConstantStruct>(CV))
3736 return emitGlobalConstantStruct(DL, CVS, AP, BaseCV, Offset, AliasList);
3737
3738 if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV)) {
3739 // Look through bitcasts, which might not be able to be MCExpr'ized (e.g. of
3740 // vectors).
3741 if (CE->getOpcode() == Instruction::BitCast)
3742 return emitGlobalConstantImpl(DL, CE->getOperand(0), AP);
3743
3744 if (Size > 8) {
3745 // If the constant expression's size is greater than 64-bits, then we have
3746 // to emit the value in chunks. Try to constant fold the value and emit it
3747 // that way.
3748 Constant *New = ConstantFoldConstant(CE, DL);
3749 if (New != CE)
3750 return emitGlobalConstantImpl(DL, New, AP);
3751 }
3752 }
3753
3754 if (const ConstantVector *V = dyn_cast<ConstantVector>(CV))
3755 return emitGlobalConstantVector(DL, V, AP, AliasList);
3756
3757 // Otherwise, it must be a ConstantExpr. Lower it to an MCExpr, then emit it
3758 // thread the streamer with EmitValue.
3759 const MCExpr *ME = AP.lowerConstant(CV);
3760
3761 // Since lowerConstant already folded and got rid of all IR pointer and
3762 // integer casts, detect GOT equivalent accesses by looking into the MCExpr
3763 // directly.
3765 handleIndirectSymViaGOTPCRel(AP, &ME, BaseCV, Offset);
3766
3767 AP.OutStreamer->emitValue(ME, Size);
3768}
3769
3770/// EmitGlobalConstant - Print a general LLVM constant to the .s file.
3772 AliasMapTy *AliasList) {
3773 uint64_t Size = DL.getTypeAllocSize(CV->getType());
3774 if (Size)
3775 emitGlobalConstantImpl(DL, CV, *this, nullptr, 0, AliasList);
3776 else if (MAI->hasSubsectionsViaSymbols()) {
3777 // If the global has zero size, emit a single byte so that two labels don't
3778 // look like they are at the same location.
3779 OutStreamer->emitIntValue(0, 1);
3780 }
3781 if (!AliasList)
3782 return;
3783 // TODO: These remaining aliases are not emitted in the correct location. Need
3784 // to handle the case where the alias offset doesn't refer to any sub-element.
3785 for (auto &AliasPair : *AliasList) {
3786 for (const GlobalAlias *GA : AliasPair.second)
3787 OutStreamer->emitLabel(getSymbol(GA));
3788 }
3789}
3790
3792 // Target doesn't support this yet!
3793 llvm_unreachable("Target does not support EmitMachineConstantPoolValue");
3794}
3795
3797 if (Offset > 0)
3798 OS << '+' << Offset;
3799 else if (Offset < 0)
3800 OS << Offset;
3801}
3802
3803void AsmPrinter::emitNops(unsigned N) {
3805 for (; N; --N)
3807}
3808
3809//===----------------------------------------------------------------------===//
3810// Symbol Lowering Routines.
3811//===----------------------------------------------------------------------===//
3812
3814 return OutContext.createTempSymbol(Name, true);
3815}
3816
3818 return const_cast<AsmPrinter *>(this)->getAddrLabelSymbol(
3819 BA->getBasicBlock());
3820}
3821
3823 return const_cast<AsmPrinter *>(this)->getAddrLabelSymbol(BB);
3824}
3825
3828}
3829
3830/// GetCPISymbol - Return the symbol for the specified constant pool entry.
3831MCSymbol *AsmPrinter::GetCPISymbol(unsigned CPID) const {
3832 if (getSubtargetInfo().getTargetTriple().isWindowsMSVCEnvironment()) {
3833 const MachineConstantPoolEntry &CPE =
3834 MF->getConstantPool()->getConstants()[CPID];
3835 if (!CPE.isMachineConstantPoolEntry()) {
3836 const DataLayout &DL = MF->getDataLayout();
3837 SectionKind Kind = CPE.getSectionKind(&DL);
3838 const Constant *C = CPE.Val.ConstVal;
3839 Align Alignment = CPE.Alignment;
3840 if (const MCSectionCOFF *S = dyn_cast<MCSectionCOFF>(
3841 getObjFileLowering().getSectionForConstant(DL, Kind, C,
3842 Alignment))) {
3843 if (MCSymbol *Sym = S->getCOMDATSymbol()) {
3844 if (Sym->isUndefined())
3845 OutStreamer->emitSymbolAttribute(Sym, MCSA_Global);
3846 return Sym;
3847 }
3848 }
3849 }
3850 }
3851
3852 const DataLayout &DL = getDataLayout();
3853 return OutContext.getOrCreateSymbol(Twine(DL.getPrivateGlobalPrefix()) +
3854 "CPI" + Twine(getFunctionNumber()) + "_" +
3855 Twine(CPID));
3856}
3857
3858/// GetJTISymbol - Return the symbol for the specified jump table entry.
3859MCSymbol *AsmPrinter::GetJTISymbol(unsigned JTID, bool isLinkerPrivate) const {
3860 return MF->getJTISymbol(JTID, OutContext, isLinkerPrivate);
3861}
3862
3863/// GetJTSetSymbol - Return the symbol for the specified jump table .set
3864/// FIXME: privatize to AsmPrinter.
3865MCSymbol *AsmPrinter::GetJTSetSymbol(unsigned UID, unsigned MBBID) const {
3866 const DataLayout &DL = getDataLayout();
3867 return OutContext.getOrCreateSymbol(Twine(DL.getPrivateGlobalPrefix()) +
3868 Twine(getFunctionNumber()) + "_" +
3869 Twine(UID) + "_set_" + Twine(MBBID));
3870}
3871
3873 StringRef Suffix) const {
3875}
3876
3877/// Return the MCSymbol for the specified ExternalSymbol.
3879 SmallString<60> NameStr;
3881 return OutContext.getOrCreateSymbol(NameStr);
3882}
3883
3884/// PrintParentLoopComment - Print comments about parent loops of this one.
3886 unsigned FunctionNumber) {
3887 if (!Loop) return;
3888 PrintParentLoopComment(OS, Loop->getParentLoop(), FunctionNumber);
3890 << "Parent Loop BB" << FunctionNumber << "_"
3891 << Loop->getHeader()->getNumber()
3892 << " Depth=" << Loop->getLoopDepth() << '\n';
3893}
3894
3895/// PrintChildLoopComment - Print comments about child loops within
3896/// the loop for this basic block, with nesting.
3898 unsigned FunctionNumber) {
3899 // Add child loop information
3900 for (const MachineLoop *CL : *Loop) {
3901 OS.indent(CL->getLoopDepth()*2)
3902 << "Child Loop BB" << FunctionNumber << "_"
3903 << CL->getHeader()->getNumber() << " Depth " << CL->getLoopDepth()
3904 << '\n';
3905 PrintChildLoopComment(OS, CL, FunctionNumber);
3906 }
3907}
3908
3909/// emitBasicBlockLoopComments - Pretty-print comments for basic blocks.
3911 const MachineLoopInfo *LI,
3912 const AsmPrinter &AP) {
3913 // Add loop depth information
3914 const MachineLoop *Loop = LI->getLoopFor(&MBB);
3915 if (!Loop) return;
3916
3917 MachineBasicBlock *Header = Loop->getHeader();
3918 assert(Header && "No header for loop");
3919
3920 // If this block is not a loop header, just print out what is the loop header
3921 // and return.
3922 if (Header != &MBB) {
3923 AP.OutStreamer->AddComment(" in Loop: Header=BB" +
3924 Twine(AP.getFunctionNumber())+"_" +
3926 " Depth="+Twine(Loop->getLoopDepth()));
3927 return;
3928 }
3929
3930 // Otherwise, it is a loop header. Print out information about child and
3931 // parent loops.
3932 raw_ostream &OS = AP.OutStreamer->getCommentOS();
3933
3935
3936 OS << "=>";
3937 OS.indent(Loop->getLoopDepth()*2-2);
3938
3939 OS << "This ";
3940 if (Loop->isInnermost())
3941 OS << "Inner ";
3942 OS << "Loop Header: Depth=" + Twine(Loop->getLoopDepth()) << '\n';
3943
3945}
3946
3947/// emitBasicBlockStart - This method prints the label for the specified
3948/// MachineBasicBlock, an alignment (if present) and a comment describing
3949/// it if appropriate.
3951 // End the previous funclet and start a new one.
3952 if (MBB.isEHFuncletEntry()) {
3953 for (auto &Handler : Handlers) {
3954 Handler->endFunclet();
3955 Handler->beginFunclet(MBB);
3956 }
3957 }
3958
3959 // Switch to a new section if this basic block must begin a section. The
3960 // entry block is always placed in the function section and is handled
3961 // separately.
3962 if (MBB.isBeginSection() && !MBB.isEntryBlock()) {
3963 OutStreamer->switchSection(
3964 getObjFileLowering().getSectionForMachineBasicBlock(MF->getFunction(),
3965 MBB, TM));
3966 CurrentSectionBeginSym = MBB.getSymbol();
3967 }
3968
3969 for (auto &Handler : DebugHandlers)
3970 Handler->beginCodeAlignment(MBB);
3971
3972 // Emit an alignment directive for this block, if needed.
3973 const Align Alignment = MBB.getAlignment();
3974 if (Alignment != Align(1))
3975 emitAlignment(Alignment, nullptr, MBB.getMaxBytesForAlignment());
3976
3977 // If the block has its address taken, emit any labels that were used to
3978 // reference the block. It is possible that there is more than one label
3979 // here, because multiple LLVM BB's may have been RAUW'd to this block after
3980 // the references were generated.
3981 if (MBB.isIRBlockAddressTaken()) {
3982 if (isVerbose())
3983 OutStreamer->AddComment("Block address taken");
3984
3986 assert(BB && BB->hasAddressTaken() && "Missing BB");
3988 OutStreamer->emitLabel(Sym);
3989 } else if (isVerbose() && MBB.isMachineBlockAddressTaken()) {
3990 OutStreamer->AddComment("Block address taken");
3991 }
3992
3993 // Print some verbose block comments.
3994 if (isVerbose()) {
3995 if (const BasicBlock *BB = MBB.getBasicBlock()) {
3996 if (BB->hasName()) {
3997 BB->printAsOperand(OutStreamer->getCommentOS(),
3998 /*PrintType=*/false, BB->getModule());
3999 OutStreamer->getCommentOS() << '\n';
4000 }
4001 }
4002
4003 assert(MLI != nullptr && "MachineLoopInfo should has been computed");
4005 }
4006
4007 // Print the main label for the block.
4008 if (shouldEmitLabelForBasicBlock(MBB)) {
4010 OutStreamer->AddComment("Label of block must be emitted");
4011 OutStreamer->emitLabel(MBB.getSymbol());
4012 } else {
4013 if (isVerbose()) {
4014 // NOTE: Want this comment at start of line, don't emit with AddComment.
4015 OutStreamer->emitRawComment(" %bb." + Twine(MBB.getNumber()) + ":",
4016 false);
4017 }
4018 }
4019
4020 if (MBB.isEHCatchretTarget() &&
4022 OutStreamer->emitLabel(MBB.getEHCatchretSymbol());
4023 }
4024
4025 // With BB sections, each basic block must handle CFI information on its own
4026 // if it begins a section (Entry block call is handled separately, next to
4027 // beginFunction).
4028 if (MBB.isBeginSection() && !MBB.isEntryBlock()) {
4029 for (auto &Handler : DebugHandlers)
4030 Handler->beginBasicBlockSection(MBB);
4031 for (auto &Handler : Handlers)
4032 Handler->beginBasicBlockSection(MBB);
4033 }
4034}
4035
4037 // Check if CFI information needs to be updated for this MBB with basic block
4038 // sections.
4039 if (MBB.isEndSection()) {
4040 for (auto &Handler : DebugHandlers)
4041 Handler->endBasicBlockSection(MBB);
4042 for (auto &Handler : Handlers)
4043 Handler->endBasicBlockSection(MBB);
4044 }
4045}
4046
4047void AsmPrinter::emitVisibility(MCSymbol *Sym, unsigned Visibility,
4048 bool IsDefinition) const {
4050
4051 switch (Visibility) {
4052 default: break;
4054 if (IsDefinition)
4055 Attr = MAI->getHiddenVisibilityAttr();
4056 else
4058 break;
4061 break;
4062 }
4063
4064 if (Attr != MCSA_Invalid)
4065 OutStreamer->emitSymbolAttribute(Sym, Attr);
4066}
4067
4068bool AsmPrinter::shouldEmitLabelForBasicBlock(
4069 const MachineBasicBlock &MBB) const {
4070 // With `-fbasic-block-sections=`, a label is needed for every non-entry block
4071 // in the labels mode (option `=labels`) and every section beginning in the
4072 // sections mode (`=all` and `=list=`).
4073 if ((MF->hasBBLabels() || MF->getTarget().Options.BBAddrMap ||
4074 MBB.isBeginSection()) &&
4075 !MBB.isEntryBlock())
4076 return true;
4077 // A label is needed for any block with at least one predecessor (when that
4078 // predecessor is not the fallthrough predecessor, or if it is an EH funclet
4079 // entry, or if a label is forced).
4080 return !MBB.pred_empty() &&
4083}
4084
4085/// isBlockOnlyReachableByFallthough - Return true if the basic block has
4086/// exactly one predecessor and the control transfer mechanism between
4087/// the predecessor and this block is a fall-through.
4090 // If this is a landing pad, it isn't a fall through. If it has no preds,
4091 // then nothing falls through to it.
4092 if (MBB->isEHPad() || MBB->pred_empty())
4093 return false;
4094
4095 // If there isn't exactly one predecessor, it can't be a fall through.
4096 if (MBB->pred_size() > 1)
4097 return false;
4098
4099 // The predecessor has to be immediately before this block.
4100 MachineBasicBlock *Pred = *MBB->pred_begin();
4101 if (!Pred->isLayoutSuccessor(MBB))
4102 return false;
4103
4104 // If the block is completely empty, then it definitely does fall through.
4105 if (Pred->empty())
4106 return true;
4107
4108 // Check the terminators in the previous blocks
4109 for (const auto &MI : Pred->terminators()) {
4110 // If it is not a simple branch, we are in a table somewhere.
4111 if (!MI.isBranch() || MI.isIndirectBranch())
4112 return false;
4113
4114 // If we are the operands of one of the branches, this is not a fall
4115 // through. Note that targets with delay slots will usually bundle
4116 // terminators with the delay slot instruction.
4117 for (ConstMIBundleOperands OP(MI); OP.isValid(); ++OP) {
4118 if (OP->isJTI())
4119 return false;
4120 if (OP->isMBB() && OP->getMBB() == MBB)
4121 return false;
4122 }
4123 }
4124
4125 return true;
4126}
4127
4128GCMetadataPrinter *AsmPrinter::getOrCreateGCPrinter(GCStrategy &S) {
4129 if (!S.usesMetadata())
4130 return nullptr;
4131
4132 auto [GCPI, Inserted] = GCMetadataPrinters.insert({&S, nullptr});
4133 if (!Inserted)
4134 return GCPI->second.get();
4135
4136 auto Name = S.getName();
4137
4138 for (const GCMetadataPrinterRegistry::entry &GCMetaPrinter :
4140 if (Name == GCMetaPrinter.getName()) {
4141 std::unique_ptr<GCMetadataPrinter> GMP = GCMetaPrinter.instantiate();
4142 GMP->S = &S;
4143 GCPI->second = std::move(GMP);
4144 return GCPI->second.get();
4145 }
4146
4147 report_fatal_error("no GCMetadataPrinter registered for GC: " + Twine(Name));
4148}
4149
4151 GCModuleInfo *MI = getAnalysisIfAvailable<GCModuleInfo>();
4152 assert(MI && "AsmPrinter didn't require GCModuleInfo?");
4153 bool NeedsDefault = false;
4154 if (MI->begin() == MI->end())
4155 // No GC strategy, use the default format.
4156 NeedsDefault = true;
4157 else
4158 for (const auto &I : *MI) {
4159 if (GCMetadataPrinter *MP = getOrCreateGCPrinter(*I))
4160 if (MP->emitStackMaps(SM, *this))
4161 continue;
4162 // The strategy doesn't have printer or doesn't emit custom stack maps.
4163 // Use the default format.
4164 NeedsDefault = true;
4165 }
4166
4167 if (NeedsDefault)
4169}
4170
4172 std::unique_ptr<AsmPrinterHandler> Handler) {
4173 Handlers.insert(Handlers.begin(), std::move(Handler));
4175}
4176
4177void AsmPrinter::addDebugHandler(std::unique_ptr<DebugHandlerBase> Handler) {
4178 DebugHandlers.insert(DebugHandlers.begin(), std::move(Handler));
4180}
4181
4182/// Pin vtable to this file.
4184
4186
4187// In the binary's "xray_instr_map" section, an array of these function entries
4188// describes each instrumentation point. When XRay patches your code, the index
4189// into this table will be given to your handler as a patch point identifier.
4191 auto Kind8 = static_cast<uint8_t>(Kind);
4192 Out->emitBinaryData(StringRef(reinterpret_cast<const char *>(&Kind8), 1));
4193 Out->emitBinaryData(
4194 StringRef(reinterpret_cast<const char *>(&AlwaysInstrument), 1));
4195 Out->emitBinaryData(StringRef(reinterpret_cast<const char *>(&Version), 1));
4196 auto Padding = (4 * Bytes) - ((2 * Bytes) + 3);
4197 assert(Padding >= 0 && "Instrumentation map entry > 4 * Word Size");
4198 Out->emitZeros(Padding);
4199}
4200
4202 if (Sleds.empty())
4203 return;
4204
4205 auto PrevSection = OutStreamer->getCurrentSectionOnly();
4206 const Function &F = MF->getFunction();
4207 MCSection *InstMap = nullptr;
4208 MCSection *FnSledIndex = nullptr;
4209 const Triple &TT = TM.getTargetTriple();
4210 // Use PC-relative addresses on all targets.
4211 if (TT.isOSBinFormatELF()) {
4212 auto LinkedToSym = cast<MCSymbolELF>(CurrentFnSym);
4213 auto Flags = ELF::SHF_ALLOC | ELF::SHF_LINK_ORDER;
4214 StringRef GroupName;
4215 if (F.hasComdat()) {
4216 Flags |= ELF::SHF_GROUP;
4217 GroupName = F.getComdat()->getName();
4218 }
4219 InstMap = OutContext.getELFSection("xray_instr_map", ELF::SHT_PROGBITS,
4220 Flags, 0, GroupName, F.hasComdat(),
4221 MCSection::NonUniqueID, LinkedToSym);
4222
4224 FnSledIndex = OutContext.getELFSection(
4225 "xray_fn_idx", ELF::SHT_PROGBITS, Flags, 0, GroupName, F.hasComdat(),
4226 MCSection::NonUniqueID, LinkedToSym);
4228 InstMap = OutContext.getMachOSection("__DATA", "xray_instr_map",
4232 FnSledIndex = OutContext.getMachOSection("__DATA", "xray_fn_idx",
4235 } else {
4236 llvm_unreachable("Unsupported target");
4237 }
4238
4239 auto WordSizeBytes = MAI->getCodePointerSize();
4240
4241 // Now we switch to the instrumentation map section. Because this is done
4242 // per-function, we are able to create an index entry that will represent the
4243 // range of sleds associated with a function.
4244 auto &Ctx = OutContext;
4245 MCSymbol *SledsStart =
4246 OutContext.createLinkerPrivateSymbol("xray_sleds_start");
4247 OutStreamer->switchSection(InstMap);
4248 OutStreamer->emitLabel(SledsStart);
4249 for (const auto &Sled : Sleds) {
4250 MCSymbol *Dot = Ctx.createTempSymbol();
4251 OutStreamer->emitLabel(Dot);
4252 OutStreamer->emitValueImpl(
4254 MCSymbolRefExpr::create(Dot, Ctx), Ctx),
4255 WordSizeBytes);
4256 OutStreamer->emitValueImpl(
4260 MCConstantExpr::create(WordSizeBytes, Ctx),
4261 Ctx),
4262 Ctx),
4263 WordSizeBytes);
4264 Sled.emit(WordSizeBytes, OutStreamer.get());
4265 }
4266 MCSymbol *SledsEnd = OutContext.createTempSymbol("xray_sleds_end", true);
4267 OutStreamer->emitLabel(SledsEnd);
4268
4269 // We then emit a single entry in the index per function. We use the symbols
4270 // that bound the instrumentation map as the range for a specific function.
4271 // Each entry here will be 2 * word size aligned, as we're writing down two
4272 // pointers. This should work for both 32-bit and 64-bit platforms.
4273 if (FnSledIndex) {
4274 OutStreamer->switchSection(FnSledIndex);
4275 OutStreamer->emitCodeAlignment(Align(2 * WordSizeBytes),
4276 &getSubtargetInfo());
4277 // For Mach-O, use an "l" symbol as the atom of this subsection. The label
4278 // difference uses a SUBTRACTOR external relocation which references the
4279 // symbol.
4280 MCSymbol *Dot = Ctx.createLinkerPrivateSymbol("xray_fn_idx");
4281 OutStreamer->emitLabel(Dot);
4282 OutStreamer->emitValueImpl(
4284 MCSymbolRefExpr::create(Dot, Ctx), Ctx),
4285 WordSizeBytes);
4286 OutStreamer->emitValueImpl(MCConstantExpr::create(Sleds.size(), Ctx),
4287 WordSizeBytes);
4288 OutStreamer->switchSection(PrevSection);
4289 }
4290 Sleds.clear();
4291}
4292
4294 SledKind Kind, uint8_t Version) {
4295 const Function &F = MI.getMF()->getFunction();
4296 auto Attr = F.getFnAttribute("function-instrument");
4297 bool LogArgs = F.hasFnAttribute("xray-log-args");
4298 bool AlwaysInstrument =
4299 Attr.isStringAttribute() && Attr.getValueAsString() == "xray-always";
4300 if (Kind == SledKind::FUNCTION_ENTER && LogArgs)
4302 Sleds.emplace_back(XRayFunctionEntry{Sled, CurrentFnSym, Kind,
4303 AlwaysInstrument, &F, Version});
4304}
4305
4307 const Function &F = MF->getFunction();
4308 unsigned PatchableFunctionPrefix = 0, PatchableFunctionEntry = 0;
4309 (void)F.getFnAttribute("patchable-function-prefix")
4310 .getValueAsString()
4311 .getAsInteger(10, PatchableFunctionPrefix);
4312 (void)F.getFnAttribute("patchable-function-entry")
4313 .getValueAsString()
4314 .getAsInteger(10, PatchableFunctionEntry);
4315 if (!PatchableFunctionPrefix && !PatchableFunctionEntry)
4316 return;
4317 const unsigned PointerSize = getPointerSize();
4319 auto Flags = ELF::SHF_WRITE | ELF::SHF_ALLOC;
4320 const MCSymbolELF *LinkedToSym = nullptr;
4321 StringRef GroupName;
4322
4323 // GNU as < 2.35 did not support section flag 'o'. GNU ld < 2.36 did not
4324 // support mixed SHF_LINK_ORDER and non-SHF_LINK_ORDER sections.
4325 if (MAI->useIntegratedAssembler() || MAI->binutilsIsAtLeast(2, 36)) {
4326 Flags |= ELF::SHF_LINK_ORDER;
4327 if (F.hasComdat()) {
4328 Flags |= ELF::SHF_GROUP;
4329 GroupName = F.getComdat()->getName();
4330 }
4331 LinkedToSym = cast<MCSymbolELF>(CurrentFnSym);
4332 }
4333 OutStreamer->switchSection(OutContext.getELFSection(
4334 "__patchable_function_entries", ELF::SHT_PROGBITS, Flags, 0, GroupName,
4335 F.hasComdat(), MCSection::NonUniqueID, LinkedToSym));
4336 emitAlignment(Align(PointerSize));
4337 OutStreamer->emitSymbolValue(CurrentPatchableFunctionEntrySym, PointerSize);
4338 }
4339}
4340
4342 return OutStreamer->getContext().getDwarfVersion();
4343}
4344
4346 OutStreamer->getContext().setDwarfVersion(Version);
4347}
4348
4350 return OutStreamer->getContext().getDwarfFormat() == dwarf::DWARF64;
4351}
4352
4355 OutStreamer->getContext().getDwarfFormat());
4356}
4357
4359 return {getDwarfVersion(), uint8_t(MAI->getCodePointerSize()),
4360 OutStreamer->getContext().getDwarfFormat(),
4362}
4363
4366 OutStreamer->getContext().getDwarfFormat());
4367}
4368
4369std::tuple<const MCSymbol *, uint64_t, const MCSymbol *,
4372 const MCSymbol *BranchLabel) const {
4373 const auto TLI = MF->getSubtarget().getTargetLowering();
4374 const auto BaseExpr =
4376 const auto Base = &cast<MCSymbolRefExpr>(BaseExpr)->getSymbol();
4377
4378 // By default, for the architectures that support CodeView,
4379 // EK_LabelDifference32 is implemented as an Int32 from the base address.
4380 return std::make_tuple(Base, 0, BranchLabel,
4382}
This file declares a class to represent arbitrary precision floating point values and provide a varie...
This file implements a class to represent arbitrary precision integral constant values and operations...
MachineBasicBlock & MBB
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static bool emitDebugValueComment(const MachineInstr *MI, AsmPrinter &AP)
emitDebugValueComment - This method handles the target-independent form of DBG_VALUE,...
static llvm::object::BBAddrMap::Features getBBAddrMapFeature(const MachineFunction &MF, int NumMBBSectionRanges)
static void emitGlobalConstantVector(const DataLayout &DL, const ConstantVector *CV, AsmPrinter &AP, AsmPrinter::AliasMapTy *AliasList)
static cl::bits< PGOMapFeaturesEnum > PgoAnalysisMapFeatures("pgo-analysis-map", cl::Hidden, cl::CommaSeparated, cl::values(clEnumValN(PGOMapFeaturesEnum::FuncEntryCount, "func-entry-count", "Function Entry Count"), clEnumValN(PGOMapFeaturesEnum::BBFreq, "bb-freq", "Basic Block Frequency"), clEnumValN(PGOMapFeaturesEnum::BrProb, "br-prob", "Branch Probability")), cl::desc("Enable extended information within the SHT_LLVM_BB_ADDR_MAP that is " "extracted from PGO related analysis."))
static uint32_t getBBAddrMapMetadata(const MachineBasicBlock &MBB)
Returns the BB metadata to be emitted in the SHT_LLVM_BB_ADDR_MAP section for a given basic block.
static void emitGlobalConstantFP(const ConstantFP *CFP, AsmPrinter &AP)
static bool isGOTEquivalentCandidate(const GlobalVariable *GV, unsigned &NumGOTEquivUsers)
Only consider global GOT equivalents if at least one user is a cstexpr inside an initializer of anoth...
static unsigned getNumGlobalVariableUses(const Constant *C)
Compute the number of Global Variables that uses a Constant.
static void emitBasicBlockLoopComments(const MachineBasicBlock &MBB, const MachineLoopInfo *LI, const AsmPrinter &AP)
emitBasicBlockLoopComments - Pretty-print comments for basic blocks.
static void handleIndirectSymViaGOTPCRel(AsmPrinter &AP, const MCExpr **ME, const Constant *BaseCst, uint64_t Offset)
Transform a not absolute MCExpr containing a reference to a GOT equivalent global,...
static int isRepeatedByteSequence(const ConstantDataSequential *V)
isRepeatedByteSequence - Determine whether the given value is composed of a repeated sequence of iden...
static void emitGlobalAliasInline(AsmPrinter &AP, uint64_t Offset, AsmPrinter::AliasMapTy *AliasList)
static bool needFuncLabels(const MachineFunction &MF, const AsmPrinter &Asm)
Returns true if function begin and end labels should be emitted.
static void PrintChildLoopComment(raw_ostream &OS, const MachineLoop *Loop, unsigned FunctionNumber)
PrintChildLoopComment - Print comments about child loops within the loop for this basic block,...
PGOMapFeaturesEnum
Definition: AsmPrinter.cpp:141
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 void emitGlobalConstantImpl(const DataLayout &DL, const Constant *C, AsmPrinter &AP, const Constant *BaseCV=nullptr, uint64_t Offset=0, AsmPrinter::AliasMapTy *AliasList=nullptr)
static void emitComments(const MachineInstr &MI, raw_ostream &CommentOS)
emitComments - Pretty-print comments for instructions.
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)
Definition: AsmPrinter.cpp:624
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 GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
#define clEnumValN(ENUMVAL, FLAGNAME, DESC)
Definition: CommandLine.h:686
This file contains the declarations for the subclasses of Constant, which represent the different fla...
Looks at all the uses of the given value Returns the Liveness deduced from the uses of this value Adds all uses that cause the result to be MaybeLive to MaybeLiveRetUses If the result is MaybeLiveUses might be modified but its content should be ignored(since it might not be complete). DeadArgumentEliminationPass
This file defines the DenseMap class.
This file contains constants used for implementing Dwarf debug support.
std::string Name
uint64_t Size
Symbol * Sym
Definition: ELF_riscv.cpp:479
#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
===- LazyMachineBlockFrequencyInfo.h - Lazy Block Frequency -*- C++ -*–===//
#define F(x, y, z)
Definition: MD5.cpp:55
#define I(x, y, z)
Definition: MD5.cpp:58
#define G(x, y, z)
Definition: MD5.cpp:56
This file declares the MachineConstantPool class which is an abstract constant pool to keep track of ...
===- MachineOptimizationRemarkEmitter.h - Opt Diagnostics -*- C++ -*-—===//
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.
Module.h This file contains the declarations for the Module class.
const char LLVMTargetMachineRef TM
if(PassOpts->AAPipeline)
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
This file contains some templates that are useful if you are working with the STL at all.
raw_pwrite_stream & OS
#define OP(OPC)
Definition: SandboxIR.h:610
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:167
This file contains some functions that are useful when dealing with strings.
This file describes how to lower LLVM code to machine code.
Value * RHS
Value * LHS
opStatus convert(const fltSemantics &ToSemantics, roundingMode RM, bool *losesInfo)
Definition: APFloat.cpp:5337
double convertToDouble() const
Converts this APFloat to host double value.
Definition: APFloat.cpp:5396
void toString(SmallVectorImpl< char > &Str, unsigned FormatPrecision=0, unsigned FormatMaxPadding=3, bool TruncateZero=true) const
Definition: APFloat.h:1390
APInt bitcastToAPInt() const
Definition: APFloat.h:1266
Class for arbitrary precision integers.
Definition: APInt.h:78
unsigned getBitWidth() const
Return the number of bits in the APInt.
Definition: APInt.h:1448
unsigned getNumWords() const
Get the number of words.
Definition: APInt.h:1455
const uint64_t * getRawData() const
This function returns a pointer to the internal storage of the APInt.
Definition: APInt.h:549
int64_t getSExtValue() const
Get sign extended value.
Definition: APInt.h:1522
void lshrInPlace(unsigned ShiftAmt)
Logical right-shift this APInt by ShiftAmt in place.
Definition: APInt.h:838
AddrLabelMap(MCContext &context)
Definition: AsmPrinter.cpp:204
void UpdateForRAUWBlock(BasicBlock *Old, BasicBlock *New)
Definition: AsmPrinter.cpp:305
void takeDeletedSymbolsForFunction(Function *F, std::vector< MCSymbol * > &Result)
If we have any deleted symbols for F, return them.
Definition: AsmPrinter.cpp:244
void UpdateForDeletedBlock(BasicBlock *BB)
Definition: AsmPrinter.cpp:278
ArrayRef< MCSymbol * > getAddrLabelSymbolToEmit(BasicBlock *BB)
Definition: AsmPrinter.cpp:220
Represent the analysis usage information of a pass.
AnalysisUsage & addRequired()
void setPreservesAll()
Set by analyses that do not transform their input at all.
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition: ArrayRef.h:41
virtual ~AsmPrinterHandler()
Pin vtable to this file.
virtual void markFunctionEnd()
This class is intended to be used as a driving class for all asm writers.
Definition: AsmPrinter.h:86
virtual void emitInstruction(const MachineInstr *)
Targets should implement this to emit instructions.
Definition: AsmPrinter.h:561
const TargetLoweringObjectFile & getObjFileLowering() const
Return information about object file lowering.
Definition: AsmPrinter.cpp:383
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
Definition: AsmPrinter.cpp:676
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:360
MapVector< MBBSectionID, MBBSectionRange > MBBSectionRanges
Definition: AsmPrinter.h:140
bool isDwarf64() const
void emitNops(unsigned N)
Emit N NOP instructions.
MCSymbol * CurrentFnBegin
Definition: AsmPrinter.h:185
MachineLoopInfo * MLI
This is a pointer to the current MachineLoopInfo.
Definition: AsmPrinter.h:113
virtual void emitDebugValue(const MCExpr *Value, unsigned Size) const
Emit the directive and value for debug thread local expression.
Definition: AsmPrinter.cpp:895
void EmitToStreamer(MCStreamer &S, const MCInst &Inst)
Definition: AsmPrinter.cpp:403
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.
Definition: AsmPrinter.cpp:698
virtual const MCExpr * lowerConstantPtrAuth(const ConstantPtrAuth &CPA)
Definition: AsmPrinter.h:582
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
Definition: AsmPrinter.cpp:369
TargetMachine & TM
Target machine description.
Definition: AsmPrinter.h:89
void emitXRayTable()
Emit a table with all XRay instrumentation points.
virtual void emitGlobalAlias(const Module &M, const GlobalAlias &GA)
virtual void emitBasicBlockEnd(const MachineBasicBlock &MBB)
Targets can override this to emit stuff at the end of a basic block.
MCSymbol * CurrentFnDescSym
The symbol for the current function descriptor on AIX.
Definition: AsmPrinter.h:127
MCSymbol * CurrentFnBeginLocal
For dso_local functions, the current $local alias for the function.
Definition: AsmPrinter.h:188
MapVector< const MCSymbol *, GOTEquivUsePair > GlobalGOTEquivs
Definition: AsmPrinter.h:145
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:266
void emitLabelDifference(const MCSymbol *Hi, const MCSymbol *Lo, unsigned Size) const
Emit something like ".long Hi-Lo" where the size in bytes of the directive is specified by Size and H...
void emitKCFITrapEntry(const MachineFunction &MF, const MCSymbol *Symbol)
virtual void emitMachOIFuncStubHelperBody(Module &M, const GlobalIFunc &GI, MCSymbol *LazyPointer)
Definition: AsmPrinter.h:613
MCSymbol * getMBBExceptionSym(const MachineBasicBlock &MBB)
MCSymbol * getAddrLabelSymbol(const BasicBlock *BB)
Return the symbol to be used for the specified basic block when its address is taken.
Definition: AsmPrinter.h:276
const MCAsmInfo * MAI
Target Asm Printer information.
Definition: AsmPrinter.h:92
SmallVector< std::unique_ptr< AsmPrinterHandler >, 2 > Handlers
A vector of all debug/EH info emitters we should use.
Definition: AsmPrinter.h:192
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:104
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.
Definition: AsmPrinter.cpp:336
void emitInt8(int Value) const
Emit a byte directive and value.
CFISection getFunctionCFISectionType(const Function &F) const
Get the CFISection type for a function.
void addDebugHandler(std::unique_ptr< DebugHandlerBase > Handler)
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...
size_t NumUserDebugHandlers
Definition: AsmPrinter.h:197
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:110
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:537
MCSymbol * GetJTISymbol(unsigned JTID, bool isLinkerPrivate=false) const
Return the symbol for the specified jump table entry.
virtual void emitMachineConstantPoolValue(MachineConstantPoolValue *MCPV)
SmallVector< std::unique_ptr< DebugHandlerBase >, 1 > DebugHandlers
Debuginfo handler. Protected so that targets can add their own.
Definition: AsmPrinter.h:196
void emitStackMaps()
Emit the stack maps.
bool hasDebugInfo() const
Returns true if valid debug info is present.
Definition: AsmPrinter.h:437
virtual void emitFunctionBodyStart()
Targets can override this to emit stuff before the first basic block in the function.
Definition: AsmPrinter.h:545
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:144
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:541
bool doInitialization(Module &M) override
Set up the AsmPrinter when we are working on a new module.
Definition: AsmPrinter.cpp:434
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:607
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.
Definition: AsmPrinter.cpp:631
void getAnalysisUsage(AnalysisUsage &AU) const override
Record analysis usage.
Definition: AsmPrinter.cpp:425
unsigned getFunctionNumber() const
Return a unique ID for the current function.
Definition: AsmPrinter.cpp:379
MachineOptimizationRemarkEmitter * ORE
Optimization remark emitter.
Definition: AsmPrinter.h:116
virtual bool shouldEmitWeakSwiftAsyncExtendedFramePointerFlags() const
Definition: AsmPrinter.h:912
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.
Definition: AsmPrinter.cpp:680
MCSymbol * CurrentFnSym
The symbol for the current function.
Definition: AsmPrinter.h:123
MachineModuleInfo * MMI
This is a pointer to the current MachineModuleInfo.
Definition: AsmPrinter.h:107
void emitSLEB128(int64_t Value, const char *Desc=nullptr) const
Emit the specified signed leb128 value.
void emitAlignment(Align Alignment, const GlobalObject *GV=nullptr, unsigned MaxBytesToEmit=0) const
Emit an alignment directive to the specified power of two boundary.
MCContext & OutContext
This is the context for the output file that we are streaming.
Definition: AsmPrinter.h:96
void emitCFIInstruction(const MachineInstr &MI)
MCSymbol * createTempSymbol(const Twine &Name) const
bool doFinalization(Module &M) override
Shut down the asmprinter.
MCSymbol * GetExternalSymbolSymbol(Twine Sym) const
Return the MCSymbol for the specified ExternalSymbol.
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:603
void emitStackUsage(const MachineFunction &MF)
virtual void emitKCFITypeId(const MachineFunction &MF)
bool isPositionIndependent() const
Definition: AsmPrinter.cpp:374
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:119
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,...
Definition: AsmPrinter.cpp:269
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:101
virtual const MCExpr * lowerConstant(const Constant *CV)
Lower the specified LLVM Constant to an MCExpr.
virtual void emitFunctionDescriptor()
Definition: AsmPrinter.h:570
const MCSection * getCurrentSection() const
Return the current section we are emitting to.
Definition: AsmPrinter.cpp:421
unsigned int getDwarfOffsetByteSize() const
Returns 4 for DWARF32 and 8 for DWARF64.
size_t NumUserHandlers
Definition: AsmPrinter.h:193
MCSymbol * CurrentFnSymForSize
The symbol used to represent the start of the current function for the purpose of calculating its siz...
Definition: AsmPrinter.h:132
bool isVerbose() const
Return true if assembly output should contain comments.
Definition: AsmPrinter.h:257
MCSymbol * getFunctionEnd() const
Definition: AsmPrinter.h:267
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:578
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
Definition: AsmPrinter.cpp:671
void emitPseudoProbe(const MachineInstr &MI)
unsigned getPointerSize() const
Return the pointer size from the TargetMachine.
Definition: AsmPrinter.cpp:394
void emitRemarksSection(remarks::RemarkStreamer &RS)
StackMaps SM
Definition: AsmPrinter.h:199
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.
Definition: AsmPrinter.cpp:261
virtual void emitFunctionBodyEnd()
Targets can override this to emit stuff after the last basic block in the function.
Definition: AsmPrinter.h:549
const DataLayout & getDataLayout() const
Return information about data layout.
Definition: AsmPrinter.cpp:387
virtual void emitFunctionEntryLabel()
EmitFunctionEntryLabel - Emit the label that is the entrypoint for the function.
void emitInitialRawDwarfLocDirective(const MachineFunction &MF)
Emits inital debug location directive.
Definition: AsmPrinter.cpp:407
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.
Definition: AsmPrinter.cpp:398
bool usesCFIWithoutEH() const
Since emitting CFI unwind information is entangled with supporting the exceptions,...
bool doesDwarfUseRelocationsAcrossSections() const
Definition: AsmPrinter.h:322
@ None
Do not emit either .eh_frame or .debug_frame.
@ Debug
Emit .debug_frame.
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".
AsmPrinter(TargetMachine &TM, std::unique_ptr< MCStreamer > Streamer)
Definition: AsmPrinter.cpp:360
virtual const MCExpr * lowerBlockAddressConstant(const BlockAddress &BA)
Lower the specified BlockAddress to an MCExpr.
LLVM Basic Block Representation.
Definition: BasicBlock.h:61
unsigned getNumber() const
Definition: BasicBlock.h:104
bool hasAddressTaken() const
Returns true if there are any uses of this basic block other than direct branches,...
Definition: BasicBlock.h:658
const Function * getParent() const
Return the enclosing method, or null if none.
Definition: BasicBlock.h:219
The address of a basic block.
Definition: Constants.h:890
BasicBlock * getBasicBlock() const
Definition: Constants.h:919
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.
Definition: ValueHandle.h:383
virtual void allUsesReplacedWith(Value *)
Callback for Value RAUW.
Definition: ValueHandle.h:423
virtual void deleted()
Callback for Value destruction.
Definition: ValueHandle.h:414
ConstMIBundleOperands - Iterate over all operands in a const bundle of machine instructions.
ConstantArray - Constant Array Declarations.
Definition: Constants.h:424
ArrayType * getType() const
Specialize the getType() method to always return an ArrayType, which reduces the amount of casting ne...
Definition: Constants.h:443
ConstantDataSequential - A vector or array constant whose element type is a simple 1/2/4/8-byte integ...
Definition: Constants.h:584
StringRef getAsString() const
If this array is isString(), then this method returns the array as a StringRef.
Definition: Constants.h:659
uint64_t getElementByteSize() const
Return the size (in bytes) of each element in the array/vector.
Definition: Constants.cpp:2824
bool isString(unsigned CharSize=8) const
This method returns true if this is an array of CharSize integers.
Definition: Constants.cpp:3167
uint64_t getElementAsInteger(unsigned i) const
If this is a sequential container of integers (of any size), return the specified element in the low ...
Definition: Constants.cpp:3074
unsigned getNumElements() const
Return the number of elements in the array or vector.
Definition: Constants.cpp:2817
Type * getElementType() const
Return the element type of the array/vector.
Definition: Constants.cpp:2791
APFloat getElementAsAPFloat(unsigned i) const
If this is a sequential container of floating point type, return the specified element as an APFloat.
Definition: Constants.cpp:3122
A constant value that is initialized with an expression using other constant values.
Definition: Constants.h:1097
static Constant * getBitCast(Constant *C, Type *Ty, bool OnlyIfReduced=false)
Definition: Constants.cpp:2295
ConstantFP - Floating Point Values [float, double].
Definition: Constants.h:269
const APFloat & getValueAPF() const
Definition: Constants.h:312
This is the shared class of boolean and integer constants.
Definition: Constants.h:81
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:256
unsigned getBitWidth() const
getBitWidth - Return the scalar bitwidth of this constant.
Definition: Constants.h:149
const APInt & getValue() const
Return the constant as an APInt value reference.
Definition: Constants.h:146
A signed pointer, in the ptrauth sense.
Definition: Constants.h:1012
StructType * getType() const
Specialization - reduce amount of casting.
Definition: Constants.h:495
Constant Vector Declarations.
Definition: Constants.h:508
FixedVectorType * getType() const
Specialize the getType() method to always return a FixedVectorType, which reduces the amount of casti...
Definition: Constants.h:531
This is an important base class in LLVM.
Definition: Constant.h:42
const Constant * stripPointerCasts() const
Definition: Constant.h:218
bool isNullValue() const
Return true if this is the value that would be returned by getNullValue.
Definition: Constants.cpp:90
DWARF expression.
iterator_range< expr_op_iterator > expr_ops() const
unsigned getNumElements() const
static std::optional< const DIExpression * > convertToNonVariadicExpression(const DIExpression *Expr)
If Expr is a valid single-location expression, i.e.
Debug location.
Subprogram description.
Wrapper for a function that represents a value that functionally represents the original function.
Definition: Constants.h:936
This class represents an Operation in the Expression.
bool print(raw_ostream &OS, DIDumpOptions DumpOpts, const DWARFExpression *Expr, DWARFUnit *U) const
A parsed version of the target data layout string in and methods for querying it.
Definition: DataLayout.h:63
bool isBigEndian() const
Definition: DataLayout.h:197
TypeSize getTypeStoreSize(Type *Ty) const
Returns the maximum number of bytes that may be overwritten by storing the specified type.
Definition: DataLayout.h:430
A debug info location.
Definition: DebugLoc.h:33
iterator find(const_arg_type_t< KeyT > Val)
Definition: DenseMap.h:155
bool erase(const KeyT &Val)
Definition: DenseMap.h:336
bool empty() const
Definition: DenseMap.h:98
iterator end()
Definition: DenseMap.h:84
std::pair< iterator, bool > insert(const std::pair< KeyT, ValueT > &KV)
Definition: DenseMap.h:211
Collects and handles dwarf debug information.
Definition: DwarfDebug.h:351
DebugLoc emitInitialLocDirective(const MachineFunction &MF, unsigned CUID)
Emits inital debug location directive.
Emits exception handling directives.
Definition: EHStreamer.h:30
unsigned getNumElements() const
Definition: DerivedTypes.h:582
DISubprogram * getSubprogram() const
Get the attached subprogram.
Definition: Metadata.cpp:1837
bool hasPersonalityFn() const
Check whether this function has a personality function.
Definition: Function.h:903
Constant * getPersonalityFn() const
Get the personality function associated with this function.
Definition: Function.cpp:1993
std::optional< ProfileCount > getEntryCount(bool AllowSynthetic=false) const
Get the entry count for this function.
Definition: Function.cpp:2078
bool needsUnwindTableEntry() const
True if this function needs an unwind table.
Definition: Function.h:680
GCMetadataPrinter - Emits GC metadata as assembly code.
An analysis pass which caches information about the entire Module.
Definition: GCMetadata.h:203
GCStrategy describes a garbage collector algorithm's code generation requirements,...
Definition: GCStrategy.h:63
bool usesMetadata() const
If set, appropriate metadata tables must be emitted by the back-end (assembler, JIT,...
Definition: GCStrategy.h:118
const std::string & getName() const
Return the name of the GC strategy.
Definition: GCStrategy.h:88
const GlobalObject * getAliaseeObject() const
Definition: Globals.cpp:588
const Constant * getAliasee() const
Definition: GlobalAlias.h:84
const Function * getResolverFunction() const
Definition: Globals.cpp:617
const Constant * getResolver() const
Definition: GlobalIFunc.h:70
StringRef getSection() const
Get the custom section of this global if it has one.
Definition: GlobalObject.h:118
MaybeAlign getAlign() const
Returns the alignment of the given variable or function.
Definition: GlobalObject.h:80
bool hasMetadata() const
Return true if this value has any metadata attached to it.
Definition: Value.h:589
bool hasSection() const
Check if this global has a custom object file section.
Definition: GlobalObject.h:110
bool hasLinkOnceLinkage() const
Definition: GlobalValue.h:515
bool hasExternalLinkage() const
Definition: GlobalValue.h:511
bool isDSOLocal() const
Definition: GlobalValue.h:305
bool isThreadLocal() const
If the value is "Thread Local", its value isn't shared by the threads.
Definition: GlobalValue.h:263
VisibilityTypes getVisibility() const
Definition: GlobalValue.h:248
bool isDeclaration() const
Return true if the primary definition of this global value is outside of the current translation unit...
Definition: Globals.cpp:290
LinkageTypes getLinkage() const
Definition: GlobalValue.h:546
bool hasLocalLinkage() const
Definition: GlobalValue.h:528
static StringRef dropLLVMManglingEscape(StringRef Name)
If the given string begins with the GlobalValue name mangling escape character '\1',...
Definition: GlobalValue.h:567
bool hasPrivateLinkage() const
Definition: GlobalValue.h:527
bool isTagged() const
Definition: GlobalValue.h:365
bool isDeclarationForLinker() const
Definition: GlobalValue.h:618
Module * getParent()
Get the module that this global value is contained inside of...
Definition: GlobalValue.h:656
PointerType * getType() const
Global values are always pointers.
Definition: GlobalValue.h:294
VisibilityTypes
An enumeration for the kinds of visibility of global values.
Definition: GlobalValue.h:66
@ DefaultVisibility
The GV is visible.
Definition: GlobalValue.h:67
@ HiddenVisibility
The GV is hidden.
Definition: GlobalValue.h:68
@ ProtectedVisibility
The GV is protected.
Definition: GlobalValue.h:69
const DataLayout & getDataLayout() const
Get the data layout of the module this global belongs to.
Definition: Globals.cpp:124
bool canBenefitFromLocalAlias() const
Definition: Globals.cpp:112
bool hasComdat() const
Definition: GlobalValue.h:241
bool hasWeakLinkage() const
Definition: GlobalValue.h:522
bool hasCommonLinkage() const
Definition: GlobalValue.h:532
bool hasGlobalUnnamedAddr() const
Definition: GlobalValue.h:215
bool hasAppendingLinkage() const
Definition: GlobalValue.h:525
static bool isDiscardableIfUnused(LinkageTypes Linkage)
Whether the definition of this global may be discarded if it is not used in its compilation unit.
Definition: GlobalValue.h:449
bool canBeOmittedFromSymbolTable() const
True if GV can be left out of the object symbol table.
Definition: Globals.cpp:419
bool hasAvailableExternallyLinkage() const
Definition: GlobalValue.h:512
LinkageTypes
An enumeration for the kinds of linkage for global values.
Definition: GlobalValue.h:51
@ PrivateLinkage
Like Internal, but omit from symbol table.
Definition: GlobalValue.h:60
@ CommonLinkage
Tentative definitions.
Definition: GlobalValue.h:62
@ InternalLinkage
Rename collisions when linking (static functions).
Definition: GlobalValue.h:59
@ LinkOnceAnyLinkage
Keep one copy of function when linking (inline)
Definition: GlobalValue.h:54
@ WeakODRLinkage
Same, but only replaced by something equivalent.
Definition: GlobalValue.h:57
@ ExternalLinkage
Externally visible function.
Definition: GlobalValue.h:52
@ WeakAnyLinkage
Keep one copy of named function when linking (weak)
Definition: GlobalValue.h:56
@ AppendingLinkage
Special purpose, only applies to global arrays.
Definition: GlobalValue.h:58
@ AvailableExternallyLinkage
Available for inspection, not emission.
Definition: GlobalValue.h:53
@ ExternalWeakLinkage
ExternalWeak linkage description.
Definition: GlobalValue.h:61
@ LinkOnceODRLinkage
Same, but only replaced by something equivalent.
Definition: GlobalValue.h:55
Type * getValueType() const
Definition: GlobalValue.h:296
const Constant * getInitializer() const
getInitializer - Return the initializer for this global variable.
bool hasInitializer() const
Definitions have initializers, declarations don't.
bool isConstant() const
If the value is a global constant, its value is immutable throughout the runtime execution of the pro...
bool isTailCall(const MachineInstr &MI) const override
static IntegerType * get(LLVMContext &C, unsigned NumBits)
This static method is the primary way of constructing an IntegerType.
Definition: Type.cpp:266
This is an alternative analysis pass to MachineBlockFrequencyInfo.
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:44
This class is intended to be used as a base class for asm properties and features specific to the tar...
Definition: MCAsmInfo.h:56
bool needsFunctionDescriptors() const
Definition: MCAsmInfo.h:833
bool hasDotTypeDotSizeDirective() const
Definition: MCAsmInfo.h:708
bool useIntegratedAssembler() const
Return true if assembly (inline or otherwise) should be parsed.
Definition: MCAsmInfo.h:800
bool hasBasenameOnlyForFileDirective() const
Definition: MCAsmInfo.h:701
MCSymbolAttr getProtectedVisibilityAttr() const
Definition: MCAsmInfo.h:730
bool hasFourStringsDotFile() const
Definition: MCAsmInfo.h:710
unsigned getAssemblerDialect() const
Definition: MCAsmInfo.h:644
bool useAssignmentForEHBegin() const
Definition: MCAsmInfo.h:624
bool usesCFIWithoutEH() const
Definition: MCAsmInfo.h:745
bool avoidWeakIfComdat() const
Definition: MCAsmInfo.h:720
bool hasVisibilityOnlyWithLinkage() const
Definition: MCAsmInfo.h:593
MCSymbolAttr getHiddenDeclarationVisibilityAttr() const
Definition: MCAsmInfo.h:726
bool hasWeakDefCanBeHiddenDirective() const
Definition: MCAsmInfo.h:716
LCOMM::LCOMMType getLCOMMDirectiveAlignmentType() const
Definition: MCAsmInfo.h:697
bool needsDwarfSectionOffsetDirective() const
Definition: MCAsmInfo.h:584
bool doesSupportDebugInformation() const
Definition: MCAsmInfo.h:736
bool doesSetDirectiveSuppressReloc() const
Definition: MCAsmInfo.h:689
WinEH::EncodingType getWinEHEncodingType() const
Definition: MCAsmInfo.h:739
bool doesDwarfUseRelocationsAcrossSections() const
Definition: MCAsmInfo.h:763
MCSymbolAttr getMemtagAttr() const
Definition: MCAsmInfo.h:734
bool hasSubsectionsViaSymbols() const
Definition: MCAsmInfo.h:529
bool isMachO() const
Definition: MCAsmInfo.h:590
bool usesWindowsCFI() const
Definition: MCAsmInfo.h:757
bool binutilsIsAtLeast(int Major, int Minor) const
Definition: MCAsmInfo.h:807
MCSymbolAttr getHiddenVisibilityAttr() const
Definition: MCAsmInfo.h:722
bool hasSingleParameterDotFile() const
Definition: MCAsmInfo.h:709
const char * getWeakRefDirective() const
Definition: MCAsmInfo.h:714
bool hasNoDeadStrip() const
Definition: MCAsmInfo.h:712
virtual MCSection * getNonexecutableStackSection(MCContext &Ctx) const
Targets can implement this method to specify a section to switch to if the translation unit doesn't h...
Definition: MCAsmInfo.h:548
ExceptionHandling getExceptionHandlingType() const
Definition: MCAsmInfo.h:738
bool needsLocalForSize() const
Definition: MCAsmInfo.h:625
bool hasFunctionAlignment() const
Definition: MCAsmInfo.h:707
bool hasIdentDirective() const
Definition: MCAsmInfo.h:711
unsigned getCodePointerSize() const
Get the code pointer size in bytes.
Definition: MCAsmInfo.h:515
static const MCBinaryExpr * createAdd(const MCExpr *LHS, const MCExpr *RHS, MCContext &Ctx)
Definition: MCExpr.h:532
static const MCBinaryExpr * createSub(const MCExpr *LHS, const MCExpr *RHS, MCContext &Ctx)
Definition: MCExpr.h:617
static const MCConstantExpr * create(int64_t Value, MCContext &Ctx, bool PrintInHex=false, unsigned SizeInBytes=0)
Definition: MCExpr.cpp:193
Context object for machine code objects.
Definition: MCContext.h:83
const MCObjectFileInfo * getObjectFileInfo() const
Definition: MCContext.h:416
MCSectionMachO * getMachOSection(StringRef Segment, StringRef Section, unsigned TypeAndAttributes, unsigned Reserved2, SectionKind K, const char *BeginSymName=nullptr)
Return the MCSection for the specified mach-o section.
Definition: MCContext.cpp:489
MCSymbol * createTempSymbol()
Create a temporary symbol with a unique name.
Definition: MCContext.cpp:346
MCSymbol * createLinkerPrivateTempSymbol()
Create a new linker temporary symbol with the specified prefix (Name) or "tmp".
Definition: MCContext.cpp:336
MCSectionELF * getELFSection(const Twine &Section, unsigned Type, unsigned Flags)
Definition: MCContext.h:551
MCSectionCOFF * getCOFFSection(StringRef Section, unsigned Characteristics, StringRef COMDATSymName, int Selection, unsigned UniqueID=GenericSectionID)
Definition: MCContext.cpp:693
void reportWarning(SMLoc L, const Twine &Msg)
Definition: MCContext.cpp:1075
void reportError(SMLoc L, const Twine &Msg)
Definition: MCContext.cpp:1068
MCSymbol * getOrCreateSymbol(const Twine &Name)
Lookup the symbol inside with the specified Name.
Definition: MCContext.cpp:213
MCSymbol * createLinkerPrivateSymbol(const Twine &Name)
Definition: MCContext.cpp:340
MCSymbol * createNamedTempSymbol()
Create a temporary symbol with a unique name whose name cannot be omitted in the symbol table.
Definition: MCContext.cpp:348
Base class for the full range of assembler expressions which are needed for parsing.
Definition: MCExpr.h:34
Instances of this class represent a single low-level machine instruction.
Definition: MCInst.h:184
unsigned getOpcode() const
Definition: MCInst.h:198
void setOpcode(unsigned Op)
Definition: MCInst.h:197
MCSection * getTLSBSSSection() const
MCSection * getStackSizesSection(const MCSection &TextSec) const
MCSection * getBBAddrMapSection(const MCSection &TextSec) const
MCSection * getRemarksSection() const
MCSection * getTLSExtraDataSection() const
MCSection * getKCFITrapSection(const MCSection &TextSec) const
MCSection * getPCSection(StringRef Name, const MCSection *TextSec) const
MCSection * getTextSection() const
MCSection * getDataSection() const
This represents a section on Windows.
Definition: MCSectionCOFF.h:27
Instances of this class represent a uniqued identifier for a section in the current translation unit.
Definition: MCSection.h:36
static constexpr unsigned NonUniqueID
Definition: MCSection.h:40
bool isVirtualSection() const
Check whether this section is "virtual", that is has no actual object file contents.
Definition: MCSection.h:198
Streaming machine code generation interface.
Definition: MCStreamer.h:213
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.
void emitZeros(uint64_t NumBytes)
Emit NumBytes worth of zeros.
Definition: MCStreamer.cpp:229
Generic base class for all target subtargets.
const Triple & getTargetTriple() const
Represent a reference to a symbol from inside an expression.
Definition: MCExpr.h:188
const MCSymbol & getSymbol() const
Definition: MCExpr.h:406
static const MCSymbolRefExpr * create(const MCSymbol *Symbol, MCContext &Ctx)
Definition: MCExpr.h:393
StringRef getSymbolTableName() const
Definition: MCSymbolXCOFF.h:68
bool hasRename() const
Definition: MCSymbolXCOFF.h:61
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
Definition: MCSymbol.h:41
bool isDefined() const
isDefined - Check if this symbol is defined (i.e., it has an address).
Definition: MCSymbol.h:250
StringRef getName() const
getName - Get the symbol name.
Definition: MCSymbol.h:205
bool isVariable() const
isVariable - Check if this is a variable symbol.
Definition: MCSymbol.h:300
void redefineIfPossible()
Prepare this symbol to be redefined.
Definition: MCSymbol.h:232
This represents an "assembler immediate".
Definition: MCValue.h:36
int64_t getConstant() const
Definition: MCValue.h:43
const MCSymbolRefExpr * getSymB() const
Definition: MCValue.h:45
const MCSymbolRefExpr * getSymA() const
Definition: MCValue.h:44
bool isAbsolute() const
Is this an absolute (as opposed to relocatable) value.
Definition: MCValue.h:49
Metadata node.
Definition: Metadata.h:1069
const MDOperand & getOperand(unsigned I) const
Definition: Metadata.h:1430
ArrayRef< MDOperand > operands() const
Definition: Metadata.h:1428
Tracking metadata reference owned by Metadata.
Definition: Metadata.h:891
A single uniqued string.
Definition: Metadata.h:720
StringRef getString() const
Definition: Metadata.cpp:616
unsigned pred_size() const
bool isEHPad() const
Returns true if the block is a landing pad.
MCSymbol * getSymbol() const
Return the MCSymbol for this basic block.
MCSymbol * getEHCatchretSymbol() const
Return the EHCatchret Symbol for this basic block.
bool hasLabelMustBeEmitted() const
Test whether this block must have its label emitted.
int getNumber() const
MachineBasicBlocks are uniquely numbered at the function level, unless they're not in a MachineFuncti...
std::optional< UniqueBBID > getBBID() const
const BasicBlock * getBasicBlock() const
Return the LLVM basic block that this instance corresponded to originally.
unsigned getMaxBytesForAlignment() const
Return the maximum amount of padding allowed for aligning the basic block.
bool isIRBlockAddressTaken() const
Test whether this block is the target of an IR BlockAddress.
MCSymbol * getEndSymbol() const
Returns the MCSymbol marking the end of this basic block.
bool isEHFuncletEntry() const
Returns true if this is the entry block of an EH funclet.
bool sameSection(const MachineBasicBlock *MBB) const
Returns true if this and MBB belong to the same section.
unsigned succ_size() const
bool isReturnBlock() const
Convenience function that returns true if the block ends in a return instruction.
MBBSectionID getSectionID() const
Returns the section ID of this basic block.
bool isEntryBlock() const
Returns true if this is the entry block of the function.
BasicBlock * getAddressTakenIRBlock() const
Retrieves the BasicBlock which corresponds to this MachineBasicBlock.
bool isEHCatchretTarget() const
Returns true if this is a target block of a catchret.
bool isLayoutSuccessor(const MachineBasicBlock *MBB) const
Return true if the specified MBB will be emitted immediately after this block, such that if this bloc...
instr_iterator instr_end()
const MachineFunction * getParent() const
Return the MachineFunction containing this basic block.
bool isBeginSection() const
Returns true if this block begins any section.
iterator_range< iterator > terminators()
iterator_range< succ_iterator > successors()
reverse_iterator rbegin()
bool isMachineBlockAddressTaken() const
Test whether this block is used as something other than the target of a terminator,...
bool isEndSection() const
Returns true if this block ends any section.
Align getAlignment() const
Return alignment of the basic block.
StringRef getName() const
Return the name of the corresponding LLVM basic block, or an empty string.
MachineBlockFrequencyInfo pass uses BlockFrequencyInfoImpl implementation to estimate machine basic b...
BlockFrequency getBlockFreq(const MachineBasicBlock *MBB) const
getblockFreq - Return block frequency.
BranchProbability getEdgeProbability(const MachineBasicBlock *Src, const MachineBasicBlock *Dst) const
This class is a data container for one entry in a MachineConstantPool.
bool isMachineConstantPoolEntry() const
isMachineConstantPoolEntry - Return true if the MachineConstantPoolEntry is indeed a target specific ...
union llvm::MachineConstantPoolEntry::@204 Val
The constant itself.
MachineConstantPoolValue * MachineCPVal
Align Alignment
The required alignment for this entry.
unsigned getSizeInBytes(const DataLayout &DL) const
SectionKind getSectionKind(const DataLayout *DL) const
Abstract base class for all machine specific constantpool value subclasses.
The MachineConstantPool class keeps track of constants referenced by a function which must be spilled...
const std::vector< MachineConstantPoolEntry > & getConstants() const
MachineDominatorTree & getBase()
The MachineFrameInfo class represents an abstract stack frame until prolog/epilog code is inserted.
bool needsSplitStackProlog() const
Return true if this function requires a split stack prolog, even if it uses no stack space.
bool hasVarSizedObjects() const
This method may be called any time after instruction selection is complete to determine if the stack ...
uint64_t getStackSize() const
Return the number of bytes that must be allocated to hold all of the fixed size frame objects.
uint64_t getUnsafeStackSize() const
MachineFunctionPass - This class adapts the FunctionPass interface to allow convenient creation of pa...
void getAnalysisUsage(AnalysisUsage &AU) const override
getAnalysisUsage - Subclasses that override getAnalysisUsage must call this.
unsigned getFunctionNumber() const
getFunctionNumber - Return a unique ID for the current function.
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
const std::vector< MCCFIInstruction > & getFrameInstructions() const
Returns a reference to a list of cfi instructions in the function's prologue.
StringRef getName() const
getName - Return the name of the corresponding LLVM function.
MachineFrameInfo & getFrameInfo()
getFrameInfo - Return the frame info object for the current function.
void setSection(MCSection *S)
Indicates the Section this function belongs to.
MCSymbol * getJTISymbol(unsigned JTI, MCContext &Ctx, bool isLinkerPrivate=false) const
getJTISymbol - Return the MCSymbol for the specified non-empty jump table.
reverse_iterator rbegin()
bool hasBBSections() const
Returns true if this function has basic block sections enabled.
MCContext & getContext() const
unsigned size() const
const DataLayout & getDataLayout() const
Return the DataLayout attached to the Module associated to this MF.
Align getAlignment() const
getAlignment - Return the alignment of the function.
Function & getFunction()
Return the LLVM function that this machine code represents.
const LLVMTargetMachine & getTarget() const
getTarget - Return the target machine this machine code is compiled with
const std::vector< LandingPadInfo > & getLandingPads() const
Return a reference to the landing pad info for the current function.
MCSection * getSection() const
Returns the Section this function belongs to.
const MachineBasicBlock & back() const
bool shouldSplitStack() const
Should we be emitting segmented stack stuff for the function.
MachineConstantPool * getConstantPool()
getConstantPool - Return the constant pool object for the current function.
const MachineBasicBlock & front() const
bool hasBBLabels() const
Returns true if basic block labels are to be generated for this function.
const MachineJumpTableInfo * getJumpTableInfo() const
getJumpTableInfo - Return the jump table info object for the current function.
Representation of each machine instruction.
Definition: MachineInstr.h:69
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,...
unsigned getEntryAlignment(const DataLayout &TD) const
getEntryAlignment - Return the alignment of each entry in the jump table.
JTEntryKind getEntryKind() const
const std::vector< MachineJumpTableEntry > & getJumpTables() const
MachineModuleInfoCOFF - This is a MachineModuleInfoImpl implementation for COFF targets.
SymbolListTy GetGVStubList()
Accessor methods to return the set of stubs in sorted order.
MachineModuleInfoELF - This is a MachineModuleInfoImpl implementation for ELF targets.
SymbolListTy GetGVStubList()
Accessor methods to return the set of stubs in sorted order.
std::vector< std::pair< MCSymbol *, StubValueTy > > SymbolListTy
const MCContext & getContext() const
const Module * getModule() const
Ty & getObjFileInfo()
Keep track of various per-module pieces of information for backends that would like to do so.
MachineOperand class - Representation of each machine instruction operand.
@ MO_Immediate
Immediate operand.
@ MO_CImmediate
Immediate >64bit operand.
@ MO_FrameIndex
Abstract Stack Frame Index.
@ MO_Register
Register operand.
@ MO_TargetIndex
Target-dependent index+offset operand.
@ MO_FPImmediate
Floating-point immediate operand.
Diagnostic information for optimization analysis remarks.
void emit(DiagnosticInfoOptimizationBase &OptDiag)
Emit an optimization remark.
bool allowExtraAnalysis(StringRef PassName) const
Whether we allow for extra compile-time budget to perform more analysis to be more informative.
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:120
This class implements a map that also provides access to all stored values in a deterministic order.
Definition: MapVector.h:36
A Module instance is used to store all the information related to an LLVM module.
Definition: Module.h:65
StringRef getName() const
Get a short "name" for the module.
Definition: Module.h:282
const DataLayout & getDataLayout() const
Get the data layout for the module's target platform.
Definition: Module.h:291
Metadata * getModuleFlag(StringRef Key) const
Return the corresponding value if Key appears in module flags, otherwise return null.
Definition: Module.cpp:319
A tuple of MDNodes.
Definition: Metadata.h:1730
unsigned getNumOperands() const
Definition: Metadata.cpp:1384
iterator_range< op_iterator > operands()
Definition: Metadata.h:1826
Wrapper for a value that won't be replaced with a CFI jump table pointer in LowerTypeTestsModule.
Definition: Constants.h:973
static PointerType * getUnqual(Type *ElementType)
This constructs a pointer to an object of the specified type in the default address space (address sp...
Definition: DerivedTypes.h:662
Wrapper class representing virtual and physical registers.
Definition: Register.h:19
static iterator_range< iterator > entries()
Definition: Registry.h:101
SimpleRegistryEntry< T > entry
Definition: Registry.h:47
Represents a location in source code.
Definition: SMLoc.h:23
SectionKind - This is a simple POD value that classifies the properties of a section.
Definition: SectionKind.h:22
bool isCommon() const
Definition: SectionKind.h:173
bool isBSS() const
Definition: SectionKind.h:169
static SectionKind getReadOnlyWithRel()
Definition: SectionKind.h:214
bool isBSSLocal() const
Definition: SectionKind.h:170
bool isThreadBSS() const
Definition: SectionKind.h:161
bool isThreadLocal() const
Definition: SectionKind.h:157
bool isThreadData() const
Definition: SectionKind.h:162
static SectionKind getReadOnly()
Definition: SectionKind.h:192
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
Definition: SmallPtrSet.h:368
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements.
Definition: SmallPtrSet.h:503
SmallString - A SmallString is just a SmallVector with methods and accessors that make it work better...
Definition: SmallString.h:26
bool empty() const
Definition: SmallVector.h:95
size_t size() const
Definition: SmallVector.h:92
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
Definition: SmallVector.h:587
reference emplace_back(ArgTypes &&... Args)
Definition: SmallVector.h:951
void push_back(const T &Elt)
Definition: SmallVector.h:427
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
Definition: SmallVector.h:1210
void serializeToStackMapSection()
If there is any stack map data, create a stack map section and serialize the map info into it.
Definition: StackMaps.cpp:722
int64_t getFixed() const
Returns the fixed component of the stack.
Definition: TypeSize.h:49
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:50
constexpr StringRef substr(size_t Start, size_t N=npos) const
Return a reference to the substring from [Start, Start + N).
Definition: StringRef.h:556
bool contains(StringRef Other) const
Return true if the given string is a substring of *this, and false otherwise.
Definition: StringRef.h:409
size_t find(char C, size_t From=0) const
Search for the first character C in the string.
Definition: StringRef.h:282
Used to lazily calculate structure layout information for a target machine, based on the DataLayout s...
Definition: DataLayout.h:572
TypeSize getSizeInBytes() const
Definition: DataLayout.h:579
TypeSize getElementOffset(unsigned Idx) const
Definition: DataLayout.h:601
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.
virtual MCInst getNop() const
Return the noop instruction to use for a noop.
Align getMinFunctionAlignment() const
Return the minimum function alignment.
virtual MCSection * getSectionForCommandLines() const
If supported, return the section to use for the llvm.commandline metadata.
static SectionKind getKindForGlobal(const GlobalObject *GO, const TargetMachine &TM)
Classify the specified global variable into a set of target independent categories embodied in Sectio...
virtual MCSection * getSectionForJumpTable(const Function &F, const TargetMachine &TM) const
virtual MCSection * getStaticDtorSection(unsigned Priority, const MCSymbol *KeySym) const
virtual bool shouldPutJumpTableInFunctionSection(bool UsesLabelDifference, const Function &F) const
virtual const MCExpr * getIndirectSymViaGOTPCRel(const GlobalValue *GV, const MCSymbol *Sym, const MCValue &MV, int64_t Offset, MachineModuleInfo *MMI, MCStreamer &Streamer) const
Get the target specific PC relative GOT entry relocation.
virtual void emitModuleMetadata(MCStreamer &Streamer, Module &M) const
Emit the module-level metadata that the platform cares about.
virtual MCSection * getSectionForConstant(const DataLayout &DL, SectionKind Kind, const Constant *C, Align &Alignment) const
Given a constant with the SectionKind, return a section that it should be placed in.
MCSymbol * getSymbolWithGlobalValueBase(const GlobalValue *GV, StringRef Suffix, const TargetMachine &TM) const
Return the MCSymbol for a private symbol with global value name as its base, with the specified suffi...
virtual MCSection * getStaticCtorSection(unsigned Priority, const MCSymbol *KeySym) const
virtual const MCExpr * lowerDSOLocalEquivalent(const DSOLocalEquivalent *Equiv, const TargetMachine &TM) const
bool supportGOTPCRelWithOffset() const
Target GOT "PC"-relative relocation supports encoding an additional binary expression with an offset?
bool supportIndirectSymViaGOTPCRel() const
Target supports replacing a data "PC"-relative access to a symbol through another symbol,...
virtual MCSymbol * getFunctionEntryPointSymbol(const GlobalValue *Func, const TargetMachine &TM) const
If supported, return the function entry point symbol.
virtual const MCExpr * lowerRelativeReference(const GlobalValue *LHS, const GlobalValue *RHS, const TargetMachine &TM) const
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,...
virtual const MCExpr * LowerCustomJumpTableEntry(const MachineJumpTableInfo *, const MachineBasicBlock *, unsigned, MCContext &) const
Primary interface to the complete machine description for the target machine.
Definition: TargetMachine.h:77
bool isPositionIndependent() const
virtual bool isNoopAddrSpaceCast(unsigned SrcAS, unsigned DestAS) const
Returns true if a cast between SrcAS and DestAS is a noop.
const Triple & getTargetTriple() const
const MCSubtargetInfo * getMCSubtargetInfo() const
bool useEmulatedTLS() const
Returns true if this target uses emulated TLS.
unsigned getPointerSize(unsigned AS) const
Get the pointer size for this target.
virtual TargetLoweringObjectFile * getObjFileLowering() const
Reloc::Model getRelocationModel() const
Returns the code generation relocation model.
virtual const TargetSubtargetInfo * getSubtargetImpl(const Function &) const
Virtual method implemented by subclasses that returns a reference to that target's TargetSubtargetInf...
TargetOptions Options
MCSymbol * getSymbol(const GlobalValue *GV) const
unsigned getProgramPointerSize() const
CodeModel::Model getCodeModel() const
Returns the code model.
void getNameWithPrefix(SmallVectorImpl< char > &Name, const GlobalValue *GV, Mangler &Mang, bool MayAlwaysUsePrivate=false) const
const MCAsmInfo * getMCAsmInfo() const
Return target specific asm information.
unsigned EmitStackSizeSection
Emit section containing metadata on function stack sizes.
unsigned EmitAddrsig
Emit address-significance table.
unsigned UseInitArray
UseInitArray - Use .init_array instead of .ctors for static constructors.
MCTargetOptions MCOptions
Machine level options.
unsigned ForceDwarfFrameSection
Emit DWARF debug frame section.
std::string StackUsageOutput
Name of the stack usage file (i.e., .su file) if user passes -fstack-usage.
unsigned XRayFunctionIndex
Emit XRay Function Index section.
TargetSubtargetInfo - Generic base class for all target subtargets.
virtual const TargetRegisterInfo * getRegisterInfo() const
getRegisterInfo - If register information is available, return it.
virtual const TargetFrameLowering * getFrameLowering() const
virtual const TargetInstrInfo * getInstrInfo() const
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...
Definition: TinyPtrVector.h:29
Triple - Helper class for working with autoconf configuration names.
Definition: Triple.h:44
bool isOSBinFormatMachO() const
Tests whether the environment is MachO.
Definition: Triple.h:732
bool isOSBinFormatCOFF() const
Tests whether the OS uses the COFF binary format.
Definition: Triple.h:724
bool isOSWindows() const
Tests whether the OS is Windows.
Definition: Triple.h:624
bool isOSBinFormatXCOFF() const
Tests whether the OS uses the XCOFF binary format.
Definition: Triple.h:742
bool isOSAIX() const
Tests whether the OS is AIX.
Definition: Triple.h:710
bool isOSBinFormatELF() const
Tests whether the OS uses the ELF binary format.
Definition: Triple.h:719
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
Definition: Twine.h:81
The instances of the Type class are immutable: once they are created, they are never changed.
Definition: Type.h:45
bool isFloatTy() const
Return true if this is 'float', a 32-bit IEEE fp type.
Definition: Type.h:153
bool isBFloatTy() const
Return true if this is 'bfloat', a 16-bit bfloat type.
Definition: Type.h:145
void print(raw_ostream &O, bool IsForDebug=false, bool NoDetails=false) const
Print the current type.
bool isPPC_FP128Ty() const
Return true if this is powerpc long double.
Definition: Type.h:165
bool isSized(SmallPtrSetImpl< Type * > *Visited=nullptr) const
Return true if it makes sense to take the size of this type.
Definition: Type.h:298
bool isHalfTy() const
Return true if this is 'half', a 16-bit IEEE fp type.
Definition: Type.h:142
bool isDoubleTy() const
Return true if this is 'double', a 64-bit IEEE fp type.
Definition: Type.h:156
bool isFunctionTy() const
True if this is an instance of FunctionType.
Definition: Type.h:242
Value * getOperand(unsigned i) const
Definition: User.h:169
unsigned getNumOperands() const
Definition: User.h:191
Value * operator=(Value *RHS)
Definition: ValueHandle.h:69
LLVM Value Representation.
Definition: Value.h:74
Type * getType() const
All values are typed, get the type of this value.
Definition: Value.h:255
bool hasOneUse() const
Return true if there is exactly one use of this value.
Definition: Value.h:434
iterator_range< user_iterator > users()
Definition: Value.h:421
User * user_back()
Definition: Value.h:407
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.
Definition: AsmWriter.cpp:5106
const Value * stripPointerCasts() const
Strip off pointer casts, all-zero GEPs and address space casts.
Definition: Value.cpp:694
bool use_empty() const
Definition: Value.h:344
LLVMContext & getContext() const
All values hold a context through their type.
Definition: Value.cpp:1075
StringRef getName() const
Return a constant reference to the value's name.
Definition: Value.cpp:309
Type * getElementType() const
Definition: DerivedTypes.h:436
reverse_self_iterator getReverseIterator()
Definition: ilist_node.h:135
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition: raw_ostream.h:52
raw_ostream & indent(unsigned NumSpaces)
indent - Insert 'NumSpaces' spaces.
A raw_ostream that writes to an std::string.
Definition: raw_ostream.h:661
A raw_ostream that writes to an SmallVector or SmallString.
Definition: raw_ostream.h:691
std::optional< StringRef > getFilename() const
Return the filename that the remark diagnostics are emitted to.
bool needsSection() const
Check if the remarks also need to have associated metadata in a section.
remarks::RemarkSerializer & getSerializer()
Return the serializer used for this stream.
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.
@ IMAGE_SCN_MEM_READ
Definition: COFF.h:335
@ IMAGE_SCN_LNK_INFO
Definition: COFF.h:306
@ IMAGE_SCN_CNT_INITIALIZED_DATA
Definition: COFF.h:303
@ IMAGE_SCN_LNK_COMDAT
Definition: COFF.h:308
@ IMAGE_SYM_CLASS_EXTERNAL
External symbol.
Definition: COFF.h:223
@ IMAGE_SYM_CLASS_STATIC
Static.
Definition: COFF.h:224
@ IMAGE_COMDAT_SELECT_ANY
Definition: COFF.h:437
@ IMAGE_SYM_DTYPE_FUNCTION
A function that returns a base type.
Definition: COFF.h:275
@ SCT_COMPLEX_TYPE_SHIFT
Type is formed as (base + (derived << SCT_COMPLEX_TYPE_SHIFT))
Definition: COFF.h:279
@ C
The default llvm calling convention, compatible with C.
Definition: CallingConv.h:34
@ SHT_PROGBITS
Definition: ELF.h:1089
@ SHT_LLVM_SYMPART
Definition: ELF.h:1122
@ SHF_ALLOC
Definition: ELF.h:1186
@ SHF_LINK_ORDER
Definition: ELF.h:1201
@ SHF_GROUP
Definition: ELF.h:1208
@ SHF_WRITE
Definition: ELF.h:1183
@ STT_FUNC
Definition: ELF.h:1353
@ 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.
@ X86
Windows x64, Windows Itanium (IA-64)
ValuesClass values(OptsTy... Options)
Helper to build a ValuesClass by forwarding a variable number of arguments as an initializer list to ...
Definition: CommandLine.h:711
@ CommaSeparated
Definition: CommandLine.h:163
uint8_t getUnitLengthFieldByteSize(DwarfFormat Format)
Get the byte size of the unit length field depending on the DWARF format.
Definition: Dwarf.h:1103
@ DWARF64
Definition: Dwarf.h:91
uint8_t getDwarfOffsetByteSize(DwarfFormat Format)
The size of a reference determined by the DWARF 32/64-bit format.
Definition: Dwarf.h:1064
DiagnosticInfoOptimizationBase::Argument NV
void make_absolute(const Twine &current_directory, SmallVectorImpl< char > &path)
Make path an absolute path.
Definition: Path.cpp:907
@ OF_Text
The file should be opened in text mode on platforms like z/OS that make this distinction.
Definition: FileSystem.h:758
StringRef filename(StringRef path, Style style=Style::native)
Get filename.
Definition: Path.cpp:578
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
@ Offset
Definition: DWP.cpp:480
void stable_sort(R &&Range)
Definition: STLExtras.h:1995
ExceptionHandling
@ SjLj
setjmp/longjmp based exceptions
@ ZOS
z/OS MVS Exception Handling.
@ None
No exception support.
@ AIX
AIX Exception Handling.
@ DwarfCFI
DWARF-like instruction based exceptions.
@ WinEH
Windows Exception Handling.
@ Wasm
WebAssembly Exception Handling.
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:2073
@ MCDR_DataRegionEnd
.end_data_region
Definition: MCDirectives.h:66
@ MCDR_DataRegionJT32
.data_region jt32
Definition: MCDirectives.h:65
bool isNoOpWithoutInvoke(EHPersonality Pers)
Return true if this personality may be safely removed if there are no invoke instructions remaining i...
Constant * ConstantFoldConstant(const Constant *C, const DataLayout &DL, const TargetLibraryInfo *TLI=nullptr)
ConstantFoldConstant - Fold the constant using the specified DataLayout.
auto reverse(ContainerTy &&C)
Definition: STLExtras.h:419
void sort(IteratorTy Start, IteratorTy End)
Definition: STLExtras.h:1647
void report_fatal_error(Error Err, bool gen_crash_diag=true)
Report a serious error, calling any installed error handler.
Definition: Error.cpp:167
EHPersonality classifyEHPersonality(const Value *Pers)
See if the given exception handling personality function is one that we understand.
format_object< Ts... > format(const char *Fmt, const Ts &... Vals)
These are helper functions used to produce formatted output.
Definition: Format.h:125
raw_fd_ostream & errs()
This returns a reference to a raw_ostream for standard error.
@ Global
Append to llvm.global_dtors.
uint64_t alignTo(uint64_t Size, Align A)
Returns a multiple of A needed to store Size bytes.
Definition: Alignment.h:155
constexpr unsigned BitWidth
Definition: BitmaskEnum.h:191
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:1849
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...
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.
MCSymbolAttr
Definition: MCDirectives.h:18
@ MCSA_Local
.local (ELF)
Definition: MCDirectives.h:38
@ MCSA_WeakDefAutoPrivate
.weak_def_can_be_hidden (MachO)
Definition: MCDirectives.h:48
@ MCSA_WeakReference
.weak_reference (MachO)
Definition: MCDirectives.h:47
@ MCSA_AltEntry
.alt_entry (MachO)
Definition: MCDirectives.h:41
@ MCSA_ELF_TypeIndFunction
.type _foo, STT_GNU_IFUNC
Definition: MCDirectives.h:24
@ MCSA_Weak
.weak
Definition: MCDirectives.h:45
@ MCSA_WeakDefinition
.weak_definition (MachO)
Definition: MCDirectives.h:46
@ MCSA_Global
.type _foo, @gnu_unique_object
Definition: MCDirectives.h:30
@ MCSA_Cold
.cold (MachO)
Definition: MCDirectives.h:22
@ MCSA_ELF_TypeObject
.type _foo, STT_OBJECT # aka @object
Definition: MCDirectives.h:25
@ MCSA_ELF_TypeFunction
.type _foo, STT_FUNC # aka @function
Definition: MCDirectives.h:23
@ MCSA_Invalid
Not a valid directive.
Definition: MCDirectives.h:19
@ MCSA_NoDeadStrip
.no_dead_strip (MachO)
Definition: MCDirectives.h:39
constexpr const char * PseudoProbeDescMetadataName
Definition: PseudoProbe.h:25
Implement std::hash so that hash_code can be used in STL containers.
Definition: BitVector.h:858
void swap(llvm::BitVector &LHS, llvm::BitVector &RHS)
Implement std::swap in terms of BitVector swap.
Definition: BitVector.h:860
#define N
#define NC
Definition: regutils.h:42
static constexpr roundingMode rmNearestTiesToEven
Definition: APFloat.h:254
static const fltSemantics & IEEEdouble() LLVM_READNONE
Definition: APFloat.cpp:282
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition: Alignment.h:39
Map a basic block section ID to the begin and end symbols of that section which determine the section...
Definition: AsmPrinter.h:136
llvm.global_ctors and llvm.global_dtors are arrays of Structor structs.
Definition: AsmPrinter.h:469
void emit(int, MCStreamer *) const
Description of the encoding of one expression Op.
This struct is a compact representation of a valid (power of two) or undefined (0) alignment.
Definition: Alignment.h:117
A helper struct providing information about the byte size of DW_FORM values that vary in size dependi...
Definition: Dwarf.h:1077
This is the base class for a remark serializer.
virtual std::unique_ptr< MetaSerializer > metaSerializer(raw_ostream &OS, std::optional< StringRef > ExternalFilename=std::nullopt)=0
Return the corresponding metadata serializer.