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 /// Returns true if a WinCFI prolog has been completed (.seh_endprologue)
370 /// in the current frame.
371 bool isWinCFIPrologEnded() const {
372 return CurrentWinFrameInfo && !CurrentWinFrameInfo->End &&
373 CurrentWinFrameInfo->PrologEnd;
374 }
375
376 /// \name Assembly File Formatting.
377 /// @{
378
379 /// Return true if this streamer supports verbose assembly and if it is
380 /// enabled.
381 virtual bool isVerboseAsm() const { return false; }
382
383 /// Return true if this asm streamer supports emitting unformatted text
384 /// to the .s file with EmitRawText.
385 virtual bool hasRawTextSupport() const { return false; }
386
387 /// Is the integrated assembler required for this streamer to function
388 /// correctly?
389 virtual bool isIntegratedAssemblerRequired() const { return false; }
390
391 /// Add a textual comment.
392 ///
393 /// Typically for comments that can be emitted to the generated .s
394 /// file if applicable as a QoI issue to make the output of the compiler
395 /// more readable. This only affects the MCAsmStreamer, and only when
396 /// verbose assembly output is enabled.
397 ///
398 /// If the comment includes embedded \n's, they will each get the comment
399 /// prefix as appropriate. The added comment should not end with a \n.
400 /// By default, each comment is terminated with an end of line, i.e. the
401 /// EOL param is set to true by default. If one prefers not to end the
402 /// comment with a new line then the EOL param should be passed
403 /// with a false value.
404 virtual void AddComment(const Twine &T, bool EOL = true) {}
405
406 /// Return a raw_ostream that comments can be written to. Unlike
407 /// AddComment, you are required to terminate comments with \n if you use this
408 /// method.
409 virtual raw_ostream &getCommentOS();
410
411 /// Print T and prefix it with the comment string (normally #) and
412 /// optionally a tab. This prints the comment immediately, not at the end of
413 /// the current line. It is basically a safe version of EmitRawText: since it
414 /// only prints comments, the object streamer ignores it instead of asserting.
415 virtual void emitRawComment(const Twine &T, bool TabPrefix = true);
416
417 /// Add explicit comment T. T is required to be a valid
418 /// comment in the output and does not need to be escaped.
419 virtual void addExplicitComment(const Twine &T);
420
421 /// Emit added explicit comments.
422 virtual void emitExplicitComments();
423
424 /// Emit a blank line to a .s file to pretty it up.
425 virtual void addBlankLine() {}
426
427 /// @}
428
429 /// \name Symbol & Section Management
430 /// @{
431
432 /// Return the current section that the streamer is emitting code to.
434 if (!SectionStack.empty())
435 return SectionStack.back().first;
436 return MCSectionSubPair();
437 }
439 return CurFrag->getParent();
440 }
441
442 /// Return the previous section that the streamer is emitting code to.
444 if (!SectionStack.empty())
445 return SectionStack.back().second;
446 return MCSectionSubPair();
447 }
448
450 // Ensure consistency with the section stack.
451 assert(!getCurrentSection().first ||
452 CurFrag->getParent() == getCurrentSection().first);
453 // Ensure we eagerly allocate an empty fragment after adding fragment with a
454 // variable-size tail.
455 assert(!CurFrag || CurFrag->getKind() == MCFragment::FT_Data);
456 return CurFrag;
457 }
458 size_t getCurFragSize() const { return getCurrentFragment()->getFixedSize(); }
459 /// Save the current and previous section on the section stack.
460 void pushSection() {
461 SectionStack.push_back(
462 std::make_pair(getCurrentSection(), getPreviousSection()));
463 }
464
465 /// Restore the current and previous section from the section stack.
466 /// Calls changeSection as needed.
467 ///
468 /// Returns false if the stack was empty.
469 virtual bool popSection();
470
471 /// Set the current section where code is being emitted to \p Section. This
472 /// is required to update CurSection.
473 ///
474 /// This corresponds to assembler directives like .section, .text, etc.
475 virtual void switchSection(MCSection *Section, uint32_t Subsec = 0);
476 bool switchSection(MCSection *Section, const MCExpr *);
477
478 /// Similar to switchSection, but does not print the section directive.
479 void switchSectionNoPrint(MCSection *Section);
480
481 /// Create the default sections and set the initial one.
482 virtual void initSections(const MCSubtargetInfo &STI);
483
484 MCSymbol *endSection(MCSection *Section);
485
486 /// Returns the mnemonic for \p MI, if the streamer has access to a
487 /// instruction printer and returns an empty string otherwise.
488 virtual StringRef getMnemonic(const MCInst &MI) const { return ""; }
489
490 /// Emit a label for \p Symbol into the current section.
491 ///
492 /// This corresponds to an assembler statement such as:
493 /// foo:
494 ///
495 /// \param Symbol - The symbol to emit. A given symbol should only be
496 /// emitted as a label once, and symbols emitted as a label should never be
497 /// used in an assignment.
498 // FIXME: These emission are non-const because we mutate the symbol to
499 // add the section we're emitting it to later.
500 virtual void emitLabel(MCSymbol *Symbol, SMLoc Loc = SMLoc());
501
502 virtual void emitEHSymAttributes(const MCSymbol *Symbol, MCSymbol *EHSymbol);
503
504 /// Emit a .subsection_via_symbols directive.
505 virtual void emitSubsectionsViaSymbols();
506
507 /// Emit the given list \p Options of strings as linker
508 /// options into the output.
510
511 /// Note in the output the specified region \p Kind.
512 virtual void emitDataRegion(MCDataRegionType Kind) {}
513
514 /// Specify the Mach-O minimum deployment target version.
515 virtual void emitVersionMin(MCVersionMinType Type, unsigned Major,
516 unsigned Minor, unsigned Update,
517 VersionTuple SDKVersion) {}
518
519 /// Emit/Specify Mach-O build version command.
520 /// \p Platform should be one of MachO::PlatformType.
521 virtual void emitBuildVersion(unsigned Platform, unsigned Major,
522 unsigned Minor, unsigned Update,
523 VersionTuple SDKVersion) {}
524
525 virtual void emitDarwinTargetVariantBuildVersion(unsigned Platform,
526 unsigned Major,
527 unsigned Minor,
528 unsigned Update,
529 VersionTuple SDKVersion) {}
530
531 void emitVersionForTarget(const Triple &Target,
532 const VersionTuple &SDKVersion,
533 const Triple *DarwinTargetVariantTriple,
534 const VersionTuple &DarwinTargetVariantSDKVersion);
535
536 /// Emit an assignment of \p Value to \p Symbol.
537 ///
538 /// This corresponds to an assembler statement such as:
539 /// symbol = value
540 ///
541 /// The assignment generates no code, but has the side effect of binding the
542 /// value in the current context. For the assembly streamer, this prints the
543 /// binding into the .s file.
544 ///
545 /// \param Symbol - The symbol being assigned to.
546 /// \param Value - The value for the symbol.
547 virtual void emitAssignment(MCSymbol *Symbol, const MCExpr *Value);
548
549 /// Emit an assignment of \p Value to \p Symbol, but only if \p Value is also
550 /// emitted.
551 virtual void emitConditionalAssignment(MCSymbol *Symbol, const MCExpr *Value);
552
553 /// Emit an weak reference from \p Alias to \p Symbol.
554 ///
555 /// This corresponds to an assembler statement such as:
556 /// .weakref alias, symbol
557 ///
558 /// \param Alias - The alias that is being created.
559 /// \param Symbol - The symbol being aliased.
560 virtual void emitWeakReference(MCSymbol *Alias, const MCSymbol *Symbol);
561
562 /// Add the given \p Attribute to \p Symbol.
563 virtual bool emitSymbolAttribute(MCSymbol *Symbol,
565
566 /// Set the \p DescValue for the \p Symbol.
567 ///
568 /// \param Symbol - The symbol to have its n_desc field set.
569 /// \param DescValue - The value to set into the n_desc field.
570 virtual void emitSymbolDesc(MCSymbol *Symbol, unsigned DescValue);
571
572 /// Start emitting COFF symbol definition
573 ///
574 /// \param Symbol - The symbol to have its External & Type fields set.
575 virtual void beginCOFFSymbolDef(const MCSymbol *Symbol);
576
577 /// Emit the storage class of the symbol.
578 ///
579 /// \param StorageClass - The storage class the symbol should have.
581
582 /// Emit the type of the symbol.
583 ///
584 /// \param Type - A COFF type identifier (see COFF::SymbolType in X86COFF.h)
585 virtual void emitCOFFSymbolType(int Type);
586
587 /// Marks the end of the symbol definition.
588 virtual void endCOFFSymbolDef();
589
590 virtual void emitCOFFSafeSEH(MCSymbol const *Symbol);
591
592 /// Emits the symbol table index of a Symbol into the current section.
593 virtual void emitCOFFSymbolIndex(MCSymbol const *Symbol);
594
595 /// Emits a COFF section index.
596 ///
597 /// \param Symbol - Symbol the section number relocation should point to.
598 virtual void emitCOFFSectionIndex(MCSymbol const *Symbol);
599
600 /// Emits a COFF section relative relocation.
601 ///
602 /// \param Symbol - Symbol the section relative relocation should point to.
603 virtual void emitCOFFSecRel32(MCSymbol const *Symbol, uint64_t Offset);
604
605 /// Emits a COFF image relative relocation.
606 ///
607 /// \param Symbol - Symbol the image relative relocation should point to.
608 virtual void emitCOFFImgRel32(MCSymbol const *Symbol, int64_t Offset);
609
610 /// Emits the physical number of the section containing the given symbol as
611 /// assigned during object writing (i.e., this is not a runtime relocation).
612 virtual void emitCOFFSecNumber(MCSymbol const *Symbol);
613
614 /// Emits the offset of the symbol from the beginning of the section during
615 /// object writing (i.e., this is not a runtime relocation).
616 virtual void emitCOFFSecOffset(MCSymbol const *Symbol);
617
618 /// Emits an lcomm directive with XCOFF csect information.
619 ///
620 /// \param LabelSym - Label on the block of storage.
621 /// \param Size - The size of the block of storage.
622 /// \param CsectSym - Csect name for the block of storage.
623 /// \param Alignment - The alignment of the symbol in bytes.
624 virtual void emitXCOFFLocalCommonSymbol(MCSymbol *LabelSym, uint64_t Size,
625 MCSymbol *CsectSym, Align Alignment);
626
627 /// Emit a symbol's linkage and visibility with a linkage directive for XCOFF.
628 ///
629 /// \param Symbol - The symbol to emit.
630 /// \param Linkage - The linkage of the symbol to emit.
631 /// \param Visibility - The visibility of the symbol to emit or MCSA_Invalid
632 /// if the symbol does not have an explicit visibility.
635 MCSymbolAttr Visibility);
636
637 /// Emit a XCOFF .rename directive which creates a synonym for an illegal or
638 /// undesirable name.
639 ///
640 /// \param Name - The name used internally in the assembly for references to
641 /// the symbol.
642 /// \param Rename - The value to which the Name parameter is
643 /// changed at the end of assembly.
644 virtual void emitXCOFFRenameDirective(const MCSymbol *Name, StringRef Rename);
645
646 /// Emit an XCOFF .except directive which adds information about
647 /// a trap instruction to the object file exception section
648 ///
649 /// \param Symbol - The function containing the trap.
650 /// \param Lang - The language code for the exception entry.
651 /// \param Reason - The reason code for the exception entry.
652 virtual void emitXCOFFExceptDirective(const MCSymbol *Symbol,
653 const MCSymbol *Trap,
654 unsigned Lang, unsigned Reason,
655 unsigned FunctionSize, bool hasDebug);
656
657 /// Emit a XCOFF .ref directive which creates R_REF type entry in the
658 /// relocation table for one or more symbols.
659 ///
660 /// \param Sym - The symbol on the .ref directive.
661 virtual void emitXCOFFRefDirective(const MCSymbol *Symbol);
662
663 /// Emit a C_INFO symbol with XCOFF embedded metadata to the .info section.
664 ///
665 /// \param Name - The embedded metadata name
666 /// \param Metadata - The embedded metadata
667 virtual void emitXCOFFCInfoSym(StringRef Name, StringRef Metadata);
668
669 /// Emit an ELF .size directive.
670 ///
671 /// This corresponds to an assembler statement such as:
672 /// .size symbol, expression
673 virtual void emitELFSize(MCSymbol *Symbol, const MCExpr *Value);
674
675 /// Emit an ELF .symver directive.
676 ///
677 /// This corresponds to an assembler statement such as:
678 /// .symver _start, foo@@SOME_VERSION
679 virtual void emitELFSymverDirective(const MCSymbol *OriginalSym,
680 StringRef Name, bool KeepOriginalSym);
681
682 /// Emit a Linker Optimization Hint (LOH) directive.
683 /// \param Args - Arguments of the LOH.
684 virtual void emitLOHDirective(MCLOHType Kind, const MCLOHArgs &Args) {}
685
686 /// Emit a .gnu_attribute directive.
687 virtual void emitGNUAttribute(unsigned Tag, unsigned Value) {}
688
689 /// Emit a common symbol.
690 ///
691 /// \param Symbol - The common symbol to emit.
692 /// \param Size - The size of the common symbol.
693 /// \param ByteAlignment - The alignment of the symbol.
694 virtual void emitCommonSymbol(MCSymbol *Symbol, uint64_t Size,
695 Align ByteAlignment) = 0;
696
697 /// Emit a local common (.lcomm) symbol.
698 ///
699 /// \param Symbol - The common symbol to emit.
700 /// \param Size - The size of the common symbol.
701 /// \param ByteAlignment - The alignment of the common symbol in bytes.
702 virtual void emitLocalCommonSymbol(MCSymbol *Symbol, uint64_t Size,
703 Align ByteAlignment);
704
705 /// Emit the zerofill section and an optional symbol.
706 ///
707 /// \param Section - The zerofill section to create and or to put the symbol
708 /// \param Symbol - The zerofill symbol to emit, if non-NULL.
709 /// \param Size - The size of the zerofill symbol.
710 /// \param ByteAlignment - The alignment of the zerofill symbol.
711 virtual void emitZerofill(MCSection *Section, MCSymbol *Symbol = nullptr,
712 uint64_t Size = 0, Align ByteAlignment = Align(1),
713 SMLoc Loc = SMLoc());
714
715 /// Emit a thread local bss (.tbss) symbol.
716 ///
717 /// \param Section - The thread local common section.
718 /// \param Symbol - The thread local common symbol to emit.
719 /// \param Size - The size of the symbol.
720 /// \param ByteAlignment - The alignment of the thread local common symbol.
721 virtual void emitTBSSSymbol(MCSection *Section, MCSymbol *Symbol,
722 uint64_t Size, Align ByteAlignment = Align(1));
723
724 /// @}
725 /// \name Generating Data
726 /// @{
727
728 /// Emit the bytes in \p Data into the output.
729 ///
730 /// This is used to implement assembler directives such as .byte, .ascii,
731 /// etc.
732 virtual void emitBytes(StringRef Data);
733
734 /// Functionally identical to EmitBytes. When emitting textual assembly, this
735 /// method uses .byte directives instead of .ascii or .asciz for readability.
736 virtual void emitBinaryData(StringRef Data);
737
738 /// Emit the expression \p Value into the output as a native
739 /// integer of the given \p Size bytes.
740 ///
741 /// This is used to implement assembler directives such as .word, .quad,
742 /// etc.
743 ///
744 /// \param Value - The value to emit.
745 /// \param Size - The size of the integer (in bytes) to emit. This must
746 /// match a native machine width.
747 /// \param Loc - The location of the expression for error reporting.
748 virtual void emitValueImpl(const MCExpr *Value, unsigned Size,
749 SMLoc Loc = SMLoc());
750
751 void emitValue(const MCExpr *Value, unsigned Size, SMLoc Loc = SMLoc());
752
753 /// Special case of EmitValue that avoids the client having
754 /// to pass in a MCExpr for constant integers.
755 virtual void emitIntValue(uint64_t Value, unsigned Size);
756 virtual void emitIntValue(const APInt &Value);
757
758 /// Special case of EmitValue that avoids the client having to pass
759 /// in a MCExpr for constant integers & prints in Hex format for certain
760 /// modes.
761 virtual void emitIntValueInHex(uint64_t Value, unsigned Size) {
763 }
764
769
770 /// Special case of EmitValue that avoids the client having to pass
771 /// in a MCExpr for constant integers & prints in Hex format for certain
772 /// modes, pads the field with leading zeros to Size width
775 }
776
777 virtual void emitULEB128Value(const MCExpr *Value);
778
779 virtual void emitSLEB128Value(const MCExpr *Value);
780
781 /// Special case of EmitULEB128Value that avoids the client having to
782 /// pass in a MCExpr for constant integers.
783 unsigned emitULEB128IntValue(uint64_t Value, unsigned PadTo = 0);
784
785 /// Special case of EmitSLEB128Value that avoids the client having to
786 /// pass in a MCExpr for constant integers.
787 unsigned emitSLEB128IntValue(int64_t Value);
788
789 /// Special case of EmitValue that avoids the client having to pass in
790 /// a MCExpr for MCSymbols.
791 void emitSymbolValue(const MCSymbol *Sym, unsigned Size,
792 bool IsSectionRelative = false);
793
794 /// Emit NumBytes bytes worth of the value specified by FillValue.
795 /// This implements directives such as '.space'.
796 void emitFill(uint64_t NumBytes, uint8_t FillValue);
797
798 /// Emit \p Size bytes worth of the value specified by \p FillValue.
799 ///
800 /// This is used to implement assembler directives such as .space or .skip.
801 ///
802 /// \param NumBytes - The number of bytes to emit.
803 /// \param FillValue - The value to use when filling bytes.
804 /// \param Loc - The location of the expression for error reporting.
805 virtual void emitFill(const MCExpr &NumBytes, uint64_t FillValue,
806 SMLoc Loc = SMLoc());
807
808 /// Emit \p NumValues copies of \p Size bytes. Each \p Size bytes is
809 /// taken from the lowest order 4 bytes of \p Expr expression.
810 ///
811 /// This is used to implement assembler directives such as .fill.
812 ///
813 /// \param NumValues - The number of copies of \p Size bytes to emit.
814 /// \param Size - The size (in bytes) of each repeated value.
815 /// \param Expr - The expression from which \p Size bytes are used.
816 virtual void emitFill(const MCExpr &NumValues, int64_t Size, int64_t Expr,
817 SMLoc Loc = SMLoc());
818
819 virtual void emitNops(int64_t NumBytes, int64_t ControlledNopLength,
820 SMLoc Loc, const MCSubtargetInfo& STI);
821
822 /// Emit NumBytes worth of zeros.
823 /// This function properly handles data in virtual sections.
824 void emitZeros(uint64_t NumBytes);
825
826 /// Emit some number of copies of \p Value until the byte alignment \p
827 /// ByteAlignment is reached.
828 ///
829 /// If the number of bytes need to emit for the alignment is not a multiple
830 /// of \p ValueSize, then the contents of the emitted fill bytes is
831 /// undefined.
832 ///
833 /// This used to implement the .align assembler directive.
834 ///
835 /// \param Alignment - The alignment to reach.
836 /// \param Fill - The value to use when filling bytes.
837 /// \param FillLen - The size of the integer (in bytes) to emit for
838 /// \p Value. This must match a native machine width.
839 /// \param MaxBytesToEmit - The maximum numbers of bytes to emit, or 0. If
840 /// the alignment cannot be reached in this many bytes, no bytes are
841 /// emitted.
842 virtual void emitValueToAlignment(Align Alignment, int64_t Fill = 0,
843 uint8_t FillLen = 1,
844 unsigned MaxBytesToEmit = 0);
845
846 /// Emit nops until the byte alignment \p ByteAlignment is reached.
847 ///
848 /// This used to align code where the alignment bytes may be executed. This
849 /// can emit different bytes for different sizes to optimize execution.
850 ///
851 /// \param Alignment - The alignment to reach.
852 /// \param STI - The MCSubtargetInfo in operation when padding is emitted.
853 /// \param MaxBytesToEmit - The maximum numbers of bytes to emit, or 0. If
854 /// the alignment cannot be reached in this many bytes, no bytes are
855 /// emitted.
856 virtual void emitCodeAlignment(Align Alignment, const MCSubtargetInfo *STI,
857 unsigned MaxBytesToEmit = 0);
858
859 virtual void emitPrefAlign(Align A, const MCSymbol &End, bool EmitNops,
860 uint8_t Fill, const MCSubtargetInfo &STI);
861
862 /// Emit some number of copies of \p Value until the byte offset \p
863 /// Offset is reached.
864 ///
865 /// This is used to implement assembler directives such as .org.
866 ///
867 /// \param Offset - The offset to reach. This may be an expression, but the
868 /// expression must be associated with the current section.
869 /// \param Value - The value to use when filling bytes.
870 virtual void emitValueToOffset(const MCExpr *Offset, unsigned char Value,
871 SMLoc Loc);
872
873 /// @}
874
875 /// Switch to a new logical file. This is used to implement the '.file
876 /// "foo.c"' assembler directive.
877 virtual void emitFileDirective(StringRef Filename);
878
879 /// Emit ".file assembler diretive with additioal info.
880 virtual void emitFileDirective(StringRef Filename, StringRef CompilerVersion,
881 StringRef TimeStamp, StringRef Description);
882
883 /// Emit the "identifiers" directive. This implements the
884 /// '.ident "version foo"' assembler directive.
885 virtual void emitIdent(StringRef IdentString) {}
886
887 /// Associate a filename with a specified logical file number. This
888 /// implements the DWARF2 '.file 4 "foo.c"' assembler directive.
890 unsigned FileNo, StringRef Directory, StringRef Filename,
891 std::optional<MD5::MD5Result> Checksum = std::nullopt,
892 std::optional<StringRef> Source = std::nullopt, unsigned CUID = 0) {
893 return cantFail(
894 tryEmitDwarfFileDirective(FileNo, Directory, Filename, Checksum,
895 Source, CUID));
896 }
897
898 /// Associate a filename with a specified logical file number.
899 /// Also associate a directory, optional checksum, and optional source
900 /// text with the logical file. This implements the DWARF2
901 /// '.file 4 "dir/foo.c"' assembler directive, and the DWARF5
902 /// '.file 4 "dir/foo.c" md5 "..." source "..."' assembler directive.
903 virtual Expected<unsigned> tryEmitDwarfFileDirective(
904 unsigned FileNo, StringRef Directory, StringRef Filename,
905 std::optional<MD5::MD5Result> Checksum = std::nullopt,
906 std::optional<StringRef> Source = std::nullopt, unsigned CUID = 0);
907
908 /// Specify the "root" file of the compilation, using the ".file 0" extension.
909 virtual void emitDwarfFile0Directive(StringRef Directory, StringRef Filename,
910 std::optional<MD5::MD5Result> Checksum,
911 std::optional<StringRef> Source,
912 unsigned CUID = 0);
913
914 virtual void emitCFIBKeyFrame();
915 virtual void emitCFIMTETaggedFrame();
916
917 /// This implements the DWARF2 '.loc fileno lineno ...' assembler
918 /// directive.
919 virtual void emitDwarfLocDirective(unsigned FileNo, unsigned Line,
920 unsigned Column, unsigned Flags,
921 unsigned Isa, unsigned Discriminator,
922 StringRef FileName,
923 StringRef Comment = {});
924
925 /// This is same as emitDwarfLocDirective, except it has the capability to
926 /// add inlined_at information.
928 unsigned FileNo, unsigned Line, unsigned Column, unsigned FileIA,
929 unsigned LineIA, unsigned ColumnIA, const MCSymbol *Sym, unsigned Flags,
930 unsigned Isa, unsigned Discriminator, StringRef FileName,
931 StringRef Comment = {}) {}
932
933 /// This implements the '.loc_label Name' directive.
934 virtual void emitDwarfLocLabelDirective(SMLoc Loc, StringRef Name);
935
936 /// Associate a filename with a specified logical file number, and also
937 /// specify that file's checksum information. This implements the '.cv_file 4
938 /// "foo.c"' assembler directive. Returns true on success.
939 virtual bool emitCVFileDirective(unsigned FileNo, StringRef Filename,
940 ArrayRef<uint8_t> Checksum,
941 unsigned ChecksumKind);
942
943 /// Introduces a function id for use with .cv_loc.
944 virtual bool emitCVFuncIdDirective(unsigned FunctionId);
945
946 /// Introduces an inline call site id for use with .cv_loc. Includes
947 /// extra information for inline line table generation.
948 virtual bool emitCVInlineSiteIdDirective(unsigned FunctionId, unsigned IAFunc,
949 unsigned IAFile, unsigned IALine,
950 unsigned IACol, SMLoc Loc);
951
952 /// This implements the CodeView '.cv_loc' assembler directive.
953 virtual void emitCVLocDirective(unsigned FunctionId, unsigned FileNo,
954 unsigned Line, unsigned Column,
955 bool PrologueEnd, bool IsStmt,
956 StringRef FileName, SMLoc Loc);
957
958 /// This implements the CodeView '.cv_linetable' assembler directive.
959 virtual void emitCVLinetableDirective(unsigned FunctionId,
960 const MCSymbol *FnStart,
961 const MCSymbol *FnEnd);
962
963 /// This implements the CodeView '.cv_inline_linetable' assembler
964 /// directive.
965 virtual void emitCVInlineLinetableDirective(unsigned PrimaryFunctionId,
966 unsigned SourceFileId,
967 unsigned SourceLineNum,
968 const MCSymbol *FnStartSym,
969 const MCSymbol *FnEndSym);
970
971 /// This implements the CodeView '.cv_def_range' assembler
972 /// directive.
973 virtual void emitCVDefRangeDirective(
974 ArrayRef<std::pair<const MCSymbol *, const MCSymbol *>> Ranges,
975 StringRef FixedSizePortion);
976
977 virtual void emitCVDefRangeDirective(
978 ArrayRef<std::pair<const MCSymbol *, const MCSymbol *>> Ranges,
979 codeview::DefRangeRegisterRelHeader DRHdr);
980
981 virtual void emitCVDefRangeDirective(
982 ArrayRef<std::pair<const MCSymbol *, const MCSymbol *>> Ranges,
983 codeview::DefRangeSubfieldRegisterHeader DRHdr);
984
985 virtual void emitCVDefRangeDirective(
986 ArrayRef<std::pair<const MCSymbol *, const MCSymbol *>> Ranges,
987 codeview::DefRangeRegisterHeader DRHdr);
988
989 virtual void emitCVDefRangeDirective(
990 ArrayRef<std::pair<const MCSymbol *, const MCSymbol *>> Ranges,
991 codeview::DefRangeFramePointerRelHeader DRHdr);
992
993 virtual void emitCVDefRangeDirective(
994 ArrayRef<std::pair<const MCSymbol *, const MCSymbol *>> Ranges,
995 codeview::DefRangeRegisterRelIndirHeader DRHdr);
996
997 /// This implements the CodeView '.cv_stringtable' assembler directive.
999
1000 /// This implements the CodeView '.cv_filechecksums' assembler directive.
1002
1003 /// This implements the CodeView '.cv_filechecksumoffset' assembler
1004 /// directive.
1005 virtual void emitCVFileChecksumOffsetDirective(unsigned FileNo) {}
1006
1007 /// This implements the CodeView '.cv_fpo_data' assembler directive.
1008 virtual void emitCVFPOData(const MCSymbol *ProcSym, SMLoc Loc = {}) {}
1009
1010 /// Emit the absolute difference between two symbols.
1011 ///
1012 /// \pre Offset of \c Hi is greater than the offset \c Lo.
1013 virtual void emitAbsoluteSymbolDiff(const MCSymbol *Hi, const MCSymbol *Lo,
1014 unsigned Size);
1015
1016 /// Emit the absolute difference between two symbols encoded with ULEB128.
1017 virtual void emitAbsoluteSymbolDiffAsULEB128(const MCSymbol *Hi,
1018 const MCSymbol *Lo);
1019
1020 virtual MCSymbol *getDwarfLineTableSymbol(unsigned CUID);
1021 virtual void emitCFISections(bool EH, bool Debug, bool SFrame);
1022 void emitCFIStartProc(bool IsSimple, SMLoc Loc = SMLoc());
1023 void emitCFIEndProc();
1024 virtual void emitCFIDefCfa(int64_t Register, int64_t Offset, SMLoc Loc = {});
1025 virtual void emitCFIDefCfaOffset(int64_t Offset, SMLoc Loc = {});
1026 virtual void emitCFIDefCfaRegister(int64_t Register, SMLoc Loc = {});
1027 virtual void emitCFILLVMDefAspaceCfa(int64_t Register, int64_t Offset,
1028 int64_t AddressSpace, SMLoc Loc = {});
1029 virtual void emitCFIOffset(int64_t Register, int64_t Offset, SMLoc Loc = {});
1030 virtual void emitCFIPersonality(const MCSymbol *Sym, unsigned Encoding);
1031 virtual void emitCFILsda(const MCSymbol *Sym, unsigned Encoding);
1032 virtual void emitCFIRememberState(SMLoc Loc);
1033 virtual void emitCFIRestoreState(SMLoc Loc);
1034 virtual void emitCFISameValue(int64_t Register, SMLoc Loc = {});
1035 virtual void emitCFIRestore(int64_t Register, SMLoc Loc = {});
1036 virtual void emitCFIRelOffset(int64_t Register, int64_t Offset, SMLoc Loc);
1037 virtual void emitCFIAdjustCfaOffset(int64_t Adjustment, SMLoc Loc = {});
1038 virtual void emitCFIEscape(StringRef Values, SMLoc Loc = {});
1039 virtual void emitCFIReturnColumn(int64_t Register);
1040 virtual void emitCFIGnuArgsSize(int64_t Size, SMLoc Loc = {});
1041 virtual void emitCFISignalFrame();
1042 virtual void emitCFIUndefined(int64_t Register, SMLoc Loc = {});
1043 virtual void emitCFIRegister(int64_t Register1, int64_t Register2,
1044 SMLoc Loc = {});
1045 virtual void emitCFIWindowSave(SMLoc Loc = {});
1046 virtual void emitCFINegateRAState(SMLoc Loc = {});
1047 virtual void emitCFILLVMRegisterPair(int64_t Register, int64_t R1,
1048 int64_t R1SizeInBits, int64_t R2,
1049 int64_t R2SizeInBits, SMLoc Loc = {});
1050 virtual void emitCFILLVMVectorRegisters(
1051 int64_t Register, ArrayRef<MCCFIInstruction::VectorRegisterWithLane> VRs,
1052 SMLoc Loc = {});
1053 virtual void emitCFILLVMVectorOffset(int64_t Register,
1054 int64_t RegisterSizeInBits,
1055 int64_t MaskRegister,
1056 int64_t MaskRegisterSizeInBits,
1057 int64_t Offset, SMLoc Loc = {});
1058 virtual void
1059 emitCFILLVMVectorRegisterMask(int64_t Register, int64_t SpillRegister,
1060 int64_t SpillRegisterLaneSizeInBits,
1061 int64_t MaskRegister,
1062 int64_t MaskRegisterSizeInBits, SMLoc Loc = {});
1063
1064 virtual void emitCFINegateRAStateWithPC(SMLoc Loc = {});
1065 virtual void emitCFILabelDirective(SMLoc Loc, StringRef Name);
1066 virtual void emitCFIValOffset(int64_t Register, int64_t Offset,
1067 SMLoc Loc = {});
1068
1069 virtual void emitWinCFIStartProc(const MCSymbol *Symbol, SMLoc Loc = SMLoc());
1070 virtual void emitWinCFIEndProc(SMLoc Loc = SMLoc());
1071 /// This is used on platforms, such as Windows on ARM64, that require function
1072 /// or funclet sizes to be emitted in .xdata before the End marker is emitted
1073 /// for the frame. We cannot use the End marker, as it is not set at the
1074 /// point of emitting .xdata, in order to indicate that the frame is active.
1075 virtual void emitWinCFIFuncletOrFuncEnd(SMLoc Loc = SMLoc());
1076 virtual void emitWinCFISplitChained(SMLoc Loc = SMLoc());
1077 virtual void emitWinCFIPushReg(MCRegister Register, SMLoc Loc = SMLoc());
1078 virtual void emitWinCFIPush2Regs(MCRegister Reg1, MCRegister Reg2,
1079 SMLoc Loc = SMLoc());
1080 virtual void emitWinCFISetFrame(MCRegister Register, unsigned Offset,
1081 SMLoc Loc = SMLoc());
1082 virtual void emitWinCFIAllocStack(unsigned Size, SMLoc Loc = SMLoc());
1083 virtual void emitWinCFISaveReg(MCRegister Register, unsigned Offset,
1084 SMLoc Loc = SMLoc());
1085 virtual void emitWinCFISaveXMM(MCRegister Register, unsigned Offset,
1086 SMLoc Loc = SMLoc());
1087 virtual void emitWinCFIPushFrame(bool Code, SMLoc Loc = SMLoc());
1088 virtual void emitWinCFIEndProlog(SMLoc Loc = SMLoc());
1089 virtual void emitWinCFIBeginEpilogue(SMLoc Loc = SMLoc());
1090 virtual void emitWinCFIEndEpilogue(SMLoc Loc = SMLoc());
1091 virtual void emitWinCFIUnwindV2Start(SMLoc Loc = SMLoc());
1092 virtual void emitWinCFIUnwindVersion(uint8_t Version, SMLoc Loc = SMLoc());
1093
1094 /// Set the default unwind version for new WinCFI frames.
1096 DefaultWinCFIUnwindVersion = V;
1097 }
1099 return DefaultWinCFIUnwindVersion;
1100 }
1101 virtual void emitWinEHHandler(const MCSymbol *Sym, bool Unwind, bool Except,
1102 SMLoc Loc = SMLoc());
1103 virtual void emitWinEHHandlerData(SMLoc Loc = SMLoc());
1104
1105 virtual void emitCGProfileEntry(const MCSymbolRefExpr *From,
1106 const MCSymbolRefExpr *To, uint64_t Count);
1107
1108 /// Get the .pdata section used for the given section. Typically the given
1109 /// section is either the main .text section or some other COMDAT .text
1110 /// section, but it may be any section containing code.
1111 MCSection *getAssociatedPDataSection(const MCSection *TextSec);
1112
1113 /// Get the .xdata section used for the given section.
1114 MCSection *getAssociatedXDataSection(const MCSection *TextSec);
1115
1116 virtual void emitSyntaxDirective(StringRef Syntax, StringRef Options);
1117
1118 /// Record a relocation described by the .reloc directive.
1119 virtual void emitRelocDirective(const MCExpr &Offset, StringRef Name,
1120 const MCExpr *Expr, SMLoc Loc = {}) {}
1121
1122 virtual void emitAddrsig() {}
1123 virtual void emitAddrsigSym(const MCSymbol *Sym) {}
1124
1125 /// Emit the given \p Instruction into the current section.
1126 virtual void emitInstruction(const MCInst &Inst, const MCSubtargetInfo &STI);
1127
1128 /// Emit the a pseudo probe into the current section.
1129 virtual void emitPseudoProbe(uint64_t Guid, uint64_t Index, uint64_t Type,
1130 uint64_t Attr, uint64_t Discriminator,
1131 const MCPseudoProbeInlineStack &InlineStack,
1132 MCSymbol *FnSym);
1133
1134 /// If this file is backed by a assembly streamer, this dumps the
1135 /// specified string in the output .s file. This capability is indicated by
1136 /// the hasRawTextSupport() predicate. By default this aborts.
1137 void emitRawText(const Twine &String);
1138
1139 /// Streamer specific finalization.
1140 virtual void finishImpl();
1141 /// Finish emission of machine code.
1142 void finish(SMLoc EndLoc = SMLoc());
1143
1144 virtual bool mayHaveInstructions(MCSection &Sec) const { return true; }
1145
1146 /// Emit a special value of 0xffffffff if producing 64-bit debugging info.
1147 void maybeEmitDwarf64Mark();
1148
1149 /// Emit a unit length field. The actual format, DWARF32 or DWARF64, is chosen
1150 /// according to the settings.
1151 virtual void emitDwarfUnitLength(uint64_t Length, const Twine &Comment);
1152
1153 /// Emit a unit length field. The actual format, DWARF32 or DWARF64, is chosen
1154 /// according to the settings.
1155 /// Return the end symbol generated inside, the caller needs to emit it.
1156 virtual MCSymbol *emitDwarfUnitLength(const Twine &Prefix,
1157 const Twine &Comment);
1158
1159 /// Emit the debug line start label.
1160 virtual void emitDwarfLineStartLabel(MCSymbol *StartSym);
1161
1162 /// Emit the debug line end entry.
1163 virtual void emitDwarfLineEndEntry(MCSection *Section, MCSymbol *LastLabel,
1164 MCSymbol *EndLabel = nullptr) {}
1165
1166 /// If targets does not support representing debug line section by .loc/.file
1167 /// directives in assembly output, we need to populate debug line section with
1168 /// raw debug line contents.
1169 virtual void emitDwarfAdvanceLineAddr(int64_t LineDelta,
1170 const MCSymbol *LastLabel,
1171 const MCSymbol *Label,
1172 unsigned PointerSize) {}
1173};
1174
1176 return Streamer.getContext();
1177}
1178
1179/// Create a dummy machine code streamer, which does nothing. This is useful for
1180/// timing the assembler front end.
1182
1183} // end namespace llvm
1184
1185#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:425
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:443
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:687
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
bool isWinCFIPrologEnded() const
Returns true if a WinCFI prolog has been completed (.seh_endprologue) in the current frame.
Definition MCStreamer.h:371
virtual ~MCStreamer()
void setStartTokLocPtr(const SMLoc *Loc)
Definition MCStreamer.h:313
MCFragment * getCurrentFragment() const
Definition MCStreamer.h:449
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.
uint8_t getDefaultWinCFIUnwindVersion() const
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:998
virtual bool hasRawTextSupport() const
Return true if this asm streamer supports emitting unformatted text to the .s file with EmitRawText.
Definition MCStreamer.h:385
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:761
virtual bool isVerboseAsm() const
Return true if this streamer supports verbose assembly and if it is enabled.
Definition MCStreamer.h:381
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:889
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:389
virtual void emitCFIStartProcImpl(MCDwarfFrameInfo &Frame)
virtual void emitCVFileChecksumOffsetDirective(unsigned FileNo)
This implements the CodeView '.cv_filechecksumoffset' assembler directive.
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:404
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:885
virtual StringRef getMnemonic(const MCInst &MI) const
Returns the mnemonic for MI, if the streamer has access to a instruction printer and returns an empty...
Definition MCStreamer.h:488
virtual void emitCVFileChecksumsDirective()
This implements the CodeView '.cv_filechecksums' assembler directive.
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:773
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:525
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:766
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:458
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:460
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:927
virtual void emitDataRegion(MCDataRegionType Kind)
Note in the output the specified region Kind.
Definition MCStreamer.h:512
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:509
void emitInt64(uint64_t Value)
Definition MCStreamer.h:768
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:767
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:433
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:438
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:684
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:515
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:765
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:521
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