LLVM 24.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
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, 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 virtual void emitTargetTriple(StringRef TargetTriple) {}
532
533 void emitVersionForTarget(const Triple &Target,
534 const VersionTuple &SDKVersion,
535 const Triple *DarwinTargetVariantTriple,
536 const VersionTuple &DarwinTargetVariantSDKVersion);
537
538 /// Emit an assignment of \p Value to \p Symbol.
539 ///
540 /// This corresponds to an assembler statement such as:
541 /// symbol = value
542 ///
543 /// The assignment generates no code, but has the side effect of binding the
544 /// value in the current context. For the assembly streamer, this prints the
545 /// binding into the .s file.
546 ///
547 /// \param Symbol - The symbol being assigned to.
548 /// \param Value - The value for the symbol.
549 virtual void emitAssignment(MCSymbol *Symbol, const MCExpr *Value);
550
551 /// Emit an assignment of \p Value to \p Symbol, but only if \p Value is also
552 /// emitted.
553 virtual void emitConditionalAssignment(MCSymbol *Symbol, const MCExpr *Value);
554
555 /// Emit an weak reference from \p Alias to \p Symbol.
556 ///
557 /// This corresponds to an assembler statement such as:
558 /// .weakref alias, symbol
559 ///
560 /// \param Alias - The alias that is being created.
561 /// \param Symbol - The symbol being aliased.
562 virtual void emitWeakReference(MCSymbol *Alias, const MCSymbol *Symbol);
563
564 /// Add the given \p Attribute to \p Symbol.
565 virtual bool emitSymbolAttribute(MCSymbol *Symbol,
567
568 /// Set the \p DescValue for the \p Symbol.
569 ///
570 /// \param Symbol - The symbol to have its n_desc field set.
571 /// \param DescValue - The value to set into the n_desc field.
572 virtual void emitSymbolDesc(MCSymbol *Symbol, unsigned DescValue);
573
574 /// Start emitting COFF symbol definition
575 ///
576 /// \param Symbol - The symbol to have its External & Type fields set.
577 virtual void beginCOFFSymbolDef(const MCSymbol *Symbol);
578
579 /// Emit the storage class of the symbol.
580 ///
581 /// \param StorageClass - The storage class the symbol should have.
583
584 /// Emit the type of the symbol.
585 ///
586 /// \param Type - A COFF type identifier (see COFF::SymbolType in X86COFF.h)
587 virtual void emitCOFFSymbolType(int Type);
588
589 /// Marks the end of the symbol definition.
590 virtual void endCOFFSymbolDef();
591
592 virtual void emitCOFFSafeSEH(MCSymbol const *Symbol);
593
594 /// Emits the symbol table index of a Symbol into the current section.
595 virtual void emitCOFFSymbolIndex(MCSymbol const *Symbol);
596
597 /// Emits a COFF section index.
598 ///
599 /// \param Symbol - Symbol the section number relocation should point to.
600 virtual void emitCOFFSectionIndex(MCSymbol const *Symbol);
601
602 /// Emits a COFF section relative relocation.
603 ///
604 /// \param Symbol - Symbol the section relative relocation should point to.
605 virtual void emitCOFFSecRel32(MCSymbol const *Symbol, uint64_t Offset);
606
607 /// Emits a COFF image relative relocation.
608 ///
609 /// \param Symbol - Symbol the image relative relocation should point to.
610 virtual void emitCOFFImgRel32(MCSymbol const *Symbol, int64_t Offset);
611
612 /// Emits the physical number of the section containing the given symbol as
613 /// assigned during object writing (i.e., this is not a runtime relocation).
614 virtual void emitCOFFSecNumber(MCSymbol const *Symbol);
615
616 /// Emits the offset of the symbol from the beginning of the section during
617 /// object writing (i.e., this is not a runtime relocation).
618 virtual void emitCOFFSecOffset(MCSymbol const *Symbol);
619
620 /// Emits an lcomm directive with XCOFF csect information.
621 ///
622 /// \param LabelSym - Label on the block of storage.
623 /// \param Size - The size of the block of storage.
624 /// \param CsectSym - Csect name for the block of storage.
625 /// \param Alignment - The alignment of the symbol in bytes.
626 virtual void emitXCOFFLocalCommonSymbol(MCSymbol *LabelSym, uint64_t Size,
627 MCSymbol *CsectSym, Align Alignment);
628
629 /// Emit a symbol's linkage and visibility with a linkage directive for XCOFF.
630 ///
631 /// \param Symbol - The symbol to emit.
632 /// \param Linkage - The linkage of the symbol to emit.
633 /// \param Visibility - The visibility of the symbol to emit or MCSA_Invalid
634 /// if the symbol does not have an explicit visibility.
637 MCSymbolAttr Visibility);
638
639 /// Emit a XCOFF .rename directive which creates a synonym for an illegal or
640 /// undesirable name.
641 ///
642 /// \param Name - The name used internally in the assembly for references to
643 /// the symbol.
644 /// \param Rename - The value to which the Name parameter is
645 /// changed at the end of assembly.
646 virtual void emitXCOFFRenameDirective(const MCSymbol *Name, StringRef Rename);
647
648 /// Emit an XCOFF .except directive which adds information about
649 /// a trap instruction to the object file exception section
650 ///
651 /// \param Symbol - The function containing the trap.
652 /// \param Lang - The language code for the exception entry.
653 /// \param Reason - The reason code for the exception entry.
654 virtual void emitXCOFFExceptDirective(const MCSymbol *Symbol,
655 const MCSymbol *Trap,
656 unsigned Lang, unsigned Reason,
657 unsigned FunctionSize, bool hasDebug);
658
659 /// Emit a XCOFF .ref directive which creates R_REF type entry in the
660 /// relocation table for one or more symbols.
661 ///
662 /// \param Sym - The symbol on the .ref directive.
663 virtual void emitXCOFFRefDirective(const MCSymbol *Symbol);
664
665 /// Emit a C_INFO symbol with XCOFF embedded metadata to the .info section.
666 ///
667 /// \param Name - The embedded metadata name
668 /// \param Metadata - The embedded metadata
669 virtual void emitXCOFFCInfoSym(StringRef Name, StringRef Metadata);
670
671 /// Emit an ELF .size directive.
672 ///
673 /// This corresponds to an assembler statement such as:
674 /// .size symbol, expression
675 virtual void emitELFSize(MCSymbol *Symbol, const MCExpr *Value);
676
677 /// Emit an ELF .symver directive.
678 ///
679 /// This corresponds to an assembler statement such as:
680 /// .symver _start, foo@@SOME_VERSION
681 virtual void emitELFSymverDirective(const MCSymbol *OriginalSym,
682 StringRef Name, bool KeepOriginalSym);
683
684 /// Emit a Linker Optimization Hint (LOH) directive.
685 /// \param Args - Arguments of the LOH.
686 virtual void emitLOHDirective(MCLOHType Kind, const MCLOHArgs &Args) {}
687
688 /// Emit a .gnu_attribute directive.
689 virtual void emitGNUAttribute(unsigned Tag, unsigned Value) {}
690
691 /// Emit a common symbol.
692 ///
693 /// \param Symbol - The common symbol to emit.
694 /// \param Size - The size of the common symbol.
695 /// \param ByteAlignment - The alignment of the symbol.
696 virtual void emitCommonSymbol(MCSymbol *Symbol, uint64_t Size,
697 Align ByteAlignment) = 0;
698
699 /// Emit a local common (.lcomm) symbol.
700 ///
701 /// \param Symbol - The common symbol to emit.
702 /// \param Size - The size of the common symbol.
703 /// \param ByteAlignment - The alignment of the common symbol in bytes.
704 virtual void emitLocalCommonSymbol(MCSymbol *Symbol, uint64_t Size,
705 Align ByteAlignment);
706
707 /// Emit the zerofill section and an optional symbol.
708 ///
709 /// \param Section - The zerofill section to create and or to put the symbol
710 /// \param Symbol - The zerofill symbol to emit, if non-NULL.
711 /// \param Size - The size of the zerofill symbol.
712 /// \param ByteAlignment - The alignment of the zerofill symbol.
713 virtual void emitZerofill(MCSection *Section, MCSymbol *Symbol = nullptr,
714 uint64_t Size = 0, Align ByteAlignment = Align(1),
715 SMLoc Loc = SMLoc());
716
717 /// Emit a thread local bss (.tbss) symbol.
718 ///
719 /// \param Section - The thread local common section.
720 /// \param Symbol - The thread local common symbol to emit.
721 /// \param Size - The size of the symbol.
722 /// \param ByteAlignment - The alignment of the thread local common symbol.
723 virtual void emitTBSSSymbol(MCSection *Section, MCSymbol *Symbol,
724 uint64_t Size, Align ByteAlignment = Align(1));
725
726 /// @}
727 /// \name Generating Data
728 /// @{
729
730 /// Emit the bytes in \p Data into the output.
731 ///
732 /// This is used to implement assembler directives such as .byte, .ascii,
733 /// etc.
734 virtual void emitBytes(StringRef Data);
735
736 /// Functionally identical to EmitBytes. When emitting textual assembly, this
737 /// method uses .byte directives instead of .ascii or .asciz for readability.
738 virtual void emitBinaryData(StringRef Data);
739
740 /// Emit the expression \p Value into the output as a native
741 /// integer of the given \p Size bytes.
742 ///
743 /// This is used to implement assembler directives such as .word, .quad,
744 /// etc.
745 ///
746 /// \param Value - The value to emit.
747 /// \param Size - The size of the integer (in bytes) to emit. This must
748 /// match a native machine width.
749 /// \param Loc - The location of the expression for error reporting.
750 virtual void emitValueImpl(const MCExpr *Value, unsigned Size,
751 SMLoc Loc = SMLoc());
752
753 void emitValue(const MCExpr *Value, unsigned Size, SMLoc Loc = SMLoc());
754
755 /// Special case of EmitValue that avoids the client having
756 /// to pass in a MCExpr for constant integers.
757 virtual void emitIntValue(uint64_t Value, unsigned Size);
758 virtual void emitIntValue(const APInt &Value);
759
760 /// Special case of EmitValue that avoids the client having to pass
761 /// in a MCExpr for constant integers & prints in Hex format for certain
762 /// modes.
763 virtual void emitIntValueInHex(uint64_t Value, unsigned Size) {
765 }
766
771
772 /// Special case of EmitValue that avoids the client having to pass
773 /// in a MCExpr for constant integers & prints in Hex format for certain
774 /// modes, pads the field with leading zeros to Size width
777 }
778
779 virtual void emitULEB128Value(const MCExpr *Value);
780
781 virtual void emitSLEB128Value(const MCExpr *Value);
782
783 /// Special case of EmitULEB128Value that avoids the client having to
784 /// pass in a MCExpr for constant integers.
785 unsigned emitULEB128IntValue(uint64_t Value, unsigned PadTo = 0);
786
787 /// Special case of EmitSLEB128Value that avoids the client having to
788 /// pass in a MCExpr for constant integers.
789 unsigned emitSLEB128IntValue(int64_t Value);
790
791 /// Special case of EmitValue that avoids the client having to pass in
792 /// a MCExpr for MCSymbols.
793 void emitSymbolValue(const MCSymbol *Sym, unsigned Size,
794 bool IsSectionRelative = false);
795
796 /// Emit NumBytes bytes worth of the value specified by FillValue.
797 /// This implements directives such as '.space'.
798 void emitFill(uint64_t NumBytes, uint8_t FillValue);
799
800 /// Emit \p Size bytes worth of the value specified by \p FillValue.
801 ///
802 /// This is used to implement assembler directives such as .space or .skip.
803 ///
804 /// \param NumBytes - The number of bytes to emit.
805 /// \param FillValue - The value to use when filling bytes.
806 /// \param Loc - The location of the expression for error reporting.
807 virtual void emitFill(const MCExpr &NumBytes, uint64_t FillValue,
808 SMLoc Loc = SMLoc());
809
810 /// Emit \p NumValues copies of \p Size bytes. Each \p Size bytes is
811 /// taken from the lowest order 4 bytes of \p Expr expression.
812 ///
813 /// This is used to implement assembler directives such as .fill.
814 ///
815 /// \param NumValues - The number of copies of \p Size bytes to emit.
816 /// \param Size - The size (in bytes) of each repeated value.
817 /// \param Expr - The expression from which \p Size bytes are used.
818 virtual void emitFill(const MCExpr &NumValues, int64_t Size, int64_t Expr,
819 SMLoc Loc = SMLoc());
820
821 virtual void emitNops(int64_t NumBytes, int64_t ControlledNopLength,
822 SMLoc Loc, const MCSubtargetInfo& STI);
823
824 /// Emit NumBytes worth of zeros.
825 /// This function properly handles data in virtual sections.
826 void emitZeros(uint64_t NumBytes);
827
828 /// Emit some number of copies of \p Value until the byte alignment \p
829 /// ByteAlignment is reached.
830 ///
831 /// If the number of bytes need to emit for the alignment is not a multiple
832 /// of \p ValueSize, then the contents of the emitted fill bytes is
833 /// undefined.
834 ///
835 /// This used to implement the .align assembler directive.
836 ///
837 /// \param Alignment - The alignment to reach.
838 /// \param Fill - The value to use when filling bytes.
839 /// \param FillLen - The size of the integer (in bytes) to emit for
840 /// \p Value. This must match a native machine width.
841 /// \param MaxBytesToEmit - The maximum numbers of bytes to emit, or 0. If
842 /// the alignment cannot be reached in this many bytes, no bytes are
843 /// emitted.
844 virtual void emitValueToAlignment(Align Alignment, int64_t Fill = 0,
845 uint8_t FillLen = 1,
846 unsigned MaxBytesToEmit = 0);
847
848 /// Emit nops until the byte alignment \p ByteAlignment is reached.
849 ///
850 /// This used to align code where the alignment bytes may be executed. This
851 /// can emit different bytes for different sizes to optimize execution.
852 ///
853 /// \param Alignment - The alignment to reach.
854 /// \param STI - The MCSubtargetInfo in operation when padding is emitted.
855 /// \param MaxBytesToEmit - The maximum numbers of bytes to emit, or 0. If
856 /// the alignment cannot be reached in this many bytes, no bytes are
857 /// emitted.
858 virtual void emitCodeAlignment(Align Alignment, const MCSubtargetInfo &STI,
859 unsigned MaxBytesToEmit = 0);
860
861 virtual void emitPrefAlign(Align A, const MCSymbol &End, bool EmitNops,
862 uint8_t Fill, const MCSubtargetInfo &STI);
863
864 /// Emit some number of copies of \p Value until the byte offset \p
865 /// Offset is reached.
866 ///
867 /// This is used to implement assembler directives such as .org.
868 ///
869 /// \param Offset - The offset to reach. This may be an expression, but the
870 /// expression must be associated with the current section.
871 /// \param Value - The value to use when filling bytes.
872 virtual void emitValueToOffset(const MCExpr *Offset, unsigned char Value,
873 SMLoc Loc);
874
875 /// @}
876
877 /// Switch to a new logical file. This is used to implement the '.file
878 /// "foo.c"' assembler directive.
879 virtual void emitFileDirective(StringRef Filename);
880
881 /// Emit ".file assembler diretive with additioal info.
882 virtual void emitFileDirective(StringRef Filename, StringRef CompilerVersion,
883 StringRef TimeStamp, StringRef Description);
884
885 /// Emit the "identifiers" directive. This implements the
886 /// '.ident "version foo"' assembler directive.
887 virtual void emitIdent(StringRef IdentString) {}
888
889 /// Associate a filename with a specified logical file number. This
890 /// implements the DWARF2 '.file 4 "foo.c"' assembler directive.
892 unsigned FileNo, StringRef Directory, StringRef Filename,
893 std::optional<MD5::MD5Result> Checksum = std::nullopt,
894 std::optional<StringRef> Source = std::nullopt, unsigned CUID = 0) {
895 return cantFail(
896 tryEmitDwarfFileDirective(FileNo, Directory, Filename, Checksum,
897 Source, CUID));
898 }
899
900 /// Associate a filename with a specified logical file number.
901 /// Also associate a directory, optional checksum, and optional source
902 /// text with the logical file. This implements the DWARF2
903 /// '.file 4 "dir/foo.c"' assembler directive, and the DWARF5
904 /// '.file 4 "dir/foo.c" md5 "..." source "..."' assembler directive.
905 virtual Expected<unsigned> tryEmitDwarfFileDirective(
906 unsigned FileNo, StringRef Directory, StringRef Filename,
907 std::optional<MD5::MD5Result> Checksum = std::nullopt,
908 std::optional<StringRef> Source = std::nullopt, unsigned CUID = 0);
909
910 /// Specify the "root" file of the compilation, using the ".file 0" extension.
911 virtual void emitDwarfFile0Directive(StringRef Directory, StringRef Filename,
912 std::optional<MD5::MD5Result> Checksum,
913 std::optional<StringRef> Source,
914 unsigned CUID = 0);
915
916 virtual void emitCFIBKeyFrame();
917 virtual void emitCFIMTETaggedFrame();
918
919 /// This implements the DWARF2 '.loc fileno lineno ...' assembler
920 /// directive.
921 virtual void emitDwarfLocDirective(unsigned FileNo, unsigned Line,
922 unsigned Column, unsigned Flags,
923 unsigned Isa, unsigned Discriminator,
924 StringRef FileName,
925 StringRef Comment = {});
926
927 /// This is same as emitDwarfLocDirective, except it has the capability to
928 /// add inlined_at information.
930 unsigned FileNo, unsigned Line, unsigned Column, unsigned FileIA,
931 unsigned LineIA, unsigned ColumnIA, const MCSymbol *Sym, unsigned Flags,
932 unsigned Isa, unsigned Discriminator, StringRef FileName,
933 StringRef Comment = {}) {}
934
935 /// This implements the '.loc_label Name' directive.
936 virtual void emitDwarfLocLabelDirective(SMLoc Loc, StringRef Name);
937
938 /// Associate a filename with a specified logical file number, and also
939 /// specify that file's checksum information. This implements the '.cv_file 4
940 /// "foo.c"' assembler directive. Returns true on success.
941 virtual bool emitCVFileDirective(unsigned FileNo, StringRef Filename,
942 ArrayRef<uint8_t> Checksum,
943 unsigned ChecksumKind);
944
945 /// Introduces a function id for use with .cv_loc.
946 virtual bool emitCVFuncIdDirective(unsigned FunctionId);
947
948 /// Introduces an inline call site id for use with .cv_loc. Includes
949 /// extra information for inline line table generation.
950 virtual bool emitCVInlineSiteIdDirective(unsigned FunctionId, unsigned IAFunc,
951 unsigned IAFile, unsigned IALine,
952 unsigned IACol, SMLoc Loc);
953
954 /// This implements the CodeView '.cv_loc' assembler directive.
955 virtual void emitCVLocDirective(unsigned FunctionId, unsigned FileNo,
956 unsigned Line, unsigned Column,
957 bool PrologueEnd, bool IsStmt,
958 StringRef FileName, SMLoc Loc);
959
960 /// This implements the CodeView '.cv_linetable' assembler directive.
961 virtual void emitCVLinetableDirective(unsigned FunctionId,
962 const MCSymbol *FnStart,
963 const MCSymbol *FnEnd);
964
965 /// This implements the CodeView '.cv_inline_linetable' assembler
966 /// directive.
967 virtual void emitCVInlineLinetableDirective(unsigned PrimaryFunctionId,
968 unsigned SourceFileId,
969 unsigned SourceLineNum,
970 const MCSymbol *FnStartSym,
971 const MCSymbol *FnEndSym);
972
973 /// This implements the CodeView '.cv_def_range' assembler
974 /// directive.
975 virtual void emitCVDefRangeDirective(
976 ArrayRef<std::pair<const MCSymbol *, const MCSymbol *>> Ranges,
977 StringRef FixedSizePortion);
978
979 virtual void emitCVDefRangeDirective(
980 ArrayRef<std::pair<const MCSymbol *, const MCSymbol *>> Ranges,
981 codeview::DefRangeRegisterRelHeader DRHdr);
982
983 virtual void emitCVDefRangeDirective(
984 ArrayRef<std::pair<const MCSymbol *, const MCSymbol *>> Ranges,
985 codeview::DefRangeSubfieldRegisterHeader DRHdr);
986
987 virtual void emitCVDefRangeDirective(
988 ArrayRef<std::pair<const MCSymbol *, const MCSymbol *>> Ranges,
989 codeview::DefRangeRegisterHeader DRHdr);
990
991 virtual void emitCVDefRangeDirective(
992 ArrayRef<std::pair<const MCSymbol *, const MCSymbol *>> Ranges,
993 codeview::DefRangeFramePointerRelHeader DRHdr);
994
995 virtual void emitCVDefRangeDirective(
996 ArrayRef<std::pair<const MCSymbol *, const MCSymbol *>> Ranges,
997 codeview::DefRangeRegisterRelIndirHeader DRHdr);
998
999 /// This implements the CodeView '.cv_stringtable' assembler directive.
1001
1002 /// This implements the CodeView '.cv_filechecksums' assembler directive.
1004
1005 /// This implements the CodeView '.cv_filechecksumoffset' assembler
1006 /// directive.
1007 virtual void emitCVFileChecksumOffsetDirective(unsigned FileNo) {}
1008
1009 /// This implements the CodeView '.cv_fpo_data' assembler directive.
1010 virtual void emitCVFPOData(const MCSymbol *ProcSym, SMLoc Loc = {}) {}
1011
1012 /// Emit the absolute difference between two symbols.
1013 ///
1014 /// \pre Offset of \c Hi is greater than the offset \c Lo.
1015 virtual void emitAbsoluteSymbolDiff(const MCSymbol *Hi, const MCSymbol *Lo,
1016 unsigned Size);
1017
1018 /// Emit the absolute difference between two symbols encoded with ULEB128.
1019 virtual void emitAbsoluteSymbolDiffAsULEB128(const MCSymbol *Hi,
1020 const MCSymbol *Lo);
1021
1022 virtual MCSymbol *getDwarfLineTableSymbol(unsigned CUID);
1023 virtual void emitCFISections(bool EH, bool Debug, bool SFrame);
1024 void emitCFIStartProc(bool IsSimple, SMLoc Loc = SMLoc());
1025 void emitCFIEndProc();
1026 virtual void emitCFIDefCfa(int64_t Register, int64_t Offset, SMLoc Loc = {});
1027 virtual void emitCFIDefCfaOffset(int64_t Offset, SMLoc Loc = {});
1028 virtual void emitCFIDefCfaRegister(int64_t Register, SMLoc Loc = {});
1029 virtual void emitCFILLVMDefAspaceCfa(int64_t Register, int64_t Offset,
1030 int64_t AddressSpace, SMLoc Loc = {});
1031 virtual void emitCFIOffset(int64_t Register, int64_t Offset, SMLoc Loc = {});
1032 virtual void emitCFIPersonality(const MCSymbol *Sym, unsigned Encoding);
1033 virtual void emitCFILsda(const MCSymbol *Sym, unsigned Encoding);
1034 virtual void emitCFIRememberState(SMLoc Loc);
1035 virtual void emitCFIRestoreState(SMLoc Loc);
1036 virtual void emitCFISameValue(int64_t Register, SMLoc Loc = {});
1037 virtual void emitCFIRestore(int64_t Register, SMLoc Loc = {});
1038 virtual void emitCFIRelOffset(int64_t Register, int64_t Offset, SMLoc Loc);
1039 virtual void emitCFIAdjustCfaOffset(int64_t Adjustment, SMLoc Loc = {});
1040 virtual void emitCFIEscape(StringRef Values, SMLoc Loc = {});
1041 virtual void emitCFIReturnColumn(int64_t Register);
1042 virtual void emitCFIGnuArgsSize(int64_t Size, SMLoc Loc = {});
1043 virtual void emitCFISignalFrame();
1044 virtual void emitCFIUndefined(int64_t Register, SMLoc Loc = {});
1045 virtual void emitCFIRegister(int64_t Register1, int64_t Register2,
1046 SMLoc Loc = {});
1047 virtual void emitCFIWindowSave(SMLoc Loc = {});
1048 virtual void emitCFINegateRAState(SMLoc Loc = {});
1049 virtual void emitCFILLVMRegisterPair(int64_t Register, int64_t R1,
1050 int64_t R1SizeInBits, int64_t R2,
1051 int64_t R2SizeInBits, SMLoc Loc = {});
1052 virtual void emitCFILLVMVectorRegisters(
1053 int64_t Register, ArrayRef<MCCFIInstruction::VectorRegisterWithLane> VRs,
1054 SMLoc Loc = {});
1055 virtual void emitCFILLVMVectorOffset(int64_t Register,
1056 int64_t RegisterSizeInBits,
1057 int64_t MaskRegister,
1058 int64_t MaskRegisterSizeInBits,
1059 int64_t Offset, SMLoc Loc = {});
1060 virtual void
1061 emitCFILLVMVectorRegisterMask(int64_t Register, int64_t SpillRegister,
1062 int64_t SpillRegisterLaneSizeInBits,
1063 int64_t MaskRegister,
1064 int64_t MaskRegisterSizeInBits, SMLoc Loc = {});
1065
1066 virtual void emitCFINegateRAStateWithPC(SMLoc Loc = {});
1067 virtual void emitCFILLVMSetRAState(unsigned State, MCSymbol *PACSym,
1068 SMLoc Loc = {});
1069 virtual void emitCFILLVMSetRAState(unsigned State, int64_t Offset,
1070 SMLoc Loc = {});
1071 virtual void emitCFILabelDirective(SMLoc Loc, StringRef Name);
1072 virtual void emitCFIValOffset(int64_t Register, int64_t Offset,
1073 SMLoc Loc = {});
1074
1075 virtual void emitWinCFIStartProc(const MCSymbol *Symbol, SMLoc Loc = SMLoc());
1076 virtual void emitWinCFIEndProc(SMLoc Loc = SMLoc());
1077 /// This is used on platforms, such as Windows on ARM64, that require function
1078 /// or funclet sizes to be emitted in .xdata before the End marker is emitted
1079 /// for the frame. We cannot use the End marker, as it is not set at the
1080 /// point of emitting .xdata, in order to indicate that the frame is active.
1081 virtual void emitWinCFIFuncletOrFuncEnd(SMLoc Loc = SMLoc());
1082 virtual void emitWinCFISplitChained(SMLoc Loc = SMLoc());
1083 virtual void emitWinCFIPushReg(MCRegister Register, SMLoc Loc = SMLoc());
1084 virtual void emitWinCFIPush2Regs(MCRegister Reg1, MCRegister Reg2,
1085 SMLoc Loc = SMLoc());
1086 virtual void emitWinCFISetFrame(MCRegister Register, unsigned Offset,
1087 SMLoc Loc = SMLoc());
1088 virtual void emitWinCFIAllocStack(unsigned Size, SMLoc Loc = SMLoc());
1089 virtual void emitWinCFISaveReg(MCRegister Register, unsigned Offset,
1090 SMLoc Loc = SMLoc());
1091 virtual void emitWinCFISaveXMM(MCRegister Register, unsigned Offset,
1092 SMLoc Loc = SMLoc());
1093 virtual void emitWinCFIPushFrame(bool Code, SMLoc Loc = SMLoc());
1094 virtual void emitWinCFIEndProlog(SMLoc Loc = SMLoc());
1095 virtual void emitWinCFIBeginEpilogue(SMLoc Loc = SMLoc());
1096 virtual void emitWinCFIEndEpilogue(SMLoc Loc = SMLoc());
1097 virtual void emitWinCFIUnwindV2Start(SMLoc Loc = SMLoc());
1098 virtual void emitWinCFIUnwindVersion(uint8_t Version, SMLoc Loc = SMLoc());
1099
1100 /// Set the default unwind version for new WinCFI frames.
1102 DefaultWinCFIUnwindVersion = V;
1103 }
1105 return DefaultWinCFIUnwindVersion;
1106 }
1107 virtual void emitWinEHHandler(const MCSymbol *Sym, bool Unwind, bool Except,
1108 SMLoc Loc = SMLoc());
1109 virtual void emitWinEHHandlerData(SMLoc Loc = SMLoc());
1110
1111 virtual void emitCGProfileEntry(const MCSymbolRefExpr *From,
1112 const MCSymbolRefExpr *To, uint64_t Count);
1113
1114 /// Get the .pdata section used for the given section. Typically the given
1115 /// section is either the main .text section or some other COMDAT .text
1116 /// section, but it may be any section containing code.
1117 MCSection *getAssociatedPDataSection(const MCSection *TextSec);
1118
1119 /// Get the .xdata section used for the given section.
1120 MCSection *getAssociatedXDataSection(const MCSection *TextSec);
1121
1122 virtual void emitSyntaxDirective(StringRef Syntax, StringRef Options);
1123
1124 /// Record a relocation described by the .reloc directive.
1125 virtual void emitRelocDirective(const MCExpr &Offset, StringRef Name,
1126 const MCExpr *Expr, SMLoc Loc = {}) {}
1127
1128 virtual void emitAddrsig() {}
1129 virtual void emitAddrsigSym(const MCSymbol *Sym) {}
1130
1131 /// Emit the given \p Instruction into the current section.
1132 virtual void emitInstruction(const MCInst &Inst, const MCSubtargetInfo &STI);
1133
1134 /// Emit the a pseudo probe into the current section.
1135 virtual void emitPseudoProbe(uint64_t Guid, uint64_t Index, uint64_t Type,
1136 uint64_t Attr, uint64_t Discriminator,
1137 const MCPseudoProbeInlineStack &InlineStack,
1138 MCSymbol *FnSym);
1139
1140 /// If this file is backed by a assembly streamer, this dumps the
1141 /// specified string in the output .s file. This capability is indicated by
1142 /// the hasRawTextSupport() predicate. By default this aborts.
1143 void emitRawText(const Twine &String);
1144
1145 /// Streamer specific finalization.
1146 virtual void finishImpl();
1147 /// Finish emission of machine code.
1148 void finish(SMLoc EndLoc = SMLoc());
1149
1150 virtual bool mayHaveInstructions(MCSection &Sec) const { return true; }
1151
1152 /// Emit a special value of 0xffffffff if producing 64-bit debugging info.
1153 void maybeEmitDwarf64Mark();
1154
1155 /// Emit a unit length field. The actual format, DWARF32 or DWARF64, is chosen
1156 /// according to the settings.
1157 virtual void emitDwarfUnitLength(uint64_t Length, const Twine &Comment);
1158
1159 /// Emit a unit length field. The actual format, DWARF32 or DWARF64, is chosen
1160 /// according to the settings.
1161 /// Return the end symbol generated inside, the caller needs to emit it.
1162 virtual MCSymbol *emitDwarfUnitLength(const Twine &Prefix,
1163 const Twine &Comment);
1164
1165 /// Emit the debug line start label.
1166 virtual void emitDwarfLineStartLabel(MCSymbol *StartSym);
1167
1168 /// Emit the debug line end entry.
1169 virtual void emitDwarfLineEndEntry(MCSection *Section, MCSymbol *LastLabel,
1170 MCSymbol *EndLabel = nullptr) {}
1171
1172 /// If targets does not support representing debug line section by .loc/.file
1173 /// directives in assembly output, we need to populate debug line section with
1174 /// raw debug line contents.
1175 virtual void emitDwarfAdvanceLineAddr(int64_t LineDelta,
1176 const MCSymbol *LastLabel,
1177 const MCSymbol *Label,
1178 unsigned PointerSize) {}
1179};
1180
1182 return Streamer.getContext();
1183}
1184
1185/// Create a dummy machine code streamer, which does nothing. This is useful for
1186/// timing the assembler front end.
1188
1189} // end namespace llvm
1190
1191#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:215
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
Func getContext().diagnose(DiagnosticInfoUnsupported(Func
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:689
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.
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:763
virtual void emitTargetTriple(StringRef TargetTriple)
Definition MCStreamer.h:531
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:891
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:887
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:775
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:768
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:929
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:770
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:769
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:686
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:767
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:48
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:578
@ Length
Definition DWP.cpp:578
LLVM_ABI MCStreamer * createNullStreamer(MCContext &Ctx)
Create a dummy machine code streamer, which does nothing.
MCDataRegionType
MCLOHDirective::LOHArgs MCLOHArgs
SmallVector< InlineSite, 8 > MCPseudoProbeInlineStack
MCVersionMinType
@ 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
MCLOHType
Linker Optimization Hint Type.
RelativeUniformCounterPtr ValuesPtrExpr VTableAddr Count
Definition InstrProf.h:145
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