1 /* THIS FILE IS GENERATED. -*- buffer-read-only: t -*- vi:set ro:
2 Original: 32bit-avx512.xml */
3
4 #include "gdbsupport/tdesc.h"
5
6 static int
create_feature_i386_32bit_avx512(struct target_desc * result,long regnum)7 create_feature_i386_32bit_avx512 (struct target_desc *result, long regnum)
8 {
9 struct tdesc_feature *feature;
10
11 feature = tdesc_create_feature (result, "org.gnu.gdb.i386.avx512");
12 tdesc_type *element_type;
13 element_type = tdesc_named_type (feature, "uint128");
14 tdesc_create_vector (feature, "v2ui128", element_type, 2);
15
16 tdesc_create_reg (feature, "k0", regnum++, 1, NULL, 64, "uint64");
17 tdesc_create_reg (feature, "k1", regnum++, 1, NULL, 64, "uint64");
18 tdesc_create_reg (feature, "k2", regnum++, 1, NULL, 64, "uint64");
19 tdesc_create_reg (feature, "k3", regnum++, 1, NULL, 64, "uint64");
20 tdesc_create_reg (feature, "k4", regnum++, 1, NULL, 64, "uint64");
21 tdesc_create_reg (feature, "k5", regnum++, 1, NULL, 64, "uint64");
22 tdesc_create_reg (feature, "k6", regnum++, 1, NULL, 64, "uint64");
23 tdesc_create_reg (feature, "k7", regnum++, 1, NULL, 64, "uint64");
24 tdesc_create_reg (feature, "zmm0h", regnum++, 1, NULL, 256, "v2ui128");
25 tdesc_create_reg (feature, "zmm1h", regnum++, 1, NULL, 256, "v2ui128");
26 tdesc_create_reg (feature, "zmm2h", regnum++, 1, NULL, 256, "v2ui128");
27 tdesc_create_reg (feature, "zmm3h", regnum++, 1, NULL, 256, "v2ui128");
28 tdesc_create_reg (feature, "zmm4h", regnum++, 1, NULL, 256, "v2ui128");
29 tdesc_create_reg (feature, "zmm5h", regnum++, 1, NULL, 256, "v2ui128");
30 tdesc_create_reg (feature, "zmm6h", regnum++, 1, NULL, 256, "v2ui128");
31 tdesc_create_reg (feature, "zmm7h", regnum++, 1, NULL, 256, "v2ui128");
32 return regnum;
33 }
34