Commit | Line | Data |
---|---|---|
25aa13e5 YQ |
1 | /* THIS FILE IS GENERATED. -*- buffer-read-only: t -*- vi:set ro: |
2 | Original: 32bit-avx512.xml */ | |
3 | ||
268a13a5 | 4 | #include "gdbsupport/tdesc.h" |
25aa13e5 YQ |
5 | |
6 | static int | |
7 | create_feature_i386_32bit_avx512 (struct target_desc *result, long regnum) | |
8 | { | |
9 | struct tdesc_feature *feature; | |
10 | ||
3b74854b | 11 | feature = tdesc_create_feature (result, "org.gnu.gdb.i386.avx512"); |
d4a0e8b5 SM |
12 | tdesc_type *element_type; |
13 | element_type = tdesc_named_type (feature, "uint128"); | |
14 | tdesc_create_vector (feature, "v2ui128", element_type, 2); | |
25aa13e5 YQ |
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 | } |