2004-12-14 Randolph Chung <tausq@debian.org>
[deliverable/binutils-gdb.git] / opcodes / i386-dis.c
... / ...
CommitLineData
1/* Print i386 instructions for GDB, the GNU debugger.
2 Copyright 1988, 1989, 1991, 1993, 1994, 1995, 1996, 1997, 1998, 1999,
3 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
4
5 This file is part of GDB.
6
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2 of the License, or
10 (at your option) any later version.
11
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software
19 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
20
21/* 80386 instruction printer by Pace Willisson (pace@prep.ai.mit.edu)
22 July 1988
23 modified by John Hassey (hassey@dg-rtp.dg.com)
24 x86-64 support added by Jan Hubicka (jh@suse.cz)
25 VIA PadLock support by Michal Ludvig (mludvig@suse.cz). */
26
27/* The main tables describing the instructions is essentially a copy
28 of the "Opcode Map" chapter (Appendix A) of the Intel 80386
29 Programmers Manual. Usually, there is a capital letter, followed
30 by a small letter. The capital letter tell the addressing mode,
31 and the small letter tells about the operand size. Refer to
32 the Intel manual for details. */
33
34#include "dis-asm.h"
35#include "sysdep.h"
36#include "opintl.h"
37
38#define MAXLEN 20
39
40#include <setjmp.h>
41
42#ifndef UNIXWARE_COMPAT
43/* Set non-zero for broken, compatible instructions. Set to zero for
44 non-broken opcodes. */
45#define UNIXWARE_COMPAT 1
46#endif
47
48static int fetch_data (struct disassemble_info *, bfd_byte *);
49static void ckprefix (void);
50static const char *prefix_name (int, int);
51static int print_insn (bfd_vma, disassemble_info *);
52static void dofloat (int);
53static void OP_ST (int, int);
54static void OP_STi (int, int);
55static int putop (const char *, int);
56static void oappend (const char *);
57static void append_seg (void);
58static void OP_indirE (int, int);
59static void print_operand_value (char *, int, bfd_vma);
60static void OP_E (int, int);
61static void OP_G (int, int);
62static bfd_vma get64 (void);
63static bfd_signed_vma get32 (void);
64static bfd_signed_vma get32s (void);
65static int get16 (void);
66static void set_op (bfd_vma, int);
67static void OP_REG (int, int);
68static void OP_IMREG (int, int);
69static void OP_I (int, int);
70static void OP_I64 (int, int);
71static void OP_sI (int, int);
72static void OP_J (int, int);
73static void OP_SEG (int, int);
74static void OP_DIR (int, int);
75static void OP_OFF (int, int);
76static void OP_OFF64 (int, int);
77static void ptr_reg (int, int);
78static void OP_ESreg (int, int);
79static void OP_DSreg (int, int);
80static void OP_C (int, int);
81static void OP_D (int, int);
82static void OP_T (int, int);
83static void OP_Rd (int, int);
84static void OP_MMX (int, int);
85static void OP_XMM (int, int);
86static void OP_EM (int, int);
87static void OP_EX (int, int);
88static void OP_MS (int, int);
89static void OP_XS (int, int);
90static void OP_M (int, int);
91static void OP_0fae (int, int);
92static void OP_0f07 (int, int);
93static void NOP_Fixup (int, int);
94static void OP_3DNowSuffix (int, int);
95static void OP_SIMD_Suffix (int, int);
96static void SIMD_Fixup (int, int);
97static void PNI_Fixup (int, int);
98static void INVLPG_Fixup (int, int);
99static void BadOp (void);
100
101struct dis_private {
102 /* Points to first byte not fetched. */
103 bfd_byte *max_fetched;
104 bfd_byte the_buffer[MAXLEN];
105 bfd_vma insn_start;
106 int orig_sizeflag;
107 jmp_buf bailout;
108};
109
110/* The opcode for the fwait instruction, which we treat as a prefix
111 when we can. */
112#define FWAIT_OPCODE (0x9b)
113
114/* Set to 1 for 64bit mode disassembly. */
115static int mode_64bit;
116
117/* Flags for the prefixes for the current instruction. See below. */
118static int prefixes;
119
120/* REX prefix the current instruction. See below. */
121static int rex;
122/* Bits of REX we've already used. */
123static int rex_used;
124#define REX_MODE64 8
125#define REX_EXTX 4
126#define REX_EXTY 2
127#define REX_EXTZ 1
128/* Mark parts used in the REX prefix. When we are testing for
129 empty prefix (for 8bit register REX extension), just mask it
130 out. Otherwise test for REX bit is excuse for existence of REX
131 only in case value is nonzero. */
132#define USED_REX(value) \
133 { \
134 if (value) \
135 rex_used |= (rex & value) ? (value) | 0x40 : 0; \
136 else \
137 rex_used |= 0x40; \
138 }
139
140/* Flags for prefixes which we somehow handled when printing the
141 current instruction. */
142static int used_prefixes;
143
144/* Flags stored in PREFIXES. */
145#define PREFIX_REPZ 1
146#define PREFIX_REPNZ 2
147#define PREFIX_LOCK 4
148#define PREFIX_CS 8
149#define PREFIX_SS 0x10
150#define PREFIX_DS 0x20
151#define PREFIX_ES 0x40
152#define PREFIX_FS 0x80
153#define PREFIX_GS 0x100
154#define PREFIX_DATA 0x200
155#define PREFIX_ADDR 0x400
156#define PREFIX_FWAIT 0x800
157
158/* Make sure that bytes from INFO->PRIVATE_DATA->BUFFER (inclusive)
159 to ADDR (exclusive) are valid. Returns 1 for success, longjmps
160 on error. */
161#define FETCH_DATA(info, addr) \
162 ((addr) <= ((struct dis_private *) (info->private_data))->max_fetched \
163 ? 1 : fetch_data ((info), (addr)))
164
165static int
166fetch_data (struct disassemble_info *info, bfd_byte *addr)
167{
168 int status;
169 struct dis_private *priv = (struct dis_private *) info->private_data;
170 bfd_vma start = priv->insn_start + (priv->max_fetched - priv->the_buffer);
171
172 status = (*info->read_memory_func) (start,
173 priv->max_fetched,
174 addr - priv->max_fetched,
175 info);
176 if (status != 0)
177 {
178 /* If we did manage to read at least one byte, then
179 print_insn_i386 will do something sensible. Otherwise, print
180 an error. We do that here because this is where we know
181 STATUS. */
182 if (priv->max_fetched == priv->the_buffer)
183 (*info->memory_error_func) (status, start, info);
184 longjmp (priv->bailout, 1);
185 }
186 else
187 priv->max_fetched = addr;
188 return 1;
189}
190
191#define XX NULL, 0
192
193#define Eb OP_E, b_mode
194#define Ev OP_E, v_mode
195#define Ed OP_E, d_mode
196#define Eq OP_E, q_mode
197#define Edq OP_E, dq_mode
198#define Edqw OP_E, dqw_mode
199#define indirEv OP_indirE, v_mode
200#define indirEp OP_indirE, f_mode
201#define Ew OP_E, w_mode
202#define Ma OP_E, v_mode
203#define M OP_M, 0 /* lea, lgdt, etc. */
204#define Mp OP_M, f_mode /* 32 or 48 bit memory operand for LDS, LES etc */
205#define Gb OP_G, b_mode
206#define Gv OP_G, v_mode
207#define Gd OP_G, d_mode
208#define Gdq OP_G, dq_mode
209#define Gw OP_G, w_mode
210#define Rd OP_Rd, d_mode
211#define Rm OP_Rd, m_mode
212#define Ib OP_I, b_mode
213#define sIb OP_sI, b_mode /* sign extened byte */
214#define Iv OP_I, v_mode
215#define Iq OP_I, q_mode
216#define Iv64 OP_I64, v_mode
217#define Iw OP_I, w_mode
218#define I1 OP_I, const_1_mode
219#define Jb OP_J, b_mode
220#define Jv OP_J, v_mode
221#define Cm OP_C, m_mode
222#define Dm OP_D, m_mode
223#define Td OP_T, d_mode
224
225#define RMeAX OP_REG, eAX_reg
226#define RMeBX OP_REG, eBX_reg
227#define RMeCX OP_REG, eCX_reg
228#define RMeDX OP_REG, eDX_reg
229#define RMeSP OP_REG, eSP_reg
230#define RMeBP OP_REG, eBP_reg
231#define RMeSI OP_REG, eSI_reg
232#define RMeDI OP_REG, eDI_reg
233#define RMrAX OP_REG, rAX_reg
234#define RMrBX OP_REG, rBX_reg
235#define RMrCX OP_REG, rCX_reg
236#define RMrDX OP_REG, rDX_reg
237#define RMrSP OP_REG, rSP_reg
238#define RMrBP OP_REG, rBP_reg
239#define RMrSI OP_REG, rSI_reg
240#define RMrDI OP_REG, rDI_reg
241#define RMAL OP_REG, al_reg
242#define RMAL OP_REG, al_reg
243#define RMCL OP_REG, cl_reg
244#define RMDL OP_REG, dl_reg
245#define RMBL OP_REG, bl_reg
246#define RMAH OP_REG, ah_reg
247#define RMCH OP_REG, ch_reg
248#define RMDH OP_REG, dh_reg
249#define RMBH OP_REG, bh_reg
250#define RMAX OP_REG, ax_reg
251#define RMDX OP_REG, dx_reg
252
253#define eAX OP_IMREG, eAX_reg
254#define eBX OP_IMREG, eBX_reg
255#define eCX OP_IMREG, eCX_reg
256#define eDX OP_IMREG, eDX_reg
257#define eSP OP_IMREG, eSP_reg
258#define eBP OP_IMREG, eBP_reg
259#define eSI OP_IMREG, eSI_reg
260#define eDI OP_IMREG, eDI_reg
261#define AL OP_IMREG, al_reg
262#define AL OP_IMREG, al_reg
263#define CL OP_IMREG, cl_reg
264#define DL OP_IMREG, dl_reg
265#define BL OP_IMREG, bl_reg
266#define AH OP_IMREG, ah_reg
267#define CH OP_IMREG, ch_reg
268#define DH OP_IMREG, dh_reg
269#define BH OP_IMREG, bh_reg
270#define AX OP_IMREG, ax_reg
271#define DX OP_IMREG, dx_reg
272#define indirDX OP_IMREG, indir_dx_reg
273
274#define Sw OP_SEG, w_mode
275#define Ap OP_DIR, 0
276#define Ob OP_OFF, b_mode
277#define Ob64 OP_OFF64, b_mode
278#define Ov OP_OFF, v_mode
279#define Ov64 OP_OFF64, v_mode
280#define Xb OP_DSreg, eSI_reg
281#define Xv OP_DSreg, eSI_reg
282#define Yb OP_ESreg, eDI_reg
283#define Yv OP_ESreg, eDI_reg
284#define DSBX OP_DSreg, eBX_reg
285
286#define es OP_REG, es_reg
287#define ss OP_REG, ss_reg
288#define cs OP_REG, cs_reg
289#define ds OP_REG, ds_reg
290#define fs OP_REG, fs_reg
291#define gs OP_REG, gs_reg
292
293#define MX OP_MMX, 0
294#define XM OP_XMM, 0
295#define EM OP_EM, v_mode
296#define EX OP_EX, v_mode
297#define MS OP_MS, v_mode
298#define XS OP_XS, v_mode
299#define OPSUF OP_3DNowSuffix, 0
300#define OPSIMD OP_SIMD_Suffix, 0
301
302#define cond_jump_flag NULL, cond_jump_mode
303#define loop_jcxz_flag NULL, loop_jcxz_mode
304
305/* bits in sizeflag */
306#define SUFFIX_ALWAYS 4
307#define AFLAG 2
308#define DFLAG 1
309
310#define b_mode 1 /* byte operand */
311#define v_mode 2 /* operand size depends on prefixes */
312#define w_mode 3 /* word operand */
313#define d_mode 4 /* double word operand */
314#define q_mode 5 /* quad word operand */
315#define t_mode 6 /* ten-byte operand */
316#define x_mode 7 /* 16-byte XMM operand */
317#define m_mode 8 /* d_mode in 32bit, q_mode in 64bit mode. */
318#define cond_jump_mode 9
319#define loop_jcxz_mode 10
320#define dq_mode 11 /* operand size depends on REX prefixes. */
321#define dqw_mode 12 /* registers like dq_mode, memory like w_mode. */
322#define f_mode 13 /* 4- or 6-byte pointer operand */
323#define const_1_mode 14
324
325#define es_reg 100
326#define cs_reg 101
327#define ss_reg 102
328#define ds_reg 103
329#define fs_reg 104
330#define gs_reg 105
331
332#define eAX_reg 108
333#define eCX_reg 109
334#define eDX_reg 110
335#define eBX_reg 111
336#define eSP_reg 112
337#define eBP_reg 113
338#define eSI_reg 114
339#define eDI_reg 115
340
341#define al_reg 116
342#define cl_reg 117
343#define dl_reg 118
344#define bl_reg 119
345#define ah_reg 120
346#define ch_reg 121
347#define dh_reg 122
348#define bh_reg 123
349
350#define ax_reg 124
351#define cx_reg 125
352#define dx_reg 126
353#define bx_reg 127
354#define sp_reg 128
355#define bp_reg 129
356#define si_reg 130
357#define di_reg 131
358
359#define rAX_reg 132
360#define rCX_reg 133
361#define rDX_reg 134
362#define rBX_reg 135
363#define rSP_reg 136
364#define rBP_reg 137
365#define rSI_reg 138
366#define rDI_reg 139
367
368#define indir_dx_reg 150
369
370#define FLOATCODE 1
371#define USE_GROUPS 2
372#define USE_PREFIX_USER_TABLE 3
373#define X86_64_SPECIAL 4
374
375#define FLOAT NULL, NULL, FLOATCODE, NULL, 0, NULL, 0
376
377#define GRP1b NULL, NULL, USE_GROUPS, NULL, 0, NULL, 0
378#define GRP1S NULL, NULL, USE_GROUPS, NULL, 1, NULL, 0
379#define GRP1Ss NULL, NULL, USE_GROUPS, NULL, 2, NULL, 0
380#define GRP2b NULL, NULL, USE_GROUPS, NULL, 3, NULL, 0
381#define GRP2S NULL, NULL, USE_GROUPS, NULL, 4, NULL, 0
382#define GRP2b_one NULL, NULL, USE_GROUPS, NULL, 5, NULL, 0
383#define GRP2S_one NULL, NULL, USE_GROUPS, NULL, 6, NULL, 0
384#define GRP2b_cl NULL, NULL, USE_GROUPS, NULL, 7, NULL, 0
385#define GRP2S_cl NULL, NULL, USE_GROUPS, NULL, 8, NULL, 0
386#define GRP3b NULL, NULL, USE_GROUPS, NULL, 9, NULL, 0
387#define GRP3S NULL, NULL, USE_GROUPS, NULL, 10, NULL, 0
388#define GRP4 NULL, NULL, USE_GROUPS, NULL, 11, NULL, 0
389#define GRP5 NULL, NULL, USE_GROUPS, NULL, 12, NULL, 0
390#define GRP6 NULL, NULL, USE_GROUPS, NULL, 13, NULL, 0
391#define GRP7 NULL, NULL, USE_GROUPS, NULL, 14, NULL, 0
392#define GRP8 NULL, NULL, USE_GROUPS, NULL, 15, NULL, 0
393#define GRP9 NULL, NULL, USE_GROUPS, NULL, 16, NULL, 0
394#define GRP10 NULL, NULL, USE_GROUPS, NULL, 17, NULL, 0
395#define GRP11 NULL, NULL, USE_GROUPS, NULL, 18, NULL, 0
396#define GRP12 NULL, NULL, USE_GROUPS, NULL, 19, NULL, 0
397#define GRP13 NULL, NULL, USE_GROUPS, NULL, 20, NULL, 0
398#define GRP14 NULL, NULL, USE_GROUPS, NULL, 21, NULL, 0
399#define GRPAMD NULL, NULL, USE_GROUPS, NULL, 22, NULL, 0
400#define GRPPADLCK1 NULL, NULL, USE_GROUPS, NULL, 23, NULL, 0
401#define GRPPADLCK2 NULL, NULL, USE_GROUPS, NULL, 24, NULL, 0
402
403#define PREGRP0 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 0, NULL, 0
404#define PREGRP1 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 1, NULL, 0
405#define PREGRP2 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 2, NULL, 0
406#define PREGRP3 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 3, NULL, 0
407#define PREGRP4 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 4, NULL, 0
408#define PREGRP5 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 5, NULL, 0
409#define PREGRP6 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 6, NULL, 0
410#define PREGRP7 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 7, NULL, 0
411#define PREGRP8 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 8, NULL, 0
412#define PREGRP9 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 9, NULL, 0
413#define PREGRP10 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 10, NULL, 0
414#define PREGRP11 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 11, NULL, 0
415#define PREGRP12 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 12, NULL, 0
416#define PREGRP13 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 13, NULL, 0
417#define PREGRP14 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 14, NULL, 0
418#define PREGRP15 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 15, NULL, 0
419#define PREGRP16 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 16, NULL, 0
420#define PREGRP17 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 17, NULL, 0
421#define PREGRP18 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 18, NULL, 0
422#define PREGRP19 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 19, NULL, 0
423#define PREGRP20 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 20, NULL, 0
424#define PREGRP21 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 21, NULL, 0
425#define PREGRP22 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 22, NULL, 0
426#define PREGRP23 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 23, NULL, 0
427#define PREGRP24 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 24, NULL, 0
428#define PREGRP25 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 25, NULL, 0
429#define PREGRP26 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 26, NULL, 0
430#define PREGRP27 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 27, NULL, 0
431#define PREGRP28 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 28, NULL, 0
432#define PREGRP29 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 29, NULL, 0
433#define PREGRP30 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 30, NULL, 0
434#define PREGRP31 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 31, NULL, 0
435#define PREGRP32 NULL, NULL, USE_PREFIX_USER_TABLE, NULL, 32, NULL, 0
436
437#define X86_64_0 NULL, NULL, X86_64_SPECIAL, NULL, 0, NULL, 0
438
439typedef void (*op_rtn) (int bytemode, int sizeflag);
440
441struct dis386 {
442 const char *name;
443 op_rtn op1;
444 int bytemode1;
445 op_rtn op2;
446 int bytemode2;
447 op_rtn op3;
448 int bytemode3;
449};
450
451/* Upper case letters in the instruction names here are macros.
452 'A' => print 'b' if no register operands or suffix_always is true
453 'B' => print 'b' if suffix_always is true
454 'C' => print 's' or 'l' ('w' or 'd' in Intel mode) depending on operand
455 . size prefix
456 'E' => print 'e' if 32-bit form of jcxz
457 'F' => print 'w' or 'l' depending on address size prefix (loop insns)
458 'H' => print ",pt" or ",pn" branch hint
459 'I' => honor following macro letter even in Intel mode (implemented only
460 . for some of the macro letters)
461 'J' => print 'l'
462 'L' => print 'l' if suffix_always is true
463 'N' => print 'n' if instruction has no wait "prefix"
464 'O' => print 'd', or 'o'
465 'P' => print 'w', 'l' or 'q' if instruction has an operand size prefix,
466 . or suffix_always is true. print 'q' if rex prefix is present.
467 'Q' => print 'w', 'l' or 'q' if no register operands or suffix_always
468 . is true
469 'R' => print 'w', 'l' or 'q' ("wd" or "dq" in intel mode)
470 'S' => print 'w', 'l' or 'q' if suffix_always is true
471 'T' => print 'q' in 64bit mode and behave as 'P' otherwise
472 'U' => print 'q' in 64bit mode and behave as 'Q' otherwise
473 'W' => print 'b' or 'w' ("w" or "de" in intel mode)
474 'X' => print 's', 'd' depending on data16 prefix (for XMM)
475 'Y' => 'q' if instruction has an REX 64bit overwrite prefix
476
477 Many of the above letters print nothing in Intel mode. See "putop"
478 for the details.
479
480 Braces '{' and '}', and vertical bars '|', indicate alternative
481 mnemonic strings for AT&T, Intel, X86_64 AT&T, and X86_64 Intel
482 modes. In cases where there are only two alternatives, the X86_64
483 instruction is reserved, and "(bad)" is printed.
484*/
485
486static const struct dis386 dis386[] = {
487 /* 00 */
488 { "addB", Eb, Gb, XX },
489 { "addS", Ev, Gv, XX },
490 { "addB", Gb, Eb, XX },
491 { "addS", Gv, Ev, XX },
492 { "addB", AL, Ib, XX },
493 { "addS", eAX, Iv, XX },
494 { "push{T|}", es, XX, XX },
495 { "pop{T|}", es, XX, XX },
496 /* 08 */
497 { "orB", Eb, Gb, XX },
498 { "orS", Ev, Gv, XX },
499 { "orB", Gb, Eb, XX },
500 { "orS", Gv, Ev, XX },
501 { "orB", AL, Ib, XX },
502 { "orS", eAX, Iv, XX },
503 { "push{T|}", cs, XX, XX },
504 { "(bad)", XX, XX, XX }, /* 0x0f extended opcode escape */
505 /* 10 */
506 { "adcB", Eb, Gb, XX },
507 { "adcS", Ev, Gv, XX },
508 { "adcB", Gb, Eb, XX },
509 { "adcS", Gv, Ev, XX },
510 { "adcB", AL, Ib, XX },
511 { "adcS", eAX, Iv, XX },
512 { "push{T|}", ss, XX, XX },
513 { "popT|}", ss, XX, XX },
514 /* 18 */
515 { "sbbB", Eb, Gb, XX },
516 { "sbbS", Ev, Gv, XX },
517 { "sbbB", Gb, Eb, XX },
518 { "sbbS", Gv, Ev, XX },
519 { "sbbB", AL, Ib, XX },
520 { "sbbS", eAX, Iv, XX },
521 { "push{T|}", ds, XX, XX },
522 { "pop{T|}", ds, XX, XX },
523 /* 20 */
524 { "andB", Eb, Gb, XX },
525 { "andS", Ev, Gv, XX },
526 { "andB", Gb, Eb, XX },
527 { "andS", Gv, Ev, XX },
528 { "andB", AL, Ib, XX },
529 { "andS", eAX, Iv, XX },
530 { "(bad)", XX, XX, XX }, /* SEG ES prefix */
531 { "daa{|}", XX, XX, XX },
532 /* 28 */
533 { "subB", Eb, Gb, XX },
534 { "subS", Ev, Gv, XX },
535 { "subB", Gb, Eb, XX },
536 { "subS", Gv, Ev, XX },
537 { "subB", AL, Ib, XX },
538 { "subS", eAX, Iv, XX },
539 { "(bad)", XX, XX, XX }, /* SEG CS prefix */
540 { "das{|}", XX, XX, XX },
541 /* 30 */
542 { "xorB", Eb, Gb, XX },
543 { "xorS", Ev, Gv, XX },
544 { "xorB", Gb, Eb, XX },
545 { "xorS", Gv, Ev, XX },
546 { "xorB", AL, Ib, XX },
547 { "xorS", eAX, Iv, XX },
548 { "(bad)", XX, XX, XX }, /* SEG SS prefix */
549 { "aaa{|}", XX, XX, XX },
550 /* 38 */
551 { "cmpB", Eb, Gb, XX },
552 { "cmpS", Ev, Gv, XX },
553 { "cmpB", Gb, Eb, XX },
554 { "cmpS", Gv, Ev, XX },
555 { "cmpB", AL, Ib, XX },
556 { "cmpS", eAX, Iv, XX },
557 { "(bad)", XX, XX, XX }, /* SEG DS prefix */
558 { "aas{|}", XX, XX, XX },
559 /* 40 */
560 { "inc{S|}", RMeAX, XX, XX },
561 { "inc{S|}", RMeCX, XX, XX },
562 { "inc{S|}", RMeDX, XX, XX },
563 { "inc{S|}", RMeBX, XX, XX },
564 { "inc{S|}", RMeSP, XX, XX },
565 { "inc{S|}", RMeBP, XX, XX },
566 { "inc{S|}", RMeSI, XX, XX },
567 { "inc{S|}", RMeDI, XX, XX },
568 /* 48 */
569 { "dec{S|}", RMeAX, XX, XX },
570 { "dec{S|}", RMeCX, XX, XX },
571 { "dec{S|}", RMeDX, XX, XX },
572 { "dec{S|}", RMeBX, XX, XX },
573 { "dec{S|}", RMeSP, XX, XX },
574 { "dec{S|}", RMeBP, XX, XX },
575 { "dec{S|}", RMeSI, XX, XX },
576 { "dec{S|}", RMeDI, XX, XX },
577 /* 50 */
578 { "pushS", RMrAX, XX, XX },
579 { "pushS", RMrCX, XX, XX },
580 { "pushS", RMrDX, XX, XX },
581 { "pushS", RMrBX, XX, XX },
582 { "pushS", RMrSP, XX, XX },
583 { "pushS", RMrBP, XX, XX },
584 { "pushS", RMrSI, XX, XX },
585 { "pushS", RMrDI, XX, XX },
586 /* 58 */
587 { "popS", RMrAX, XX, XX },
588 { "popS", RMrCX, XX, XX },
589 { "popS", RMrDX, XX, XX },
590 { "popS", RMrBX, XX, XX },
591 { "popS", RMrSP, XX, XX },
592 { "popS", RMrBP, XX, XX },
593 { "popS", RMrSI, XX, XX },
594 { "popS", RMrDI, XX, XX },
595 /* 60 */
596 { "pusha{P|}", XX, XX, XX },
597 { "popa{P|}", XX, XX, XX },
598 { "bound{S|}", Gv, Ma, XX },
599 { X86_64_0 },
600 { "(bad)", XX, XX, XX }, /* seg fs */
601 { "(bad)", XX, XX, XX }, /* seg gs */
602 { "(bad)", XX, XX, XX }, /* op size prefix */
603 { "(bad)", XX, XX, XX }, /* adr size prefix */
604 /* 68 */
605 { "pushT", Iq, XX, XX },
606 { "imulS", Gv, Ev, Iv },
607 { "pushT", sIb, XX, XX },
608 { "imulS", Gv, Ev, sIb },
609 { "ins{b||b|}", Yb, indirDX, XX },
610 { "ins{R||R|}", Yv, indirDX, XX },
611 { "outs{b||b|}", indirDX, Xb, XX },
612 { "outs{R||R|}", indirDX, Xv, XX },
613 /* 70 */
614 { "joH", Jb, XX, cond_jump_flag },
615 { "jnoH", Jb, XX, cond_jump_flag },
616 { "jbH", Jb, XX, cond_jump_flag },
617 { "jaeH", Jb, XX, cond_jump_flag },
618 { "jeH", Jb, XX, cond_jump_flag },
619 { "jneH", Jb, XX, cond_jump_flag },
620 { "jbeH", Jb, XX, cond_jump_flag },
621 { "jaH", Jb, XX, cond_jump_flag },
622 /* 78 */
623 { "jsH", Jb, XX, cond_jump_flag },
624 { "jnsH", Jb, XX, cond_jump_flag },
625 { "jpH", Jb, XX, cond_jump_flag },
626 { "jnpH", Jb, XX, cond_jump_flag },
627 { "jlH", Jb, XX, cond_jump_flag },
628 { "jgeH", Jb, XX, cond_jump_flag },
629 { "jleH", Jb, XX, cond_jump_flag },
630 { "jgH", Jb, XX, cond_jump_flag },
631 /* 80 */
632 { GRP1b },
633 { GRP1S },
634 { "(bad)", XX, XX, XX },
635 { GRP1Ss },
636 { "testB", Eb, Gb, XX },
637 { "testS", Ev, Gv, XX },
638 { "xchgB", Eb, Gb, XX },
639 { "xchgS", Ev, Gv, XX },
640 /* 88 */
641 { "movB", Eb, Gb, XX },
642 { "movS", Ev, Gv, XX },
643 { "movB", Gb, Eb, XX },
644 { "movS", Gv, Ev, XX },
645 { "movQ", Ev, Sw, XX },
646 { "leaS", Gv, M, XX },
647 { "movQ", Sw, Ev, XX },
648 { "popU", Ev, XX, XX },
649 /* 90 */
650 { "nop", NOP_Fixup, 0, XX, XX },
651 { "xchgS", RMeCX, eAX, XX },
652 { "xchgS", RMeDX, eAX, XX },
653 { "xchgS", RMeBX, eAX, XX },
654 { "xchgS", RMeSP, eAX, XX },
655 { "xchgS", RMeBP, eAX, XX },
656 { "xchgS", RMeSI, eAX, XX },
657 { "xchgS", RMeDI, eAX, XX },
658 /* 98 */
659 { "cW{tR||tR|}", XX, XX, XX },
660 { "cR{tO||tO|}", XX, XX, XX },
661 { "Jcall{T|}", Ap, XX, XX },
662 { "(bad)", XX, XX, XX }, /* fwait */
663 { "pushfT", XX, XX, XX },
664 { "popfT", XX, XX, XX },
665 { "sahf{|}", XX, XX, XX },
666 { "lahf{|}", XX, XX, XX },
667 /* a0 */
668 { "movB", AL, Ob64, XX },
669 { "movS", eAX, Ov64, XX },
670 { "movB", Ob64, AL, XX },
671 { "movS", Ov64, eAX, XX },
672 { "movs{b||b|}", Yb, Xb, XX },
673 { "movs{R||R|}", Yv, Xv, XX },
674 { "cmps{b||b|}", Xb, Yb, XX },
675 { "cmps{R||R|}", Xv, Yv, XX },
676 /* a8 */
677 { "testB", AL, Ib, XX },
678 { "testS", eAX, Iv, XX },
679 { "stosB", Yb, AL, XX },
680 { "stosS", Yv, eAX, XX },
681 { "lodsB", AL, Xb, XX },
682 { "lodsS", eAX, Xv, XX },
683 { "scasB", AL, Yb, XX },
684 { "scasS", eAX, Yv, XX },
685 /* b0 */
686 { "movB", RMAL, Ib, XX },
687 { "movB", RMCL, Ib, XX },
688 { "movB", RMDL, Ib, XX },
689 { "movB", RMBL, Ib, XX },
690 { "movB", RMAH, Ib, XX },
691 { "movB", RMCH, Ib, XX },
692 { "movB", RMDH, Ib, XX },
693 { "movB", RMBH, Ib, XX },
694 /* b8 */
695 { "movS", RMeAX, Iv64, XX },
696 { "movS", RMeCX, Iv64, XX },
697 { "movS", RMeDX, Iv64, XX },
698 { "movS", RMeBX, Iv64, XX },
699 { "movS", RMeSP, Iv64, XX },
700 { "movS", RMeBP, Iv64, XX },
701 { "movS", RMeSI, Iv64, XX },
702 { "movS", RMeDI, Iv64, XX },
703 /* c0 */
704 { GRP2b },
705 { GRP2S },
706 { "retT", Iw, XX, XX },
707 { "retT", XX, XX, XX },
708 { "les{S|}", Gv, Mp, XX },
709 { "ldsS", Gv, Mp, XX },
710 { "movA", Eb, Ib, XX },
711 { "movQ", Ev, Iv, XX },
712 /* c8 */
713 { "enterT", Iw, Ib, XX },
714 { "leaveT", XX, XX, XX },
715 { "lretP", Iw, XX, XX },
716 { "lretP", XX, XX, XX },
717 { "int3", XX, XX, XX },
718 { "int", Ib, XX, XX },
719 { "into{|}", XX, XX, XX },
720 { "iretP", XX, XX, XX },
721 /* d0 */
722 { GRP2b_one },
723 { GRP2S_one },
724 { GRP2b_cl },
725 { GRP2S_cl },
726 { "aam{|}", sIb, XX, XX },
727 { "aad{|}", sIb, XX, XX },
728 { "(bad)", XX, XX, XX },
729 { "xlat", DSBX, XX, XX },
730 /* d8 */
731 { FLOAT },
732 { FLOAT },
733 { FLOAT },
734 { FLOAT },
735 { FLOAT },
736 { FLOAT },
737 { FLOAT },
738 { FLOAT },
739 /* e0 */
740 { "loopneFH", Jb, XX, loop_jcxz_flag },
741 { "loopeFH", Jb, XX, loop_jcxz_flag },
742 { "loopFH", Jb, XX, loop_jcxz_flag },
743 { "jEcxzH", Jb, XX, loop_jcxz_flag },
744 { "inB", AL, Ib, XX },
745 { "inS", eAX, Ib, XX },
746 { "outB", Ib, AL, XX },
747 { "outS", Ib, eAX, XX },
748 /* e8 */
749 { "callT", Jv, XX, XX },
750 { "jmpT", Jv, XX, XX },
751 { "Jjmp{T|}", Ap, XX, XX },
752 { "jmp", Jb, XX, XX },
753 { "inB", AL, indirDX, XX },
754 { "inS", eAX, indirDX, XX },
755 { "outB", indirDX, AL, XX },
756 { "outS", indirDX, eAX, XX },
757 /* f0 */
758 { "(bad)", XX, XX, XX }, /* lock prefix */
759 { "icebp", XX, XX, XX },
760 { "(bad)", XX, XX, XX }, /* repne */
761 { "(bad)", XX, XX, XX }, /* repz */
762 { "hlt", XX, XX, XX },
763 { "cmc", XX, XX, XX },
764 { GRP3b },
765 { GRP3S },
766 /* f8 */
767 { "clc", XX, XX, XX },
768 { "stc", XX, XX, XX },
769 { "cli", XX, XX, XX },
770 { "sti", XX, XX, XX },
771 { "cld", XX, XX, XX },
772 { "std", XX, XX, XX },
773 { GRP4 },
774 { GRP5 },
775};
776
777static const struct dis386 dis386_twobyte[] = {
778 /* 00 */
779 { GRP6 },
780 { GRP7 },
781 { "larS", Gv, Ew, XX },
782 { "lslS", Gv, Ew, XX },
783 { "(bad)", XX, XX, XX },
784 { "syscall", XX, XX, XX },
785 { "clts", XX, XX, XX },
786 { "sysretP", XX, XX, XX },
787 /* 08 */
788 { "invd", XX, XX, XX },
789 { "wbinvd", XX, XX, XX },
790 { "(bad)", XX, XX, XX },
791 { "ud2a", XX, XX, XX },
792 { "(bad)", XX, XX, XX },
793 { GRPAMD },
794 { "femms", XX, XX, XX },
795 { "", MX, EM, OPSUF }, /* See OP_3DNowSuffix. */
796 /* 10 */
797 { PREGRP8 },
798 { PREGRP9 },
799 { PREGRP30 },
800 { "movlpX", EX, XM, SIMD_Fixup, 'h' },
801 { "unpcklpX", XM, EX, XX },
802 { "unpckhpX", XM, EX, XX },
803 { PREGRP31 },
804 { "movhpX", EX, XM, SIMD_Fixup, 'l' },
805 /* 18 */
806 { GRP14 },
807 { "(bad)", XX, XX, XX },
808 { "(bad)", XX, XX, XX },
809 { "(bad)", XX, XX, XX },
810 { "(bad)", XX, XX, XX },
811 { "(bad)", XX, XX, XX },
812 { "(bad)", XX, XX, XX },
813 { "(bad)", XX, XX, XX },
814 /* 20 */
815 { "movL", Rm, Cm, XX },
816 { "movL", Rm, Dm, XX },
817 { "movL", Cm, Rm, XX },
818 { "movL", Dm, Rm, XX },
819 { "movL", Rd, Td, XX },
820 { "(bad)", XX, XX, XX },
821 { "movL", Td, Rd, XX },
822 { "(bad)", XX, XX, XX },
823 /* 28 */
824 { "movapX", XM, EX, XX },
825 { "movapX", EX, XM, XX },
826 { PREGRP2 },
827 { "movntpX", Ev, XM, XX },
828 { PREGRP4 },
829 { PREGRP3 },
830 { "ucomisX", XM,EX, XX },
831 { "comisX", XM,EX, XX },
832 /* 30 */
833 { "wrmsr", XX, XX, XX },
834 { "rdtsc", XX, XX, XX },
835 { "rdmsr", XX, XX, XX },
836 { "rdpmc", XX, XX, XX },
837 { "sysenter", XX, XX, XX },
838 { "sysexit", XX, XX, XX },
839 { "(bad)", XX, XX, XX },
840 { "(bad)", XX, XX, XX },
841 /* 38 */
842 { "(bad)", XX, XX, XX },
843 { "(bad)", XX, XX, XX },
844 { "(bad)", XX, XX, XX },
845 { "(bad)", XX, XX, XX },
846 { "(bad)", XX, XX, XX },
847 { "(bad)", XX, XX, XX },
848 { "(bad)", XX, XX, XX },
849 { "(bad)", XX, XX, XX },
850 /* 40 */
851 { "cmovo", Gv, Ev, XX },
852 { "cmovno", Gv, Ev, XX },
853 { "cmovb", Gv, Ev, XX },
854 { "cmovae", Gv, Ev, XX },
855 { "cmove", Gv, Ev, XX },
856 { "cmovne", Gv, Ev, XX },
857 { "cmovbe", Gv, Ev, XX },
858 { "cmova", Gv, Ev, XX },
859 /* 48 */
860 { "cmovs", Gv, Ev, XX },
861 { "cmovns", Gv, Ev, XX },
862 { "cmovp", Gv, Ev, XX },
863 { "cmovnp", Gv, Ev, XX },
864 { "cmovl", Gv, Ev, XX },
865 { "cmovge", Gv, Ev, XX },
866 { "cmovle", Gv, Ev, XX },
867 { "cmovg", Gv, Ev, XX },
868 /* 50 */
869 { "movmskpX", Gdq, XS, XX },
870 { PREGRP13 },
871 { PREGRP12 },
872 { PREGRP11 },
873 { "andpX", XM, EX, XX },
874 { "andnpX", XM, EX, XX },
875 { "orpX", XM, EX, XX },
876 { "xorpX", XM, EX, XX },
877 /* 58 */
878 { PREGRP0 },
879 { PREGRP10 },
880 { PREGRP17 },
881 { PREGRP16 },
882 { PREGRP14 },
883 { PREGRP7 },
884 { PREGRP5 },
885 { PREGRP6 },
886 /* 60 */
887 { "punpcklbw", MX, EM, XX },
888 { "punpcklwd", MX, EM, XX },
889 { "punpckldq", MX, EM, XX },
890 { "packsswb", MX, EM, XX },
891 { "pcmpgtb", MX, EM, XX },
892 { "pcmpgtw", MX, EM, XX },
893 { "pcmpgtd", MX, EM, XX },
894 { "packuswb", MX, EM, XX },
895 /* 68 */
896 { "punpckhbw", MX, EM, XX },
897 { "punpckhwd", MX, EM, XX },
898 { "punpckhdq", MX, EM, XX },
899 { "packssdw", MX, EM, XX },
900 { PREGRP26 },
901 { PREGRP24 },
902 { "movd", MX, Edq, XX },
903 { PREGRP19 },
904 /* 70 */
905 { PREGRP22 },
906 { GRP10 },
907 { GRP11 },
908 { GRP12 },
909 { "pcmpeqb", MX, EM, XX },
910 { "pcmpeqw", MX, EM, XX },
911 { "pcmpeqd", MX, EM, XX },
912 { "emms", XX, XX, XX },
913 /* 78 */
914 { "(bad)", XX, XX, XX },
915 { "(bad)", XX, XX, XX },
916 { "(bad)", XX, XX, XX },
917 { "(bad)", XX, XX, XX },
918 { PREGRP28 },
919 { PREGRP29 },
920 { PREGRP23 },
921 { PREGRP20 },
922 /* 80 */
923 { "joH", Jv, XX, cond_jump_flag },
924 { "jnoH", Jv, XX, cond_jump_flag },
925 { "jbH", Jv, XX, cond_jump_flag },
926 { "jaeH", Jv, XX, cond_jump_flag },
927 { "jeH", Jv, XX, cond_jump_flag },
928 { "jneH", Jv, XX, cond_jump_flag },
929 { "jbeH", Jv, XX, cond_jump_flag },
930 { "jaH", Jv, XX, cond_jump_flag },
931 /* 88 */
932 { "jsH", Jv, XX, cond_jump_flag },
933 { "jnsH", Jv, XX, cond_jump_flag },
934 { "jpH", Jv, XX, cond_jump_flag },
935 { "jnpH", Jv, XX, cond_jump_flag },
936 { "jlH", Jv, XX, cond_jump_flag },
937 { "jgeH", Jv, XX, cond_jump_flag },
938 { "jleH", Jv, XX, cond_jump_flag },
939 { "jgH", Jv, XX, cond_jump_flag },
940 /* 90 */
941 { "seto", Eb, XX, XX },
942 { "setno", Eb, XX, XX },
943 { "setb", Eb, XX, XX },
944 { "setae", Eb, XX, XX },
945 { "sete", Eb, XX, XX },
946 { "setne", Eb, XX, XX },
947 { "setbe", Eb, XX, XX },
948 { "seta", Eb, XX, XX },
949 /* 98 */
950 { "sets", Eb, XX, XX },
951 { "setns", Eb, XX, XX },
952 { "setp", Eb, XX, XX },
953 { "setnp", Eb, XX, XX },
954 { "setl", Eb, XX, XX },
955 { "setge", Eb, XX, XX },
956 { "setle", Eb, XX, XX },
957 { "setg", Eb, XX, XX },
958 /* a0 */
959 { "pushT", fs, XX, XX },
960 { "popT", fs, XX, XX },
961 { "cpuid", XX, XX, XX },
962 { "btS", Ev, Gv, XX },
963 { "shldS", Ev, Gv, Ib },
964 { "shldS", Ev, Gv, CL },
965 { GRPPADLCK2 },
966 { GRPPADLCK1 },
967 /* a8 */
968 { "pushT", gs, XX, XX },
969 { "popT", gs, XX, XX },
970 { "rsm", XX, XX, XX },
971 { "btsS", Ev, Gv, XX },
972 { "shrdS", Ev, Gv, Ib },
973 { "shrdS", Ev, Gv, CL },
974 { GRP13 },
975 { "imulS", Gv, Ev, XX },
976 /* b0 */
977 { "cmpxchgB", Eb, Gb, XX },
978 { "cmpxchgS", Ev, Gv, XX },
979 { "lssS", Gv, Mp, XX },
980 { "btrS", Ev, Gv, XX },
981 { "lfsS", Gv, Mp, XX },
982 { "lgsS", Gv, Mp, XX },
983 { "movz{bR|x|bR|x}", Gv, Eb, XX },
984 { "movz{wR|x|wR|x}", Gv, Ew, XX }, /* yes, there really is movzww ! */
985 /* b8 */
986 { "(bad)", XX, XX, XX },
987 { "ud2b", XX, XX, XX },
988 { GRP8 },
989 { "btcS", Ev, Gv, XX },
990 { "bsfS", Gv, Ev, XX },
991 { "bsrS", Gv, Ev, XX },
992 { "movs{bR|x|bR|x}", Gv, Eb, XX },
993 { "movs{wR|x|wR|x}", Gv, Ew, XX }, /* yes, there really is movsww ! */
994 /* c0 */
995 { "xaddB", Eb, Gb, XX },
996 { "xaddS", Ev, Gv, XX },
997 { PREGRP1 },
998 { "movntiS", Ev, Gv, XX },
999 { "pinsrw", MX, Edqw, Ib },
1000 { "pextrw", Gdq, MS, Ib },
1001 { "shufpX", XM, EX, Ib },
1002 { GRP9 },
1003 /* c8 */
1004 { "bswap", RMeAX, XX, XX },
1005 { "bswap", RMeCX, XX, XX },
1006 { "bswap", RMeDX, XX, XX },
1007 { "bswap", RMeBX, XX, XX },
1008 { "bswap", RMeSP, XX, XX },
1009 { "bswap", RMeBP, XX, XX },
1010 { "bswap", RMeSI, XX, XX },
1011 { "bswap", RMeDI, XX, XX },
1012 /* d0 */
1013 { PREGRP27 },
1014 { "psrlw", MX, EM, XX },
1015 { "psrld", MX, EM, XX },
1016 { "psrlq", MX, EM, XX },
1017 { "paddq", MX, EM, XX },
1018 { "pmullw", MX, EM, XX },
1019 { PREGRP21 },
1020 { "pmovmskb", Gdq, MS, XX },
1021 /* d8 */
1022 { "psubusb", MX, EM, XX },
1023 { "psubusw", MX, EM, XX },
1024 { "pminub", MX, EM, XX },
1025 { "pand", MX, EM, XX },
1026 { "paddusb", MX, EM, XX },
1027 { "paddusw", MX, EM, XX },
1028 { "pmaxub", MX, EM, XX },
1029 { "pandn", MX, EM, XX },
1030 /* e0 */
1031 { "pavgb", MX, EM, XX },
1032 { "psraw", MX, EM, XX },
1033 { "psrad", MX, EM, XX },
1034 { "pavgw", MX, EM, XX },
1035 { "pmulhuw", MX, EM, XX },
1036 { "pmulhw", MX, EM, XX },
1037 { PREGRP15 },
1038 { PREGRP25 },
1039 /* e8 */
1040 { "psubsb", MX, EM, XX },
1041 { "psubsw", MX, EM, XX },
1042 { "pminsw", MX, EM, XX },
1043 { "por", MX, EM, XX },
1044 { "paddsb", MX, EM, XX },
1045 { "paddsw", MX, EM, XX },
1046 { "pmaxsw", MX, EM, XX },
1047 { "pxor", MX, EM, XX },
1048 /* f0 */
1049 { PREGRP32 },
1050 { "psllw", MX, EM, XX },
1051 { "pslld", MX, EM, XX },
1052 { "psllq", MX, EM, XX },
1053 { "pmuludq", MX, EM, XX },
1054 { "pmaddwd", MX, EM, XX },
1055 { "psadbw", MX, EM, XX },
1056 { PREGRP18 },
1057 /* f8 */
1058 { "psubb", MX, EM, XX },
1059 { "psubw", MX, EM, XX },
1060 { "psubd", MX, EM, XX },
1061 { "psubq", MX, EM, XX },
1062 { "paddb", MX, EM, XX },
1063 { "paddw", MX, EM, XX },
1064 { "paddd", MX, EM, XX },
1065 { "(bad)", XX, XX, XX }
1066};
1067
1068static const unsigned char onebyte_has_modrm[256] = {
1069 /* 0 1 2 3 4 5 6 7 8 9 a b c d e f */
1070 /* ------------------------------- */
1071 /* 00 */ 1,1,1,1,0,0,0,0,1,1,1,1,0,0,0,0, /* 00 */
1072 /* 10 */ 1,1,1,1,0,0,0,0,1,1,1,1,0,0,0,0, /* 10 */
1073 /* 20 */ 1,1,1,1,0,0,0,0,1,1,1,1,0,0,0,0, /* 20 */
1074 /* 30 */ 1,1,1,1,0,0,0,0,1,1,1,1,0,0,0,0, /* 30 */
1075 /* 40 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /* 40 */
1076 /* 50 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /* 50 */
1077 /* 60 */ 0,0,1,1,0,0,0,0,0,1,0,1,0,0,0,0, /* 60 */
1078 /* 70 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /* 70 */
1079 /* 80 */ 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, /* 80 */
1080 /* 90 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /* 90 */
1081 /* a0 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /* a0 */
1082 /* b0 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /* b0 */
1083 /* c0 */ 1,1,0,0,1,1,1,1,0,0,0,0,0,0,0,0, /* c0 */
1084 /* d0 */ 1,1,1,1,0,0,0,0,1,1,1,1,1,1,1,1, /* d0 */
1085 /* e0 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /* e0 */
1086 /* f0 */ 0,0,0,0,0,0,1,1,0,0,0,0,0,0,1,1 /* f0 */
1087 /* ------------------------------- */
1088 /* 0 1 2 3 4 5 6 7 8 9 a b c d e f */
1089};
1090
1091static const unsigned char twobyte_has_modrm[256] = {
1092 /* 0 1 2 3 4 5 6 7 8 9 a b c d e f */
1093 /* ------------------------------- */
1094 /* 00 */ 1,1,1,1,0,0,0,0,0,0,0,0,0,1,0,1, /* 0f */
1095 /* 10 */ 1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0, /* 1f */
1096 /* 20 */ 1,1,1,1,1,0,1,0,1,1,1,1,1,1,1,1, /* 2f */
1097 /* 30 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /* 3f */
1098 /* 40 */ 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, /* 4f */
1099 /* 50 */ 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, /* 5f */
1100 /* 60 */ 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, /* 6f */
1101 /* 70 */ 1,1,1,1,1,1,1,0,0,0,0,0,1,1,1,1, /* 7f */
1102 /* 80 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /* 8f */
1103 /* 90 */ 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, /* 9f */
1104 /* a0 */ 0,0,0,1,1,1,1,1,0,0,0,1,1,1,1,1, /* af */
1105 /* b0 */ 1,1,1,1,1,1,1,1,0,0,1,1,1,1,1,1, /* bf */
1106 /* c0 */ 1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0, /* cf */
1107 /* d0 */ 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, /* df */
1108 /* e0 */ 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, /* ef */
1109 /* f0 */ 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,0 /* ff */
1110 /* ------------------------------- */
1111 /* 0 1 2 3 4 5 6 7 8 9 a b c d e f */
1112};
1113
1114static const unsigned char twobyte_uses_SSE_prefix[256] = {
1115 /* 0 1 2 3 4 5 6 7 8 9 a b c d e f */
1116 /* ------------------------------- */
1117 /* 00 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /* 0f */
1118 /* 10 */ 1,1,1,0,0,0,1,0,0,0,0,0,0,0,0,0, /* 1f */
1119 /* 20 */ 0,0,0,0,0,0,0,0,0,0,1,0,1,1,0,0, /* 2f */
1120 /* 30 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /* 3f */
1121 /* 40 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /* 4f */
1122 /* 50 */ 0,1,1,1,0,0,0,0,1,1,1,1,1,1,1,1, /* 5f */
1123 /* 60 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1, /* 6f */
1124 /* 70 */ 1,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1, /* 7f */
1125 /* 80 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /* 8f */
1126 /* 90 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /* 9f */
1127 /* a0 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /* af */
1128 /* b0 */ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /* bf */
1129 /* c0 */ 0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0, /* cf */
1130 /* d0 */ 1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0, /* df */
1131 /* e0 */ 0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0, /* ef */
1132 /* f0 */ 1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0 /* ff */
1133 /* ------------------------------- */
1134 /* 0 1 2 3 4 5 6 7 8 9 a b c d e f */
1135};
1136
1137static char obuf[100];
1138static char *obufp;
1139static char scratchbuf[100];
1140static unsigned char *start_codep;
1141static unsigned char *insn_codep;
1142static unsigned char *codep;
1143static disassemble_info *the_info;
1144static int mod;
1145static int rm;
1146static int reg;
1147static unsigned char need_modrm;
1148
1149/* If we are accessing mod/rm/reg without need_modrm set, then the
1150 values are stale. Hitting this abort likely indicates that you
1151 need to update onebyte_has_modrm or twobyte_has_modrm. */
1152#define MODRM_CHECK if (!need_modrm) abort ()
1153
1154static const char **names64;
1155static const char **names32;
1156static const char **names16;
1157static const char **names8;
1158static const char **names8rex;
1159static const char **names_seg;
1160static const char **index16;
1161
1162static const char *intel_names64[] = {
1163 "rax", "rcx", "rdx", "rbx", "rsp", "rbp", "rsi", "rdi",
1164 "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15"
1165};
1166static const char *intel_names32[] = {
1167 "eax", "ecx", "edx", "ebx", "esp", "ebp", "esi", "edi",
1168 "r8d", "r9d", "r10d", "r11d", "r12d", "r13d", "r14d", "r15d"
1169};
1170static const char *intel_names16[] = {
1171 "ax", "cx", "dx", "bx", "sp", "bp", "si", "di",
1172 "r8w", "r9w", "r10w", "r11w", "r12w", "r13w", "r14w", "r15w"
1173};
1174static const char *intel_names8[] = {
1175 "al", "cl", "dl", "bl", "ah", "ch", "dh", "bh",
1176};
1177static const char *intel_names8rex[] = {
1178 "al", "cl", "dl", "bl", "spl", "bpl", "sil", "dil",
1179 "r8b", "r9b", "r10b", "r11b", "r12b", "r13b", "r14b", "r15b"
1180};
1181static const char *intel_names_seg[] = {
1182 "es", "cs", "ss", "ds", "fs", "gs", "?", "?",
1183};
1184static const char *intel_index16[] = {
1185 "bx+si", "bx+di", "bp+si", "bp+di", "si", "di", "bp", "bx"
1186};
1187
1188static const char *att_names64[] = {
1189 "%rax", "%rcx", "%rdx", "%rbx", "%rsp", "%rbp", "%rsi", "%rdi",
1190 "%r8", "%r9", "%r10", "%r11", "%r12", "%r13", "%r14", "%r15"
1191};
1192static const char *att_names32[] = {
1193 "%eax", "%ecx", "%edx", "%ebx", "%esp", "%ebp", "%esi", "%edi",
1194 "%r8d", "%r9d", "%r10d", "%r11d", "%r12d", "%r13d", "%r14d", "%r15d"
1195};
1196static const char *att_names16[] = {
1197 "%ax", "%cx", "%dx", "%bx", "%sp", "%bp", "%si", "%di",
1198 "%r8w", "%r9w", "%r10w", "%r11w", "%r12w", "%r13w", "%r14w", "%r15w"
1199};
1200static const char *att_names8[] = {
1201 "%al", "%cl", "%dl", "%bl", "%ah", "%ch", "%dh", "%bh",
1202};
1203static const char *att_names8rex[] = {
1204 "%al", "%cl", "%dl", "%bl", "%spl", "%bpl", "%sil", "%dil",
1205 "%r8b", "%r9b", "%r10b", "%r11b", "%r12b", "%r13b", "%r14b", "%r15b"
1206};
1207static const char *att_names_seg[] = {
1208 "%es", "%cs", "%ss", "%ds", "%fs", "%gs", "%?", "%?",
1209};
1210static const char *att_index16[] = {
1211 "%bx,%si", "%bx,%di", "%bp,%si", "%bp,%di", "%si", "%di", "%bp", "%bx"
1212};
1213
1214static const struct dis386 grps[][8] = {
1215 /* GRP1b */
1216 {
1217 { "addA", Eb, Ib, XX },
1218 { "orA", Eb, Ib, XX },
1219 { "adcA", Eb, Ib, XX },
1220 { "sbbA", Eb, Ib, XX },
1221 { "andA", Eb, Ib, XX },
1222 { "subA", Eb, Ib, XX },
1223 { "xorA", Eb, Ib, XX },
1224 { "cmpA", Eb, Ib, XX }
1225 },
1226 /* GRP1S */
1227 {
1228 { "addQ", Ev, Iv, XX },
1229 { "orQ", Ev, Iv, XX },
1230 { "adcQ", Ev, Iv, XX },
1231 { "sbbQ", Ev, Iv, XX },
1232 { "andQ", Ev, Iv, XX },
1233 { "subQ", Ev, Iv, XX },
1234 { "xorQ", Ev, Iv, XX },
1235 { "cmpQ", Ev, Iv, XX }
1236 },
1237 /* GRP1Ss */
1238 {
1239 { "addQ", Ev, sIb, XX },
1240 { "orQ", Ev, sIb, XX },
1241 { "adcQ", Ev, sIb, XX },
1242 { "sbbQ", Ev, sIb, XX },
1243 { "andQ", Ev, sIb, XX },
1244 { "subQ", Ev, sIb, XX },
1245 { "xorQ", Ev, sIb, XX },
1246 { "cmpQ", Ev, sIb, XX }
1247 },
1248 /* GRP2b */
1249 {
1250 { "rolA", Eb, Ib, XX },
1251 { "rorA", Eb, Ib, XX },
1252 { "rclA", Eb, Ib, XX },
1253 { "rcrA", Eb, Ib, XX },
1254 { "shlA", Eb, Ib, XX },
1255 { "shrA", Eb, Ib, XX },
1256 { "(bad)", XX, XX, XX },
1257 { "sarA", Eb, Ib, XX },
1258 },
1259 /* GRP2S */
1260 {
1261 { "rolQ", Ev, Ib, XX },
1262 { "rorQ", Ev, Ib, XX },
1263 { "rclQ", Ev, Ib, XX },
1264 { "rcrQ", Ev, Ib, XX },
1265 { "shlQ", Ev, Ib, XX },
1266 { "shrQ", Ev, Ib, XX },
1267 { "(bad)", XX, XX, XX },
1268 { "sarQ", Ev, Ib, XX },
1269 },
1270 /* GRP2b_one */
1271 {
1272 { "rolA", Eb, I1, XX },
1273 { "rorA", Eb, I1, XX },
1274 { "rclA", Eb, I1, XX },
1275 { "rcrA", Eb, I1, XX },
1276 { "shlA", Eb, I1, XX },
1277 { "shrA", Eb, I1, XX },
1278 { "(bad)", XX, XX, XX },
1279 { "sarA", Eb, I1, XX },
1280 },
1281 /* GRP2S_one */
1282 {
1283 { "rolQ", Ev, I1, XX },
1284 { "rorQ", Ev, I1, XX },
1285 { "rclQ", Ev, I1, XX },
1286 { "rcrQ", Ev, I1, XX },
1287 { "shlQ", Ev, I1, XX },
1288 { "shrQ", Ev, I1, XX },
1289 { "(bad)", XX, XX, XX},
1290 { "sarQ", Ev, I1, XX },
1291 },
1292 /* GRP2b_cl */
1293 {
1294 { "rolA", Eb, CL, XX },
1295 { "rorA", Eb, CL, XX },
1296 { "rclA", Eb, CL, XX },
1297 { "rcrA", Eb, CL, XX },
1298 { "shlA", Eb, CL, XX },
1299 { "shrA", Eb, CL, XX },
1300 { "(bad)", XX, XX, XX },
1301 { "sarA", Eb, CL, XX },
1302 },
1303 /* GRP2S_cl */
1304 {
1305 { "rolQ", Ev, CL, XX },
1306 { "rorQ", Ev, CL, XX },
1307 { "rclQ", Ev, CL, XX },
1308 { "rcrQ", Ev, CL, XX },
1309 { "shlQ", Ev, CL, XX },
1310 { "shrQ", Ev, CL, XX },
1311 { "(bad)", XX, XX, XX },
1312 { "sarQ", Ev, CL, XX }
1313 },
1314 /* GRP3b */
1315 {
1316 { "testA", Eb, Ib, XX },
1317 { "(bad)", Eb, XX, XX },
1318 { "notA", Eb, XX, XX },
1319 { "negA", Eb, XX, XX },
1320 { "mulA", Eb, XX, XX }, /* Don't print the implicit %al register, */
1321 { "imulA", Eb, XX, XX }, /* to distinguish these opcodes from other */
1322 { "divA", Eb, XX, XX }, /* mul/imul opcodes. Do the same for div */
1323 { "idivA", Eb, XX, XX } /* and idiv for consistency. */
1324 },
1325 /* GRP3S */
1326 {
1327 { "testQ", Ev, Iv, XX },
1328 { "(bad)", XX, XX, XX },
1329 { "notQ", Ev, XX, XX },
1330 { "negQ", Ev, XX, XX },
1331 { "mulQ", Ev, XX, XX }, /* Don't print the implicit register. */
1332 { "imulQ", Ev, XX, XX },
1333 { "divQ", Ev, XX, XX },
1334 { "idivQ", Ev, XX, XX },
1335 },
1336 /* GRP4 */
1337 {
1338 { "incA", Eb, XX, XX },
1339 { "decA", Eb, XX, XX },
1340 { "(bad)", XX, XX, XX },
1341 { "(bad)", XX, XX, XX },
1342 { "(bad)", XX, XX, XX },
1343 { "(bad)", XX, XX, XX },
1344 { "(bad)", XX, XX, XX },
1345 { "(bad)", XX, XX, XX },
1346 },
1347 /* GRP5 */
1348 {
1349 { "incQ", Ev, XX, XX },
1350 { "decQ", Ev, XX, XX },
1351 { "callT", indirEv, XX, XX },
1352 { "JcallT", indirEp, XX, XX },
1353 { "jmpT", indirEv, XX, XX },
1354 { "JjmpT", indirEp, XX, XX },
1355 { "pushU", Ev, XX, XX },
1356 { "(bad)", XX, XX, XX },
1357 },
1358 /* GRP6 */
1359 {
1360 { "sldtQ", Ev, XX, XX },
1361 { "strQ", Ev, XX, XX },
1362 { "lldt", Ew, XX, XX },
1363 { "ltr", Ew, XX, XX },
1364 { "verr", Ew, XX, XX },
1365 { "verw", Ew, XX, XX },
1366 { "(bad)", XX, XX, XX },
1367 { "(bad)", XX, XX, XX }
1368 },
1369 /* GRP7 */
1370 {
1371 { "sgdtIQ", M, XX, XX },
1372 { "sidtIQ", PNI_Fixup, 0, XX, XX },
1373 { "lgdt{Q|Q||}", M, XX, XX },
1374 { "lidt{Q|Q||}", M, XX, XX },
1375 { "smswQ", Ev, XX, XX },
1376 { "(bad)", XX, XX, XX },
1377 { "lmsw", Ew, XX, XX },
1378 { "invlpg", INVLPG_Fixup, w_mode, XX, XX },
1379 },
1380 /* GRP8 */
1381 {
1382 { "(bad)", XX, XX, XX },
1383 { "(bad)", XX, XX, XX },
1384 { "(bad)", XX, XX, XX },
1385 { "(bad)", XX, XX, XX },
1386 { "btQ", Ev, Ib, XX },
1387 { "btsQ", Ev, Ib, XX },
1388 { "btrQ", Ev, Ib, XX },
1389 { "btcQ", Ev, Ib, XX },
1390 },
1391 /* GRP9 */
1392 {
1393 { "(bad)", XX, XX, XX },
1394 { "cmpxchg8b", Eq, XX, XX },
1395 { "(bad)", XX, XX, XX },
1396 { "(bad)", XX, XX, XX },
1397 { "(bad)", XX, XX, XX },
1398 { "(bad)", XX, XX, XX },
1399 { "(bad)", XX, XX, XX },
1400 { "(bad)", XX, XX, XX },
1401 },
1402 /* GRP10 */
1403 {
1404 { "(bad)", XX, XX, XX },
1405 { "(bad)", XX, XX, XX },
1406 { "psrlw", MS, Ib, XX },
1407 { "(bad)", XX, XX, XX },
1408 { "psraw", MS, Ib, XX },
1409 { "(bad)", XX, XX, XX },
1410 { "psllw", MS, Ib, XX },
1411 { "(bad)", XX, XX, XX },
1412 },
1413 /* GRP11 */
1414 {
1415 { "(bad)", XX, XX, XX },
1416 { "(bad)", XX, XX, XX },
1417 { "psrld", MS, Ib, XX },
1418 { "(bad)", XX, XX, XX },
1419 { "psrad", MS, Ib, XX },
1420 { "(bad)", XX, XX, XX },
1421 { "pslld", MS, Ib, XX },
1422 { "(bad)", XX, XX, XX },
1423 },
1424 /* GRP12 */
1425 {
1426 { "(bad)", XX, XX, XX },
1427 { "(bad)", XX, XX, XX },
1428 { "psrlq", MS, Ib, XX },
1429 { "psrldq", MS, Ib, XX },
1430 { "(bad)", XX, XX, XX },
1431 { "(bad)", XX, XX, XX },
1432 { "psllq", MS, Ib, XX },
1433 { "pslldq", MS, Ib, XX },
1434 },
1435 /* GRP13 */
1436 {
1437 { "fxsave", Ev, XX, XX },
1438 { "fxrstor", Ev, XX, XX },
1439 { "ldmxcsr", Ev, XX, XX },
1440 { "stmxcsr", Ev, XX, XX },
1441 { "(bad)", XX, XX, XX },
1442 { "lfence", OP_0fae, 0, XX, XX },
1443 { "mfence", OP_0fae, 0, XX, XX },
1444 { "clflush", OP_0fae, 0, XX, XX },
1445 },
1446 /* GRP14 */
1447 {
1448 { "prefetchnta", Ev, XX, XX },
1449 { "prefetcht0", Ev, XX, XX },
1450 { "prefetcht1", Ev, XX, XX },
1451 { "prefetcht2", Ev, XX, XX },
1452 { "(bad)", XX, XX, XX },
1453 { "(bad)", XX, XX, XX },
1454 { "(bad)", XX, XX, XX },
1455 { "(bad)", XX, XX, XX },
1456 },
1457 /* GRPAMD */
1458 {
1459 { "prefetch", Eb, XX, XX },
1460 { "prefetchw", Eb, XX, XX },
1461 { "(bad)", XX, XX, XX },
1462 { "(bad)", XX, XX, XX },
1463 { "(bad)", XX, XX, XX },
1464 { "(bad)", XX, XX, XX },
1465 { "(bad)", XX, XX, XX },
1466 { "(bad)", XX, XX, XX },
1467 },
1468 /* GRPPADLCK1 */
1469 {
1470 { "xstorerng", OP_0f07, 0, XX, XX },
1471 { "xcryptecb", OP_0f07, 0, XX, XX },
1472 { "xcryptcbc", OP_0f07, 0, XX, XX },
1473 { "(bad)", OP_0f07, 0, XX, XX },
1474 { "xcryptcfb", OP_0f07, 0, XX, XX },
1475 { "xcryptofb", OP_0f07, 0, XX, XX },
1476 { "(bad)", OP_0f07, 0, XX, XX },
1477 { "(bad)", OP_0f07, 0, XX, XX },
1478 },
1479 /* GRPPADLCK2 */
1480 {
1481 { "montmul", OP_0f07, 0, XX, XX },
1482 { "xsha1", OP_0f07, 0, XX, XX },
1483 { "xsha256", OP_0f07, 0, XX, XX },
1484 { "(bad)", OP_0f07, 0, XX, XX },
1485 { "(bad)", OP_0f07, 0, XX, XX },
1486 { "(bad)", OP_0f07, 0, XX, XX },
1487 { "(bad)", OP_0f07, 0, XX, XX },
1488 { "(bad)", OP_0f07, 0, XX, XX },
1489 }
1490};
1491
1492static const struct dis386 prefix_user_table[][4] = {
1493 /* PREGRP0 */
1494 {
1495 { "addps", XM, EX, XX },
1496 { "addss", XM, EX, XX },
1497 { "addpd", XM, EX, XX },
1498 { "addsd", XM, EX, XX },
1499 },
1500 /* PREGRP1 */
1501 {
1502 { "", XM, EX, OPSIMD }, /* See OP_SIMD_SUFFIX. */
1503 { "", XM, EX, OPSIMD },
1504 { "", XM, EX, OPSIMD },
1505 { "", XM, EX, OPSIMD },
1506 },
1507 /* PREGRP2 */
1508 {
1509 { "cvtpi2ps", XM, EM, XX },
1510 { "cvtsi2ssY", XM, Ev, XX },
1511 { "cvtpi2pd", XM, EM, XX },
1512 { "cvtsi2sdY", XM, Ev, XX },
1513 },
1514 /* PREGRP3 */
1515 {
1516 { "cvtps2pi", MX, EX, XX },
1517 { "cvtss2siY", Gv, EX, XX },
1518 { "cvtpd2pi", MX, EX, XX },
1519 { "cvtsd2siY", Gv, EX, XX },
1520 },
1521 /* PREGRP4 */
1522 {
1523 { "cvttps2pi", MX, EX, XX },
1524 { "cvttss2siY", Gv, EX, XX },
1525 { "cvttpd2pi", MX, EX, XX },
1526 { "cvttsd2siY", Gv, EX, XX },
1527 },
1528 /* PREGRP5 */
1529 {
1530 { "divps", XM, EX, XX },
1531 { "divss", XM, EX, XX },
1532 { "divpd", XM, EX, XX },
1533 { "divsd", XM, EX, XX },
1534 },
1535 /* PREGRP6 */
1536 {
1537 { "maxps", XM, EX, XX },
1538 { "maxss", XM, EX, XX },
1539 { "maxpd", XM, EX, XX },
1540 { "maxsd", XM, EX, XX },
1541 },
1542 /* PREGRP7 */
1543 {
1544 { "minps", XM, EX, XX },
1545 { "minss", XM, EX, XX },
1546 { "minpd", XM, EX, XX },
1547 { "minsd", XM, EX, XX },
1548 },
1549 /* PREGRP8 */
1550 {
1551 { "movups", XM, EX, XX },
1552 { "movss", XM, EX, XX },
1553 { "movupd", XM, EX, XX },
1554 { "movsd", XM, EX, XX },
1555 },
1556 /* PREGRP9 */
1557 {
1558 { "movups", EX, XM, XX },
1559 { "movss", EX, XM, XX },
1560 { "movupd", EX, XM, XX },
1561 { "movsd", EX, XM, XX },
1562 },
1563 /* PREGRP10 */
1564 {
1565 { "mulps", XM, EX, XX },
1566 { "mulss", XM, EX, XX },
1567 { "mulpd", XM, EX, XX },
1568 { "mulsd", XM, EX, XX },
1569 },
1570 /* PREGRP11 */
1571 {
1572 { "rcpps", XM, EX, XX },
1573 { "rcpss", XM, EX, XX },
1574 { "(bad)", XM, EX, XX },
1575 { "(bad)", XM, EX, XX },
1576 },
1577 /* PREGRP12 */
1578 {
1579 { "rsqrtps", XM, EX, XX },
1580 { "rsqrtss", XM, EX, XX },
1581 { "(bad)", XM, EX, XX },
1582 { "(bad)", XM, EX, XX },
1583 },
1584 /* PREGRP13 */
1585 {
1586 { "sqrtps", XM, EX, XX },
1587 { "sqrtss", XM, EX, XX },
1588 { "sqrtpd", XM, EX, XX },
1589 { "sqrtsd", XM, EX, XX },
1590 },
1591 /* PREGRP14 */
1592 {
1593 { "subps", XM, EX, XX },
1594 { "subss", XM, EX, XX },
1595 { "subpd", XM, EX, XX },
1596 { "subsd", XM, EX, XX },
1597 },
1598 /* PREGRP15 */
1599 {
1600 { "(bad)", XM, EX, XX },
1601 { "cvtdq2pd", XM, EX, XX },
1602 { "cvttpd2dq", XM, EX, XX },
1603 { "cvtpd2dq", XM, EX, XX },
1604 },
1605 /* PREGRP16 */
1606 {
1607 { "cvtdq2ps", XM, EX, XX },
1608 { "cvttps2dq",XM, EX, XX },
1609 { "cvtps2dq",XM, EX, XX },
1610 { "(bad)", XM, EX, XX },
1611 },
1612 /* PREGRP17 */
1613 {
1614 { "cvtps2pd", XM, EX, XX },
1615 { "cvtss2sd", XM, EX, XX },
1616 { "cvtpd2ps", XM, EX, XX },
1617 { "cvtsd2ss", XM, EX, XX },
1618 },
1619 /* PREGRP18 */
1620 {
1621 { "maskmovq", MX, MS, XX },
1622 { "(bad)", XM, EX, XX },
1623 { "maskmovdqu", XM, EX, XX },
1624 { "(bad)", XM, EX, XX },
1625 },
1626 /* PREGRP19 */
1627 {
1628 { "movq", MX, EM, XX },
1629 { "movdqu", XM, EX, XX },
1630 { "movdqa", XM, EX, XX },
1631 { "(bad)", XM, EX, XX },
1632 },
1633 /* PREGRP20 */
1634 {
1635 { "movq", EM, MX, XX },
1636 { "movdqu", EX, XM, XX },
1637 { "movdqa", EX, XM, XX },
1638 { "(bad)", EX, XM, XX },
1639 },
1640 /* PREGRP21 */
1641 {
1642 { "(bad)", EX, XM, XX },
1643 { "movq2dq", XM, MS, XX },
1644 { "movq", EX, XM, XX },
1645 { "movdq2q", MX, XS, XX },
1646 },
1647 /* PREGRP22 */
1648 {
1649 { "pshufw", MX, EM, Ib },
1650 { "pshufhw", XM, EX, Ib },
1651 { "pshufd", XM, EX, Ib },
1652 { "pshuflw", XM, EX, Ib },
1653 },
1654 /* PREGRP23 */
1655 {
1656 { "movd", Edq, MX, XX },
1657 { "movq", XM, EX, XX },
1658 { "movd", Edq, XM, XX },
1659 { "(bad)", Ed, XM, XX },
1660 },
1661 /* PREGRP24 */
1662 {
1663 { "(bad)", MX, EX, XX },
1664 { "(bad)", XM, EX, XX },
1665 { "punpckhqdq", XM, EX, XX },
1666 { "(bad)", XM, EX, XX },
1667 },
1668 /* PREGRP25 */
1669 {
1670 { "movntq", EM, MX, XX },
1671 { "(bad)", EM, XM, XX },
1672 { "movntdq", EM, XM, XX },
1673 { "(bad)", EM, XM, XX },
1674 },
1675 /* PREGRP26 */
1676 {
1677 { "(bad)", MX, EX, XX },
1678 { "(bad)", XM, EX, XX },
1679 { "punpcklqdq", XM, EX, XX },
1680 { "(bad)", XM, EX, XX },
1681 },
1682 /* PREGRP27 */
1683 {
1684 { "(bad)", MX, EX, XX },
1685 { "(bad)", XM, EX, XX },
1686 { "addsubpd", XM, EX, XX },
1687 { "addsubps", XM, EX, XX },
1688 },
1689 /* PREGRP28 */
1690 {
1691 { "(bad)", MX, EX, XX },
1692 { "(bad)", XM, EX, XX },
1693 { "haddpd", XM, EX, XX },
1694 { "haddps", XM, EX, XX },
1695 },
1696 /* PREGRP29 */
1697 {
1698 { "(bad)", MX, EX, XX },
1699 { "(bad)", XM, EX, XX },
1700 { "hsubpd", XM, EX, XX },
1701 { "hsubps", XM, EX, XX },
1702 },
1703 /* PREGRP30 */
1704 {
1705 { "movlpX", XM, EX, SIMD_Fixup, 'h' }, /* really only 2 operands */
1706 { "movsldup", XM, EX, XX },
1707 { "movlpd", XM, EX, XX },
1708 { "movddup", XM, EX, XX },
1709 },
1710 /* PREGRP31 */
1711 {
1712 { "movhpX", XM, EX, SIMD_Fixup, 'l' },
1713 { "movshdup", XM, EX, XX },
1714 { "movhpd", XM, EX, XX },
1715 { "(bad)", XM, EX, XX },
1716 },
1717 /* PREGRP32 */
1718 {
1719 { "(bad)", XM, EX, XX },
1720 { "(bad)", XM, EX, XX },
1721 { "(bad)", XM, EX, XX },
1722 { "lddqu", XM, M, XX },
1723 },
1724};
1725
1726static const struct dis386 x86_64_table[][2] = {
1727 {
1728 { "arpl", Ew, Gw, XX },
1729 { "movs{||lq|xd}", Gv, Ed, XX },
1730 },
1731};
1732
1733#define INTERNAL_DISASSEMBLER_ERROR _("<internal disassembler error>")
1734
1735static void
1736ckprefix (void)
1737{
1738 int newrex;
1739 rex = 0;
1740 prefixes = 0;
1741 used_prefixes = 0;
1742 rex_used = 0;
1743 while (1)
1744 {
1745 FETCH_DATA (the_info, codep + 1);
1746 newrex = 0;
1747 switch (*codep)
1748 {
1749 /* REX prefixes family. */
1750 case 0x40:
1751 case 0x41:
1752 case 0x42:
1753 case 0x43:
1754 case 0x44:
1755 case 0x45:
1756 case 0x46:
1757 case 0x47:
1758 case 0x48:
1759 case 0x49:
1760 case 0x4a:
1761 case 0x4b:
1762 case 0x4c:
1763 case 0x4d:
1764 case 0x4e:
1765 case 0x4f:
1766 if (mode_64bit)
1767 newrex = *codep;
1768 else
1769 return;
1770 break;
1771 case 0xf3:
1772 prefixes |= PREFIX_REPZ;
1773 break;
1774 case 0xf2:
1775 prefixes |= PREFIX_REPNZ;
1776 break;
1777 case 0xf0:
1778 prefixes |= PREFIX_LOCK;
1779 break;
1780 case 0x2e:
1781 prefixes |= PREFIX_CS;
1782 break;
1783 case 0x36:
1784 prefixes |= PREFIX_SS;
1785 break;
1786 case 0x3e:
1787 prefixes |= PREFIX_DS;
1788 break;
1789 case 0x26:
1790 prefixes |= PREFIX_ES;
1791 break;
1792 case 0x64:
1793 prefixes |= PREFIX_FS;
1794 break;
1795 case 0x65:
1796 prefixes |= PREFIX_GS;
1797 break;
1798 case 0x66:
1799 prefixes |= PREFIX_DATA;
1800 break;
1801 case 0x67:
1802 prefixes |= PREFIX_ADDR;
1803 break;
1804 case FWAIT_OPCODE:
1805 /* fwait is really an instruction. If there are prefixes
1806 before the fwait, they belong to the fwait, *not* to the
1807 following instruction. */
1808 if (prefixes)
1809 {
1810 prefixes |= PREFIX_FWAIT;
1811 codep++;
1812 return;
1813 }
1814 prefixes = PREFIX_FWAIT;
1815 break;
1816 default:
1817 return;
1818 }
1819 /* Rex is ignored when followed by another prefix. */
1820 if (rex)
1821 {
1822 oappend (prefix_name (rex, 0));
1823 oappend (" ");
1824 }
1825 rex = newrex;
1826 codep++;
1827 }
1828}
1829
1830/* Return the name of the prefix byte PREF, or NULL if PREF is not a
1831 prefix byte. */
1832
1833static const char *
1834prefix_name (int pref, int sizeflag)
1835{
1836 switch (pref)
1837 {
1838 /* REX prefixes family. */
1839 case 0x40:
1840 return "rex";
1841 case 0x41:
1842 return "rexZ";
1843 case 0x42:
1844 return "rexY";
1845 case 0x43:
1846 return "rexYZ";
1847 case 0x44:
1848 return "rexX";
1849 case 0x45:
1850 return "rexXZ";
1851 case 0x46:
1852 return "rexXY";
1853 case 0x47:
1854 return "rexXYZ";
1855 case 0x48:
1856 return "rex64";
1857 case 0x49:
1858 return "rex64Z";
1859 case 0x4a:
1860 return "rex64Y";
1861 case 0x4b:
1862 return "rex64YZ";
1863 case 0x4c:
1864 return "rex64X";
1865 case 0x4d:
1866 return "rex64XZ";
1867 case 0x4e:
1868 return "rex64XY";
1869 case 0x4f:
1870 return "rex64XYZ";
1871 case 0xf3:
1872 return "repz";
1873 case 0xf2:
1874 return "repnz";
1875 case 0xf0:
1876 return "lock";
1877 case 0x2e:
1878 return "cs";
1879 case 0x36:
1880 return "ss";
1881 case 0x3e:
1882 return "ds";
1883 case 0x26:
1884 return "es";
1885 case 0x64:
1886 return "fs";
1887 case 0x65:
1888 return "gs";
1889 case 0x66:
1890 return (sizeflag & DFLAG) ? "data16" : "data32";
1891 case 0x67:
1892 if (mode_64bit)
1893 return (sizeflag & AFLAG) ? "addr32" : "addr64";
1894 else
1895 return ((sizeflag & AFLAG) && !mode_64bit) ? "addr16" : "addr32";
1896 case FWAIT_OPCODE:
1897 return "fwait";
1898 default:
1899 return NULL;
1900 }
1901}
1902
1903static char op1out[100], op2out[100], op3out[100];
1904static int op_ad, op_index[3];
1905static int two_source_ops;
1906static bfd_vma op_address[3];
1907static bfd_vma op_riprel[3];
1908static bfd_vma start_pc;
1909\f
1910/*
1911 * On the 386's of 1988, the maximum length of an instruction is 15 bytes.
1912 * (see topic "Redundant prefixes" in the "Differences from 8086"
1913 * section of the "Virtual 8086 Mode" chapter.)
1914 * 'pc' should be the address of this instruction, it will
1915 * be used to print the target address if this is a relative jump or call
1916 * The function returns the length of this instruction in bytes.
1917 */
1918
1919static char intel_syntax;
1920static char open_char;
1921static char close_char;
1922static char separator_char;
1923static char scale_char;
1924
1925/* Here for backwards compatibility. When gdb stops using
1926 print_insn_i386_att and print_insn_i386_intel these functions can
1927 disappear, and print_insn_i386 be merged into print_insn. */
1928int
1929print_insn_i386_att (bfd_vma pc, disassemble_info *info)
1930{
1931 intel_syntax = 0;
1932
1933 return print_insn (pc, info);
1934}
1935
1936int
1937print_insn_i386_intel (bfd_vma pc, disassemble_info *info)
1938{
1939 intel_syntax = 1;
1940
1941 return print_insn (pc, info);
1942}
1943
1944int
1945print_insn_i386 (bfd_vma pc, disassemble_info *info)
1946{
1947 intel_syntax = -1;
1948
1949 return print_insn (pc, info);
1950}
1951
1952static int
1953print_insn (bfd_vma pc, disassemble_info *info)
1954{
1955 const struct dis386 *dp;
1956 int i;
1957 char *first, *second, *third;
1958 int needcomma;
1959 unsigned char uses_SSE_prefix;
1960 int sizeflag;
1961 const char *p;
1962 struct dis_private priv;
1963
1964 mode_64bit = (info->mach == bfd_mach_x86_64_intel_syntax
1965 || info->mach == bfd_mach_x86_64);
1966
1967 if (intel_syntax == (char) -1)
1968 intel_syntax = (info->mach == bfd_mach_i386_i386_intel_syntax
1969 || info->mach == bfd_mach_x86_64_intel_syntax);
1970
1971 if (info->mach == bfd_mach_i386_i386
1972 || info->mach == bfd_mach_x86_64
1973 || info->mach == bfd_mach_i386_i386_intel_syntax
1974 || info->mach == bfd_mach_x86_64_intel_syntax)
1975 priv.orig_sizeflag = AFLAG | DFLAG;
1976 else if (info->mach == bfd_mach_i386_i8086)
1977 priv.orig_sizeflag = 0;
1978 else
1979 abort ();
1980
1981 for (p = info->disassembler_options; p != NULL; )
1982 {
1983 if (strncmp (p, "x86-64", 6) == 0)
1984 {
1985 mode_64bit = 1;
1986 priv.orig_sizeflag = AFLAG | DFLAG;
1987 }
1988 else if (strncmp (p, "i386", 4) == 0)
1989 {
1990 mode_64bit = 0;
1991 priv.orig_sizeflag = AFLAG | DFLAG;
1992 }
1993 else if (strncmp (p, "i8086", 5) == 0)
1994 {
1995 mode_64bit = 0;
1996 priv.orig_sizeflag = 0;
1997 }
1998 else if (strncmp (p, "intel", 5) == 0)
1999 {
2000 intel_syntax = 1;
2001 }
2002 else if (strncmp (p, "att", 3) == 0)
2003 {
2004 intel_syntax = 0;
2005 }
2006 else if (strncmp (p, "addr", 4) == 0)
2007 {
2008 if (p[4] == '1' && p[5] == '6')
2009 priv.orig_sizeflag &= ~AFLAG;
2010 else if (p[4] == '3' && p[5] == '2')
2011 priv.orig_sizeflag |= AFLAG;
2012 }
2013 else if (strncmp (p, "data", 4) == 0)
2014 {
2015 if (p[4] == '1' && p[5] == '6')
2016 priv.orig_sizeflag &= ~DFLAG;
2017 else if (p[4] == '3' && p[5] == '2')
2018 priv.orig_sizeflag |= DFLAG;
2019 }
2020 else if (strncmp (p, "suffix", 6) == 0)
2021 priv.orig_sizeflag |= SUFFIX_ALWAYS;
2022
2023 p = strchr (p, ',');
2024 if (p != NULL)
2025 p++;
2026 }
2027
2028 if (intel_syntax)
2029 {
2030 names64 = intel_names64;
2031 names32 = intel_names32;
2032 names16 = intel_names16;
2033 names8 = intel_names8;
2034 names8rex = intel_names8rex;
2035 names_seg = intel_names_seg;
2036 index16 = intel_index16;
2037 open_char = '[';
2038 close_char = ']';
2039 separator_char = '+';
2040 scale_char = '*';
2041 }
2042 else
2043 {
2044 names64 = att_names64;
2045 names32 = att_names32;
2046 names16 = att_names16;
2047 names8 = att_names8;
2048 names8rex = att_names8rex;
2049 names_seg = att_names_seg;
2050 index16 = att_index16;
2051 open_char = '(';
2052 close_char = ')';
2053 separator_char = ',';
2054 scale_char = ',';
2055 }
2056
2057 /* The output looks better if we put 7 bytes on a line, since that
2058 puts most long word instructions on a single line. */
2059 info->bytes_per_line = 7;
2060
2061 info->private_data = &priv;
2062 priv.max_fetched = priv.the_buffer;
2063 priv.insn_start = pc;
2064
2065 obuf[0] = 0;
2066 op1out[0] = 0;
2067 op2out[0] = 0;
2068 op3out[0] = 0;
2069
2070 op_index[0] = op_index[1] = op_index[2] = -1;
2071
2072 the_info = info;
2073 start_pc = pc;
2074 start_codep = priv.the_buffer;
2075 codep = priv.the_buffer;
2076
2077 if (setjmp (priv.bailout) != 0)
2078 {
2079 const char *name;
2080
2081 /* Getting here means we tried for data but didn't get it. That
2082 means we have an incomplete instruction of some sort. Just
2083 print the first byte as a prefix or a .byte pseudo-op. */
2084 if (codep > priv.the_buffer)
2085 {
2086 name = prefix_name (priv.the_buffer[0], priv.orig_sizeflag);
2087 if (name != NULL)
2088 (*info->fprintf_func) (info->stream, "%s", name);
2089 else
2090 {
2091 /* Just print the first byte as a .byte instruction. */
2092 (*info->fprintf_func) (info->stream, ".byte 0x%x",
2093 (unsigned int) priv.the_buffer[0]);
2094 }
2095
2096 return 1;
2097 }
2098
2099 return -1;
2100 }
2101
2102 obufp = obuf;
2103 ckprefix ();
2104
2105 insn_codep = codep;
2106 sizeflag = priv.orig_sizeflag;
2107
2108 FETCH_DATA (info, codep + 1);
2109 two_source_ops = (*codep == 0x62) || (*codep == 0xc8);
2110
2111 if ((prefixes & PREFIX_FWAIT)
2112 && ((*codep < 0xd8) || (*codep > 0xdf)))
2113 {
2114 const char *name;
2115
2116 /* fwait not followed by floating point instruction. Print the
2117 first prefix, which is probably fwait itself. */
2118 name = prefix_name (priv.the_buffer[0], priv.orig_sizeflag);
2119 if (name == NULL)
2120 name = INTERNAL_DISASSEMBLER_ERROR;
2121 (*info->fprintf_func) (info->stream, "%s", name);
2122 return 1;
2123 }
2124
2125 if (*codep == 0x0f)
2126 {
2127 FETCH_DATA (info, codep + 2);
2128 dp = &dis386_twobyte[*++codep];
2129 need_modrm = twobyte_has_modrm[*codep];
2130 uses_SSE_prefix = twobyte_uses_SSE_prefix[*codep];
2131 }
2132 else
2133 {
2134 dp = &dis386[*codep];
2135 need_modrm = onebyte_has_modrm[*codep];
2136 uses_SSE_prefix = 0;
2137 }
2138 codep++;
2139
2140 if (!uses_SSE_prefix && (prefixes & PREFIX_REPZ))
2141 {
2142 oappend ("repz ");
2143 used_prefixes |= PREFIX_REPZ;
2144 }
2145 if (!uses_SSE_prefix && (prefixes & PREFIX_REPNZ))
2146 {
2147 oappend ("repnz ");
2148 used_prefixes |= PREFIX_REPNZ;
2149 }
2150 if (prefixes & PREFIX_LOCK)
2151 {
2152 oappend ("lock ");
2153 used_prefixes |= PREFIX_LOCK;
2154 }
2155
2156 if (prefixes & PREFIX_ADDR)
2157 {
2158 sizeflag ^= AFLAG;
2159 if (dp->bytemode3 != loop_jcxz_mode || intel_syntax)
2160 {
2161 if ((sizeflag & AFLAG) || mode_64bit)
2162 oappend ("addr32 ");
2163 else
2164 oappend ("addr16 ");
2165 used_prefixes |= PREFIX_ADDR;
2166 }
2167 }
2168
2169 if (!uses_SSE_prefix && (prefixes & PREFIX_DATA))
2170 {
2171 sizeflag ^= DFLAG;
2172 if (dp->bytemode3 == cond_jump_mode
2173 && dp->bytemode1 == v_mode
2174 && !intel_syntax)
2175 {
2176 if (sizeflag & DFLAG)
2177 oappend ("data32 ");
2178 else
2179 oappend ("data16 ");
2180 used_prefixes |= PREFIX_DATA;
2181 }
2182 }
2183
2184 if (need_modrm)
2185 {
2186 FETCH_DATA (info, codep + 1);
2187 mod = (*codep >> 6) & 3;
2188 reg = (*codep >> 3) & 7;
2189 rm = *codep & 7;
2190 }
2191
2192 if (dp->name == NULL && dp->bytemode1 == FLOATCODE)
2193 {
2194 dofloat (sizeflag);
2195 }
2196 else
2197 {
2198 int index;
2199 if (dp->name == NULL)
2200 {
2201 switch (dp->bytemode1)
2202 {
2203 case USE_GROUPS:
2204 dp = &grps[dp->bytemode2][reg];
2205 break;
2206
2207 case USE_PREFIX_USER_TABLE:
2208 index = 0;
2209 used_prefixes |= (prefixes & PREFIX_REPZ);
2210 if (prefixes & PREFIX_REPZ)
2211 index = 1;
2212 else
2213 {
2214 used_prefixes |= (prefixes & PREFIX_DATA);
2215 if (prefixes & PREFIX_DATA)
2216 index = 2;
2217 else
2218 {
2219 used_prefixes |= (prefixes & PREFIX_REPNZ);
2220 if (prefixes & PREFIX_REPNZ)
2221 index = 3;
2222 }
2223 }
2224 dp = &prefix_user_table[dp->bytemode2][index];
2225 break;
2226
2227 case X86_64_SPECIAL:
2228 dp = &x86_64_table[dp->bytemode2][mode_64bit];
2229 break;
2230
2231 default:
2232 oappend (INTERNAL_DISASSEMBLER_ERROR);
2233 break;
2234 }
2235 }
2236
2237 if (putop (dp->name, sizeflag) == 0)
2238 {
2239 obufp = op1out;
2240 op_ad = 2;
2241 if (dp->op1)
2242 (*dp->op1) (dp->bytemode1, sizeflag);
2243
2244 obufp = op2out;
2245 op_ad = 1;
2246 if (dp->op2)
2247 (*dp->op2) (dp->bytemode2, sizeflag);
2248
2249 obufp = op3out;
2250 op_ad = 0;
2251 if (dp->op3)
2252 (*dp->op3) (dp->bytemode3, sizeflag);
2253 }
2254 }
2255
2256 /* See if any prefixes were not used. If so, print the first one
2257 separately. If we don't do this, we'll wind up printing an
2258 instruction stream which does not precisely correspond to the
2259 bytes we are disassembling. */
2260 if ((prefixes & ~used_prefixes) != 0)
2261 {
2262 const char *name;
2263
2264 name = prefix_name (priv.the_buffer[0], priv.orig_sizeflag);
2265 if (name == NULL)
2266 name = INTERNAL_DISASSEMBLER_ERROR;
2267 (*info->fprintf_func) (info->stream, "%s", name);
2268 return 1;
2269 }
2270 if (rex & ~rex_used)
2271 {
2272 const char *name;
2273 name = prefix_name (rex | 0x40, priv.orig_sizeflag);
2274 if (name == NULL)
2275 name = INTERNAL_DISASSEMBLER_ERROR;
2276 (*info->fprintf_func) (info->stream, "%s ", name);
2277 }
2278
2279 obufp = obuf + strlen (obuf);
2280 for (i = strlen (obuf); i < 6; i++)
2281 oappend (" ");
2282 oappend (" ");
2283 (*info->fprintf_func) (info->stream, "%s", obuf);
2284
2285 /* The enter and bound instructions are printed with operands in the same
2286 order as the intel book; everything else is printed in reverse order. */
2287 if (intel_syntax || two_source_ops)
2288 {
2289 first = op1out;
2290 second = op2out;
2291 third = op3out;
2292 op_ad = op_index[0];
2293 op_index[0] = op_index[2];
2294 op_index[2] = op_ad;
2295 }
2296 else
2297 {
2298 first = op3out;
2299 second = op2out;
2300 third = op1out;
2301 }
2302 needcomma = 0;
2303 if (*first)
2304 {
2305 if (op_index[0] != -1 && !op_riprel[0])
2306 (*info->print_address_func) ((bfd_vma) op_address[op_index[0]], info);
2307 else
2308 (*info->fprintf_func) (info->stream, "%s", first);
2309 needcomma = 1;
2310 }
2311 if (*second)
2312 {
2313 if (needcomma)
2314 (*info->fprintf_func) (info->stream, ",");
2315 if (op_index[1] != -1 && !op_riprel[1])
2316 (*info->print_address_func) ((bfd_vma) op_address[op_index[1]], info);
2317 else
2318 (*info->fprintf_func) (info->stream, "%s", second);
2319 needcomma = 1;
2320 }
2321 if (*third)
2322 {
2323 if (needcomma)
2324 (*info->fprintf_func) (info->stream, ",");
2325 if (op_index[2] != -1 && !op_riprel[2])
2326 (*info->print_address_func) ((bfd_vma) op_address[op_index[2]], info);
2327 else
2328 (*info->fprintf_func) (info->stream, "%s", third);
2329 }
2330 for (i = 0; i < 3; i++)
2331 if (op_index[i] != -1 && op_riprel[i])
2332 {
2333 (*info->fprintf_func) (info->stream, " # ");
2334 (*info->print_address_func) ((bfd_vma) (start_pc + codep - start_codep
2335 + op_address[op_index[i]]), info);
2336 }
2337 return codep - priv.the_buffer;
2338}
2339
2340static const char *float_mem[] = {
2341 /* d8 */
2342 "fadd{s||s|}",
2343 "fmul{s||s|}",
2344 "fcom{s||s|}",
2345 "fcomp{s||s|}",
2346 "fsub{s||s|}",
2347 "fsubr{s||s|}",
2348 "fdiv{s||s|}",
2349 "fdivr{s||s|}",
2350 /* d9 */
2351 "fld{s||s|}",
2352 "(bad)",
2353 "fst{s||s|}",
2354 "fstp{s||s|}",
2355 "fldenvIC",
2356 "fldcw",
2357 "fNstenvIC",
2358 "fNstcw",
2359 /* da */
2360 "fiadd{l||l|}",
2361 "fimul{l||l|}",
2362 "ficom{l||l|}",
2363 "ficomp{l||l|}",
2364 "fisub{l||l|}",
2365 "fisubr{l||l|}",
2366 "fidiv{l||l|}",
2367 "fidivr{l||l|}",
2368 /* db */
2369 "fild{l||l|}",
2370 "fisttp{l||l|}",
2371 "fist{l||l|}",
2372 "fistp{l||l|}",
2373 "(bad)",
2374 "fld{t||t|}",
2375 "(bad)",
2376 "fstp{t||t|}",
2377 /* dc */
2378 "fadd{l||l|}",
2379 "fmul{l||l|}",
2380 "fcom{l||l|}",
2381 "fcomp{l||l|}",
2382 "fsub{l||l|}",
2383 "fsubr{l||l|}",
2384 "fdiv{l||l|}",
2385 "fdivr{l||l|}",
2386 /* dd */
2387 "fld{l||l|}",
2388 "fisttp{ll||ll|}",
2389 "fst{l||l|}",
2390 "fstp{l||l|}",
2391 "frstorIC",
2392 "(bad)",
2393 "fNsaveIC",
2394 "fNstsw",
2395 /* de */
2396 "fiadd",
2397 "fimul",
2398 "ficom",
2399 "ficomp",
2400 "fisub",
2401 "fisubr",
2402 "fidiv",
2403 "fidivr",
2404 /* df */
2405 "fild",
2406 "fisttp",
2407 "fist",
2408 "fistp",
2409 "fbld",
2410 "fild{ll||ll|}",
2411 "fbstp",
2412 "fistp{ll||ll|}",
2413};
2414
2415static const unsigned char float_mem_mode[] = {
2416 /* d8 */
2417 d_mode,
2418 d_mode,
2419 d_mode,
2420 d_mode,
2421 d_mode,
2422 d_mode,
2423 d_mode,
2424 d_mode,
2425 /* d9 */
2426 d_mode,
2427 0,
2428 d_mode,
2429 d_mode,
2430 0,
2431 w_mode,
2432 0,
2433 w_mode,
2434 /* da */
2435 d_mode,
2436 d_mode,
2437 d_mode,
2438 d_mode,
2439 d_mode,
2440 d_mode,
2441 d_mode,
2442 d_mode,
2443 /* db */
2444 d_mode,
2445 d_mode,
2446 d_mode,
2447 d_mode,
2448 0,
2449 t_mode,
2450 0,
2451 t_mode,
2452 /* dc */
2453 q_mode,
2454 q_mode,
2455 q_mode,
2456 q_mode,
2457 q_mode,
2458 q_mode,
2459 q_mode,
2460 q_mode,
2461 /* dd */
2462 q_mode,
2463 q_mode,
2464 q_mode,
2465 q_mode,
2466 0,
2467 0,
2468 0,
2469 w_mode,
2470 /* de */
2471 w_mode,
2472 w_mode,
2473 w_mode,
2474 w_mode,
2475 w_mode,
2476 w_mode,
2477 w_mode,
2478 w_mode,
2479 /* df */
2480 w_mode,
2481 w_mode,
2482 w_mode,
2483 w_mode,
2484 t_mode,
2485 q_mode,
2486 t_mode,
2487 q_mode
2488};
2489
2490#define ST OP_ST, 0
2491#define STi OP_STi, 0
2492
2493#define FGRPd9_2 NULL, NULL, 0, NULL, 0, NULL, 0
2494#define FGRPd9_4 NULL, NULL, 1, NULL, 0, NULL, 0
2495#define FGRPd9_5 NULL, NULL, 2, NULL, 0, NULL, 0
2496#define FGRPd9_6 NULL, NULL, 3, NULL, 0, NULL, 0
2497#define FGRPd9_7 NULL, NULL, 4, NULL, 0, NULL, 0
2498#define FGRPda_5 NULL, NULL, 5, NULL, 0, NULL, 0
2499#define FGRPdb_4 NULL, NULL, 6, NULL, 0, NULL, 0
2500#define FGRPde_3 NULL, NULL, 7, NULL, 0, NULL, 0
2501#define FGRPdf_4 NULL, NULL, 8, NULL, 0, NULL, 0
2502
2503static const struct dis386 float_reg[][8] = {
2504 /* d8 */
2505 {
2506 { "fadd", ST, STi, XX },
2507 { "fmul", ST, STi, XX },
2508 { "fcom", STi, XX, XX },
2509 { "fcomp", STi, XX, XX },
2510 { "fsub", ST, STi, XX },
2511 { "fsubr", ST, STi, XX },
2512 { "fdiv", ST, STi, XX },
2513 { "fdivr", ST, STi, XX },
2514 },
2515 /* d9 */
2516 {
2517 { "fld", STi, XX, XX },
2518 { "fxch", STi, XX, XX },
2519 { FGRPd9_2 },
2520 { "(bad)", XX, XX, XX },
2521 { FGRPd9_4 },
2522 { FGRPd9_5 },
2523 { FGRPd9_6 },
2524 { FGRPd9_7 },
2525 },
2526 /* da */
2527 {
2528 { "fcmovb", ST, STi, XX },
2529 { "fcmove", ST, STi, XX },
2530 { "fcmovbe",ST, STi, XX },
2531 { "fcmovu", ST, STi, XX },
2532 { "(bad)", XX, XX, XX },
2533 { FGRPda_5 },
2534 { "(bad)", XX, XX, XX },
2535 { "(bad)", XX, XX, XX },
2536 },
2537 /* db */
2538 {
2539 { "fcmovnb",ST, STi, XX },
2540 { "fcmovne",ST, STi, XX },
2541 { "fcmovnbe",ST, STi, XX },
2542 { "fcmovnu",ST, STi, XX },
2543 { FGRPdb_4 },
2544 { "fucomi", ST, STi, XX },
2545 { "fcomi", ST, STi, XX },
2546 { "(bad)", XX, XX, XX },
2547 },
2548 /* dc */
2549 {
2550 { "fadd", STi, ST, XX },
2551 { "fmul", STi, ST, XX },
2552 { "(bad)", XX, XX, XX },
2553 { "(bad)", XX, XX, XX },
2554#if UNIXWARE_COMPAT
2555 { "fsub", STi, ST, XX },
2556 { "fsubr", STi, ST, XX },
2557 { "fdiv", STi, ST, XX },
2558 { "fdivr", STi, ST, XX },
2559#else
2560 { "fsubr", STi, ST, XX },
2561 { "fsub", STi, ST, XX },
2562 { "fdivr", STi, ST, XX },
2563 { "fdiv", STi, ST, XX },
2564#endif
2565 },
2566 /* dd */
2567 {
2568 { "ffree", STi, XX, XX },
2569 { "(bad)", XX, XX, XX },
2570 { "fst", STi, XX, XX },
2571 { "fstp", STi, XX, XX },
2572 { "fucom", STi, XX, XX },
2573 { "fucomp", STi, XX, XX },
2574 { "(bad)", XX, XX, XX },
2575 { "(bad)", XX, XX, XX },
2576 },
2577 /* de */
2578 {
2579 { "faddp", STi, ST, XX },
2580 { "fmulp", STi, ST, XX },
2581 { "(bad)", XX, XX, XX },
2582 { FGRPde_3 },
2583#if UNIXWARE_COMPAT
2584 { "fsubp", STi, ST, XX },
2585 { "fsubrp", STi, ST, XX },
2586 { "fdivp", STi, ST, XX },
2587 { "fdivrp", STi, ST, XX },
2588#else
2589 { "fsubrp", STi, ST, XX },
2590 { "fsubp", STi, ST, XX },
2591 { "fdivrp", STi, ST, XX },
2592 { "fdivp", STi, ST, XX },
2593#endif
2594 },
2595 /* df */
2596 {
2597 { "ffreep", STi, XX, XX },
2598 { "(bad)", XX, XX, XX },
2599 { "(bad)", XX, XX, XX },
2600 { "(bad)", XX, XX, XX },
2601 { FGRPdf_4 },
2602 { "fucomip",ST, STi, XX },
2603 { "fcomip", ST, STi, XX },
2604 { "(bad)", XX, XX, XX },
2605 },
2606};
2607
2608static char *fgrps[][8] = {
2609 /* d9_2 0 */
2610 {
2611 "fnop","(bad)","(bad)","(bad)","(bad)","(bad)","(bad)","(bad)",
2612 },
2613
2614 /* d9_4 1 */
2615 {
2616 "fchs","fabs","(bad)","(bad)","ftst","fxam","(bad)","(bad)",
2617 },
2618
2619 /* d9_5 2 */
2620 {
2621 "fld1","fldl2t","fldl2e","fldpi","fldlg2","fldln2","fldz","(bad)",
2622 },
2623
2624 /* d9_6 3 */
2625 {
2626 "f2xm1","fyl2x","fptan","fpatan","fxtract","fprem1","fdecstp","fincstp",
2627 },
2628
2629 /* d9_7 4 */
2630 {
2631 "fprem","fyl2xp1","fsqrt","fsincos","frndint","fscale","fsin","fcos",
2632 },
2633
2634 /* da_5 5 */
2635 {
2636 "(bad)","fucompp","(bad)","(bad)","(bad)","(bad)","(bad)","(bad)",
2637 },
2638
2639 /* db_4 6 */
2640 {
2641 "feni(287 only)","fdisi(287 only)","fNclex","fNinit",
2642 "fNsetpm(287 only)","(bad)","(bad)","(bad)",
2643 },
2644
2645 /* de_3 7 */
2646 {
2647 "(bad)","fcompp","(bad)","(bad)","(bad)","(bad)","(bad)","(bad)",
2648 },
2649
2650 /* df_4 8 */
2651 {
2652 "fNstsw","(bad)","(bad)","(bad)","(bad)","(bad)","(bad)","(bad)",
2653 },
2654};
2655
2656static void
2657dofloat (int sizeflag)
2658{
2659 const struct dis386 *dp;
2660 unsigned char floatop;
2661
2662 floatop = codep[-1];
2663
2664 if (mod != 3)
2665 {
2666 int fp_indx = (floatop - 0xd8) * 8 + reg;
2667
2668 putop (float_mem[fp_indx], sizeflag);
2669 obufp = op1out;
2670 OP_E (float_mem_mode[fp_indx], sizeflag);
2671 return;
2672 }
2673 /* Skip mod/rm byte. */
2674 MODRM_CHECK;
2675 codep++;
2676
2677 dp = &float_reg[floatop - 0xd8][reg];
2678 if (dp->name == NULL)
2679 {
2680 putop (fgrps[dp->bytemode1][rm], sizeflag);
2681
2682 /* Instruction fnstsw is only one with strange arg. */
2683 if (floatop == 0xdf && codep[-1] == 0xe0)
2684 strcpy (op1out, names16[0]);
2685 }
2686 else
2687 {
2688 putop (dp->name, sizeflag);
2689
2690 obufp = op1out;
2691 if (dp->op1)
2692 (*dp->op1) (dp->bytemode1, sizeflag);
2693 obufp = op2out;
2694 if (dp->op2)
2695 (*dp->op2) (dp->bytemode2, sizeflag);
2696 }
2697}
2698
2699static void
2700OP_ST (int bytemode ATTRIBUTE_UNUSED, int sizeflag ATTRIBUTE_UNUSED)
2701{
2702 oappend ("%st");
2703}
2704
2705static void
2706OP_STi (int bytemode ATTRIBUTE_UNUSED, int sizeflag ATTRIBUTE_UNUSED)
2707{
2708 sprintf (scratchbuf, "%%st(%d)", rm);
2709 oappend (scratchbuf + intel_syntax);
2710}
2711
2712/* Capital letters in template are macros. */
2713static int
2714putop (const char *template, int sizeflag)
2715{
2716 const char *p;
2717 int alt = 0;
2718
2719 for (p = template; *p; p++)
2720 {
2721 switch (*p)
2722 {
2723 default:
2724 *obufp++ = *p;
2725 break;
2726 case '{':
2727 alt = 0;
2728 if (intel_syntax)
2729 alt += 1;
2730 if (mode_64bit)
2731 alt += 2;
2732 while (alt != 0)
2733 {
2734 while (*++p != '|')
2735 {
2736 if (*p == '}')
2737 {
2738 /* Alternative not valid. */
2739 strcpy (obuf, "(bad)");
2740 obufp = obuf + 5;
2741 return 1;
2742 }
2743 else if (*p == '\0')
2744 abort ();
2745 }
2746 alt--;
2747 }
2748 /* Fall through. */
2749 case 'I':
2750 alt = 1;
2751 continue;
2752 case '|':
2753 while (*++p != '}')
2754 {
2755 if (*p == '\0')
2756 abort ();
2757 }
2758 break;
2759 case '}':
2760 break;
2761 case 'A':
2762 if (intel_syntax)
2763 break;
2764 if (mod != 3 || (sizeflag & SUFFIX_ALWAYS))
2765 *obufp++ = 'b';
2766 break;
2767 case 'B':
2768 if (intel_syntax)
2769 break;
2770 if (sizeflag & SUFFIX_ALWAYS)
2771 *obufp++ = 'b';
2772 break;
2773 case 'C':
2774 if (intel_syntax && !alt)
2775 break;
2776 if ((prefixes & PREFIX_DATA) || (sizeflag & SUFFIX_ALWAYS))
2777 {
2778 if (sizeflag & DFLAG)
2779 *obufp++ = intel_syntax ? 'd' : 'l';
2780 else
2781 *obufp++ = intel_syntax ? 'w' : 's';
2782 used_prefixes |= (prefixes & PREFIX_DATA);
2783 }
2784 break;
2785 case 'E': /* For jcxz/jecxz */
2786 if (mode_64bit)
2787 {
2788 if (sizeflag & AFLAG)
2789 *obufp++ = 'r';
2790 else
2791 *obufp++ = 'e';
2792 }
2793 else
2794 if (sizeflag & AFLAG)
2795 *obufp++ = 'e';
2796 used_prefixes |= (prefixes & PREFIX_ADDR);
2797 break;
2798 case 'F':
2799 if (intel_syntax)
2800 break;
2801 if ((prefixes & PREFIX_ADDR) || (sizeflag & SUFFIX_ALWAYS))
2802 {
2803 if (sizeflag & AFLAG)
2804 *obufp++ = mode_64bit ? 'q' : 'l';
2805 else
2806 *obufp++ = mode_64bit ? 'l' : 'w';
2807 used_prefixes |= (prefixes & PREFIX_ADDR);
2808 }
2809 break;
2810 case 'H':
2811 if (intel_syntax)
2812 break;
2813 if ((prefixes & (PREFIX_CS | PREFIX_DS)) == PREFIX_CS
2814 || (prefixes & (PREFIX_CS | PREFIX_DS)) == PREFIX_DS)
2815 {
2816 used_prefixes |= prefixes & (PREFIX_CS | PREFIX_DS);
2817 *obufp++ = ',';
2818 *obufp++ = 'p';
2819 if (prefixes & PREFIX_DS)
2820 *obufp++ = 't';
2821 else
2822 *obufp++ = 'n';
2823 }
2824 break;
2825 case 'J':
2826 if (intel_syntax)
2827 break;
2828 *obufp++ = 'l';
2829 break;
2830 case 'L':
2831 if (intel_syntax)
2832 break;
2833 if (sizeflag & SUFFIX_ALWAYS)
2834 *obufp++ = 'l';
2835 break;
2836 case 'N':
2837 if ((prefixes & PREFIX_FWAIT) == 0)
2838 *obufp++ = 'n';
2839 else
2840 used_prefixes |= PREFIX_FWAIT;
2841 break;
2842 case 'O':
2843 USED_REX (REX_MODE64);
2844 if (rex & REX_MODE64)
2845 *obufp++ = 'o';
2846 else
2847 *obufp++ = 'd';
2848 break;
2849 case 'T':
2850 if (intel_syntax)
2851 break;
2852 if (mode_64bit)
2853 {
2854 *obufp++ = 'q';
2855 break;
2856 }
2857 /* Fall through. */
2858 case 'P':
2859 if (intel_syntax)
2860 break;
2861 if ((prefixes & PREFIX_DATA)
2862 || (rex & REX_MODE64)
2863 || (sizeflag & SUFFIX_ALWAYS))
2864 {
2865 USED_REX (REX_MODE64);
2866 if (rex & REX_MODE64)
2867 *obufp++ = 'q';
2868 else
2869 {
2870 if (sizeflag & DFLAG)
2871 *obufp++ = 'l';
2872 else
2873 *obufp++ = 'w';
2874 used_prefixes |= (prefixes & PREFIX_DATA);
2875 }
2876 }
2877 break;
2878 case 'U':
2879 if (intel_syntax)
2880 break;
2881 if (mode_64bit)
2882 {
2883 *obufp++ = 'q';
2884 break;
2885 }
2886 /* Fall through. */
2887 case 'Q':
2888 if (intel_syntax && !alt)
2889 break;
2890 USED_REX (REX_MODE64);
2891 if (mod != 3 || (sizeflag & SUFFIX_ALWAYS))
2892 {
2893 if (rex & REX_MODE64)
2894 *obufp++ = 'q';
2895 else
2896 {
2897 if (sizeflag & DFLAG)
2898 *obufp++ = intel_syntax ? 'd' : 'l';
2899 else
2900 *obufp++ = 'w';
2901 used_prefixes |= (prefixes & PREFIX_DATA);
2902 }
2903 }
2904 break;
2905 case 'R':
2906 USED_REX (REX_MODE64);
2907 if (intel_syntax)
2908 {
2909 if (rex & REX_MODE64)
2910 {
2911 *obufp++ = 'q';
2912 *obufp++ = 't';
2913 }
2914 else if (sizeflag & DFLAG)
2915 {
2916 *obufp++ = 'd';
2917 *obufp++ = 'q';
2918 }
2919 else
2920 {
2921 *obufp++ = 'w';
2922 *obufp++ = 'd';
2923 }
2924 }
2925 else
2926 {
2927 if (rex & REX_MODE64)
2928 *obufp++ = 'q';
2929 else if (sizeflag & DFLAG)
2930 *obufp++ = 'l';
2931 else
2932 *obufp++ = 'w';
2933 }
2934 if (!(rex & REX_MODE64))
2935 used_prefixes |= (prefixes & PREFIX_DATA);
2936 break;
2937 case 'S':
2938 if (intel_syntax)
2939 break;
2940 if (sizeflag & SUFFIX_ALWAYS)
2941 {
2942 if (rex & REX_MODE64)
2943 *obufp++ = 'q';
2944 else
2945 {
2946 if (sizeflag & DFLAG)
2947 *obufp++ = 'l';
2948 else
2949 *obufp++ = 'w';
2950 used_prefixes |= (prefixes & PREFIX_DATA);
2951 }
2952 }
2953 break;
2954 case 'X':
2955 if (prefixes & PREFIX_DATA)
2956 *obufp++ = 'd';
2957 else
2958 *obufp++ = 's';
2959 used_prefixes |= (prefixes & PREFIX_DATA);
2960 break;
2961 case 'Y':
2962 if (intel_syntax)
2963 break;
2964 if (rex & REX_MODE64)
2965 {
2966 USED_REX (REX_MODE64);
2967 *obufp++ = 'q';
2968 }
2969 break;
2970 /* implicit operand size 'l' for i386 or 'q' for x86-64 */
2971 case 'W':
2972 /* operand size flag for cwtl, cbtw */
2973 USED_REX (0);
2974 if (rex)
2975 *obufp++ = 'l';
2976 else if (sizeflag & DFLAG)
2977 *obufp++ = 'w';
2978 else
2979 *obufp++ = 'b';
2980 if (intel_syntax)
2981 {
2982 if (rex)
2983 {
2984 *obufp++ = 'q';
2985 *obufp++ = 'e';
2986 }
2987 if (sizeflag & DFLAG)
2988 {
2989 *obufp++ = 'd';
2990 *obufp++ = 'e';
2991 }
2992 else
2993 {
2994 *obufp++ = 'w';
2995 }
2996 }
2997 if (!rex)
2998 used_prefixes |= (prefixes & PREFIX_DATA);
2999 break;
3000 }
3001 alt = 0;
3002 }
3003 *obufp = 0;
3004 return 0;
3005}
3006
3007static void
3008oappend (const char *s)
3009{
3010 strcpy (obufp, s);
3011 obufp += strlen (s);
3012}
3013
3014static void
3015append_seg (void)
3016{
3017 if (prefixes & PREFIX_CS)
3018 {
3019 used_prefixes |= PREFIX_CS;
3020 oappend ("%cs:" + intel_syntax);
3021 }
3022 if (prefixes & PREFIX_DS)
3023 {
3024 used_prefixes |= PREFIX_DS;
3025 oappend ("%ds:" + intel_syntax);
3026 }
3027 if (prefixes & PREFIX_SS)
3028 {
3029 used_prefixes |= PREFIX_SS;
3030 oappend ("%ss:" + intel_syntax);
3031 }
3032 if (prefixes & PREFIX_ES)
3033 {
3034 used_prefixes |= PREFIX_ES;
3035 oappend ("%es:" + intel_syntax);
3036 }
3037 if (prefixes & PREFIX_FS)
3038 {
3039 used_prefixes |= PREFIX_FS;
3040 oappend ("%fs:" + intel_syntax);
3041 }
3042 if (prefixes & PREFIX_GS)
3043 {
3044 used_prefixes |= PREFIX_GS;
3045 oappend ("%gs:" + intel_syntax);
3046 }
3047}
3048
3049static void
3050OP_indirE (int bytemode, int sizeflag)
3051{
3052 if (!intel_syntax)
3053 oappend ("*");
3054 OP_E (bytemode, sizeflag);
3055}
3056
3057static void
3058print_operand_value (char *buf, int hex, bfd_vma disp)
3059{
3060 if (mode_64bit)
3061 {
3062 if (hex)
3063 {
3064 char tmp[30];
3065 int i;
3066 buf[0] = '0';
3067 buf[1] = 'x';
3068 sprintf_vma (tmp, disp);
3069 for (i = 0; tmp[i] == '0' && tmp[i + 1]; i++);
3070 strcpy (buf + 2, tmp + i);
3071 }
3072 else
3073 {
3074 bfd_signed_vma v = disp;
3075 char tmp[30];
3076 int i;
3077 if (v < 0)
3078 {
3079 *(buf++) = '-';
3080 v = -disp;
3081 /* Check for possible overflow on 0x8000000000000000. */
3082 if (v < 0)
3083 {
3084 strcpy (buf, "9223372036854775808");
3085 return;
3086 }
3087 }
3088 if (!v)
3089 {
3090 strcpy (buf, "0");
3091 return;
3092 }
3093
3094 i = 0;
3095 tmp[29] = 0;
3096 while (v)
3097 {
3098 tmp[28 - i] = (v % 10) + '0';
3099 v /= 10;
3100 i++;
3101 }
3102 strcpy (buf, tmp + 29 - i);
3103 }
3104 }
3105 else
3106 {
3107 if (hex)
3108 sprintf (buf, "0x%x", (unsigned int) disp);
3109 else
3110 sprintf (buf, "%d", (int) disp);
3111 }
3112}
3113
3114static void
3115OP_E (int bytemode, int sizeflag)
3116{
3117 bfd_vma disp;
3118 int add = 0;
3119 int riprel = 0;
3120 USED_REX (REX_EXTZ);
3121 if (rex & REX_EXTZ)
3122 add += 8;
3123
3124 /* Skip mod/rm byte. */
3125 MODRM_CHECK;
3126 codep++;
3127
3128 if (mod == 3)
3129 {
3130 switch (bytemode)
3131 {
3132 case b_mode:
3133 USED_REX (0);
3134 if (rex)
3135 oappend (names8rex[rm + add]);
3136 else
3137 oappend (names8[rm + add]);
3138 break;
3139 case w_mode:
3140 oappend (names16[rm + add]);
3141 break;
3142 case d_mode:
3143 oappend (names32[rm + add]);
3144 break;
3145 case q_mode:
3146 oappend (names64[rm + add]);
3147 break;
3148 case m_mode:
3149 if (mode_64bit)
3150 oappend (names64[rm + add]);
3151 else
3152 oappend (names32[rm + add]);
3153 break;
3154 case v_mode:
3155 case dq_mode:
3156 case dqw_mode:
3157 USED_REX (REX_MODE64);
3158 if (rex & REX_MODE64)
3159 oappend (names64[rm + add]);
3160 else if ((sizeflag & DFLAG) || bytemode != v_mode)
3161 oappend (names32[rm + add]);
3162 else
3163 oappend (names16[rm + add]);
3164 used_prefixes |= (prefixes & PREFIX_DATA);
3165 break;
3166 case 0:
3167 break;
3168 default:
3169 oappend (INTERNAL_DISASSEMBLER_ERROR);
3170 break;
3171 }
3172 return;
3173 }
3174
3175 disp = 0;
3176 append_seg ();
3177
3178 if ((sizeflag & AFLAG) || mode_64bit) /* 32 bit address mode */
3179 {
3180 int havesib;
3181 int havebase;
3182 int base;
3183 int index = 0;
3184 int scale = 0;
3185
3186 havesib = 0;
3187 havebase = 1;
3188 base = rm;
3189
3190 if (base == 4)
3191 {
3192 havesib = 1;
3193 FETCH_DATA (the_info, codep + 1);
3194 scale = (*codep >> 6) & 3;
3195 index = (*codep >> 3) & 7;
3196 base = *codep & 7;
3197 USED_REX (REX_EXTY);
3198 USED_REX (REX_EXTZ);
3199 if (rex & REX_EXTY)
3200 index += 8;
3201 if (rex & REX_EXTZ)
3202 base += 8;
3203 codep++;
3204 }
3205
3206 switch (mod)
3207 {
3208 case 0:
3209 if ((base & 7) == 5)
3210 {
3211 havebase = 0;
3212 if (mode_64bit && !havesib)
3213 riprel = 1;
3214 disp = get32s ();
3215 }
3216 break;
3217 case 1:
3218 FETCH_DATA (the_info, codep + 1);
3219 disp = *codep++;
3220 if ((disp & 0x80) != 0)
3221 disp -= 0x100;
3222 break;
3223 case 2:
3224 disp = get32s ();
3225 break;
3226 }
3227
3228 if (!intel_syntax)
3229 if (mod != 0 || (base & 7) == 5)
3230 {
3231 print_operand_value (scratchbuf, !riprel, disp);
3232 oappend (scratchbuf);
3233 if (riprel)
3234 {
3235 set_op (disp, 1);
3236 oappend ("(%rip)");
3237 }
3238 }
3239
3240 if (havebase || (havesib && (index != 4 || scale != 0)))
3241 {
3242 if (intel_syntax)
3243 {
3244 switch (bytemode)
3245 {
3246 case b_mode:
3247 oappend ("BYTE PTR ");
3248 break;
3249 case w_mode:
3250 case dqw_mode:
3251 oappend ("WORD PTR ");
3252 break;
3253 case v_mode:
3254 case dq_mode:
3255 USED_REX (REX_MODE64);
3256 if (rex & REX_MODE64)
3257 oappend ("QWORD PTR ");
3258 else if ((sizeflag & DFLAG) || bytemode == dq_mode)
3259 oappend ("DWORD PTR ");
3260 else
3261 oappend ("WORD PTR ");
3262 used_prefixes |= (prefixes & PREFIX_DATA);
3263 break;
3264 case d_mode:
3265 oappend ("DWORD PTR ");
3266 break;
3267 case q_mode:
3268 oappend ("QWORD PTR ");
3269 break;
3270 case m_mode:
3271 if (mode_64bit)
3272 oappend ("QWORD PTR ");
3273 else
3274 oappend ("DWORD PTR ");
3275 break;
3276 case f_mode:
3277 if (sizeflag & DFLAG)
3278 {
3279 used_prefixes |= (prefixes & PREFIX_DATA);
3280 oappend ("FWORD PTR ");
3281 }
3282 else
3283 oappend ("DWORD PTR ");
3284 break;
3285 case t_mode:
3286 oappend ("TBYTE PTR ");
3287 break;
3288 case x_mode:
3289 oappend ("XMMWORD PTR ");
3290 break;
3291 default:
3292 break;
3293 }
3294 }
3295 *obufp++ = open_char;
3296 if (intel_syntax && riprel)
3297 oappend ("rip + ");
3298 *obufp = '\0';
3299 USED_REX (REX_EXTZ);
3300 if (!havesib && (rex & REX_EXTZ))
3301 base += 8;
3302 if (havebase)
3303 oappend (mode_64bit && (sizeflag & AFLAG)
3304 ? names64[base] : names32[base]);
3305 if (havesib)
3306 {
3307 if (index != 4)
3308 {
3309 if (!intel_syntax || havebase)
3310 {
3311 *obufp++ = separator_char;
3312 *obufp = '\0';
3313 }
3314 oappend (mode_64bit && (sizeflag & AFLAG)
3315 ? names64[index] : names32[index]);
3316 }
3317 if (scale != 0 || (!intel_syntax && index != 4))
3318 {
3319 *obufp++ = scale_char;
3320 *obufp = '\0';
3321 sprintf (scratchbuf, "%d", 1 << scale);
3322 oappend (scratchbuf);
3323 }
3324 }
3325 if (intel_syntax)
3326 if (mod != 0 || (base & 7) == 5)
3327 {
3328 /* Don't print zero displacements. */
3329 if (disp != 0)
3330 {
3331 if ((bfd_signed_vma) disp > 0)
3332 {
3333 *obufp++ = '+';
3334 *obufp = '\0';
3335 }
3336
3337 print_operand_value (scratchbuf, 0, disp);
3338 oappend (scratchbuf);
3339 }
3340 }
3341
3342 *obufp++ = close_char;
3343 *obufp = '\0';
3344 }
3345 else if (intel_syntax)
3346 {
3347 if (mod != 0 || (base & 7) == 5)
3348 {
3349 if (prefixes & (PREFIX_CS | PREFIX_SS | PREFIX_DS
3350 | PREFIX_ES | PREFIX_FS | PREFIX_GS))
3351 ;
3352 else
3353 {
3354 oappend (names_seg[ds_reg - es_reg]);
3355 oappend (":");
3356 }
3357 print_operand_value (scratchbuf, 1, disp);
3358 oappend (scratchbuf);
3359 }
3360 }
3361 }
3362 else
3363 { /* 16 bit address mode */
3364 switch (mod)
3365 {
3366 case 0:
3367 if ((rm & 7) == 6)
3368 {
3369 disp = get16 ();
3370 if ((disp & 0x8000) != 0)
3371 disp -= 0x10000;
3372 }
3373 break;
3374 case 1:
3375 FETCH_DATA (the_info, codep + 1);
3376 disp = *codep++;
3377 if ((disp & 0x80) != 0)
3378 disp -= 0x100;
3379 break;
3380 case 2:
3381 disp = get16 ();
3382 if ((disp & 0x8000) != 0)
3383 disp -= 0x10000;
3384 break;
3385 }
3386
3387 if (!intel_syntax)
3388 if (mod != 0 || (rm & 7) == 6)
3389 {
3390 print_operand_value (scratchbuf, 0, disp);
3391 oappend (scratchbuf);
3392 }
3393
3394 if (mod != 0 || (rm & 7) != 6)
3395 {
3396 *obufp++ = open_char;
3397 *obufp = '\0';
3398 oappend (index16[rm + add]);
3399 *obufp++ = close_char;
3400 *obufp = '\0';
3401 }
3402 }
3403}
3404
3405static void
3406OP_G (int bytemode, int sizeflag)
3407{
3408 int add = 0;
3409 USED_REX (REX_EXTX);
3410 if (rex & REX_EXTX)
3411 add += 8;
3412 switch (bytemode)
3413 {
3414 case b_mode:
3415 USED_REX (0);
3416 if (rex)
3417 oappend (names8rex[reg + add]);
3418 else
3419 oappend (names8[reg + add]);
3420 break;
3421 case w_mode:
3422 oappend (names16[reg + add]);
3423 break;
3424 case d_mode:
3425 oappend (names32[reg + add]);
3426 break;
3427 case q_mode:
3428 oappend (names64[reg + add]);
3429 break;
3430 case v_mode:
3431 case dq_mode:
3432 case dqw_mode:
3433 USED_REX (REX_MODE64);
3434 if (rex & REX_MODE64)
3435 oappend (names64[reg + add]);
3436 else if ((sizeflag & DFLAG) || bytemode != v_mode)
3437 oappend (names32[reg + add]);
3438 else
3439 oappend (names16[reg + add]);
3440 used_prefixes |= (prefixes & PREFIX_DATA);
3441 break;
3442 default:
3443 oappend (INTERNAL_DISASSEMBLER_ERROR);
3444 break;
3445 }
3446}
3447
3448static bfd_vma
3449get64 (void)
3450{
3451 bfd_vma x;
3452#ifdef BFD64
3453 unsigned int a;
3454 unsigned int b;
3455
3456 FETCH_DATA (the_info, codep + 8);
3457 a = *codep++ & 0xff;
3458 a |= (*codep++ & 0xff) << 8;
3459 a |= (*codep++ & 0xff) << 16;
3460 a |= (*codep++ & 0xff) << 24;
3461 b = *codep++ & 0xff;
3462 b |= (*codep++ & 0xff) << 8;
3463 b |= (*codep++ & 0xff) << 16;
3464 b |= (*codep++ & 0xff) << 24;
3465 x = a + ((bfd_vma) b << 32);
3466#else
3467 abort ();
3468 x = 0;
3469#endif
3470 return x;
3471}
3472
3473static bfd_signed_vma
3474get32 (void)
3475{
3476 bfd_signed_vma x = 0;
3477
3478 FETCH_DATA (the_info, codep + 4);
3479 x = *codep++ & (bfd_signed_vma) 0xff;
3480 x |= (*codep++ & (bfd_signed_vma) 0xff) << 8;
3481 x |= (*codep++ & (bfd_signed_vma) 0xff) << 16;
3482 x |= (*codep++ & (bfd_signed_vma) 0xff) << 24;
3483 return x;
3484}
3485
3486static bfd_signed_vma
3487get32s (void)
3488{
3489 bfd_signed_vma x = 0;
3490
3491 FETCH_DATA (the_info, codep + 4);
3492 x = *codep++ & (bfd_signed_vma) 0xff;
3493 x |= (*codep++ & (bfd_signed_vma) 0xff) << 8;
3494 x |= (*codep++ & (bfd_signed_vma) 0xff) << 16;
3495 x |= (*codep++ & (bfd_signed_vma) 0xff) << 24;
3496
3497 x = (x ^ ((bfd_signed_vma) 1 << 31)) - ((bfd_signed_vma) 1 << 31);
3498
3499 return x;
3500}
3501
3502static int
3503get16 (void)
3504{
3505 int x = 0;
3506
3507 FETCH_DATA (the_info, codep + 2);
3508 x = *codep++ & 0xff;
3509 x |= (*codep++ & 0xff) << 8;
3510 return x;
3511}
3512
3513static void
3514set_op (bfd_vma op, int riprel)
3515{
3516 op_index[op_ad] = op_ad;
3517 if (mode_64bit)
3518 {
3519 op_address[op_ad] = op;
3520 op_riprel[op_ad] = riprel;
3521 }
3522 else
3523 {
3524 /* Mask to get a 32-bit address. */
3525 op_address[op_ad] = op & 0xffffffff;
3526 op_riprel[op_ad] = riprel & 0xffffffff;
3527 }
3528}
3529
3530static void
3531OP_REG (int code, int sizeflag)
3532{
3533 const char *s;
3534 int add = 0;
3535 USED_REX (REX_EXTZ);
3536 if (rex & REX_EXTZ)
3537 add = 8;
3538
3539 switch (code)
3540 {
3541 case indir_dx_reg:
3542 if (intel_syntax)
3543 s = "[dx]";
3544 else
3545 s = "(%dx)";
3546 break;
3547 case ax_reg: case cx_reg: case dx_reg: case bx_reg:
3548 case sp_reg: case bp_reg: case si_reg: case di_reg:
3549 s = names16[code - ax_reg + add];
3550 break;
3551 case es_reg: case ss_reg: case cs_reg:
3552 case ds_reg: case fs_reg: case gs_reg:
3553 s = names_seg[code - es_reg + add];
3554 break;
3555 case al_reg: case ah_reg: case cl_reg: case ch_reg:
3556 case dl_reg: case dh_reg: case bl_reg: case bh_reg:
3557 USED_REX (0);
3558 if (rex)
3559 s = names8rex[code - al_reg + add];
3560 else
3561 s = names8[code - al_reg];
3562 break;
3563 case rAX_reg: case rCX_reg: case rDX_reg: case rBX_reg:
3564 case rSP_reg: case rBP_reg: case rSI_reg: case rDI_reg:
3565 if (mode_64bit)
3566 {
3567 s = names64[code - rAX_reg + add];
3568 break;
3569 }
3570 code += eAX_reg - rAX_reg;
3571 /* Fall through. */
3572 case eAX_reg: case eCX_reg: case eDX_reg: case eBX_reg:
3573 case eSP_reg: case eBP_reg: case eSI_reg: case eDI_reg:
3574 USED_REX (REX_MODE64);
3575 if (rex & REX_MODE64)
3576 s = names64[code - eAX_reg + add];
3577 else if (sizeflag & DFLAG)
3578 s = names32[code - eAX_reg + add];
3579 else
3580 s = names16[code - eAX_reg + add];
3581 used_prefixes |= (prefixes & PREFIX_DATA);
3582 break;
3583 default:
3584 s = INTERNAL_DISASSEMBLER_ERROR;
3585 break;
3586 }
3587 oappend (s);
3588}
3589
3590static void
3591OP_IMREG (int code, int sizeflag)
3592{
3593 const char *s;
3594
3595 switch (code)
3596 {
3597 case indir_dx_reg:
3598 if (intel_syntax)
3599 s = "[dx]";
3600 else
3601 s = "(%dx)";
3602 break;
3603 case ax_reg: case cx_reg: case dx_reg: case bx_reg:
3604 case sp_reg: case bp_reg: case si_reg: case di_reg:
3605 s = names16[code - ax_reg];
3606 break;
3607 case es_reg: case ss_reg: case cs_reg:
3608 case ds_reg: case fs_reg: case gs_reg:
3609 s = names_seg[code - es_reg];
3610 break;
3611 case al_reg: case ah_reg: case cl_reg: case ch_reg:
3612 case dl_reg: case dh_reg: case bl_reg: case bh_reg:
3613 USED_REX (0);
3614 if (rex)
3615 s = names8rex[code - al_reg];
3616 else
3617 s = names8[code - al_reg];
3618 break;
3619 case eAX_reg: case eCX_reg: case eDX_reg: case eBX_reg:
3620 case eSP_reg: case eBP_reg: case eSI_reg: case eDI_reg:
3621 USED_REX (REX_MODE64);
3622 if (rex & REX_MODE64)
3623 s = names64[code - eAX_reg];
3624 else if (sizeflag & DFLAG)
3625 s = names32[code - eAX_reg];
3626 else
3627 s = names16[code - eAX_reg];
3628 used_prefixes |= (prefixes & PREFIX_DATA);
3629 break;
3630 default:
3631 s = INTERNAL_DISASSEMBLER_ERROR;
3632 break;
3633 }
3634 oappend (s);
3635}
3636
3637static void
3638OP_I (int bytemode, int sizeflag)
3639{
3640 bfd_signed_vma op;
3641 bfd_signed_vma mask = -1;
3642
3643 switch (bytemode)
3644 {
3645 case b_mode:
3646 FETCH_DATA (the_info, codep + 1);
3647 op = *codep++;
3648 mask = 0xff;
3649 break;
3650 case q_mode:
3651 if (mode_64bit)
3652 {
3653 op = get32s ();
3654 break;
3655 }
3656 /* Fall through. */
3657 case v_mode:
3658 USED_REX (REX_MODE64);
3659 if (rex & REX_MODE64)
3660 op = get32s ();
3661 else if (sizeflag & DFLAG)
3662 {
3663 op = get32 ();
3664 mask = 0xffffffff;
3665 }
3666 else
3667 {
3668 op = get16 ();
3669 mask = 0xfffff;
3670 }
3671 used_prefixes |= (prefixes & PREFIX_DATA);
3672 break;
3673 case w_mode:
3674 mask = 0xfffff;
3675 op = get16 ();
3676 break;
3677 case const_1_mode:
3678 if (intel_syntax)
3679 oappend ("1");
3680 return;
3681 default:
3682 oappend (INTERNAL_DISASSEMBLER_ERROR);
3683 return;
3684 }
3685
3686 op &= mask;
3687 scratchbuf[0] = '$';
3688 print_operand_value (scratchbuf + 1, 1, op);
3689 oappend (scratchbuf + intel_syntax);
3690 scratchbuf[0] = '\0';
3691}
3692
3693static void
3694OP_I64 (int bytemode, int sizeflag)
3695{
3696 bfd_signed_vma op;
3697 bfd_signed_vma mask = -1;
3698
3699 if (!mode_64bit)
3700 {
3701 OP_I (bytemode, sizeflag);
3702 return;
3703 }
3704
3705 switch (bytemode)
3706 {
3707 case b_mode:
3708 FETCH_DATA (the_info, codep + 1);
3709 op = *codep++;
3710 mask = 0xff;
3711 break;
3712 case v_mode:
3713 USED_REX (REX_MODE64);
3714 if (rex & REX_MODE64)
3715 op = get64 ();
3716 else if (sizeflag & DFLAG)
3717 {
3718 op = get32 ();
3719 mask = 0xffffffff;
3720 }
3721 else
3722 {
3723 op = get16 ();
3724 mask = 0xfffff;
3725 }
3726 used_prefixes |= (prefixes & PREFIX_DATA);
3727 break;
3728 case w_mode:
3729 mask = 0xfffff;
3730 op = get16 ();
3731 break;
3732 default:
3733 oappend (INTERNAL_DISASSEMBLER_ERROR);
3734 return;
3735 }
3736
3737 op &= mask;
3738 scratchbuf[0] = '$';
3739 print_operand_value (scratchbuf + 1, 1, op);
3740 oappend (scratchbuf + intel_syntax);
3741 scratchbuf[0] = '\0';
3742}
3743
3744static void
3745OP_sI (int bytemode, int sizeflag)
3746{
3747 bfd_signed_vma op;
3748 bfd_signed_vma mask = -1;
3749
3750 switch (bytemode)
3751 {
3752 case b_mode:
3753 FETCH_DATA (the_info, codep + 1);
3754 op = *codep++;
3755 if ((op & 0x80) != 0)
3756 op -= 0x100;
3757 mask = 0xffffffff;
3758 break;
3759 case v_mode:
3760 USED_REX (REX_MODE64);
3761 if (rex & REX_MODE64)
3762 op = get32s ();
3763 else if (sizeflag & DFLAG)
3764 {
3765 op = get32s ();
3766 mask = 0xffffffff;
3767 }
3768 else
3769 {
3770 mask = 0xffffffff;
3771 op = get16 ();
3772 if ((op & 0x8000) != 0)
3773 op -= 0x10000;
3774 }
3775 used_prefixes |= (prefixes & PREFIX_DATA);
3776 break;
3777 case w_mode:
3778 op = get16 ();
3779 mask = 0xffffffff;
3780 if ((op & 0x8000) != 0)
3781 op -= 0x10000;
3782 break;
3783 default:
3784 oappend (INTERNAL_DISASSEMBLER_ERROR);
3785 return;
3786 }
3787
3788 scratchbuf[0] = '$';
3789 print_operand_value (scratchbuf + 1, 1, op);
3790 oappend (scratchbuf + intel_syntax);
3791}
3792
3793static void
3794OP_J (int bytemode, int sizeflag)
3795{
3796 bfd_vma disp;
3797 bfd_vma mask = -1;
3798
3799 switch (bytemode)
3800 {
3801 case b_mode:
3802 FETCH_DATA (the_info, codep + 1);
3803 disp = *codep++;
3804 if ((disp & 0x80) != 0)
3805 disp -= 0x100;
3806 break;
3807 case v_mode:
3808 if (sizeflag & DFLAG)
3809 disp = get32s ();
3810 else
3811 {
3812 disp = get16 ();
3813 /* For some reason, a data16 prefix on a jump instruction
3814 means that the pc is masked to 16 bits after the
3815 displacement is added! */
3816 mask = 0xffff;
3817 }
3818 break;
3819 default:
3820 oappend (INTERNAL_DISASSEMBLER_ERROR);
3821 return;
3822 }
3823 disp = (start_pc + codep - start_codep + disp) & mask;
3824 set_op (disp, 0);
3825 print_operand_value (scratchbuf, 1, disp);
3826 oappend (scratchbuf);
3827}
3828
3829static void
3830OP_SEG (int dummy ATTRIBUTE_UNUSED, int sizeflag ATTRIBUTE_UNUSED)
3831{
3832 oappend (names_seg[reg]);
3833}
3834
3835static void
3836OP_DIR (int dummy ATTRIBUTE_UNUSED, int sizeflag)
3837{
3838 int seg, offset;
3839
3840 if (sizeflag & DFLAG)
3841 {
3842 offset = get32 ();
3843 seg = get16 ();
3844 }
3845 else
3846 {
3847 offset = get16 ();
3848 seg = get16 ();
3849 }
3850 used_prefixes |= (prefixes & PREFIX_DATA);
3851 if (intel_syntax)
3852 sprintf (scratchbuf, "0x%x,0x%x", seg, offset);
3853 else
3854 sprintf (scratchbuf, "$0x%x,$0x%x", seg, offset);
3855 oappend (scratchbuf);
3856}
3857
3858static void
3859OP_OFF (int bytemode ATTRIBUTE_UNUSED, int sizeflag)
3860{
3861 bfd_vma off;
3862
3863 append_seg ();
3864
3865 if ((sizeflag & AFLAG) || mode_64bit)
3866 off = get32 ();
3867 else
3868 off = get16 ();
3869
3870 if (intel_syntax)
3871 {
3872 if (!(prefixes & (PREFIX_CS | PREFIX_SS | PREFIX_DS
3873 | PREFIX_ES | PREFIX_FS | PREFIX_GS)))
3874 {
3875 oappend (names_seg[ds_reg - es_reg]);
3876 oappend (":");
3877 }
3878 }
3879 print_operand_value (scratchbuf, 1, off);
3880 oappend (scratchbuf);
3881}
3882
3883static void
3884OP_OFF64 (int bytemode ATTRIBUTE_UNUSED, int sizeflag ATTRIBUTE_UNUSED)
3885{
3886 bfd_vma off;
3887
3888 if (!mode_64bit)
3889 {
3890 OP_OFF (bytemode, sizeflag);
3891 return;
3892 }
3893
3894 append_seg ();
3895
3896 off = get64 ();
3897
3898 if (intel_syntax)
3899 {
3900 if (!(prefixes & (PREFIX_CS | PREFIX_SS | PREFIX_DS
3901 | PREFIX_ES | PREFIX_FS | PREFIX_GS)))
3902 {
3903 oappend (names_seg[ds_reg - es_reg]);
3904 oappend (":");
3905 }
3906 }
3907 print_operand_value (scratchbuf, 1, off);
3908 oappend (scratchbuf);
3909}
3910
3911static void
3912ptr_reg (int code, int sizeflag)
3913{
3914 const char *s;
3915
3916 *obufp++ = open_char;
3917 used_prefixes |= (prefixes & PREFIX_ADDR);
3918 if (mode_64bit)
3919 {
3920 if (!(sizeflag & AFLAG))
3921 s = names32[code - eAX_reg];
3922 else
3923 s = names64[code - eAX_reg];
3924 }
3925 else if (sizeflag & AFLAG)
3926 s = names32[code - eAX_reg];
3927 else
3928 s = names16[code - eAX_reg];
3929 oappend (s);
3930 *obufp++ = close_char;
3931 *obufp = 0;
3932}
3933
3934static void
3935OP_ESreg (int code, int sizeflag)
3936{
3937 if (intel_syntax)
3938 {
3939 if (codep[-1] & 1)
3940 {
3941 USED_REX (REX_MODE64);
3942 used_prefixes |= (prefixes & PREFIX_DATA);
3943 if (rex & REX_MODE64)
3944 oappend ("QWORD PTR ");
3945 else if ((sizeflag & DFLAG))
3946 oappend ("DWORD PTR ");
3947 else
3948 oappend ("WORD PTR ");
3949 }
3950 else
3951 oappend ("BYTE PTR ");
3952 }
3953
3954 oappend ("%es:" + intel_syntax);
3955 ptr_reg (code, sizeflag);
3956}
3957
3958static void
3959OP_DSreg (int code, int sizeflag)
3960{
3961 if (intel_syntax)
3962 {
3963 if (codep[-1] != 0xd7 && (codep[-1] & 1))
3964 {
3965 USED_REX (REX_MODE64);
3966 used_prefixes |= (prefixes & PREFIX_DATA);
3967 if (rex & REX_MODE64)
3968 oappend ("QWORD PTR ");
3969 else if ((sizeflag & DFLAG))
3970 oappend ("DWORD PTR ");
3971 else
3972 oappend ("WORD PTR ");
3973 }
3974 else
3975 oappend ("BYTE PTR ");
3976 }
3977
3978 if ((prefixes
3979 & (PREFIX_CS
3980 | PREFIX_DS
3981 | PREFIX_SS
3982 | PREFIX_ES
3983 | PREFIX_FS
3984 | PREFIX_GS)) == 0)
3985 prefixes |= PREFIX_DS;
3986 append_seg ();
3987 ptr_reg (code, sizeflag);
3988}
3989
3990static void
3991OP_C (int dummy ATTRIBUTE_UNUSED, int sizeflag ATTRIBUTE_UNUSED)
3992{
3993 int add = 0;
3994 USED_REX (REX_EXTX);
3995 if (rex & REX_EXTX)
3996 add = 8;
3997 sprintf (scratchbuf, "%%cr%d", reg + add);
3998 oappend (scratchbuf + intel_syntax);
3999}
4000
4001static void
4002OP_D (int dummy ATTRIBUTE_UNUSED, int sizeflag ATTRIBUTE_UNUSED)
4003{
4004 int add = 0;
4005 USED_REX (REX_EXTX);
4006 if (rex & REX_EXTX)
4007 add = 8;
4008 if (intel_syntax)
4009 sprintf (scratchbuf, "db%d", reg + add);
4010 else
4011 sprintf (scratchbuf, "%%db%d", reg + add);
4012 oappend (scratchbuf);
4013}
4014
4015static void
4016OP_T (int dummy ATTRIBUTE_UNUSED, int sizeflag ATTRIBUTE_UNUSED)
4017{
4018 sprintf (scratchbuf, "%%tr%d", reg);
4019 oappend (scratchbuf + intel_syntax);
4020}
4021
4022static void
4023OP_Rd (int bytemode, int sizeflag)
4024{
4025 if (mod == 3)
4026 OP_E (bytemode, sizeflag);
4027 else
4028 BadOp ();
4029}
4030
4031static void
4032OP_MMX (int bytemode ATTRIBUTE_UNUSED, int sizeflag ATTRIBUTE_UNUSED)
4033{
4034 used_prefixes |= (prefixes & PREFIX_DATA);
4035 if (prefixes & PREFIX_DATA)
4036 {
4037 int add = 0;
4038 USED_REX (REX_EXTX);
4039 if (rex & REX_EXTX)
4040 add = 8;
4041 sprintf (scratchbuf, "%%xmm%d", reg + add);
4042 }
4043 else
4044 sprintf (scratchbuf, "%%mm%d", reg);
4045 oappend (scratchbuf + intel_syntax);
4046}
4047
4048static void
4049OP_XMM (int bytemode ATTRIBUTE_UNUSED, int sizeflag ATTRIBUTE_UNUSED)
4050{
4051 int add = 0;
4052 USED_REX (REX_EXTX);
4053 if (rex & REX_EXTX)
4054 add = 8;
4055 sprintf (scratchbuf, "%%xmm%d", reg + add);
4056 oappend (scratchbuf + intel_syntax);
4057}
4058
4059static void
4060OP_EM (int bytemode, int sizeflag)
4061{
4062 if (mod != 3)
4063 {
4064 if (intel_syntax && bytemode == v_mode)
4065 {
4066 bytemode = (prefixes & PREFIX_DATA) ? x_mode : q_mode;
4067 used_prefixes |= (prefixes & PREFIX_DATA);
4068 }
4069 OP_E (bytemode, sizeflag);
4070 return;
4071 }
4072
4073 /* Skip mod/rm byte. */
4074 MODRM_CHECK;
4075 codep++;
4076 used_prefixes |= (prefixes & PREFIX_DATA);
4077 if (prefixes & PREFIX_DATA)
4078 {
4079 int add = 0;
4080
4081 USED_REX (REX_EXTZ);
4082 if (rex & REX_EXTZ)
4083 add = 8;
4084 sprintf (scratchbuf, "%%xmm%d", rm + add);
4085 }
4086 else
4087 sprintf (scratchbuf, "%%mm%d", rm);
4088 oappend (scratchbuf + intel_syntax);
4089}
4090
4091static void
4092OP_EX (int bytemode, int sizeflag)
4093{
4094 int add = 0;
4095 if (mod != 3)
4096 {
4097 if (intel_syntax && bytemode == v_mode)
4098 {
4099 switch (prefixes & (PREFIX_DATA|PREFIX_REPZ|PREFIX_REPNZ))
4100 {
4101 case 0: bytemode = x_mode; break;
4102 case PREFIX_REPZ: bytemode = d_mode; used_prefixes |= PREFIX_REPZ; break;
4103 case PREFIX_DATA: bytemode = x_mode; used_prefixes |= PREFIX_DATA; break;
4104 case PREFIX_REPNZ: bytemode = q_mode; used_prefixes |= PREFIX_REPNZ; break;
4105 default: bytemode = 0; break;
4106 }
4107 }
4108 OP_E (bytemode, sizeflag);
4109 return;
4110 }
4111 USED_REX (REX_EXTZ);
4112 if (rex & REX_EXTZ)
4113 add = 8;
4114
4115 /* Skip mod/rm byte. */
4116 MODRM_CHECK;
4117 codep++;
4118 sprintf (scratchbuf, "%%xmm%d", rm + add);
4119 oappend (scratchbuf + intel_syntax);
4120}
4121
4122static void
4123OP_MS (int bytemode, int sizeflag)
4124{
4125 if (mod == 3)
4126 OP_EM (bytemode, sizeflag);
4127 else
4128 BadOp ();
4129}
4130
4131static void
4132OP_XS (int bytemode, int sizeflag)
4133{
4134 if (mod == 3)
4135 OP_EX (bytemode, sizeflag);
4136 else
4137 BadOp ();
4138}
4139
4140static void
4141OP_M (int bytemode, int sizeflag)
4142{
4143 if (mod == 3)
4144 BadOp (); /* bad lea,lds,les,lfs,lgs,lss modrm */
4145 else
4146 OP_E (bytemode, sizeflag);
4147}
4148
4149static void
4150OP_0f07 (int bytemode, int sizeflag)
4151{
4152 if (mod != 3 || rm != 0)
4153 BadOp ();
4154 else
4155 OP_E (bytemode, sizeflag);
4156}
4157
4158static void
4159OP_0fae (int bytemode, int sizeflag)
4160{
4161 if (mod == 3)
4162 {
4163 if (reg == 7)
4164 strcpy (obuf + strlen (obuf) - sizeof ("clflush") + 1, "sfence");
4165
4166 if (reg < 5 || rm != 0)
4167 {
4168 BadOp (); /* bad sfence, mfence, or lfence */
4169 return;
4170 }
4171 }
4172 else if (reg != 7)
4173 {
4174 BadOp (); /* bad clflush */
4175 return;
4176 }
4177
4178 OP_E (bytemode, sizeflag);
4179}
4180
4181static void
4182NOP_Fixup (int bytemode ATTRIBUTE_UNUSED, int sizeflag ATTRIBUTE_UNUSED)
4183{
4184 /* NOP with REPZ prefix is called PAUSE. */
4185 if (prefixes == PREFIX_REPZ)
4186 strcpy (obuf, "pause");
4187}
4188
4189static const char *const Suffix3DNow[] = {
4190/* 00 */ NULL, NULL, NULL, NULL,
4191/* 04 */ NULL, NULL, NULL, NULL,
4192/* 08 */ NULL, NULL, NULL, NULL,
4193/* 0C */ "pi2fw", "pi2fd", NULL, NULL,
4194/* 10 */ NULL, NULL, NULL, NULL,
4195/* 14 */ NULL, NULL, NULL, NULL,
4196/* 18 */ NULL, NULL, NULL, NULL,
4197/* 1C */ "pf2iw", "pf2id", NULL, NULL,
4198/* 20 */ NULL, NULL, NULL, NULL,
4199/* 24 */ NULL, NULL, NULL, NULL,
4200/* 28 */ NULL, NULL, NULL, NULL,
4201/* 2C */ NULL, NULL, NULL, NULL,
4202/* 30 */ NULL, NULL, NULL, NULL,
4203/* 34 */ NULL, NULL, NULL, NULL,
4204/* 38 */ NULL, NULL, NULL, NULL,
4205/* 3C */ NULL, NULL, NULL, NULL,
4206/* 40 */ NULL, NULL, NULL, NULL,
4207/* 44 */ NULL, NULL, NULL, NULL,
4208/* 48 */ NULL, NULL, NULL, NULL,
4209/* 4C */ NULL, NULL, NULL, NULL,
4210/* 50 */ NULL, NULL, NULL, NULL,
4211/* 54 */ NULL, NULL, NULL, NULL,
4212/* 58 */ NULL, NULL, NULL, NULL,
4213/* 5C */ NULL, NULL, NULL, NULL,
4214/* 60 */ NULL, NULL, NULL, NULL,
4215/* 64 */ NULL, NULL, NULL, NULL,
4216/* 68 */ NULL, NULL, NULL, NULL,
4217/* 6C */ NULL, NULL, NULL, NULL,
4218/* 70 */ NULL, NULL, NULL, NULL,
4219/* 74 */ NULL, NULL, NULL, NULL,
4220/* 78 */ NULL, NULL, NULL, NULL,
4221/* 7C */ NULL, NULL, NULL, NULL,
4222/* 80 */ NULL, NULL, NULL, NULL,
4223/* 84 */ NULL, NULL, NULL, NULL,
4224/* 88 */ NULL, NULL, "pfnacc", NULL,
4225/* 8C */ NULL, NULL, "pfpnacc", NULL,
4226/* 90 */ "pfcmpge", NULL, NULL, NULL,
4227/* 94 */ "pfmin", NULL, "pfrcp", "pfrsqrt",
4228/* 98 */ NULL, NULL, "pfsub", NULL,
4229/* 9C */ NULL, NULL, "pfadd", NULL,
4230/* A0 */ "pfcmpgt", NULL, NULL, NULL,
4231/* A4 */ "pfmax", NULL, "pfrcpit1", "pfrsqit1",
4232/* A8 */ NULL, NULL, "pfsubr", NULL,
4233/* AC */ NULL, NULL, "pfacc", NULL,
4234/* B0 */ "pfcmpeq", NULL, NULL, NULL,
4235/* B4 */ "pfmul", NULL, "pfrcpit2", "pfmulhrw",
4236/* B8 */ NULL, NULL, NULL, "pswapd",
4237/* BC */ NULL, NULL, NULL, "pavgusb",
4238/* C0 */ NULL, NULL, NULL, NULL,
4239/* C4 */ NULL, NULL, NULL, NULL,
4240/* C8 */ NULL, NULL, NULL, NULL,
4241/* CC */ NULL, NULL, NULL, NULL,
4242/* D0 */ NULL, NULL, NULL, NULL,
4243/* D4 */ NULL, NULL, NULL, NULL,
4244/* D8 */ NULL, NULL, NULL, NULL,
4245/* DC */ NULL, NULL, NULL, NULL,
4246/* E0 */ NULL, NULL, NULL, NULL,
4247/* E4 */ NULL, NULL, NULL, NULL,
4248/* E8 */ NULL, NULL, NULL, NULL,
4249/* EC */ NULL, NULL, NULL, NULL,
4250/* F0 */ NULL, NULL, NULL, NULL,
4251/* F4 */ NULL, NULL, NULL, NULL,
4252/* F8 */ NULL, NULL, NULL, NULL,
4253/* FC */ NULL, NULL, NULL, NULL,
4254};
4255
4256static void
4257OP_3DNowSuffix (int bytemode ATTRIBUTE_UNUSED, int sizeflag ATTRIBUTE_UNUSED)
4258{
4259 const char *mnemonic;
4260
4261 FETCH_DATA (the_info, codep + 1);
4262 /* AMD 3DNow! instructions are specified by an opcode suffix in the
4263 place where an 8-bit immediate would normally go. ie. the last
4264 byte of the instruction. */
4265 obufp = obuf + strlen (obuf);
4266 mnemonic = Suffix3DNow[*codep++ & 0xff];
4267 if (mnemonic)
4268 oappend (mnemonic);
4269 else
4270 {
4271 /* Since a variable sized modrm/sib chunk is between the start
4272 of the opcode (0x0f0f) and the opcode suffix, we need to do
4273 all the modrm processing first, and don't know until now that
4274 we have a bad opcode. This necessitates some cleaning up. */
4275 op1out[0] = '\0';
4276 op2out[0] = '\0';
4277 BadOp ();
4278 }
4279}
4280
4281static const char *simd_cmp_op[] = {
4282 "eq",
4283 "lt",
4284 "le",
4285 "unord",
4286 "neq",
4287 "nlt",
4288 "nle",
4289 "ord"
4290};
4291
4292static void
4293OP_SIMD_Suffix (int bytemode ATTRIBUTE_UNUSED, int sizeflag ATTRIBUTE_UNUSED)
4294{
4295 unsigned int cmp_type;
4296
4297 FETCH_DATA (the_info, codep + 1);
4298 obufp = obuf + strlen (obuf);
4299 cmp_type = *codep++ & 0xff;
4300 if (cmp_type < 8)
4301 {
4302 char suffix1 = 'p', suffix2 = 's';
4303 used_prefixes |= (prefixes & PREFIX_REPZ);
4304 if (prefixes & PREFIX_REPZ)
4305 suffix1 = 's';
4306 else
4307 {
4308 used_prefixes |= (prefixes & PREFIX_DATA);
4309 if (prefixes & PREFIX_DATA)
4310 suffix2 = 'd';
4311 else
4312 {
4313 used_prefixes |= (prefixes & PREFIX_REPNZ);
4314 if (prefixes & PREFIX_REPNZ)
4315 suffix1 = 's', suffix2 = 'd';
4316 }
4317 }
4318 sprintf (scratchbuf, "cmp%s%c%c",
4319 simd_cmp_op[cmp_type], suffix1, suffix2);
4320 used_prefixes |= (prefixes & PREFIX_REPZ);
4321 oappend (scratchbuf);
4322 }
4323 else
4324 {
4325 /* We have a bad extension byte. Clean up. */
4326 op1out[0] = '\0';
4327 op2out[0] = '\0';
4328 BadOp ();
4329 }
4330}
4331
4332static void
4333SIMD_Fixup (int extrachar, int sizeflag ATTRIBUTE_UNUSED)
4334{
4335 /* Change movlps/movhps to movhlps/movlhps for 2 register operand
4336 forms of these instructions. */
4337 if (mod == 3)
4338 {
4339 char *p = obuf + strlen (obuf);
4340 *(p + 1) = '\0';
4341 *p = *(p - 1);
4342 *(p - 1) = *(p - 2);
4343 *(p - 2) = *(p - 3);
4344 *(p - 3) = extrachar;
4345 }
4346}
4347
4348static void
4349PNI_Fixup (int extrachar ATTRIBUTE_UNUSED, int sizeflag)
4350{
4351 if (mod == 3 && reg == 1 && rm <= 1)
4352 {
4353 /* Override "sidt". */
4354 char *p = obuf + strlen (obuf) - 4;
4355
4356 /* We might have a suffix. */
4357 if (*p == 'i')
4358 --p;
4359
4360 if (rm)
4361 {
4362 /* mwait %eax,%ecx */
4363 strcpy (p, "mwait");
4364 }
4365 else
4366 {
4367 /* monitor %eax,%ecx,%edx" */
4368 strcpy (p, "monitor");
4369 strcpy (op3out, names32[2]);
4370 }
4371 strcpy (op1out, names32[0]);
4372 strcpy (op2out, names32[1]);
4373 two_source_ops = 1;
4374
4375 codep++;
4376 }
4377 else
4378 OP_E (0, sizeflag);
4379}
4380
4381static void
4382INVLPG_Fixup (int bytemode, int sizeflag)
4383{
4384 if (*codep == 0xf8)
4385 {
4386 char *p = obuf + strlen (obuf);
4387
4388 /* Override "invlpg". */
4389 strcpy (p - 6, "swapgs");
4390 codep++;
4391 }
4392 else
4393 OP_E (bytemode, sizeflag);
4394}
4395
4396static void
4397BadOp (void)
4398{
4399 /* Throw away prefixes and 1st. opcode byte. */
4400 codep = insn_codep + 1;
4401 oappend ("(bad)");
4402}
This page took 0.036024 seconds and 4 git commands to generate.