2009-09-09 22:49:13 +00:00
|
|
|
//===-- llvm/MC/MCDisassembler.h - Disassembler interface -------*- C++ -*-===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
2013-01-10 00:45:19 +00:00
|
|
|
#ifndef LLVM_MC_MCDISASSEMBLER_H
|
|
|
|
#define LLVM_MC_MCDISASSEMBLER_H
|
2009-09-09 22:49:13 +00:00
|
|
|
|
2011-04-11 18:08:50 +00:00
|
|
|
#include "llvm-c/Disassembler.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).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182625 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-24 00:39:57 +00:00
|
|
|
#include "llvm/MC/MCRelocationInfo.h"
|
2014-01-07 11:48:04 +00:00
|
|
|
#include "llvm/MC/MCSymbolizer.h"
|
2012-12-03 17:02:12 +00:00
|
|
|
#include "llvm/Support/DataTypes.h"
|
2009-09-09 22:49:13 +00:00
|
|
|
|
|
|
|
namespace llvm {
|
2012-05-11 01:39:13 +00:00
|
|
|
|
2009-09-09 22:49:13 +00:00
|
|
|
class MCInst;
|
2011-09-07 17:24:38 +00:00
|
|
|
class MCSubtargetInfo;
|
2009-09-09 22:49:13 +00:00
|
|
|
class MemoryObject;
|
|
|
|
class raw_ostream;
|
2011-04-11 18:08:50 +00:00
|
|
|
class MCContext;
|
2012-05-11 01:39:13 +00:00
|
|
|
|
2009-09-09 22:49:13 +00:00
|
|
|
/// MCDisassembler - Superclass for all disassemblers. Consumes a memory region
|
|
|
|
/// and provides an array of assembly instructions.
|
|
|
|
class MCDisassembler {
|
|
|
|
public:
|
2011-08-17 17:44:15 +00:00
|
|
|
/// Ternary decode status. Most backends will just use Fail and
|
|
|
|
/// Success, however some have a concept of an instruction with
|
|
|
|
/// understandable semantics but which is architecturally
|
|
|
|
/// incorrect. An example of this is ARM UNPREDICTABLE instructions
|
|
|
|
/// which are disassemblable but cause undefined behaviour.
|
|
|
|
///
|
|
|
|
/// Because it makes sense to disassemble these instructions, there
|
|
|
|
/// is a "soft fail" failure mode that indicates the MCInst& is
|
|
|
|
/// valid but architecturally incorrect.
|
|
|
|
///
|
|
|
|
/// The enum numbers are deliberately chosen such that reduction
|
|
|
|
/// from Success->SoftFail ->Fail can be done with a simple
|
|
|
|
/// bitwise-AND:
|
|
|
|
///
|
|
|
|
/// LEFT & TOP = | Success Unpredictable Fail
|
|
|
|
/// --------------+-----------------------------------
|
|
|
|
/// Success | Success Unpredictable Fail
|
|
|
|
/// Unpredictable | Unpredictable Unpredictable Fail
|
|
|
|
/// Fail | Fail Fail Fail
|
|
|
|
///
|
|
|
|
/// An easy way of encoding this is as 0b11, 0b01, 0b00 for
|
|
|
|
/// Success, SoftFail, Fail respectively.
|
|
|
|
enum DecodeStatus {
|
|
|
|
Fail = 0,
|
|
|
|
SoftFail = 1,
|
|
|
|
Success = 3
|
|
|
|
};
|
|
|
|
|
2009-09-09 22:49:13 +00:00
|
|
|
/// Constructor - Performs initial setup for the disassembler.
|
2014-04-15 04:40:56 +00:00
|
|
|
MCDisassembler(const MCSubtargetInfo &STI, MCContext &Ctx)
|
|
|
|
: Ctx(Ctx), STI(STI), Symbolizer(), CommentStream(nullptr) {}
|
2012-05-11 01:39:13 +00:00
|
|
|
|
2009-09-09 22:49:13 +00:00
|
|
|
virtual ~MCDisassembler();
|
2012-05-11 01:39:13 +00:00
|
|
|
|
2009-09-09 22:49:13 +00:00
|
|
|
/// getInstruction - Returns the disassembly of a single instruction.
|
|
|
|
///
|
2012-05-11 01:39:13 +00:00
|
|
|
/// @param instr - An MCInst to populate with the contents of the
|
2009-09-09 22:49:13 +00:00
|
|
|
/// instruction.
|
|
|
|
/// @param size - A value to populate with the size of the instruction, or
|
|
|
|
/// the number of bytes consumed while attempting to decode
|
|
|
|
/// an invalid instruction.
|
|
|
|
/// @param region - The memory object to use as a source for machine code.
|
|
|
|
/// @param address - The address, in the memory space of region, of the first
|
|
|
|
/// byte of the instruction.
|
|
|
|
/// @param vStream - The stream to print warnings and diagnostic messages on.
|
2011-09-15 23:38:46 +00:00
|
|
|
/// @param cStream - The stream to print comments and annotations on.
|
2011-08-17 17:44:15 +00:00
|
|
|
/// @return - MCDisassembler::Success if the instruction is valid,
|
2012-05-11 01:39:13 +00:00
|
|
|
/// MCDisassembler::SoftFail if the instruction was
|
2011-08-17 17:44:15 +00:00
|
|
|
/// disassemblable but invalid,
|
|
|
|
/// MCDisassembler::Fail if the instruction was invalid.
|
|
|
|
virtual DecodeStatus getInstruction(MCInst& instr,
|
2009-09-09 22:49:13 +00:00
|
|
|
uint64_t& size,
|
2012-02-29 01:09:06 +00:00
|
|
|
const MemoryObject ®ion,
|
2009-09-09 22:49:13 +00:00
|
|
|
uint64_t address,
|
2011-09-15 23:38:46 +00:00
|
|
|
raw_ostream &vStream,
|
|
|
|
raw_ostream &cStream) const = 0;
|
2014-04-15 04:40:56 +00:00
|
|
|
private:
|
|
|
|
MCContext &Ctx;
|
2010-04-13 21:21:57 +00:00
|
|
|
|
2011-09-07 17:24:38 +00:00
|
|
|
protected:
|
|
|
|
// Subtarget information, for instruction decoding predicates if required.
|
|
|
|
const MCSubtargetInfo &STI;
|
2014-03-06 05:51:42 +00:00
|
|
|
std::unique_ptr<MCSymbolizer> 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).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182625 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-24 00:39:57 +00:00
|
|
|
|
2011-04-11 18:08:50 +00:00
|
|
|
public:
|
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).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182625 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-24 00:39:57 +00:00
|
|
|
// Helpers around MCSymbolizer
|
|
|
|
bool tryAddingSymbolicOperand(MCInst &Inst,
|
|
|
|
int64_t Value,
|
|
|
|
uint64_t Address, bool IsBranch,
|
|
|
|
uint64_t Offset, uint64_t InstSize) const;
|
|
|
|
|
|
|
|
void tryAddingPcLoadReferenceComment(int64_t Value, uint64_t Address) const;
|
|
|
|
|
|
|
|
/// Set \p Symzer as the current symbolizer.
|
|
|
|
/// This takes ownership of \p Symzer, and deletes the previously set one.
|
2014-03-07 09:38:02 +00:00
|
|
|
void setSymbolizer(std::unique_ptr<MCSymbolizer> Symzer);
|
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).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182625 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-24 00:39:57 +00:00
|
|
|
|
2014-04-15 04:40:56 +00:00
|
|
|
MCContext& getContext() const { return Ctx; }
|
|
|
|
|
2013-11-08 16:07:43 +00:00
|
|
|
const MCSubtargetInfo& getSubtargetInfo() const { return STI; }
|
|
|
|
|
2011-10-04 22:44:48 +00:00
|
|
|
// Marked mutable because we cache it inside the disassembler, rather than
|
|
|
|
// having to pass it around as an argument through all the autogenerated code.
|
|
|
|
mutable raw_ostream *CommentStream;
|
2010-04-13 21:21:57 +00:00
|
|
|
};
|
2009-09-09 22:49:13 +00:00
|
|
|
|
|
|
|
} // namespace llvm
|
|
|
|
|
|
|
|
#endif
|