blob: 16e66dc98e74dc329fed21ac3384763bd8596168 [file] [log] [blame]
Nick Lewycky833a0032011-09-01 21:09:04 +00001//===-- lib/MC/Disassembler.cpp - Disassembler Public C Interface ---------===//
Kevin Enderby93f79362011-03-28 18:25:07 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
Chris Lattner97ff42d2011-05-22 04:52:24 +00009
Kevin Enderby93f79362011-03-28 18:25:07 +000010#include "Disassembler.h"
Kevin Enderby93f79362011-03-28 18:25:07 +000011#include "llvm-c/Disassembler.h"
12
Kevin Enderby93f79362011-03-28 18:25:07 +000013#include "llvm/MC/MCAsmInfo.h"
Evan Cheng4c816482011-07-20 06:54:19 +000014#include "llvm/MC/MCContext.h"
Kevin Enderby93f79362011-03-28 18:25:07 +000015#include "llvm/MC/MCDisassembler.h"
16#include "llvm/MC/MCInst.h"
17#include "llvm/MC/MCInstPrinter.h"
Evan Cheng4c816482011-07-20 06:54:19 +000018#include "llvm/MC/MCRegisterInfo.h"
Kevin Enderby93f79362011-03-28 18:25:07 +000019#include "llvm/Support/MemoryObject.h"
Evan Cheng3e74d6f2011-08-24 18:08:43 +000020#include "llvm/Support/TargetRegistry.h"
21#include "llvm/Support/TargetSelect.h"
Kevin Enderby93f79362011-03-28 18:25:07 +000022
23namespace llvm {
24class Target;
25} // namespace llvm
26using namespace llvm;
27
Kevin Enderby93f79362011-03-28 18:25:07 +000028// LLVMCreateDisasm() creates a disassembler for the TripleName. Symbolic
29// disassembly is supported by passing a block of information in the DisInfo
Chris Lattner97ff42d2011-05-22 04:52:24 +000030// parameter and specifying the TagType and callback functions as described in
Kevin Enderby93f79362011-03-28 18:25:07 +000031// the header llvm-c/Disassembler.h . The pointer to the block and the
Chris Lattner97ff42d2011-05-22 04:52:24 +000032// functions can all be passed as NULL. If successful, this returns a
33// disassembler context. If not, it returns NULL.
Kevin Enderby93f79362011-03-28 18:25:07 +000034//
35LLVMDisasmContextRef LLVMCreateDisasm(const char *TripleName, void *DisInfo,
36 int TagType, LLVMOpInfoCallback GetOpInfo,
37 LLVMSymbolLookupCallback SymbolLookUp) {
38 // Initialize targets and assembly printers/parsers.
39 llvm::InitializeAllTargetInfos();
Evan Chenge78085a2011-07-22 21:58:54 +000040 llvm::InitializeAllTargetMCs();
Kevin Enderby93f79362011-03-28 18:25:07 +000041 llvm::InitializeAllAsmParsers();
42 llvm::InitializeAllDisassemblers();
43
44 // Get the target.
45 std::string Error;
46 const Target *TheTarget = TargetRegistry::lookupTarget(TripleName, Error);
47 assert(TheTarget && "Unable to create target!");
48
49 // Get the assembler info needed to setup the MCContext.
Evan Cheng1abf2cb2011-07-14 23:50:31 +000050 const MCAsmInfo *MAI = TheTarget->createMCAsmInfo(TripleName);
Kevin Enderby93f79362011-03-28 18:25:07 +000051 assert(MAI && "Unable to create target asm info!");
52
Evan Cheng0e6a0522011-07-18 20:57:22 +000053 const MCRegisterInfo *MRI = TheTarget->createMCRegInfo(TripleName);
54 assert(MRI && "Unable to create target register info!");
55
Kevin Enderby93f79362011-03-28 18:25:07 +000056 // Package up features to be passed to target/subtarget
57 std::string FeaturesStr;
Evan Cheng276365d2011-06-30 01:53:36 +000058 std::string CPU;
Kevin Enderby93f79362011-03-28 18:25:07 +000059
James Molloyb9505852011-09-07 17:24:38 +000060 const MCSubtargetInfo *STI = TheTarget->createMCSubtargetInfo(TripleName, CPU,
61 FeaturesStr);
62 assert(STI && "Unable to create subtarget info!");
63
Kevin Enderby93f79362011-03-28 18:25:07 +000064 // Set up the MCContext for creating symbols and MCExpr's.
Evan Cheng203576a2011-07-20 19:50:42 +000065 MCContext *Ctx = new MCContext(*MAI, *MRI, 0);
Kevin Enderby93f79362011-03-28 18:25:07 +000066 assert(Ctx && "Unable to create MCContext!");
67
68 // Set up disassembler.
James Molloyb9505852011-09-07 17:24:38 +000069 MCDisassembler *DisAsm = TheTarget->createMCDisassembler(*STI);
Kevin Enderby93f79362011-03-28 18:25:07 +000070 assert(DisAsm && "Unable to create disassembler!");
Kevin Enderby9e5887b2011-10-04 22:44:48 +000071 DisAsm->setupForSymbolicDisassembly(GetOpInfo, SymbolLookUp, DisInfo, Ctx);
Kevin Enderby93f79362011-03-28 18:25:07 +000072
73 // Set up the instruction printer.
74 int AsmPrinterVariant = MAI->getAssemblerDialect();
Evan Chengb2627992011-07-06 19:45:42 +000075 MCInstPrinter *IP = TheTarget->createMCInstPrinter(AsmPrinterVariant,
James Molloyb9505852011-09-07 17:24:38 +000076 *MAI, *STI);
Kevin Enderby93f79362011-03-28 18:25:07 +000077 assert(IP && "Unable to create instruction printer!");
78
79 LLVMDisasmContext *DC = new LLVMDisasmContext(TripleName, DisInfo, TagType,
80 GetOpInfo, SymbolLookUp,
Evan Cheng203576a2011-07-20 19:50:42 +000081 TheTarget, MAI, MRI,
Evan Cheng0e6a0522011-07-18 20:57:22 +000082 Ctx, DisAsm, IP);
Kevin Enderby93f79362011-03-28 18:25:07 +000083 assert(DC && "Allocation failure!");
Owen Anderson8f29e692011-09-15 18:37:20 +000084
Kevin Enderby93f79362011-03-28 18:25:07 +000085 return DC;
86}
87
88//
89// LLVMDisasmDispose() disposes of the disassembler specified by the context.
90//
91void LLVMDisasmDispose(LLVMDisasmContextRef DCR){
92 LLVMDisasmContext *DC = (LLVMDisasmContext *)DCR;
93 delete DC;
94}
95
96namespace {
97//
98// The memory object created by LLVMDisasmInstruction().
99//
100class DisasmMemoryObject : public MemoryObject {
Kevin Enderby93f79362011-03-28 18:25:07 +0000101 uint8_t *Bytes;
102 uint64_t Size;
103 uint64_t BasePC;
104public:
105 DisasmMemoryObject(uint8_t *bytes, uint64_t size, uint64_t basePC) :
106 Bytes(bytes), Size(size), BasePC(basePC) {}
107
108 uint64_t getBase() const { return BasePC; }
109 uint64_t getExtent() const { return Size; }
110
111 int readByte(uint64_t Addr, uint8_t *Byte) const {
112 if (Addr - BasePC >= Size)
113 return -1;
114 *Byte = Bytes[Addr - BasePC];
115 return 0;
116 }
117};
Chris Lattner97ff42d2011-05-22 04:52:24 +0000118} // end anonymous namespace
Kevin Enderby93f79362011-03-28 18:25:07 +0000119
120//
Benjamin Kramer5731ff62011-04-09 14:06:12 +0000121// LLVMDisasmInstruction() disassembles a single instruction using the
Kevin Enderby93f79362011-03-28 18:25:07 +0000122// disassembler context specified in the parameter DC. The bytes of the
Benjamin Kramer5731ff62011-04-09 14:06:12 +0000123// instruction are specified in the parameter Bytes, and contains at least
Kevin Enderby93f79362011-03-28 18:25:07 +0000124// BytesSize number of bytes. The instruction is at the address specified by
125// the PC parameter. If a valid instruction can be disassembled its string is
126// returned indirectly in OutString which whos size is specified in the
127// parameter OutStringSize. This function returns the number of bytes in the
128// instruction or zero if there was no valid instruction. If this function
129// returns zero the caller will have to pick how many bytes they want to step
130// over by printing a .byte, .long etc. to continue.
131//
132size_t LLVMDisasmInstruction(LLVMDisasmContextRef DCR, uint8_t *Bytes,
133 uint64_t BytesSize, uint64_t PC, char *OutString,
134 size_t OutStringSize){
135 LLVMDisasmContext *DC = (LLVMDisasmContext *)DCR;
136 // Wrap the pointer to the Bytes, BytesSize and PC in a MemoryObject.
137 DisasmMemoryObject MemoryObject(Bytes, BytesSize, PC);
138
139 uint64_t Size;
140 MCInst Inst;
141 const MCDisassembler *DisAsm = DC->getDisAsm();
142 MCInstPrinter *IP = DC->getIP();
James Molloyee064432011-09-01 22:01:14 +0000143 MCDisassembler::DecodeStatus S;
144 S = DisAsm->getInstruction(Inst, Size, MemoryObject, PC,
Owen Anderson98c5dda2011-09-15 23:38:46 +0000145 /*REMOVE*/ nulls(), DC->CommentStream);
James Molloyee064432011-09-01 22:01:14 +0000146 switch (S) {
147 case MCDisassembler::Fail:
148 case MCDisassembler::SoftFail:
James Molloyc047dca2011-09-01 18:02:14 +0000149 // FIXME: Do something different for soft failure modes?
Kevin Enderby93f79362011-03-28 18:25:07 +0000150 return 0;
James Molloyee064432011-09-01 22:01:14 +0000151
152 case MCDisassembler::Success: {
Owen Anderson8f29e692011-09-15 18:37:20 +0000153 DC->CommentStream.flush();
Owen Anderson8f29e692011-09-15 18:37:20 +0000154 StringRef Comments = DC->CommentsToEmit.str();
155
Owen Anderson98c5dda2011-09-15 23:38:46 +0000156 SmallVector<char, 64> InsnStr;
157 raw_svector_ostream OS(InsnStr);
158 IP->printInst(&Inst, OS, Comments);
159 OS.flush();
Owen Anderson8f29e692011-09-15 18:37:20 +0000160
Owen Anderson8f29e692011-09-15 18:37:20 +0000161 // Tell the comment stream that the vector changed underneath it.
Owen Anderson98c5dda2011-09-15 23:38:46 +0000162 DC->CommentsToEmit.clear();
Owen Anderson8f29e692011-09-15 18:37:20 +0000163 DC->CommentStream.resync();
164
James Molloyee064432011-09-01 22:01:14 +0000165 assert(OutStringSize != 0 && "Output buffer cannot be zero size");
166 size_t OutputSize = std::min(OutStringSize-1, InsnStr.size());
167 std::memcpy(OutString, InsnStr.data(), OutputSize);
168 OutString[OutputSize] = '\0'; // Terminate string.
169
170 return Size;
James Molloyc047dca2011-09-01 18:02:14 +0000171 }
James Molloyee064432011-09-01 22:01:14 +0000172 }
173 return 0;
Kevin Enderby93f79362011-03-28 18:25:07 +0000174}