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