LLVM 23.0.0git
MCStreamer.h
Go to the documentation of this file.
1//===- MCStreamer.h - High-level Streaming Machine Code Output --*- C++ -*-===//
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 declares the MCStreamer class.
10//
11//===----------------------------------------------------------------------===//
12
13#ifndef LLVM_MC_MCSTREAMER_H
14#define LLVM_MC_MCSTREAMER_H
15
16#include "llvm/ADT/ArrayRef.h"
17#include "llvm/ADT/DenseMap.h"
19#include "llvm/ADT/StringRef.h"
21#include "llvm/MC/MCDwarf.h"
24#include "llvm/MC/MCSection.h"
25#include "llvm/MC/MCWinEH.h"
27#include "llvm/Support/Error.h"
28#include "llvm/Support/MD5.h"
29#include "llvm/Support/SMLoc.h"
32#include <cassert>
33#include <cstdint>
34#include <memory>
35#include <optional>
36#include <string>
37#include <utility>
38#include <vector>
39
40namespace llvm {
41
42class APInt;
44class MCAsmBackend;
45class MCAssembler;
46class MCLFIRewriter;
47class MCContext;
48class MCExpr;
49class MCInst;
50class MCInstPrinter;
51class MCRegister;
52class MCStreamer;
53class MCSubtargetInfo;
54class MCSymbol;
55class MCSymbolRefExpr;
56class Triple;
57class Twine;
58class raw_ostream;
59
60namespace codeview {
66}
67
68using MCSectionSubPair = std::pair<MCSection *, uint32_t>;
69
70/// Target specific streamer interface. This is used so that targets can
71/// implement support for target specific assembly directives.
72///
73/// If target foo wants to use this, it should implement 3 classes:
74/// * FooTargetStreamer : public MCTargetStreamer
75/// * FooTargetAsmStreamer : public FooTargetStreamer
76/// * FooTargetELFStreamer : public FooTargetStreamer
77///
78/// FooTargetStreamer should have a pure virtual method for each directive. For
79/// example, for a ".bar symbol_name" directive, it should have
80/// virtual emitBar(const MCSymbol &Symbol) = 0;
81///
82/// The FooTargetAsmStreamer and FooTargetELFStreamer classes implement the
83/// method. The assembly streamer just prints ".bar symbol_name". The object
84/// streamer does whatever is needed to implement .bar in the object file.
85///
86/// In the assembly printer and parser the target streamer can be used by
87/// calling getTargetStreamer and casting it to FooTargetStreamer:
88///
89/// MCTargetStreamer &TS = OutStreamer.getTargetStreamer();
90/// FooTargetStreamer &ATS = static_cast<FooTargetStreamer &>(TS);
91///
92/// The base classes FooTargetAsmStreamer and FooTargetELFStreamer should
93/// *never* be treated differently. Callers should always talk to a
94/// FooTargetStreamer.
96protected:
98
99public:
102
104 MCContext &getContext();
105
106 // Allow a target to add behavior to the EmitLabel of MCStreamer.
107 virtual void emitLabel(MCSymbol *Symbol);
108 // Allow a target to add behavior to the emitAssignment of MCStreamer.
109 virtual void emitAssignment(MCSymbol *Symbol, const MCExpr *Value);
110
111 virtual void prettyPrintAsm(MCInstPrinter &InstPrinter, uint64_t Address,
112 const MCInst &Inst, const MCSubtargetInfo &STI,
113 raw_ostream &OS);
114
115 virtual void emitDwarfFileDirective(StringRef Directive);
116
117 /// Update streamer for a new active section.
118 ///
119 /// This is called by popSection and switchSection, if the current
120 /// section changes.
121 virtual void changeSection(const MCSection *CurSection, MCSection *Section,
122 uint32_t SubSection, raw_ostream &OS);
123
124 virtual void emitValue(const MCExpr *Value);
125
126 /// Emit the bytes in \p Data into the output.
127 ///
128 /// This is used to emit bytes in \p Data as sequence of .byte directives.
129 virtual void emitRawBytes(StringRef Data);
130
131 virtual void emitConstantPools();
132
133 virtual void finish();
134};
135
136// FIXME: declared here because it is used from
137// lib/CodeGen/AsmPrinter/ARMException.cpp.
139public:
142
143 virtual void emitFnStart();
144 virtual void emitFnEnd();
145 virtual void emitCantUnwind();
146 virtual void emitPersonality(const MCSymbol *Personality);
147 virtual void emitPersonalityIndex(unsigned Index);
148 virtual void emitHandlerData();
149 virtual void emitSetFP(MCRegister FpReg, MCRegister SpReg,
150 int64_t Offset = 0);
151 virtual void emitMovSP(MCRegister Reg, int64_t Offset = 0);
152 virtual void emitPad(int64_t Offset);
153 virtual void emitRegSave(const SmallVectorImpl<MCRegister> &RegList,
154 bool isVector);
155 virtual void emitUnwindRaw(int64_t StackOffset,
156 const SmallVectorImpl<uint8_t> &Opcodes);
157
158 virtual void switchVendor(StringRef Vendor);
159 virtual void emitAttribute(unsigned Attribute, unsigned Value);
160 virtual void emitTextAttribute(unsigned Attribute, StringRef String);
161 virtual void emitIntTextAttribute(unsigned Attribute, unsigned IntValue,
162 StringRef StringValue = "");
163 virtual void emitFPU(ARM::FPUKind FPU);
164 virtual void emitArch(ARM::ArchKind Arch);
165 virtual void emitArchExtension(uint64_t ArchExt);
166 virtual void emitObjectArch(ARM::ArchKind Arch);
167 void emitTargetAttributes(const MCSubtargetInfo &STI);
168 virtual void finishAttributeSection();
169 virtual void emitInst(uint32_t Inst, char Suffix = '\0');
170
171 virtual void annotateTLSDescriptorSequence(const MCSymbolRefExpr *SRE);
172
173 virtual void emitSyntaxUnified();
174
175 virtual void emitCode16();
176 virtual void emitCode32();
177
178 // Note in the output that the specified \p Symbol is a Thumb mode function.
179 virtual void emitThumbFunc(MCSymbol *Symbol);
180 virtual void emitThumbSet(MCSymbol *Symbol, const MCExpr *Value);
181
182 void emitConstantPools() override;
183
184 virtual void emitARMWinCFIAllocStack(unsigned Size, bool Wide);
185 virtual void emitARMWinCFISaveRegMask(unsigned Mask, bool Wide);
186 virtual void emitARMWinCFISaveSP(unsigned Reg);
187 virtual void emitARMWinCFISaveFRegs(unsigned First, unsigned Last);
188 virtual void emitARMWinCFISaveLR(unsigned Offset);
189 virtual void emitARMWinCFIPrologEnd(bool Fragment);
190 virtual void emitARMWinCFINop(bool Wide);
191 virtual void emitARMWinCFIEpilogStart(unsigned Condition);
192 virtual void emitARMWinCFIEpilogEnd();
193 virtual void emitARMWinCFICustom(unsigned Opcode);
194
195 /// Reset any state between object emissions, i.e. the equivalent of
196 /// MCStreamer's reset method.
197 virtual void reset();
198
199 /// Callback used to implement the ldr= pseudo.
200 /// Add a new entry to the constant pool for the current section and return an
201 /// MCExpr that can be used to refer to the constant pool location.
202 const MCExpr *addConstantPoolEntry(const MCExpr *, SMLoc Loc);
203
204 /// Callback used to implement the .ltorg directive.
205 /// Emit contents of constant pool for the current section.
207
208private:
209 std::unique_ptr<AssemblerConstantPools> ConstantPools;
210};
211
212/// Streaming machine code generation interface.
213///
214/// This interface is intended to provide a programmatic interface that is very
215/// similar to the level that an assembler .s file provides. It has callbacks
216/// to emit bytes, handle directives, etc. The implementation of this interface
217/// retains state to know what the current section is etc.
218///
219/// There are multiple implementations of this interface: one for writing out
220/// a .s file, and implementations that write out .o files of various formats.
221///
223 MCContext &Context;
224 std::unique_ptr<MCTargetStreamer> TargetStreamer;
225
226 // This is a pair of index into DwarfFrameInfos and the MCSection associated
227 // with the frame. Note, we use an index instead of an iterator because they
228 // can be invalidated in std::vector.
230 MCDwarfFrameInfo *getCurrentDwarfFrameInfo();
231
232 /// Similar to DwarfFrameInfos, but for SEH unwind info. Chained frames may
233 /// refer to each other, so use std::unique_ptr to provide pointer stability.
234 std::vector<std::unique_ptr<WinEH::FrameInfo>> WinFrameInfos;
235
236 WinEH::FrameInfo *CurrentWinFrameInfo;
237 size_t CurrentProcWinFrameInfoStartIndex;
238
239 /// Default unwind version for new WinCFI frames.
240 uint8_t DefaultWinCFIUnwindVersion = 1;
241
242 /// This is stack of current and previous section values saved by
243 /// pushSection.
245
246 /// Pointer to the parser's SMLoc if available. This is used to provide
247 /// locations for diagnostics.
248 const SMLoc *StartTokLocPtr = nullptr;
249
250 /// The next unique ID to use when creating a WinCFI-related section (.pdata
251 /// or .xdata). This ID ensures that we have a one-to-one mapping from
252 /// code section to unwind info section, which MSVC's incremental linker
253 /// requires.
254 unsigned NextWinCFIID = 0;
255
256 bool UseAssemblerInfoForParsing = true;
257
258 /// Is the assembler allowed to insert padding automatically? For
259 /// correctness reasons, we sometimes need to ensure instructions aren't
260 /// separated in unexpected ways. At the moment, this feature is only
261 /// useable from an integrated assembler, but assembly syntax is under
262 /// discussion for future inclusion.
263 bool AllowAutoPadding = false;
264
265protected:
266 bool IsObj = false;
267
268 // Symbol of the current epilog for which we are processing SEH directives.
270
271 MCFragment *CurFrag = nullptr;
272
274
275 MCStreamer(MCContext &Ctx);
276
277 /// This is called by popSection and switchSection, if the current
278 /// section changes.
279 virtual void changeSection(MCSection *, uint32_t);
280
281 void addFragment(MCFragment *F);
282
283 virtual void emitCFIStartProcImpl(MCDwarfFrameInfo &Frame);
284 virtual void emitCFIEndProcImpl(MCDwarfFrameInfo &CurFrame);
285
287 return CurrentWinFrameInfo;
288 }
289
290 virtual void emitWindowsUnwindTables(WinEH::FrameInfo *Frame);
291
292 virtual void emitWindowsUnwindTables();
293
294 virtual void emitRawTextImpl(StringRef String);
295
296 /// Returns true if the .cv_loc directive is in the right section.
297 bool checkCVLocSection(unsigned FuncId, unsigned FileNo, SMLoc Loc);
298
299 std::unique_ptr<MCLFIRewriter> LFIRewriter;
300
301public:
302 MCStreamer(const MCStreamer &) = delete;
303 MCStreamer &operator=(const MCStreamer &) = delete;
304 virtual ~MCStreamer();
305
306 void visitUsedExpr(const MCExpr &Expr);
307 virtual void visitUsedSymbol(const MCSymbol &Sym);
308
310 TargetStreamer.reset(TS);
311 }
312
313 void setStartTokLocPtr(const SMLoc *Loc) { StartTokLocPtr = Loc; }
315 return StartTokLocPtr ? *StartTokLocPtr : SMLoc();
316 }
317
318 void setLFIRewriter(std::unique_ptr<MCLFIRewriter> Rewriter);
319
321
322 /// State management
323 ///
324 virtual void reset();
325
326 MCContext &getContext() const { return Context; }
327 bool isObj() const { return IsObj; }
328
329 // MCObjectStreamer has an MCAssembler and allows more expression folding at
330 // parse time.
331 virtual MCAssembler *getAssemblerPtr() { return nullptr; }
332
333 void setUseAssemblerInfoForParsing(bool v) { UseAssemblerInfoForParsing = v; }
334 bool getUseAssemblerInfoForParsing() { return UseAssemblerInfoForParsing; }
335
337 return TargetStreamer.get();
338 }
339
340 void setAllowAutoPadding(bool v) { AllowAutoPadding = v; }
341 bool getAllowAutoPadding() const { return AllowAutoPadding; }
342
343 MCSymbol *emitLineTableLabel();
344
345 /// When emitting an object file, create and emit a real label. When emitting
346 /// textual assembly, this should do nothing to avoid polluting our output.
347 virtual MCSymbol *emitCFILabel();
348
349 /// Retrieve the current frame info if one is available and it is not yet
350 /// closed. Otherwise, issue an error and return null.
351 WinEH::FrameInfo *EnsureValidWinFrameInfo(SMLoc Loc);
352
353 unsigned getNumFrameInfos();
354 ArrayRef<MCDwarfFrameInfo> getDwarfFrameInfos() const;
355
356 bool hasUnfinishedDwarfFrameInfo();
357
358 unsigned getNumWinFrameInfos() { return WinFrameInfos.size(); }
360 return WinFrameInfos;
361 }
362
366
367 bool isInEpilogCFI() const { return CurrentWinEpilog; }
368
369 /// \name Assembly File Formatting.
370 /// @{
371
372 /// Return true if this streamer supports verbose assembly and if it is
373 /// enabled.
374 virtual bool isVerboseAsm() const { return false; }
375
376 /// Return true if this asm streamer supports emitting unformatted text
377 /// to the .s file with EmitRawText.
378 virtual bool hasRawTextSupport() const { return false; }
379
380 /// Is the integrated assembler required for this streamer to function
381 /// correctly?
382 virtual bool isIntegratedAssemblerRequired() const { return false; }
383
384 /// Add a textual comment.
385 ///
386 /// Typically for comments that can be emitted to the generated .s
387 /// file if applicable as a QoI issue to make the output of the compiler
388 /// more readable. This only affects the MCAsmStreamer, and only when
389 /// verbose assembly output is enabled.
390 ///
391 /// If the comment includes embedded \n's, they will each get the comment
392 /// prefix as appropriate. The added comment should not end with a \n.
393 /// By default, each comment is terminated with an end of line, i.e. the
394 /// EOL param is set to true by default. If one prefers not to end the
395 /// comment with a new line then the EOL param should be passed
396 /// with a false value.
397 virtual void AddComment(const Twine &T, bool EOL = true) {}
398
399 /// Return a raw_ostream that comments can be written to. Unlike
400 /// AddComment, you are required to terminate comments with \n if you use this
401 /// method.
402 virtual raw_ostream &getCommentOS();
403
404 /// Print T and prefix it with the comment string (normally #) and
405 /// optionally a tab. This prints the comment immediately, not at the end of
406 /// the current line. It is basically a safe version of EmitRawText: since it
407 /// only prints comments, the object streamer ignores it instead of asserting.
408 virtual void emitRawComment(const Twine &T, bool TabPrefix = true);
409
410 /// Add explicit comment T. T is required to be a valid
411 /// comment in the output and does not need to be escaped.
412 virtual void addExplicitComment(const Twine &T);
413
414 /// Emit added explicit comments.
415 virtual void emitExplicitComments();
416
417 /// Emit a blank line to a .s file to pretty it up.
418 virtual void addBlankLine() {}
419
420 /// @}
421
422 /// \name Symbol & Section Management
423 /// @{
424
425 /// Return the current section that the streamer is emitting code to.
427 if (!SectionStack.empty())
428 return SectionStack.back().first;
429 return MCSectionSubPair();
430 }
432 return CurFrag->getParent();
433 }
434
435 /// Return the previous section that the streamer is emitting code to.
437 if (!SectionStack.empty())
438 return SectionStack.back().second;
439 return MCSectionSubPair();
440 }
441
443 // Ensure consistency with the section stack.
444 assert(!getCurrentSection().first ||
445 CurFrag->getParent() == getCurrentSection().first);
446 // Ensure we eagerly allocate an empty fragment after adding fragment with a
447 // variable-size tail.
448 assert(!CurFrag || CurFrag->getKind() == MCFragment::FT_Data);
449 return CurFrag;
450 }
451 size_t getCurFragSize() const { return getCurrentFragment()->getFixedSize(); }
452 /// Save the current and previous section on the section stack.
453 void pushSection() {
454 SectionStack.push_back(
455 std::make_pair(getCurrentSection(), getPreviousSection()));
456 }
457
458 /// Restore the current and previous section from the section stack.
459 /// Calls changeSection as needed.
460 ///
461 /// Returns false if the stack was empty.
462 virtual bool popSection();
463
464 /// Set the current section where code is being emitted to \p Section. This
465 /// is required to update CurSection.
466 ///
467 /// This corresponds to assembler directives like .section, .text, etc.
468 virtual void switchSection(MCSection *Section, uint32_t Subsec = 0);
469 bool switchSection(MCSection *Section, const MCExpr *);
470
471 /// Similar to switchSection, but does not print the section directive.
472 void switchSectionNoPrint(MCSection *Section);
473
474 /// Create the default sections and set the initial one.
475 virtual void initSections(const MCSubtargetInfo &STI);
476
477 MCSymbol *endSection(MCSection *Section);
478
479 /// Returns the mnemonic for \p MI, if the streamer has access to a
480 /// instruction printer and returns an empty string otherwise.
481 virtual StringRef getMnemonic(const MCInst &MI) const { return ""; }
482
483 /// Emit a label for \p Symbol into the current section.
484 ///
485 /// This corresponds to an assembler statement such as:
486 /// foo:
487 ///
488 /// \param Symbol - The symbol to emit. A given symbol should only be
489 /// emitted as a label once, and symbols emitted as a label should never be
490 /// used in an assignment.
491 // FIXME: These emission are non-const because we mutate the symbol to
492 // add the section we're emitting it to later.
493 virtual void emitLabel(MCSymbol *Symbol, SMLoc Loc = SMLoc());
494
495 virtual void emitEHSymAttributes(const MCSymbol *Symbol, MCSymbol *EHSymbol);
496
497 /// Emit a .subsection_via_symbols directive.
498 virtual void emitSubsectionsViaSymbols();
499
500 /// Emit the given list \p Options of strings as linker
501 /// options into the output.
503
504 /// Note in the output the specified region \p Kind.
505 virtual void emitDataRegion(MCDataRegionType Kind) {}
506
507 /// Specify the Mach-O minimum deployment target version.
508 virtual void emitVersionMin(MCVersionMinType Type, unsigned Major,
509 unsigned Minor, unsigned Update,
510 VersionTuple SDKVersion) {}
511
512 /// Emit/Specify Mach-O build version command.
513 /// \p Platform should be one of MachO::PlatformType.
514 virtual void emitBuildVersion(unsigned Platform, unsigned Major,
515 unsigned Minor, unsigned Update,
516 VersionTuple SDKVersion) {}
517
518 virtual void emitDarwinTargetVariantBuildVersion(unsigned Platform,
519 unsigned Major,
520 unsigned Minor,
521 unsigned Update,
522 VersionTuple SDKVersion) {}
523
524 void emitVersionForTarget(const Triple &Target,
525 const VersionTuple &SDKVersion,
526 const Triple *DarwinTargetVariantTriple,
527 const VersionTuple &DarwinTargetVariantSDKVersion);
528
529 /// Emit an assignment of \p Value to \p Symbol.
530 ///
531 /// This corresponds to an assembler statement such as:
532 /// symbol = value
533 ///
534 /// The assignment generates no code, but has the side effect of binding the
535 /// value in the current context. For the assembly streamer, this prints the
536 /// binding into the .s file.
537 ///
538 /// \param Symbol - The symbol being assigned to.
539 /// \param Value - The value for the symbol.
540 virtual void emitAssignment(MCSymbol *Symbol, const MCExpr *Value);
541
542 /// Emit an assignment of \p Value to \p Symbol, but only if \p Value is also
543 /// emitted.
544 virtual void emitConditionalAssignment(MCSymbol *Symbol, const MCExpr *Value);
545
546 /// Emit an weak reference from \p Alias to \p Symbol.
547 ///
548 /// This corresponds to an assembler statement such as:
549 /// .weakref alias, symbol
550 ///
551 /// \param Alias - The alias that is being created.
552 /// \param Symbol - The symbol being aliased.
553 virtual void emitWeakReference(MCSymbol *Alias, const MCSymbol *Symbol);
554
555 /// Add the given \p Attribute to \p Symbol.
556 virtual bool emitSymbolAttribute(MCSymbol *Symbol,
558
559 /// Set the \p DescValue for the \p Symbol.
560 ///
561 /// \param Symbol - The symbol to have its n_desc field set.
562 /// \param DescValue - The value to set into the n_desc field.
563 virtual void emitSymbolDesc(MCSymbol *Symbol, unsigned DescValue);
564
565 /// Start emitting COFF symbol definition
566 ///
567 /// \param Symbol - The symbol to have its External & Type fields set.
568 virtual void beginCOFFSymbolDef(const MCSymbol *Symbol);
569
570 /// Emit the storage class of the symbol.
571 ///
572 /// \param StorageClass - The storage class the symbol should have.
574
575 /// Emit the type of the symbol.
576 ///
577 /// \param Type - A COFF type identifier (see COFF::SymbolType in X86COFF.h)
578 virtual void emitCOFFSymbolType(int Type);
579
580 /// Marks the end of the symbol definition.
581 virtual void endCOFFSymbolDef();
582
583 virtual void emitCOFFSafeSEH(MCSymbol const *Symbol);
584
585 /// Emits the symbol table index of a Symbol into the current section.
586 virtual void emitCOFFSymbolIndex(MCSymbol const *Symbol);
587
588 /// Emits a COFF section index.
589 ///
590 /// \param Symbol - Symbol the section number relocation should point to.
591 virtual void emitCOFFSectionIndex(MCSymbol const *Symbol);
592
593 /// Emits a COFF section relative relocation.
594 ///
595 /// \param Symbol - Symbol the section relative relocation should point to.
596 virtual void emitCOFFSecRel32(MCSymbol const *Symbol, uint64_t Offset);
597
598 /// Emits a COFF image relative relocation.
599 ///
600 /// \param Symbol - Symbol the image relative relocation should point to.
601 virtual void emitCOFFImgRel32(MCSymbol const *Symbol, int64_t Offset);
602
603 /// Emits the physical number of the section containing the given symbol as
604 /// assigned during object writing (i.e., this is not a runtime relocation).
605 virtual void emitCOFFSecNumber(MCSymbol const *Symbol);
606
607 /// Emits the offset of the symbol from the beginning of the section during
608 /// object writing (i.e., this is not a runtime relocation).
609 virtual void emitCOFFSecOffset(MCSymbol const *Symbol);
610
611 /// Emits an lcomm directive with XCOFF csect information.
612 ///
613 /// \param LabelSym - Label on the block of storage.
614 /// \param Size - The size of the block of storage.
615 /// \param CsectSym - Csect name for the block of storage.
616 /// \param Alignment - The alignment of the symbol in bytes.
617 virtual void emitXCOFFLocalCommonSymbol(MCSymbol *LabelSym, uint64_t Size,
618 MCSymbol *CsectSym, Align Alignment);
619
620 /// Emit a symbol's linkage and visibility with a linkage directive for XCOFF.
621 ///
622 /// \param Symbol - The symbol to emit.
623 /// \param Linkage - The linkage of the symbol to emit.
624 /// \param Visibility - The visibility of the symbol to emit or MCSA_Invalid
625 /// if the symbol does not have an explicit visibility.
628 MCSymbolAttr Visibility);
629
630 /// Emit a XCOFF .rename directive which creates a synonym for an illegal or
631 /// undesirable name.
632 ///
633 /// \param Name - The name used internally in the assembly for references to
634 /// the symbol.
635 /// \param Rename - The value to which the Name parameter is
636 /// changed at the end of assembly.
637 virtual void emitXCOFFRenameDirective(const MCSymbol *Name, StringRef Rename);
638
639 /// Emit an XCOFF .except directive which adds information about
640 /// a trap instruction to the object file exception section
641 ///
642 /// \param Symbol - The function containing the trap.
643 /// \param Lang - The language code for the exception entry.
644 /// \param Reason - The reason code for the exception entry.
645 virtual void emitXCOFFExceptDirective(const MCSymbol *Symbol,
646 const MCSymbol *Trap,
647 unsigned Lang, unsigned Reason,
648 unsigned FunctionSize, bool hasDebug);
649
650 /// Emit a XCOFF .ref directive which creates R_REF type entry in the
651 /// relocation table for one or more symbols.
652 ///
653 /// \param Sym - The symbol on the .ref directive.
654 virtual void emitXCOFFRefDirective(const MCSymbol *Symbol);
655
656 /// Emit a C_INFO symbol with XCOFF embedded metadata to the .info section.
657 ///
658 /// \param Name - The embedded metadata name
659 /// \param Metadata - The embedded metadata
660 virtual void emitXCOFFCInfoSym(StringRef Name, StringRef Metadata);
661
662 /// Emit an ELF .size directive.
663 ///
664 /// This corresponds to an assembler statement such as:
665 /// .size symbol, expression
666 virtual void emitELFSize(MCSymbol *Symbol, const MCExpr *Value);
667
668 /// Emit an ELF .symver directive.
669 ///
670 /// This corresponds to an assembler statement such as:
671 /// .symver _start, foo@@SOME_VERSION
672 virtual void emitELFSymverDirective(const MCSymbol *OriginalSym,
673 StringRef Name, bool KeepOriginalSym);
674
675 /// Emit a Linker Optimization Hint (LOH) directive.
676 /// \param Args - Arguments of the LOH.
677 virtual void emitLOHDirective(MCLOHType Kind, const MCLOHArgs &Args) {}
678
679 /// Emit a .gnu_attribute directive.
680 virtual void emitGNUAttribute(unsigned Tag, unsigned Value) {}
681
682 /// Emit a common symbol.
683 ///
684 /// \param Symbol - The common symbol to emit.
685 /// \param Size - The size of the common symbol.
686 /// \param ByteAlignment - The alignment of the symbol.
687 virtual void emitCommonSymbol(MCSymbol *Symbol, uint64_t Size,
688 Align ByteAlignment) = 0;
689
690 /// Emit a local common (.lcomm) symbol.
691 ///
692 /// \param Symbol - The common symbol to emit.
693 /// \param Size - The size of the common symbol.
694 /// \param ByteAlignment - The alignment of the common symbol in bytes.
695 virtual void emitLocalCommonSymbol(MCSymbol *Symbol, uint64_t Size,
696 Align ByteAlignment);
697
698 /// Emit the zerofill section and an optional symbol.
699 ///
700 /// \param Section - The zerofill section to create and or to put the symbol
701 /// \param Symbol - The zerofill symbol to emit, if non-NULL.
702 /// \param Size - The size of the zerofill symbol.
703 /// \param ByteAlignment - The alignment of the zerofill symbol.
704 virtual void emitZerofill(MCSection *Section, MCSymbol *Symbol = nullptr,
705 uint64_t Size = 0, Align ByteAlignment = Align(1),
706 SMLoc Loc = SMLoc());
707
708 /// Emit a thread local bss (.tbss) symbol.
709 ///
710 /// \param Section - The thread local common section.
711 /// \param Symbol - The thread local common symbol to emit.
712 /// \param Size - The size of the symbol.
713 /// \param ByteAlignment - The alignment of the thread local common symbol.
714 virtual void emitTBSSSymbol(MCSection *Section, MCSymbol *Symbol,
715 uint64_t Size, Align ByteAlignment = Align(1));
716
717 /// @}
718 /// \name Generating Data
719 /// @{
720
721 /// Emit the bytes in \p Data into the output.
722 ///
723 /// This is used to implement assembler directives such as .byte, .ascii,
724 /// etc.
725 virtual void emitBytes(StringRef Data);
726
727 /// Functionally identical to EmitBytes. When emitting textual assembly, this
728 /// method uses .byte directives instead of .ascii or .asciz for readability.
729 virtual void emitBinaryData(StringRef Data);
730
731 /// Emit the expression \p Value into the output as a native
732 /// integer of the given \p Size bytes.
733 ///
734 /// This is used to implement assembler directives such as .word, .quad,
735 /// etc.
736 ///
737 /// \param Value - The value to emit.
738 /// \param Size - The size of the integer (in bytes) to emit. This must
739 /// match a native machine width.
740 /// \param Loc - The location of the expression for error reporting.
741 virtual void emitValueImpl(const MCExpr *Value, unsigned Size,
742 SMLoc Loc = SMLoc());
743
744 void emitValue(const MCExpr *Value, unsigned Size, SMLoc Loc = SMLoc());
745
746 /// Special case of EmitValue that avoids the client having
747 /// to pass in a MCExpr for constant integers.
748 virtual void emitIntValue(uint64_t Value, unsigned Size);
749 virtual void emitIntValue(const APInt &Value);
750
751 /// Special case of EmitValue that avoids the client having to pass
752 /// in a MCExpr for constant integers & prints in Hex format for certain
753 /// modes.
754 virtual void emitIntValueInHex(uint64_t Value, unsigned Size) {
756 }
757
762
763 /// Special case of EmitValue that avoids the client having to pass
764 /// in a MCExpr for constant integers & prints in Hex format for certain
765 /// modes, pads the field with leading zeros to Size width
768 }
769
770 virtual void emitULEB128Value(const MCExpr *Value);
771
772 virtual void emitSLEB128Value(const MCExpr *Value);
773
774 /// Special case of EmitULEB128Value that avoids the client having to
775 /// pass in a MCExpr for constant integers.
776 unsigned emitULEB128IntValue(uint64_t Value, unsigned PadTo = 0);
777
778 /// Special case of EmitSLEB128Value that avoids the client having to
779 /// pass in a MCExpr for constant integers.
780 unsigned emitSLEB128IntValue(int64_t Value);
781
782 /// Special case of EmitValue that avoids the client having to pass in
783 /// a MCExpr for MCSymbols.
784 void emitSymbolValue(const MCSymbol *Sym, unsigned Size,
785 bool IsSectionRelative = false);
786
787 /// Emit NumBytes bytes worth of the value specified by FillValue.
788 /// This implements directives such as '.space'.
789 void emitFill(uint64_t NumBytes, uint8_t FillValue);
790
791 /// Emit \p Size bytes worth of the value specified by \p FillValue.
792 ///
793 /// This is used to implement assembler directives such as .space or .skip.
794 ///
795 /// \param NumBytes - The number of bytes to emit.
796 /// \param FillValue - The value to use when filling bytes.
797 /// \param Loc - The location of the expression for error reporting.
798 virtual void emitFill(const MCExpr &NumBytes, uint64_t FillValue,
799 SMLoc Loc = SMLoc());
800
801 /// Emit \p NumValues copies of \p Size bytes. Each \p Size bytes is
802 /// taken from the lowest order 4 bytes of \p Expr expression.
803 ///
804 /// This is used to implement assembler directives such as .fill.
805 ///
806 /// \param NumValues - The number of copies of \p Size bytes to emit.
807 /// \param Size - The size (in bytes) of each repeated value.
808 /// \param Expr - The expression from which \p Size bytes are used.
809 virtual void emitFill(const MCExpr &NumValues, int64_t Size, int64_t Expr,
810 SMLoc Loc = SMLoc());
811
812 virtual void emitNops(int64_t NumBytes, int64_t ControlledNopLength,
813 SMLoc Loc, const MCSubtargetInfo& STI);
814
815 /// Emit NumBytes worth of zeros.
816 /// This function properly handles data in virtual sections.
817 void emitZeros(uint64_t NumBytes);
818
819 /// Emit some number of copies of \p Value until the byte alignment \p
820 /// ByteAlignment is reached.
821 ///
822 /// If the number of bytes need to emit for the alignment is not a multiple
823 /// of \p ValueSize, then the contents of the emitted fill bytes is
824 /// undefined.
825 ///
826 /// This used to implement the .align assembler directive.
827 ///
828 /// \param Alignment - The alignment to reach.
829 /// \param Fill - The value to use when filling bytes.
830 /// \param FillLen - The size of the integer (in bytes) to emit for
831 /// \p Value. This must match a native machine width.
832 /// \param MaxBytesToEmit - The maximum numbers of bytes to emit, or 0. If
833 /// the alignment cannot be reached in this many bytes, no bytes are
834 /// emitted.
835 virtual void emitValueToAlignment(Align Alignment, int64_t Fill = 0,
836 uint8_t FillLen = 1,
837 unsigned MaxBytesToEmit = 0);
838
839 /// Emit nops until the byte alignment \p ByteAlignment is reached.
840 ///
841 /// This used to align code where the alignment bytes may be executed. This
842 /// can emit different bytes for different sizes to optimize execution.
843 ///
844 /// \param Alignment - The alignment to reach.
845 /// \param STI - The MCSubtargetInfo in operation when padding is emitted.
846 /// \param MaxBytesToEmit - The maximum numbers of bytes to emit, or 0. If
847 /// the alignment cannot be reached in this many bytes, no bytes are
848 /// emitted.
849 virtual void emitCodeAlignment(Align Alignment, const MCSubtargetInfo *STI,
850 unsigned MaxBytesToEmit = 0);
851
852 virtual void emitPrefAlign(Align A, const MCSymbol &End, bool EmitNops,
853 uint8_t Fill, const MCSubtargetInfo &STI);
854
855 /// Emit some number of copies of \p Value until the byte offset \p
856 /// Offset is reached.
857 ///
858 /// This is used to implement assembler directives such as .org.
859 ///
860 /// \param Offset - The offset to reach. This may be an expression, but the
861 /// expression must be associated with the current section.
862 /// \param Value - The value to use when filling bytes.
863 virtual void emitValueToOffset(const MCExpr *Offset, unsigned char Value,
864 SMLoc Loc);
865
866 /// @}
867
868 /// Switch to a new logical file. This is used to implement the '.file
869 /// "foo.c"' assembler directive.
870 virtual void emitFileDirective(StringRef Filename);
871
872 /// Emit ".file assembler diretive with additioal info.
873 virtual void emitFileDirective(StringRef Filename, StringRef CompilerVersion,
874 StringRef TimeStamp, StringRef Description);
875
876 /// Emit the "identifiers" directive. This implements the
877 /// '.ident "version foo"' assembler directive.
878 virtual void emitIdent(StringRef IdentString) {}
879
880 /// Associate a filename with a specified logical file number. This
881 /// implements the DWARF2 '.file 4 "foo.c"' assembler directive.
883 unsigned FileNo, StringRef Directory, StringRef Filename,
884 std::optional<MD5::MD5Result> Checksum = std::nullopt,
885 std::optional<StringRef> Source = std::nullopt, unsigned CUID = 0) {
886 return cantFail(
887 tryEmitDwarfFileDirective(FileNo, Directory, Filename, Checksum,
888 Source, CUID));
889 }
890
891 /// Associate a filename with a specified logical file number.
892 /// Also associate a directory, optional checksum, and optional source
893 /// text with the logical file. This implements the DWARF2
894 /// '.file 4 "dir/foo.c"' assembler directive, and the DWARF5
895 /// '.file 4 "dir/foo.c" md5 "..." source "..."' assembler directive.
896 virtual Expected<unsigned> tryEmitDwarfFileDirective(
897 unsigned FileNo, StringRef Directory, StringRef Filename,
898 std::optional<MD5::MD5Result> Checksum = std::nullopt,
899 std::optional<StringRef> Source = std::nullopt, unsigned CUID = 0);
900
901 /// Specify the "root" file of the compilation, using the ".file 0" extension.
902 virtual void emitDwarfFile0Directive(StringRef Directory, StringRef Filename,
903 std::optional<MD5::MD5Result> Checksum,
904 std::optional<StringRef> Source,
905 unsigned CUID = 0);
906
907 virtual void emitCFIBKeyFrame();
908 virtual void emitCFIMTETaggedFrame();
909
910 /// This implements the DWARF2 '.loc fileno lineno ...' assembler
911 /// directive.
912 virtual void emitDwarfLocDirective(unsigned FileNo, unsigned Line,
913 unsigned Column, unsigned Flags,
914 unsigned Isa, unsigned Discriminator,
915 StringRef FileName,
916 StringRef Comment = {});
917
918 /// This is same as emitDwarfLocDirective, except it has the capability to
919 /// add inlined_at information.
921 unsigned FileNo, unsigned Line, unsigned Column, unsigned FileIA,
922 unsigned LineIA, unsigned ColumnIA, const MCSymbol *Sym, unsigned Flags,
923 unsigned Isa, unsigned Discriminator, StringRef FileName,
924 StringRef Comment = {}) {}
925
926 /// This implements the '.loc_label Name' directive.
927 virtual void emitDwarfLocLabelDirective(SMLoc Loc, StringRef Name);
928
929 /// Associate a filename with a specified logical file number, and also
930 /// specify that file's checksum information. This implements the '.cv_file 4
931 /// "foo.c"' assembler directive. Returns true on success.
932 virtual bool emitCVFileDirective(unsigned FileNo, StringRef Filename,
933 ArrayRef<uint8_t> Checksum,
934 unsigned ChecksumKind);
935
936 /// Introduces a function id for use with .cv_loc.
937 virtual bool emitCVFuncIdDirective(unsigned FunctionId);
938
939 /// Introduces an inline call site id for use with .cv_loc. Includes
940 /// extra information for inline line table generation.
941 virtual bool emitCVInlineSiteIdDirective(unsigned FunctionId, unsigned IAFunc,
942 unsigned IAFile, unsigned IALine,
943 unsigned IACol, SMLoc Loc);
944
945 /// This implements the CodeView '.cv_loc' assembler directive.
946 virtual void emitCVLocDirective(unsigned FunctionId, unsigned FileNo,
947 unsigned Line, unsigned Column,
948 bool PrologueEnd, bool IsStmt,
949 StringRef FileName, SMLoc Loc);
950
951 /// This implements the CodeView '.cv_linetable' assembler directive.
952 virtual void emitCVLinetableDirective(unsigned FunctionId,
953 const MCSymbol *FnStart,
954 const MCSymbol *FnEnd);
955
956 /// This implements the CodeView '.cv_inline_linetable' assembler
957 /// directive.
958 virtual void emitCVInlineLinetableDirective(unsigned PrimaryFunctionId,
959 unsigned SourceFileId,
960 unsigned SourceLineNum,
961 const MCSymbol *FnStartSym,
962 const MCSymbol *FnEndSym);
963
964 /// This implements the CodeView '.cv_def_range' assembler
965 /// directive.
966 virtual void emitCVDefRangeDirective(
967 ArrayRef<std::pair<const MCSymbol *, const MCSymbol *>> Ranges,
968 StringRef FixedSizePortion);
969
970 virtual void emitCVDefRangeDirective(
971 ArrayRef<std::pair<const MCSymbol *, const MCSymbol *>> Ranges,
972 codeview::DefRangeRegisterRelHeader DRHdr);
973
974 virtual void emitCVDefRangeDirective(
975 ArrayRef<std::pair<const MCSymbol *, const MCSymbol *>> Ranges,
976 codeview::DefRangeSubfieldRegisterHeader DRHdr);
977
978 virtual void emitCVDefRangeDirective(
979 ArrayRef<std::pair<const MCSymbol *, const MCSymbol *>> Ranges,
980 codeview::DefRangeRegisterHeader DRHdr);
981
982 virtual void emitCVDefRangeDirective(
983 ArrayRef<std::pair<const MCSymbol *, const MCSymbol *>> Ranges,
984 codeview::DefRangeFramePointerRelHeader DRHdr);
985
986 virtual void emitCVDefRangeDirective(
987 ArrayRef<std::pair<const MCSymbol *, const MCSymbol *>> Ranges,
988 codeview::DefRangeRegisterRelIndirHeader DRHdr);
989
990 /// This implements the CodeView '.cv_stringtable' assembler directive.
992
993 /// This implements the CodeView '.cv_filechecksums' assembler directive.
995
996 /// This implements the CodeView '.cv_filechecksumoffset' assembler
997 /// directive.
998 virtual void emitCVFileChecksumOffsetDirective(unsigned FileNo) {}
999
1000 /// This implements the CodeView '.cv_fpo_data' assembler directive.
1001 virtual void emitCVFPOData(const MCSymbol *ProcSym, SMLoc Loc = {}) {}
1002
1003 /// Emit the absolute difference between two symbols.
1004 ///
1005 /// \pre Offset of \c Hi is greater than the offset \c Lo.
1006 virtual void emitAbsoluteSymbolDiff(const MCSymbol *Hi, const MCSymbol *Lo,
1007 unsigned Size);
1008
1009 /// Emit the absolute difference between two symbols encoded with ULEB128.
1010 virtual void emitAbsoluteSymbolDiffAsULEB128(const MCSymbol *Hi,
1011 const MCSymbol *Lo);
1012
1013 virtual MCSymbol *getDwarfLineTableSymbol(unsigned CUID);
1014 virtual void emitCFISections(bool EH, bool Debug, bool SFrame);
1015 void emitCFIStartProc(bool IsSimple, SMLoc Loc = SMLoc());
1016 void emitCFIEndProc();
1017 virtual void emitCFIDefCfa(int64_t Register, int64_t Offset, SMLoc Loc = {});
1018 virtual void emitCFIDefCfaOffset(int64_t Offset, SMLoc Loc = {});
1019 virtual void emitCFIDefCfaRegister(int64_t Register, SMLoc Loc = {});
1020 virtual void emitCFILLVMDefAspaceCfa(int64_t Register, int64_t Offset,
1021 int64_t AddressSpace, SMLoc Loc = {});
1022 virtual void emitCFIOffset(int64_t Register, int64_t Offset, SMLoc Loc = {});
1023 virtual void emitCFIPersonality(const MCSymbol *Sym, unsigned Encoding);
1024 virtual void emitCFILsda(const MCSymbol *Sym, unsigned Encoding);
1025 virtual void emitCFIRememberState(SMLoc Loc);
1026 virtual void emitCFIRestoreState(SMLoc Loc);
1027 virtual void emitCFISameValue(int64_t Register, SMLoc Loc = {});
1028 virtual void emitCFIRestore(int64_t Register, SMLoc Loc = {});
1029 virtual void emitCFIRelOffset(int64_t Register, int64_t Offset, SMLoc Loc);
1030 virtual void emitCFIAdjustCfaOffset(int64_t Adjustment, SMLoc Loc = {});
1031 virtual void emitCFIEscape(StringRef Values, SMLoc Loc = {});
1032 virtual void emitCFIReturnColumn(int64_t Register);
1033 virtual void emitCFIGnuArgsSize(int64_t Size, SMLoc Loc = {});
1034 virtual void emitCFISignalFrame();
1035 virtual void emitCFIUndefined(int64_t Register, SMLoc Loc = {});
1036 virtual void emitCFIRegister(int64_t Register1, int64_t Register2,
1037 SMLoc Loc = {});
1038 virtual void emitCFIWindowSave(SMLoc Loc = {});
1039 virtual void emitCFINegateRAState(SMLoc Loc = {});
1040 virtual void emitCFILLVMRegisterPair(int64_t Register, int64_t R1,
1041 int64_t R1SizeInBits, int64_t R2,
1042 int64_t R2SizeInBits, SMLoc Loc = {});
1043 virtual void emitCFILLVMVectorRegisters(
1044 int64_t Register, ArrayRef<MCCFIInstruction::VectorRegisterWithLane> VRs,
1045 SMLoc Loc = {});
1046 virtual void emitCFILLVMVectorOffset(int64_t Register,
1047 int64_t RegisterSizeInBits,
1048 int64_t MaskRegister,
1049 int64_t MaskRegisterSizeInBits,
1050 int64_t Offset, SMLoc Loc = {});
1051 virtual void
1052 emitCFILLVMVectorRegisterMask(int64_t Register, int64_t SpillRegister,
1053 int64_t SpillRegisterLaneSizeInBits,
1054 int64_t MaskRegister,
1055 int64_t MaskRegisterSizeInBits, SMLoc Loc = {});
1056
1057 virtual void emitCFINegateRAStateWithPC(SMLoc Loc = {});
1058 virtual void emitCFILabelDirective(SMLoc Loc, StringRef Name);
1059 virtual void emitCFIValOffset(int64_t Register, int64_t Offset,
1060 SMLoc Loc = {});
1061
1062 virtual void emitWinCFIStartProc(const MCSymbol *Symbol, SMLoc Loc = SMLoc());
1063 virtual void emitWinCFIEndProc(SMLoc Loc = SMLoc());
1064 /// This is used on platforms, such as Windows on ARM64, that require function
1065 /// or funclet sizes to be emitted in .xdata before the End marker is emitted
1066 /// for the frame. We cannot use the End marker, as it is not set at the
1067 /// point of emitting .xdata, in order to indicate that the frame is active.
1068 virtual void emitWinCFIFuncletOrFuncEnd(SMLoc Loc = SMLoc());
1069 virtual void emitWinCFISplitChained(SMLoc Loc = SMLoc());
1070 virtual void emitWinCFIPushReg(MCRegister Register, SMLoc Loc = SMLoc());
1071 virtual void emitWinCFIPush2Regs(MCRegister Reg1, MCRegister Reg2,
1072 SMLoc Loc = SMLoc());
1073 virtual void emitWinCFISetFrame(MCRegister Register, unsigned Offset,
1074 SMLoc Loc = SMLoc());
1075 virtual void emitWinCFIAllocStack(unsigned Size, SMLoc Loc = SMLoc());
1076 virtual void emitWinCFISaveReg(MCRegister Register, unsigned Offset,
1077 SMLoc Loc = SMLoc());
1078 virtual void emitWinCFISaveXMM(MCRegister Register, unsigned Offset,
1079 SMLoc Loc = SMLoc());
1080 virtual void emitWinCFIPushFrame(bool Code, SMLoc Loc = SMLoc());
1081 virtual void emitWinCFIEndProlog(SMLoc Loc = SMLoc());
1082 virtual void emitWinCFIBeginEpilogue(SMLoc Loc = SMLoc());
1083 virtual void emitWinCFIEndEpilogue(SMLoc Loc = SMLoc());
1084 virtual void emitWinCFIUnwindV2Start(SMLoc Loc = SMLoc());
1085 virtual void emitWinCFIUnwindVersion(uint8_t Version, SMLoc Loc = SMLoc());
1086
1087 /// Set the default unwind version for new WinCFI frames.
1089 DefaultWinCFIUnwindVersion = V;
1090 }
1091 virtual void emitWinEHHandler(const MCSymbol *Sym, bool Unwind, bool Except,
1092 SMLoc Loc = SMLoc());
1093 virtual void emitWinEHHandlerData(SMLoc Loc = SMLoc());
1094
1095 virtual void emitCGProfileEntry(const MCSymbolRefExpr *From,
1096 const MCSymbolRefExpr *To, uint64_t Count);
1097
1098 /// Get the .pdata section used for the given section. Typically the given
1099 /// section is either the main .text section or some other COMDAT .text
1100 /// section, but it may be any section containing code.
1101 MCSection *getAssociatedPDataSection(const MCSection *TextSec);
1102
1103 /// Get the .xdata section used for the given section.
1104 MCSection *getAssociatedXDataSection(const MCSection *TextSec);
1105
1106 virtual void emitSyntaxDirective(StringRef Syntax, StringRef Options);
1107
1108 /// Record a relocation described by the .reloc directive.
1109 virtual void emitRelocDirective(const MCExpr &Offset, StringRef Name,
1110 const MCExpr *Expr, SMLoc Loc = {}) {}
1111
1112 virtual void emitAddrsig() {}
1113 virtual void emitAddrsigSym(const MCSymbol *Sym) {}
1114
1115 /// Emit the given \p Instruction into the current section.
1116 virtual void emitInstruction(const MCInst &Inst, const MCSubtargetInfo &STI);
1117
1118 /// Emit the a pseudo probe into the current section.
1119 virtual void emitPseudoProbe(uint64_t Guid, uint64_t Index, uint64_t Type,
1120 uint64_t Attr, uint64_t Discriminator,
1121 const MCPseudoProbeInlineStack &InlineStack,
1122 MCSymbol *FnSym);
1123
1124 /// If this file is backed by a assembly streamer, this dumps the
1125 /// specified string in the output .s file. This capability is indicated by
1126 /// the hasRawTextSupport() predicate. By default this aborts.
1127 void emitRawText(const Twine &String);
1128
1129 /// Streamer specific finalization.
1130 virtual void finishImpl();
1131 /// Finish emission of machine code.
1132 void finish(SMLoc EndLoc = SMLoc());
1133
1134 virtual bool mayHaveInstructions(MCSection &Sec) const { return true; }
1135
1136 /// Emit a special value of 0xffffffff if producing 64-bit debugging info.
1137 void maybeEmitDwarf64Mark();
1138
1139 /// Emit a unit length field. The actual format, DWARF32 or DWARF64, is chosen
1140 /// according to the settings.
1141 virtual void emitDwarfUnitLength(uint64_t Length, const Twine &Comment);
1142
1143 /// Emit a unit length field. The actual format, DWARF32 or DWARF64, is chosen
1144 /// according to the settings.
1145 /// Return the end symbol generated inside, the caller needs to emit it.
1146 virtual MCSymbol *emitDwarfUnitLength(const Twine &Prefix,
1147 const Twine &Comment);
1148
1149 /// Emit the debug line start label.
1150 virtual void emitDwarfLineStartLabel(MCSymbol *StartSym);
1151
1152 /// Emit the debug line end entry.
1153 virtual void emitDwarfLineEndEntry(MCSection *Section, MCSymbol *LastLabel,
1154 MCSymbol *EndLabel = nullptr) {}
1155
1156 /// If targets does not support representing debug line section by .loc/.file
1157 /// directives in assembly output, we need to populate debug line section with
1158 /// raw debug line contents.
1159 virtual void emitDwarfAdvanceLineAddr(int64_t LineDelta,
1160 const MCSymbol *LastLabel,
1161 const MCSymbol *Label,
1162 unsigned PointerSize) {}
1163};
1164
1166 return Streamer.getContext();
1167}
1168
1169/// Create a dummy machine code streamer, which does nothing. This is useful for
1170/// timing the assembler front end.
1172
1173} // end namespace llvm
1174
1175#endif // LLVM_MC_MCSTREAMER_H
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
#define LLVM_ABI
Definition Compiler.h:213
DXIL Finalize Linkage
static ManagedStatic< cl::opt< bool, true >, CreateDebug > Debug
Definition Debug.cpp:147
This file defines the DenseMap class.
IRTranslator LLVM IR MI
static LVOptions Options
Definition LVOptions.cpp:25
#define F(x, y, z)
Definition MD5.cpp:54
Register Reg
#define R2(n)
Promote Memory to Register
Definition Mem2Reg.cpp:110
#define T
static constexpr StringLiteral Filename
This file defines the SmallVector class.
Defines the llvm::VersionTuple class, which represents a version in the form major[....
Class for arbitrary precision integers.
Definition APInt.h:78
virtual void emitUnwindRaw(int64_t StackOffset, const SmallVectorImpl< uint8_t > &Opcodes)
~ARMTargetStreamer() override
void emitTargetAttributes(const MCSubtargetInfo &STI)
Emit the build attributes that only depend on the hardware that we expect.
virtual void reset()
Reset any state between object emissions, i.e.
virtual void emitSetFP(MCRegister FpReg, MCRegister SpReg, int64_t Offset=0)
virtual void annotateTLSDescriptorSequence(const MCSymbolRefExpr *SRE)
virtual void finishAttributeSection()
virtual void emitMovSP(MCRegister Reg, int64_t Offset=0)
virtual void emitARMWinCFISaveSP(unsigned Reg)
virtual void emitPersonalityIndex(unsigned Index)
virtual void emitInst(uint32_t Inst, char Suffix='\0')
virtual void emitARMWinCFISaveLR(unsigned Offset)
virtual void emitArchExtension(uint64_t ArchExt)
virtual void emitTextAttribute(unsigned Attribute, StringRef String)
virtual void emitARMWinCFIAllocStack(unsigned Size, bool Wide)
virtual void emitARMWinCFICustom(unsigned Opcode)
virtual void emitARMWinCFISaveRegMask(unsigned Mask, bool Wide)
virtual void emitRegSave(const SmallVectorImpl< MCRegister > &RegList, bool isVector)
virtual void emitARMWinCFIEpilogEnd()
virtual void emitARMWinCFIPrologEnd(bool Fragment)
virtual void switchVendor(StringRef Vendor)
virtual void emitPersonality(const MCSymbol *Personality)
virtual void emitObjectArch(ARM::ArchKind Arch)
const MCExpr * addConstantPoolEntry(const MCExpr *, SMLoc Loc)
Callback used to implement the ldr= pseudo.
virtual void emitIntTextAttribute(unsigned Attribute, unsigned IntValue, StringRef StringValue="")
virtual void emitThumbSet(MCSymbol *Symbol, const MCExpr *Value)
virtual void emitThumbFunc(MCSymbol *Symbol)
virtual void emitFPU(ARM::FPUKind FPU)
virtual void emitARMWinCFISaveFRegs(unsigned First, unsigned Last)
virtual void emitARMWinCFIEpilogStart(unsigned Condition)
virtual void emitPad(int64_t Offset)
void emitCurrentConstantPool()
Callback used to implement the .ltorg directive.
virtual void emitAttribute(unsigned Attribute, unsigned Value)
virtual void emitARMWinCFINop(bool Wide)
void emitConstantPools() override
virtual void emitArch(ARM::ArchKind Arch)
Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition ArrayRef.h:40
Functions, function parameters, and return types can have attributes to indicate how they should be t...
Definition Attributes.h:105
Tagged union holding either a T or a Error.
Definition Error.h:485
Generic interface to target specific assembler backends.
Context object for machine code objects.
Definition MCContext.h:83
Base class for the full range of assembler expressions which are needed for parsing.
Definition MCExpr.h:34
This is an instance of a target assembly language printer that converts an MCInst to valid target ass...
Instances of this class represent a single low-level machine instruction.
Definition MCInst.h:188
Wrapper class representing physical registers. Should be passed by value.
Definition MCRegister.h:41
Instances of this class represent a uniqued identifier for a section in the current translation unit.
Definition MCSection.h:573
Streaming machine code generation interface.
Definition MCStreamer.h:222
virtual void emitAddrsig()
virtual void addBlankLine()
Emit a blank line to a .s file to pretty it up.
Definition MCStreamer.h:418
virtual void visitUsedSymbol(const MCSymbol &Sym)
void setDefaultWinCFIUnwindVersion(uint8_t V)
Set the default unwind version for new WinCFI frames.
MCSectionSubPair getPreviousSection() const
Return the previous section that the streamer is emitting code to.
Definition MCStreamer.h:436
virtual void beginCOFFSymbolDef(const MCSymbol *Symbol)
Start emitting COFF symbol definition.
virtual void emitBinaryData(StringRef Data)
Functionally identical to EmitBytes.
std::unique_ptr< MCLFIRewriter > LFIRewriter
Definition MCStreamer.h:299
MCStreamer(const MCStreamer &)=delete
virtual void emitGNUAttribute(unsigned Tag, unsigned Value)
Emit a .gnu_attribute directive.
Definition MCStreamer.h:680
virtual void emitZerofill(MCSection *Section, MCSymbol *Symbol=nullptr, uint64_t Size=0, Align ByteAlignment=Align(1), SMLoc Loc=SMLoc())
Emit the zerofill section and an optional symbol.
unsigned getNumWinFrameInfos()
Definition MCStreamer.h:358
virtual ~MCStreamer()
void setStartTokLocPtr(const SMLoc *Loc)
Definition MCStreamer.h:313
MCFragment * getCurrentFragment() const
Definition MCStreamer.h:442
virtual bool emitSymbolAttribute(MCSymbol *Symbol, MCSymbolAttr Attribute)=0
Add the given Attribute to Symbol.
virtual void emitCOFFSymbolType(int Type)
Emit the type of the symbol.
virtual void emitRelocDirective(const MCExpr &Offset, StringRef Name, const MCExpr *Expr, SMLoc Loc={})
Record a relocation described by the .reloc directive.
virtual void emitCOFFSymbolIndex(MCSymbol const *Symbol)
Emits the symbol table index of a Symbol into the current section.
virtual void emitCVStringTableDirective()
This implements the CodeView '.cv_stringtable' assembler directive.
Definition MCStreamer.h:991
virtual bool hasRawTextSupport() const
Return true if this asm streamer supports emitting unformatted text to the .s file with EmitRawText.
Definition MCStreamer.h:378
SmallVector< MCDwarfFrameInfo, 0 > DwarfFrameInfos
Definition MCStreamer.h:273
virtual void emitIntValueInHex(uint64_t Value, unsigned Size)
Special case of EmitValue that avoids the client having to pass in a MCExpr for constant integers & p...
Definition MCStreamer.h:754
virtual bool isVerboseAsm() const
Return true if this streamer supports verbose assembly and if it is enabled.
Definition MCStreamer.h:374
virtual void emitCOFFImgRel32(MCSymbol const *Symbol, int64_t Offset)
Emits a COFF image relative relocation.
virtual void endCOFFSymbolDef()
Marks the end of the symbol definition.
unsigned emitDwarfFileDirective(unsigned FileNo, StringRef Directory, StringRef Filename, std::optional< MD5::MD5Result > Checksum=std::nullopt, std::optional< StringRef > Source=std::nullopt, unsigned CUID=0)
Associate a filename with a specified logical file number.
Definition MCStreamer.h:882
WinEH::FrameInfo::Epilog * getCurrentWinEpilog() const
Definition MCStreamer.h:363
virtual void emitCommonSymbol(MCSymbol *Symbol, uint64_t Size, Align ByteAlignment)=0
Emit a common symbol.
virtual MCAssembler * getAssemblerPtr()
Definition MCStreamer.h:331
virtual void emitXCOFFSymbolLinkageWithVisibility(MCSymbol *Symbol, MCSymbolAttr Linkage, MCSymbolAttr Visibility)
Emit a symbol's linkage and visibility with a linkage directive for XCOFF.
void setTargetStreamer(MCTargetStreamer *TS)
Definition MCStreamer.h:309
virtual bool isIntegratedAssemblerRequired() const
Is the integrated assembler required for this streamer to function correctly?
Definition MCStreamer.h:382
virtual void emitCFIStartProcImpl(MCDwarfFrameInfo &Frame)
virtual void emitCVFileChecksumOffsetDirective(unsigned FileNo)
This implements the CodeView '.cv_filechecksumoffset' assembler directive.
Definition MCStreamer.h:998
bool getUseAssemblerInfoForParsing()
Definition MCStreamer.h:334
virtual void emitCOFFSecNumber(MCSymbol const *Symbol)
Emits the physical number of the section containing the given symbol as assigned during object writin...
MCContext & getContext() const
Definition MCStreamer.h:326
SMLoc getStartTokLoc() const
Definition MCStreamer.h:314
virtual Expected< unsigned > tryEmitDwarfFileDirective(unsigned FileNo, StringRef Directory, StringRef Filename, std::optional< MD5::MD5Result > Checksum=std::nullopt, std::optional< StringRef > Source=std::nullopt, unsigned CUID=0)
Associate a filename with a specified logical file number.
virtual void AddComment(const Twine &T, bool EOL=true)
Add a textual comment.
Definition MCStreamer.h:397
virtual void emitCVFPOData(const MCSymbol *ProcSym, SMLoc Loc={})
This implements the CodeView '.cv_fpo_data' assembler directive.
virtual void emitELFSize(MCSymbol *Symbol, const MCExpr *Value)
Emit an ELF .size directive.
virtual void emitXCOFFLocalCommonSymbol(MCSymbol *LabelSym, uint64_t Size, MCSymbol *CsectSym, Align Alignment)
Emits an lcomm directive with XCOFF csect information.
virtual void emitCOFFSecRel32(MCSymbol const *Symbol, uint64_t Offset)
Emits a COFF section relative relocation.
void emitValue(const MCExpr *Value, unsigned Size, SMLoc Loc=SMLoc())
virtual void emitIdent(StringRef IdentString)
Emit the "identifiers" directive.
Definition MCStreamer.h:878
virtual StringRef getMnemonic(const MCInst &MI) const
Returns the mnemonic for MI, if the streamer has access to a instruction printer and returns an empty...
Definition MCStreamer.h:481
virtual void emitCVFileChecksumsDirective()
This implements the CodeView '.cv_filechecksums' assembler directive.
Definition MCStreamer.h:994
virtual void emitXCOFFExceptDirective(const MCSymbol *Symbol, const MCSymbol *Trap, unsigned Lang, unsigned Reason, unsigned FunctionSize, bool hasDebug)
Emit an XCOFF .except directive which adds information about a trap instruction to the object file ex...
virtual void emitCOFFSectionIndex(MCSymbol const *Symbol)
Emits a COFF section index.
void setAllowAutoPadding(bool v)
Definition MCStreamer.h:340
virtual void emitCOFFSecOffset(MCSymbol const *Symbol)
Emits the offset of the symbol from the beginning of the section during object writing (i....
MCTargetStreamer * getTargetStreamer()
Definition MCStreamer.h:336
virtual void emitIntValueInHexWithPadding(uint64_t Value, unsigned Size)
Special case of EmitValue that avoids the client having to pass in a MCExpr for constant integers & p...
Definition MCStreamer.h:766
MCStreamer(MCContext &Ctx)
MCFragment * CurFrag
Definition MCStreamer.h:271
virtual void emitDarwinTargetVariantBuildVersion(unsigned Platform, unsigned Major, unsigned Minor, unsigned Update, VersionTuple SDKVersion)
Definition MCStreamer.h:518
virtual bool mayHaveInstructions(MCSection &Sec) const
virtual void emitIntValue(uint64_t Value, unsigned Size)
Special case of EmitValue that avoids the client having to pass in a MCExpr for constant integers.
MCLFIRewriter * getLFIRewriter()
Definition MCStreamer.h:320
bool isInEpilogCFI() const
Definition MCStreamer.h:367
virtual void emitDwarfAdvanceLineAddr(int64_t LineDelta, const MCSymbol *LastLabel, const MCSymbol *Label, unsigned PointerSize)
If targets does not support representing debug line section by .loc/.file directives in assembly outp...
void emitInt16(uint64_t Value)
Definition MCStreamer.h:759
virtual void emitCFIEndProcImpl(MCDwarfFrameInfo &CurFrame)
virtual void emitSymbolDesc(MCSymbol *Symbol, unsigned DescValue)
Set the DescValue for the Symbol.
virtual void emitLocalCommonSymbol(MCSymbol *Symbol, uint64_t Size, Align ByteAlignment)
Emit a local common (.lcomm) symbol.
size_t getCurFragSize() const
Definition MCStreamer.h:451
virtual void emitCOFFSafeSEH(MCSymbol const *Symbol)
virtual void emitXCOFFRenameDirective(const MCSymbol *Name, StringRef Rename)
Emit a XCOFF .rename directive which creates a synonym for an illegal or undesirable name.
void pushSection()
Save the current and previous section on the section stack.
Definition MCStreamer.h:453
void setUseAssemblerInfoForParsing(bool v)
Definition MCStreamer.h:333
virtual void emitDwarfLocDirectiveWithInlinedAt(unsigned FileNo, unsigned Line, unsigned Column, unsigned FileIA, unsigned LineIA, unsigned ColumnIA, const MCSymbol *Sym, unsigned Flags, unsigned Isa, unsigned Discriminator, StringRef FileName, StringRef Comment={})
This is same as emitDwarfLocDirective, except it has the capability to add inlined_at information.
Definition MCStreamer.h:920
virtual void emitDataRegion(MCDataRegionType Kind)
Note in the output the specified region Kind.
Definition MCStreamer.h:505
bool getAllowAutoPadding() const
Definition MCStreamer.h:341
virtual void emitLinkerOptions(ArrayRef< std::string > Kind)
Emit the given list Options of strings as linker options into the output.
Definition MCStreamer.h:502
void emitInt64(uint64_t Value)
Definition MCStreamer.h:761
virtual void emitXCOFFRefDirective(const MCSymbol *Symbol)
Emit a XCOFF .ref directive which creates R_REF type entry in the relocation table for one or more sy...
void emitInt32(uint64_t Value)
Definition MCStreamer.h:760
ArrayRef< std::unique_ptr< WinEH::FrameInfo > > getWinFrameInfos() const
Definition MCStreamer.h:359
MCSectionSubPair getCurrentSection() const
Return the current section that the streamer is emitting code to.
Definition MCStreamer.h:426
virtual void emitELFSymverDirective(const MCSymbol *OriginalSym, StringRef Name, bool KeepOriginalSym)
Emit an ELF .symver directive.
virtual void emitXCOFFCInfoSym(StringRef Name, StringRef Metadata)
Emit a C_INFO symbol with XCOFF embedded metadata to the .info section.
MCSection * getCurrentSectionOnly() const
Definition MCStreamer.h:431
virtual void emitValueImpl(const MCExpr *Value, unsigned Size, SMLoc Loc=SMLoc())
Emit the expression Value into the output as a native integer of the given Size bytes.
MCStreamer & operator=(const MCStreamer &)=delete
virtual void emitDwarfLineEndEntry(MCSection *Section, MCSymbol *LastLabel, MCSymbol *EndLabel=nullptr)
Emit the debug line end entry.
virtual void emitLOHDirective(MCLOHType Kind, const MCLOHArgs &Args)
Emit a Linker Optimization Hint (LOH) directive.
Definition MCStreamer.h:677
void addFragment(MCFragment *F)
virtual void emitVersionMin(MCVersionMinType Type, unsigned Major, unsigned Minor, unsigned Update, VersionTuple SDKVersion)
Specify the Mach-O minimum deployment target version.
Definition MCStreamer.h:508
virtual void emitCOFFSymbolStorageClass(int StorageClass)
Emit the storage class of the symbol.
WinEH::FrameInfo * getCurrentWinFrameInfo()
Definition MCStreamer.h:286
void emitInt8(uint64_t Value)
Definition MCStreamer.h:758
virtual void emitTBSSSymbol(MCSection *Section, MCSymbol *Symbol, uint64_t Size, Align ByteAlignment=Align(1))
Emit a thread local bss (.tbss) symbol.
WinEH::FrameInfo::Epilog * CurrentWinEpilog
Definition MCStreamer.h:269
virtual void emitBytes(StringRef Data)
Emit the bytes in Data into the output.
virtual void emitAddrsigSym(const MCSymbol *Sym)
void visitUsedExpr(const MCExpr &Expr)
virtual void emitBuildVersion(unsigned Platform, unsigned Major, unsigned Minor, unsigned Update, VersionTuple SDKVersion)
Emit/Specify Mach-O build version command.
Definition MCStreamer.h:514
virtual void changeSection(MCSection *, uint32_t)
This is called by popSection and switchSection, if the current section changes.
bool isObj() const
Definition MCStreamer.h:327
Generic base class for all target subtargets.
Represent a reference to a symbol from inside an expression.
Definition MCExpr.h:190
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
Definition MCSymbol.h:42
Target specific streamer interface.
Definition MCStreamer.h:95
MCStreamer & getStreamer()
Definition MCStreamer.h:103
MCContext & getContext()
MCStreamer & Streamer
Definition MCStreamer.h:97
MCTargetStreamer(MCStreamer &S)
Root of the metadata hierarchy.
Definition Metadata.h:64
Represents a location in source code.
Definition SMLoc.h:22
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
StackOffset holds a fixed and a scalable offset in bytes.
Definition TypeSize.h:30
Represent a constant reference to a string, i.e.
Definition StringRef.h:56
Target - Wrapper for Target specific information.
Triple - Helper class for working with autoconf configuration names.
Definition Triple.h:47
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
Definition Twine.h:82
The instances of the Type class are immutable: once they are created, they are never changed.
Definition Type.h:46
LLVM Value Representation.
Definition Value.h:75
Represents a version number in the form major[.minor[.subminor[.build]]].
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition raw_ostream.h:53
This is an optimization pass for GlobalISel generic memory operations.
@ Offset
Definition DWP.cpp:558
@ Length
Definition DWP.cpp:558
LLVM_ABI MCStreamer * createNullStreamer(MCContext &Ctx)
Create a dummy machine code streamer, which does nothing.
MCDataRegionType
MCLOHDirective::LOHArgs MCLOHArgs
SmallVector< InlineSite, 8 > MCPseudoProbeInlineStack
MCVersionMinType
FunctionAddr VTableAddr Count
Definition InstrProf.h:139
@ First
Helpers to iterate all locations in the MemoryEffectsBase class.
Definition ModRef.h:74
void cantFail(Error Err, const char *Msg=nullptr)
Report a fatal error if Err is a failure value.
Definition Error.h:769
FunctionAddr VTableAddr uintptr_t uintptr_t Data
Definition InstrProf.h:221
MCLOHType
Linker Optimization Hint Type.
std::pair< MCSection *, uint32_t > MCSectionSubPair
Definition MCStreamer.h:68
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition Alignment.h:39