2012-01-17 07:50:58 +08:00
|
|
|
//===-- RuntimeDyldImpl.h - Run-time dynamic linker for MC-JIT --*- C++ -*-===//
|
2011-07-13 15:57:58 +08:00
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// Interface for the implementations of runtime dynamic linker facilities.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2014-08-14 00:26:38 +08:00
|
|
|
#ifndef LLVM_LIB_EXECUTIONENGINE_RUNTIMEDYLD_RUNTIMEDYLDIMPL_H
|
|
|
|
#define LLVM_LIB_EXECUTIONENGINE_RUNTIMEDYLD_RUNTIMEDYLDIMPL_H
|
2011-07-13 15:57:58 +08:00
|
|
|
|
2012-01-17 07:50:55 +08:00
|
|
|
#include "llvm/ADT/DenseMap.h"
|
2011-07-13 15:57:58 +08:00
|
|
|
#include "llvm/ADT/SmallVector.h"
|
2012-04-30 18:06:27 +08:00
|
|
|
#include "llvm/ADT/StringMap.h"
|
|
|
|
#include "llvm/ADT/Triple.h"
|
[MCJIT][Orc] Refactor RTDyldMemoryManager, weave RuntimeDyld::SymbolInfo through
MCJIT.
This patch decouples the two responsibilities of the RTDyldMemoryManager class,
memory management and symbol resolution, into two new classes:
RuntimeDyld::MemoryManager and RuntimeDyld::SymbolResolver.
The symbol resolution interface is modified slightly, from:
uint64_t getSymbolAddress(const std::string &Name);
to:
RuntimeDyld::SymbolInfo findSymbol(const std::string &Name);
The latter passes symbol flags along with symbol addresses, allowing RuntimeDyld
and others to reason about non-strong/non-exported symbols.
The memory management interface removes the following method:
void notifyObjectLoaded(ExecutionEngine *EE,
const object::ObjectFile &) {}
as it is not related to memory management. (Note: Backwards compatibility *is*
maintained for this method in MCJIT and OrcMCJITReplacement, see below).
The RTDyldMemoryManager class remains in-tree for backwards compatibility.
It inherits directly from RuntimeDyld::SymbolResolver, and indirectly from
RuntimeDyld::MemoryManager via the new MCJITMemoryManager class, which
just subclasses RuntimeDyld::MemoryManager and reintroduces the
notifyObjectLoaded method for backwards compatibility).
The EngineBuilder class retains the existing method:
EngineBuilder&
setMCJITMemoryManager(std::unique_ptr<RTDyldMemoryManager> mcjmm);
and includes two new methods:
EngineBuilder&
setMemoryManager(std::unique_ptr<MCJITMemoryManager> MM);
EngineBuilder&
setSymbolResolver(std::unique_ptr<RuntimeDyld::SymbolResolver> SR);
Clients should use EITHER:
A single call to setMCJITMemoryManager with an RTDyldMemoryManager.
OR (exclusive)
One call each to each of setMemoryManager and setSymbolResolver.
This patch should be fully compatible with existing uses of RTDyldMemoryManager.
If it is not it should be considered a bug, and the patch either fixed or
reverted.
If clients find the new API to be an improvement the goal will be to deprecate
and eventually remove the RTDyldMemoryManager class in favor of the new classes.
llvm-svn: 233509
2015-03-30 11:37:06 +08:00
|
|
|
#include "llvm/ExecutionEngine/RTDyldMemoryManager.h"
|
2012-12-04 15:12:27 +08:00
|
|
|
#include "llvm/ExecutionEngine/RuntimeDyld.h"
|
2014-06-28 04:20:57 +08:00
|
|
|
#include "llvm/ExecutionEngine/RuntimeDyldChecker.h"
|
2012-04-30 18:06:27 +08:00
|
|
|
#include "llvm/Object/ObjectFile.h"
|
2011-07-13 15:57:58 +08:00
|
|
|
#include "llvm/Support/Debug.h"
|
|
|
|
#include "llvm/Support/ErrorHandling.h"
|
2012-03-31 00:45:19 +08:00
|
|
|
#include "llvm/Support/Format.h"
|
2012-10-25 21:13:48 +08:00
|
|
|
#include "llvm/Support/Host.h"
|
2013-10-22 01:42:06 +08:00
|
|
|
#include "llvm/Support/Mutex.h"
|
2012-10-25 21:13:48 +08:00
|
|
|
#include "llvm/Support/SwapByteOrder.h"
|
2012-04-30 18:06:27 +08:00
|
|
|
#include "llvm/Support/raw_ostream.h"
|
|
|
|
#include <map>
|
2014-06-13 01:38:55 +08:00
|
|
|
#include <system_error>
|
2011-07-13 15:57:58 +08:00
|
|
|
|
|
|
|
using namespace llvm;
|
2012-03-31 00:45:19 +08:00
|
|
|
using namespace llvm::object;
|
2011-07-13 15:57:58 +08:00
|
|
|
|
|
|
|
namespace llvm {
|
2012-03-31 00:45:19 +08:00
|
|
|
|
2015-03-08 04:21:27 +08:00
|
|
|
// Helper for extensive error checking in debug builds.
|
2015-03-08 04:56:50 +08:00
|
|
|
inline std::error_code Check(std::error_code Err) {
|
|
|
|
if (Err) {
|
|
|
|
report_fatal_error(Err.message());
|
2015-03-08 04:21:27 +08:00
|
|
|
}
|
2015-03-08 04:56:50 +08:00
|
|
|
return Err;
|
|
|
|
}
|
2015-03-08 04:21:27 +08:00
|
|
|
|
2012-04-30 18:06:27 +08:00
|
|
|
class Twine;
|
|
|
|
|
|
|
|
/// SectionEntry - represents a section emitted into memory by the dynamic
|
|
|
|
/// linker.
|
2012-03-31 00:45:19 +08:00
|
|
|
class SectionEntry {
|
|
|
|
public:
|
2012-10-25 21:13:48 +08:00
|
|
|
/// Name - section name.
|
2015-04-15 01:13:10 +08:00
|
|
|
std::string Name;
|
2012-10-25 21:13:48 +08:00
|
|
|
|
2012-04-30 18:06:27 +08:00
|
|
|
/// Address - address in the linker's memory where the section resides.
|
|
|
|
uint8_t *Address;
|
|
|
|
|
2013-05-06 04:43:10 +08:00
|
|
|
/// Size - section size. Doesn't include the stubs.
|
2012-04-30 18:06:27 +08:00
|
|
|
size_t Size;
|
|
|
|
|
|
|
|
/// LoadAddress - the address of the section in the target process's memory.
|
|
|
|
/// Used for situations in which JIT-ed code is being executed in the address
|
|
|
|
/// space of a separate process. If the code executes in the same address
|
|
|
|
/// space where it was JIT-ed, this just equals Address.
|
|
|
|
uint64_t LoadAddress;
|
|
|
|
|
|
|
|
/// StubOffset - used for architectures with stub functions for far
|
|
|
|
/// relocations (like ARM).
|
|
|
|
uintptr_t StubOffset;
|
|
|
|
|
|
|
|
/// ObjAddress - address of the section in the in-memory object file. Used
|
|
|
|
/// for calculating relocations in some object formats (like MachO).
|
|
|
|
uintptr_t ObjAddress;
|
|
|
|
|
2012-10-25 21:13:48 +08:00
|
|
|
SectionEntry(StringRef name, uint8_t *address, size_t size,
|
2013-05-06 04:43:10 +08:00
|
|
|
uintptr_t objAddress)
|
2014-03-22 04:28:42 +08:00
|
|
|
: Name(name), Address(address), Size(size),
|
2014-08-28 01:48:07 +08:00
|
|
|
LoadAddress(reinterpret_cast<uintptr_t>(address)), StubOffset(size),
|
2014-03-22 04:28:42 +08:00
|
|
|
ObjAddress(objAddress) {}
|
2012-03-31 00:45:19 +08:00
|
|
|
};
|
|
|
|
|
2012-04-30 18:06:27 +08:00
|
|
|
/// RelocationEntry - used to represent relocations internally in the dynamic
|
|
|
|
/// linker.
|
2012-03-31 00:45:19 +08:00
|
|
|
class RelocationEntry {
|
|
|
|
public:
|
2012-04-30 18:06:27 +08:00
|
|
|
/// SectionID - the section this relocation points to.
|
|
|
|
unsigned SectionID;
|
|
|
|
|
|
|
|
/// Offset - offset into the section.
|
2013-08-20 07:27:43 +08:00
|
|
|
uint64_t Offset;
|
2012-04-30 18:06:27 +08:00
|
|
|
|
|
|
|
/// RelType - relocation type.
|
|
|
|
uint32_t RelType;
|
|
|
|
|
|
|
|
/// Addend - the relocation addend encoded in the instruction itself. Also
|
|
|
|
/// used to make a relocation section relative instead of symbol relative.
|
2013-08-20 07:27:43 +08:00
|
|
|
int64_t Addend;
|
|
|
|
|
2014-05-13 05:39:59 +08:00
|
|
|
struct SectionPair {
|
|
|
|
uint32_t SectionA;
|
|
|
|
uint32_t SectionB;
|
|
|
|
};
|
|
|
|
|
2013-08-20 07:27:43 +08:00
|
|
|
/// SymOffset - Section offset of the relocation entry's symbol (used for GOT
|
|
|
|
/// lookup).
|
2014-05-13 05:39:59 +08:00
|
|
|
union {
|
|
|
|
uint64_t SymOffset;
|
|
|
|
SectionPair Sections;
|
|
|
|
};
|
2012-04-30 18:06:27 +08:00
|
|
|
|
2013-04-30 01:24:34 +08:00
|
|
|
/// True if this is a PCRel relocation (MachO specific).
|
|
|
|
bool IsPCRel;
|
|
|
|
|
|
|
|
/// The size of this relocation (MachO specific).
|
|
|
|
unsigned Size;
|
|
|
|
|
2012-04-30 18:06:27 +08:00
|
|
|
RelocationEntry(unsigned id, uint64_t offset, uint32_t type, int64_t addend)
|
2014-03-22 04:28:42 +08:00
|
|
|
: SectionID(id), Offset(offset), RelType(type), Addend(addend),
|
|
|
|
SymOffset(0), IsPCRel(false), Size(0) {}
|
2013-08-20 07:27:43 +08:00
|
|
|
|
|
|
|
RelocationEntry(unsigned id, uint64_t offset, uint32_t type, int64_t addend,
|
|
|
|
uint64_t symoffset)
|
2014-03-22 04:28:42 +08:00
|
|
|
: SectionID(id), Offset(offset), RelType(type), Addend(addend),
|
|
|
|
SymOffset(symoffset), IsPCRel(false), Size(0) {}
|
2013-04-30 01:24:34 +08:00
|
|
|
|
|
|
|
RelocationEntry(unsigned id, uint64_t offset, uint32_t type, int64_t addend,
|
|
|
|
bool IsPCRel, unsigned Size)
|
2014-03-22 04:28:42 +08:00
|
|
|
: SectionID(id), Offset(offset), RelType(type), Addend(addend),
|
|
|
|
SymOffset(0), IsPCRel(IsPCRel), Size(Size) {}
|
2014-05-13 05:39:59 +08:00
|
|
|
|
|
|
|
RelocationEntry(unsigned id, uint64_t offset, uint32_t type, int64_t addend,
|
|
|
|
unsigned SectionA, uint64_t SectionAOffset, unsigned SectionB,
|
|
|
|
uint64_t SectionBOffset, bool IsPCRel, unsigned Size)
|
|
|
|
: SectionID(id), Offset(offset), RelType(type),
|
|
|
|
Addend(SectionAOffset - SectionBOffset + addend), IsPCRel(IsPCRel),
|
|
|
|
Size(Size) {
|
|
|
|
Sections.SectionA = SectionA;
|
|
|
|
Sections.SectionB = SectionB;
|
|
|
|
}
|
2012-03-31 00:45:19 +08:00
|
|
|
};
|
|
|
|
|
|
|
|
class RelocationValueRef {
|
|
|
|
public:
|
2014-03-22 04:28:42 +08:00
|
|
|
unsigned SectionID;
|
|
|
|
uint64_t Offset;
|
|
|
|
int64_t Addend;
|
2012-03-31 00:45:19 +08:00
|
|
|
const char *SymbolName;
|
2014-04-28 12:05:08 +08:00
|
|
|
RelocationValueRef() : SectionID(0), Offset(0), Addend(0),
|
|
|
|
SymbolName(nullptr) {}
|
2012-03-31 00:45:19 +08:00
|
|
|
|
|
|
|
inline bool operator==(const RelocationValueRef &Other) const {
|
2013-08-20 17:27:31 +08:00
|
|
|
return SectionID == Other.SectionID && Offset == Other.Offset &&
|
|
|
|
Addend == Other.Addend && SymbolName == Other.SymbolName;
|
2012-03-31 00:45:19 +08:00
|
|
|
}
|
2014-03-22 04:28:42 +08:00
|
|
|
inline bool operator<(const RelocationValueRef &Other) const {
|
2013-08-20 17:27:31 +08:00
|
|
|
if (SectionID != Other.SectionID)
|
|
|
|
return SectionID < Other.SectionID;
|
|
|
|
if (Offset != Other.Offset)
|
|
|
|
return Offset < Other.Offset;
|
|
|
|
if (Addend != Other.Addend)
|
|
|
|
return Addend < Other.Addend;
|
|
|
|
return SymbolName < Other.SymbolName;
|
2012-03-31 00:45:19 +08:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2015-03-11 08:43:26 +08:00
|
|
|
/// @brief Symbol info for RuntimeDyld.
|
|
|
|
class SymbolTableEntry : public JITSymbolBase {
|
2015-01-17 07:13:56 +08:00
|
|
|
public:
|
2015-03-11 08:43:26 +08:00
|
|
|
SymbolTableEntry()
|
|
|
|
: JITSymbolBase(JITSymbolFlags::None), Offset(0), SectionID(0) {}
|
2015-01-17 07:13:56 +08:00
|
|
|
|
2015-03-11 08:43:26 +08:00
|
|
|
SymbolTableEntry(unsigned SectionID, uint64_t Offset, JITSymbolFlags Flags)
|
|
|
|
: JITSymbolBase(Flags), Offset(Offset), SectionID(SectionID) {}
|
2015-01-17 07:13:56 +08:00
|
|
|
|
|
|
|
unsigned getSectionID() const { return SectionID; }
|
|
|
|
uint64_t getOffset() const { return Offset; }
|
|
|
|
|
|
|
|
private:
|
|
|
|
uint64_t Offset;
|
2015-03-11 08:43:26 +08:00
|
|
|
unsigned SectionID;
|
2015-01-17 07:13:56 +08:00
|
|
|
};
|
|
|
|
|
2015-03-11 08:43:26 +08:00
|
|
|
typedef StringMap<SymbolTableEntry> RTDyldSymbolTable;
|
2015-01-17 07:13:56 +08:00
|
|
|
|
2011-07-13 15:57:58 +08:00
|
|
|
class RuntimeDyldImpl {
|
2014-11-27 00:54:40 +08:00
|
|
|
friend class RuntimeDyld::LoadedObjectInfo;
|
[MCJIT] Refactor and add stub inspection to the RuntimeDyldChecker framework.
This patch introduces a 'stub_addr' builtin that can be used to find the address
of the stub for a given (<file>, <section>, <symbol>) tuple. This address can be
used both to verify the contents of stubs (by loading from the returned address)
and to verify references to stubs (by comparing against the returned address).
Example (1) - Verifying stub contents:
Load 8 bytes (assuming a 64-bit target) from the stub for 'x' in the __text
section of f.o, and compare that value against the addres of 'x'.
# rtdyld-check: *{8}(stub_addr(f.o, __text, x) = x
Example (2) - Verifying references to stubs:
Decode the immediate of the instruction at label 'l', and verify that it's
equal to the offset from the next instruction's PC to the stub for 'y' in the
__text section of f.o (i.e. it's the correct PC-rel difference).
# rtdyld-check: decode_operand(l, 4) = stub_addr(f.o, __text, y) - next_pc(l)
l:
movq y@GOTPCREL(%rip), %rax
Since stub inspection requires cooperation with RuntimeDyldImpl this patch
pimpl-ifies RuntimeDyldChecker. Its implementation is moved in to a new class,
RuntimeDyldCheckerImpl, that has access to the definition of RuntimeDyldImpl.
llvm-svn: 213698
2014-07-23 06:47:39 +08:00
|
|
|
friend class RuntimeDyldCheckerImpl;
|
2011-07-13 15:57:58 +08:00
|
|
|
protected:
|
2015-10-18 09:41:37 +08:00
|
|
|
static const unsigned AbsoluteSymbolSection = ~0U;
|
|
|
|
|
2011-07-13 15:57:58 +08:00
|
|
|
// The MemoryManager to load objects into.
|
[MCJIT][Orc] Refactor RTDyldMemoryManager, weave RuntimeDyld::SymbolInfo through
MCJIT.
This patch decouples the two responsibilities of the RTDyldMemoryManager class,
memory management and symbol resolution, into two new classes:
RuntimeDyld::MemoryManager and RuntimeDyld::SymbolResolver.
The symbol resolution interface is modified slightly, from:
uint64_t getSymbolAddress(const std::string &Name);
to:
RuntimeDyld::SymbolInfo findSymbol(const std::string &Name);
The latter passes symbol flags along with symbol addresses, allowing RuntimeDyld
and others to reason about non-strong/non-exported symbols.
The memory management interface removes the following method:
void notifyObjectLoaded(ExecutionEngine *EE,
const object::ObjectFile &) {}
as it is not related to memory management. (Note: Backwards compatibility *is*
maintained for this method in MCJIT and OrcMCJITReplacement, see below).
The RTDyldMemoryManager class remains in-tree for backwards compatibility.
It inherits directly from RuntimeDyld::SymbolResolver, and indirectly from
RuntimeDyld::MemoryManager via the new MCJITMemoryManager class, which
just subclasses RuntimeDyld::MemoryManager and reintroduces the
notifyObjectLoaded method for backwards compatibility).
The EngineBuilder class retains the existing method:
EngineBuilder&
setMCJITMemoryManager(std::unique_ptr<RTDyldMemoryManager> mcjmm);
and includes two new methods:
EngineBuilder&
setMemoryManager(std::unique_ptr<MCJITMemoryManager> MM);
EngineBuilder&
setSymbolResolver(std::unique_ptr<RuntimeDyld::SymbolResolver> SR);
Clients should use EITHER:
A single call to setMCJITMemoryManager with an RTDyldMemoryManager.
OR (exclusive)
One call each to each of setMemoryManager and setSymbolResolver.
This patch should be fully compatible with existing uses of RTDyldMemoryManager.
If it is not it should be considered a bug, and the patch either fixed or
reverted.
If clients find the new API to be an improvement the goal will be to deprecate
and eventually remove the RTDyldMemoryManager class in favor of the new classes.
llvm-svn: 233509
2015-03-30 11:37:06 +08:00
|
|
|
RuntimeDyld::MemoryManager &MemMgr;
|
|
|
|
|
|
|
|
// The symbol resolver to use for external symbols.
|
|
|
|
RuntimeDyld::SymbolResolver &Resolver;
|
2011-07-13 15:57:58 +08:00
|
|
|
|
[MCJIT] Refactor and add stub inspection to the RuntimeDyldChecker framework.
This patch introduces a 'stub_addr' builtin that can be used to find the address
of the stub for a given (<file>, <section>, <symbol>) tuple. This address can be
used both to verify the contents of stubs (by loading from the returned address)
and to verify references to stubs (by comparing against the returned address).
Example (1) - Verifying stub contents:
Load 8 bytes (assuming a 64-bit target) from the stub for 'x' in the __text
section of f.o, and compare that value against the addres of 'x'.
# rtdyld-check: *{8}(stub_addr(f.o, __text, x) = x
Example (2) - Verifying references to stubs:
Decode the immediate of the instruction at label 'l', and verify that it's
equal to the offset from the next instruction's PC to the stub for 'y' in the
__text section of f.o (i.e. it's the correct PC-rel difference).
# rtdyld-check: decode_operand(l, 4) = stub_addr(f.o, __text, y) - next_pc(l)
l:
movq y@GOTPCREL(%rip), %rax
Since stub inspection requires cooperation with RuntimeDyldImpl this patch
pimpl-ifies RuntimeDyldChecker. Its implementation is moved in to a new class,
RuntimeDyldCheckerImpl, that has access to the definition of RuntimeDyldImpl.
llvm-svn: 213698
2014-07-23 06:47:39 +08:00
|
|
|
// Attached RuntimeDyldChecker instance. Null if no instance attached.
|
|
|
|
RuntimeDyldCheckerImpl *Checker;
|
|
|
|
|
2012-04-30 18:06:27 +08:00
|
|
|
// A list of all sections emitted by the dynamic linker. These sections are
|
|
|
|
// referenced in the code by means of their index in this list - SectionID.
|
2012-03-31 00:45:19 +08:00
|
|
|
typedef SmallVector<SectionEntry, 64> SectionList;
|
|
|
|
SectionList Sections;
|
2011-07-13 15:57:58 +08:00
|
|
|
|
2013-10-12 05:25:48 +08:00
|
|
|
typedef unsigned SID; // Type for SectionIDs
|
2015-05-22 05:24:32 +08:00
|
|
|
#define RTDYLD_INVALID_SECTION_ID ((RuntimeDyldImpl::SID)(-1))
|
2013-10-12 05:25:48 +08:00
|
|
|
|
2012-03-31 00:45:19 +08:00
|
|
|
// Keep a map of sections from object file to the SectionID which
|
|
|
|
// references it.
|
|
|
|
typedef std::map<SectionRef, unsigned> ObjSectionToIDMap;
|
2012-01-17 07:50:55 +08:00
|
|
|
|
2015-01-17 07:13:56 +08:00
|
|
|
// A global symbol table for symbols from all loaded modules.
|
|
|
|
RTDyldSymbolTable GlobalSymbolTable;
|
2012-03-31 00:45:19 +08:00
|
|
|
|
2012-10-29 18:47:04 +08:00
|
|
|
// Keep a map of common symbols to their info pairs
|
2015-01-17 08:55:05 +08:00
|
|
|
typedef std::vector<SymbolRef> CommonSymbolList;
|
2012-04-13 04:13:57 +08:00
|
|
|
|
2012-03-31 00:45:19 +08:00
|
|
|
// For each symbol, keep a list of relocations based on it. Anytime
|
|
|
|
// its address is reassigned (the JIT re-compiled the function, e.g.),
|
|
|
|
// the relocations get re-resolved.
|
|
|
|
// The symbol (or section) the relocation is sourced from is the Key
|
|
|
|
// in the relocation list where it's stored.
|
|
|
|
typedef SmallVector<RelocationEntry, 64> RelocationList;
|
|
|
|
// Relocations to sections already loaded. Indexed by SectionID which is the
|
2012-06-02 18:20:22 +08:00
|
|
|
// source of the address. The target where the address will be written is
|
2012-03-31 00:45:19 +08:00
|
|
|
// SectionID/Offset in the relocation itself.
|
|
|
|
DenseMap<unsigned, RelocationList> Relocations;
|
2012-04-30 20:15:58 +08:00
|
|
|
|
|
|
|
// Relocations to external symbols that are not yet resolved. Symbols are
|
|
|
|
// external when they aren't found in the global symbol table of all loaded
|
|
|
|
// modules. This map is indexed by symbol name.
|
|
|
|
StringMap<RelocationList> ExternalSymbolRelocations;
|
2012-03-31 00:45:19 +08:00
|
|
|
|
[MCJIT] Refactor and add stub inspection to the RuntimeDyldChecker framework.
This patch introduces a 'stub_addr' builtin that can be used to find the address
of the stub for a given (<file>, <section>, <symbol>) tuple. This address can be
used both to verify the contents of stubs (by loading from the returned address)
and to verify references to stubs (by comparing against the returned address).
Example (1) - Verifying stub contents:
Load 8 bytes (assuming a 64-bit target) from the stub for 'x' in the __text
section of f.o, and compare that value against the addres of 'x'.
# rtdyld-check: *{8}(stub_addr(f.o, __text, x) = x
Example (2) - Verifying references to stubs:
Decode the immediate of the instruction at label 'l', and verify that it's
equal to the offset from the next instruction's PC to the stub for 'y' in the
__text section of f.o (i.e. it's the correct PC-rel difference).
# rtdyld-check: decode_operand(l, 4) = stub_addr(f.o, __text, y) - next_pc(l)
l:
movq y@GOTPCREL(%rip), %rax
Since stub inspection requires cooperation with RuntimeDyldImpl this patch
pimpl-ifies RuntimeDyldChecker. Its implementation is moved in to a new class,
RuntimeDyldCheckerImpl, that has access to the definition of RuntimeDyldImpl.
llvm-svn: 213698
2014-07-23 06:47:39 +08:00
|
|
|
|
2012-03-31 00:45:19 +08:00
|
|
|
typedef std::map<RelocationValueRef, uintptr_t> StubMap;
|
|
|
|
|
|
|
|
Triple::ArchType Arch;
|
2013-10-16 04:44:55 +08:00
|
|
|
bool IsTargetLittleEndian;
|
2015-05-28 21:48:41 +08:00
|
|
|
bool IsMipsO32ABI;
|
|
|
|
bool IsMipsN64ABI;
|
2012-03-31 00:45:19 +08:00
|
|
|
|
2014-03-21 05:06:46 +08:00
|
|
|
// True if all sections should be passed to the memory manager, false if only
|
|
|
|
// sections containing relocations should be. Defaults to 'false'.
|
|
|
|
bool ProcessAllSections;
|
|
|
|
|
2013-10-22 01:42:06 +08:00
|
|
|
// This mutex prevents simultaneously loading objects from two different
|
|
|
|
// threads. This keeps us from having to protect individual data structures
|
|
|
|
// and guarantees that section allocation requests to the memory manager
|
|
|
|
// won't be interleaved between modules. It is also used in mapSectionAddress
|
|
|
|
// and resolveRelocations to protect write access to internal data structures.
|
|
|
|
//
|
|
|
|
// loadObject may be called on the same thread during the handling of of
|
|
|
|
// processRelocations, and that's OK. The handling of the relocation lists
|
|
|
|
// is written in such a way as to work correctly if new elements are added to
|
|
|
|
// the end of the list while the list is being processed.
|
|
|
|
sys::Mutex lock;
|
|
|
|
|
2013-10-16 05:32:56 +08:00
|
|
|
virtual unsigned getMaxStubSize() = 0;
|
|
|
|
virtual unsigned getStubAlignment() = 0;
|
2013-05-03 22:15:35 +08:00
|
|
|
|
2011-07-13 15:57:58 +08:00
|
|
|
bool HasError;
|
|
|
|
std::string ErrorStr;
|
|
|
|
|
|
|
|
// Set the error state and record an error string.
|
|
|
|
bool Error(const Twine &Msg) {
|
|
|
|
ErrorStr = Msg.str();
|
|
|
|
HasError = true;
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2014-09-06 02:00:16 +08:00
|
|
|
uint64_t getSectionLoadAddress(unsigned SectionID) const {
|
2012-09-06 00:50:40 +08:00
|
|
|
return Sections[SectionID].LoadAddress;
|
|
|
|
}
|
|
|
|
|
2014-09-06 02:00:16 +08:00
|
|
|
uint8_t *getSectionAddress(unsigned SectionID) const {
|
2014-03-22 04:28:42 +08:00
|
|
|
return (uint8_t *)Sections[SectionID].Address;
|
2012-01-17 06:26:39 +08:00
|
|
|
}
|
2011-07-13 15:57:58 +08:00
|
|
|
|
2012-10-25 21:13:48 +08:00
|
|
|
void writeInt16BE(uint8_t *Addr, uint16_t Value) {
|
2013-10-16 04:44:55 +08:00
|
|
|
if (IsTargetLittleEndian)
|
2014-06-14 21:18:07 +08:00
|
|
|
sys::swapByteOrder(Value);
|
2014-03-22 04:28:42 +08:00
|
|
|
*Addr = (Value >> 8) & 0xFF;
|
|
|
|
*(Addr + 1) = Value & 0xFF;
|
2012-10-25 21:13:48 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
void writeInt32BE(uint8_t *Addr, uint32_t Value) {
|
2013-10-16 04:44:55 +08:00
|
|
|
if (IsTargetLittleEndian)
|
2014-06-14 21:18:07 +08:00
|
|
|
sys::swapByteOrder(Value);
|
2014-03-22 04:28:42 +08:00
|
|
|
*Addr = (Value >> 24) & 0xFF;
|
|
|
|
*(Addr + 1) = (Value >> 16) & 0xFF;
|
|
|
|
*(Addr + 2) = (Value >> 8) & 0xFF;
|
|
|
|
*(Addr + 3) = Value & 0xFF;
|
2012-10-25 21:13:48 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
void writeInt64BE(uint8_t *Addr, uint64_t Value) {
|
2013-10-16 04:44:55 +08:00
|
|
|
if (IsTargetLittleEndian)
|
2014-06-14 21:18:07 +08:00
|
|
|
sys::swapByteOrder(Value);
|
2014-03-22 04:28:42 +08:00
|
|
|
*Addr = (Value >> 56) & 0xFF;
|
|
|
|
*(Addr + 1) = (Value >> 48) & 0xFF;
|
|
|
|
*(Addr + 2) = (Value >> 40) & 0xFF;
|
|
|
|
*(Addr + 3) = (Value >> 32) & 0xFF;
|
|
|
|
*(Addr + 4) = (Value >> 24) & 0xFF;
|
|
|
|
*(Addr + 5) = (Value >> 16) & 0xFF;
|
|
|
|
*(Addr + 6) = (Value >> 8) & 0xFF;
|
|
|
|
*(Addr + 7) = Value & 0xFF;
|
2012-10-25 21:13:48 +08:00
|
|
|
}
|
|
|
|
|
2015-05-28 21:48:41 +08:00
|
|
|
virtual void setMipsABI(const ObjectFile &Obj) {
|
|
|
|
IsMipsO32ABI = false;
|
|
|
|
IsMipsN64ABI = false;
|
|
|
|
}
|
|
|
|
|
2014-08-30 07:17:47 +08:00
|
|
|
/// Endian-aware read Read the least significant Size bytes from Src.
|
|
|
|
uint64_t readBytesUnaligned(uint8_t *Src, unsigned Size) const;
|
|
|
|
|
|
|
|
/// Endian-aware write. Write the least significant Size bytes from Value to
|
|
|
|
/// Dst.
|
|
|
|
void writeBytesUnaligned(uint64_t Value, uint8_t *Dst, unsigned Size) const;
|
|
|
|
|
2012-05-01 18:41:12 +08:00
|
|
|
/// \brief Given the common symbols discovered in the object file, emit a
|
|
|
|
/// new section for them and update the symbol mappings in the object and
|
|
|
|
/// symbol table.
|
2015-01-17 08:55:05 +08:00
|
|
|
void emitCommonSymbols(const ObjectFile &Obj, CommonSymbolList &CommonSymbols);
|
2012-04-13 04:13:57 +08:00
|
|
|
|
2012-03-31 00:45:19 +08:00
|
|
|
/// \brief Emits section data from the object file to the MemoryManager.
|
|
|
|
/// \param IsCode if it's true then allocateCodeSection() will be
|
2012-04-29 20:40:47 +08:00
|
|
|
/// used for emits, else allocateDataSection() will be used.
|
2012-03-31 00:45:19 +08:00
|
|
|
/// \return SectionID.
|
2014-11-27 00:54:40 +08:00
|
|
|
unsigned emitSection(const ObjectFile &Obj, const SectionRef &Section,
|
2012-04-17 06:12:58 +08:00
|
|
|
bool IsCode);
|
2012-03-31 00:45:19 +08:00
|
|
|
|
|
|
|
/// \brief Find Section in LocalSections. If the secton is not found - emit
|
|
|
|
/// it and store in LocalSections.
|
|
|
|
/// \param IsCode if it's true then allocateCodeSection() will be
|
|
|
|
/// used for emmits, else allocateDataSection() will be used.
|
|
|
|
/// \return SectionID.
|
2014-11-27 00:54:40 +08:00
|
|
|
unsigned findOrEmitSection(const ObjectFile &Obj, const SectionRef &Section,
|
2014-03-22 04:28:42 +08:00
|
|
|
bool IsCode, ObjSectionToIDMap &LocalSections);
|
2012-03-31 00:45:19 +08:00
|
|
|
|
2012-05-01 18:41:12 +08:00
|
|
|
// \brief Add a relocation entry that uses the given section.
|
|
|
|
void addRelocationForSection(const RelocationEntry &RE, unsigned SectionID);
|
|
|
|
|
|
|
|
// \brief Add a relocation entry that uses the given symbol. This symbol may
|
|
|
|
// be found in the global symbol table, or it may be external.
|
|
|
|
void addRelocationForSymbol(const RelocationEntry &RE, StringRef SymbolName);
|
2012-03-31 00:45:19 +08:00
|
|
|
|
|
|
|
/// \brief Emits long jump instruction to Addr.
|
|
|
|
/// \return Pointer to the memory area for emitting target address.
|
2014-07-21 07:53:14 +08:00
|
|
|
uint8_t *createStubFunction(uint8_t *Addr, unsigned AbiVariant = 0);
|
2012-03-31 00:45:19 +08:00
|
|
|
|
|
|
|
/// \brief Resolves relocations from Relocs list with address from Value.
|
|
|
|
void resolveRelocationList(const RelocationList &Relocs, uint64_t Value);
|
|
|
|
|
|
|
|
/// \brief A object file specific relocation resolver
|
2013-04-30 03:33:51 +08:00
|
|
|
/// \param RE The relocation to be resolved
|
2012-03-31 00:45:19 +08:00
|
|
|
/// \param Value Target symbol address to apply the relocation action
|
2013-04-30 01:24:34 +08:00
|
|
|
virtual void resolveRelocation(const RelocationEntry &RE, uint64_t Value) = 0;
|
2012-03-31 00:45:19 +08:00
|
|
|
|
2014-03-22 04:38:46 +08:00
|
|
|
/// \brief Parses one or more object file relocations (some object files use
|
|
|
|
/// relocation pairs) and stores it to Relocations or SymbolRelocations
|
|
|
|
/// (this depends on the object file type).
|
|
|
|
/// \return Iterator to the next relocation that needs to be parsed.
|
2014-03-21 15:26:41 +08:00
|
|
|
virtual relocation_iterator
|
|
|
|
processRelocationRef(unsigned SectionID, relocation_iterator RelI,
|
2014-11-27 00:54:40 +08:00
|
|
|
const ObjectFile &Obj, ObjSectionToIDMap &ObjSectionToID,
|
2014-11-27 13:40:13 +08:00
|
|
|
StubMap &Stubs) = 0;
|
2012-03-31 00:45:19 +08:00
|
|
|
|
2012-04-30 20:15:58 +08:00
|
|
|
/// \brief Resolve relocations to external symbols.
|
|
|
|
void resolveExternalSymbols();
|
2013-08-20 07:27:43 +08:00
|
|
|
|
2014-03-22 04:28:42 +08:00
|
|
|
// \brief Compute an upper bound of the memory that is required to load all
|
|
|
|
// sections
|
2014-11-27 00:54:40 +08:00
|
|
|
void computeTotalAllocSize(const ObjectFile &Obj, uint64_t &CodeSize,
|
2014-03-22 04:28:42 +08:00
|
|
|
uint64_t &DataSizeRO, uint64_t &DataSizeRW);
|
|
|
|
|
2014-02-13 05:30:07 +08:00
|
|
|
// \brief Compute the stub buffer size required for a section
|
2014-11-27 00:54:40 +08:00
|
|
|
unsigned computeSectionStubBufSize(const ObjectFile &Obj,
|
2014-03-21 15:26:41 +08:00
|
|
|
const SectionRef &Section);
|
2014-02-13 05:30:07 +08:00
|
|
|
|
2014-11-27 00:54:40 +08:00
|
|
|
// \brief Implementation of the generic part of the loadObject algorithm.
|
2015-07-29 01:52:11 +08:00
|
|
|
ObjSectionToIDMap loadObjectImpl(const object::ObjectFile &Obj);
|
2014-11-27 00:54:40 +08:00
|
|
|
|
2011-07-13 15:57:58 +08:00
|
|
|
public:
|
[MCJIT][Orc] Refactor RTDyldMemoryManager, weave RuntimeDyld::SymbolInfo through
MCJIT.
This patch decouples the two responsibilities of the RTDyldMemoryManager class,
memory management and symbol resolution, into two new classes:
RuntimeDyld::MemoryManager and RuntimeDyld::SymbolResolver.
The symbol resolution interface is modified slightly, from:
uint64_t getSymbolAddress(const std::string &Name);
to:
RuntimeDyld::SymbolInfo findSymbol(const std::string &Name);
The latter passes symbol flags along with symbol addresses, allowing RuntimeDyld
and others to reason about non-strong/non-exported symbols.
The memory management interface removes the following method:
void notifyObjectLoaded(ExecutionEngine *EE,
const object::ObjectFile &) {}
as it is not related to memory management. (Note: Backwards compatibility *is*
maintained for this method in MCJIT and OrcMCJITReplacement, see below).
The RTDyldMemoryManager class remains in-tree for backwards compatibility.
It inherits directly from RuntimeDyld::SymbolResolver, and indirectly from
RuntimeDyld::MemoryManager via the new MCJITMemoryManager class, which
just subclasses RuntimeDyld::MemoryManager and reintroduces the
notifyObjectLoaded method for backwards compatibility).
The EngineBuilder class retains the existing method:
EngineBuilder&
setMCJITMemoryManager(std::unique_ptr<RTDyldMemoryManager> mcjmm);
and includes two new methods:
EngineBuilder&
setMemoryManager(std::unique_ptr<MCJITMemoryManager> MM);
EngineBuilder&
setSymbolResolver(std::unique_ptr<RuntimeDyld::SymbolResolver> SR);
Clients should use EITHER:
A single call to setMCJITMemoryManager with an RTDyldMemoryManager.
OR (exclusive)
One call each to each of setMemoryManager and setSymbolResolver.
This patch should be fully compatible with existing uses of RTDyldMemoryManager.
If it is not it should be considered a bug, and the patch either fixed or
reverted.
If clients find the new API to be an improvement the goal will be to deprecate
and eventually remove the RTDyldMemoryManager class in favor of the new classes.
llvm-svn: 233509
2015-03-30 11:37:06 +08:00
|
|
|
RuntimeDyldImpl(RuntimeDyld::MemoryManager &MemMgr,
|
|
|
|
RuntimeDyld::SymbolResolver &Resolver)
|
|
|
|
: MemMgr(MemMgr), Resolver(Resolver), Checker(nullptr),
|
|
|
|
ProcessAllSections(false), HasError(false) {
|
2014-06-28 04:20:57 +08:00
|
|
|
}
|
2011-07-13 15:57:58 +08:00
|
|
|
|
|
|
|
virtual ~RuntimeDyldImpl();
|
|
|
|
|
2014-03-21 05:06:46 +08:00
|
|
|
void setProcessAllSections(bool ProcessAllSections) {
|
|
|
|
this->ProcessAllSections = ProcessAllSections;
|
|
|
|
}
|
|
|
|
|
[MCJIT] Refactor and add stub inspection to the RuntimeDyldChecker framework.
This patch introduces a 'stub_addr' builtin that can be used to find the address
of the stub for a given (<file>, <section>, <symbol>) tuple. This address can be
used both to verify the contents of stubs (by loading from the returned address)
and to verify references to stubs (by comparing against the returned address).
Example (1) - Verifying stub contents:
Load 8 bytes (assuming a 64-bit target) from the stub for 'x' in the __text
section of f.o, and compare that value against the addres of 'x'.
# rtdyld-check: *{8}(stub_addr(f.o, __text, x) = x
Example (2) - Verifying references to stubs:
Decode the immediate of the instruction at label 'l', and verify that it's
equal to the offset from the next instruction's PC to the stub for 'y' in the
__text section of f.o (i.e. it's the correct PC-rel difference).
# rtdyld-check: decode_operand(l, 4) = stub_addr(f.o, __text, y) - next_pc(l)
l:
movq y@GOTPCREL(%rip), %rax
Since stub inspection requires cooperation with RuntimeDyldImpl this patch
pimpl-ifies RuntimeDyldChecker. Its implementation is moved in to a new class,
RuntimeDyldCheckerImpl, that has access to the definition of RuntimeDyldImpl.
llvm-svn: 213698
2014-07-23 06:47:39 +08:00
|
|
|
void setRuntimeDyldChecker(RuntimeDyldCheckerImpl *Checker) {
|
|
|
|
this->Checker = Checker;
|
|
|
|
}
|
|
|
|
|
2014-11-27 00:54:40 +08:00
|
|
|
virtual std::unique_ptr<RuntimeDyld::LoadedObjectInfo>
|
|
|
|
loadObject(const object::ObjectFile &Obj) = 0;
|
2011-07-13 15:57:58 +08:00
|
|
|
|
2015-03-11 08:43:26 +08:00
|
|
|
uint8_t* getSymbolLocalAddress(StringRef Name) const {
|
2011-07-13 15:57:58 +08:00
|
|
|
// FIXME: Just look up as a function for now. Overly simple of course.
|
|
|
|
// Work in progress.
|
2015-01-17 07:13:56 +08:00
|
|
|
RTDyldSymbolTable::const_iterator pos = GlobalSymbolTable.find(Name);
|
2013-10-19 17:04:26 +08:00
|
|
|
if (pos == GlobalSymbolTable.end())
|
2014-04-28 12:05:08 +08:00
|
|
|
return nullptr;
|
2015-01-17 07:13:56 +08:00
|
|
|
const auto &SymInfo = pos->second;
|
2015-10-18 09:41:37 +08:00
|
|
|
// Absolute symbols do not have a local address.
|
|
|
|
if (SymInfo.getSectionID() == AbsoluteSymbolSection)
|
|
|
|
return nullptr;
|
2015-01-17 07:13:56 +08:00
|
|
|
return getSectionAddress(SymInfo.getSectionID()) + SymInfo.getOffset();
|
2011-07-13 15:57:58 +08:00
|
|
|
}
|
|
|
|
|
2015-03-11 08:43:26 +08:00
|
|
|
RuntimeDyld::SymbolInfo getSymbol(StringRef Name) const {
|
2012-09-06 00:50:40 +08:00
|
|
|
// FIXME: Just look up as a function for now. Overly simple of course.
|
|
|
|
// Work in progress.
|
2015-01-17 07:13:56 +08:00
|
|
|
RTDyldSymbolTable::const_iterator pos = GlobalSymbolTable.find(Name);
|
2013-10-19 17:04:26 +08:00
|
|
|
if (pos == GlobalSymbolTable.end())
|
2015-03-11 08:43:26 +08:00
|
|
|
return nullptr;
|
|
|
|
const auto &SymEntry = pos->second;
|
2015-10-18 09:41:37 +08:00
|
|
|
uint64_t SectionAddr = 0;
|
|
|
|
if (SymEntry.getSectionID() != AbsoluteSymbolSection)
|
|
|
|
SectionAddr = getSectionLoadAddress(SymEntry.getSectionID());
|
|
|
|
uint64_t TargetAddr = SectionAddr + SymEntry.getOffset();
|
2015-03-11 08:43:26 +08:00
|
|
|
return RuntimeDyld::SymbolInfo(TargetAddr, SymEntry.getFlags());
|
2012-09-06 00:50:40 +08:00
|
|
|
}
|
|
|
|
|
2012-03-31 00:45:19 +08:00
|
|
|
void resolveRelocations();
|
2011-07-13 15:57:58 +08:00
|
|
|
|
2012-03-31 00:45:19 +08:00
|
|
|
void reassignSectionAddress(unsigned SectionID, uint64_t Addr);
|
2011-07-13 15:57:58 +08:00
|
|
|
|
2012-09-14 05:50:06 +08:00
|
|
|
void mapSectionAddress(const void *LocalAddress, uint64_t TargetAddress);
|
2012-01-17 07:50:55 +08:00
|
|
|
|
2011-07-13 15:57:58 +08:00
|
|
|
// Is the linker in an error state?
|
|
|
|
bool hasError() { return HasError; }
|
|
|
|
|
|
|
|
// Mark the error condition as handled and continue.
|
|
|
|
void clearError() { HasError = false; }
|
|
|
|
|
|
|
|
// Get the error message.
|
|
|
|
StringRef getErrorString() { return ErrorStr; }
|
|
|
|
|
2014-11-27 00:54:40 +08:00
|
|
|
virtual bool isCompatibleFile(const ObjectFile &Obj) const = 0;
|
2013-05-06 04:43:10 +08:00
|
|
|
|
2013-10-12 05:25:48 +08:00
|
|
|
virtual void registerEHFrames();
|
2013-08-20 07:27:43 +08:00
|
|
|
|
2013-10-16 08:14:21 +08:00
|
|
|
virtual void deregisterEHFrames();
|
|
|
|
|
2014-11-27 00:54:40 +08:00
|
|
|
virtual void finalizeLoad(const ObjectFile &ObjImg,
|
|
|
|
ObjSectionToIDMap &SectionMap) {}
|
2011-07-13 15:57:58 +08:00
|
|
|
};
|
|
|
|
|
|
|
|
} // end namespace llvm
|
|
|
|
|
|
|
|
#endif
|