2011-09-02 05:09:04 +08:00
|
|
|
//===-- lib/MC/Disassembler.cpp - Disassembler Public C Interface ---------===//
|
2011-03-29 02:25:07 +08:00
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
2011-05-22 12:52:24 +08:00
|
|
|
|
2011-03-29 02:25:07 +08:00
|
|
|
#include "Disassembler.h"
|
|
|
|
#include "llvm-c/Disassembler.h"
|
|
|
|
#include "llvm/MC/MCAsmInfo.h"
|
2011-07-20 14:54:19 +08:00
|
|
|
#include "llvm/MC/MCContext.h"
|
2011-03-29 02:25:07 +08:00
|
|
|
#include "llvm/MC/MCDisassembler.h"
|
|
|
|
#include "llvm/MC/MCInst.h"
|
|
|
|
#include "llvm/MC/MCInstPrinter.h"
|
2012-04-07 02:21:09 +08:00
|
|
|
#include "llvm/MC/MCInstrInfo.h"
|
2011-07-20 14:54:19 +08:00
|
|
|
#include "llvm/MC/MCRegisterInfo.h"
|
Add MCSymbolizer for symbolic/annotated disassembly.
This is a basic first step towards symbolization of disassembled
instructions. This used to be done using externally provided (C API)
callbacks. This patch introduces:
- the MCSymbolizer class, that mimics the same functions that were used
in the X86 and ARM disassemblers to symbolize immediate operands and
to annotate loads based off PC (for things like c string literals).
- the MCExternalSymbolizer class, which implements the old C API.
- the MCRelocationInfo class, which provides a way for targets to
translate relocations (either object::RelocationRef, or disassembler
C API VariantKinds) to MCExprs.
- the MCObjectSymbolizer class, which does symbolization using what it
finds in an object::ObjectFile. This makes simple symbolization (with
no fancy relocation stuff) work for all object formats!
- x86-64 Mach-O and ELF MCRelocationInfos.
- A basic ARM Mach-O MCRelocationInfo, that provides just enough to
support the C API VariantKinds.
Most of what works in otool (the only user of the old symbolization API
that I know of) for x86-64 symbolic disassembly (-tvV) works, namely:
- symbol references: call _foo; jmp 15 <_foo+50>
- relocations: call _foo-_bar; call _foo-4
- __cf?string: leaq 193(%rip), %rax ## literal pool for "hello"
Stub support is the main missing part (because libObject doesn't know,
among other things, about mach-o indirect symbols).
As for the MCSymbolizer API, instead of relying on the disassemblers
to call the tryAdding* methods, maybe this could be done automagically
using InstrInfo? For instance, even though PC-relative LEAs are used
to get the address of string literals in a typical Mach-O file, a MOV
would be used in an ELF file. And right now, the explicit symbolization
only recognizes PC-relative LEAs. InstrInfo should have already have
most of what is needed to know what to symbolize, so this can
definitely be improved.
I'd also like to remove object::RelocationRef::getValueString (it seems
only used by relocation printing in objdump), as simply printing the
created MCExpr is definitely enough (and cleaner than string concats).
llvm-svn: 182625
2013-05-24 08:39:57 +08:00
|
|
|
#include "llvm/MC/MCRelocationInfo.h"
|
2012-04-07 02:21:09 +08:00
|
|
|
#include "llvm/MC/MCSubtargetInfo.h"
|
2013-05-25 06:51:52 +08:00
|
|
|
#include "llvm/MC/MCSymbolizer.h"
|
2012-12-04 00:50:05 +08:00
|
|
|
#include "llvm/Support/ErrorHandling.h"
|
2011-03-29 02:25:07 +08:00
|
|
|
#include "llvm/Support/MemoryObject.h"
|
2011-08-25 02:08:43 +08:00
|
|
|
#include "llvm/Support/TargetRegistry.h"
|
2011-03-29 02:25:07 +08:00
|
|
|
|
|
|
|
namespace llvm {
|
|
|
|
class Target;
|
|
|
|
} // namespace llvm
|
|
|
|
using namespace llvm;
|
|
|
|
|
|
|
|
// LLVMCreateDisasm() creates a disassembler for the TripleName. Symbolic
|
|
|
|
// disassembly is supported by passing a block of information in the DisInfo
|
2011-05-22 12:52:24 +08:00
|
|
|
// parameter and specifying the TagType and callback functions as described in
|
2011-03-29 02:25:07 +08:00
|
|
|
// the header llvm-c/Disassembler.h . The pointer to the block and the
|
2011-05-22 12:52:24 +08:00
|
|
|
// functions can all be passed as NULL. If successful, this returns a
|
|
|
|
// disassembler context. If not, it returns NULL.
|
2011-03-29 02:25:07 +08:00
|
|
|
//
|
2012-12-08 07:53:27 +08:00
|
|
|
LLVMDisasmContextRef LLVMCreateDisasmCPU(const char *Triple, const char *CPU,
|
|
|
|
void *DisInfo, int TagType,
|
|
|
|
LLVMOpInfoCallback GetOpInfo,
|
|
|
|
LLVMSymbolLookupCallback SymbolLookUp){
|
2011-03-29 02:25:07 +08:00
|
|
|
// Get the target.
|
|
|
|
std::string Error;
|
2012-12-08 07:53:27 +08:00
|
|
|
const Target *TheTarget = TargetRegistry::lookupTarget(Triple, Error);
|
2013-05-23 08:32:34 +08:00
|
|
|
if (!TheTarget)
|
|
|
|
return 0;
|
2011-03-29 02:25:07 +08:00
|
|
|
|
2013-05-13 09:16:13 +08:00
|
|
|
const MCRegisterInfo *MRI = TheTarget->createMCRegInfo(Triple);
|
|
|
|
if (!MRI)
|
|
|
|
return 0;
|
|
|
|
|
2011-03-29 02:25:07 +08:00
|
|
|
// Get the assembler info needed to setup the MCContext.
|
2013-05-13 09:16:13 +08:00
|
|
|
const MCAsmInfo *MAI = TheTarget->createMCAsmInfo(*MRI, Triple);
|
2013-03-13 02:12:17 +08:00
|
|
|
if (!MAI)
|
|
|
|
return 0;
|
2011-03-29 02:25:07 +08:00
|
|
|
|
2012-04-02 14:09:36 +08:00
|
|
|
const MCInstrInfo *MII = TheTarget->createMCInstrInfo();
|
2013-03-13 02:12:17 +08:00
|
|
|
if (!MII)
|
|
|
|
return 0;
|
2012-04-02 14:09:36 +08:00
|
|
|
|
2011-03-29 02:25:07 +08:00
|
|
|
// Package up features to be passed to target/subtarget
|
|
|
|
std::string FeaturesStr;
|
|
|
|
|
2012-12-08 07:53:27 +08:00
|
|
|
const MCSubtargetInfo *STI = TheTarget->createMCSubtargetInfo(Triple, CPU,
|
2011-09-08 01:24:38 +08:00
|
|
|
FeaturesStr);
|
2013-03-13 02:12:17 +08:00
|
|
|
if (!STI)
|
|
|
|
return 0;
|
2011-09-08 01:24:38 +08:00
|
|
|
|
2011-03-29 02:25:07 +08:00
|
|
|
// Set up the MCContext for creating symbols and MCExpr's.
|
2013-06-18 15:20:20 +08:00
|
|
|
MCContext *Ctx = new MCContext(MAI, MRI, 0);
|
2013-03-13 02:12:17 +08:00
|
|
|
if (!Ctx)
|
|
|
|
return 0;
|
2011-03-29 02:25:07 +08:00
|
|
|
|
|
|
|
// Set up disassembler.
|
2011-09-08 01:24:38 +08:00
|
|
|
MCDisassembler *DisAsm = TheTarget->createMCDisassembler(*STI);
|
2013-03-13 02:12:17 +08:00
|
|
|
if (!DisAsm)
|
|
|
|
return 0;
|
Add MCSymbolizer for symbolic/annotated disassembly.
This is a basic first step towards symbolization of disassembled
instructions. This used to be done using externally provided (C API)
callbacks. This patch introduces:
- the MCSymbolizer class, that mimics the same functions that were used
in the X86 and ARM disassemblers to symbolize immediate operands and
to annotate loads based off PC (for things like c string literals).
- the MCExternalSymbolizer class, which implements the old C API.
- the MCRelocationInfo class, which provides a way for targets to
translate relocations (either object::RelocationRef, or disassembler
C API VariantKinds) to MCExprs.
- the MCObjectSymbolizer class, which does symbolization using what it
finds in an object::ObjectFile. This makes simple symbolization (with
no fancy relocation stuff) work for all object formats!
- x86-64 Mach-O and ELF MCRelocationInfos.
- A basic ARM Mach-O MCRelocationInfo, that provides just enough to
support the C API VariantKinds.
Most of what works in otool (the only user of the old symbolization API
that I know of) for x86-64 symbolic disassembly (-tvV) works, namely:
- symbol references: call _foo; jmp 15 <_foo+50>
- relocations: call _foo-_bar; call _foo-4
- __cf?string: leaq 193(%rip), %rax ## literal pool for "hello"
Stub support is the main missing part (because libObject doesn't know,
among other things, about mach-o indirect symbols).
As for the MCSymbolizer API, instead of relying on the disassemblers
to call the tryAdding* methods, maybe this could be done automagically
using InstrInfo? For instance, even though PC-relative LEAs are used
to get the address of string literals in a typical Mach-O file, a MOV
would be used in an ELF file. And right now, the explicit symbolization
only recognizes PC-relative LEAs. InstrInfo should have already have
most of what is needed to know what to symbolize, so this can
definitely be improved.
I'd also like to remove object::RelocationRef::getValueString (it seems
only used by relocation printing in objdump), as simply printing the
created MCExpr is definitely enough (and cleaner than string concats).
llvm-svn: 182625
2013-05-24 08:39:57 +08:00
|
|
|
|
|
|
|
OwningPtr<MCRelocationInfo> RelInfo(
|
|
|
|
TheTarget->createMCRelocationInfo(Triple, *Ctx));
|
|
|
|
if (!RelInfo)
|
|
|
|
return 0;
|
|
|
|
|
2013-05-25 06:51:52 +08:00
|
|
|
OwningPtr<MCSymbolizer> Symbolizer(
|
|
|
|
TheTarget->createMCSymbolizer(Triple, GetOpInfo, SymbolLookUp, DisInfo,
|
|
|
|
Ctx, RelInfo.take()));
|
|
|
|
DisAsm->setSymbolizer(Symbolizer);
|
Add MCSymbolizer for symbolic/annotated disassembly.
This is a basic first step towards symbolization of disassembled
instructions. This used to be done using externally provided (C API)
callbacks. This patch introduces:
- the MCSymbolizer class, that mimics the same functions that were used
in the X86 and ARM disassemblers to symbolize immediate operands and
to annotate loads based off PC (for things like c string literals).
- the MCExternalSymbolizer class, which implements the old C API.
- the MCRelocationInfo class, which provides a way for targets to
translate relocations (either object::RelocationRef, or disassembler
C API VariantKinds) to MCExprs.
- the MCObjectSymbolizer class, which does symbolization using what it
finds in an object::ObjectFile. This makes simple symbolization (with
no fancy relocation stuff) work for all object formats!
- x86-64 Mach-O and ELF MCRelocationInfos.
- A basic ARM Mach-O MCRelocationInfo, that provides just enough to
support the C API VariantKinds.
Most of what works in otool (the only user of the old symbolization API
that I know of) for x86-64 symbolic disassembly (-tvV) works, namely:
- symbol references: call _foo; jmp 15 <_foo+50>
- relocations: call _foo-_bar; call _foo-4
- __cf?string: leaq 193(%rip), %rax ## literal pool for "hello"
Stub support is the main missing part (because libObject doesn't know,
among other things, about mach-o indirect symbols).
As for the MCSymbolizer API, instead of relying on the disassemblers
to call the tryAdding* methods, maybe this could be done automagically
using InstrInfo? For instance, even though PC-relative LEAs are used
to get the address of string literals in a typical Mach-O file, a MOV
would be used in an ELF file. And right now, the explicit symbolization
only recognizes PC-relative LEAs. InstrInfo should have already have
most of what is needed to know what to symbolize, so this can
definitely be improved.
I'd also like to remove object::RelocationRef::getValueString (it seems
only used by relocation printing in objdump), as simply printing the
created MCExpr is definitely enough (and cleaner than string concats).
llvm-svn: 182625
2013-05-24 08:39:57 +08:00
|
|
|
DisAsm->setupForSymbolicDisassembly(GetOpInfo, SymbolLookUp, DisInfo,
|
|
|
|
Ctx, RelInfo);
|
2011-03-29 02:25:07 +08:00
|
|
|
// Set up the instruction printer.
|
|
|
|
int AsmPrinterVariant = MAI->getAssemblerDialect();
|
2011-07-07 03:45:42 +08:00
|
|
|
MCInstPrinter *IP = TheTarget->createMCInstPrinter(AsmPrinterVariant,
|
2012-04-02 14:09:36 +08:00
|
|
|
*MAI, *MII, *MRI, *STI);
|
2013-03-13 02:12:17 +08:00
|
|
|
if (!IP)
|
|
|
|
return 0;
|
2011-03-29 02:25:07 +08:00
|
|
|
|
2012-12-08 07:53:27 +08:00
|
|
|
LLVMDisasmContext *DC = new LLVMDisasmContext(Triple, DisInfo, TagType,
|
2011-03-29 02:25:07 +08:00
|
|
|
GetOpInfo, SymbolLookUp,
|
2011-07-21 03:50:42 +08:00
|
|
|
TheTarget, MAI, MRI,
|
2012-04-07 02:21:09 +08:00
|
|
|
STI, MII, Ctx, DisAsm, IP);
|
2013-03-13 02:12:17 +08:00
|
|
|
if (!DC)
|
|
|
|
return 0;
|
2011-09-16 02:37:20 +08:00
|
|
|
|
2011-03-29 02:25:07 +08:00
|
|
|
return DC;
|
|
|
|
}
|
|
|
|
|
2012-12-08 07:53:27 +08:00
|
|
|
LLVMDisasmContextRef LLVMCreateDisasm(const char *Triple, void *DisInfo,
|
|
|
|
int TagType, LLVMOpInfoCallback GetOpInfo,
|
|
|
|
LLVMSymbolLookupCallback SymbolLookUp) {
|
|
|
|
return LLVMCreateDisasmCPU(Triple, "", DisInfo, TagType, GetOpInfo,
|
|
|
|
SymbolLookUp);
|
|
|
|
}
|
|
|
|
|
2011-03-29 02:25:07 +08:00
|
|
|
//
|
|
|
|
// LLVMDisasmDispose() disposes of the disassembler specified by the context.
|
|
|
|
//
|
|
|
|
void LLVMDisasmDispose(LLVMDisasmContextRef DCR){
|
|
|
|
LLVMDisasmContext *DC = (LLVMDisasmContext *)DCR;
|
|
|
|
delete DC;
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
//
|
|
|
|
// The memory object created by LLVMDisasmInstruction().
|
|
|
|
//
|
|
|
|
class DisasmMemoryObject : public MemoryObject {
|
|
|
|
uint8_t *Bytes;
|
|
|
|
uint64_t Size;
|
|
|
|
uint64_t BasePC;
|
|
|
|
public:
|
|
|
|
DisasmMemoryObject(uint8_t *bytes, uint64_t size, uint64_t basePC) :
|
|
|
|
Bytes(bytes), Size(size), BasePC(basePC) {}
|
|
|
|
|
|
|
|
uint64_t getBase() const { return BasePC; }
|
2012-02-29 09:09:06 +08:00
|
|
|
uint64_t getExtent() const { return Size; }
|
2011-03-29 02:25:07 +08:00
|
|
|
|
2012-02-29 09:09:06 +08:00
|
|
|
int readByte(uint64_t Addr, uint8_t *Byte) const {
|
2011-03-29 02:25:07 +08:00
|
|
|
if (Addr - BasePC >= Size)
|
|
|
|
return -1;
|
|
|
|
*Byte = Bytes[Addr - BasePC];
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
};
|
2011-05-22 12:52:24 +08:00
|
|
|
} // end anonymous namespace
|
2011-03-29 02:25:07 +08:00
|
|
|
|
|
|
|
//
|
2011-04-09 22:06:12 +08:00
|
|
|
// LLVMDisasmInstruction() disassembles a single instruction using the
|
2011-03-29 02:25:07 +08:00
|
|
|
// disassembler context specified in the parameter DC. The bytes of the
|
2011-04-09 22:06:12 +08:00
|
|
|
// instruction are specified in the parameter Bytes, and contains at least
|
2011-03-29 02:25:07 +08:00
|
|
|
// BytesSize number of bytes. The instruction is at the address specified by
|
|
|
|
// the PC parameter. If a valid instruction can be disassembled its string is
|
|
|
|
// returned indirectly in OutString which whos size is specified in the
|
|
|
|
// parameter OutStringSize. This function returns the number of bytes in the
|
|
|
|
// instruction or zero if there was no valid instruction. If this function
|
|
|
|
// returns zero the caller will have to pick how many bytes they want to step
|
|
|
|
// over by printing a .byte, .long etc. to continue.
|
|
|
|
//
|
|
|
|
size_t LLVMDisasmInstruction(LLVMDisasmContextRef DCR, uint8_t *Bytes,
|
|
|
|
uint64_t BytesSize, uint64_t PC, char *OutString,
|
|
|
|
size_t OutStringSize){
|
|
|
|
LLVMDisasmContext *DC = (LLVMDisasmContext *)DCR;
|
|
|
|
// Wrap the pointer to the Bytes, BytesSize and PC in a MemoryObject.
|
|
|
|
DisasmMemoryObject MemoryObject(Bytes, BytesSize, PC);
|
|
|
|
|
|
|
|
uint64_t Size;
|
|
|
|
MCInst Inst;
|
|
|
|
const MCDisassembler *DisAsm = DC->getDisAsm();
|
|
|
|
MCInstPrinter *IP = DC->getIP();
|
2011-09-02 06:01:14 +08:00
|
|
|
MCDisassembler::DecodeStatus S;
|
|
|
|
S = DisAsm->getInstruction(Inst, Size, MemoryObject, PC,
|
2011-09-16 07:38:46 +08:00
|
|
|
/*REMOVE*/ nulls(), DC->CommentStream);
|
2011-09-02 06:01:14 +08:00
|
|
|
switch (S) {
|
|
|
|
case MCDisassembler::Fail:
|
|
|
|
case MCDisassembler::SoftFail:
|
2011-09-02 02:02:14 +08:00
|
|
|
// FIXME: Do something different for soft failure modes?
|
2011-03-29 02:25:07 +08:00
|
|
|
return 0;
|
2011-09-02 05:09:04 +08:00
|
|
|
|
2011-09-02 06:01:14 +08:00
|
|
|
case MCDisassembler::Success: {
|
2011-09-16 02:37:20 +08:00
|
|
|
DC->CommentStream.flush();
|
|
|
|
StringRef Comments = DC->CommentsToEmit.str();
|
|
|
|
|
2011-09-16 07:38:46 +08:00
|
|
|
SmallVector<char, 64> InsnStr;
|
|
|
|
raw_svector_ostream OS(InsnStr);
|
|
|
|
IP->printInst(&Inst, OS, Comments);
|
|
|
|
OS.flush();
|
2011-09-16 02:37:20 +08:00
|
|
|
|
|
|
|
// Tell the comment stream that the vector changed underneath it.
|
2011-09-16 07:38:46 +08:00
|
|
|
DC->CommentsToEmit.clear();
|
2011-09-16 02:37:20 +08:00
|
|
|
DC->CommentStream.resync();
|
|
|
|
|
2011-09-02 06:01:14 +08:00
|
|
|
assert(OutStringSize != 0 && "Output buffer cannot be zero size");
|
|
|
|
size_t OutputSize = std::min(OutStringSize-1, InsnStr.size());
|
|
|
|
std::memcpy(OutString, InsnStr.data(), OutputSize);
|
|
|
|
OutString[OutputSize] = '\0'; // Terminate string.
|
2011-09-02 05:09:04 +08:00
|
|
|
|
2011-09-02 06:01:14 +08:00
|
|
|
return Size;
|
|
|
|
}
|
|
|
|
}
|
2012-01-21 05:51:11 +08:00
|
|
|
llvm_unreachable("Invalid DecodeStatus!");
|
2011-03-29 02:25:07 +08:00
|
|
|
}
|
2012-10-23 06:31:46 +08:00
|
|
|
|
|
|
|
//
|
|
|
|
// LLVMSetDisasmOptions() sets the disassembler's options. It returns 1 if it
|
|
|
|
// can set all the Options and 0 otherwise.
|
|
|
|
//
|
|
|
|
int LLVMSetDisasmOptions(LLVMDisasmContextRef DCR, uint64_t Options){
|
|
|
|
if (Options & LLVMDisassembler_Option_UseMarkup){
|
|
|
|
LLVMDisasmContext *DC = (LLVMDisasmContext *)DCR;
|
|
|
|
MCInstPrinter *IP = DC->getIP();
|
|
|
|
IP->setUseMarkup(1);
|
|
|
|
Options &= ~LLVMDisassembler_Option_UseMarkup;
|
|
|
|
}
|
2012-12-06 02:13:19 +08:00
|
|
|
if (Options & LLVMDisassembler_Option_PrintImmHex){
|
|
|
|
LLVMDisasmContext *DC = (LLVMDisasmContext *)DCR;
|
|
|
|
MCInstPrinter *IP = DC->getIP();
|
|
|
|
IP->setPrintImmHex(1);
|
|
|
|
Options &= ~LLVMDisassembler_Option_PrintImmHex;
|
|
|
|
}
|
2012-12-19 07:47:28 +08:00
|
|
|
if (Options & LLVMDisassembler_Option_AsmPrinterVariant){
|
|
|
|
LLVMDisasmContext *DC = (LLVMDisasmContext *)DCR;
|
|
|
|
// Try to set up the new instruction printer.
|
|
|
|
const MCAsmInfo *MAI = DC->getAsmInfo();
|
|
|
|
const MCInstrInfo *MII = DC->getInstrInfo();
|
|
|
|
const MCRegisterInfo *MRI = DC->getRegisterInfo();
|
|
|
|
const MCSubtargetInfo *STI = DC->getSubtargetInfo();
|
|
|
|
int AsmPrinterVariant = MAI->getAssemblerDialect();
|
|
|
|
AsmPrinterVariant = AsmPrinterVariant == 0 ? 1 : 0;
|
|
|
|
MCInstPrinter *IP = DC->getTarget()->createMCInstPrinter(
|
|
|
|
AsmPrinterVariant, *MAI, *MII, *MRI, *STI);
|
|
|
|
if (IP) {
|
|
|
|
DC->setIP(IP);
|
|
|
|
Options &= ~LLVMDisassembler_Option_AsmPrinterVariant;
|
|
|
|
}
|
|
|
|
}
|
2012-10-23 06:31:46 +08:00
|
|
|
return (Options == 0);
|
|
|
|
}
|