| 1 | /* THIS FILE IS GENERATED. -*- buffer-read-only: t -*- vi:set ro: |
| 2 | Original: 32bit-avx512.xml */ |
| 3 | |
| 4 | #include "common/tdesc.h" |
| 5 | |
| 6 | static int |
| 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 | } |