mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-23 19:23:23 +01:00
6e415ad8d8
For implementing "remove obsolete debug info in lld", it is neccesary to have DWARF generation code implementation. dsymutil uses DwarfStreamer for that purpose. DwarfStreamer uses AsmPrinter. It is considered OK to use AsmPrinter based code in lld(D74169). This patch moves DwarfStreamer implementation into DWARFLinker, so that it could be reused from lld. Generally, a better place for such a common DWARF generation code would be not DWARFLinker but an additional separate library. Such a library could contain a single version of DWARF generation routines and could also be independent of AsmPrinter. At the current moment, DwarfStreamer does not pretend to be such a general implementation of DWARF generation. So I decided to put it into DWARFLinker since it is the only user of DwarfStreamer. Testing: it passes "check-all" lit testing. MD5 checksum for clang .dSYM bundle matches for the dsymutil with/without that patch. Reviewed By: JDevlieghere Differential revision: https://reviews.llvm.org/D77169
197 lines
7.5 KiB
C++
197 lines
7.5 KiB
C++
//===- tools/dsymutil/DwarfLinkerForBinary.h --------------------*- C++ -*-===//
|
|
//
|
|
// 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
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef LLVM_TOOLS_DSYMUTIL_DWARFLINKER_H
|
|
#define LLVM_TOOLS_DSYMUTIL_DWARFLINKER_H
|
|
|
|
#include "BinaryHolder.h"
|
|
#include "DebugMap.h"
|
|
#include "LinkUtils.h"
|
|
#include "llvm/DWARFLinker/DWARFLinker.h"
|
|
#include "llvm/DWARFLinker/DWARFLinkerCompileUnit.h"
|
|
#include "llvm/DWARFLinker/DWARFLinkerDeclContext.h"
|
|
#include "llvm/DWARFLinker/DWARFStreamer.h"
|
|
#include "llvm/DebugInfo/DWARF/DWARFContext.h"
|
|
#include "llvm/Remarks/RemarkFormat.h"
|
|
#include "llvm/Remarks/RemarkLinker.h"
|
|
|
|
namespace llvm {
|
|
namespace dsymutil {
|
|
|
|
/// The core of the Dsymutil Dwarf linking logic.
|
|
///
|
|
/// The link of the dwarf information from the object files will be
|
|
/// driven by DWARFLinker. DwarfLinkerForBinary reads DebugMap objects
|
|
/// and pass information to the DWARFLinker. DWARFLinker
|
|
/// optimizes DWARF taking into account valid relocations.
|
|
/// Finally, optimized DWARF is passed to DwarfLinkerForBinary through
|
|
/// DWARFEmitter interface.
|
|
class DwarfLinkerForBinary {
|
|
public:
|
|
DwarfLinkerForBinary(raw_fd_ostream &OutFile, BinaryHolder &BinHolder,
|
|
LinkOptions Options)
|
|
: OutFile(OutFile), BinHolder(BinHolder), Options(std::move(Options)) {}
|
|
|
|
/// Link the contents of the DebugMap.
|
|
bool link(const DebugMap &);
|
|
|
|
void reportWarning(const Twine &Warning, StringRef Context,
|
|
const DWARFDie *DIE = nullptr) const;
|
|
|
|
/// Flags passed to DwarfLinker::lookForDIEsToKeep
|
|
enum TraversalFlags {
|
|
TF_Keep = 1 << 0, ///< Mark the traversed DIEs as kept.
|
|
TF_InFunctionScope = 1 << 1, ///< Current scope is a function scope.
|
|
TF_DependencyWalk = 1 << 2, ///< Walking the dependencies of a kept DIE.
|
|
TF_ParentWalk = 1 << 3, ///< Walking up the parents of a kept DIE.
|
|
TF_ODR = 1 << 4, ///< Use the ODR while keeping dependents.
|
|
TF_SkipPC = 1 << 5, ///< Skip all location attributes.
|
|
};
|
|
|
|
private:
|
|
|
|
/// Keeps track of relocations.
|
|
class AddressManager : public AddressesMap {
|
|
struct ValidReloc {
|
|
uint64_t Offset;
|
|
uint32_t Size;
|
|
uint64_t Addend;
|
|
const DebugMapObject::DebugMapEntry *Mapping;
|
|
|
|
ValidReloc(uint64_t Offset, uint32_t Size, uint64_t Addend,
|
|
const DebugMapObject::DebugMapEntry *Mapping)
|
|
: Offset(Offset), Size(Size), Addend(Addend), Mapping(Mapping) {}
|
|
|
|
bool operator<(const ValidReloc &RHS) const {
|
|
return Offset < RHS.Offset;
|
|
}
|
|
};
|
|
|
|
const DwarfLinkerForBinary &Linker;
|
|
|
|
/// The valid relocations for the current DebugMapObject.
|
|
/// This vector is sorted by relocation offset.
|
|
std::vector<ValidReloc> ValidRelocs;
|
|
|
|
/// Index into ValidRelocs of the next relocation to consider. As we walk
|
|
/// the DIEs in acsending file offset and as ValidRelocs is sorted by file
|
|
/// offset, keeping this index up to date is all we have to do to have a
|
|
/// cheap lookup during the root DIE selection and during DIE cloning.
|
|
unsigned NextValidReloc = 0;
|
|
|
|
RangesTy AddressRanges;
|
|
|
|
public:
|
|
AddressManager(DwarfLinkerForBinary &Linker, const object::ObjectFile &Obj,
|
|
const DebugMapObject &DMO)
|
|
: Linker(Linker) {
|
|
findValidRelocsInDebugInfo(Obj, DMO);
|
|
|
|
// Iterate over the debug map entries and put all the ones that are
|
|
// functions (because they have a size) into the Ranges map. This map is
|
|
// very similar to the FunctionRanges that are stored in each unit, with 2
|
|
// notable differences:
|
|
//
|
|
// 1. Obviously this one is global, while the other ones are per-unit.
|
|
//
|
|
// 2. This one contains not only the functions described in the DIE
|
|
// tree, but also the ones that are only in the debug map.
|
|
//
|
|
// The latter information is required to reproduce dsymutil's logic while
|
|
// linking line tables. The cases where this information matters look like
|
|
// bugs that need to be investigated, but for now we need to reproduce
|
|
// dsymutil's behavior.
|
|
// FIXME: Once we understood exactly if that information is needed,
|
|
// maybe totally remove this (or try to use it to do a real
|
|
// -gline-tables-only on Darwin.
|
|
for (const auto &Entry : DMO.symbols()) {
|
|
const auto &Mapping = Entry.getValue();
|
|
if (Mapping.Size && Mapping.ObjectAddress)
|
|
AddressRanges[*Mapping.ObjectAddress] = ObjFileAddressRange(
|
|
*Mapping.ObjectAddress + Mapping.Size,
|
|
int64_t(Mapping.BinaryAddress) - *Mapping.ObjectAddress);
|
|
}
|
|
}
|
|
virtual ~AddressManager() override { clear(); }
|
|
|
|
virtual bool areRelocationsResolved() const override { return true; }
|
|
|
|
bool hasValidRelocs(bool ResetRelocsPtr = true) override {
|
|
if (ResetRelocsPtr)
|
|
NextValidReloc = 0;
|
|
return !ValidRelocs.empty();
|
|
}
|
|
|
|
/// \defgroup FindValidRelocations Translate debug map into a list
|
|
/// of relevant relocations
|
|
///
|
|
/// @{
|
|
bool findValidRelocsInDebugInfo(const object::ObjectFile &Obj,
|
|
const DebugMapObject &DMO);
|
|
|
|
bool findValidRelocs(const object::SectionRef &Section,
|
|
const object::ObjectFile &Obj,
|
|
const DebugMapObject &DMO);
|
|
|
|
void findValidRelocsMachO(const object::SectionRef &Section,
|
|
const object::MachOObjectFile &Obj,
|
|
const DebugMapObject &DMO);
|
|
/// @}
|
|
|
|
bool hasValidRelocationAt(uint64_t StartOffset, uint64_t EndOffset,
|
|
CompileUnit::DIEInfo &Info) override;
|
|
|
|
bool applyValidRelocs(MutableArrayRef<char> Data, uint64_t BaseOffset,
|
|
bool IsLittleEndian) override;
|
|
|
|
RangesTy &getValidAddressRanges() override { return AddressRanges; }
|
|
|
|
void clear() override {
|
|
AddressRanges.clear();
|
|
ValidRelocs.clear();
|
|
NextValidReloc = 0;
|
|
}
|
|
};
|
|
|
|
private:
|
|
/// \defgroup Helpers Various helper methods.
|
|
///
|
|
/// @{
|
|
bool createStreamer(const Triple &TheTriple, raw_fd_ostream &OutFile);
|
|
|
|
/// Attempt to load a debug object from disk.
|
|
ErrorOr<const object::ObjectFile &> loadObject(const DebugMapObject &Obj,
|
|
const Triple &triple);
|
|
ErrorOr<DwarfFile &> loadObject(const DebugMapObject &Obj,
|
|
const DebugMap &DebugMap,
|
|
remarks::RemarkLinker &RL);
|
|
|
|
raw_fd_ostream &OutFile;
|
|
BinaryHolder &BinHolder;
|
|
LinkOptions Options;
|
|
std::unique_ptr<DwarfStreamer> Streamer;
|
|
std::vector<std::unique_ptr<DwarfFile>> ObjectsForLinking;
|
|
std::vector<std::unique_ptr<DWARFContext>> ContextForLinking;
|
|
std::vector<std::unique_ptr<AddressManager>> AddressMapForLinking;
|
|
std::vector<std::string> EmptyWarnings;
|
|
|
|
/// A list of all .swiftinterface files referenced by the debug
|
|
/// info, mapping Module name to path on disk. The entries need to
|
|
/// be uniqued and sorted and there are only few entries expected
|
|
/// per compile unit, which is why this is a std::map.
|
|
std::map<std::string, std::string> ParseableSwiftInterfaces;
|
|
|
|
bool ModuleCacheHintDisplayed = false;
|
|
bool ArchiveHintDisplayed = false;
|
|
};
|
|
|
|
} // end namespace dsymutil
|
|
} // end namespace llvm
|
|
|
|
#endif // LLVM_TOOLS_DSYMUTIL_DWARFLINKER_H
|