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