1 /* Intel 386 target-dependent stuff.
3 Copyright (C) 1988-2016 Free Software Foundation, Inc.
5 This file is part of GDB.
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 3 of the License, or
10 (at your option) any later version.
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.
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
21 #include "opcode/i386.h"
22 #include "arch-utils.h"
24 #include "dummy-frame.h"
25 #include "dwarf2-frame.h"
28 #include "frame-base.h"
29 #include "frame-unwind.h"
38 #include "reggroups.h"
47 #include "i386-tdep.h"
48 #include "i387-tdep.h"
49 #include "x86-xstate.h"
52 #include "record-full.h"
53 #include "features/i386/i386.c"
54 #include "features/i386/i386-avx.c"
55 #include "features/i386/i386-mpx.c"
56 #include "features/i386/i386-avx-mpx.c"
57 #include "features/i386/i386-avx512.c"
58 #include "features/i386/i386-mmx.c"
63 #include "stap-probe.h"
64 #include "user-regs.h"
65 #include "cli/cli-utils.h"
66 #include "expression.h"
67 #include "parser-defs.h"
72 static const char *i386_register_names[] =
74 "eax", "ecx", "edx", "ebx",
75 "esp", "ebp", "esi", "edi",
76 "eip", "eflags", "cs", "ss",
77 "ds", "es", "fs", "gs",
78 "st0", "st1", "st2", "st3",
79 "st4", "st5", "st6", "st7",
80 "fctrl", "fstat", "ftag", "fiseg",
81 "fioff", "foseg", "fooff", "fop",
82 "xmm0", "xmm1", "xmm2", "xmm3",
83 "xmm4", "xmm5", "xmm6", "xmm7",
87 static const char *i386_zmm_names[] =
89 "zmm0", "zmm1", "zmm2", "zmm3",
90 "zmm4", "zmm5", "zmm6", "zmm7"
93 static const char *i386_zmmh_names[] =
95 "zmm0h", "zmm1h", "zmm2h", "zmm3h",
96 "zmm4h", "zmm5h", "zmm6h", "zmm7h"
99 static const char *i386_k_names[] =
101 "k0", "k1", "k2", "k3",
102 "k4", "k5", "k6", "k7"
105 static const char *i386_ymm_names[] =
107 "ymm0", "ymm1", "ymm2", "ymm3",
108 "ymm4", "ymm5", "ymm6", "ymm7",
111 static const char *i386_ymmh_names[] =
113 "ymm0h", "ymm1h", "ymm2h", "ymm3h",
114 "ymm4h", "ymm5h", "ymm6h", "ymm7h",
117 static const char *i386_mpx_names[] =
119 "bnd0raw", "bnd1raw", "bnd2raw", "bnd3raw", "bndcfgu", "bndstatus"
122 /* Register names for MPX pseudo-registers. */
124 static const char *i386_bnd_names[] =
126 "bnd0", "bnd1", "bnd2", "bnd3"
129 /* Register names for MMX pseudo-registers. */
131 static const char *i386_mmx_names[] =
133 "mm0", "mm1", "mm2", "mm3",
134 "mm4", "mm5", "mm6", "mm7"
137 /* Register names for byte pseudo-registers. */
139 static const char *i386_byte_names[] =
141 "al", "cl", "dl", "bl",
142 "ah", "ch", "dh", "bh"
145 /* Register names for word pseudo-registers. */
147 static const char *i386_word_names[] =
149 "ax", "cx", "dx", "bx",
153 /* Constant used for reading/writing pseudo registers. In 64-bit mode, we have
154 16 lower ZMM regs that extend corresponding xmm/ymm registers. In addition,
155 we have 16 upper ZMM regs that have to be handled differently. */
157 const int num_lower_zmm_regs = 16;
162 i386_mmx_regnum_p (struct gdbarch *gdbarch, int regnum)
164 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
165 int mm0_regnum = tdep->mm0_regnum;
170 regnum -= mm0_regnum;
171 return regnum >= 0 && regnum < tdep->num_mmx_regs;
177 i386_byte_regnum_p (struct gdbarch *gdbarch, int regnum)
179 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
181 regnum -= tdep->al_regnum;
182 return regnum >= 0 && regnum < tdep->num_byte_regs;
188 i386_word_regnum_p (struct gdbarch *gdbarch, int regnum)
190 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
192 regnum -= tdep->ax_regnum;
193 return regnum >= 0 && regnum < tdep->num_word_regs;
196 /* Dword register? */
199 i386_dword_regnum_p (struct gdbarch *gdbarch, int regnum)
201 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
202 int eax_regnum = tdep->eax_regnum;
207 regnum -= eax_regnum;
208 return regnum >= 0 && regnum < tdep->num_dword_regs;
211 /* AVX512 register? */
214 i386_zmmh_regnum_p (struct gdbarch *gdbarch, int regnum)
216 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
217 int zmm0h_regnum = tdep->zmm0h_regnum;
219 if (zmm0h_regnum < 0)
222 regnum -= zmm0h_regnum;
223 return regnum >= 0 && regnum < tdep->num_zmm_regs;
227 i386_zmm_regnum_p (struct gdbarch *gdbarch, int regnum)
229 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
230 int zmm0_regnum = tdep->zmm0_regnum;
235 regnum -= zmm0_regnum;
236 return regnum >= 0 && regnum < tdep->num_zmm_regs;
240 i386_k_regnum_p (struct gdbarch *gdbarch, int regnum)
242 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
243 int k0_regnum = tdep->k0_regnum;
249 return regnum >= 0 && regnum < I387_NUM_K_REGS;
253 i386_ymmh_regnum_p (struct gdbarch *gdbarch, int regnum)
255 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
256 int ymm0h_regnum = tdep->ymm0h_regnum;
258 if (ymm0h_regnum < 0)
261 regnum -= ymm0h_regnum;
262 return regnum >= 0 && regnum < tdep->num_ymm_regs;
268 i386_ymm_regnum_p (struct gdbarch *gdbarch, int regnum)
270 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
271 int ymm0_regnum = tdep->ymm0_regnum;
276 regnum -= ymm0_regnum;
277 return regnum >= 0 && regnum < tdep->num_ymm_regs;
281 i386_ymmh_avx512_regnum_p (struct gdbarch *gdbarch, int regnum)
283 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
284 int ymm16h_regnum = tdep->ymm16h_regnum;
286 if (ymm16h_regnum < 0)
289 regnum -= ymm16h_regnum;
290 return regnum >= 0 && regnum < tdep->num_ymm_avx512_regs;
294 i386_ymm_avx512_regnum_p (struct gdbarch *gdbarch, int regnum)
296 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
297 int ymm16_regnum = tdep->ymm16_regnum;
299 if (ymm16_regnum < 0)
302 regnum -= ymm16_regnum;
303 return regnum >= 0 && regnum < tdep->num_ymm_avx512_regs;
309 i386_bnd_regnum_p (struct gdbarch *gdbarch, int regnum)
311 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
312 int bnd0_regnum = tdep->bnd0_regnum;
317 regnum -= bnd0_regnum;
318 return regnum >= 0 && regnum < I387_NUM_BND_REGS;
324 i386_xmm_regnum_p (struct gdbarch *gdbarch, int regnum)
326 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
327 int num_xmm_regs = I387_NUM_XMM_REGS (tdep);
329 if (num_xmm_regs == 0)
332 regnum -= I387_XMM0_REGNUM (tdep);
333 return regnum >= 0 && regnum < num_xmm_regs;
336 /* XMM_512 register? */
339 i386_xmm_avx512_regnum_p (struct gdbarch *gdbarch, int regnum)
341 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
342 int num_xmm_avx512_regs = I387_NUM_XMM_AVX512_REGS (tdep);
344 if (num_xmm_avx512_regs == 0)
347 regnum -= I387_XMM16_REGNUM (tdep);
348 return regnum >= 0 && regnum < num_xmm_avx512_regs;
352 i386_mxcsr_regnum_p (struct gdbarch *gdbarch, int regnum)
354 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
356 if (I387_NUM_XMM_REGS (tdep) == 0)
359 return (regnum == I387_MXCSR_REGNUM (tdep));
365 i386_fp_regnum_p (struct gdbarch *gdbarch, int regnum)
367 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
369 if (I387_ST0_REGNUM (tdep) < 0)
372 return (I387_ST0_REGNUM (tdep) <= regnum
373 && regnum < I387_FCTRL_REGNUM (tdep));
377 i386_fpc_regnum_p (struct gdbarch *gdbarch, int regnum)
379 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
381 if (I387_ST0_REGNUM (tdep) < 0)
384 return (I387_FCTRL_REGNUM (tdep) <= regnum
385 && regnum < I387_XMM0_REGNUM (tdep));
388 /* BNDr (raw) register? */
391 i386_bndr_regnum_p (struct gdbarch *gdbarch, int regnum)
393 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
395 if (I387_BND0R_REGNUM (tdep) < 0)
398 regnum -= tdep->bnd0r_regnum;
399 return regnum >= 0 && regnum < I387_NUM_BND_REGS;
402 /* BND control register? */
405 i386_mpx_ctrl_regnum_p (struct gdbarch *gdbarch, int regnum)
407 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
409 if (I387_BNDCFGU_REGNUM (tdep) < 0)
412 regnum -= I387_BNDCFGU_REGNUM (tdep);
413 return regnum >= 0 && regnum < I387_NUM_MPX_CTRL_REGS;
416 /* Return the name of register REGNUM, or the empty string if it is
417 an anonymous register. */
420 i386_register_name (struct gdbarch *gdbarch, int regnum)
422 /* Hide the upper YMM registers. */
423 if (i386_ymmh_regnum_p (gdbarch, regnum))
426 /* Hide the upper YMM16-31 registers. */
427 if (i386_ymmh_avx512_regnum_p (gdbarch, regnum))
430 /* Hide the upper ZMM registers. */
431 if (i386_zmmh_regnum_p (gdbarch, regnum))
434 return tdesc_register_name (gdbarch, regnum);
437 /* Return the name of register REGNUM. */
440 i386_pseudo_register_name (struct gdbarch *gdbarch, int regnum)
442 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
443 if (i386_bnd_regnum_p (gdbarch, regnum))
444 return i386_bnd_names[regnum - tdep->bnd0_regnum];
445 if (i386_mmx_regnum_p (gdbarch, regnum))
446 return i386_mmx_names[regnum - I387_MM0_REGNUM (tdep)];
447 else if (i386_ymm_regnum_p (gdbarch, regnum))
448 return i386_ymm_names[regnum - tdep->ymm0_regnum];
449 else if (i386_zmm_regnum_p (gdbarch, regnum))
450 return i386_zmm_names[regnum - tdep->zmm0_regnum];
451 else if (i386_byte_regnum_p (gdbarch, regnum))
452 return i386_byte_names[regnum - tdep->al_regnum];
453 else if (i386_word_regnum_p (gdbarch, regnum))
454 return i386_word_names[regnum - tdep->ax_regnum];
456 internal_error (__FILE__, __LINE__, _("invalid regnum"));
459 /* Convert a dbx register number REG to the appropriate register
460 number used by GDB. */
463 i386_dbx_reg_to_regnum (struct gdbarch *gdbarch, int reg)
465 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
467 /* This implements what GCC calls the "default" register map
468 (dbx_register_map[]). */
470 if (reg >= 0 && reg <= 7)
472 /* General-purpose registers. The debug info calls %ebp
473 register 4, and %esp register 5. */
480 else if (reg >= 12 && reg <= 19)
482 /* Floating-point registers. */
483 return reg - 12 + I387_ST0_REGNUM (tdep);
485 else if (reg >= 21 && reg <= 28)
488 int ymm0_regnum = tdep->ymm0_regnum;
491 && i386_xmm_regnum_p (gdbarch, reg))
492 return reg - 21 + ymm0_regnum;
494 return reg - 21 + I387_XMM0_REGNUM (tdep);
496 else if (reg >= 29 && reg <= 36)
499 return reg - 29 + I387_MM0_REGNUM (tdep);
502 /* This will hopefully provoke a warning. */
503 return gdbarch_num_regs (gdbarch) + gdbarch_num_pseudo_regs (gdbarch);
506 /* Convert SVR4 DWARF register number REG to the appropriate register number
510 i386_svr4_dwarf_reg_to_regnum (struct gdbarch *gdbarch, int reg)
512 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
514 /* This implements the GCC register map that tries to be compatible
515 with the SVR4 C compiler for DWARF (svr4_dbx_register_map[]). */
517 /* The SVR4 register numbering includes %eip and %eflags, and
518 numbers the floating point registers differently. */
519 if (reg >= 0 && reg <= 9)
521 /* General-purpose registers. */
524 else if (reg >= 11 && reg <= 18)
526 /* Floating-point registers. */
527 return reg - 11 + I387_ST0_REGNUM (tdep);
529 else if (reg >= 21 && reg <= 36)
531 /* The SSE and MMX registers have the same numbers as with dbx. */
532 return i386_dbx_reg_to_regnum (gdbarch, reg);
537 case 37: return I387_FCTRL_REGNUM (tdep);
538 case 38: return I387_FSTAT_REGNUM (tdep);
539 case 39: return I387_MXCSR_REGNUM (tdep);
540 case 40: return I386_ES_REGNUM;
541 case 41: return I386_CS_REGNUM;
542 case 42: return I386_SS_REGNUM;
543 case 43: return I386_DS_REGNUM;
544 case 44: return I386_FS_REGNUM;
545 case 45: return I386_GS_REGNUM;
551 /* Wrapper on i386_svr4_dwarf_reg_to_regnum to return
552 num_regs + num_pseudo_regs for other debug formats. */
555 i386_svr4_reg_to_regnum (struct gdbarch *gdbarch, int reg)
557 int regnum = i386_svr4_dwarf_reg_to_regnum (gdbarch, reg);
560 return gdbarch_num_regs (gdbarch) + gdbarch_num_pseudo_regs (gdbarch);
566 /* This is the variable that is set with "set disassembly-flavor", and
567 its legitimate values. */
568 static const char att_flavor[] = "att";
569 static const char intel_flavor[] = "intel";
570 static const char *const valid_flavors[] =
576 static const char *disassembly_flavor = att_flavor;
579 /* Use the program counter to determine the contents and size of a
580 breakpoint instruction. Return a pointer to a string of bytes that
581 encode a breakpoint instruction, store the length of the string in
582 *LEN and optionally adjust *PC to point to the correct memory
583 location for inserting the breakpoint.
585 On the i386 we have a single breakpoint that fits in a single byte
586 and can be inserted anywhere.
588 This function is 64-bit safe. */
590 static const gdb_byte *
591 i386_breakpoint_from_pc (struct gdbarch *gdbarch, CORE_ADDR *pc, int *len)
593 static gdb_byte break_insn[] = { 0xcc }; /* int 3 */
595 *len = sizeof (break_insn);
599 /* Displaced instruction handling. */
601 /* Skip the legacy instruction prefixes in INSN.
602 Not all prefixes are valid for any particular insn
603 but we needn't care, the insn will fault if it's invalid.
604 The result is a pointer to the first opcode byte,
605 or NULL if we run off the end of the buffer. */
608 i386_skip_prefixes (gdb_byte *insn, size_t max_len)
610 gdb_byte *end = insn + max_len;
616 case DATA_PREFIX_OPCODE:
617 case ADDR_PREFIX_OPCODE:
618 case CS_PREFIX_OPCODE:
619 case DS_PREFIX_OPCODE:
620 case ES_PREFIX_OPCODE:
621 case FS_PREFIX_OPCODE:
622 case GS_PREFIX_OPCODE:
623 case SS_PREFIX_OPCODE:
624 case LOCK_PREFIX_OPCODE:
625 case REPE_PREFIX_OPCODE:
626 case REPNE_PREFIX_OPCODE:
638 i386_absolute_jmp_p (const gdb_byte *insn)
640 /* jmp far (absolute address in operand). */
646 /* jump near, absolute indirect (/4). */
647 if ((insn[1] & 0x38) == 0x20)
650 /* jump far, absolute indirect (/5). */
651 if ((insn[1] & 0x38) == 0x28)
658 /* Return non-zero if INSN is a jump, zero otherwise. */
661 i386_jmp_p (const gdb_byte *insn)
663 /* jump short, relative. */
667 /* jump near, relative. */
671 return i386_absolute_jmp_p (insn);
675 i386_absolute_call_p (const gdb_byte *insn)
677 /* call far, absolute. */
683 /* Call near, absolute indirect (/2). */
684 if ((insn[1] & 0x38) == 0x10)
687 /* Call far, absolute indirect (/3). */
688 if ((insn[1] & 0x38) == 0x18)
696 i386_ret_p (const gdb_byte *insn)
700 case 0xc2: /* ret near, pop N bytes. */
701 case 0xc3: /* ret near */
702 case 0xca: /* ret far, pop N bytes. */
703 case 0xcb: /* ret far */
704 case 0xcf: /* iret */
713 i386_call_p (const gdb_byte *insn)
715 if (i386_absolute_call_p (insn))
718 /* call near, relative. */
725 /* Return non-zero if INSN is a system call, and set *LENGTHP to its
726 length in bytes. Otherwise, return zero. */
729 i386_syscall_p (const gdb_byte *insn, int *lengthp)
731 /* Is it 'int $0x80'? */
732 if ((insn[0] == 0xcd && insn[1] == 0x80)
733 /* Or is it 'sysenter'? */
734 || (insn[0] == 0x0f && insn[1] == 0x34)
735 /* Or is it 'syscall'? */
736 || (insn[0] == 0x0f && insn[1] == 0x05))
745 /* The gdbarch insn_is_call method. */
748 i386_insn_is_call (struct gdbarch *gdbarch, CORE_ADDR addr)
750 gdb_byte buf[I386_MAX_INSN_LEN], *insn;
752 read_code (addr, buf, I386_MAX_INSN_LEN);
753 insn = i386_skip_prefixes (buf, I386_MAX_INSN_LEN);
755 return i386_call_p (insn);
758 /* The gdbarch insn_is_ret method. */
761 i386_insn_is_ret (struct gdbarch *gdbarch, CORE_ADDR addr)
763 gdb_byte buf[I386_MAX_INSN_LEN], *insn;
765 read_code (addr, buf, I386_MAX_INSN_LEN);
766 insn = i386_skip_prefixes (buf, I386_MAX_INSN_LEN);
768 return i386_ret_p (insn);
771 /* The gdbarch insn_is_jump method. */
774 i386_insn_is_jump (struct gdbarch *gdbarch, CORE_ADDR addr)
776 gdb_byte buf[I386_MAX_INSN_LEN], *insn;
778 read_code (addr, buf, I386_MAX_INSN_LEN);
779 insn = i386_skip_prefixes (buf, I386_MAX_INSN_LEN);
781 return i386_jmp_p (insn);
784 /* Some kernels may run one past a syscall insn, so we have to cope.
785 Otherwise this is just simple_displaced_step_copy_insn. */
787 struct displaced_step_closure *
788 i386_displaced_step_copy_insn (struct gdbarch *gdbarch,
789 CORE_ADDR from, CORE_ADDR to,
790 struct regcache *regs)
792 size_t len = gdbarch_max_insn_length (gdbarch);
793 gdb_byte *buf = (gdb_byte *) xmalloc (len);
795 read_memory (from, buf, len);
797 /* GDB may get control back after the insn after the syscall.
798 Presumably this is a kernel bug.
799 If this is a syscall, make sure there's a nop afterwards. */
804 insn = i386_skip_prefixes (buf, len);
805 if (insn != NULL && i386_syscall_p (insn, &syscall_length))
806 insn[syscall_length] = NOP_OPCODE;
809 write_memory (to, buf, len);
813 fprintf_unfiltered (gdb_stdlog, "displaced: copy %s->%s: ",
814 paddress (gdbarch, from), paddress (gdbarch, to));
815 displaced_step_dump_bytes (gdb_stdlog, buf, len);
818 return (struct displaced_step_closure *) buf;
821 /* Fix up the state of registers and memory after having single-stepped
822 a displaced instruction. */
825 i386_displaced_step_fixup (struct gdbarch *gdbarch,
826 struct displaced_step_closure *closure,
827 CORE_ADDR from, CORE_ADDR to,
828 struct regcache *regs)
830 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
832 /* The offset we applied to the instruction's address.
833 This could well be negative (when viewed as a signed 32-bit
834 value), but ULONGEST won't reflect that, so take care when
836 ULONGEST insn_offset = to - from;
838 /* Since we use simple_displaced_step_copy_insn, our closure is a
839 copy of the instruction. */
840 gdb_byte *insn = (gdb_byte *) closure;
841 /* The start of the insn, needed in case we see some prefixes. */
842 gdb_byte *insn_start = insn;
845 fprintf_unfiltered (gdb_stdlog,
846 "displaced: fixup (%s, %s), "
847 "insn = 0x%02x 0x%02x ...\n",
848 paddress (gdbarch, from), paddress (gdbarch, to),
851 /* The list of issues to contend with here is taken from
852 resume_execution in arch/i386/kernel/kprobes.c, Linux 2.6.20.
853 Yay for Free Software! */
855 /* Relocate the %eip, if necessary. */
857 /* The instruction recognizers we use assume any leading prefixes
858 have been skipped. */
860 /* This is the size of the buffer in closure. */
861 size_t max_insn_len = gdbarch_max_insn_length (gdbarch);
862 gdb_byte *opcode = i386_skip_prefixes (insn, max_insn_len);
863 /* If there are too many prefixes, just ignore the insn.
864 It will fault when run. */
869 /* Except in the case of absolute or indirect jump or call
870 instructions, or a return instruction, the new eip is relative to
871 the displaced instruction; make it relative. Well, signal
872 handler returns don't need relocation either, but we use the
873 value of %eip to recognize those; see below. */
874 if (! i386_absolute_jmp_p (insn)
875 && ! i386_absolute_call_p (insn)
876 && ! i386_ret_p (insn))
881 regcache_cooked_read_unsigned (regs, I386_EIP_REGNUM, &orig_eip);
883 /* A signal trampoline system call changes the %eip, resuming
884 execution of the main program after the signal handler has
885 returned. That makes them like 'return' instructions; we
886 shouldn't relocate %eip.
888 But most system calls don't, and we do need to relocate %eip.
890 Our heuristic for distinguishing these cases: if stepping
891 over the system call instruction left control directly after
892 the instruction, the we relocate --- control almost certainly
893 doesn't belong in the displaced copy. Otherwise, we assume
894 the instruction has put control where it belongs, and leave
895 it unrelocated. Goodness help us if there are PC-relative
897 if (i386_syscall_p (insn, &insn_len)
898 && orig_eip != to + (insn - insn_start) + insn_len
899 /* GDB can get control back after the insn after the syscall.
900 Presumably this is a kernel bug.
901 i386_displaced_step_copy_insn ensures its a nop,
902 we add one to the length for it. */
903 && orig_eip != to + (insn - insn_start) + insn_len + 1)
906 fprintf_unfiltered (gdb_stdlog,
907 "displaced: syscall changed %%eip; "
912 ULONGEST eip = (orig_eip - insn_offset) & 0xffffffffUL;
914 /* If we just stepped over a breakpoint insn, we don't backup
915 the pc on purpose; this is to match behaviour without
918 regcache_cooked_write_unsigned (regs, I386_EIP_REGNUM, eip);
921 fprintf_unfiltered (gdb_stdlog,
923 "relocated %%eip from %s to %s\n",
924 paddress (gdbarch, orig_eip),
925 paddress (gdbarch, eip));
929 /* If the instruction was PUSHFL, then the TF bit will be set in the
930 pushed value, and should be cleared. We'll leave this for later,
931 since GDB already messes up the TF flag when stepping over a
934 /* If the instruction was a call, the return address now atop the
935 stack is the address following the copied instruction. We need
936 to make it the address following the original instruction. */
937 if (i386_call_p (insn))
941 const ULONGEST retaddr_len = 4;
943 regcache_cooked_read_unsigned (regs, I386_ESP_REGNUM, &esp);
944 retaddr = read_memory_unsigned_integer (esp, retaddr_len, byte_order);
945 retaddr = (retaddr - insn_offset) & 0xffffffffUL;
946 write_memory_unsigned_integer (esp, retaddr_len, byte_order, retaddr);
949 fprintf_unfiltered (gdb_stdlog,
950 "displaced: relocated return addr at %s to %s\n",
951 paddress (gdbarch, esp),
952 paddress (gdbarch, retaddr));
957 append_insns (CORE_ADDR *to, ULONGEST len, const gdb_byte *buf)
959 target_write_memory (*to, buf, len);
964 i386_relocate_instruction (struct gdbarch *gdbarch,
965 CORE_ADDR *to, CORE_ADDR oldloc)
967 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
968 gdb_byte buf[I386_MAX_INSN_LEN];
969 int offset = 0, rel32, newrel;
971 gdb_byte *insn = buf;
973 read_memory (oldloc, buf, I386_MAX_INSN_LEN);
975 insn_length = gdb_buffered_insn_length (gdbarch, insn,
976 I386_MAX_INSN_LEN, oldloc);
978 /* Get past the prefixes. */
979 insn = i386_skip_prefixes (insn, I386_MAX_INSN_LEN);
981 /* Adjust calls with 32-bit relative addresses as push/jump, with
982 the address pushed being the location where the original call in
983 the user program would return to. */
986 gdb_byte push_buf[16];
987 unsigned int ret_addr;
989 /* Where "ret" in the original code will return to. */
990 ret_addr = oldloc + insn_length;
991 push_buf[0] = 0x68; /* pushq $... */
992 store_unsigned_integer (&push_buf[1], 4, byte_order, ret_addr);
994 append_insns (to, 5, push_buf);
996 /* Convert the relative call to a relative jump. */
999 /* Adjust the destination offset. */
1000 rel32 = extract_signed_integer (insn + 1, 4, byte_order);
1001 newrel = (oldloc - *to) + rel32;
1002 store_signed_integer (insn + 1, 4, byte_order, newrel);
1004 if (debug_displaced)
1005 fprintf_unfiltered (gdb_stdlog,
1006 "Adjusted insn rel32=%s at %s to"
1007 " rel32=%s at %s\n",
1008 hex_string (rel32), paddress (gdbarch, oldloc),
1009 hex_string (newrel), paddress (gdbarch, *to));
1011 /* Write the adjusted jump into its displaced location. */
1012 append_insns (to, 5, insn);
1016 /* Adjust jumps with 32-bit relative addresses. Calls are already
1018 if (insn[0] == 0xe9)
1020 /* Adjust conditional jumps. */
1021 else if (insn[0] == 0x0f && (insn[1] & 0xf0) == 0x80)
1026 rel32 = extract_signed_integer (insn + offset, 4, byte_order);
1027 newrel = (oldloc - *to) + rel32;
1028 store_signed_integer (insn + offset, 4, byte_order, newrel);
1029 if (debug_displaced)
1030 fprintf_unfiltered (gdb_stdlog,
1031 "Adjusted insn rel32=%s at %s to"
1032 " rel32=%s at %s\n",
1033 hex_string (rel32), paddress (gdbarch, oldloc),
1034 hex_string (newrel), paddress (gdbarch, *to));
1037 /* Write the adjusted instructions into their displaced
1039 append_insns (to, insn_length, buf);
1043 #ifdef I386_REGNO_TO_SYMMETRY
1044 #error "The Sequent Symmetry is no longer supported."
1047 /* According to the System V ABI, the registers %ebp, %ebx, %edi, %esi
1048 and %esp "belong" to the calling function. Therefore these
1049 registers should be saved if they're going to be modified. */
1051 /* The maximum number of saved registers. This should include all
1052 registers mentioned above, and %eip. */
1053 #define I386_NUM_SAVED_REGS I386_NUM_GREGS
1055 struct i386_frame_cache
1063 /* Saved registers. */
1064 CORE_ADDR saved_regs[I386_NUM_SAVED_REGS];
1069 /* Stack space reserved for local variables. */
1073 /* Allocate and initialize a frame cache. */
1075 static struct i386_frame_cache *
1076 i386_alloc_frame_cache (void)
1078 struct i386_frame_cache *cache;
1081 cache = FRAME_OBSTACK_ZALLOC (struct i386_frame_cache);
1086 cache->sp_offset = -4;
1089 /* Saved registers. We initialize these to -1 since zero is a valid
1090 offset (that's where %ebp is supposed to be stored). */
1091 for (i = 0; i < I386_NUM_SAVED_REGS; i++)
1092 cache->saved_regs[i] = -1;
1093 cache->saved_sp = 0;
1094 cache->saved_sp_reg = -1;
1095 cache->pc_in_eax = 0;
1097 /* Frameless until proven otherwise. */
1103 /* If the instruction at PC is a jump, return the address of its
1104 target. Otherwise, return PC. */
1107 i386_follow_jump (struct gdbarch *gdbarch, CORE_ADDR pc)
1109 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
1114 if (target_read_code (pc, &op, 1))
1121 op = read_code_unsigned_integer (pc + 1, 1, byte_order);
1127 /* Relative jump: if data16 == 0, disp32, else disp16. */
1130 delta = read_memory_integer (pc + 2, 2, byte_order);
1132 /* Include the size of the jmp instruction (including the
1138 delta = read_memory_integer (pc + 1, 4, byte_order);
1140 /* Include the size of the jmp instruction. */
1145 /* Relative jump, disp8 (ignore data16). */
1146 delta = read_memory_integer (pc + data16 + 1, 1, byte_order);
1148 delta += data16 + 2;
1155 /* Check whether PC points at a prologue for a function returning a
1156 structure or union. If so, it updates CACHE and returns the
1157 address of the first instruction after the code sequence that
1158 removes the "hidden" argument from the stack or CURRENT_PC,
1159 whichever is smaller. Otherwise, return PC. */
1162 i386_analyze_struct_return (CORE_ADDR pc, CORE_ADDR current_pc,
1163 struct i386_frame_cache *cache)
1165 /* Functions that return a structure or union start with:
1168 xchgl %eax, (%esp) 0x87 0x04 0x24
1169 or xchgl %eax, 0(%esp) 0x87 0x44 0x24 0x00
1171 (the System V compiler puts out the second `xchg' instruction,
1172 and the assembler doesn't try to optimize it, so the 'sib' form
1173 gets generated). This sequence is used to get the address of the
1174 return buffer for a function that returns a structure. */
1175 static gdb_byte proto1[3] = { 0x87, 0x04, 0x24 };
1176 static gdb_byte proto2[4] = { 0x87, 0x44, 0x24, 0x00 };
1180 if (current_pc <= pc)
1183 if (target_read_code (pc, &op, 1))
1186 if (op != 0x58) /* popl %eax */
1189 if (target_read_code (pc + 1, buf, 4))
1192 if (memcmp (buf, proto1, 3) != 0 && memcmp (buf, proto2, 4) != 0)
1195 if (current_pc == pc)
1197 cache->sp_offset += 4;
1201 if (current_pc == pc + 1)
1203 cache->pc_in_eax = 1;
1207 if (buf[1] == proto1[1])
1214 i386_skip_probe (CORE_ADDR pc)
1216 /* A function may start with
1230 if (target_read_code (pc, &op, 1))
1233 if (op == 0x68 || op == 0x6a)
1237 /* Skip past the `pushl' instruction; it has either a one-byte or a
1238 four-byte operand, depending on the opcode. */
1244 /* Read the following 8 bytes, which should be `call _probe' (6
1245 bytes) followed by `addl $4,%esp' (2 bytes). */
1246 read_memory (pc + delta, buf, sizeof (buf));
1247 if (buf[0] == 0xe8 && buf[6] == 0xc4 && buf[7] == 0x4)
1248 pc += delta + sizeof (buf);
1254 /* GCC 4.1 and later, can put code in the prologue to realign the
1255 stack pointer. Check whether PC points to such code, and update
1256 CACHE accordingly. Return the first instruction after the code
1257 sequence or CURRENT_PC, whichever is smaller. If we don't
1258 recognize the code, return PC. */
1261 i386_analyze_stack_align (CORE_ADDR pc, CORE_ADDR current_pc,
1262 struct i386_frame_cache *cache)
1264 /* There are 2 code sequences to re-align stack before the frame
1267 1. Use a caller-saved saved register:
1273 2. Use a callee-saved saved register:
1280 "andl $-XXX, %esp" can be either 3 bytes or 6 bytes:
1282 0x83 0xe4 0xf0 andl $-16, %esp
1283 0x81 0xe4 0x00 0xff 0xff 0xff andl $-256, %esp
1288 int offset, offset_and;
1289 static int regnums[8] = {
1290 I386_EAX_REGNUM, /* %eax */
1291 I386_ECX_REGNUM, /* %ecx */
1292 I386_EDX_REGNUM, /* %edx */
1293 I386_EBX_REGNUM, /* %ebx */
1294 I386_ESP_REGNUM, /* %esp */
1295 I386_EBP_REGNUM, /* %ebp */
1296 I386_ESI_REGNUM, /* %esi */
1297 I386_EDI_REGNUM /* %edi */
1300 if (target_read_code (pc, buf, sizeof buf))
1303 /* Check caller-saved saved register. The first instruction has
1304 to be "leal 4(%esp), %reg". */
1305 if (buf[0] == 0x8d && buf[2] == 0x24 && buf[3] == 0x4)
1307 /* MOD must be binary 10 and R/M must be binary 100. */
1308 if ((buf[1] & 0xc7) != 0x44)
1311 /* REG has register number. */
1312 reg = (buf[1] >> 3) & 7;
1317 /* Check callee-saved saved register. The first instruction
1318 has to be "pushl %reg". */
1319 if ((buf[0] & 0xf8) != 0x50)
1325 /* The next instruction has to be "leal 8(%esp), %reg". */
1326 if (buf[1] != 0x8d || buf[3] != 0x24 || buf[4] != 0x8)
1329 /* MOD must be binary 10 and R/M must be binary 100. */
1330 if ((buf[2] & 0xc7) != 0x44)
1333 /* REG has register number. Registers in pushl and leal have to
1335 if (reg != ((buf[2] >> 3) & 7))
1341 /* Rigister can't be %esp nor %ebp. */
1342 if (reg == 4 || reg == 5)
1345 /* The next instruction has to be "andl $-XXX, %esp". */
1346 if (buf[offset + 1] != 0xe4
1347 || (buf[offset] != 0x81 && buf[offset] != 0x83))
1350 offset_and = offset;
1351 offset += buf[offset] == 0x81 ? 6 : 3;
1353 /* The next instruction has to be "pushl -4(%reg)". 8bit -4 is
1354 0xfc. REG must be binary 110 and MOD must be binary 01. */
1355 if (buf[offset] != 0xff
1356 || buf[offset + 2] != 0xfc
1357 || (buf[offset + 1] & 0xf8) != 0x70)
1360 /* R/M has register. Registers in leal and pushl have to be the
1362 if (reg != (buf[offset + 1] & 7))
1365 if (current_pc > pc + offset_and)
1366 cache->saved_sp_reg = regnums[reg];
1368 return min (pc + offset + 3, current_pc);
1371 /* Maximum instruction length we need to handle. */
1372 #define I386_MAX_MATCHED_INSN_LEN 6
1374 /* Instruction description. */
1378 gdb_byte insn[I386_MAX_MATCHED_INSN_LEN];
1379 gdb_byte mask[I386_MAX_MATCHED_INSN_LEN];
1382 /* Return whether instruction at PC matches PATTERN. */
1385 i386_match_pattern (CORE_ADDR pc, struct i386_insn pattern)
1389 if (target_read_code (pc, &op, 1))
1392 if ((op & pattern.mask[0]) == pattern.insn[0])
1394 gdb_byte buf[I386_MAX_MATCHED_INSN_LEN - 1];
1395 int insn_matched = 1;
1398 gdb_assert (pattern.len > 1);
1399 gdb_assert (pattern.len <= I386_MAX_MATCHED_INSN_LEN);
1401 if (target_read_code (pc + 1, buf, pattern.len - 1))
1404 for (i = 1; i < pattern.len; i++)
1406 if ((buf[i - 1] & pattern.mask[i]) != pattern.insn[i])
1409 return insn_matched;
1414 /* Search for the instruction at PC in the list INSN_PATTERNS. Return
1415 the first instruction description that matches. Otherwise, return
1418 static struct i386_insn *
1419 i386_match_insn (CORE_ADDR pc, struct i386_insn *insn_patterns)
1421 struct i386_insn *pattern;
1423 for (pattern = insn_patterns; pattern->len > 0; pattern++)
1425 if (i386_match_pattern (pc, *pattern))
1432 /* Return whether PC points inside a sequence of instructions that
1433 matches INSN_PATTERNS. */
1436 i386_match_insn_block (CORE_ADDR pc, struct i386_insn *insn_patterns)
1438 CORE_ADDR current_pc;
1440 struct i386_insn *insn;
1442 insn = i386_match_insn (pc, insn_patterns);
1447 ix = insn - insn_patterns;
1448 for (i = ix - 1; i >= 0; i--)
1450 current_pc -= insn_patterns[i].len;
1452 if (!i386_match_pattern (current_pc, insn_patterns[i]))
1456 current_pc = pc + insn->len;
1457 for (insn = insn_patterns + ix + 1; insn->len > 0; insn++)
1459 if (!i386_match_pattern (current_pc, *insn))
1462 current_pc += insn->len;
1468 /* Some special instructions that might be migrated by GCC into the
1469 part of the prologue that sets up the new stack frame. Because the
1470 stack frame hasn't been setup yet, no registers have been saved
1471 yet, and only the scratch registers %eax, %ecx and %edx can be
1474 struct i386_insn i386_frame_setup_skip_insns[] =
1476 /* Check for `movb imm8, r' and `movl imm32, r'.
1478 ??? Should we handle 16-bit operand-sizes here? */
1480 /* `movb imm8, %al' and `movb imm8, %ah' */
1481 /* `movb imm8, %cl' and `movb imm8, %ch' */
1482 { 2, { 0xb0, 0x00 }, { 0xfa, 0x00 } },
1483 /* `movb imm8, %dl' and `movb imm8, %dh' */
1484 { 2, { 0xb2, 0x00 }, { 0xfb, 0x00 } },
1485 /* `movl imm32, %eax' and `movl imm32, %ecx' */
1486 { 5, { 0xb8 }, { 0xfe } },
1487 /* `movl imm32, %edx' */
1488 { 5, { 0xba }, { 0xff } },
1490 /* Check for `mov imm32, r32'. Note that there is an alternative
1491 encoding for `mov m32, %eax'.
1493 ??? Should we handle SIB adressing here?
1494 ??? Should we handle 16-bit operand-sizes here? */
1496 /* `movl m32, %eax' */
1497 { 5, { 0xa1 }, { 0xff } },
1498 /* `movl m32, %eax' and `mov; m32, %ecx' */
1499 { 6, { 0x89, 0x05 }, {0xff, 0xf7 } },
1500 /* `movl m32, %edx' */
1501 { 6, { 0x89, 0x15 }, {0xff, 0xff } },
1503 /* Check for `xorl r32, r32' and the equivalent `subl r32, r32'.
1504 Because of the symmetry, there are actually two ways to encode
1505 these instructions; opcode bytes 0x29 and 0x2b for `subl' and
1506 opcode bytes 0x31 and 0x33 for `xorl'. */
1508 /* `subl %eax, %eax' */
1509 { 2, { 0x29, 0xc0 }, { 0xfd, 0xff } },
1510 /* `subl %ecx, %ecx' */
1511 { 2, { 0x29, 0xc9 }, { 0xfd, 0xff } },
1512 /* `subl %edx, %edx' */
1513 { 2, { 0x29, 0xd2 }, { 0xfd, 0xff } },
1514 /* `xorl %eax, %eax' */
1515 { 2, { 0x31, 0xc0 }, { 0xfd, 0xff } },
1516 /* `xorl %ecx, %ecx' */
1517 { 2, { 0x31, 0xc9 }, { 0xfd, 0xff } },
1518 /* `xorl %edx, %edx' */
1519 { 2, { 0x31, 0xd2 }, { 0xfd, 0xff } },
1524 /* Check whether PC points to a no-op instruction. */
1526 i386_skip_noop (CORE_ADDR pc)
1531 if (target_read_code (pc, &op, 1))
1537 /* Ignore `nop' instruction. */
1541 if (target_read_code (pc, &op, 1))
1545 /* Ignore no-op instruction `mov %edi, %edi'.
1546 Microsoft system dlls often start with
1547 a `mov %edi,%edi' instruction.
1548 The 5 bytes before the function start are
1549 filled with `nop' instructions.
1550 This pattern can be used for hot-patching:
1551 The `mov %edi, %edi' instruction can be replaced by a
1552 near jump to the location of the 5 `nop' instructions
1553 which can be replaced by a 32-bit jump to anywhere
1554 in the 32-bit address space. */
1556 else if (op == 0x8b)
1558 if (target_read_code (pc + 1, &op, 1))
1564 if (target_read_code (pc, &op, 1))
1574 /* Check whether PC points at a code that sets up a new stack frame.
1575 If so, it updates CACHE and returns the address of the first
1576 instruction after the sequence that sets up the frame or LIMIT,
1577 whichever is smaller. If we don't recognize the code, return PC. */
1580 i386_analyze_frame_setup (struct gdbarch *gdbarch,
1581 CORE_ADDR pc, CORE_ADDR limit,
1582 struct i386_frame_cache *cache)
1584 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
1585 struct i386_insn *insn;
1592 if (target_read_code (pc, &op, 1))
1595 if (op == 0x55) /* pushl %ebp */
1597 /* Take into account that we've executed the `pushl %ebp' that
1598 starts this instruction sequence. */
1599 cache->saved_regs[I386_EBP_REGNUM] = 0;
1600 cache->sp_offset += 4;
1603 /* If that's all, return now. */
1607 /* Check for some special instructions that might be migrated by
1608 GCC into the prologue and skip them. At this point in the
1609 prologue, code should only touch the scratch registers %eax,
1610 %ecx and %edx, so while the number of posibilities is sheer,
1613 Make sure we only skip these instructions if we later see the
1614 `movl %esp, %ebp' that actually sets up the frame. */
1615 while (pc + skip < limit)
1617 insn = i386_match_insn (pc + skip, i386_frame_setup_skip_insns);
1624 /* If that's all, return now. */
1625 if (limit <= pc + skip)
1628 if (target_read_code (pc + skip, &op, 1))
1631 /* The i386 prologue looks like
1637 and a different prologue can be generated for atom.
1641 lea -0x10(%esp),%esp
1643 We handle both of them here. */
1647 /* Check for `movl %esp, %ebp' -- can be written in two ways. */
1649 if (read_code_unsigned_integer (pc + skip + 1, 1, byte_order)
1655 if (read_code_unsigned_integer (pc + skip + 1, 1, byte_order)
1660 case 0x8d: /* Check for 'lea (%ebp), %ebp'. */
1661 if (read_code_unsigned_integer (pc + skip + 1, 2, byte_order)
1670 /* OK, we actually have a frame. We just don't know how large
1671 it is yet. Set its size to zero. We'll adjust it if
1672 necessary. We also now commit to skipping the special
1673 instructions mentioned before. */
1676 /* If that's all, return now. */
1680 /* Check for stack adjustment
1686 NOTE: You can't subtract a 16-bit immediate from a 32-bit
1687 reg, so we don't have to worry about a data16 prefix. */
1688 if (target_read_code (pc, &op, 1))
1692 /* `subl' with 8-bit immediate. */
1693 if (read_code_unsigned_integer (pc + 1, 1, byte_order) != 0xec)
1694 /* Some instruction starting with 0x83 other than `subl'. */
1697 /* `subl' with signed 8-bit immediate (though it wouldn't
1698 make sense to be negative). */
1699 cache->locals = read_code_integer (pc + 2, 1, byte_order);
1702 else if (op == 0x81)
1704 /* Maybe it is `subl' with a 32-bit immediate. */
1705 if (read_code_unsigned_integer (pc + 1, 1, byte_order) != 0xec)
1706 /* Some instruction starting with 0x81 other than `subl'. */
1709 /* It is `subl' with a 32-bit immediate. */
1710 cache->locals = read_code_integer (pc + 2, 4, byte_order);
1713 else if (op == 0x8d)
1715 /* The ModR/M byte is 0x64. */
1716 if (read_code_unsigned_integer (pc + 1, 1, byte_order) != 0x64)
1718 /* 'lea' with 8-bit displacement. */
1719 cache->locals = -1 * read_code_integer (pc + 3, 1, byte_order);
1724 /* Some instruction other than `subl' nor 'lea'. */
1728 else if (op == 0xc8) /* enter */
1730 cache->locals = read_code_unsigned_integer (pc + 1, 2, byte_order);
1737 /* Check whether PC points at code that saves registers on the stack.
1738 If so, it updates CACHE and returns the address of the first
1739 instruction after the register saves or CURRENT_PC, whichever is
1740 smaller. Otherwise, return PC. */
1743 i386_analyze_register_saves (CORE_ADDR pc, CORE_ADDR current_pc,
1744 struct i386_frame_cache *cache)
1746 CORE_ADDR offset = 0;
1750 if (cache->locals > 0)
1751 offset -= cache->locals;
1752 for (i = 0; i < 8 && pc < current_pc; i++)
1754 if (target_read_code (pc, &op, 1))
1756 if (op < 0x50 || op > 0x57)
1760 cache->saved_regs[op - 0x50] = offset;
1761 cache->sp_offset += 4;
1768 /* Do a full analysis of the prologue at PC and update CACHE
1769 accordingly. Bail out early if CURRENT_PC is reached. Return the
1770 address where the analysis stopped.
1772 We handle these cases:
1774 The startup sequence can be at the start of the function, or the
1775 function can start with a branch to startup code at the end.
1777 %ebp can be set up with either the 'enter' instruction, or "pushl
1778 %ebp, movl %esp, %ebp" (`enter' is too slow to be useful, but was
1779 once used in the System V compiler).
1781 Local space is allocated just below the saved %ebp by either the
1782 'enter' instruction, or by "subl $<size>, %esp". 'enter' has a
1783 16-bit unsigned argument for space to allocate, and the 'addl'
1784 instruction could have either a signed byte, or 32-bit immediate.
1786 Next, the registers used by this function are pushed. With the
1787 System V compiler they will always be in the order: %edi, %esi,
1788 %ebx (and sometimes a harmless bug causes it to also save but not
1789 restore %eax); however, the code below is willing to see the pushes
1790 in any order, and will handle up to 8 of them.
1792 If the setup sequence is at the end of the function, then the next
1793 instruction will be a branch back to the start. */
1796 i386_analyze_prologue (struct gdbarch *gdbarch,
1797 CORE_ADDR pc, CORE_ADDR current_pc,
1798 struct i386_frame_cache *cache)
1800 pc = i386_skip_noop (pc);
1801 pc = i386_follow_jump (gdbarch, pc);
1802 pc = i386_analyze_struct_return (pc, current_pc, cache);
1803 pc = i386_skip_probe (pc);
1804 pc = i386_analyze_stack_align (pc, current_pc, cache);
1805 pc = i386_analyze_frame_setup (gdbarch, pc, current_pc, cache);
1806 return i386_analyze_register_saves (pc, current_pc, cache);
1809 /* Return PC of first real instruction. */
1812 i386_skip_prologue (struct gdbarch *gdbarch, CORE_ADDR start_pc)
1814 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
1816 static gdb_byte pic_pat[6] =
1818 0xe8, 0, 0, 0, 0, /* call 0x0 */
1819 0x5b, /* popl %ebx */
1821 struct i386_frame_cache cache;
1825 CORE_ADDR func_addr;
1827 if (find_pc_partial_function (start_pc, NULL, &func_addr, NULL))
1829 CORE_ADDR post_prologue_pc
1830 = skip_prologue_using_sal (gdbarch, func_addr);
1831 struct compunit_symtab *cust = find_pc_compunit_symtab (func_addr);
1833 /* Clang always emits a line note before the prologue and another
1834 one after. We trust clang to emit usable line notes. */
1835 if (post_prologue_pc
1837 && COMPUNIT_PRODUCER (cust) != NULL
1838 && startswith (COMPUNIT_PRODUCER (cust), "clang ")))
1839 return max (start_pc, post_prologue_pc);
1843 pc = i386_analyze_prologue (gdbarch, start_pc, 0xffffffff, &cache);
1844 if (cache.locals < 0)
1847 /* Found valid frame setup. */
1849 /* The native cc on SVR4 in -K PIC mode inserts the following code
1850 to get the address of the global offset table (GOT) into register
1855 movl %ebx,x(%ebp) (optional)
1858 This code is with the rest of the prologue (at the end of the
1859 function), so we have to skip it to get to the first real
1860 instruction at the start of the function. */
1862 for (i = 0; i < 6; i++)
1864 if (target_read_code (pc + i, &op, 1))
1867 if (pic_pat[i] != op)
1874 if (target_read_code (pc + delta, &op, 1))
1877 if (op == 0x89) /* movl %ebx, x(%ebp) */
1879 op = read_code_unsigned_integer (pc + delta + 1, 1, byte_order);
1881 if (op == 0x5d) /* One byte offset from %ebp. */
1883 else if (op == 0x9d) /* Four byte offset from %ebp. */
1885 else /* Unexpected instruction. */
1888 if (target_read_code (pc + delta, &op, 1))
1893 if (delta > 0 && op == 0x81
1894 && read_code_unsigned_integer (pc + delta + 1, 1, byte_order)
1901 /* If the function starts with a branch (to startup code at the end)
1902 the last instruction should bring us back to the first
1903 instruction of the real code. */
1904 if (i386_follow_jump (gdbarch, start_pc) != start_pc)
1905 pc = i386_follow_jump (gdbarch, pc);
1910 /* Check that the code pointed to by PC corresponds to a call to
1911 __main, skip it if so. Return PC otherwise. */
1914 i386_skip_main_prologue (struct gdbarch *gdbarch, CORE_ADDR pc)
1916 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
1919 if (target_read_code (pc, &op, 1))
1925 if (target_read_code (pc + 1, buf, sizeof buf) == 0)
1927 /* Make sure address is computed correctly as a 32bit
1928 integer even if CORE_ADDR is 64 bit wide. */
1929 struct bound_minimal_symbol s;
1930 CORE_ADDR call_dest;
1932 call_dest = pc + 5 + extract_signed_integer (buf, 4, byte_order);
1933 call_dest = call_dest & 0xffffffffU;
1934 s = lookup_minimal_symbol_by_pc (call_dest);
1935 if (s.minsym != NULL
1936 && MSYMBOL_LINKAGE_NAME (s.minsym) != NULL
1937 && strcmp (MSYMBOL_LINKAGE_NAME (s.minsym), "__main") == 0)
1945 /* This function is 64-bit safe. */
1948 i386_unwind_pc (struct gdbarch *gdbarch, struct frame_info *next_frame)
1952 frame_unwind_register (next_frame, gdbarch_pc_regnum (gdbarch), buf);
1953 return extract_typed_address (buf, builtin_type (gdbarch)->builtin_func_ptr);
1957 /* Normal frames. */
1960 i386_frame_cache_1 (struct frame_info *this_frame,
1961 struct i386_frame_cache *cache)
1963 struct gdbarch *gdbarch = get_frame_arch (this_frame);
1964 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
1968 cache->pc = get_frame_func (this_frame);
1970 /* In principle, for normal frames, %ebp holds the frame pointer,
1971 which holds the base address for the current stack frame.
1972 However, for functions that don't need it, the frame pointer is
1973 optional. For these "frameless" functions the frame pointer is
1974 actually the frame pointer of the calling frame. Signal
1975 trampolines are just a special case of a "frameless" function.
1976 They (usually) share their frame pointer with the frame that was
1977 in progress when the signal occurred. */
1979 get_frame_register (this_frame, I386_EBP_REGNUM, buf);
1980 cache->base = extract_unsigned_integer (buf, 4, byte_order);
1981 if (cache->base == 0)
1987 /* For normal frames, %eip is stored at 4(%ebp). */
1988 cache->saved_regs[I386_EIP_REGNUM] = 4;
1991 i386_analyze_prologue (gdbarch, cache->pc, get_frame_pc (this_frame),
1994 if (cache->locals < 0)
1996 /* We didn't find a valid frame, which means that CACHE->base
1997 currently holds the frame pointer for our calling frame. If
1998 we're at the start of a function, or somewhere half-way its
1999 prologue, the function's frame probably hasn't been fully
2000 setup yet. Try to reconstruct the base address for the stack
2001 frame by looking at the stack pointer. For truly "frameless"
2002 functions this might work too. */
2004 if (cache->saved_sp_reg != -1)
2006 /* Saved stack pointer has been saved. */
2007 get_frame_register (this_frame, cache->saved_sp_reg, buf);
2008 cache->saved_sp = extract_unsigned_integer (buf, 4, byte_order);
2010 /* We're halfway aligning the stack. */
2011 cache->base = ((cache->saved_sp - 4) & 0xfffffff0) - 4;
2012 cache->saved_regs[I386_EIP_REGNUM] = cache->saved_sp - 4;
2014 /* This will be added back below. */
2015 cache->saved_regs[I386_EIP_REGNUM] -= cache->base;
2017 else if (cache->pc != 0
2018 || target_read_code (get_frame_pc (this_frame), buf, 1))
2020 /* We're in a known function, but did not find a frame
2021 setup. Assume that the function does not use %ebp.
2022 Alternatively, we may have jumped to an invalid
2023 address; in that case there is definitely no new
2025 get_frame_register (this_frame, I386_ESP_REGNUM, buf);
2026 cache->base = extract_unsigned_integer (buf, 4, byte_order)
2030 /* We're in an unknown function. We could not find the start
2031 of the function to analyze the prologue; our best option is
2032 to assume a typical frame layout with the caller's %ebp
2034 cache->saved_regs[I386_EBP_REGNUM] = 0;
2037 if (cache->saved_sp_reg != -1)
2039 /* Saved stack pointer has been saved (but the SAVED_SP_REG
2040 register may be unavailable). */
2041 if (cache->saved_sp == 0
2042 && deprecated_frame_register_read (this_frame,
2043 cache->saved_sp_reg, buf))
2044 cache->saved_sp = extract_unsigned_integer (buf, 4, byte_order);
2046 /* Now that we have the base address for the stack frame we can
2047 calculate the value of %esp in the calling frame. */
2048 else if (cache->saved_sp == 0)
2049 cache->saved_sp = cache->base + 8;
2051 /* Adjust all the saved registers such that they contain addresses
2052 instead of offsets. */
2053 for (i = 0; i < I386_NUM_SAVED_REGS; i++)
2054 if (cache->saved_regs[i] != -1)
2055 cache->saved_regs[i] += cache->base;
2060 static struct i386_frame_cache *
2061 i386_frame_cache (struct frame_info *this_frame, void **this_cache)
2063 struct i386_frame_cache *cache;
2066 return (struct i386_frame_cache *) *this_cache;
2068 cache = i386_alloc_frame_cache ();
2069 *this_cache = cache;
2073 i386_frame_cache_1 (this_frame, cache);
2075 CATCH (ex, RETURN_MASK_ERROR)
2077 if (ex.error != NOT_AVAILABLE_ERROR)
2078 throw_exception (ex);
2086 i386_frame_this_id (struct frame_info *this_frame, void **this_cache,
2087 struct frame_id *this_id)
2089 struct i386_frame_cache *cache = i386_frame_cache (this_frame, this_cache);
2092 (*this_id) = frame_id_build_unavailable_stack (cache->pc);
2093 else if (cache->base == 0)
2095 /* This marks the outermost frame. */
2099 /* See the end of i386_push_dummy_call. */
2100 (*this_id) = frame_id_build (cache->base + 8, cache->pc);
2104 static enum unwind_stop_reason
2105 i386_frame_unwind_stop_reason (struct frame_info *this_frame,
2108 struct i386_frame_cache *cache = i386_frame_cache (this_frame, this_cache);
2111 return UNWIND_UNAVAILABLE;
2113 /* This marks the outermost frame. */
2114 if (cache->base == 0)
2115 return UNWIND_OUTERMOST;
2117 return UNWIND_NO_REASON;
2120 static struct value *
2121 i386_frame_prev_register (struct frame_info *this_frame, void **this_cache,
2124 struct i386_frame_cache *cache = i386_frame_cache (this_frame, this_cache);
2126 gdb_assert (regnum >= 0);
2128 /* The System V ABI says that:
2130 "The flags register contains the system flags, such as the
2131 direction flag and the carry flag. The direction flag must be
2132 set to the forward (that is, zero) direction before entry and
2133 upon exit from a function. Other user flags have no specified
2134 role in the standard calling sequence and are not preserved."
2136 To guarantee the "upon exit" part of that statement we fake a
2137 saved flags register that has its direction flag cleared.
2139 Note that GCC doesn't seem to rely on the fact that the direction
2140 flag is cleared after a function return; it always explicitly
2141 clears the flag before operations where it matters.
2143 FIXME: kettenis/20030316: I'm not quite sure whether this is the
2144 right thing to do. The way we fake the flags register here makes
2145 it impossible to change it. */
2147 if (regnum == I386_EFLAGS_REGNUM)
2151 val = get_frame_register_unsigned (this_frame, regnum);
2153 return frame_unwind_got_constant (this_frame, regnum, val);
2156 if (regnum == I386_EIP_REGNUM && cache->pc_in_eax)
2157 return frame_unwind_got_register (this_frame, regnum, I386_EAX_REGNUM);
2159 if (regnum == I386_ESP_REGNUM
2160 && (cache->saved_sp != 0 || cache->saved_sp_reg != -1))
2162 /* If the SP has been saved, but we don't know where, then this
2163 means that SAVED_SP_REG register was found unavailable back
2164 when we built the cache. */
2165 if (cache->saved_sp == 0)
2166 return frame_unwind_got_register (this_frame, regnum,
2167 cache->saved_sp_reg);
2169 return frame_unwind_got_constant (this_frame, regnum,
2173 if (regnum < I386_NUM_SAVED_REGS && cache->saved_regs[regnum] != -1)
2174 return frame_unwind_got_memory (this_frame, regnum,
2175 cache->saved_regs[regnum]);
2177 return frame_unwind_got_register (this_frame, regnum, regnum);
2180 static const struct frame_unwind i386_frame_unwind =
2183 i386_frame_unwind_stop_reason,
2185 i386_frame_prev_register,
2187 default_frame_sniffer
2190 /* Normal frames, but in a function epilogue. */
2192 /* Implement the stack_frame_destroyed_p gdbarch method.
2194 The epilogue is defined here as the 'ret' instruction, which will
2195 follow any instruction such as 'leave' or 'pop %ebp' that destroys
2196 the function's stack frame. */
2199 i386_stack_frame_destroyed_p (struct gdbarch *gdbarch, CORE_ADDR pc)
2202 struct compunit_symtab *cust;
2204 cust = find_pc_compunit_symtab (pc);
2205 if (cust != NULL && COMPUNIT_EPILOGUE_UNWIND_VALID (cust))
2208 if (target_read_memory (pc, &insn, 1))
2209 return 0; /* Can't read memory at pc. */
2211 if (insn != 0xc3) /* 'ret' instruction. */
2218 i386_epilogue_frame_sniffer (const struct frame_unwind *self,
2219 struct frame_info *this_frame,
2220 void **this_prologue_cache)
2222 if (frame_relative_level (this_frame) == 0)
2223 return i386_stack_frame_destroyed_p (get_frame_arch (this_frame),
2224 get_frame_pc (this_frame));
2229 static struct i386_frame_cache *
2230 i386_epilogue_frame_cache (struct frame_info *this_frame, void **this_cache)
2232 struct i386_frame_cache *cache;
2236 return (struct i386_frame_cache *) *this_cache;
2238 cache = i386_alloc_frame_cache ();
2239 *this_cache = cache;
2243 cache->pc = get_frame_func (this_frame);
2245 /* At this point the stack looks as if we just entered the
2246 function, with the return address at the top of the
2248 sp = get_frame_register_unsigned (this_frame, I386_ESP_REGNUM);
2249 cache->base = sp + cache->sp_offset;
2250 cache->saved_sp = cache->base + 8;
2251 cache->saved_regs[I386_EIP_REGNUM] = cache->base + 4;
2255 CATCH (ex, RETURN_MASK_ERROR)
2257 if (ex.error != NOT_AVAILABLE_ERROR)
2258 throw_exception (ex);
2265 static enum unwind_stop_reason
2266 i386_epilogue_frame_unwind_stop_reason (struct frame_info *this_frame,
2269 struct i386_frame_cache *cache =
2270 i386_epilogue_frame_cache (this_frame, this_cache);
2273 return UNWIND_UNAVAILABLE;
2275 return UNWIND_NO_REASON;
2279 i386_epilogue_frame_this_id (struct frame_info *this_frame,
2281 struct frame_id *this_id)
2283 struct i386_frame_cache *cache =
2284 i386_epilogue_frame_cache (this_frame, this_cache);
2287 (*this_id) = frame_id_build_unavailable_stack (cache->pc);
2289 (*this_id) = frame_id_build (cache->base + 8, cache->pc);
2292 static struct value *
2293 i386_epilogue_frame_prev_register (struct frame_info *this_frame,
2294 void **this_cache, int regnum)
2296 /* Make sure we've initialized the cache. */
2297 i386_epilogue_frame_cache (this_frame, this_cache);
2299 return i386_frame_prev_register (this_frame, this_cache, regnum);
2302 static const struct frame_unwind i386_epilogue_frame_unwind =
2305 i386_epilogue_frame_unwind_stop_reason,
2306 i386_epilogue_frame_this_id,
2307 i386_epilogue_frame_prev_register,
2309 i386_epilogue_frame_sniffer
2313 /* Stack-based trampolines. */
2315 /* These trampolines are used on cross x86 targets, when taking the
2316 address of a nested function. When executing these trampolines,
2317 no stack frame is set up, so we are in a similar situation as in
2318 epilogues and i386_epilogue_frame_this_id can be re-used. */
2320 /* Static chain passed in register. */
2322 struct i386_insn i386_tramp_chain_in_reg_insns[] =
2324 /* `movl imm32, %eax' and `movl imm32, %ecx' */
2325 { 5, { 0xb8 }, { 0xfe } },
2328 { 5, { 0xe9 }, { 0xff } },
2333 /* Static chain passed on stack (when regparm=3). */
2335 struct i386_insn i386_tramp_chain_on_stack_insns[] =
2338 { 5, { 0x68 }, { 0xff } },
2341 { 5, { 0xe9 }, { 0xff } },
2346 /* Return whether PC points inside a stack trampoline. */
2349 i386_in_stack_tramp_p (CORE_ADDR pc)
2354 /* A stack trampoline is detected if no name is associated
2355 to the current pc and if it points inside a trampoline
2358 find_pc_partial_function (pc, &name, NULL, NULL);
2362 if (target_read_memory (pc, &insn, 1))
2365 if (!i386_match_insn_block (pc, i386_tramp_chain_in_reg_insns)
2366 && !i386_match_insn_block (pc, i386_tramp_chain_on_stack_insns))
2373 i386_stack_tramp_frame_sniffer (const struct frame_unwind *self,
2374 struct frame_info *this_frame,
2377 if (frame_relative_level (this_frame) == 0)
2378 return i386_in_stack_tramp_p (get_frame_pc (this_frame));
2383 static const struct frame_unwind i386_stack_tramp_frame_unwind =
2386 i386_epilogue_frame_unwind_stop_reason,
2387 i386_epilogue_frame_this_id,
2388 i386_epilogue_frame_prev_register,
2390 i386_stack_tramp_frame_sniffer
2393 /* Generate a bytecode expression to get the value of the saved PC. */
2396 i386_gen_return_address (struct gdbarch *gdbarch,
2397 struct agent_expr *ax, struct axs_value *value,
2400 /* The following sequence assumes the traditional use of the base
2402 ax_reg (ax, I386_EBP_REGNUM);
2404 ax_simple (ax, aop_add);
2405 value->type = register_type (gdbarch, I386_EIP_REGNUM);
2406 value->kind = axs_lvalue_memory;
2410 /* Signal trampolines. */
2412 static struct i386_frame_cache *
2413 i386_sigtramp_frame_cache (struct frame_info *this_frame, void **this_cache)
2415 struct gdbarch *gdbarch = get_frame_arch (this_frame);
2416 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
2417 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
2418 struct i386_frame_cache *cache;
2423 return (struct i386_frame_cache *) *this_cache;
2425 cache = i386_alloc_frame_cache ();
2429 get_frame_register (this_frame, I386_ESP_REGNUM, buf);
2430 cache->base = extract_unsigned_integer (buf, 4, byte_order) - 4;
2432 addr = tdep->sigcontext_addr (this_frame);
2433 if (tdep->sc_reg_offset)
2437 gdb_assert (tdep->sc_num_regs <= I386_NUM_SAVED_REGS);
2439 for (i = 0; i < tdep->sc_num_regs; i++)
2440 if (tdep->sc_reg_offset[i] != -1)
2441 cache->saved_regs[i] = addr + tdep->sc_reg_offset[i];
2445 cache->saved_regs[I386_EIP_REGNUM] = addr + tdep->sc_pc_offset;
2446 cache->saved_regs[I386_ESP_REGNUM] = addr + tdep->sc_sp_offset;
2451 CATCH (ex, RETURN_MASK_ERROR)
2453 if (ex.error != NOT_AVAILABLE_ERROR)
2454 throw_exception (ex);
2458 *this_cache = cache;
2462 static enum unwind_stop_reason
2463 i386_sigtramp_frame_unwind_stop_reason (struct frame_info *this_frame,
2466 struct i386_frame_cache *cache =
2467 i386_sigtramp_frame_cache (this_frame, this_cache);
2470 return UNWIND_UNAVAILABLE;
2472 return UNWIND_NO_REASON;
2476 i386_sigtramp_frame_this_id (struct frame_info *this_frame, void **this_cache,
2477 struct frame_id *this_id)
2479 struct i386_frame_cache *cache =
2480 i386_sigtramp_frame_cache (this_frame, this_cache);
2483 (*this_id) = frame_id_build_unavailable_stack (get_frame_pc (this_frame));
2486 /* See the end of i386_push_dummy_call. */
2487 (*this_id) = frame_id_build (cache->base + 8, get_frame_pc (this_frame));
2491 static struct value *
2492 i386_sigtramp_frame_prev_register (struct frame_info *this_frame,
2493 void **this_cache, int regnum)
2495 /* Make sure we've initialized the cache. */
2496 i386_sigtramp_frame_cache (this_frame, this_cache);
2498 return i386_frame_prev_register (this_frame, this_cache, regnum);
2502 i386_sigtramp_frame_sniffer (const struct frame_unwind *self,
2503 struct frame_info *this_frame,
2504 void **this_prologue_cache)
2506 struct gdbarch_tdep *tdep = gdbarch_tdep (get_frame_arch (this_frame));
2508 /* We shouldn't even bother if we don't have a sigcontext_addr
2510 if (tdep->sigcontext_addr == NULL)
2513 if (tdep->sigtramp_p != NULL)
2515 if (tdep->sigtramp_p (this_frame))
2519 if (tdep->sigtramp_start != 0)
2521 CORE_ADDR pc = get_frame_pc (this_frame);
2523 gdb_assert (tdep->sigtramp_end != 0);
2524 if (pc >= tdep->sigtramp_start && pc < tdep->sigtramp_end)
2531 static const struct frame_unwind i386_sigtramp_frame_unwind =
2534 i386_sigtramp_frame_unwind_stop_reason,
2535 i386_sigtramp_frame_this_id,
2536 i386_sigtramp_frame_prev_register,
2538 i386_sigtramp_frame_sniffer
2543 i386_frame_base_address (struct frame_info *this_frame, void **this_cache)
2545 struct i386_frame_cache *cache = i386_frame_cache (this_frame, this_cache);
2550 static const struct frame_base i386_frame_base =
2553 i386_frame_base_address,
2554 i386_frame_base_address,
2555 i386_frame_base_address
2558 static struct frame_id
2559 i386_dummy_id (struct gdbarch *gdbarch, struct frame_info *this_frame)
2563 fp = get_frame_register_unsigned (this_frame, I386_EBP_REGNUM);
2565 /* See the end of i386_push_dummy_call. */
2566 return frame_id_build (fp + 8, get_frame_pc (this_frame));
2569 /* _Decimal128 function return values need 16-byte alignment on the
2573 i386_frame_align (struct gdbarch *gdbarch, CORE_ADDR sp)
2575 return sp & -(CORE_ADDR)16;
2579 /* Figure out where the longjmp will land. Slurp the args out of the
2580 stack. We expect the first arg to be a pointer to the jmp_buf
2581 structure from which we extract the address that we will land at.
2582 This address is copied into PC. This routine returns non-zero on
2586 i386_get_longjmp_target (struct frame_info *frame, CORE_ADDR *pc)
2589 CORE_ADDR sp, jb_addr;
2590 struct gdbarch *gdbarch = get_frame_arch (frame);
2591 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
2592 int jb_pc_offset = gdbarch_tdep (gdbarch)->jb_pc_offset;
2594 /* If JB_PC_OFFSET is -1, we have no way to find out where the
2595 longjmp will land. */
2596 if (jb_pc_offset == -1)
2599 get_frame_register (frame, I386_ESP_REGNUM, buf);
2600 sp = extract_unsigned_integer (buf, 4, byte_order);
2601 if (target_read_memory (sp + 4, buf, 4))
2604 jb_addr = extract_unsigned_integer (buf, 4, byte_order);
2605 if (target_read_memory (jb_addr + jb_pc_offset, buf, 4))
2608 *pc = extract_unsigned_integer (buf, 4, byte_order);
2613 /* Check whether TYPE must be 16-byte-aligned when passed as a
2614 function argument. 16-byte vectors, _Decimal128 and structures or
2615 unions containing such types must be 16-byte-aligned; other
2616 arguments are 4-byte-aligned. */
2619 i386_16_byte_align_p (struct type *type)
2621 type = check_typedef (type);
2622 if ((TYPE_CODE (type) == TYPE_CODE_DECFLOAT
2623 || (TYPE_CODE (type) == TYPE_CODE_ARRAY && TYPE_VECTOR (type)))
2624 && TYPE_LENGTH (type) == 16)
2626 if (TYPE_CODE (type) == TYPE_CODE_ARRAY)
2627 return i386_16_byte_align_p (TYPE_TARGET_TYPE (type));
2628 if (TYPE_CODE (type) == TYPE_CODE_STRUCT
2629 || TYPE_CODE (type) == TYPE_CODE_UNION)
2632 for (i = 0; i < TYPE_NFIELDS (type); i++)
2634 if (i386_16_byte_align_p (TYPE_FIELD_TYPE (type, i)))
2641 /* Implementation for set_gdbarch_push_dummy_code. */
2644 i386_push_dummy_code (struct gdbarch *gdbarch, CORE_ADDR sp, CORE_ADDR funaddr,
2645 struct value **args, int nargs, struct type *value_type,
2646 CORE_ADDR *real_pc, CORE_ADDR *bp_addr,
2647 struct regcache *regcache)
2649 /* Use 0xcc breakpoint - 1 byte. */
2653 /* Keep the stack aligned. */
2658 i386_push_dummy_call (struct gdbarch *gdbarch, struct value *function,
2659 struct regcache *regcache, CORE_ADDR bp_addr, int nargs,
2660 struct value **args, CORE_ADDR sp, int struct_return,
2661 CORE_ADDR struct_addr)
2663 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
2669 /* Determine the total space required for arguments and struct
2670 return address in a first pass (allowing for 16-byte-aligned
2671 arguments), then push arguments in a second pass. */
2673 for (write_pass = 0; write_pass < 2; write_pass++)
2675 int args_space_used = 0;
2681 /* Push value address. */
2682 store_unsigned_integer (buf, 4, byte_order, struct_addr);
2683 write_memory (sp, buf, 4);
2684 args_space_used += 4;
2690 for (i = 0; i < nargs; i++)
2692 int len = TYPE_LENGTH (value_enclosing_type (args[i]));
2696 if (i386_16_byte_align_p (value_enclosing_type (args[i])))
2697 args_space_used = align_up (args_space_used, 16);
2699 write_memory (sp + args_space_used,
2700 value_contents_all (args[i]), len);
2701 /* The System V ABI says that:
2703 "An argument's size is increased, if necessary, to make it a
2704 multiple of [32-bit] words. This may require tail padding,
2705 depending on the size of the argument."
2707 This makes sure the stack stays word-aligned. */
2708 args_space_used += align_up (len, 4);
2712 if (i386_16_byte_align_p (value_enclosing_type (args[i])))
2713 args_space = align_up (args_space, 16);
2714 args_space += align_up (len, 4);
2722 /* The original System V ABI only requires word alignment,
2723 but modern incarnations need 16-byte alignment in order
2724 to support SSE. Since wasting a few bytes here isn't
2725 harmful we unconditionally enforce 16-byte alignment. */
2730 /* Store return address. */
2732 store_unsigned_integer (buf, 4, byte_order, bp_addr);
2733 write_memory (sp, buf, 4);
2735 /* Finally, update the stack pointer... */
2736 store_unsigned_integer (buf, 4, byte_order, sp);
2737 regcache_cooked_write (regcache, I386_ESP_REGNUM, buf);
2739 /* ...and fake a frame pointer. */
2740 regcache_cooked_write (regcache, I386_EBP_REGNUM, buf);
2742 /* MarkK wrote: This "+ 8" is all over the place:
2743 (i386_frame_this_id, i386_sigtramp_frame_this_id,
2744 i386_dummy_id). It's there, since all frame unwinders for
2745 a given target have to agree (within a certain margin) on the
2746 definition of the stack address of a frame. Otherwise frame id
2747 comparison might not work correctly. Since DWARF2/GCC uses the
2748 stack address *before* the function call as a frame's CFA. On
2749 the i386, when %ebp is used as a frame pointer, the offset
2750 between the contents %ebp and the CFA as defined by GCC. */
2754 /* These registers are used for returning integers (and on some
2755 targets also for returning `struct' and `union' values when their
2756 size and alignment match an integer type). */
2757 #define LOW_RETURN_REGNUM I386_EAX_REGNUM /* %eax */
2758 #define HIGH_RETURN_REGNUM I386_EDX_REGNUM /* %edx */
2760 /* Read, for architecture GDBARCH, a function return value of TYPE
2761 from REGCACHE, and copy that into VALBUF. */
2764 i386_extract_return_value (struct gdbarch *gdbarch, struct type *type,
2765 struct regcache *regcache, gdb_byte *valbuf)
2767 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
2768 int len = TYPE_LENGTH (type);
2769 gdb_byte buf[I386_MAX_REGISTER_SIZE];
2771 if (TYPE_CODE (type) == TYPE_CODE_FLT)
2773 if (tdep->st0_regnum < 0)
2775 warning (_("Cannot find floating-point return value."));
2776 memset (valbuf, 0, len);
2780 /* Floating-point return values can be found in %st(0). Convert
2781 its contents to the desired type. This is probably not
2782 exactly how it would happen on the target itself, but it is
2783 the best we can do. */
2784 regcache_raw_read (regcache, I386_ST0_REGNUM, buf);
2785 convert_typed_floating (buf, i387_ext_type (gdbarch), valbuf, type);
2789 int low_size = register_size (gdbarch, LOW_RETURN_REGNUM);
2790 int high_size = register_size (gdbarch, HIGH_RETURN_REGNUM);
2792 if (len <= low_size)
2794 regcache_raw_read (regcache, LOW_RETURN_REGNUM, buf);
2795 memcpy (valbuf, buf, len);
2797 else if (len <= (low_size + high_size))
2799 regcache_raw_read (regcache, LOW_RETURN_REGNUM, buf);
2800 memcpy (valbuf, buf, low_size);
2801 regcache_raw_read (regcache, HIGH_RETURN_REGNUM, buf);
2802 memcpy (valbuf + low_size, buf, len - low_size);
2805 internal_error (__FILE__, __LINE__,
2806 _("Cannot extract return value of %d bytes long."),
2811 /* Write, for architecture GDBARCH, a function return value of TYPE
2812 from VALBUF into REGCACHE. */
2815 i386_store_return_value (struct gdbarch *gdbarch, struct type *type,
2816 struct regcache *regcache, const gdb_byte *valbuf)
2818 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
2819 int len = TYPE_LENGTH (type);
2821 if (TYPE_CODE (type) == TYPE_CODE_FLT)
2824 gdb_byte buf[I386_MAX_REGISTER_SIZE];
2826 if (tdep->st0_regnum < 0)
2828 warning (_("Cannot set floating-point return value."));
2832 /* Returning floating-point values is a bit tricky. Apart from
2833 storing the return value in %st(0), we have to simulate the
2834 state of the FPU at function return point. */
2836 /* Convert the value found in VALBUF to the extended
2837 floating-point format used by the FPU. This is probably
2838 not exactly how it would happen on the target itself, but
2839 it is the best we can do. */
2840 convert_typed_floating (valbuf, type, buf, i387_ext_type (gdbarch));
2841 regcache_raw_write (regcache, I386_ST0_REGNUM, buf);
2843 /* Set the top of the floating-point register stack to 7. The
2844 actual value doesn't really matter, but 7 is what a normal
2845 function return would end up with if the program started out
2846 with a freshly initialized FPU. */
2847 regcache_raw_read_unsigned (regcache, I387_FSTAT_REGNUM (tdep), &fstat);
2849 regcache_raw_write_unsigned (regcache, I387_FSTAT_REGNUM (tdep), fstat);
2851 /* Mark %st(1) through %st(7) as empty. Since we set the top of
2852 the floating-point register stack to 7, the appropriate value
2853 for the tag word is 0x3fff. */
2854 regcache_raw_write_unsigned (regcache, I387_FTAG_REGNUM (tdep), 0x3fff);
2858 int low_size = register_size (gdbarch, LOW_RETURN_REGNUM);
2859 int high_size = register_size (gdbarch, HIGH_RETURN_REGNUM);
2861 if (len <= low_size)
2862 regcache_raw_write_part (regcache, LOW_RETURN_REGNUM, 0, len, valbuf);
2863 else if (len <= (low_size + high_size))
2865 regcache_raw_write (regcache, LOW_RETURN_REGNUM, valbuf);
2866 regcache_raw_write_part (regcache, HIGH_RETURN_REGNUM, 0,
2867 len - low_size, valbuf + low_size);
2870 internal_error (__FILE__, __LINE__,
2871 _("Cannot store return value of %d bytes long."), len);
2876 /* This is the variable that is set with "set struct-convention", and
2877 its legitimate values. */
2878 static const char default_struct_convention[] = "default";
2879 static const char pcc_struct_convention[] = "pcc";
2880 static const char reg_struct_convention[] = "reg";
2881 static const char *const valid_conventions[] =
2883 default_struct_convention,
2884 pcc_struct_convention,
2885 reg_struct_convention,
2888 static const char *struct_convention = default_struct_convention;
2890 /* Return non-zero if TYPE, which is assumed to be a structure,
2891 a union type, or an array type, should be returned in registers
2892 for architecture GDBARCH. */
2895 i386_reg_struct_return_p (struct gdbarch *gdbarch, struct type *type)
2897 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
2898 enum type_code code = TYPE_CODE (type);
2899 int len = TYPE_LENGTH (type);
2901 gdb_assert (code == TYPE_CODE_STRUCT
2902 || code == TYPE_CODE_UNION
2903 || code == TYPE_CODE_ARRAY);
2905 if (struct_convention == pcc_struct_convention
2906 || (struct_convention == default_struct_convention
2907 && tdep->struct_return == pcc_struct_return))
2910 /* Structures consisting of a single `float', `double' or 'long
2911 double' member are returned in %st(0). */
2912 if (code == TYPE_CODE_STRUCT && TYPE_NFIELDS (type) == 1)
2914 type = check_typedef (TYPE_FIELD_TYPE (type, 0));
2915 if (TYPE_CODE (type) == TYPE_CODE_FLT)
2916 return (len == 4 || len == 8 || len == 12);
2919 return (len == 1 || len == 2 || len == 4 || len == 8);
2922 /* Determine, for architecture GDBARCH, how a return value of TYPE
2923 should be returned. If it is supposed to be returned in registers,
2924 and READBUF is non-zero, read the appropriate value from REGCACHE,
2925 and copy it into READBUF. If WRITEBUF is non-zero, write the value
2926 from WRITEBUF into REGCACHE. */
2928 static enum return_value_convention
2929 i386_return_value (struct gdbarch *gdbarch, struct value *function,
2930 struct type *type, struct regcache *regcache,
2931 gdb_byte *readbuf, const gdb_byte *writebuf)
2933 enum type_code code = TYPE_CODE (type);
2935 if (((code == TYPE_CODE_STRUCT
2936 || code == TYPE_CODE_UNION
2937 || code == TYPE_CODE_ARRAY)
2938 && !i386_reg_struct_return_p (gdbarch, type))
2939 /* Complex double and long double uses the struct return covention. */
2940 || (code == TYPE_CODE_COMPLEX && TYPE_LENGTH (type) == 16)
2941 || (code == TYPE_CODE_COMPLEX && TYPE_LENGTH (type) == 24)
2942 /* 128-bit decimal float uses the struct return convention. */
2943 || (code == TYPE_CODE_DECFLOAT && TYPE_LENGTH (type) == 16))
2945 /* The System V ABI says that:
2947 "A function that returns a structure or union also sets %eax
2948 to the value of the original address of the caller's area
2949 before it returns. Thus when the caller receives control
2950 again, the address of the returned object resides in register
2951 %eax and can be used to access the object."
2953 So the ABI guarantees that we can always find the return
2954 value just after the function has returned. */
2956 /* Note that the ABI doesn't mention functions returning arrays,
2957 which is something possible in certain languages such as Ada.
2958 In this case, the value is returned as if it was wrapped in
2959 a record, so the convention applied to records also applies
2966 regcache_raw_read_unsigned (regcache, I386_EAX_REGNUM, &addr);
2967 read_memory (addr, readbuf, TYPE_LENGTH (type));
2970 return RETURN_VALUE_ABI_RETURNS_ADDRESS;
2973 /* This special case is for structures consisting of a single
2974 `float', `double' or 'long double' member. These structures are
2975 returned in %st(0). For these structures, we call ourselves
2976 recursively, changing TYPE into the type of the first member of
2977 the structure. Since that should work for all structures that
2978 have only one member, we don't bother to check the member's type
2980 if (code == TYPE_CODE_STRUCT && TYPE_NFIELDS (type) == 1)
2982 type = check_typedef (TYPE_FIELD_TYPE (type, 0));
2983 return i386_return_value (gdbarch, function, type, regcache,
2988 i386_extract_return_value (gdbarch, type, regcache, readbuf);
2990 i386_store_return_value (gdbarch, type, regcache, writebuf);
2992 return RETURN_VALUE_REGISTER_CONVENTION;
2997 i387_ext_type (struct gdbarch *gdbarch)
2999 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
3001 if (!tdep->i387_ext_type)
3003 tdep->i387_ext_type = tdesc_find_type (gdbarch, "i387_ext");
3004 gdb_assert (tdep->i387_ext_type != NULL);
3007 return tdep->i387_ext_type;
3010 /* Construct type for pseudo BND registers. We can't use
3011 tdesc_find_type since a complement of one value has to be used
3012 to describe the upper bound. */
3014 static struct type *
3015 i386_bnd_type (struct gdbarch *gdbarch)
3017 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
3020 if (!tdep->i386_bnd_type)
3023 const struct builtin_type *bt = builtin_type (gdbarch);
3025 /* The type we're building is described bellow: */
3030 void *ubound; /* One complement of raw ubound field. */
3034 t = arch_composite_type (gdbarch,
3035 "__gdb_builtin_type_bound128", TYPE_CODE_STRUCT);
3037 append_composite_type_field (t, "lbound", bt->builtin_data_ptr);
3038 append_composite_type_field (t, "ubound", bt->builtin_data_ptr);
3040 TYPE_NAME (t) = "builtin_type_bound128";
3041 tdep->i386_bnd_type = t;
3044 return tdep->i386_bnd_type;
3047 /* Construct vector type for pseudo ZMM registers. We can't use
3048 tdesc_find_type since ZMM isn't described in target description. */
3050 static struct type *
3051 i386_zmm_type (struct gdbarch *gdbarch)
3053 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
3055 if (!tdep->i386_zmm_type)
3057 const struct builtin_type *bt = builtin_type (gdbarch);
3059 /* The type we're building is this: */
3061 union __gdb_builtin_type_vec512i
3063 int128_t uint128[4];
3064 int64_t v4_int64[8];
3065 int32_t v8_int32[16];
3066 int16_t v16_int16[32];
3067 int8_t v32_int8[64];
3068 double v4_double[8];
3075 t = arch_composite_type (gdbarch,
3076 "__gdb_builtin_type_vec512i", TYPE_CODE_UNION);
3077 append_composite_type_field (t, "v16_float",
3078 init_vector_type (bt->builtin_float, 16));
3079 append_composite_type_field (t, "v8_double",
3080 init_vector_type (bt->builtin_double, 8));
3081 append_composite_type_field (t, "v64_int8",
3082 init_vector_type (bt->builtin_int8, 64));
3083 append_composite_type_field (t, "v32_int16",
3084 init_vector_type (bt->builtin_int16, 32));
3085 append_composite_type_field (t, "v16_int32",
3086 init_vector_type (bt->builtin_int32, 16));
3087 append_composite_type_field (t, "v8_int64",
3088 init_vector_type (bt->builtin_int64, 8));
3089 append_composite_type_field (t, "v4_int128",
3090 init_vector_type (bt->builtin_int128, 4));
3092 TYPE_VECTOR (t) = 1;
3093 TYPE_NAME (t) = "builtin_type_vec512i";
3094 tdep->i386_zmm_type = t;
3097 return tdep->i386_zmm_type;
3100 /* Construct vector type for pseudo YMM registers. We can't use
3101 tdesc_find_type since YMM isn't described in target description. */
3103 static struct type *
3104 i386_ymm_type (struct gdbarch *gdbarch)
3106 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
3108 if (!tdep->i386_ymm_type)
3110 const struct builtin_type *bt = builtin_type (gdbarch);
3112 /* The type we're building is this: */
3114 union __gdb_builtin_type_vec256i
3116 int128_t uint128[2];
3117 int64_t v2_int64[4];
3118 int32_t v4_int32[8];
3119 int16_t v8_int16[16];
3120 int8_t v16_int8[32];
3121 double v2_double[4];
3128 t = arch_composite_type (gdbarch,
3129 "__gdb_builtin_type_vec256i", TYPE_CODE_UNION);
3130 append_composite_type_field (t, "v8_float",
3131 init_vector_type (bt->builtin_float, 8));
3132 append_composite_type_field (t, "v4_double",
3133 init_vector_type (bt->builtin_double, 4));
3134 append_composite_type_field (t, "v32_int8",
3135 init_vector_type (bt->builtin_int8, 32));
3136 append_composite_type_field (t, "v16_int16",
3137 init_vector_type (bt->builtin_int16, 16));
3138 append_composite_type_field (t, "v8_int32",
3139 init_vector_type (bt->builtin_int32, 8));
3140 append_composite_type_field (t, "v4_int64",
3141 init_vector_type (bt->builtin_int64, 4));
3142 append_composite_type_field (t, "v2_int128",
3143 init_vector_type (bt->builtin_int128, 2));
3145 TYPE_VECTOR (t) = 1;
3146 TYPE_NAME (t) = "builtin_type_vec256i";
3147 tdep->i386_ymm_type = t;
3150 return tdep->i386_ymm_type;
3153 /* Construct vector type for MMX registers. */
3154 static struct type *
3155 i386_mmx_type (struct gdbarch *gdbarch)
3157 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
3159 if (!tdep->i386_mmx_type)
3161 const struct builtin_type *bt = builtin_type (gdbarch);
3163 /* The type we're building is this: */
3165 union __gdb_builtin_type_vec64i
3168 int32_t v2_int32[2];
3169 int16_t v4_int16[4];
3176 t = arch_composite_type (gdbarch,
3177 "__gdb_builtin_type_vec64i", TYPE_CODE_UNION);
3179 append_composite_type_field (t, "uint64", bt->builtin_int64);
3180 append_composite_type_field (t, "v2_int32",
3181 init_vector_type (bt->builtin_int32, 2));
3182 append_composite_type_field (t, "v4_int16",
3183 init_vector_type (bt->builtin_int16, 4));
3184 append_composite_type_field (t, "v8_int8",
3185 init_vector_type (bt->builtin_int8, 8));
3187 TYPE_VECTOR (t) = 1;
3188 TYPE_NAME (t) = "builtin_type_vec64i";
3189 tdep->i386_mmx_type = t;
3192 return tdep->i386_mmx_type;
3195 /* Return the GDB type object for the "standard" data type of data in
3199 i386_pseudo_register_type (struct gdbarch *gdbarch, int regnum)
3201 if (i386_bnd_regnum_p (gdbarch, regnum))
3202 return i386_bnd_type (gdbarch);
3203 if (i386_mmx_regnum_p (gdbarch, regnum))
3204 return i386_mmx_type (gdbarch);
3205 else if (i386_ymm_regnum_p (gdbarch, regnum))
3206 return i386_ymm_type (gdbarch);
3207 else if (i386_ymm_avx512_regnum_p (gdbarch, regnum))
3208 return i386_ymm_type (gdbarch);
3209 else if (i386_zmm_regnum_p (gdbarch, regnum))
3210 return i386_zmm_type (gdbarch);
3213 const struct builtin_type *bt = builtin_type (gdbarch);
3214 if (i386_byte_regnum_p (gdbarch, regnum))
3215 return bt->builtin_int8;
3216 else if (i386_word_regnum_p (gdbarch, regnum))
3217 return bt->builtin_int16;
3218 else if (i386_dword_regnum_p (gdbarch, regnum))
3219 return bt->builtin_int32;
3220 else if (i386_k_regnum_p (gdbarch, regnum))
3221 return bt->builtin_int64;
3224 internal_error (__FILE__, __LINE__, _("invalid regnum"));
3227 /* Map a cooked register onto a raw register or memory. For the i386,
3228 the MMX registers need to be mapped onto floating point registers. */
3231 i386_mmx_regnum_to_fp_regnum (struct regcache *regcache, int regnum)
3233 struct gdbarch_tdep *tdep = gdbarch_tdep (get_regcache_arch (regcache));
3238 mmxreg = regnum - tdep->mm0_regnum;
3239 regcache_raw_read_unsigned (regcache, I387_FSTAT_REGNUM (tdep), &fstat);
3240 tos = (fstat >> 11) & 0x7;
3241 fpreg = (mmxreg + tos) % 8;
3243 return (I387_ST0_REGNUM (tdep) + fpreg);
3246 /* A helper function for us by i386_pseudo_register_read_value and
3247 amd64_pseudo_register_read_value. It does all the work but reads
3248 the data into an already-allocated value. */
3251 i386_pseudo_register_read_into_value (struct gdbarch *gdbarch,
3252 struct regcache *regcache,
3254 struct value *result_value)
3256 gdb_byte raw_buf[MAX_REGISTER_SIZE];
3257 enum register_status status;
3258 gdb_byte *buf = value_contents_raw (result_value);
3260 if (i386_mmx_regnum_p (gdbarch, regnum))
3262 int fpnum = i386_mmx_regnum_to_fp_regnum (regcache, regnum);
3264 /* Extract (always little endian). */
3265 status = regcache_raw_read (regcache, fpnum, raw_buf);
3266 if (status != REG_VALID)
3267 mark_value_bytes_unavailable (result_value, 0,
3268 TYPE_LENGTH (value_type (result_value)));
3270 memcpy (buf, raw_buf, register_size (gdbarch, regnum));
3274 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
3275 if (i386_bnd_regnum_p (gdbarch, regnum))
3277 regnum -= tdep->bnd0_regnum;
3279 /* Extract (always little endian). Read lower 128bits. */
3280 status = regcache_raw_read (regcache,
3281 I387_BND0R_REGNUM (tdep) + regnum,
3283 if (status != REG_VALID)
3284 mark_value_bytes_unavailable (result_value, 0, 16);
3287 enum bfd_endian byte_order = gdbarch_byte_order (target_gdbarch ());
3288 LONGEST upper, lower;
3289 int size = TYPE_LENGTH (builtin_type (gdbarch)->builtin_data_ptr);
3291 lower = extract_unsigned_integer (raw_buf, 8, byte_order);
3292 upper = extract_unsigned_integer (raw_buf + 8, 8, byte_order);
3295 memcpy (buf, &lower, size);
3296 memcpy (buf + size, &upper, size);
3299 else if (i386_k_regnum_p (gdbarch, regnum))
3301 regnum -= tdep->k0_regnum;
3303 /* Extract (always little endian). */
3304 status = regcache_raw_read (regcache,
3305 tdep->k0_regnum + regnum,
3307 if (status != REG_VALID)
3308 mark_value_bytes_unavailable (result_value, 0, 8);
3310 memcpy (buf, raw_buf, 8);
3312 else if (i386_zmm_regnum_p (gdbarch, regnum))
3314 regnum -= tdep->zmm0_regnum;
3316 if (regnum < num_lower_zmm_regs)
3318 /* Extract (always little endian). Read lower 128bits. */
3319 status = regcache_raw_read (regcache,
3320 I387_XMM0_REGNUM (tdep) + regnum,
3322 if (status != REG_VALID)
3323 mark_value_bytes_unavailable (result_value, 0, 16);
3325 memcpy (buf, raw_buf, 16);
3327 /* Extract (always little endian). Read upper 128bits. */
3328 status = regcache_raw_read (regcache,
3329 tdep->ymm0h_regnum + regnum,
3331 if (status != REG_VALID)
3332 mark_value_bytes_unavailable (result_value, 16, 16);
3334 memcpy (buf + 16, raw_buf, 16);
3338 /* Extract (always little endian). Read lower 128bits. */
3339 status = regcache_raw_read (regcache,
3340 I387_XMM16_REGNUM (tdep) + regnum
3341 - num_lower_zmm_regs,
3343 if (status != REG_VALID)
3344 mark_value_bytes_unavailable (result_value, 0, 16);
3346 memcpy (buf, raw_buf, 16);
3348 /* Extract (always little endian). Read upper 128bits. */
3349 status = regcache_raw_read (regcache,
3350 I387_YMM16H_REGNUM (tdep) + regnum
3351 - num_lower_zmm_regs,
3353 if (status != REG_VALID)
3354 mark_value_bytes_unavailable (result_value, 16, 16);
3356 memcpy (buf + 16, raw_buf, 16);
3359 /* Read upper 256bits. */
3360 status = regcache_raw_read (regcache,
3361 tdep->zmm0h_regnum + regnum,
3363 if (status != REG_VALID)
3364 mark_value_bytes_unavailable (result_value, 32, 32);
3366 memcpy (buf + 32, raw_buf, 32);
3368 else if (i386_ymm_regnum_p (gdbarch, regnum))
3370 regnum -= tdep->ymm0_regnum;
3372 /* Extract (always little endian). Read lower 128bits. */
3373 status = regcache_raw_read (regcache,
3374 I387_XMM0_REGNUM (tdep) + regnum,
3376 if (status != REG_VALID)
3377 mark_value_bytes_unavailable (result_value, 0, 16);
3379 memcpy (buf, raw_buf, 16);
3380 /* Read upper 128bits. */
3381 status = regcache_raw_read (regcache,
3382 tdep->ymm0h_regnum + regnum,
3384 if (status != REG_VALID)
3385 mark_value_bytes_unavailable (result_value, 16, 32);
3387 memcpy (buf + 16, raw_buf, 16);
3389 else if (i386_ymm_avx512_regnum_p (gdbarch, regnum))
3391 regnum -= tdep->ymm16_regnum;
3392 /* Extract (always little endian). Read lower 128bits. */
3393 status = regcache_raw_read (regcache,
3394 I387_XMM16_REGNUM (tdep) + regnum,
3396 if (status != REG_VALID)
3397 mark_value_bytes_unavailable (result_value, 0, 16);
3399 memcpy (buf, raw_buf, 16);
3400 /* Read upper 128bits. */
3401 status = regcache_raw_read (regcache,
3402 tdep->ymm16h_regnum + regnum,
3404 if (status != REG_VALID)
3405 mark_value_bytes_unavailable (result_value, 16, 16);
3407 memcpy (buf + 16, raw_buf, 16);
3409 else if (i386_word_regnum_p (gdbarch, regnum))
3411 int gpnum = regnum - tdep->ax_regnum;
3413 /* Extract (always little endian). */
3414 status = regcache_raw_read (regcache, gpnum, raw_buf);
3415 if (status != REG_VALID)
3416 mark_value_bytes_unavailable (result_value, 0,
3417 TYPE_LENGTH (value_type (result_value)));
3419 memcpy (buf, raw_buf, 2);
3421 else if (i386_byte_regnum_p (gdbarch, regnum))
3423 int gpnum = regnum - tdep->al_regnum;
3425 /* Extract (always little endian). We read both lower and
3427 status = regcache_raw_read (regcache, gpnum % 4, raw_buf);
3428 if (status != REG_VALID)
3429 mark_value_bytes_unavailable (result_value, 0,
3430 TYPE_LENGTH (value_type (result_value)));
3431 else if (gpnum >= 4)
3432 memcpy (buf, raw_buf + 1, 1);
3434 memcpy (buf, raw_buf, 1);
3437 internal_error (__FILE__, __LINE__, _("invalid regnum"));
3441 static struct value *
3442 i386_pseudo_register_read_value (struct gdbarch *gdbarch,
3443 struct regcache *regcache,
3446 struct value *result;
3448 result = allocate_value (register_type (gdbarch, regnum));
3449 VALUE_LVAL (result) = lval_register;
3450 VALUE_REGNUM (result) = regnum;
3452 i386_pseudo_register_read_into_value (gdbarch, regcache, regnum, result);
3458 i386_pseudo_register_write (struct gdbarch *gdbarch, struct regcache *regcache,
3459 int regnum, const gdb_byte *buf)
3461 gdb_byte raw_buf[MAX_REGISTER_SIZE];
3463 if (i386_mmx_regnum_p (gdbarch, regnum))
3465 int fpnum = i386_mmx_regnum_to_fp_regnum (regcache, regnum);
3468 regcache_raw_read (regcache, fpnum, raw_buf);
3469 /* ... Modify ... (always little endian). */
3470 memcpy (raw_buf, buf, register_size (gdbarch, regnum));
3472 regcache_raw_write (regcache, fpnum, raw_buf);
3476 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
3478 if (i386_bnd_regnum_p (gdbarch, regnum))
3480 ULONGEST upper, lower;
3481 int size = TYPE_LENGTH (builtin_type (gdbarch)->builtin_data_ptr);
3482 enum bfd_endian byte_order = gdbarch_byte_order (target_gdbarch ());
3484 /* New values from input value. */
3485 regnum -= tdep->bnd0_regnum;
3486 lower = extract_unsigned_integer (buf, size, byte_order);
3487 upper = extract_unsigned_integer (buf + size, size, byte_order);
3489 /* Fetching register buffer. */
3490 regcache_raw_read (regcache,
3491 I387_BND0R_REGNUM (tdep) + regnum,
3496 /* Set register bits. */
3497 memcpy (raw_buf, &lower, 8);
3498 memcpy (raw_buf + 8, &upper, 8);
3501 regcache_raw_write (regcache,
3502 I387_BND0R_REGNUM (tdep) + regnum,
3505 else if (i386_k_regnum_p (gdbarch, regnum))
3507 regnum -= tdep->k0_regnum;
3509 regcache_raw_write (regcache,
3510 tdep->k0_regnum + regnum,
3513 else if (i386_zmm_regnum_p (gdbarch, regnum))
3515 regnum -= tdep->zmm0_regnum;
3517 if (regnum < num_lower_zmm_regs)
3519 /* Write lower 128bits. */
3520 regcache_raw_write (regcache,
3521 I387_XMM0_REGNUM (tdep) + regnum,
3523 /* Write upper 128bits. */
3524 regcache_raw_write (regcache,
3525 I387_YMM0_REGNUM (tdep) + regnum,
3530 /* Write lower 128bits. */
3531 regcache_raw_write (regcache,
3532 I387_XMM16_REGNUM (tdep) + regnum
3533 - num_lower_zmm_regs,
3535 /* Write upper 128bits. */
3536 regcache_raw_write (regcache,
3537 I387_YMM16H_REGNUM (tdep) + regnum
3538 - num_lower_zmm_regs,
3541 /* Write upper 256bits. */
3542 regcache_raw_write (regcache,
3543 tdep->zmm0h_regnum + regnum,
3546 else if (i386_ymm_regnum_p (gdbarch, regnum))
3548 regnum -= tdep->ymm0_regnum;
3550 /* ... Write lower 128bits. */
3551 regcache_raw_write (regcache,
3552 I387_XMM0_REGNUM (tdep) + regnum,
3554 /* ... Write upper 128bits. */
3555 regcache_raw_write (regcache,
3556 tdep->ymm0h_regnum + regnum,
3559 else if (i386_ymm_avx512_regnum_p (gdbarch, regnum))
3561 regnum -= tdep->ymm16_regnum;
3563 /* ... Write lower 128bits. */
3564 regcache_raw_write (regcache,
3565 I387_XMM16_REGNUM (tdep) + regnum,
3567 /* ... Write upper 128bits. */
3568 regcache_raw_write (regcache,
3569 tdep->ymm16h_regnum + regnum,
3572 else if (i386_word_regnum_p (gdbarch, regnum))
3574 int gpnum = regnum - tdep->ax_regnum;
3577 regcache_raw_read (regcache, gpnum, raw_buf);
3578 /* ... Modify ... (always little endian). */
3579 memcpy (raw_buf, buf, 2);
3581 regcache_raw_write (regcache, gpnum, raw_buf);
3583 else if (i386_byte_regnum_p (gdbarch, regnum))
3585 int gpnum = regnum - tdep->al_regnum;
3587 /* Read ... We read both lower and upper registers. */
3588 regcache_raw_read (regcache, gpnum % 4, raw_buf);
3589 /* ... Modify ... (always little endian). */
3591 memcpy (raw_buf + 1, buf, 1);
3593 memcpy (raw_buf, buf, 1);
3595 regcache_raw_write (regcache, gpnum % 4, raw_buf);
3598 internal_error (__FILE__, __LINE__, _("invalid regnum"));
3602 /* Implement the 'ax_pseudo_register_collect' gdbarch method. */
3605 i386_ax_pseudo_register_collect (struct gdbarch *gdbarch,
3606 struct agent_expr *ax, int regnum)
3608 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
3610 if (i386_mmx_regnum_p (gdbarch, regnum))
3612 /* MMX to FPU register mapping depends on current TOS. Let's just
3613 not care and collect everything... */
3616 ax_reg_mask (ax, I387_FSTAT_REGNUM (tdep));
3617 for (i = 0; i < 8; i++)
3618 ax_reg_mask (ax, I387_ST0_REGNUM (tdep) + i);
3621 else if (i386_bnd_regnum_p (gdbarch, regnum))
3623 regnum -= tdep->bnd0_regnum;
3624 ax_reg_mask (ax, I387_BND0R_REGNUM (tdep) + regnum);
3627 else if (i386_k_regnum_p (gdbarch, regnum))
3629 regnum -= tdep->k0_regnum;
3630 ax_reg_mask (ax, tdep->k0_regnum + regnum);
3633 else if (i386_zmm_regnum_p (gdbarch, regnum))
3635 regnum -= tdep->zmm0_regnum;
3636 if (regnum < num_lower_zmm_regs)
3638 ax_reg_mask (ax, I387_XMM0_REGNUM (tdep) + regnum);
3639 ax_reg_mask (ax, tdep->ymm0h_regnum + regnum);
3643 ax_reg_mask (ax, I387_XMM16_REGNUM (tdep) + regnum
3644 - num_lower_zmm_regs);
3645 ax_reg_mask (ax, I387_YMM16H_REGNUM (tdep) + regnum
3646 - num_lower_zmm_regs);
3648 ax_reg_mask (ax, tdep->zmm0h_regnum + regnum);
3651 else if (i386_ymm_regnum_p (gdbarch, regnum))
3653 regnum -= tdep->ymm0_regnum;
3654 ax_reg_mask (ax, I387_XMM0_REGNUM (tdep) + regnum);
3655 ax_reg_mask (ax, tdep->ymm0h_regnum + regnum);
3658 else if (i386_ymm_avx512_regnum_p (gdbarch, regnum))
3660 regnum -= tdep->ymm16_regnum;
3661 ax_reg_mask (ax, I387_XMM16_REGNUM (tdep) + regnum);
3662 ax_reg_mask (ax, tdep->ymm16h_regnum + regnum);
3665 else if (i386_word_regnum_p (gdbarch, regnum))
3667 int gpnum = regnum - tdep->ax_regnum;
3669 ax_reg_mask (ax, gpnum);
3672 else if (i386_byte_regnum_p (gdbarch, regnum))
3674 int gpnum = regnum - tdep->al_regnum;
3676 ax_reg_mask (ax, gpnum % 4);
3680 internal_error (__FILE__, __LINE__, _("invalid regnum"));
3685 /* Return the register number of the register allocated by GCC after
3686 REGNUM, or -1 if there is no such register. */
3689 i386_next_regnum (int regnum)
3691 /* GCC allocates the registers in the order:
3693 %eax, %edx, %ecx, %ebx, %esi, %edi, %ebp, %esp, ...
3695 Since storing a variable in %esp doesn't make any sense we return
3696 -1 for %ebp and for %esp itself. */
3697 static int next_regnum[] =
3699 I386_EDX_REGNUM, /* Slot for %eax. */
3700 I386_EBX_REGNUM, /* Slot for %ecx. */
3701 I386_ECX_REGNUM, /* Slot for %edx. */
3702 I386_ESI_REGNUM, /* Slot for %ebx. */
3703 -1, -1, /* Slots for %esp and %ebp. */
3704 I386_EDI_REGNUM, /* Slot for %esi. */
3705 I386_EBP_REGNUM /* Slot for %edi. */
3708 if (regnum >= 0 && regnum < sizeof (next_regnum) / sizeof (next_regnum[0]))
3709 return next_regnum[regnum];
3714 /* Return nonzero if a value of type TYPE stored in register REGNUM
3715 needs any special handling. */
3718 i386_convert_register_p (struct gdbarch *gdbarch,
3719 int regnum, struct type *type)
3721 int len = TYPE_LENGTH (type);
3723 /* Values may be spread across multiple registers. Most debugging
3724 formats aren't expressive enough to specify the locations, so
3725 some heuristics is involved. Right now we only handle types that
3726 have a length that is a multiple of the word size, since GCC
3727 doesn't seem to put any other types into registers. */
3728 if (len > 4 && len % 4 == 0)
3730 int last_regnum = regnum;
3734 last_regnum = i386_next_regnum (last_regnum);
3738 if (last_regnum != -1)
3742 return i387_convert_register_p (gdbarch, regnum, type);
3745 /* Read a value of type TYPE from register REGNUM in frame FRAME, and
3746 return its contents in TO. */
3749 i386_register_to_value (struct frame_info *frame, int regnum,
3750 struct type *type, gdb_byte *to,
3751 int *optimizedp, int *unavailablep)
3753 struct gdbarch *gdbarch = get_frame_arch (frame);
3754 int len = TYPE_LENGTH (type);
3756 if (i386_fp_regnum_p (gdbarch, regnum))
3757 return i387_register_to_value (frame, regnum, type, to,
3758 optimizedp, unavailablep);
3760 /* Read a value spread across multiple registers. */
3762 gdb_assert (len > 4 && len % 4 == 0);
3766 gdb_assert (regnum != -1);
3767 gdb_assert (register_size (gdbarch, regnum) == 4);
3769 if (!get_frame_register_bytes (frame, regnum, 0,
3770 register_size (gdbarch, regnum),
3771 to, optimizedp, unavailablep))
3774 regnum = i386_next_regnum (regnum);
3779 *optimizedp = *unavailablep = 0;
3783 /* Write the contents FROM of a value of type TYPE into register
3784 REGNUM in frame FRAME. */
3787 i386_value_to_register (struct frame_info *frame, int regnum,
3788 struct type *type, const gdb_byte *from)
3790 int len = TYPE_LENGTH (type);
3792 if (i386_fp_regnum_p (get_frame_arch (frame), regnum))
3794 i387_value_to_register (frame, regnum, type, from);
3798 /* Write a value spread across multiple registers. */
3800 gdb_assert (len > 4 && len % 4 == 0);
3804 gdb_assert (regnum != -1);
3805 gdb_assert (register_size (get_frame_arch (frame), regnum) == 4);
3807 put_frame_register (frame, regnum, from);
3808 regnum = i386_next_regnum (regnum);
3814 /* Supply register REGNUM from the buffer specified by GREGS and LEN
3815 in the general-purpose register set REGSET to register cache
3816 REGCACHE. If REGNUM is -1, do this for all registers in REGSET. */
3819 i386_supply_gregset (const struct regset *regset, struct regcache *regcache,
3820 int regnum, const void *gregs, size_t len)
3822 struct gdbarch *gdbarch = get_regcache_arch (regcache);
3823 const struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
3824 const gdb_byte *regs = (const gdb_byte *) gregs;
3827 gdb_assert (len >= tdep->sizeof_gregset);
3829 for (i = 0; i < tdep->gregset_num_regs; i++)
3831 if ((regnum == i || regnum == -1)
3832 && tdep->gregset_reg_offset[i] != -1)
3833 regcache_raw_supply (regcache, i, regs + tdep->gregset_reg_offset[i]);
3837 /* Collect register REGNUM from the register cache REGCACHE and store
3838 it in the buffer specified by GREGS and LEN as described by the
3839 general-purpose register set REGSET. If REGNUM is -1, do this for
3840 all registers in REGSET. */
3843 i386_collect_gregset (const struct regset *regset,
3844 const struct regcache *regcache,
3845 int regnum, void *gregs, size_t len)
3847 struct gdbarch *gdbarch = get_regcache_arch (regcache);
3848 const struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
3849 gdb_byte *regs = (gdb_byte *) gregs;
3852 gdb_assert (len >= tdep->sizeof_gregset);
3854 for (i = 0; i < tdep->gregset_num_regs; i++)
3856 if ((regnum == i || regnum == -1)
3857 && tdep->gregset_reg_offset[i] != -1)
3858 regcache_raw_collect (regcache, i, regs + tdep->gregset_reg_offset[i]);
3862 /* Supply register REGNUM from the buffer specified by FPREGS and LEN
3863 in the floating-point register set REGSET to register cache
3864 REGCACHE. If REGNUM is -1, do this for all registers in REGSET. */
3867 i386_supply_fpregset (const struct regset *regset, struct regcache *regcache,
3868 int regnum, const void *fpregs, size_t len)
3870 struct gdbarch *gdbarch = get_regcache_arch (regcache);
3871 const struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
3873 if (len == I387_SIZEOF_FXSAVE)
3875 i387_supply_fxsave (regcache, regnum, fpregs);
3879 gdb_assert (len >= tdep->sizeof_fpregset);
3880 i387_supply_fsave (regcache, regnum, fpregs);
3883 /* Collect register REGNUM from the register cache REGCACHE and store
3884 it in the buffer specified by FPREGS and LEN as described by the
3885 floating-point register set REGSET. If REGNUM is -1, do this for
3886 all registers in REGSET. */
3889 i386_collect_fpregset (const struct regset *regset,
3890 const struct regcache *regcache,
3891 int regnum, void *fpregs, size_t len)
3893 struct gdbarch *gdbarch = get_regcache_arch (regcache);
3894 const struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
3896 if (len == I387_SIZEOF_FXSAVE)
3898 i387_collect_fxsave (regcache, regnum, fpregs);
3902 gdb_assert (len >= tdep->sizeof_fpregset);
3903 i387_collect_fsave (regcache, regnum, fpregs);
3906 /* Register set definitions. */
3908 const struct regset i386_gregset =
3910 NULL, i386_supply_gregset, i386_collect_gregset
3913 const struct regset i386_fpregset =
3915 NULL, i386_supply_fpregset, i386_collect_fpregset
3918 /* Default iterator over core file register note sections. */
3921 i386_iterate_over_regset_sections (struct gdbarch *gdbarch,
3922 iterate_over_regset_sections_cb *cb,
3924 const struct regcache *regcache)
3926 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
3928 cb (".reg", tdep->sizeof_gregset, &i386_gregset, NULL, cb_data);
3929 if (tdep->sizeof_fpregset)
3930 cb (".reg2", tdep->sizeof_fpregset, tdep->fpregset, NULL, cb_data);
3934 /* Stuff for WIN32 PE style DLL's but is pretty generic really. */
3937 i386_pe_skip_trampoline_code (struct frame_info *frame,
3938 CORE_ADDR pc, char *name)
3940 struct gdbarch *gdbarch = get_frame_arch (frame);
3941 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
3944 if (pc && read_memory_unsigned_integer (pc, 2, byte_order) == 0x25ff)
3946 unsigned long indirect =
3947 read_memory_unsigned_integer (pc + 2, 4, byte_order);
3948 struct minimal_symbol *indsym =
3949 indirect ? lookup_minimal_symbol_by_pc (indirect).minsym : 0;
3950 const char *symname = indsym ? MSYMBOL_LINKAGE_NAME (indsym) : 0;
3954 if (startswith (symname, "__imp_")
3955 || startswith (symname, "_imp_"))
3957 read_memory_unsigned_integer (indirect, 4, byte_order);
3960 return 0; /* Not a trampoline. */
3964 /* Return whether the THIS_FRAME corresponds to a sigtramp
3968 i386_sigtramp_p (struct frame_info *this_frame)
3970 CORE_ADDR pc = get_frame_pc (this_frame);
3973 find_pc_partial_function (pc, &name, NULL, NULL);
3974 return (name && strcmp ("_sigtramp", name) == 0);
3978 /* We have two flavours of disassembly. The machinery on this page
3979 deals with switching between those. */
3982 i386_print_insn (bfd_vma pc, struct disassemble_info *info)
3984 gdb_assert (disassembly_flavor == att_flavor
3985 || disassembly_flavor == intel_flavor);
3987 /* FIXME: kettenis/20020915: Until disassembler_options is properly
3988 constified, cast to prevent a compiler warning. */
3989 info->disassembler_options = (char *) disassembly_flavor;
3991 return print_insn_i386 (pc, info);
3995 /* There are a few i386 architecture variants that differ only
3996 slightly from the generic i386 target. For now, we don't give them
3997 their own source file, but include them here. As a consequence,
3998 they'll always be included. */
4000 /* System V Release 4 (SVR4). */
4002 /* Return whether THIS_FRAME corresponds to a SVR4 sigtramp
4006 i386_svr4_sigtramp_p (struct frame_info *this_frame)
4008 CORE_ADDR pc = get_frame_pc (this_frame);
4011 /* The origin of these symbols is currently unknown. */
4012 find_pc_partial_function (pc, &name, NULL, NULL);
4013 return (name && (strcmp ("_sigreturn", name) == 0
4014 || strcmp ("sigvechandler", name) == 0));
4017 /* Assuming THIS_FRAME is for a SVR4 sigtramp routine, return the
4018 address of the associated sigcontext (ucontext) structure. */
4021 i386_svr4_sigcontext_addr (struct frame_info *this_frame)
4023 struct gdbarch *gdbarch = get_frame_arch (this_frame);
4024 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
4028 get_frame_register (this_frame, I386_ESP_REGNUM, buf);
4029 sp = extract_unsigned_integer (buf, 4, byte_order);
4031 return read_memory_unsigned_integer (sp + 8, 4, byte_order);
4036 /* Implementation of `gdbarch_stap_is_single_operand', as defined in
4040 i386_stap_is_single_operand (struct gdbarch *gdbarch, const char *s)
4042 return (*s == '$' /* Literal number. */
4043 || (isdigit (*s) && s[1] == '(' && s[2] == '%') /* Displacement. */
4044 || (*s == '(' && s[1] == '%') /* Register indirection. */
4045 || (*s == '%' && isalpha (s[1]))); /* Register access. */
4048 /* Helper function for i386_stap_parse_special_token.
4050 This function parses operands of the form `-8+3+1(%rbp)', which
4051 must be interpreted as `*(-8 + 3 - 1 + (void *) $eax)'.
4053 Return 1 if the operand was parsed successfully, zero
4057 i386_stap_parse_special_token_triplet (struct gdbarch *gdbarch,
4058 struct stap_parse_info *p)
4060 const char *s = p->arg;
4062 if (isdigit (*s) || *s == '-' || *s == '+')
4066 long displacements[3];
4082 if (!isdigit ((unsigned char) *s))
4085 displacements[0] = strtol (s, &endp, 10);
4088 if (*s != '+' && *s != '-')
4090 /* We are not dealing with a triplet. */
4103 if (!isdigit ((unsigned char) *s))
4106 displacements[1] = strtol (s, &endp, 10);
4109 if (*s != '+' && *s != '-')
4111 /* We are not dealing with a triplet. */
4124 if (!isdigit ((unsigned char) *s))
4127 displacements[2] = strtol (s, &endp, 10);
4130 if (*s != '(' || s[1] != '%')
4136 while (isalnum (*s))
4142 len = s - start - 1;
4143 regname = (char *) alloca (len + 1);
4145 strncpy (regname, start, len);
4146 regname[len] = '\0';
4148 if (user_reg_map_name_to_regnum (gdbarch, regname, len) == -1)
4149 error (_("Invalid register name `%s' on expression `%s'."),
4150 regname, p->saved_arg);
4152 for (i = 0; i < 3; i++)
4154 write_exp_elt_opcode (&p->pstate, OP_LONG);
4156 (&p->pstate, builtin_type (gdbarch)->builtin_long);
4157 write_exp_elt_longcst (&p->pstate, displacements[i]);
4158 write_exp_elt_opcode (&p->pstate, OP_LONG);
4160 write_exp_elt_opcode (&p->pstate, UNOP_NEG);
4163 write_exp_elt_opcode (&p->pstate, OP_REGISTER);
4166 write_exp_string (&p->pstate, str);
4167 write_exp_elt_opcode (&p->pstate, OP_REGISTER);
4169 write_exp_elt_opcode (&p->pstate, UNOP_CAST);
4170 write_exp_elt_type (&p->pstate,
4171 builtin_type (gdbarch)->builtin_data_ptr);
4172 write_exp_elt_opcode (&p->pstate, UNOP_CAST);
4174 write_exp_elt_opcode (&p->pstate, BINOP_ADD);
4175 write_exp_elt_opcode (&p->pstate, BINOP_ADD);
4176 write_exp_elt_opcode (&p->pstate, BINOP_ADD);
4178 write_exp_elt_opcode (&p->pstate, UNOP_CAST);
4179 write_exp_elt_type (&p->pstate,
4180 lookup_pointer_type (p->arg_type));
4181 write_exp_elt_opcode (&p->pstate, UNOP_CAST);
4183 write_exp_elt_opcode (&p->pstate, UNOP_IND);
4193 /* Helper function for i386_stap_parse_special_token.
4195 This function parses operands of the form `register base +
4196 (register index * size) + offset', as represented in
4197 `(%rcx,%rax,8)', or `[OFFSET](BASE_REG,INDEX_REG[,SIZE])'.
4199 Return 1 if the operand was parsed successfully, zero
4203 i386_stap_parse_special_token_three_arg_disp (struct gdbarch *gdbarch,
4204 struct stap_parse_info *p)
4206 const char *s = p->arg;
4208 if (isdigit (*s) || *s == '(' || *s == '-' || *s == '+')
4210 int offset_minus = 0;
4219 struct stoken base_token, index_token;
4229 if (offset_minus && !isdigit (*s))
4236 offset = strtol (s, &endp, 10);
4240 if (*s != '(' || s[1] != '%')
4246 while (isalnum (*s))
4249 if (*s != ',' || s[1] != '%')
4252 len_base = s - start;
4253 base = (char *) alloca (len_base + 1);
4254 strncpy (base, start, len_base);
4255 base[len_base] = '\0';
4257 if (user_reg_map_name_to_regnum (gdbarch, base, len_base) == -1)
4258 error (_("Invalid register name `%s' on expression `%s'."),
4259 base, p->saved_arg);
4264 while (isalnum (*s))
4267 len_index = s - start;
4268 index = (char *) alloca (len_index + 1);
4269 strncpy (index, start, len_index);
4270 index[len_index] = '\0';
4272 if (user_reg_map_name_to_regnum (gdbarch, index, len_index) == -1)
4273 error (_("Invalid register name `%s' on expression `%s'."),
4274 index, p->saved_arg);
4276 if (*s != ',' && *s != ')')
4292 size = strtol (s, &endp, 10);
4303 write_exp_elt_opcode (&p->pstate, OP_LONG);
4304 write_exp_elt_type (&p->pstate,
4305 builtin_type (gdbarch)->builtin_long);
4306 write_exp_elt_longcst (&p->pstate, offset);
4307 write_exp_elt_opcode (&p->pstate, OP_LONG);
4309 write_exp_elt_opcode (&p->pstate, UNOP_NEG);
4312 write_exp_elt_opcode (&p->pstate, OP_REGISTER);
4313 base_token.ptr = base;
4314 base_token.length = len_base;
4315 write_exp_string (&p->pstate, base_token);
4316 write_exp_elt_opcode (&p->pstate, OP_REGISTER);
4319 write_exp_elt_opcode (&p->pstate, BINOP_ADD);
4321 write_exp_elt_opcode (&p->pstate, OP_REGISTER);
4322 index_token.ptr = index;
4323 index_token.length = len_index;
4324 write_exp_string (&p->pstate, index_token);
4325 write_exp_elt_opcode (&p->pstate, OP_REGISTER);
4329 write_exp_elt_opcode (&p->pstate, OP_LONG);
4330 write_exp_elt_type (&p->pstate,
4331 builtin_type (gdbarch)->builtin_long);
4332 write_exp_elt_longcst (&p->pstate, size);
4333 write_exp_elt_opcode (&p->pstate, OP_LONG);
4335 write_exp_elt_opcode (&p->pstate, UNOP_NEG);
4336 write_exp_elt_opcode (&p->pstate, BINOP_MUL);
4339 write_exp_elt_opcode (&p->pstate, BINOP_ADD);
4341 write_exp_elt_opcode (&p->pstate, UNOP_CAST);
4342 write_exp_elt_type (&p->pstate,
4343 lookup_pointer_type (p->arg_type));
4344 write_exp_elt_opcode (&p->pstate, UNOP_CAST);
4346 write_exp_elt_opcode (&p->pstate, UNOP_IND);
4356 /* Implementation of `gdbarch_stap_parse_special_token', as defined in
4360 i386_stap_parse_special_token (struct gdbarch *gdbarch,
4361 struct stap_parse_info *p)
4363 /* In order to parse special tokens, we use a state-machine that go
4364 through every known token and try to get a match. */
4368 THREE_ARG_DISPLACEMENT,
4373 current_state = TRIPLET;
4375 /* The special tokens to be parsed here are:
4377 - `register base + (register index * size) + offset', as represented
4378 in `(%rcx,%rax,8)', or `[OFFSET](BASE_REG,INDEX_REG[,SIZE])'.
4380 - Operands of the form `-8+3+1(%rbp)', which must be interpreted as
4381 `*(-8 + 3 - 1 + (void *) $eax)'. */
4383 while (current_state != DONE)
4385 switch (current_state)
4388 if (i386_stap_parse_special_token_triplet (gdbarch, p))
4392 case THREE_ARG_DISPLACEMENT:
4393 if (i386_stap_parse_special_token_three_arg_disp (gdbarch, p))
4398 /* Advancing to the next state. */
4407 /* gdbarch gnu_triplet_regexp method. Both arches are acceptable as GDB always
4408 also supplies -m64 or -m32 by gdbarch_gcc_target_options. */
4411 i386_gnu_triplet_regexp (struct gdbarch *gdbarch)
4413 return "(x86_64|i.86)";
4421 i386_elf_init_abi (struct gdbarch_info info, struct gdbarch *gdbarch)
4423 static const char *const stap_integer_prefixes[] = { "$", NULL };
4424 static const char *const stap_register_prefixes[] = { "%", NULL };
4425 static const char *const stap_register_indirection_prefixes[] = { "(",
4427 static const char *const stap_register_indirection_suffixes[] = { ")",
4430 /* We typically use stabs-in-ELF with the SVR4 register numbering. */
4431 set_gdbarch_stab_reg_to_regnum (gdbarch, i386_svr4_reg_to_regnum);
4433 /* Registering SystemTap handlers. */
4434 set_gdbarch_stap_integer_prefixes (gdbarch, stap_integer_prefixes);
4435 set_gdbarch_stap_register_prefixes (gdbarch, stap_register_prefixes);
4436 set_gdbarch_stap_register_indirection_prefixes (gdbarch,
4437 stap_register_indirection_prefixes);
4438 set_gdbarch_stap_register_indirection_suffixes (gdbarch,
4439 stap_register_indirection_suffixes);
4440 set_gdbarch_stap_is_single_operand (gdbarch,
4441 i386_stap_is_single_operand);
4442 set_gdbarch_stap_parse_special_token (gdbarch,
4443 i386_stap_parse_special_token);
4445 set_gdbarch_gnu_triplet_regexp (gdbarch, i386_gnu_triplet_regexp);
4448 /* System V Release 4 (SVR4). */
4451 i386_svr4_init_abi (struct gdbarch_info info, struct gdbarch *gdbarch)
4453 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
4455 /* System V Release 4 uses ELF. */
4456 i386_elf_init_abi (info, gdbarch);
4458 /* System V Release 4 has shared libraries. */
4459 set_gdbarch_skip_trampoline_code (gdbarch, find_solib_trampoline_target);
4461 tdep->sigtramp_p = i386_svr4_sigtramp_p;
4462 tdep->sigcontext_addr = i386_svr4_sigcontext_addr;
4463 tdep->sc_pc_offset = 36 + 14 * 4;
4464 tdep->sc_sp_offset = 36 + 17 * 4;
4466 tdep->jb_pc_offset = 20;
4472 i386_go32_init_abi (struct gdbarch_info info, struct gdbarch *gdbarch)
4474 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
4476 /* DJGPP doesn't have any special frames for signal handlers. */
4477 tdep->sigtramp_p = NULL;
4479 tdep->jb_pc_offset = 36;
4481 /* DJGPP does not support the SSE registers. */
4482 if (! tdesc_has_registers (info.target_desc))
4483 tdep->tdesc = tdesc_i386_mmx;
4485 /* Native compiler is GCC, which uses the SVR4 register numbering
4486 even in COFF and STABS. See the comment in i386_gdbarch_init,
4487 before the calls to set_gdbarch_stab_reg_to_regnum and
4488 set_gdbarch_sdb_reg_to_regnum. */
4489 set_gdbarch_stab_reg_to_regnum (gdbarch, i386_svr4_reg_to_regnum);
4490 set_gdbarch_sdb_reg_to_regnum (gdbarch, i386_svr4_reg_to_regnum);
4492 set_gdbarch_has_dos_based_file_system (gdbarch, 1);
4494 set_gdbarch_gnu_triplet_regexp (gdbarch, i386_gnu_triplet_regexp);
4498 /* i386 register groups. In addition to the normal groups, add "mmx"
4501 static struct reggroup *i386_sse_reggroup;
4502 static struct reggroup *i386_mmx_reggroup;
4505 i386_init_reggroups (void)
4507 i386_sse_reggroup = reggroup_new ("sse", USER_REGGROUP);
4508 i386_mmx_reggroup = reggroup_new ("mmx", USER_REGGROUP);
4512 i386_add_reggroups (struct gdbarch *gdbarch)
4514 reggroup_add (gdbarch, i386_sse_reggroup);
4515 reggroup_add (gdbarch, i386_mmx_reggroup);
4516 reggroup_add (gdbarch, general_reggroup);
4517 reggroup_add (gdbarch, float_reggroup);
4518 reggroup_add (gdbarch, all_reggroup);
4519 reggroup_add (gdbarch, save_reggroup);
4520 reggroup_add (gdbarch, restore_reggroup);
4521 reggroup_add (gdbarch, vector_reggroup);
4522 reggroup_add (gdbarch, system_reggroup);
4526 i386_register_reggroup_p (struct gdbarch *gdbarch, int regnum,
4527 struct reggroup *group)
4529 const struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
4530 int fp_regnum_p, mmx_regnum_p, xmm_regnum_p, mxcsr_regnum_p,
4531 ymm_regnum_p, ymmh_regnum_p, ymm_avx512_regnum_p, ymmh_avx512_regnum_p,
4532 bndr_regnum_p, bnd_regnum_p, k_regnum_p, zmm_regnum_p, zmmh_regnum_p,
4533 zmm_avx512_regnum_p, mpx_ctrl_regnum_p, xmm_avx512_regnum_p,
4534 avx512_p, avx_p, sse_p;
4536 /* Don't include pseudo registers, except for MMX, in any register
4538 if (i386_byte_regnum_p (gdbarch, regnum))
4541 if (i386_word_regnum_p (gdbarch, regnum))
4544 if (i386_dword_regnum_p (gdbarch, regnum))
4547 mmx_regnum_p = i386_mmx_regnum_p (gdbarch, regnum);
4548 if (group == i386_mmx_reggroup)
4549 return mmx_regnum_p;
4551 xmm_regnum_p = i386_xmm_regnum_p (gdbarch, regnum);
4552 xmm_avx512_regnum_p = i386_xmm_avx512_regnum_p (gdbarch, regnum);
4553 mxcsr_regnum_p = i386_mxcsr_regnum_p (gdbarch, regnum);
4554 if (group == i386_sse_reggroup)
4555 return xmm_regnum_p || xmm_avx512_regnum_p || mxcsr_regnum_p;
4557 ymm_regnum_p = i386_ymm_regnum_p (gdbarch, regnum);
4558 ymm_avx512_regnum_p = i386_ymm_avx512_regnum_p (gdbarch, regnum);
4559 zmm_regnum_p = i386_zmm_regnum_p (gdbarch, regnum);
4561 avx512_p = ((tdep->xcr0 & X86_XSTATE_AVX512_MASK)
4562 == X86_XSTATE_AVX512_MASK);
4563 avx_p = ((tdep->xcr0 & X86_XSTATE_AVX512_MASK)
4564 == X86_XSTATE_AVX_MASK) && !avx512_p;
4565 sse_p = ((tdep->xcr0 & X86_XSTATE_AVX512_MASK)
4566 == X86_XSTATE_SSE_MASK) && !avx512_p && ! avx_p;
4568 if (group == vector_reggroup)
4569 return (mmx_regnum_p
4570 || (zmm_regnum_p && avx512_p)
4571 || ((ymm_regnum_p || ymm_avx512_regnum_p) && avx_p)
4572 || ((xmm_regnum_p || xmm_avx512_regnum_p) && sse_p)
4575 fp_regnum_p = (i386_fp_regnum_p (gdbarch, regnum)
4576 || i386_fpc_regnum_p (gdbarch, regnum));
4577 if (group == float_reggroup)
4580 /* For "info reg all", don't include upper YMM registers nor XMM
4581 registers when AVX is supported. */
4582 ymmh_regnum_p = i386_ymmh_regnum_p (gdbarch, regnum);
4583 ymmh_avx512_regnum_p = i386_ymmh_avx512_regnum_p (gdbarch, regnum);
4584 zmmh_regnum_p = i386_zmmh_regnum_p (gdbarch, regnum);
4585 if (group == all_reggroup
4586 && (((xmm_regnum_p || xmm_avx512_regnum_p) && !sse_p)
4587 || ((ymm_regnum_p || ymm_avx512_regnum_p) && !avx_p)
4589 || ymmh_avx512_regnum_p
4593 bnd_regnum_p = i386_bnd_regnum_p (gdbarch, regnum);
4594 if (group == all_reggroup
4595 && ((bnd_regnum_p && (tdep->xcr0 & X86_XSTATE_MPX_MASK))))
4596 return bnd_regnum_p;
4598 bndr_regnum_p = i386_bndr_regnum_p (gdbarch, regnum);
4599 if (group == all_reggroup
4600 && ((bndr_regnum_p && (tdep->xcr0 & X86_XSTATE_MPX_MASK))))
4603 mpx_ctrl_regnum_p = i386_mpx_ctrl_regnum_p (gdbarch, regnum);
4604 if (group == all_reggroup
4605 && ((mpx_ctrl_regnum_p && (tdep->xcr0 & X86_XSTATE_MPX_MASK))))
4606 return mpx_ctrl_regnum_p;
4608 if (group == general_reggroup)
4609 return (!fp_regnum_p
4613 && !xmm_avx512_regnum_p
4616 && !ymm_avx512_regnum_p
4617 && !ymmh_avx512_regnum_p
4620 && !mpx_ctrl_regnum_p
4624 return default_register_reggroup_p (gdbarch, regnum, group);
4628 /* Get the ARGIth function argument for the current function. */
4631 i386_fetch_pointer_argument (struct frame_info *frame, int argi,
4634 struct gdbarch *gdbarch = get_frame_arch (frame);
4635 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
4636 CORE_ADDR sp = get_frame_register_unsigned (frame, I386_ESP_REGNUM);
4637 return read_memory_unsigned_integer (sp + (4 * (argi + 1)), 4, byte_order);
4640 #define PREFIX_REPZ 0x01
4641 #define PREFIX_REPNZ 0x02
4642 #define PREFIX_LOCK 0x04
4643 #define PREFIX_DATA 0x08
4644 #define PREFIX_ADDR 0x10
4656 /* i386 arith/logic operations */
4669 struct i386_record_s
4671 struct gdbarch *gdbarch;
4672 struct regcache *regcache;
4673 CORE_ADDR orig_addr;
4679 uint8_t mod, reg, rm;
4688 /* Parse the "modrm" part of the memory address irp->addr points at.
4689 Returns -1 if something goes wrong, 0 otherwise. */
4692 i386_record_modrm (struct i386_record_s *irp)
4694 struct gdbarch *gdbarch = irp->gdbarch;
4696 if (record_read_memory (gdbarch, irp->addr, &irp->modrm, 1))
4700 irp->mod = (irp->modrm >> 6) & 3;
4701 irp->reg = (irp->modrm >> 3) & 7;
4702 irp->rm = irp->modrm & 7;
4707 /* Extract the memory address that the current instruction writes to,
4708 and return it in *ADDR. Return -1 if something goes wrong. */
4711 i386_record_lea_modrm_addr (struct i386_record_s *irp, uint64_t *addr)
4713 struct gdbarch *gdbarch = irp->gdbarch;
4714 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
4719 if (irp->aflag || irp->regmap[X86_RECORD_R8_REGNUM])
4726 uint8_t base = irp->rm;
4731 if (record_read_memory (gdbarch, irp->addr, &byte, 1))
4734 scale = (byte >> 6) & 3;
4735 index = ((byte >> 3) & 7) | irp->rex_x;
4743 if ((base & 7) == 5)
4746 if (record_read_memory (gdbarch, irp->addr, buf, 4))
4749 *addr = extract_signed_integer (buf, 4, byte_order);
4750 if (irp->regmap[X86_RECORD_R8_REGNUM] && !havesib)
4751 *addr += irp->addr + irp->rip_offset;
4755 if (record_read_memory (gdbarch, irp->addr, buf, 1))
4758 *addr = (int8_t) buf[0];
4761 if (record_read_memory (gdbarch, irp->addr, buf, 4))
4763 *addr = extract_signed_integer (buf, 4, byte_order);
4771 if (base == 4 && irp->popl_esp_hack)
4772 *addr += irp->popl_esp_hack;
4773 regcache_raw_read_unsigned (irp->regcache, irp->regmap[base],
4776 if (irp->aflag == 2)
4781 *addr = (uint32_t) (offset64 + *addr);
4783 if (havesib && (index != 4 || scale != 0))
4785 regcache_raw_read_unsigned (irp->regcache, irp->regmap[index],
4787 if (irp->aflag == 2)
4788 *addr += offset64 << scale;
4790 *addr = (uint32_t) (*addr + (offset64 << scale));
4795 /* Since we are in 64-bit mode with ADDR32 prefix, zero-extend
4796 address from 32-bit to 64-bit. */
4797 *addr = (uint32_t) *addr;
4808 if (record_read_memory (gdbarch, irp->addr, buf, 2))
4811 *addr = extract_signed_integer (buf, 2, byte_order);
4817 if (record_read_memory (gdbarch, irp->addr, buf, 1))
4820 *addr = (int8_t) buf[0];
4823 if (record_read_memory (gdbarch, irp->addr, buf, 2))
4826 *addr = extract_signed_integer (buf, 2, byte_order);
4833 regcache_raw_read_unsigned (irp->regcache,
4834 irp->regmap[X86_RECORD_REBX_REGNUM],
4836 *addr = (uint32_t) (*addr + offset64);
4837 regcache_raw_read_unsigned (irp->regcache,
4838 irp->regmap[X86_RECORD_RESI_REGNUM],
4840 *addr = (uint32_t) (*addr + offset64);
4843 regcache_raw_read_unsigned (irp->regcache,
4844 irp->regmap[X86_RECORD_REBX_REGNUM],
4846 *addr = (uint32_t) (*addr + offset64);
4847 regcache_raw_read_unsigned (irp->regcache,
4848 irp->regmap[X86_RECORD_REDI_REGNUM],
4850 *addr = (uint32_t) (*addr + offset64);
4853 regcache_raw_read_unsigned (irp->regcache,
4854 irp->regmap[X86_RECORD_REBP_REGNUM],
4856 *addr = (uint32_t) (*addr + offset64);
4857 regcache_raw_read_unsigned (irp->regcache,
4858 irp->regmap[X86_RECORD_RESI_REGNUM],
4860 *addr = (uint32_t) (*addr + offset64);
4863 regcache_raw_read_unsigned (irp->regcache,
4864 irp->regmap[X86_RECORD_REBP_REGNUM],
4866 *addr = (uint32_t) (*addr + offset64);
4867 regcache_raw_read_unsigned (irp->regcache,
4868 irp->regmap[X86_RECORD_REDI_REGNUM],
4870 *addr = (uint32_t) (*addr + offset64);
4873 regcache_raw_read_unsigned (irp->regcache,
4874 irp->regmap[X86_RECORD_RESI_REGNUM],
4876 *addr = (uint32_t) (*addr + offset64);
4879 regcache_raw_read_unsigned (irp->regcache,
4880 irp->regmap[X86_RECORD_REDI_REGNUM],
4882 *addr = (uint32_t) (*addr + offset64);
4885 regcache_raw_read_unsigned (irp->regcache,
4886 irp->regmap[X86_RECORD_REBP_REGNUM],
4888 *addr = (uint32_t) (*addr + offset64);
4891 regcache_raw_read_unsigned (irp->regcache,
4892 irp->regmap[X86_RECORD_REBX_REGNUM],
4894 *addr = (uint32_t) (*addr + offset64);
4904 /* Record the address and contents of the memory that will be changed
4905 by the current instruction. Return -1 if something goes wrong, 0
4909 i386_record_lea_modrm (struct i386_record_s *irp)
4911 struct gdbarch *gdbarch = irp->gdbarch;
4914 if (irp->override >= 0)
4916 if (record_full_memory_query)
4919 Process record ignores the memory change of instruction at address %s\n\
4920 because it can't get the value of the segment register.\n\
4921 Do you want to stop the program?"),
4922 paddress (gdbarch, irp->orig_addr)))
4929 if (i386_record_lea_modrm_addr (irp, &addr))
4932 if (record_full_arch_list_add_mem (addr, 1 << irp->ot))
4938 /* Record the effects of a push operation. Return -1 if something
4939 goes wrong, 0 otherwise. */
4942 i386_record_push (struct i386_record_s *irp, int size)
4946 if (record_full_arch_list_add_reg (irp->regcache,
4947 irp->regmap[X86_RECORD_RESP_REGNUM]))
4949 regcache_raw_read_unsigned (irp->regcache,
4950 irp->regmap[X86_RECORD_RESP_REGNUM],
4952 if (record_full_arch_list_add_mem ((CORE_ADDR) addr - size, size))
4959 /* Defines contents to record. */
4960 #define I386_SAVE_FPU_REGS 0xfffd
4961 #define I386_SAVE_FPU_ENV 0xfffe
4962 #define I386_SAVE_FPU_ENV_REG_STACK 0xffff
4964 /* Record the values of the floating point registers which will be
4965 changed by the current instruction. Returns -1 if something is
4966 wrong, 0 otherwise. */
4968 static int i386_record_floats (struct gdbarch *gdbarch,
4969 struct i386_record_s *ir,
4972 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
4975 /* Oza: Because of floating point insn push/pop of fpu stack is going to
4976 happen. Currently we store st0-st7 registers, but we need not store all
4977 registers all the time, in future we use ftag register and record only
4978 those who are not marked as an empty. */
4980 if (I386_SAVE_FPU_REGS == iregnum)
4982 for (i = I387_ST0_REGNUM (tdep); i <= I387_ST0_REGNUM (tdep) + 7; i++)
4984 if (record_full_arch_list_add_reg (ir->regcache, i))
4988 else if (I386_SAVE_FPU_ENV == iregnum)
4990 for (i = I387_FCTRL_REGNUM (tdep); i <= I387_FOP_REGNUM (tdep); i++)
4992 if (record_full_arch_list_add_reg (ir->regcache, i))
4996 else if (I386_SAVE_FPU_ENV_REG_STACK == iregnum)
4998 for (i = I387_ST0_REGNUM (tdep); i <= I387_FOP_REGNUM (tdep); i++)
5000 if (record_full_arch_list_add_reg (ir->regcache, i))
5004 else if ((iregnum >= I387_ST0_REGNUM (tdep)) &&
5005 (iregnum <= I387_FOP_REGNUM (tdep)))
5007 if (record_full_arch_list_add_reg (ir->regcache,iregnum))
5012 /* Parameter error. */
5015 if(I386_SAVE_FPU_ENV != iregnum)
5017 for (i = I387_FCTRL_REGNUM (tdep); i <= I387_FOP_REGNUM (tdep); i++)
5019 if (record_full_arch_list_add_reg (ir->regcache, i))
5026 /* Parse the current instruction, and record the values of the
5027 registers and memory that will be changed by the current
5028 instruction. Returns -1 if something goes wrong, 0 otherwise. */
5030 #define I386_RECORD_FULL_ARCH_LIST_ADD_REG(regnum) \
5031 record_full_arch_list_add_reg (ir.regcache, ir.regmap[(regnum)])
5034 i386_process_record (struct gdbarch *gdbarch, struct regcache *regcache,
5035 CORE_ADDR input_addr)
5037 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
5043 gdb_byte buf[MAX_REGISTER_SIZE];
5044 struct i386_record_s ir;
5045 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
5049 memset (&ir, 0, sizeof (struct i386_record_s));
5050 ir.regcache = regcache;
5051 ir.addr = input_addr;
5052 ir.orig_addr = input_addr;
5056 ir.popl_esp_hack = 0;
5057 ir.regmap = tdep->record_regmap;
5058 ir.gdbarch = gdbarch;
5060 if (record_debug > 1)
5061 fprintf_unfiltered (gdb_stdlog, "Process record: i386_process_record "
5063 paddress (gdbarch, ir.addr));
5068 if (record_read_memory (gdbarch, ir.addr, &opcode8, 1))
5071 switch (opcode8) /* Instruction prefixes */
5073 case REPE_PREFIX_OPCODE:
5074 prefixes |= PREFIX_REPZ;
5076 case REPNE_PREFIX_OPCODE:
5077 prefixes |= PREFIX_REPNZ;
5079 case LOCK_PREFIX_OPCODE:
5080 prefixes |= PREFIX_LOCK;
5082 case CS_PREFIX_OPCODE:
5083 ir.override = X86_RECORD_CS_REGNUM;
5085 case SS_PREFIX_OPCODE:
5086 ir.override = X86_RECORD_SS_REGNUM;
5088 case DS_PREFIX_OPCODE:
5089 ir.override = X86_RECORD_DS_REGNUM;
5091 case ES_PREFIX_OPCODE:
5092 ir.override = X86_RECORD_ES_REGNUM;
5094 case FS_PREFIX_OPCODE:
5095 ir.override = X86_RECORD_FS_REGNUM;
5097 case GS_PREFIX_OPCODE:
5098 ir.override = X86_RECORD_GS_REGNUM;
5100 case DATA_PREFIX_OPCODE:
5101 prefixes |= PREFIX_DATA;
5103 case ADDR_PREFIX_OPCODE:
5104 prefixes |= PREFIX_ADDR;
5106 case 0x40: /* i386 inc %eax */
5107 case 0x41: /* i386 inc %ecx */
5108 case 0x42: /* i386 inc %edx */
5109 case 0x43: /* i386 inc %ebx */
5110 case 0x44: /* i386 inc %esp */
5111 case 0x45: /* i386 inc %ebp */
5112 case 0x46: /* i386 inc %esi */
5113 case 0x47: /* i386 inc %edi */
5114 case 0x48: /* i386 dec %eax */
5115 case 0x49: /* i386 dec %ecx */
5116 case 0x4a: /* i386 dec %edx */
5117 case 0x4b: /* i386 dec %ebx */
5118 case 0x4c: /* i386 dec %esp */
5119 case 0x4d: /* i386 dec %ebp */
5120 case 0x4e: /* i386 dec %esi */
5121 case 0x4f: /* i386 dec %edi */
5122 if (ir.regmap[X86_RECORD_R8_REGNUM]) /* 64 bit target */
5125 rex_w = (opcode8 >> 3) & 1;
5126 rex_r = (opcode8 & 0x4) << 1;
5127 ir.rex_x = (opcode8 & 0x2) << 2;
5128 ir.rex_b = (opcode8 & 0x1) << 3;
5130 else /* 32 bit target */
5139 if (ir.regmap[X86_RECORD_R8_REGNUM] && rex_w == 1)
5145 if (prefixes & PREFIX_DATA)
5148 if (prefixes & PREFIX_ADDR)
5150 else if (ir.regmap[X86_RECORD_R8_REGNUM])
5153 /* Now check op code. */
5154 opcode = (uint32_t) opcode8;
5159 if (record_read_memory (gdbarch, ir.addr, &opcode8, 1))
5162 opcode = (uint32_t) opcode8 | 0x0f00;
5166 case 0x00: /* arith & logic */
5214 if (((opcode >> 3) & 7) != OP_CMPL)
5216 if ((opcode & 1) == 0)
5219 ir.ot = ir.dflag + OT_WORD;
5221 switch ((opcode >> 1) & 3)
5223 case 0: /* OP Ev, Gv */
5224 if (i386_record_modrm (&ir))
5228 if (i386_record_lea_modrm (&ir))
5234 if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
5236 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.rm);
5239 case 1: /* OP Gv, Ev */
5240 if (i386_record_modrm (&ir))
5243 if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
5245 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.reg);
5247 case 2: /* OP A, Iv */
5248 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
5252 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
5255 case 0x80: /* GRP1 */
5259 if (i386_record_modrm (&ir))
5262 if (ir.reg != OP_CMPL)
5264 if ((opcode & 1) == 0)
5267 ir.ot = ir.dflag + OT_WORD;
5274 ir.rip_offset = (ir.ot > OT_LONG) ? 4 : (1 << ir.ot);
5275 if (i386_record_lea_modrm (&ir))
5279 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.rm | ir.rex_b);
5281 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
5284 case 0x40: /* inc */
5293 case 0x48: /* dec */
5302 I386_RECORD_FULL_ARCH_LIST_ADD_REG (opcode & 7);
5303 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
5306 case 0xf6: /* GRP3 */
5308 if ((opcode & 1) == 0)
5311 ir.ot = ir.dflag + OT_WORD;
5312 if (i386_record_modrm (&ir))
5315 if (ir.mod != 3 && ir.reg == 0)
5316 ir.rip_offset = (ir.ot > OT_LONG) ? 4 : (1 << ir.ot);
5321 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
5327 if (i386_record_lea_modrm (&ir))
5333 if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
5335 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.rm);
5337 if (ir.reg == 3) /* neg */
5338 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
5344 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
5345 if (ir.ot != OT_BYTE)
5346 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REDX_REGNUM);
5347 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
5351 opcode = opcode << 8 | ir.modrm;
5357 case 0xfe: /* GRP4 */
5358 case 0xff: /* GRP5 */
5359 if (i386_record_modrm (&ir))
5361 if (ir.reg >= 2 && opcode == 0xfe)
5364 opcode = opcode << 8 | ir.modrm;
5371 if ((opcode & 1) == 0)
5374 ir.ot = ir.dflag + OT_WORD;
5377 if (i386_record_lea_modrm (&ir))
5383 if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
5385 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.rm);
5387 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
5390 if (ir.regmap[X86_RECORD_R8_REGNUM] && ir.dflag)
5392 if (i386_record_push (&ir, 1 << (ir.dflag + 1)))
5394 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
5397 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_CS_REGNUM);
5398 if (i386_record_push (&ir, 1 << (ir.dflag + 1)))
5400 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
5404 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
5407 if (ir.regmap[X86_RECORD_R8_REGNUM] && ir.dflag)
5409 if (i386_record_push (&ir, 1 << (ir.dflag + 1)))
5414 opcode = opcode << 8 | ir.modrm;
5420 case 0x84: /* test */
5424 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
5427 case 0x98: /* CWDE/CBW */
5428 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
5431 case 0x99: /* CDQ/CWD */
5432 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
5433 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REDX_REGNUM);
5436 case 0x0faf: /* imul */
5439 ir.ot = ir.dflag + OT_WORD;
5440 if (i386_record_modrm (&ir))
5443 ir.rip_offset = (ir.ot > OT_LONG) ? 4 : (1 << ir.ot);
5444 else if (opcode == 0x6b)
5447 if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
5449 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.reg);
5450 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
5453 case 0x0fc0: /* xadd */
5455 if ((opcode & 1) == 0)
5458 ir.ot = ir.dflag + OT_WORD;
5459 if (i386_record_modrm (&ir))
5464 if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
5466 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.reg);
5467 if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
5469 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.rm);
5473 if (i386_record_lea_modrm (&ir))
5475 if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
5477 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.reg);
5479 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
5482 case 0x0fb0: /* cmpxchg */
5484 if ((opcode & 1) == 0)
5487 ir.ot = ir.dflag + OT_WORD;
5488 if (i386_record_modrm (&ir))
5493 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
5494 if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
5496 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.reg);
5500 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
5501 if (i386_record_lea_modrm (&ir))
5504 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
5507 case 0x0fc7: /* cmpxchg8b */
5508 if (i386_record_modrm (&ir))
5513 opcode = opcode << 8 | ir.modrm;
5516 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
5517 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REDX_REGNUM);
5518 if (i386_record_lea_modrm (&ir))
5520 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
5523 case 0x50: /* push */
5533 if (ir.regmap[X86_RECORD_R8_REGNUM] && ir.dflag)
5535 if (i386_record_push (&ir, 1 << (ir.dflag + 1)))
5539 case 0x06: /* push es */
5540 case 0x0e: /* push cs */
5541 case 0x16: /* push ss */
5542 case 0x1e: /* push ds */
5543 if (ir.regmap[X86_RECORD_R8_REGNUM])
5548 if (i386_record_push (&ir, 1 << (ir.dflag + 1)))
5552 case 0x0fa0: /* push fs */
5553 case 0x0fa8: /* push gs */
5554 if (ir.regmap[X86_RECORD_R8_REGNUM])
5559 if (i386_record_push (&ir, 1 << (ir.dflag + 1)))
5563 case 0x60: /* pusha */
5564 if (ir.regmap[X86_RECORD_R8_REGNUM])
5569 if (i386_record_push (&ir, 1 << (ir.dflag + 4)))
5573 case 0x58: /* pop */
5581 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RESP_REGNUM);
5582 I386_RECORD_FULL_ARCH_LIST_ADD_REG ((opcode & 0x7) | ir.rex_b);
5585 case 0x61: /* popa */
5586 if (ir.regmap[X86_RECORD_R8_REGNUM])
5591 for (regnum = X86_RECORD_REAX_REGNUM;
5592 regnum <= X86_RECORD_REDI_REGNUM;
5594 I386_RECORD_FULL_ARCH_LIST_ADD_REG (regnum);
5597 case 0x8f: /* pop */
5598 if (ir.regmap[X86_RECORD_R8_REGNUM])
5599 ir.ot = ir.dflag ? OT_QUAD : OT_WORD;
5601 ir.ot = ir.dflag + OT_WORD;
5602 if (i386_record_modrm (&ir))
5605 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.rm | ir.rex_b);
5608 ir.popl_esp_hack = 1 << ir.ot;
5609 if (i386_record_lea_modrm (&ir))
5612 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RESP_REGNUM);
5615 case 0xc8: /* enter */
5616 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REBP_REGNUM);
5617 if (ir.regmap[X86_RECORD_R8_REGNUM] && ir.dflag)
5619 if (i386_record_push (&ir, 1 << (ir.dflag + 1)))
5623 case 0xc9: /* leave */
5624 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RESP_REGNUM);
5625 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REBP_REGNUM);
5628 case 0x07: /* pop es */
5629 if (ir.regmap[X86_RECORD_R8_REGNUM])
5634 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RESP_REGNUM);
5635 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_ES_REGNUM);
5636 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
5639 case 0x17: /* pop ss */
5640 if (ir.regmap[X86_RECORD_R8_REGNUM])
5645 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RESP_REGNUM);
5646 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_SS_REGNUM);
5647 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
5650 case 0x1f: /* pop ds */
5651 if (ir.regmap[X86_RECORD_R8_REGNUM])
5656 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RESP_REGNUM);
5657 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_DS_REGNUM);
5658 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
5661 case 0x0fa1: /* pop fs */
5662 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RESP_REGNUM);
5663 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_FS_REGNUM);
5664 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
5667 case 0x0fa9: /* pop gs */
5668 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RESP_REGNUM);
5669 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_GS_REGNUM);
5670 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
5673 case 0x88: /* mov */
5677 if ((opcode & 1) == 0)
5680 ir.ot = ir.dflag + OT_WORD;
5682 if (i386_record_modrm (&ir))
5687 if (opcode == 0xc6 || opcode == 0xc7)
5688 ir.rip_offset = (ir.ot > OT_LONG) ? 4 : (1 << ir.ot);
5689 if (i386_record_lea_modrm (&ir))
5694 if (opcode == 0xc6 || opcode == 0xc7)
5696 if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
5698 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.rm);
5702 case 0x8a: /* mov */
5704 if ((opcode & 1) == 0)
5707 ir.ot = ir.dflag + OT_WORD;
5708 if (i386_record_modrm (&ir))
5711 if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
5713 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.reg);
5716 case 0x8c: /* mov seg */
5717 if (i386_record_modrm (&ir))
5722 opcode = opcode << 8 | ir.modrm;
5727 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.rm);
5731 if (i386_record_lea_modrm (&ir))
5736 case 0x8e: /* mov seg */
5737 if (i386_record_modrm (&ir))
5742 regnum = X86_RECORD_ES_REGNUM;
5745 regnum = X86_RECORD_SS_REGNUM;
5748 regnum = X86_RECORD_DS_REGNUM;
5751 regnum = X86_RECORD_FS_REGNUM;
5754 regnum = X86_RECORD_GS_REGNUM;
5758 opcode = opcode << 8 | ir.modrm;
5762 I386_RECORD_FULL_ARCH_LIST_ADD_REG (regnum);
5763 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
5766 case 0x0fb6: /* movzbS */
5767 case 0x0fb7: /* movzwS */
5768 case 0x0fbe: /* movsbS */
5769 case 0x0fbf: /* movswS */
5770 if (i386_record_modrm (&ir))
5772 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.reg | rex_r);
5775 case 0x8d: /* lea */
5776 if (i386_record_modrm (&ir))
5781 opcode = opcode << 8 | ir.modrm;
5786 if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
5788 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.reg);
5791 case 0xa0: /* mov EAX */
5794 case 0xd7: /* xlat */
5795 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
5798 case 0xa2: /* mov EAX */
5800 if (ir.override >= 0)
5802 if (record_full_memory_query)
5805 Process record ignores the memory change of instruction at address %s\n\
5806 because it can't get the value of the segment register.\n\
5807 Do you want to stop the program?"),
5808 paddress (gdbarch, ir.orig_addr)))
5814 if ((opcode & 1) == 0)
5817 ir.ot = ir.dflag + OT_WORD;
5820 if (record_read_memory (gdbarch, ir.addr, buf, 8))
5823 addr = extract_unsigned_integer (buf, 8, byte_order);
5827 if (record_read_memory (gdbarch, ir.addr, buf, 4))
5830 addr = extract_unsigned_integer (buf, 4, byte_order);
5834 if (record_read_memory (gdbarch, ir.addr, buf, 2))
5837 addr = extract_unsigned_integer (buf, 2, byte_order);
5839 if (record_full_arch_list_add_mem (addr, 1 << ir.ot))
5844 case 0xb0: /* mov R, Ib */
5852 I386_RECORD_FULL_ARCH_LIST_ADD_REG ((ir.regmap[X86_RECORD_R8_REGNUM])
5853 ? ((opcode & 0x7) | ir.rex_b)
5854 : ((opcode & 0x7) & 0x3));
5857 case 0xb8: /* mov R, Iv */
5865 I386_RECORD_FULL_ARCH_LIST_ADD_REG ((opcode & 0x7) | ir.rex_b);
5868 case 0x91: /* xchg R, EAX */
5875 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
5876 I386_RECORD_FULL_ARCH_LIST_ADD_REG (opcode & 0x7);
5879 case 0x86: /* xchg Ev, Gv */
5881 if ((opcode & 1) == 0)
5884 ir.ot = ir.dflag + OT_WORD;
5885 if (i386_record_modrm (&ir))
5890 if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
5892 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.rm);
5896 if (i386_record_lea_modrm (&ir))
5900 if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
5902 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.reg);
5905 case 0xc4: /* les Gv */
5906 case 0xc5: /* lds Gv */
5907 if (ir.regmap[X86_RECORD_R8_REGNUM])
5913 case 0x0fb2: /* lss Gv */
5914 case 0x0fb4: /* lfs Gv */
5915 case 0x0fb5: /* lgs Gv */
5916 if (i386_record_modrm (&ir))
5924 opcode = opcode << 8 | ir.modrm;
5929 case 0xc4: /* les Gv */
5930 regnum = X86_RECORD_ES_REGNUM;
5932 case 0xc5: /* lds Gv */
5933 regnum = X86_RECORD_DS_REGNUM;
5935 case 0x0fb2: /* lss Gv */
5936 regnum = X86_RECORD_SS_REGNUM;
5938 case 0x0fb4: /* lfs Gv */
5939 regnum = X86_RECORD_FS_REGNUM;
5941 case 0x0fb5: /* lgs Gv */
5942 regnum = X86_RECORD_GS_REGNUM;
5945 I386_RECORD_FULL_ARCH_LIST_ADD_REG (regnum);
5946 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.reg | rex_r);
5947 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
5950 case 0xc0: /* shifts */
5956 if ((opcode & 1) == 0)
5959 ir.ot = ir.dflag + OT_WORD;
5960 if (i386_record_modrm (&ir))
5962 if (ir.mod != 3 && (opcode == 0xd2 || opcode == 0xd3))
5964 if (i386_record_lea_modrm (&ir))
5970 if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
5972 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.rm);
5974 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
5981 if (i386_record_modrm (&ir))
5985 if (record_full_arch_list_add_reg (ir.regcache, ir.rm))
5990 if (i386_record_lea_modrm (&ir))
5995 case 0xd8: /* Floats. */
6003 if (i386_record_modrm (&ir))
6005 ir.reg |= ((opcode & 7) << 3);
6011 if (i386_record_lea_modrm_addr (&ir, &addr64))
6019 /* For fcom, ficom nothing to do. */
6025 /* For fcomp, ficomp pop FPU stack, store all. */
6026 if (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_REGS))
6053 /* For fadd, fmul, fsub, fsubr, fdiv, fdivr, fiadd, fimul,
6054 fisub, fisubr, fidiv, fidivr, modR/M.reg is an extension
6055 of code, always affects st(0) register. */
6056 if (i386_record_floats (gdbarch, &ir, I387_ST0_REGNUM (tdep)))
6080 /* Handling fld, fild. */
6081 if (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_REGS))
6085 switch (ir.reg >> 4)
6088 if (record_full_arch_list_add_mem (addr64, 4))
6092 if (record_full_arch_list_add_mem (addr64, 8))
6098 if (record_full_arch_list_add_mem (addr64, 2))
6104 switch (ir.reg >> 4)
6107 if (record_full_arch_list_add_mem (addr64, 4))
6109 if (3 == (ir.reg & 7))
6111 /* For fstp m32fp. */
6112 if (i386_record_floats (gdbarch, &ir,
6113 I386_SAVE_FPU_REGS))
6118 if (record_full_arch_list_add_mem (addr64, 4))
6120 if ((3 == (ir.reg & 7))
6121 || (5 == (ir.reg & 7))
6122 || (7 == (ir.reg & 7)))
6124 /* For fstp insn. */
6125 if (i386_record_floats (gdbarch, &ir,
6126 I386_SAVE_FPU_REGS))
6131 if (record_full_arch_list_add_mem (addr64, 8))
6133 if (3 == (ir.reg & 7))
6135 /* For fstp m64fp. */
6136 if (i386_record_floats (gdbarch, &ir,
6137 I386_SAVE_FPU_REGS))
6142 if ((3 <= (ir.reg & 7)) && (6 <= (ir.reg & 7)))
6144 /* For fistp, fbld, fild, fbstp. */
6145 if (i386_record_floats (gdbarch, &ir,
6146 I386_SAVE_FPU_REGS))
6151 if (record_full_arch_list_add_mem (addr64, 2))
6160 if (i386_record_floats (gdbarch, &ir,
6161 I386_SAVE_FPU_ENV_REG_STACK))
6166 if (i386_record_floats (gdbarch, &ir, I387_FCTRL_REGNUM (tdep)))
6171 if (i386_record_floats (gdbarch, &ir,
6172 I386_SAVE_FPU_ENV_REG_STACK))
6178 if (record_full_arch_list_add_mem (addr64, 28))
6183 if (record_full_arch_list_add_mem (addr64, 14))
6189 if (record_full_arch_list_add_mem (addr64, 2))
6191 /* Insn fstp, fbstp. */
6192 if (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_REGS))
6197 if (record_full_arch_list_add_mem (addr64, 10))
6203 if (record_full_arch_list_add_mem (addr64, 28))
6209 if (record_full_arch_list_add_mem (addr64, 14))
6213 if (record_full_arch_list_add_mem (addr64, 80))
6216 if (i386_record_floats (gdbarch, &ir,
6217 I386_SAVE_FPU_ENV_REG_STACK))
6221 if (record_full_arch_list_add_mem (addr64, 8))
6224 if (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_REGS))
6229 opcode = opcode << 8 | ir.modrm;
6234 /* Opcode is an extension of modR/M byte. */
6240 if (i386_record_floats (gdbarch, &ir, I387_ST0_REGNUM (tdep)))
6244 if (0x0c == (ir.modrm >> 4))
6246 if ((ir.modrm & 0x0f) <= 7)
6248 if (i386_record_floats (gdbarch, &ir,
6249 I386_SAVE_FPU_REGS))
6254 if (i386_record_floats (gdbarch, &ir,
6255 I387_ST0_REGNUM (tdep)))
6257 /* If only st(0) is changing, then we have already
6259 if ((ir.modrm & 0x0f) - 0x08)
6261 if (i386_record_floats (gdbarch, &ir,
6262 I387_ST0_REGNUM (tdep) +
6263 ((ir.modrm & 0x0f) - 0x08)))
6281 if (i386_record_floats (gdbarch, &ir,
6282 I387_ST0_REGNUM (tdep)))
6300 if (i386_record_floats (gdbarch, &ir,
6301 I386_SAVE_FPU_REGS))
6305 if (i386_record_floats (gdbarch, &ir,
6306 I387_ST0_REGNUM (tdep)))
6308 if (i386_record_floats (gdbarch, &ir,
6309 I387_ST0_REGNUM (tdep) + 1))
6316 if (0xe9 == ir.modrm)
6318 if (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_REGS))
6321 else if ((0x0c == ir.modrm >> 4) || (0x0d == ir.modrm >> 4))
6323 if (i386_record_floats (gdbarch, &ir,
6324 I387_ST0_REGNUM (tdep)))
6326 if (((ir.modrm & 0x0f) > 0) && ((ir.modrm & 0x0f) <= 7))
6328 if (i386_record_floats (gdbarch, &ir,
6329 I387_ST0_REGNUM (tdep) +
6333 else if ((ir.modrm & 0x0f) - 0x08)
6335 if (i386_record_floats (gdbarch, &ir,
6336 I387_ST0_REGNUM (tdep) +
6337 ((ir.modrm & 0x0f) - 0x08)))
6343 if (0xe3 == ir.modrm)
6345 if (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_ENV))
6348 else if ((0x0c == ir.modrm >> 4) || (0x0d == ir.modrm >> 4))
6350 if (i386_record_floats (gdbarch, &ir,
6351 I387_ST0_REGNUM (tdep)))
6353 if (((ir.modrm & 0x0f) > 0) && ((ir.modrm & 0x0f) <= 7))
6355 if (i386_record_floats (gdbarch, &ir,
6356 I387_ST0_REGNUM (tdep) +
6360 else if ((ir.modrm & 0x0f) - 0x08)
6362 if (i386_record_floats (gdbarch, &ir,
6363 I387_ST0_REGNUM (tdep) +
6364 ((ir.modrm & 0x0f) - 0x08)))
6370 if ((0x0c == ir.modrm >> 4)
6371 || (0x0d == ir.modrm >> 4)
6372 || (0x0f == ir.modrm >> 4))
6374 if ((ir.modrm & 0x0f) <= 7)
6376 if (i386_record_floats (gdbarch, &ir,
6377 I387_ST0_REGNUM (tdep) +
6383 if (i386_record_floats (gdbarch, &ir,
6384 I387_ST0_REGNUM (tdep) +
6385 ((ir.modrm & 0x0f) - 0x08)))
6391 if (0x0c == ir.modrm >> 4)
6393 if (i386_record_floats (gdbarch, &ir,
6394 I387_FTAG_REGNUM (tdep)))
6397 else if ((0x0d == ir.modrm >> 4) || (0x0e == ir.modrm >> 4))
6399 if ((ir.modrm & 0x0f) <= 7)
6401 if (i386_record_floats (gdbarch, &ir,
6402 I387_ST0_REGNUM (tdep) +
6408 if (i386_record_floats (gdbarch, &ir,
6409 I386_SAVE_FPU_REGS))
6415 if ((0x0c == ir.modrm >> 4)
6416 || (0x0e == ir.modrm >> 4)
6417 || (0x0f == ir.modrm >> 4)
6418 || (0xd9 == ir.modrm))
6420 if (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_REGS))
6425 if (0xe0 == ir.modrm)
6427 if (record_full_arch_list_add_reg (ir.regcache,
6431 else if ((0x0f == ir.modrm >> 4) || (0x0e == ir.modrm >> 4))
6433 if (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_REGS))
6441 case 0xa4: /* movsS */
6443 case 0xaa: /* stosS */
6445 case 0x6c: /* insS */
6447 regcache_raw_read_unsigned (ir.regcache,
6448 ir.regmap[X86_RECORD_RECX_REGNUM],
6454 if ((opcode & 1) == 0)
6457 ir.ot = ir.dflag + OT_WORD;
6458 regcache_raw_read_unsigned (ir.regcache,
6459 ir.regmap[X86_RECORD_REDI_REGNUM],
6462 regcache_raw_read_unsigned (ir.regcache,
6463 ir.regmap[X86_RECORD_ES_REGNUM],
6465 regcache_raw_read_unsigned (ir.regcache,
6466 ir.regmap[X86_RECORD_DS_REGNUM],
6468 if (ir.aflag && (es != ds))
6470 /* addr += ((uint32_t) read_register (I386_ES_REGNUM)) << 4; */
6471 if (record_full_memory_query)
6474 Process record ignores the memory change of instruction at address %s\n\
6475 because it can't get the value of the segment register.\n\
6476 Do you want to stop the program?"),
6477 paddress (gdbarch, ir.orig_addr)))
6483 if (record_full_arch_list_add_mem (addr, 1 << ir.ot))
6487 if (prefixes & (PREFIX_REPZ | PREFIX_REPNZ))
6488 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RECX_REGNUM);
6489 if (opcode == 0xa4 || opcode == 0xa5)
6490 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RESI_REGNUM);
6491 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REDI_REGNUM);
6492 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
6496 case 0xa6: /* cmpsS */
6498 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REDI_REGNUM);
6499 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RESI_REGNUM);
6500 if (prefixes & (PREFIX_REPZ | PREFIX_REPNZ))
6501 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RECX_REGNUM);
6502 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
6505 case 0xac: /* lodsS */
6507 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
6508 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RESI_REGNUM);
6509 if (prefixes & (PREFIX_REPZ | PREFIX_REPNZ))
6510 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RECX_REGNUM);
6511 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
6514 case 0xae: /* scasS */
6516 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REDI_REGNUM);
6517 if (prefixes & (PREFIX_REPZ | PREFIX_REPNZ))
6518 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RECX_REGNUM);
6519 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
6522 case 0x6e: /* outsS */
6524 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RESI_REGNUM);
6525 if (prefixes & (PREFIX_REPZ | PREFIX_REPNZ))
6526 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RECX_REGNUM);
6527 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
6530 case 0xe4: /* port I/O */
6534 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
6535 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
6545 case 0xc2: /* ret im */
6546 case 0xc3: /* ret */
6547 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RESP_REGNUM);
6548 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
6551 case 0xca: /* lret im */
6552 case 0xcb: /* lret */
6553 case 0xcf: /* iret */
6554 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_CS_REGNUM);
6555 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RESP_REGNUM);
6556 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
6559 case 0xe8: /* call im */
6560 if (ir.regmap[X86_RECORD_R8_REGNUM] && ir.dflag)
6562 if (i386_record_push (&ir, 1 << (ir.dflag + 1)))
6566 case 0x9a: /* lcall im */
6567 if (ir.regmap[X86_RECORD_R8_REGNUM])
6572 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_CS_REGNUM);
6573 if (i386_record_push (&ir, 1 << (ir.dflag + 1)))
6577 case 0xe9: /* jmp im */
6578 case 0xea: /* ljmp im */
6579 case 0xeb: /* jmp Jb */
6580 case 0x70: /* jcc Jb */
6596 case 0x0f80: /* jcc Jv */
6614 case 0x0f90: /* setcc Gv */
6630 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
6632 if (i386_record_modrm (&ir))
6635 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.rex_b ? (ir.rm | ir.rex_b)
6639 if (i386_record_lea_modrm (&ir))
6644 case 0x0f40: /* cmov Gv, Ev */
6660 if (i386_record_modrm (&ir))
6663 if (ir.dflag == OT_BYTE)
6665 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.reg);
6669 case 0x9c: /* pushf */
6670 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
6671 if (ir.regmap[X86_RECORD_R8_REGNUM] && ir.dflag)
6673 if (i386_record_push (&ir, 1 << (ir.dflag + 1)))
6677 case 0x9d: /* popf */
6678 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RESP_REGNUM);
6679 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
6682 case 0x9e: /* sahf */
6683 if (ir.regmap[X86_RECORD_R8_REGNUM])
6689 case 0xf5: /* cmc */
6690 case 0xf8: /* clc */
6691 case 0xf9: /* stc */
6692 case 0xfc: /* cld */
6693 case 0xfd: /* std */
6694 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
6697 case 0x9f: /* lahf */
6698 if (ir.regmap[X86_RECORD_R8_REGNUM])
6703 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
6704 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
6707 /* bit operations */
6708 case 0x0fba: /* bt/bts/btr/btc Gv, im */
6709 ir.ot = ir.dflag + OT_WORD;
6710 if (i386_record_modrm (&ir))
6715 opcode = opcode << 8 | ir.modrm;
6721 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.rm | ir.rex_b);
6724 if (i386_record_lea_modrm (&ir))
6728 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
6731 case 0x0fa3: /* bt Gv, Ev */
6732 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
6735 case 0x0fab: /* bts */
6736 case 0x0fb3: /* btr */
6737 case 0x0fbb: /* btc */
6738 ir.ot = ir.dflag + OT_WORD;
6739 if (i386_record_modrm (&ir))
6742 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.rm | ir.rex_b);
6746 if (i386_record_lea_modrm_addr (&ir, &addr64))
6748 regcache_raw_read_unsigned (ir.regcache,
6749 ir.regmap[ir.reg | rex_r],
6754 addr64 += ((int16_t) addr >> 4) << 4;
6757 addr64 += ((int32_t) addr >> 5) << 5;
6760 addr64 += ((int64_t) addr >> 6) << 6;
6763 if (record_full_arch_list_add_mem (addr64, 1 << ir.ot))
6765 if (i386_record_lea_modrm (&ir))
6768 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
6771 case 0x0fbc: /* bsf */
6772 case 0x0fbd: /* bsr */
6773 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.reg | rex_r);
6774 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
6778 case 0x27: /* daa */
6779 case 0x2f: /* das */
6780 case 0x37: /* aaa */
6781 case 0x3f: /* aas */
6782 case 0xd4: /* aam */
6783 case 0xd5: /* aad */
6784 if (ir.regmap[X86_RECORD_R8_REGNUM])
6789 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
6790 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
6794 case 0x90: /* nop */
6795 if (prefixes & PREFIX_LOCK)
6802 case 0x9b: /* fwait */
6803 if (record_read_memory (gdbarch, ir.addr, &opcode8, 1))
6805 opcode = (uint32_t) opcode8;
6811 case 0xcc: /* int3 */
6812 printf_unfiltered (_("Process record does not support instruction "
6819 case 0xcd: /* int */
6823 if (record_read_memory (gdbarch, ir.addr, &interrupt, 1))
6826 if (interrupt != 0x80
6827 || tdep->i386_intx80_record == NULL)
6829 printf_unfiltered (_("Process record does not support "
6830 "instruction int 0x%02x.\n"),
6835 ret = tdep->i386_intx80_record (ir.regcache);
6842 case 0xce: /* into */
6843 printf_unfiltered (_("Process record does not support "
6844 "instruction into.\n"));
6849 case 0xfa: /* cli */
6850 case 0xfb: /* sti */
6853 case 0x62: /* bound */
6854 printf_unfiltered (_("Process record does not support "
6855 "instruction bound.\n"));
6860 case 0x0fc8: /* bswap reg */
6868 I386_RECORD_FULL_ARCH_LIST_ADD_REG ((opcode & 7) | ir.rex_b);
6871 case 0xd6: /* salc */
6872 if (ir.regmap[X86_RECORD_R8_REGNUM])
6877 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
6878 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
6881 case 0xe0: /* loopnz */
6882 case 0xe1: /* loopz */
6883 case 0xe2: /* loop */
6884 case 0xe3: /* jecxz */
6885 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RECX_REGNUM);
6886 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
6889 case 0x0f30: /* wrmsr */
6890 printf_unfiltered (_("Process record does not support "
6891 "instruction wrmsr.\n"));
6896 case 0x0f32: /* rdmsr */
6897 printf_unfiltered (_("Process record does not support "
6898 "instruction rdmsr.\n"));
6903 case 0x0f31: /* rdtsc */
6904 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
6905 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REDX_REGNUM);
6908 case 0x0f34: /* sysenter */
6911 if (ir.regmap[X86_RECORD_R8_REGNUM])
6916 if (tdep->i386_sysenter_record == NULL)
6918 printf_unfiltered (_("Process record does not support "
6919 "instruction sysenter.\n"));
6923 ret = tdep->i386_sysenter_record (ir.regcache);
6929 case 0x0f35: /* sysexit */
6930 printf_unfiltered (_("Process record does not support "
6931 "instruction sysexit.\n"));
6936 case 0x0f05: /* syscall */
6939 if (tdep->i386_syscall_record == NULL)
6941 printf_unfiltered (_("Process record does not support "
6942 "instruction syscall.\n"));
6946 ret = tdep->i386_syscall_record (ir.regcache);
6952 case 0x0f07: /* sysret */
6953 printf_unfiltered (_("Process record does not support "
6954 "instruction sysret.\n"));
6959 case 0x0fa2: /* cpuid */
6960 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
6961 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RECX_REGNUM);
6962 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REDX_REGNUM);
6963 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REBX_REGNUM);
6966 case 0xf4: /* hlt */
6967 printf_unfiltered (_("Process record does not support "
6968 "instruction hlt.\n"));
6974 if (i386_record_modrm (&ir))
6981 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.rm | ir.rex_b);
6985 if (i386_record_lea_modrm (&ir))
6994 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
6998 opcode = opcode << 8 | ir.modrm;
7005 if (i386_record_modrm (&ir))
7016 opcode = opcode << 8 | ir.modrm;
7019 if (ir.override >= 0)
7021 if (record_full_memory_query)
7024 Process record ignores the memory change of instruction at address %s\n\
7025 because it can't get the value of the segment register.\n\
7026 Do you want to stop the program?"),
7027 paddress (gdbarch, ir.orig_addr)))
7033 if (i386_record_lea_modrm_addr (&ir, &addr64))
7035 if (record_full_arch_list_add_mem (addr64, 2))
7038 if (ir.regmap[X86_RECORD_R8_REGNUM])
7040 if (record_full_arch_list_add_mem (addr64, 8))
7045 if (record_full_arch_list_add_mem (addr64, 4))
7056 case 0: /* monitor */
7059 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
7063 opcode = opcode << 8 | ir.modrm;
7071 if (ir.override >= 0)
7073 if (record_full_memory_query)
7076 Process record ignores the memory change of instruction at address %s\n\
7077 because it can't get the value of the segment register.\n\
7078 Do you want to stop the program?"),
7079 paddress (gdbarch, ir.orig_addr)))
7087 if (i386_record_lea_modrm_addr (&ir, &addr64))
7089 if (record_full_arch_list_add_mem (addr64, 2))
7092 if (ir.regmap[X86_RECORD_R8_REGNUM])
7094 if (record_full_arch_list_add_mem (addr64, 8))
7099 if (record_full_arch_list_add_mem (addr64, 4))
7111 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
7112 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REDX_REGNUM);
7116 else if (ir.rm == 1)
7123 opcode = opcode << 8 | ir.modrm;
7130 if (record_full_arch_list_add_reg (ir.regcache, ir.rm | ir.rex_b))
7136 if (i386_record_lea_modrm (&ir))
7139 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
7142 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
7144 case 7: /* invlpg */
7147 if (ir.rm == 0 && ir.regmap[X86_RECORD_R8_REGNUM])
7148 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_GS_REGNUM);
7152 opcode = opcode << 8 | ir.modrm;
7157 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
7161 opcode = opcode << 8 | ir.modrm;
7167 case 0x0f08: /* invd */
7168 case 0x0f09: /* wbinvd */
7171 case 0x63: /* arpl */
7172 if (i386_record_modrm (&ir))
7174 if (ir.mod == 3 || ir.regmap[X86_RECORD_R8_REGNUM])
7176 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.regmap[X86_RECORD_R8_REGNUM]
7177 ? (ir.reg | rex_r) : ir.rm);
7181 ir.ot = ir.dflag ? OT_LONG : OT_WORD;
7182 if (i386_record_lea_modrm (&ir))
7185 if (!ir.regmap[X86_RECORD_R8_REGNUM])
7186 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
7189 case 0x0f02: /* lar */
7190 case 0x0f03: /* lsl */
7191 if (i386_record_modrm (&ir))
7193 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.reg | rex_r);
7194 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
7198 if (i386_record_modrm (&ir))
7200 if (ir.mod == 3 && ir.reg == 3)
7203 opcode = opcode << 8 | ir.modrm;
7215 /* nop (multi byte) */
7218 case 0x0f20: /* mov reg, crN */
7219 case 0x0f22: /* mov crN, reg */
7220 if (i386_record_modrm (&ir))
7222 if ((ir.modrm & 0xc0) != 0xc0)
7225 opcode = opcode << 8 | ir.modrm;
7236 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
7238 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.rm | ir.rex_b);
7242 opcode = opcode << 8 | ir.modrm;
7248 case 0x0f21: /* mov reg, drN */
7249 case 0x0f23: /* mov drN, reg */
7250 if (i386_record_modrm (&ir))
7252 if ((ir.modrm & 0xc0) != 0xc0 || ir.reg == 4
7253 || ir.reg == 5 || ir.reg >= 8)
7256 opcode = opcode << 8 | ir.modrm;
7260 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
7262 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.rm | ir.rex_b);
7265 case 0x0f06: /* clts */
7266 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
7269 /* MMX 3DNow! SSE SSE2 SSE3 SSSE3 SSE4 */
7271 case 0x0f0d: /* 3DNow! prefetch */
7274 case 0x0f0e: /* 3DNow! femms */
7275 case 0x0f77: /* emms */
7276 if (i386_fpc_regnum_p (gdbarch, I387_FTAG_REGNUM(tdep)))
7278 record_full_arch_list_add_reg (ir.regcache, I387_FTAG_REGNUM(tdep));
7281 case 0x0f0f: /* 3DNow! data */
7282 if (i386_record_modrm (&ir))
7284 if (record_read_memory (gdbarch, ir.addr, &opcode8, 1))
7289 case 0x0c: /* 3DNow! pi2fw */
7290 case 0x0d: /* 3DNow! pi2fd */
7291 case 0x1c: /* 3DNow! pf2iw */
7292 case 0x1d: /* 3DNow! pf2id */
7293 case 0x8a: /* 3DNow! pfnacc */
7294 case 0x8e: /* 3DNow! pfpnacc */
7295 case 0x90: /* 3DNow! pfcmpge */
7296 case 0x94: /* 3DNow! pfmin */
7297 case 0x96: /* 3DNow! pfrcp */
7298 case 0x97: /* 3DNow! pfrsqrt */
7299 case 0x9a: /* 3DNow! pfsub */
7300 case 0x9e: /* 3DNow! pfadd */
7301 case 0xa0: /* 3DNow! pfcmpgt */
7302 case 0xa4: /* 3DNow! pfmax */
7303 case 0xa6: /* 3DNow! pfrcpit1 */
7304 case 0xa7: /* 3DNow! pfrsqit1 */
7305 case 0xaa: /* 3DNow! pfsubr */
7306 case 0xae: /* 3DNow! pfacc */
7307 case 0xb0: /* 3DNow! pfcmpeq */
7308 case 0xb4: /* 3DNow! pfmul */
7309 case 0xb6: /* 3DNow! pfrcpit2 */
7310 case 0xb7: /* 3DNow! pmulhrw */
7311 case 0xbb: /* 3DNow! pswapd */
7312 case 0xbf: /* 3DNow! pavgusb */
7313 if (!i386_mmx_regnum_p (gdbarch, I387_MM0_REGNUM (tdep) + ir.reg))
7314 goto no_support_3dnow_data;
7315 record_full_arch_list_add_reg (ir.regcache, ir.reg);
7319 no_support_3dnow_data:
7320 opcode = (opcode << 8) | opcode8;
7326 case 0x0faa: /* rsm */
7327 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
7328 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
7329 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RECX_REGNUM);
7330 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REDX_REGNUM);
7331 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REBX_REGNUM);
7332 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RESP_REGNUM);
7333 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REBP_REGNUM);
7334 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_RESI_REGNUM);
7335 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REDI_REGNUM);
7339 if (i386_record_modrm (&ir))
7343 case 0: /* fxsave */
7347 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
7348 if (i386_record_lea_modrm_addr (&ir, &tmpu64))
7350 if (record_full_arch_list_add_mem (tmpu64, 512))
7355 case 1: /* fxrstor */
7359 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
7361 for (i = I387_MM0_REGNUM (tdep);
7362 i386_mmx_regnum_p (gdbarch, i); i++)
7363 record_full_arch_list_add_reg (ir.regcache, i);
7365 for (i = I387_XMM0_REGNUM (tdep);
7366 i386_xmm_regnum_p (gdbarch, i); i++)
7367 record_full_arch_list_add_reg (ir.regcache, i);
7369 if (i386_mxcsr_regnum_p (gdbarch, I387_MXCSR_REGNUM(tdep)))
7370 record_full_arch_list_add_reg (ir.regcache,
7371 I387_MXCSR_REGNUM(tdep));
7373 for (i = I387_ST0_REGNUM (tdep);
7374 i386_fp_regnum_p (gdbarch, i); i++)
7375 record_full_arch_list_add_reg (ir.regcache, i);
7377 for (i = I387_FCTRL_REGNUM (tdep);
7378 i386_fpc_regnum_p (gdbarch, i); i++)
7379 record_full_arch_list_add_reg (ir.regcache, i);
7383 case 2: /* ldmxcsr */
7384 if (!i386_mxcsr_regnum_p (gdbarch, I387_MXCSR_REGNUM(tdep)))
7386 record_full_arch_list_add_reg (ir.regcache, I387_MXCSR_REGNUM(tdep));
7389 case 3: /* stmxcsr */
7391 if (i386_record_lea_modrm (&ir))
7395 case 5: /* lfence */
7396 case 6: /* mfence */
7397 case 7: /* sfence clflush */
7401 opcode = (opcode << 8) | ir.modrm;
7407 case 0x0fc3: /* movnti */
7408 ir.ot = (ir.dflag == 2) ? OT_QUAD : OT_LONG;
7409 if (i386_record_modrm (&ir))
7414 if (i386_record_lea_modrm (&ir))
7418 /* Add prefix to opcode. */
7533 /* Mask out PREFIX_ADDR. */
7534 switch ((prefixes & ~PREFIX_ADDR))
7546 reswitch_prefix_add:
7554 if (record_read_memory (gdbarch, ir.addr, &opcode8, 1))
7557 opcode = (uint32_t) opcode8 | opcode << 8;
7558 goto reswitch_prefix_add;
7561 case 0x0f10: /* movups */
7562 case 0x660f10: /* movupd */
7563 case 0xf30f10: /* movss */
7564 case 0xf20f10: /* movsd */
7565 case 0x0f12: /* movlps */
7566 case 0x660f12: /* movlpd */
7567 case 0xf30f12: /* movsldup */
7568 case 0xf20f12: /* movddup */
7569 case 0x0f14: /* unpcklps */
7570 case 0x660f14: /* unpcklpd */
7571 case 0x0f15: /* unpckhps */
7572 case 0x660f15: /* unpckhpd */
7573 case 0x0f16: /* movhps */
7574 case 0x660f16: /* movhpd */
7575 case 0xf30f16: /* movshdup */
7576 case 0x0f28: /* movaps */
7577 case 0x660f28: /* movapd */
7578 case 0x0f2a: /* cvtpi2ps */
7579 case 0x660f2a: /* cvtpi2pd */
7580 case 0xf30f2a: /* cvtsi2ss */
7581 case 0xf20f2a: /* cvtsi2sd */
7582 case 0x0f2c: /* cvttps2pi */
7583 case 0x660f2c: /* cvttpd2pi */
7584 case 0x0f2d: /* cvtps2pi */
7585 case 0x660f2d: /* cvtpd2pi */
7586 case 0x660f3800: /* pshufb */
7587 case 0x660f3801: /* phaddw */
7588 case 0x660f3802: /* phaddd */
7589 case 0x660f3803: /* phaddsw */
7590 case 0x660f3804: /* pmaddubsw */
7591 case 0x660f3805: /* phsubw */
7592 case 0x660f3806: /* phsubd */
7593 case 0x660f3807: /* phsubsw */
7594 case 0x660f3808: /* psignb */
7595 case 0x660f3809: /* psignw */
7596 case 0x660f380a: /* psignd */
7597 case 0x660f380b: /* pmulhrsw */
7598 case 0x660f3810: /* pblendvb */
7599 case 0x660f3814: /* blendvps */
7600 case 0x660f3815: /* blendvpd */
7601 case 0x660f381c: /* pabsb */
7602 case 0x660f381d: /* pabsw */
7603 case 0x660f381e: /* pabsd */
7604 case 0x660f3820: /* pmovsxbw */
7605 case 0x660f3821: /* pmovsxbd */
7606 case 0x660f3822: /* pmovsxbq */
7607 case 0x660f3823: /* pmovsxwd */
7608 case 0x660f3824: /* pmovsxwq */
7609 case 0x660f3825: /* pmovsxdq */
7610 case 0x660f3828: /* pmuldq */
7611 case 0x660f3829: /* pcmpeqq */
7612 case 0x660f382a: /* movntdqa */
7613 case 0x660f3a08: /* roundps */
7614 case 0x660f3a09: /* roundpd */
7615 case 0x660f3a0a: /* roundss */
7616 case 0x660f3a0b: /* roundsd */
7617 case 0x660f3a0c: /* blendps */
7618 case 0x660f3a0d: /* blendpd */
7619 case 0x660f3a0e: /* pblendw */
7620 case 0x660f3a0f: /* palignr */
7621 case 0x660f3a20: /* pinsrb */
7622 case 0x660f3a21: /* insertps */
7623 case 0x660f3a22: /* pinsrd pinsrq */
7624 case 0x660f3a40: /* dpps */
7625 case 0x660f3a41: /* dppd */
7626 case 0x660f3a42: /* mpsadbw */
7627 case 0x660f3a60: /* pcmpestrm */
7628 case 0x660f3a61: /* pcmpestri */
7629 case 0x660f3a62: /* pcmpistrm */
7630 case 0x660f3a63: /* pcmpistri */
7631 case 0x0f51: /* sqrtps */
7632 case 0x660f51: /* sqrtpd */
7633 case 0xf20f51: /* sqrtsd */
7634 case 0xf30f51: /* sqrtss */
7635 case 0x0f52: /* rsqrtps */
7636 case 0xf30f52: /* rsqrtss */
7637 case 0x0f53: /* rcpps */
7638 case 0xf30f53: /* rcpss */
7639 case 0x0f54: /* andps */
7640 case 0x660f54: /* andpd */
7641 case 0x0f55: /* andnps */
7642 case 0x660f55: /* andnpd */
7643 case 0x0f56: /* orps */
7644 case 0x660f56: /* orpd */
7645 case 0x0f57: /* xorps */
7646 case 0x660f57: /* xorpd */
7647 case 0x0f58: /* addps */
7648 case 0x660f58: /* addpd */
7649 case 0xf20f58: /* addsd */
7650 case 0xf30f58: /* addss */
7651 case 0x0f59: /* mulps */
7652 case 0x660f59: /* mulpd */
7653 case 0xf20f59: /* mulsd */
7654 case 0xf30f59: /* mulss */
7655 case 0x0f5a: /* cvtps2pd */
7656 case 0x660f5a: /* cvtpd2ps */
7657 case 0xf20f5a: /* cvtsd2ss */
7658 case 0xf30f5a: /* cvtss2sd */
7659 case 0x0f5b: /* cvtdq2ps */
7660 case 0x660f5b: /* cvtps2dq */
7661 case 0xf30f5b: /* cvttps2dq */
7662 case 0x0f5c: /* subps */
7663 case 0x660f5c: /* subpd */
7664 case 0xf20f5c: /* subsd */
7665 case 0xf30f5c: /* subss */
7666 case 0x0f5d: /* minps */
7667 case 0x660f5d: /* minpd */
7668 case 0xf20f5d: /* minsd */
7669 case 0xf30f5d: /* minss */
7670 case 0x0f5e: /* divps */
7671 case 0x660f5e: /* divpd */
7672 case 0xf20f5e: /* divsd */
7673 case 0xf30f5e: /* divss */
7674 case 0x0f5f: /* maxps */
7675 case 0x660f5f: /* maxpd */
7676 case 0xf20f5f: /* maxsd */
7677 case 0xf30f5f: /* maxss */
7678 case 0x660f60: /* punpcklbw */
7679 case 0x660f61: /* punpcklwd */
7680 case 0x660f62: /* punpckldq */
7681 case 0x660f63: /* packsswb */
7682 case 0x660f64: /* pcmpgtb */
7683 case 0x660f65: /* pcmpgtw */
7684 case 0x660f66: /* pcmpgtd */
7685 case 0x660f67: /* packuswb */
7686 case 0x660f68: /* punpckhbw */
7687 case 0x660f69: /* punpckhwd */
7688 case 0x660f6a: /* punpckhdq */
7689 case 0x660f6b: /* packssdw */
7690 case 0x660f6c: /* punpcklqdq */
7691 case 0x660f6d: /* punpckhqdq */
7692 case 0x660f6e: /* movd */
7693 case 0x660f6f: /* movdqa */
7694 case 0xf30f6f: /* movdqu */
7695 case 0x660f70: /* pshufd */
7696 case 0xf20f70: /* pshuflw */
7697 case 0xf30f70: /* pshufhw */
7698 case 0x660f74: /* pcmpeqb */
7699 case 0x660f75: /* pcmpeqw */
7700 case 0x660f76: /* pcmpeqd */
7701 case 0x660f7c: /* haddpd */
7702 case 0xf20f7c: /* haddps */
7703 case 0x660f7d: /* hsubpd */
7704 case 0xf20f7d: /* hsubps */
7705 case 0xf30f7e: /* movq */
7706 case 0x0fc2: /* cmpps */
7707 case 0x660fc2: /* cmppd */
7708 case 0xf20fc2: /* cmpsd */
7709 case 0xf30fc2: /* cmpss */
7710 case 0x660fc4: /* pinsrw */
7711 case 0x0fc6: /* shufps */
7712 case 0x660fc6: /* shufpd */
7713 case 0x660fd0: /* addsubpd */
7714 case 0xf20fd0: /* addsubps */
7715 case 0x660fd1: /* psrlw */
7716 case 0x660fd2: /* psrld */
7717 case 0x660fd3: /* psrlq */
7718 case 0x660fd4: /* paddq */
7719 case 0x660fd5: /* pmullw */
7720 case 0xf30fd6: /* movq2dq */
7721 case 0x660fd8: /* psubusb */
7722 case 0x660fd9: /* psubusw */
7723 case 0x660fda: /* pminub */
7724 case 0x660fdb: /* pand */
7725 case 0x660fdc: /* paddusb */
7726 case 0x660fdd: /* paddusw */
7727 case 0x660fde: /* pmaxub */
7728 case 0x660fdf: /* pandn */
7729 case 0x660fe0: /* pavgb */
7730 case 0x660fe1: /* psraw */
7731 case 0x660fe2: /* psrad */
7732 case 0x660fe3: /* pavgw */
7733 case 0x660fe4: /* pmulhuw */
7734 case 0x660fe5: /* pmulhw */
7735 case 0x660fe6: /* cvttpd2dq */
7736 case 0xf20fe6: /* cvtpd2dq */
7737 case 0xf30fe6: /* cvtdq2pd */
7738 case 0x660fe8: /* psubsb */
7739 case 0x660fe9: /* psubsw */
7740 case 0x660fea: /* pminsw */
7741 case 0x660feb: /* por */
7742 case 0x660fec: /* paddsb */
7743 case 0x660fed: /* paddsw */
7744 case 0x660fee: /* pmaxsw */
7745 case 0x660fef: /* pxor */
7746 case 0xf20ff0: /* lddqu */
7747 case 0x660ff1: /* psllw */
7748 case 0x660ff2: /* pslld */
7749 case 0x660ff3: /* psllq */
7750 case 0x660ff4: /* pmuludq */
7751 case 0x660ff5: /* pmaddwd */
7752 case 0x660ff6: /* psadbw */
7753 case 0x660ff8: /* psubb */
7754 case 0x660ff9: /* psubw */
7755 case 0x660ffa: /* psubd */
7756 case 0x660ffb: /* psubq */
7757 case 0x660ffc: /* paddb */
7758 case 0x660ffd: /* paddw */
7759 case 0x660ffe: /* paddd */
7760 if (i386_record_modrm (&ir))
7763 if (!i386_xmm_regnum_p (gdbarch, I387_XMM0_REGNUM (tdep) + ir.reg))
7765 record_full_arch_list_add_reg (ir.regcache,
7766 I387_XMM0_REGNUM (tdep) + ir.reg);
7767 if ((opcode & 0xfffffffc) == 0x660f3a60)
7768 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
7771 case 0x0f11: /* movups */
7772 case 0x660f11: /* movupd */
7773 case 0xf30f11: /* movss */
7774 case 0xf20f11: /* movsd */
7775 case 0x0f13: /* movlps */
7776 case 0x660f13: /* movlpd */
7777 case 0x0f17: /* movhps */
7778 case 0x660f17: /* movhpd */
7779 case 0x0f29: /* movaps */
7780 case 0x660f29: /* movapd */
7781 case 0x660f3a14: /* pextrb */
7782 case 0x660f3a15: /* pextrw */
7783 case 0x660f3a16: /* pextrd pextrq */
7784 case 0x660f3a17: /* extractps */
7785 case 0x660f7f: /* movdqa */
7786 case 0xf30f7f: /* movdqu */
7787 if (i386_record_modrm (&ir))
7791 if (opcode == 0x0f13 || opcode == 0x660f13
7792 || opcode == 0x0f17 || opcode == 0x660f17)
7795 if (!i386_xmm_regnum_p (gdbarch,
7796 I387_XMM0_REGNUM (tdep) + ir.rm))
7798 record_full_arch_list_add_reg (ir.regcache,
7799 I387_XMM0_REGNUM (tdep) + ir.rm);
7821 if (i386_record_lea_modrm (&ir))
7826 case 0x0f2b: /* movntps */
7827 case 0x660f2b: /* movntpd */
7828 case 0x0fe7: /* movntq */
7829 case 0x660fe7: /* movntdq */
7832 if (opcode == 0x0fe7)
7836 if (i386_record_lea_modrm (&ir))
7840 case 0xf30f2c: /* cvttss2si */
7841 case 0xf20f2c: /* cvttsd2si */
7842 case 0xf30f2d: /* cvtss2si */
7843 case 0xf20f2d: /* cvtsd2si */
7844 case 0xf20f38f0: /* crc32 */
7845 case 0xf20f38f1: /* crc32 */
7846 case 0x0f50: /* movmskps */
7847 case 0x660f50: /* movmskpd */
7848 case 0x0fc5: /* pextrw */
7849 case 0x660fc5: /* pextrw */
7850 case 0x0fd7: /* pmovmskb */
7851 case 0x660fd7: /* pmovmskb */
7852 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.reg | rex_r);
7855 case 0x0f3800: /* pshufb */
7856 case 0x0f3801: /* phaddw */
7857 case 0x0f3802: /* phaddd */
7858 case 0x0f3803: /* phaddsw */
7859 case 0x0f3804: /* pmaddubsw */
7860 case 0x0f3805: /* phsubw */
7861 case 0x0f3806: /* phsubd */
7862 case 0x0f3807: /* phsubsw */
7863 case 0x0f3808: /* psignb */
7864 case 0x0f3809: /* psignw */
7865 case 0x0f380a: /* psignd */
7866 case 0x0f380b: /* pmulhrsw */
7867 case 0x0f381c: /* pabsb */
7868 case 0x0f381d: /* pabsw */
7869 case 0x0f381e: /* pabsd */
7870 case 0x0f382b: /* packusdw */
7871 case 0x0f3830: /* pmovzxbw */
7872 case 0x0f3831: /* pmovzxbd */
7873 case 0x0f3832: /* pmovzxbq */
7874 case 0x0f3833: /* pmovzxwd */
7875 case 0x0f3834: /* pmovzxwq */
7876 case 0x0f3835: /* pmovzxdq */
7877 case 0x0f3837: /* pcmpgtq */
7878 case 0x0f3838: /* pminsb */
7879 case 0x0f3839: /* pminsd */
7880 case 0x0f383a: /* pminuw */
7881 case 0x0f383b: /* pminud */
7882 case 0x0f383c: /* pmaxsb */
7883 case 0x0f383d: /* pmaxsd */
7884 case 0x0f383e: /* pmaxuw */
7885 case 0x0f383f: /* pmaxud */
7886 case 0x0f3840: /* pmulld */
7887 case 0x0f3841: /* phminposuw */
7888 case 0x0f3a0f: /* palignr */
7889 case 0x0f60: /* punpcklbw */
7890 case 0x0f61: /* punpcklwd */
7891 case 0x0f62: /* punpckldq */
7892 case 0x0f63: /* packsswb */
7893 case 0x0f64: /* pcmpgtb */
7894 case 0x0f65: /* pcmpgtw */
7895 case 0x0f66: /* pcmpgtd */
7896 case 0x0f67: /* packuswb */
7897 case 0x0f68: /* punpckhbw */
7898 case 0x0f69: /* punpckhwd */
7899 case 0x0f6a: /* punpckhdq */
7900 case 0x0f6b: /* packssdw */
7901 case 0x0f6e: /* movd */
7902 case 0x0f6f: /* movq */
7903 case 0x0f70: /* pshufw */
7904 case 0x0f74: /* pcmpeqb */
7905 case 0x0f75: /* pcmpeqw */
7906 case 0x0f76: /* pcmpeqd */
7907 case 0x0fc4: /* pinsrw */
7908 case 0x0fd1: /* psrlw */
7909 case 0x0fd2: /* psrld */
7910 case 0x0fd3: /* psrlq */
7911 case 0x0fd4: /* paddq */
7912 case 0x0fd5: /* pmullw */
7913 case 0xf20fd6: /* movdq2q */
7914 case 0x0fd8: /* psubusb */
7915 case 0x0fd9: /* psubusw */
7916 case 0x0fda: /* pminub */
7917 case 0x0fdb: /* pand */
7918 case 0x0fdc: /* paddusb */
7919 case 0x0fdd: /* paddusw */
7920 case 0x0fde: /* pmaxub */
7921 case 0x0fdf: /* pandn */
7922 case 0x0fe0: /* pavgb */
7923 case 0x0fe1: /* psraw */
7924 case 0x0fe2: /* psrad */
7925 case 0x0fe3: /* pavgw */
7926 case 0x0fe4: /* pmulhuw */
7927 case 0x0fe5: /* pmulhw */
7928 case 0x0fe8: /* psubsb */
7929 case 0x0fe9: /* psubsw */
7930 case 0x0fea: /* pminsw */
7931 case 0x0feb: /* por */
7932 case 0x0fec: /* paddsb */
7933 case 0x0fed: /* paddsw */
7934 case 0x0fee: /* pmaxsw */
7935 case 0x0fef: /* pxor */
7936 case 0x0ff1: /* psllw */
7937 case 0x0ff2: /* pslld */
7938 case 0x0ff3: /* psllq */
7939 case 0x0ff4: /* pmuludq */
7940 case 0x0ff5: /* pmaddwd */
7941 case 0x0ff6: /* psadbw */
7942 case 0x0ff8: /* psubb */
7943 case 0x0ff9: /* psubw */
7944 case 0x0ffa: /* psubd */
7945 case 0x0ffb: /* psubq */
7946 case 0x0ffc: /* paddb */
7947 case 0x0ffd: /* paddw */
7948 case 0x0ffe: /* paddd */
7949 if (i386_record_modrm (&ir))
7951 if (!i386_mmx_regnum_p (gdbarch, I387_MM0_REGNUM (tdep) + ir.reg))
7953 record_full_arch_list_add_reg (ir.regcache,
7954 I387_MM0_REGNUM (tdep) + ir.reg);
7957 case 0x0f71: /* psllw */
7958 case 0x0f72: /* pslld */
7959 case 0x0f73: /* psllq */
7960 if (i386_record_modrm (&ir))
7962 if (!i386_mmx_regnum_p (gdbarch, I387_MM0_REGNUM (tdep) + ir.rm))
7964 record_full_arch_list_add_reg (ir.regcache,
7965 I387_MM0_REGNUM (tdep) + ir.rm);
7968 case 0x660f71: /* psllw */
7969 case 0x660f72: /* pslld */
7970 case 0x660f73: /* psllq */
7971 if (i386_record_modrm (&ir))
7974 if (!i386_xmm_regnum_p (gdbarch, I387_XMM0_REGNUM (tdep) + ir.rm))
7976 record_full_arch_list_add_reg (ir.regcache,
7977 I387_XMM0_REGNUM (tdep) + ir.rm);
7980 case 0x0f7e: /* movd */
7981 case 0x660f7e: /* movd */
7982 if (i386_record_modrm (&ir))
7985 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.rm | ir.rex_b);
7992 if (i386_record_lea_modrm (&ir))
7997 case 0x0f7f: /* movq */
7998 if (i386_record_modrm (&ir))
8002 if (!i386_mmx_regnum_p (gdbarch, I387_MM0_REGNUM (tdep) + ir.rm))
8004 record_full_arch_list_add_reg (ir.regcache,
8005 I387_MM0_REGNUM (tdep) + ir.rm);
8010 if (i386_record_lea_modrm (&ir))
8015 case 0xf30fb8: /* popcnt */
8016 if (i386_record_modrm (&ir))
8018 I386_RECORD_FULL_ARCH_LIST_ADD_REG (ir.reg);
8019 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
8022 case 0x660fd6: /* movq */
8023 if (i386_record_modrm (&ir))
8028 if (!i386_xmm_regnum_p (gdbarch,
8029 I387_XMM0_REGNUM (tdep) + ir.rm))
8031 record_full_arch_list_add_reg (ir.regcache,
8032 I387_XMM0_REGNUM (tdep) + ir.rm);
8037 if (i386_record_lea_modrm (&ir))
8042 case 0x660f3817: /* ptest */
8043 case 0x0f2e: /* ucomiss */
8044 case 0x660f2e: /* ucomisd */
8045 case 0x0f2f: /* comiss */
8046 case 0x660f2f: /* comisd */
8047 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
8050 case 0x0ff7: /* maskmovq */
8051 regcache_raw_read_unsigned (ir.regcache,
8052 ir.regmap[X86_RECORD_REDI_REGNUM],
8054 if (record_full_arch_list_add_mem (addr, 64))
8058 case 0x660ff7: /* maskmovdqu */
8059 regcache_raw_read_unsigned (ir.regcache,
8060 ir.regmap[X86_RECORD_REDI_REGNUM],
8062 if (record_full_arch_list_add_mem (addr, 128))
8077 /* In the future, maybe still need to deal with need_dasm. */
8078 I386_RECORD_FULL_ARCH_LIST_ADD_REG (X86_RECORD_REIP_REGNUM);
8079 if (record_full_arch_list_add_end ())
8085 printf_unfiltered (_("Process record does not support instruction 0x%02x "
8086 "at address %s.\n"),
8087 (unsigned int) (opcode),
8088 paddress (gdbarch, ir.orig_addr));
8092 static const int i386_record_regmap[] =
8094 I386_EAX_REGNUM, I386_ECX_REGNUM, I386_EDX_REGNUM, I386_EBX_REGNUM,
8095 I386_ESP_REGNUM, I386_EBP_REGNUM, I386_ESI_REGNUM, I386_EDI_REGNUM,
8096 0, 0, 0, 0, 0, 0, 0, 0,
8097 I386_EIP_REGNUM, I386_EFLAGS_REGNUM, I386_CS_REGNUM, I386_SS_REGNUM,
8098 I386_DS_REGNUM, I386_ES_REGNUM, I386_FS_REGNUM, I386_GS_REGNUM
8101 /* Check that the given address appears suitable for a fast
8102 tracepoint, which on x86-64 means that we need an instruction of at
8103 least 5 bytes, so that we can overwrite it with a 4-byte-offset
8104 jump and not have to worry about program jumps to an address in the
8105 middle of the tracepoint jump. On x86, it may be possible to use
8106 4-byte jumps with a 2-byte offset to a trampoline located in the
8107 bottom 64 KiB of memory. Returns 1 if OK, and writes a size
8108 of instruction to replace, and 0 if not, plus an explanatory
8112 i386_fast_tracepoint_valid_at (struct gdbarch *gdbarch, CORE_ADDR addr,
8116 static struct ui_file *gdb_null = NULL;
8118 /* Ask the target for the minimum instruction length supported. */
8119 jumplen = target_get_min_fast_tracepoint_insn_len ();
8123 /* If the target does not support the get_min_fast_tracepoint_insn_len
8124 operation, assume that fast tracepoints will always be implemented
8125 using 4-byte relative jumps on both x86 and x86-64. */
8128 else if (jumplen == 0)
8130 /* If the target does support get_min_fast_tracepoint_insn_len but
8131 returns zero, then the IPA has not loaded yet. In this case,
8132 we optimistically assume that truncated 2-byte relative jumps
8133 will be available on x86, and compensate later if this assumption
8134 turns out to be incorrect. On x86-64 architectures, 4-byte relative
8135 jumps will always be used. */
8136 jumplen = (register_size (gdbarch, 0) == 8) ? 5 : 4;
8139 /* Dummy file descriptor for the disassembler. */
8141 gdb_null = ui_file_new ();
8143 /* Check for fit. */
8144 len = gdb_print_insn (gdbarch, addr, gdb_null, NULL);
8148 /* Return a bit of target-specific detail to add to the caller's
8149 generic failure message. */
8151 *msg = xstrprintf (_("; instruction is only %d bytes long, "
8152 "need at least %d bytes for the jump"),
8164 /* Return a floating-point format for a floating-point variable of
8165 length LEN in bits. If non-NULL, NAME is the name of its type.
8166 If no suitable type is found, return NULL. */
8168 const struct floatformat **
8169 i386_floatformat_for_type (struct gdbarch *gdbarch,
8170 const char *name, int len)
8172 if (len == 128 && name)
8173 if (strcmp (name, "__float128") == 0
8174 || strcmp (name, "_Float128") == 0
8175 || strcmp (name, "complex _Float128") == 0)
8176 return floatformats_ia64_quad;
8178 return default_floatformat_for_type (gdbarch, name, len);
8182 i386_validate_tdesc_p (struct gdbarch_tdep *tdep,
8183 struct tdesc_arch_data *tdesc_data)
8185 const struct target_desc *tdesc = tdep->tdesc;
8186 const struct tdesc_feature *feature_core;
8188 const struct tdesc_feature *feature_sse, *feature_avx, *feature_mpx,
8190 int i, num_regs, valid_p;
8192 if (! tdesc_has_registers (tdesc))
8195 /* Get core registers. */
8196 feature_core = tdesc_find_feature (tdesc, "org.gnu.gdb.i386.core");
8197 if (feature_core == NULL)
8200 /* Get SSE registers. */
8201 feature_sse = tdesc_find_feature (tdesc, "org.gnu.gdb.i386.sse");
8203 /* Try AVX registers. */
8204 feature_avx = tdesc_find_feature (tdesc, "org.gnu.gdb.i386.avx");
8206 /* Try MPX registers. */
8207 feature_mpx = tdesc_find_feature (tdesc, "org.gnu.gdb.i386.mpx");
8209 /* Try AVX512 registers. */
8210 feature_avx512 = tdesc_find_feature (tdesc, "org.gnu.gdb.i386.avx512");
8214 /* The XCR0 bits. */
8217 /* AVX512 register description requires AVX register description. */
8221 tdep->xcr0 = X86_XSTATE_MPX_AVX512_MASK;
8223 /* It may have been set by OSABI initialization function. */
8224 if (tdep->k0_regnum < 0)
8226 tdep->k_register_names = i386_k_names;
8227 tdep->k0_regnum = I386_K0_REGNUM;
8230 for (i = 0; i < I387_NUM_K_REGS; i++)
8231 valid_p &= tdesc_numbered_register (feature_avx512, tdesc_data,
8232 tdep->k0_regnum + i,
8235 if (tdep->num_zmm_regs == 0)
8237 tdep->zmmh_register_names = i386_zmmh_names;
8238 tdep->num_zmm_regs = 8;
8239 tdep->zmm0h_regnum = I386_ZMM0H_REGNUM;
8242 for (i = 0; i < tdep->num_zmm_regs; i++)
8243 valid_p &= tdesc_numbered_register (feature_avx512, tdesc_data,
8244 tdep->zmm0h_regnum + i,
8245 tdep->zmmh_register_names[i]);
8247 for (i = 0; i < tdep->num_xmm_avx512_regs; i++)
8248 valid_p &= tdesc_numbered_register (feature_avx512, tdesc_data,
8249 tdep->xmm16_regnum + i,
8250 tdep->xmm_avx512_register_names[i]);
8252 for (i = 0; i < tdep->num_ymm_avx512_regs; i++)
8253 valid_p &= tdesc_numbered_register (feature_avx512, tdesc_data,
8254 tdep->ymm16h_regnum + i,
8255 tdep->ymm16h_register_names[i]);
8259 /* AVX register description requires SSE register description. */
8263 if (!feature_avx512)
8264 tdep->xcr0 = X86_XSTATE_AVX_MASK;
8266 /* It may have been set by OSABI initialization function. */
8267 if (tdep->num_ymm_regs == 0)
8269 tdep->ymmh_register_names = i386_ymmh_names;
8270 tdep->num_ymm_regs = 8;
8271 tdep->ymm0h_regnum = I386_YMM0H_REGNUM;
8274 for (i = 0; i < tdep->num_ymm_regs; i++)
8275 valid_p &= tdesc_numbered_register (feature_avx, tdesc_data,
8276 tdep->ymm0h_regnum + i,
8277 tdep->ymmh_register_names[i]);
8279 else if (feature_sse)
8280 tdep->xcr0 = X86_XSTATE_SSE_MASK;
8283 tdep->xcr0 = X86_XSTATE_X87_MASK;
8284 tdep->num_xmm_regs = 0;
8287 num_regs = tdep->num_core_regs;
8288 for (i = 0; i < num_regs; i++)
8289 valid_p &= tdesc_numbered_register (feature_core, tdesc_data, i,
8290 tdep->register_names[i]);
8294 /* Need to include %mxcsr, so add one. */
8295 num_regs += tdep->num_xmm_regs + 1;
8296 for (; i < num_regs; i++)
8297 valid_p &= tdesc_numbered_register (feature_sse, tdesc_data, i,
8298 tdep->register_names[i]);
8303 tdep->xcr0 |= X86_XSTATE_MPX_MASK;
8305 if (tdep->bnd0r_regnum < 0)
8307 tdep->mpx_register_names = i386_mpx_names;
8308 tdep->bnd0r_regnum = I386_BND0R_REGNUM;
8309 tdep->bndcfgu_regnum = I386_BNDCFGU_REGNUM;
8312 for (i = 0; i < I387_NUM_MPX_REGS; i++)
8313 valid_p &= tdesc_numbered_register (feature_mpx, tdesc_data,
8314 I387_BND0R_REGNUM (tdep) + i,
8315 tdep->mpx_register_names[i]);
8322 static struct gdbarch *
8323 i386_gdbarch_init (struct gdbarch_info info, struct gdbarch_list *arches)
8325 struct gdbarch_tdep *tdep;
8326 struct gdbarch *gdbarch;
8327 struct tdesc_arch_data *tdesc_data;
8328 const struct target_desc *tdesc;
8334 /* If there is already a candidate, use it. */
8335 arches = gdbarch_list_lookup_by_info (arches, &info);
8337 return arches->gdbarch;
8339 /* Allocate space for the new architecture. */
8340 tdep = XCNEW (struct gdbarch_tdep);
8341 gdbarch = gdbarch_alloc (&info, tdep);
8343 /* General-purpose registers. */
8344 tdep->gregset_reg_offset = NULL;
8345 tdep->gregset_num_regs = I386_NUM_GREGS;
8346 tdep->sizeof_gregset = 0;
8348 /* Floating-point registers. */
8349 tdep->sizeof_fpregset = I387_SIZEOF_FSAVE;
8350 tdep->fpregset = &i386_fpregset;
8352 /* The default settings include the FPU registers, the MMX registers
8353 and the SSE registers. This can be overridden for a specific ABI
8354 by adjusting the members `st0_regnum', `mm0_regnum' and
8355 `num_xmm_regs' of `struct gdbarch_tdep', otherwise the registers
8356 will show up in the output of "info all-registers". */
8358 tdep->st0_regnum = I386_ST0_REGNUM;
8360 /* I386_NUM_XREGS includes %mxcsr, so substract one. */
8361 tdep->num_xmm_regs = I386_NUM_XREGS - 1;
8363 tdep->jb_pc_offset = -1;
8364 tdep->struct_return = pcc_struct_return;
8365 tdep->sigtramp_start = 0;
8366 tdep->sigtramp_end = 0;
8367 tdep->sigtramp_p = i386_sigtramp_p;
8368 tdep->sigcontext_addr = NULL;
8369 tdep->sc_reg_offset = NULL;
8370 tdep->sc_pc_offset = -1;
8371 tdep->sc_sp_offset = -1;
8373 tdep->xsave_xcr0_offset = -1;
8375 tdep->record_regmap = i386_record_regmap;
8377 set_gdbarch_long_long_align_bit (gdbarch, 32);
8379 /* The format used for `long double' on almost all i386 targets is
8380 the i387 extended floating-point format. In fact, of all targets
8381 in the GCC 2.95 tree, only OSF/1 does it different, and insists
8382 on having a `long double' that's not `long' at all. */
8383 set_gdbarch_long_double_format (gdbarch, floatformats_i387_ext);
8385 /* Although the i387 extended floating-point has only 80 significant
8386 bits, a `long double' actually takes up 96, probably to enforce
8388 set_gdbarch_long_double_bit (gdbarch, 96);
8390 /* Support for floating-point data type variants. */
8391 set_gdbarch_floatformat_for_type (gdbarch, i386_floatformat_for_type);
8393 /* Register numbers of various important registers. */
8394 set_gdbarch_sp_regnum (gdbarch, I386_ESP_REGNUM); /* %esp */
8395 set_gdbarch_pc_regnum (gdbarch, I386_EIP_REGNUM); /* %eip */
8396 set_gdbarch_ps_regnum (gdbarch, I386_EFLAGS_REGNUM); /* %eflags */
8397 set_gdbarch_fp0_regnum (gdbarch, I386_ST0_REGNUM); /* %st(0) */
8399 /* NOTE: kettenis/20040418: GCC does have two possible register
8400 numbering schemes on the i386: dbx and SVR4. These schemes
8401 differ in how they number %ebp, %esp, %eflags, and the
8402 floating-point registers, and are implemented by the arrays
8403 dbx_register_map[] and svr4_dbx_register_map in
8404 gcc/config/i386.c. GCC also defines a third numbering scheme in
8405 gcc/config/i386.c, which it designates as the "default" register
8406 map used in 64bit mode. This last register numbering scheme is
8407 implemented in dbx64_register_map, and is used for AMD64; see
8410 Currently, each GCC i386 target always uses the same register
8411 numbering scheme across all its supported debugging formats
8412 i.e. SDB (COFF), stabs and DWARF 2. This is because
8413 gcc/sdbout.c, gcc/dbxout.c and gcc/dwarf2out.c all use the
8414 DBX_REGISTER_NUMBER macro which is defined by each target's
8415 respective config header in a manner independent of the requested
8416 output debugging format.
8418 This does not match the arrangement below, which presumes that
8419 the SDB and stabs numbering schemes differ from the DWARF and
8420 DWARF 2 ones. The reason for this arrangement is that it is
8421 likely to get the numbering scheme for the target's
8422 default/native debug format right. For targets where GCC is the
8423 native compiler (FreeBSD, NetBSD, OpenBSD, GNU/Linux) or for
8424 targets where the native toolchain uses a different numbering
8425 scheme for a particular debug format (stabs-in-ELF on Solaris)
8426 the defaults below will have to be overridden, like
8427 i386_elf_init_abi() does. */
8429 /* Use the dbx register numbering scheme for stabs and COFF. */
8430 set_gdbarch_stab_reg_to_regnum (gdbarch, i386_dbx_reg_to_regnum);
8431 set_gdbarch_sdb_reg_to_regnum (gdbarch, i386_dbx_reg_to_regnum);
8433 /* Use the SVR4 register numbering scheme for DWARF 2. */
8434 set_gdbarch_dwarf2_reg_to_regnum (gdbarch, i386_svr4_dwarf_reg_to_regnum);
8436 /* We don't set gdbarch_stab_reg_to_regnum, since ECOFF doesn't seem to
8437 be in use on any of the supported i386 targets. */
8439 set_gdbarch_print_float_info (gdbarch, i387_print_float_info);
8441 set_gdbarch_get_longjmp_target (gdbarch, i386_get_longjmp_target);
8443 /* Call dummy code. */
8444 set_gdbarch_call_dummy_location (gdbarch, ON_STACK);
8445 set_gdbarch_push_dummy_code (gdbarch, i386_push_dummy_code);
8446 set_gdbarch_push_dummy_call (gdbarch, i386_push_dummy_call);
8447 set_gdbarch_frame_align (gdbarch, i386_frame_align);
8449 set_gdbarch_convert_register_p (gdbarch, i386_convert_register_p);
8450 set_gdbarch_register_to_value (gdbarch, i386_register_to_value);
8451 set_gdbarch_value_to_register (gdbarch, i386_value_to_register);
8453 set_gdbarch_return_value (gdbarch, i386_return_value);
8455 set_gdbarch_skip_prologue (gdbarch, i386_skip_prologue);
8457 /* Stack grows downward. */
8458 set_gdbarch_inner_than (gdbarch, core_addr_lessthan);
8460 set_gdbarch_breakpoint_from_pc (gdbarch, i386_breakpoint_from_pc);
8461 set_gdbarch_decr_pc_after_break (gdbarch, 1);
8462 set_gdbarch_max_insn_length (gdbarch, I386_MAX_INSN_LEN);
8464 set_gdbarch_frame_args_skip (gdbarch, 8);
8466 set_gdbarch_print_insn (gdbarch, i386_print_insn);
8468 set_gdbarch_dummy_id (gdbarch, i386_dummy_id);
8470 set_gdbarch_unwind_pc (gdbarch, i386_unwind_pc);
8472 /* Add the i386 register groups. */
8473 i386_add_reggroups (gdbarch);
8474 tdep->register_reggroup_p = i386_register_reggroup_p;
8476 /* Helper for function argument information. */
8477 set_gdbarch_fetch_pointer_argument (gdbarch, i386_fetch_pointer_argument);
8479 /* Hook the function epilogue frame unwinder. This unwinder is
8480 appended to the list first, so that it supercedes the DWARF
8481 unwinder in function epilogues (where the DWARF unwinder
8482 currently fails). */
8483 frame_unwind_append_unwinder (gdbarch, &i386_epilogue_frame_unwind);
8485 /* Hook in the DWARF CFI frame unwinder. This unwinder is appended
8486 to the list before the prologue-based unwinders, so that DWARF
8487 CFI info will be used if it is available. */
8488 dwarf2_append_unwinders (gdbarch);
8490 frame_base_set_default (gdbarch, &i386_frame_base);
8492 /* Pseudo registers may be changed by amd64_init_abi. */
8493 set_gdbarch_pseudo_register_read_value (gdbarch,
8494 i386_pseudo_register_read_value);
8495 set_gdbarch_pseudo_register_write (gdbarch, i386_pseudo_register_write);
8496 set_gdbarch_ax_pseudo_register_collect (gdbarch,
8497 i386_ax_pseudo_register_collect);
8499 set_tdesc_pseudo_register_type (gdbarch, i386_pseudo_register_type);
8500 set_tdesc_pseudo_register_name (gdbarch, i386_pseudo_register_name);
8502 /* Override the normal target description method to make the AVX
8503 upper halves anonymous. */
8504 set_gdbarch_register_name (gdbarch, i386_register_name);
8506 /* Even though the default ABI only includes general-purpose registers,
8507 floating-point registers and the SSE registers, we have to leave a
8508 gap for the upper AVX, MPX and AVX512 registers. */
8509 set_gdbarch_num_regs (gdbarch, I386_AVX512_NUM_REGS);
8511 set_gdbarch_gnu_triplet_regexp (gdbarch, i386_gnu_triplet_regexp);
8513 /* Get the x86 target description from INFO. */
8514 tdesc = info.target_desc;
8515 if (! tdesc_has_registers (tdesc))
8517 tdep->tdesc = tdesc;
8519 tdep->num_core_regs = I386_NUM_GREGS + I387_NUM_REGS;
8520 tdep->register_names = i386_register_names;
8522 /* No upper YMM registers. */
8523 tdep->ymmh_register_names = NULL;
8524 tdep->ymm0h_regnum = -1;
8526 /* No upper ZMM registers. */
8527 tdep->zmmh_register_names = NULL;
8528 tdep->zmm0h_regnum = -1;
8530 /* No high XMM registers. */
8531 tdep->xmm_avx512_register_names = NULL;
8532 tdep->xmm16_regnum = -1;
8534 /* No upper YMM16-31 registers. */
8535 tdep->ymm16h_register_names = NULL;
8536 tdep->ymm16h_regnum = -1;
8538 tdep->num_byte_regs = 8;
8539 tdep->num_word_regs = 8;
8540 tdep->num_dword_regs = 0;
8541 tdep->num_mmx_regs = 8;
8542 tdep->num_ymm_regs = 0;
8544 /* No MPX registers. */
8545 tdep->bnd0r_regnum = -1;
8546 tdep->bndcfgu_regnum = -1;
8548 /* No AVX512 registers. */
8549 tdep->k0_regnum = -1;
8550 tdep->num_zmm_regs = 0;
8551 tdep->num_ymm_avx512_regs = 0;
8552 tdep->num_xmm_avx512_regs = 0;
8554 tdesc_data = tdesc_data_alloc ();
8556 set_gdbarch_relocate_instruction (gdbarch, i386_relocate_instruction);
8558 set_gdbarch_gen_return_address (gdbarch, i386_gen_return_address);
8560 set_gdbarch_insn_is_call (gdbarch, i386_insn_is_call);
8561 set_gdbarch_insn_is_ret (gdbarch, i386_insn_is_ret);
8562 set_gdbarch_insn_is_jump (gdbarch, i386_insn_is_jump);
8564 /* Hook in ABI-specific overrides, if they have been registered. */
8565 info.tdep_info = tdesc_data;
8566 gdbarch_init_osabi (info, gdbarch);
8568 if (!i386_validate_tdesc_p (tdep, tdesc_data))
8570 tdesc_data_cleanup (tdesc_data);
8572 gdbarch_free (gdbarch);
8576 num_bnd_cooked = (tdep->bnd0r_regnum > 0 ? I387_NUM_BND_REGS : 0);
8578 /* Wire in pseudo registers. Number of pseudo registers may be
8580 set_gdbarch_num_pseudo_regs (gdbarch, (tdep->num_byte_regs
8581 + tdep->num_word_regs
8582 + tdep->num_dword_regs
8583 + tdep->num_mmx_regs
8584 + tdep->num_ymm_regs
8586 + tdep->num_ymm_avx512_regs
8587 + tdep->num_zmm_regs));
8589 /* Target description may be changed. */
8590 tdesc = tdep->tdesc;
8592 tdesc_use_registers (gdbarch, tdesc, tdesc_data);
8594 /* Override gdbarch_register_reggroup_p set in tdesc_use_registers. */
8595 set_gdbarch_register_reggroup_p (gdbarch, tdep->register_reggroup_p);
8597 /* Make %al the first pseudo-register. */
8598 tdep->al_regnum = gdbarch_num_regs (gdbarch);
8599 tdep->ax_regnum = tdep->al_regnum + tdep->num_byte_regs;
8601 ymm0_regnum = tdep->ax_regnum + tdep->num_word_regs;
8602 if (tdep->num_dword_regs)
8604 /* Support dword pseudo-register if it hasn't been disabled. */
8605 tdep->eax_regnum = ymm0_regnum;
8606 ymm0_regnum += tdep->num_dword_regs;
8609 tdep->eax_regnum = -1;
8611 mm0_regnum = ymm0_regnum;
8612 if (tdep->num_ymm_regs)
8614 /* Support YMM pseudo-register if it is available. */
8615 tdep->ymm0_regnum = ymm0_regnum;
8616 mm0_regnum += tdep->num_ymm_regs;
8619 tdep->ymm0_regnum = -1;
8621 if (tdep->num_ymm_avx512_regs)
8623 /* Support YMM16-31 pseudo registers if available. */
8624 tdep->ymm16_regnum = mm0_regnum;
8625 mm0_regnum += tdep->num_ymm_avx512_regs;
8628 tdep->ymm16_regnum = -1;
8630 if (tdep->num_zmm_regs)
8632 /* Support ZMM pseudo-register if it is available. */
8633 tdep->zmm0_regnum = mm0_regnum;
8634 mm0_regnum += tdep->num_zmm_regs;
8637 tdep->zmm0_regnum = -1;
8639 bnd0_regnum = mm0_regnum;
8640 if (tdep->num_mmx_regs != 0)
8642 /* Support MMX pseudo-register if MMX hasn't been disabled. */
8643 tdep->mm0_regnum = mm0_regnum;
8644 bnd0_regnum += tdep->num_mmx_regs;
8647 tdep->mm0_regnum = -1;
8649 if (tdep->bnd0r_regnum > 0)
8650 tdep->bnd0_regnum = bnd0_regnum;
8652 tdep-> bnd0_regnum = -1;
8654 /* Hook in the legacy prologue-based unwinders last (fallback). */
8655 frame_unwind_append_unwinder (gdbarch, &i386_stack_tramp_frame_unwind);
8656 frame_unwind_append_unwinder (gdbarch, &i386_sigtramp_frame_unwind);
8657 frame_unwind_append_unwinder (gdbarch, &i386_frame_unwind);
8659 /* If we have a register mapping, enable the generic core file
8660 support, unless it has already been enabled. */
8661 if (tdep->gregset_reg_offset
8662 && !gdbarch_iterate_over_regset_sections_p (gdbarch))
8663 set_gdbarch_iterate_over_regset_sections
8664 (gdbarch, i386_iterate_over_regset_sections);
8666 set_gdbarch_fast_tracepoint_valid_at (gdbarch,
8667 i386_fast_tracepoint_valid_at);
8672 static enum gdb_osabi
8673 i386_coff_osabi_sniffer (bfd *abfd)
8675 if (strcmp (bfd_get_target (abfd), "coff-go32-exe") == 0
8676 || strcmp (bfd_get_target (abfd), "coff-go32") == 0)
8677 return GDB_OSABI_GO32;
8679 return GDB_OSABI_UNKNOWN;
8683 /* Return the target description for a specified XSAVE feature mask. */
8685 const struct target_desc *
8686 i386_target_description (uint64_t xcr0)
8688 switch (xcr0 & X86_XSTATE_ALL_MASK)
8690 case X86_XSTATE_MPX_AVX512_MASK:
8691 case X86_XSTATE_AVX512_MASK:
8692 return tdesc_i386_avx512;
8693 case X86_XSTATE_AVX_MPX_MASK:
8694 return tdesc_i386_avx_mpx;
8695 case X86_XSTATE_MPX_MASK:
8696 return tdesc_i386_mpx;
8697 case X86_XSTATE_AVX_MASK:
8698 return tdesc_i386_avx;
8704 #define MPX_BASE_MASK (~(ULONGEST) 0xfff)
8706 /* Find the bound directory base address. */
8708 static unsigned long
8709 i386_mpx_bd_base (void)
8711 struct regcache *rcache;
8712 struct gdbarch_tdep *tdep;
8714 enum register_status regstatus;
8716 rcache = get_current_regcache ();
8717 tdep = gdbarch_tdep (get_regcache_arch (rcache));
8719 regstatus = regcache_raw_read_unsigned (rcache, tdep->bndcfgu_regnum, &ret);
8721 if (regstatus != REG_VALID)
8722 error (_("BNDCFGU register invalid, read status %d."), regstatus);
8724 return ret & MPX_BASE_MASK;
8728 i386_mpx_enabled (void)
8730 const struct gdbarch_tdep *tdep = gdbarch_tdep (get_current_arch ());
8731 const struct target_desc *tdesc = tdep->tdesc;
8733 return (tdesc_find_feature (tdesc, "org.gnu.gdb.i386.mpx") != NULL);
8736 #define MPX_BD_MASK 0xfffffff00000ULL /* select bits [47:20] */
8737 #define MPX_BT_MASK 0x0000000ffff8 /* select bits [19:3] */
8738 #define MPX_BD_MASK_32 0xfffff000 /* select bits [31:12] */
8739 #define MPX_BT_MASK_32 0x00000ffc /* select bits [11:2] */
8741 /* Find the bound table entry given the pointer location and the base
8742 address of the table. */
8745 i386_mpx_get_bt_entry (CORE_ADDR ptr, CORE_ADDR bd_base)
8749 CORE_ADDR mpx_bd_mask, bd_ptr_r_shift, bd_ptr_l_shift;
8750 CORE_ADDR bt_mask, bt_select_r_shift, bt_select_l_shift;
8751 CORE_ADDR bd_entry_addr;
8754 struct gdbarch *gdbarch = get_current_arch ();
8755 struct type *data_ptr_type = builtin_type (gdbarch)->builtin_data_ptr;
8758 if (gdbarch_ptr_bit (gdbarch) == 64)
8760 mpx_bd_mask = (CORE_ADDR) MPX_BD_MASK;
8761 bd_ptr_r_shift = 20;
8763 bt_select_r_shift = 3;
8764 bt_select_l_shift = 5;
8765 bt_mask = (CORE_ADDR) MPX_BT_MASK;
8767 if ( sizeof (CORE_ADDR) == 4)
8768 error (_("bound table examination not supported\
8769 for 64-bit process with 32-bit GDB"));
8773 mpx_bd_mask = MPX_BD_MASK_32;
8774 bd_ptr_r_shift = 12;
8776 bt_select_r_shift = 2;
8777 bt_select_l_shift = 4;
8778 bt_mask = MPX_BT_MASK_32;
8781 offset1 = ((ptr & mpx_bd_mask) >> bd_ptr_r_shift) << bd_ptr_l_shift;
8782 bd_entry_addr = bd_base + offset1;
8783 bd_entry = read_memory_typed_address (bd_entry_addr, data_ptr_type);
8785 if ((bd_entry & 0x1) == 0)
8786 error (_("Invalid bounds directory entry at %s."),
8787 paddress (get_current_arch (), bd_entry_addr));
8789 /* Clearing status bit. */
8791 bt_addr = bd_entry & ~bt_select_r_shift;
8792 offset2 = ((ptr & bt_mask) >> bt_select_r_shift) << bt_select_l_shift;
8794 return bt_addr + offset2;
8797 /* Print routine for the mpx bounds. */
8800 i386_mpx_print_bounds (const CORE_ADDR bt_entry[4])
8802 struct ui_out *uiout = current_uiout;
8804 struct gdbarch *gdbarch = get_current_arch ();
8805 CORE_ADDR onecompl = ~((CORE_ADDR) 0);
8806 int bounds_in_map = ((~bt_entry[1] == 0 && bt_entry[0] == onecompl) ? 1 : 0);
8808 if (bounds_in_map == 1)
8810 ui_out_text (uiout, "Null bounds on map:");
8811 ui_out_text (uiout, " pointer value = ");
8812 ui_out_field_core_addr (uiout, "pointer-value", gdbarch, bt_entry[2]);
8813 ui_out_text (uiout, ".");
8814 ui_out_text (uiout, "\n");
8818 ui_out_text (uiout, "{lbound = ");
8819 ui_out_field_core_addr (uiout, "lower-bound", gdbarch, bt_entry[0]);
8820 ui_out_text (uiout, ", ubound = ");
8822 /* The upper bound is stored in 1's complement. */
8823 ui_out_field_core_addr (uiout, "upper-bound", gdbarch, ~bt_entry[1]);
8824 ui_out_text (uiout, "}: pointer value = ");
8825 ui_out_field_core_addr (uiout, "pointer-value", gdbarch, bt_entry[2]);
8827 if (gdbarch_ptr_bit (gdbarch) == 64)
8828 size = ( (~(int64_t) bt_entry[1]) - (int64_t) bt_entry[0]);
8830 size = ( ~((int32_t) bt_entry[1]) - (int32_t) bt_entry[0]);
8832 /* In case the bounds are 0x0 and 0xffff... the difference will be -1.
8833 -1 represents in this sense full memory access, and there is no need
8836 size = (size > -1 ? size + 1 : size);
8837 ui_out_text (uiout, ", size = ");
8838 ui_out_field_fmt (uiout, "size", "%s", plongest (size));
8840 ui_out_text (uiout, ", metadata = ");
8841 ui_out_field_core_addr (uiout, "metadata", gdbarch, bt_entry[3]);
8842 ui_out_text (uiout, "\n");
8846 /* Implement the command "show mpx bound". */
8849 i386_mpx_info_bounds (char *args, int from_tty)
8851 CORE_ADDR bd_base = 0;
8853 CORE_ADDR bt_entry_addr = 0;
8854 CORE_ADDR bt_entry[4];
8856 struct gdbarch *gdbarch = get_current_arch ();
8857 struct type *data_ptr_type = builtin_type (gdbarch)->builtin_data_ptr;
8859 if (!i386_mpx_enabled ())
8861 printf_unfiltered (_("Intel Memory Protection Extensions not "
8862 "supported on this target.\n"));
8868 printf_unfiltered (_("Address of pointer variable expected.\n"));
8872 addr = parse_and_eval_address (args);
8874 bd_base = i386_mpx_bd_base ();
8875 bt_entry_addr = i386_mpx_get_bt_entry (addr, bd_base);
8877 memset (bt_entry, 0, sizeof (bt_entry));
8879 for (i = 0; i < 4; i++)
8880 bt_entry[i] = read_memory_typed_address (bt_entry_addr
8881 + i * TYPE_LENGTH (data_ptr_type),
8884 i386_mpx_print_bounds (bt_entry);
8887 /* Implement the command "set mpx bound". */
8890 i386_mpx_set_bounds (char *args, int from_tty)
8892 CORE_ADDR bd_base = 0;
8893 CORE_ADDR addr, lower, upper;
8894 CORE_ADDR bt_entry_addr = 0;
8895 CORE_ADDR bt_entry[2];
8896 const char *input = args;
8898 struct gdbarch *gdbarch = get_current_arch ();
8899 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
8900 struct type *data_ptr_type = builtin_type (gdbarch)->builtin_data_ptr;
8902 if (!i386_mpx_enabled ())
8903 error (_("Intel Memory Protection Extensions not supported\
8907 error (_("Pointer value expected."));
8909 addr = value_as_address (parse_to_comma_and_eval (&input));
8911 if (input[0] == ',')
8913 if (input[0] == '\0')
8914 error (_("wrong number of arguments: missing lower and upper bound."));
8915 lower = value_as_address (parse_to_comma_and_eval (&input));
8917 if (input[0] == ',')
8919 if (input[0] == '\0')
8920 error (_("Wrong number of arguments; Missing upper bound."));
8921 upper = value_as_address (parse_to_comma_and_eval (&input));
8923 bd_base = i386_mpx_bd_base ();
8924 bt_entry_addr = i386_mpx_get_bt_entry (addr, bd_base);
8925 for (i = 0; i < 2; i++)
8926 bt_entry[i] = read_memory_typed_address (bt_entry_addr
8927 + i * TYPE_LENGTH (data_ptr_type),
8929 bt_entry[0] = (uint64_t) lower;
8930 bt_entry[1] = ~(uint64_t) upper;
8932 for (i = 0; i < 2; i++)
8933 write_memory_unsigned_integer (bt_entry_addr
8934 + i * TYPE_LENGTH (data_ptr_type),
8935 TYPE_LENGTH (data_ptr_type), byte_order,
8939 static struct cmd_list_element *mpx_set_cmdlist, *mpx_show_cmdlist;
8941 /* Helper function for the CLI commands. */
8944 set_mpx_cmd (char *args, int from_tty)
8946 help_list (mpx_set_cmdlist, "set mpx ", all_commands, gdb_stdout);
8949 /* Helper function for the CLI commands. */
8952 show_mpx_cmd (char *args, int from_tty)
8954 cmd_show_list (mpx_show_cmdlist, from_tty, "");
8957 /* Provide a prototype to silence -Wmissing-prototypes. */
8958 void _initialize_i386_tdep (void);
8961 _initialize_i386_tdep (void)
8963 register_gdbarch_init (bfd_arch_i386, i386_gdbarch_init);
8965 /* Add the variable that controls the disassembly flavor. */
8966 add_setshow_enum_cmd ("disassembly-flavor", no_class, valid_flavors,
8967 &disassembly_flavor, _("\
8968 Set the disassembly flavor."), _("\
8969 Show the disassembly flavor."), _("\
8970 The valid values are \"att\" and \"intel\", and the default value is \"att\"."),
8972 NULL, /* FIXME: i18n: */
8973 &setlist, &showlist);
8975 /* Add the variable that controls the convention for returning
8977 add_setshow_enum_cmd ("struct-convention", no_class, valid_conventions,
8978 &struct_convention, _("\
8979 Set the convention for returning small structs."), _("\
8980 Show the convention for returning small structs."), _("\
8981 Valid values are \"default\", \"pcc\" and \"reg\", and the default value\n\
8984 NULL, /* FIXME: i18n: */
8985 &setlist, &showlist);
8987 /* Add "mpx" prefix for the set commands. */
8989 add_prefix_cmd ("mpx", class_support, set_mpx_cmd, _("\
8990 Set Intel Memory Protection Extensions specific variables."),
8991 &mpx_set_cmdlist, "set mpx ",
8992 0 /* allow-unknown */, &setlist);
8994 /* Add "mpx" prefix for the show commands. */
8996 add_prefix_cmd ("mpx", class_support, show_mpx_cmd, _("\
8997 Show Intel Memory Protection Extensions specific variables."),
8998 &mpx_show_cmdlist, "show mpx ",
8999 0 /* allow-unknown */, &showlist);
9001 /* Add "bound" command for the show mpx commands list. */
9003 add_cmd ("bound", no_class, i386_mpx_info_bounds,
9004 "Show the memory bounds for a given array/pointer storage\
9005 in the bound table.",
9008 /* Add "bound" command for the set mpx commands list. */
9010 add_cmd ("bound", no_class, i386_mpx_set_bounds,
9011 "Set the memory bounds for a given array/pointer storage\
9012 in the bound table.",
9015 gdbarch_register_osabi_sniffer (bfd_arch_i386, bfd_target_coff_flavour,
9016 i386_coff_osabi_sniffer);
9018 gdbarch_register_osabi (bfd_arch_i386, 0, GDB_OSABI_SVR4,
9019 i386_svr4_init_abi);
9020 gdbarch_register_osabi (bfd_arch_i386, 0, GDB_OSABI_GO32,
9021 i386_go32_init_abi);
9023 /* Initialize the i386-specific register groups. */
9024 i386_init_reggroups ();
9026 /* Initialize the standard target descriptions. */
9027 initialize_tdesc_i386 ();
9028 initialize_tdesc_i386_mmx ();
9029 initialize_tdesc_i386_avx ();
9030 initialize_tdesc_i386_mpx ();
9031 initialize_tdesc_i386_avx_mpx ();
9032 initialize_tdesc_i386_avx512 ();
9034 /* Tell remote stub that we support XML target description. */
9035 register_remote_support_xml ("i386");