Add AVX512 registers support to GDB and GDBserver.

[deliverable/binutils-gdb.git] / gdb / i386-linux-tdep.h

diff --git a/gdb/i386-linux-tdep.h b/gdb/i386-linux-tdep.h
index d6ab9cabcf41a9493e52a588df4887ddcbfdca97..1dc146e8d2311bf3416e4c68447f86a4346f5500 100644 (file)
--- a/gdb/i386-linux-tdep.h
+++ b/gdb/i386-linux-tdep.h
@@ -29,7 +29,7 @@
 /* Register number for the "orig_eax" pseudo-register.  If this
    pseudo-register contains a value >= 0 it is interpreted as the
    system call number that the kernel is supposed to restart.  */
-#define I386_LINUX_ORIG_EAX_REGNUM I386_MPX_NUM_REGS
+#define I386_LINUX_ORIG_EAX_REGNUM (I386_ZMM7H_REGNUM + 1)
 
 /* Total number of registers for GNU/Linux.  */
 #define I386_LINUX_NUM_REGS (I386_LINUX_ORIG_EAX_REGNUM + 1)
@@ -42,6 +42,7 @@ extern struct target_desc *tdesc_i386_linux;
 extern struct target_desc *tdesc_i386_mmx_linux;
 extern struct target_desc *tdesc_i386_avx_linux;
 extern struct target_desc *tdesc_i386_mpx_linux;
+extern struct target_desc *tdesc_i386_avx512_linux;
 
 /* Format of XSAVE extended state is:
        struct
@@ -51,6 +52,10 @@ extern struct target_desc *tdesc_i386_mpx_linux;
          xstate_hdr_bytes[512..575]
          avx_bytes[576..831]
          mpx_bytes [960..1032]
+         avx512_k_regs[1088..1152]
+         avx512_zmmh_regs0-7[1153..1407]
+         avx512_zmmh_regs8-15[1408..1663]
+         avx512_zmm_regs16-31[1664..2687]
          future_state etc
        };