Check arguments for all probes before using them
[external/binutils.git] / gdb / features / i386 / 64bit-avx512.c
1 /* THIS FILE IS GENERATED.  -*- buffer-read-only: t -*- vi:set ro:
2   Original: 64bit-avx512.xml */
3
4 #include "gdbsupport/tdesc.h"
5
6 static int
7 create_feature_i386_64bit_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, "ieee_single");
14   tdesc_create_vector (feature, "v4f", element_type, 4);
15
16   element_type = tdesc_named_type (feature, "ieee_double");
17   tdesc_create_vector (feature, "v2d", element_type, 2);
18
19   element_type = tdesc_named_type (feature, "int8");
20   tdesc_create_vector (feature, "v16i8", element_type, 16);
21
22   element_type = tdesc_named_type (feature, "int16");
23   tdesc_create_vector (feature, "v8i16", element_type, 8);
24
25   element_type = tdesc_named_type (feature, "int32");
26   tdesc_create_vector (feature, "v4i32", element_type, 4);
27
28   element_type = tdesc_named_type (feature, "int64");
29   tdesc_create_vector (feature, "v2i64", element_type, 2);
30
31   tdesc_type_with_fields *type_with_fields;
32   type_with_fields = tdesc_create_union (feature, "vec128");
33   tdesc_type *field_type;
34   field_type = tdesc_named_type (feature, "v4f");
35   tdesc_add_field (type_with_fields, "v4_float", field_type);
36   field_type = tdesc_named_type (feature, "v2d");
37   tdesc_add_field (type_with_fields, "v2_double", field_type);
38   field_type = tdesc_named_type (feature, "v16i8");
39   tdesc_add_field (type_with_fields, "v16_int8", field_type);
40   field_type = tdesc_named_type (feature, "v8i16");
41   tdesc_add_field (type_with_fields, "v8_int16", field_type);
42   field_type = tdesc_named_type (feature, "v4i32");
43   tdesc_add_field (type_with_fields, "v4_int32", field_type);
44   field_type = tdesc_named_type (feature, "v2i64");
45   tdesc_add_field (type_with_fields, "v2_int64", field_type);
46   field_type = tdesc_named_type (feature, "uint128");
47   tdesc_add_field (type_with_fields, "uint128", field_type);
48
49   element_type = tdesc_named_type (feature, "uint128");
50   tdesc_create_vector (feature, "v2ui128", element_type, 2);
51
52   tdesc_create_reg (feature, "xmm16", regnum++, 1, NULL, 128, "vec128");
53   tdesc_create_reg (feature, "xmm17", regnum++, 1, NULL, 128, "vec128");
54   tdesc_create_reg (feature, "xmm18", regnum++, 1, NULL, 128, "vec128");
55   tdesc_create_reg (feature, "xmm19", regnum++, 1, NULL, 128, "vec128");
56   tdesc_create_reg (feature, "xmm20", regnum++, 1, NULL, 128, "vec128");
57   tdesc_create_reg (feature, "xmm21", regnum++, 1, NULL, 128, "vec128");
58   tdesc_create_reg (feature, "xmm22", regnum++, 1, NULL, 128, "vec128");
59   tdesc_create_reg (feature, "xmm23", regnum++, 1, NULL, 128, "vec128");
60   tdesc_create_reg (feature, "xmm24", regnum++, 1, NULL, 128, "vec128");
61   tdesc_create_reg (feature, "xmm25", regnum++, 1, NULL, 128, "vec128");
62   tdesc_create_reg (feature, "xmm26", regnum++, 1, NULL, 128, "vec128");
63   tdesc_create_reg (feature, "xmm27", regnum++, 1, NULL, 128, "vec128");
64   tdesc_create_reg (feature, "xmm28", regnum++, 1, NULL, 128, "vec128");
65   tdesc_create_reg (feature, "xmm29", regnum++, 1, NULL, 128, "vec128");
66   tdesc_create_reg (feature, "xmm30", regnum++, 1, NULL, 128, "vec128");
67   tdesc_create_reg (feature, "xmm31", regnum++, 1, NULL, 128, "vec128");
68   tdesc_create_reg (feature, "ymm16h", regnum++, 1, NULL, 128, "uint128");
69   tdesc_create_reg (feature, "ymm17h", regnum++, 1, NULL, 128, "uint128");
70   tdesc_create_reg (feature, "ymm18h", regnum++, 1, NULL, 128, "uint128");
71   tdesc_create_reg (feature, "ymm19h", regnum++, 1, NULL, 128, "uint128");
72   tdesc_create_reg (feature, "ymm20h", regnum++, 1, NULL, 128, "uint128");
73   tdesc_create_reg (feature, "ymm21h", regnum++, 1, NULL, 128, "uint128");
74   tdesc_create_reg (feature, "ymm22h", regnum++, 1, NULL, 128, "uint128");
75   tdesc_create_reg (feature, "ymm23h", regnum++, 1, NULL, 128, "uint128");
76   tdesc_create_reg (feature, "ymm24h", regnum++, 1, NULL, 128, "uint128");
77   tdesc_create_reg (feature, "ymm25h", regnum++, 1, NULL, 128, "uint128");
78   tdesc_create_reg (feature, "ymm26h", regnum++, 1, NULL, 128, "uint128");
79   tdesc_create_reg (feature, "ymm27h", regnum++, 1, NULL, 128, "uint128");
80   tdesc_create_reg (feature, "ymm28h", regnum++, 1, NULL, 128, "uint128");
81   tdesc_create_reg (feature, "ymm29h", regnum++, 1, NULL, 128, "uint128");
82   tdesc_create_reg (feature, "ymm30h", regnum++, 1, NULL, 128, "uint128");
83   tdesc_create_reg (feature, "ymm31h", regnum++, 1, NULL, 128, "uint128");
84   tdesc_create_reg (feature, "k0", regnum++, 1, NULL, 64, "uint64");
85   tdesc_create_reg (feature, "k1", regnum++, 1, NULL, 64, "uint64");
86   tdesc_create_reg (feature, "k2", regnum++, 1, NULL, 64, "uint64");
87   tdesc_create_reg (feature, "k3", regnum++, 1, NULL, 64, "uint64");
88   tdesc_create_reg (feature, "k4", regnum++, 1, NULL, 64, "uint64");
89   tdesc_create_reg (feature, "k5", regnum++, 1, NULL, 64, "uint64");
90   tdesc_create_reg (feature, "k6", regnum++, 1, NULL, 64, "uint64");
91   tdesc_create_reg (feature, "k7", regnum++, 1, NULL, 64, "uint64");
92   tdesc_create_reg (feature, "zmm0h", regnum++, 1, NULL, 256, "v2ui128");
93   tdesc_create_reg (feature, "zmm1h", regnum++, 1, NULL, 256, "v2ui128");
94   tdesc_create_reg (feature, "zmm2h", regnum++, 1, NULL, 256, "v2ui128");
95   tdesc_create_reg (feature, "zmm3h", regnum++, 1, NULL, 256, "v2ui128");
96   tdesc_create_reg (feature, "zmm4h", regnum++, 1, NULL, 256, "v2ui128");
97   tdesc_create_reg (feature, "zmm5h", regnum++, 1, NULL, 256, "v2ui128");
98   tdesc_create_reg (feature, "zmm6h", regnum++, 1, NULL, 256, "v2ui128");
99   tdesc_create_reg (feature, "zmm7h", regnum++, 1, NULL, 256, "v2ui128");
100   tdesc_create_reg (feature, "zmm8h", regnum++, 1, NULL, 256, "v2ui128");
101   tdesc_create_reg (feature, "zmm9h", regnum++, 1, NULL, 256, "v2ui128");
102   tdesc_create_reg (feature, "zmm10h", regnum++, 1, NULL, 256, "v2ui128");
103   tdesc_create_reg (feature, "zmm11h", regnum++, 1, NULL, 256, "v2ui128");
104   tdesc_create_reg (feature, "zmm12h", regnum++, 1, NULL, 256, "v2ui128");
105   tdesc_create_reg (feature, "zmm13h", regnum++, 1, NULL, 256, "v2ui128");
106   tdesc_create_reg (feature, "zmm14h", regnum++, 1, NULL, 256, "v2ui128");
107   tdesc_create_reg (feature, "zmm15h", regnum++, 1, NULL, 256, "v2ui128");
108   tdesc_create_reg (feature, "zmm16h", regnum++, 1, NULL, 256, "v2ui128");
109   tdesc_create_reg (feature, "zmm17h", regnum++, 1, NULL, 256, "v2ui128");
110   tdesc_create_reg (feature, "zmm18h", regnum++, 1, NULL, 256, "v2ui128");
111   tdesc_create_reg (feature, "zmm19h", regnum++, 1, NULL, 256, "v2ui128");
112   tdesc_create_reg (feature, "zmm20h", regnum++, 1, NULL, 256, "v2ui128");
113   tdesc_create_reg (feature, "zmm21h", regnum++, 1, NULL, 256, "v2ui128");
114   tdesc_create_reg (feature, "zmm22h", regnum++, 1, NULL, 256, "v2ui128");
115   tdesc_create_reg (feature, "zmm23h", regnum++, 1, NULL, 256, "v2ui128");
116   tdesc_create_reg (feature, "zmm24h", regnum++, 1, NULL, 256, "v2ui128");
117   tdesc_create_reg (feature, "zmm25h", regnum++, 1, NULL, 256, "v2ui128");
118   tdesc_create_reg (feature, "zmm26h", regnum++, 1, NULL, 256, "v2ui128");
119   tdesc_create_reg (feature, "zmm27h", regnum++, 1, NULL, 256, "v2ui128");
120   tdesc_create_reg (feature, "zmm28h", regnum++, 1, NULL, 256, "v2ui128");
121   tdesc_create_reg (feature, "zmm29h", regnum++, 1, NULL, 256, "v2ui128");
122   tdesc_create_reg (feature, "zmm30h", regnum++, 1, NULL, 256, "v2ui128");
123   tdesc_create_reg (feature, "zmm31h", regnum++, 1, NULL, 256, "v2ui128");
124   return regnum;
125 }