blob: 4e4bad14308e31e492fd4a8d8fa62e31b371e69c [file] [log] [blame]
Nick Lewycky2e2d75f2011-09-01 21:09:04 +00001//===-- lib/MC/Disassembler.cpp - Disassembler Public C Interface ---------===//
Kevin Enderbyf3070dc2011-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 Lattner0388fb02011-05-22 04:52:24 +00009
Kevin Enderbyf3070dc2011-03-28 18:25:07 +000010#include "Disassembler.h"
Kevin Enderbyf3070dc2011-03-28 18:25:07 +000011#include "llvm-c/Disassembler.h"
Kevin Enderbyf3070dc2011-03-28 18:25:07 +000012#include "llvm/MC/MCAsmInfo.h"
Evan Cheng345b6b42011-07-20 06:54:19 +000013#include "llvm/MC/MCContext.h"
Kevin Enderbyf3070dc2011-03-28 18:25:07 +000014#include "llvm/MC/MCDisassembler.h"
15#include "llvm/MC/MCInst.h"
16#include "llvm/MC/MCInstPrinter.h"
Sean Callanane804b5b2012-04-06 18:21:09 +000017#include "llvm/MC/MCInstrInfo.h"
Evan Cheng345b6b42011-07-20 06:54:19 +000018#include "llvm/MC/MCRegisterInfo.h"
Ahmed Bougachaad1084d2013-05-24 00:39:57 +000019#include "llvm/MC/MCRelocationInfo.h"
Sean Callanane804b5b2012-04-06 18:21:09 +000020#include "llvm/MC/MCSubtargetInfo.h"
Quentin Colombetf4828052013-05-24 22:51:52 +000021#include "llvm/MC/MCSymbolizer.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000022#include "llvm/Support/ErrorHandling.h"
Quentin Colombet93a98aa2013-10-01 22:14:56 +000023#include "llvm/Support/FormattedStream.h"
Kevin Enderbyf3070dc2011-03-28 18:25:07 +000024#include "llvm/Support/MemoryObject.h"
Evan Cheng2bb40352011-08-24 18:08:43 +000025#include "llvm/Support/TargetRegistry.h"
Kevin Enderbyf3070dc2011-03-28 18:25:07 +000026
27namespace llvm {
28class Target;
29} // namespace llvm
30using namespace llvm;
31
Kevin Enderbyf3070dc2011-03-28 18:25:07 +000032// LLVMCreateDisasm() creates a disassembler for the TripleName. Symbolic
33// disassembly is supported by passing a block of information in the DisInfo
Chris Lattner0388fb02011-05-22 04:52:24 +000034// parameter and specifying the TagType and callback functions as described in
Kevin Enderbyf3070dc2011-03-28 18:25:07 +000035// the header llvm-c/Disassembler.h . The pointer to the block and the
Chris Lattner0388fb02011-05-22 04:52:24 +000036// functions can all be passed as NULL. If successful, this returns a
37// disassembler context. If not, it returns NULL.
Kevin Enderbyf3070dc2011-03-28 18:25:07 +000038//
Jim Grosbach0ca9d5b2012-12-07 23:53:27 +000039LLVMDisasmContextRef LLVMCreateDisasmCPU(const char *Triple, const char *CPU,
40 void *DisInfo, int TagType,
41 LLVMOpInfoCallback GetOpInfo,
42 LLVMSymbolLookupCallback SymbolLookUp){
Kevin Enderbyf3070dc2011-03-28 18:25:07 +000043 // Get the target.
44 std::string Error;
Jim Grosbach0ca9d5b2012-12-07 23:53:27 +000045 const Target *TheTarget = TargetRegistry::lookupTarget(Triple, Error);
Kevin Enderby64d93452013-05-23 00:32:34 +000046 if (!TheTarget)
47 return 0;
Kevin Enderbyf3070dc2011-03-28 18:25:07 +000048
Rafael Espindola227144c2013-05-13 01:16:13 +000049 const MCRegisterInfo *MRI = TheTarget->createMCRegInfo(Triple);
50 if (!MRI)
51 return 0;
52
Kevin Enderbyf3070dc2011-03-28 18:25:07 +000053 // Get the assembler info needed to setup the MCContext.
Rafael Espindola227144c2013-05-13 01:16:13 +000054 const MCAsmInfo *MAI = TheTarget->createMCAsmInfo(*MRI, Triple);
Kevin Enderbyf536c6a2013-03-12 18:12:17 +000055 if (!MAI)
56 return 0;
Kevin Enderbyf3070dc2011-03-28 18:25:07 +000057
Craig Topper54bfde72012-04-02 06:09:36 +000058 const MCInstrInfo *MII = TheTarget->createMCInstrInfo();
Kevin Enderbyf536c6a2013-03-12 18:12:17 +000059 if (!MII)
60 return 0;
Craig Topper54bfde72012-04-02 06:09:36 +000061
Kevin Enderbyf3070dc2011-03-28 18:25:07 +000062 // Package up features to be passed to target/subtarget
63 std::string FeaturesStr;
64
Jim Grosbach0ca9d5b2012-12-07 23:53:27 +000065 const MCSubtargetInfo *STI = TheTarget->createMCSubtargetInfo(Triple, CPU,
James Molloy4c493e82011-09-07 17:24:38 +000066 FeaturesStr);
Kevin Enderbyf536c6a2013-03-12 18:12:17 +000067 if (!STI)
68 return 0;
James Molloy4c493e82011-09-07 17:24:38 +000069
Kevin Enderbyf3070dc2011-03-28 18:25:07 +000070 // Set up the MCContext for creating symbols and MCExpr's.
Bill Wendlingbc07a892013-06-18 07:20:20 +000071 MCContext *Ctx = new MCContext(MAI, MRI, 0);
Kevin Enderbyf536c6a2013-03-12 18:12:17 +000072 if (!Ctx)
73 return 0;
Kevin Enderbyf3070dc2011-03-28 18:25:07 +000074
75 // Set up disassembler.
James Molloy4c493e82011-09-07 17:24:38 +000076 MCDisassembler *DisAsm = TheTarget->createMCDisassembler(*STI);
Kevin Enderbyf536c6a2013-03-12 18:12:17 +000077 if (!DisAsm)
78 return 0;
Ahmed Bougachaad1084d2013-05-24 00:39:57 +000079
Ahmed Charles56440fd2014-03-06 05:51:42 +000080 std::unique_ptr<MCRelocationInfo> RelInfo(
81 TheTarget->createMCRelocationInfo(Triple, *Ctx));
Ahmed Bougachaad1084d2013-05-24 00:39:57 +000082 if (!RelInfo)
83 return 0;
84
Ahmed Charles56440fd2014-03-06 05:51:42 +000085 std::unique_ptr<MCSymbolizer> Symbolizer(TheTarget->createMCSymbolizer(
86 Triple, GetOpInfo, SymbolLookUp, DisInfo, Ctx, RelInfo.release()));
Quentin Colombetf4828052013-05-24 22:51:52 +000087 DisAsm->setSymbolizer(Symbolizer);
Ahmed Bougachaad1084d2013-05-24 00:39:57 +000088 DisAsm->setupForSymbolicDisassembly(GetOpInfo, SymbolLookUp, DisInfo,
89 Ctx, RelInfo);
Kevin Enderbyf3070dc2011-03-28 18:25:07 +000090 // Set up the instruction printer.
91 int AsmPrinterVariant = MAI->getAssemblerDialect();
Evan Chengab37af92011-07-06 19:45:42 +000092 MCInstPrinter *IP = TheTarget->createMCInstPrinter(AsmPrinterVariant,
Craig Topper54bfde72012-04-02 06:09:36 +000093 *MAI, *MII, *MRI, *STI);
Kevin Enderbyf536c6a2013-03-12 18:12:17 +000094 if (!IP)
95 return 0;
Kevin Enderbyf3070dc2011-03-28 18:25:07 +000096
Jim Grosbach0ca9d5b2012-12-07 23:53:27 +000097 LLVMDisasmContext *DC = new LLVMDisasmContext(Triple, DisInfo, TagType,
Kevin Enderbyf3070dc2011-03-28 18:25:07 +000098 GetOpInfo, SymbolLookUp,
Evan Chengbbf3b0d2011-07-20 19:50:42 +000099 TheTarget, MAI, MRI,
Sean Callanane804b5b2012-04-06 18:21:09 +0000100 STI, MII, Ctx, DisAsm, IP);
Kevin Enderbyf536c6a2013-03-12 18:12:17 +0000101 if (!DC)
102 return 0;
Owen Anderson233f1302011-09-15 18:37:20 +0000103
Quentin Colombet76e55572013-10-03 17:51:49 +0000104 DC->setCPU(CPU);
Kevin Enderbyf3070dc2011-03-28 18:25:07 +0000105 return DC;
106}
107
Jim Grosbach0ca9d5b2012-12-07 23:53:27 +0000108LLVMDisasmContextRef LLVMCreateDisasm(const char *Triple, void *DisInfo,
109 int TagType, LLVMOpInfoCallback GetOpInfo,
110 LLVMSymbolLookupCallback SymbolLookUp) {
111 return LLVMCreateDisasmCPU(Triple, "", DisInfo, TagType, GetOpInfo,
112 SymbolLookUp);
113}
114
Kevin Enderbyf3070dc2011-03-28 18:25:07 +0000115//
116// LLVMDisasmDispose() disposes of the disassembler specified by the context.
117//
118void LLVMDisasmDispose(LLVMDisasmContextRef DCR){
119 LLVMDisasmContext *DC = (LLVMDisasmContext *)DCR;
120 delete DC;
121}
122
123namespace {
124//
125// The memory object created by LLVMDisasmInstruction().
126//
127class DisasmMemoryObject : public MemoryObject {
Kevin Enderbyf3070dc2011-03-28 18:25:07 +0000128 uint8_t *Bytes;
129 uint64_t Size;
130 uint64_t BasePC;
131public:
132 DisasmMemoryObject(uint8_t *bytes, uint64_t size, uint64_t basePC) :
133 Bytes(bytes), Size(size), BasePC(basePC) {}
134
135 uint64_t getBase() const { return BasePC; }
Derek Schuff56b662c2012-02-29 01:09:06 +0000136 uint64_t getExtent() const { return Size; }
Kevin Enderbyf3070dc2011-03-28 18:25:07 +0000137
Derek Schuff56b662c2012-02-29 01:09:06 +0000138 int readByte(uint64_t Addr, uint8_t *Byte) const {
Kevin Enderbyf3070dc2011-03-28 18:25:07 +0000139 if (Addr - BasePC >= Size)
140 return -1;
141 *Byte = Bytes[Addr - BasePC];
142 return 0;
143 }
144};
Chris Lattner0388fb02011-05-22 04:52:24 +0000145} // end anonymous namespace
Kevin Enderbyf3070dc2011-03-28 18:25:07 +0000146
Quentin Colombet93a98aa2013-10-01 22:14:56 +0000147/// \brief Emits the comments that are stored in \p DC comment stream.
148/// Each comment in the comment stream must end with a newline.
149static void emitComments(LLVMDisasmContext *DC,
150 formatted_raw_ostream &FormattedOS) {
151 // Flush the stream before taking its content.
152 DC->CommentStream.flush();
153 StringRef Comments = DC->CommentsToEmit.str();
154 // Get the default information for printing a comment.
155 const MCAsmInfo *MAI = DC->getAsmInfo();
156 const char *CommentBegin = MAI->getCommentString();
157 unsigned CommentColumn = MAI->getCommentColumn();
158 bool IsFirst = true;
159 while (!Comments.empty()) {
160 if (!IsFirst)
161 FormattedOS << '\n';
162 // Emit a line of comments.
163 FormattedOS.PadToColumn(CommentColumn);
164 size_t Position = Comments.find('\n');
165 FormattedOS << CommentBegin << ' ' << Comments.substr(0, Position);
166 // Move after the newline character.
167 Comments = Comments.substr(Position+1);
168 IsFirst = false;
169 }
170 FormattedOS.flush();
171
172 // Tell the comment stream that the vector changed underneath it.
173 DC->CommentsToEmit.clear();
174 DC->CommentStream.resync();
175}
176
Quentin Colombet76e55572013-10-03 17:51:49 +0000177/// \brief Gets latency information for \p Inst form the itinerary
178/// scheduling model, based on \p DC information.
179/// \return The maximum expected latency over all the operands or -1
180/// if no information are available.
181static int getItineraryLatency(LLVMDisasmContext *DC, const MCInst &Inst) {
182 const int NoInformationAvailable = -1;
183
184 // Check if we have a CPU to get the itinerary information.
185 if (DC->getCPU().empty())
186 return NoInformationAvailable;
187
188 // Get itinerary information.
189 const MCSubtargetInfo *STI = DC->getSubtargetInfo();
190 InstrItineraryData IID = STI->getInstrItineraryForCPU(DC->getCPU());
191 // Get the scheduling class of the requested instruction.
192 const MCInstrDesc& Desc = DC->getInstrInfo()->get(Inst.getOpcode());
193 unsigned SCClass = Desc.getSchedClass();
194
195 int Latency = 0;
196 for (unsigned OpIdx = 0, OpIdxEnd = Inst.getNumOperands(); OpIdx != OpIdxEnd;
197 ++OpIdx)
198 Latency = std::max(Latency, IID.getOperandCycle(SCClass, OpIdx));
199
200 return Latency;
201}
202
Quentin Colombet5f09cb02013-10-02 22:07:57 +0000203/// \brief Gets latency information for \p Inst, based on \p DC information.
204/// \return The maximum expected latency over all the definitions or -1
205/// if no information are available.
206static int getLatency(LLVMDisasmContext *DC, const MCInst &Inst) {
207 // Try to compute scheduling information.
208 const MCSubtargetInfo *STI = DC->getSubtargetInfo();
209 const MCSchedModel *SCModel = STI->getSchedModel();
210 const int NoInformationAvailable = -1;
211
212 // Check if we have a scheduling model for instructions.
213 if (!SCModel || !SCModel->hasInstrSchedModel())
Quentin Colombet76e55572013-10-03 17:51:49 +0000214 // Try to fall back to the itinerary model if we do not have a
215 // scheduling model.
216 return getItineraryLatency(DC, Inst);
Quentin Colombet5f09cb02013-10-02 22:07:57 +0000217
218 // Get the scheduling class of the requested instruction.
219 const MCInstrDesc& Desc = DC->getInstrInfo()->get(Inst.getOpcode());
220 unsigned SCClass = Desc.getSchedClass();
221 const MCSchedClassDesc *SCDesc = SCModel->getSchedClassDesc(SCClass);
Quentin Colombetc3665042013-10-02 23:11:47 +0000222 // Resolving the variant SchedClass requires an MI to pass to
223 // SubTargetInfo::resolveSchedClass.
224 if (!SCDesc || !SCDesc->isValid() || SCDesc->isVariant())
Quentin Colombet5f09cb02013-10-02 22:07:57 +0000225 return NoInformationAvailable;
226
227 // Compute output latency.
228 int Latency = 0;
229 for (unsigned DefIdx = 0, DefEnd = SCDesc->NumWriteLatencyEntries;
230 DefIdx != DefEnd; ++DefIdx) {
231 // Lookup the definition's write latency in SubtargetInfo.
232 const MCWriteLatencyEntry *WLEntry = STI->getWriteLatencyEntry(SCDesc,
233 DefIdx);
234 Latency = std::max(Latency, WLEntry->Cycles);
235 }
236
237 return Latency;
238}
239
240
241/// \brief Emits latency information in DC->CommentStream for \p Inst, based
242/// on the information available in \p DC.
243static void emitLatency(LLVMDisasmContext *DC, const MCInst &Inst) {
244 int Latency = getLatency(DC, Inst);
245
246 // Report only interesting latency.
247 if (Latency < 2)
248 return;
249
250 DC->CommentStream << "Latency: " << Latency << '\n';
251}
252
Kevin Enderbyf3070dc2011-03-28 18:25:07 +0000253//
Benjamin Kramer26e77682011-04-09 14:06:12 +0000254// LLVMDisasmInstruction() disassembles a single instruction using the
Kevin Enderbyf3070dc2011-03-28 18:25:07 +0000255// disassembler context specified in the parameter DC. The bytes of the
Benjamin Kramer26e77682011-04-09 14:06:12 +0000256// instruction are specified in the parameter Bytes, and contains at least
Kevin Enderbyf3070dc2011-03-28 18:25:07 +0000257// BytesSize number of bytes. The instruction is at the address specified by
258// the PC parameter. If a valid instruction can be disassembled its string is
259// returned indirectly in OutString which whos size is specified in the
260// parameter OutStringSize. This function returns the number of bytes in the
261// instruction or zero if there was no valid instruction. If this function
262// returns zero the caller will have to pick how many bytes they want to step
263// over by printing a .byte, .long etc. to continue.
264//
265size_t LLVMDisasmInstruction(LLVMDisasmContextRef DCR, uint8_t *Bytes,
266 uint64_t BytesSize, uint64_t PC, char *OutString,
267 size_t OutStringSize){
268 LLVMDisasmContext *DC = (LLVMDisasmContext *)DCR;
269 // Wrap the pointer to the Bytes, BytesSize and PC in a MemoryObject.
270 DisasmMemoryObject MemoryObject(Bytes, BytesSize, PC);
271
272 uint64_t Size;
273 MCInst Inst;
274 const MCDisassembler *DisAsm = DC->getDisAsm();
275 MCInstPrinter *IP = DC->getIP();
James Molloy5ada2a72011-09-01 22:01:14 +0000276 MCDisassembler::DecodeStatus S;
Quentin Colombet93a98aa2013-10-01 22:14:56 +0000277 SmallVector<char, 64> InsnStr;
278 raw_svector_ostream Annotations(InsnStr);
James Molloy5ada2a72011-09-01 22:01:14 +0000279 S = DisAsm->getInstruction(Inst, Size, MemoryObject, PC,
Quentin Colombet93a98aa2013-10-01 22:14:56 +0000280 /*REMOVE*/ nulls(), Annotations);
James Molloy5ada2a72011-09-01 22:01:14 +0000281 switch (S) {
282 case MCDisassembler::Fail:
283 case MCDisassembler::SoftFail:
James Molloydb4ce602011-09-01 18:02:14 +0000284 // FIXME: Do something different for soft failure modes?
Kevin Enderbyf3070dc2011-03-28 18:25:07 +0000285 return 0;
James Molloy5ada2a72011-09-01 22:01:14 +0000286
287 case MCDisassembler::Success: {
Quentin Colombet93a98aa2013-10-01 22:14:56 +0000288 Annotations.flush();
289 StringRef AnnotationsStr = Annotations.str();
Owen Anderson233f1302011-09-15 18:37:20 +0000290
Owen Andersona0c3b972011-09-15 23:38:46 +0000291 SmallVector<char, 64> InsnStr;
292 raw_svector_ostream OS(InsnStr);
Quentin Colombet93a98aa2013-10-01 22:14:56 +0000293 formatted_raw_ostream FormattedOS(OS);
294 IP->printInst(&Inst, FormattedOS, AnnotationsStr);
Owen Anderson233f1302011-09-15 18:37:20 +0000295
Quentin Colombet5f09cb02013-10-02 22:07:57 +0000296 if (DC->getOptions() & LLVMDisassembler_Option_PrintLatency)
297 emitLatency(DC, Inst);
298
Quentin Colombet93a98aa2013-10-01 22:14:56 +0000299 emitComments(DC, FormattedOS);
Kevin Enderbyf16c8c52014-01-06 22:08:08 +0000300 OS.flush();
Owen Anderson233f1302011-09-15 18:37:20 +0000301
James Molloy5ada2a72011-09-01 22:01:14 +0000302 assert(OutStringSize != 0 && "Output buffer cannot be zero size");
303 size_t OutputSize = std::min(OutStringSize-1, InsnStr.size());
304 std::memcpy(OutString, InsnStr.data(), OutputSize);
305 OutString[OutputSize] = '\0'; // Terminate string.
306
307 return Size;
James Molloydb4ce602011-09-01 18:02:14 +0000308 }
James Molloy5ada2a72011-09-01 22:01:14 +0000309 }
David Blaikie46a9f012012-01-20 21:51:11 +0000310 llvm_unreachable("Invalid DecodeStatus!");
Kevin Enderbyf3070dc2011-03-28 18:25:07 +0000311}
Kevin Enderby62183c42012-10-22 22:31:46 +0000312
313//
314// LLVMSetDisasmOptions() sets the disassembler's options. It returns 1 if it
315// can set all the Options and 0 otherwise.
316//
317int LLVMSetDisasmOptions(LLVMDisasmContextRef DCR, uint64_t Options){
318 if (Options & LLVMDisassembler_Option_UseMarkup){
319 LLVMDisasmContext *DC = (LLVMDisasmContext *)DCR;
320 MCInstPrinter *IP = DC->getIP();
321 IP->setUseMarkup(1);
Quentin Colombet5f09cb02013-10-02 22:07:57 +0000322 DC->addOptions(LLVMDisassembler_Option_UseMarkup);
Kevin Enderby62183c42012-10-22 22:31:46 +0000323 Options &= ~LLVMDisassembler_Option_UseMarkup;
324 }
Kevin Enderby168ffb32012-12-05 18:13:19 +0000325 if (Options & LLVMDisassembler_Option_PrintImmHex){
326 LLVMDisasmContext *DC = (LLVMDisasmContext *)DCR;
327 MCInstPrinter *IP = DC->getIP();
328 IP->setPrintImmHex(1);
Quentin Colombet5f09cb02013-10-02 22:07:57 +0000329 DC->addOptions(LLVMDisassembler_Option_PrintImmHex);
Kevin Enderby168ffb32012-12-05 18:13:19 +0000330 Options &= ~LLVMDisassembler_Option_PrintImmHex;
331 }
Kevin Enderby85cf5312012-12-18 23:47:28 +0000332 if (Options & LLVMDisassembler_Option_AsmPrinterVariant){
333 LLVMDisasmContext *DC = (LLVMDisasmContext *)DCR;
334 // Try to set up the new instruction printer.
335 const MCAsmInfo *MAI = DC->getAsmInfo();
336 const MCInstrInfo *MII = DC->getInstrInfo();
337 const MCRegisterInfo *MRI = DC->getRegisterInfo();
338 const MCSubtargetInfo *STI = DC->getSubtargetInfo();
339 int AsmPrinterVariant = MAI->getAssemblerDialect();
340 AsmPrinterVariant = AsmPrinterVariant == 0 ? 1 : 0;
341 MCInstPrinter *IP = DC->getTarget()->createMCInstPrinter(
342 AsmPrinterVariant, *MAI, *MII, *MRI, *STI);
343 if (IP) {
344 DC->setIP(IP);
Quentin Colombet5f09cb02013-10-02 22:07:57 +0000345 DC->addOptions(LLVMDisassembler_Option_AsmPrinterVariant);
Kevin Enderby85cf5312012-12-18 23:47:28 +0000346 Options &= ~LLVMDisassembler_Option_AsmPrinterVariant;
347 }
348 }
Quentin Colombet93a98aa2013-10-01 22:14:56 +0000349 if (Options & LLVMDisassembler_Option_SetInstrComments) {
350 LLVMDisasmContext *DC = (LLVMDisasmContext *)DCR;
351 MCInstPrinter *IP = DC->getIP();
352 IP->setCommentStream(DC->CommentStream);
Quentin Colombet5f09cb02013-10-02 22:07:57 +0000353 DC->addOptions(LLVMDisassembler_Option_SetInstrComments);
Quentin Colombet93a98aa2013-10-01 22:14:56 +0000354 Options &= ~LLVMDisassembler_Option_SetInstrComments;
355 }
Quentin Colombet5f09cb02013-10-02 22:07:57 +0000356 if (Options & LLVMDisassembler_Option_PrintLatency) {
357 LLVMDisasmContext *DC = (LLVMDisasmContext *)DCR;
358 DC->addOptions(LLVMDisassembler_Option_PrintLatency);
359 Options &= ~LLVMDisassembler_Option_PrintLatency;
360 }
Kevin Enderby62183c42012-10-22 22:31:46 +0000361 return (Options == 0);
362}