blob: 8a1b3b5a27db57101872981563c0d809e7fb0fb6 [file] [log] [blame]
Ben Murdoch257744e2011-11-30 15:57:28 +00001// Copyright 2011 the V8 project authors. All rights reserved.
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
Steve Blocka7e24c12009-10-30 11:49:00 +00004
5#include <assert.h>
Steve Blocka7e24c12009-10-30 11:49:00 +00006#include <stdarg.h>
Ben Murdochb8a8cc12014-11-26 15:28:44 +00007#include <stdio.h>
Steve Blocka7e24c12009-10-30 11:49:00 +00008
Ben Murdochb8a8cc12014-11-26 15:28:44 +00009#if V8_TARGET_ARCH_IA32
Leon Clarkef7060e22010-06-03 12:02:55 +010010
Ben Murdochc5610432016-08-08 18:44:38 +010011#include "src/base/compiler-specific.h"
Ben Murdochb8a8cc12014-11-26 15:28:44 +000012#include "src/disasm.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000013
14namespace disasm {
15
16enum OperandOrder {
17 UNSET_OP_ORDER = 0,
18 REG_OPER_OP_ORDER,
19 OPER_REG_OP_ORDER
20};
21
22
23//------------------------------------------------------------------
24// Tables
25//------------------------------------------------------------------
26struct ByteMnemonic {
27 int b; // -1 terminates, otherwise must be in range (0..255)
28 const char* mnem;
29 OperandOrder op_order_;
30};
31
Ben Murdoch69a99ed2011-11-30 16:03:39 +000032static const ByteMnemonic two_operands_instr[] = {
Ben Murdochc5610432016-08-08 18:44:38 +010033 {0x01, "add", OPER_REG_OP_ORDER}, {0x03, "add", REG_OPER_OP_ORDER},
34 {0x09, "or", OPER_REG_OP_ORDER}, {0x0B, "or", REG_OPER_OP_ORDER},
35 {0x13, "adc", REG_OPER_OP_ORDER}, {0x1B, "sbb", REG_OPER_OP_ORDER},
36 {0x21, "and", OPER_REG_OP_ORDER}, {0x23, "and", REG_OPER_OP_ORDER},
37 {0x29, "sub", OPER_REG_OP_ORDER}, {0x2A, "subb", REG_OPER_OP_ORDER},
38 {0x2B, "sub", REG_OPER_OP_ORDER}, {0x31, "xor", OPER_REG_OP_ORDER},
39 {0x33, "xor", REG_OPER_OP_ORDER}, {0x38, "cmpb", OPER_REG_OP_ORDER},
40 {0x39, "cmp", OPER_REG_OP_ORDER}, {0x3A, "cmpb", REG_OPER_OP_ORDER},
41 {0x3B, "cmp", REG_OPER_OP_ORDER}, {0x84, "test_b", REG_OPER_OP_ORDER},
42 {0x85, "test", REG_OPER_OP_ORDER}, {0x86, "xchg_b", REG_OPER_OP_ORDER},
43 {0x87, "xchg", REG_OPER_OP_ORDER}, {0x8A, "mov_b", REG_OPER_OP_ORDER},
44 {0x8B, "mov", REG_OPER_OP_ORDER}, {0x8D, "lea", REG_OPER_OP_ORDER},
45 {-1, "", UNSET_OP_ORDER}};
Steve Blocka7e24c12009-10-30 11:49:00 +000046
Ben Murdoch69a99ed2011-11-30 16:03:39 +000047static const ByteMnemonic zero_operands_instr[] = {
Steve Blocka7e24c12009-10-30 11:49:00 +000048 {0xC3, "ret", UNSET_OP_ORDER},
49 {0xC9, "leave", UNSET_OP_ORDER},
50 {0x90, "nop", UNSET_OP_ORDER},
51 {0xF4, "hlt", UNSET_OP_ORDER},
52 {0xCC, "int3", UNSET_OP_ORDER},
53 {0x60, "pushad", UNSET_OP_ORDER},
54 {0x61, "popad", UNSET_OP_ORDER},
55 {0x9C, "pushfd", UNSET_OP_ORDER},
56 {0x9D, "popfd", UNSET_OP_ORDER},
57 {0x9E, "sahf", UNSET_OP_ORDER},
58 {0x99, "cdq", UNSET_OP_ORDER},
59 {0x9B, "fwait", UNSET_OP_ORDER},
Steve Block6ded16b2010-05-10 14:33:55 +010060 {0xFC, "cld", UNSET_OP_ORDER},
Leon Clarkef7060e22010-06-03 12:02:55 +010061 {0xAB, "stos", UNSET_OP_ORDER},
Steve Blocka7e24c12009-10-30 11:49:00 +000062 {-1, "", UNSET_OP_ORDER}
63};
64
65
Ben Murdoch69a99ed2011-11-30 16:03:39 +000066static const ByteMnemonic call_jump_instr[] = {
Steve Blocka7e24c12009-10-30 11:49:00 +000067 {0xE8, "call", UNSET_OP_ORDER},
68 {0xE9, "jmp", UNSET_OP_ORDER},
69 {-1, "", UNSET_OP_ORDER}
70};
71
72
Ben Murdoch69a99ed2011-11-30 16:03:39 +000073static const ByteMnemonic short_immediate_instr[] = {
Steve Blocka7e24c12009-10-30 11:49:00 +000074 {0x05, "add", UNSET_OP_ORDER},
75 {0x0D, "or", UNSET_OP_ORDER},
76 {0x15, "adc", UNSET_OP_ORDER},
77 {0x25, "and", UNSET_OP_ORDER},
78 {0x2D, "sub", UNSET_OP_ORDER},
79 {0x35, "xor", UNSET_OP_ORDER},
80 {0x3D, "cmp", UNSET_OP_ORDER},
81 {-1, "", UNSET_OP_ORDER}
82};
83
84
Ben Murdoch3ef787d2012-04-12 10:51:47 +010085// Generally we don't want to generate these because they are subject to partial
86// register stalls. They are included for completeness and because the cmp
87// variant is used by the RecordWrite stub. Because it does not update the
88// register it is not subject to partial register stalls.
89static ByteMnemonic byte_immediate_instr[] = {
90 {0x0c, "or", UNSET_OP_ORDER},
91 {0x24, "and", UNSET_OP_ORDER},
92 {0x34, "xor", UNSET_OP_ORDER},
93 {0x3c, "cmp", UNSET_OP_ORDER},
94 {-1, "", UNSET_OP_ORDER}
95};
96
97
Ben Murdoch69a99ed2011-11-30 16:03:39 +000098static const char* const jump_conditional_mnem[] = {
Steve Blocka7e24c12009-10-30 11:49:00 +000099 /*0*/ "jo", "jno", "jc", "jnc",
100 /*4*/ "jz", "jnz", "jna", "ja",
101 /*8*/ "js", "jns", "jpe", "jpo",
102 /*12*/ "jl", "jnl", "jng", "jg"
103};
104
105
Ben Murdoch69a99ed2011-11-30 16:03:39 +0000106static const char* const set_conditional_mnem[] = {
Steve Blocka7e24c12009-10-30 11:49:00 +0000107 /*0*/ "seto", "setno", "setc", "setnc",
108 /*4*/ "setz", "setnz", "setna", "seta",
109 /*8*/ "sets", "setns", "setpe", "setpo",
110 /*12*/ "setl", "setnl", "setng", "setg"
111};
112
113
Ben Murdoch69a99ed2011-11-30 16:03:39 +0000114static const char* const conditional_move_mnem[] = {
Steve Block3ce2e202009-11-05 08:53:23 +0000115 /*0*/ "cmovo", "cmovno", "cmovc", "cmovnc",
116 /*4*/ "cmovz", "cmovnz", "cmovna", "cmova",
117 /*8*/ "cmovs", "cmovns", "cmovpe", "cmovpo",
118 /*12*/ "cmovl", "cmovnl", "cmovng", "cmovg"
119};
120
121
Steve Blocka7e24c12009-10-30 11:49:00 +0000122enum InstructionType {
123 NO_INSTR,
124 ZERO_OPERANDS_INSTR,
125 TWO_OPERANDS_INSTR,
126 JUMP_CONDITIONAL_SHORT_INSTR,
127 REGISTER_INSTR,
128 MOVE_REG_INSTR,
129 CALL_JUMP_INSTR,
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100130 SHORT_IMMEDIATE_INSTR,
131 BYTE_IMMEDIATE_INSTR
Steve Blocka7e24c12009-10-30 11:49:00 +0000132};
133
134
135struct InstructionDesc {
136 const char* mnem;
137 InstructionType type;
138 OperandOrder op_order_;
139};
140
141
142class InstructionTable {
143 public:
144 InstructionTable();
145 const InstructionDesc& Get(byte x) const { return instructions_[x]; }
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100146 static InstructionTable* get_instance() {
147 static InstructionTable table;
148 return &table;
149 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000150
151 private:
152 InstructionDesc instructions_[256];
153 void Clear();
154 void Init();
Ben Murdoch69a99ed2011-11-30 16:03:39 +0000155 void CopyTable(const ByteMnemonic bm[], InstructionType type);
Steve Blocka7e24c12009-10-30 11:49:00 +0000156 void SetTableRange(InstructionType type,
157 byte start,
158 byte end,
159 const char* mnem);
160 void AddJumpConditionalShort();
161};
162
163
164InstructionTable::InstructionTable() {
165 Clear();
166 Init();
167}
168
169
170void InstructionTable::Clear() {
171 for (int i = 0; i < 256; i++) {
172 instructions_[i].mnem = "";
173 instructions_[i].type = NO_INSTR;
174 instructions_[i].op_order_ = UNSET_OP_ORDER;
175 }
176}
177
178
179void InstructionTable::Init() {
180 CopyTable(two_operands_instr, TWO_OPERANDS_INSTR);
181 CopyTable(zero_operands_instr, ZERO_OPERANDS_INSTR);
182 CopyTable(call_jump_instr, CALL_JUMP_INSTR);
183 CopyTable(short_immediate_instr, SHORT_IMMEDIATE_INSTR);
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100184 CopyTable(byte_immediate_instr, BYTE_IMMEDIATE_INSTR);
Steve Blocka7e24c12009-10-30 11:49:00 +0000185 AddJumpConditionalShort();
186 SetTableRange(REGISTER_INSTR, 0x40, 0x47, "inc");
187 SetTableRange(REGISTER_INSTR, 0x48, 0x4F, "dec");
188 SetTableRange(REGISTER_INSTR, 0x50, 0x57, "push");
189 SetTableRange(REGISTER_INSTR, 0x58, 0x5F, "pop");
190 SetTableRange(REGISTER_INSTR, 0x91, 0x97, "xchg eax,"); // 0x90 is nop.
191 SetTableRange(MOVE_REG_INSTR, 0xB8, 0xBF, "mov");
192}
193
194
Ben Murdoch69a99ed2011-11-30 16:03:39 +0000195void InstructionTable::CopyTable(const ByteMnemonic bm[],
196 InstructionType type) {
Steve Blocka7e24c12009-10-30 11:49:00 +0000197 for (int i = 0; bm[i].b >= 0; i++) {
198 InstructionDesc* id = &instructions_[bm[i].b];
199 id->mnem = bm[i].mnem;
200 id->op_order_ = bm[i].op_order_;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000201 DCHECK_EQ(NO_INSTR, id->type); // Information not already entered.
Steve Blocka7e24c12009-10-30 11:49:00 +0000202 id->type = type;
203 }
204}
205
206
207void InstructionTable::SetTableRange(InstructionType type,
208 byte start,
209 byte end,
210 const char* mnem) {
211 for (byte b = start; b <= end; b++) {
212 InstructionDesc* id = &instructions_[b];
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000213 DCHECK_EQ(NO_INSTR, id->type); // Information not already entered.
Steve Blocka7e24c12009-10-30 11:49:00 +0000214 id->mnem = mnem;
215 id->type = type;
216 }
217}
218
219
220void InstructionTable::AddJumpConditionalShort() {
221 for (byte b = 0x70; b <= 0x7F; b++) {
222 InstructionDesc* id = &instructions_[b];
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000223 DCHECK_EQ(NO_INSTR, id->type); // Information not already entered.
Steve Blocka7e24c12009-10-30 11:49:00 +0000224 id->mnem = jump_conditional_mnem[b & 0x0F];
225 id->type = JUMP_CONDITIONAL_SHORT_INSTR;
226 }
227}
228
229
Steve Blocka7e24c12009-10-30 11:49:00 +0000230// The IA32 disassembler implementation.
231class DisassemblerIA32 {
232 public:
233 DisassemblerIA32(const NameConverter& converter,
234 bool abort_on_unimplemented = true)
235 : converter_(converter),
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400236 vex_byte0_(0),
237 vex_byte1_(0),
238 vex_byte2_(0),
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100239 instruction_table_(InstructionTable::get_instance()),
Steve Blocka7e24c12009-10-30 11:49:00 +0000240 tmp_buffer_pos_(0),
241 abort_on_unimplemented_(abort_on_unimplemented) {
242 tmp_buffer_[0] = '\0';
243 }
244
245 virtual ~DisassemblerIA32() {}
246
247 // Writes one disassembled instruction into 'buffer' (0-terminated).
248 // Returns the length of the disassembled machine instruction in bytes.
249 int InstructionDecode(v8::internal::Vector<char> buffer, byte* instruction);
250
251 private:
252 const NameConverter& converter_;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400253 byte vex_byte0_; // 0xc4 or 0xc5
254 byte vex_byte1_;
255 byte vex_byte2_; // only for 3 bytes vex prefix
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100256 InstructionTable* instruction_table_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000257 v8::internal::EmbeddedVector<char, 128> tmp_buffer_;
258 unsigned int tmp_buffer_pos_;
259 bool abort_on_unimplemented_;
260
Steve Blocka7e24c12009-10-30 11:49:00 +0000261 enum {
262 eax = 0,
263 ecx = 1,
264 edx = 2,
265 ebx = 3,
266 esp = 4,
267 ebp = 5,
268 esi = 6,
269 edi = 7
270 };
271
272
Steve Blockd0582a62009-12-15 09:54:21 +0000273 enum ShiftOpcodeExtension {
274 kROL = 0,
275 kROR = 1,
276 kRCL = 2,
277 kRCR = 3,
278 kSHL = 4,
279 KSHR = 5,
280 kSAR = 7
281 };
282
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400283 bool vex_128() {
284 DCHECK(vex_byte0_ == 0xc4 || vex_byte0_ == 0xc5);
285 byte checked = vex_byte0_ == 0xc4 ? vex_byte2_ : vex_byte1_;
Ben Murdochc5610432016-08-08 18:44:38 +0100286 return (checked & 4) == 0;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400287 }
288
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000289 bool vex_none() {
290 DCHECK(vex_byte0_ == 0xc4 || vex_byte0_ == 0xc5);
291 byte checked = vex_byte0_ == 0xc4 ? vex_byte2_ : vex_byte1_;
292 return (checked & 3) == 0;
293 }
294
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400295 bool vex_66() {
296 DCHECK(vex_byte0_ == 0xc4 || vex_byte0_ == 0xc5);
297 byte checked = vex_byte0_ == 0xc4 ? vex_byte2_ : vex_byte1_;
298 return (checked & 3) == 1;
299 }
300
301 bool vex_f3() {
302 DCHECK(vex_byte0_ == 0xc4 || vex_byte0_ == 0xc5);
303 byte checked = vex_byte0_ == 0xc4 ? vex_byte2_ : vex_byte1_;
304 return (checked & 3) == 2;
305 }
306
307 bool vex_f2() {
308 DCHECK(vex_byte0_ == 0xc4 || vex_byte0_ == 0xc5);
309 byte checked = vex_byte0_ == 0xc4 ? vex_byte2_ : vex_byte1_;
310 return (checked & 3) == 3;
311 }
312
313 bool vex_w() {
314 if (vex_byte0_ == 0xc5) return false;
315 return (vex_byte2_ & 0x80) != 0;
316 }
317
318 bool vex_0f() {
319 if (vex_byte0_ == 0xc5) return true;
320 return (vex_byte1_ & 3) == 1;
321 }
322
323 bool vex_0f38() {
324 if (vex_byte0_ == 0xc5) return false;
325 return (vex_byte1_ & 3) == 2;
326 }
327
328 bool vex_0f3a() {
329 if (vex_byte0_ == 0xc5) return false;
330 return (vex_byte1_ & 3) == 3;
331 }
332
333 int vex_vreg() {
334 DCHECK(vex_byte0_ == 0xc4 || vex_byte0_ == 0xc5);
335 byte checked = vex_byte0_ == 0xc4 ? vex_byte2_ : vex_byte1_;
336 return ~(checked >> 3) & 0xf;
337 }
338
339 char float_size_code() { return "sd"[vex_w()]; }
Steve Blockd0582a62009-12-15 09:54:21 +0000340
Steve Blocka7e24c12009-10-30 11:49:00 +0000341 const char* NameOfCPURegister(int reg) const {
342 return converter_.NameOfCPURegister(reg);
343 }
344
345
346 const char* NameOfByteCPURegister(int reg) const {
347 return converter_.NameOfByteCPURegister(reg);
348 }
349
350
351 const char* NameOfXMMRegister(int reg) const {
352 return converter_.NameOfXMMRegister(reg);
353 }
354
355
356 const char* NameOfAddress(byte* addr) const {
357 return converter_.NameOfAddress(addr);
358 }
359
360
361 // Disassembler helper functions.
362 static void get_modrm(byte data, int* mod, int* regop, int* rm) {
363 *mod = (data >> 6) & 3;
364 *regop = (data & 0x38) >> 3;
365 *rm = data & 7;
366 }
367
368
369 static void get_sib(byte data, int* scale, int* index, int* base) {
370 *scale = (data >> 6) & 3;
371 *index = (data >> 3) & 7;
372 *base = data & 7;
373 }
374
375 typedef const char* (DisassemblerIA32::*RegisterNameMapping)(int reg) const;
376
377 int PrintRightOperandHelper(byte* modrmp, RegisterNameMapping register_name);
378 int PrintRightOperand(byte* modrmp);
379 int PrintRightByteOperand(byte* modrmp);
Steve Block44f0eee2011-05-26 01:26:41 +0100380 int PrintRightXMMOperand(byte* modrmp);
Steve Blocka7e24c12009-10-30 11:49:00 +0000381 int PrintOperands(const char* mnem, OperandOrder op_order, byte* data);
382 int PrintImmediateOp(byte* data);
383 int F7Instruction(byte* data);
384 int D1D3C1Instruction(byte* data);
385 int JumpShort(byte* data);
386 int JumpConditional(byte* data, const char* comment);
387 int JumpConditionalShort(byte* data, const char* comment);
388 int SetCC(byte* data);
Steve Block3ce2e202009-11-05 08:53:23 +0000389 int CMov(byte* data);
Steve Blocka7e24c12009-10-30 11:49:00 +0000390 int FPUInstruction(byte* data);
Steve Blockd0582a62009-12-15 09:54:21 +0000391 int MemoryFPUInstruction(int escape_opcode, int regop, byte* modrm_start);
392 int RegisterFPUInstruction(int escape_opcode, byte modrm_byte);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400393 int AVXInstruction(byte* data);
Ben Murdochc5610432016-08-08 18:44:38 +0100394 PRINTF_FORMAT(2, 3) void AppendToBuffer(const char* format, ...);
Steve Blocka7e24c12009-10-30 11:49:00 +0000395
396 void UnimplementedInstruction() {
397 if (abort_on_unimplemented_) {
398 UNIMPLEMENTED();
399 } else {
400 AppendToBuffer("'Unimplemented Instruction'");
401 }
402 }
403};
404
405
406void DisassemblerIA32::AppendToBuffer(const char* format, ...) {
407 v8::internal::Vector<char> buf = tmp_buffer_ + tmp_buffer_pos_;
408 va_list args;
409 va_start(args, format);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000410 int result = v8::internal::VSNPrintF(buf, format, args);
Steve Blocka7e24c12009-10-30 11:49:00 +0000411 va_end(args);
412 tmp_buffer_pos_ += result;
413}
414
415int DisassemblerIA32::PrintRightOperandHelper(
416 byte* modrmp,
Steve Block44f0eee2011-05-26 01:26:41 +0100417 RegisterNameMapping direct_register_name) {
Steve Blocka7e24c12009-10-30 11:49:00 +0000418 int mod, regop, rm;
419 get_modrm(*modrmp, &mod, &regop, &rm);
Steve Block44f0eee2011-05-26 01:26:41 +0100420 RegisterNameMapping register_name = (mod == 3) ? direct_register_name :
421 &DisassemblerIA32::NameOfCPURegister;
Steve Blocka7e24c12009-10-30 11:49:00 +0000422 switch (mod) {
423 case 0:
424 if (rm == ebp) {
425 int32_t disp = *reinterpret_cast<int32_t*>(modrmp+1);
426 AppendToBuffer("[0x%x]", disp);
427 return 5;
428 } else if (rm == esp) {
429 byte sib = *(modrmp + 1);
430 int scale, index, base;
431 get_sib(sib, &scale, &index, &base);
432 if (index == esp && base == esp && scale == 0 /*times_1*/) {
433 AppendToBuffer("[%s]", (this->*register_name)(rm));
434 return 2;
435 } else if (base == ebp) {
436 int32_t disp = *reinterpret_cast<int32_t*>(modrmp + 2);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000437 AppendToBuffer("[%s*%d%s0x%x]",
Steve Blocka7e24c12009-10-30 11:49:00 +0000438 (this->*register_name)(index),
439 1 << scale,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000440 disp < 0 ? "-" : "+",
441 disp < 0 ? -disp : disp);
Steve Blocka7e24c12009-10-30 11:49:00 +0000442 return 6;
443 } else if (index != esp && base != ebp) {
444 // [base+index*scale]
445 AppendToBuffer("[%s+%s*%d]",
446 (this->*register_name)(base),
447 (this->*register_name)(index),
448 1 << scale);
449 return 2;
450 } else {
451 UnimplementedInstruction();
452 return 1;
453 }
454 } else {
455 AppendToBuffer("[%s]", (this->*register_name)(rm));
456 return 1;
457 }
458 break;
459 case 1: // fall through
460 case 2:
461 if (rm == esp) {
462 byte sib = *(modrmp + 1);
463 int scale, index, base;
464 get_sib(sib, &scale, &index, &base);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000465 int disp = mod == 2 ? *reinterpret_cast<int32_t*>(modrmp + 2)
466 : *reinterpret_cast<int8_t*>(modrmp + 2);
Steve Blocka7e24c12009-10-30 11:49:00 +0000467 if (index == base && index == rm /*esp*/ && scale == 0 /*times_1*/) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000468 AppendToBuffer("[%s%s0x%x]",
469 (this->*register_name)(rm),
470 disp < 0 ? "-" : "+",
471 disp < 0 ? -disp : disp);
Steve Blocka7e24c12009-10-30 11:49:00 +0000472 } else {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000473 AppendToBuffer("[%s+%s*%d%s0x%x]",
Steve Blocka7e24c12009-10-30 11:49:00 +0000474 (this->*register_name)(base),
475 (this->*register_name)(index),
476 1 << scale,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000477 disp < 0 ? "-" : "+",
478 disp < 0 ? -disp : disp);
Steve Blocka7e24c12009-10-30 11:49:00 +0000479 }
480 return mod == 2 ? 6 : 3;
481 } else {
482 // No sib.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000483 int disp = mod == 2 ? *reinterpret_cast<int32_t*>(modrmp + 1)
484 : *reinterpret_cast<int8_t*>(modrmp + 1);
485 AppendToBuffer("[%s%s0x%x]",
486 (this->*register_name)(rm),
487 disp < 0 ? "-" : "+",
488 disp < 0 ? -disp : disp);
Steve Blocka7e24c12009-10-30 11:49:00 +0000489 return mod == 2 ? 5 : 2;
490 }
491 break;
492 case 3:
493 AppendToBuffer("%s", (this->*register_name)(rm));
494 return 1;
495 default:
496 UnimplementedInstruction();
497 return 1;
498 }
499 UNREACHABLE();
500}
501
502
503int DisassemblerIA32::PrintRightOperand(byte* modrmp) {
504 return PrintRightOperandHelper(modrmp, &DisassemblerIA32::NameOfCPURegister);
505}
506
507
508int DisassemblerIA32::PrintRightByteOperand(byte* modrmp) {
509 return PrintRightOperandHelper(modrmp,
510 &DisassemblerIA32::NameOfByteCPURegister);
511}
512
513
Steve Block44f0eee2011-05-26 01:26:41 +0100514int DisassemblerIA32::PrintRightXMMOperand(byte* modrmp) {
515 return PrintRightOperandHelper(modrmp,
516 &DisassemblerIA32::NameOfXMMRegister);
517}
518
519
Steve Blocka7e24c12009-10-30 11:49:00 +0000520// Returns number of bytes used including the current *data.
521// Writes instruction's mnemonic, left and right operands to 'tmp_buffer_'.
522int DisassemblerIA32::PrintOperands(const char* mnem,
523 OperandOrder op_order,
524 byte* data) {
525 byte modrm = *data;
526 int mod, regop, rm;
527 get_modrm(modrm, &mod, &regop, &rm);
528 int advance = 0;
529 switch (op_order) {
530 case REG_OPER_OP_ORDER: {
531 AppendToBuffer("%s %s,", mnem, NameOfCPURegister(regop));
532 advance = PrintRightOperand(data);
533 break;
534 }
535 case OPER_REG_OP_ORDER: {
536 AppendToBuffer("%s ", mnem);
537 advance = PrintRightOperand(data);
538 AppendToBuffer(",%s", NameOfCPURegister(regop));
539 break;
540 }
541 default:
542 UNREACHABLE();
543 break;
544 }
545 return advance;
546}
547
548
549// Returns number of bytes used by machine instruction, including *data byte.
550// Writes immediate instructions to 'tmp_buffer_'.
551int DisassemblerIA32::PrintImmediateOp(byte* data) {
552 bool sign_extension_bit = (*data & 0x02) != 0;
553 byte modrm = *(data+1);
554 int mod, regop, rm;
555 get_modrm(modrm, &mod, &regop, &rm);
556 const char* mnem = "Imm???";
557 switch (regop) {
558 case 0: mnem = "add"; break;
559 case 1: mnem = "or"; break;
560 case 2: mnem = "adc"; break;
561 case 4: mnem = "and"; break;
562 case 5: mnem = "sub"; break;
563 case 6: mnem = "xor"; break;
564 case 7: mnem = "cmp"; break;
565 default: UnimplementedInstruction();
566 }
567 AppendToBuffer("%s ", mnem);
568 int count = PrintRightOperand(data+1);
569 if (sign_extension_bit) {
570 AppendToBuffer(",0x%x", *(data + 1 + count));
571 return 1 + count + 1 /*int8*/;
572 } else {
573 AppendToBuffer(",0x%x", *reinterpret_cast<int32_t*>(data + 1 + count));
574 return 1 + count + 4 /*int32_t*/;
575 }
576}
577
578
579// Returns number of bytes used, including *data.
580int DisassemblerIA32::F7Instruction(byte* data) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000581 DCHECK_EQ(0xF7, *data);
582 byte modrm = *++data;
Steve Blocka7e24c12009-10-30 11:49:00 +0000583 int mod, regop, rm;
584 get_modrm(modrm, &mod, &regop, &rm);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000585 const char* mnem = NULL;
586 switch (regop) {
587 case 0:
588 mnem = "test";
589 break;
590 case 2:
591 mnem = "not";
592 break;
593 case 3:
594 mnem = "neg";
595 break;
596 case 4:
597 mnem = "mul";
598 break;
599 case 5:
600 mnem = "imul";
601 break;
602 case 6:
603 mnem = "div";
604 break;
605 case 7:
606 mnem = "idiv";
607 break;
608 default:
609 UnimplementedInstruction();
Steve Blocka7e24c12009-10-30 11:49:00 +0000610 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000611 AppendToBuffer("%s ", mnem);
612 int count = PrintRightOperand(data);
613 if (regop == 0) {
614 AppendToBuffer(",0x%x", *reinterpret_cast<int32_t*>(data + count));
615 count += 4;
616 }
617 return 1 + count;
Steve Blocka7e24c12009-10-30 11:49:00 +0000618}
619
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000620
Steve Blocka7e24c12009-10-30 11:49:00 +0000621int DisassemblerIA32::D1D3C1Instruction(byte* data) {
622 byte op = *data;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000623 DCHECK(op == 0xD1 || op == 0xD3 || op == 0xC1);
624 byte modrm = *++data;
Steve Blocka7e24c12009-10-30 11:49:00 +0000625 int mod, regop, rm;
626 get_modrm(modrm, &mod, &regop, &rm);
627 int imm8 = -1;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000628 const char* mnem = NULL;
629 switch (regop) {
630 case kROL:
631 mnem = "rol";
632 break;
633 case kROR:
634 mnem = "ror";
635 break;
636 case kRCL:
637 mnem = "rcl";
638 break;
639 case kRCR:
640 mnem = "rcr";
641 break;
642 case kSHL:
643 mnem = "shl";
644 break;
645 case KSHR:
646 mnem = "shr";
647 break;
648 case kSAR:
649 mnem = "sar";
650 break;
651 default:
652 UnimplementedInstruction();
Steve Blocka7e24c12009-10-30 11:49:00 +0000653 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000654 AppendToBuffer("%s ", mnem);
655 int count = PrintRightOperand(data);
656 if (op == 0xD1) {
657 imm8 = 1;
658 } else if (op == 0xC1) {
659 imm8 = *(data + 1);
660 count++;
661 } else if (op == 0xD3) {
662 // Shift/rotate by cl.
663 }
664 if (imm8 >= 0) {
665 AppendToBuffer(",%d", imm8);
666 } else {
667 AppendToBuffer(",cl");
668 }
669 return 1 + count;
Steve Blocka7e24c12009-10-30 11:49:00 +0000670}
671
672
673// Returns number of bytes used, including *data.
674int DisassemblerIA32::JumpShort(byte* data) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000675 DCHECK_EQ(0xEB, *data);
Steve Blocka7e24c12009-10-30 11:49:00 +0000676 byte b = *(data+1);
677 byte* dest = data + static_cast<int8_t>(b) + 2;
678 AppendToBuffer("jmp %s", NameOfAddress(dest));
679 return 2;
680}
681
682
683// Returns number of bytes used, including *data.
684int DisassemblerIA32::JumpConditional(byte* data, const char* comment) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000685 DCHECK_EQ(0x0F, *data);
Steve Blocka7e24c12009-10-30 11:49:00 +0000686 byte cond = *(data+1) & 0x0F;
687 byte* dest = data + *reinterpret_cast<int32_t*>(data+2) + 6;
688 const char* mnem = jump_conditional_mnem[cond];
689 AppendToBuffer("%s %s", mnem, NameOfAddress(dest));
690 if (comment != NULL) {
691 AppendToBuffer(", %s", comment);
692 }
693 return 6; // includes 0x0F
694}
695
696
697// Returns number of bytes used, including *data.
698int DisassemblerIA32::JumpConditionalShort(byte* data, const char* comment) {
699 byte cond = *data & 0x0F;
700 byte b = *(data+1);
701 byte* dest = data + static_cast<int8_t>(b) + 2;
702 const char* mnem = jump_conditional_mnem[cond];
703 AppendToBuffer("%s %s", mnem, NameOfAddress(dest));
704 if (comment != NULL) {
705 AppendToBuffer(", %s", comment);
706 }
707 return 2;
708}
709
710
711// Returns number of bytes used, including *data.
712int DisassemblerIA32::SetCC(byte* data) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000713 DCHECK_EQ(0x0F, *data);
Steve Blocka7e24c12009-10-30 11:49:00 +0000714 byte cond = *(data+1) & 0x0F;
715 const char* mnem = set_conditional_mnem[cond];
716 AppendToBuffer("%s ", mnem);
717 PrintRightByteOperand(data+2);
Steve Blockd0582a62009-12-15 09:54:21 +0000718 return 3; // Includes 0x0F.
Steve Blocka7e24c12009-10-30 11:49:00 +0000719}
720
721
722// Returns number of bytes used, including *data.
Steve Block3ce2e202009-11-05 08:53:23 +0000723int DisassemblerIA32::CMov(byte* data) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000724 DCHECK_EQ(0x0F, *data);
Steve Block3ce2e202009-11-05 08:53:23 +0000725 byte cond = *(data + 1) & 0x0F;
726 const char* mnem = conditional_move_mnem[cond];
727 int op_size = PrintOperands(mnem, REG_OPER_OP_ORDER, data + 2);
728 return 2 + op_size; // includes 0x0F
729}
730
731
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400732int DisassemblerIA32::AVXInstruction(byte* data) {
733 byte opcode = *data;
734 byte* current = data + 1;
735 if (vex_66() && vex_0f38()) {
736 int mod, regop, rm, vvvv = vex_vreg();
737 get_modrm(*current, &mod, &regop, &rm);
738 switch (opcode) {
739 case 0x99:
740 AppendToBuffer("vfmadd132s%c %s,%s,", float_size_code(),
741 NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
742 current += PrintRightXMMOperand(current);
743 break;
744 case 0xa9:
745 AppendToBuffer("vfmadd213s%c %s,%s,", float_size_code(),
746 NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
747 current += PrintRightXMMOperand(current);
748 break;
749 case 0xb9:
750 AppendToBuffer("vfmadd231s%c %s,%s,", float_size_code(),
751 NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
752 current += PrintRightXMMOperand(current);
753 break;
754 case 0x9b:
755 AppendToBuffer("vfmsub132s%c %s,%s,", float_size_code(),
756 NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
757 current += PrintRightXMMOperand(current);
758 break;
759 case 0xab:
760 AppendToBuffer("vfmsub213s%c %s,%s,", float_size_code(),
761 NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
762 current += PrintRightXMMOperand(current);
763 break;
764 case 0xbb:
765 AppendToBuffer("vfmsub231s%c %s,%s,", float_size_code(),
766 NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
767 current += PrintRightXMMOperand(current);
768 break;
769 case 0x9d:
770 AppendToBuffer("vfnmadd132s%c %s,%s,", float_size_code(),
771 NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
772 current += PrintRightXMMOperand(current);
773 break;
774 case 0xad:
775 AppendToBuffer("vfnmadd213s%c %s,%s,", float_size_code(),
776 NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
777 current += PrintRightXMMOperand(current);
778 break;
779 case 0xbd:
780 AppendToBuffer("vfnmadd231s%c %s,%s,", float_size_code(),
781 NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
782 current += PrintRightXMMOperand(current);
783 break;
784 case 0x9f:
785 AppendToBuffer("vfnmsub132s%c %s,%s,", float_size_code(),
786 NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
787 current += PrintRightXMMOperand(current);
788 break;
789 case 0xaf:
790 AppendToBuffer("vfnmsub213s%c %s,%s,", float_size_code(),
791 NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
792 current += PrintRightXMMOperand(current);
793 break;
794 case 0xbf:
795 AppendToBuffer("vfnmsub231s%c %s,%s,", float_size_code(),
796 NameOfXMMRegister(regop), NameOfXMMRegister(vvvv));
797 current += PrintRightXMMOperand(current);
798 break;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000799 case 0xf7:
800 AppendToBuffer("shlx %s,", NameOfCPURegister(regop));
801 current += PrintRightOperand(current);
802 AppendToBuffer(",%s", NameOfCPURegister(vvvv));
803 break;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400804 default:
805 UnimplementedInstruction();
806 }
807 } else if (vex_f2() && vex_0f()) {
808 int mod, regop, rm, vvvv = vex_vreg();
809 get_modrm(*current, &mod, &regop, &rm);
810 switch (opcode) {
811 case 0x58:
812 AppendToBuffer("vaddsd %s,%s,", NameOfXMMRegister(regop),
813 NameOfXMMRegister(vvvv));
814 current += PrintRightXMMOperand(current);
815 break;
816 case 0x59:
817 AppendToBuffer("vmulsd %s,%s,", NameOfXMMRegister(regop),
818 NameOfXMMRegister(vvvv));
819 current += PrintRightXMMOperand(current);
820 break;
821 case 0x5c:
822 AppendToBuffer("vsubsd %s,%s,", NameOfXMMRegister(regop),
823 NameOfXMMRegister(vvvv));
824 current += PrintRightXMMOperand(current);
825 break;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000826 case 0x5d:
827 AppendToBuffer("vminsd %s,%s,", NameOfXMMRegister(regop),
828 NameOfXMMRegister(vvvv));
829 current += PrintRightXMMOperand(current);
830 break;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400831 case 0x5e:
832 AppendToBuffer("vdivsd %s,%s,", NameOfXMMRegister(regop),
833 NameOfXMMRegister(vvvv));
834 current += PrintRightXMMOperand(current);
835 break;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000836 case 0x5f:
837 AppendToBuffer("vmaxsd %s,%s,", NameOfXMMRegister(regop),
838 NameOfXMMRegister(vvvv));
839 current += PrintRightXMMOperand(current);
840 break;
841 default:
842 UnimplementedInstruction();
843 }
844 } else if (vex_f3() && vex_0f()) {
845 int mod, regop, rm, vvvv = vex_vreg();
846 get_modrm(*current, &mod, &regop, &rm);
847 switch (opcode) {
848 case 0x58:
849 AppendToBuffer("vaddss %s,%s,", NameOfXMMRegister(regop),
850 NameOfXMMRegister(vvvv));
851 current += PrintRightXMMOperand(current);
852 break;
853 case 0x59:
854 AppendToBuffer("vmulss %s,%s,", NameOfXMMRegister(regop),
855 NameOfXMMRegister(vvvv));
856 current += PrintRightXMMOperand(current);
857 break;
858 case 0x5c:
859 AppendToBuffer("vsubss %s,%s,", NameOfXMMRegister(regop),
860 NameOfXMMRegister(vvvv));
861 current += PrintRightXMMOperand(current);
862 break;
863 case 0x5d:
864 AppendToBuffer("vminss %s,%s,", NameOfXMMRegister(regop),
865 NameOfXMMRegister(vvvv));
866 current += PrintRightXMMOperand(current);
867 break;
868 case 0x5e:
869 AppendToBuffer("vdivss %s,%s,", NameOfXMMRegister(regop),
870 NameOfXMMRegister(vvvv));
871 current += PrintRightXMMOperand(current);
872 break;
873 case 0x5f:
874 AppendToBuffer("vmaxss %s,%s,", NameOfXMMRegister(regop),
875 NameOfXMMRegister(vvvv));
876 current += PrintRightXMMOperand(current);
877 break;
878 default:
879 UnimplementedInstruction();
880 }
881 } else if (vex_none() && vex_0f38()) {
882 int mod, regop, rm, vvvv = vex_vreg();
883 get_modrm(*current, &mod, &regop, &rm);
884 const char* mnem = "?";
885 switch (opcode) {
886 case 0xf2:
887 AppendToBuffer("andn %s,%s,", NameOfCPURegister(regop),
888 NameOfCPURegister(vvvv));
889 current += PrintRightOperand(current);
890 break;
891 case 0xf5:
892 AppendToBuffer("bzhi %s,", NameOfCPURegister(regop));
893 current += PrintRightOperand(current);
894 AppendToBuffer(",%s", NameOfCPURegister(vvvv));
895 break;
896 case 0xf7:
897 AppendToBuffer("bextr %s,", NameOfCPURegister(regop));
898 current += PrintRightOperand(current);
899 AppendToBuffer(",%s", NameOfCPURegister(vvvv));
900 break;
901 case 0xf3:
902 switch (regop) {
903 case 1:
904 mnem = "blsr";
905 break;
906 case 2:
907 mnem = "blsmsk";
908 break;
909 case 3:
910 mnem = "blsi";
911 break;
912 default:
913 UnimplementedInstruction();
914 }
915 AppendToBuffer("%s %s,", mnem, NameOfCPURegister(vvvv));
916 current += PrintRightOperand(current);
917 mnem = "?";
918 break;
919 default:
920 UnimplementedInstruction();
921 }
922 } else if (vex_f2() && vex_0f38()) {
923 int mod, regop, rm, vvvv = vex_vreg();
924 get_modrm(*current, &mod, &regop, &rm);
925 switch (opcode) {
926 case 0xf5:
927 AppendToBuffer("pdep %s,%s,", NameOfCPURegister(regop),
928 NameOfCPURegister(vvvv));
929 current += PrintRightOperand(current);
930 break;
931 case 0xf6:
932 AppendToBuffer("mulx %s,%s,", NameOfCPURegister(regop),
933 NameOfCPURegister(vvvv));
934 current += PrintRightOperand(current);
935 break;
936 case 0xf7:
937 AppendToBuffer("shrx %s,", NameOfCPURegister(regop));
938 current += PrintRightOperand(current);
939 AppendToBuffer(",%s", NameOfCPURegister(vvvv));
940 break;
941 default:
942 UnimplementedInstruction();
943 }
944 } else if (vex_f3() && vex_0f38()) {
945 int mod, regop, rm, vvvv = vex_vreg();
946 get_modrm(*current, &mod, &regop, &rm);
947 switch (opcode) {
948 case 0xf5:
949 AppendToBuffer("pext %s,%s,", NameOfCPURegister(regop),
950 NameOfCPURegister(vvvv));
951 current += PrintRightOperand(current);
952 break;
953 case 0xf7:
954 AppendToBuffer("sarx %s,", NameOfCPURegister(regop));
955 current += PrintRightOperand(current);
956 AppendToBuffer(",%s", NameOfCPURegister(vvvv));
957 break;
958 default:
959 UnimplementedInstruction();
960 }
961 } else if (vex_f2() && vex_0f3a()) {
962 int mod, regop, rm;
963 get_modrm(*current, &mod, &regop, &rm);
964 switch (opcode) {
965 case 0xf0:
966 AppendToBuffer("rorx %s,", NameOfCPURegister(regop));
967 current += PrintRightOperand(current);
968 AppendToBuffer(",%d", *current & 0x1f);
969 current += 1;
970 break;
971 default:
972 UnimplementedInstruction();
973 }
974 } else if (vex_none() && vex_0f()) {
975 int mod, regop, rm, vvvv = vex_vreg();
976 get_modrm(*current, &mod, &regop, &rm);
977 switch (opcode) {
978 case 0x54:
979 AppendToBuffer("vandps %s,%s,", NameOfXMMRegister(regop),
980 NameOfXMMRegister(vvvv));
981 current += PrintRightXMMOperand(current);
982 break;
983 case 0x57:
984 AppendToBuffer("vxorps %s,%s,", NameOfXMMRegister(regop),
985 NameOfXMMRegister(vvvv));
986 current += PrintRightXMMOperand(current);
987 break;
988 default:
989 UnimplementedInstruction();
990 }
991 } else if (vex_66() && vex_0f()) {
992 int mod, regop, rm, vvvv = vex_vreg();
993 get_modrm(*current, &mod, &regop, &rm);
994 switch (opcode) {
995 case 0x54:
996 AppendToBuffer("vandpd %s,%s,", NameOfXMMRegister(regop),
997 NameOfXMMRegister(vvvv));
998 current += PrintRightXMMOperand(current);
999 break;
1000 case 0x57:
1001 AppendToBuffer("vxorpd %s,%s,", NameOfXMMRegister(regop),
1002 NameOfXMMRegister(vvvv));
1003 current += PrintRightXMMOperand(current);
1004 break;
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001005 default:
1006 UnimplementedInstruction();
1007 }
1008 } else {
1009 UnimplementedInstruction();
1010 }
1011
1012 return static_cast<int>(current - data);
1013}
1014
1015
Steve Block3ce2e202009-11-05 08:53:23 +00001016// Returns number of bytes used, including *data.
Steve Blocka7e24c12009-10-30 11:49:00 +00001017int DisassemblerIA32::FPUInstruction(byte* data) {
Steve Blockd0582a62009-12-15 09:54:21 +00001018 byte escape_opcode = *data;
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001019 DCHECK_EQ(0xD8, escape_opcode & 0xF8);
Steve Blockd0582a62009-12-15 09:54:21 +00001020 byte modrm_byte = *(data+1);
1021
1022 if (modrm_byte >= 0xC0) {
1023 return RegisterFPUInstruction(escape_opcode, modrm_byte);
1024 } else {
1025 return MemoryFPUInstruction(escape_opcode, modrm_byte, data+1);
Steve Blocka7e24c12009-10-30 11:49:00 +00001026 }
Steve Blockd0582a62009-12-15 09:54:21 +00001027}
1028
1029int DisassemblerIA32::MemoryFPUInstruction(int escape_opcode,
1030 int modrm_byte,
1031 byte* modrm_start) {
1032 const char* mnem = "?";
1033 int regop = (modrm_byte >> 3) & 0x7; // reg/op field of modrm byte.
1034 switch (escape_opcode) {
1035 case 0xD9: switch (regop) {
1036 case 0: mnem = "fld_s"; break;
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001037 case 2: mnem = "fst_s"; break;
Steve Blockd0582a62009-12-15 09:54:21 +00001038 case 3: mnem = "fstp_s"; break;
1039 case 7: mnem = "fstcw"; break;
1040 default: UnimplementedInstruction();
1041 }
1042 break;
1043
1044 case 0xDB: switch (regop) {
1045 case 0: mnem = "fild_s"; break;
1046 case 1: mnem = "fisttp_s"; break;
1047 case 2: mnem = "fist_s"; break;
1048 case 3: mnem = "fistp_s"; break;
1049 default: UnimplementedInstruction();
1050 }
1051 break;
1052
1053 case 0xDD: switch (regop) {
1054 case 0: mnem = "fld_d"; break;
Kristian Monsen0d5e1162010-09-30 15:31:59 +01001055 case 1: mnem = "fisttp_d"; break;
1056 case 2: mnem = "fst_d"; break;
Steve Blockd0582a62009-12-15 09:54:21 +00001057 case 3: mnem = "fstp_d"; break;
1058 default: UnimplementedInstruction();
1059 }
1060 break;
1061
1062 case 0xDF: switch (regop) {
1063 case 5: mnem = "fild_d"; break;
1064 case 7: mnem = "fistp_d"; break;
1065 default: UnimplementedInstruction();
1066 }
1067 break;
1068
1069 default: UnimplementedInstruction();
1070 }
1071 AppendToBuffer("%s ", mnem);
1072 int count = PrintRightOperand(modrm_start);
1073 return count + 1;
1074}
1075
1076int DisassemblerIA32::RegisterFPUInstruction(int escape_opcode,
1077 byte modrm_byte) {
1078 bool has_register = false; // Is the FPU register encoded in modrm_byte?
1079 const char* mnem = "?";
1080
1081 switch (escape_opcode) {
1082 case 0xD8:
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001083 has_register = true;
1084 switch (modrm_byte & 0xF8) {
1085 case 0xC0: mnem = "fadd_i"; break;
1086 case 0xE0: mnem = "fsub_i"; break;
1087 case 0xC8: mnem = "fmul_i"; break;
1088 case 0xF0: mnem = "fdiv_i"; break;
1089 default: UnimplementedInstruction();
1090 }
Steve Blockd0582a62009-12-15 09:54:21 +00001091 break;
1092
1093 case 0xD9:
1094 switch (modrm_byte & 0xF8) {
Kristian Monsen0d5e1162010-09-30 15:31:59 +01001095 case 0xC0:
1096 mnem = "fld";
1097 has_register = true;
1098 break;
Steve Blockd0582a62009-12-15 09:54:21 +00001099 case 0xC8:
1100 mnem = "fxch";
1101 has_register = true;
1102 break;
1103 default:
1104 switch (modrm_byte) {
1105 case 0xE0: mnem = "fchs"; break;
1106 case 0xE1: mnem = "fabs"; break;
1107 case 0xE4: mnem = "ftst"; break;
1108 case 0xE8: mnem = "fld1"; break;
Andrei Popescu402d9372010-02-26 13:31:12 +00001109 case 0xEB: mnem = "fldpi"; break;
Ben Murdochb0fe1622011-05-05 13:52:32 +01001110 case 0xED: mnem = "fldln2"; break;
Steve Blockd0582a62009-12-15 09:54:21 +00001111 case 0xEE: mnem = "fldz"; break;
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001112 case 0xF0: mnem = "f2xm1"; break;
Ben Murdochb0fe1622011-05-05 13:52:32 +01001113 case 0xF1: mnem = "fyl2x"; break;
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001114 case 0xF4: mnem = "fxtract"; break;
Steve Blockd0582a62009-12-15 09:54:21 +00001115 case 0xF5: mnem = "fprem1"; break;
1116 case 0xF7: mnem = "fincstp"; break;
1117 case 0xF8: mnem = "fprem"; break;
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001118 case 0xFC: mnem = "frndint"; break;
1119 case 0xFD: mnem = "fscale"; break;
Steve Blockd0582a62009-12-15 09:54:21 +00001120 case 0xFE: mnem = "fsin"; break;
1121 case 0xFF: mnem = "fcos"; break;
1122 default: UnimplementedInstruction();
1123 }
1124 }
1125 break;
1126
1127 case 0xDA:
1128 if (modrm_byte == 0xE9) {
1129 mnem = "fucompp";
1130 } else {
1131 UnimplementedInstruction();
1132 }
1133 break;
1134
1135 case 0xDB:
1136 if ((modrm_byte & 0xF8) == 0xE8) {
1137 mnem = "fucomi";
1138 has_register = true;
1139 } else if (modrm_byte == 0xE2) {
1140 mnem = "fclex";
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001141 } else if (modrm_byte == 0xE3) {
1142 mnem = "fninit";
Steve Blockd0582a62009-12-15 09:54:21 +00001143 } else {
1144 UnimplementedInstruction();
1145 }
1146 break;
1147
1148 case 0xDC:
1149 has_register = true;
1150 switch (modrm_byte & 0xF8) {
1151 case 0xC0: mnem = "fadd"; break;
1152 case 0xE8: mnem = "fsub"; break;
1153 case 0xC8: mnem = "fmul"; break;
1154 case 0xF8: mnem = "fdiv"; break;
1155 default: UnimplementedInstruction();
1156 }
1157 break;
1158
1159 case 0xDD:
1160 has_register = true;
1161 switch (modrm_byte & 0xF8) {
1162 case 0xC0: mnem = "ffree"; break;
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001163 case 0xD0: mnem = "fst"; break;
Steve Blockd0582a62009-12-15 09:54:21 +00001164 case 0xD8: mnem = "fstp"; break;
1165 default: UnimplementedInstruction();
1166 }
1167 break;
1168
1169 case 0xDE:
1170 if (modrm_byte == 0xD9) {
1171 mnem = "fcompp";
1172 } else {
1173 has_register = true;
1174 switch (modrm_byte & 0xF8) {
1175 case 0xC0: mnem = "faddp"; break;
1176 case 0xE8: mnem = "fsubp"; break;
1177 case 0xC8: mnem = "fmulp"; break;
1178 case 0xF8: mnem = "fdivp"; break;
1179 default: UnimplementedInstruction();
1180 }
1181 }
1182 break;
1183
1184 case 0xDF:
1185 if (modrm_byte == 0xE0) {
1186 mnem = "fnstsw_ax";
1187 } else if ((modrm_byte & 0xF8) == 0xE8) {
1188 mnem = "fucomip";
1189 has_register = true;
1190 }
1191 break;
1192
1193 default: UnimplementedInstruction();
1194 }
1195
1196 if (has_register) {
1197 AppendToBuffer("%s st%d", mnem, modrm_byte & 0x7);
1198 } else {
1199 AppendToBuffer("%s", mnem);
1200 }
Steve Blocka7e24c12009-10-30 11:49:00 +00001201 return 2;
1202}
1203
1204
1205// Mnemonics for instructions 0xF0 byte.
1206// Returns NULL if the instruction is not handled here.
1207static const char* F0Mnem(byte f0byte) {
1208 switch (f0byte) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001209 case 0x0B:
1210 return "ud2";
Ben Murdochda12d292016-06-02 14:46:10 +01001211 case 0x18:
1212 return "prefetch";
1213 case 0xA2:
1214 return "cpuid";
1215 case 0xBE:
1216 return "movsx_b";
1217 case 0xBF:
1218 return "movsx_w";
1219 case 0xB6:
1220 return "movzx_b";
1221 case 0xB7:
1222 return "movzx_w";
1223 case 0xAF:
1224 return "imul";
1225 case 0xA4:
1226 return "shld";
1227 case 0xA5:
1228 return "shld";
1229 case 0xAD:
1230 return "shrd";
1231 case 0xAC:
1232 return "shrd"; // 3-operand version.
1233 case 0xAB:
1234 return "bts";
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001235 case 0xBC:
1236 return "bsf";
Ben Murdochda12d292016-06-02 14:46:10 +01001237 case 0xBD:
1238 return "bsr";
Steve Blocka7e24c12009-10-30 11:49:00 +00001239 default: return NULL;
1240 }
1241}
1242
1243
1244// Disassembled instruction '*instr' and writes it into 'out_buffer'.
1245int DisassemblerIA32::InstructionDecode(v8::internal::Vector<char> out_buffer,
1246 byte* instr) {
1247 tmp_buffer_pos_ = 0; // starting to write as position 0
1248 byte* data = instr;
1249 // Check for hints.
1250 const char* branch_hint = NULL;
1251 // We use these two prefixes only with branch prediction
1252 if (*data == 0x3E /*ds*/) {
1253 branch_hint = "predicted taken";
1254 data++;
1255 } else if (*data == 0x2E /*cs*/) {
1256 branch_hint = "predicted not taken";
1257 data++;
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001258 } else if (*data == 0xC4 && *(data + 1) >= 0xc0) {
1259 vex_byte0_ = *data;
1260 vex_byte1_ = *(data + 1);
1261 vex_byte2_ = *(data + 2);
1262 data += 3;
1263 } else if (*data == 0xC5 && *(data + 1) >= 0xc0) {
1264 vex_byte0_ = *data;
1265 vex_byte1_ = *(data + 1);
1266 data += 2;
Steve Blocka7e24c12009-10-30 11:49:00 +00001267 }
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001268
Steve Blocka7e24c12009-10-30 11:49:00 +00001269 bool processed = true; // Will be set to false if the current instruction
1270 // is not in 'instructions' table.
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001271 // Decode AVX instructions.
1272 if (vex_byte0_ != 0) {
1273 data += AVXInstruction(data);
1274 } else {
1275 const InstructionDesc& idesc = instruction_table_->Get(*data);
1276 switch (idesc.type) {
1277 case ZERO_OPERANDS_INSTR:
Ben Murdochc5610432016-08-08 18:44:38 +01001278 AppendToBuffer("%s", idesc.mnem);
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001279 data++;
1280 break;
Steve Blocka7e24c12009-10-30 11:49:00 +00001281
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001282 case TWO_OPERANDS_INSTR:
1283 data++;
1284 data += PrintOperands(idesc.mnem, idesc.op_order_, data);
1285 break;
Steve Blocka7e24c12009-10-30 11:49:00 +00001286
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001287 case JUMP_CONDITIONAL_SHORT_INSTR:
1288 data += JumpConditionalShort(data, branch_hint);
1289 break;
Steve Blocka7e24c12009-10-30 11:49:00 +00001290
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001291 case REGISTER_INSTR:
1292 AppendToBuffer("%s %s", idesc.mnem, NameOfCPURegister(*data & 0x07));
1293 data++;
1294 break;
Steve Blocka7e24c12009-10-30 11:49:00 +00001295
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001296 case MOVE_REG_INSTR: {
1297 byte* addr =
1298 reinterpret_cast<byte*>(*reinterpret_cast<int32_t*>(data + 1));
1299 AppendToBuffer("mov %s,%s", NameOfCPURegister(*data & 0x07),
1300 NameOfAddress(addr));
1301 data += 5;
1302 break;
1303 }
1304
1305 case CALL_JUMP_INSTR: {
1306 byte* addr = data + *reinterpret_cast<int32_t*>(data + 1) + 5;
1307 AppendToBuffer("%s %s", idesc.mnem, NameOfAddress(addr));
1308 data += 5;
1309 break;
1310 }
1311
1312 case SHORT_IMMEDIATE_INSTR: {
1313 byte* addr =
1314 reinterpret_cast<byte*>(*reinterpret_cast<int32_t*>(data + 1));
1315 AppendToBuffer("%s eax,%s", idesc.mnem, NameOfAddress(addr));
1316 data += 5;
1317 break;
1318 }
1319
1320 case BYTE_IMMEDIATE_INSTR: {
1321 AppendToBuffer("%s al,0x%x", idesc.mnem, data[1]);
1322 data += 2;
1323 break;
1324 }
1325
1326 case NO_INSTR:
1327 processed = false;
1328 break;
1329
1330 default:
1331 UNIMPLEMENTED(); // This type is not implemented.
Steve Blocka7e24c12009-10-30 11:49:00 +00001332 }
Steve Blocka7e24c12009-10-30 11:49:00 +00001333 }
1334 //----------------------------
1335 if (!processed) {
1336 switch (*data) {
1337 case 0xC2:
1338 AppendToBuffer("ret 0x%x", *reinterpret_cast<uint16_t*>(data+1));
1339 data += 3;
1340 break;
1341
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001342 case 0x6B: {
1343 data++;
1344 data += PrintOperands("imul", REG_OPER_OP_ORDER, data);
1345 AppendToBuffer(",%d", *data);
1346 data++;
1347 } break;
1348
1349 case 0x69: {
1350 data++;
1351 data += PrintOperands("imul", REG_OPER_OP_ORDER, data);
1352 AppendToBuffer(",%d", *reinterpret_cast<int32_t*>(data));
1353 data += 4;
Steve Blocka7e24c12009-10-30 11:49:00 +00001354 }
1355 break;
1356
1357 case 0xF6:
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +01001358 { data++;
1359 int mod, regop, rm;
1360 get_modrm(*data, &mod, &regop, &rm);
1361 if (regop == eax) {
1362 AppendToBuffer("test_b ");
Steve Block44f0eee2011-05-26 01:26:41 +01001363 data += PrintRightByteOperand(data);
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +01001364 int32_t imm = *data;
1365 AppendToBuffer(",0x%x", imm);
1366 data++;
Steve Blocka7e24c12009-10-30 11:49:00 +00001367 } else {
1368 UnimplementedInstruction();
1369 }
Steve Blocka7e24c12009-10-30 11:49:00 +00001370 }
1371 break;
1372
1373 case 0x81: // fall through
1374 case 0x83: // 0x81 with sign extension bit set
1375 data += PrintImmediateOp(data);
1376 break;
1377
1378 case 0x0F:
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001379 { byte f0byte = data[1];
Steve Blocka7e24c12009-10-30 11:49:00 +00001380 const char* f0mnem = F0Mnem(f0byte);
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +01001381 if (f0byte == 0x18) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001382 data += 2;
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +01001383 int mod, regop, rm;
1384 get_modrm(*data, &mod, &regop, &rm);
1385 const char* suffix[] = {"nta", "1", "2", "3"};
1386 AppendToBuffer("%s%s ", f0mnem, suffix[regop & 0x03]);
1387 data += PrintRightOperand(data);
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001388 } else if (f0byte == 0x1F && data[2] == 0) {
1389 AppendToBuffer("nop"); // 3 byte nop.
1390 data += 3;
1391 } else if (f0byte == 0x1F && data[2] == 0x40 && data[3] == 0) {
1392 AppendToBuffer("nop"); // 4 byte nop.
1393 data += 4;
1394 } else if (f0byte == 0x1F && data[2] == 0x44 && data[3] == 0 &&
1395 data[4] == 0) {
1396 AppendToBuffer("nop"); // 5 byte nop.
1397 data += 5;
1398 } else if (f0byte == 0x1F && data[2] == 0x80 && data[3] == 0 &&
1399 data[4] == 0 && data[5] == 0 && data[6] == 0) {
1400 AppendToBuffer("nop"); // 7 byte nop.
1401 data += 7;
1402 } else if (f0byte == 0x1F && data[2] == 0x84 && data[3] == 0 &&
1403 data[4] == 0 && data[5] == 0 && data[6] == 0 &&
1404 data[7] == 0) {
1405 AppendToBuffer("nop"); // 8 byte nop.
1406 data += 8;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001407 } else if (f0byte == 0x0B || f0byte == 0xA2 || f0byte == 0x31) {
Steve Blocka7e24c12009-10-30 11:49:00 +00001408 AppendToBuffer("%s", f0mnem);
1409 data += 2;
Kristian Monsen0d5e1162010-09-30 15:31:59 +01001410 } else if (f0byte == 0x28) {
1411 data += 2;
1412 int mod, regop, rm;
1413 get_modrm(*data, &mod, &regop, &rm);
1414 AppendToBuffer("movaps %s,%s",
1415 NameOfXMMRegister(regop),
1416 NameOfXMMRegister(rm));
1417 data++;
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001418 } else if (f0byte == 0x2e) {
1419 data += 2;
1420 int mod, regop, rm;
1421 get_modrm(*data, &mod, &regop, &rm);
1422 AppendToBuffer("ucomiss %s,", NameOfXMMRegister(regop));
1423 data += PrintRightXMMOperand(data);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001424 } else if (f0byte >= 0x53 && f0byte <= 0x5F) {
1425 const char* const pseudo_op[] = {
1426 "rcpps",
1427 "andps",
1428 "andnps",
1429 "orps",
1430 "xorps",
1431 "addps",
1432 "mulps",
1433 "cvtps2pd",
1434 "cvtdq2ps",
1435 "subps",
1436 "minps",
1437 "divps",
1438 "maxps",
1439 };
1440
Ben Murdoch257744e2011-11-30 15:57:28 +00001441 data += 2;
1442 int mod, regop, rm;
1443 get_modrm(*data, &mod, &regop, &rm);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001444 AppendToBuffer("%s %s,",
1445 pseudo_op[f0byte - 0x53],
1446 NameOfXMMRegister(regop));
1447 data += PrintRightXMMOperand(data);
1448 } else if (f0byte == 0x50) {
1449 data += 2;
1450 int mod, regop, rm;
1451 get_modrm(*data, &mod, &regop, &rm);
1452 AppendToBuffer("movmskps %s,%s",
1453 NameOfCPURegister(regop),
Ben Murdoch257744e2011-11-30 15:57:28 +00001454 NameOfXMMRegister(rm));
1455 data++;
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001456 } else if (f0byte== 0xC6) {
1457 // shufps xmm, xmm/m128, imm8
1458 data += 2;
1459 int mod, regop, rm;
1460 get_modrm(*data, &mod, &regop, &rm);
1461 int8_t imm8 = static_cast<int8_t>(data[1]);
1462 AppendToBuffer("shufps %s,%s,%d",
1463 NameOfXMMRegister(rm),
1464 NameOfXMMRegister(regop),
1465 static_cast<int>(imm8));
1466 data += 2;
Steve Blocka7e24c12009-10-30 11:49:00 +00001467 } else if ((f0byte & 0xF0) == 0x80) {
1468 data += JumpConditional(data, branch_hint);
1469 } else if (f0byte == 0xBE || f0byte == 0xBF || f0byte == 0xB6 ||
1470 f0byte == 0xB7 || f0byte == 0xAF) {
1471 data += 2;
1472 data += PrintOperands(f0mnem, REG_OPER_OP_ORDER, data);
1473 } else if ((f0byte & 0xF0) == 0x90) {
1474 data += SetCC(data);
Steve Block3ce2e202009-11-05 08:53:23 +00001475 } else if ((f0byte & 0xF0) == 0x40) {
1476 data += CMov(data);
Ben Murdochda12d292016-06-02 14:46:10 +01001477 } else if (f0byte == 0xA4 || f0byte == 0xAC) {
1478 // shld, shrd
1479 data += 2;
1480 AppendToBuffer("%s ", f0mnem);
1481 int mod, regop, rm;
1482 get_modrm(*data, &mod, &regop, &rm);
1483 int8_t imm8 = static_cast<int8_t>(data[1]);
1484 data += 2;
1485 AppendToBuffer("%s,%s,%d", NameOfCPURegister(rm),
1486 NameOfCPURegister(regop), static_cast<int>(imm8));
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001487 } else if (f0byte == 0xAB || f0byte == 0xA5 || f0byte == 0xAD) {
Ben Murdochda12d292016-06-02 14:46:10 +01001488 // shrd_cl, shld_cl, bts
Steve Blocka7e24c12009-10-30 11:49:00 +00001489 data += 2;
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001490 AppendToBuffer("%s ", f0mnem);
1491 int mod, regop, rm;
1492 get_modrm(*data, &mod, &regop, &rm);
1493 data += PrintRightOperand(data);
1494 if (f0byte == 0xAB) {
1495 AppendToBuffer(",%s", NameOfCPURegister(regop));
Steve Blocka7e24c12009-10-30 11:49:00 +00001496 } else {
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001497 AppendToBuffer(",%s,cl", NameOfCPURegister(regop));
Steve Blocka7e24c12009-10-30 11:49:00 +00001498 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001499 } else if (f0byte == 0xBC) {
1500 data += 2;
1501 int mod, regop, rm;
1502 get_modrm(*data, &mod, &regop, &rm);
1503 AppendToBuffer("%s %s,", f0mnem, NameOfCPURegister(regop));
1504 data += PrintRightOperand(data);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001505 } else if (f0byte == 0xBD) {
1506 data += 2;
1507 int mod, regop, rm;
1508 get_modrm(*data, &mod, &regop, &rm);
1509 AppendToBuffer("%s %s,", f0mnem, NameOfCPURegister(regop));
1510 data += PrintRightOperand(data);
1511 } else {
1512 UnimplementedInstruction();
Steve Blocka7e24c12009-10-30 11:49:00 +00001513 }
1514 }
1515 break;
1516
1517 case 0x8F:
1518 { data++;
1519 int mod, regop, rm;
1520 get_modrm(*data, &mod, &regop, &rm);
1521 if (regop == eax) {
1522 AppendToBuffer("pop ");
1523 data += PrintRightOperand(data);
1524 }
1525 }
1526 break;
1527
1528 case 0xFF:
1529 { data++;
1530 int mod, regop, rm;
1531 get_modrm(*data, &mod, &regop, &rm);
1532 const char* mnem = NULL;
1533 switch (regop) {
1534 case esi: mnem = "push"; break;
1535 case eax: mnem = "inc"; break;
1536 case ecx: mnem = "dec"; break;
1537 case edx: mnem = "call"; break;
1538 case esp: mnem = "jmp"; break;
1539 default: mnem = "???";
1540 }
1541 AppendToBuffer("%s ", mnem);
1542 data += PrintRightOperand(data);
1543 }
1544 break;
1545
1546 case 0xC7: // imm32, fall through
1547 case 0xC6: // imm8
1548 { bool is_byte = *data == 0xC6;
1549 data++;
Steve Block44f0eee2011-05-26 01:26:41 +01001550 if (is_byte) {
1551 AppendToBuffer("%s ", "mov_b");
1552 data += PrintRightByteOperand(data);
1553 int32_t imm = *data;
1554 AppendToBuffer(",0x%x", imm);
1555 data++;
1556 } else {
1557 AppendToBuffer("%s ", "mov");
1558 data += PrintRightOperand(data);
1559 int32_t imm = *reinterpret_cast<int32_t*>(data);
1560 AppendToBuffer(",0x%x", imm);
1561 data += 4;
1562 }
Steve Blocka7e24c12009-10-30 11:49:00 +00001563 }
1564 break;
1565
1566 case 0x80:
1567 { data++;
Leon Clarkee46be812010-01-19 14:06:41 +00001568 int mod, regop, rm;
1569 get_modrm(*data, &mod, &regop, &rm);
1570 const char* mnem = NULL;
Leon Clarkee46be812010-01-19 14:06:41 +00001571 switch (regop) {
1572 case 5: mnem = "subb"; break;
1573 case 7: mnem = "cmpb"; break;
1574 default: UnimplementedInstruction();
1575 }
1576 AppendToBuffer("%s ", mnem);
Steve Block44f0eee2011-05-26 01:26:41 +01001577 data += PrintRightByteOperand(data);
Steve Blocka7e24c12009-10-30 11:49:00 +00001578 int32_t imm = *data;
1579 AppendToBuffer(",0x%x", imm);
1580 data++;
1581 }
1582 break;
1583
1584 case 0x88: // 8bit, fall through
1585 case 0x89: // 32bit
1586 { bool is_byte = *data == 0x88;
1587 int mod, regop, rm;
1588 data++;
1589 get_modrm(*data, &mod, &regop, &rm);
Steve Block44f0eee2011-05-26 01:26:41 +01001590 if (is_byte) {
1591 AppendToBuffer("%s ", "mov_b");
1592 data += PrintRightByteOperand(data);
1593 AppendToBuffer(",%s", NameOfByteCPURegister(regop));
1594 } else {
1595 AppendToBuffer("%s ", "mov");
1596 data += PrintRightOperand(data);
1597 AppendToBuffer(",%s", NameOfCPURegister(regop));
1598 }
Steve Blocka7e24c12009-10-30 11:49:00 +00001599 }
1600 break;
1601
1602 case 0x66: // prefix
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001603 while (*data == 0x66) data++;
1604 if (*data == 0xf && data[1] == 0x1f) {
1605 AppendToBuffer("nop"); // 0x66 prefix
Ben Murdochc5610432016-08-08 18:44:38 +01001606 } else if (*data == 0x39) {
Steve Blocka7e24c12009-10-30 11:49:00 +00001607 data++;
Ben Murdochc5610432016-08-08 18:44:38 +01001608 data += PrintOperands("cmpw", OPER_REG_OP_ORDER, data);
1609 } else if (*data == 0x3B) {
1610 data++;
1611 data += PrintOperands("cmpw", REG_OPER_OP_ORDER, data);
1612 } else if (*data == 0x81) {
1613 data++;
1614 AppendToBuffer("cmpw ");
1615 data += PrintRightOperand(data);
1616 int imm = *reinterpret_cast<int16_t*>(data);
1617 AppendToBuffer(",0x%x", imm);
1618 data += 2;
1619 } else if (*data == 0x87) {
1620 data++;
1621 int mod, regop, rm;
1622 get_modrm(*data, &mod, &regop, &rm);
1623 AppendToBuffer("xchg_w ");
1624 data += PrintRightOperand(data);
1625 AppendToBuffer(",%s", NameOfCPURegister(regop));
Steve Blocka7e24c12009-10-30 11:49:00 +00001626 } else if (*data == 0x89) {
1627 data++;
1628 int mod, regop, rm;
1629 get_modrm(*data, &mod, &regop, &rm);
1630 AppendToBuffer("mov_w ");
1631 data += PrintRightOperand(data);
1632 AppendToBuffer(",%s", NameOfCPURegister(regop));
Ben Murdochc5610432016-08-08 18:44:38 +01001633 } else if (*data == 0x8B) {
1634 data++;
1635 data += PrintOperands("mov_w", REG_OPER_OP_ORDER, data);
1636 } else if (*data == 0x90) {
1637 AppendToBuffer("nop"); // 0x66 prefix
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001638 } else if (*data == 0xC7) {
1639 data++;
1640 AppendToBuffer("%s ", "mov_w");
1641 data += PrintRightOperand(data);
1642 int imm = *reinterpret_cast<int16_t*>(data);
1643 AppendToBuffer(",0x%x", imm);
1644 data += 2;
Ben Murdochda12d292016-06-02 14:46:10 +01001645 } else if (*data == 0xF7) {
1646 data++;
1647 AppendToBuffer("%s ", "test_w");
1648 data += PrintRightOperand(data);
1649 int imm = *reinterpret_cast<int16_t*>(data);
1650 AppendToBuffer(",0x%x", imm);
1651 data += 2;
Steve Block3ce2e202009-11-05 08:53:23 +00001652 } else if (*data == 0x0F) {
1653 data++;
Steve Block6ded16b2010-05-10 14:33:55 +01001654 if (*data == 0x38) {
1655 data++;
1656 if (*data == 0x17) {
1657 data++;
1658 int mod, regop, rm;
1659 get_modrm(*data, &mod, &regop, &rm);
1660 AppendToBuffer("ptest %s,%s",
1661 NameOfXMMRegister(regop),
1662 NameOfXMMRegister(rm));
1663 data++;
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +01001664 } else if (*data == 0x2A) {
1665 // movntdqa
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001666 UnimplementedInstruction();
Steve Block6ded16b2010-05-10 14:33:55 +01001667 } else {
1668 UnimplementedInstruction();
1669 }
Ben Murdochb0fe1622011-05-05 13:52:32 +01001670 } else if (*data == 0x3A) {
1671 data++;
Ben Murdoch097c5b22016-05-18 11:27:45 +01001672 if (*data == 0x0A) {
1673 data++;
1674 int mod, regop, rm;
1675 get_modrm(*data, &mod, &regop, &rm);
1676 int8_t imm8 = static_cast<int8_t>(data[1]);
1677 AppendToBuffer("roundss %s,%s,%d", NameOfXMMRegister(regop),
1678 NameOfXMMRegister(rm), static_cast<int>(imm8));
1679 data += 2;
1680 } else if (*data == 0x0B) {
Ben Murdoch69a99ed2011-11-30 16:03:39 +00001681 data++;
1682 int mod, regop, rm;
1683 get_modrm(*data, &mod, &regop, &rm);
1684 int8_t imm8 = static_cast<int8_t>(data[1]);
1685 AppendToBuffer("roundsd %s,%s,%d",
1686 NameOfXMMRegister(regop),
1687 NameOfXMMRegister(rm),
1688 static_cast<int>(imm8));
1689 data += 2;
1690 } else if (*data == 0x16) {
Ben Murdochb0fe1622011-05-05 13:52:32 +01001691 data++;
1692 int mod, regop, rm;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001693 get_modrm(*data, &mod, &rm, &regop);
Ben Murdochb0fe1622011-05-05 13:52:32 +01001694 int8_t imm8 = static_cast<int8_t>(data[1]);
1695 AppendToBuffer("pextrd %s,%s,%d",
Steve Block1e0659c2011-05-24 12:43:12 +01001696 NameOfCPURegister(regop),
Ben Murdochb0fe1622011-05-05 13:52:32 +01001697 NameOfXMMRegister(rm),
1698 static_cast<int>(imm8));
1699 data += 2;
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001700 } else if (*data == 0x17) {
1701 data++;
1702 int mod, regop, rm;
1703 get_modrm(*data, &mod, &regop, &rm);
1704 int8_t imm8 = static_cast<int8_t>(data[1]);
1705 AppendToBuffer("extractps %s,%s,%d",
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001706 NameOfCPURegister(rm),
1707 NameOfXMMRegister(regop),
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001708 static_cast<int>(imm8));
1709 data += 2;
Steve Block1e0659c2011-05-24 12:43:12 +01001710 } else if (*data == 0x22) {
1711 data++;
1712 int mod, regop, rm;
1713 get_modrm(*data, &mod, &regop, &rm);
1714 int8_t imm8 = static_cast<int8_t>(data[1]);
1715 AppendToBuffer("pinsrd %s,%s,%d",
1716 NameOfXMMRegister(regop),
1717 NameOfCPURegister(rm),
1718 static_cast<int>(imm8));
1719 data += 2;
Ben Murdochb0fe1622011-05-05 13:52:32 +01001720 } else {
1721 UnimplementedInstruction();
1722 }
Steve Block6ded16b2010-05-10 14:33:55 +01001723 } else if (*data == 0x2E || *data == 0x2F) {
1724 const char* mnem = (*data == 0x2E) ? "ucomisd" : "comisd";
Steve Block3ce2e202009-11-05 08:53:23 +00001725 data++;
1726 int mod, regop, rm;
1727 get_modrm(*data, &mod, &regop, &rm);
Steve Block6ded16b2010-05-10 14:33:55 +01001728 if (mod == 0x3) {
1729 AppendToBuffer("%s %s,%s", mnem,
1730 NameOfXMMRegister(regop),
1731 NameOfXMMRegister(rm));
1732 data++;
1733 } else {
1734 AppendToBuffer("%s %s,", mnem, NameOfXMMRegister(regop));
1735 data += PrintRightOperand(data);
1736 }
1737 } else if (*data == 0x50) {
1738 data++;
1739 int mod, regop, rm;
1740 get_modrm(*data, &mod, &regop, &rm);
1741 AppendToBuffer("movmskpd %s,%s",
1742 NameOfCPURegister(regop),
Steve Block3ce2e202009-11-05 08:53:23 +00001743 NameOfXMMRegister(rm));
1744 data++;
Ben Murdochb0fe1622011-05-05 13:52:32 +01001745 } else if (*data == 0x54) {
1746 data++;
1747 int mod, regop, rm;
1748 get_modrm(*data, &mod, &regop, &rm);
1749 AppendToBuffer("andpd %s,%s",
1750 NameOfXMMRegister(regop),
1751 NameOfXMMRegister(rm));
1752 data++;
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001753 } else if (*data == 0x56) {
1754 data++;
1755 int mod, regop, rm;
1756 get_modrm(*data, &mod, &regop, &rm);
1757 AppendToBuffer("orpd %s,%s",
1758 NameOfXMMRegister(regop),
1759 NameOfXMMRegister(rm));
1760 data++;
Leon Clarkee46be812010-01-19 14:06:41 +00001761 } else if (*data == 0x57) {
1762 data++;
1763 int mod, regop, rm;
1764 get_modrm(*data, &mod, &regop, &rm);
1765 AppendToBuffer("xorpd %s,%s",
1766 NameOfXMMRegister(regop),
1767 NameOfXMMRegister(rm));
1768 data++;
Steve Block6ded16b2010-05-10 14:33:55 +01001769 } else if (*data == 0x6E) {
1770 data++;
1771 int mod, regop, rm;
1772 get_modrm(*data, &mod, &regop, &rm);
1773 AppendToBuffer("movd %s,", NameOfXMMRegister(regop));
1774 data += PrintRightOperand(data);
Leon Clarkee46be812010-01-19 14:06:41 +00001775 } else if (*data == 0x6F) {
1776 data++;
1777 int mod, regop, rm;
1778 get_modrm(*data, &mod, &regop, &rm);
1779 AppendToBuffer("movdqa %s,", NameOfXMMRegister(regop));
Steve Block44f0eee2011-05-26 01:26:41 +01001780 data += PrintRightXMMOperand(data);
Ben Murdochb0fe1622011-05-05 13:52:32 +01001781 } else if (*data == 0x70) {
1782 data++;
1783 int mod, regop, rm;
1784 get_modrm(*data, &mod, &regop, &rm);
1785 int8_t imm8 = static_cast<int8_t>(data[1]);
1786 AppendToBuffer("pshufd %s,%s,%d",
1787 NameOfXMMRegister(regop),
1788 NameOfXMMRegister(rm),
1789 static_cast<int>(imm8));
1790 data += 2;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001791 } else if (*data == 0x62) {
1792 data++;
1793 int mod, regop, rm;
1794 get_modrm(*data, &mod, &regop, &rm);
1795 AppendToBuffer("punpckldq %s,%s", NameOfXMMRegister(regop),
1796 NameOfXMMRegister(rm));
1797 data++;
1798 } else if (*data == 0x6A) {
1799 data++;
1800 int mod, regop, rm;
1801 get_modrm(*data, &mod, &regop, &rm);
1802 AppendToBuffer("punpckhdq %s,%s", NameOfXMMRegister(regop),
1803 NameOfXMMRegister(rm));
1804 data++;
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001805 } else if (*data == 0x76) {
1806 data++;
1807 int mod, regop, rm;
1808 get_modrm(*data, &mod, &regop, &rm);
1809 AppendToBuffer("pcmpeqd %s,%s",
1810 NameOfXMMRegister(regop),
1811 NameOfXMMRegister(rm));
1812 data++;
Ben Murdoch3ef787d2012-04-12 10:51:47 +01001813 } else if (*data == 0x90) {
1814 data++;
1815 AppendToBuffer("nop"); // 2 byte nop.
Ben Murdochb8e0da22011-05-16 14:20:40 +01001816 } else if (*data == 0xF3) {
1817 data++;
1818 int mod, regop, rm;
1819 get_modrm(*data, &mod, &regop, &rm);
1820 AppendToBuffer("psllq %s,%s",
1821 NameOfXMMRegister(regop),
1822 NameOfXMMRegister(rm));
1823 data++;
Emily Bernierd0a1eb72015-03-24 16:35:39 -04001824 } else if (*data == 0x72) {
1825 data++;
1826 int mod, regop, rm;
1827 get_modrm(*data, &mod, &regop, &rm);
1828 int8_t imm8 = static_cast<int8_t>(data[1]);
1829 DCHECK(regop == esi || regop == edx);
1830 AppendToBuffer("%s %s,%d", (regop == esi) ? "pslld" : "psrld",
1831 NameOfXMMRegister(rm), static_cast<int>(imm8));
1832 data += 2;
Ben Murdochb0fe1622011-05-05 13:52:32 +01001833 } else if (*data == 0x73) {
1834 data++;
1835 int mod, regop, rm;
1836 get_modrm(*data, &mod, &regop, &rm);
1837 int8_t imm8 = static_cast<int8_t>(data[1]);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001838 DCHECK(regop == esi || regop == edx);
Ben Murdochb8e0da22011-05-16 14:20:40 +01001839 AppendToBuffer("%s %s,%d",
1840 (regop == esi) ? "psllq" : "psrlq",
Ben Murdochb0fe1622011-05-05 13:52:32 +01001841 NameOfXMMRegister(rm),
1842 static_cast<int>(imm8));
1843 data += 2;
Ben Murdochb8e0da22011-05-16 14:20:40 +01001844 } else if (*data == 0xD3) {
1845 data++;
1846 int mod, regop, rm;
1847 get_modrm(*data, &mod, &regop, &rm);
1848 AppendToBuffer("psrlq %s,%s",
1849 NameOfXMMRegister(regop),
1850 NameOfXMMRegister(rm));
1851 data++;
Leon Clarkee46be812010-01-19 14:06:41 +00001852 } else if (*data == 0x7F) {
1853 AppendToBuffer("movdqa ");
1854 data++;
1855 int mod, regop, rm;
1856 get_modrm(*data, &mod, &regop, &rm);
Steve Block44f0eee2011-05-26 01:26:41 +01001857 data += PrintRightXMMOperand(data);
Leon Clarkee46be812010-01-19 14:06:41 +00001858 AppendToBuffer(",%s", NameOfXMMRegister(regop));
Ben Murdochb0fe1622011-05-05 13:52:32 +01001859 } else if (*data == 0x7E) {
1860 data++;
1861 int mod, regop, rm;
1862 get_modrm(*data, &mod, &regop, &rm);
1863 AppendToBuffer("movd ");
1864 data += PrintRightOperand(data);
1865 AppendToBuffer(",%s", NameOfXMMRegister(regop));
1866 } else if (*data == 0xDB) {
1867 data++;
1868 int mod, regop, rm;
1869 get_modrm(*data, &mod, &regop, &rm);
1870 AppendToBuffer("pand %s,%s",
1871 NameOfXMMRegister(regop),
1872 NameOfXMMRegister(rm));
1873 data++;
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +01001874 } else if (*data == 0xE7) {
Ben Murdoch7f4d5bd2010-06-15 11:15:29 +01001875 data++;
1876 int mod, regop, rm;
1877 get_modrm(*data, &mod, &regop, &rm);
Steve Block44f0eee2011-05-26 01:26:41 +01001878 if (mod == 3) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001879 // movntdq
1880 UnimplementedInstruction();
Steve Block44f0eee2011-05-26 01:26:41 +01001881 } else {
1882 UnimplementedInstruction();
1883 }
Steve Block6ded16b2010-05-10 14:33:55 +01001884 } else if (*data == 0xEF) {
Ben Murdochb0fe1622011-05-05 13:52:32 +01001885 data++;
1886 int mod, regop, rm;
1887 get_modrm(*data, &mod, &regop, &rm);
1888 AppendToBuffer("pxor %s,%s",
1889 NameOfXMMRegister(regop),
1890 NameOfXMMRegister(rm));
1891 data++;
Ben Murdochb8e0da22011-05-16 14:20:40 +01001892 } else if (*data == 0xEB) {
1893 data++;
1894 int mod, regop, rm;
1895 get_modrm(*data, &mod, &regop, &rm);
1896 AppendToBuffer("por %s,%s",
1897 NameOfXMMRegister(regop),
1898 NameOfXMMRegister(rm));
1899 data++;
Steve Block3ce2e202009-11-05 08:53:23 +00001900 } else {
1901 UnimplementedInstruction();
1902 }
Steve Blocka7e24c12009-10-30 11:49:00 +00001903 } else {
1904 UnimplementedInstruction();
1905 }
1906 break;
1907
1908 case 0xFE:
1909 { data++;
1910 int mod, regop, rm;
1911 get_modrm(*data, &mod, &regop, &rm);
Kristian Monsen0d5e1162010-09-30 15:31:59 +01001912 if (regop == ecx) {
1913 AppendToBuffer("dec_b ");
1914 data += PrintRightOperand(data);
Steve Blocka7e24c12009-10-30 11:49:00 +00001915 } else {
1916 UnimplementedInstruction();
1917 }
Steve Blocka7e24c12009-10-30 11:49:00 +00001918 }
1919 break;
1920
1921 case 0x68:
1922 AppendToBuffer("push 0x%x", *reinterpret_cast<int32_t*>(data+1));
1923 data += 5;
1924 break;
1925
1926 case 0x6A:
1927 AppendToBuffer("push 0x%x", *reinterpret_cast<int8_t*>(data + 1));
1928 data += 2;
1929 break;
1930
1931 case 0xA8:
1932 AppendToBuffer("test al,0x%x", *reinterpret_cast<uint8_t*>(data+1));
1933 data += 2;
1934 break;
1935
1936 case 0xA9:
1937 AppendToBuffer("test eax,0x%x", *reinterpret_cast<int32_t*>(data+1));
1938 data += 5;
1939 break;
1940
1941 case 0xD1: // fall through
1942 case 0xD3: // fall through
1943 case 0xC1:
1944 data += D1D3C1Instruction(data);
1945 break;
1946
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001947 case 0xD8: // fall through
Steve Blocka7e24c12009-10-30 11:49:00 +00001948 case 0xD9: // fall through
1949 case 0xDA: // fall through
1950 case 0xDB: // fall through
1951 case 0xDC: // fall through
1952 case 0xDD: // fall through
1953 case 0xDE: // fall through
1954 case 0xDF:
1955 data += FPUInstruction(data);
1956 break;
1957
1958 case 0xEB:
1959 data += JumpShort(data);
1960 break;
1961
1962 case 0xF2:
1963 if (*(data+1) == 0x0F) {
1964 byte b2 = *(data+2);
1965 if (b2 == 0x11) {
1966 AppendToBuffer("movsd ");
1967 data += 3;
1968 int mod, regop, rm;
1969 get_modrm(*data, &mod, &regop, &rm);
Steve Block44f0eee2011-05-26 01:26:41 +01001970 data += PrintRightXMMOperand(data);
Steve Blocka7e24c12009-10-30 11:49:00 +00001971 AppendToBuffer(",%s", NameOfXMMRegister(regop));
1972 } else if (b2 == 0x10) {
1973 data += 3;
1974 int mod, regop, rm;
1975 get_modrm(*data, &mod, &regop, &rm);
1976 AppendToBuffer("movsd %s,", NameOfXMMRegister(regop));
Steve Block44f0eee2011-05-26 01:26:41 +01001977 data += PrintRightXMMOperand(data);
1978 } else if (b2 == 0x5A) {
1979 data += 3;
1980 int mod, regop, rm;
1981 get_modrm(*data, &mod, &regop, &rm);
1982 AppendToBuffer("cvtsd2ss %s,", NameOfXMMRegister(regop));
1983 data += PrintRightXMMOperand(data);
Steve Blocka7e24c12009-10-30 11:49:00 +00001984 } else {
1985 const char* mnem = "?";
1986 switch (b2) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001987 case 0x2A:
1988 mnem = "cvtsi2sd";
1989 break;
1990 case 0x2C:
1991 mnem = "cvttsd2si";
1992 break;
1993 case 0x2D:
1994 mnem = "cvtsd2si";
1995 break;
1996 case 0x51:
1997 mnem = "sqrtsd";
1998 break;
1999 case 0x58:
2000 mnem = "addsd";
2001 break;
2002 case 0x59:
2003 mnem = "mulsd";
2004 break;
2005 case 0x5C:
2006 mnem = "subsd";
2007 break;
2008 case 0x5D:
2009 mnem = "minsd";
2010 break;
2011 case 0x5E:
2012 mnem = "divsd";
2013 break;
2014 case 0x5F:
2015 mnem = "maxsd";
2016 break;
Steve Blocka7e24c12009-10-30 11:49:00 +00002017 }
2018 data += 3;
2019 int mod, regop, rm;
2020 get_modrm(*data, &mod, &regop, &rm);
2021 if (b2 == 0x2A) {
Steve Block44f0eee2011-05-26 01:26:41 +01002022 AppendToBuffer("%s %s,", mnem, NameOfXMMRegister(regop));
2023 data += PrintRightOperand(data);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002024 } else if (b2 == 0x2C || b2 == 0x2D) {
Steve Block44f0eee2011-05-26 01:26:41 +01002025 AppendToBuffer("%s %s,", mnem, NameOfCPURegister(regop));
2026 data += PrintRightXMMOperand(data);
Kristian Monsen0d5e1162010-09-30 15:31:59 +01002027 } else if (b2 == 0xC2) {
2028 // Intel manual 2A, Table 3-18.
2029 const char* const pseudo_op[] = {
2030 "cmpeqsd",
2031 "cmpltsd",
2032 "cmplesd",
2033 "cmpunordsd",
2034 "cmpneqsd",
2035 "cmpnltsd",
2036 "cmpnlesd",
2037 "cmpordsd"
2038 };
2039 AppendToBuffer("%s %s,%s",
2040 pseudo_op[data[1]],
2041 NameOfXMMRegister(regop),
2042 NameOfXMMRegister(rm));
2043 data += 2;
Steve Blocka7e24c12009-10-30 11:49:00 +00002044 } else {
Steve Block44f0eee2011-05-26 01:26:41 +01002045 AppendToBuffer("%s %s,", mnem, NameOfXMMRegister(regop));
2046 data += PrintRightXMMOperand(data);
Steve Blocka7e24c12009-10-30 11:49:00 +00002047 }
2048 }
2049 } else {
2050 UnimplementedInstruction();
2051 }
2052 break;
2053
2054 case 0xF3:
Leon Clarkee46be812010-01-19 14:06:41 +00002055 if (*(data+1) == 0x0F) {
Steve Block44f0eee2011-05-26 01:26:41 +01002056 byte b2 = *(data+2);
2057 if (b2 == 0x11) {
2058 AppendToBuffer("movss ");
Steve Block6ded16b2010-05-10 14:33:55 +01002059 data += 3;
2060 int mod, regop, rm;
2061 get_modrm(*data, &mod, &regop, &rm);
Steve Block44f0eee2011-05-26 01:26:41 +01002062 data += PrintRightXMMOperand(data);
2063 AppendToBuffer(",%s", NameOfXMMRegister(regop));
2064 } else if (b2 == 0x10) {
2065 data += 3;
2066 int mod, regop, rm;
2067 get_modrm(*data, &mod, &regop, &rm);
2068 AppendToBuffer("movss %s,", NameOfXMMRegister(regop));
2069 data += PrintRightXMMOperand(data);
Steve Block44f0eee2011-05-26 01:26:41 +01002070 } else if (b2 == 0x5A) {
2071 data += 3;
2072 int mod, regop, rm;
2073 get_modrm(*data, &mod, &regop, &rm);
2074 AppendToBuffer("cvtss2sd %s,", NameOfXMMRegister(regop));
2075 data += PrintRightXMMOperand(data);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002076 } else if (b2 == 0x6F) {
Leon Clarkee46be812010-01-19 14:06:41 +00002077 data += 3;
2078 int mod, regop, rm;
2079 get_modrm(*data, &mod, &regop, &rm);
2080 AppendToBuffer("movdqu %s,", NameOfXMMRegister(regop));
Steve Block44f0eee2011-05-26 01:26:41 +01002081 data += PrintRightXMMOperand(data);
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002082 } else if (b2 == 0x7F) {
Leon Clarkee46be812010-01-19 14:06:41 +00002083 AppendToBuffer("movdqu ");
2084 data += 3;
2085 int mod, regop, rm;
2086 get_modrm(*data, &mod, &regop, &rm);
Steve Block44f0eee2011-05-26 01:26:41 +01002087 data += PrintRightXMMOperand(data);
Leon Clarkee46be812010-01-19 14:06:41 +00002088 AppendToBuffer(",%s", NameOfXMMRegister(regop));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002089 } else if (b2 == 0xB8) {
2090 data += 3;
2091 int mod, regop, rm;
2092 get_modrm(*data, &mod, &regop, &rm);
2093 AppendToBuffer("popcnt %s,", NameOfCPURegister(regop));
2094 data += PrintRightOperand(data);
2095 } else if (b2 == 0xBC) {
2096 data += 3;
2097 int mod, regop, rm;
2098 get_modrm(*data, &mod, &regop, &rm);
2099 AppendToBuffer("tzcnt %s,", NameOfCPURegister(regop));
2100 data += PrintRightOperand(data);
2101 } else if (b2 == 0xBD) {
2102 data += 3;
2103 int mod, regop, rm;
2104 get_modrm(*data, &mod, &regop, &rm);
2105 AppendToBuffer("lzcnt %s,", NameOfCPURegister(regop));
2106 data += PrintRightOperand(data);
Leon Clarkee46be812010-01-19 14:06:41 +00002107 } else {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00002108 const char* mnem = "?";
2109 switch (b2) {
2110 case 0x2A:
2111 mnem = "cvtsi2ss";
2112 break;
2113 case 0x2C:
2114 mnem = "cvttss2si";
2115 break;
2116 case 0x2D:
2117 mnem = "cvtss2si";
2118 break;
2119 case 0x51:
2120 mnem = "sqrtss";
2121 break;
2122 case 0x58:
2123 mnem = "addss";
2124 break;
2125 case 0x59:
2126 mnem = "mulss";
2127 break;
2128 case 0x5C:
2129 mnem = "subss";
2130 break;
2131 case 0x5D:
2132 mnem = "minss";
2133 break;
2134 case 0x5E:
2135 mnem = "divss";
2136 break;
2137 case 0x5F:
2138 mnem = "maxss";
2139 break;
2140 }
2141 data += 3;
2142 int mod, regop, rm;
2143 get_modrm(*data, &mod, &regop, &rm);
2144 if (b2 == 0x2A) {
2145 AppendToBuffer("%s %s,", mnem, NameOfXMMRegister(regop));
2146 data += PrintRightOperand(data);
2147 } else if (b2 == 0x2C || b2 == 0x2D) {
2148 AppendToBuffer("%s %s,", mnem, NameOfCPURegister(regop));
2149 data += PrintRightXMMOperand(data);
2150 } else if (b2 == 0xC2) {
2151 // Intel manual 2A, Table 3-18.
2152 const char* const pseudo_op[] = {
2153 "cmpeqss", "cmpltss", "cmpless", "cmpunordss",
2154 "cmpneqss", "cmpnltss", "cmpnless", "cmpordss"};
2155 AppendToBuffer("%s %s,%s", pseudo_op[data[1]],
2156 NameOfXMMRegister(regop), NameOfXMMRegister(rm));
2157 data += 2;
2158 } else {
2159 AppendToBuffer("%s %s,", mnem, NameOfXMMRegister(regop));
2160 data += PrintRightXMMOperand(data);
2161 }
Leon Clarkee46be812010-01-19 14:06:41 +00002162 }
2163 } else if (*(data+1) == 0xA5) {
2164 data += 2;
2165 AppendToBuffer("rep_movs");
Steve Block6ded16b2010-05-10 14:33:55 +01002166 } else if (*(data+1) == 0xAB) {
2167 data += 2;
2168 AppendToBuffer("rep_stos");
Steve Blocka7e24c12009-10-30 11:49:00 +00002169 } else {
2170 UnimplementedInstruction();
2171 }
2172 break;
2173
2174 case 0xF7:
2175 data += F7Instruction(data);
2176 break;
2177
2178 default:
2179 UnimplementedInstruction();
2180 }
2181 }
2182
2183 if (tmp_buffer_pos_ < sizeof tmp_buffer_) {
2184 tmp_buffer_[tmp_buffer_pos_] = '\0';
2185 }
2186
2187 int instr_len = data - instr;
Leon Clarkee46be812010-01-19 14:06:41 +00002188 if (instr_len == 0) {
2189 printf("%02x", *data);
2190 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002191 DCHECK(instr_len > 0); // Ensure progress.
Steve Blocka7e24c12009-10-30 11:49:00 +00002192
2193 int outp = 0;
2194 // Instruction bytes.
2195 for (byte* bp = instr; bp < data; bp++) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002196 outp += v8::internal::SNPrintF(out_buffer + outp,
2197 "%02x",
2198 *bp);
Steve Blocka7e24c12009-10-30 11:49:00 +00002199 }
2200 for (int i = 6 - instr_len; i >= 0; i--) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002201 outp += v8::internal::SNPrintF(out_buffer + outp, " ");
Steve Blocka7e24c12009-10-30 11:49:00 +00002202 }
2203
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002204 outp += v8::internal::SNPrintF(out_buffer + outp,
2205 " %s",
2206 tmp_buffer_.start());
Steve Blocka7e24c12009-10-30 11:49:00 +00002207 return instr_len;
Kristian Monsen0d5e1162010-09-30 15:31:59 +01002208} // NOLINT (function is too long)
Steve Blocka7e24c12009-10-30 11:49:00 +00002209
2210
2211//------------------------------------------------------------------------------
2212
2213
Emily Bernierd0a1eb72015-03-24 16:35:39 -04002214static const char* const cpu_regs[8] = {
Steve Blocka7e24c12009-10-30 11:49:00 +00002215 "eax", "ecx", "edx", "ebx", "esp", "ebp", "esi", "edi"
2216};
2217
2218
Emily Bernierd0a1eb72015-03-24 16:35:39 -04002219static const char* const byte_cpu_regs[8] = {
Steve Blocka7e24c12009-10-30 11:49:00 +00002220 "al", "cl", "dl", "bl", "ah", "ch", "dh", "bh"
2221};
2222
2223
Emily Bernierd0a1eb72015-03-24 16:35:39 -04002224static const char* const xmm_regs[8] = {
Steve Blocka7e24c12009-10-30 11:49:00 +00002225 "xmm0", "xmm1", "xmm2", "xmm3", "xmm4", "xmm5", "xmm6", "xmm7"
2226};
2227
2228
2229const char* NameConverter::NameOfAddress(byte* addr) const {
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002230 v8::internal::SNPrintF(tmp_buffer_, "%p", addr);
Steve Block44f0eee2011-05-26 01:26:41 +01002231 return tmp_buffer_.start();
Steve Blocka7e24c12009-10-30 11:49:00 +00002232}
2233
2234
2235const char* NameConverter::NameOfConstant(byte* addr) const {
2236 return NameOfAddress(addr);
2237}
2238
2239
2240const char* NameConverter::NameOfCPURegister(int reg) const {
2241 if (0 <= reg && reg < 8) return cpu_regs[reg];
2242 return "noreg";
2243}
2244
2245
2246const char* NameConverter::NameOfByteCPURegister(int reg) const {
2247 if (0 <= reg && reg < 8) return byte_cpu_regs[reg];
2248 return "noreg";
2249}
2250
2251
2252const char* NameConverter::NameOfXMMRegister(int reg) const {
2253 if (0 <= reg && reg < 8) return xmm_regs[reg];
2254 return "noxmmreg";
2255}
2256
2257
2258const char* NameConverter::NameInCode(byte* addr) const {
2259 // IA32 does not embed debug strings at the moment.
2260 UNREACHABLE();
2261 return "";
2262}
2263
2264
2265//------------------------------------------------------------------------------
2266
2267Disassembler::Disassembler(const NameConverter& converter)
2268 : converter_(converter) {}
2269
2270
2271Disassembler::~Disassembler() {}
2272
2273
2274int Disassembler::InstructionDecode(v8::internal::Vector<char> buffer,
2275 byte* instruction) {
2276 DisassemblerIA32 d(converter_, false /*do not crash if unimplemented*/);
2277 return d.InstructionDecode(buffer, instruction);
2278}
2279
2280
2281// The IA-32 assembler does not currently use constant pools.
2282int Disassembler::ConstantPoolSizeAt(byte* instruction) { return -1; }
2283
2284
2285/*static*/ void Disassembler::Disassemble(FILE* f, byte* begin, byte* end) {
2286 NameConverter converter;
2287 Disassembler d(converter);
2288 for (byte* pc = begin; pc < end;) {
2289 v8::internal::EmbeddedVector<char, 128> buffer;
2290 buffer[0] = '\0';
2291 byte* prev_pc = pc;
2292 pc += d.InstructionDecode(buffer, pc);
2293 fprintf(f, "%p", prev_pc);
2294 fprintf(f, " ");
2295
2296 for (byte* bp = prev_pc; bp < pc; bp++) {
2297 fprintf(f, "%02x", *bp);
2298 }
2299 for (int i = 6 - (pc - prev_pc); i >= 0; i--) {
2300 fprintf(f, " ");
2301 }
2302 fprintf(f, " %s\n", buffer.start());
2303 }
2304}
2305
2306
2307} // namespace disasm
Leon Clarkef7060e22010-06-03 12:02:55 +01002308
2309#endif // V8_TARGET_ARCH_IA32