1 /* THIS FILE IS GENERATED. -*- buffer-read-only: t -*- vi:set ro:
2 Original: amd64-avx-mpx.xml */
6 #include "target-descriptions.h"
8 struct target_desc
*tdesc_amd64_avx_mpx
;
10 initialize_tdesc_amd64_avx_mpx (void)
12 struct target_desc
*result
= allocate_target_description ();
13 struct tdesc_feature
*feature
;
14 struct tdesc_type
*field_type
;
15 struct tdesc_type
*type
;
17 set_tdesc_architecture (result
, bfd_scan_arch ("i386:x86-64"));
19 feature
= tdesc_create_feature (result
, "org.gnu.gdb.i386.core");
20 field_type
= tdesc_create_flags (feature
, "i386_eflags", 4);
21 tdesc_add_flag (field_type
, 0, "CF");
22 tdesc_add_flag (field_type
, 1, "");
23 tdesc_add_flag (field_type
, 2, "PF");
24 tdesc_add_flag (field_type
, 4, "AF");
25 tdesc_add_flag (field_type
, 6, "ZF");
26 tdesc_add_flag (field_type
, 7, "SF");
27 tdesc_add_flag (field_type
, 8, "TF");
28 tdesc_add_flag (field_type
, 9, "IF");
29 tdesc_add_flag (field_type
, 10, "DF");
30 tdesc_add_flag (field_type
, 11, "OF");
31 tdesc_add_flag (field_type
, 14, "NT");
32 tdesc_add_flag (field_type
, 16, "RF");
33 tdesc_add_flag (field_type
, 17, "VM");
34 tdesc_add_flag (field_type
, 18, "AC");
35 tdesc_add_flag (field_type
, 19, "VIF");
36 tdesc_add_flag (field_type
, 20, "VIP");
37 tdesc_add_flag (field_type
, 21, "ID");
39 tdesc_create_reg (feature
, "rax", 0, 1, NULL
, 64, "int64");
40 tdesc_create_reg (feature
, "rbx", 1, 1, NULL
, 64, "int64");
41 tdesc_create_reg (feature
, "rcx", 2, 1, NULL
, 64, "int64");
42 tdesc_create_reg (feature
, "rdx", 3, 1, NULL
, 64, "int64");
43 tdesc_create_reg (feature
, "rsi", 4, 1, NULL
, 64, "int64");
44 tdesc_create_reg (feature
, "rdi", 5, 1, NULL
, 64, "int64");
45 tdesc_create_reg (feature
, "rbp", 6, 1, NULL
, 64, "data_ptr");
46 tdesc_create_reg (feature
, "rsp", 7, 1, NULL
, 64, "data_ptr");
47 tdesc_create_reg (feature
, "r8", 8, 1, NULL
, 64, "int64");
48 tdesc_create_reg (feature
, "r9", 9, 1, NULL
, 64, "int64");
49 tdesc_create_reg (feature
, "r10", 10, 1, NULL
, 64, "int64");
50 tdesc_create_reg (feature
, "r11", 11, 1, NULL
, 64, "int64");
51 tdesc_create_reg (feature
, "r12", 12, 1, NULL
, 64, "int64");
52 tdesc_create_reg (feature
, "r13", 13, 1, NULL
, 64, "int64");
53 tdesc_create_reg (feature
, "r14", 14, 1, NULL
, 64, "int64");
54 tdesc_create_reg (feature
, "r15", 15, 1, NULL
, 64, "int64");
55 tdesc_create_reg (feature
, "rip", 16, 1, NULL
, 64, "code_ptr");
56 tdesc_create_reg (feature
, "eflags", 17, 1, NULL
, 32, "i386_eflags");
57 tdesc_create_reg (feature
, "cs", 18, 1, NULL
, 32, "int32");
58 tdesc_create_reg (feature
, "ss", 19, 1, NULL
, 32, "int32");
59 tdesc_create_reg (feature
, "ds", 20, 1, NULL
, 32, "int32");
60 tdesc_create_reg (feature
, "es", 21, 1, NULL
, 32, "int32");
61 tdesc_create_reg (feature
, "fs", 22, 1, NULL
, 32, "int32");
62 tdesc_create_reg (feature
, "gs", 23, 1, NULL
, 32, "int32");
63 tdesc_create_reg (feature
, "st0", 24, 1, NULL
, 80, "i387_ext");
64 tdesc_create_reg (feature
, "st1", 25, 1, NULL
, 80, "i387_ext");
65 tdesc_create_reg (feature
, "st2", 26, 1, NULL
, 80, "i387_ext");
66 tdesc_create_reg (feature
, "st3", 27, 1, NULL
, 80, "i387_ext");
67 tdesc_create_reg (feature
, "st4", 28, 1, NULL
, 80, "i387_ext");
68 tdesc_create_reg (feature
, "st5", 29, 1, NULL
, 80, "i387_ext");
69 tdesc_create_reg (feature
, "st6", 30, 1, NULL
, 80, "i387_ext");
70 tdesc_create_reg (feature
, "st7", 31, 1, NULL
, 80, "i387_ext");
71 tdesc_create_reg (feature
, "fctrl", 32, 1, "float", 32, "int");
72 tdesc_create_reg (feature
, "fstat", 33, 1, "float", 32, "int");
73 tdesc_create_reg (feature
, "ftag", 34, 1, "float", 32, "int");
74 tdesc_create_reg (feature
, "fiseg", 35, 1, "float", 32, "int");
75 tdesc_create_reg (feature
, "fioff", 36, 1, "float", 32, "int");
76 tdesc_create_reg (feature
, "foseg", 37, 1, "float", 32, "int");
77 tdesc_create_reg (feature
, "fooff", 38, 1, "float", 32, "int");
78 tdesc_create_reg (feature
, "fop", 39, 1, "float", 32, "int");
80 feature
= tdesc_create_feature (result
, "org.gnu.gdb.i386.sse");
81 field_type
= tdesc_named_type (feature
, "ieee_single");
82 tdesc_create_vector (feature
, "v4f", field_type
, 4);
84 field_type
= tdesc_named_type (feature
, "ieee_double");
85 tdesc_create_vector (feature
, "v2d", field_type
, 2);
87 field_type
= tdesc_named_type (feature
, "int8");
88 tdesc_create_vector (feature
, "v16i8", field_type
, 16);
90 field_type
= tdesc_named_type (feature
, "int16");
91 tdesc_create_vector (feature
, "v8i16", field_type
, 8);
93 field_type
= tdesc_named_type (feature
, "int32");
94 tdesc_create_vector (feature
, "v4i32", field_type
, 4);
96 field_type
= tdesc_named_type (feature
, "int64");
97 tdesc_create_vector (feature
, "v2i64", field_type
, 2);
99 type
= tdesc_create_union (feature
, "vec128");
100 field_type
= tdesc_named_type (feature
, "v4f");
101 tdesc_add_field (type
, "v4_float", field_type
);
102 field_type
= tdesc_named_type (feature
, "v2d");
103 tdesc_add_field (type
, "v2_double", field_type
);
104 field_type
= tdesc_named_type (feature
, "v16i8");
105 tdesc_add_field (type
, "v16_int8", field_type
);
106 field_type
= tdesc_named_type (feature
, "v8i16");
107 tdesc_add_field (type
, "v8_int16", field_type
);
108 field_type
= tdesc_named_type (feature
, "v4i32");
109 tdesc_add_field (type
, "v4_int32", field_type
);
110 field_type
= tdesc_named_type (feature
, "v2i64");
111 tdesc_add_field (type
, "v2_int64", field_type
);
112 field_type
= tdesc_named_type (feature
, "uint128");
113 tdesc_add_field (type
, "uint128", field_type
);
115 field_type
= tdesc_create_flags (feature
, "i386_mxcsr", 4);
116 tdesc_add_flag (field_type
, 0, "IE");
117 tdesc_add_flag (field_type
, 1, "DE");
118 tdesc_add_flag (field_type
, 2, "ZE");
119 tdesc_add_flag (field_type
, 3, "OE");
120 tdesc_add_flag (field_type
, 4, "UE");
121 tdesc_add_flag (field_type
, 5, "PE");
122 tdesc_add_flag (field_type
, 6, "DAZ");
123 tdesc_add_flag (field_type
, 7, "IM");
124 tdesc_add_flag (field_type
, 8, "DM");
125 tdesc_add_flag (field_type
, 9, "ZM");
126 tdesc_add_flag (field_type
, 10, "OM");
127 tdesc_add_flag (field_type
, 11, "UM");
128 tdesc_add_flag (field_type
, 12, "PM");
129 tdesc_add_flag (field_type
, 15, "FZ");
131 tdesc_create_reg (feature
, "xmm0", 40, 1, NULL
, 128, "vec128");
132 tdesc_create_reg (feature
, "xmm1", 41, 1, NULL
, 128, "vec128");
133 tdesc_create_reg (feature
, "xmm2", 42, 1, NULL
, 128, "vec128");
134 tdesc_create_reg (feature
, "xmm3", 43, 1, NULL
, 128, "vec128");
135 tdesc_create_reg (feature
, "xmm4", 44, 1, NULL
, 128, "vec128");
136 tdesc_create_reg (feature
, "xmm5", 45, 1, NULL
, 128, "vec128");
137 tdesc_create_reg (feature
, "xmm6", 46, 1, NULL
, 128, "vec128");
138 tdesc_create_reg (feature
, "xmm7", 47, 1, NULL
, 128, "vec128");
139 tdesc_create_reg (feature
, "xmm8", 48, 1, NULL
, 128, "vec128");
140 tdesc_create_reg (feature
, "xmm9", 49, 1, NULL
, 128, "vec128");
141 tdesc_create_reg (feature
, "xmm10", 50, 1, NULL
, 128, "vec128");
142 tdesc_create_reg (feature
, "xmm11", 51, 1, NULL
, 128, "vec128");
143 tdesc_create_reg (feature
, "xmm12", 52, 1, NULL
, 128, "vec128");
144 tdesc_create_reg (feature
, "xmm13", 53, 1, NULL
, 128, "vec128");
145 tdesc_create_reg (feature
, "xmm14", 54, 1, NULL
, 128, "vec128");
146 tdesc_create_reg (feature
, "xmm15", 55, 1, NULL
, 128, "vec128");
147 tdesc_create_reg (feature
, "mxcsr", 56, 1, "vector", 32, "i386_mxcsr");
149 feature
= tdesc_create_feature (result
, "org.gnu.gdb.i386.avx");
150 tdesc_create_reg (feature
, "ymm0h", 57, 1, NULL
, 128, "uint128");
151 tdesc_create_reg (feature
, "ymm1h", 58, 1, NULL
, 128, "uint128");
152 tdesc_create_reg (feature
, "ymm2h", 59, 1, NULL
, 128, "uint128");
153 tdesc_create_reg (feature
, "ymm3h", 60, 1, NULL
, 128, "uint128");
154 tdesc_create_reg (feature
, "ymm4h", 61, 1, NULL
, 128, "uint128");
155 tdesc_create_reg (feature
, "ymm5h", 62, 1, NULL
, 128, "uint128");
156 tdesc_create_reg (feature
, "ymm6h", 63, 1, NULL
, 128, "uint128");
157 tdesc_create_reg (feature
, "ymm7h", 64, 1, NULL
, 128, "uint128");
158 tdesc_create_reg (feature
, "ymm8h", 65, 1, NULL
, 128, "uint128");
159 tdesc_create_reg (feature
, "ymm9h", 66, 1, NULL
, 128, "uint128");
160 tdesc_create_reg (feature
, "ymm10h", 67, 1, NULL
, 128, "uint128");
161 tdesc_create_reg (feature
, "ymm11h", 68, 1, NULL
, 128, "uint128");
162 tdesc_create_reg (feature
, "ymm12h", 69, 1, NULL
, 128, "uint128");
163 tdesc_create_reg (feature
, "ymm13h", 70, 1, NULL
, 128, "uint128");
164 tdesc_create_reg (feature
, "ymm14h", 71, 1, NULL
, 128, "uint128");
165 tdesc_create_reg (feature
, "ymm15h", 72, 1, NULL
, 128, "uint128");
167 feature
= tdesc_create_feature (result
, "org.gnu.gdb.i386.mpx");
168 type
= tdesc_create_struct (feature
, "br128");
169 field_type
= tdesc_named_type (feature
, "uint64");
170 tdesc_add_field (type
, "lbound", field_type
);
171 field_type
= tdesc_named_type (feature
, "uint64");
172 tdesc_add_field (type
, "ubound_raw", field_type
);
174 type
= tdesc_create_struct (feature
, "_bndstatus");
175 tdesc_set_struct_size (type
, 8);
176 tdesc_add_bitfield (type
, "bde", 2, 63);
177 tdesc_add_bitfield (type
, "error", 0, 1);
179 type
= tdesc_create_union (feature
, "status");
180 field_type
= tdesc_named_type (feature
, "data_ptr");
181 tdesc_add_field (type
, "raw", field_type
);
182 field_type
= tdesc_named_type (feature
, "_bndstatus");
183 tdesc_add_field (type
, "status", field_type
);
185 type
= tdesc_create_struct (feature
, "_bndcfgu");
186 tdesc_set_struct_size (type
, 8);
187 tdesc_add_bitfield (type
, "base", 12, 63);
188 tdesc_add_bitfield (type
, "reserved", 2, 11);
189 tdesc_add_bitfield (type
, "preserved", 1, 1);
190 tdesc_add_bitfield (type
, "enabled", 0, 0);
192 type
= tdesc_create_union (feature
, "cfgu");
193 field_type
= tdesc_named_type (feature
, "data_ptr");
194 tdesc_add_field (type
, "raw", field_type
);
195 field_type
= tdesc_named_type (feature
, "_bndcfgu");
196 tdesc_add_field (type
, "config", field_type
);
198 tdesc_create_reg (feature
, "bnd0raw", 73, 1, NULL
, 128, "br128");
199 tdesc_create_reg (feature
, "bnd1raw", 74, 1, NULL
, 128, "br128");
200 tdesc_create_reg (feature
, "bnd2raw", 75, 1, NULL
, 128, "br128");
201 tdesc_create_reg (feature
, "bnd3raw", 76, 1, NULL
, 128, "br128");
202 tdesc_create_reg (feature
, "bndcfgu", 77, 1, NULL
, 64, "cfgu");
203 tdesc_create_reg (feature
, "bndstatus", 78, 1, NULL
, 64, "status");
205 tdesc_amd64_avx_mpx
= result
;
This page took 0.036399 seconds and 4 git commands to generate.