mirror of
https://github.com/capstone-engine/llvm-capstone.git
synced 2024-11-23 22:00:10 +00:00
c579a5b1d9
DWARF sections are typically live and not COMDAT, so they would be treated as GC roots. Enabling DWARF would essentially keep all code with debug info alive, preventing any section GC. Fixes PR45273 Reviewed By: mstorsjo, MaskRay Differential Revision: https://reviews.llvm.org/D76935
76 lines
2.3 KiB
C++
76 lines
2.3 KiB
C++
//===- MarkLive.cpp -------------------------------------------------------===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "Chunks.h"
|
|
#include "Symbols.h"
|
|
#include "lld/Common/Timer.h"
|
|
#include "llvm/ADT/STLExtras.h"
|
|
#include <vector>
|
|
|
|
namespace lld {
|
|
namespace coff {
|
|
|
|
static Timer gctimer("GC", Timer::root());
|
|
|
|
// Set live bit on for each reachable chunk. Unmarked (unreachable)
|
|
// COMDAT chunks will be ignored by Writer, so they will be excluded
|
|
// from the final output.
|
|
void markLive(ArrayRef<Chunk *> chunks) {
|
|
ScopedTimer t(gctimer);
|
|
|
|
// We build up a worklist of sections which have been marked as live. We only
|
|
// push into the worklist when we discover an unmarked section, and we mark
|
|
// as we push, so sections never appear twice in the list.
|
|
SmallVector<SectionChunk *, 256> worklist;
|
|
|
|
// COMDAT section chunks are dead by default. Add non-COMDAT chunks. Do not
|
|
// traverse DWARF sections. They are live, but they should not keep other
|
|
// sections alive.
|
|
for (Chunk *c : chunks)
|
|
if (auto *sc = dyn_cast<SectionChunk>(c))
|
|
if (sc->live && !sc->isDWARF())
|
|
worklist.push_back(sc);
|
|
|
|
auto enqueue = [&](SectionChunk *c) {
|
|
if (c->live)
|
|
return;
|
|
c->live = true;
|
|
worklist.push_back(c);
|
|
};
|
|
|
|
auto addSym = [&](Symbol *b) {
|
|
if (auto *sym = dyn_cast<DefinedRegular>(b))
|
|
enqueue(sym->getChunk());
|
|
else if (auto *sym = dyn_cast<DefinedImportData>(b))
|
|
sym->file->live = true;
|
|
else if (auto *sym = dyn_cast<DefinedImportThunk>(b))
|
|
sym->wrappedSym->file->live = sym->wrappedSym->file->thunkLive = true;
|
|
};
|
|
|
|
// Add GC root chunks.
|
|
for (Symbol *b : config->gcroot)
|
|
addSym(b);
|
|
|
|
while (!worklist.empty()) {
|
|
SectionChunk *sc = worklist.pop_back_val();
|
|
assert(sc->live && "We mark as live when pushing onto the worklist!");
|
|
|
|
// Mark all symbols listed in the relocation table for this section.
|
|
for (Symbol *b : sc->symbols())
|
|
if (b)
|
|
addSym(b);
|
|
|
|
// Mark associative sections if any.
|
|
for (SectionChunk &c : sc->children())
|
|
enqueue(&c);
|
|
}
|
|
}
|
|
|
|
}
|
|
}
|