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