Skip to content

Commit d145d8e

Browse files
committed
MCFragment: Use trailing data for fixed-size part
The fixed-size content of the MCFragment object is now stored as trailing data, replacing ContentStart/ContentEnd with ContentSize. The available space for trailing data is tracked using `FragSpace`. If the available space is insufficient, a new block is allocated within the bump allocator `MCObjectStreamer::FragStorage`. FragList::Tail cannot be reused when switching sections or subsections, as it is not associated with the fragment space tracked by `FragSpace`. Instead, allocate a new fragment, which becomes less expensive after llvm#150574. Data can only be appended to the tail fragment of a subsection, not to fragments in the middle. Post-assembler-layout adjustments (such as .llvm_addrsig and .llvm.call-graph-profile) have been updated to use the variable-size part instead. Pull Request: llvm#150846
1 parent a5deb59 commit d145d8e

File tree

7 files changed

+133
-68
lines changed

7 files changed

+133
-68
lines changed

llvm/include/llvm/MC/MCObjectStreamer.h

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -52,6 +52,10 @@ class MCObjectStreamer : public MCStreamer {
5252
DenseMap<const MCSymbol *, SmallVector<PendingAssignment, 1>>
5353
pendingAssignments;
5454

55+
SmallVector<std::unique_ptr<char[]>, 0> FragStorage;
56+
// Available bytes in the current block for trailing data or new fragments.
57+
size_t FragSpace = 0;
58+
5559
void emitInstToData(const MCInst &Inst, const MCSubtargetInfo &);
5660
void emitCFIStartProcImpl(MCDwarfFrameInfo &Frame) override;
5761
void emitCFIEndProcImpl(MCDwarfFrameInfo &Frame) override;
@@ -84,9 +88,15 @@ class MCObjectStreamer : public MCStreamer {
8488
// Add a fragment with a variable-size tail and start a new empty fragment.
8589
void insert(MCFragment *F);
8690

91+
char *getCurFragEnd() const {
92+
return reinterpret_cast<char *>(CurFrag + 1) + CurFrag->getFixedSize();
93+
}
94+
MCFragment *allocFragSpace(size_t Headroom);
8795
// Add a new fragment to the current section without a variable-size tail.
8896
void newFragment();
8997

98+
void ensureHeadroom(size_t Headroom);
99+
void appendContents(ArrayRef<char> Contents);
90100
void appendContents(size_t Num, char Elt);
91101
void addFixup(const MCExpr *Value, MCFixupKind Kind);
92102

llvm/include/llvm/MC/MCSection.h

Lines changed: 5 additions & 35 deletions
Original file line numberDiff line numberDiff line change
@@ -93,8 +93,7 @@ class MCFragment {
9393
// Track content and fixups for the fixed-size part as fragments are
9494
// appended to the section. The content remains immutable, except when
9595
// modified by applyFixup.
96-
uint32_t ContentStart = 0;
97-
uint32_t ContentEnd = 0;
96+
uint32_t FixedSize = 0;
9897
uint32_t FixupStart = 0;
9998
uint32_t FixupEnd = 0;
10099

@@ -205,18 +204,6 @@ class MCFragment {
205204
//== Content-related functions manage parent's storage using ContentStart and
206205
// ContentSize.
207206

208-
// Get a SmallVector reference. The caller should call doneAppending to update
209-
// `ContentEnd`.
210-
SmallVectorImpl<char> &getContentsForAppending();
211-
void doneAppending();
212-
void appendContents(ArrayRef<char> Contents) {
213-
getContentsForAppending().append(Contents.begin(), Contents.end());
214-
doneAppending();
215-
}
216-
void appendContents(size_t Num, char Elt) {
217-
getContentsForAppending().append(Num, Elt);
218-
doneAppending();
219-
}
220207
MutableArrayRef<char> getContents();
221208
ArrayRef<char> getContents() const;
222209

@@ -225,10 +212,10 @@ class MCFragment {
225212
MutableArrayRef<char> getVarContents();
226213
ArrayRef<char> getVarContents() const;
227214

228-
size_t getFixedSize() const { return ContentEnd - ContentStart; }
215+
size_t getFixedSize() const { return FixedSize; }
229216
size_t getVarSize() const { return VarContentEnd - VarContentStart; }
230217
size_t getSize() const {
231-
return ContentEnd - ContentStart + (VarContentEnd - VarContentStart);
218+
return FixedSize + (VarContentEnd - VarContentStart);
232219
}
233220

234221
//== Fixup-related functions manage parent's storage using FixupStart and
@@ -651,28 +638,11 @@ class LLVM_ABI MCSection {
651638
bool isBssSection() const { return IsBss; }
652639
};
653640

654-
inline SmallVectorImpl<char> &MCFragment::getContentsForAppending() {
655-
SmallVectorImpl<char> &S = getParent()->ContentStorage;
656-
if (LLVM_UNLIKELY(ContentEnd != S.size())) {
657-
// Move the elements to the end. Reserve space to avoid invalidating
658-
// S.begin()+I for `append`.
659-
auto Size = ContentEnd - ContentStart;
660-
auto I = std::exchange(ContentStart, S.size());
661-
S.reserve(S.size() + Size);
662-
S.append(S.begin() + I, S.begin() + I + Size);
663-
}
664-
return S;
665-
}
666-
inline void MCFragment::doneAppending() {
667-
ContentEnd = getParent()->ContentStorage.size();
668-
}
669641
inline MutableArrayRef<char> MCFragment::getContents() {
670-
return MutableArrayRef(getParent()->ContentStorage)
671-
.slice(ContentStart, ContentEnd - ContentStart);
642+
return {reinterpret_cast<char *>(this + 1), FixedSize};
672643
}
673644
inline ArrayRef<char> MCFragment::getContents() const {
674-
return ArrayRef(getParent()->ContentStorage)
675-
.slice(ContentStart, ContentEnd - ContentStart);
645+
return {reinterpret_cast<const char *>(this + 1), FixedSize};
676646
}
677647

678648
inline MutableArrayRef<char> MCFragment::getVarContents() {

llvm/lib/MC/MCMachOStreamer.cpp

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -484,7 +484,8 @@ void MCMachOStreamer::finalizeCGProfile() {
484484
// For each entry, reserve space for 2 32-bit indices and a 64-bit count.
485485
size_t SectionBytes =
486486
W.getCGProfile().size() * (2 * sizeof(uint32_t) + sizeof(uint64_t));
487-
(*CGProfileSection->begin()).appendContents(SectionBytes, 0);
487+
(*CGProfileSection->begin())
488+
.setVarContents(std::vector<char>(SectionBytes, 0));
488489
}
489490

490491
MCStreamer *llvm::createMachOStreamer(MCContext &Context,
@@ -520,5 +521,5 @@ void MCMachOStreamer::createAddrSigSection() {
520521
// (instead of emitting a zero-sized section) so these relocations are
521522
// technically valid, even though we don't expect these relocations to
522523
// actually be applied by the linker.
523-
Frag->appendContents(8, 0);
524+
Frag->setVarContents(std::vector<char>(8, 0));
524525
}

llvm/lib/MC/MCObjectStreamer.cpp

Lines changed: 106 additions & 30 deletions
Original file line numberDiff line numberDiff line change
@@ -46,23 +46,83 @@ MCAssembler *MCObjectStreamer::getAssemblerPtr() {
4646
return nullptr;
4747
}
4848

49+
constexpr size_t FragBlockSize = 16384;
50+
// Ensure the new fragment can at least store a few bytes.
51+
constexpr size_t NewFragHeadroom = 8;
52+
53+
static_assert(NewFragHeadroom >= alignof(MCFragment));
54+
static_assert(FragBlockSize >= sizeof(MCFragment) + NewFragHeadroom);
55+
56+
MCFragment *MCObjectStreamer::allocFragSpace(size_t Headroom) {
57+
auto Size = std::max(FragBlockSize, sizeof(MCFragment) + Headroom);
58+
FragSpace = Size - sizeof(MCFragment);
59+
auto Chunk = std::unique_ptr<char[]>(new char[Size]);
60+
auto *F = reinterpret_cast<MCFragment *>(Chunk.get());
61+
FragStorage.push_back(std::move(Chunk));
62+
return F;
63+
}
64+
4965
void MCObjectStreamer::newFragment() {
50-
addFragment(getContext().allocFragment<MCFragment>());
66+
MCFragment *F;
67+
if (LLVM_LIKELY(sizeof(MCFragment) + NewFragHeadroom <= FragSpace)) {
68+
auto End = size_t(getCurFragEnd());
69+
F = reinterpret_cast<MCFragment *>(
70+
alignToPowerOf2(End, alignof(MCFragment)));
71+
FragSpace -= size_t(F) - End + sizeof(MCFragment);
72+
} else {
73+
F = allocFragSpace(0);
74+
}
75+
new (F) MCFragment();
76+
addFragment(F);
77+
}
78+
79+
void MCObjectStreamer::ensureHeadroom(size_t Headroom) {
80+
if (Headroom <= FragSpace)
81+
return;
82+
auto *F = allocFragSpace(Headroom);
83+
new (F) MCFragment();
84+
addFragment(F);
5185
}
5286

53-
void MCObjectStreamer::insert(MCFragment *F) {
54-
assert(F->getKind() != MCFragment::FT_Data &&
87+
void MCObjectStreamer::insert(MCFragment *Frag) {
88+
assert(Frag->getKind() != MCFragment::FT_Data &&
5589
"F should have a variable-size tail");
90+
// Frag is not connected to FragSpace. Before modifying CurFrag with
91+
// addFragment(Frag), allocate an empty fragment to maintain FragSpace
92+
// connectivity, potentially reusing CurFrag's associated space.
93+
MCFragment *F;
94+
if (LLVM_LIKELY(sizeof(MCFragment) + NewFragHeadroom <= FragSpace)) {
95+
auto End = size_t(getCurFragEnd());
96+
F = reinterpret_cast<MCFragment *>(
97+
alignToPowerOf2(End, alignof(MCFragment)));
98+
FragSpace -= size_t(F) - End + sizeof(MCFragment);
99+
} else {
100+
F = allocFragSpace(0);
101+
}
102+
new (F) MCFragment();
103+
104+
addFragment(Frag);
56105
addFragment(F);
57-
newFragment();
106+
}
107+
108+
void MCObjectStreamer::appendContents(ArrayRef<char> Contents) {
109+
ensureHeadroom(Contents.size());
110+
assert(FragSpace >= Contents.size());
111+
llvm::copy(Contents, getCurFragEnd());
112+
CurFrag->FixedSize += Contents.size();
113+
FragSpace -= Contents.size();
58114
}
59115

60116
void MCObjectStreamer::appendContents(size_t Num, char Elt) {
61-
CurFrag->appendContents(Num, Elt);
117+
ensureHeadroom(Num);
118+
MutableArrayRef<char> Data(getCurFragEnd(), Num);
119+
llvm::fill(Data, Elt);
120+
CurFrag->FixedSize += Num;
121+
FragSpace -= Num;
62122
}
63123

64124
void MCObjectStreamer::addFixup(const MCExpr *Value, MCFixupKind Kind) {
65-
CurFrag->addFixup(MCFixup::create(CurFrag->getFixedSize(), Value, Kind));
125+
CurFrag->addFixup(MCFixup::create(getCurFragSize(), Value, Kind));
66126
}
67127

68128
// As a compile-time optimization, avoid allocating and evaluating an MCExpr
@@ -111,6 +171,8 @@ void MCObjectStreamer::reset() {
111171
}
112172
EmitEHFrame = true;
113173
EmitDebugFrame = false;
174+
FragStorage.clear();
175+
FragSpace = 0;
114176
MCStreamer::reset();
115177
}
116178

@@ -139,7 +201,6 @@ void MCObjectStreamer::emitCFISections(bool EH, bool Debug, bool SFrame) {
139201
void MCObjectStreamer::emitValueImpl(const MCExpr *Value, unsigned Size,
140202
SMLoc Loc) {
141203
MCStreamer::emitValueImpl(Value, Size, Loc);
142-
MCFragment *DF = getCurrentFragment();
143204

144205
MCDwarfLineEntry::make(this, getCurrentSectionOnly());
145206

@@ -154,9 +215,9 @@ void MCObjectStreamer::emitValueImpl(const MCExpr *Value, unsigned Size,
154215
emitIntValue(AbsValue, Size);
155216
return;
156217
}
157-
DF->addFixup(MCFixup::create(DF->getContents().size(), Value,
158-
MCFixup::getDataKindForSize(Size)));
159-
DF->appendContents(Size, 0);
218+
ensureHeadroom(Size);
219+
addFixup(Value, MCFixup::getDataKindForSize(Size));
220+
appendContents(Size, 0);
160221
}
161222

162223
MCSymbol *MCObjectStreamer::emitCFILabel() {
@@ -190,7 +251,7 @@ void MCObjectStreamer::emitLabel(MCSymbol *Symbol, SMLoc Loc) {
190251
// section.
191252
MCFragment *F = CurFrag;
192253
Symbol->setFragment(F);
193-
Symbol->setOffset(F->getContents().size());
254+
Symbol->setOffset(F->getFixedSize());
194255

195256
emitPendingAssignments(Symbol);
196257
}
@@ -256,20 +317,38 @@ void MCObjectStreamer::changeSection(MCSection *Section, uint32_t Subsection) {
256317
F0 = CurFrag;
257318
}
258319

320+
// To maintain connectivity between CurFrag and FragSpace when CurFrag is
321+
// modified, allocate an empty fragment and append it to the fragment list.
322+
// (Subsections[I].second.Tail is not connected to FragSpace.)
323+
MCFragment *F;
324+
if (LLVM_LIKELY(sizeof(MCFragment) + NewFragHeadroom <= FragSpace)) {
325+
auto End = size_t(getCurFragEnd());
326+
F = reinterpret_cast<MCFragment *>(
327+
alignToPowerOf2(End, alignof(MCFragment)));
328+
FragSpace -= size_t(F) - End + sizeof(MCFragment);
329+
} else {
330+
F = allocFragSpace(0);
331+
}
332+
new (F) MCFragment();
333+
F->setParent(Section);
334+
259335
auto &Subsections = Section->Subsections;
260336
size_t I = 0, E = Subsections.size();
261337
while (I != E && Subsections[I].first < Subsection)
262338
++I;
263339
// If the subsection number is not in the sorted Subsections list, create a
264340
// new fragment list.
265341
if (I == E || Subsections[I].first != Subsection) {
266-
auto *F = getContext().allocFragment<MCFragment>();
267-
F->setParent(Section);
268342
Subsections.insert(Subsections.begin() + I,
269343
{Subsection, MCSection::FragList{F, F}});
344+
Section->CurFragList = &Subsections[I].second;
345+
CurFrag = F;
346+
} else {
347+
Section->CurFragList = &Subsections[I].second;
348+
CurFrag = Subsections[I].second.Tail;
349+
// Ensure CurFrag is associated with FragSpace.
350+
addFragment(F);
270351
}
271-
Section->CurFragList = &Subsections[I].second;
272-
CurFrag = Section->CurFragList->Tail;
273352

274353
// Define the section symbol at subsection 0's initial fragment if required.
275354
if (!NewSec)
@@ -340,31 +419,29 @@ void MCObjectStreamer::emitInstToData(const MCInst &Inst,
340419
MCFragment *F = getCurrentFragment();
341420

342421
// Append the instruction to the data fragment.
343-
size_t CodeOffset = F->getContents().size();
422+
size_t CodeOffset = getCurFragSize();
423+
SmallString<16> Content;
344424
SmallVector<MCFixup, 1> Fixups;
345-
getAssembler().getEmitter().encodeInstruction(
346-
Inst, F->getContentsForAppending(), Fixups, STI);
347-
F->doneAppending();
425+
getAssembler().getEmitter().encodeInstruction(Inst, Content, Fixups, STI);
426+
appendContents(Content);
348427
F->setHasInstructions(STI);
349428

350429
if (Fixups.empty())
351430
return;
352431
bool MarkedLinkerRelaxable = false;
353432
for (auto &Fixup : Fixups) {
354433
Fixup.setOffset(Fixup.getOffset() + CodeOffset);
355-
if (!Fixup.isLinkerRelaxable() || MarkedLinkerRelaxable)
434+
if (!Fixup.isLinkerRelaxable())
356435
continue;
357-
MarkedLinkerRelaxable = true;
358-
// Set the fragment's order within the subsection for use by
359-
// MCAssembler::relaxAlign.
360-
auto *Sec = F->getParent();
361-
if (!Sec->isLinkerRelaxable())
362-
Sec->setLinkerRelaxable();
436+
F->setLinkerRelaxable();
363437
// Do not add data after a linker-relaxable instruction. The difference
364438
// between a new label and a label at or before the linker-relaxable
365439
// instruction cannot be resolved at assemble-time.
366-
F->setLinkerRelaxable();
367-
newFragment();
440+
if (!MarkedLinkerRelaxable) {
441+
MarkedLinkerRelaxable = true;
442+
getCurrentSectionOnly()->setLinkerRelaxable();
443+
newFragment();
444+
}
368445
}
369446
F->appendFixups(Fixups);
370447
}
@@ -538,8 +615,7 @@ void MCObjectStreamer::emitCVFileChecksumOffsetDirective(unsigned FileNo) {
538615

539616
void MCObjectStreamer::emitBytes(StringRef Data) {
540617
MCDwarfLineEntry::make(this, getCurrentSectionOnly());
541-
MCFragment *DF = getCurrentFragment();
542-
DF->appendContents(ArrayRef(Data.data(), Data.size()));
618+
appendContents(ArrayRef(Data.data(), Data.size()));
543619
}
544620

545621
void MCObjectStreamer::emitValueToAlignment(Align Alignment, int64_t Fill,

llvm/lib/MC/MCWin64EH.cpp

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -318,6 +318,8 @@ static void EmitUnwindInfo(MCStreamer &streamer, WinEH::FrameInfo *info) {
318318

319319
// Emit the epilog instructions.
320320
if (EnableUnwindV2) {
321+
OS->ensureHeadroom(info->EpilogMap.size() * 2);
322+
321323
bool IsLast = true;
322324
for (const auto &Epilog : llvm::reverse(info->EpilogMap)) {
323325
if (IsLast) {

llvm/lib/MC/MachObjectWriter.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -806,7 +806,7 @@ uint64_t MachObjectWriter::writeObject() {
806806
}
807807
MCSection *Sec = getContext().getMachOSection("__LLVM", "__cg_profile", 0,
808808
SectionKind::getMetadata());
809-
llvm::copy(OS.str(), Sec->curFragList()->Head->getContents().data());
809+
llvm::copy(OS.str(), Sec->curFragList()->Head->getVarContents().data());
810810
}
811811

812812
unsigned NumSections = Asm.end() - Asm.begin();

0 commit comments

Comments
 (0)