GDB (xrefs)
x32-avx512-linux.c
Go to the documentation of this file.
1 /* THIS FILE IS GENERATED. -*- buffer-read-only: t -*- vi:set ro:
2  Original: x32-avx512-linux.xml */
3 
4 #include "defs.h"
5 #include "osabi.h"
6 #include "target-descriptions.h"
7 
9 static void
11 {
12  struct target_desc *result = allocate_target_description ();
13  struct tdesc_feature *feature;
14  struct tdesc_type *field_type;
15  struct tdesc_type *type;
16 
17  set_tdesc_architecture (result, bfd_scan_arch ("i386:x64-32"));
18 
19  set_tdesc_osabi (result, osabi_from_tdesc_string ("GNU/Linux"));
20 
21  feature = tdesc_create_feature (result, "org.gnu.gdb.i386.core");
22  field_type = tdesc_create_flags (feature, "i386_eflags", 4);
23  tdesc_add_flag (field_type, 0, "CF");
24  tdesc_add_flag (field_type, 1, "");
25  tdesc_add_flag (field_type, 2, "PF");
26  tdesc_add_flag (field_type, 4, "AF");
27  tdesc_add_flag (field_type, 6, "ZF");
28  tdesc_add_flag (field_type, 7, "SF");
29  tdesc_add_flag (field_type, 8, "TF");
30  tdesc_add_flag (field_type, 9, "IF");
31  tdesc_add_flag (field_type, 10, "DF");
32  tdesc_add_flag (field_type, 11, "OF");
33  tdesc_add_flag (field_type, 14, "NT");
34  tdesc_add_flag (field_type, 16, "RF");
35  tdesc_add_flag (field_type, 17, "VM");
36  tdesc_add_flag (field_type, 18, "AC");
37  tdesc_add_flag (field_type, 19, "VIF");
38  tdesc_add_flag (field_type, 20, "VIP");
39  tdesc_add_flag (field_type, 21, "ID");
40 
41  tdesc_create_reg (feature, "rax", 0, 1, NULL, 64, "int64");
42  tdesc_create_reg (feature, "rbx", 1, 1, NULL, 64, "int64");
43  tdesc_create_reg (feature, "rcx", 2, 1, NULL, 64, "int64");
44  tdesc_create_reg (feature, "rdx", 3, 1, NULL, 64, "int64");
45  tdesc_create_reg (feature, "rsi", 4, 1, NULL, 64, "int64");
46  tdesc_create_reg (feature, "rdi", 5, 1, NULL, 64, "int64");
47  tdesc_create_reg (feature, "rbp", 6, 1, NULL, 64, "int64");
48  tdesc_create_reg (feature, "rsp", 7, 1, NULL, 64, "int64");
49  tdesc_create_reg (feature, "r8", 8, 1, NULL, 64, "int64");
50  tdesc_create_reg (feature, "r9", 9, 1, NULL, 64, "int64");
51  tdesc_create_reg (feature, "r10", 10, 1, NULL, 64, "int64");
52  tdesc_create_reg (feature, "r11", 11, 1, NULL, 64, "int64");
53  tdesc_create_reg (feature, "r12", 12, 1, NULL, 64, "int64");
54  tdesc_create_reg (feature, "r13", 13, 1, NULL, 64, "int64");
55  tdesc_create_reg (feature, "r14", 14, 1, NULL, 64, "int64");
56  tdesc_create_reg (feature, "r15", 15, 1, NULL, 64, "int64");
57  tdesc_create_reg (feature, "rip", 16, 1, NULL, 64, "uint64");
58  tdesc_create_reg (feature, "eflags", 17, 1, NULL, 32, "i386_eflags");
59  tdesc_create_reg (feature, "cs", 18, 1, NULL, 32, "int32");
60  tdesc_create_reg (feature, "ss", 19, 1, NULL, 32, "int32");
61  tdesc_create_reg (feature, "ds", 20, 1, NULL, 32, "int32");
62  tdesc_create_reg (feature, "es", 21, 1, NULL, 32, "int32");
63  tdesc_create_reg (feature, "fs", 22, 1, NULL, 32, "int32");
64  tdesc_create_reg (feature, "gs", 23, 1, NULL, 32, "int32");
65  tdesc_create_reg (feature, "st0", 24, 1, NULL, 80, "i387_ext");
66  tdesc_create_reg (feature, "st1", 25, 1, NULL, 80, "i387_ext");
67  tdesc_create_reg (feature, "st2", 26, 1, NULL, 80, "i387_ext");
68  tdesc_create_reg (feature, "st3", 27, 1, NULL, 80, "i387_ext");
69  tdesc_create_reg (feature, "st4", 28, 1, NULL, 80, "i387_ext");
70  tdesc_create_reg (feature, "st5", 29, 1, NULL, 80, "i387_ext");
71  tdesc_create_reg (feature, "st6", 30, 1, NULL, 80, "i387_ext");
72  tdesc_create_reg (feature, "st7", 31, 1, NULL, 80, "i387_ext");
73  tdesc_create_reg (feature, "fctrl", 32, 1, "float", 32, "int");
74  tdesc_create_reg (feature, "fstat", 33, 1, "float", 32, "int");
75  tdesc_create_reg (feature, "ftag", 34, 1, "float", 32, "int");
76  tdesc_create_reg (feature, "fiseg", 35, 1, "float", 32, "int");
77  tdesc_create_reg (feature, "fioff", 36, 1, "float", 32, "int");
78  tdesc_create_reg (feature, "foseg", 37, 1, "float", 32, "int");
79  tdesc_create_reg (feature, "fooff", 38, 1, "float", 32, "int");
80  tdesc_create_reg (feature, "fop", 39, 1, "float", 32, "int");
81 
82  feature = tdesc_create_feature (result, "org.gnu.gdb.i386.sse");
83  field_type = tdesc_named_type (feature, "ieee_single");
84  tdesc_create_vector (feature, "v4f", field_type, 4);
85 
86  field_type = tdesc_named_type (feature, "ieee_double");
87  tdesc_create_vector (feature, "v2d", field_type, 2);
88 
89  field_type = tdesc_named_type (feature, "int8");
90  tdesc_create_vector (feature, "v16i8", field_type, 16);
91 
92  field_type = tdesc_named_type (feature, "int16");
93  tdesc_create_vector (feature, "v8i16", field_type, 8);
94 
95  field_type = tdesc_named_type (feature, "int32");
96  tdesc_create_vector (feature, "v4i32", field_type, 4);
97 
98  field_type = tdesc_named_type (feature, "int64");
99  tdesc_create_vector (feature, "v2i64", field_type, 2);
100 
101  type = tdesc_create_union (feature, "vec128");
102  field_type = tdesc_named_type (feature, "v4f");
103  tdesc_add_field (type, "v4_float", field_type);
104  field_type = tdesc_named_type (feature, "v2d");
105  tdesc_add_field (type, "v2_double", field_type);
106  field_type = tdesc_named_type (feature, "v16i8");
107  tdesc_add_field (type, "v16_int8", field_type);
108  field_type = tdesc_named_type (feature, "v8i16");
109  tdesc_add_field (type, "v8_int16", field_type);
110  field_type = tdesc_named_type (feature, "v4i32");
111  tdesc_add_field (type, "v4_int32", field_type);
112  field_type = tdesc_named_type (feature, "v2i64");
113  tdesc_add_field (type, "v2_int64", field_type);
114  field_type = tdesc_named_type (feature, "uint128");
115  tdesc_add_field (type, "uint128", field_type);
116 
117  field_type = tdesc_create_flags (feature, "i386_mxcsr", 4);
118  tdesc_add_flag (field_type, 0, "IE");
119  tdesc_add_flag (field_type, 1, "DE");
120  tdesc_add_flag (field_type, 2, "ZE");
121  tdesc_add_flag (field_type, 3, "OE");
122  tdesc_add_flag (field_type, 4, "UE");
123  tdesc_add_flag (field_type, 5, "PE");
124  tdesc_add_flag (field_type, 6, "DAZ");
125  tdesc_add_flag (field_type, 7, "IM");
126  tdesc_add_flag (field_type, 8, "DM");
127  tdesc_add_flag (field_type, 9, "ZM");
128  tdesc_add_flag (field_type, 10, "OM");
129  tdesc_add_flag (field_type, 11, "UM");
130  tdesc_add_flag (field_type, 12, "PM");
131  tdesc_add_flag (field_type, 15, "FZ");
132 
133  tdesc_create_reg (feature, "xmm0", 40, 1, NULL, 128, "vec128");
134  tdesc_create_reg (feature, "xmm1", 41, 1, NULL, 128, "vec128");
135  tdesc_create_reg (feature, "xmm2", 42, 1, NULL, 128, "vec128");
136  tdesc_create_reg (feature, "xmm3", 43, 1, NULL, 128, "vec128");
137  tdesc_create_reg (feature, "xmm4", 44, 1, NULL, 128, "vec128");
138  tdesc_create_reg (feature, "xmm5", 45, 1, NULL, 128, "vec128");
139  tdesc_create_reg (feature, "xmm6", 46, 1, NULL, 128, "vec128");
140  tdesc_create_reg (feature, "xmm7", 47, 1, NULL, 128, "vec128");
141  tdesc_create_reg (feature, "xmm8", 48, 1, NULL, 128, "vec128");
142  tdesc_create_reg (feature, "xmm9", 49, 1, NULL, 128, "vec128");
143  tdesc_create_reg (feature, "xmm10", 50, 1, NULL, 128, "vec128");
144  tdesc_create_reg (feature, "xmm11", 51, 1, NULL, 128, "vec128");
145  tdesc_create_reg (feature, "xmm12", 52, 1, NULL, 128, "vec128");
146  tdesc_create_reg (feature, "xmm13", 53, 1, NULL, 128, "vec128");
147  tdesc_create_reg (feature, "xmm14", 54, 1, NULL, 128, "vec128");
148  tdesc_create_reg (feature, "xmm15", 55, 1, NULL, 128, "vec128");
149  tdesc_create_reg (feature, "mxcsr", 56, 1, "vector", 32, "i386_mxcsr");
150 
151  feature = tdesc_create_feature (result, "org.gnu.gdb.i386.linux");
152  tdesc_create_reg (feature, "orig_rax", 57, 1, NULL, 64, "int");
153 
154  feature = tdesc_create_feature (result, "org.gnu.gdb.i386.avx");
155  tdesc_create_reg (feature, "ymm0h", 58, 1, NULL, 128, "uint128");
156  tdesc_create_reg (feature, "ymm1h", 59, 1, NULL, 128, "uint128");
157  tdesc_create_reg (feature, "ymm2h", 60, 1, NULL, 128, "uint128");
158  tdesc_create_reg (feature, "ymm3h", 61, 1, NULL, 128, "uint128");
159  tdesc_create_reg (feature, "ymm4h", 62, 1, NULL, 128, "uint128");
160  tdesc_create_reg (feature, "ymm5h", 63, 1, NULL, 128, "uint128");
161  tdesc_create_reg (feature, "ymm6h", 64, 1, NULL, 128, "uint128");
162  tdesc_create_reg (feature, "ymm7h", 65, 1, NULL, 128, "uint128");
163  tdesc_create_reg (feature, "ymm8h", 66, 1, NULL, 128, "uint128");
164  tdesc_create_reg (feature, "ymm9h", 67, 1, NULL, 128, "uint128");
165  tdesc_create_reg (feature, "ymm10h", 68, 1, NULL, 128, "uint128");
166  tdesc_create_reg (feature, "ymm11h", 69, 1, NULL, 128, "uint128");
167  tdesc_create_reg (feature, "ymm12h", 70, 1, NULL, 128, "uint128");
168  tdesc_create_reg (feature, "ymm13h", 71, 1, NULL, 128, "uint128");
169  tdesc_create_reg (feature, "ymm14h", 72, 1, NULL, 128, "uint128");
170  tdesc_create_reg (feature, "ymm15h", 73, 1, NULL, 128, "uint128");
171 
172  feature = tdesc_create_feature (result, "org.gnu.gdb.i386.mpx");
173  type = tdesc_create_struct (feature, "br128");
174  field_type = tdesc_named_type (feature, "uint64");
175  tdesc_add_field (type, "lbound", field_type);
176  field_type = tdesc_named_type (feature, "uint64");
177  tdesc_add_field (type, "ubound_raw", field_type);
178 
179  type = tdesc_create_struct (feature, "_bndstatus");
180  tdesc_set_struct_size (type, 8);
181  tdesc_add_bitfield (type, "bde", 2, 63);
182  tdesc_add_bitfield (type, "error", 0, 1);
183 
184  type = tdesc_create_union (feature, "status");
185  field_type = tdesc_named_type (feature, "data_ptr");
186  tdesc_add_field (type, "raw", field_type);
187  field_type = tdesc_named_type (feature, "_bndstatus");
188  tdesc_add_field (type, "status", field_type);
189 
190  type = tdesc_create_struct (feature, "_bndcfgu");
191  tdesc_set_struct_size (type, 8);
192  tdesc_add_bitfield (type, "base", 12, 63);
193  tdesc_add_bitfield (type, "reserved", 2, 11);
194  tdesc_add_bitfield (type, "preserved", 1, 1);
195  tdesc_add_bitfield (type, "enabled", 0, 0);
196 
197  type = tdesc_create_union (feature, "cfgu");
198  field_type = tdesc_named_type (feature, "data_ptr");
199  tdesc_add_field (type, "raw", field_type);
200  field_type = tdesc_named_type (feature, "_bndcfgu");
201  tdesc_add_field (type, "config", field_type);
202 
203  tdesc_create_reg (feature, "bnd0raw", 74, 1, NULL, 128, "br128");
204  tdesc_create_reg (feature, "bnd1raw", 75, 1, NULL, 128, "br128");
205  tdesc_create_reg (feature, "bnd2raw", 76, 1, NULL, 128, "br128");
206  tdesc_create_reg (feature, "bnd3raw", 77, 1, NULL, 128, "br128");
207  tdesc_create_reg (feature, "bndcfgu", 78, 1, NULL, 64, "cfgu");
208  tdesc_create_reg (feature, "bndstatus", 79, 1, NULL, 64, "status");
209 
210  feature = tdesc_create_feature (result, "org.gnu.gdb.i386.avx512");
211  field_type = tdesc_named_type (feature, "ieee_single");
212  tdesc_create_vector (feature, "v4f", field_type, 4);
213 
214  field_type = tdesc_named_type (feature, "ieee_double");
215  tdesc_create_vector (feature, "v2d", field_type, 2);
216 
217  field_type = tdesc_named_type (feature, "int8");
218  tdesc_create_vector (feature, "v16i8", field_type, 16);
219 
220  field_type = tdesc_named_type (feature, "int16");
221  tdesc_create_vector (feature, "v8i16", field_type, 8);
222 
223  field_type = tdesc_named_type (feature, "int32");
224  tdesc_create_vector (feature, "v4i32", field_type, 4);
225 
226  field_type = tdesc_named_type (feature, "int64");
227  tdesc_create_vector (feature, "v2i64", field_type, 2);
228 
229  type = tdesc_create_union (feature, "vec128");
230  field_type = tdesc_named_type (feature, "v4f");
231  tdesc_add_field (type, "v4_float", field_type);
232  field_type = tdesc_named_type (feature, "v2d");
233  tdesc_add_field (type, "v2_double", field_type);
234  field_type = tdesc_named_type (feature, "v16i8");
235  tdesc_add_field (type, "v16_int8", field_type);
236  field_type = tdesc_named_type (feature, "v8i16");
237  tdesc_add_field (type, "v8_int16", field_type);
238  field_type = tdesc_named_type (feature, "v4i32");
239  tdesc_add_field (type, "v4_int32", field_type);
240  field_type = tdesc_named_type (feature, "v2i64");
241  tdesc_add_field (type, "v2_int64", field_type);
242  field_type = tdesc_named_type (feature, "uint128");
243  tdesc_add_field (type, "uint128", field_type);
244 
245  field_type = tdesc_named_type (feature, "uint128");
246  tdesc_create_vector (feature, "v2ui128", field_type, 2);
247 
248  tdesc_create_reg (feature, "xmm16", 80, 1, NULL, 128, "vec128");
249  tdesc_create_reg (feature, "xmm17", 81, 1, NULL, 128, "vec128");
250  tdesc_create_reg (feature, "xmm18", 82, 1, NULL, 128, "vec128");
251  tdesc_create_reg (feature, "xmm19", 83, 1, NULL, 128, "vec128");
252  tdesc_create_reg (feature, "xmm20", 84, 1, NULL, 128, "vec128");
253  tdesc_create_reg (feature, "xmm21", 85, 1, NULL, 128, "vec128");
254  tdesc_create_reg (feature, "xmm22", 86, 1, NULL, 128, "vec128");
255  tdesc_create_reg (feature, "xmm23", 87, 1, NULL, 128, "vec128");
256  tdesc_create_reg (feature, "xmm24", 88, 1, NULL, 128, "vec128");
257  tdesc_create_reg (feature, "xmm25", 89, 1, NULL, 128, "vec128");
258  tdesc_create_reg (feature, "xmm26", 90, 1, NULL, 128, "vec128");
259  tdesc_create_reg (feature, "xmm27", 91, 1, NULL, 128, "vec128");
260  tdesc_create_reg (feature, "xmm28", 92, 1, NULL, 128, "vec128");
261  tdesc_create_reg (feature, "xmm29", 93, 1, NULL, 128, "vec128");
262  tdesc_create_reg (feature, "xmm30", 94, 1, NULL, 128, "vec128");
263  tdesc_create_reg (feature, "xmm31", 95, 1, NULL, 128, "vec128");
264  tdesc_create_reg (feature, "ymm16h", 96, 1, NULL, 128, "uint128");
265  tdesc_create_reg (feature, "ymm17h", 97, 1, NULL, 128, "uint128");
266  tdesc_create_reg (feature, "ymm18h", 98, 1, NULL, 128, "uint128");
267  tdesc_create_reg (feature, "ymm19h", 99, 1, NULL, 128, "uint128");
268  tdesc_create_reg (feature, "ymm20h", 100, 1, NULL, 128, "uint128");
269  tdesc_create_reg (feature, "ymm21h", 101, 1, NULL, 128, "uint128");
270  tdesc_create_reg (feature, "ymm22h", 102, 1, NULL, 128, "uint128");
271  tdesc_create_reg (feature, "ymm23h", 103, 1, NULL, 128, "uint128");
272  tdesc_create_reg (feature, "ymm24h", 104, 1, NULL, 128, "uint128");
273  tdesc_create_reg (feature, "ymm25h", 105, 1, NULL, 128, "uint128");
274  tdesc_create_reg (feature, "ymm26h", 106, 1, NULL, 128, "uint128");
275  tdesc_create_reg (feature, "ymm27h", 107, 1, NULL, 128, "uint128");
276  tdesc_create_reg (feature, "ymm28h", 108, 1, NULL, 128, "uint128");
277  tdesc_create_reg (feature, "ymm29h", 109, 1, NULL, 128, "uint128");
278  tdesc_create_reg (feature, "ymm30h", 110, 1, NULL, 128, "uint128");
279  tdesc_create_reg (feature, "ymm31h", 111, 1, NULL, 128, "uint128");
280  tdesc_create_reg (feature, "k0", 112, 1, NULL, 64, "uint64");
281  tdesc_create_reg (feature, "k1", 113, 1, NULL, 64, "uint64");
282  tdesc_create_reg (feature, "k2", 114, 1, NULL, 64, "uint64");
283  tdesc_create_reg (feature, "k3", 115, 1, NULL, 64, "uint64");
284  tdesc_create_reg (feature, "k4", 116, 1, NULL, 64, "uint64");
285  tdesc_create_reg (feature, "k5", 117, 1, NULL, 64, "uint64");
286  tdesc_create_reg (feature, "k6", 118, 1, NULL, 64, "uint64");
287  tdesc_create_reg (feature, "k7", 119, 1, NULL, 64, "uint64");
288  tdesc_create_reg (feature, "zmm0h", 120, 1, NULL, 256, "v2ui128");
289  tdesc_create_reg (feature, "zmm1h", 121, 1, NULL, 256, "v2ui128");
290  tdesc_create_reg (feature, "zmm2h", 122, 1, NULL, 256, "v2ui128");
291  tdesc_create_reg (feature, "zmm3h", 123, 1, NULL, 256, "v2ui128");
292  tdesc_create_reg (feature, "zmm4h", 124, 1, NULL, 256, "v2ui128");
293  tdesc_create_reg (feature, "zmm5h", 125, 1, NULL, 256, "v2ui128");
294  tdesc_create_reg (feature, "zmm6h", 126, 1, NULL, 256, "v2ui128");
295  tdesc_create_reg (feature, "zmm7h", 127, 1, NULL, 256, "v2ui128");
296  tdesc_create_reg (feature, "zmm8h", 128, 1, NULL, 256, "v2ui128");
297  tdesc_create_reg (feature, "zmm9h", 129, 1, NULL, 256, "v2ui128");
298  tdesc_create_reg (feature, "zmm10h", 130, 1, NULL, 256, "v2ui128");
299  tdesc_create_reg (feature, "zmm11h", 131, 1, NULL, 256, "v2ui128");
300  tdesc_create_reg (feature, "zmm12h", 132, 1, NULL, 256, "v2ui128");
301  tdesc_create_reg (feature, "zmm13h", 133, 1, NULL, 256, "v2ui128");
302  tdesc_create_reg (feature, "zmm14h", 134, 1, NULL, 256, "v2ui128");
303  tdesc_create_reg (feature, "zmm15h", 135, 1, NULL, 256, "v2ui128");
304  tdesc_create_reg (feature, "zmm16h", 136, 1, NULL, 256, "v2ui128");
305  tdesc_create_reg (feature, "zmm17h", 137, 1, NULL, 256, "v2ui128");
306  tdesc_create_reg (feature, "zmm18h", 138, 1, NULL, 256, "v2ui128");
307  tdesc_create_reg (feature, "zmm19h", 139, 1, NULL, 256, "v2ui128");
308  tdesc_create_reg (feature, "zmm20h", 140, 1, NULL, 256, "v2ui128");
309  tdesc_create_reg (feature, "zmm21h", 141, 1, NULL, 256, "v2ui128");
310  tdesc_create_reg (feature, "zmm22h", 142, 1, NULL, 256, "v2ui128");
311  tdesc_create_reg (feature, "zmm23h", 143, 1, NULL, 256, "v2ui128");
312  tdesc_create_reg (feature, "zmm24h", 144, 1, NULL, 256, "v2ui128");
313  tdesc_create_reg (feature, "zmm25h", 145, 1, NULL, 256, "v2ui128");
314  tdesc_create_reg (feature, "zmm26h", 146, 1, NULL, 256, "v2ui128");
315  tdesc_create_reg (feature, "zmm27h", 147, 1, NULL, 256, "v2ui128");
316  tdesc_create_reg (feature, "zmm28h", 148, 1, NULL, 256, "v2ui128");
317  tdesc_create_reg (feature, "zmm29h", 149, 1, NULL, 256, "v2ui128");
318  tdesc_create_reg (feature, "zmm30h", 150, 1, NULL, 256, "v2ui128");
319  tdesc_create_reg (feature, "zmm31h", 151, 1, NULL, 256, "v2ui128");
320 
321  tdesc_x32_avx512_linux = result;
322 }
struct tdesc_feature * tdesc_create_feature(struct target_desc *tdesc, const char *name)
struct tdesc_type * tdesc_create_vector(struct tdesc_feature *feature, const char *name, struct tdesc_type *field_type, int count)
struct tdesc_type * tdesc_create_union(struct tdesc_feature *feature, const char *name)
static void initialize_tdesc_x32_avx512_linux(void)
enum gdb_osabi osabi_from_tdesc_string(const char *name)
Definition: osabi.c:115
void tdesc_add_field(struct tdesc_type *type, const char *field_name, struct tdesc_type *field_type)
struct tdesc_type * tdesc_create_struct(struct tdesc_feature *feature, const char *name)
void tdesc_create_reg(struct tdesc_feature *feature, const char *name, int regnum, int save_restore, const char *group, int bitsize, const char *type)
struct tdesc_type * tdesc_create_flags(struct tdesc_feature *feature, const char *name, LONGEST size)
void tdesc_add_bitfield(struct tdesc_type *type, const char *field_name, int start, int end)
struct target_desc * allocate_target_description(void)
static const char * type
Definition: language.c:103
void tdesc_add_flag(struct tdesc_type *type, int start, const char *flag_name)
struct tdesc_type * tdesc_named_type(const struct tdesc_feature *feature, const char *id)
void tdesc_set_struct_size(struct tdesc_type *type, LONGEST size)
void set_tdesc_osabi(struct target_desc *target_desc, enum gdb_osabi osabi)
struct target_desc * tdesc_x32_avx512_linux
void set_tdesc_architecture(struct target_desc *target_desc, const struct bfd_arch_info *arch)