1 /// @file xed-encoder-4.c
2
3 // This file was automatically generated.
4 // Do not edit this file.
5
6 /*BEGIN_LEGAL
7
8 Copyright (c) 2018 Intel Corporation
9
10 Licensed under the Apache License, Version 2.0 (the "License");
11 you may not use this file except in compliance with the License.
12 You may obtain a copy of the License at
13
14 http://www.apache.org/licenses/LICENSE-2.0
15
16 Unless required by applicable law or agreed to in writing, software
17 distributed under the License is distributed on an "AS IS" BASIS,
18 WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
19 See the License for the specific language governing permissions and
20 limitations under the License.
21
22 END_LEGAL */
23 #include "xed-internal-header.h"
24 #include "xed-encoder.h"
25 #include "xed-encode-private.h"
26 #include "xed-enc-operand-lu.h"
27 #include "xed-operand-accessors.h"
xed_encode_nonterminal_SIB_REQUIRED_ENCODE_BIND(xed_encoder_request_t * xes)28 xed_uint_t xed_encode_nonterminal_SIB_REQUIRED_ENCODE_BIND(xed_encoder_request_t* xes)
29 {
30 /* SIB_REQUIRED_ENCODE()::
31 EASZ=3 BASE0=@ DISP_WIDTH=32 -> FB SIB=1 value=0x1
32 EASZ=2 MODE=2 BASE0=@ DISP_WIDTH=32 -> FB SIB=1 value=0x1
33 EASZ=3 INDEX=XED_REG_RAX -> FB SIB=1 value=0x1
34 EASZ=3 INDEX=XED_REG_RBX -> FB SIB=1 value=0x1
35 EASZ=3 INDEX=XED_REG_RCX -> FB SIB=1 value=0x1
36 EASZ=3 INDEX=XED_REG_RDX -> FB SIB=1 value=0x1
37 EASZ=3 INDEX=XED_REG_RSP -> FB SIB=1 value=0x1
38 EASZ=3 INDEX=XED_REG_RBP -> FB SIB=1 value=0x1
39 EASZ=3 INDEX=XED_REG_RSI -> FB SIB=1 value=0x1
40 EASZ=3 INDEX=XED_REG_RDI -> FB SIB=1 value=0x1
41 EASZ=3 INDEX=XED_REG_R8 -> FB SIB=1 value=0x1
42 EASZ=3 INDEX=XED_REG_R9 -> FB SIB=1 value=0x1
43 EASZ=3 INDEX=XED_REG_R10 -> FB SIB=1 value=0x1
44 EASZ=3 INDEX=XED_REG_R11 -> FB SIB=1 value=0x1
45 EASZ=3 INDEX=XED_REG_R12 -> FB SIB=1 value=0x1
46 EASZ=3 INDEX=XED_REG_R13 -> FB SIB=1 value=0x1
47 EASZ=3 INDEX=XED_REG_R14 -> FB SIB=1 value=0x1
48 EASZ=3 INDEX=XED_REG_R15 -> FB SIB=1 value=0x1
49 EASZ!=1 BASE0=XED_REG_SP EASZ=1 -> FB SIB=1 value=0x1
50 EASZ!=1 BASE0=XED_REG_ESP EASZ=2 -> FB SIB=1 value=0x1
51 EASZ!=1 BASE0=XED_REG_RSP EASZ=3 -> FB SIB=1 value=0x1
52 EASZ!=1 BASE0=XED_REG_R12W EASZ=1 -> FB SIB=1 value=0x1
53 EASZ!=1 BASE0=XED_REG_R12D EASZ=2 -> FB SIB=1 value=0x1
54 EASZ!=1 BASE0=XED_REG_R12 EASZ=3 -> FB SIB=1 value=0x1
55 EASZ=2 MODE=1 INDEX=XED_REG_EAX -> FB SIB=1 value=0x1
56 EASZ=2 MODE=1 INDEX=XED_REG_EBX -> FB SIB=1 value=0x1
57 EASZ=2 MODE=1 INDEX=XED_REG_ECX -> FB SIB=1 value=0x1
58 EASZ=2 MODE=1 INDEX=XED_REG_EDX -> FB SIB=1 value=0x1
59 EASZ=2 MODE=1 INDEX=XED_REG_ESP -> FB SIB=1 value=0x1
60 EASZ=2 MODE=1 INDEX=XED_REG_EBP -> FB SIB=1 value=0x1
61 EASZ=2 MODE=1 INDEX=XED_REG_ESI -> FB SIB=1 value=0x1
62 EASZ=2 MODE=1 INDEX=XED_REG_EDI -> FB SIB=1 value=0x1
63 EASZ=2 MODE=2 INDEX=XED_REG_EAX -> FB SIB=1 value=0x1
64 EASZ=2 MODE=2 INDEX=XED_REG_EBX -> FB SIB=1 value=0x1
65 EASZ=2 MODE=2 INDEX=XED_REG_ECX -> FB SIB=1 value=0x1
66 EASZ=2 MODE=2 INDEX=XED_REG_EDX -> FB SIB=1 value=0x1
67 EASZ=2 MODE=2 INDEX=XED_REG_ESP -> FB SIB=1 value=0x1
68 EASZ=2 MODE=2 INDEX=XED_REG_EBP -> FB SIB=1 value=0x1
69 EASZ=2 MODE=2 INDEX=XED_REG_ESI -> FB SIB=1 value=0x1
70 EASZ=2 MODE=2 INDEX=XED_REG_EDI -> FB SIB=1 value=0x1
71 EASZ=2 MODE=2 INDEX=XED_REG_R8D -> FB SIB=1 value=0x1
72 EASZ=2 MODE=2 INDEX=XED_REG_R9D -> FB SIB=1 value=0x1
73 EASZ=2 MODE=2 INDEX=XED_REG_R10D -> FB SIB=1 value=0x1
74 EASZ=2 MODE=2 INDEX=XED_REG_R11D -> FB SIB=1 value=0x1
75 EASZ=2 MODE=2 INDEX=XED_REG_R12D -> FB SIB=1 value=0x1
76 EASZ=2 MODE=2 INDEX=XED_REG_R13D -> FB SIB=1 value=0x1
77 EASZ=2 MODE=2 INDEX=XED_REG_R14D -> FB SIB=1 value=0x1
78 EASZ=2 MODE=2 INDEX=XED_REG_R15D -> FB SIB=1 value=0x1
79 EASZ=2 MODE=0 -> nothing
80 EASZ=2 MODE=1 -> nothing
81 */
82 xed_uint_t okay=1;
83 xed_uint_t conditions_satisfied=0;
84 conditions_satisfied = (xed3_operand_get_easz(xes) == 3) &&
85 (xed3_operand_get_base0(xes) == XED_REG_INVALID) &&
86 (xed3_operand_get_disp_width(xes) == 32);
87 if (conditions_satisfied) {
88 okay=1;
89 xed3_operand_set_sib(xes,1);
90 if (okay) return 1;
91 }
92 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
93 (xed3_operand_get_mode(xes) == 2) &&
94 (xed3_operand_get_base0(xes) == XED_REG_INVALID) &&
95 (xed3_operand_get_disp_width(xes) == 32);
96 if (conditions_satisfied) {
97 okay=1;
98 xed3_operand_set_sib(xes,1);
99 if (okay) return 1;
100 }
101 conditions_satisfied = (xed3_operand_get_easz(xes) == 3) &&
102 (xed3_operand_get_index(xes) == XED_REG_RAX);
103 if (conditions_satisfied) {
104 okay=1;
105 xed3_operand_set_sib(xes,1);
106 if (okay) return 1;
107 }
108 conditions_satisfied = (xed3_operand_get_easz(xes) == 3) &&
109 (xed3_operand_get_index(xes) == XED_REG_RBX);
110 if (conditions_satisfied) {
111 okay=1;
112 xed3_operand_set_sib(xes,1);
113 if (okay) return 1;
114 }
115 conditions_satisfied = (xed3_operand_get_easz(xes) == 3) &&
116 (xed3_operand_get_index(xes) == XED_REG_RCX);
117 if (conditions_satisfied) {
118 okay=1;
119 xed3_operand_set_sib(xes,1);
120 if (okay) return 1;
121 }
122 conditions_satisfied = (xed3_operand_get_easz(xes) == 3) &&
123 (xed3_operand_get_index(xes) == XED_REG_RDX);
124 if (conditions_satisfied) {
125 okay=1;
126 xed3_operand_set_sib(xes,1);
127 if (okay) return 1;
128 }
129 conditions_satisfied = (xed3_operand_get_easz(xes) == 3) &&
130 (xed3_operand_get_index(xes) == XED_REG_RSP);
131 if (conditions_satisfied) {
132 okay=1;
133 xed3_operand_set_sib(xes,1);
134 if (okay) return 1;
135 }
136 conditions_satisfied = (xed3_operand_get_easz(xes) == 3) &&
137 (xed3_operand_get_index(xes) == XED_REG_RBP);
138 if (conditions_satisfied) {
139 okay=1;
140 xed3_operand_set_sib(xes,1);
141 if (okay) return 1;
142 }
143 conditions_satisfied = (xed3_operand_get_easz(xes) == 3) &&
144 (xed3_operand_get_index(xes) == XED_REG_RSI);
145 if (conditions_satisfied) {
146 okay=1;
147 xed3_operand_set_sib(xes,1);
148 if (okay) return 1;
149 }
150 conditions_satisfied = (xed3_operand_get_easz(xes) == 3) &&
151 (xed3_operand_get_index(xes) == XED_REG_RDI);
152 if (conditions_satisfied) {
153 okay=1;
154 xed3_operand_set_sib(xes,1);
155 if (okay) return 1;
156 }
157 conditions_satisfied = (xed3_operand_get_easz(xes) == 3) &&
158 (xed3_operand_get_index(xes) == XED_REG_R8);
159 if (conditions_satisfied) {
160 okay=1;
161 xed3_operand_set_sib(xes,1);
162 if (okay) return 1;
163 }
164 conditions_satisfied = (xed3_operand_get_easz(xes) == 3) &&
165 (xed3_operand_get_index(xes) == XED_REG_R9);
166 if (conditions_satisfied) {
167 okay=1;
168 xed3_operand_set_sib(xes,1);
169 if (okay) return 1;
170 }
171 conditions_satisfied = (xed3_operand_get_easz(xes) == 3) &&
172 (xed3_operand_get_index(xes) == XED_REG_R10);
173 if (conditions_satisfied) {
174 okay=1;
175 xed3_operand_set_sib(xes,1);
176 if (okay) return 1;
177 }
178 conditions_satisfied = (xed3_operand_get_easz(xes) == 3) &&
179 (xed3_operand_get_index(xes) == XED_REG_R11);
180 if (conditions_satisfied) {
181 okay=1;
182 xed3_operand_set_sib(xes,1);
183 if (okay) return 1;
184 }
185 conditions_satisfied = (xed3_operand_get_easz(xes) == 3) &&
186 (xed3_operand_get_index(xes) == XED_REG_R12);
187 if (conditions_satisfied) {
188 okay=1;
189 xed3_operand_set_sib(xes,1);
190 if (okay) return 1;
191 }
192 conditions_satisfied = (xed3_operand_get_easz(xes) == 3) &&
193 (xed3_operand_get_index(xes) == XED_REG_R13);
194 if (conditions_satisfied) {
195 okay=1;
196 xed3_operand_set_sib(xes,1);
197 if (okay) return 1;
198 }
199 conditions_satisfied = (xed3_operand_get_easz(xes) == 3) &&
200 (xed3_operand_get_index(xes) == XED_REG_R14);
201 if (conditions_satisfied) {
202 okay=1;
203 xed3_operand_set_sib(xes,1);
204 if (okay) return 1;
205 }
206 conditions_satisfied = (xed3_operand_get_easz(xes) == 3) &&
207 (xed3_operand_get_index(xes) == XED_REG_R15);
208 if (conditions_satisfied) {
209 okay=1;
210 xed3_operand_set_sib(xes,1);
211 if (okay) return 1;
212 }
213 conditions_satisfied = (xed3_operand_get_easz(xes) != 1) &&
214 (xed3_operand_get_base0(xes) == XED_REG_SP) &&
215 (xed3_operand_get_easz(xes) == 1);
216 if (conditions_satisfied) {
217 okay=1;
218 xed3_operand_set_sib(xes,1);
219 if (okay) return 1;
220 }
221 conditions_satisfied = (xed3_operand_get_easz(xes) != 1) &&
222 (xed3_operand_get_base0(xes) == XED_REG_ESP) &&
223 (xed3_operand_get_easz(xes) == 2);
224 if (conditions_satisfied) {
225 okay=1;
226 xed3_operand_set_sib(xes,1);
227 if (okay) return 1;
228 }
229 conditions_satisfied = (xed3_operand_get_easz(xes) != 1) &&
230 (xed3_operand_get_base0(xes) == XED_REG_RSP) &&
231 (xed3_operand_get_easz(xes) == 3);
232 if (conditions_satisfied) {
233 okay=1;
234 xed3_operand_set_sib(xes,1);
235 if (okay) return 1;
236 }
237 conditions_satisfied = (xed3_operand_get_easz(xes) != 1) &&
238 (xed3_operand_get_base0(xes) == XED_REG_R12W) &&
239 (xed3_operand_get_easz(xes) == 1);
240 if (conditions_satisfied) {
241 okay=1;
242 xed3_operand_set_sib(xes,1);
243 if (okay) return 1;
244 }
245 conditions_satisfied = (xed3_operand_get_easz(xes) != 1) &&
246 (xed3_operand_get_base0(xes) == XED_REG_R12D) &&
247 (xed3_operand_get_easz(xes) == 2);
248 if (conditions_satisfied) {
249 okay=1;
250 xed3_operand_set_sib(xes,1);
251 if (okay) return 1;
252 }
253 conditions_satisfied = (xed3_operand_get_easz(xes) != 1) &&
254 (xed3_operand_get_base0(xes) == XED_REG_R12) &&
255 (xed3_operand_get_easz(xes) == 3);
256 if (conditions_satisfied) {
257 okay=1;
258 xed3_operand_set_sib(xes,1);
259 if (okay) return 1;
260 }
261 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
262 (xed3_operand_get_mode(xes) == 1) &&
263 (xed3_operand_get_index(xes) == XED_REG_EAX);
264 if (conditions_satisfied) {
265 okay=1;
266 xed3_operand_set_sib(xes,1);
267 if (okay) return 1;
268 }
269 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
270 (xed3_operand_get_mode(xes) == 1) &&
271 (xed3_operand_get_index(xes) == XED_REG_EBX);
272 if (conditions_satisfied) {
273 okay=1;
274 xed3_operand_set_sib(xes,1);
275 if (okay) return 1;
276 }
277 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
278 (xed3_operand_get_mode(xes) == 1) &&
279 (xed3_operand_get_index(xes) == XED_REG_ECX);
280 if (conditions_satisfied) {
281 okay=1;
282 xed3_operand_set_sib(xes,1);
283 if (okay) return 1;
284 }
285 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
286 (xed3_operand_get_mode(xes) == 1) &&
287 (xed3_operand_get_index(xes) == XED_REG_EDX);
288 if (conditions_satisfied) {
289 okay=1;
290 xed3_operand_set_sib(xes,1);
291 if (okay) return 1;
292 }
293 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
294 (xed3_operand_get_mode(xes) == 1) &&
295 (xed3_operand_get_index(xes) == XED_REG_ESP);
296 if (conditions_satisfied) {
297 okay=1;
298 xed3_operand_set_sib(xes,1);
299 if (okay) return 1;
300 }
301 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
302 (xed3_operand_get_mode(xes) == 1) &&
303 (xed3_operand_get_index(xes) == XED_REG_EBP);
304 if (conditions_satisfied) {
305 okay=1;
306 xed3_operand_set_sib(xes,1);
307 if (okay) return 1;
308 }
309 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
310 (xed3_operand_get_mode(xes) == 1) &&
311 (xed3_operand_get_index(xes) == XED_REG_ESI);
312 if (conditions_satisfied) {
313 okay=1;
314 xed3_operand_set_sib(xes,1);
315 if (okay) return 1;
316 }
317 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
318 (xed3_operand_get_mode(xes) == 1) &&
319 (xed3_operand_get_index(xes) == XED_REG_EDI);
320 if (conditions_satisfied) {
321 okay=1;
322 xed3_operand_set_sib(xes,1);
323 if (okay) return 1;
324 }
325 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
326 (xed3_operand_get_mode(xes) == 2) &&
327 (xed3_operand_get_index(xes) == XED_REG_EAX);
328 if (conditions_satisfied) {
329 okay=1;
330 xed3_operand_set_sib(xes,1);
331 if (okay) return 1;
332 }
333 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
334 (xed3_operand_get_mode(xes) == 2) &&
335 (xed3_operand_get_index(xes) == XED_REG_EBX);
336 if (conditions_satisfied) {
337 okay=1;
338 xed3_operand_set_sib(xes,1);
339 if (okay) return 1;
340 }
341 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
342 (xed3_operand_get_mode(xes) == 2) &&
343 (xed3_operand_get_index(xes) == XED_REG_ECX);
344 if (conditions_satisfied) {
345 okay=1;
346 xed3_operand_set_sib(xes,1);
347 if (okay) return 1;
348 }
349 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
350 (xed3_operand_get_mode(xes) == 2) &&
351 (xed3_operand_get_index(xes) == XED_REG_EDX);
352 if (conditions_satisfied) {
353 okay=1;
354 xed3_operand_set_sib(xes,1);
355 if (okay) return 1;
356 }
357 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
358 (xed3_operand_get_mode(xes) == 2) &&
359 (xed3_operand_get_index(xes) == XED_REG_ESP);
360 if (conditions_satisfied) {
361 okay=1;
362 xed3_operand_set_sib(xes,1);
363 if (okay) return 1;
364 }
365 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
366 (xed3_operand_get_mode(xes) == 2) &&
367 (xed3_operand_get_index(xes) == XED_REG_EBP);
368 if (conditions_satisfied) {
369 okay=1;
370 xed3_operand_set_sib(xes,1);
371 if (okay) return 1;
372 }
373 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
374 (xed3_operand_get_mode(xes) == 2) &&
375 (xed3_operand_get_index(xes) == XED_REG_ESI);
376 if (conditions_satisfied) {
377 okay=1;
378 xed3_operand_set_sib(xes,1);
379 if (okay) return 1;
380 }
381 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
382 (xed3_operand_get_mode(xes) == 2) &&
383 (xed3_operand_get_index(xes) == XED_REG_EDI);
384 if (conditions_satisfied) {
385 okay=1;
386 xed3_operand_set_sib(xes,1);
387 if (okay) return 1;
388 }
389 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
390 (xed3_operand_get_mode(xes) == 2) &&
391 (xed3_operand_get_index(xes) == XED_REG_R8D);
392 if (conditions_satisfied) {
393 okay=1;
394 xed3_operand_set_sib(xes,1);
395 if (okay) return 1;
396 }
397 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
398 (xed3_operand_get_mode(xes) == 2) &&
399 (xed3_operand_get_index(xes) == XED_REG_R9D);
400 if (conditions_satisfied) {
401 okay=1;
402 xed3_operand_set_sib(xes,1);
403 if (okay) return 1;
404 }
405 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
406 (xed3_operand_get_mode(xes) == 2) &&
407 (xed3_operand_get_index(xes) == XED_REG_R10D);
408 if (conditions_satisfied) {
409 okay=1;
410 xed3_operand_set_sib(xes,1);
411 if (okay) return 1;
412 }
413 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
414 (xed3_operand_get_mode(xes) == 2) &&
415 (xed3_operand_get_index(xes) == XED_REG_R11D);
416 if (conditions_satisfied) {
417 okay=1;
418 xed3_operand_set_sib(xes,1);
419 if (okay) return 1;
420 }
421 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
422 (xed3_operand_get_mode(xes) == 2) &&
423 (xed3_operand_get_index(xes) == XED_REG_R12D);
424 if (conditions_satisfied) {
425 okay=1;
426 xed3_operand_set_sib(xes,1);
427 if (okay) return 1;
428 }
429 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
430 (xed3_operand_get_mode(xes) == 2) &&
431 (xed3_operand_get_index(xes) == XED_REG_R13D);
432 if (conditions_satisfied) {
433 okay=1;
434 xed3_operand_set_sib(xes,1);
435 if (okay) return 1;
436 }
437 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
438 (xed3_operand_get_mode(xes) == 2) &&
439 (xed3_operand_get_index(xes) == XED_REG_R14D);
440 if (conditions_satisfied) {
441 okay=1;
442 xed3_operand_set_sib(xes,1);
443 if (okay) return 1;
444 }
445 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
446 (xed3_operand_get_mode(xes) == 2) &&
447 (xed3_operand_get_index(xes) == XED_REG_R15D);
448 if (conditions_satisfied) {
449 okay=1;
450 xed3_operand_set_sib(xes,1);
451 if (okay) return 1;
452 }
453 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
454 (xed3_operand_get_mode(xes) == 0);
455 if (conditions_satisfied) {
456 okay=1;
457 return 1; /* nothing */
458 if (okay) return 1;
459 }
460 conditions_satisfied = (xed3_operand_get_easz(xes) == 2) &&
461 (xed3_operand_get_mode(xes) == 1);
462 if (conditions_satisfied) {
463 okay=1;
464 return 1; /* nothing */
465 if (okay) return 1;
466 }
467 conditions_satisfied = 1;
468 if (conditions_satisfied) {
469 okay=1;
470 /* FIXME action code not done yet for return 1*/
471 if (okay) return 1;
472 }
473 return 0; /*pacify the compiler*/
474 (void) okay;
475 (void) xes;
476 (void) conditions_satisfied;
477 }
xed_encode_nonterminal_SIB_REQUIRED_ENCODE_EMIT(xed_encoder_request_t * xes)478 xed_uint_t xed_encode_nonterminal_SIB_REQUIRED_ENCODE_EMIT(xed_encoder_request_t* xes)
479 {
480 /* SIB_REQUIRED_ENCODE()::
481 EASZ=3 BASE0=@ DISP_WIDTH=32 -> FB SIB=1 value=0x1
482 EASZ=2 MODE=2 BASE0=@ DISP_WIDTH=32 -> FB SIB=1 value=0x1
483 EASZ=3 INDEX=XED_REG_RAX -> FB SIB=1 value=0x1
484 EASZ=3 INDEX=XED_REG_RBX -> FB SIB=1 value=0x1
485 EASZ=3 INDEX=XED_REG_RCX -> FB SIB=1 value=0x1
486 EASZ=3 INDEX=XED_REG_RDX -> FB SIB=1 value=0x1
487 EASZ=3 INDEX=XED_REG_RSP -> FB SIB=1 value=0x1
488 EASZ=3 INDEX=XED_REG_RBP -> FB SIB=1 value=0x1
489 EASZ=3 INDEX=XED_REG_RSI -> FB SIB=1 value=0x1
490 EASZ=3 INDEX=XED_REG_RDI -> FB SIB=1 value=0x1
491 EASZ=3 INDEX=XED_REG_R8 -> FB SIB=1 value=0x1
492 EASZ=3 INDEX=XED_REG_R9 -> FB SIB=1 value=0x1
493 EASZ=3 INDEX=XED_REG_R10 -> FB SIB=1 value=0x1
494 EASZ=3 INDEX=XED_REG_R11 -> FB SIB=1 value=0x1
495 EASZ=3 INDEX=XED_REG_R12 -> FB SIB=1 value=0x1
496 EASZ=3 INDEX=XED_REG_R13 -> FB SIB=1 value=0x1
497 EASZ=3 INDEX=XED_REG_R14 -> FB SIB=1 value=0x1
498 EASZ=3 INDEX=XED_REG_R15 -> FB SIB=1 value=0x1
499 EASZ!=1 BASE0=XED_REG_SP EASZ=1 -> FB SIB=1 value=0x1
500 EASZ!=1 BASE0=XED_REG_ESP EASZ=2 -> FB SIB=1 value=0x1
501 EASZ!=1 BASE0=XED_REG_RSP EASZ=3 -> FB SIB=1 value=0x1
502 EASZ!=1 BASE0=XED_REG_R12W EASZ=1 -> FB SIB=1 value=0x1
503 EASZ!=1 BASE0=XED_REG_R12D EASZ=2 -> FB SIB=1 value=0x1
504 EASZ!=1 BASE0=XED_REG_R12 EASZ=3 -> FB SIB=1 value=0x1
505 EASZ=2 MODE=1 INDEX=XED_REG_EAX -> FB SIB=1 value=0x1
506 EASZ=2 MODE=1 INDEX=XED_REG_EBX -> FB SIB=1 value=0x1
507 EASZ=2 MODE=1 INDEX=XED_REG_ECX -> FB SIB=1 value=0x1
508 EASZ=2 MODE=1 INDEX=XED_REG_EDX -> FB SIB=1 value=0x1
509 EASZ=2 MODE=1 INDEX=XED_REG_ESP -> FB SIB=1 value=0x1
510 EASZ=2 MODE=1 INDEX=XED_REG_EBP -> FB SIB=1 value=0x1
511 EASZ=2 MODE=1 INDEX=XED_REG_ESI -> FB SIB=1 value=0x1
512 EASZ=2 MODE=1 INDEX=XED_REG_EDI -> FB SIB=1 value=0x1
513 EASZ=2 MODE=2 INDEX=XED_REG_EAX -> FB SIB=1 value=0x1
514 EASZ=2 MODE=2 INDEX=XED_REG_EBX -> FB SIB=1 value=0x1
515 EASZ=2 MODE=2 INDEX=XED_REG_ECX -> FB SIB=1 value=0x1
516 EASZ=2 MODE=2 INDEX=XED_REG_EDX -> FB SIB=1 value=0x1
517 EASZ=2 MODE=2 INDEX=XED_REG_ESP -> FB SIB=1 value=0x1
518 EASZ=2 MODE=2 INDEX=XED_REG_EBP -> FB SIB=1 value=0x1
519 EASZ=2 MODE=2 INDEX=XED_REG_ESI -> FB SIB=1 value=0x1
520 EASZ=2 MODE=2 INDEX=XED_REG_EDI -> FB SIB=1 value=0x1
521 EASZ=2 MODE=2 INDEX=XED_REG_R8D -> FB SIB=1 value=0x1
522 EASZ=2 MODE=2 INDEX=XED_REG_R9D -> FB SIB=1 value=0x1
523 EASZ=2 MODE=2 INDEX=XED_REG_R10D -> FB SIB=1 value=0x1
524 EASZ=2 MODE=2 INDEX=XED_REG_R11D -> FB SIB=1 value=0x1
525 EASZ=2 MODE=2 INDEX=XED_REG_R12D -> FB SIB=1 value=0x1
526 EASZ=2 MODE=2 INDEX=XED_REG_R13D -> FB SIB=1 value=0x1
527 EASZ=2 MODE=2 INDEX=XED_REG_R14D -> FB SIB=1 value=0x1
528 EASZ=2 MODE=2 INDEX=XED_REG_R15D -> FB SIB=1 value=0x1
529 EASZ=2 MODE=0 -> nothing
530 EASZ=2 MODE=1 -> nothing
531 */
532 xed_uint_t okay=1;
533 return 1;
534 (void) okay;
535 (void) xes;
536 }
xed_encode_nonterminal_XOP_MAP_ENC_EMIT(xed_encoder_request_t * xes)537 xed_uint_t xed_encode_nonterminal_XOP_MAP_ENC_EMIT(xed_encoder_request_t* xes)
538 {
539 /* XOP_MAP_ENC()::
540 MAP=8 REXW[w]=* -> emit 0b0_1000 emit_type=numeric value=0x8 nbits=5 emit w emit_type=letters nbits=1
541 MAP=9 REXW[w]=* -> emit 0b0_1001 emit_type=numeric value=0x9 nbits=5 emit w emit_type=letters nbits=1
542 MAP=10 REXW[w]=* -> emit 0b0_1010 emit_type=numeric value=0xa nbits=5 emit w emit_type=letters nbits=1
543 */
544 xed_uint_t okay=1;
545 unsigned int iform = xed_encoder_request_iforms(xes)->x_XOP_MAP_ENC;
546 /* 1 */ if (iform==1) {
547 xed_encoder_request_encode_emit(xes,5,0x8);
548 xed_encoder_request_encode_emit(xes,1,(xed3_operand_get_rexw(xes)));
549 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
550 return okay;
551 }
552 /* 2 */ if (iform==2) {
553 xed_encoder_request_encode_emit(xes,5,0x9);
554 xed_encoder_request_encode_emit(xes,1,(xed3_operand_get_rexw(xes)));
555 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
556 return okay;
557 }
558 /* 3 */ if (iform==3) {
559 xed_encoder_request_encode_emit(xes,5,0xa);
560 xed_encoder_request_encode_emit(xes,1,(xed3_operand_get_rexw(xes)));
561 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
562 return okay;
563 }
564 if (1) { /*otherwise*/
565 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
566 return okay;
567 }
568 return 0; /*pacify the compiler*/
569 (void) okay;
570 (void) xes;
571 (void) iform;
572 }
xed_encode_nonterminal_NELEM_TUPLE1_EMIT(xed_encoder_request_t * xes)573 xed_uint_t xed_encode_nonterminal_NELEM_TUPLE1_EMIT(xed_encoder_request_t* xes)
574 {
575 /* NELEM_TUPLE1()::
576 */
577 xed_uint_t okay=1;
578 return 1;
579 (void) okay;
580 (void) xes;
581 }
xed_encode_nonterminal_MODRM_MOD_ENCODE_EMIT(xed_encoder_request_t * xes)582 xed_uint_t xed_encode_nonterminal_MODRM_MOD_ENCODE_EMIT(xed_encoder_request_t* xes)
583 {
584 /* MODRM_MOD_ENCODE()::
585 EASZ=1 DISP_WIDTH=0 -> nt NT[MODRM_MOD_EA16_DISP0]
586 EASZ=1 DISP_WIDTH=8 -> nt NT[MODRM_MOD_EA16_DISP8]
587 EASZ=1 DISP_WIDTH=16 -> nt NT[MODRM_MOD_EA16_DISP16]
588 EASZ=1 DISP_WIDTH=32 -> nt NT[ERROR]
589 EASZ=1 DISP_WIDTH=64 -> nt NT[ERROR]
590 EASZ=2 DISP_WIDTH=0 -> nt NT[MODRM_MOD_EA32_DISP0]
591 EASZ=2 DISP_WIDTH=8 -> nt NT[MODRM_MOD_EA32_DISP8]
592 EASZ=2 DISP_WIDTH=16 -> nt NT[ERROR]
593 EASZ=2 DISP_WIDTH=32 -> nt NT[MODRM_MOD_EA32_DISP32]
594 EASZ=2 DISP_WIDTH=64 -> nt NT[ERROR]
595 EASZ=3 DISP_WIDTH=0 -> nt NT[MODRM_MOD_EA64_DISP0]
596 EASZ=3 DISP_WIDTH=8 -> nt NT[MODRM_MOD_EA64_DISP8]
597 EASZ=3 DISP_WIDTH=16 -> nt NT[ERROR]
598 EASZ=3 DISP_WIDTH=32 -> nt NT[MODRM_MOD_EA64_DISP32]
599 EASZ=3 DISP_WIDTH=64 -> nt NT[ERROR]
600 */
601 xed_uint_t okay=1;
602 unsigned int iform = xed_encoder_request_iforms(xes)->x_MODRM_MOD_ENCODE;
603 /* 9 */ if (iform==9) {
604 xed_encode_nonterminal_MODRM_MOD_EA16_DISP0_EMIT(xes);
605 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
606 return okay;
607 }
608 /* 6 */ if (iform==6) {
609 xed_encode_nonterminal_MODRM_MOD_EA16_DISP8_EMIT(xes);
610 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
611 return okay;
612 }
613 /* 3 */ if (iform==3) {
614 xed_encode_nonterminal_MODRM_MOD_EA16_DISP16_EMIT(xes);
615 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
616 return okay;
617 }
618 /* 12 */ if (iform==12) {
619 xed_encode_nonterminal_ERROR_EMIT(xes);
620 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
621 return okay;
622 }
623 /* 15 */ if (iform==15) {
624 xed_encode_nonterminal_ERROR_EMIT(xes);
625 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
626 return okay;
627 }
628 /* 4 */ if (iform==4) {
629 xed_encode_nonterminal_MODRM_MOD_EA32_DISP0_EMIT(xes);
630 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
631 return okay;
632 }
633 /* 1 */ if (iform==1) {
634 xed_encode_nonterminal_MODRM_MOD_EA32_DISP8_EMIT(xes);
635 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
636 return okay;
637 }
638 /* 13 */ if (iform==13) {
639 xed_encode_nonterminal_ERROR_EMIT(xes);
640 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
641 return okay;
642 }
643 /* 7 */ if (iform==7) {
644 xed_encode_nonterminal_MODRM_MOD_EA32_DISP32_EMIT(xes);
645 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
646 return okay;
647 }
648 /* 10 */ if (iform==10) {
649 xed_encode_nonterminal_ERROR_EMIT(xes);
650 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
651 return okay;
652 }
653 /* 14 */ if (iform==14) {
654 xed_encode_nonterminal_MODRM_MOD_EA64_DISP0_EMIT(xes);
655 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
656 return okay;
657 }
658 /* 11 */ if (iform==11) {
659 xed_encode_nonterminal_MODRM_MOD_EA64_DISP8_EMIT(xes);
660 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
661 return okay;
662 }
663 /* 8 */ if (iform==8) {
664 xed_encode_nonterminal_ERROR_EMIT(xes);
665 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
666 return okay;
667 }
668 /* 2 */ if (iform==2) {
669 xed_encode_nonterminal_MODRM_MOD_EA64_DISP32_EMIT(xes);
670 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
671 return okay;
672 }
673 /* 5 */ if (iform==5) {
674 xed_encode_nonterminal_ERROR_EMIT(xes);
675 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
676 return okay;
677 }
678 if (1) { /*otherwise*/
679 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
680 return okay;
681 }
682 return 0; /*pacify the compiler*/
683 (void) okay;
684 (void) xes;
685 (void) iform;
686 }
xed_encode_nonterminal_NELEM_MEM128_EMIT(xed_encoder_request_t * xes)687 xed_uint_t xed_encode_nonterminal_NELEM_MEM128_EMIT(xed_encoder_request_t* xes)
688 {
689 /* NELEM_MEM128()::
690 BCAST!=0 -> FB ERROR=XED_ERROR_GENERAL_ERROR
691 */
692 xed_uint_t okay=1;
693 return 1;
694 (void) okay;
695 (void) xes;
696 }
xed_encode_nonterminal_NELEM_GPR_WRITER_LDOP_D_EMIT(xed_encoder_request_t * xes)697 xed_uint_t xed_encode_nonterminal_NELEM_GPR_WRITER_LDOP_D_EMIT(xed_encoder_request_t* xes)
698 {
699 /* NELEM_GPR_WRITER_LDOP_D()::
700 */
701 xed_uint_t okay=1;
702 return 1;
703 (void) okay;
704 (void) xes;
705 }
xed_encode_nonterminal_VSIB_ENC_BASE_EMIT(xed_encoder_request_t * xes)706 xed_uint_t xed_encode_nonterminal_VSIB_ENC_BASE_EMIT(xed_encoder_request_t* xes)
707 {
708 /* VSIB_ENC_BASE()::
709 BASE0=XED_REG_AX EASZ=1 -> FB REXB=0 value=0x0 FB SIBBASE=0 value=0x0
710 BASE0=XED_REG_EAX EASZ=2 -> FB REXB=0 value=0x0 FB SIBBASE=0 value=0x0
711 BASE0=XED_REG_RAX EASZ=3 -> FB REXB=0 value=0x0 FB SIBBASE=0 value=0x0
712 BASE0=XED_REG_CX EASZ=1 -> FB REXB=0 value=0x0 FB SIBBASE=1 value=0x1
713 BASE0=XED_REG_ECX EASZ=2 -> FB REXB=0 value=0x0 FB SIBBASE=1 value=0x1
714 BASE0=XED_REG_RCX EASZ=3 -> FB REXB=0 value=0x0 FB SIBBASE=1 value=0x1
715 BASE0=XED_REG_DX EASZ=1 -> FB REXB=0 value=0x0 FB SIBBASE=2 value=0x2
716 BASE0=XED_REG_EDX EASZ=2 -> FB REXB=0 value=0x0 FB SIBBASE=2 value=0x2
717 BASE0=XED_REG_RDX EASZ=3 -> FB REXB=0 value=0x0 FB SIBBASE=2 value=0x2
718 BASE0=XED_REG_BX EASZ=1 -> FB REXB=0 value=0x0 FB SIBBASE=3 value=0x3
719 BASE0=XED_REG_EBX EASZ=2 -> FB REXB=0 value=0x0 FB SIBBASE=3 value=0x3
720 BASE0=XED_REG_RBX EASZ=3 -> FB REXB=0 value=0x0 FB SIBBASE=3 value=0x3
721 BASE0=XED_REG_SP EASZ=1 -> FB REXB=0 value=0x0 FB SIBBASE=4 value=0x4
722 BASE0=XED_REG_ESP EASZ=2 -> FB REXB=0 value=0x0 FB SIBBASE=4 value=0x4
723 BASE0=XED_REG_RSP EASZ=3 -> FB REXB=0 value=0x0 FB SIBBASE=4 value=0x4
724 BASE0=XED_REG_SI EASZ=1 -> FB REXB=0 value=0x0 FB SIBBASE=6 value=0x6
725 BASE0=XED_REG_ESI EASZ=2 -> FB REXB=0 value=0x0 FB SIBBASE=6 value=0x6
726 BASE0=XED_REG_RSI EASZ=3 -> FB REXB=0 value=0x0 FB SIBBASE=6 value=0x6
727 BASE0=XED_REG_DI EASZ=1 -> FB REXB=0 value=0x0 FB SIBBASE=7 value=0x7
728 BASE0=XED_REG_EDI EASZ=2 -> FB REXB=0 value=0x0 FB SIBBASE=7 value=0x7
729 BASE0=XED_REG_RDI EASZ=3 -> FB REXB=0 value=0x0 FB SIBBASE=7 value=0x7
730 BASE0=XED_REG_R8W EASZ=1 -> FB REXB=1 value=0x1 FB SIBBASE=0 value=0x0
731 BASE0=XED_REG_R8D EASZ=2 -> FB REXB=1 value=0x1 FB SIBBASE=0 value=0x0
732 BASE0=XED_REG_R8 EASZ=3 -> FB REXB=1 value=0x1 FB SIBBASE=0 value=0x0
733 BASE0=XED_REG_R9W EASZ=1 -> FB REXB=1 value=0x1 FB SIBBASE=1 value=0x1
734 BASE0=XED_REG_R9D EASZ=2 -> FB REXB=1 value=0x1 FB SIBBASE=1 value=0x1
735 BASE0=XED_REG_R9 EASZ=3 -> FB REXB=1 value=0x1 FB SIBBASE=1 value=0x1
736 BASE0=XED_REG_R10W EASZ=1 -> FB REXB=1 value=0x1 FB SIBBASE=2 value=0x2
737 BASE0=XED_REG_R10D EASZ=2 -> FB REXB=1 value=0x1 FB SIBBASE=2 value=0x2
738 BASE0=XED_REG_R10 EASZ=3 -> FB REXB=1 value=0x1 FB SIBBASE=2 value=0x2
739 BASE0=XED_REG_R11W EASZ=1 -> FB REXB=1 value=0x1 FB SIBBASE=3 value=0x3
740 BASE0=XED_REG_R11D EASZ=2 -> FB REXB=1 value=0x1 FB SIBBASE=3 value=0x3
741 BASE0=XED_REG_R11 EASZ=3 -> FB REXB=1 value=0x1 FB SIBBASE=3 value=0x3
742 BASE0=XED_REG_R12W EASZ=1 -> FB REXB=1 value=0x1 FB SIBBASE=4 value=0x4
743 BASE0=XED_REG_R12D EASZ=2 -> FB REXB=1 value=0x1 FB SIBBASE=4 value=0x4
744 BASE0=XED_REG_R12 EASZ=3 -> FB REXB=1 value=0x1 FB SIBBASE=4 value=0x4
745 BASE0=XED_REG_R14W EASZ=1 -> FB REXB=1 value=0x1 FB SIBBASE=6 value=0x6
746 BASE0=XED_REG_R14D EASZ=2 -> FB REXB=1 value=0x1 FB SIBBASE=6 value=0x6
747 BASE0=XED_REG_R14 EASZ=3 -> FB REXB=1 value=0x1 FB SIBBASE=6 value=0x6
748 BASE0=XED_REG_R15W EASZ=1 -> FB REXB=1 value=0x1 FB SIBBASE=7 value=0x7
749 BASE0=XED_REG_R15D EASZ=2 -> FB REXB=1 value=0x1 FB SIBBASE=7 value=0x7
750 BASE0=XED_REG_R15 EASZ=3 -> FB REXB=1 value=0x1 FB SIBBASE=7 value=0x7
751 BASE0=@ -> nt NT[DISP_WIDTH_32] FB REXB=0 value=0x0 FB SIBBASE=5 value=0x5
752 BASE0=XED_REG_BP EASZ=1 -> nt NT[DISP_WIDTH_8_32] FB REXB=0 value=0x0 FB SIBBASE=5 value=0x5
753 BASE0=XED_REG_EBP EASZ=2 -> nt NT[DISP_WIDTH_8_32] FB REXB=0 value=0x0 FB SIBBASE=5 value=0x5
754 BASE0=XED_REG_RBP EASZ=3 -> nt NT[DISP_WIDTH_8_32] FB REXB=0 value=0x0 FB SIBBASE=5 value=0x5
755 BASE0=XED_REG_R13W EASZ=1 -> nt NT[DISP_WIDTH_8_32] FB REXB=1 value=0x1 FB SIBBASE=5 value=0x5
756 BASE0=XED_REG_R13D EASZ=2 -> nt NT[DISP_WIDTH_8_32] FB REXB=1 value=0x1 FB SIBBASE=5 value=0x5
757 BASE0=XED_REG_R13 EASZ=3 -> nt NT[DISP_WIDTH_8_32] FB REXB=1 value=0x1 FB SIBBASE=5 value=0x5
758 */
759 xed_uint_t okay=1;
760 unsigned int iform = xed_encoder_request_iforms(xes)->x_VSIB_ENC_BASE;
761 /* 91 */ if (iform==91) {
762 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
763 return okay;
764 }
765 /* 14 */ if (iform==14) {
766 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
767 return okay;
768 }
769 /* 41 */ if (iform==41) {
770 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
771 return okay;
772 }
773 /* 95 */ if (iform==95) {
774 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
775 return okay;
776 }
777 /* 18 */ if (iform==18) {
778 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
779 return okay;
780 }
781 /* 45 */ if (iform==45) {
782 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
783 return okay;
784 }
785 /* 4 */ if (iform==4) {
786 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
787 return okay;
788 }
789 /* 22 */ if (iform==22) {
790 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
791 return okay;
792 }
793 /* 49 */ if (iform==49) {
794 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
795 return okay;
796 }
797 /* 8 */ if (iform==8) {
798 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
799 return okay;
800 }
801 /* 26 */ if (iform==26) {
802 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
803 return okay;
804 }
805 /* 53 */ if (iform==53) {
806 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
807 return okay;
808 }
809 /* 12 */ if (iform==12) {
810 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
811 return okay;
812 }
813 /* 30 */ if (iform==30) {
814 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
815 return okay;
816 }
817 /* 57 */ if (iform==57) {
818 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
819 return okay;
820 }
821 /* 20 */ if (iform==20) {
822 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
823 return okay;
824 }
825 /* 38 */ if (iform==38) {
826 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
827 return okay;
828 }
829 /* 65 */ if (iform==65) {
830 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
831 return okay;
832 }
833 /* 24 */ if (iform==24) {
834 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
835 return okay;
836 }
837 /* 42 */ if (iform==42) {
838 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
839 return okay;
840 }
841 /* 69 */ if (iform==69) {
842 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
843 return okay;
844 }
845 /* 28 */ if (iform==28) {
846 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
847 return okay;
848 }
849 /* 46 */ if (iform==46) {
850 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
851 return okay;
852 }
853 /* 73 */ if (iform==73) {
854 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
855 return okay;
856 }
857 /* 32 */ if (iform==32) {
858 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
859 return okay;
860 }
861 /* 50 */ if (iform==50) {
862 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
863 return okay;
864 }
865 /* 77 */ if (iform==77) {
866 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
867 return okay;
868 }
869 /* 36 */ if (iform==36) {
870 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
871 return okay;
872 }
873 /* 54 */ if (iform==54) {
874 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
875 return okay;
876 }
877 /* 81 */ if (iform==81) {
878 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
879 return okay;
880 }
881 /* 40 */ if (iform==40) {
882 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
883 return okay;
884 }
885 /* 58 */ if (iform==58) {
886 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
887 return okay;
888 }
889 /* 85 */ if (iform==85) {
890 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
891 return okay;
892 }
893 /* 44 */ if (iform==44) {
894 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
895 return okay;
896 }
897 /* 62 */ if (iform==62) {
898 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
899 return okay;
900 }
901 /* 89 */ if (iform==89) {
902 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
903 return okay;
904 }
905 /* 52 */ if (iform==52) {
906 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
907 return okay;
908 }
909 /* 70 */ if (iform==70) {
910 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
911 return okay;
912 }
913 /* 97 */ if (iform==97) {
914 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
915 return okay;
916 }
917 /* 56 */ if (iform==56) {
918 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
919 return okay;
920 }
921 /* 74 */ if (iform==74) {
922 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
923 return okay;
924 }
925 /* 101 */ if (iform==101) {
926 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
927 return okay;
928 }
929 /* 13 */ if (iform==13) {
930 xed_encode_nonterminal_DISP_WIDTH_32_EMIT(xes);
931 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
932 return okay;
933 }
934 /* 16 */ if (iform==16) {
935 xed_encode_nonterminal_DISP_WIDTH_8_32_EMIT(xes);
936 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
937 return okay;
938 }
939 /* 34 */ if (iform==34) {
940 xed_encode_nonterminal_DISP_WIDTH_8_32_EMIT(xes);
941 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
942 return okay;
943 }
944 /* 61 */ if (iform==61) {
945 xed_encode_nonterminal_DISP_WIDTH_8_32_EMIT(xes);
946 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
947 return okay;
948 }
949 /* 48 */ if (iform==48) {
950 xed_encode_nonterminal_DISP_WIDTH_8_32_EMIT(xes);
951 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
952 return okay;
953 }
954 /* 66 */ if (iform==66) {
955 xed_encode_nonterminal_DISP_WIDTH_8_32_EMIT(xes);
956 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
957 return okay;
958 }
959 /* 93 */ if (iform==93) {
960 xed_encode_nonterminal_DISP_WIDTH_8_32_EMIT(xes);
961 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
962 return okay;
963 }
964 if (1) { /*otherwise*/
965 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
966 return okay;
967 }
968 return 0; /*pacify the compiler*/
969 (void) okay;
970 (void) xes;
971 (void) iform;
972 }
xed_encode_nonterminal_NELEM_GPR_WRITER_STORE_WORD_EMIT(xed_encoder_request_t * xes)973 xed_uint_t xed_encode_nonterminal_NELEM_GPR_WRITER_STORE_WORD_EMIT(xed_encoder_request_t* xes)
974 {
975 /* NELEM_GPR_WRITER_STORE_WORD()::
976 */
977 xed_uint_t okay=1;
978 return 1;
979 (void) okay;
980 (void) xes;
981 }
xed_encode_nonterminal_ESIZE_16_BITS_EMIT(xed_encoder_request_t * xes)982 xed_uint_t xed_encode_nonterminal_ESIZE_16_BITS_EMIT(xed_encoder_request_t* xes)
983 {
984 /* ESIZE_16_BITS()::
985 */
986 xed_uint_t okay=1;
987 return 1;
988 (void) okay;
989 (void) xes;
990 }
xed_encode_nonterminal_SIMM8_EMIT(xed_encoder_request_t * xes)991 xed_uint_t xed_encode_nonterminal_SIMM8_EMIT(xed_encoder_request_t* xes)
992 {
993 /* SIMM8()::
994 IMM_WIDTH=8 UIMM0[iiiiiiii]=* -> emit uimm0=iiiiiiii emit_type=letters nbits=8 FB IMM0SIGNED=1 value=0x1
995 */
996 xed_uint_t okay=1;
997 unsigned int iform = xed_encoder_request_iforms(xes)->x_SIMM8;
998 /* 1 */ if (iform==1) {
999 xed_encoder_request_encode_emit(xes,8,(xed3_operand_get_uimm0(xes)));
1000 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1001 return okay;
1002 }
1003 if (1) { /*otherwise*/
1004 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1005 return okay;
1006 }
1007 return 0; /*pacify the compiler*/
1008 (void) okay;
1009 (void) xes;
1010 (void) iform;
1011 }
xed_encode_nonterminal_MEMDISPv_EMIT(xed_encoder_request_t * xes)1012 xed_uint_t xed_encode_nonterminal_MEMDISPv_EMIT(xed_encoder_request_t* xes)
1013 {
1014 /* MEMDISPv()::
1015 DISP_WIDTH=16 EASZ=1 DISP[aaaaaaaaaaaaaaaa]=* -> emit disp=aaaaaaaaaaaaaaaa emit_type=letters nbits=16
1016 DISP_WIDTH=32 EASZ=2 DISP[aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa]=* -> emit disp=aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa emit_type=letters nbits=32
1017 DISP_WIDTH=64 EASZ=3 DISP[aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa]=* -> emit disp=aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa emit_type=letters nbits=64
1018 */
1019 xed_uint_t okay=1;
1020 unsigned int iform = xed_encoder_request_iforms(xes)->x_MEMDISPv;
1021 /* 3 */ if (iform==3) {
1022 xed_encoder_request_encode_emit(xes,16,(xed3_operand_get_disp(xes)));
1023 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1024 return okay;
1025 }
1026 /* 2 */ if (iform==2) {
1027 xed_encoder_request_encode_emit(xes,32,(xed3_operand_get_disp(xes)));
1028 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1029 return okay;
1030 }
1031 /* 1 */ if (iform==1) {
1032 xed_encoder_request_encode_emit(xes,64,(xed3_operand_get_disp(xes)));
1033 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1034 return okay;
1035 }
1036 if (1) { /*otherwise*/
1037 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1038 return okay;
1039 }
1040 return 0; /*pacify the compiler*/
1041 (void) okay;
1042 (void) xes;
1043 (void) iform;
1044 }
xed_encode_nonterminal_MEMDISP8_EMIT(xed_encoder_request_t * xes)1045 xed_uint_t xed_encode_nonterminal_MEMDISP8_EMIT(xed_encoder_request_t* xes)
1046 {
1047 /* MEMDISP8()::
1048 DISP_WIDTH=8 DISP[aaaaaaaa]=* -> emit disp=aaaaaaaa emit_type=letters nbits=8
1049 */
1050 xed_uint_t okay=1;
1051 unsigned int iform = xed_encoder_request_iforms(xes)->x_MEMDISP8;
1052 /* 1 */ if (iform==1) {
1053 xed_encoder_request_encode_emit(xes,8,(xed3_operand_get_disp(xes)));
1054 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1055 return okay;
1056 }
1057 if (1) { /*otherwise*/
1058 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1059 return okay;
1060 }
1061 return 0; /*pacify the compiler*/
1062 (void) okay;
1063 (void) xes;
1064 (void) iform;
1065 }
xed_encode_nonterminal_UIMM8_1_EMIT(xed_encoder_request_t * xes)1066 xed_uint_t xed_encode_nonterminal_UIMM8_1_EMIT(xed_encoder_request_t* xes)
1067 {
1068 /* UIMM8_1()::
1069 DUMMY=0 UIMM1[iiiiiiii]=* -> emit uimm1=iiiiiiii emit_type=letters nbits=8
1070 */
1071 xed_uint_t okay=1;
1072 unsigned int iform = xed_encoder_request_iforms(xes)->x_UIMM8_1;
1073 /* 1 */ if (iform==1) {
1074 xed_encoder_request_encode_emit(xes,8,(xed3_operand_get_uimm1(xes)));
1075 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1076 return okay;
1077 }
1078 if (1) { /*otherwise*/
1079 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1080 return okay;
1081 }
1082 return 0; /*pacify the compiler*/
1083 (void) okay;
1084 (void) xes;
1085 (void) iform;
1086 }
xed_encode_nonterminal_MEMDISP_EMIT(xed_encoder_request_t * xes)1087 xed_uint_t xed_encode_nonterminal_MEMDISP_EMIT(xed_encoder_request_t* xes)
1088 {
1089 /* MEMDISP()::
1090 DISP_WIDTH=0 -> FB NEED_MEMDISP=0 value=0x0
1091 DISP_WIDTH=8 DISP[aaaaaaaa]=* -> FB NEED_MEMDISP=8 value=0x8 emit disp=aaaaaaaa emit_type=letters nbits=8
1092 DISP_WIDTH=16 DISP[aaaaaaaaaaaaaaaa]=* -> FB NEED_MEMDISP=16 value=0x10 emit disp=aaaaaaaaaaaaaaaa emit_type=letters nbits=16
1093 DISP_WIDTH=32 DISP[aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa]=* -> FB NEED_MEMDISP=32 value=0x20 emit disp=aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa emit_type=letters nbits=32
1094 */
1095 xed_uint_t okay=1;
1096 unsigned int iform = xed_encoder_request_iforms(xes)->x_MEMDISP;
1097 /* 1 */ if (iform==1) {
1098 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1099 return okay;
1100 }
1101 /* 4 */ if (iform==4) {
1102 xed_encoder_request_encode_emit(xes,8,(xed3_operand_get_disp(xes)));
1103 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1104 return okay;
1105 }
1106 /* 2 */ if (iform==2) {
1107 xed_encoder_request_encode_emit(xes,16,(xed3_operand_get_disp(xes)));
1108 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1109 return okay;
1110 }
1111 /* 3 */ if (iform==3) {
1112 xed_encoder_request_encode_emit(xes,32,(xed3_operand_get_disp(xes)));
1113 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1114 return okay;
1115 }
1116 if (1) { /*otherwise*/
1117 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1118 return okay;
1119 }
1120 return 0; /*pacify the compiler*/
1121 (void) okay;
1122 (void) xes;
1123 (void) iform;
1124 }
xed_encode_nonterminal_BRDISP32_EMIT(xed_encoder_request_t * xes)1125 xed_uint_t xed_encode_nonterminal_BRDISP32_EMIT(xed_encoder_request_t* xes)
1126 {
1127 /* BRDISP32()::
1128 BRDISP_WIDTH=32 DISP[dddddddddddddddddddddddddddddddd]=* -> emit disp=dddddddddddddddddddddddddddddddd emit_type=letters nbits=32
1129 */
1130 xed_uint_t okay=1;
1131 unsigned int iform = xed_encoder_request_iforms(xes)->x_BRDISP32;
1132 /* 1 */ if (iform==1) {
1133 xed_encoder_request_encode_emit(xes,32,(xed3_operand_get_disp(xes)));
1134 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1135 return okay;
1136 }
1137 if (1) { /*otherwise*/
1138 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1139 return okay;
1140 }
1141 return 0; /*pacify the compiler*/
1142 (void) okay;
1143 (void) xes;
1144 (void) iform;
1145 }
xed_encode_nonterminal_MEMDISP32_EMIT(xed_encoder_request_t * xes)1146 xed_uint_t xed_encode_nonterminal_MEMDISP32_EMIT(xed_encoder_request_t* xes)
1147 {
1148 /* MEMDISP32()::
1149 DISP_WIDTH=32 DISP[aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa]=* -> emit disp=aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa emit_type=letters nbits=32
1150 */
1151 xed_uint_t okay=1;
1152 unsigned int iform = xed_encoder_request_iforms(xes)->x_MEMDISP32;
1153 /* 1 */ if (iform==1) {
1154 xed_encoder_request_encode_emit(xes,32,(xed3_operand_get_disp(xes)));
1155 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1156 return okay;
1157 }
1158 if (1) { /*otherwise*/
1159 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1160 return okay;
1161 }
1162 return 0; /*pacify the compiler*/
1163 (void) okay;
1164 (void) xes;
1165 (void) iform;
1166 }
xed_encode_nonterminal_MEMDISP16_EMIT(xed_encoder_request_t * xes)1167 xed_uint_t xed_encode_nonterminal_MEMDISP16_EMIT(xed_encoder_request_t* xes)
1168 {
1169 /* MEMDISP16()::
1170 DISP_WIDTH=16 DISP[aaaaaaaaaaaaaaaa]=* -> emit disp=aaaaaaaaaaaaaaaa emit_type=letters nbits=16
1171 */
1172 xed_uint_t okay=1;
1173 unsigned int iform = xed_encoder_request_iforms(xes)->x_MEMDISP16;
1174 /* 1 */ if (iform==1) {
1175 xed_encoder_request_encode_emit(xes,16,(xed3_operand_get_disp(xes)));
1176 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1177 return okay;
1178 }
1179 if (1) { /*otherwise*/
1180 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1181 return okay;
1182 }
1183 return 0; /*pacify the compiler*/
1184 (void) okay;
1185 (void) xes;
1186 (void) iform;
1187 }
xed_encode_nonterminal_UIMM32_EMIT(xed_encoder_request_t * xes)1188 xed_uint_t xed_encode_nonterminal_UIMM32_EMIT(xed_encoder_request_t* xes)
1189 {
1190 /* UIMM32()::
1191 IMM_WIDTH=32 UIMM0[iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii]=* -> emit uimm0=iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii emit_type=letters nbits=32
1192 */
1193 xed_uint_t okay=1;
1194 unsigned int iform = xed_encoder_request_iforms(xes)->x_UIMM32;
1195 /* 1 */ if (iform==1) {
1196 xed_encoder_request_encode_emit(xes,32,(xed3_operand_get_uimm0(xes)));
1197 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1198 return okay;
1199 }
1200 if (1) { /*otherwise*/
1201 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1202 return okay;
1203 }
1204 return 0; /*pacify the compiler*/
1205 (void) okay;
1206 (void) xes;
1207 (void) iform;
1208 }
xed_encode_nonterminal_ONE_EMIT(xed_encoder_request_t * xes)1209 xed_uint_t xed_encode_nonterminal_ONE_EMIT(xed_encoder_request_t* xes)
1210 {
1211 /* ONE()::
1212 IMM_WIDTH=8 UIMM0=1 MODE=0 -> nothing
1213 IMM_WIDTH=8 UIMM0=1 MODE=1 -> nothing
1214 IMM_WIDTH=8 UIMM0=1 MODE=2 -> nothing
1215 */
1216 xed_uint_t okay=1;
1217 return 1;
1218 (void) okay;
1219 (void) xes;
1220 }
xed_encode_nonterminal_SIMMz_EMIT(xed_encoder_request_t * xes)1221 xed_uint_t xed_encode_nonterminal_SIMMz_EMIT(xed_encoder_request_t* xes)
1222 {
1223 /* SIMMz()::
1224 IMM_WIDTH=16 EOSZ=1 UIMM0[iiiiiiiiiiiiiiii]=* -> emit uimm0=iiiiiiiiiiiiiiii emit_type=letters nbits=16 FB IMM0SIGNED=1 value=0x1
1225 IMM_WIDTH=32 EOSZ=2 UIMM0[iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii]=* -> emit uimm0=iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii emit_type=letters nbits=32 FB IMM0SIGNED=1 value=0x1
1226 IMM_WIDTH=32 EOSZ=3 UIMM0[iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii]=* -> emit uimm0=iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii emit_type=letters nbits=32 FB IMM0SIGNED=1 value=0x1
1227 */
1228 xed_uint_t okay=1;
1229 unsigned int iform = xed_encoder_request_iforms(xes)->x_SIMMz;
1230 /* 1 */ if (iform==1) {
1231 xed_encoder_request_encode_emit(xes,16,(xed3_operand_get_uimm0(xes)));
1232 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1233 return okay;
1234 }
1235 /* 2 */ if (iform==2) {
1236 xed_encoder_request_encode_emit(xes,32,(xed3_operand_get_uimm0(xes)));
1237 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1238 return okay;
1239 }
1240 /* 3 */ if (iform==3) {
1241 xed_encoder_request_encode_emit(xes,32,(xed3_operand_get_uimm0(xes)));
1242 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1243 return okay;
1244 }
1245 if (1) { /*otherwise*/
1246 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1247 return okay;
1248 }
1249 return 0; /*pacify the compiler*/
1250 (void) okay;
1251 (void) xes;
1252 (void) iform;
1253 }
xed_encode_nonterminal_ASZ_NONTERM_EMIT(xed_encoder_request_t * xes)1254 xed_uint_t xed_encode_nonterminal_ASZ_NONTERM_EMIT(xed_encoder_request_t* xes)
1255 {
1256 /* ASZ_NONTERM()::
1257 EASZ=1 MODE=0 -> FB ASZ=0 value=0x0
1258 EASZ=2 MODE=0 -> FB ASZ=1 value=0x1
1259 EASZ=2 MODE=1 -> FB ASZ=0 value=0x0
1260 EASZ=1 MODE=1 -> FB ASZ=1 value=0x1
1261 EASZ=3 MODE=2 -> FB ASZ=0 value=0x0
1262 EASZ=2 MODE=2 -> FB ASZ=1 value=0x1
1263 */
1264 xed_uint_t okay=1;
1265 return 1;
1266 (void) okay;
1267 (void) xes;
1268 }
xed_encode_nonterminal_UIMMv_EMIT(xed_encoder_request_t * xes)1269 xed_uint_t xed_encode_nonterminal_UIMMv_EMIT(xed_encoder_request_t* xes)
1270 {
1271 /* UIMMv()::
1272 IMM_WIDTH=16 EOSZ=1 UIMM0[iiiiiiiiiiiiiiii]=* -> emit uimm0=iiiiiiiiiiiiiiii emit_type=letters nbits=16
1273 IMM_WIDTH=32 EOSZ=2 UIMM0[iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii]=* -> emit uimm0=iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii emit_type=letters nbits=32
1274 IMM_WIDTH=64 EOSZ=3 UIMM0[iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii]=* -> emit uimm0=iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii emit_type=letters nbits=64
1275 */
1276 xed_uint_t okay=1;
1277 unsigned int iform = xed_encoder_request_iforms(xes)->x_UIMMv;
1278 /* 2 */ if (iform==2) {
1279 xed_encoder_request_encode_emit(xes,16,(xed3_operand_get_uimm0(xes)));
1280 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1281 return okay;
1282 }
1283 /* 3 */ if (iform==3) {
1284 xed_encoder_request_encode_emit(xes,32,(xed3_operand_get_uimm0(xes)));
1285 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1286 return okay;
1287 }
1288 /* 1 */ if (iform==1) {
1289 xed_encoder_request_encode_emit(xes,64,(xed3_operand_get_uimm0(xes)));
1290 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1291 return okay;
1292 }
1293 if (1) { /*otherwise*/
1294 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1295 return okay;
1296 }
1297 return 0; /*pacify the compiler*/
1298 (void) okay;
1299 (void) xes;
1300 (void) iform;
1301 }
xed_encode_nonterminal_UIMM16_EMIT(xed_encoder_request_t * xes)1302 xed_uint_t xed_encode_nonterminal_UIMM16_EMIT(xed_encoder_request_t* xes)
1303 {
1304 /* UIMM16()::
1305 IMM_WIDTH=16 UIMM0[iiiiiiiiiiiiiiii]=* -> emit uimm0=iiiiiiiiiiiiiiii emit_type=letters nbits=16
1306 */
1307 xed_uint_t okay=1;
1308 unsigned int iform = xed_encoder_request_iforms(xes)->x_UIMM16;
1309 /* 1 */ if (iform==1) {
1310 xed_encoder_request_encode_emit(xes,16,(xed3_operand_get_uimm0(xes)));
1311 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1312 return okay;
1313 }
1314 if (1) { /*otherwise*/
1315 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1316 return okay;
1317 }
1318 return 0; /*pacify the compiler*/
1319 (void) okay;
1320 (void) xes;
1321 (void) iform;
1322 }
xed_encode_nonterminal_BRDISPz_EMIT(xed_encoder_request_t * xes)1323 xed_uint_t xed_encode_nonterminal_BRDISPz_EMIT(xed_encoder_request_t* xes)
1324 {
1325 /* BRDISPz()::
1326 BRDISP_WIDTH=16 EOSZ=1 DISP[dddddddddddddddd]=* -> emit disp=dddddddddddddddd emit_type=letters nbits=16
1327 BRDISP_WIDTH=32 EOSZ=2 DISP[dddddddddddddddddddddddddddddddd]=* -> emit disp=dddddddddddddddddddddddddddddddd emit_type=letters nbits=32
1328 BRDISP_WIDTH=32 EOSZ=3 DISP[dddddddddddddddddddddddddddddddd]=* -> emit disp=dddddddddddddddddddddddddddddddd emit_type=letters nbits=32
1329 */
1330 xed_uint_t okay=1;
1331 unsigned int iform = xed_encoder_request_iforms(xes)->x_BRDISPz;
1332 /* 3 */ if (iform==3) {
1333 xed_encoder_request_encode_emit(xes,16,(xed3_operand_get_disp(xes)));
1334 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1335 return okay;
1336 }
1337 /* 2 */ if (iform==2) {
1338 xed_encoder_request_encode_emit(xes,32,(xed3_operand_get_disp(xes)));
1339 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1340 return okay;
1341 }
1342 /* 1 */ if (iform==1) {
1343 xed_encoder_request_encode_emit(xes,32,(xed3_operand_get_disp(xes)));
1344 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1345 return okay;
1346 }
1347 if (1) { /*otherwise*/
1348 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1349 return okay;
1350 }
1351 return 0; /*pacify the compiler*/
1352 (void) okay;
1353 (void) xes;
1354 (void) iform;
1355 }
xed_encode_nonterminal_UIMM8_EMIT(xed_encoder_request_t * xes)1356 xed_uint_t xed_encode_nonterminal_UIMM8_EMIT(xed_encoder_request_t* xes)
1357 {
1358 /* UIMM8()::
1359 IMM_WIDTH=8 UIMM0[iiiiiiii]=* -> emit uimm0=iiiiiiii emit_type=letters nbits=8
1360 */
1361 xed_uint_t okay=1;
1362 unsigned int iform = xed_encoder_request_iforms(xes)->x_UIMM8;
1363 /* 1 */ if (iform==1) {
1364 xed_encoder_request_encode_emit(xes,8,(xed3_operand_get_uimm0(xes)));
1365 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1366 return okay;
1367 }
1368 if (1) { /*otherwise*/
1369 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1370 return okay;
1371 }
1372 return 0; /*pacify the compiler*/
1373 (void) okay;
1374 (void) xes;
1375 (void) iform;
1376 }
xed_encode_nonterminal_BRDISP8_EMIT(xed_encoder_request_t * xes)1377 xed_uint_t xed_encode_nonterminal_BRDISP8_EMIT(xed_encoder_request_t* xes)
1378 {
1379 /* BRDISP8()::
1380 BRDISP_WIDTH=8 DISP[dddddddd]=* -> emit disp=dddddddd emit_type=letters nbits=8
1381 */
1382 xed_uint_t okay=1;
1383 unsigned int iform = xed_encoder_request_iforms(xes)->x_BRDISP8;
1384 /* 1 */ if (iform==1) {
1385 xed_encoder_request_encode_emit(xes,8,(xed3_operand_get_disp(xes)));
1386 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1387 return okay;
1388 }
1389 if (1) { /*otherwise*/
1390 if (xed3_operand_get_error(xes) != XED_ERROR_NONE) okay=0;
1391 return okay;
1392 }
1393 return 0; /*pacify the compiler*/
1394 (void) okay;
1395 (void) xes;
1396 (void) iform;
1397 }
1398