1 //===- lib/MC/MCObjectStreamer.cpp - Object File MCStreamer Interface -----===//
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
7 //===----------------------------------------------------------------------===//
9 #include "llvm/MC/MCObjectStreamer.h"
10 #include "llvm/MC/MCAsmBackend.h"
11 #include "llvm/MC/MCAsmInfo.h"
12 #include "llvm/MC/MCAssembler.h"
13 #include "llvm/MC/MCCodeEmitter.h"
14 #include "llvm/MC/MCCodeView.h"
15 #include "llvm/MC/MCContext.h"
16 #include "llvm/MC/MCDwarf.h"
17 #include "llvm/MC/MCExpr.h"
18 #include "llvm/MC/MCObjectFileInfo.h"
19 #include "llvm/MC/MCObjectWriter.h"
20 #include "llvm/MC/MCSection.h"
21 #include "llvm/MC/MCSymbol.h"
22 #include "llvm/MC/MCValue.h"
23 #include "llvm/Support/ErrorHandling.h"
24 #include "llvm/Support/SourceMgr.h"
27 MCObjectStreamer::MCObjectStreamer(MCContext
&Context
,
28 std::unique_ptr
<MCAsmBackend
> TAB
,
29 std::unique_ptr
<MCObjectWriter
> OW
,
30 std::unique_ptr
<MCCodeEmitter
> Emitter
)
31 : MCStreamer(Context
),
32 Assembler(std::make_unique
<MCAssembler
>(
33 Context
, std::move(TAB
), std::move(Emitter
), std::move(OW
))),
34 EmitEHFrame(true), EmitDebugFrame(false) {
35 assert(Assembler
->getBackendPtr() && Assembler
->getEmitterPtr());
36 setAllowAutoPadding(Assembler
->getBackend().allowAutoPadding());
37 if (Context
.getTargetOptions() && Context
.getTargetOptions()->MCRelaxAll
)
38 Assembler
->setRelaxAll(true);
41 MCObjectStreamer::~MCObjectStreamer() = default;
43 MCAssembler
*MCObjectStreamer::getAssemblerPtr() {
44 if (getUseAssemblerInfoForParsing())
45 return Assembler
.get();
49 // When fixup's offset is a forward declared label, e.g.:
51 // .reloc 1f, R_MIPS_JALR, foo
54 // postpone adding it to Fixups vector until the label is defined and its offset
56 void MCObjectStreamer::resolvePendingFixups() {
57 for (PendingMCFixup
&PendingFixup
: PendingFixups
) {
58 if (!PendingFixup
.Sym
|| PendingFixup
.Sym
->isUndefined ()) {
59 getContext().reportError(PendingFixup
.Fixup
.getLoc(),
60 "unresolved relocation offset");
63 PendingFixup
.Fixup
.setOffset(PendingFixup
.Sym
->getOffset() +
64 PendingFixup
.Fixup
.getOffset());
66 // If the location symbol to relocate is in MCEncodedFragmentWithFixups,
67 // put the Fixup into location symbol's fragment. Otherwise
68 // put into PendingFixup.DF
69 MCFragment
*SymFragment
= PendingFixup
.Sym
->getFragment();
70 switch (SymFragment
->getKind()) {
71 case MCFragment::FT_Relaxable
:
72 case MCFragment::FT_Dwarf
:
73 case MCFragment::FT_PseudoProbe
:
74 cast
<MCEncodedFragmentWithFixups
<8, 1>>(SymFragment
)
76 .push_back(PendingFixup
.Fixup
);
78 case MCFragment::FT_Data
:
79 case MCFragment::FT_CVDefRange
:
80 cast
<MCEncodedFragmentWithFixups
<32, 4>>(SymFragment
)
82 .push_back(PendingFixup
.Fixup
);
85 PendingFixup
.DF
->getFixups().push_back(PendingFixup
.Fixup
);
89 PendingFixups
.clear();
92 // As a compile-time optimization, avoid allocating and evaluating an MCExpr
93 // tree for (Hi - Lo) when Hi and Lo are offsets into the same fragment.
94 static std::optional
<uint64_t> absoluteSymbolDiff(const MCSymbol
*Hi
,
97 if (!Hi
->getFragment() || Hi
->getFragment() != Lo
->getFragment() ||
98 Hi
->isVariable() || Lo
->isVariable())
101 return Hi
->getOffset() - Lo
->getOffset();
104 void MCObjectStreamer::emitAbsoluteSymbolDiff(const MCSymbol
*Hi
,
107 if (!getAssembler().getContext().getTargetTriple().isRISCV())
108 if (std::optional
<uint64_t> Diff
= absoluteSymbolDiff(Hi
, Lo
))
109 return emitIntValue(*Diff
, Size
);
110 MCStreamer::emitAbsoluteSymbolDiff(Hi
, Lo
, Size
);
113 void MCObjectStreamer::emitAbsoluteSymbolDiffAsULEB128(const MCSymbol
*Hi
,
114 const MCSymbol
*Lo
) {
115 if (!getAssembler().getContext().getTargetTriple().isRISCV())
116 if (std::optional
<uint64_t> Diff
= absoluteSymbolDiff(Hi
, Lo
)) {
117 emitULEB128IntValue(*Diff
);
120 MCStreamer::emitAbsoluteSymbolDiffAsULEB128(Hi
, Lo
);
123 void MCObjectStreamer::reset() {
126 if (getContext().getTargetOptions())
127 Assembler
->setRelaxAll(getContext().getTargetOptions()->MCRelaxAll
);
130 EmitDebugFrame
= false;
134 void MCObjectStreamer::emitFrames(MCAsmBackend
*MAB
) {
135 if (!getNumFrameInfos())
139 MCDwarfFrameEmitter::Emit(*this, MAB
, true);
142 MCDwarfFrameEmitter::Emit(*this, MAB
, false);
145 static bool canReuseDataFragment(const MCDataFragment
&F
,
146 const MCAssembler
&Assembler
,
147 const MCSubtargetInfo
*STI
) {
148 if (!F
.hasInstructions())
150 // Do not add data after a linker-relaxable instruction. The difference
151 // between a new label and a label at or before the linker-relaxable
152 // instruction cannot be resolved at assemble-time.
153 if (F
.isLinkerRelaxable())
155 // When bundling is enabled, we don't want to add data to a fragment that
156 // already has instructions (see MCELFStreamer::emitInstToData for details)
157 if (Assembler
.isBundlingEnabled())
159 // If the subtarget is changed mid fragment we start a new fragment to record
161 return !STI
|| F
.getSubtargetInfo() == STI
;
165 MCObjectStreamer::getOrCreateDataFragment(const MCSubtargetInfo
*STI
) {
166 auto *F
= dyn_cast
<MCDataFragment
>(getCurrentFragment());
167 if (!F
|| !canReuseDataFragment(*F
, *Assembler
, STI
)) {
168 F
= getContext().allocFragment
<MCDataFragment
>();
174 void MCObjectStreamer::visitUsedSymbol(const MCSymbol
&Sym
) {
175 Assembler
->registerSymbol(Sym
);
178 void MCObjectStreamer::emitCFISections(bool EH
, bool Debug
) {
179 MCStreamer::emitCFISections(EH
, Debug
);
181 EmitDebugFrame
= Debug
;
184 void MCObjectStreamer::emitValueImpl(const MCExpr
*Value
, unsigned Size
,
186 MCStreamer::emitValueImpl(Value
, Size
, Loc
);
187 MCDataFragment
*DF
= getOrCreateDataFragment();
189 MCDwarfLineEntry::make(this, getCurrentSectionOnly());
191 // Avoid fixups when possible.
193 if (Value
->evaluateAsAbsolute(AbsValue
, getAssemblerPtr())) {
194 if (!isUIntN(8 * Size
, AbsValue
) && !isIntN(8 * Size
, AbsValue
)) {
195 getContext().reportError(
196 Loc
, "value evaluated as " + Twine(AbsValue
) + " is out of range.");
199 emitIntValue(AbsValue
, Size
);
202 DF
->getFixups().push_back(
203 MCFixup::create(DF
->getContents().size(), Value
,
204 MCFixup::getKindForSize(Size
, false), Loc
));
205 DF
->getContents().resize(DF
->getContents().size() + Size
, 0);
208 MCSymbol
*MCObjectStreamer::emitCFILabel() {
209 MCSymbol
*Label
= getContext().createTempSymbol("cfi");
214 void MCObjectStreamer::emitCFIStartProcImpl(MCDwarfFrameInfo
&Frame
) {
215 // We need to create a local symbol to avoid relocations.
216 Frame
.Begin
= getContext().createTempSymbol();
217 emitLabel(Frame
.Begin
);
220 void MCObjectStreamer::emitCFIEndProcImpl(MCDwarfFrameInfo
&Frame
) {
221 Frame
.End
= getContext().createTempSymbol();
222 emitLabel(Frame
.End
);
225 void MCObjectStreamer::emitLabel(MCSymbol
*Symbol
, SMLoc Loc
) {
226 MCStreamer::emitLabel(Symbol
, Loc
);
228 getAssembler().registerSymbol(*Symbol
);
230 // If there is a current fragment, mark the symbol as pointing into it.
231 // Otherwise queue the label and set its fragment pointer when we emit the
233 MCDataFragment
*F
= getOrCreateDataFragment();
234 Symbol
->setFragment(F
);
235 Symbol
->setOffset(F
->getContents().size());
237 emitPendingAssignments(Symbol
);
240 void MCObjectStreamer::emitPendingAssignments(MCSymbol
*Symbol
) {
241 auto Assignments
= pendingAssignments
.find(Symbol
);
242 if (Assignments
!= pendingAssignments
.end()) {
243 for (const PendingAssignment
&A
: Assignments
->second
)
244 emitAssignment(A
.Symbol
, A
.Value
);
246 pendingAssignments
.erase(Assignments
);
250 // Emit a label at a previously emitted fragment/offset position. This must be
251 // within the currently-active section.
252 void MCObjectStreamer::emitLabelAtPos(MCSymbol
*Symbol
, SMLoc Loc
,
253 MCDataFragment
&F
, uint64_t Offset
) {
254 assert(F
.getParent() == getCurrentSectionOnly());
255 MCStreamer::emitLabel(Symbol
, Loc
);
256 getAssembler().registerSymbol(*Symbol
);
257 Symbol
->setFragment(&F
);
258 Symbol
->setOffset(Offset
);
261 void MCObjectStreamer::emitULEB128Value(const MCExpr
*Value
) {
263 if (Value
->evaluateAsAbsolute(IntValue
, getAssemblerPtr())) {
264 emitULEB128IntValue(IntValue
);
267 insert(getContext().allocFragment
<MCLEBFragment
>(*Value
, false));
270 void MCObjectStreamer::emitSLEB128Value(const MCExpr
*Value
) {
272 if (Value
->evaluateAsAbsolute(IntValue
, getAssemblerPtr())) {
273 emitSLEB128IntValue(IntValue
);
276 insert(getContext().allocFragment
<MCLEBFragment
>(*Value
, true));
279 void MCObjectStreamer::emitWeakReference(MCSymbol
*Alias
,
280 const MCSymbol
*Symbol
) {
281 report_fatal_error("This file format doesn't support weak aliases.");
284 void MCObjectStreamer::changeSection(MCSection
*Section
, uint32_t Subsection
) {
285 changeSectionImpl(Section
, Subsection
);
288 bool MCObjectStreamer::changeSectionImpl(MCSection
*Section
,
289 uint32_t Subsection
) {
290 assert(Section
&& "Cannot switch to a null section!");
291 getContext().clearDwarfLocSeen();
293 auto &Subsections
= Section
->Subsections
;
294 size_t I
= 0, E
= Subsections
.size();
295 while (I
!= E
&& Subsections
[I
].first
< Subsection
)
297 // If the subsection number is not in the sorted Subsections list, create a
298 // new fragment list.
299 if (I
== E
|| Subsections
[I
].first
!= Subsection
) {
300 auto *F
= getContext().allocFragment
<MCDataFragment
>();
301 F
->setParent(Section
);
302 Subsections
.insert(Subsections
.begin() + I
,
303 {Subsection
, MCSection::FragList
{F
, F
}});
305 Section
->CurFragList
= &Subsections
[I
].second
;
306 CurFrag
= Section
->CurFragList
->Tail
;
308 return getAssembler().registerSection(*Section
);
311 void MCObjectStreamer::switchSectionNoPrint(MCSection
*Section
) {
312 MCStreamer::switchSectionNoPrint(Section
);
313 changeSection(Section
, 0);
316 void MCObjectStreamer::emitAssignment(MCSymbol
*Symbol
, const MCExpr
*Value
) {
317 getAssembler().registerSymbol(*Symbol
);
318 MCStreamer::emitAssignment(Symbol
, Value
);
319 emitPendingAssignments(Symbol
);
322 void MCObjectStreamer::emitConditionalAssignment(MCSymbol
*Symbol
,
323 const MCExpr
*Value
) {
324 const MCSymbol
*Target
= &cast
<MCSymbolRefExpr
>(*Value
).getSymbol();
326 // If the symbol already exists, emit the assignment. Otherwise, emit it
327 // later only if the symbol is also emitted.
328 if (Target
->isRegistered())
329 emitAssignment(Symbol
, Value
);
331 pendingAssignments
[Target
].push_back({Symbol
, Value
});
334 bool MCObjectStreamer::mayHaveInstructions(MCSection
&Sec
) const {
335 return Sec
.hasInstructions();
338 void MCObjectStreamer::emitInstruction(const MCInst
&Inst
,
339 const MCSubtargetInfo
&STI
) {
340 const MCSection
&Sec
= *getCurrentSectionOnly();
341 if (Sec
.isVirtualSection()) {
342 getContext().reportError(Inst
.getLoc(), Twine(Sec
.getVirtualSectionKind()) +
343 " section '" + Sec
.getName() +
344 "' cannot have instructions");
347 emitInstructionImpl(Inst
, STI
);
350 void MCObjectStreamer::emitInstructionImpl(const MCInst
&Inst
,
351 const MCSubtargetInfo
&STI
) {
352 MCStreamer::emitInstruction(Inst
, STI
);
354 MCSection
*Sec
= getCurrentSectionOnly();
355 Sec
->setHasInstructions(true);
357 // Now that a machine instruction has been assembled into this section, make
358 // a line entry for any .loc directive that has been seen.
359 MCDwarfLineEntry::make(this, getCurrentSectionOnly());
361 // If this instruction doesn't need relaxation, just emit it as data.
362 MCAssembler
&Assembler
= getAssembler();
363 MCAsmBackend
&Backend
= Assembler
.getBackend();
364 if (!(Backend
.mayNeedRelaxation(Inst
, STI
) ||
365 Backend
.allowEnhancedRelaxation())) {
366 emitInstToData(Inst
, STI
);
370 // Otherwise, relax and emit it as data if either:
371 // - The RelaxAll flag was passed
372 // - Bundling is enabled and this instruction is inside a bundle-locked
373 // group. We want to emit all such instructions into the same data
375 if (Assembler
.getRelaxAll() ||
376 (Assembler
.isBundlingEnabled() && Sec
->isBundleLocked())) {
377 MCInst Relaxed
= Inst
;
378 while (Backend
.mayNeedRelaxation(Relaxed
, STI
))
379 Backend
.relaxInstruction(Relaxed
, STI
);
380 emitInstToData(Relaxed
, STI
);
384 // Otherwise emit to a separate fragment.
385 emitInstToFragment(Inst
, STI
);
388 void MCObjectStreamer::emitInstToFragment(const MCInst
&Inst
,
389 const MCSubtargetInfo
&STI
) {
390 // Always create a new, separate fragment here, because its size can change
391 // during relaxation.
392 MCRelaxableFragment
*IF
=
393 getContext().allocFragment
<MCRelaxableFragment
>(Inst
, STI
);
396 getAssembler().getEmitter().encodeInstruction(Inst
, IF
->getContents(),
397 IF
->getFixups(), STI
);
401 static const char *const BundlingNotImplementedMsg
=
402 "Aligned bundling is not implemented for this object format";
405 void MCObjectStreamer::emitBundleAlignMode(Align Alignment
) {
406 llvm_unreachable(BundlingNotImplementedMsg
);
409 void MCObjectStreamer::emitBundleLock(bool AlignToEnd
) {
410 llvm_unreachable(BundlingNotImplementedMsg
);
413 void MCObjectStreamer::emitBundleUnlock() {
414 llvm_unreachable(BundlingNotImplementedMsg
);
417 void MCObjectStreamer::emitDwarfLocDirective(unsigned FileNo
, unsigned Line
,
418 unsigned Column
, unsigned Flags
,
420 unsigned Discriminator
,
421 StringRef FileName
) {
422 // In case we see two .loc directives in a row, make sure the
423 // first one gets a line entry.
424 MCDwarfLineEntry::make(this, getCurrentSectionOnly());
426 this->MCStreamer::emitDwarfLocDirective(FileNo
, Line
, Column
, Flags
, Isa
,
427 Discriminator
, FileName
);
430 static const MCExpr
*buildSymbolDiff(MCObjectStreamer
&OS
, const MCSymbol
*A
,
431 const MCSymbol
*B
, SMLoc Loc
) {
432 MCContext
&Context
= OS
.getContext();
433 MCSymbolRefExpr::VariantKind Variant
= MCSymbolRefExpr::VK_None
;
434 const MCExpr
*ARef
= MCSymbolRefExpr::create(A
, Variant
, Context
);
435 const MCExpr
*BRef
= MCSymbolRefExpr::create(B
, Variant
, Context
);
436 const MCExpr
*AddrDelta
=
437 MCBinaryExpr::create(MCBinaryExpr::Sub
, ARef
, BRef
, Context
, Loc
);
441 static void emitDwarfSetLineAddr(MCObjectStreamer
&OS
,
442 MCDwarfLineTableParams Params
,
443 int64_t LineDelta
, const MCSymbol
*Label
,
445 // emit the sequence to set the address
446 OS
.emitIntValue(dwarf::DW_LNS_extended_op
, 1);
447 OS
.emitULEB128IntValue(PointerSize
+ 1);
448 OS
.emitIntValue(dwarf::DW_LNE_set_address
, 1);
449 OS
.emitSymbolValue(Label
, PointerSize
);
451 // emit the sequence for the LineDelta (from 1) and a zero address delta.
452 MCDwarfLineAddr::Emit(&OS
, Params
, LineDelta
, 0);
455 void MCObjectStreamer::emitDwarfAdvanceLineAddr(int64_t LineDelta
,
456 const MCSymbol
*LastLabel
,
457 const MCSymbol
*Label
,
458 unsigned PointerSize
) {
460 emitDwarfSetLineAddr(*this, Assembler
->getDWARFLinetableParams(), LineDelta
,
464 const MCExpr
*AddrDelta
= buildSymbolDiff(*this, Label
, LastLabel
, SMLoc());
465 insert(getContext().allocFragment
<MCDwarfLineAddrFragment
>(LineDelta
,
469 void MCObjectStreamer::emitDwarfLineEndEntry(MCSection
*Section
,
470 MCSymbol
*LastLabel
) {
471 // Emit a DW_LNE_end_sequence for the end of the section.
472 // Use the section end label to compute the address delta and use INT64_MAX
473 // as the line delta which is the signal that this is actually a
474 // DW_LNE_end_sequence.
475 MCSymbol
*SectionEnd
= endSection(Section
);
477 // Switch back the dwarf line section, in case endSection had to switch the
479 MCContext
&Ctx
= getContext();
480 switchSection(Ctx
.getObjectFileInfo()->getDwarfLineSection());
482 const MCAsmInfo
*AsmInfo
= Ctx
.getAsmInfo();
483 emitDwarfAdvanceLineAddr(INT64_MAX
, LastLabel
, SectionEnd
,
484 AsmInfo
->getCodePointerSize());
487 void MCObjectStreamer::emitDwarfAdvanceFrameAddr(const MCSymbol
*LastLabel
,
488 const MCSymbol
*Label
,
490 const MCExpr
*AddrDelta
= buildSymbolDiff(*this, Label
, LastLabel
, Loc
);
491 insert(getContext().allocFragment
<MCDwarfCallFrameFragment
>(*AddrDelta
));
494 void MCObjectStreamer::emitCVLocDirective(unsigned FunctionId
, unsigned FileNo
,
495 unsigned Line
, unsigned Column
,
496 bool PrologueEnd
, bool IsStmt
,
497 StringRef FileName
, SMLoc Loc
) {
498 // Validate the directive.
499 if (!checkCVLocSection(FunctionId
, FileNo
, Loc
))
502 // Emit a label at the current position and record it in the CodeViewContext.
503 MCSymbol
*LineSym
= getContext().createTempSymbol();
505 getContext().getCVContext().recordCVLoc(getContext(), LineSym
, FunctionId
,
506 FileNo
, Line
, Column
, PrologueEnd
,
510 void MCObjectStreamer::emitCVLinetableDirective(unsigned FunctionId
,
511 const MCSymbol
*Begin
,
512 const MCSymbol
*End
) {
513 getContext().getCVContext().emitLineTableForFunction(*this, FunctionId
, Begin
,
515 this->MCStreamer::emitCVLinetableDirective(FunctionId
, Begin
, End
);
518 void MCObjectStreamer::emitCVInlineLinetableDirective(
519 unsigned PrimaryFunctionId
, unsigned SourceFileId
, unsigned SourceLineNum
,
520 const MCSymbol
*FnStartSym
, const MCSymbol
*FnEndSym
) {
521 getContext().getCVContext().emitInlineLineTableForFunction(
522 *this, PrimaryFunctionId
, SourceFileId
, SourceLineNum
, FnStartSym
,
524 this->MCStreamer::emitCVInlineLinetableDirective(
525 PrimaryFunctionId
, SourceFileId
, SourceLineNum
, FnStartSym
, FnEndSym
);
528 void MCObjectStreamer::emitCVDefRangeDirective(
529 ArrayRef
<std::pair
<const MCSymbol
*, const MCSymbol
*>> Ranges
,
530 StringRef FixedSizePortion
) {
531 getContext().getCVContext().emitDefRange(*this, Ranges
, FixedSizePortion
);
532 // Attach labels that were pending before we created the defrange fragment to
533 // the beginning of the new fragment.
534 this->MCStreamer::emitCVDefRangeDirective(Ranges
, FixedSizePortion
);
537 void MCObjectStreamer::emitCVStringTableDirective() {
538 getContext().getCVContext().emitStringTable(*this);
540 void MCObjectStreamer::emitCVFileChecksumsDirective() {
541 getContext().getCVContext().emitFileChecksums(*this);
544 void MCObjectStreamer::emitCVFileChecksumOffsetDirective(unsigned FileNo
) {
545 getContext().getCVContext().emitFileChecksumOffset(*this, FileNo
);
548 void MCObjectStreamer::emitBytes(StringRef Data
) {
549 MCDwarfLineEntry::make(this, getCurrentSectionOnly());
550 MCDataFragment
*DF
= getOrCreateDataFragment();
551 DF
->getContents().append(Data
.begin(), Data
.end());
554 void MCObjectStreamer::emitValueToAlignment(Align Alignment
, int64_t Value
,
556 unsigned MaxBytesToEmit
) {
557 if (MaxBytesToEmit
== 0)
558 MaxBytesToEmit
= Alignment
.value();
559 insert(getContext().allocFragment
<MCAlignFragment
>(
560 Alignment
, Value
, ValueSize
, MaxBytesToEmit
));
562 // Update the maximum alignment on the current section if necessary.
563 MCSection
*CurSec
= getCurrentSectionOnly();
564 CurSec
->ensureMinAlignment(Alignment
);
567 void MCObjectStreamer::emitCodeAlignment(Align Alignment
,
568 const MCSubtargetInfo
*STI
,
569 unsigned MaxBytesToEmit
) {
570 emitValueToAlignment(Alignment
, 0, 1, MaxBytesToEmit
);
571 cast
<MCAlignFragment
>(getCurrentFragment())->setEmitNops(true, STI
);
574 void MCObjectStreamer::emitValueToOffset(const MCExpr
*Offset
,
577 insert(getContext().allocFragment
<MCOrgFragment
>(*Offset
, Value
, Loc
));
580 // Associate DTPRel32 fixup with data and resize data area
581 void MCObjectStreamer::emitDTPRel32Value(const MCExpr
*Value
) {
582 MCDataFragment
*DF
= getOrCreateDataFragment();
583 DF
->getFixups().push_back(MCFixup::create(DF
->getContents().size(),
584 Value
, FK_DTPRel_4
));
585 DF
->getContents().resize(DF
->getContents().size() + 4, 0);
588 // Associate DTPRel64 fixup with data and resize data area
589 void MCObjectStreamer::emitDTPRel64Value(const MCExpr
*Value
) {
590 MCDataFragment
*DF
= getOrCreateDataFragment();
591 DF
->getFixups().push_back(MCFixup::create(DF
->getContents().size(),
592 Value
, FK_DTPRel_8
));
593 DF
->getContents().resize(DF
->getContents().size() + 8, 0);
596 // Associate TPRel32 fixup with data and resize data area
597 void MCObjectStreamer::emitTPRel32Value(const MCExpr
*Value
) {
598 MCDataFragment
*DF
= getOrCreateDataFragment();
599 DF
->getFixups().push_back(MCFixup::create(DF
->getContents().size(),
601 DF
->getContents().resize(DF
->getContents().size() + 4, 0);
604 // Associate TPRel64 fixup with data and resize data area
605 void MCObjectStreamer::emitTPRel64Value(const MCExpr
*Value
) {
606 MCDataFragment
*DF
= getOrCreateDataFragment();
607 DF
->getFixups().push_back(MCFixup::create(DF
->getContents().size(),
609 DF
->getContents().resize(DF
->getContents().size() + 8, 0);
612 // Associate GPRel32 fixup with data and resize data area
613 void MCObjectStreamer::emitGPRel32Value(const MCExpr
*Value
) {
614 MCDataFragment
*DF
= getOrCreateDataFragment();
615 DF
->getFixups().push_back(
616 MCFixup::create(DF
->getContents().size(), Value
, FK_GPRel_4
));
617 DF
->getContents().resize(DF
->getContents().size() + 4, 0);
620 // Associate GPRel64 fixup with data and resize data area
621 void MCObjectStreamer::emitGPRel64Value(const MCExpr
*Value
) {
622 MCDataFragment
*DF
= getOrCreateDataFragment();
623 DF
->getFixups().push_back(
624 MCFixup::create(DF
->getContents().size(), Value
, FK_GPRel_4
));
625 DF
->getContents().resize(DF
->getContents().size() + 8, 0);
628 static std::optional
<std::pair
<bool, std::string
>>
629 getOffsetAndDataFragment(const MCSymbol
&Symbol
, uint32_t &RelocOffset
,
630 MCDataFragment
*&DF
) {
631 if (Symbol
.isVariable()) {
632 const MCExpr
*SymbolExpr
= Symbol
.getVariableValue();
634 if(!SymbolExpr
->evaluateAsRelocatable(OffsetVal
, nullptr, nullptr))
635 return std::make_pair(false,
636 std::string("symbol in .reloc offset is not "
638 if (OffsetVal
.isAbsolute()) {
639 RelocOffset
= OffsetVal
.getConstant();
640 MCFragment
*Fragment
= Symbol
.getFragment();
641 // FIXME Support symbols with no DF. For example:
642 // .reloc .data, ENUM_VALUE, <some expr>
643 if (!Fragment
|| Fragment
->getKind() != MCFragment::FT_Data
)
644 return std::make_pair(false,
645 std::string("symbol in offset has no data "
647 DF
= cast
<MCDataFragment
>(Fragment
);
651 if (OffsetVal
.getSymB())
652 return std::make_pair(false,
653 std::string(".reloc symbol offset is not "
656 const MCSymbolRefExpr
&SRE
= cast
<MCSymbolRefExpr
>(*OffsetVal
.getSymA());
657 if (!SRE
.getSymbol().isDefined())
658 return std::make_pair(false,
659 std::string("symbol used in the .reloc offset is "
662 if (SRE
.getSymbol().isVariable())
663 return std::make_pair(false,
664 std::string("symbol used in the .reloc offset is "
667 MCFragment
*Fragment
= SRE
.getSymbol().getFragment();
668 // FIXME Support symbols with no DF. For example:
669 // .reloc .data, ENUM_VALUE, <some expr>
670 if (!Fragment
|| Fragment
->getKind() != MCFragment::FT_Data
)
671 return std::make_pair(false,
672 std::string("symbol in offset has no data "
674 RelocOffset
= SRE
.getSymbol().getOffset() + OffsetVal
.getConstant();
675 DF
= cast
<MCDataFragment
>(Fragment
);
677 RelocOffset
= Symbol
.getOffset();
678 MCFragment
*Fragment
= Symbol
.getFragment();
679 // FIXME Support symbols with no DF. For example:
680 // .reloc .data, ENUM_VALUE, <some expr>
681 if (!Fragment
|| Fragment
->getKind() != MCFragment::FT_Data
)
682 return std::make_pair(false,
683 std::string("symbol in offset has no data "
685 DF
= cast
<MCDataFragment
>(Fragment
);
690 std::optional
<std::pair
<bool, std::string
>>
691 MCObjectStreamer::emitRelocDirective(const MCExpr
&Offset
, StringRef Name
,
692 const MCExpr
*Expr
, SMLoc Loc
,
693 const MCSubtargetInfo
&STI
) {
694 std::optional
<MCFixupKind
> MaybeKind
=
695 Assembler
->getBackend().getFixupKind(Name
);
697 return std::make_pair(true, std::string("unknown relocation name"));
699 MCFixupKind Kind
= *MaybeKind
;
701 visitUsedExpr(*Expr
);
704 MCSymbolRefExpr::create(getContext().createTempSymbol(), getContext());
706 MCDataFragment
*DF
= getOrCreateDataFragment(&STI
);
708 if (!Offset
.evaluateAsRelocatable(OffsetVal
, nullptr, nullptr))
709 return std::make_pair(false,
710 std::string(".reloc offset is not relocatable"));
711 if (OffsetVal
.isAbsolute()) {
712 if (OffsetVal
.getConstant() < 0)
713 return std::make_pair(false, std::string(".reloc offset is negative"));
714 DF
->getFixups().push_back(
715 MCFixup::create(OffsetVal
.getConstant(), Expr
, Kind
, Loc
));
718 if (OffsetVal
.getSymB())
719 return std::make_pair(false,
720 std::string(".reloc offset is not representable"));
722 const MCSymbolRefExpr
&SRE
= cast
<MCSymbolRefExpr
>(*OffsetVal
.getSymA());
723 const MCSymbol
&Symbol
= SRE
.getSymbol();
724 if (Symbol
.isDefined()) {
725 uint32_t SymbolOffset
= 0;
726 std::optional
<std::pair
<bool, std::string
>> Error
=
727 getOffsetAndDataFragment(Symbol
, SymbolOffset
, DF
);
729 if (Error
!= std::nullopt
)
732 DF
->getFixups().push_back(
733 MCFixup::create(SymbolOffset
+ OffsetVal
.getConstant(),
738 PendingFixups
.emplace_back(
739 &SRE
.getSymbol(), DF
,
740 MCFixup::create(OffsetVal
.getConstant(), Expr
, Kind
, Loc
));
744 void MCObjectStreamer::emitFill(const MCExpr
&NumBytes
, uint64_t FillValue
,
746 assert(getCurrentSectionOnly() && "need a section");
748 getContext().allocFragment
<MCFillFragment
>(FillValue
, 1, NumBytes
, Loc
));
751 void MCObjectStreamer::emitFill(const MCExpr
&NumValues
, int64_t Size
,
752 int64_t Expr
, SMLoc Loc
) {
753 int64_t IntNumValues
;
754 // Do additional checking now if we can resolve the value.
755 if (NumValues
.evaluateAsAbsolute(IntNumValues
, getAssemblerPtr())) {
756 if (IntNumValues
< 0) {
757 getContext().getSourceManager()->PrintMessage(
758 Loc
, SourceMgr::DK_Warning
,
759 "'.fill' directive with negative repeat count has no effect");
762 // Emit now if we can for better errors.
763 int64_t NonZeroSize
= Size
> 4 ? 4 : Size
;
764 Expr
&= ~0ULL >> (64 - NonZeroSize
* 8);
765 for (uint64_t i
= 0, e
= IntNumValues
; i
!= e
; ++i
) {
766 emitIntValue(Expr
, NonZeroSize
);
767 if (NonZeroSize
< Size
)
768 emitIntValue(0, Size
- NonZeroSize
);
773 // Otherwise emit as fragment.
774 assert(getCurrentSectionOnly() && "need a section");
776 getContext().allocFragment
<MCFillFragment
>(Expr
, Size
, NumValues
, Loc
));
779 void MCObjectStreamer::emitNops(int64_t NumBytes
, int64_t ControlledNopLength
,
780 SMLoc Loc
, const MCSubtargetInfo
&STI
) {
781 assert(getCurrentSectionOnly() && "need a section");
782 insert(getContext().allocFragment
<MCNopsFragment
>(
783 NumBytes
, ControlledNopLength
, Loc
, STI
));
786 void MCObjectStreamer::emitFileDirective(StringRef Filename
) {
787 MCAssembler
&Asm
= getAssembler();
788 Asm
.getWriter().addFileName(Asm
, Filename
);
791 void MCObjectStreamer::emitFileDirective(StringRef Filename
,
792 StringRef CompilerVersion
,
794 StringRef Description
) {
795 MCObjectWriter
&W
= getAssembler().getWriter();
796 W
.addFileName(getAssembler(), Filename
);
797 if (CompilerVersion
.size())
798 W
.setCompilerVersion(CompilerVersion
);
799 // TODO: add TimeStamp and Description to .file symbol table entry
800 // with the integrated assembler.
803 void MCObjectStreamer::emitAddrsig() {
804 getAssembler().getWriter().emitAddrsigSection();
807 void MCObjectStreamer::emitAddrsigSym(const MCSymbol
*Sym
) {
808 getAssembler().getWriter().addAddrsigSymbol(Sym
);
811 void MCObjectStreamer::finishImpl() {
812 getContext().RemapDebugPaths();
814 // If we are generating dwarf for assembly source files dump out the sections.
815 if (getContext().getGenDwarfForAssembly())
816 MCGenDwarfInfo::Emit(this);
818 // Dump out the dwarf file & directory tables and line tables.
819 MCDwarfLineTable::emit(this, getAssembler().getDWARFLinetableParams());
821 // Emit pseudo probes for the current module.
822 MCPseudoProbeTable::emit(this);
824 resolvePendingFixups();
825 getAssembler().Finish();