2012-04-20 Sergio Durigan Junior <sergiodj@redhat.com>
[deliverable/binutils-gdb.git] / gdb / i386-tdep.c
index 55c4c6f561b6b5e6746ef0079d2643c7ae61631e..d18aa9945da16f3d720c97b921833f72f717e649 100644 (file)
@@ -1,8 +1,6 @@
 /* Intel 386 target-dependent stuff.
 
-   Copyright (C) 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997,
-   1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009
-   Free Software Foundation, Inc.
+   Copyright (C) 1988-2012 Free Software Foundation, Inc.
 
    This file is part of GDB.
 
 #include "target.h"
 #include "value.h"
 #include "dis-asm.h"
-
+#include "disasm.h"
+#include "remote.h"
+#include "exceptions.h"
 #include "gdb_assert.h"
 #include "gdb_string.h"
 
 #include "i386-tdep.h"
 #include "i387-tdep.h"
+#include "i386-xstate.h"
 
 #include "record.h"
 #include <stdint.h>
 
+#include "features/i386/i386.c"
+#include "features/i386/i386-avx.c"
+#include "features/i386/i386-mmx.c"
+
+#include "ax.h"
+#include "ax-gdb.h"
+
 /* Register names.  */
 
-static char *i386_register_names[] =
+static const char *i386_register_names[] =
 {
   "eax",   "ecx",    "edx",   "ebx",
   "esp",   "ebp",    "esi",   "edi",
@@ -70,41 +78,135 @@ static char *i386_register_names[] =
   "mxcsr"
 };
 
-static const int i386_num_register_names = ARRAY_SIZE (i386_register_names);
+static const char *i386_ymm_names[] =
+{
+  "ymm0",  "ymm1",   "ymm2",  "ymm3",
+  "ymm4",  "ymm5",   "ymm6",  "ymm7",
+};
+
+static const char *i386_ymmh_names[] =
+{
+  "ymm0h",  "ymm1h",   "ymm2h",  "ymm3h",
+  "ymm4h",  "ymm5h",   "ymm6h",  "ymm7h",
+};
 
 /* Register names for MMX pseudo-registers.  */
 
-static char *i386_mmx_names[] =
+static const char *i386_mmx_names[] =
 {
   "mm0", "mm1", "mm2", "mm3",
   "mm4", "mm5", "mm6", "mm7"
 };
 
-static const int i386_num_mmx_regs = ARRAY_SIZE (i386_mmx_names);
+/* Register names for byte pseudo-registers.  */
+
+static const char *i386_byte_names[] =
+{
+  "al", "cl", "dl", "bl", 
+  "ah", "ch", "dh", "bh"
+};
+
+/* Register names for word pseudo-registers.  */
+
+static const char *i386_word_names[] =
+{
+  "ax", "cx", "dx", "bx",
+  "", "bp", "si", "di"
+};
+
+/* MMX register?  */
 
 static int
 i386_mmx_regnum_p (struct gdbarch *gdbarch, int regnum)
 {
-  int mm0_regnum = gdbarch_tdep (gdbarch)->mm0_regnum;
+  struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
+  int mm0_regnum = tdep->mm0_regnum;
 
   if (mm0_regnum < 0)
     return 0;
 
-  return (regnum >= mm0_regnum && regnum < mm0_regnum + i386_num_mmx_regs);
+  regnum -= mm0_regnum;
+  return regnum >= 0 && regnum < tdep->num_mmx_regs;
 }
 
-/* SSE register?  */
+/* Byte register?  */
+
+int
+i386_byte_regnum_p (struct gdbarch *gdbarch, int regnum)
+{
+  struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
+
+  regnum -= tdep->al_regnum;
+  return regnum >= 0 && regnum < tdep->num_byte_regs;
+}
+
+/* Word register?  */
+
+int
+i386_word_regnum_p (struct gdbarch *gdbarch, int regnum)
+{
+  struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
+
+  regnum -= tdep->ax_regnum;
+  return regnum >= 0 && regnum < tdep->num_word_regs;
+}
+
+/* Dword register?  */
+
+int
+i386_dword_regnum_p (struct gdbarch *gdbarch, int regnum)
+{
+  struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
+  int eax_regnum = tdep->eax_regnum;
+
+  if (eax_regnum < 0)
+    return 0;
+
+  regnum -= eax_regnum;
+  return regnum >= 0 && regnum < tdep->num_dword_regs;
+}
 
 static int
-i386_sse_regnum_p (struct gdbarch *gdbarch, int regnum)
+i386_ymmh_regnum_p (struct gdbarch *gdbarch, int regnum)
 {
   struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
+  int ymm0h_regnum = tdep->ymm0h_regnum;
 
-  if (I387_NUM_XMM_REGS (tdep) == 0)
+  if (ymm0h_regnum < 0)
+    return 0;
+
+  regnum -= ymm0h_regnum;
+  return regnum >= 0 && regnum < tdep->num_ymm_regs;
+}
+
+/* AVX register?  */
+
+int
+i386_ymm_regnum_p (struct gdbarch *gdbarch, int regnum)
+{
+  struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
+  int ymm0_regnum = tdep->ymm0_regnum;
+
+  if (ymm0_regnum < 0)
+    return 0;
+
+  regnum -= ymm0_regnum;
+  return regnum >= 0 && regnum < tdep->num_ymm_regs;
+}
+
+/* SSE register?  */
+
+int
+i386_xmm_regnum_p (struct gdbarch *gdbarch, int regnum)
+{
+  struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
+  int num_xmm_regs = I387_NUM_XMM_REGS (tdep);
+
+  if (num_xmm_regs == 0)
     return 0;
 
-  return (I387_XMM0_REGNUM (tdep) <= regnum
-         && regnum < I387_MXCSR_REGNUM (tdep));
+  regnum -= I387_XMM0_REGNUM (tdep);
+  return regnum >= 0 && regnum < num_xmm_regs;
 }
 
 static int
@@ -144,18 +246,35 @@ i386_fpc_regnum_p (struct gdbarch *gdbarch, int regnum)
          && regnum < I387_XMM0_REGNUM (tdep));
 }
 
-/* Return the name of register REGNUM.  */
+/* Return the name of register REGNUM, or the empty string if it is
+   an anonymous register.  */
 
-const char *
+static const char *
 i386_register_name (struct gdbarch *gdbarch, int regnum)
 {
-  if (i386_mmx_regnum_p (gdbarch, regnum))
-    return i386_mmx_names[regnum - I387_MM0_REGNUM (gdbarch_tdep (gdbarch))];
+  /* Hide the upper YMM registers.  */
+  if (i386_ymmh_regnum_p (gdbarch, regnum))
+    return "";
+
+  return tdesc_register_name (gdbarch, regnum);
+}
 
-  if (regnum >= 0 && regnum < i386_num_register_names)
-    return i386_register_names[regnum];
+/* Return the name of register REGNUM.  */
 
-  return NULL;
+const char *
+i386_pseudo_register_name (struct gdbarch *gdbarch, int regnum)
+{
+  struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
+  if (i386_mmx_regnum_p (gdbarch, regnum))
+    return i386_mmx_names[regnum - I387_MM0_REGNUM (tdep)];
+  else if (i386_ymm_regnum_p (gdbarch, regnum))
+    return i386_ymm_names[regnum - tdep->ymm0_regnum];
+  else if (i386_byte_regnum_p (gdbarch, regnum))
+    return i386_byte_names[regnum - tdep->al_regnum];
+  else if (i386_word_regnum_p (gdbarch, regnum))
+    return i386_word_names[regnum - tdep->ax_regnum];
+
+  internal_error (__FILE__, __LINE__, _("invalid regnum"));
 }
 
 /* Convert a dbx register number REG to the appropriate register
@@ -187,7 +306,13 @@ i386_dbx_reg_to_regnum (struct gdbarch *gdbarch, int reg)
   else if (reg >= 21 && reg <= 28)
     {
       /* SSE registers.  */
-      return reg - 21 + I387_XMM0_REGNUM (tdep);
+      int ymm0_regnum = tdep->ymm0_regnum;
+
+      if (ymm0_regnum >= 0
+         && i386_xmm_regnum_p (gdbarch, reg))
+       return reg - 21 + ymm0_regnum;
+      else
+       return reg - 21 + I387_XMM0_REGNUM (tdep);
     }
   else if (reg >= 29 && reg <= 36)
     {
@@ -251,7 +376,7 @@ i386_svr4_reg_to_regnum (struct gdbarch *gdbarch, int reg)
    its legitimate values.  */
 static const char att_flavor[] = "att";
 static const char intel_flavor[] = "intel";
-static const char *valid_flavors[] =
+static const char *const valid_flavors[] =
 {
   att_flavor,
   intel_flavor,
@@ -321,17 +446,17 @@ i386_skip_prefixes (gdb_byte *insn, size_t max_len)
 static int
 i386_absolute_jmp_p (const gdb_byte *insn)
 {
-  /* jmp far (absolute address in operand) */
+  /* jmp far (absolute address in operand) */
   if (insn[0] == 0xea)
     return 1;
 
   if (insn[0] == 0xff)
     {
-      /* jump near, absolute indirect (/4) */
+      /* jump near, absolute indirect (/4) */
       if ((insn[1] & 0x38) == 0x20)
         return 1;
 
-      /* jump far, absolute indirect (/5) */
+      /* jump far, absolute indirect (/5) */
       if ((insn[1] & 0x38) == 0x28)
         return 1;
     }
@@ -342,17 +467,17 @@ i386_absolute_jmp_p (const gdb_byte *insn)
 static int
 i386_absolute_call_p (const gdb_byte *insn)
 {
-  /* call far, absolute */
+  /* call far, absolute */
   if (insn[0] == 0x9a)
     return 1;
 
   if (insn[0] == 0xff)
     {
-      /* Call near, absolute indirect (/2) */
+      /* Call near, absolute indirect (/2) */
       if ((insn[1] & 0x38) == 0x10)
         return 1;
 
-      /* Call far, absolute indirect (/3) */
+      /* Call far, absolute indirect (/3) */
       if ((insn[1] & 0x38) == 0x18)
         return 1;
     }
@@ -365,9 +490,9 @@ i386_ret_p (const gdb_byte *insn)
 {
   switch (insn[0])
     {
-    case 0xc2: /* ret near, pop N bytes */
+    case 0xc2: /* ret near, pop N bytes */
     case 0xc3: /* ret near */
-    case 0xca: /* ret far, pop N bytes */
+    case 0xca: /* ret far, pop N bytes */
     case 0xcb: /* ret far */
     case 0xcf: /* iret */
       return 1;
@@ -383,7 +508,7 @@ i386_call_p (const gdb_byte *insn)
   if (i386_absolute_call_p (insn))
     return 1;
 
-  /* call near, relative */
+  /* call near, relative */
   if (insn[0] == 0xe8)
     return 1;
 
@@ -394,9 +519,14 @@ i386_call_p (const gdb_byte *insn)
    length in bytes.  Otherwise, return zero.  */
 
 static int
-i386_syscall_p (const gdb_byte *insn, ULONGEST *lengthp)
+i386_syscall_p (const gdb_byte *insn, int *lengthp)
 {
-  if (insn[0] == 0xcd)
+  /* Is it 'int $0x80'?  */
+  if ((insn[0] == 0xcd && insn[1] == 0x80)
+      /* Or is it 'sysenter'?  */
+      || (insn[0] == 0x0f && insn[1] == 0x34)
+      /* Or is it 'syscall'?  */
+      || (insn[0] == 0x0f && insn[1] == 0x05))
     {
       *lengthp = 2;
       return 1;
@@ -405,6 +535,43 @@ i386_syscall_p (const gdb_byte *insn, ULONGEST *lengthp)
   return 0;
 }
 
+/* Some kernels may run one past a syscall insn, so we have to cope.
+   Otherwise this is just simple_displaced_step_copy_insn.  */
+
+struct displaced_step_closure *
+i386_displaced_step_copy_insn (struct gdbarch *gdbarch,
+                              CORE_ADDR from, CORE_ADDR to,
+                              struct regcache *regs)
+{
+  size_t len = gdbarch_max_insn_length (gdbarch);
+  gdb_byte *buf = xmalloc (len);
+
+  read_memory (from, buf, len);
+
+  /* GDB may get control back after the insn after the syscall.
+     Presumably this is a kernel bug.
+     If this is a syscall, make sure there's a nop afterwards.  */
+  {
+    int syscall_length;
+    gdb_byte *insn;
+
+    insn = i386_skip_prefixes (buf, len);
+    if (insn != NULL && i386_syscall_p (insn, &syscall_length))
+      insn[syscall_length] = NOP_OPCODE;
+  }
+
+  write_memory (to, buf, len);
+
+  if (debug_displaced)
+    {
+      fprintf_unfiltered (gdb_stdlog, "displaced: copy %s->%s: ",
+                          paddress (gdbarch, from), paddress (gdbarch, to));
+      displaced_step_dump_bytes (gdb_stdlog, buf, len);
+    }
+
+  return (struct displaced_step_closure *) buf;
+}
+
 /* Fix up the state of registers and memory after having single-stepped
    a displaced instruction.  */
 
@@ -414,6 +581,8 @@ i386_displaced_step_fixup (struct gdbarch *gdbarch,
                            CORE_ADDR from, CORE_ADDR to,
                            struct regcache *regs)
 {
+  enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
+
   /* The offset we applied to the instruction's address.
      This could well be negative (when viewed as a signed 32-bit
      value), but ULONGEST won't reflect that, so take care when
@@ -428,9 +597,10 @@ i386_displaced_step_fixup (struct gdbarch *gdbarch,
 
   if (debug_displaced)
     fprintf_unfiltered (gdb_stdlog,
-                        "displaced: fixup (0x%s, 0x%s), "
+                        "displaced: fixup (%s, %s), "
                         "insn = 0x%02x 0x%02x ...\n",
-                        paddr_nz (from), paddr_nz (to), insn[0], insn[1]);
+                        paddress (gdbarch, from), paddress (gdbarch, to),
+                       insn[0], insn[1]);
 
   /* The list of issues to contend with here is taken from
      resume_execution in arch/i386/kernel/kprobes.c, Linux 2.6.20.
@@ -460,7 +630,7 @@ i386_displaced_step_fixup (struct gdbarch *gdbarch,
       && ! i386_ret_p (insn))
     {
       ULONGEST orig_eip;
-      ULONGEST insn_len;
+      int insn_len;
 
       regcache_cooked_read_unsigned (regs, I386_EIP_REGNUM, &orig_eip);
 
@@ -479,7 +649,12 @@ i386_displaced_step_fixup (struct gdbarch *gdbarch,
          it unrelocated.  Goodness help us if there are PC-relative
          system calls.  */
       if (i386_syscall_p (insn, &insn_len)
-          && orig_eip != to + (insn - insn_start) + insn_len)
+          && orig_eip != to + (insn - insn_start) + insn_len
+         /* GDB can get control back after the insn after the syscall.
+            Presumably this is a kernel bug.
+            i386_displaced_step_copy_insn ensures its a nop,
+            we add one to the length for it.  */
+          && orig_eip != to + (insn - insn_start) + insn_len + 1)
         {
           if (debug_displaced)
             fprintf_unfiltered (gdb_stdlog,
@@ -499,8 +674,9 @@ i386_displaced_step_fixup (struct gdbarch *gdbarch,
           if (debug_displaced)
             fprintf_unfiltered (gdb_stdlog,
                                 "displaced: "
-                                "relocated %%eip from 0x%s to 0x%s\n",
-                                paddr_nz (orig_eip), paddr_nz (eip));
+                                "relocated %%eip from %s to %s\n",
+                                paddress (gdbarch, orig_eip),
+                               paddress (gdbarch, eip));
         }
     }
 
@@ -519,18 +695,104 @@ i386_displaced_step_fixup (struct gdbarch *gdbarch,
       const ULONGEST retaddr_len = 4;
 
       regcache_cooked_read_unsigned (regs, I386_ESP_REGNUM, &esp);
-      retaddr = read_memory_unsigned_integer (esp, retaddr_len);
+      retaddr = read_memory_unsigned_integer (esp, retaddr_len, byte_order);
       retaddr = (retaddr - insn_offset) & 0xffffffffUL;
-      write_memory_unsigned_integer (esp, retaddr_len, retaddr);
+      write_memory_unsigned_integer (esp, retaddr_len, byte_order, retaddr);
 
       if (debug_displaced)
         fprintf_unfiltered (gdb_stdlog,
-                            "displaced: relocated return addr at 0x%s "
-                            "to 0x%s\n",
-                            paddr_nz (esp),
-                            paddr_nz (retaddr));
+                            "displaced: relocated return addr at %s to %s\n",
+                            paddress (gdbarch, esp),
+                            paddress (gdbarch, retaddr));
+    }
+}
+
+static void
+append_insns (CORE_ADDR *to, ULONGEST len, const gdb_byte *buf)
+{
+  target_write_memory (*to, buf, len);
+  *to += len;
+}
+
+static void
+i386_relocate_instruction (struct gdbarch *gdbarch,
+                          CORE_ADDR *to, CORE_ADDR oldloc)
+{
+  enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
+  gdb_byte buf[I386_MAX_INSN_LEN];
+  int offset = 0, rel32, newrel;
+  int insn_length;
+  gdb_byte *insn = buf;
+
+  read_memory (oldloc, buf, I386_MAX_INSN_LEN);
+
+  insn_length = gdb_buffered_insn_length (gdbarch, insn,
+                                         I386_MAX_INSN_LEN, oldloc);
+
+  /* Get past the prefixes.  */
+  insn = i386_skip_prefixes (insn, I386_MAX_INSN_LEN);
+
+  /* Adjust calls with 32-bit relative addresses as push/jump, with
+     the address pushed being the location where the original call in
+     the user program would return to.  */
+  if (insn[0] == 0xe8)
+    {
+      gdb_byte push_buf[16];
+      unsigned int ret_addr;
+
+      /* Where "ret" in the original code will return to.  */
+      ret_addr = oldloc + insn_length;
+      push_buf[0] = 0x68; /* pushq $...  */
+      memcpy (&push_buf[1], &ret_addr, 4);
+      /* Push the push.  */
+      append_insns (to, 5, push_buf);
+
+      /* Convert the relative call to a relative jump.  */
+      insn[0] = 0xe9;
+
+      /* Adjust the destination offset.  */
+      rel32 = extract_signed_integer (insn + 1, 4, byte_order);
+      newrel = (oldloc - *to) + rel32;
+      store_signed_integer (insn + 1, 4, byte_order, newrel);
+
+      if (debug_displaced)
+       fprintf_unfiltered (gdb_stdlog,
+                           "Adjusted insn rel32=%s at %s to"
+                           " rel32=%s at %s\n",
+                           hex_string (rel32), paddress (gdbarch, oldloc),
+                           hex_string (newrel), paddress (gdbarch, *to));
+
+      /* Write the adjusted jump into its displaced location.  */
+      append_insns (to, 5, insn);
+      return;
+    }
+
+  /* Adjust jumps with 32-bit relative addresses.  Calls are already
+     handled above.  */
+  if (insn[0] == 0xe9)
+    offset = 1;
+  /* Adjust conditional jumps.  */
+  else if (insn[0] == 0x0f && (insn[1] & 0xf0) == 0x80)
+    offset = 2;
+
+  if (offset)
+    {
+      rel32 = extract_signed_integer (insn + offset, 4, byte_order);
+      newrel = (oldloc - *to) + rel32;
+      store_signed_integer (insn + offset, 4, byte_order, newrel);
+      if (debug_displaced)
+       fprintf_unfiltered (gdb_stdlog,
+                           "Adjusted insn rel32=%s at %s to"
+                           " rel32=%s at %s\n",
+                           hex_string (rel32), paddress (gdbarch, oldloc),
+                           hex_string (newrel), paddress (gdbarch, *to));
     }
+
+  /* Write the adjusted instructions into their displaced
+     location.  */
+  append_insns (to, insn_length, buf);
 }
+
 \f
 #ifdef I386_REGNO_TO_SYMMETRY
 #error "The Sequent Symmetry is no longer supported."
@@ -548,6 +810,7 @@ struct i386_frame_cache
 {
   /* Base address.  */
   CORE_ADDR base;
+  int base_p;
   LONGEST sp_offset;
   CORE_ADDR pc;
 
@@ -572,6 +835,7 @@ i386_alloc_frame_cache (void)
   cache = FRAME_OBSTACK_ZALLOC (struct i386_frame_cache);
 
   /* Base address.  */
+  cache->base_p = 0;
   cache->base = 0;
   cache->sp_offset = -4;
   cache->pc = 0;
@@ -594,17 +858,20 @@ i386_alloc_frame_cache (void)
    target.  Otherwise, return PC.  */
 
 static CORE_ADDR
-i386_follow_jump (CORE_ADDR pc)
+i386_follow_jump (struct gdbarch *gdbarch, CORE_ADDR pc)
 {
+  enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
   gdb_byte op;
   long delta = 0;
   int data16 = 0;
 
-  target_read_memory (pc, &op, 1);
+  if (target_read_memory (pc, &op, 1))
+    return pc;
+
   if (op == 0x66)
     {
       data16 = 1;
-      op = read_memory_unsigned_integer (pc + 1, 1);
+      op = read_memory_unsigned_integer (pc + 1, 1, byte_order);
     }
 
   switch (op)
@@ -613,7 +880,7 @@ i386_follow_jump (CORE_ADDR pc)
       /* Relative jump: if data16 == 0, disp32, else disp16.  */
       if (data16)
        {
-         delta = read_memory_integer (pc + 2, 2);
+         delta = read_memory_integer (pc + 2, 2, byte_order);
 
          /* Include the size of the jmp instruction (including the
              0x66 prefix).  */
@@ -621,7 +888,7 @@ i386_follow_jump (CORE_ADDR pc)
        }
       else
        {
-         delta = read_memory_integer (pc + 1, 4);
+         delta = read_memory_integer (pc + 1, 4, byte_order);
 
          /* Include the size of the jmp instruction.  */
          delta += 5;
@@ -629,7 +896,7 @@ i386_follow_jump (CORE_ADDR pc)
       break;
     case 0xeb:
       /* Relative jump, disp8 (ignore data16).  */
-      delta = read_memory_integer (pc + data16 + 1, 1);
+      delta = read_memory_integer (pc + data16 + 1, 1, byte_order);
 
       delta += data16 + 2;
       break;
@@ -666,12 +933,15 @@ i386_analyze_struct_return (CORE_ADDR pc, CORE_ADDR current_pc,
   if (current_pc <= pc)
     return pc;
 
-  target_read_memory (pc, &op, 1);
+  if (target_read_memory (pc, &op, 1))
+    return pc;
 
   if (op != 0x58)              /* popl %eax */
     return pc;
 
-  target_read_memory (pc + 1, buf, 4);
+  if (target_read_memory (pc + 1, buf, 4))
+    return pc;
+
   if (memcmp (buf, proto1, 3) != 0 && memcmp (buf, proto2, 4) != 0)
     return pc;
 
@@ -710,7 +980,8 @@ i386_skip_probe (CORE_ADDR pc)
   gdb_byte buf[8];
   gdb_byte op;
 
-  target_read_memory (pc, &op, 1);
+  if (target_read_memory (pc, &op, 1))
+    return pc;
 
   if (op == 0x68 || op == 0x6a)
     {
@@ -861,42 +1132,91 @@ struct i386_insn
   gdb_byte mask[I386_MAX_MATCHED_INSN_LEN];
 };
 
-/* Search for the instruction at PC in the list SKIP_INSNS.  Return
+/* Return whether instruction at PC matches PATTERN.  */
+
+static int
+i386_match_pattern (CORE_ADDR pc, struct i386_insn pattern)
+{
+  gdb_byte op;
+
+  if (target_read_memory (pc, &op, 1))
+    return 0;
+
+  if ((op & pattern.mask[0]) == pattern.insn[0])
+    {
+      gdb_byte buf[I386_MAX_MATCHED_INSN_LEN - 1];
+      int insn_matched = 1;
+      size_t i;
+
+      gdb_assert (pattern.len > 1);
+      gdb_assert (pattern.len <= I386_MAX_MATCHED_INSN_LEN);
+
+      if (target_read_memory (pc + 1, buf, pattern.len - 1))
+       return 0;
+
+      for (i = 1; i < pattern.len; i++)
+       {
+         if ((buf[i - 1] & pattern.mask[i]) != pattern.insn[i])
+           insn_matched = 0;
+       }
+      return insn_matched;
+    }
+  return 0;
+}
+
+/* Search for the instruction at PC in the list INSN_PATTERNS.  Return
    the first instruction description that matches.  Otherwise, return
    NULL.  */
 
 static struct i386_insn *
-i386_match_insn (CORE_ADDR pc, struct i386_insn *skip_insns)
+i386_match_insn (CORE_ADDR pc, struct i386_insn *insn_patterns)
 {
-  struct i386_insn *insn;
+  struct i386_insn *pattern;
+
+  for (pattern = insn_patterns; pattern->len > 0; pattern++)
+    {
+      if (i386_match_pattern (pc, *pattern))
+       return pattern;
+    }
+
+  return NULL;
+}
+
+/* Return whether PC points inside a sequence of instructions that
+   matches INSN_PATTERNS.  */
+
+static int
+i386_match_insn_block (CORE_ADDR pc, struct i386_insn *insn_patterns)
+{
+  CORE_ADDR current_pc;
+  int ix, i;
   gdb_byte op;
+  struct i386_insn *insn;
 
-  target_read_memory (pc, &op, 1);
+  insn = i386_match_insn (pc, insn_patterns);
+  if (insn == NULL)
+    return 0;
 
-  for (insn = skip_insns; insn->len > 0; insn++)
+  current_pc = pc;
+  ix = insn - insn_patterns;
+  for (i = ix - 1; i >= 0; i--)
     {
-      if ((op & insn->mask[0]) == insn->insn[0])
-       {
-         gdb_byte buf[I386_MAX_MATCHED_INSN_LEN - 1];
-         int insn_matched = 1;
-         size_t i;
+      current_pc -= insn_patterns[i].len;
 
-         gdb_assert (insn->len > 1);
-         gdb_assert (insn->len <= I386_MAX_MATCHED_INSN_LEN);
+      if (!i386_match_pattern (current_pc, insn_patterns[i]))
+       return 0;
+    }
 
-         target_read_memory (pc + 1, buf, insn->len - 1);
-         for (i = 1; i < insn->len; i++)
-           {
-             if ((buf[i - 1] & insn->mask[i]) != insn->insn[i])
-               insn_matched = 0;
-           }
+  current_pc = pc + insn->len;
+  for (insn = insn_patterns + ix + 1; insn->len > 0; insn++)
+    {
+      if (!i386_match_pattern (current_pc, *insn))
+       return 0;
 
-         if (insn_matched)
-           return insn;
-       }
+      current_pc += insn->len;
     }
 
-  return NULL;
+  return 1;
 }
 
 /* Some special instructions that might be migrated by GCC into the
@@ -907,7 +1227,7 @@ i386_match_insn (CORE_ADDR pc, struct i386_insn *skip_insns)
 
 struct i386_insn i386_frame_setup_skip_insns[] =
 {
-  /* Check for `movb imm8, r' and `movl imm32, r'. 
+  /* Check for `movb imm8, r' and `movl imm32, r'.
     
      ??? Should we handle 16-bit operand-sizes here?  */
 
@@ -962,7 +1282,8 @@ i386_skip_noop (CORE_ADDR pc)
   gdb_byte op;
   int check = 1;
 
-  target_read_memory (pc, &op, 1);
+  if (target_read_memory (pc, &op, 1))
+    return pc;
 
   while (check) 
     {
@@ -971,7 +1292,8 @@ i386_skip_noop (CORE_ADDR pc)
       if (op == 0x90) 
        {
          pc += 1;
-         target_read_memory (pc, &op, 1);
+         if (target_read_memory (pc, &op, 1))
+           return pc;
          check = 1;
        }
       /* Ignore no-op instruction `mov %edi, %edi'.
@@ -987,11 +1309,15 @@ i386_skip_noop (CORE_ADDR pc)
 
       else if (op == 0x8b)
        {
-         target_read_memory (pc + 1, &op, 1);
+         if (target_read_memory (pc + 1, &op, 1))
+           return pc;
+
          if (op == 0xff)
            {
              pc += 2;
-             target_read_memory (pc, &op, 1);
+             if (target_read_memory (pc, &op, 1))
+               return pc;
+
              check = 1;
            }
        }
@@ -1005,9 +1331,11 @@ i386_skip_noop (CORE_ADDR pc)
    whichever is smaller.  If we don't recognize the code, return PC.  */
 
 static CORE_ADDR
-i386_analyze_frame_setup (CORE_ADDR pc, CORE_ADDR limit,
+i386_analyze_frame_setup (struct gdbarch *gdbarch,
+                         CORE_ADDR pc, CORE_ADDR limit,
                          struct i386_frame_cache *cache)
 {
+  enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
   struct i386_insn *insn;
   gdb_byte op;
   int skip = 0;
@@ -1015,7 +1343,8 @@ i386_analyze_frame_setup (CORE_ADDR pc, CORE_ADDR limit,
   if (limit <= pc)
     return limit;
 
-  target_read_memory (pc, &op, 1);
+  if (target_read_memory (pc, &op, 1))
+    return pc;
 
   if (op == 0x55)              /* pushl %ebp */
     {
@@ -1050,17 +1379,20 @@ i386_analyze_frame_setup (CORE_ADDR pc, CORE_ADDR limit,
       if (limit <= pc + skip)
        return limit;
 
-      target_read_memory (pc + skip, &op, 1);
+      if (target_read_memory (pc + skip, &op, 1))
+       return pc + skip;
 
       /* Check for `movl %esp, %ebp' -- can be written in two ways.  */
       switch (op)
        {
        case 0x8b:
-         if (read_memory_unsigned_integer (pc + skip + 1, 1) != 0xec)
+         if (read_memory_unsigned_integer (pc + skip + 1, 1, byte_order)
+             != 0xec)
            return pc;
          break;
        case 0x89:
-         if (read_memory_unsigned_integer (pc + skip + 1, 1) != 0xe5)
+         if (read_memory_unsigned_integer (pc + skip + 1, 1, byte_order)
+             != 0xe5)
            return pc;
          break;
        default:
@@ -1084,28 +1416,29 @@ i386_analyze_frame_setup (CORE_ADDR pc, CORE_ADDR limit,
 
         NOTE: You can't subtract a 16-bit immediate from a 32-bit
         reg, so we don't have to worry about a data16 prefix.  */
-      target_read_memory (pc, &op, 1);
+      if (target_read_memory (pc, &op, 1))
+       return pc;
       if (op == 0x83)
        {
          /* `subl' with 8-bit immediate.  */
-         if (read_memory_unsigned_integer (pc + 1, 1) != 0xec)
+         if (read_memory_unsigned_integer (pc + 1, 1, byte_order) != 0xec)
            /* Some instruction starting with 0x83 other than `subl'.  */
            return pc;
 
          /* `subl' with signed 8-bit immediate (though it wouldn't
             make sense to be negative).  */
-         cache->locals = read_memory_integer (pc + 2, 1);
+         cache->locals = read_memory_integer (pc + 2, 1, byte_order);
          return pc + 3;
        }
       else if (op == 0x81)
        {
          /* Maybe it is `subl' with a 32-bit immediate.  */
-         if (read_memory_unsigned_integer (pc + 1, 1) != 0xec)
+         if (read_memory_unsigned_integer (pc + 1, 1, byte_order) != 0xec)
            /* Some instruction starting with 0x81 other than `subl'.  */
            return pc;
 
          /* It is `subl' with a 32-bit immediate.  */
-         cache->locals = read_memory_integer (pc + 2, 4);
+         cache->locals = read_memory_integer (pc + 2, 4, byte_order);
          return pc + 6;
        }
       else
@@ -1116,7 +1449,7 @@ i386_analyze_frame_setup (CORE_ADDR pc, CORE_ADDR limit,
     }
   else if (op == 0xc8)         /* enter */
     {
-      cache->locals = read_memory_unsigned_integer (pc + 1, 2);
+      cache->locals = read_memory_unsigned_integer (pc + 1, 2, byte_order);
       return pc + 4;
     }
 
@@ -1140,7 +1473,8 @@ i386_analyze_register_saves (CORE_ADDR pc, CORE_ADDR current_pc,
     offset -= cache->locals;
   for (i = 0; i < 8 && pc < current_pc; i++)
     {
-      target_read_memory (pc, &op, 1);
+      if (target_read_memory (pc, &op, 1))
+       return pc;
       if (op < 0x50 || op > 0x57)
        break;
 
@@ -1181,15 +1515,16 @@ i386_analyze_register_saves (CORE_ADDR pc, CORE_ADDR current_pc,
    instruction will be a branch back to the start.  */
 
 static CORE_ADDR
-i386_analyze_prologue (CORE_ADDR pc, CORE_ADDR current_pc,
+i386_analyze_prologue (struct gdbarch *gdbarch,
+                      CORE_ADDR pc, CORE_ADDR current_pc,
                       struct i386_frame_cache *cache)
 {
   pc = i386_skip_noop (pc);
-  pc = i386_follow_jump (pc);
+  pc = i386_follow_jump (gdbarch, pc);
   pc = i386_analyze_struct_return (pc, current_pc, cache);
   pc = i386_skip_probe (pc);
   pc = i386_analyze_stack_align (pc, current_pc, cache);
-  pc = i386_analyze_frame_setup (pc, current_pc, cache);
+  pc = i386_analyze_frame_setup (gdbarch, pc, current_pc, cache);
   return i386_analyze_register_saves (pc, current_pc, cache);
 }
 
@@ -1198,6 +1533,8 @@ i386_analyze_prologue (CORE_ADDR pc, CORE_ADDR current_pc,
 static CORE_ADDR
 i386_skip_prologue (struct gdbarch *gdbarch, CORE_ADDR start_pc)
 {
+  enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
+
   static gdb_byte pic_pat[6] =
   {
     0xe8, 0, 0, 0, 0,          /* call 0x0 */
@@ -1209,7 +1546,7 @@ i386_skip_prologue (struct gdbarch *gdbarch, CORE_ADDR start_pc)
   int i;
 
   cache.locals = -1;
-  pc = i386_analyze_prologue (start_pc, 0xffffffff, &cache);
+  pc = i386_analyze_prologue (gdbarch, start_pc, 0xffffffff, &cache);
   if (cache.locals < 0)
     return start_pc;
 
@@ -1230,7 +1567,9 @@ i386_skip_prologue (struct gdbarch *gdbarch, CORE_ADDR start_pc)
 
   for (i = 0; i < 6; i++)
     {
-      target_read_memory (pc + i, &op, 1);
+      if (target_read_memory (pc + i, &op, 1))
+       return pc;
+
       if (pic_pat[i] != op)
        break;
     }
@@ -1238,11 +1577,12 @@ i386_skip_prologue (struct gdbarch *gdbarch, CORE_ADDR start_pc)
     {
       int delta = 6;
 
-      target_read_memory (pc + delta, &op, 1);
+      if (target_read_memory (pc + delta, &op, 1))
+       return pc;
 
       if (op == 0x89)          /* movl %ebx, x(%ebp) */
        {
-         op = read_memory_unsigned_integer (pc + delta + 1, 1);
+         op = read_memory_unsigned_integer (pc + delta + 1, 1, byte_order);
 
          if (op == 0x5d)       /* One byte offset from %ebp.  */
            delta += 3;
@@ -1251,12 +1591,14 @@ i386_skip_prologue (struct gdbarch *gdbarch, CORE_ADDR start_pc)
          else                  /* Unexpected instruction.  */
            delta = 0;
 
-          target_read_memory (pc + delta, &op, 1);
+          if (target_read_memory (pc + delta, &op, 1))
+           return pc;
        }
 
       /* addl y,%ebx */
       if (delta > 0 && op == 0x81
-         && read_memory_unsigned_integer (pc + delta + 1, 1) == 0xc3)
+         && read_memory_unsigned_integer (pc + delta + 1, 1, byte_order)
+            == 0xc3)
        {
          pc += delta + 6;
        }
@@ -1265,8 +1607,8 @@ i386_skip_prologue (struct gdbarch *gdbarch, CORE_ADDR start_pc)
   /* If the function starts with a branch (to startup code at the end)
      the last instruction should bring us back to the first
      instruction of the real code.  */
-  if (i386_follow_jump (start_pc) != start_pc)
-    pc = i386_follow_jump (pc);
+  if (i386_follow_jump (gdbarch, start_pc) != start_pc)
+    pc = i386_follow_jump (gdbarch, pc);
 
   return pc;
 }
@@ -1277,9 +1619,11 @@ i386_skip_prologue (struct gdbarch *gdbarch, CORE_ADDR start_pc)
 CORE_ADDR
 i386_skip_main_prologue (struct gdbarch *gdbarch, CORE_ADDR pc)
 {
+  enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
   gdb_byte op;
 
-  target_read_memory (pc, &op, 1);
+  if (target_read_memory (pc, &op, 1))
+    return pc;
   if (op == 0xe8)
     {
       gdb_byte buf[4];
@@ -1289,8 +1633,9 @@ i386_skip_main_prologue (struct gdbarch *gdbarch, CORE_ADDR pc)
          /* Make sure address is computed correctly as a 32bit
             integer even if CORE_ADDR is 64 bit wide.  */
          struct minimal_symbol *s;
-         CORE_ADDR call_dest = pc + 5 + extract_signed_integer (buf, 4);
+         CORE_ADDR call_dest;
 
+         call_dest = pc + 5 + extract_signed_integer (buf, 4, byte_order);
          call_dest = call_dest & 0xffffffffU;
          s = lookup_minimal_symbol_by_pc (call_dest);
          if (s != NULL
@@ -1317,18 +1662,16 @@ i386_unwind_pc (struct gdbarch *gdbarch, struct frame_info *next_frame)
 
 /* Normal frames.  */
 
-static struct i386_frame_cache *
-i386_frame_cache (struct frame_info *this_frame, void **this_cache)
+static void
+i386_frame_cache_1 (struct frame_info *this_frame,
+                   struct i386_frame_cache *cache)
 {
-  struct i386_frame_cache *cache;
+  struct gdbarch *gdbarch = get_frame_arch (this_frame);
+  enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
   gdb_byte buf[4];
   int i;
 
-  if (*this_cache)
-    return *this_cache;
-
-  cache = i386_alloc_frame_cache ();
-  *this_cache = cache;
+  cache->pc = get_frame_func (this_frame);
 
   /* In principle, for normal frames, %ebp holds the frame pointer,
      which holds the base address for the current stack frame.
@@ -1340,23 +1683,19 @@ i386_frame_cache (struct frame_info *this_frame, void **this_cache)
      in progress when the signal occurred.  */
 
   get_frame_register (this_frame, I386_EBP_REGNUM, buf);
-  cache->base = extract_unsigned_integer (buf, 4);
+  cache->base = extract_unsigned_integer (buf, 4, byte_order);
   if (cache->base == 0)
-    return cache;
+    {
+      cache->base_p = 1;
+      return;
+    }
 
   /* For normal frames, %eip is stored at 4(%ebp).  */
   cache->saved_regs[I386_EIP_REGNUM] = 4;
 
-  cache->pc = get_frame_func (this_frame);
   if (cache->pc != 0)
-    i386_analyze_prologue (cache->pc, get_frame_pc (this_frame), cache);
-
-  if (cache->saved_sp_reg != -1)
-    {
-      /* Saved stack pointer has been saved.  */
-      get_frame_register (this_frame, cache->saved_sp_reg, buf);
-      cache->saved_sp = extract_unsigned_integer(buf, 4);
-    }
+    i386_analyze_prologue (gdbarch, cache->pc, get_frame_pc (this_frame),
+                          cache);
 
   if (cache->locals < 0)
     {
@@ -1370,6 +1709,10 @@ i386_frame_cache (struct frame_info *this_frame, void **this_cache)
 
       if (cache->saved_sp_reg != -1)
        {
+         /* Saved stack pointer has been saved.  */
+         get_frame_register (this_frame, cache->saved_sp_reg, buf);
+         cache->saved_sp = extract_unsigned_integer (buf, 4, byte_order);
+
          /* We're halfway aligning the stack.  */
          cache->base = ((cache->saved_sp - 4) & 0xfffffff0) - 4;
          cache->saved_regs[I386_EIP_REGNUM] = cache->saved_sp - 4;
@@ -1377,16 +1720,37 @@ i386_frame_cache (struct frame_info *this_frame, void **this_cache)
          /* This will be added back below.  */
          cache->saved_regs[I386_EIP_REGNUM] -= cache->base;
        }
-      else
+      else if (cache->pc != 0
+              || target_read_memory (get_frame_pc (this_frame), buf, 1))
        {
+         /* We're in a known function, but did not find a frame
+            setup.  Assume that the function does not use %ebp.
+            Alternatively, we may have jumped to an invalid
+            address; in that case there is definitely no new
+            frame in %ebp.  */
          get_frame_register (this_frame, I386_ESP_REGNUM, buf);
-         cache->base = extract_unsigned_integer (buf, 4) + cache->sp_offset;
+         cache->base = extract_unsigned_integer (buf, 4, byte_order)
+                       + cache->sp_offset;
        }
+      else
+       /* We're in an unknown function.  We could not find the start
+          of the function to analyze the prologue; our best option is
+          to assume a typical frame layout with the caller's %ebp
+          saved.  */
+       cache->saved_regs[I386_EBP_REGNUM] = 0;
     }
 
+  if (cache->saved_sp_reg != -1)
+    {
+      /* Saved stack pointer has been saved (but the SAVED_SP_REG
+        register may be unavailable).  */
+      if (cache->saved_sp == 0
+         && frame_register_read (this_frame, cache->saved_sp_reg, buf))
+       cache->saved_sp = extract_unsigned_integer (buf, 4, byte_order);
+    }
   /* Now that we have the base address for the stack frame we can
      calculate the value of %esp in the calling frame.  */
-  if (cache->saved_sp == 0)
+  else if (cache->saved_sp == 0)
     cache->saved_sp = cache->base + 8;
 
   /* Adjust all the saved registers such that they contain addresses
@@ -1395,6 +1759,28 @@ i386_frame_cache (struct frame_info *this_frame, void **this_cache)
     if (cache->saved_regs[i] != -1)
       cache->saved_regs[i] += cache->base;
 
+  cache->base_p = 1;
+}
+
+static struct i386_frame_cache *
+i386_frame_cache (struct frame_info *this_frame, void **this_cache)
+{
+  volatile struct gdb_exception ex;
+  struct i386_frame_cache *cache;
+
+  if (*this_cache)
+    return *this_cache;
+
+  cache = i386_alloc_frame_cache ();
+  *this_cache = cache;
+
+  TRY_CATCH (ex, RETURN_MASK_ERROR)
+    {
+      i386_frame_cache_1 (this_frame, cache);
+    }
+  if (ex.reason < 0 && ex.error != NOT_AVAILABLE_ERROR)
+    throw_exception (ex);
+
   return cache;
 }
 
@@ -1412,6 +1798,22 @@ i386_frame_this_id (struct frame_info *this_frame, void **this_cache,
   (*this_id) = frame_id_build (cache->base + 8, cache->pc);
 }
 
+static enum unwind_stop_reason
+i386_frame_unwind_stop_reason (struct frame_info *this_frame,
+                              void **this_cache)
+{
+  struct i386_frame_cache *cache = i386_frame_cache (this_frame, this_cache);
+
+  if (!cache->base_p)
+    return UNWIND_UNAVAILABLE;
+
+  /* This marks the outermost frame.  */
+  if (cache->base == 0)
+    return UNWIND_OUTERMOST;
+
+  return UNWIND_NO_REASON;
+}
+
 static struct value *
 i386_frame_prev_register (struct frame_info *this_frame, void **this_cache,
                          int regnum)
@@ -1451,8 +1853,19 @@ i386_frame_prev_register (struct frame_info *this_frame, void **this_cache,
   if (regnum == I386_EIP_REGNUM && cache->pc_in_eax)
     return frame_unwind_got_register (this_frame, regnum, I386_EAX_REGNUM);
 
-  if (regnum == I386_ESP_REGNUM && cache->saved_sp)
-    return frame_unwind_got_constant (this_frame, regnum, cache->saved_sp);
+  if (regnum == I386_ESP_REGNUM
+      && (cache->saved_sp != 0 || cache->saved_sp_reg != -1))
+    {
+      /* If the SP has been saved, but we don't know where, then this
+        means that SAVED_SP_REG register was found unavailable back
+        when we built the cache.  */
+      if (cache->saved_sp == 0)
+       return frame_unwind_got_register (this_frame, regnum,
+                                         cache->saved_sp_reg);
+      else
+       return frame_unwind_got_constant (this_frame, regnum,
+                                         cache->saved_sp);
+    }
 
   if (regnum < I386_NUM_SAVED_REGS && cache->saved_regs[regnum] != -1)
     return frame_unwind_got_memory (this_frame, regnum,
@@ -1464,52 +1877,291 @@ i386_frame_prev_register (struct frame_info *this_frame, void **this_cache,
 static const struct frame_unwind i386_frame_unwind =
 {
   NORMAL_FRAME,
+  i386_frame_unwind_stop_reason,
   i386_frame_this_id,
   i386_frame_prev_register,
   NULL,
   default_frame_sniffer
 };
-\f
 
-/* Signal trampolines.  */
+/* Normal frames, but in a function epilogue.  */
+
+/* The epilogue is defined here as the 'ret' instruction, which will
+   follow any instruction such as 'leave' or 'pop %ebp' that destroys
+   the function's stack frame.  */
+
+static int
+i386_in_function_epilogue_p (struct gdbarch *gdbarch, CORE_ADDR pc)
+{
+  gdb_byte insn;
+  struct symtab *symtab;
+
+  symtab = find_pc_symtab (pc);
+  if (symtab && symtab->epilogue_unwind_valid)
+    return 0;
+
+  if (target_read_memory (pc, &insn, 1))
+    return 0;  /* Can't read memory at pc.  */
+
+  if (insn != 0xc3)    /* 'ret' instruction.  */
+    return 0;
+
+  return 1;
+}
+
+static int
+i386_epilogue_frame_sniffer (const struct frame_unwind *self,
+                            struct frame_info *this_frame,
+                            void **this_prologue_cache)
+{
+  if (frame_relative_level (this_frame) == 0)
+    return i386_in_function_epilogue_p (get_frame_arch (this_frame),
+                                       get_frame_pc (this_frame));
+  else
+    return 0;
+}
 
 static struct i386_frame_cache *
-i386_sigtramp_frame_cache (struct frame_info *this_frame, void **this_cache)
+i386_epilogue_frame_cache (struct frame_info *this_frame, void **this_cache)
 {
+  volatile struct gdb_exception ex;
   struct i386_frame_cache *cache;
-  struct gdbarch_tdep *tdep = gdbarch_tdep (get_frame_arch (this_frame));
-  CORE_ADDR addr;
-  gdb_byte buf[4];
+  CORE_ADDR sp;
 
   if (*this_cache)
     return *this_cache;
 
   cache = i386_alloc_frame_cache ();
+  *this_cache = cache;
 
-  get_frame_register (this_frame, I386_ESP_REGNUM, buf);
-  cache->base = extract_unsigned_integer (buf, 4) - 4;
-
-  addr = tdep->sigcontext_addr (this_frame);
-  if (tdep->sc_reg_offset)
+  TRY_CATCH (ex, RETURN_MASK_ERROR)
     {
-      int i;
+      cache->pc = get_frame_func (this_frame);
 
-      gdb_assert (tdep->sc_num_regs <= I386_NUM_SAVED_REGS);
+      /* At this point the stack looks as if we just entered the
+        function, with the return address at the top of the
+        stack.  */
+      sp = get_frame_register_unsigned (this_frame, I386_ESP_REGNUM);
+      cache->base = sp + cache->sp_offset;
+      cache->saved_sp = cache->base + 8;
+      cache->saved_regs[I386_EIP_REGNUM] = cache->base + 4;
 
-      for (i = 0; i < tdep->sc_num_regs; i++)
-       if (tdep->sc_reg_offset[i] != -1)
-         cache->saved_regs[i] = addr + tdep->sc_reg_offset[i];
+      cache->base_p = 1;
     }
+  if (ex.reason < 0 && ex.error != NOT_AVAILABLE_ERROR)
+    throw_exception (ex);
+
+  return cache;
+}
+
+static enum unwind_stop_reason
+i386_epilogue_frame_unwind_stop_reason (struct frame_info *this_frame,
+                                       void **this_cache)
+{
+  struct i386_frame_cache *cache =
+    i386_epilogue_frame_cache (this_frame, this_cache);
+
+  if (!cache->base_p)
+    return UNWIND_UNAVAILABLE;
+
+  return UNWIND_NO_REASON;
+}
+
+static void
+i386_epilogue_frame_this_id (struct frame_info *this_frame,
+                            void **this_cache,
+                            struct frame_id *this_id)
+{
+  struct i386_frame_cache *cache =
+    i386_epilogue_frame_cache (this_frame, this_cache);
+
+  if (!cache->base_p)
+    return;
+
+  (*this_id) = frame_id_build (cache->base + 8, cache->pc);
+}
+
+static struct value *
+i386_epilogue_frame_prev_register (struct frame_info *this_frame,
+                                  void **this_cache, int regnum)
+{
+  /* Make sure we've initialized the cache.  */
+  i386_epilogue_frame_cache (this_frame, this_cache);
+
+  return i386_frame_prev_register (this_frame, this_cache, regnum);
+}
+
+static const struct frame_unwind i386_epilogue_frame_unwind =
+{
+  NORMAL_FRAME,
+  i386_epilogue_frame_unwind_stop_reason,
+  i386_epilogue_frame_this_id,
+  i386_epilogue_frame_prev_register,
+  NULL, 
+  i386_epilogue_frame_sniffer
+};
+\f
+
+/* Stack-based trampolines.  */
+
+/* These trampolines are used on cross x86 targets, when taking the
+   address of a nested function.  When executing these trampolines,
+   no stack frame is set up, so we are in a similar situation as in
+   epilogues and i386_epilogue_frame_this_id can be re-used.  */
+
+/* Static chain passed in register.  */
+
+struct i386_insn i386_tramp_chain_in_reg_insns[] =
+{
+  /* `movl imm32, %eax' and `movl imm32, %ecx' */
+  { 5, { 0xb8 }, { 0xfe } },
+
+  /* `jmp imm32' */
+  { 5, { 0xe9 }, { 0xff } },
+
+  {0}
+};
+
+/* Static chain passed on stack (when regparm=3).  */
+
+struct i386_insn i386_tramp_chain_on_stack_insns[] =
+{
+  /* `push imm32' */
+  { 5, { 0x68 }, { 0xff } },
+
+  /* `jmp imm32' */
+  { 5, { 0xe9 }, { 0xff } },
+
+  {0}
+};
+
+/* Return whether PC points inside a stack trampoline.   */
+
+static int
+i386_in_stack_tramp_p (struct gdbarch *gdbarch, CORE_ADDR pc)
+{
+  gdb_byte insn;
+  const char *name;
+
+  /* A stack trampoline is detected if no name is associated
+    to the current pc and if it points inside a trampoline
+    sequence.  */
+
+  find_pc_partial_function (pc, &name, NULL, NULL);
+  if (name)
+    return 0;
+
+  if (target_read_memory (pc, &insn, 1))
+    return 0;
+
+  if (!i386_match_insn_block (pc, i386_tramp_chain_in_reg_insns)
+      && !i386_match_insn_block (pc, i386_tramp_chain_on_stack_insns))
+    return 0;
+
+  return 1;
+}
+
+static int
+i386_stack_tramp_frame_sniffer (const struct frame_unwind *self,
+                               struct frame_info *this_frame,
+                               void **this_cache)
+{
+  if (frame_relative_level (this_frame) == 0)
+    return i386_in_stack_tramp_p (get_frame_arch (this_frame),
+                                 get_frame_pc (this_frame));
   else
+    return 0;
+}
+
+static const struct frame_unwind i386_stack_tramp_frame_unwind =
+{
+  NORMAL_FRAME,
+  i386_epilogue_frame_unwind_stop_reason,
+  i386_epilogue_frame_this_id,
+  i386_epilogue_frame_prev_register,
+  NULL, 
+  i386_stack_tramp_frame_sniffer
+};
+\f
+/* Generate a bytecode expression to get the value of the saved PC.  */
+
+static void
+i386_gen_return_address (struct gdbarch *gdbarch,
+                        struct agent_expr *ax, struct axs_value *value,
+                        CORE_ADDR scope)
+{
+  /* The following sequence assumes the traditional use of the base
+     register.  */
+  ax_reg (ax, I386_EBP_REGNUM);
+  ax_const_l (ax, 4);
+  ax_simple (ax, aop_add);
+  value->type = register_type (gdbarch, I386_EIP_REGNUM);
+  value->kind = axs_lvalue_memory;
+}
+\f
+
+/* Signal trampolines.  */
+
+static struct i386_frame_cache *
+i386_sigtramp_frame_cache (struct frame_info *this_frame, void **this_cache)
+{
+  struct gdbarch *gdbarch = get_frame_arch (this_frame);
+  struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
+  enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
+  volatile struct gdb_exception ex;
+  struct i386_frame_cache *cache;
+  CORE_ADDR addr;
+  gdb_byte buf[4];
+
+  if (*this_cache)
+    return *this_cache;
+
+  cache = i386_alloc_frame_cache ();
+
+  TRY_CATCH (ex, RETURN_MASK_ERROR)
     {
-      cache->saved_regs[I386_EIP_REGNUM] = addr + tdep->sc_pc_offset;
-      cache->saved_regs[I386_ESP_REGNUM] = addr + tdep->sc_sp_offset;
+      get_frame_register (this_frame, I386_ESP_REGNUM, buf);
+      cache->base = extract_unsigned_integer (buf, 4, byte_order) - 4;
+
+      addr = tdep->sigcontext_addr (this_frame);
+      if (tdep->sc_reg_offset)
+       {
+         int i;
+
+         gdb_assert (tdep->sc_num_regs <= I386_NUM_SAVED_REGS);
+
+         for (i = 0; i < tdep->sc_num_regs; i++)
+           if (tdep->sc_reg_offset[i] != -1)
+             cache->saved_regs[i] = addr + tdep->sc_reg_offset[i];
+       }
+      else
+       {
+         cache->saved_regs[I386_EIP_REGNUM] = addr + tdep->sc_pc_offset;
+         cache->saved_regs[I386_ESP_REGNUM] = addr + tdep->sc_sp_offset;
+       }
+
+      cache->base_p = 1;
     }
+  if (ex.reason < 0 && ex.error != NOT_AVAILABLE_ERROR)
+    throw_exception (ex);
 
   *this_cache = cache;
   return cache;
 }
 
+static enum unwind_stop_reason
+i386_sigtramp_frame_unwind_stop_reason (struct frame_info *this_frame,
+                                       void **this_cache)
+{
+  struct i386_frame_cache *cache =
+    i386_sigtramp_frame_cache (this_frame, this_cache);
+
+  if (!cache->base_p)
+    return UNWIND_UNAVAILABLE;
+
+  return UNWIND_NO_REASON;
+}
+
 static void
 i386_sigtramp_frame_this_id (struct frame_info *this_frame, void **this_cache,
                             struct frame_id *this_id)
@@ -1517,6 +2169,9 @@ i386_sigtramp_frame_this_id (struct frame_info *this_frame, void **this_cache,
   struct i386_frame_cache *cache =
     i386_sigtramp_frame_cache (this_frame, this_cache);
 
+  if (!cache->base_p)
+    return;
+
   /* See the end of i386_push_dummy_call.  */
   (*this_id) = frame_id_build (cache->base + 8, get_frame_pc (this_frame));
 }
@@ -1564,6 +2219,7 @@ i386_sigtramp_frame_sniffer (const struct frame_unwind *self,
 static const struct frame_unwind i386_sigtramp_frame_unwind =
 {
   SIGTRAMP_FRAME,
+  i386_sigtramp_frame_unwind_stop_reason,
   i386_sigtramp_frame_this_id,
   i386_sigtramp_frame_prev_register,
   NULL,
@@ -1597,6 +2253,15 @@ i386_dummy_id (struct gdbarch *gdbarch, struct frame_info *this_frame)
   /* See the end of i386_push_dummy_call.  */
   return frame_id_build (fp + 8, get_frame_pc (this_frame));
 }
+
+/* _Decimal128 function return values need 16-byte alignment on the
+   stack.  */
+
+static CORE_ADDR
+i386_frame_align (struct gdbarch *gdbarch, CORE_ADDR sp)
+{
+  return sp & -(CORE_ADDR)16;
+}
 \f
 
 /* Figure out where the longjmp will land.  Slurp the args out of the
@@ -1611,6 +2276,7 @@ i386_get_longjmp_target (struct frame_info *frame, CORE_ADDR *pc)
   gdb_byte buf[4];
   CORE_ADDR sp, jb_addr;
   struct gdbarch *gdbarch = get_frame_arch (frame);
+  enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
   int jb_pc_offset = gdbarch_tdep (gdbarch)->jb_pc_offset;
 
   /* If JB_PC_OFFSET is -1, we have no way to find out where the
@@ -1619,15 +2285,15 @@ i386_get_longjmp_target (struct frame_info *frame, CORE_ADDR *pc)
     return 0;
 
   get_frame_register (frame, I386_ESP_REGNUM, buf);
-  sp = extract_unsigned_integer (buf, 4);
+  sp = extract_unsigned_integer (buf, 4, byte_order);
   if (target_read_memory (sp + 4, buf, 4))
     return 0;
 
-  jb_addr = extract_unsigned_integer (buf, 4);
+  jb_addr = extract_unsigned_integer (buf, 4, byte_order);
   if (target_read_memory (jb_addr + jb_pc_offset, buf, 4))
     return 0;
 
-  *pc = extract_unsigned_integer (buf, 4);
+  *pc = extract_unsigned_integer (buf, 4, byte_order);
   return 1;
 }
 \f
@@ -1666,6 +2332,7 @@ i386_push_dummy_call (struct gdbarch *gdbarch, struct value *function,
                      struct value **args, CORE_ADDR sp, int struct_return,
                      CORE_ADDR struct_addr)
 {
+  enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
   gdb_byte buf[4];
   int i;
   int write_pass;
@@ -1685,7 +2352,7 @@ i386_push_dummy_call (struct gdbarch *gdbarch, struct value *function,
          if (write_pass)
            {
              /* Push value address.  */
-             store_unsigned_integer (buf, 4, struct_addr);
+             store_unsigned_integer (buf, 4, byte_order, struct_addr);
              write_memory (sp, buf, 4);
              args_space_used += 4;
            }
@@ -1734,11 +2401,11 @@ i386_push_dummy_call (struct gdbarch *gdbarch, struct value *function,
 
   /* Store return address.  */
   sp -= 4;
-  store_unsigned_integer (buf, 4, bp_addr);
+  store_unsigned_integer (buf, 4, byte_order, bp_addr);
   write_memory (sp, buf, 4);
 
   /* Finally, update the stack pointer...  */
-  store_unsigned_integer (buf, 4, sp);
+  store_unsigned_integer (buf, 4, byte_order, sp);
   regcache_cooked_write (regcache, I386_ESP_REGNUM, buf);
 
   /* ...and fake a frame pointer.  */
@@ -1787,7 +2454,7 @@ i386_extract_return_value (struct gdbarch *gdbarch, struct type *type,
         exactly how it would happen on the target itself, but it is
         the best we can do.  */
       regcache_raw_read (regcache, I386_ST0_REGNUM, buf);
-      convert_typed_floating (buf, builtin_type_i387_ext, valbuf, type);
+      convert_typed_floating (buf, i387_ext_type (gdbarch), valbuf, type);
     }
   else
     {
@@ -1808,7 +2475,8 @@ i386_extract_return_value (struct gdbarch *gdbarch, struct type *type,
        }
       else
        internal_error (__FILE__, __LINE__,
-                       _("Cannot extract return value of %d bytes long."), len);
+                       _("Cannot extract return value of %d bytes long."),
+                       len);
     }
 }
 
@@ -1841,7 +2509,7 @@ i386_store_return_value (struct gdbarch *gdbarch, struct type *type,
         floating-point format used by the FPU.  This is probably
         not exactly how it would happen on the target itself, but
         it is the best we can do.  */
-      convert_typed_floating (valbuf, type, buf, builtin_type_i387_ext);
+      convert_typed_floating (valbuf, type, buf, i387_ext_type (gdbarch));
       regcache_raw_write (regcache, I386_ST0_REGNUM, buf);
 
       /* Set the top of the floating-point register stack to 7.  The
@@ -1882,7 +2550,7 @@ i386_store_return_value (struct gdbarch *gdbarch, struct type *type,
 static const char default_struct_convention[] = "default";
 static const char pcc_struct_convention[] = "pcc";
 static const char reg_struct_convention[] = "reg";
-static const char *valid_conventions[] =
+static const char *const valid_conventions[] =
 {
   default_struct_convention,
   pcc_struct_convention,
@@ -1994,171 +2662,137 @@ i386_return_value (struct gdbarch *gdbarch, struct type *func_type,
 }
 \f
 
-/* Type for %eflags.  */
-struct type *i386_eflags_type;
+struct type *
+i387_ext_type (struct gdbarch *gdbarch)
+{
+  struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
 
-/* Type for %mxcsr.  */
-struct type *i386_mxcsr_type;
+  if (!tdep->i387_ext_type)
+    {
+      tdep->i387_ext_type = tdesc_find_type (gdbarch, "i387_ext");
+      gdb_assert (tdep->i387_ext_type != NULL);
+    }
 
-/* Construct types for ISA-specific registers.  */
-static void
-i386_init_types (void)
-{
-  struct type *type;
-
-  type = init_flags_type ("builtin_type_i386_eflags", 4);
-  append_flags_type_flag (type, 0, "CF");
-  append_flags_type_flag (type, 1, NULL);
-  append_flags_type_flag (type, 2, "PF");
-  append_flags_type_flag (type, 4, "AF");
-  append_flags_type_flag (type, 6, "ZF");
-  append_flags_type_flag (type, 7, "SF");
-  append_flags_type_flag (type, 8, "TF");
-  append_flags_type_flag (type, 9, "IF");
-  append_flags_type_flag (type, 10, "DF");
-  append_flags_type_flag (type, 11, "OF");
-  append_flags_type_flag (type, 14, "NT");
-  append_flags_type_flag (type, 16, "RF");
-  append_flags_type_flag (type, 17, "VM");
-  append_flags_type_flag (type, 18, "AC");
-  append_flags_type_flag (type, 19, "VIF");
-  append_flags_type_flag (type, 20, "VIP");
-  append_flags_type_flag (type, 21, "ID");
-  i386_eflags_type = type;
-
-  type = init_flags_type ("builtin_type_i386_mxcsr", 4);
-  append_flags_type_flag (type, 0, "IE");
-  append_flags_type_flag (type, 1, "DE");
-  append_flags_type_flag (type, 2, "ZE");
-  append_flags_type_flag (type, 3, "OE");
-  append_flags_type_flag (type, 4, "UE");
-  append_flags_type_flag (type, 5, "PE");
-  append_flags_type_flag (type, 6, "DAZ");
-  append_flags_type_flag (type, 7, "IM");
-  append_flags_type_flag (type, 8, "DM");
-  append_flags_type_flag (type, 9, "ZM");
-  append_flags_type_flag (type, 10, "OM");
-  append_flags_type_flag (type, 11, "UM");
-  append_flags_type_flag (type, 12, "PM");
-  append_flags_type_flag (type, 15, "FZ");
-  i386_mxcsr_type = type;
+  return tdep->i387_ext_type;
 }
 
-/* Construct vector type for MMX registers.  */
-struct type *
-i386_mmx_type (struct gdbarch *gdbarch)
+/* Construct vector type for pseudo YMM registers.  We can't use
+   tdesc_find_type since YMM isn't described in target description.  */
+
+static struct type *
+i386_ymm_type (struct gdbarch *gdbarch)
 {
   struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
 
-  if (!tdep->i386_mmx_type)
+  if (!tdep->i386_ymm_type)
     {
+      const struct builtin_type *bt = builtin_type (gdbarch);
+
       /* The type we're building is this: */
 #if 0
-      union __gdb_builtin_type_vec64i
+      union __gdb_builtin_type_vec256i
       {
-        int64_t uint64;
-        int32_t v2_int32[2];
-        int16_t v4_int16[4];
-        int8_t v8_int8[8];
+        int128_t uint128[2];
+        int64_t v2_int64[4];
+        int32_t v4_int32[8];
+        int16_t v8_int16[16];
+        int8_t v16_int8[32];
+        double v2_double[4];
+        float v4_float[8];
       };
 #endif
 
       struct type *t;
 
-      t = init_composite_type ("__gdb_builtin_type_vec64i", TYPE_CODE_UNION);
-      append_composite_type_field (t, "uint64", builtin_type_int64);
-      append_composite_type_field (t, "v2_int32",
-                                  init_vector_type (builtin_type_int32, 2));
-      append_composite_type_field (t, "v4_int16",
-                                  init_vector_type (builtin_type_int16, 4));
-      append_composite_type_field (t, "v8_int8",
-                                  init_vector_type (builtin_type_int8, 8));
+      t = arch_composite_type (gdbarch,
+                              "__gdb_builtin_type_vec256i", TYPE_CODE_UNION);
+      append_composite_type_field (t, "v8_float",
+                                  init_vector_type (bt->builtin_float, 8));
+      append_composite_type_field (t, "v4_double",
+                                  init_vector_type (bt->builtin_double, 4));
+      append_composite_type_field (t, "v32_int8",
+                                  init_vector_type (bt->builtin_int8, 32));
+      append_composite_type_field (t, "v16_int16",
+                                  init_vector_type (bt->builtin_int16, 16));
+      append_composite_type_field (t, "v8_int32",
+                                  init_vector_type (bt->builtin_int32, 8));
+      append_composite_type_field (t, "v4_int64",
+                                  init_vector_type (bt->builtin_int64, 4));
+      append_composite_type_field (t, "v2_int128",
+                                  init_vector_type (bt->builtin_int128, 2));
 
       TYPE_VECTOR (t) = 1;
-      TYPE_NAME (t) = "builtin_type_vec64i";
-      tdep->i386_mmx_type = t;
+      TYPE_NAME (t) = "builtin_type_vec256i";
+      tdep->i386_ymm_type = t;
     }
 
-  return tdep->i386_mmx_type;
+  return tdep->i386_ymm_type;
 }
 
-struct type *
-i386_sse_type (struct gdbarch *gdbarch)
+/* Construct vector type for MMX registers.  */
+static struct type *
+i386_mmx_type (struct gdbarch *gdbarch)
 {
   struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
 
-  if (!tdep->i386_sse_type)
+  if (!tdep->i386_mmx_type)
     {
+      const struct builtin_type *bt = builtin_type (gdbarch);
+
       /* The type we're building is this: */
 #if 0
-      union __gdb_builtin_type_vec128i
+      union __gdb_builtin_type_vec64i
       {
-        int128_t uint128;
-        int64_t v2_int64[2];
-        int32_t v4_int32[4];
-        int16_t v8_int16[8];
-        int8_t v16_int8[16];
-        double v2_double[2];
-        float v4_float[4];
+        int64_t uint64;
+        int32_t v2_int32[2];
+        int16_t v4_int16[4];
+        int8_t v8_int8[8];
       };
 #endif
 
       struct type *t;
 
-      t = init_composite_type ("__gdb_builtin_type_vec128i", TYPE_CODE_UNION);
-      append_composite_type_field (t, "v4_float",
-                                  init_vector_type (builtin_type (gdbarch)
-                                                    ->builtin_float, 4));
-      append_composite_type_field (t, "v2_double",
-                                  init_vector_type (builtin_type (gdbarch)
-                                                    ->builtin_double, 2));
-      append_composite_type_field (t, "v16_int8",
-                                  init_vector_type (builtin_type_int8, 16));
-      append_composite_type_field (t, "v8_int16",
-                                  init_vector_type (builtin_type_int16, 8));
-      append_composite_type_field (t, "v4_int32",
-                                  init_vector_type (builtin_type_int32, 4));
-      append_composite_type_field (t, "v2_int64",
-                                  init_vector_type (builtin_type_int64, 2));
-      append_composite_type_field (t, "uint128", builtin_type_int128);
+      t = arch_composite_type (gdbarch,
+                              "__gdb_builtin_type_vec64i", TYPE_CODE_UNION);
+
+      append_composite_type_field (t, "uint64", bt->builtin_int64);
+      append_composite_type_field (t, "v2_int32",
+                                  init_vector_type (bt->builtin_int32, 2));
+      append_composite_type_field (t, "v4_int16",
+                                  init_vector_type (bt->builtin_int16, 4));
+      append_composite_type_field (t, "v8_int8",
+                                  init_vector_type (bt->builtin_int8, 8));
 
       TYPE_VECTOR (t) = 1;
-      TYPE_NAME (t) = "builtin_type_vec128i";
-      tdep->i386_sse_type = t;
+      TYPE_NAME (t) = "builtin_type_vec64i";
+      tdep->i386_mmx_type = t;
     }
 
-  return tdep->i386_sse_type;
+  return tdep->i386_mmx_type;
 }
 
 /* Return the GDB type object for the "standard" data type of data in
-   register REGNUM.  Perhaps %esi and %edi should go here, but
-   potentially they could be used for things other than address.  */
+   register REGNUM.  */
 
 static struct type *
-i386_register_type (struct gdbarch *gdbarch, int regnum)
+i386_pseudo_register_type (struct gdbarch *gdbarch, int regnum)
 {
-  if (regnum == I386_EIP_REGNUM)
-    return builtin_type (gdbarch)->builtin_func_ptr;
-
-  if (regnum == I386_EFLAGS_REGNUM)
-    return i386_eflags_type;
-
-  if (regnum == I386_EBP_REGNUM || regnum == I386_ESP_REGNUM)
-    return builtin_type (gdbarch)->builtin_data_ptr;
-
-  if (i386_fp_regnum_p (gdbarch, regnum))
-    return builtin_type_i387_ext;
-
   if (i386_mmx_regnum_p (gdbarch, regnum))
     return i386_mmx_type (gdbarch);
+  else if (i386_ymm_regnum_p (gdbarch, regnum))
+    return i386_ymm_type (gdbarch);
+  else
+    {
+      const struct builtin_type *bt = builtin_type (gdbarch);
+      if (i386_byte_regnum_p (gdbarch, regnum))
+       return bt->builtin_int8;
+      else if (i386_word_regnum_p (gdbarch, regnum))
+       return bt->builtin_int16;
+      else if (i386_dword_regnum_p (gdbarch, regnum))
+       return bt->builtin_int32;
+    }
 
-  if (i386_sse_regnum_p (gdbarch, regnum))
-    return i386_sse_type (gdbarch);
-
-  if (regnum == I387_MXCSR_REGNUM (gdbarch_tdep (gdbarch)))
-    return i386_mxcsr_type;
-
-  return builtin_type (gdbarch)->builtin_int;
+  internal_error (__FILE__, __LINE__, _("invalid regnum"));
 }
 
 /* Map a cooked register onto a raw register or memory.  For the i386,
@@ -2180,41 +2814,173 @@ i386_mmx_regnum_to_fp_regnum (struct regcache *regcache, int regnum)
   return (I387_ST0_REGNUM (tdep) + fpreg);
 }
 
-static void
-i386_pseudo_register_read (struct gdbarch *gdbarch, struct regcache *regcache,
-                          int regnum, gdb_byte *buf)
+/* A helper function for us by i386_pseudo_register_read_value and
+   amd64_pseudo_register_read_value.  It does all the work but reads
+   the data into an already-allocated value.  */
+
+void
+i386_pseudo_register_read_into_value (struct gdbarch *gdbarch,
+                                     struct regcache *regcache,
+                                     int regnum,
+                                     struct value *result_value)
 {
+  gdb_byte raw_buf[MAX_REGISTER_SIZE];
+  enum register_status status;
+  gdb_byte *buf = value_contents_raw (result_value);
+
   if (i386_mmx_regnum_p (gdbarch, regnum))
     {
-      gdb_byte mmx_buf[MAX_REGISTER_SIZE];
       int fpnum = i386_mmx_regnum_to_fp_regnum (regcache, regnum);
 
       /* Extract (always little endian).  */
-      regcache_raw_read (regcache, fpnum, mmx_buf);
-      memcpy (buf, mmx_buf, register_size (gdbarch, regnum));
+      status = regcache_raw_read (regcache, fpnum, raw_buf);
+      if (status != REG_VALID)
+       mark_value_bytes_unavailable (result_value, 0,
+                                     TYPE_LENGTH (value_type (result_value)));
+      else
+       memcpy (buf, raw_buf, register_size (gdbarch, regnum));
     }
   else
-    regcache_raw_read (regcache, regnum, buf);
+    {
+      struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
+
+      if (i386_ymm_regnum_p (gdbarch, regnum))
+       {
+         regnum -= tdep->ymm0_regnum;
+
+         /* Extract (always little endian).  Read lower 128bits.  */
+         status = regcache_raw_read (regcache,
+                                     I387_XMM0_REGNUM (tdep) + regnum,
+                                     raw_buf);
+         if (status != REG_VALID)
+           mark_value_bytes_unavailable (result_value, 0, 16);
+         else
+           memcpy (buf, raw_buf, 16);
+         /* Read upper 128bits.  */
+         status = regcache_raw_read (regcache,
+                                     tdep->ymm0h_regnum + regnum,
+                                     raw_buf);
+         if (status != REG_VALID)
+           mark_value_bytes_unavailable (result_value, 16, 32);
+         else
+           memcpy (buf + 16, raw_buf, 16);
+       }
+      else if (i386_word_regnum_p (gdbarch, regnum))
+       {
+         int gpnum = regnum - tdep->ax_regnum;
+
+         /* Extract (always little endian).  */
+         status = regcache_raw_read (regcache, gpnum, raw_buf);
+         if (status != REG_VALID)
+           mark_value_bytes_unavailable (result_value, 0,
+                                         TYPE_LENGTH (value_type (result_value)));
+         else
+           memcpy (buf, raw_buf, 2);
+       }
+      else if (i386_byte_regnum_p (gdbarch, regnum))
+       {
+         /* Check byte pseudo registers last since this function will
+            be called from amd64_pseudo_register_read, which handles
+            byte pseudo registers differently.  */
+         int gpnum = regnum - tdep->al_regnum;
+
+         /* Extract (always little endian).  We read both lower and
+            upper registers.  */
+         status = regcache_raw_read (regcache, gpnum % 4, raw_buf);
+         if (status != REG_VALID)
+           mark_value_bytes_unavailable (result_value, 0,
+                                         TYPE_LENGTH (value_type (result_value)));
+         else if (gpnum >= 4)
+           memcpy (buf, raw_buf + 1, 1);
+         else
+           memcpy (buf, raw_buf, 1);
+       }
+      else
+       internal_error (__FILE__, __LINE__, _("invalid regnum"));
+    }
 }
 
-static void
+static struct value *
+i386_pseudo_register_read_value (struct gdbarch *gdbarch,
+                                struct regcache *regcache,
+                                int regnum)
+{
+  struct value *result;
+
+  result = allocate_value (register_type (gdbarch, regnum));
+  VALUE_LVAL (result) = lval_register;
+  VALUE_REGNUM (result) = regnum;
+
+  i386_pseudo_register_read_into_value (gdbarch, regcache, regnum, result);
+
+  return result;
+}
+
+void
 i386_pseudo_register_write (struct gdbarch *gdbarch, struct regcache *regcache,
                            int regnum, const gdb_byte *buf)
 {
+  gdb_byte raw_buf[MAX_REGISTER_SIZE];
+
   if (i386_mmx_regnum_p (gdbarch, regnum))
     {
-      gdb_byte mmx_buf[MAX_REGISTER_SIZE];
       int fpnum = i386_mmx_regnum_to_fp_regnum (regcache, regnum);
 
       /* Read ...  */
-      regcache_raw_read (regcache, fpnum, mmx_buf);
+      regcache_raw_read (regcache, fpnum, raw_buf);
       /* ... Modify ... (always little endian).  */
-      memcpy (mmx_buf, buf, register_size (gdbarch, regnum));
+      memcpy (raw_buf, buf, register_size (gdbarch, regnum));
       /* ... Write.  */
-      regcache_raw_write (regcache, fpnum, mmx_buf);
+      regcache_raw_write (regcache, fpnum, raw_buf);
     }
   else
-    regcache_raw_write (regcache, regnum, buf);
+    {
+      struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
+
+      if (i386_ymm_regnum_p (gdbarch, regnum))
+       {
+         regnum -= tdep->ymm0_regnum;
+
+         /* ... Write lower 128bits.  */
+         regcache_raw_write (regcache,
+                            I387_XMM0_REGNUM (tdep) + regnum,
+                            buf);
+         /* ... Write upper 128bits.  */
+         regcache_raw_write (regcache,
+                            tdep->ymm0h_regnum + regnum,
+                            buf + 16);
+       }
+      else if (i386_word_regnum_p (gdbarch, regnum))
+       {
+         int gpnum = regnum - tdep->ax_regnum;
+
+         /* Read ...  */
+         regcache_raw_read (regcache, gpnum, raw_buf);
+         /* ... Modify ... (always little endian).  */
+         memcpy (raw_buf, buf, 2);
+         /* ... Write.  */
+         regcache_raw_write (regcache, gpnum, raw_buf);
+       }
+      else if (i386_byte_regnum_p (gdbarch, regnum))
+       {
+         /* Check byte pseudo registers last since this function will
+            be called from amd64_pseudo_register_read, which handles
+            byte pseudo registers differently.  */
+         int gpnum = regnum - tdep->al_regnum;
+
+         /* Read ...  We read both lower and upper registers.  */
+         regcache_raw_read (regcache, gpnum % 4, raw_buf);
+         /* ... Modify ... (always little endian).  */
+         if (gpnum >= 4)
+           memcpy (raw_buf + 1, buf, 1);
+         else
+           memcpy (raw_buf, buf, 1);
+         /* ... Write.  */
+         regcache_raw_write (regcache, gpnum % 4, raw_buf);
+       }
+      else
+       internal_error (__FILE__, __LINE__, _("invalid regnum"));
+    }
 }
 \f
 
@@ -2251,7 +3017,8 @@ i386_next_regnum (int regnum)
    needs any special handling.  */
 
 static int
-i386_convert_register_p (struct gdbarch *gdbarch, int regnum, struct type *type)
+i386_convert_register_p (struct gdbarch *gdbarch,
+                        int regnum, struct type *type)
 {
   int len = TYPE_LENGTH (type);
 
@@ -2280,21 +3047,17 @@ i386_convert_register_p (struct gdbarch *gdbarch, int regnum, struct type *type)
 /* Read a value of type TYPE from register REGNUM in frame FRAME, and
    return its contents in TO.  */
 
-static void
+static int
 i386_register_to_value (struct frame_info *frame, int regnum,
-                       struct type *type, gdb_byte *to)
+                       struct type *type, gdb_byte *to,
+                       int *optimizedp, int *unavailablep)
 {
   struct gdbarch *gdbarch = get_frame_arch (frame);
   int len = TYPE_LENGTH (type);
 
-  /* FIXME: kettenis/20030609: What should we do if REGNUM isn't
-     available in FRAME (i.e. if it wasn't saved)?  */
-
   if (i386_fp_regnum_p (gdbarch, regnum))
-    {
-      i387_register_to_value (frame, regnum, type, to);
-      return;
-    }
+    return i387_register_to_value (frame, regnum, type, to,
+                                  optimizedp, unavailablep);
 
   /* Read a value spread across multiple registers.  */
 
@@ -2305,11 +3068,18 @@ i386_register_to_value (struct frame_info *frame, int regnum,
       gdb_assert (regnum != -1);
       gdb_assert (register_size (gdbarch, regnum) == 4);
 
-      get_frame_register (frame, regnum, to);
+      if (!get_frame_register_bytes (frame, regnum, 0,
+                                    register_size (gdbarch, regnum),
+                                    to, optimizedp, unavailablep))
+       return 0;
+
       regnum = i386_next_regnum (regnum);
       len -= 4;
       to += 4;
     }
+
+  *optimizedp = *unavailablep = 0;
+  return 1;
 }
 
 /* Write the contents FROM of a value of type TYPE into register
@@ -2431,6 +3201,26 @@ i386_collect_fpregset (const struct regset *regset,
   i387_collect_fsave (regcache, regnum, fpregs);
 }
 
+/* Similar to i386_supply_fpregset, but use XSAVE extended state.  */
+
+static void
+i386_supply_xstateregset (const struct regset *regset,
+                         struct regcache *regcache, int regnum,
+                         const void *xstateregs, size_t len)
+{
+  i387_supply_xsave (regcache, regnum, xstateregs);
+}
+
+/* Similar to i386_collect_fpregset , but use XSAVE extended state.  */
+
+static void
+i386_collect_xstateregset (const struct regset *regset,
+                          const struct regcache *regcache,
+                          int regnum, void *xstateregs, size_t len)
+{
+  i387_collect_xsave (regcache, regnum, xstateregs, 1);
+}
+
 /* Return the appropriate register set for the core section identified
    by SECT_NAME and SECT_SIZE.  */
 
@@ -2458,6 +3248,16 @@ i386_regset_from_core_section (struct gdbarch *gdbarch,
       return tdep->fpregset;
     }
 
+  if (strcmp (sect_name, ".reg-xstate") == 0)
+    {
+      if (tdep->xstateregset == NULL)
+       tdep->xstateregset = regset_alloc (gdbarch,
+                                          i386_supply_xstateregset,
+                                          i386_collect_xstateregset);
+
+      return tdep->xstateregset;
+    }
+
   return NULL;
 }
 \f
@@ -2465,20 +3265,27 @@ i386_regset_from_core_section (struct gdbarch *gdbarch,
 /* Stuff for WIN32 PE style DLL's but is pretty generic really.  */
 
 CORE_ADDR
-i386_pe_skip_trampoline_code (CORE_ADDR pc, char *name)
+i386_pe_skip_trampoline_code (struct frame_info *frame,
+                             CORE_ADDR pc, char *name)
 {
-  if (pc && read_memory_unsigned_integer (pc, 2) == 0x25ff) /* jmp *(dest) */
+  struct gdbarch *gdbarch = get_frame_arch (frame);
+  enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
+
+  /* jmp *(dest) */
+  if (pc && read_memory_unsigned_integer (pc, 2, byte_order) == 0x25ff)
     {
-      unsigned long indirect = read_memory_unsigned_integer (pc + 2, 4);
+      unsigned long indirect =
+       read_memory_unsigned_integer (pc + 2, 4, byte_order);
       struct minimal_symbol *indsym =
        indirect ? lookup_minimal_symbol_by_pc (indirect) : 0;
-      char *symname = indsym ? SYMBOL_LINKAGE_NAME (indsym) : 0;
+      const char *symname = indsym ? SYMBOL_LINKAGE_NAME (indsym) : 0;
 
       if (symname)
        {
          if (strncmp (symname, "__imp_", 6) == 0
              || strncmp (symname, "_imp_", 5) == 0)
-           return name ? 1 : read_memory_unsigned_integer (indirect, 4);
+           return name ? 1 :
+                  read_memory_unsigned_integer (indirect, 4, byte_order);
        }
     }
   return 0;                    /* Not a trampoline.  */
@@ -2492,7 +3299,7 @@ int
 i386_sigtramp_p (struct frame_info *this_frame)
 {
   CORE_ADDR pc = get_frame_pc (this_frame);
-  char *name;
+  const char *name;
 
   find_pc_partial_function (pc, &name, NULL, NULL);
   return (name && strcmp ("_sigtramp", name) == 0);
@@ -2530,7 +3337,7 @@ static int
 i386_svr4_sigtramp_p (struct frame_info *this_frame)
 {
   CORE_ADDR pc = get_frame_pc (this_frame);
-  char *name;
+  const char *name;
 
   /* UnixWare uses _sigacthandler.  The origin of the other symbols is
      currently unknown.  */
@@ -2546,13 +3353,15 @@ i386_svr4_sigtramp_p (struct frame_info *this_frame)
 static CORE_ADDR
 i386_svr4_sigcontext_addr (struct frame_info *this_frame)
 {
+  struct gdbarch *gdbarch = get_frame_arch (this_frame);
+  enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
   gdb_byte buf[4];
   CORE_ADDR sp;
 
   get_frame_register (this_frame, I386_ESP_REGNUM, buf);
-  sp = extract_unsigned_integer (buf, 4);
+  sp = extract_unsigned_integer (buf, 4, byte_order);
 
-  return read_memory_unsigned_integer (sp + 8, 4);
+  return read_memory_unsigned_integer (sp + 8, 4, byte_order);
 }
 \f
 
@@ -2597,6 +3406,19 @@ i386_go32_init_abi (struct gdbarch_info info, struct gdbarch *gdbarch)
   tdep->sigtramp_p = NULL;
 
   tdep->jb_pc_offset = 36;
+
+  /* DJGPP does not support the SSE registers.  */
+  if (! tdesc_has_registers (info.target_desc))
+    tdep->tdesc = tdesc_i386_mmx;
+
+  /* Native compiler is GCC, which uses the SVR4 register numbering
+     even in COFF and STABS.  See the comment in i386_gdbarch_init,
+     before the calls to set_gdbarch_stab_reg_to_regnum and
+     set_gdbarch_sdb_reg_to_regnum.  */
+  set_gdbarch_stab_reg_to_regnum (gdbarch, i386_svr4_reg_to_regnum);
+  set_gdbarch_sdb_reg_to_regnum (gdbarch, i386_svr4_reg_to_regnum);
+
+  set_gdbarch_has_dos_based_file_system (gdbarch, 1);
 }
 \f
 
@@ -2631,22 +3453,60 @@ int
 i386_register_reggroup_p (struct gdbarch *gdbarch, int regnum,
                          struct reggroup *group)
 {
-  int sse_regnum_p = (i386_sse_regnum_p (gdbarch, regnum)
-                     || i386_mxcsr_regnum_p (gdbarch, regnum));
-  int fp_regnum_p = (i386_fp_regnum_p (gdbarch, regnum)
-                    || i386_fpc_regnum_p (gdbarch, regnum));
-  int mmx_regnum_p = (i386_mmx_regnum_p (gdbarch, regnum));
+  const struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
+  int fp_regnum_p, mmx_regnum_p, xmm_regnum_p, mxcsr_regnum_p,
+      ymm_regnum_p, ymmh_regnum_p;
+
+  /* Don't include pseudo registers, except for MMX, in any register
+     groups.  */
+  if (i386_byte_regnum_p (gdbarch, regnum))
+    return 0;
+
+  if (i386_word_regnum_p (gdbarch, regnum))
+    return 0;
+
+  if (i386_dword_regnum_p (gdbarch, regnum))
+    return 0;
 
+  mmx_regnum_p = i386_mmx_regnum_p (gdbarch, regnum);
   if (group == i386_mmx_reggroup)
     return mmx_regnum_p;
+
+  xmm_regnum_p = i386_xmm_regnum_p (gdbarch, regnum);
+  mxcsr_regnum_p = i386_mxcsr_regnum_p (gdbarch, regnum);
   if (group == i386_sse_reggroup)
-    return sse_regnum_p;
+    return xmm_regnum_p || mxcsr_regnum_p;
+
+  ymm_regnum_p = i386_ymm_regnum_p (gdbarch, regnum);
   if (group == vector_reggroup)
-    return (mmx_regnum_p || sse_regnum_p);
+    return (mmx_regnum_p
+           || ymm_regnum_p
+           || mxcsr_regnum_p
+           || (xmm_regnum_p
+               && ((tdep->xcr0 & I386_XSTATE_AVX_MASK)
+                   == I386_XSTATE_SSE_MASK)));
+
+  fp_regnum_p = (i386_fp_regnum_p (gdbarch, regnum)
+                || i386_fpc_regnum_p (gdbarch, regnum));
   if (group == float_reggroup)
     return fp_regnum_p;
+
+  /* For "info reg all", don't include upper YMM registers nor XMM
+     registers when AVX is supported.  */
+  ymmh_regnum_p = i386_ymmh_regnum_p (gdbarch, regnum);
+  if (group == all_reggroup
+      && ((xmm_regnum_p
+          && (tdep->xcr0 & I386_XSTATE_AVX))
+         || ymmh_regnum_p))
+    return 0;
+
   if (group == general_reggroup)
-    return (!fp_regnum_p && !mmx_regnum_p && !sse_regnum_p);
+    return (!fp_regnum_p
+           && !mmx_regnum_p
+           && !mxcsr_regnum_p
+           && !xmm_regnum_p
+           && !ymm_regnum_p
+           && !ymmh_regnum_p);
 
   return default_register_reggroup_p (gdbarch, regnum, group);
 }
@@ -2658,8 +3518,10 @@ static CORE_ADDR
 i386_fetch_pointer_argument (struct frame_info *frame, int argi, 
                             struct type *type)
 {
+  struct gdbarch *gdbarch = get_frame_arch (frame);
+  enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
   CORE_ADDR sp = get_frame_register_unsigned  (frame, I386_ESP_REGNUM);
-  return read_memory_unsigned_integer (sp + (4 * (argi + 1)), 4);
+  return read_memory_unsigned_integer (sp + (4 * (argi + 1)), 4, byte_order);
 }
 
 static void
@@ -2686,6 +3548,8 @@ enum
   OT_BYTE = 0,
   OT_WORD,
   OT_LONG,
+  OT_QUAD,
+  OT_DQUAD,
 };
 
 /* i386 arith/logic operations */
@@ -2703,7 +3567,9 @@ enum
 
 struct i386_record_s
 {
+  struct gdbarch *gdbarch;
   struct regcache *regcache;
+  CORE_ADDR orig_addr;
   CORE_ADDR addr;
   int aflag;
   int dflag;
@@ -2711,20 +3577,27 @@ struct i386_record_s
   uint8_t modrm;
   uint8_t mod, reg, rm;
   int ot;
+  uint8_t rex_x;
+  uint8_t rex_b;
+  int rip_offset;
+  int popl_esp_hack;
+  const int *regmap;
 };
 
 /* Parse "modrm" part in current memory address that irp->addr point to
-   Return -1 if something wrong. */
+   Return -1 if something wrong.  */
 
 static int
 i386_record_modrm (struct i386_record_s *irp)
 {
+  struct gdbarch *gdbarch = irp->gdbarch;
+
   if (target_read_memory (irp->addr, &irp->modrm, 1))
     {
       if (record_debug)
        printf_unfiltered (_("Process record: error reading memory at "
-                            "addr 0x%s len = 1.\n"),
-                          paddr_nz (irp->addr));
+                            "addr %s len = 1.\n"),
+                          paddress (gdbarch, irp->addr));
       return -1;
     }
   irp->addr++;
@@ -2737,14 +3610,15 @@ i386_record_modrm (struct i386_record_s *irp)
 
 /* Get the memory address that current instruction  write to and set it to
    the argument "addr".
-   Return -1 if something wrong. */
+   Return -1 if something wrong.  */
 
 static int
-i386_record_lea_modrm_addr (struct i386_record_s *irp, uint32_t * addr)
+i386_record_lea_modrm_addr (struct i386_record_s *irp, uint64_t *addr)
 {
-  uint8_t tmpu8;
-  uint16_t tmpu16;
-  uint32_t tmpu32;
+  struct gdbarch *gdbarch = irp->gdbarch;
+  enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
+  gdb_byte buf[4];
+  ULONGEST offset64;
 
   *addr = 0;
   if (irp->aflag)
@@ -2752,25 +3626,27 @@ i386_record_lea_modrm_addr (struct i386_record_s *irp, uint32_t * addr)
       /* 32 bits */
       int havesib = 0;
       uint8_t scale = 0;
+      uint8_t byte;
       uint8_t index = 0;
       uint8_t base = irp->rm;
 
       if (base == 4)
        {
          havesib = 1;
-         if (target_read_memory (irp->addr, &tmpu8, 1))
+         if (target_read_memory (irp->addr, &byte, 1))
            {
              if (record_debug)
                printf_unfiltered (_("Process record: error reading memory "
-                                    "at addr 0x%s len = 1.\n"),
-                                  paddr_nz (irp->addr));
+                                    "at addr %s len = 1.\n"),
+                                  paddress (gdbarch, irp->addr));
              return -1;
            }
          irp->addr++;
-         scale = (tmpu8 >> 6) & 3;
-         index = ((tmpu8 >> 3) & 7);
-         base = (tmpu8 & 7);
+         scale = (byte >> 6) & 3;
+         index = ((byte >> 3) & 7) | irp->rex_x;
+         base = (byte & 7);
        }
+      base |= irp->rex_b;
 
       switch (irp->mod)
        {
@@ -2778,57 +3654,69 @@ i386_record_lea_modrm_addr (struct i386_record_s *irp, uint32_t * addr)
          if ((base & 7) == 5)
            {
              base = 0xff;
-             if (target_read_memory (irp->addr, (gdb_byte *) addr, 4))
+             if (target_read_memory (irp->addr, buf, 4))
                {
                  if (record_debug)
                    printf_unfiltered (_("Process record: error reading "
-                                        "memory at addr 0x%s len = 4.\n"),
-                                      paddr_nz (irp->addr));
+                                        "memory at addr %s len = 4.\n"),
+                                      paddress (gdbarch, irp->addr));
                  return -1;
                }
              irp->addr += 4;
-           }
-         else
-           {
-             *addr = 0;
+             *addr = extract_signed_integer (buf, 4, byte_order);
+             if (irp->regmap[X86_RECORD_R8_REGNUM] && !havesib)
+               *addr += irp->addr + irp->rip_offset;
            }
          break;
        case 1:
-         if (target_read_memory (irp->addr, &tmpu8, 1))
+         if (target_read_memory (irp->addr, buf, 1))
            {
              if (record_debug)
                printf_unfiltered (_("Process record: error reading memory "
-                                    "at addr 0x%s len = 1.\n"),
-                                  paddr_nz (irp->addr));
+                                    "at addr %s len = 1.\n"),
+                                  paddress (gdbarch, irp->addr));
              return -1;
            }
          irp->addr++;
-         *addr = (int8_t) tmpu8;
+         *addr = (int8_t) buf[0];
          break;
        case 2:
-         if (target_read_memory (irp->addr, (gdb_byte *) addr, 4))
+         if (target_read_memory (irp->addr, buf, 4))
            {
              if (record_debug)
                printf_unfiltered (_("Process record: error reading memory "
-                                    "at addr 0x%s len = 4.\n"),
-                                  paddr_nz (irp->addr));
+                                    "at addr %s len = 4.\n"),
+                                  paddress (gdbarch, irp->addr));
              return -1;
            }
+         *addr = extract_signed_integer (buf, 4, byte_order);
          irp->addr += 4;
          break;
        }
 
+      offset64 = 0;
       if (base != 0xff)
-       {
-         regcache_raw_read (irp->regcache, base, (gdb_byte *) & tmpu32);
-         *addr += tmpu32;
+        {
+         if (base == 4 && irp->popl_esp_hack)
+           *addr += irp->popl_esp_hack;
+         regcache_raw_read_unsigned (irp->regcache, irp->regmap[base],
+                                      &offset64);
        }
+      if (irp->aflag == 2)
+        {
+         *addr += offset64;
+        }
+      else
+        *addr = (uint32_t) (offset64 + *addr);
 
-      /* XXX: index == 4 is always invalid */
       if (havesib && (index != 4 || scale != 0))
        {
-         regcache_raw_read (irp->regcache, index, (gdb_byte *) & tmpu32);
-         *addr += tmpu32 << scale;
+         regcache_raw_read_unsigned (irp->regcache, irp->regmap[index],
+                                      &offset64);
+         if (irp->aflag == 2)
+           *addr += offset64 << scale;
+         else
+           *addr = (uint32_t) (*addr + (offset64 << scale));
        }
     }
   else
@@ -2839,129 +3727,147 @@ i386_record_lea_modrm_addr (struct i386_record_s *irp, uint32_t * addr)
        case 0:
          if (irp->rm == 6)
            {
-             if (target_read_memory
-                 (irp->addr, (gdb_byte *) & tmpu16, 2))
+             if (target_read_memory (irp->addr, buf, 2))
                {
                  if (record_debug)
                    printf_unfiltered (_("Process record: error reading "
-                                        "memory at addr 0x%s len = 2.\n"),
-                                      paddr_nz (irp->addr));
+                                        "memory at addr %s len = 2.\n"),
+                                      paddress (gdbarch, irp->addr));
                  return -1;
                }
              irp->addr += 2;
-             *addr = (int16_t) tmpu16;
+             *addr = extract_signed_integer (buf, 2, byte_order);
              irp->rm = 0;
              goto no_rm;
            }
-         else
-           {
-             *addr = 0;
-           }
          break;
        case 1:
-         if (target_read_memory (irp->addr, &tmpu8, 1))
+         if (target_read_memory (irp->addr, buf, 1))
            {
              if (record_debug)
                printf_unfiltered (_("Process record: error reading memory "
-                                    "at addr 0x%s len = 1.\n"),
-                                  paddr_nz (irp->addr));
+                                    "at addr %s len = 1.\n"),
+                                  paddress (gdbarch, irp->addr));
              return -1;
            }
          irp->addr++;
-         *addr = (int8_t) tmpu8;
+         *addr = (int8_t) buf[0];
          break;
        case 2:
-         if (target_read_memory (irp->addr, (gdb_byte *) & tmpu16, 2))
+         if (target_read_memory (irp->addr, buf, 2))
            {
              if (record_debug)
                printf_unfiltered (_("Process record: error reading memory "
-                                    "at addr 0x%s len = 2.\n"),
-                                  paddr_nz (irp->addr));
+                                    "at addr %s len = 2.\n"),
+                                  paddress (gdbarch, irp->addr));
              return -1;
            }
          irp->addr += 2;
-         *addr = (int16_t) tmpu16;
+         *addr = extract_signed_integer (buf, 2, byte_order);
          break;
        }
 
       switch (irp->rm)
        {
        case 0:
-         regcache_raw_read (irp->regcache, I386_EBX_REGNUM,
-                            (gdb_byte *) & tmpu32);
-         *addr += tmpu32;
-         regcache_raw_read (irp->regcache, I386_ESI_REGNUM,
-                            (gdb_byte *) & tmpu32);
-         *addr += tmpu32;
+         regcache_raw_read_unsigned (irp->regcache,
+                                     irp->regmap[X86_RECORD_REBX_REGNUM],
+                                      &offset64);
+         *addr = (uint32_t) (*addr + offset64);
+         regcache_raw_read_unsigned (irp->regcache,
+                                     irp->regmap[X86_RECORD_RESI_REGNUM],
+                                      &offset64);
+         *addr = (uint32_t) (*addr + offset64);
          break;
        case 1:
-         regcache_raw_read (irp->regcache, I386_EBX_REGNUM,
-                            (gdb_byte *) & tmpu32);
-         *addr += tmpu32;
-         regcache_raw_read (irp->regcache, I386_EDI_REGNUM,
-                            (gdb_byte *) & tmpu32);
-         *addr += tmpu32;
+         regcache_raw_read_unsigned (irp->regcache,
+                                     irp->regmap[X86_RECORD_REBX_REGNUM],
+                                      &offset64);
+         *addr = (uint32_t) (*addr + offset64);
+         regcache_raw_read_unsigned (irp->regcache,
+                                     irp->regmap[X86_RECORD_REDI_REGNUM],
+                                      &offset64);
+         *addr = (uint32_t) (*addr + offset64);
          break;
        case 2:
-         regcache_raw_read (irp->regcache, I386_EBP_REGNUM,
-                            (gdb_byte *) & tmpu32);
-         *addr += tmpu32;
-         regcache_raw_read (irp->regcache, I386_ESI_REGNUM,
-                            (gdb_byte *) & tmpu32);
-         *addr += tmpu32;
+         regcache_raw_read_unsigned (irp->regcache,
+                                     irp->regmap[X86_RECORD_REBP_REGNUM],
+                                      &offset64);
+         *addr = (uint32_t) (*addr + offset64);
+         regcache_raw_read_unsigned (irp->regcache,
+                                     irp->regmap[X86_RECORD_RESI_REGNUM],
+                                      &offset64);
+         *addr = (uint32_t) (*addr + offset64);
          break;
        case 3:
-         regcache_raw_read (irp->regcache, I386_EBP_REGNUM,
-                            (gdb_byte *) & tmpu32);
-         *addr += tmpu32;
-         regcache_raw_read (irp->regcache, I386_EDI_REGNUM,
-                            (gdb_byte *) & tmpu32);
-         *addr += tmpu32;
+         regcache_raw_read_unsigned (irp->regcache,
+                                     irp->regmap[X86_RECORD_REBP_REGNUM],
+                                      &offset64);
+         *addr = (uint32_t) (*addr + offset64);
+         regcache_raw_read_unsigned (irp->regcache,
+                                     irp->regmap[X86_RECORD_REDI_REGNUM],
+                                      &offset64);
+         *addr = (uint32_t) (*addr + offset64);
          break;
        case 4:
-         regcache_raw_read (irp->regcache, I386_ESI_REGNUM,
-                            (gdb_byte *) & tmpu32);
-         *addr += tmpu32;
+         regcache_raw_read_unsigned (irp->regcache,
+                                     irp->regmap[X86_RECORD_RESI_REGNUM],
+                                      &offset64);
+         *addr = (uint32_t) (*addr + offset64);
          break;
        case 5:
-         regcache_raw_read (irp->regcache, I386_EDI_REGNUM,
-                            (gdb_byte *) & tmpu32);
-         *addr += tmpu32;
+         regcache_raw_read_unsigned (irp->regcache,
+                                     irp->regmap[X86_RECORD_REDI_REGNUM],
+                                      &offset64);
+         *addr = (uint32_t) (*addr + offset64);
          break;
        case 6:
-         regcache_raw_read (irp->regcache, I386_EBP_REGNUM,
-                            (gdb_byte *) & tmpu32);
-         *addr += tmpu32;
+         regcache_raw_read_unsigned (irp->regcache,
+                                     irp->regmap[X86_RECORD_REBP_REGNUM],
+                                      &offset64);
+         *addr = (uint32_t) (*addr + offset64);
          break;
        case 7:
-         regcache_raw_read (irp->regcache, I386_EBX_REGNUM,
-                            (gdb_byte *) & tmpu32);
-         *addr += tmpu32;
+         regcache_raw_read_unsigned (irp->regcache,
+                                     irp->regmap[X86_RECORD_REBX_REGNUM],
+                                      &offset64);
+         *addr = (uint32_t) (*addr + offset64);
          break;
        }
       *addr &= 0xffff;
     }
 
-no_rm:
+ no_rm:
   return 0;
 }
 
 /* Record the value of the memory that willbe changed in current instruction
    to "record_arch_list".
-   Return -1 if something wrong. */
+   Return -1 if something wrong.  */
 
 static int
 i386_record_lea_modrm (struct i386_record_s *irp)
 {
-  uint32_t addr;
+  struct gdbarch *gdbarch = irp->gdbarch;
+  uint64_t addr;
 
-  if (irp->override)
+  if (irp->override >= 0)
     {
-      if (record_debug)
-       printf_unfiltered (_("Process record ignores the memory change "
-                            "of instruction at address 0x%s because it "
-                            "can't get the value of the segment register.\n"),
-                          paddr_nz (irp->addr));
+      if (record_memory_query)
+        {
+         int q;
+
+          target_terminal_ours ();
+          q = yquery (_("\
+Process record ignores the memory change of instruction at address %s\n\
+because it can't get the value of the segment register.\n\
+Do you want to stop the program?"),
+                      paddress (gdbarch, irp->orig_addr));
+            target_terminal_inferior ();
+            if (q)
+              return -1;
+        }
+
       return 0;
     }
 
@@ -2974,111 +3880,249 @@ i386_record_lea_modrm (struct i386_record_s *irp)
   return 0;
 }
 
+/* Record the push operation to "record_arch_list".
+   Return -1 if something wrong.  */
+
+static int
+i386_record_push (struct i386_record_s *irp, int size)
+{
+  ULONGEST addr;
+
+  if (record_arch_list_add_reg (irp->regcache,
+                               irp->regmap[X86_RECORD_RESP_REGNUM]))
+    return -1;
+  regcache_raw_read_unsigned (irp->regcache,
+                             irp->regmap[X86_RECORD_RESP_REGNUM],
+                             &addr);
+  if (record_arch_list_add_mem ((CORE_ADDR) addr - size, size))
+    return -1;
+
+  return 0;
+}
+
+
+/* Defines contents to record.  */
+#define I386_SAVE_FPU_REGS              0xfffd
+#define I386_SAVE_FPU_ENV               0xfffe
+#define I386_SAVE_FPU_ENV_REG_STACK     0xffff
+
+/* Record the value of floating point registers which will be changed
+   by the current instruction to "record_arch_list".  Return -1 if
+   something is wrong.  */
+
+static int i386_record_floats (struct gdbarch *gdbarch,
+                               struct i386_record_s *ir,
+                               uint32_t iregnum)
+{
+  struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
+  int i;
+
+  /* Oza: Because of floating point insn push/pop of fpu stack is going to
+     happen.  Currently we store st0-st7 registers, but we need not store all
+     registers all the time, in future we use ftag register and record only
+     those who are not marked as an empty.  */
+
+  if (I386_SAVE_FPU_REGS == iregnum)
+    {
+      for (i = I387_ST0_REGNUM (tdep); i <= I387_ST0_REGNUM (tdep) + 7; i++)
+        {
+          if (record_arch_list_add_reg (ir->regcache, i))
+            return -1;
+        }
+    }
+  else if (I386_SAVE_FPU_ENV == iregnum)
+    {
+      for (i = I387_FCTRL_REGNUM (tdep); i <= I387_FOP_REGNUM (tdep); i++)
+             {
+             if (record_arch_list_add_reg (ir->regcache, i))
+               return -1;
+             }
+    }
+  else if (I386_SAVE_FPU_ENV_REG_STACK == iregnum)
+    {
+      for (i = I387_ST0_REGNUM (tdep); i <= I387_FOP_REGNUM (tdep); i++)
+      {
+        if (record_arch_list_add_reg (ir->regcache, i))
+          return -1;
+      }
+    }
+  else if ((iregnum >= I387_ST0_REGNUM (tdep)) &&
+           (iregnum <= I387_FOP_REGNUM (tdep)))
+    {
+      if (record_arch_list_add_reg (ir->regcache,iregnum))
+        return -1;
+    }
+  else
+    {
+      /* Parameter error.  */
+      return -1;
+    }
+  if(I386_SAVE_FPU_ENV != iregnum)
+    {
+    for (i = I387_FCTRL_REGNUM (tdep); i <= I387_FOP_REGNUM (tdep); i++)
+      {
+      if (record_arch_list_add_reg (ir->regcache, i))
+        return -1;
+      }
+    }
+  return 0;
+}
+
 /* Parse the current instruction and record the values of the registers and
    memory that will be changed in current instruction to "record_arch_list".
-   Return -1 if something wrong. */
+   Return -1 if something wrong.  */
 
-static int
+#define I386_RECORD_ARCH_LIST_ADD_REG(regnum) \
+    record_arch_list_add_reg (ir.regcache, ir.regmap[(regnum)])
+
+int
 i386_process_record (struct gdbarch *gdbarch, struct regcache *regcache,
-                    CORE_ADDR addr)
+                    CORE_ADDR input_addr)
 {
+  enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
   int prefixes = 0;
-  uint8_t tmpu8;
-  uint16_t tmpu16;
-  uint32_t tmpu32;
+  int regnum = 0;
   uint32_t opcode;
+  uint8_t  opcode8;
+  ULONGEST addr;
+  gdb_byte buf[MAX_REGISTER_SIZE];
   struct i386_record_s ir;
+  struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
+  int rex = 0;
+  uint8_t rex_w = -1;
+  uint8_t rex_r = 0;
 
-  bzero (&ir, sizeof (struct i386_record_s));
+  memset (&ir, 0, sizeof (struct i386_record_s));
   ir.regcache = regcache;
-  ir.addr = addr;
+  ir.addr = input_addr;
+  ir.orig_addr = input_addr;
   ir.aflag = 1;
   ir.dflag = 1;
+  ir.override = -1;
+  ir.popl_esp_hack = 0;
+  ir.regmap = tdep->record_regmap;
+  ir.gdbarch = gdbarch;
 
   if (record_debug > 1)
     fprintf_unfiltered (gdb_stdlog, "Process record: i386_process_record "
-                                   "addr = 0x%s\n",
-                       paddr_nz (ir.addr));
+                                   "addr = %s\n",
+                       paddress (gdbarch, ir.addr));
 
   /* prefixes */
   while (1)
     {
-      if (target_read_memory (ir.addr, &tmpu8, 1))
+      if (target_read_memory (ir.addr, &opcode8, 1))
        {
          if (record_debug)
            printf_unfiltered (_("Process record: error reading memory at "
-                                "addr 0x%s len = 1.\n"),
-                              paddr_nz (ir.addr));
+                                "addr %s len = 1.\n"),
+                              paddress (gdbarch, ir.addr));
          return -1;
        }
       ir.addr++;
-      switch (tmpu8)
+      switch (opcode8) /* Instruction prefixes */
        {
-       case 0xf3:
+       case REPE_PREFIX_OPCODE:
          prefixes |= PREFIX_REPZ;
          break;
-       case 0xf2:
+       case REPNE_PREFIX_OPCODE:
          prefixes |= PREFIX_REPNZ;
          break;
-       case 0xf0:
+       case LOCK_PREFIX_OPCODE:
          prefixes |= PREFIX_LOCK;
          break;
-       case 0x2e:
-         ir.override = I386_CS_REGNUM;
+       case CS_PREFIX_OPCODE:
+         ir.override = X86_RECORD_CS_REGNUM;
          break;
-       case 0x36:
-         ir.override = I386_SS_REGNUM;
+       case SS_PREFIX_OPCODE:
+         ir.override = X86_RECORD_SS_REGNUM;
          break;
-       case 0x3e:
-         ir.override = I386_DS_REGNUM;
+       case DS_PREFIX_OPCODE:
+         ir.override = X86_RECORD_DS_REGNUM;
          break;
-       case 0x26:
-         ir.override = I386_ES_REGNUM;
+       case ES_PREFIX_OPCODE:
+         ir.override = X86_RECORD_ES_REGNUM;
          break;
-       case 0x64:
-         ir.override = I386_FS_REGNUM;
+       case FS_PREFIX_OPCODE:
+         ir.override = X86_RECORD_FS_REGNUM;
          break;
-       case 0x65:
-         ir.override = I386_GS_REGNUM;
+       case GS_PREFIX_OPCODE:
+         ir.override = X86_RECORD_GS_REGNUM;
          break;
-       case 0x66:
+       case DATA_PREFIX_OPCODE:
          prefixes |= PREFIX_DATA;
          break;
-       case 0x67:
+       case ADDR_PREFIX_OPCODE:
          prefixes |= PREFIX_ADDR;
          break;
+        case 0x40:     /* i386 inc %eax */
+        case 0x41:     /* i386 inc %ecx */
+        case 0x42:     /* i386 inc %edx */
+        case 0x43:     /* i386 inc %ebx */
+        case 0x44:     /* i386 inc %esp */
+        case 0x45:     /* i386 inc %ebp */
+        case 0x46:     /* i386 inc %esi */
+        case 0x47:     /* i386 inc %edi */
+        case 0x48:     /* i386 dec %eax */
+        case 0x49:     /* i386 dec %ecx */
+        case 0x4a:     /* i386 dec %edx */
+        case 0x4b:     /* i386 dec %ebx */
+        case 0x4c:     /* i386 dec %esp */
+        case 0x4d:     /* i386 dec %ebp */
+        case 0x4e:     /* i386 dec %esi */
+        case 0x4f:     /* i386 dec %edi */
+          if (ir.regmap[X86_RECORD_R8_REGNUM]) /* 64 bit target */
+            {
+               /* REX */
+               rex = 1;
+               rex_w = (opcode8 >> 3) & 1;
+               rex_r = (opcode8 & 0x4) << 1;
+               ir.rex_x = (opcode8 & 0x2) << 2;
+               ir.rex_b = (opcode8 & 0x1) << 3;
+            }
+         else                                  /* 32 bit target */
+           goto out_prefixes;
+          break;
        default:
          goto out_prefixes;
          break;
        }
     }
-out_prefixes:
-  if (prefixes & PREFIX_DATA)
-    ir.dflag ^= 1;
+ out_prefixes:
+  if (ir.regmap[X86_RECORD_R8_REGNUM] && rex_w == 1)
+    {
+      ir.dflag = 2;
+    }
+  else
+    {
+      if (prefixes & PREFIX_DATA)
+        ir.dflag ^= 1;
+    }
   if (prefixes & PREFIX_ADDR)
     ir.aflag ^= 1;
+  else if (ir.regmap[X86_RECORD_R8_REGNUM])
+    ir.aflag = 2;
 
-  /* now check op code */
-  opcode = (uint32_t) tmpu8;
-reswitch:
+  /* Now check op code.  */
+  opcode = (uint32_t) opcode8;
+ reswitch:
   switch (opcode)
     {
     case 0x0f:
-      if (target_read_memory (ir.addr, &tmpu8, 1))
+      if (target_read_memory (ir.addr, &opcode8, 1))
        {
          if (record_debug)
            printf_unfiltered (_("Process record: error reading memory at "
-                                "addr 0x%s len = 1.\n"),
-                              paddr_nz (ir.addr));
+                                "addr %s len = 1.\n"),
+                              paddress (gdbarch, ir.addr));
          return -1;
        }
       ir.addr++;
-      opcode = (uint16_t) tmpu8 | 0x0f00;
+      opcode = (uint32_t) opcode8 | 0x0f00;
       goto reswitch;
       break;
 
-      /* arith & logic */
-    case 0x00:
+    case 0x00:    /* arith & logic */
     case 0x01:
     case 0x02:
     case 0x03:
@@ -3135,8 +4179,7 @@ reswitch:
 
          switch ((opcode >> 1) & 3)
            {
-             /* OP Ev, Gv */
-           case 0:
+           case 0:    /* OP Ev, Gv */
              if (i386_record_modrm (&ir))
                return -1;
              if (ir.mod != 3)
@@ -3146,34 +4189,29 @@ reswitch:
                }
              else
                {
-                 if (ir.ot == OT_BYTE)
+                  ir.rm |= ir.rex_b;
+                 if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
                    ir.rm &= 0x3;
-                 if (record_arch_list_add_reg (ir.regcache, ir.rm))
-                   return -1;
+                 I386_RECORD_ARCH_LIST_ADD_REG (ir.rm);
                }
              break;
-             /* OP Gv, Ev */
-           case 1:
+           case 1:    /* OP Gv, Ev */
              if (i386_record_modrm (&ir))
                return -1;
-             if (ir.ot == OT_BYTE)
+              ir.reg |= rex_r;
+             if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
                ir.reg &= 0x3;
-             if (record_arch_list_add_reg (ir.regcache, ir.reg))
-               return -1;
+             I386_RECORD_ARCH_LIST_ADD_REG (ir.reg);
              break;
-             /* OP A, Iv */
-           case 2:
-             if (record_arch_list_add_reg (ir.regcache, I386_EAX_REGNUM))
-               return -1;
+           case 2:    /* OP A, Iv */
+             I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
              break;
            }
        }
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* GRP1 */
-    case 0x80:
+    case 0x80:    /* GRP1 */
     case 0x81:
     case 0x82:
     case 0x83:
@@ -3189,21 +4227,20 @@ reswitch:
 
          if (ir.mod != 3)
            {
+              if (opcode == 0x83)
+                ir.rip_offset = 1;
+              else
+                ir.rip_offset = (ir.ot > OT_LONG) ? 4 : (1 << ir.ot);
              if (i386_record_lea_modrm (&ir))
                return -1;
            }
          else
-           {
-             if (record_arch_list_add_reg (ir.regcache, ir.rm))
-               return -1;
-           }
+           I386_RECORD_ARCH_LIST_ADD_REG (ir.rm | ir.rex_b);
        }
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* inv */
-    case 0x40:
+    case 0x40:      /* inc */
     case 0x41:
     case 0x42:
     case 0x43:
@@ -3211,8 +4248,8 @@ reswitch:
     case 0x45:
     case 0x46:
     case 0x47:
-      /* dec */
-    case 0x48:
+
+    case 0x48:      /* dec */
     case 0x49:
     case 0x4a:
     case 0x4b:
@@ -3220,14 +4257,12 @@ reswitch:
     case 0x4d:
     case 0x4e:
     case 0x4f:
-      if (record_arch_list_add_reg (ir.regcache, opcode & 7))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-       return -1;
+
+      I386_RECORD_ARCH_LIST_ADD_REG (opcode & 7);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* GRP3 */
-    case 0xf6:
+    case 0xf6:    /* GRP3 */
     case 0xf7:
       if ((opcode & 1) == 0)
        ir.ot = OT_BYTE;
@@ -3236,30 +4271,16 @@ reswitch:
       if (i386_record_modrm (&ir))
        return -1;
 
+      if (ir.mod != 3 && ir.reg == 0)
+        ir.rip_offset = (ir.ot > OT_LONG) ? 4 : (1 << ir.ot);
+
       switch (ir.reg)
        {
-         /* test */
-       case 0:
-         if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-           return -1;
-         break;
-         /* not */
-       case 2:
-         if (ir.mod != 3)
-           {
-             if (i386_record_lea_modrm (&ir))
-               return -1;
-           }
-         else
-           {
-             if (ir.ot == OT_BYTE)
-               ir.rm &= 0x3;
-             if (record_arch_list_add_reg (ir.regcache, ir.rm))
-               return -1;
-           }
+       case 0:    /* test */
+         I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
          break;
-         /* neg */
-       case 3:
+       case 2:    /* not */
+       case 3:    /* neg */
          if (ir.mod != 3)
            {
              if (i386_record_lea_modrm (&ir))
@@ -3267,31 +4288,22 @@ reswitch:
            }
          else
            {
-             if (ir.ot == OT_BYTE)
+              ir.rm |= ir.rex_b;
+             if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
                ir.rm &= 0x3;
-             if (record_arch_list_add_reg (ir.regcache, ir.rm))
-               return -1;
+             I386_RECORD_ARCH_LIST_ADD_REG (ir.rm);
            }
-         if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-           return -1;
+         if (ir.reg == 3)  /* neg */
+           I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
          break;
-         /* mul */
-       case 4:
-         /* imul */
-       case 5:
-         /* div */
-       case 6:
-         /* idiv */
-       case 7:
-         if (record_arch_list_add_reg (ir.regcache, I386_EAX_REGNUM))
-           return -1;
+       case 4:    /* mul  */
+       case 5:    /* imul */
+       case 6:    /* div  */
+       case 7:    /* idiv */
+         I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
          if (ir.ot != OT_BYTE)
-           {
-             if (record_arch_list_add_reg (ir.regcache, I386_EDX_REGNUM))
-               return -1;
-           }
-         if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-           return -1;
+           I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REDX_REGNUM);
+         I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
          break;
        default:
          ir.addr -= 2;
@@ -3301,14 +4313,8 @@ reswitch:
        }
       break;
 
-      /* GRP4 */
-    case 0xfe:
-      /* GRP5 */
-    case 0xff:
-      if ((opcode & 1) == 0)
-       ir.ot = OT_BYTE;
-      else
-       ir.ot = ir.dflag + OT_WORD;
+    case 0xfe:    /* GRP4 */
+    case 0xff:    /* GRP5 */
       if (i386_record_modrm (&ir))
        return -1;
       if (ir.reg >= 2 && opcode == 0xfe)
@@ -3317,13 +4323,14 @@ reswitch:
          opcode = opcode << 8 | ir.modrm;
          goto no_support;
        }
-
       switch (ir.reg)
        {
-         /* inc */
-       case 0:
-         /* dec */
-       case 1:
+       case 0:    /* inc */
+       case 1:    /* dec */
+          if ((opcode & 1) == 0)
+           ir.ot = OT_BYTE;
+          else
+           ir.ot = ir.dflag + OT_WORD;
          if (ir.mod != 3)
            {
              if (i386_record_lea_modrm (&ir))
@@ -3331,42 +4338,35 @@ reswitch:
            }
          else
            {
-             if (ir.ot == OT_BYTE)
+             ir.rm |= ir.rex_b;
+             if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
                ir.rm &= 0x3;
-             if (record_arch_list_add_reg (ir.regcache, ir.rm))
-               return -1;
+             I386_RECORD_ARCH_LIST_ADD_REG (ir.rm);
            }
-         if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-           return -1;
+         I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
          break;
-         /* call */
-       case 2:
-         /* push */
-       case 6:
-         if (record_arch_list_add_reg (ir.regcache, I386_ESP_REGNUM))
-           return -1;
-         regcache_raw_read (ir.regcache, I386_ESP_REGNUM,
-                            (gdb_byte *) & tmpu32);
-         if (record_arch_list_add_mem
-             ((CORE_ADDR) tmpu32 - (1 << (ir.dflag + 1)), (1 << (ir.dflag + 1))))
+       case 2:    /* call */
+          if (ir.regmap[X86_RECORD_R8_REGNUM] && ir.dflag)
+            ir.dflag = 2;
+         if (i386_record_push (&ir, 1 << (ir.dflag + 1)))
            return -1;
+         I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
          break;
-         /* lcall */
-       case 3:
-         if (record_arch_list_add_reg (ir.regcache, I386_ESP_REGNUM))
-           return -1;
-         if (record_arch_list_add_reg (ir.regcache, I386_CS_REGNUM))
-           return -1;
-         regcache_raw_read (ir.regcache, I386_ESP_REGNUM,
-                            (gdb_byte *) & tmpu32);
-         if (record_arch_list_add_mem
-             ((CORE_ADDR) tmpu32 - (1 << (ir.dflag + 2)), (1 << (ir.dflag + 2))))
+       case 3:    /* lcall */
+         I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_CS_REGNUM);
+         if (i386_record_push (&ir, 1 << (ir.dflag + 1)))
            return -1;
+         I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
          break;
-         /* jmp */
-       case 4:
-         /* ljmp */
-       case 5:
+       case 4:    /* jmp  */
+       case 5:    /* ljmp */
+         I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
+         break;
+       case 6:    /* push */
+          if (ir.regmap[X86_RECORD_R8_REGNUM] && ir.dflag)
+            ir.dflag = 2;
+         if (i386_record_push (&ir, 1 << (ir.dflag + 1)))
+           return -1;
          break;
        default:
          ir.addr -= 2;
@@ -3376,46 +4376,40 @@ reswitch:
        }
       break;
 
-      /* test */
-    case 0x84:
+    case 0x84:    /* test */
     case 0x85:
     case 0xa8:
     case 0xa9:
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* CWDE/CBW */
-    case 0x98:
-      if (record_arch_list_add_reg (ir.regcache, I386_EAX_REGNUM))
-       return -1;
+    case 0x98:    /* CWDE/CBW */
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
       break;
 
-      /* CDQ/CWD */
-    case 0x99:
-      if (record_arch_list_add_reg (ir.regcache, I386_EAX_REGNUM))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_EDX_REGNUM))
-       return -1;
+    case 0x99:    /* CDQ/CWD */
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REDX_REGNUM);
       break;
 
-      /* imul */
-    case 0x0faf:
+    case 0x0faf:  /* imul */
     case 0x69:
     case 0x6b:
       ir.ot = ir.dflag + OT_WORD;
       if (i386_record_modrm (&ir))
        return -1;
-      if (ir.ot == OT_BYTE)
+      if (opcode == 0x69)
+        ir.rip_offset = (ir.ot > OT_LONG) ? 4 : (1 << ir.ot);
+      else if (opcode == 0x6b)
+        ir.rip_offset = 1;
+      ir.reg |= rex_r;
+      if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
        ir.reg &= 0x3;
-      if (record_arch_list_add_reg (ir.regcache, ir.reg))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG (ir.reg);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* xadd */
-    case 0x0fc0:
+    case 0x0fc0:  /* xadd */
     case 0x0fc1:
       if ((opcode & 1) == 0)
        ir.ot = OT_BYTE;
@@ -3423,32 +4417,28 @@ reswitch:
        ir.ot = ir.dflag + OT_WORD;
       if (i386_record_modrm (&ir))
        return -1;
+      ir.reg |= rex_r;
       if (ir.mod == 3)
        {
-         if (ir.ot == OT_BYTE)
+         if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
            ir.reg &= 0x3;
-         if (record_arch_list_add_reg (ir.regcache, ir.reg))
-           return -1;
-         if (ir.ot == OT_BYTE)
+         I386_RECORD_ARCH_LIST_ADD_REG (ir.reg);
+         if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
            ir.rm &= 0x3;
-         if (record_arch_list_add_reg (ir.regcache, ir.rm))
-           return -1;
+         I386_RECORD_ARCH_LIST_ADD_REG (ir.rm);
        }
       else
        {
          if (i386_record_lea_modrm (&ir))
            return -1;
-         if (ir.ot == OT_BYTE)
+         if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
            ir.reg &= 0x3;
-         if (record_arch_list_add_reg (ir.regcache, ir.reg))
-           return -1;
+         I386_RECORD_ARCH_LIST_ADD_REG (ir.reg);
        }
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* cmpxchg */
-    case 0x0fb0:
+    case 0x0fb0:  /* cmpxchg */
     case 0x0fb1:
       if ((opcode & 1) == 0)
        ir.ot = OT_BYTE;
@@ -3458,26 +4448,22 @@ reswitch:
        return -1;
       if (ir.mod == 3)
        {
-         if (record_arch_list_add_reg (ir.regcache, I386_EAX_REGNUM))
-           return -1;
-         if (ir.ot == OT_BYTE)
+          ir.reg |= rex_r;
+         I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
+         if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
            ir.reg &= 0x3;
-         if (record_arch_list_add_reg (ir.regcache, ir.reg))
-           return -1;
+         I386_RECORD_ARCH_LIST_ADD_REG (ir.reg);
        }
       else
        {
-         if (record_arch_list_add_reg (ir.regcache, I386_EAX_REGNUM))
-           return -1;
+         I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
          if (i386_record_lea_modrm (&ir))
            return -1;
        }
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* cmpxchg8b */
-    case 0x0fc7:
+    case 0x0fc7:    /* cmpxchg8b */
       if (i386_record_modrm (&ir))
        return -1;
       if (ir.mod == 3)
@@ -3486,18 +4472,14 @@ reswitch:
          opcode = opcode << 8 | ir.modrm;
          goto no_support;
        }
-      if (record_arch_list_add_reg (ir.regcache, I386_EAX_REGNUM))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_EDX_REGNUM))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REDX_REGNUM);
       if (i386_record_lea_modrm (&ir))
        return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* push */
-    case 0x50:
+    case 0x50:    /* push */
     case 0x51:
     case 0x52:
     case 0x53:
@@ -3507,29 +4489,47 @@ reswitch:
     case 0x57:
     case 0x68:
     case 0x6a:
-      /* push es */
-    case 0x06:
-      /* push cs */
-    case 0x0e:
-      /* push ss */
-    case 0x16:
-      /* push ds */
-    case 0x1e:
-      /* push fs */
-    case 0x0fa0:
-      /* push gs */
-    case 0x0fa8:
-      if (record_arch_list_add_reg (ir.regcache, I386_ESP_REGNUM))
+      if (ir.regmap[X86_RECORD_R8_REGNUM] && ir.dflag)
+        ir.dflag = 2;
+      if (i386_record_push (&ir, 1 << (ir.dflag + 1)))
        return -1;
-      regcache_raw_read (ir.regcache, I386_ESP_REGNUM,
-                        (gdb_byte *) & tmpu32);
-      if (record_arch_list_add_mem
-         ((CORE_ADDR) tmpu32 - (1 << (ir.dflag + 1)), (1 << (ir.dflag + 1))))
+      break;
+
+    case 0x06:    /* push es */
+    case 0x0e:    /* push cs */
+    case 0x16:    /* push ss */
+    case 0x1e:    /* push ds */
+      if (ir.regmap[X86_RECORD_R8_REGNUM])
+        {
+         ir.addr -= 1;
+         goto no_support;
+       }
+      if (i386_record_push (&ir, 1 << (ir.dflag + 1)))
+       return -1;
+      break;
+
+    case 0x0fa0:    /* push fs */
+    case 0x0fa8:    /* push gs */
+      if (ir.regmap[X86_RECORD_R8_REGNUM])
+        {
+         ir.addr -= 2;
+         goto no_support;
+       }
+      if (i386_record_push (&ir, 1 << (ir.dflag + 1)))
+       return -1;
+      break;
+
+    case 0x60:    /* pusha */
+      if (ir.regmap[X86_RECORD_R8_REGNUM])
+        {
+         ir.addr -= 1;
+         goto no_support;
+       }
+      if (i386_record_push (&ir, 1 << (ir.dflag + 4)))
        return -1;
       break;
 
-      /* pop */
-    case 0x58:
+    case 0x58:    /* pop */
     case 0x59:
     case 0x5a:
     case 0x5b:
@@ -3537,117 +4537,99 @@ reswitch:
     case 0x5d:
     case 0x5e:
     case 0x5f:
-      ir.ot = ir.dflag + OT_WORD;
-      if (record_arch_list_add_reg (ir.regcache, I386_ESP_REGNUM))
-       return -1;
-      if (ir.ot == OT_BYTE)
-       opcode &= 0x3;
-      if (record_arch_list_add_reg (ir.regcache, opcode & 0x7))
-       return -1;
-      break;
-
-      /* pusha */
-    case 0x60:
-      if (record_arch_list_add_reg (ir.regcache, I386_ESP_REGNUM))
-       return -1;
-      regcache_raw_read (ir.regcache, I386_ESP_REGNUM,
-                        (gdb_byte *) & tmpu32);
-      if (record_arch_list_add_mem
-         ((CORE_ADDR) tmpu32 - (1 << (ir.dflag + 4)), (1 << (ir.dflag + 4))))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RESP_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG ((opcode & 0x7) | ir.rex_b);
       break;
 
-      /* popa */
-    case 0x61:
-      for (tmpu8 = I386_EAX_REGNUM; tmpu8 <= I386_EDI_REGNUM; tmpu8++)
-       {
-         if (record_arch_list_add_reg (ir.regcache, tmpu8))
-           return -1;
+    case 0x61:    /* popa */
+      if (ir.regmap[X86_RECORD_R8_REGNUM])
+        {
+         ir.addr -= 1;
+         goto no_support;
        }
+      for (regnum = X86_RECORD_REAX_REGNUM; 
+          regnum <= X86_RECORD_REDI_REGNUM;
+          regnum++)
+       I386_RECORD_ARCH_LIST_ADD_REG (regnum);
       break;
 
-      /* pop */
-    case 0x8f:
-      ir.ot = ir.dflag + OT_WORD;
+    case 0x8f:    /* pop */
+      if (ir.regmap[X86_RECORD_R8_REGNUM])
+       ir.ot = ir.dflag ? OT_QUAD : OT_WORD;
+      else
+        ir.ot = ir.dflag + OT_WORD;
       if (i386_record_modrm (&ir))
        return -1;
       if (ir.mod == 3)
-       {
-         if (record_arch_list_add_reg (ir.regcache, ir.rm))
-           return -1;
-       }
+       I386_RECORD_ARCH_LIST_ADD_REG (ir.rm | ir.rex_b);
       else
        {
+          ir.popl_esp_hack = 1 << ir.ot;
          if (i386_record_lea_modrm (&ir))
            return -1;
        }
-      if (record_arch_list_add_reg (ir.regcache, I386_ESP_REGNUM))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RESP_REGNUM);
       break;
 
-      /* enter */
-    case 0xc8:
-      if (record_arch_list_add_reg (ir.regcache, I386_ESP_REGNUM))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_EBP_REGNUM))
-       return -1;
-      regcache_raw_read (ir.regcache, I386_ESP_REGNUM,
-                        (gdb_byte *) & tmpu32);
-      if (record_arch_list_add_mem
-         ((CORE_ADDR) tmpu32 - (1 << (ir.dflag + 1)), (1 << (ir.dflag + 1))))
+    case 0xc8:    /* enter */
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REBP_REGNUM);
+      if (ir.regmap[X86_RECORD_R8_REGNUM] && ir.dflag)
+        ir.dflag = 2;
+      if (i386_record_push (&ir, 1 << (ir.dflag + 1)))
        return -1;
       break;
 
-      /* leave */
-    case 0xc9:
-      if (record_arch_list_add_reg (ir.regcache, I386_ESP_REGNUM))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_EBP_REGNUM))
-       return -1;
+    case 0xc9:    /* leave */
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RESP_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REBP_REGNUM);
       break;
 
-      /* pop es */
-    case 0x07:
-      if (record_arch_list_add_reg (ir.regcache, I386_ESP_REGNUM))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_ES_REGNUM))
-       return -1;
+    case 0x07:    /* pop es */
+      if (ir.regmap[X86_RECORD_R8_REGNUM])
+        {
+         ir.addr -= 1;
+         goto no_support;
+       }
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RESP_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_ES_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* pop ss */
-    case 0x17:
-      if (record_arch_list_add_reg (ir.regcache, I386_ESP_REGNUM))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_SS_REGNUM))
-       return -1;
+    case 0x17:    /* pop ss */
+      if (ir.regmap[X86_RECORD_R8_REGNUM])
+        {
+         ir.addr -= 1;
+         goto no_support;
+       }
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RESP_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_SS_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* pop ds */
-    case 0x1f:
-      if (record_arch_list_add_reg (ir.regcache, I386_ESP_REGNUM))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_DS_REGNUM))
-       return -1;
+    case 0x1f:    /* pop ds */
+      if (ir.regmap[X86_RECORD_R8_REGNUM])
+        {
+         ir.addr -= 1;
+         goto no_support;
+       }
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RESP_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_DS_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* pop fs */
-    case 0x0fa1:
-      if (record_arch_list_add_reg (ir.regcache, I386_ESP_REGNUM))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_FS_REGNUM))
-       return -1;
+    case 0x0fa1:    /* pop fs */
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RESP_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_FS_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* pop gs */
-    case 0x0fa9:
-      if (record_arch_list_add_reg (ir.regcache, I386_ESP_REGNUM))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_GS_REGNUM))
-       return -1;
+    case 0x0fa9:    /* pop gs */
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RESP_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_GS_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* mov */
-    case 0x88:
+    case 0x88:    /* mov */
     case 0x89:
     case 0xc6:
     case 0xc7:
@@ -3661,60 +4643,74 @@ reswitch:
 
       if (ir.mod != 3)
        {
+          if (opcode == 0xc6 || opcode == 0xc7)
+           ir.rip_offset = (ir.ot > OT_LONG) ? 4 : (1 << ir.ot);
          if (i386_record_lea_modrm (&ir))
            return -1;
        }
       else
        {
-         if (ir.ot == OT_BYTE)
+          if (opcode == 0xc6 || opcode == 0xc7)
+           ir.rm |= ir.rex_b;
+         if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
            ir.rm &= 0x3;
-         if (record_arch_list_add_reg (ir.regcache, ir.rm))
-           return -1;
+         I386_RECORD_ARCH_LIST_ADD_REG (ir.rm);
        }
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-       return -1;
       break;
-      /* mov */
-    case 0x8a:
+
+    case 0x8a:    /* mov */
     case 0x8b:
       if ((opcode & 1) == 0)
        ir.ot = OT_BYTE;
       else
        ir.ot = ir.dflag + OT_WORD;
-
       if (i386_record_modrm (&ir))
        return -1;
-
-      if (ir.ot == OT_BYTE)
+      ir.reg |= rex_r;
+      if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
        ir.reg &= 0x3;
-      if (record_arch_list_add_reg (ir.regcache, ir.reg))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG (ir.reg);
+      break;
 
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
+    case 0x8c:    /* mov seg */
+      if (i386_record_modrm (&ir))
        return -1;
+      if (ir.reg > 5)
+       {
+         ir.addr -= 2;
+         opcode = opcode << 8 | ir.modrm;
+         goto no_support;
+       }
+
+      if (ir.mod == 3)
+       I386_RECORD_ARCH_LIST_ADD_REG (ir.rm);
+      else
+       {
+         ir.ot = OT_WORD;
+         if (i386_record_lea_modrm (&ir))
+           return -1;
+       }
       break;
 
-      /* mov seg */
-    case 0x8e:
+    case 0x8e:    /* mov seg */
       if (i386_record_modrm (&ir))
        return -1;
-
       switch (ir.reg)
        {
        case 0:
-         tmpu8 = I386_ES_REGNUM;
+         regnum = X86_RECORD_ES_REGNUM;
          break;
        case 2:
-         tmpu8 = I386_SS_REGNUM;
+         regnum = X86_RECORD_SS_REGNUM;
          break;
        case 3:
-         tmpu8 = I386_DS_REGNUM;
+         regnum = X86_RECORD_DS_REGNUM;
          break;
        case 4:
-         tmpu8 = I386_FS_REGNUM;
+         regnum = X86_RECORD_FS_REGNUM;
          break;
        case 5:
-         tmpu8 = I386_GS_REGNUM;
+         regnum = X86_RECORD_GS_REGNUM;
          break;
        default:
          ir.addr -= 2;
@@ -3722,137 +4718,112 @@ reswitch:
          goto no_support;
          break;
        }
-      if (record_arch_list_add_reg (ir.regcache, tmpu8))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG (regnum);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
+      break;
 
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
+    case 0x0fb6:    /* movzbS */
+    case 0x0fb7:    /* movzwS */
+    case 0x0fbe:    /* movsbS */
+    case 0x0fbf:    /* movswS */
+      if (i386_record_modrm (&ir))
        return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG (ir.reg | rex_r);
       break;
 
-      /* mov seg */
-    case 0x8c:
+    case 0x8d:      /* lea */
       if (i386_record_modrm (&ir))
        return -1;
-      if (ir.reg > 5)
+      if (ir.mod == 3)
        {
          ir.addr -= 2;
          opcode = opcode << 8 | ir.modrm;
          goto no_support;
        }
-
-      if (ir.mod == 3)
-       {
-         if (record_arch_list_add_reg (ir.regcache, ir.rm))
-           return -1;
-       }
-      else
-       {
-         ir.ot = OT_WORD;
-         if (i386_record_lea_modrm (&ir))
-           return -1;
-       }
-
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-       return -1;
-      break;
-
-      /* movzbS */
-    case 0x0fb6:
-      /* movzwS */
-    case 0x0fb7:
-      /* movsbS */
-    case 0x0fbe:
-      /* movswS */
-    case 0x0fbf:
-      if (i386_record_modrm (&ir))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, ir.reg))
-       return -1;
-      break;
-
-      /* lea */
-    case 0x8d:
-      if (i386_record_modrm (&ir))
-       return -1;
-      if (ir.mod == 3)
-       {
-         ir.addr -= 2;
-         opcode = opcode << 8 | ir.modrm;
-         goto no_support;
-       }
-
       ir.ot = ir.dflag;
-      if (ir.ot == OT_BYTE)
+      ir.reg |= rex_r;
+      if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
        ir.reg &= 0x3;
-      if (record_arch_list_add_reg (ir.regcache, ir.reg))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG (ir.reg);
       break;
 
-      /* mov EAX */
-    case 0xa0:
+    case 0xa0:    /* mov EAX */
     case 0xa1:
-      /* xlat */
-    case 0xd7:
-      if (record_arch_list_add_reg (ir.regcache, I386_EAX_REGNUM))
-       return -1;
+
+    case 0xd7:    /* xlat */
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
       break;
 
-      /* mov EAX */
-    case 0xa2:
+    case 0xa2:    /* mov EAX */
     case 0xa3:
-      {
-       uint32_t addr;
-
-       if (ir.override)
-         {
-           if (record_debug)
-             printf_unfiltered (_("Process record ignores the memory change "
-                                  "of instruction at address 0x%s because "
-                                  "it can't get the value of the segment "
-                                  "register.\n"),
-                                paddr_nz (ir.addr));
-         }
-       else
-         {
-           if ((opcode & 1) == 0)
-             ir.ot = OT_BYTE;
-           else
-             ir.ot = ir.dflag + OT_WORD;
-           if (ir.aflag)
-             {
-               if (target_read_memory
-                   (ir.addr, (gdb_byte *) & addr, 4))
-                 {
-                   if (record_debug)
-                     printf_unfiltered (_("Process record: error reading "
-                                          "memory at addr 0x%s len = 4.\n"),
-                                        paddr_nz (ir.addr));
-                   return -1;
-                 }
-               ir.addr += 4;
-             }
-           else
-             {
-               if (target_read_memory
-                   (ir.addr, (gdb_byte *) & tmpu16, 4))
-                 {
-                   if (record_debug)
-                     printf_unfiltered (_("Process record: error reading "
-                                          "memory at addr 0x%s len = 4.\n"),
-                                        paddr_nz (ir.addr));
-                   return -1;
-                 }
-               ir.addr += 2;
-               addr = tmpu16;
-             }
-           if (record_arch_list_add_mem (addr, 1 << ir.ot))
-             return -1;
-         }
-      }
+      if (ir.override >= 0)
+        {
+          if (record_memory_query)
+            {
+             int q;
+
+              target_terminal_ours ();
+              q = yquery (_("\
+Process record ignores the memory change of instruction at address %s\n\
+because it can't get the value of the segment register.\n\
+Do you want to stop the program?"),
+                          paddress (gdbarch, ir.orig_addr));
+              target_terminal_inferior ();
+              if (q)
+                return -1;
+            }
+       }
+      else
+       {
+          if ((opcode & 1) == 0)
+           ir.ot = OT_BYTE;
+         else
+           ir.ot = ir.dflag + OT_WORD;
+         if (ir.aflag == 2)
+           {
+              if (target_read_memory (ir.addr, buf, 8))
+               {
+                 if (record_debug)
+                   printf_unfiltered (_("Process record: error reading "
+                                        "memory at addr 0x%s len = 8.\n"),
+                                      paddress (gdbarch, ir.addr));
+                 return -1;
+               }
+             ir.addr += 8;
+             addr = extract_unsigned_integer (buf, 8, byte_order);
+           }
+          else if (ir.aflag)
+           {
+              if (target_read_memory (ir.addr, buf, 4))
+               {
+                 if (record_debug)
+                   printf_unfiltered (_("Process record: error reading "
+                                        "memory at addr 0x%s len = 4.\n"),
+                                      paddress (gdbarch, ir.addr));
+                 return -1;
+               }
+             ir.addr += 4;
+              addr = extract_unsigned_integer (buf, 4, byte_order);
+           }
+          else
+           {
+              if (target_read_memory (ir.addr, buf, 2))
+               {
+                 if (record_debug)
+                   printf_unfiltered (_("Process record: error reading "
+                                        "memory at addr 0x%s len = 2.\n"),
+                                      paddress (gdbarch, ir.addr));
+                 return -1;
+               }
+             ir.addr += 2;
+              addr = extract_unsigned_integer (buf, 2, byte_order);
+           }
+         if (record_arch_list_add_mem (addr, 1 << ir.ot))
+           return -1;
+        }
       break;
 
-      /* mov R, Ib */
-    case 0xb0:
+    case 0xb0:    /* mov R, Ib */
     case 0xb1:
     case 0xb2:
     case 0xb3:
@@ -3860,12 +4831,12 @@ reswitch:
     case 0xb5:
     case 0xb6:
     case 0xb7:
-      if (record_arch_list_add_reg (ir.regcache, (opcode & 0x7) & 0x3))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG ((ir.regmap[X86_RECORD_R8_REGNUM])
+                                        ? ((opcode & 0x7) | ir.rex_b)
+                                       : ((opcode & 0x7) & 0x3));
       break;
 
-      /* mov R, Iv */
-    case 0xb8:
+    case 0xb8:    /* mov R, Iv */
     case 0xb9:
     case 0xba:
     case 0xbb:
@@ -3873,64 +4844,57 @@ reswitch:
     case 0xbd:
     case 0xbe:
     case 0xbf:
-      if (record_arch_list_add_reg (ir.regcache, opcode & 0x7))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG ((opcode & 0x7) | ir.rex_b);
       break;
 
-      /* xchg R, EAX */
-    case 0x91:
+    case 0x91:    /* xchg R, EAX */
     case 0x92:
     case 0x93:
     case 0x94:
     case 0x95:
     case 0x96:
     case 0x97:
-      if (record_arch_list_add_reg (ir.regcache, I386_EAX_REGNUM))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, opcode & 0x7))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (opcode & 0x7);
       break;
 
-      /* xchg Ev, Gv */
-    case 0x86:
+    case 0x86:    /* xchg Ev, Gv */
     case 0x87:
       if ((opcode & 1) == 0)
        ir.ot = OT_BYTE;
       else
        ir.ot = ir.dflag + OT_WORD;
-
       if (i386_record_modrm (&ir))
        return -1;
-
       if (ir.mod == 3)
        {
-         if (ir.ot == OT_BYTE)
+         ir.rm |= ir.rex_b;
+         if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
            ir.rm &= 0x3;
-         if (record_arch_list_add_reg (ir.regcache, ir.rm))
-           return -1;
+         I386_RECORD_ARCH_LIST_ADD_REG (ir.rm);
        }
       else
        {
          if (i386_record_lea_modrm (&ir))
            return -1;
        }
-
-      if (ir.ot == OT_BYTE)
+      ir.reg |= rex_r;
+      if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
        ir.reg &= 0x3;
-      if (record_arch_list_add_reg (ir.regcache, ir.reg))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG (ir.reg);
       break;
 
-      /* les Gv */
-    case 0xc4:
-      /* lds Gv */
-    case 0xc5:
-      /* lss Gv */
-    case 0x0fb2:
-      /* lfs Gv */
-    case 0x0fb4:
-      /* lgs Gv */
-    case 0x0fb5:
+    case 0xc4:    /* les Gv */
+    case 0xc5:    /* lds Gv */
+      if (ir.regmap[X86_RECORD_R8_REGNUM])
+        {
+         ir.addr -= 1;
+         goto no_support;
+       }
+      /* FALLTHROUGH */
+    case 0x0fb2:    /* lss Gv */
+    case 0x0fb4:    /* lfs Gv */
+    case 0x0fb5:    /* lgs Gv */
       if (i386_record_modrm (&ir))
        return -1;
       if (ir.mod == 3)
@@ -3942,39 +4906,30 @@ reswitch:
          opcode = opcode << 8 | ir.modrm;
          goto no_support;
        }
-
       switch (opcode)
        {
-         /* les Gv */
-       case 0xc4:
-         tmpu8 = I386_ES_REGNUM;
+       case 0xc4:    /* les Gv */
+         regnum = X86_RECORD_ES_REGNUM;
          break;
-         /* lds Gv */
-       case 0xc5:
-         tmpu8 = I386_DS_REGNUM;
+       case 0xc5:    /* lds Gv */
+         regnum = X86_RECORD_DS_REGNUM;
          break;
-         /* lss Gv */
-       case 0x0fb2:
-         tmpu8 = I386_SS_REGNUM;
+       case 0x0fb2:  /* lss Gv */
+         regnum = X86_RECORD_SS_REGNUM;
          break;
-         /* lfs Gv */
-       case 0x0fb4:
-         tmpu8 = I386_FS_REGNUM;
+       case 0x0fb4:  /* lfs Gv */
+         regnum = X86_RECORD_FS_REGNUM;
          break;
-         /* lgs Gv */
-       case 0x0fb5:
-         tmpu8 = I386_GS_REGNUM;
+       case 0x0fb5:  /* lgs Gv */
+         regnum = X86_RECORD_GS_REGNUM;
          break;
        }
-      if (record_arch_list_add_reg (ir.regcache, tmpu8))
-       return -1;
-
-      if (record_arch_list_add_reg (ir.regcache, ir.reg))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG (regnum);
+      I386_RECORD_ARCH_LIST_ADD_REG (ir.reg | rex_r);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* shifts */
-    case 0xc0:
+    case 0xc0:    /* shifts */
     case 0xc1:
     case 0xd0:
     case 0xd1:
@@ -3984,10 +4939,8 @@ reswitch:
        ir.ot = OT_BYTE;
       else
        ir.ot = ir.dflag + OT_WORD;
-
       if (i386_record_modrm (&ir))
        return -1;
-
       if (ir.mod != 3 && (opcode == 0xd2 || opcode == 0xd3))
        {
          if (i386_record_lea_modrm (&ir))
@@ -3995,14 +4948,12 @@ reswitch:
        }
       else
        {
-         if (ir.ot == OT_BYTE)
+         ir.rm |= ir.rex_b;
+         if (ir.ot == OT_BYTE && !ir.regmap[X86_RECORD_R8_REGNUM])
            ir.rm &= 0x3;
-         if (record_arch_list_add_reg (ir.regcache, ir.rm))
-           return -1;
+         I386_RECORD_ARCH_LIST_ADD_REG (ir.rm);
        }
-
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
     case 0x0fa4:
@@ -4023,9 +4974,7 @@ reswitch:
        }
       break;
 
-      /* floats */
-      /* It just record the memory change of instrcution. */
-    case 0xd8:
+    case 0xd8:    /* Floats.  */
     case 0xd9:
     case 0xda:
     case 0xdb:
@@ -4038,45 +4987,56 @@ reswitch:
       ir.reg |= ((opcode & 7) << 3);
       if (ir.mod != 3)
        {
-         /* memory */
-         uint32_t addr;
+         /* Memory.  */
+         uint64_t addr64;
 
-         if (i386_record_lea_modrm_addr (&ir, &addr))
+         if (i386_record_lea_modrm_addr (&ir, &addr64))
            return -1;
          switch (ir.reg)
            {
-           case 0x00:
-           case 0x01:
            case 0x02:
+            case 0x12:
+            case 0x22:
+            case 0x32:
+             /* For fcom, ficom nothing to do.  */
+              break;
            case 0x03:
+            case 0x13:
+            case 0x23:
+            case 0x33:
+             /* For fcomp, ficomp pop FPU stack, store all.  */
+              if (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_REGS))
+                return -1;
+              break;
+            case 0x00:
+            case 0x01:
            case 0x04:
            case 0x05:
            case 0x06:
            case 0x07:
            case 0x10:
            case 0x11:
-           case 0x12:
-           case 0x13:
            case 0x14:
            case 0x15:
            case 0x16:
            case 0x17:
            case 0x20:
            case 0x21:
-           case 0x22:
-           case 0x23:
            case 0x24:
            case 0x25:
            case 0x26:
            case 0x27:
            case 0x30:
            case 0x31:
-           case 0x32:
-           case 0x33:
            case 0x34:
            case 0x35:
            case 0x36:
            case 0x37:
+              /* For fadd, fmul, fsub, fsubr, fdiv, fdivr, fiadd, fimul,
+                 fisub, fisubr, fidiv, fidivr, modR/M.reg is an extension
+                 of code,  always affects st(0) register.  */
+              if (i386_record_floats (gdbarch, &ir, I387_ST0_REGNUM (tdep)))
+                return -1;
              break;
            case 0x08:
            case 0x0a:
@@ -4085,6 +5045,7 @@ reswitch:
            case 0x19:
            case 0x1a:
            case 0x1b:
+            case 0x1d:
            case 0x28:
            case 0x29:
            case 0x2a:
@@ -4093,24 +5054,30 @@ reswitch:
            case 0x39:
            case 0x3a:
            case 0x3b:
+            case 0x3c:
+            case 0x3d:
              switch (ir.reg & 7)
                {
                case 0:
+                 /* Handling fld, fild.  */
+                 if (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_REGS))
+                   return -1;
                  break;
                case 1:
                  switch (ir.reg >> 4)
                    {
                    case 0:
-                     if (record_arch_list_add_mem (addr, 4))
+                     if (record_arch_list_add_mem (addr64, 4))
                        return -1;
                      break;
                    case 2:
-                     if (record_arch_list_add_mem (addr, 8))
+                     if (record_arch_list_add_mem (addr64, 8))
                        return -1;
                      break;
                    case 3:
+                     break;
                    default:
-                     if (record_arch_list_add_mem (addr, 2))
+                     if (record_arch_list_add_mem (addr64, 2))
                        return -1;
                      break;
                    }
@@ -4119,17 +5086,51 @@ reswitch:
                  switch (ir.reg >> 4)
                    {
                    case 0:
+                     if (record_arch_list_add_mem (addr64, 4))
+                       return -1;
+                     if (3 == (ir.reg & 7))
+                       {
+                         /* For fstp m32fp.  */
+                         if (i386_record_floats (gdbarch, &ir,
+                                                 I386_SAVE_FPU_REGS))
+                           return -1;
+                       }
+                     break;
                    case 1:
-                     if (record_arch_list_add_mem (addr, 4))
+                     if (record_arch_list_add_mem (addr64, 4))
                        return -1;
+                     if ((3 == (ir.reg & 7))
+                         || (5 == (ir.reg & 7))
+                         || (7 == (ir.reg & 7)))
+                       {
+                         /* For fstp insn.  */
+                         if (i386_record_floats (gdbarch, &ir,
+                                                 I386_SAVE_FPU_REGS))
+                           return -1;
+                       }
                      break;
                    case 2:
-                     if (record_arch_list_add_mem (addr, 8))
+                     if (record_arch_list_add_mem (addr64, 8))
                        return -1;
+                     if (3 == (ir.reg & 7))
+                       {
+                         /* For fstp m64fp.  */
+                         if (i386_record_floats (gdbarch, &ir,
+                                                 I386_SAVE_FPU_REGS))
+                           return -1;
+                       }
                      break;
                    case 3:
+                     if ((3 <= (ir.reg & 7)) && (6 <= (ir.reg & 7)))
+                       {
+                         /* For fistp, fbld, fild, fbstp.  */
+                         if (i386_record_floats (gdbarch, &ir,
+                                                 I386_SAVE_FPU_REGS))
+                           return -1;
+                       }
+                     /* Fall through */
                    default:
-                     if (record_arch_list_add_mem (addr, 2))
+                     if (record_arch_list_add_mem (addr64, 2))
                        return -1;
                      break;
                    }
@@ -4137,52 +5138,72 @@ reswitch:
                }
              break;
            case 0x0c:
+              /* Insn fldenv.  */
+              if (i386_record_floats (gdbarch, &ir,
+                                      I386_SAVE_FPU_ENV_REG_STACK))
+                return -1;
+              break;
            case 0x0d:
-           case 0x1d:
+              /* Insn fldcw.  */
+              if (i386_record_floats (gdbarch, &ir, I387_FCTRL_REGNUM (tdep)))
+                return -1;
+              break;
            case 0x2c:
-           case 0x3c:
-           case 0x3d:
+              /* Insn frstor.  */
+              if (i386_record_floats (gdbarch, &ir,
+                                      I386_SAVE_FPU_ENV_REG_STACK))
+                return -1;
              break;
            case 0x0e:
              if (ir.dflag)
                {
-                 if (record_arch_list_add_mem (addr, 28))
+                 if (record_arch_list_add_mem (addr64, 28))
                    return -1;
                }
              else
                {
-                 if (record_arch_list_add_mem (addr, 14))
+                 if (record_arch_list_add_mem (addr64, 14))
                    return -1;
                }
              break;
            case 0x0f:
            case 0x2f:
-             if (record_arch_list_add_mem (addr, 2))
+             if (record_arch_list_add_mem (addr64, 2))
                return -1;
+              /* Insn fstp, fbstp.  */
+              if (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_REGS))
+                return -1;
              break;
            case 0x1f:
            case 0x3e:
-             if (record_arch_list_add_mem (addr, 10))
+             if (record_arch_list_add_mem (addr64, 10))
                return -1;
              break;
            case 0x2e:
              if (ir.dflag)
                {
-                 if (record_arch_list_add_mem (addr, 28))
+                 if (record_arch_list_add_mem (addr64, 28))
                    return -1;
-                 addr += 28;
+                 addr64 += 28;
                }
              else
                {
-                 if (record_arch_list_add_mem (addr, 14))
+                 if (record_arch_list_add_mem (addr64, 14))
                    return -1;
-                 addr += 14;
+                 addr64 += 14;
                }
-             if (record_arch_list_add_mem (addr, 80))
+             if (record_arch_list_add_mem (addr64, 80))
+               return -1;
+             /* Insn fsave.  */
+             if (i386_record_floats (gdbarch, &ir,
+                                     I386_SAVE_FPU_ENV_REG_STACK))
                return -1;
              break;
            case 0x3f:
-             if (record_arch_list_add_mem (addr, 8))
+             if (record_arch_list_add_mem (addr64, 8))
+               return -1;
+             /* Insn fistp.  */
+             if (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_REGS))
                return -1;
              break;
            default:
@@ -4192,144 +5213,312 @@ reswitch:
              break;
            }
        }
+      /* Opcode is an extension of modR/M byte.  */
+      else
+        {
+         switch (opcode)
+           {
+           case 0xd8:
+             if (i386_record_floats (gdbarch, &ir, I387_ST0_REGNUM (tdep)))
+               return -1;
+             break;
+           case 0xd9:
+             if (0x0c == (ir.modrm >> 4))
+               {
+                 if ((ir.modrm & 0x0f) <= 7)
+                   {
+                     if (i386_record_floats (gdbarch, &ir,
+                                             I386_SAVE_FPU_REGS))
+                       return -1;
+                   }
+                  else
+                   {
+                     if (i386_record_floats (gdbarch, &ir,
+                                             I387_ST0_REGNUM (tdep)))
+                       return -1;
+                     /* If only st(0) is changing, then we have already
+                        recorded.  */
+                     if ((ir.modrm & 0x0f) - 0x08)
+                       {
+                         if (i386_record_floats (gdbarch, &ir,
+                                                 I387_ST0_REGNUM (tdep) +
+                                                 ((ir.modrm & 0x0f) - 0x08)))
+                           return -1;
+                       }
+                   }
+               }
+              else
+                {
+                 switch (ir.modrm)
+                   {
+                   case 0xe0:
+                   case 0xe1:
+                   case 0xf0:
+                   case 0xf5:
+                   case 0xf8:
+                   case 0xfa:
+                   case 0xfc:
+                   case 0xfe:
+                   case 0xff:
+                     if (i386_record_floats (gdbarch, &ir,
+                                             I387_ST0_REGNUM (tdep)))
+                       return -1;
+                     break;
+                   case 0xf1:
+                   case 0xf2:
+                   case 0xf3:
+                   case 0xf4:
+                   case 0xf6:
+                   case 0xf7:
+                   case 0xe8:
+                   case 0xe9:
+                   case 0xea:
+                   case 0xeb:
+                   case 0xec:
+                   case 0xed:
+                   case 0xee:
+                   case 0xf9:
+                   case 0xfb:
+                     if (i386_record_floats (gdbarch, &ir,
+                                             I386_SAVE_FPU_REGS))
+                       return -1;
+                     break;
+                   case 0xfd:
+                     if (i386_record_floats (gdbarch, &ir,
+                                             I387_ST0_REGNUM (tdep)))
+                       return -1;
+                     if (i386_record_floats (gdbarch, &ir,
+                                             I387_ST0_REGNUM (tdep) + 1))
+                       return -1;
+                     break;
+                   }
+               }
+              break;
+            case 0xda:
+              if (0xe9 == ir.modrm)
+                {
+                 if (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_REGS))
+                   return -1;
+                }
+              else if ((0x0c == ir.modrm >> 4) || (0x0d == ir.modrm >> 4))
+                {
+                 if (i386_record_floats (gdbarch, &ir,
+                                         I387_ST0_REGNUM (tdep)))
+                   return -1;
+                 if (((ir.modrm & 0x0f) > 0) && ((ir.modrm & 0x0f) <= 7))
+                   {
+                     if (i386_record_floats (gdbarch, &ir,
+                                             I387_ST0_REGNUM (tdep) +
+                                             (ir.modrm & 0x0f)))
+                       return -1;
+                   }
+                 else if ((ir.modrm & 0x0f) - 0x08)
+                   {
+                     if (i386_record_floats (gdbarch, &ir,
+                                             I387_ST0_REGNUM (tdep) +
+                                             ((ir.modrm & 0x0f) - 0x08)))
+                       return -1;
+                   }
+                }
+              break;
+            case 0xdb:
+              if (0xe3 == ir.modrm)
+                {
+                 if (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_ENV))
+                   return -1;
+                }
+              else if ((0x0c == ir.modrm >> 4) || (0x0d == ir.modrm >> 4))
+                {
+                 if (i386_record_floats (gdbarch, &ir,
+                                         I387_ST0_REGNUM (tdep)))
+                   return -1;
+                 if (((ir.modrm & 0x0f) > 0) && ((ir.modrm & 0x0f) <= 7))
+                   {
+                     if (i386_record_floats (gdbarch, &ir,
+                                             I387_ST0_REGNUM (tdep) +
+                                             (ir.modrm & 0x0f)))
+                       return -1;
+                   }
+                 else if ((ir.modrm & 0x0f) - 0x08)
+                   {
+                     if (i386_record_floats (gdbarch, &ir,
+                                             I387_ST0_REGNUM (tdep) +
+                                             ((ir.modrm & 0x0f) - 0x08)))
+                       return -1;
+                   }
+                }
+              break;
+            case 0xdc:
+              if ((0x0c == ir.modrm >> 4)
+                 || (0x0d == ir.modrm >> 4)
+                 || (0x0f == ir.modrm >> 4))
+                {
+                 if ((ir.modrm & 0x0f) <= 7)
+                   {
+                     if (i386_record_floats (gdbarch, &ir,
+                                             I387_ST0_REGNUM (tdep) +
+                                             (ir.modrm & 0x0f)))
+                       return -1;
+                   }
+                 else
+                   {
+                     if (i386_record_floats (gdbarch, &ir,
+                                             I387_ST0_REGNUM (tdep) +
+                                             ((ir.modrm & 0x0f) - 0x08)))
+                       return -1;
+                   }
+                }
+             break;
+            case 0xdd:
+              if (0x0c == ir.modrm >> 4)
+                {
+                  if (i386_record_floats (gdbarch, &ir,
+                                          I387_FTAG_REGNUM (tdep)))
+                    return -1;
+                }
+              else if ((0x0d == ir.modrm >> 4) || (0x0e == ir.modrm >> 4))
+                {
+                  if ((ir.modrm & 0x0f) <= 7)
+                    {
+                     if (i386_record_floats (gdbarch, &ir,
+                                             I387_ST0_REGNUM (tdep) +
+                                             (ir.modrm & 0x0f)))
+                       return -1;
+                    }
+                  else
+                    {
+                      if (i386_record_floats (gdbarch, &ir,
+                                             I386_SAVE_FPU_REGS))
+                        return -1;
+                    }
+                }
+              break;
+            case 0xde:
+              if ((0x0c == ir.modrm >> 4)
+                 || (0x0e == ir.modrm >> 4)
+                 || (0x0f == ir.modrm >> 4)
+                 || (0xd9 == ir.modrm))
+                {
+                 if (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_REGS))
+                   return -1;
+                }
+              break;
+            case 0xdf:
+              if (0xe0 == ir.modrm)
+                {
+                 if (record_arch_list_add_reg (ir.regcache, I386_EAX_REGNUM))
+                   return -1;
+                }
+              else if ((0x0f == ir.modrm >> 4) || (0x0e == ir.modrm >> 4))
+                {
+                 if (i386_record_floats (gdbarch, &ir, I386_SAVE_FPU_REGS))
+                   return -1;
+                }
+              break;
+           }
+       }
       break;
-
       /* string ops */
-      /* movsS */
-    case 0xa4:
+    case 0xa4:    /* movsS */
     case 0xa5:
-      /* stosS */
-    case 0xaa:
+    case 0xaa:    /* stosS */
     case 0xab:
-      /* insS */
-    case 0x6c:
+    case 0x6c:    /* insS */
     case 0x6d:
-      {
-       uint32_t addr;
-
-       if ((opcode & 1) == 0)
-         ir.ot = OT_BYTE;
-       else
-         ir.ot = ir.dflag + OT_WORD;
-       if (opcode == 0xa4 || opcode == 0xa5)
-         {
-           if (record_arch_list_add_reg (ir.regcache, I386_ESI_REGNUM))
-             return -1;
-         }
-       if (record_arch_list_add_reg (ir.regcache, I386_EDI_REGNUM))
-         return -1;
-
-       regcache_raw_read (ir.regcache, I386_EDI_REGNUM,
-                          (gdb_byte *) & addr);
-       if (!ir.aflag)
-         {
-           addr &= 0xffff;
-           /* addr += ((uint32_t)read_register (I386_ES_REGNUM)) << 4; */
-           if (record_debug)
-             printf_unfiltered (_("Process record ignores the memory change "
-                                  "of instruction at address 0x%s because "
-                                  "it can't get the value of the segment "
-                                  "register.\n"),
-                                paddr_nz (ir.addr));
-         }
-
-       if (prefixes & (PREFIX_REPZ | PREFIX_REPNZ))
-         {
-           uint32_t count;
-
-           regcache_raw_read (ir.regcache, I386_ECX_REGNUM,
-                              (gdb_byte *) & count);
-           if (!ir.aflag)
-             count &= 0xffff;
-
-           regcache_raw_read (ir.regcache, I386_EFLAGS_REGNUM,
-                              (gdb_byte *) & tmpu32);
-           if ((tmpu32 >> 10) & 0x1)
-             addr -= (count - 1) * (1 << ir.ot);
-
-           if (ir.aflag)
-             {
-               if (record_arch_list_add_mem (addr, count * (1 << ir.ot)))
-                 return -1;
-             }
+      regcache_raw_read_unsigned (ir.regcache,
+                                  ir.regmap[X86_RECORD_RECX_REGNUM],
+                                  &addr);
+      if (addr)
+        {
+          ULONGEST es, ds;
 
-           if (record_arch_list_add_reg (ir.regcache, I386_ECX_REGNUM))
-             return -1;
-         }
-       else
-         {
-           if (ir.aflag)
-             {
-               if (record_arch_list_add_mem (addr, 1 << ir.ot))
-                 return -1;
-             }
-         }
-      }
+          if ((opcode & 1) == 0)
+           ir.ot = OT_BYTE;
+          else
+           ir.ot = ir.dflag + OT_WORD;
+          regcache_raw_read_unsigned (ir.regcache,
+                                      ir.regmap[X86_RECORD_REDI_REGNUM],
+                                      &addr);
+
+          regcache_raw_read_unsigned (ir.regcache,
+                                      ir.regmap[X86_RECORD_ES_REGNUM],
+                                      &es);
+          regcache_raw_read_unsigned (ir.regcache,
+                                      ir.regmap[X86_RECORD_DS_REGNUM],
+                                      &ds);
+          if (ir.aflag && (es != ds))
+            {
+              /* addr += ((uint32_t) read_register (I386_ES_REGNUM)) << 4; */
+              if (record_memory_query)
+                {
+                 int q;
+
+                  target_terminal_ours ();
+                  q = yquery (_("\
+Process record ignores the memory change of instruction at address %s\n\
+because it can't get the value of the segment register.\n\
+Do you want to stop the program?"),
+                              paddress (gdbarch, ir.orig_addr));
+                  target_terminal_inferior ();
+                  if (q)
+                    return -1;
+                }
+            }
+          else
+            {
+              if (record_arch_list_add_mem (addr, 1 << ir.ot))
+                return -1;
+            }
+
+          if (prefixes & (PREFIX_REPZ | PREFIX_REPNZ))
+            I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RECX_REGNUM);
+          if (opcode == 0xa4 || opcode == 0xa5)
+            I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RESI_REGNUM);
+          I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REDI_REGNUM);
+          I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
+       }
       break;
 
-      /* lodsS */
-    case 0xac:
-    case 0xad:
-      if (record_arch_list_add_reg (ir.regcache, I386_EAX_REGNUM))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_ESI_REGNUM))
-       return -1;
+    case 0xa6:    /* cmpsS */
+    case 0xa7:
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REDI_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RESI_REGNUM);
       if (prefixes & (PREFIX_REPZ | PREFIX_REPNZ))
-       {
-         if (record_arch_list_add_reg (ir.regcache, I386_ECX_REGNUM))
-           return -1;
-       }
+        I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RECX_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* outsS */
-    case 0x6e:
-    case 0x6f:
-      if (record_arch_list_add_reg (ir.regcache, I386_ESI_REGNUM))
-       return -1;
+    case 0xac:    /* lodsS */
+    case 0xad:
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RESI_REGNUM);
       if (prefixes & (PREFIX_REPZ | PREFIX_REPNZ))
-       {
-         if (record_arch_list_add_reg (ir.regcache, I386_ECX_REGNUM))
-           return -1;
-       }
+        I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RECX_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* scasS */
-    case 0xae:
+    case 0xae:    /* scasS */
     case 0xaf:
-      if (record_arch_list_add_reg (ir.regcache, I386_EDI_REGNUM))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REDI_REGNUM);
       if (prefixes & (PREFIX_REPZ | PREFIX_REPNZ))
-       {
-         if (record_arch_list_add_reg (ir.regcache, I386_ECX_REGNUM))
-           return -1;
-       }
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-       return -1;
+        I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RECX_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* cmpsS */
-    case 0xa6:
-    case 0xa7:
-      if (record_arch_list_add_reg (ir.regcache, I386_EDI_REGNUM))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_ESI_REGNUM))
-       return -1;
+    case 0x6e:    /* outsS */
+    case 0x6f:
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RESI_REGNUM);
       if (prefixes & (PREFIX_REPZ | PREFIX_REPNZ))
-       {
-         if (record_arch_list_add_reg (ir.regcache, I386_ECX_REGNUM))
-           return -1;
-       }
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-       return -1;
+        I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RECX_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* port I/O */
-    case 0xe4:
+    case 0xe4:    /* port I/O */
     case 0xe5:
     case 0xec:
     case 0xed:
-      if (record_arch_list_add_reg (ir.regcache, I386_EAX_REGNUM))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
       break;
 
     case 0xe6:
@@ -4339,62 +5528,42 @@ reswitch:
       break;
 
       /* control */
-      /* ret im */
-    case 0xc2:
-      /* ret */
-    case 0xc3:
-      /* lret im */
-    case 0xca:
-      /* lret */
-    case 0xcb:
-      if (record_arch_list_add_reg (ir.regcache, I386_ESP_REGNUM))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_CS_REGNUM))
-       return -1;
+    case 0xc2:    /* ret im */
+    case 0xc3:    /* ret */
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RESP_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* iret */
-    case 0xcf:
-      if (record_arch_list_add_reg (ir.regcache, I386_ESP_REGNUM))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_CS_REGNUM))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-       return -1;
+    case 0xca:    /* lret im */
+    case 0xcb:    /* lret */
+    case 0xcf:    /* iret */
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_CS_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RESP_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* call im */
-    case 0xe8:
-      if (record_arch_list_add_reg (ir.regcache, I386_ESP_REGNUM))
-       return -1;
-      regcache_raw_read (ir.regcache, I386_ESP_REGNUM,
-                        (gdb_byte *) & tmpu32);
-      if (record_arch_list_add_mem
-         ((CORE_ADDR) tmpu32 - (1 << (ir.dflag + 1)), (1 << (ir.dflag + 1))))
-       return -1;
+    case 0xe8:    /* call im */
+      if (ir.regmap[X86_RECORD_R8_REGNUM] && ir.dflag)
+        ir.dflag = 2;
+      if (i386_record_push (&ir, 1 << (ir.dflag + 1)))
+        return -1;
       break;
 
-      /* lcall im */
-    case 0x9a:
-      if (record_arch_list_add_reg (ir.regcache, I386_CS_REGNUM))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_ESP_REGNUM))
-       return -1;
-      regcache_raw_read (ir.regcache, I386_ESP_REGNUM,
-                        (gdb_byte *) & tmpu32);
-      if (record_arch_list_add_mem
-         ((CORE_ADDR) tmpu32 - (1 << (ir.dflag + 2)), (1 << (ir.dflag + 2))))
-       return -1;
+    case 0x9a:    /* lcall im */
+      if (ir.regmap[X86_RECORD_R8_REGNUM])
+        {
+          ir.addr -= 1;
+          goto no_support;
+        }
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_CS_REGNUM);
+      if (i386_record_push (&ir, 1 << (ir.dflag + 1)))
+        return -1;
       break;
 
-      /* jmp im */
-    case 0xe9:
-      /* ljmp im */
-    case 0xea:
-      /* jmp Jb */
-    case 0xeb:
-      /* jcc Jb */
-    case 0x70:
+    case 0xe9:    /* jmp im */
+    case 0xea:    /* ljmp im */
+    case 0xeb:    /* jmp Jb */
+    case 0x70:    /* jcc Jb */
     case 0x71:
     case 0x72:
     case 0x73:
@@ -4410,8 +5579,7 @@ reswitch:
     case 0x7d:
     case 0x7e:
     case 0x7f:
-      /* jcc Jv */
-    case 0x0f80:
+    case 0x0f80:  /* jcc Jv */
     case 0x0f81:
     case 0x0f82:
     case 0x0f83:
@@ -4429,8 +5597,7 @@ reswitch:
     case 0x0f8f:
       break;
 
-      /* setcc Gv */
-    case 0x0f90:
+    case 0x0f90:  /* setcc Gv */
     case 0x0f91:
     case 0x0f92:
     case 0x0f93:
@@ -4446,14 +5613,13 @@ reswitch:
     case 0x0f9d:
     case 0x0f9e:
     case 0x0f9f:
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       ir.ot = OT_BYTE;
       if (i386_record_modrm (&ir))
        return -1;
       if (ir.mod == 3)
-       {
-         if (record_arch_list_add_reg (ir.regcache, ir.rm & 0x3))
-           return -1;
-       }
+        I386_RECORD_ARCH_LIST_ADD_REG (ir.rex_b ? (ir.rm | ir.rex_b)
+                                               : (ir.rm & 0x3));
       else
        {
          if (i386_record_lea_modrm (&ir))
@@ -4461,8 +5627,7 @@ reswitch:
        }
       break;
 
-      /* cmov Gv, Ev */
-    case 0x0f40:
+    case 0x0f40:    /* cmov Gv, Ev */
     case 0x0f41:
     case 0x0f42:
     case 0x0f43:
@@ -4480,128 +5645,139 @@ reswitch:
     case 0x0f4f:
       if (i386_record_modrm (&ir))
        return -1;
+      ir.reg |= rex_r;
       if (ir.dflag == OT_BYTE)
        ir.reg &= 0x3;
-      if (record_arch_list_add_reg (ir.regcache, ir.reg & 0x3))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG (ir.reg);
       break;
 
       /* flags */
-      /* pushf */
-    case 0x9c:
-      if (record_arch_list_add_reg (ir.regcache, I386_ESP_REGNUM))
-       return -1;
-      regcache_raw_read (ir.regcache, I386_ESP_REGNUM,
-                        (gdb_byte *) & tmpu32);
-      if (record_arch_list_add_mem
-         ((CORE_ADDR) tmpu32 - (1 << (ir.dflag + 1)), (1 << (ir.dflag + 1))))
-       return -1;
+    case 0x9c:    /* pushf */
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
+      if (ir.regmap[X86_RECORD_R8_REGNUM] && ir.dflag)
+        ir.dflag = 2;
+      if (i386_record_push (&ir, 1 << (ir.dflag + 1)))
+        return -1;
       break;
 
-      /* popf */
-    case 0x9d:
-      if (record_arch_list_add_reg (ir.regcache, I386_ESP_REGNUM))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-       return -1;
+    case 0x9d:    /* popf */
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RESP_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* sahf */
-    case 0x9e:
-      /* cmc */
-    case 0xf5:
-      /* clc */
-    case 0xf8:
-      /* stc */
-    case 0xf9:
-      /* cld */
-    case 0xfc:
-      /* std */
-    case 0xfd:
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-       return -1;
+    case 0x9e:    /* sahf */
+      if (ir.regmap[X86_RECORD_R8_REGNUM])
+        {
+          ir.addr -= 1;
+          goto no_support;
+        }
+      /* FALLTHROUGH */
+    case 0xf5:    /* cmc */
+    case 0xf8:    /* clc */
+    case 0xf9:    /* stc */
+    case 0xfc:    /* cld */
+    case 0xfd:    /* std */
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* lahf */
-    case 0x9f:
-      if (record_arch_list_add_reg (ir.regcache, I386_EAX_REGNUM))
-       return -1;
+    case 0x9f:    /* lahf */
+      if (ir.regmap[X86_RECORD_R8_REGNUM])
+        {
+          ir.addr -= 1;
+          goto no_support;
+        }
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
       break;
 
       /* bit operations */
-      /* bt/bts/btr/btc Gv, im */
-    case 0x0fba:
-      /* bts */
-    case 0x0fab:
-      /* btr */
-    case 0x0fb3:
-      /* btc */
-    case 0x0fbb:
+    case 0x0fba:    /* bt/bts/btr/btc Gv, im */
       ir.ot = ir.dflag + OT_WORD;
       if (i386_record_modrm (&ir))
        return -1;
       if (ir.reg < 4)
        {
-         ir.addr -= 3;
+         ir.addr -= 2;
          opcode = opcode << 8 | ir.modrm;
          goto no_support;
        }
-      ir.reg -= 4;
-      if (ir.reg != 0)
+      if (ir.reg != 4)
        {
-         if (ir.mod != 3)
-           {
-             if (i386_record_lea_modrm (&ir))
-               return -1;
-           }
+          if (ir.mod == 3)
+            I386_RECORD_ARCH_LIST_ADD_REG (ir.rm | ir.rex_b);
          else
            {
-             if (record_arch_list_add_reg (ir.regcache, ir.rm))
+             if (i386_record_lea_modrm (&ir))
                return -1;
            }
        }
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* bt Gv, Ev */
-    case 0x0fa3:
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-       return -1;
+    case 0x0fa3:    /* bt Gv, Ev */
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* bsf */
-    case 0x0fbc:
-      /* bsr */
-    case 0x0fbd:
-      if (record_arch_list_add_reg (ir.regcache, ir.reg))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-       return -1;
+    case 0x0fab:    /* bts */
+    case 0x0fb3:    /* btr */
+    case 0x0fbb:    /* btc */
+      ir.ot = ir.dflag + OT_WORD;
+      if (i386_record_modrm (&ir))
+        return -1;
+      if (ir.mod == 3)
+        I386_RECORD_ARCH_LIST_ADD_REG (ir.rm | ir.rex_b);
+      else
+        {
+          uint64_t addr64;
+          if (i386_record_lea_modrm_addr (&ir, &addr64))
+            return -1;
+          regcache_raw_read_unsigned (ir.regcache,
+                                      ir.regmap[ir.reg | rex_r],
+                                      &addr);
+          switch (ir.dflag)
+            {
+            case 0:
+              addr64 += ((int16_t) addr >> 4) << 4;
+              break;
+            case 1:
+              addr64 += ((int32_t) addr >> 5) << 5;
+              break;
+            case 2:
+              addr64 += ((int64_t) addr >> 6) << 6;
+              break;
+            }
+          if (record_arch_list_add_mem (addr64, 1 << ir.ot))
+            return -1;
+          if (i386_record_lea_modrm (&ir))
+            return -1;
+        }
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
+      break;
+
+    case 0x0fbc:    /* bsf */
+    case 0x0fbd:    /* bsr */
+      I386_RECORD_ARCH_LIST_ADD_REG (ir.reg | rex_r);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
       /* bcd */
-      /* daa */
-    case 0x27:
-      /* das */
-    case 0x2f:
-      /* aaa */
-    case 0x37:
-      /* aas */
-    case 0x3f:
-      /* aam */
-    case 0xd4:
-      /* aad */
-    case 0xd5:
-      if (record_arch_list_add_reg (ir.regcache, I386_EAX_REGNUM))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-       return -1;
+    case 0x27:    /* daa */
+    case 0x2f:    /* das */
+    case 0x37:    /* aaa */
+    case 0x3f:    /* aas */
+    case 0xd4:    /* aam */
+    case 0xd5:    /* aad */
+      if (ir.regmap[X86_RECORD_R8_REGNUM])
+        {
+          ir.addr -= 1;
+          goto no_support;
+        }
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
       /* misc */
-      /* nop */
-    case 0x90:
+    case 0x90:    /* nop */
       if (prefixes & PREFIX_LOCK)
        {
          ir.addr -= 1;
@@ -4609,78 +5785,77 @@ reswitch:
        }
       break;
 
-      /* fwait */
-      /* XXX */
-    case 0x9b:
-      printf_unfiltered (_("Process record doesn't support instruction "
-                          "fwait.\n"));
-      ir.addr -= 1;
-      goto no_support;
+    case 0x9b:    /* fwait */
+      if (target_read_memory (ir.addr, &opcode8, 1))
+        {
+          if (record_debug)
+            printf_unfiltered (_("Process record: error reading memory at "
+                                "addr 0x%s len = 1.\n"),
+                              paddress (gdbarch, ir.addr));
+          return -1;
+        }
+      opcode = (uint32_t) opcode8;
+      ir.addr++;
+      goto reswitch;
       break;
 
-      /* int3 */
       /* XXX */
-    case 0xcc:
-      printf_unfiltered (_("Process record doesn't support instruction "
+    case 0xcc:    /* int3 */
+      printf_unfiltered (_("Process record does not support instruction "
                           "int3.\n"));
       ir.addr -= 1;
       goto no_support;
       break;
 
-      /* int */
       /* XXX */
-    case 0xcd:
+    case 0xcd:    /* int */
       {
        int ret;
-       if (target_read_memory (ir.addr, &tmpu8, 1))
+       uint8_t interrupt;
+       if (target_read_memory (ir.addr, &interrupt, 1))
          {
            if (record_debug)
              printf_unfiltered (_("Process record: error reading memory "
-                                  "at addr 0x%s len = 1.\n"),
-                                paddr_nz (ir.addr));
+                                  "at addr %s len = 1.\n"),
+                                paddress (gdbarch, ir.addr));
            return -1;
          }
        ir.addr++;
-       if (tmpu8 != 0x80
-           || gdbarch_tdep (gdbarch)->i386_intx80_record == NULL)
+       if (interrupt != 0x80
+           || tdep->i386_intx80_record == NULL)
          {
-           printf_unfiltered (_("Process record doesn't support "
+           printf_unfiltered (_("Process record does not support "
                                 "instruction int 0x%02x.\n"),
-                              tmpu8);
+                              interrupt);
            ir.addr -= 2;
            goto no_support;
          }
-       ret = gdbarch_tdep (gdbarch)->i386_intx80_record (ir.regcache);
+       ret = tdep->i386_intx80_record (ir.regcache);
        if (ret)
          return ret;
       }
       break;
 
-      /* into */
       /* XXX */
-    case 0xce:
-      printf_unfiltered (_("Process record doesn't support "
+    case 0xce:    /* into */
+      printf_unfiltered (_("Process record does not support "
                           "instruction into.\n"));
       ir.addr -= 1;
       goto no_support;
       break;
 
-      /* cli */
-    case 0xfa:
-      /* sti */
-    case 0xfb:
+    case 0xfa:    /* cli */
+    case 0xfb:    /* sti */
       break;
 
-      /* bound */
-    case 0x62:
-      printf_unfiltered (_("Process record doesn't support "
+    case 0x62:    /* bound */
+      printf_unfiltered (_("Process record does not support "
                           "instruction bound.\n"));
       ir.addr -= 1;
       goto no_support;
       break;
 
-      /* bswap reg */
-    case 0x0fc8:
+    case 0x0fc8:    /* bswap reg */
     case 0x0fc9:
     case 0x0fca:
     case 0x0fcb:
@@ -4688,94 +5863,106 @@ reswitch:
     case 0x0fcd:
     case 0x0fce:
     case 0x0fcf:
-      if (record_arch_list_add_reg (ir.regcache, opcode & 7))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG ((opcode & 7) | ir.rex_b);
       break;
 
-      /* salc */
-    case 0xd6:
-      if (record_arch_list_add_reg (ir.regcache, I386_EAX_REGNUM))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-       return -1;
+    case 0xd6:    /* salc */
+      if (ir.regmap[X86_RECORD_R8_REGNUM])
+        {
+          ir.addr -= 1;
+          goto no_support;
+        }
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* loopnz */
-    case 0xe0:
-      /* loopz */
-    case 0xe1:
-      /* loop */
-    case 0xe2:
-      /* jecxz */
-    case 0xe3:
-      if (record_arch_list_add_reg (ir.regcache, I386_ECX_REGNUM))
-       return -1;
+    case 0xe0:    /* loopnz */
+    case 0xe1:    /* loopz */
+    case 0xe2:    /* loop */
+    case 0xe3:    /* jecxz */
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RECX_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* wrmsr */
-    case 0x0f30:
-      printf_unfiltered (_("Process record doesn't support "
+    case 0x0f30:    /* wrmsr */
+      printf_unfiltered (_("Process record does not support "
                           "instruction wrmsr.\n"));
       ir.addr -= 2;
       goto no_support;
       break;
 
-      /* rdmsr */
-    case 0x0f32:
-      printf_unfiltered (_("Process record doesn't support "
+    case 0x0f32:    /* rdmsr */
+      printf_unfiltered (_("Process record does not support "
                           "instruction rdmsr.\n"));
       ir.addr -= 2;
       goto no_support;
       break;
 
-      /* rdtsc */
-    case 0x0f31:
-      printf_unfiltered (_("Process record doesn't support "
-                          "instruction rdtsc.\n"));
-      ir.addr -= 2;
-      goto no_support;
+    case 0x0f31:    /* rdtsc */
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REDX_REGNUM);
       break;
 
-      /* sysenter */
-    case 0x0f34:
+    case 0x0f34:    /* sysenter */
       {
        int ret;
-       if (gdbarch_tdep (gdbarch)->i386_sysenter_record == NULL)
+        if (ir.regmap[X86_RECORD_R8_REGNUM])
+          {
+            ir.addr -= 2;
+            goto no_support;
+          }
+       if (tdep->i386_sysenter_record == NULL)
          {
-           printf_unfiltered (_("Process record doesn't support "
+           printf_unfiltered (_("Process record does not support "
                                 "instruction sysenter.\n"));
            ir.addr -= 2;
            goto no_support;
          }
-       ret = gdbarch_tdep (gdbarch)->i386_sysenter_record (ir.regcache);
+       ret = tdep->i386_sysenter_record (ir.regcache);
        if (ret)
          return ret;
       }
       break;
 
-      /* sysexit */
-    case 0x0f35:
-      printf_unfiltered (_("Process record doesn't support "
+    case 0x0f35:    /* sysexit */
+      printf_unfiltered (_("Process record does not support "
                           "instruction sysexit.\n"));
       ir.addr -= 2;
       goto no_support;
       break;
 
-      /* cpuid */
-    case 0x0fa2:
-      if (record_arch_list_add_reg (ir.regcache, I386_EAX_REGNUM))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_ECX_REGNUM))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_EDX_REGNUM))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_EBX_REGNUM))
-       return -1;
+    case 0x0f05:    /* syscall */
+      {
+       int ret;
+       if (tdep->i386_syscall_record == NULL)
+         {
+           printf_unfiltered (_("Process record does not support "
+                                "instruction syscall.\n"));
+           ir.addr -= 2;
+           goto no_support;
+         }
+       ret = tdep->i386_syscall_record (ir.regcache);
+       if (ret)
+         return ret;
+      }
+      break;
+
+    case 0x0f07:    /* sysret */
+      printf_unfiltered (_("Process record does not support "
+                           "instruction sysret.\n"));
+      ir.addr -= 2;
+      goto no_support;
       break;
 
-      /* hlt */
-    case 0xf4:
-      printf_unfiltered (_("Process record doesn't support "
+    case 0x0fa2:    /* cpuid */
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RECX_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REDX_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REBX_REGNUM);
+      break;
+
+    case 0xf4:    /* hlt */
+      printf_unfiltered (_("Process record does not support "
                           "instruction hlt.\n"));
       ir.addr -= 1;
       goto no_support;
@@ -4786,15 +5973,10 @@ reswitch:
        return -1;
       switch (ir.reg)
        {
-         /* sldt */
-       case 0:
-         /* str */
-       case 1:
+       case 0:  /* sldt */
+       case 1:  /* str  */
          if (ir.mod == 3)
-           {
-             if (record_arch_list_add_reg (ir.regcache, ir.rm))
-               return -1;
-           }
+            I386_RECORD_ARCH_LIST_ADD_REG (ir.rm | ir.rex_b);
          else
            {
              ir.ot = OT_WORD;
@@ -4802,17 +5984,12 @@ reswitch:
                return -1;
            }
          break;
-         /* lldt */
-       case 2:
-         /* ltr */
-       case 3:
+       case 2:  /* lldt */
+       case 3:  /* ltr */
          break;
-         /* verr */
-       case 4:
-         /* verw */
-       case 5:
-         if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-           return -1;
+       case 4:  /* verr */
+       case 5:  /* verw */
+          I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
          break;
        default:
          ir.addr -= 3;
@@ -4827,10 +6004,9 @@ reswitch:
        return -1;
       switch (ir.reg)
        {
-         /* sgdt */
-       case 0:
+       case 0:  /* sgdt */
          {
-           uint32_t addr;
+           uint64_t addr64;
 
            if (ir.mod == 3)
              {
@@ -4838,26 +6014,40 @@ reswitch:
                opcode = opcode << 8 | ir.modrm;
                goto no_support;
              }
-
-           if (ir.override)
+           if (ir.override >= 0)
              {
-               if (record_debug)
-                 printf_unfiltered (_("Process record ignores the memory "
-                                      "change of instruction at "
-                                      "address 0x%s because it can't get "
-                                      "the value of the segment "
-                                      "register.\n"),
-                                    paddr_nz (ir.addr));
+                if (record_memory_query)
+                  {
+                   int q;
+
+                    target_terminal_ours ();
+                    q = yquery (_("\
+Process record ignores the memory change of instruction at address %s\n\
+because it can't get the value of the segment register.\n\
+Do you want to stop the program?"),
+                                paddress (gdbarch, ir.orig_addr));
+                    target_terminal_inferior ();
+                    if (q)
+                      return -1;
+                  }
              }
            else
              {
-               if (i386_record_lea_modrm_addr (&ir, &addr))
+               if (i386_record_lea_modrm_addr (&ir, &addr64))
                  return -1;
-               if (record_arch_list_add_mem (addr, 2))
-                 return -1;
-               addr += 2;
-               if (record_arch_list_add_mem (addr, 4))
+               if (record_arch_list_add_mem (addr64, 2))
                  return -1;
+               addr64 += 2;
+                if (ir.regmap[X86_RECORD_R8_REGNUM])
+                  {
+                    if (record_arch_list_add_mem (addr64, 8))
+                     return -1;
+                  }
+                else
+                  {
+                    if (record_arch_list_add_mem (addr64, 4))
+                     return -1;
+                  }
              }
          }
          break;
@@ -4866,13 +6056,10 @@ reswitch:
            {
              switch (ir.rm)
                {
-                 /* monitor */
-               case 0:
+               case 0:  /* monitor */
                  break;
-                 /* mwait */
-               case 1:
-                 if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-                   return -1;
+               case 1:  /* mwait */
+                 I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
                  break;
                default:
                  ir.addr -= 3;
@@ -4884,37 +6071,60 @@ reswitch:
          else
            {
              /* sidt */
-             if (ir.override)
+             if (ir.override >= 0)
                {
-                 if (record_debug)
-                   printf_unfiltered (_("Process record ignores the memory "
-                                        "change of instruction at "
-                                        "address 0x%s because it can't get "
-                                        "the value of the segment "
-                                        "register.\n"),
-                                      paddr_nz (ir.addr));
+                  if (record_memory_query)
+                    {
+                     int q;
+
+                      target_terminal_ours ();
+                      q = yquery (_("\
+Process record ignores the memory change of instruction at address %s\n\
+because it can't get the value of the segment register.\n\
+Do you want to stop the program?"),
+                                  paddress (gdbarch, ir.orig_addr));
+                      target_terminal_inferior ();
+                      if (q)
+                        return -1;
+                    }
                }
              else
                {
-                 uint32_t addr;
+                 uint64_t addr64;
 
-                 if (i386_record_lea_modrm_addr (&ir, &addr))
-                   return -1;
-                 if (record_arch_list_add_mem (addr, 2))
+                 if (i386_record_lea_modrm_addr (&ir, &addr64))
                    return -1;
-                 addr += 2;
-                 if (record_arch_list_add_mem (addr, 4))
+                 if (record_arch_list_add_mem (addr64, 2))
                    return -1;
+                 addr64 += 2;
+                  if (ir.regmap[X86_RECORD_R8_REGNUM])
+                    {
+                      if (record_arch_list_add_mem (addr64, 8))
+                       return -1;
+                    }
+                  else
+                    {
+                      if (record_arch_list_add_mem (addr64, 4))
+                       return -1;
+                    }
                }
            }
          break;
-         /* lgdt */
-       case 2:
-         /* lidt */
-       case 3:
-         /* invlpg */
-       case 7:
-       default:
+       case 2:  /* lgdt */
+         if (ir.mod == 3)
+           {
+             /* xgetbv */
+             if (ir.rm == 0)
+               {
+                 I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
+                 I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REDX_REGNUM);
+                 break;
+               }
+             /* xsetbv */
+             else if (ir.rm == 1)
+               break;
+           }
+       case 3:  /* lidt */
          if (ir.mod == 3)
            {
              ir.addr -= 3;
@@ -4922,11 +6132,10 @@ reswitch:
              goto no_support;
            }
          break;
-         /* smsw */
-       case 4:
+       case 4:  /* smsw */
          if (ir.mod == 3)
            {
-             if (record_arch_list_add_reg (ir.regcache, ir.rm))
+             if (record_arch_list_add_reg (ir.regcache, ir.rm | ir.rex_b))
                return -1;
            }
          else
@@ -4935,54 +6144,75 @@ reswitch:
              if (i386_record_lea_modrm (&ir))
                return -1;
            }
+         I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
          break;
-         /* lmsw */
-       case 6:
+       case 6:  /* lmsw */
+         I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
+         break;
+       case 7:  /* invlpg */
+         if (ir.mod == 3)
+           {
+             if (ir.rm == 0 && ir.regmap[X86_RECORD_R8_REGNUM])
+               I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_GS_REGNUM);
+             else
+               {
+                 ir.addr -= 3;
+                 opcode = opcode << 8 | ir.modrm;
+                 goto no_support;
+               }
+           }
+         else
+           I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
+         break;
+       default:
+         ir.addr -= 3;
+         opcode = opcode << 8 | ir.modrm;
+         goto no_support;
          break;
        }
       break;
 
-      /* invd */
-    case 0x0f08:
-      /* wbinvd */
-    case 0x0f09:
+    case 0x0f08:    /* invd */
+    case 0x0f09:    /* wbinvd */
       break;
 
-      /* arpl */
-    case 0x63:
-      ir.ot = ir.dflag ? OT_LONG : OT_WORD;
+    case 0x63:    /* arpl */
       if (i386_record_modrm (&ir))
        return -1;
-      if (ir.mod != 3)
-       {
-         if (i386_record_lea_modrm (&ir))
-           return -1;
-       }
+      if (ir.mod == 3 || ir.regmap[X86_RECORD_R8_REGNUM])
+        {
+          I386_RECORD_ARCH_LIST_ADD_REG (ir.regmap[X86_RECORD_R8_REGNUM]
+                                          ? (ir.reg | rex_r) : ir.rm);
+        }
       else
-       {
-         if (record_arch_list_add_reg (ir.regcache, ir.rm))
-           return -1;
-       }
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-       return -1;
+        {
+          ir.ot = ir.dflag ? OT_LONG : OT_WORD;
+          if (i386_record_lea_modrm (&ir))
+            return -1;
+        }
+      if (!ir.regmap[X86_RECORD_R8_REGNUM])
+        I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* lar */
-    case 0x0f02:
-      /* lsl */
-    case 0x0f03:
+    case 0x0f02:    /* lar */
+    case 0x0f03:    /* lsl */
       if (i386_record_modrm (&ir))
        return -1;
-      if (record_arch_list_add_reg (ir.regcache, ir.reg))
-       return -1;
-      if (record_arch_list_add_reg (ir.regcache, I386_EFLAGS_REGNUM))
-       return -1;
+      I386_RECORD_ARCH_LIST_ADD_REG (ir.reg | rex_r);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
     case 0x0f18:
+      if (i386_record_modrm (&ir))
+       return -1;
+      if (ir.mod == 3 && ir.reg == 3)
+        {
+         ir.addr -= 3;
+         opcode = opcode << 8 | ir.modrm;
+         goto no_support;
+       }
       break;
 
-      /* nop (multi byte) */
     case 0x0f19:
     case 0x0f1a:
     case 0x0f1b:
@@ -4990,17 +6220,16 @@ reswitch:
     case 0x0f1d:
     case 0x0f1e:
     case 0x0f1f:
+      /* nop (multi byte) */
       break;
 
-      /* mov reg, crN */
-    case 0x0f20:
-      /* mov crN, reg */
-    case 0x0f22:
+    case 0x0f20:    /* mov reg, crN */
+    case 0x0f22:    /* mov crN, reg */
       if (i386_record_modrm (&ir))
        return -1;
       if ((ir.modrm & 0xc0) != 0xc0)
        {
-         ir.addr -= 2;
+         ir.addr -= 3;
          opcode = opcode << 8 | ir.modrm;
          goto no_support;
        }
@@ -5012,82 +6241,1026 @@ reswitch:
        case 4:
        case 8:
          if (opcode & 2)
-           {
-           }
+           I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
          else
-           {
-             if (record_arch_list_add_reg (ir.regcache, ir.rm))
-               return -1;
-           }
+            I386_RECORD_ARCH_LIST_ADD_REG (ir.rm | ir.rex_b);
          break;
        default:
-         ir.addr -= 2;
+         ir.addr -= 3;
          opcode = opcode << 8 | ir.modrm;
          goto no_support;
          break;
        }
       break;
 
-      /* mov reg, drN */
-    case 0x0f21:
-      /* mov drN, reg */
-    case 0x0f23:
+    case 0x0f21:    /* mov reg, drN */
+    case 0x0f23:    /* mov drN, reg */
       if (i386_record_modrm (&ir))
        return -1;
       if ((ir.modrm & 0xc0) != 0xc0 || ir.reg == 4
          || ir.reg == 5 || ir.reg >= 8)
        {
-         ir.addr -= 2;
+         ir.addr -= 3;
          opcode = opcode << 8 | ir.modrm;
          goto no_support;
        }
       if (opcode & 2)
-       {
-       }
+        I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       else
-       {
-         if (record_arch_list_add_reg (ir.regcache, ir.rm))
-           return -1;
-       }
+       I386_RECORD_ARCH_LIST_ADD_REG (ir.rm | ir.rex_b);
       break;
 
-      /* clts */
-    case 0x0f06:
+    case 0x0f06:    /* clts */
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
       break;
 
-      /* MMX/SSE/SSE2/PNI support */
-      /* XXX */
+    /* MMX 3DNow! SSE SSE2 SSE3 SSSE3 SSE4 */
+
+    case 0x0f0d:    /* 3DNow! prefetch */
+      break;
+
+    case 0x0f0e:    /* 3DNow! femms */
+    case 0x0f77:    /* emms */
+      if (i386_fpc_regnum_p (gdbarch, I387_FTAG_REGNUM(tdep)))
+        goto no_support;
+      record_arch_list_add_reg (ir.regcache, I387_FTAG_REGNUM(tdep));
+      break;
+
+    case 0x0f0f:    /* 3DNow! data */
+      if (i386_record_modrm (&ir))
+       return -1;
+      if (target_read_memory (ir.addr, &opcode8, 1))
+        {
+         printf_unfiltered (_("Process record: error reading memory at "
+                              "addr %s len = 1.\n"),
+                            paddress (gdbarch, ir.addr));
+          return -1;
+        }
+      ir.addr++;
+      switch (opcode8)
+        {
+        case 0x0c:    /* 3DNow! pi2fw */
+        case 0x0d:    /* 3DNow! pi2fd */
+        case 0x1c:    /* 3DNow! pf2iw */
+        case 0x1d:    /* 3DNow! pf2id */
+        case 0x8a:    /* 3DNow! pfnacc */
+        case 0x8e:    /* 3DNow! pfpnacc */
+        case 0x90:    /* 3DNow! pfcmpge */
+        case 0x94:    /* 3DNow! pfmin */
+        case 0x96:    /* 3DNow! pfrcp */
+        case 0x97:    /* 3DNow! pfrsqrt */
+        case 0x9a:    /* 3DNow! pfsub */
+        case 0x9e:    /* 3DNow! pfadd */
+        case 0xa0:    /* 3DNow! pfcmpgt */
+        case 0xa4:    /* 3DNow! pfmax */
+        case 0xa6:    /* 3DNow! pfrcpit1 */
+        case 0xa7:    /* 3DNow! pfrsqit1 */
+        case 0xaa:    /* 3DNow! pfsubr */
+        case 0xae:    /* 3DNow! pfacc */
+        case 0xb0:    /* 3DNow! pfcmpeq */
+        case 0xb4:    /* 3DNow! pfmul */
+        case 0xb6:    /* 3DNow! pfrcpit2 */
+        case 0xb7:    /* 3DNow! pmulhrw */
+        case 0xbb:    /* 3DNow! pswapd */
+        case 0xbf:    /* 3DNow! pavgusb */
+          if (!i386_mmx_regnum_p (gdbarch, I387_MM0_REGNUM (tdep) + ir.reg))
+            goto no_support_3dnow_data;
+          record_arch_list_add_reg (ir.regcache, ir.reg);
+          break;
+
+        default:
+no_support_3dnow_data:
+          opcode = (opcode << 8) | opcode8;
+          goto no_support;
+          break;
+        }
+      break;
+
+    case 0x0faa:    /* rsm */
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RECX_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REDX_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REBX_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RESP_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REBP_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_RESI_REGNUM);
+      I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REDI_REGNUM);
+      break;
+
+    case 0x0fae:
+      if (i386_record_modrm (&ir))
+       return -1;
+      switch(ir.reg)
+        {
+        case 0:    /* fxsave */
+          {
+            uint64_t tmpu64;
+
+            I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
+           if (i386_record_lea_modrm_addr (&ir, &tmpu64))
+             return -1;
+            if (record_arch_list_add_mem (tmpu64, 512))
+              return -1;
+          }
+          break;
+
+        case 1:    /* fxrstor */
+          {
+            int i;
+
+            I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
+
+            for (i = I387_MM0_REGNUM (tdep);
+                 i386_mmx_regnum_p (gdbarch, i); i++)
+              record_arch_list_add_reg (ir.regcache, i);
+
+            for (i = I387_XMM0_REGNUM (tdep);
+                 i386_xmm_regnum_p (gdbarch, i); i++)
+              record_arch_list_add_reg (ir.regcache, i);
+
+            if (i386_mxcsr_regnum_p (gdbarch, I387_MXCSR_REGNUM(tdep)))
+              record_arch_list_add_reg (ir.regcache, I387_MXCSR_REGNUM(tdep));
+
+            for (i = I387_ST0_REGNUM (tdep);
+                 i386_fp_regnum_p (gdbarch, i); i++)
+              record_arch_list_add_reg (ir.regcache, i);
+
+            for (i = I387_FCTRL_REGNUM (tdep);
+                 i386_fpc_regnum_p (gdbarch, i); i++)
+              record_arch_list_add_reg (ir.regcache, i);
+          }
+          break;
+
+        case 2:    /* ldmxcsr */
+          if (!i386_mxcsr_regnum_p (gdbarch, I387_MXCSR_REGNUM(tdep)))
+            goto no_support;
+          record_arch_list_add_reg (ir.regcache, I387_MXCSR_REGNUM(tdep));
+          break;
+
+        case 3:    /* stmxcsr */
+          ir.ot = OT_LONG;
+          if (i386_record_lea_modrm (&ir))
+            return -1;
+          break;
+
+        case 5:    /* lfence */
+        case 6:    /* mfence */
+        case 7:    /* sfence clflush */
+          break;
+
+        default:
+          opcode = (opcode << 8) | ir.modrm;
+          goto no_support;
+          break;
+        }
+      break;
+
+    case 0x0fc3:    /* movnti */
+      ir.ot = (ir.dflag == 2) ? OT_QUAD : OT_LONG;
+      if (i386_record_modrm (&ir))
+       return -1;
+      if (ir.mod == 3)
+        goto no_support;
+      ir.reg |= rex_r;
+      if (i386_record_lea_modrm (&ir))
+        return -1;
+      break;
+
+    /* Add prefix to opcode.  */
+    case 0x0f10:
+    case 0x0f11:
+    case 0x0f12:
+    case 0x0f13:
+    case 0x0f14:
+    case 0x0f15:
+    case 0x0f16:
+    case 0x0f17:
+    case 0x0f28:
+    case 0x0f29:
+    case 0x0f2a:
+    case 0x0f2b:
+    case 0x0f2c:
+    case 0x0f2d:
+    case 0x0f2e:
+    case 0x0f2f:
+    case 0x0f38:
+    case 0x0f39:
+    case 0x0f3a:
+    case 0x0f50:
+    case 0x0f51:
+    case 0x0f52:
+    case 0x0f53:
+    case 0x0f54:
+    case 0x0f55:
+    case 0x0f56:
+    case 0x0f57:
+    case 0x0f58:
+    case 0x0f59:
+    case 0x0f5a:
+    case 0x0f5b:
+    case 0x0f5c:
+    case 0x0f5d:
+    case 0x0f5e:
+    case 0x0f5f:
+    case 0x0f60:
+    case 0x0f61:
+    case 0x0f62:
+    case 0x0f63:
+    case 0x0f64:
+    case 0x0f65:
+    case 0x0f66:
+    case 0x0f67:
+    case 0x0f68:
+    case 0x0f69:
+    case 0x0f6a:
+    case 0x0f6b:
+    case 0x0f6c:
+    case 0x0f6d:
+    case 0x0f6e:
+    case 0x0f6f:
+    case 0x0f70:
+    case 0x0f71:
+    case 0x0f72:
+    case 0x0f73:
+    case 0x0f74:
+    case 0x0f75:
+    case 0x0f76:
+    case 0x0f7c:
+    case 0x0f7d:
+    case 0x0f7e:
+    case 0x0f7f:
+    case 0x0fb8:
+    case 0x0fc2:
+    case 0x0fc4:
+    case 0x0fc5:
+    case 0x0fc6:
+    case 0x0fd0:
+    case 0x0fd1:
+    case 0x0fd2:
+    case 0x0fd3:
+    case 0x0fd4:
+    case 0x0fd5:
+    case 0x0fd6:
+    case 0x0fd7:
+    case 0x0fd8:
+    case 0x0fd9:
+    case 0x0fda:
+    case 0x0fdb:
+    case 0x0fdc:
+    case 0x0fdd:
+    case 0x0fde:
+    case 0x0fdf:
+    case 0x0fe0:
+    case 0x0fe1:
+    case 0x0fe2:
+    case 0x0fe3:
+    case 0x0fe4:
+    case 0x0fe5:
+    case 0x0fe6:
+    case 0x0fe7:
+    case 0x0fe8:
+    case 0x0fe9:
+    case 0x0fea:
+    case 0x0feb:
+    case 0x0fec:
+    case 0x0fed:
+    case 0x0fee:
+    case 0x0fef:
+    case 0x0ff0:
+    case 0x0ff1:
+    case 0x0ff2:
+    case 0x0ff3:
+    case 0x0ff4:
+    case 0x0ff5:
+    case 0x0ff6:
+    case 0x0ff7:
+    case 0x0ff8:
+    case 0x0ff9:
+    case 0x0ffa:
+    case 0x0ffb:
+    case 0x0ffc:
+    case 0x0ffd:
+    case 0x0ffe:
+      switch (prefixes)
+        {
+        case PREFIX_REPNZ:
+          opcode |= 0xf20000;
+          break;
+        case PREFIX_DATA:
+          opcode |= 0x660000;
+          break;
+        case PREFIX_REPZ:
+          opcode |= 0xf30000;
+          break;
+        }
+reswitch_prefix_add:
+      switch (opcode)
+        {
+        case 0x0f38:
+        case 0x660f38:
+        case 0xf20f38:
+        case 0x0f3a:
+        case 0x660f3a:
+          if (target_read_memory (ir.addr, &opcode8, 1))
+            {
+             printf_unfiltered (_("Process record: error reading memory at "
+                                  "addr %s len = 1.\n"),
+                                paddress (gdbarch, ir.addr));
+              return -1;
+            }
+          ir.addr++;
+          opcode = (uint32_t) opcode8 | opcode << 8;
+          goto reswitch_prefix_add;
+          break;
+
+        case 0x0f10:        /* movups */
+        case 0x660f10:      /* movupd */
+        case 0xf30f10:      /* movss */
+        case 0xf20f10:      /* movsd */
+        case 0x0f12:        /* movlps */
+        case 0x660f12:      /* movlpd */
+        case 0xf30f12:      /* movsldup */
+        case 0xf20f12:      /* movddup */
+        case 0x0f14:        /* unpcklps */
+        case 0x660f14:      /* unpcklpd */
+        case 0x0f15:        /* unpckhps */
+        case 0x660f15:      /* unpckhpd */
+        case 0x0f16:        /* movhps */
+        case 0x660f16:      /* movhpd */
+        case 0xf30f16:      /* movshdup */
+        case 0x0f28:        /* movaps */
+        case 0x660f28:      /* movapd */
+        case 0x0f2a:        /* cvtpi2ps */
+        case 0x660f2a:      /* cvtpi2pd */
+        case 0xf30f2a:      /* cvtsi2ss */
+        case 0xf20f2a:      /* cvtsi2sd */
+        case 0x0f2c:        /* cvttps2pi */
+        case 0x660f2c:      /* cvttpd2pi */
+        case 0x0f2d:        /* cvtps2pi */
+        case 0x660f2d:      /* cvtpd2pi */
+        case 0x660f3800:    /* pshufb */
+        case 0x660f3801:    /* phaddw */
+        case 0x660f3802:    /* phaddd */
+        case 0x660f3803:    /* phaddsw */
+        case 0x660f3804:    /* pmaddubsw */
+        case 0x660f3805:    /* phsubw */
+        case 0x660f3806:    /* phsubd */
+        case 0x660f3807:    /* phsubsw */
+        case 0x660f3808:    /* psignb */
+        case 0x660f3809:    /* psignw */
+        case 0x660f380a:    /* psignd */
+        case 0x660f380b:    /* pmulhrsw */
+        case 0x660f3810:    /* pblendvb */
+        case 0x660f3814:    /* blendvps */
+        case 0x660f3815:    /* blendvpd */
+        case 0x660f381c:    /* pabsb */
+        case 0x660f381d:    /* pabsw */
+        case 0x660f381e:    /* pabsd */
+        case 0x660f3820:    /* pmovsxbw */
+        case 0x660f3821:    /* pmovsxbd */
+        case 0x660f3822:    /* pmovsxbq */
+        case 0x660f3823:    /* pmovsxwd */
+        case 0x660f3824:    /* pmovsxwq */
+        case 0x660f3825:    /* pmovsxdq */
+        case 0x660f3828:    /* pmuldq */
+        case 0x660f3829:    /* pcmpeqq */
+        case 0x660f382a:    /* movntdqa */
+        case 0x660f3a08:    /* roundps */
+        case 0x660f3a09:    /* roundpd */
+        case 0x660f3a0a:    /* roundss */
+        case 0x660f3a0b:    /* roundsd */
+        case 0x660f3a0c:    /* blendps */
+        case 0x660f3a0d:    /* blendpd */
+        case 0x660f3a0e:    /* pblendw */
+        case 0x660f3a0f:    /* palignr */
+        case 0x660f3a20:    /* pinsrb */
+        case 0x660f3a21:    /* insertps */
+        case 0x660f3a22:    /* pinsrd pinsrq */
+        case 0x660f3a40:    /* dpps */
+        case 0x660f3a41:    /* dppd */
+        case 0x660f3a42:    /* mpsadbw */
+        case 0x660f3a60:    /* pcmpestrm */
+        case 0x660f3a61:    /* pcmpestri */
+        case 0x660f3a62:    /* pcmpistrm */
+        case 0x660f3a63:    /* pcmpistri */
+        case 0x0f51:        /* sqrtps */
+        case 0x660f51:      /* sqrtpd */
+        case 0xf20f51:      /* sqrtsd */
+        case 0xf30f51:      /* sqrtss */
+        case 0x0f52:        /* rsqrtps */
+        case 0xf30f52:      /* rsqrtss */
+        case 0x0f53:        /* rcpps */
+        case 0xf30f53:      /* rcpss */
+        case 0x0f54:        /* andps */
+        case 0x660f54:      /* andpd */
+        case 0x0f55:        /* andnps */
+        case 0x660f55:      /* andnpd */
+        case 0x0f56:        /* orps */
+        case 0x660f56:      /* orpd */
+        case 0x0f57:        /* xorps */
+        case 0x660f57:      /* xorpd */
+        case 0x0f58:        /* addps */
+        case 0x660f58:      /* addpd */
+        case 0xf20f58:      /* addsd */
+        case 0xf30f58:      /* addss */
+        case 0x0f59:        /* mulps */
+        case 0x660f59:      /* mulpd */
+        case 0xf20f59:      /* mulsd */
+        case 0xf30f59:      /* mulss */
+        case 0x0f5a:        /* cvtps2pd */
+        case 0x660f5a:      /* cvtpd2ps */
+        case 0xf20f5a:      /* cvtsd2ss */
+        case 0xf30f5a:      /* cvtss2sd */
+        case 0x0f5b:        /* cvtdq2ps */
+        case 0x660f5b:      /* cvtps2dq */
+        case 0xf30f5b:      /* cvttps2dq */
+        case 0x0f5c:        /* subps */
+        case 0x660f5c:      /* subpd */
+        case 0xf20f5c:      /* subsd */
+        case 0xf30f5c:      /* subss */
+        case 0x0f5d:        /* minps */
+        case 0x660f5d:      /* minpd */
+        case 0xf20f5d:      /* minsd */
+        case 0xf30f5d:      /* minss */
+        case 0x0f5e:        /* divps */
+        case 0x660f5e:      /* divpd */
+        case 0xf20f5e:      /* divsd */
+        case 0xf30f5e:      /* divss */
+        case 0x0f5f:        /* maxps */
+        case 0x660f5f:      /* maxpd */
+        case 0xf20f5f:      /* maxsd */
+        case 0xf30f5f:      /* maxss */
+        case 0x660f60:      /* punpcklbw */
+        case 0x660f61:      /* punpcklwd */
+        case 0x660f62:      /* punpckldq */
+        case 0x660f63:      /* packsswb */
+        case 0x660f64:      /* pcmpgtb */
+        case 0x660f65:      /* pcmpgtw */
+        case 0x660f66:      /* pcmpgtd */
+        case 0x660f67:      /* packuswb */
+        case 0x660f68:      /* punpckhbw */
+        case 0x660f69:      /* punpckhwd */
+        case 0x660f6a:      /* punpckhdq */
+        case 0x660f6b:      /* packssdw */
+        case 0x660f6c:      /* punpcklqdq */
+        case 0x660f6d:      /* punpckhqdq */
+        case 0x660f6e:      /* movd */
+        case 0x660f6f:      /* movdqa */
+        case 0xf30f6f:      /* movdqu */
+        case 0x660f70:      /* pshufd */
+        case 0xf20f70:      /* pshuflw */
+        case 0xf30f70:      /* pshufhw */
+        case 0x660f74:      /* pcmpeqb */
+        case 0x660f75:      /* pcmpeqw */
+        case 0x660f76:      /* pcmpeqd */
+        case 0x660f7c:      /* haddpd */
+        case 0xf20f7c:      /* haddps */
+        case 0x660f7d:      /* hsubpd */
+        case 0xf20f7d:      /* hsubps */
+        case 0xf30f7e:      /* movq */
+        case 0x0fc2:        /* cmpps */
+        case 0x660fc2:      /* cmppd */
+        case 0xf20fc2:      /* cmpsd */
+        case 0xf30fc2:      /* cmpss */
+        case 0x660fc4:      /* pinsrw */
+        case 0x0fc6:        /* shufps */
+        case 0x660fc6:      /* shufpd */
+        case 0x660fd0:      /* addsubpd */
+        case 0xf20fd0:      /* addsubps */
+        case 0x660fd1:      /* psrlw */
+        case 0x660fd2:      /* psrld */
+        case 0x660fd3:      /* psrlq */
+        case 0x660fd4:      /* paddq */
+        case 0x660fd5:      /* pmullw */
+        case 0xf30fd6:      /* movq2dq */
+        case 0x660fd8:      /* psubusb */
+        case 0x660fd9:      /* psubusw */
+        case 0x660fda:      /* pminub */
+        case 0x660fdb:      /* pand */
+        case 0x660fdc:      /* paddusb */
+        case 0x660fdd:      /* paddusw */
+        case 0x660fde:      /* pmaxub */
+        case 0x660fdf:      /* pandn */
+        case 0x660fe0:      /* pavgb */
+        case 0x660fe1:      /* psraw */
+        case 0x660fe2:      /* psrad */
+        case 0x660fe3:      /* pavgw */
+        case 0x660fe4:      /* pmulhuw */
+        case 0x660fe5:      /* pmulhw */
+        case 0x660fe6:      /* cvttpd2dq */
+        case 0xf20fe6:      /* cvtpd2dq */
+        case 0xf30fe6:      /* cvtdq2pd */
+        case 0x660fe8:      /* psubsb */
+        case 0x660fe9:      /* psubsw */
+        case 0x660fea:      /* pminsw */
+        case 0x660feb:      /* por */
+        case 0x660fec:      /* paddsb */
+        case 0x660fed:      /* paddsw */
+        case 0x660fee:      /* pmaxsw */
+        case 0x660fef:      /* pxor */
+        case 0xf20ff0:      /* lddqu */
+        case 0x660ff1:      /* psllw */
+        case 0x660ff2:      /* pslld */
+        case 0x660ff3:      /* psllq */
+        case 0x660ff4:      /* pmuludq */
+        case 0x660ff5:      /* pmaddwd */
+        case 0x660ff6:      /* psadbw */
+        case 0x660ff8:      /* psubb */
+        case 0x660ff9:      /* psubw */
+        case 0x660ffa:      /* psubd */
+        case 0x660ffb:      /* psubq */
+        case 0x660ffc:      /* paddb */
+        case 0x660ffd:      /* paddw */
+        case 0x660ffe:      /* paddd */
+          if (i386_record_modrm (&ir))
+           return -1;
+          ir.reg |= rex_r;
+          if (!i386_xmm_regnum_p (gdbarch, I387_XMM0_REGNUM (tdep) + ir.reg))
+            goto no_support;
+          record_arch_list_add_reg (ir.regcache,
+                                    I387_XMM0_REGNUM (tdep) + ir.reg);
+          if ((opcode & 0xfffffffc) == 0x660f3a60)
+            I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
+          break;
+
+        case 0x0f11:        /* movups */
+        case 0x660f11:      /* movupd */
+        case 0xf30f11:      /* movss */
+        case 0xf20f11:      /* movsd */
+        case 0x0f13:        /* movlps */
+        case 0x660f13:      /* movlpd */
+        case 0x0f17:        /* movhps */
+        case 0x660f17:      /* movhpd */
+        case 0x0f29:        /* movaps */
+        case 0x660f29:      /* movapd */
+        case 0x660f3a14:    /* pextrb */
+        case 0x660f3a15:    /* pextrw */
+        case 0x660f3a16:    /* pextrd pextrq */
+        case 0x660f3a17:    /* extractps */
+        case 0x660f7f:      /* movdqa */
+        case 0xf30f7f:      /* movdqu */
+          if (i386_record_modrm (&ir))
+           return -1;
+          if (ir.mod == 3)
+            {
+              if (opcode == 0x0f13 || opcode == 0x660f13
+                  || opcode == 0x0f17 || opcode == 0x660f17)
+                goto no_support;
+              ir.rm |= ir.rex_b;
+              if (!i386_xmm_regnum_p (gdbarch,
+                                     I387_XMM0_REGNUM (tdep) + ir.rm))
+                goto no_support;
+              record_arch_list_add_reg (ir.regcache,
+                                        I387_XMM0_REGNUM (tdep) + ir.rm);
+            }
+          else
+            {
+              switch (opcode)
+                {
+                  case 0x660f3a14:
+                    ir.ot = OT_BYTE;
+                    break;
+                  case 0x660f3a15:
+                    ir.ot = OT_WORD;
+                    break;
+                  case 0x660f3a16:
+                    ir.ot = OT_LONG;
+                    break;
+                  case 0x660f3a17:
+                    ir.ot = OT_QUAD;
+                    break;
+                  default:
+                    ir.ot = OT_DQUAD;
+                    break;
+                }
+              if (i386_record_lea_modrm (&ir))
+                return -1;
+            }
+          break;
+
+        case 0x0f2b:      /* movntps */
+        case 0x660f2b:    /* movntpd */
+        case 0x0fe7:      /* movntq */
+        case 0x660fe7:    /* movntdq */
+          if (ir.mod == 3)
+            goto no_support;
+          if (opcode == 0x0fe7)
+            ir.ot = OT_QUAD;
+          else
+            ir.ot = OT_DQUAD;
+          if (i386_record_lea_modrm (&ir))
+            return -1;
+          break;
+
+        case 0xf30f2c:      /* cvttss2si */
+        case 0xf20f2c:      /* cvttsd2si */
+        case 0xf30f2d:      /* cvtss2si */
+        case 0xf20f2d:      /* cvtsd2si */
+        case 0xf20f38f0:    /* crc32 */
+        case 0xf20f38f1:    /* crc32 */
+        case 0x0f50:        /* movmskps */
+        case 0x660f50:      /* movmskpd */
+        case 0x0fc5:        /* pextrw */
+        case 0x660fc5:      /* pextrw */
+        case 0x0fd7:        /* pmovmskb */
+        case 0x660fd7:      /* pmovmskb */
+          I386_RECORD_ARCH_LIST_ADD_REG (ir.reg | rex_r);
+          break;
+
+        case 0x0f3800:    /* pshufb */
+        case 0x0f3801:    /* phaddw */
+        case 0x0f3802:    /* phaddd */
+        case 0x0f3803:    /* phaddsw */
+        case 0x0f3804:    /* pmaddubsw */
+        case 0x0f3805:    /* phsubw */
+        case 0x0f3806:    /* phsubd */
+        case 0x0f3807:    /* phsubsw */
+        case 0x0f3808:    /* psignb */
+        case 0x0f3809:    /* psignw */
+        case 0x0f380a:    /* psignd */
+        case 0x0f380b:    /* pmulhrsw */
+        case 0x0f381c:    /* pabsb */
+        case 0x0f381d:    /* pabsw */
+        case 0x0f381e:    /* pabsd */
+        case 0x0f382b:    /* packusdw */
+        case 0x0f3830:    /* pmovzxbw */
+        case 0x0f3831:    /* pmovzxbd */
+        case 0x0f3832:    /* pmovzxbq */
+        case 0x0f3833:    /* pmovzxwd */
+        case 0x0f3834:    /* pmovzxwq */
+        case 0x0f3835:    /* pmovzxdq */
+        case 0x0f3837:    /* pcmpgtq */
+        case 0x0f3838:    /* pminsb */
+        case 0x0f3839:    /* pminsd */
+        case 0x0f383a:    /* pminuw */
+        case 0x0f383b:    /* pminud */
+        case 0x0f383c:    /* pmaxsb */
+        case 0x0f383d:    /* pmaxsd */
+        case 0x0f383e:    /* pmaxuw */
+        case 0x0f383f:    /* pmaxud */
+        case 0x0f3840:    /* pmulld */
+        case 0x0f3841:    /* phminposuw */
+        case 0x0f3a0f:    /* palignr */
+        case 0x0f60:      /* punpcklbw */
+        case 0x0f61:      /* punpcklwd */
+        case 0x0f62:      /* punpckldq */
+        case 0x0f63:      /* packsswb */
+        case 0x0f64:      /* pcmpgtb */
+        case 0x0f65:      /* pcmpgtw */
+        case 0x0f66:      /* pcmpgtd */
+        case 0x0f67:      /* packuswb */
+        case 0x0f68:      /* punpckhbw */
+        case 0x0f69:      /* punpckhwd */
+        case 0x0f6a:      /* punpckhdq */
+        case 0x0f6b:      /* packssdw */
+        case 0x0f6e:      /* movd */
+        case 0x0f6f:      /* movq */
+        case 0x0f70:      /* pshufw */
+        case 0x0f74:      /* pcmpeqb */
+        case 0x0f75:      /* pcmpeqw */
+        case 0x0f76:      /* pcmpeqd */
+        case 0x0fc4:      /* pinsrw */
+        case 0x0fd1:      /* psrlw */
+        case 0x0fd2:      /* psrld */
+        case 0x0fd3:      /* psrlq */
+        case 0x0fd4:      /* paddq */
+        case 0x0fd5:      /* pmullw */
+        case 0xf20fd6:    /* movdq2q */
+        case 0x0fd8:      /* psubusb */
+        case 0x0fd9:      /* psubusw */
+        case 0x0fda:      /* pminub */
+        case 0x0fdb:      /* pand */
+        case 0x0fdc:      /* paddusb */
+        case 0x0fdd:      /* paddusw */
+        case 0x0fde:      /* pmaxub */
+        case 0x0fdf:      /* pandn */
+        case 0x0fe0:      /* pavgb */
+        case 0x0fe1:      /* psraw */
+        case 0x0fe2:      /* psrad */
+        case 0x0fe3:      /* pavgw */
+        case 0x0fe4:      /* pmulhuw */
+        case 0x0fe5:      /* pmulhw */
+        case 0x0fe8:      /* psubsb */
+        case 0x0fe9:      /* psubsw */
+        case 0x0fea:      /* pminsw */
+        case 0x0feb:      /* por */
+        case 0x0fec:      /* paddsb */
+        case 0x0fed:      /* paddsw */
+        case 0x0fee:      /* pmaxsw */
+        case 0x0fef:      /* pxor */
+        case 0x0ff1:      /* psllw */
+        case 0x0ff2:      /* pslld */
+        case 0x0ff3:      /* psllq */
+        case 0x0ff4:      /* pmuludq */
+        case 0x0ff5:      /* pmaddwd */
+        case 0x0ff6:      /* psadbw */
+        case 0x0ff8:      /* psubb */
+        case 0x0ff9:      /* psubw */
+        case 0x0ffa:      /* psubd */
+        case 0x0ffb:      /* psubq */
+        case 0x0ffc:      /* paddb */
+        case 0x0ffd:      /* paddw */
+        case 0x0ffe:      /* paddd */
+          if (i386_record_modrm (&ir))
+           return -1;
+          if (!i386_mmx_regnum_p (gdbarch, I387_MM0_REGNUM (tdep) + ir.reg))
+            goto no_support;
+          record_arch_list_add_reg (ir.regcache,
+                                    I387_MM0_REGNUM (tdep) + ir.reg);
+          break;
+
+        case 0x0f71:    /* psllw */
+        case 0x0f72:    /* pslld */
+        case 0x0f73:    /* psllq */
+          if (i386_record_modrm (&ir))
+           return -1;
+          if (!i386_mmx_regnum_p (gdbarch, I387_MM0_REGNUM (tdep) + ir.rm))
+            goto no_support;
+          record_arch_list_add_reg (ir.regcache,
+                                    I387_MM0_REGNUM (tdep) + ir.rm);
+          break;
+
+        case 0x660f71:    /* psllw */
+        case 0x660f72:    /* pslld */
+        case 0x660f73:    /* psllq */
+          if (i386_record_modrm (&ir))
+           return -1;
+          ir.rm |= ir.rex_b;
+          if (!i386_xmm_regnum_p (gdbarch, I387_XMM0_REGNUM (tdep) + ir.rm))
+            goto no_support;
+          record_arch_list_add_reg (ir.regcache,
+                                    I387_XMM0_REGNUM (tdep) + ir.rm);
+          break;
+
+        case 0x0f7e:      /* movd */
+        case 0x660f7e:    /* movd */
+          if (i386_record_modrm (&ir))
+           return -1;
+          if (ir.mod == 3)
+            I386_RECORD_ARCH_LIST_ADD_REG (ir.rm | ir.rex_b);
+          else
+            {
+              if (ir.dflag == 2)
+                ir.ot = OT_QUAD;
+              else
+                ir.ot = OT_LONG;
+              if (i386_record_lea_modrm (&ir))
+                return -1;
+            }
+          break;
+
+        case 0x0f7f:    /* movq */
+          if (i386_record_modrm (&ir))
+           return -1;
+          if (ir.mod == 3)
+            {
+              if (!i386_mmx_regnum_p (gdbarch, I387_MM0_REGNUM (tdep) + ir.rm))
+                goto no_support;
+              record_arch_list_add_reg (ir.regcache,
+                                        I387_MM0_REGNUM (tdep) + ir.rm);
+            }
+          else
+            {
+              ir.ot = OT_QUAD;
+              if (i386_record_lea_modrm (&ir))
+                return -1;
+            }
+          break;
+
+        case 0xf30fb8:    /* popcnt */
+          if (i386_record_modrm (&ir))
+           return -1;
+          I386_RECORD_ARCH_LIST_ADD_REG (ir.reg);
+          I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
+          break;
+
+        case 0x660fd6:    /* movq */
+          if (i386_record_modrm (&ir))
+           return -1;
+          if (ir.mod == 3)
+            {
+              ir.rm |= ir.rex_b;
+              if (!i386_xmm_regnum_p (gdbarch,
+                                     I387_XMM0_REGNUM (tdep) + ir.rm))
+                goto no_support;
+              record_arch_list_add_reg (ir.regcache,
+                                        I387_XMM0_REGNUM (tdep) + ir.rm);
+            }
+          else
+            {
+              ir.ot = OT_QUAD;
+              if (i386_record_lea_modrm (&ir))
+                return -1;
+            }
+          break;
+
+        case 0x660f3817:    /* ptest */
+        case 0x0f2e:        /* ucomiss */
+        case 0x660f2e:      /* ucomisd */
+        case 0x0f2f:        /* comiss */
+        case 0x660f2f:      /* comisd */
+          I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_EFLAGS_REGNUM);
+          break;
+
+        case 0x0ff7:    /* maskmovq */
+          regcache_raw_read_unsigned (ir.regcache,
+                                      ir.regmap[X86_RECORD_REDI_REGNUM],
+                                      &addr);
+          if (record_arch_list_add_mem (addr, 64))
+            return -1;
+          break;
+
+        case 0x660ff7:    /* maskmovdqu */
+          regcache_raw_read_unsigned (ir.regcache,
+                                      ir.regmap[X86_RECORD_REDI_REGNUM],
+                                      &addr);
+          if (record_arch_list_add_mem (addr, 128))
+            return -1;
+          break;
+
+        default:
+          goto no_support;
+          break;
+        }
+      break;
 
     default:
-      if (opcode > 0xff)
-       ir.addr -= 2;
-      else
-       ir.addr -= 1;
       goto no_support;
       break;
     }
 
-/* In the future, Maybe still need to deal with need_dasm */
-  if (record_arch_list_add_reg (ir.regcache, I386_EIP_REGNUM))
-    return -1;
+  /* In the future, maybe still need to deal with need_dasm.  */
+  I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REIP_REGNUM);
   if (record_arch_list_add_end ())
     return -1;
 
   return 0;
 
-no_support:
-  printf_unfiltered (_("Process record doesn't support instruction 0x%02x "
-                      "at address 0x%s.\n"),
-                    (unsigned int) (opcode), paddr_nz (ir.addr));
+ no_support:
+  printf_unfiltered (_("Process record does not support instruction 0x%02x "
+                       "at address %s.\n"),
+                     (unsigned int) (opcode),
+                     paddress (gdbarch, ir.orig_addr));
   return -1;
 }
 
+static const int i386_record_regmap[] =
+{
+  I386_EAX_REGNUM, I386_ECX_REGNUM, I386_EDX_REGNUM, I386_EBX_REGNUM,
+  I386_ESP_REGNUM, I386_EBP_REGNUM, I386_ESI_REGNUM, I386_EDI_REGNUM,
+  0, 0, 0, 0, 0, 0, 0, 0,
+  I386_EIP_REGNUM, I386_EFLAGS_REGNUM, I386_CS_REGNUM, I386_SS_REGNUM,
+  I386_DS_REGNUM, I386_ES_REGNUM, I386_FS_REGNUM, I386_GS_REGNUM
+};
+
+/* Check that the given address appears suitable for a fast
+   tracepoint, which on x86-64 means that we need an instruction of at
+   least 5 bytes, so that we can overwrite it with a 4-byte-offset
+   jump and not have to worry about program jumps to an address in the
+   middle of the tracepoint jump.  On x86, it may be possible to use
+   4-byte jumps with a 2-byte offset to a trampoline located in the
+   bottom 64 KiB of memory.  Returns 1 if OK, and writes a size
+   of instruction to replace, and 0 if not, plus an explanatory
+   string.  */
+
+static int
+i386_fast_tracepoint_valid_at (struct gdbarch *gdbarch,
+                              CORE_ADDR addr, int *isize, char **msg)
+{
+  int len, jumplen;
+  static struct ui_file *gdb_null = NULL;
+
+  /*  Ask the target for the minimum instruction length supported.  */
+  jumplen = target_get_min_fast_tracepoint_insn_len ();
+
+  if (jumplen < 0)
+    {
+      /* If the target does not support the get_min_fast_tracepoint_insn_len
+        operation, assume that fast tracepoints will always be implemented
+        using 4-byte relative jumps on both x86 and x86-64.  */
+      jumplen = 5;
+    }
+  else if (jumplen == 0)
+    {
+      /* If the target does support get_min_fast_tracepoint_insn_len but
+        returns zero, then the IPA has not loaded yet.  In this case,
+        we optimistically assume that truncated 2-byte relative jumps
+        will be available on x86, and compensate later if this assumption
+        turns out to be incorrect.  On x86-64 architectures, 4-byte relative
+        jumps will always be used.  */
+      jumplen = (register_size (gdbarch, 0) == 8) ? 5 : 4;
+    }
+
+  /* Dummy file descriptor for the disassembler.  */
+  if (!gdb_null)
+    gdb_null = ui_file_new ();
+
+  /* Check for fit.  */
+  len = gdb_print_insn (gdbarch, addr, gdb_null, NULL);
+  if (isize)
+    *isize = len;
+
+  if (len < jumplen)
+    {
+      /* Return a bit of target-specific detail to add to the caller's
+        generic failure message.  */
+      if (msg)
+       *msg = xstrprintf (_("; instruction is only %d bytes long, "
+                            "need at least %d bytes for the jump"),
+                          len, jumplen);
+      return 0;
+    }
+  else
+    {
+      if (msg)
+       *msg = NULL;
+      return 1;
+    }
+}
+
+static int
+i386_validate_tdesc_p (struct gdbarch_tdep *tdep,
+                      struct tdesc_arch_data *tdesc_data)
+{
+  const struct target_desc *tdesc = tdep->tdesc;
+  const struct tdesc_feature *feature_core;
+  const struct tdesc_feature *feature_sse, *feature_avx;
+  int i, num_regs, valid_p;
+
+  if (! tdesc_has_registers (tdesc))
+    return 0;
+
+  /* Get core registers.  */
+  feature_core = tdesc_find_feature (tdesc, "org.gnu.gdb.i386.core");
+  if (feature_core == NULL)
+    return 0;
+
+  /* Get SSE registers.  */
+  feature_sse = tdesc_find_feature (tdesc, "org.gnu.gdb.i386.sse");
+
+  /* Try AVX registers.  */
+  feature_avx = tdesc_find_feature (tdesc, "org.gnu.gdb.i386.avx");
+
+  valid_p = 1;
+
+  /* The XCR0 bits.  */
+  if (feature_avx)
+    {
+      /* AVX register description requires SSE register description.  */
+      if (!feature_sse)
+       return 0;
+
+      tdep->xcr0 = I386_XSTATE_AVX_MASK;
+
+      /* It may have been set by OSABI initialization function.  */
+      if (tdep->num_ymm_regs == 0)
+       {
+         tdep->ymmh_register_names = i386_ymmh_names;
+         tdep->num_ymm_regs = 8;
+         tdep->ymm0h_regnum = I386_YMM0H_REGNUM;
+       }
+
+      for (i = 0; i < tdep->num_ymm_regs; i++)
+       valid_p &= tdesc_numbered_register (feature_avx, tdesc_data,
+                                           tdep->ymm0h_regnum + i,
+                                           tdep->ymmh_register_names[i]);
+    }
+  else if (feature_sse)
+    tdep->xcr0 = I386_XSTATE_SSE_MASK;
+  else
+    {
+      tdep->xcr0 = I386_XSTATE_X87_MASK;
+      tdep->num_xmm_regs = 0;
+    }
+
+  num_regs = tdep->num_core_regs;
+  for (i = 0; i < num_regs; i++)
+    valid_p &= tdesc_numbered_register (feature_core, tdesc_data, i,
+                                       tdep->register_names[i]);
+
+  if (feature_sse)
+    {
+      /* Need to include %mxcsr, so add one.  */
+      num_regs += tdep->num_xmm_regs + 1;
+      for (; i < num_regs; i++)
+       valid_p &= tdesc_numbered_register (feature_sse, tdesc_data, i,
+                                           tdep->register_names[i]);
+    }
+
+  return valid_p;
+}
+
 \f
 static struct gdbarch *
 i386_gdbarch_init (struct gdbarch_info info, struct gdbarch_list *arches)
 {
   struct gdbarch_tdep *tdep;
   struct gdbarch *gdbarch;
+  struct tdesc_arch_data *tdesc_data;
+  const struct target_desc *tdesc;
+  int mm0_regnum;
+  int ymm0_regnum;
 
   /* If there is already a candidate, use it.  */
   arches = gdbarch_list_lookup_by_info (arches, &info);
@@ -5108,27 +7281,16 @@ i386_gdbarch_init (struct gdbarch_info info, struct gdbarch_list *arches)
   tdep->fpregset = NULL;
   tdep->sizeof_fpregset = I387_SIZEOF_FSAVE;
 
+  tdep->xstateregset = NULL;
+
   /* The default settings include the FPU registers, the MMX registers
      and the SSE registers.  This can be overridden for a specific ABI
      by adjusting the members `st0_regnum', `mm0_regnum' and
      `num_xmm_regs' of `struct gdbarch_tdep', otherwise the registers
-     will show up in the output of "info all-registers".  Ideally we
-     should try to autodetect whether they are available, such that we
-     can prevent "info all-registers" from displaying registers that
-     aren't available.
-
-     NOTE: kevinb/2003-07-13: ... if it's a choice between printing
-     [the SSE registers] always (even when they don't exist) or never
-     showing them to the user (even when they do exist), I prefer the
-     former over the latter.  */
+     will show up in the output of "info all-registers".  */
 
   tdep->st0_regnum = I386_ST0_REGNUM;
 
-  /* The MMX registers are implemented as pseudo-registers.  Put off
-     calculating the register number for %mm0 until we know the number
-     of raw registers.  */
-  tdep->mm0_regnum = 0;
-
   /* I386_NUM_XREGS includes %mxcsr, so substract one.  */
   tdep->num_xmm_regs = I386_NUM_XREGS - 1;
 
@@ -5142,6 +7304,12 @@ i386_gdbarch_init (struct gdbarch_info info, struct gdbarch_list *arches)
   tdep->sc_pc_offset = -1;
   tdep->sc_sp_offset = -1;
 
+  tdep->xsave_xcr0_offset = -1;
+
+  tdep->record_regmap = i386_record_regmap;
+
+  set_gdbarch_long_long_align_bit (gdbarch, 32);
+
   /* The format used for `long double' on almost all i386 targets is
      the i387 extended floating-point format.  In fact, of all targets
      in the GCC 2.95 tree, only OSF/1 does it different, and insists
@@ -5153,12 +7321,6 @@ i386_gdbarch_init (struct gdbarch_info info, struct gdbarch_list *arches)
      alignment.  */
   set_gdbarch_long_double_bit (gdbarch, 96);
 
-  /* The default ABI includes general-purpose registers, 
-     floating-point registers, and the SSE registers.  */
-  set_gdbarch_num_regs (gdbarch, I386_SSE_NUM_REGS);
-  set_gdbarch_register_name (gdbarch, i386_register_name);
-  set_gdbarch_register_type (gdbarch, i386_register_type);
-
   /* Register numbers of various important registers.  */
   set_gdbarch_sp_regnum (gdbarch, I386_ESP_REGNUM); /* %esp */
   set_gdbarch_pc_regnum (gdbarch, I386_EIP_REGNUM); /* %eip */
@@ -5211,6 +7373,7 @@ i386_gdbarch_init (struct gdbarch_info info, struct gdbarch_list *arches)
 
   /* Call dummy code.  */
   set_gdbarch_push_dummy_call (gdbarch, i386_push_dummy_call);
+  set_gdbarch_frame_align (gdbarch, i386_frame_align);
 
   set_gdbarch_convert_register_p (gdbarch, i386_convert_register_p);
   set_gdbarch_register_to_value (gdbarch,  i386_register_to_value);
@@ -5229,11 +7392,6 @@ i386_gdbarch_init (struct gdbarch_info info, struct gdbarch_list *arches)
 
   set_gdbarch_frame_args_skip (gdbarch, 8);
 
-  /* Wire in the MMX registers.  */
-  set_gdbarch_num_pseudo_regs (gdbarch, i386_num_mmx_regs);
-  set_gdbarch_pseudo_register_read (gdbarch, i386_pseudo_register_read);
-  set_gdbarch_pseudo_register_write (gdbarch, i386_pseudo_register_write);
-
   set_gdbarch_print_insn (gdbarch, i386_print_insn);
 
   set_gdbarch_dummy_id (gdbarch, i386_dummy_id);
@@ -5242,19 +7400,128 @@ i386_gdbarch_init (struct gdbarch_info info, struct gdbarch_list *arches)
 
   /* Add the i386 register groups.  */
   i386_add_reggroups (gdbarch);
-  set_gdbarch_register_reggroup_p (gdbarch, i386_register_reggroup_p);
+  tdep->register_reggroup_p = i386_register_reggroup_p;
 
   /* Helper for function argument information.  */
   set_gdbarch_fetch_pointer_argument (gdbarch, i386_fetch_pointer_argument);
 
-  /* Hook in the DWARF CFI frame unwinder.  */
+  /* Hook the function epilogue frame unwinder.  This unwinder is
+     appended to the list first, so that it supercedes the DWARF
+     unwinder in function epilogues (where the DWARF unwinder
+     currently fails).  */
+  frame_unwind_append_unwinder (gdbarch, &i386_epilogue_frame_unwind);
+
+  /* Hook in the DWARF CFI frame unwinder.  This unwinder is appended
+     to the list before the prologue-based unwinders, so that DWARF
+     CFI info will be used if it is available.  */
   dwarf2_append_unwinders (gdbarch);
 
   frame_base_set_default (gdbarch, &i386_frame_base);
 
+  /* Pseudo registers may be changed by amd64_init_abi.  */
+  set_gdbarch_pseudo_register_read_value (gdbarch,
+                                         i386_pseudo_register_read_value);
+  set_gdbarch_pseudo_register_write (gdbarch, i386_pseudo_register_write);
+
+  set_tdesc_pseudo_register_type (gdbarch, i386_pseudo_register_type);
+  set_tdesc_pseudo_register_name (gdbarch, i386_pseudo_register_name);
+
+  /* Override the normal target description method to make the AVX
+     upper halves anonymous.  */
+  set_gdbarch_register_name (gdbarch, i386_register_name);
+
+  /* Even though the default ABI only includes general-purpose registers,
+     floating-point registers and the SSE registers, we have to leave a
+     gap for the upper AVX registers.  */
+  set_gdbarch_num_regs (gdbarch, I386_AVX_NUM_REGS);
+
+  /* Get the x86 target description from INFO.  */
+  tdesc = info.target_desc;
+  if (! tdesc_has_registers (tdesc))
+    tdesc = tdesc_i386;
+  tdep->tdesc = tdesc;
+
+  tdep->num_core_regs = I386_NUM_GREGS + I387_NUM_REGS;
+  tdep->register_names = i386_register_names;
+
+  /* No upper YMM registers.  */
+  tdep->ymmh_register_names = NULL;
+  tdep->ymm0h_regnum = -1;
+
+  tdep->num_byte_regs = 8;
+  tdep->num_word_regs = 8;
+  tdep->num_dword_regs = 0;
+  tdep->num_mmx_regs = 8;
+  tdep->num_ymm_regs = 0;
+
+  tdesc_data = tdesc_data_alloc ();
+
+  set_gdbarch_relocate_instruction (gdbarch, i386_relocate_instruction);
+
+  set_gdbarch_gen_return_address (gdbarch, i386_gen_return_address);
+
   /* Hook in ABI-specific overrides, if they have been registered.  */
+  info.tdep_info = (void *) tdesc_data;
   gdbarch_init_osabi (info, gdbarch);
 
+  if (!i386_validate_tdesc_p (tdep, tdesc_data))
+    {
+      tdesc_data_cleanup (tdesc_data);
+      xfree (tdep);
+      gdbarch_free (gdbarch);
+      return NULL;
+    }
+
+  /* Wire in pseudo registers.  Number of pseudo registers may be
+     changed.  */
+  set_gdbarch_num_pseudo_regs (gdbarch, (tdep->num_byte_regs
+                                        + tdep->num_word_regs
+                                        + tdep->num_dword_regs
+                                        + tdep->num_mmx_regs
+                                        + tdep->num_ymm_regs));
+
+  /* Target description may be changed.  */
+  tdesc = tdep->tdesc;
+
+  tdesc_use_registers (gdbarch, tdesc, tdesc_data);
+
+  /* Override gdbarch_register_reggroup_p set in tdesc_use_registers.  */
+  set_gdbarch_register_reggroup_p (gdbarch, tdep->register_reggroup_p);
+
+  /* Make %al the first pseudo-register.  */
+  tdep->al_regnum = gdbarch_num_regs (gdbarch);
+  tdep->ax_regnum = tdep->al_regnum + tdep->num_byte_regs;
+
+  ymm0_regnum = tdep->ax_regnum + tdep->num_word_regs;
+  if (tdep->num_dword_regs)
+    {
+      /* Support dword pseudo-register if it hasn't been disabled.  */
+      tdep->eax_regnum = ymm0_regnum;
+      ymm0_regnum += tdep->num_dword_regs;
+    }
+  else
+    tdep->eax_regnum = -1;
+
+  mm0_regnum = ymm0_regnum;
+  if (tdep->num_ymm_regs)
+    {
+      /* Support YMM pseudo-register if it is available.  */
+      tdep->ymm0_regnum = ymm0_regnum;
+      mm0_regnum += tdep->num_ymm_regs;
+    }
+  else
+    tdep->ymm0_regnum = -1;
+
+  if (tdep->num_mmx_regs != 0)
+    {
+      /* Support MMX pseudo-register if MMX hasn't been disabled.  */
+      tdep->mm0_regnum = mm0_regnum;
+    }
+  else
+    tdep->mm0_regnum = -1;
+
+  /* Hook in the legacy prologue-based unwinders last (fallback).  */
+  frame_unwind_append_unwinder (gdbarch, &i386_stack_tramp_frame_unwind);
   frame_unwind_append_unwinder (gdbarch, &i386_sigtramp_frame_unwind);
   frame_unwind_append_unwinder (gdbarch, &i386_frame_unwind);
 
@@ -5265,15 +7532,11 @@ i386_gdbarch_init (struct gdbarch_info info, struct gdbarch_list *arches)
     set_gdbarch_regset_from_core_section (gdbarch,
                                          i386_regset_from_core_section);
 
-  /* Unless support for MMX has been disabled, make %mm0 the first
-     pseudo-register.  */
-  if (tdep->mm0_regnum == 0)
-    tdep->mm0_regnum = gdbarch_num_regs (gdbarch);
-
   set_gdbarch_skip_permanent_breakpoint (gdbarch,
                                         i386_skip_permanent_breakpoint);
 
-  set_gdbarch_process_record (gdbarch, i386_process_record);
+  set_gdbarch_fast_tracepoint_valid_at (gdbarch,
+                                       i386_fast_tracepoint_valid_at);
 
   return gdbarch;
 }
@@ -5327,7 +7590,14 @@ is \"default\"."),
   gdbarch_register_osabi (bfd_arch_i386, 0, GDB_OSABI_GO32,
                          i386_go32_init_abi);
 
-  /* Initialize the i386-specific register groups & types.  */
+  /* Initialize the i386-specific register groups.  */
   i386_init_reggroups ();
-  i386_init_types();
+
+  /* Initialize the standard target descriptions.  */
+  initialize_tdesc_i386 ();
+  initialize_tdesc_i386_mmx ();
+  initialize_tdesc_i386_avx ();
+
+  /* Tell remote stub that we support XML target description.  */
+  register_remote_support_xml ("i386");
 }
This page took 0.167539 seconds and 4 git commands to generate.