1 /* THIS FILE IS GENERATED. -*- buffer-read-only: t -*- vi:set ro:
2 Original: 32bit-avx512.xml */
4 #include "gdbsupport/tdesc.h"
7 create_feature_i386_32bit_avx512 (struct target_desc
*result
, long regnum
)
9 struct tdesc_feature
*feature
;
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);
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");
This page took 0.033713 seconds and 4 git commands to generate.