1 /// @file xed-enc-patterns.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-encode.h"
25 #include "xed-encoder.h"
26 #include "xed-operand-accessors.h"
xed_encode_instruction_fb_pattern_0(xed_encoder_request_t * xes)27 void xed_encode_instruction_fb_pattern_0(xed_encoder_request_t* xes)
28 {
29        const xed_uint8_t* val;
30        val = xed_encoder_get_start_field_value(xes);
31        xed3_operand_set_reg(xes,*(val+0));
32 }
xed_encode_instruction_fb_pattern_1(xed_encoder_request_t * xes)33 void xed_encode_instruction_fb_pattern_1(xed_encoder_request_t* xes)
34 {
35        const xed_uint8_t* val;
36        val = xed_encoder_get_start_field_value(xes);
37        xed3_operand_set_mod(xes,*(val+0));
38        xed3_operand_set_reg(xes,*(val+1));
39 }
xed_encode_instruction_fb_pattern_2(xed_encoder_request_t * xes)40 void xed_encode_instruction_fb_pattern_2(xed_encoder_request_t* xes)
41 {
42        const xed_uint8_t* val;
43        val = xed_encoder_get_start_field_value(xes);
44        xed3_operand_set_map(xes,*(val+0));
45        xed3_operand_set_mod(xes,*(val+1));
46        xed3_operand_set_vex_prefix(xes,*(val+2));
47        xed3_operand_set_vexdest210(xes,*(val+3));
48        xed3_operand_set_vexdest3(xes,*(val+4));
49        xed3_operand_set_vexvalid(xes,*(val+5));
50 }
xed_encode_instruction_fb_pattern_3(xed_encoder_request_t * xes)51 void xed_encode_instruction_fb_pattern_3(xed_encoder_request_t* xes)
52 {
53        const xed_uint8_t* val;
54        val = xed_encoder_get_start_field_value(xes);
55        xed3_operand_set_osz(xes,*(val+0));
56        xed3_operand_set_rep(xes,*(val+1));
57 }
xed_encode_instruction_fb_pattern_4(xed_encoder_request_t * xes)58 void xed_encode_instruction_fb_pattern_4(xed_encoder_request_t* xes)
59 {
60        const xed_uint8_t* val;
61        val = xed_encoder_get_start_field_value(xes);
62        xed3_operand_set_mod(xes,*(val+0));
63        xed3_operand_set_osz(xes,*(val+1));
64        xed3_operand_set_rep(xes,*(val+2));
65 }
xed_encode_instruction_fb_pattern_5(xed_encoder_request_t * xes)66 void xed_encode_instruction_fb_pattern_5(xed_encoder_request_t* xes)
67 {
68        const xed_uint8_t* val;
69        val = xed_encoder_get_start_field_value(xes);
70        xed3_operand_set_rep(xes,*(val+0));
71 }
xed_encode_instruction_fb_pattern_6(xed_encoder_request_t * xes)72 void xed_encode_instruction_fb_pattern_6(xed_encoder_request_t* xes)
73 {
74        const xed_uint8_t* val;
75        val = xed_encoder_get_start_field_value(xes);
76        xed3_operand_set_mod(xes,*(val+0));
77        xed3_operand_set_rep(xes,*(val+1));
78 }
xed_encode_instruction_fb_pattern_7(xed_encoder_request_t * xes)79 void xed_encode_instruction_fb_pattern_7(xed_encoder_request_t* xes)
80 {
81        const xed_uint8_t* val;
82        val = xed_encoder_get_start_field_value(xes);
83        xed3_operand_set_map(xes,*(val+0));
84        xed3_operand_set_vex_prefix(xes,*(val+1));
85        xed3_operand_set_vexvalid(xes,*(val+2));
86 }
xed_encode_instruction_fb_pattern_8(xed_encoder_request_t * xes)87 void xed_encode_instruction_fb_pattern_8(xed_encoder_request_t* xes)
88 {
89        const xed_uint8_t* val;
90        val = xed_encoder_get_start_field_value(xes);
91        xed3_operand_set_map(xes,*(val+0));
92        xed3_operand_set_mod(xes,*(val+1));
93        xed3_operand_set_vex_prefix(xes,*(val+2));
94        xed3_operand_set_vexvalid(xes,*(val+3));
95 }
xed_encode_instruction_fb_pattern_9(xed_encoder_request_t * xes)96 void xed_encode_instruction_fb_pattern_9(xed_encoder_request_t* xes)
97 {
98        const xed_uint8_t* val;
99        val = xed_encoder_get_start_field_value(xes);
100        xed3_operand_set_bcrc(xes,*(val+0));
101        xed3_operand_set_map(xes,*(val+1));
102        xed3_operand_set_mod(xes,*(val+2));
103        xed3_operand_set_vex_prefix(xes,*(val+3));
104        xed3_operand_set_vexvalid(xes,*(val+4));
105 }
xed_encode_instruction_fb_pattern_10(xed_encoder_request_t * xes)106 void xed_encode_instruction_fb_pattern_10(xed_encoder_request_t* xes)
107 {
108        const xed_uint8_t* val;
109        val = xed_encoder_get_start_field_value(xes);
110        xed3_operand_set_bcrc(xes,*(val+0));
111        xed3_operand_set_map(xes,*(val+1));
112        xed3_operand_set_vex_prefix(xes,*(val+2));
113        xed3_operand_set_vexvalid(xes,*(val+3));
114 }
xed_encode_instruction_fb_pattern_11(xed_encoder_request_t * xes)115 void xed_encode_instruction_fb_pattern_11(xed_encoder_request_t* xes)
116 {
117        const xed_uint8_t* val;
118        val = xed_encoder_get_start_field_value(xes);
119        xed3_operand_set_bcrc(xes,*(val+0));
120        xed3_operand_set_map(xes,*(val+1));
121        xed3_operand_set_mask(xes,*(val+2));
122        xed3_operand_set_mod(xes,*(val+3));
123        xed3_operand_set_rexw(xes,*(val+4));
124        xed3_operand_set_skip_osz(xes,*(val+5));
125        xed3_operand_set_vex_prefix(xes,*(val+6));
126        xed3_operand_set_vexdest210(xes,*(val+7));
127        xed3_operand_set_vexdest3(xes,*(val+8));
128        xed3_operand_set_vexdest4(xes,*(val+9));
129        xed3_operand_set_vexvalid(xes,*(val+10));
130        xed3_operand_set_zeroing(xes,*(val+11));
131 }
xed_encode_instruction_fb_pattern_12(xed_encoder_request_t * xes)132 void xed_encode_instruction_fb_pattern_12(xed_encoder_request_t* xes)
133 {
134        const xed_uint8_t* val;
135        val = xed_encoder_get_start_field_value(xes);
136        xed3_operand_set_bcrc(xes,*(val+0));
137        xed3_operand_set_map(xes,*(val+1));
138        xed3_operand_set_mod(xes,*(val+2));
139        xed3_operand_set_rexw(xes,*(val+3));
140        xed3_operand_set_skip_osz(xes,*(val+4));
141        xed3_operand_set_vex_prefix(xes,*(val+5));
142        xed3_operand_set_vexvalid(xes,*(val+6));
143 }
xed_encode_instruction_fb_pattern_13(xed_encoder_request_t * xes)144 void xed_encode_instruction_fb_pattern_13(xed_encoder_request_t* xes)
145 {
146        const xed_uint8_t* val;
147        val = xed_encoder_get_start_field_value(xes);
148        xed3_operand_set_map(xes,*(val+0));
149        xed3_operand_set_rexw(xes,*(val+1));
150        xed3_operand_set_skip_osz(xes,*(val+2));
151        xed3_operand_set_vex_prefix(xes,*(val+3));
152        xed3_operand_set_vexvalid(xes,*(val+4));
153 }
xed_encode_instruction_fb_pattern_14(xed_encoder_request_t * xes)154 void xed_encode_instruction_fb_pattern_14(xed_encoder_request_t* xes)
155 {
156        const xed_uint8_t* val;
157        val = xed_encoder_get_start_field_value(xes);
158        xed3_operand_set_mod(xes,*(val+0));
159        xed3_operand_set_reg(xes,*(val+1));
160        xed3_operand_set_rep(xes,*(val+2));
161 }
xed_encode_instruction_fb_pattern_15(xed_encoder_request_t * xes)162 void xed_encode_instruction_fb_pattern_15(xed_encoder_request_t* xes)
163 {
164        const xed_uint8_t* val;
165        val = xed_encoder_get_start_field_value(xes);
166        xed3_operand_set_bcrc(xes,*(val+0));
167        xed3_operand_set_map(xes,*(val+1));
168        xed3_operand_set_rexw(xes,*(val+2));
169        xed3_operand_set_skip_osz(xes,*(val+3));
170        xed3_operand_set_vex_prefix(xes,*(val+4));
171        xed3_operand_set_vexvalid(xes,*(val+5));
172 }
xed_encode_instruction_fb_pattern_16(xed_encoder_request_t * xes)173 void xed_encode_instruction_fb_pattern_16(xed_encoder_request_t* xes)
174 {
175    (void)xes;
176 }
xed_encode_instruction_fb_pattern_17(xed_encoder_request_t * xes)177 void xed_encode_instruction_fb_pattern_17(xed_encoder_request_t* xes)
178 {
179        const xed_uint8_t* val;
180        val = xed_encoder_get_start_field_value(xes);
181        xed3_operand_set_mod(xes,*(val+0));
182        xed3_operand_set_rep(xes,*(val+1));
183 }
xed_encode_instruction_fb_pattern_18(xed_encoder_request_t * xes)184 void xed_encode_instruction_fb_pattern_18(xed_encoder_request_t* xes)
185 {
186        const xed_uint8_t* val;
187        val = xed_encoder_get_start_field_value(xes);
188        xed3_operand_set_map(xes,*(val+0));
189        xed3_operand_set_mod(xes,*(val+1));
190        xed3_operand_set_reg(xes,*(val+2));
191        xed3_operand_set_rexw(xes,*(val+3));
192        xed3_operand_set_skip_osz(xes,*(val+4));
193        xed3_operand_set_vex_prefix(xes,*(val+5));
194        xed3_operand_set_vexdest210(xes,*(val+6));
195        xed3_operand_set_vexdest3(xes,*(val+7));
196        xed3_operand_set_vexvalid(xes,*(val+8));
197 }
xed_encode_instruction_fb_pattern_19(xed_encoder_request_t * xes)198 void xed_encode_instruction_fb_pattern_19(xed_encoder_request_t* xes)
199 {
200        const xed_uint8_t* val;
201        val = xed_encoder_get_start_field_value(xes);
202        xed3_operand_set_map(xes,*(val+0));
203        xed3_operand_set_rexw(xes,*(val+1));
204        xed3_operand_set_skip_osz(xes,*(val+2));
205        xed3_operand_set_vex_prefix(xes,*(val+3));
206        xed3_operand_set_vexdest210(xes,*(val+4));
207        xed3_operand_set_vexdest3(xes,*(val+5));
208        xed3_operand_set_vexvalid(xes,*(val+6));
209 }
xed_encode_instruction_fb_pattern_20(xed_encoder_request_t * xes)210 void xed_encode_instruction_fb_pattern_20(xed_encoder_request_t* xes)
211 {
212        const xed_uint8_t* val;
213        val = xed_encoder_get_start_field_value(xes);
214        xed3_operand_set_map(xes,*(val+0));
215        xed3_operand_set_mod(xes,*(val+1));
216        xed3_operand_set_rexw(xes,*(val+2));
217        xed3_operand_set_skip_osz(xes,*(val+3));
218        xed3_operand_set_vex_prefix(xes,*(val+4));
219        xed3_operand_set_vexdest210(xes,*(val+5));
220        xed3_operand_set_vexdest3(xes,*(val+6));
221        xed3_operand_set_vexvalid(xes,*(val+7));
222 }
xed_encode_instruction_fb_pattern_21(xed_encoder_request_t * xes)223 void xed_encode_instruction_fb_pattern_21(xed_encoder_request_t* xes)
224 {
225        const xed_uint8_t* val;
226        val = xed_encoder_get_start_field_value(xes);
227        xed3_operand_set_mod(xes,*(val+0));
228 }
xed_encode_instruction_fb_pattern_22(xed_encoder_request_t * xes)229 void xed_encode_instruction_fb_pattern_22(xed_encoder_request_t* xes)
230 {
231        const xed_uint8_t* val;
232        val = xed_encoder_get_start_field_value(xes);
233        xed3_operand_set_bcrc(xes,*(val+0));
234        xed3_operand_set_map(xes,*(val+1));
235        xed3_operand_set_mod(xes,*(val+2));
236        xed3_operand_set_rexw(xes,*(val+3));
237        xed3_operand_set_skip_osz(xes,*(val+4));
238        xed3_operand_set_vex_prefix(xes,*(val+5));
239        xed3_operand_set_vexdest210(xes,*(val+6));
240        xed3_operand_set_vexdest3(xes,*(val+7));
241        xed3_operand_set_vexdest4(xes,*(val+8));
242        xed3_operand_set_vexvalid(xes,*(val+9));
243 }
xed_encode_instruction_fb_pattern_23(xed_encoder_request_t * xes)244 void xed_encode_instruction_fb_pattern_23(xed_encoder_request_t* xes)
245 {
246        const xed_uint8_t* val;
247        val = xed_encoder_get_start_field_value(xes);
248        xed3_operand_set_bcrc(xes,*(val+0));
249        xed3_operand_set_map(xes,*(val+1));
250        xed3_operand_set_rexw(xes,*(val+2));
251        xed3_operand_set_skip_osz(xes,*(val+3));
252        xed3_operand_set_vex_prefix(xes,*(val+4));
253        xed3_operand_set_vexdest210(xes,*(val+5));
254        xed3_operand_set_vexdest3(xes,*(val+6));
255        xed3_operand_set_vexdest4(xes,*(val+7));
256        xed3_operand_set_vexvalid(xes,*(val+8));
257        xed3_operand_set_zeroing(xes,*(val+9));
258 }
xed_encode_instruction_fb_pattern_24(xed_encoder_request_t * xes)259 void xed_encode_instruction_fb_pattern_24(xed_encoder_request_t* xes)
260 {
261        const xed_uint8_t* val;
262        val = xed_encoder_get_start_field_value(xes);
263        xed3_operand_set_map(xes,*(val+0));
264        xed3_operand_set_reg(xes,*(val+1));
265        xed3_operand_set_vex_prefix(xes,*(val+2));
266        xed3_operand_set_vexvalid(xes,*(val+3));
267 }
xed_encode_instruction_fb_pattern_25(xed_encoder_request_t * xes)268 void xed_encode_instruction_fb_pattern_25(xed_encoder_request_t* xes)
269 {
270        const xed_uint8_t* val;
271        val = xed_encoder_get_start_field_value(xes);
272        xed3_operand_set_map(xes,*(val+0));
273        xed3_operand_set_reg(xes,*(val+1));
274        xed3_operand_set_rexw(xes,*(val+2));
275        xed3_operand_set_skip_osz(xes,*(val+3));
276        xed3_operand_set_vex_prefix(xes,*(val+4));
277        xed3_operand_set_vexvalid(xes,*(val+5));
278 }
xed_encode_instruction_fb_pattern_26(xed_encoder_request_t * xes)279 void xed_encode_instruction_fb_pattern_26(xed_encoder_request_t* xes)
280 {
281        const xed_uint8_t* val;
282        val = xed_encoder_get_start_field_value(xes);
283        xed3_operand_set_map(xes,*(val+0));
284        xed3_operand_set_mod(xes,*(val+1));
285        xed3_operand_set_reg(xes,*(val+2));
286        xed3_operand_set_vex_prefix(xes,*(val+3));
287        xed3_operand_set_vexvalid(xes,*(val+4));
288 }
xed_encode_instruction_fb_pattern_27(xed_encoder_request_t * xes)289 void xed_encode_instruction_fb_pattern_27(xed_encoder_request_t* xes)
290 {
291        const xed_uint8_t* val;
292        val = xed_encoder_get_start_field_value(xes);
293        xed3_operand_set_map(xes,*(val+0));
294        xed3_operand_set_mod(xes,*(val+1));
295        xed3_operand_set_reg(xes,*(val+2));
296        xed3_operand_set_rexw(xes,*(val+3));
297        xed3_operand_set_skip_osz(xes,*(val+4));
298        xed3_operand_set_vex_prefix(xes,*(val+5));
299        xed3_operand_set_vexvalid(xes,*(val+6));
300 }
xed_encode_instruction_fb_pattern_28(xed_encoder_request_t * xes)301 void xed_encode_instruction_fb_pattern_28(xed_encoder_request_t* xes)
302 {
303        const xed_uint8_t* val;
304        val = xed_encoder_get_start_field_value(xes);
305        xed3_operand_set_mod(xes,*(val+0));
306        xed3_operand_set_rep(xes,*(val+1));
307        xed3_operand_set_rexw(xes,*(val+2));
308        xed3_operand_set_skip_osz(xes,*(val+3));
309 }
xed_encode_instruction_fb_pattern_29(xed_encoder_request_t * xes)310 void xed_encode_instruction_fb_pattern_29(xed_encoder_request_t* xes)
311 {
312        const xed_uint8_t* val;
313        val = xed_encoder_get_start_field_value(xes);
314        xed3_operand_set_rep(xes,*(val+0));
315        xed3_operand_set_rexw(xes,*(val+1));
316        xed3_operand_set_skip_osz(xes,*(val+2));
317 }
xed_encode_instruction_fb_pattern_30(xed_encoder_request_t * xes)318 void xed_encode_instruction_fb_pattern_30(xed_encoder_request_t* xes)
319 {
320        const xed_uint8_t* val;
321        val = xed_encoder_get_start_field_value(xes);
322        xed3_operand_set_map(xes,*(val+0));
323        xed3_operand_set_mod(xes,*(val+1));
324        xed3_operand_set_rexw(xes,*(val+2));
325        xed3_operand_set_skip_osz(xes,*(val+3));
326        xed3_operand_set_vex_prefix(xes,*(val+4));
327        xed3_operand_set_vexvalid(xes,*(val+5));
328 }
xed_encode_instruction_fb_pattern_31(xed_encoder_request_t * xes)329 void xed_encode_instruction_fb_pattern_31(xed_encoder_request_t* xes)
330 {
331        const xed_uint8_t* val;
332        val = xed_encoder_get_start_field_value(xes);
333        xed3_operand_set_map(xes,*(val+0));
334        xed3_operand_set_rexw(xes,*(val+1));
335        xed3_operand_set_skip_osz(xes,*(val+2));
336        xed3_operand_set_vex_prefix(xes,*(val+3));
337        xed3_operand_set_vexdest210(xes,*(val+4));
338        xed3_operand_set_vexdest3(xes,*(val+5));
339        xed3_operand_set_vexdest4(xes,*(val+6));
340        xed3_operand_set_vexvalid(xes,*(val+7));
341 }
xed_encode_instruction_fb_pattern_32(xed_encoder_request_t * xes)342 void xed_encode_instruction_fb_pattern_32(xed_encoder_request_t* xes)
343 {
344        const xed_uint8_t* val;
345        val = xed_encoder_get_start_field_value(xes);
346        xed3_operand_set_map(xes,*(val+0));
347        xed3_operand_set_rexw(xes,*(val+1));
348        xed3_operand_set_rm(xes,*(val+2));
349        xed3_operand_set_skip_osz(xes,*(val+3));
350        xed3_operand_set_vex_prefix(xes,*(val+4));
351        xed3_operand_set_vexvalid(xes,*(val+5));
352 }
xed_encode_instruction_fb_pattern_33(xed_encoder_request_t * xes)353 void xed_encode_instruction_fb_pattern_33(xed_encoder_request_t* xes)
354 {
355        const xed_uint8_t* val;
356        val = xed_encoder_get_start_field_value(xes);
357        xed3_operand_set_bcrc(xes,*(val+0));
358        xed3_operand_set_map(xes,*(val+1));
359        xed3_operand_set_rexw(xes,*(val+2));
360        xed3_operand_set_rm(xes,*(val+3));
361        xed3_operand_set_skip_osz(xes,*(val+4));
362        xed3_operand_set_vex_prefix(xes,*(val+5));
363        xed3_operand_set_vexdest210(xes,*(val+6));
364        xed3_operand_set_vexdest3(xes,*(val+7));
365        xed3_operand_set_vexvalid(xes,*(val+8));
366        xed3_operand_set_zeroing(xes,*(val+9));
367 }
xed_encode_instruction_fb_pattern_34(xed_encoder_request_t * xes)368 void xed_encode_instruction_fb_pattern_34(xed_encoder_request_t* xes)
369 {
370        const xed_uint8_t* val;
371        val = xed_encoder_get_start_field_value(xes);
372        xed3_operand_set_bcrc(xes,*(val+0));
373        xed3_operand_set_map(xes,*(val+1));
374        xed3_operand_set_mask(xes,*(val+2));
375        xed3_operand_set_mod(xes,*(val+3));
376        xed3_operand_set_vex_prefix(xes,*(val+4));
377        xed3_operand_set_vexvalid(xes,*(val+5));
378        xed3_operand_set_zeroing(xes,*(val+6));
379 }
xed_encode_instruction_fb_pattern_35(xed_encoder_request_t * xes)380 void xed_encode_instruction_fb_pattern_35(xed_encoder_request_t* xes)
381 {
382        const xed_uint8_t* val;
383        val = xed_encoder_get_start_field_value(xes);
384        xed3_operand_set_bcrc(xes,*(val+0));
385        xed3_operand_set_map(xes,*(val+1));
386        xed3_operand_set_mask(xes,*(val+2));
387        xed3_operand_set_vex_prefix(xes,*(val+3));
388        xed3_operand_set_vexvalid(xes,*(val+4));
389        xed3_operand_set_zeroing(xes,*(val+5));
390 }
xed_encode_instruction_fb_pattern_36(xed_encoder_request_t * xes)391 void xed_encode_instruction_fb_pattern_36(xed_encoder_request_t* xes)
392 {
393        const xed_uint8_t* val;
394        val = xed_encoder_get_start_field_value(xes);
395        xed3_operand_set_lock(xes,*(val+0));
396        xed3_operand_set_reg(xes,*(val+1));
397 }
xed_encode_instruction_fb_pattern_37(xed_encoder_request_t * xes)398 void xed_encode_instruction_fb_pattern_37(xed_encoder_request_t* xes)
399 {
400        const xed_uint8_t* val;
401        val = xed_encoder_get_start_field_value(xes);
402        xed3_operand_set_rexb(xes,*(val+0));
403        xed3_operand_set_srm(xes,*(val+1));
404 }
xed_encode_instruction_fb_pattern_38(xed_encoder_request_t * xes)405 void xed_encode_instruction_fb_pattern_38(xed_encoder_request_t* xes)
406 {
407        const xed_uint8_t* val;
408        val = xed_encoder_get_start_field_value(xes);
409        xed3_operand_set_p4(xes,*(val+0));
410        xed3_operand_set_rep(xes,*(val+1));
411        xed3_operand_set_srm(xes,*(val+2));
412 }
xed_encode_instruction_fb_pattern_39(xed_encoder_request_t * xes)413 void xed_encode_instruction_fb_pattern_39(xed_encoder_request_t* xes)
414 {
415        const xed_uint8_t* val;
416        val = xed_encoder_get_start_field_value(xes);
417        xed3_operand_set_mod(xes,*(val+0));
418        xed3_operand_set_reg(xes,*(val+1));
419        xed3_operand_set_rep(xes,*(val+2));
420        xed3_operand_set_rm(xes,*(val+3));
421 }
xed_encode_instruction_fb_pattern_40(xed_encoder_request_t * xes)422 void xed_encode_instruction_fb_pattern_40(xed_encoder_request_t* xes)
423 {
424        const xed_uint8_t* val;
425        val = xed_encoder_get_start_field_value(xes);
426        xed3_operand_set_cet(xes,*(val+0));
427        xed3_operand_set_mod(xes,*(val+1));
428        xed3_operand_set_reg(xes,*(val+2));
429        xed3_operand_set_rep(xes,*(val+3));
430        xed3_operand_set_rm(xes,*(val+4));
431 }
xed_encode_instruction_fb_pattern_41(xed_encoder_request_t * xes)432 void xed_encode_instruction_fb_pattern_41(xed_encoder_request_t* xes)
433 {
434        const xed_uint8_t* val;
435        val = xed_encoder_get_start_field_value(xes);
436        xed3_operand_set_cet(xes,*(val+0));
437        xed3_operand_set_mod(xes,*(val+1));
438        xed3_operand_set_reg(xes,*(val+2));
439        xed3_operand_set_rep(xes,*(val+3));
440        xed3_operand_set_rexw(xes,*(val+4));
441        xed3_operand_set_skip_osz(xes,*(val+5));
442 }
xed_encode_instruction_fb_pattern_42(xed_encoder_request_t * xes)443 void xed_encode_instruction_fb_pattern_42(xed_encoder_request_t* xes)
444 {
445        const xed_uint8_t* val;
446        val = xed_encoder_get_start_field_value(xes);
447        xed3_operand_set_reg(xes,*(val+0));
448        xed3_operand_set_rep(xes,*(val+1));
449 }
xed_encode_instruction_fb_pattern_43(xed_encoder_request_t * xes)450 void xed_encode_instruction_fb_pattern_43(xed_encoder_request_t* xes)
451 {
452        const xed_uint8_t* val;
453        val = xed_encoder_get_start_field_value(xes);
454        xed3_operand_set_osz(xes,*(val+0));
455        xed3_operand_set_reg(xes,*(val+1));
456        xed3_operand_set_rep(xes,*(val+2));
457 }
xed_encode_instruction_fb_pattern_44(xed_encoder_request_t * xes)458 void xed_encode_instruction_fb_pattern_44(xed_encoder_request_t* xes)
459 {
460        const xed_uint8_t* val;
461        val = xed_encoder_get_start_field_value(xes);
462        xed3_operand_set_cldemote(xes,*(val+0));
463        xed3_operand_set_osz(xes,*(val+1));
464        xed3_operand_set_reg(xes,*(val+2));
465        xed3_operand_set_rep(xes,*(val+3));
466 }
xed_encode_instruction_fb_pattern_45(xed_encoder_request_t * xes)467 void xed_encode_instruction_fb_pattern_45(xed_encoder_request_t* xes)
468 {
469        const xed_uint8_t* val;
470        val = xed_encoder_get_start_field_value(xes);
471        xed3_operand_set_bcrc(xes,*(val+0));
472        xed3_operand_set_map(xes,*(val+1));
473        xed3_operand_set_mod(xes,*(val+2));
474        xed3_operand_set_vex_prefix(xes,*(val+3));
475        xed3_operand_set_vexvalid(xes,*(val+4));
476        xed3_operand_set_zeroing(xes,*(val+5));
477 }
xed_encode_instruction_fb_pattern_46(xed_encoder_request_t * xes)478 void xed_encode_instruction_fb_pattern_46(xed_encoder_request_t* xes)
479 {
480        const xed_uint8_t* val;
481        val = xed_encoder_get_start_field_value(xes);
482        xed3_operand_set_bcrc(xes,*(val+0));
483        xed3_operand_set_map(xes,*(val+1));
484        xed3_operand_set_vex_prefix(xes,*(val+2));
485        xed3_operand_set_vexvalid(xes,*(val+3));
486        xed3_operand_set_zeroing(xes,*(val+4));
487 }
xed_encode_instruction_fb_pattern_47(xed_encoder_request_t * xes)488 void xed_encode_instruction_fb_pattern_47(xed_encoder_request_t* xes)
489 {
490        const xed_uint8_t* val;
491        val = xed_encoder_get_start_field_value(xes);
492        xed3_operand_set_bcrc(xes,*(val+0));
493        xed3_operand_set_map(xes,*(val+1));
494        xed3_operand_set_mod(xes,*(val+2));
495        xed3_operand_set_rexw(xes,*(val+3));
496        xed3_operand_set_skip_osz(xes,*(val+4));
497        xed3_operand_set_vex_prefix(xes,*(val+5));
498        xed3_operand_set_vexvalid(xes,*(val+6));
499        xed3_operand_set_zeroing(xes,*(val+7));
500 }
xed_encode_instruction_fb_pattern_48(xed_encoder_request_t * xes)501 void xed_encode_instruction_fb_pattern_48(xed_encoder_request_t* xes)
502 {
503        const xed_uint8_t* val;
504        val = xed_encoder_get_start_field_value(xes);
505        xed3_operand_set_map(xes,*(val+0));
506        xed3_operand_set_rexw(xes,*(val+1));
507        xed3_operand_set_skip_osz(xes,*(val+2));
508        xed3_operand_set_vex_prefix(xes,*(val+3));
509        xed3_operand_set_vexvalid(xes,*(val+4));
510        xed3_operand_set_zeroing(xes,*(val+5));
511 }
xed_encode_instruction_fb_pattern_49(xed_encoder_request_t * xes)512 void xed_encode_instruction_fb_pattern_49(xed_encoder_request_t* xes)
513 {
514        const xed_uint8_t* val;
515        val = xed_encoder_get_start_field_value(xes);
516        xed3_operand_set_lock(xes,*(val+0));
517 }
xed_encode_instruction_fb_pattern_50(xed_encoder_request_t * xes)518 void xed_encode_instruction_fb_pattern_50(xed_encoder_request_t* xes)
519 {
520        const xed_uint8_t* val;
521        val = xed_encoder_get_start_field_value(xes);
522        xed3_operand_set_bcast(xes,*(val+0));
523        xed3_operand_set_bcrc(xes,*(val+1));
524        xed3_operand_set_map(xes,*(val+2));
525        xed3_operand_set_rexw(xes,*(val+3));
526        xed3_operand_set_skip_osz(xes,*(val+4));
527        xed3_operand_set_vex_prefix(xes,*(val+5));
528        xed3_operand_set_vexdest210(xes,*(val+6));
529        xed3_operand_set_vexdest3(xes,*(val+7));
530        xed3_operand_set_vexdest4(xes,*(val+8));
531        xed3_operand_set_vexvalid(xes,*(val+9));
532 }
xed_encode_instruction_fb_pattern_51(xed_encoder_request_t * xes)533 void xed_encode_instruction_fb_pattern_51(xed_encoder_request_t* xes)
534 {
535        const xed_uint8_t* val;
536        val = xed_encoder_get_start_field_value(xes);
537        xed3_operand_set_osz(xes,*(val+0));
538        xed3_operand_set_rep(xes,*(val+1));
539        xed3_operand_set_rexw(xes,*(val+2));
540        xed3_operand_set_skip_osz(xes,*(val+3));
541 }
xed_encode_instruction_fb_pattern_52(xed_encoder_request_t * xes)542 void xed_encode_instruction_fb_pattern_52(xed_encoder_request_t* xes)
543 {
544        const xed_uint8_t* val;
545        val = xed_encoder_get_start_field_value(xes);
546        xed3_operand_set_mod(xes,*(val+0));
547        xed3_operand_set_osz(xes,*(val+1));
548        xed3_operand_set_reg(xes,*(val+2));
549        xed3_operand_set_rep(xes,*(val+3));
550 }
xed_encode_instruction_fb_pattern_53(xed_encoder_request_t * xes)551 void xed_encode_instruction_fb_pattern_53(xed_encoder_request_t* xes)
552 {
553        const xed_uint8_t* val;
554        val = xed_encoder_get_start_field_value(xes);
555        xed3_operand_set_map(xes,*(val+0));
556        xed3_operand_set_vex_prefix(xes,*(val+1));
557        xed3_operand_set_vexdest210(xes,*(val+2));
558        xed3_operand_set_vexdest3(xes,*(val+3));
559        xed3_operand_set_vexvalid(xes,*(val+4));
560 }
xed_encode_instruction_fb_pattern_54(xed_encoder_request_t * xes)561 void xed_encode_instruction_fb_pattern_54(xed_encoder_request_t* xes)
562 {
563        const xed_uint8_t* val;
564        val = xed_encoder_get_start_field_value(xes);
565        xed3_operand_set_bcrc(xes,*(val+0));
566        xed3_operand_set_map(xes,*(val+1));
567        xed3_operand_set_mod(xes,*(val+2));
568        xed3_operand_set_vex_prefix(xes,*(val+3));
569        xed3_operand_set_vexdest210(xes,*(val+4));
570        xed3_operand_set_vexdest3(xes,*(val+5));
571        xed3_operand_set_vexdest4(xes,*(val+6));
572        xed3_operand_set_vexvalid(xes,*(val+7));
573 }
xed_encode_instruction_fb_pattern_55(xed_encoder_request_t * xes)574 void xed_encode_instruction_fb_pattern_55(xed_encoder_request_t* xes)
575 {
576        const xed_uint8_t* val;
577        val = xed_encoder_get_start_field_value(xes);
578        xed3_operand_set_bcrc(xes,*(val+0));
579        xed3_operand_set_map(xes,*(val+1));
580        xed3_operand_set_vex_prefix(xes,*(val+2));
581        xed3_operand_set_vexdest210(xes,*(val+3));
582        xed3_operand_set_vexdest3(xes,*(val+4));
583        xed3_operand_set_vexdest4(xes,*(val+5));
584        xed3_operand_set_vexvalid(xes,*(val+6));
585 }
xed_encode_instruction_fb_pattern_56(xed_encoder_request_t * xes)586 void xed_encode_instruction_fb_pattern_56(xed_encoder_request_t* xes)
587 {
588        const xed_uint8_t* val;
589        val = xed_encoder_get_start_field_value(xes);
590        xed3_operand_set_mod(xes,*(val+0));
591        xed3_operand_set_reg(xes,*(val+1));
592        xed3_operand_set_rep(xes,*(val+2));
593        xed3_operand_set_rexw(xes,*(val+3));
594        xed3_operand_set_skip_osz(xes,*(val+4));
595 }
xed_encode_instruction_fb_pattern_57(xed_encoder_request_t * xes)596 void xed_encode_instruction_fb_pattern_57(xed_encoder_request_t* xes)
597 {
598        const xed_uint8_t* val;
599        val = xed_encoder_get_start_field_value(xes);
600        xed3_operand_set_rexw(xes,*(val+0));
601        xed3_operand_set_skip_osz(xes,*(val+1));
602 }
xed_encode_instruction_fb_pattern_58(xed_encoder_request_t * xes)603 void xed_encode_instruction_fb_pattern_58(xed_encoder_request_t* xes)
604 {
605        const xed_uint8_t* val;
606        val = xed_encoder_get_start_field_value(xes);
607        xed3_operand_set_bcrc(xes,*(val+0));
608        xed3_operand_set_map(xes,*(val+1));
609        xed3_operand_set_rexw(xes,*(val+2));
610        xed3_operand_set_skip_osz(xes,*(val+3));
611        xed3_operand_set_vex_prefix(xes,*(val+4));
612        xed3_operand_set_vexvalid(xes,*(val+5));
613        xed3_operand_set_zeroing(xes,*(val+6));
614 }
xed_encode_instruction_fb_pattern_59(xed_encoder_request_t * xes)615 void xed_encode_instruction_fb_pattern_59(xed_encoder_request_t* xes)
616 {
617        const xed_uint8_t* val;
618        val = xed_encoder_get_start_field_value(xes);
619        xed3_operand_set_bcrc(xes,*(val+0));
620        xed3_operand_set_map(xes,*(val+1));
621        xed3_operand_set_mask(xes,*(val+2));
622        xed3_operand_set_rexw(xes,*(val+3));
623        xed3_operand_set_skip_osz(xes,*(val+4));
624        xed3_operand_set_vex_prefix(xes,*(val+5));
625        xed3_operand_set_vexdest210(xes,*(val+6));
626        xed3_operand_set_vexdest3(xes,*(val+7));
627        xed3_operand_set_vexdest4(xes,*(val+8));
628        xed3_operand_set_vexvalid(xes,*(val+9));
629        xed3_operand_set_zeroing(xes,*(val+10));
630 }
xed_encode_instruction_fb_pattern_60(xed_encoder_request_t * xes)631 void xed_encode_instruction_fb_pattern_60(xed_encoder_request_t* xes)
632 {
633        const xed_uint8_t* val;
634        val = xed_encoder_get_start_field_value(xes);
635        xed3_operand_set_bcrc(xes,*(val+0));
636        xed3_operand_set_map(xes,*(val+1));
637        xed3_operand_set_mask(xes,*(val+2));
638        xed3_operand_set_mod(xes,*(val+3));
639        xed3_operand_set_rexw(xes,*(val+4));
640        xed3_operand_set_skip_osz(xes,*(val+5));
641        xed3_operand_set_vex_prefix(xes,*(val+6));
642        xed3_operand_set_vexvalid(xes,*(val+7));
643        xed3_operand_set_zeroing(xes,*(val+8));
644 }
xed_encode_instruction_fb_pattern_61(xed_encoder_request_t * xes)645 void xed_encode_instruction_fb_pattern_61(xed_encoder_request_t* xes)
646 {
647        const xed_uint8_t* val;
648        val = xed_encoder_get_start_field_value(xes);
649        xed3_operand_set_bcrc(xes,*(val+0));
650        xed3_operand_set_map(xes,*(val+1));
651        xed3_operand_set_mask(xes,*(val+2));
652        xed3_operand_set_rexw(xes,*(val+3));
653        xed3_operand_set_skip_osz(xes,*(val+4));
654        xed3_operand_set_vex_prefix(xes,*(val+5));
655        xed3_operand_set_vexvalid(xes,*(val+6));
656        xed3_operand_set_zeroing(xes,*(val+7));
657 }
xed_encode_instruction_fb_pattern_62(xed_encoder_request_t * xes)658 void xed_encode_instruction_fb_pattern_62(xed_encoder_request_t* xes)
659 {
660        const xed_uint8_t* val;
661        val = xed_encoder_get_start_field_value(xes);
662        xed3_operand_set_mod(xes,*(val+0));
663        xed3_operand_set_osz(xes,*(val+1));
664        xed3_operand_set_reg(xes,*(val+2));
665        xed3_operand_set_rep(xes,*(val+3));
666        xed3_operand_set_rm(xes,*(val+4));
667 }
xed_encode_instruction_fb_pattern_63(xed_encoder_request_t * xes)668 void xed_encode_instruction_fb_pattern_63(xed_encoder_request_t* xes)
669 {
670        const xed_uint8_t* val;
671        val = xed_encoder_get_start_field_value(xes);
672        xed3_operand_set_bcrc(xes,*(val+0));
673        xed3_operand_set_map(xes,*(val+1));
674        xed3_operand_set_mod(xes,*(val+2));
675        xed3_operand_set_rexw(xes,*(val+3));
676        xed3_operand_set_skip_osz(xes,*(val+4));
677        xed3_operand_set_vex_prefix(xes,*(val+5));
678        xed3_operand_set_vexdest210(xes,*(val+6));
679        xed3_operand_set_vexdest3(xes,*(val+7));
680        xed3_operand_set_vexdest4(xes,*(val+8));
681        xed3_operand_set_vexvalid(xes,*(val+9));
682        xed3_operand_set_zeroing(xes,*(val+10));
683 }
xed_encode_instruction_fb_pattern_64(xed_encoder_request_t * xes)684 void xed_encode_instruction_fb_pattern_64(xed_encoder_request_t* xes)
685 {
686        const xed_uint8_t* val;
687        val = xed_encoder_get_start_field_value(xes);
688        xed3_operand_set_map(xes,*(val+0));
689        xed3_operand_set_rexw(xes,*(val+1));
690        xed3_operand_set_skip_osz(xes,*(val+2));
691        xed3_operand_set_vex_prefix(xes,*(val+3));
692        xed3_operand_set_vexdest210(xes,*(val+4));
693        xed3_operand_set_vexdest3(xes,*(val+5));
694        xed3_operand_set_vexdest4(xes,*(val+6));
695        xed3_operand_set_vexvalid(xes,*(val+7));
696        xed3_operand_set_zeroing(xes,*(val+8));
697 }
xed_encode_instruction_fb_pattern_65(xed_encoder_request_t * xes)698 void xed_encode_instruction_fb_pattern_65(xed_encoder_request_t* xes)
699 {
700        const xed_uint8_t* val;
701        val = xed_encoder_get_start_field_value(xes);
702        xed3_operand_set_bcrc(xes,*(val+0));
703        xed3_operand_set_map(xes,*(val+1));
704        xed3_operand_set_mod(xes,*(val+2));
705        xed3_operand_set_reg(xes,*(val+3));
706        xed3_operand_set_rexw(xes,*(val+4));
707        xed3_operand_set_skip_osz(xes,*(val+5));
708        xed3_operand_set_vex_prefix(xes,*(val+6));
709        xed3_operand_set_vexvalid(xes,*(val+7));
710 }
xed_encode_instruction_fb_pattern_66(xed_encoder_request_t * xes)711 void xed_encode_instruction_fb_pattern_66(xed_encoder_request_t* xes)
712 {
713        const xed_uint8_t* val;
714        val = xed_encoder_get_start_field_value(xes);
715        xed3_operand_set_mod(xes,*(val+0));
716        xed3_operand_set_reg(xes,*(val+1));
717        xed3_operand_set_rm(xes,*(val+2));
718 }
xed_encode_instruction_fb_pattern_67(xed_encoder_request_t * xes)719 void xed_encode_instruction_fb_pattern_67(xed_encoder_request_t* xes)
720 {
721        const xed_uint8_t* val;
722        val = xed_encoder_get_start_field_value(xes);
723        xed3_operand_set_bcrc(xes,*(val+0));
724        xed3_operand_set_map(xes,*(val+1));
725        xed3_operand_set_mod(xes,*(val+2));
726        xed3_operand_set_reg(xes,*(val+3));
727        xed3_operand_set_vex_prefix(xes,*(val+4));
728        xed3_operand_set_vexvalid(xes,*(val+5));
729 }
xed_encode_instruction_fb_pattern_68(xed_encoder_request_t * xes)730 void xed_encode_instruction_fb_pattern_68(xed_encoder_request_t* xes)
731 {
732        const xed_uint8_t* val;
733        val = xed_encoder_get_start_field_value(xes);
734        xed3_operand_set_bcrc(xes,*(val+0));
735        xed3_operand_set_map(xes,*(val+1));
736        xed3_operand_set_reg(xes,*(val+2));
737        xed3_operand_set_vex_prefix(xes,*(val+3));
738        xed3_operand_set_vexvalid(xes,*(val+4));
739 }
xed_encode_instruction_fb_pattern_69(xed_encoder_request_t * xes)740 void xed_encode_instruction_fb_pattern_69(xed_encoder_request_t* xes)
741 {
742        const xed_uint8_t* val;
743        val = xed_encoder_get_start_field_value(xes);
744        xed3_operand_set_bcrc(xes,*(val+0));
745        xed3_operand_set_map(xes,*(val+1));
746        xed3_operand_set_reg(xes,*(val+2));
747        xed3_operand_set_rexw(xes,*(val+3));
748        xed3_operand_set_rm(xes,*(val+4));
749        xed3_operand_set_skip_osz(xes,*(val+5));
750        xed3_operand_set_vex_prefix(xes,*(val+6));
751        xed3_operand_set_vexdest210(xes,*(val+7));
752        xed3_operand_set_vexdest3(xes,*(val+8));
753        xed3_operand_set_vexvalid(xes,*(val+9));
754        xed3_operand_set_zeroing(xes,*(val+10));
755 }
xed_encode_instruction_fb_pattern_70(xed_encoder_request_t * xes)756 void xed_encode_instruction_fb_pattern_70(xed_encoder_request_t* xes)
757 {
758        const xed_uint8_t* val;
759        val = xed_encoder_get_start_field_value(xes);
760        xed3_operand_set_bcast(xes,*(val+0));
761        xed3_operand_set_map(xes,*(val+1));
762        xed3_operand_set_rexw(xes,*(val+2));
763        xed3_operand_set_skip_osz(xes,*(val+3));
764        xed3_operand_set_vex_prefix(xes,*(val+4));
765        xed3_operand_set_vexdest210(xes,*(val+5));
766        xed3_operand_set_vexdest3(xes,*(val+6));
767        xed3_operand_set_vexvalid(xes,*(val+7));
768 }
xed_encode_instruction_fb_pattern_71(xed_encoder_request_t * xes)769 void xed_encode_instruction_fb_pattern_71(xed_encoder_request_t* xes)
770 {
771        const xed_uint8_t* val;
772        val = xed_encoder_get_start_field_value(xes);
773        xed3_operand_set_bcast(xes,*(val+0));
774        xed3_operand_set_map(xes,*(val+1));
775        xed3_operand_set_mod(xes,*(val+2));
776        xed3_operand_set_rexw(xes,*(val+3));
777        xed3_operand_set_skip_osz(xes,*(val+4));
778        xed3_operand_set_vex_prefix(xes,*(val+5));
779        xed3_operand_set_vexdest210(xes,*(val+6));
780        xed3_operand_set_vexdest3(xes,*(val+7));
781        xed3_operand_set_vexvalid(xes,*(val+8));
782 }
xed_encode_instruction_fb_pattern_72(xed_encoder_request_t * xes)783 void xed_encode_instruction_fb_pattern_72(xed_encoder_request_t* xes)
784 {
785        const xed_uint8_t* val;
786        val = xed_encoder_get_start_field_value(xes);
787        xed3_operand_set_bcast(xes,*(val+0));
788        xed3_operand_set_bcrc(xes,*(val+1));
789        xed3_operand_set_map(xes,*(val+2));
790        xed3_operand_set_mod(xes,*(val+3));
791        xed3_operand_set_rexw(xes,*(val+4));
792        xed3_operand_set_skip_osz(xes,*(val+5));
793        xed3_operand_set_vex_prefix(xes,*(val+6));
794        xed3_operand_set_vexdest210(xes,*(val+7));
795        xed3_operand_set_vexdest3(xes,*(val+8));
796        xed3_operand_set_vexdest4(xes,*(val+9));
797        xed3_operand_set_vexvalid(xes,*(val+10));
798 }
xed_encode_instruction_fb_pattern_73(xed_encoder_request_t * xes)799 void xed_encode_instruction_fb_pattern_73(xed_encoder_request_t* xes)
800 {
801        const xed_uint8_t* val;
802        val = xed_encoder_get_start_field_value(xes);
803        xed3_operand_set_osz(xes,*(val+0));
804        xed3_operand_set_reg(xes,*(val+1));
805        xed3_operand_set_rep(xes,*(val+2));
806        xed3_operand_set_rexw(xes,*(val+3));
807        xed3_operand_set_skip_osz(xes,*(val+4));
808 }
xed_encode_instruction_fb_pattern_74(xed_encoder_request_t * xes)809 void xed_encode_instruction_fb_pattern_74(xed_encoder_request_t* xes)
810 {
811        const xed_uint8_t* val;
812        val = xed_encoder_get_start_field_value(xes);
813        xed3_operand_set_mod(xes,*(val+0));
814        xed3_operand_set_osz(xes,*(val+1));
815        xed3_operand_set_rep(xes,*(val+2));
816        xed3_operand_set_rexw(xes,*(val+3));
817        xed3_operand_set_skip_osz(xes,*(val+4));
818 }
xed_encode_instruction_fb_pattern_75(xed_encoder_request_t * xes)819 void xed_encode_instruction_fb_pattern_75(xed_encoder_request_t* xes)
820 {
821        const xed_uint8_t* val;
822        val = xed_encoder_get_start_field_value(xes);
823        xed3_operand_set_bcast(xes,*(val+0));
824        xed3_operand_set_bcrc(xes,*(val+1));
825        xed3_operand_set_map(xes,*(val+2));
826        xed3_operand_set_mask(xes,*(val+3));
827        xed3_operand_set_mod(xes,*(val+4));
828        xed3_operand_set_rexw(xes,*(val+5));
829        xed3_operand_set_skip_osz(xes,*(val+6));
830        xed3_operand_set_vex_prefix(xes,*(val+7));
831        xed3_operand_set_vexdest210(xes,*(val+8));
832        xed3_operand_set_vexdest3(xes,*(val+9));
833        xed3_operand_set_vexdest4(xes,*(val+10));
834        xed3_operand_set_vexvalid(xes,*(val+11));
835        xed3_operand_set_zeroing(xes,*(val+12));
836 }
xed_encode_instruction_fb_pattern_76(xed_encoder_request_t * xes)837 void xed_encode_instruction_fb_pattern_76(xed_encoder_request_t* xes)
838 {
839        const xed_uint8_t* val;
840        val = xed_encoder_get_start_field_value(xes);
841        xed3_operand_set_bcrc(xes,*(val+0));
842        xed3_operand_set_map(xes,*(val+1));
843        xed3_operand_set_mask(xes,*(val+2));
844        xed3_operand_set_mod(xes,*(val+3));
845        xed3_operand_set_vex_prefix(xes,*(val+4));
846        xed3_operand_set_vexdest210(xes,*(val+5));
847        xed3_operand_set_vexdest3(xes,*(val+6));
848        xed3_operand_set_vexdest4(xes,*(val+7));
849        xed3_operand_set_vexvalid(xes,*(val+8));
850        xed3_operand_set_zeroing(xes,*(val+9));
851 }
xed_encode_instruction_fb_pattern_77(xed_encoder_request_t * xes)852 void xed_encode_instruction_fb_pattern_77(xed_encoder_request_t* xes)
853 {
854        const xed_uint8_t* val;
855        val = xed_encoder_get_start_field_value(xes);
856        xed3_operand_set_bcrc(xes,*(val+0));
857        xed3_operand_set_map(xes,*(val+1));
858        xed3_operand_set_mask(xes,*(val+2));
859        xed3_operand_set_mod(xes,*(val+3));
860        xed3_operand_set_rexrr(xes,*(val+4));
861        xed3_operand_set_rexw(xes,*(val+5));
862        xed3_operand_set_skip_osz(xes,*(val+6));
863        xed3_operand_set_vex_prefix(xes,*(val+7));
864        xed3_operand_set_vexdest210(xes,*(val+8));
865        xed3_operand_set_vexdest3(xes,*(val+9));
866        xed3_operand_set_vexdest4(xes,*(val+10));
867        xed3_operand_set_vexvalid(xes,*(val+11));
868        xed3_operand_set_zeroing(xes,*(val+12));
869 }
xed_encode_instruction_fb_pattern_78(xed_encoder_request_t * xes)870 void xed_encode_instruction_fb_pattern_78(xed_encoder_request_t* xes)
871 {
872        const xed_uint8_t* val;
873        val = xed_encoder_get_start_field_value(xes);
874        xed3_operand_set_bcrc(xes,*(val+0));
875        xed3_operand_set_map(xes,*(val+1));
876        xed3_operand_set_mask(xes,*(val+2));
877        xed3_operand_set_vex_prefix(xes,*(val+3));
878        xed3_operand_set_vexdest210(xes,*(val+4));
879        xed3_operand_set_vexdest3(xes,*(val+5));
880        xed3_operand_set_vexdest4(xes,*(val+6));
881        xed3_operand_set_vexvalid(xes,*(val+7));
882        xed3_operand_set_zeroing(xes,*(val+8));
883 }
xed_encode_instruction_fb_pattern_79(xed_encoder_request_t * xes)884 void xed_encode_instruction_fb_pattern_79(xed_encoder_request_t* xes)
885 {
886        const xed_uint8_t* val;
887        val = xed_encoder_get_start_field_value(xes);
888        xed3_operand_set_bcrc(xes,*(val+0));
889        xed3_operand_set_map(xes,*(val+1));
890        xed3_operand_set_mask(xes,*(val+2));
891        xed3_operand_set_rexrr(xes,*(val+3));
892        xed3_operand_set_rexw(xes,*(val+4));
893        xed3_operand_set_skip_osz(xes,*(val+5));
894        xed3_operand_set_vex_prefix(xes,*(val+6));
895        xed3_operand_set_vexdest210(xes,*(val+7));
896        xed3_operand_set_vexdest3(xes,*(val+8));
897        xed3_operand_set_vexdest4(xes,*(val+9));
898        xed3_operand_set_vexvalid(xes,*(val+10));
899        xed3_operand_set_zeroing(xes,*(val+11));
900 }
xed_encode_instruction_fb_pattern_80(xed_encoder_request_t * xes)901 void xed_encode_instruction_fb_pattern_80(xed_encoder_request_t* xes)
902 {
903        const xed_uint8_t* val;
904        val = xed_encoder_get_start_field_value(xes);
905        xed3_operand_set_lock(xes,*(val+0));
906        xed3_operand_set_reg(xes,*(val+1));
907        xed3_operand_set_rexw(xes,*(val+2));
908        xed3_operand_set_skip_osz(xes,*(val+3));
909 }
xed_encode_instruction_fb_pattern_81(xed_encoder_request_t * xes)910 void xed_encode_instruction_fb_pattern_81(xed_encoder_request_t* xes)
911 {
912        const xed_uint8_t* val;
913        val = xed_encoder_get_start_field_value(xes);
914        xed3_operand_set_bcrc(xes,*(val+0));
915        xed3_operand_set_map(xes,*(val+1));
916        xed3_operand_set_rexw(xes,*(val+2));
917        xed3_operand_set_skip_osz(xes,*(val+3));
918        xed3_operand_set_vex_prefix(xes,*(val+4));
919        xed3_operand_set_vexdest210(xes,*(val+5));
920        xed3_operand_set_vexdest3(xes,*(val+6));
921        xed3_operand_set_vexdest4(xes,*(val+7));
922        xed3_operand_set_vexvalid(xes,*(val+8));
923 }
xed_encode_instruction_fb_pattern_82(xed_encoder_request_t * xes)924 void xed_encode_instruction_fb_pattern_82(xed_encoder_request_t* xes)
925 {
926        const xed_uint8_t* val;
927        val = xed_encoder_get_start_field_value(xes);
928        xed3_operand_set_mod(xes,*(val+0));
929        xed3_operand_set_osz(xes,*(val+1));
930        xed3_operand_set_rep(xes,*(val+2));
931 }
xed_encode_instruction_fb_pattern_83(xed_encoder_request_t * xes)932 void xed_encode_instruction_fb_pattern_83(xed_encoder_request_t* xes)
933 {
934        const xed_uint8_t* val;
935        val = xed_encoder_get_start_field_value(xes);
936        xed3_operand_set_bcrc(xes,*(val+0));
937        xed3_operand_set_map(xes,*(val+1));
938        xed3_operand_set_mask(xes,*(val+2));
939        xed3_operand_set_mod(xes,*(val+3));
940        xed3_operand_set_rexrr(xes,*(val+4));
941        xed3_operand_set_vex_prefix(xes,*(val+5));
942        xed3_operand_set_vexdest210(xes,*(val+6));
943        xed3_operand_set_vexdest3(xes,*(val+7));
944        xed3_operand_set_vexdest4(xes,*(val+8));
945        xed3_operand_set_vexvalid(xes,*(val+9));
946        xed3_operand_set_zeroing(xes,*(val+10));
947 }
xed_encode_instruction_fb_pattern_84(xed_encoder_request_t * xes)948 void xed_encode_instruction_fb_pattern_84(xed_encoder_request_t* xes)
949 {
950        const xed_uint8_t* val;
951        val = xed_encoder_get_start_field_value(xes);
952        xed3_operand_set_lzcnt(xes,*(val+0));
953        xed3_operand_set_rep(xes,*(val+1));
954 }
xed_encode_instruction_fb_pattern_85(xed_encoder_request_t * xes)955 void xed_encode_instruction_fb_pattern_85(xed_encoder_request_t* xes)
956 {
957        const xed_uint8_t* val;
958        val = xed_encoder_get_start_field_value(xes);
959        xed3_operand_set_lzcnt(xes,*(val+0));
960        xed3_operand_set_mod(xes,*(val+1));
961        xed3_operand_set_rep(xes,*(val+2));
962 }
xed_encode_instruction_fb_pattern_86(xed_encoder_request_t * xes)963 void xed_encode_instruction_fb_pattern_86(xed_encoder_request_t* xes)
964 {
965        const xed_uint8_t* val;
966        val = xed_encoder_get_start_field_value(xes);
967        xed3_operand_set_rep(xes,*(val+0));
968        xed3_operand_set_tzcnt(xes,*(val+1));
969 }
xed_encode_instruction_fb_pattern_87(xed_encoder_request_t * xes)970 void xed_encode_instruction_fb_pattern_87(xed_encoder_request_t* xes)
971 {
972        const xed_uint8_t* val;
973        val = xed_encoder_get_start_field_value(xes);
974        xed3_operand_set_mod(xes,*(val+0));
975        xed3_operand_set_rep(xes,*(val+1));
976        xed3_operand_set_tzcnt(xes,*(val+2));
977 }
xed_encode_instruction_fb_pattern_88(xed_encoder_request_t * xes)978 void xed_encode_instruction_fb_pattern_88(xed_encoder_request_t* xes)
979 {
980        const xed_uint8_t* val;
981        val = xed_encoder_get_start_field_value(xes);
982        xed3_operand_set_bcrc(xes,*(val+0));
983        xed3_operand_set_map(xes,*(val+1));
984        xed3_operand_set_mask(xes,*(val+2));
985        xed3_operand_set_mod(xes,*(val+3));
986        xed3_operand_set_reg(xes,*(val+4));
987        xed3_operand_set_vex_prefix(xes,*(val+5));
988        xed3_operand_set_vexvalid(xes,*(val+6));
989        xed3_operand_set_zeroing(xes,*(val+7));
990 }
xed_encode_instruction_fb_pattern_89(xed_encoder_request_t * xes)991 void xed_encode_instruction_fb_pattern_89(xed_encoder_request_t* xes)
992 {
993        const xed_uint8_t* val;
994        val = xed_encoder_get_start_field_value(xes);
995        xed3_operand_set_bcrc(xes,*(val+0));
996        xed3_operand_set_map(xes,*(val+1));
997        xed3_operand_set_mask(xes,*(val+2));
998        xed3_operand_set_reg(xes,*(val+3));
999        xed3_operand_set_vex_prefix(xes,*(val+4));
1000        xed3_operand_set_vexvalid(xes,*(val+5));
1001        xed3_operand_set_zeroing(xes,*(val+6));
1002 }
xed_encode_instruction_fb_pattern_90(xed_encoder_request_t * xes)1003 void xed_encode_instruction_fb_pattern_90(xed_encoder_request_t* xes)
1004 {
1005        const xed_uint8_t* val;
1006        val = xed_encoder_get_start_field_value(xes);
1007        xed3_operand_set_map(xes,*(val+0));
1008        xed3_operand_set_reg(xes,*(val+1));
1009        xed3_operand_set_vex_prefix(xes,*(val+2));
1010        xed3_operand_set_vexdest210(xes,*(val+3));
1011        xed3_operand_set_vexdest3(xes,*(val+4));
1012        xed3_operand_set_vexvalid(xes,*(val+5));
1013 }
xed_encode_instruction_fb_pattern_91(xed_encoder_request_t * xes)1014 void xed_encode_instruction_fb_pattern_91(xed_encoder_request_t* xes)
1015 {
1016        const xed_uint8_t* val;
1017        val = xed_encoder_get_start_field_value(xes);
1018        xed3_operand_set_wbnoinvd(xes,*(val+0));
1019 }
xed_encode_instruction_fb_pattern_92(xed_encoder_request_t * xes)1020 void xed_encode_instruction_fb_pattern_92(xed_encoder_request_t* xes)
1021 {
1022        const xed_uint8_t* val;
1023        val = xed_encoder_get_start_field_value(xes);
1024        xed3_operand_set_bcast(xes,*(val+0));
1025        xed3_operand_set_bcrc(xes,*(val+1));
1026        xed3_operand_set_map(xes,*(val+2));
1027        xed3_operand_set_mod(xes,*(val+3));
1028        xed3_operand_set_vex_prefix(xes,*(val+4));
1029        xed3_operand_set_vexdest210(xes,*(val+5));
1030        xed3_operand_set_vexdest3(xes,*(val+6));
1031        xed3_operand_set_vexdest4(xes,*(val+7));
1032        xed3_operand_set_vexvalid(xes,*(val+8));
1033 }
xed_encode_instruction_fb_pattern_93(xed_encoder_request_t * xes)1034 void xed_encode_instruction_fb_pattern_93(xed_encoder_request_t* xes)
1035 {
1036        const xed_uint8_t* val;
1037        val = xed_encoder_get_start_field_value(xes);
1038        xed3_operand_set_bcast(xes,*(val+0));
1039        xed3_operand_set_map(xes,*(val+1));
1040        xed3_operand_set_rexw(xes,*(val+2));
1041        xed3_operand_set_skip_osz(xes,*(val+3));
1042        xed3_operand_set_vex_prefix(xes,*(val+4));
1043        xed3_operand_set_vexvalid(xes,*(val+5));
1044 }
xed_encode_instruction_fb_pattern_94(xed_encoder_request_t * xes)1045 void xed_encode_instruction_fb_pattern_94(xed_encoder_request_t* xes)
1046 {
1047        const xed_uint8_t* val;
1048        val = xed_encoder_get_start_field_value(xes);
1049        xed3_operand_set_bcast(xes,*(val+0));
1050        xed3_operand_set_map(xes,*(val+1));
1051        xed3_operand_set_mod(xes,*(val+2));
1052        xed3_operand_set_rexw(xes,*(val+3));
1053        xed3_operand_set_skip_osz(xes,*(val+4));
1054        xed3_operand_set_vex_prefix(xes,*(val+5));
1055        xed3_operand_set_vexvalid(xes,*(val+6));
1056 }
xed_encode_instruction_fb_pattern_95(xed_encoder_request_t * xes)1057 void xed_encode_instruction_fb_pattern_95(xed_encoder_request_t* xes)
1058 {
1059        const xed_uint8_t* val;
1060        val = xed_encoder_get_start_field_value(xes);
1061        xed3_operand_set_rexb(xes,*(val+0));
1062        xed3_operand_set_srm(xes,*(val+1));
1063 }
xed_encode_instruction_fb_pattern_96(xed_encoder_request_t * xes)1064 void xed_encode_instruction_fb_pattern_96(xed_encoder_request_t* xes)
1065 {
1066        const xed_uint8_t* val;
1067        val = xed_encoder_get_start_field_value(xes);
1068        xed3_operand_set_rep(xes,*(val+0));
1069        xed3_operand_set_wbnoinvd(xes,*(val+1));
1070 }
xed_encode_instruction_fb_pattern_97(xed_encoder_request_t * xes)1071 void xed_encode_instruction_fb_pattern_97(xed_encoder_request_t* xes)
1072 {
1073        const xed_uint8_t* val;
1074        val = xed_encoder_get_start_field_value(xes);
1075        xed3_operand_set_mod(xes,*(val+0));
1076        xed3_operand_set_osz(xes,*(val+1));
1077        xed3_operand_set_reg(xes,*(val+2));
1078        xed3_operand_set_rep(xes,*(val+3));
1079        xed3_operand_set_rexw(xes,*(val+4));
1080        xed3_operand_set_skip_osz(xes,*(val+5));
1081 }
xed_encode_instruction_emit_pattern_0(xed_encoder_request_t * xes)1082 void xed_encode_instruction_emit_pattern_0(xed_encoder_request_t* xes)
1083 {
1084        xed_encoder_request_emit_legacy_map(xes);
1085        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1086        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1087        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1088        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1089        xed_encode_nonterminal_MODRM_EMIT(xes);
1090 }
xed_encode_instruction_emit_pattern_1(xed_encoder_request_t * xes)1091 void xed_encode_instruction_emit_pattern_1(xed_encoder_request_t* xes)
1092 {
1093        xed_encoder_request_emit_legacy_map(xes);
1094        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1095        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1096        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1097        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1098 }
xed_encode_instruction_emit_pattern_2(xed_encoder_request_t * xes)1099 void xed_encode_instruction_emit_pattern_2(xed_encoder_request_t* xes)
1100 {
1101        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1102        xed_encoder_request_emit_legacy_map(xes);
1103        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1104        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1105        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1106 }
xed_encode_instruction_emit_pattern_3(xed_encoder_request_t * xes)1107 void xed_encode_instruction_emit_pattern_3(xed_encoder_request_t* xes)
1108 {
1109        xed_encoder_request_emit_legacy_map(xes);
1110        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1111        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1112        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1113        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1114        xed_encode_nonterminal_REFINING66_EMIT(xes);
1115        xed_encode_nonterminal_MODRM_EMIT(xes);
1116 }
xed_encode_instruction_emit_pattern_4(xed_encoder_request_t * xes)1117 void xed_encode_instruction_emit_pattern_4(xed_encoder_request_t* xes)
1118 {
1119        xed_encoder_request_emit_legacy_map(xes);
1120        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1121        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1122        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1123        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1124        xed_encode_nonterminal_REFINING66_EMIT(xes);
1125 }
xed_encode_instruction_emit_pattern_5(xed_encoder_request_t * xes)1126 void xed_encode_instruction_emit_pattern_5(xed_encoder_request_t* xes)
1127 {
1128        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1129        xed_encoder_request_emit_legacy_map(xes);
1130        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1131        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1132        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1133        xed_encode_nonterminal_MODRM_EMIT(xes);
1134 }
xed_encode_instruction_emit_pattern_6(xed_encoder_request_t * xes)1135 void xed_encode_instruction_emit_pattern_6(xed_encoder_request_t* xes)
1136 {
1137        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1138        xed_encoder_request_emit_legacy_map(xes);
1139        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1140        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1141        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1142        xed_encode_nonterminal_MODRM_EMIT(xes);
1143        xed_encode_nonterminal_ESIZE_16_BITS_EMIT(xes);
1144        xed_encode_nonterminal_NELEM_FULLMEM_EMIT(xes);
1145 }
xed_encode_instruction_emit_pattern_7(xed_encoder_request_t * xes)1146 void xed_encode_instruction_emit_pattern_7(xed_encoder_request_t* xes)
1147 {
1148        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1149        xed_encoder_request_emit_legacy_map(xes);
1150        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1151        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1152        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1153        xed_encode_nonterminal_MODRM_EMIT(xes);
1154        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
1155        xed_encode_nonterminal_NELEM_FULL_EMIT(xes);
1156 }
xed_encode_instruction_emit_pattern_8(xed_encoder_request_t * xes)1157 void xed_encode_instruction_emit_pattern_8(xed_encoder_request_t* xes)
1158 {
1159        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1160        xed_encoder_request_emit_legacy_map(xes);
1161        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1162        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1163        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1164        xed_encode_nonterminal_MODRM_EMIT(xes);
1165        xed_encode_nonterminal_ESIZE_64_BITS_EMIT(xes);
1166        xed_encode_nonterminal_NELEM_FULL_EMIT(xes);
1167 }
xed_encode_instruction_emit_pattern_9(xed_encoder_request_t * xes)1168 void xed_encode_instruction_emit_pattern_9(xed_encoder_request_t* xes)
1169 {
1170        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1171        xed_encoder_request_emit_legacy_map(xes);
1172        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1173        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1174        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1175        xed_encode_nonterminal_MODRM_EMIT(xes);
1176        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
1177        xed_encode_nonterminal_NELEM_TUPLE1_4X_EMIT(xes);
1178 }
xed_encode_instruction_emit_pattern_10(xed_encoder_request_t * xes)1179 void xed_encode_instruction_emit_pattern_10(xed_encoder_request_t* xes)
1180 {
1181        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1182        xed_encode_nonterminal_FORCE64_EMIT(xes);
1183        xed_encode_nonterminal_BRANCH_HINT_EMIT(xes);
1184        xed_encode_nonterminal_BRDISP8_EMIT(xes);
1185 }
xed_encode_instruction_emit_pattern_11(xed_encoder_request_t * xes)1186 void xed_encode_instruction_emit_pattern_11(xed_encoder_request_t* xes)
1187 {
1188        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1189        xed_encode_nonterminal_BRANCH_HINT_EMIT(xes);
1190        xed_encode_nonterminal_BRDISP8_EMIT(xes);
1191 }
xed_encode_instruction_emit_pattern_12(xed_encoder_request_t * xes)1192 void xed_encode_instruction_emit_pattern_12(xed_encoder_request_t* xes)
1193 {
1194        xed_encoder_request_emit_legacy_map(xes);
1195        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1196        xed_encode_nonterminal_BRANCH_HINT_EMIT(xes);
1197        xed_encode_nonterminal_BRDISPz_EMIT(xes);
1198 }
xed_encode_instruction_emit_pattern_13(xed_encoder_request_t * xes)1199 void xed_encode_instruction_emit_pattern_13(xed_encoder_request_t* xes)
1200 {
1201        xed_encoder_request_emit_legacy_map(xes);
1202        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1203        xed_encode_nonterminal_FORCE64_EMIT(xes);
1204        xed_encode_nonterminal_BRANCH_HINT_EMIT(xes);
1205        xed_encode_nonterminal_BRDISP32_EMIT(xes);
1206 }
xed_encode_instruction_emit_pattern_14(xed_encoder_request_t * xes)1207 void xed_encode_instruction_emit_pattern_14(xed_encoder_request_t* xes)
1208 {
1209        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1210        xed_encoder_request_emit_legacy_map(xes);
1211        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1212        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1213        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1214        xed_encode_nonterminal_UIMM8_EMIT(xes);
1215 }
xed_encode_instruction_emit_pattern_15(xed_encoder_request_t * xes)1216 void xed_encode_instruction_emit_pattern_15(xed_encoder_request_t* xes)
1217 {
1218        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1219        xed_encoder_request_emit_legacy_map(xes);
1220        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1221        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1222        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1223        xed_encode_nonterminal_MODRM_EMIT(xes);
1224        xed_encode_nonterminal_UIMM8_EMIT(xes);
1225        xed_encode_nonterminal_ESIZE_64_BITS_EMIT(xes);
1226        xed_encode_nonterminal_NELEM_FULL_EMIT(xes);
1227 }
xed_encode_instruction_emit_pattern_16(xed_encoder_request_t * xes)1228 void xed_encode_instruction_emit_pattern_16(xed_encoder_request_t* xes)
1229 {
1230        xed_encoder_request_emit_legacy_map(xes);
1231        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1232        xed_encode_nonterminal_REFINING66_EMIT(xes);
1233        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1234        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1235        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1236        xed_encode_nonterminal_MODRM_EMIT(xes);
1237 }
xed_encode_instruction_emit_pattern_17(xed_encoder_request_t * xes)1238 void xed_encode_instruction_emit_pattern_17(xed_encoder_request_t* xes)
1239 {
1240        xed_encoder_request_emit_legacy_map(xes);
1241        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1242        xed_encode_nonterminal_REFINING66_EMIT(xes);
1243        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1244        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1245        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1246 }
xed_encode_instruction_emit_pattern_18(xed_encoder_request_t * xes)1247 void xed_encode_instruction_emit_pattern_18(xed_encoder_request_t* xes)
1248 {
1249        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1250        xed_encoder_request_emit_legacy_map(xes);
1251        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1252        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1253        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1254        xed_encode_nonterminal_MODRM_EMIT(xes);
1255        xed_encode_nonterminal_UIMM8_EMIT(xes);
1256        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
1257        xed_encode_nonterminal_NELEM_FULL_EMIT(xes);
1258 }
xed_encode_instruction_emit_pattern_19(xed_encoder_request_t * xes)1259 void xed_encode_instruction_emit_pattern_19(xed_encoder_request_t* xes)
1260 {
1261        xed_encoder_request_emit_legacy_map(xes);
1262        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1263 }
xed_encode_instruction_emit_pattern_20(xed_encoder_request_t * xes)1264 void xed_encode_instruction_emit_pattern_20(xed_encoder_request_t* xes)
1265 {
1266        xed_encoder_request_encode_emit(xes, 8, 0x66);
1267        xed_encoder_request_emit_legacy_map(xes);
1268        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1269        xed_encoder_request_encode_emit(xes, 8, 0x84);
1270        xed_encoder_request_encode_emit(xes, 8, 0x0);
1271        xed_encoder_request_encode_emit(xes, 8, 0x0);
1272        xed_encoder_request_encode_emit(xes, 8, 0x0);
1273        xed_encoder_request_encode_emit(xes, 8, 0x0);
1274        xed_encoder_request_encode_emit(xes, 8, 0x0);
1275 }
xed_encode_instruction_emit_pattern_21(xed_encoder_request_t * xes)1276 void xed_encode_instruction_emit_pattern_21(xed_encoder_request_t* xes)
1277 {
1278        xed_encoder_request_emit_legacy_map(xes);
1279        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1280        xed_encoder_request_encode_emit(xes, 8, 0x84);
1281        xed_encoder_request_encode_emit(xes, 8, 0x0);
1282        xed_encoder_request_encode_emit(xes, 8, 0x0);
1283        xed_encoder_request_encode_emit(xes, 8, 0x0);
1284        xed_encoder_request_encode_emit(xes, 8, 0x0);
1285        xed_encoder_request_encode_emit(xes, 8, 0x0);
1286 }
xed_encode_instruction_emit_pattern_22(xed_encoder_request_t * xes)1287 void xed_encode_instruction_emit_pattern_22(xed_encoder_request_t* xes)
1288 {
1289        xed_encoder_request_emit_legacy_map(xes);
1290        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1291        xed_encoder_request_encode_emit(xes, 8, 0x0);
1292 }
xed_encode_instruction_emit_pattern_23(xed_encoder_request_t * xes)1293 void xed_encode_instruction_emit_pattern_23(xed_encoder_request_t* xes)
1294 {
1295        xed_encoder_request_encode_emit(xes, 8, 0x66);
1296        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1297 }
xed_encode_instruction_emit_pattern_24(xed_encoder_request_t * xes)1298 void xed_encode_instruction_emit_pattern_24(xed_encoder_request_t* xes)
1299 {
1300        xed_encoder_request_emit_legacy_map(xes);
1301        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1302        xed_encoder_request_encode_emit(xes, 8, 0x40);
1303        xed_encoder_request_encode_emit(xes, 8, 0x0);
1304 }
xed_encode_instruction_emit_pattern_25(xed_encoder_request_t * xes)1305 void xed_encode_instruction_emit_pattern_25(xed_encoder_request_t* xes)
1306 {
1307        xed_encoder_request_emit_legacy_map(xes);
1308        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1309        xed_encoder_request_encode_emit(xes, 8, 0x80);
1310        xed_encoder_request_encode_emit(xes, 8, 0x0);
1311        xed_encoder_request_encode_emit(xes, 8, 0x0);
1312        xed_encoder_request_encode_emit(xes, 8, 0x0);
1313        xed_encoder_request_encode_emit(xes, 8, 0x0);
1314 }
xed_encode_instruction_emit_pattern_26(xed_encoder_request_t * xes)1315 void xed_encode_instruction_emit_pattern_26(xed_encoder_request_t* xes)
1316 {
1317        xed_encoder_request_encode_emit(xes, 8, 0x66);
1318        xed_encoder_request_emit_legacy_map(xes);
1319        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1320        xed_encoder_request_encode_emit(xes, 8, 0x44);
1321        xed_encoder_request_encode_emit(xes, 8, 0x0);
1322        xed_encoder_request_encode_emit(xes, 8, 0x0);
1323 }
xed_encode_instruction_emit_pattern_27(xed_encoder_request_t * xes)1324 void xed_encode_instruction_emit_pattern_27(xed_encoder_request_t* xes)
1325 {
1326        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1327        xed_encoder_request_emit_legacy_map(xes);
1328        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1329        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1330        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1331        xed_encode_nonterminal_MODRM_EMIT(xes);
1332        xed_encode_nonterminal_UIMM8_EMIT(xes);
1333        xed_encode_nonterminal_ESIZE_64_BITS_EMIT(xes);
1334        xed_encode_nonterminal_NELEM_TUPLE2_EMIT(xes);
1335 }
xed_encode_instruction_emit_pattern_28(xed_encoder_request_t * xes)1336 void xed_encode_instruction_emit_pattern_28(xed_encoder_request_t* xes)
1337 {
1338        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1339        xed_encode_nonterminal_OVERRIDE_SEG1_EMIT(xes);
1340 }
xed_encode_instruction_emit_pattern_29(xed_encoder_request_t * xes)1341 void xed_encode_instruction_emit_pattern_29(xed_encoder_request_t* xes)
1342 {
1343        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1344        xed_encoder_request_emit_legacy_map(xes);
1345        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1346        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1347        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1348        xed_encode_nonterminal_MODRM_EMIT(xes);
1349        xed_encode_nonterminal_ESIZE_8_BITS_EMIT(xes);
1350        xed_encode_nonterminal_NELEM_FULLMEM_EMIT(xes);
1351 }
xed_encode_instruction_emit_pattern_30(xed_encoder_request_t * xes)1352 void xed_encode_instruction_emit_pattern_30(xed_encoder_request_t* xes)
1353 {
1354        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1355        xed_encoder_request_emit_legacy_map(xes);
1356        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1357        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1358        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1359        xed_encode_nonterminal_MODRM_EMIT(xes);
1360        xed_encode_nonterminal_UIMM8_EMIT(xes);
1361        xed_encode_nonterminal_ESIZE_64_BITS_EMIT(xes);
1362        xed_encode_nonterminal_NELEM_TUPLE4_EMIT(xes);
1363 }
xed_encode_instruction_emit_pattern_31(xed_encoder_request_t * xes)1364 void xed_encode_instruction_emit_pattern_31(xed_encoder_request_t* xes)
1365 {
1366        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1367        xed_encoder_request_emit_legacy_map(xes);
1368        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1369        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1370        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1371        xed_encode_nonterminal_MODRM_EMIT(xes);
1372        xed_encode_nonterminal_ESIZE_8_BITS_EMIT(xes);
1373        xed_encode_nonterminal_NELEM_QUARTERMEM_EMIT(xes);
1374 }
xed_encode_instruction_emit_pattern_32(xed_encoder_request_t * xes)1375 void xed_encode_instruction_emit_pattern_32(xed_encoder_request_t* xes)
1376 {
1377        xed_encoder_request_emit_legacy_map(xes);
1378        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1379        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1380        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1381        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1382        xed_encode_nonterminal_IMMUNE66_EMIT(xes);
1383 }
xed_encode_instruction_emit_pattern_33(xed_encoder_request_t * xes)1384 void xed_encode_instruction_emit_pattern_33(xed_encoder_request_t* xes)
1385 {
1386        xed_encoder_request_emit_legacy_map(xes);
1387        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1388        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1389        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1390        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1391        xed_encode_nonterminal_MODRM_EMIT(xes);
1392        xed_encode_nonterminal_IMMUNE66_EMIT(xes);
1393 }
xed_encode_instruction_emit_pattern_34(xed_encoder_request_t * xes)1394 void xed_encode_instruction_emit_pattern_34(xed_encoder_request_t* xes)
1395 {
1396        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1397        xed_encoder_request_emit_legacy_map(xes);
1398        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1399        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1400        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1401        xed_encode_nonterminal_MODRM_EMIT(xes);
1402        xed_encode_nonterminal_ESIZE_16_BITS_EMIT(xes);
1403        xed_encode_nonterminal_NELEM_HALFMEM_EMIT(xes);
1404 }
xed_encode_instruction_emit_pattern_35(xed_encoder_request_t * xes)1405 void xed_encode_instruction_emit_pattern_35(xed_encoder_request_t* xes)
1406 {
1407        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1408        xed_encoder_request_emit_legacy_map(xes);
1409        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1410        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1411        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1412        xed_encode_nonterminal_MODRM_EMIT(xes);
1413        xed_encode_nonterminal_UIMM8_EMIT(xes);
1414 }
xed_encode_instruction_emit_pattern_36(xed_encoder_request_t * xes)1415 void xed_encode_instruction_emit_pattern_36(xed_encoder_request_t* xes)
1416 {
1417        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1418 }
xed_encode_instruction_emit_pattern_37(xed_encoder_request_t * xes)1419 void xed_encode_instruction_emit_pattern_37(xed_encoder_request_t* xes)
1420 {
1421        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1422        xed_encoder_request_emit_legacy_map(xes);
1423        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1424        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1425        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1426        xed_encode_nonterminal_VMODRM_YMM_EMIT(xes);
1427 }
xed_encode_instruction_emit_pattern_38(xed_encoder_request_t * xes)1428 void xed_encode_instruction_emit_pattern_38(xed_encoder_request_t* xes)
1429 {
1430        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1431        xed_encoder_request_emit_legacy_map(xes);
1432        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1433        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1434        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1435        xed_encode_nonterminal_VMODRM_XMM_EMIT(xes);
1436 }
xed_encode_instruction_emit_pattern_39(xed_encoder_request_t * xes)1437 void xed_encode_instruction_emit_pattern_39(xed_encoder_request_t* xes)
1438 {
1439        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1440        xed_encoder_request_emit_legacy_map(xes);
1441        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1442        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1443        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1444        xed_encode_nonterminal_UISA_VMODRM_ZMM_EMIT(xes);
1445        xed_encode_nonterminal_ESIZE_64_BITS_EMIT(xes);
1446        xed_encode_nonterminal_NELEM_GSCAT_EMIT(xes);
1447 }
xed_encode_instruction_emit_pattern_40(xed_encoder_request_t * xes)1448 void xed_encode_instruction_emit_pattern_40(xed_encoder_request_t* xes)
1449 {
1450        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1451        xed_encoder_request_emit_legacy_map(xes);
1452        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1453        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1454        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1455        xed_encode_nonterminal_UISA_VMODRM_XMM_EMIT(xes);
1456        xed_encode_nonterminal_ESIZE_64_BITS_EMIT(xes);
1457        xed_encode_nonterminal_NELEM_GSCAT_EMIT(xes);
1458 }
xed_encode_instruction_emit_pattern_41(xed_encoder_request_t * xes)1459 void xed_encode_instruction_emit_pattern_41(xed_encoder_request_t* xes)
1460 {
1461        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1462        xed_encoder_request_emit_legacy_map(xes);
1463        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1464        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1465        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1466        xed_encode_nonterminal_UISA_VMODRM_YMM_EMIT(xes);
1467        xed_encode_nonterminal_ESIZE_64_BITS_EMIT(xes);
1468        xed_encode_nonterminal_NELEM_GSCAT_EMIT(xes);
1469 }
xed_encode_instruction_emit_pattern_42(xed_encoder_request_t * xes)1470 void xed_encode_instruction_emit_pattern_42(xed_encoder_request_t* xes)
1471 {
1472        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1473        xed_encoder_request_emit_legacy_map(xes);
1474        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1475        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1476        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1477        xed_encode_nonterminal_MODRM_EMIT(xes);
1478        xed_encode_nonterminal_ESIZE_128_BITS_EMIT(xes);
1479        xed_encode_nonterminal_NELEM_FULLMEM_EMIT(xes);
1480 }
xed_encode_instruction_emit_pattern_43(xed_encoder_request_t * xes)1481 void xed_encode_instruction_emit_pattern_43(xed_encoder_request_t* xes)
1482 {
1483        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1484        xed_encode_nonterminal_DF64_EMIT(xes);
1485 }
xed_encode_instruction_emit_pattern_44(xed_encoder_request_t * xes)1486 void xed_encode_instruction_emit_pattern_44(xed_encoder_request_t* xes)
1487 {
1488        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1489        xed_encoder_request_emit_legacy_map(xes);
1490        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1491        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1492        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1493        xed_encode_nonterminal_UISA_VMODRM_ZMM_EMIT(xes);
1494        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
1495        xed_encode_nonterminal_NELEM_GSCAT_EMIT(xes);
1496 }
xed_encode_instruction_emit_pattern_45(xed_encoder_request_t * xes)1497 void xed_encode_instruction_emit_pattern_45(xed_encoder_request_t* xes)
1498 {
1499        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1500        xed_encoder_request_emit_legacy_map(xes);
1501        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1502        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1503        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1504        xed_encode_nonterminal_UISA_VMODRM_XMM_EMIT(xes);
1505        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
1506        xed_encode_nonterminal_NELEM_GSCAT_EMIT(xes);
1507 }
xed_encode_instruction_emit_pattern_46(xed_encoder_request_t * xes)1508 void xed_encode_instruction_emit_pattern_46(xed_encoder_request_t* xes)
1509 {
1510        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1511        xed_encoder_request_emit_legacy_map(xes);
1512        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1513        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1514        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1515        xed_encode_nonterminal_UISA_VMODRM_YMM_EMIT(xes);
1516        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
1517        xed_encode_nonterminal_NELEM_GSCAT_EMIT(xes);
1518 }
xed_encode_instruction_emit_pattern_47(xed_encoder_request_t * xes)1519 void xed_encode_instruction_emit_pattern_47(xed_encoder_request_t* xes)
1520 {
1521        xed_encoder_request_encode_emit(xes,5,xed_encoder_get_nominal_opcode(xes));
1522        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_srm(xes));
1523 }
xed_encode_instruction_emit_pattern_48(xed_encoder_request_t * xes)1524 void xed_encode_instruction_emit_pattern_48(xed_encoder_request_t* xes)
1525 {
1526        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1527        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1528        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1529        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1530        xed_encode_nonterminal_MODRM_EMIT(xes);
1531        xed_encode_nonterminal_SIMM8_EMIT(xes);
1532 }
xed_encode_instruction_emit_pattern_49(xed_encoder_request_t * xes)1533 void xed_encode_instruction_emit_pattern_49(xed_encoder_request_t* xes)
1534 {
1535        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1536        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1537        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1538        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1539        xed_encode_nonterminal_MODRM_EMIT(xes);
1540        xed_encode_nonterminal_SIMMz_EMIT(xes);
1541 }
xed_encode_instruction_emit_pattern_50(xed_encoder_request_t * xes)1542 void xed_encode_instruction_emit_pattern_50(xed_encoder_request_t* xes)
1543 {
1544        xed_encoder_request_emit_legacy_map(xes);
1545        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1546        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1547        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1548        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1549        xed_encode_nonterminal_IGNORE66_EMIT(xes);
1550        xed_encode_nonterminal_MODRM_EMIT(xes);
1551 }
xed_encode_instruction_emit_pattern_51(xed_encoder_request_t * xes)1552 void xed_encode_instruction_emit_pattern_51(xed_encoder_request_t* xes)
1553 {
1554        xed_encoder_request_emit_legacy_map(xes);
1555        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1556        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1557        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1558        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1559        xed_encode_nonterminal_IGNORE66_EMIT(xes);
1560 }
xed_encode_instruction_emit_pattern_52(xed_encoder_request_t * xes)1561 void xed_encode_instruction_emit_pattern_52(xed_encoder_request_t* xes)
1562 {
1563        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1564        xed_encoder_request_emit_legacy_map(xes);
1565        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1566        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1567        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1568        xed_encode_nonterminal_MODRM_EMIT(xes);
1569        xed_encode_nonterminal_ESIZE_64_BITS_EMIT(xes);
1570        xed_encode_nonterminal_NELEM_TUPLE4_EMIT(xes);
1571 }
xed_encode_instruction_emit_pattern_53(xed_encoder_request_t * xes)1572 void xed_encode_instruction_emit_pattern_53(xed_encoder_request_t* xes)
1573 {
1574        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1575        xed_encoder_request_emit_legacy_map(xes);
1576        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1577        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1578        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1579        xed_encode_nonterminal_MODRM_EMIT(xes);
1580        xed_encode_nonterminal_ESIZE_64_BITS_EMIT(xes);
1581        xed_encode_nonterminal_NELEM_TUPLE2_EMIT(xes);
1582 }
xed_encode_instruction_emit_pattern_54(xed_encoder_request_t * xes)1583 void xed_encode_instruction_emit_pattern_54(xed_encoder_request_t* xes)
1584 {
1585        xed_encoder_request_emit_legacy_map(xes);
1586        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1587        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1588        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1589        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1590        xed_encode_nonterminal_REFINING66_EMIT(xes);
1591        xed_encode_nonterminal_UIMM8_EMIT(xes);
1592 }
xed_encode_instruction_emit_pattern_55(xed_encoder_request_t * xes)1593 void xed_encode_instruction_emit_pattern_55(xed_encoder_request_t* xes)
1594 {
1595        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1596        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1597        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1598        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1599        xed_encode_nonterminal_MODRM_EMIT(xes);
1600        xed_encode_nonterminal_ONE_EMIT(xes);
1601 }
xed_encode_instruction_emit_pattern_56(xed_encoder_request_t * xes)1602 void xed_encode_instruction_emit_pattern_56(xed_encoder_request_t* xes)
1603 {
1604        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1605        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1606        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1607        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1608        xed_encode_nonterminal_ONE_EMIT(xes);
1609 }
xed_encode_instruction_emit_pattern_57(xed_encoder_request_t * xes)1610 void xed_encode_instruction_emit_pattern_57(xed_encoder_request_t* xes)
1611 {
1612        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1613        xed_encoder_request_emit_legacy_map(xes);
1614        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1615        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1616        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1617        xed_encode_nonterminal_MODRM_EMIT(xes);
1618        xed_encode_nonterminal_UIMM8_EMIT(xes);
1619        xed_encode_nonterminal_ESIZE_16_BITS_EMIT(xes);
1620        xed_encode_nonterminal_NELEM_FULLMEM_EMIT(xes);
1621 }
xed_encode_instruction_emit_pattern_58(xed_encoder_request_t * xes)1622 void xed_encode_instruction_emit_pattern_58(xed_encoder_request_t* xes)
1623 {
1624        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1625        xed_encoder_request_emit_legacy_map(xes);
1626        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1627        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1628        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1629        xed_encode_nonterminal_FIX_ROUND_LEN512_EMIT(xes);
1630        xed_encode_nonterminal_AVX512_ROUND_EMIT(xes);
1631 }
xed_encode_instruction_emit_pattern_59(xed_encoder_request_t * xes)1632 void xed_encode_instruction_emit_pattern_59(xed_encoder_request_t* xes)
1633 {
1634        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1635        xed_encoder_request_emit_legacy_map(xes);
1636        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1637        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1638        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1639        xed_encode_nonterminal_FIX_ROUND_LEN128_EMIT(xes);
1640        xed_encode_nonterminal_SAE_EMIT(xes);
1641 }
xed_encode_instruction_emit_pattern_60(xed_encoder_request_t * xes)1642 void xed_encode_instruction_emit_pattern_60(xed_encoder_request_t* xes)
1643 {
1644        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1645        xed_encoder_request_emit_legacy_map(xes);
1646        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1647        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1648        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1649        xed_encode_nonterminal_MODRM_EMIT(xes);
1650        xed_encode_nonterminal_ESIZE_64_BITS_EMIT(xes);
1651        xed_encode_nonterminal_NELEM_SCALAR_EMIT(xes);
1652 }
xed_encode_instruction_emit_pattern_61(xed_encoder_request_t * xes)1653 void xed_encode_instruction_emit_pattern_61(xed_encoder_request_t* xes)
1654 {
1655        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1656        xed_encoder_request_emit_legacy_map(xes);
1657        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1658        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1659        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1660        xed_encode_nonterminal_MODRM_EMIT(xes);
1661        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
1662        xed_encode_nonterminal_NELEM_SCALAR_EMIT(xes);
1663 }
xed_encode_instruction_emit_pattern_62(xed_encoder_request_t * xes)1664 void xed_encode_instruction_emit_pattern_62(xed_encoder_request_t* xes)
1665 {
1666        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1667        xed_encoder_request_emit_legacy_map(xes);
1668        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1669        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1670        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1671        xed_encode_nonterminal_FIX_ROUND_LEN128_EMIT(xes);
1672        xed_encode_nonterminal_AVX512_ROUND_EMIT(xes);
1673 }
xed_encode_instruction_emit_pattern_63(xed_encoder_request_t * xes)1674 void xed_encode_instruction_emit_pattern_63(xed_encoder_request_t* xes)
1675 {
1676        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1677        xed_encoder_request_emit_legacy_map(xes);
1678        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1679        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1680        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1681        xed_encode_nonterminal_MODRM_EMIT(xes);
1682        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
1683        xed_encode_nonterminal_NELEM_GPR_READER_EMIT(xes);
1684 }
xed_encode_instruction_emit_pattern_64(xed_encoder_request_t * xes)1685 void xed_encode_instruction_emit_pattern_64(xed_encoder_request_t* xes)
1686 {
1687        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1688        xed_encoder_request_emit_legacy_map(xes);
1689        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1690        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1691        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1692        xed_encode_nonterminal_MODRM_EMIT(xes);
1693        xed_encode_nonterminal_ESIZE_64_BITS_EMIT(xes);
1694        xed_encode_nonterminal_NELEM_GPR_READER_EMIT(xes);
1695 }
xed_encode_instruction_emit_pattern_65(xed_encoder_request_t * xes)1696 void xed_encode_instruction_emit_pattern_65(xed_encoder_request_t* xes)
1697 {
1698        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1699        xed_encoder_request_emit_legacy_map(xes);
1700        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1701        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1702        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1703        xed_encode_nonterminal_MODRM_EMIT(xes);
1704        xed_encode_nonterminal_SE_IMM8_EMIT(xes);
1705 }
xed_encode_instruction_emit_pattern_66(xed_encoder_request_t * xes)1706 void xed_encode_instruction_emit_pattern_66(xed_encoder_request_t* xes)
1707 {
1708        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1709        xed_encoder_request_emit_legacy_map(xes);
1710        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1711        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1712        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1713        xed_encode_nonterminal_SE_IMM8_EMIT(xes);
1714 }
xed_encode_instruction_emit_pattern_67(xed_encoder_request_t * xes)1715 void xed_encode_instruction_emit_pattern_67(xed_encoder_request_t* xes)
1716 {
1717        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1718        xed_encoder_request_emit_legacy_map(xes);
1719        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1720        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1721        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1722        xed_encode_nonterminal_MODRM_EMIT(xes);
1723        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
1724        xed_encode_nonterminal_NELEM_MEM128_EMIT(xes);
1725 }
xed_encode_instruction_emit_pattern_68(xed_encoder_request_t * xes)1726 void xed_encode_instruction_emit_pattern_68(xed_encoder_request_t* xes)
1727 {
1728        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1729        xed_encode_nonterminal_OVERRIDE_SEG0_EMIT(xes);
1730 }
xed_encode_instruction_emit_pattern_69(xed_encoder_request_t * xes)1731 void xed_encode_instruction_emit_pattern_69(xed_encoder_request_t* xes)
1732 {
1733        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1734        xed_encoder_request_emit_legacy_map(xes);
1735        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1736        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1737        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1738        xed_encode_nonterminal_MODRM_EMIT(xes);
1739        xed_encode_nonterminal_ESIZE_64_BITS_EMIT(xes);
1740        xed_encode_nonterminal_NELEM_MEM128_EMIT(xes);
1741 }
xed_encode_instruction_emit_pattern_70(xed_encoder_request_t * xes)1742 void xed_encode_instruction_emit_pattern_70(xed_encoder_request_t* xes)
1743 {
1744        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1745        xed_encoder_request_emit_legacy_map(xes);
1746        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1747        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1748        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1749        xed_encode_nonterminal_MODRM_EMIT(xes);
1750        xed_encode_nonterminal_ESIZE_16_BITS_EMIT(xes);
1751        xed_encode_nonterminal_NELEM_MEM128_EMIT(xes);
1752 }
xed_encode_instruction_emit_pattern_71(xed_encoder_request_t * xes)1753 void xed_encode_instruction_emit_pattern_71(xed_encoder_request_t* xes)
1754 {
1755        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1756        xed_encoder_request_emit_legacy_map(xes);
1757        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1758        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1759        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1760        xed_encode_nonterminal_FIX_ROUND_LEN512_EMIT(xes);
1761        xed_encode_nonterminal_SAE_EMIT(xes);
1762 }
xed_encode_instruction_emit_pattern_72(xed_encoder_request_t * xes)1763 void xed_encode_instruction_emit_pattern_72(xed_encoder_request_t* xes)
1764 {
1765        xed_encoder_request_emit_legacy_map(xes);
1766        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1767        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1768        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1769        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1770        xed_encode_nonterminal_MODRM_EMIT(xes);
1771        xed_encode_nonterminal_UIMM8_EMIT(xes);
1772 }
xed_encode_instruction_emit_pattern_73(xed_encoder_request_t * xes)1773 void xed_encode_instruction_emit_pattern_73(xed_encoder_request_t* xes)
1774 {
1775        xed_encoder_request_emit_legacy_map(xes);
1776        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1777        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1778        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1779        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1780        xed_encode_nonterminal_UIMM8_EMIT(xes);
1781 }
xed_encode_instruction_emit_pattern_74(xed_encoder_request_t * xes)1782 void xed_encode_instruction_emit_pattern_74(xed_encoder_request_t* xes)
1783 {
1784        xed_encoder_request_emit_legacy_map(xes);
1785        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1786        xed_encoder_request_encode_emit(xes, 8, 0x44);
1787        xed_encoder_request_encode_emit(xes, 8, 0x0);
1788        xed_encoder_request_encode_emit(xes, 8, 0x0);
1789 }
xed_encode_instruction_emit_pattern_75(xed_encoder_request_t * xes)1790 void xed_encode_instruction_emit_pattern_75(xed_encoder_request_t* xes)
1791 {
1792        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1793        xed_encoder_request_emit_legacy_map(xes);
1794        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1795        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1796        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1797        xed_encode_nonterminal_MODRM_EMIT(xes);
1798        xed_encode_nonterminal_UIMM8_EMIT(xes);
1799        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
1800        xed_encode_nonterminal_NELEM_TUPLE4_EMIT(xes);
1801 }
xed_encode_instruction_emit_pattern_76(xed_encoder_request_t * xes)1802 void xed_encode_instruction_emit_pattern_76(xed_encoder_request_t* xes)
1803 {
1804        xed_encoder_request_emit_legacy_map(xes);
1805        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1806        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1807        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1808        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1809        xed_encode_nonterminal_IGNORE66_EMIT(xes);
1810        xed_encode_nonterminal_MODRM_EMIT(xes);
1811        xed_encode_nonterminal_UIMM8_EMIT(xes);
1812 }
xed_encode_instruction_emit_pattern_77(xed_encoder_request_t * xes)1813 void xed_encode_instruction_emit_pattern_77(xed_encoder_request_t* xes)
1814 {
1815        xed_encoder_request_emit_legacy_map(xes);
1816        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1817        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1818        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1819        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1820        xed_encode_nonterminal_IGNORE66_EMIT(xes);
1821        xed_encode_nonterminal_UIMM8_EMIT(xes);
1822 }
xed_encode_instruction_emit_pattern_78(xed_encoder_request_t * xes)1823 void xed_encode_instruction_emit_pattern_78(xed_encoder_request_t* xes)
1824 {
1825        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1826        xed_encode_nonterminal_DF64_EMIT(xes);
1827        xed_encode_nonterminal_BRDISP8_EMIT(xes);
1828        xed_encode_nonterminal_IMMUNE66_LOOP64_EMIT(xes);
1829 }
xed_encode_instruction_emit_pattern_79(xed_encoder_request_t * xes)1830 void xed_encode_instruction_emit_pattern_79(xed_encoder_request_t* xes)
1831 {
1832        xed_encoder_request_emit_legacy_map(xes);
1833        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1834        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1835        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1836        xed_encode_nonterminal_MODRM_EMIT(xes);
1837        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1838 }
xed_encode_instruction_emit_pattern_80(xed_encoder_request_t * xes)1839 void xed_encode_instruction_emit_pattern_80(xed_encoder_request_t* xes)
1840 {
1841        xed_encoder_request_emit_legacy_map(xes);
1842        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1843        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1844        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1845        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1846 }
xed_encode_instruction_emit_pattern_81(xed_encoder_request_t * xes)1847 void xed_encode_instruction_emit_pattern_81(xed_encoder_request_t* xes)
1848 {
1849        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1850        xed_encoder_request_emit_legacy_map(xes);
1851        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1852        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1853        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1854        xed_encode_nonterminal_FIX_ROUND_LEN128_EMIT(xes);
1855        xed_encode_nonterminal_SAE_EMIT(xes);
1856        xed_encode_nonterminal_UIMM8_EMIT(xes);
1857 }
xed_encode_instruction_emit_pattern_82(xed_encoder_request_t * xes)1858 void xed_encode_instruction_emit_pattern_82(xed_encoder_request_t* xes)
1859 {
1860        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1861        xed_encoder_request_emit_legacy_map(xes);
1862        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1863        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1864        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1865        xed_encode_nonterminal_MODRM_EMIT(xes);
1866        xed_encode_nonterminal_UIMM8_EMIT(xes);
1867        xed_encode_nonterminal_ESIZE_64_BITS_EMIT(xes);
1868        xed_encode_nonterminal_NELEM_SCALAR_EMIT(xes);
1869 }
xed_encode_instruction_emit_pattern_83(xed_encoder_request_t * xes)1870 void xed_encode_instruction_emit_pattern_83(xed_encoder_request_t* xes)
1871 {
1872        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1873        xed_encoder_request_emit_legacy_map(xes);
1874        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1875        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1876        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1877        xed_encode_nonterminal_MODRM_EMIT(xes);
1878        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
1879        xed_encode_nonterminal_NELEM_TUPLE1_EMIT(xes);
1880 }
xed_encode_instruction_emit_pattern_84(xed_encoder_request_t * xes)1881 void xed_encode_instruction_emit_pattern_84(xed_encoder_request_t* xes)
1882 {
1883        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1884        xed_encoder_request_emit_legacy_map(xes);
1885        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1886        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1887        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1888        xed_encode_nonterminal_MODRM_EMIT(xes);
1889        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
1890        xed_encode_nonterminal_NELEM_TUPLE8_EMIT(xes);
1891 }
xed_encode_instruction_emit_pattern_85(xed_encoder_request_t * xes)1892 void xed_encode_instruction_emit_pattern_85(xed_encoder_request_t* xes)
1893 {
1894        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1895        xed_encoder_request_emit_legacy_map(xes);
1896        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1897        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1898        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1899        xed_encode_nonterminal_MODRM_EMIT(xes);
1900        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
1901        xed_encode_nonterminal_NELEM_TUPLE4_EMIT(xes);
1902 }
xed_encode_instruction_emit_pattern_86(xed_encoder_request_t * xes)1903 void xed_encode_instruction_emit_pattern_86(xed_encoder_request_t* xes)
1904 {
1905        xed_encoder_request_emit_legacy_map(xes);
1906        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1907        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1908        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1909        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1910        xed_encode_nonterminal_FORCE64_EMIT(xes);
1911        xed_encode_nonterminal_MODRM_EMIT(xes);
1912 }
xed_encode_instruction_emit_pattern_87(xed_encoder_request_t * xes)1913 void xed_encode_instruction_emit_pattern_87(xed_encoder_request_t* xes)
1914 {
1915        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1916        xed_encoder_request_emit_legacy_map(xes);
1917        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1918        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1919        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1920        xed_encode_nonterminal_MODRM_EMIT(xes);
1921        xed_encode_nonterminal_UIMM8_EMIT(xes);
1922        xed_encode_nonterminal_ESIZE_8_BITS_EMIT(xes);
1923        xed_encode_nonterminal_NELEM_FULLMEM_EMIT(xes);
1924 }
xed_encode_instruction_emit_pattern_88(xed_encoder_request_t * xes)1925 void xed_encode_instruction_emit_pattern_88(xed_encoder_request_t* xes)
1926 {
1927        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1928        xed_encode_nonterminal_UIMM16_EMIT(xes);
1929 }
xed_encode_instruction_emit_pattern_89(xed_encoder_request_t * xes)1930 void xed_encode_instruction_emit_pattern_89(xed_encoder_request_t* xes)
1931 {
1932        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1933        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1934        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1935        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1936        xed_encode_nonterminal_SIMMz_EMIT(xes);
1937 }
xed_encode_instruction_emit_pattern_90(xed_encoder_request_t * xes)1938 void xed_encode_instruction_emit_pattern_90(xed_encoder_request_t* xes)
1939 {
1940        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1941        xed_encode_nonterminal_MEMDISPv_EMIT(xes);
1942        xed_encode_nonterminal_OVERRIDE_SEG0_EMIT(xes);
1943 }
xed_encode_instruction_emit_pattern_91(xed_encoder_request_t * xes)1944 void xed_encode_instruction_emit_pattern_91(xed_encoder_request_t* xes)
1945 {
1946        xed_encoder_request_encode_emit(xes,5,xed_encoder_get_nominal_opcode(xes));
1947        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_srm(xes));
1948        xed_encode_nonterminal_UIMM8_EMIT(xes);
1949 }
xed_encode_instruction_emit_pattern_92(xed_encoder_request_t * xes)1950 void xed_encode_instruction_emit_pattern_92(xed_encoder_request_t* xes)
1951 {
1952        xed_encoder_request_encode_emit(xes,5,xed_encoder_get_nominal_opcode(xes));
1953        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_srm(xes));
1954        xed_encode_nonterminal_UIMMv_EMIT(xes);
1955 }
xed_encode_instruction_emit_pattern_93(xed_encoder_request_t * xes)1956 void xed_encode_instruction_emit_pattern_93(xed_encoder_request_t* xes)
1957 {
1958        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1959        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1960        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1961        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1962        xed_encode_nonterminal_SIMM8_EMIT(xes);
1963 }
xed_encode_instruction_emit_pattern_94(xed_encoder_request_t * xes)1964 void xed_encode_instruction_emit_pattern_94(xed_encoder_request_t* xes)
1965 {
1966        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1967        xed_encoder_request_emit_legacy_map(xes);
1968        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1969        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1970        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1971        xed_encode_nonterminal_MODRM_EMIT(xes);
1972        xed_encode_nonterminal_UIMM8_EMIT(xes);
1973        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
1974        xed_encode_nonterminal_NELEM_SCALAR_EMIT(xes);
1975 }
xed_encode_instruction_emit_pattern_95(xed_encoder_request_t * xes)1976 void xed_encode_instruction_emit_pattern_95(xed_encoder_request_t* xes)
1977 {
1978        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1979        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1980        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1981        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1982        xed_encode_nonterminal_DF64_EMIT(xes);
1983        xed_encode_nonterminal_IMMUNE66_LOOP64_EMIT(xes);
1984        xed_encode_nonterminal_MODRM_EMIT(xes);
1985 }
xed_encode_instruction_emit_pattern_96(xed_encoder_request_t * xes)1986 void xed_encode_instruction_emit_pattern_96(xed_encoder_request_t* xes)
1987 {
1988        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1989        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
1990        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
1991        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
1992        xed_encode_nonterminal_DF64_EMIT(xes);
1993        xed_encode_nonterminal_IMMUNE66_LOOP64_EMIT(xes);
1994 }
xed_encode_instruction_emit_pattern_97(xed_encoder_request_t * xes)1995 void xed_encode_instruction_emit_pattern_97(xed_encoder_request_t* xes)
1996 {
1997        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
1998        xed_encode_nonterminal_BRDISPz_EMIT(xes);
1999 }
xed_encode_instruction_emit_pattern_98(xed_encoder_request_t * xes)2000 void xed_encode_instruction_emit_pattern_98(xed_encoder_request_t* xes)
2001 {
2002        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2003        xed_encode_nonterminal_FORCE64_EMIT(xes);
2004        xed_encode_nonterminal_BRDISP32_EMIT(xes);
2005 }
xed_encode_instruction_emit_pattern_99(xed_encoder_request_t * xes)2006 void xed_encode_instruction_emit_pattern_99(xed_encoder_request_t* xes)
2007 {
2008        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2009        xed_encode_nonterminal_BRDISP8_EMIT(xes);
2010 }
xed_encode_instruction_emit_pattern_100(xed_encoder_request_t * xes)2011 void xed_encode_instruction_emit_pattern_100(xed_encoder_request_t* xes)
2012 {
2013        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2014        xed_encode_nonterminal_FORCE64_EMIT(xes);
2015        xed_encode_nonterminal_BRDISP8_EMIT(xes);
2016 }
xed_encode_instruction_emit_pattern_101(xed_encoder_request_t * xes)2017 void xed_encode_instruction_emit_pattern_101(xed_encoder_request_t* xes)
2018 {
2019        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2020        xed_encoder_request_emit_legacy_map(xes);
2021        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2022        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2023        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2024        xed_encode_nonterminal_MODRM_EMIT(xes);
2025        xed_encode_nonterminal_ESIZE_8_BITS_EMIT(xes);
2026        xed_encode_nonterminal_NELEM_HALFMEM_EMIT(xes);
2027 }
xed_encode_instruction_emit_pattern_102(xed_encoder_request_t * xes)2028 void xed_encode_instruction_emit_pattern_102(xed_encoder_request_t* xes)
2029 {
2030        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2031        xed_encoder_request_emit_legacy_map(xes);
2032        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2033        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2034        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2035        xed_encode_nonterminal_MODRM_EMIT(xes);
2036        xed_encode_nonterminal_ESIZE_64_BITS_EMIT(xes);
2037        xed_encode_nonterminal_NELEM_GPR_WRITER_LDOP_Q_EMIT(xes);
2038 }
xed_encode_instruction_emit_pattern_103(xed_encoder_request_t * xes)2039 void xed_encode_instruction_emit_pattern_103(xed_encoder_request_t* xes)
2040 {
2041        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2042        xed_encode_nonterminal_SIMM8_EMIT(xes);
2043 }
xed_encode_instruction_emit_pattern_104(xed_encoder_request_t * xes)2044 void xed_encode_instruction_emit_pattern_104(xed_encoder_request_t* xes)
2045 {
2046        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2047        xed_encode_nonterminal_SIMMz_EMIT(xes);
2048 }
xed_encode_instruction_emit_pattern_105(xed_encoder_request_t * xes)2049 void xed_encode_instruction_emit_pattern_105(xed_encoder_request_t* xes)
2050 {
2051        xed_encoder_request_emit_legacy_map(xes);
2052        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2053        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2054        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2055        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2056        xed_encode_nonterminal_REFINING66_EMIT(xes);
2057        xed_encode_nonterminal_MODRM_EMIT(xes);
2058        xed_encode_nonterminal_UIMM8_EMIT(xes);
2059 }
xed_encode_instruction_emit_pattern_106(xed_encoder_request_t * xes)2060 void xed_encode_instruction_emit_pattern_106(xed_encoder_request_t* xes)
2061 {
2062        xed_encoder_request_emit_legacy_map(xes);
2063        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2064        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2065        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2066        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2067        xed_encode_nonterminal_IMMUNE66_EMIT(xes);
2068        xed_encode_nonterminal_MODRM_EMIT(xes);
2069 }
xed_encode_instruction_emit_pattern_107(xed_encoder_request_t * xes)2070 void xed_encode_instruction_emit_pattern_107(xed_encoder_request_t* xes)
2071 {
2072        xed_encoder_request_emit_legacy_map(xes);
2073        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2074        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2075        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2076        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2077        xed_encode_nonterminal_CR_WIDTH_EMIT(xes);
2078 }
xed_encode_instruction_emit_pattern_108(xed_encoder_request_t * xes)2079 void xed_encode_instruction_emit_pattern_108(xed_encoder_request_t* xes)
2080 {
2081        xed_encoder_request_emit_legacy_map(xes);
2082        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2083        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2084        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2085        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2086        xed_encode_nonterminal_REFINING66_EMIT(xes);
2087        xed_encode_nonterminal_MODRM_EMIT(xes);
2088        xed_encode_nonterminal_CR_WIDTH_EMIT(xes);
2089 }
xed_encode_instruction_emit_pattern_109(xed_encoder_request_t * xes)2090 void xed_encode_instruction_emit_pattern_109(xed_encoder_request_t* xes)
2091 {
2092        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2093        xed_encoder_request_emit_legacy_map(xes);
2094        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2095        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2096        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2097        xed_encode_nonterminal_MODRM_EMIT(xes);
2098        xed_encode_nonterminal_UIMM8_EMIT(xes);
2099        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
2100        xed_encode_nonterminal_NELEM_TUPLE8_EMIT(xes);
2101 }
xed_encode_instruction_emit_pattern_110(xed_encoder_request_t * xes)2102 void xed_encode_instruction_emit_pattern_110(xed_encoder_request_t* xes)
2103 {
2104        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2105        xed_encoder_request_emit_legacy_map(xes);
2106        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2107        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2108        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2109        xed_encode_nonterminal_MODRM_EMIT(xes);
2110        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
2111        xed_encode_nonterminal_NELEM_FULLMEM_EMIT(xes);
2112 }
xed_encode_instruction_emit_pattern_111(xed_encoder_request_t * xes)2113 void xed_encode_instruction_emit_pattern_111(xed_encoder_request_t* xes)
2114 {
2115        xed_encoder_request_emit_legacy_map(xes);
2116        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2117        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2118        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2119        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2120        xed_encode_nonterminal_UIMM8_EMIT(xes);
2121        xed_encode_nonterminal_UIMM8_1_EMIT(xes);
2122 }
xed_encode_instruction_emit_pattern_112(xed_encoder_request_t * xes)2123 void xed_encode_instruction_emit_pattern_112(xed_encoder_request_t* xes)
2124 {
2125        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2126        xed_encode_nonterminal_UIMM8_EMIT(xes);
2127 }
xed_encode_instruction_emit_pattern_113(xed_encoder_request_t * xes)2128 void xed_encode_instruction_emit_pattern_113(xed_encoder_request_t* xes)
2129 {
2130        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2131        xed_encoder_request_emit_legacy_map(xes);
2132        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2133        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2134        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2135        xed_encode_nonterminal_MODRM_EMIT(xes);
2136        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
2137        xed_encode_nonterminal_NELEM_HALFMEM_EMIT(xes);
2138 }
xed_encode_instruction_emit_pattern_114(xed_encoder_request_t * xes)2139 void xed_encode_instruction_emit_pattern_114(xed_encoder_request_t* xes)
2140 {
2141        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2142        xed_encoder_request_emit_legacy_map(xes);
2143        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2144        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2145        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2146        xed_encode_nonterminal_MODRM_EMIT(xes);
2147        xed_encode_nonterminal_ESIZE_64_BITS_EMIT(xes);
2148        xed_encode_nonterminal_NELEM_MOVDDUP_EMIT(xes);
2149 }
xed_encode_instruction_emit_pattern_115(xed_encoder_request_t * xes)2150 void xed_encode_instruction_emit_pattern_115(xed_encoder_request_t* xes)
2151 {
2152        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2153        xed_encoder_request_emit_legacy_map(xes);
2154        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2155        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2156        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2157        xed_encode_nonterminal_MODRM_EMIT(xes);
2158        xed_encode_nonterminal_ESIZE_16_BITS_EMIT(xes);
2159        xed_encode_nonterminal_NELEM_QUARTERMEM_EMIT(xes);
2160 }
xed_encode_instruction_emit_pattern_116(xed_encoder_request_t * xes)2161 void xed_encode_instruction_emit_pattern_116(xed_encoder_request_t* xes)
2162 {
2163        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2164        xed_encoder_request_emit_legacy_map(xes);
2165        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2166        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2167        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2168        xed_encode_nonterminal_FIX_ROUND_LEN512_EMIT(xes);
2169        xed_encode_nonterminal_SAE_EMIT(xes);
2170        xed_encode_nonterminal_UIMM8_EMIT(xes);
2171 }
xed_encode_instruction_emit_pattern_117(xed_encoder_request_t * xes)2172 void xed_encode_instruction_emit_pattern_117(xed_encoder_request_t* xes)
2173 {
2174        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2175        xed_encoder_request_emit_legacy_map(xes);
2176        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2177        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2178        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2179        xed_encode_nonterminal_MODRM_EMIT(xes);
2180        xed_encode_nonterminal_UIMM8_EMIT(xes);
2181        xed_encode_nonterminal_ESIZE_64_BITS_EMIT(xes);
2182        xed_encode_nonterminal_NELEM_FULLMEM_EMIT(xes);
2183 }
xed_encode_instruction_emit_pattern_118(xed_encoder_request_t * xes)2184 void xed_encode_instruction_emit_pattern_118(xed_encoder_request_t* xes)
2185 {
2186        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2187        xed_encoder_request_emit_legacy_map(xes);
2188        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2189        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2190        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2191        xed_encode_nonterminal_MODRM_EMIT(xes);
2192        xed_encode_nonterminal_ESIZE_8_BITS_EMIT(xes);
2193        xed_encode_nonterminal_NELEM_EIGHTHMEM_EMIT(xes);
2194 }
xed_encode_instruction_emit_pattern_119(xed_encoder_request_t * xes)2195 void xed_encode_instruction_emit_pattern_119(xed_encoder_request_t* xes)
2196 {
2197        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2198        xed_encode_nonterminal_DF64_EMIT(xes);
2199        xed_encode_nonterminal_UIMM16_EMIT(xes);
2200        xed_encode_nonterminal_IMMUNE66_LOOP64_EMIT(xes);
2201 }
xed_encode_instruction_emit_pattern_120(xed_encoder_request_t * xes)2202 void xed_encode_instruction_emit_pattern_120(xed_encoder_request_t* xes)
2203 {
2204        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2205        xed_encode_nonterminal_DF64_EMIT(xes);
2206        xed_encode_nonterminal_IMMUNE66_LOOP64_EMIT(xes);
2207 }
xed_encode_instruction_emit_pattern_121(xed_encoder_request_t * xes)2208 void xed_encode_instruction_emit_pattern_121(xed_encoder_request_t* xes)
2209 {
2210        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2211        xed_encoder_request_emit_legacy_map(xes);
2212        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2213        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2214        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2215        xed_encode_nonterminal_MODRM_EMIT(xes);
2216        xed_encode_nonterminal_ESIZE_8_BITS_EMIT(xes);
2217        xed_encode_nonterminal_NELEM_TUPLE1_BYTE_EMIT(xes);
2218 }
xed_encode_instruction_emit_pattern_122(xed_encoder_request_t * xes)2219 void xed_encode_instruction_emit_pattern_122(xed_encoder_request_t* xes)
2220 {
2221        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2222        xed_encoder_request_emit_legacy_map(xes);
2223        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2224        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2225        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2226        xed_encode_nonterminal_MODRM_EMIT(xes);
2227        xed_encode_nonterminal_ESIZE_16_BITS_EMIT(xes);
2228        xed_encode_nonterminal_NELEM_TUPLE1_WORD_EMIT(xes);
2229 }
xed_encode_instruction_emit_pattern_123(xed_encoder_request_t * xes)2230 void xed_encode_instruction_emit_pattern_123(xed_encoder_request_t* xes)
2231 {
2232        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2233        xed_encoder_request_emit_legacy_map(xes);
2234        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2235        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2236        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2237        xed_encode_nonterminal_MODRM_EMIT(xes);
2238        xed_encode_nonterminal_ESIZE_64_BITS_EMIT(xes);
2239        xed_encode_nonterminal_NELEM_TUPLE1_EMIT(xes);
2240 }
xed_encode_instruction_emit_pattern_124(xed_encoder_request_t * xes)2241 void xed_encode_instruction_emit_pattern_124(xed_encoder_request_t* xes)
2242 {
2243        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2244        xed_encode_nonterminal_DF64_EMIT(xes);
2245        xed_encode_nonterminal_UIMM16_EMIT(xes);
2246        xed_encode_nonterminal_UIMM8_1_EMIT(xes);
2247 }
xed_encode_instruction_emit_pattern_125(xed_encoder_request_t * xes)2248 void xed_encode_instruction_emit_pattern_125(xed_encoder_request_t* xes)
2249 {
2250        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2251        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2252        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2253        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2254        xed_encode_nonterminal_DF64_EMIT(xes);
2255        xed_encode_nonterminal_MODRM_EMIT(xes);
2256 }
xed_encode_instruction_emit_pattern_126(xed_encoder_request_t * xes)2257 void xed_encode_instruction_emit_pattern_126(xed_encoder_request_t* xes)
2258 {
2259        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2260        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2261        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2262        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2263        xed_encode_nonterminal_DF64_EMIT(xes);
2264 }
xed_encode_instruction_emit_pattern_127(xed_encoder_request_t * xes)2265 void xed_encode_instruction_emit_pattern_127(xed_encoder_request_t* xes)
2266 {
2267        xed_encoder_request_encode_emit(xes,5,xed_encoder_get_nominal_opcode(xes));
2268        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_srm(xes));
2269        xed_encode_nonterminal_DF64_EMIT(xes);
2270 }
xed_encode_instruction_emit_pattern_128(xed_encoder_request_t * xes)2271 void xed_encode_instruction_emit_pattern_128(xed_encoder_request_t* xes)
2272 {
2273        xed_encoder_request_emit_legacy_map(xes);
2274        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2275        xed_encode_nonterminal_DF64_EMIT(xes);
2276 }
xed_encode_instruction_emit_pattern_129(xed_encoder_request_t * xes)2277 void xed_encode_instruction_emit_pattern_129(xed_encoder_request_t* xes)
2278 {
2279        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2280        xed_encoder_request_emit_legacy_map(xes);
2281        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2282        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2283        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2284        xed_encode_nonterminal_MODRM_EMIT(xes);
2285        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
2286        xed_encode_nonterminal_NELEM_TUPLE2_EMIT(xes);
2287 }
xed_encode_instruction_emit_pattern_130(xed_encoder_request_t * xes)2288 void xed_encode_instruction_emit_pattern_130(xed_encoder_request_t* xes)
2289 {
2290        xed_encoder_request_emit_legacy_map(xes);
2291        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2292        xed_encode_nonterminal_REFINING66_EMIT(xes);
2293        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2294        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2295        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2296        xed_encode_nonterminal_MODRM_EMIT(xes);
2297        xed_encode_nonterminal_UIMM8_EMIT(xes);
2298 }
xed_encode_instruction_emit_pattern_131(xed_encoder_request_t * xes)2299 void xed_encode_instruction_emit_pattern_131(xed_encoder_request_t* xes)
2300 {
2301        xed_encoder_request_emit_legacy_map(xes);
2302        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2303        xed_encode_nonterminal_REFINING66_EMIT(xes);
2304        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2305        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2306        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2307        xed_encode_nonterminal_UIMM8_EMIT(xes);
2308 }
xed_encode_instruction_emit_pattern_132(xed_encoder_request_t * xes)2309 void xed_encode_instruction_emit_pattern_132(xed_encoder_request_t* xes)
2310 {
2311        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2312        xed_encode_nonterminal_UIMM8_EMIT(xes);
2313        xed_encode_nonterminal_IMMUNE_REXW_EMIT(xes);
2314 }
xed_encode_instruction_emit_pattern_133(xed_encoder_request_t * xes)2315 void xed_encode_instruction_emit_pattern_133(xed_encoder_request_t* xes)
2316 {
2317        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2318        xed_encode_nonterminal_IMMUNE_REXW_EMIT(xes);
2319 }
xed_encode_instruction_emit_pattern_134(xed_encoder_request_t * xes)2320 void xed_encode_instruction_emit_pattern_134(xed_encoder_request_t* xes)
2321 {
2322        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2323        xed_encode_nonterminal_BRDISP8_EMIT(xes);
2324        xed_encode_nonterminal_FORCE64_EMIT(xes);
2325 }
xed_encode_instruction_emit_pattern_135(xed_encoder_request_t * xes)2326 void xed_encode_instruction_emit_pattern_135(xed_encoder_request_t* xes)
2327 {
2328        xed_encoder_request_emit_legacy_map(xes);
2329        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2330        xed_encode_nonterminal_IMMUNE66_EMIT(xes);
2331        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2332        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2333        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2334        xed_encode_nonterminal_MODRM_EMIT(xes);
2335        xed_encode_nonterminal_UIMM8_EMIT(xes);
2336 }
xed_encode_instruction_emit_pattern_136(xed_encoder_request_t * xes)2337 void xed_encode_instruction_emit_pattern_136(xed_encoder_request_t* xes)
2338 {
2339        xed_encoder_request_emit_legacy_map(xes);
2340        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2341        xed_encode_nonterminal_IMMUNE66_EMIT(xes);
2342        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2343        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2344        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2345        xed_encode_nonterminal_UIMM8_EMIT(xes);
2346 }
xed_encode_instruction_emit_pattern_137(xed_encoder_request_t * xes)2347 void xed_encode_instruction_emit_pattern_137(xed_encoder_request_t* xes)
2348 {
2349        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2350        xed_encoder_request_emit_legacy_map(xes);
2351        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2352        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2353        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2354        xed_encode_nonterminal_MODRM_EMIT(xes);
2355        xed_encode_nonterminal_ESIZE_64_BITS_EMIT(xes);
2356        xed_encode_nonterminal_NELEM_FULLMEM_EMIT(xes);
2357 }
xed_encode_instruction_emit_pattern_138(xed_encoder_request_t * xes)2358 void xed_encode_instruction_emit_pattern_138(xed_encoder_request_t* xes)
2359 {
2360        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2361        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2362        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2363        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2364        xed_encode_nonterminal_MODRM_EMIT(xes);
2365        xed_encode_nonterminal_REMOVE_SEGMENT_EMIT(xes);
2366 }
xed_encode_instruction_emit_pattern_139(xed_encoder_request_t * xes)2367 void xed_encode_instruction_emit_pattern_139(xed_encoder_request_t* xes)
2368 {
2369        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2370        xed_encoder_request_emit_legacy_map(xes);
2371        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2372        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2373        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2374        xed_encode_nonterminal_MODRM_EMIT(xes);
2375        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
2376        xed_encode_nonterminal_NELEM_GPR_WRITER_LDOP_D_EMIT(xes);
2377 }
xed_encode_instruction_emit_pattern_140(xed_encoder_request_t * xes)2378 void xed_encode_instruction_emit_pattern_140(xed_encoder_request_t* xes)
2379 {
2380        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2381        xed_encode_nonterminal_BRDISPz_EMIT(xes);
2382        xed_encode_nonterminal_UIMM16_EMIT(xes);
2383 }
xed_encode_instruction_emit_pattern_141(xed_encoder_request_t * xes)2384 void xed_encode_instruction_emit_pattern_141(xed_encoder_request_t* xes)
2385 {
2386        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2387        xed_encode_nonterminal_BRDISP32_EMIT(xes);
2388        xed_encode_nonterminal_DF64_EMIT(xes);
2389        xed_encode_nonterminal_FORCE64_EMIT(xes);
2390 }
xed_encode_instruction_emit_pattern_142(xed_encoder_request_t * xes)2391 void xed_encode_instruction_emit_pattern_142(xed_encoder_request_t* xes)
2392 {
2393        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2394        xed_encoder_request_emit_legacy_map(xes);
2395        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2396        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2397        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2398        xed_encode_nonterminal_MODRM_EMIT(xes);
2399        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
2400        xed_encode_nonterminal_NELEM_HALF_EMIT(xes);
2401 }
xed_encode_instruction_emit_pattern_143(xed_encoder_request_t * xes)2402 void xed_encode_instruction_emit_pattern_143(xed_encoder_request_t* xes)
2403 {
2404        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2405        xed_encoder_request_emit_legacy_map(xes);
2406        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2407        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2408        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2409        xed_encode_nonterminal_MODRM_EMIT(xes);
2410        xed_encode_nonterminal_ESIZE_64_BITS_EMIT(xes);
2411        xed_encode_nonterminal_NELEM_GPR_WRITER_STORE_EMIT(xes);
2412 }
xed_encode_instruction_emit_pattern_144(xed_encoder_request_t * xes)2413 void xed_encode_instruction_emit_pattern_144(xed_encoder_request_t* xes)
2414 {
2415        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2416        xed_encoder_request_emit_legacy_map(xes);
2417        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2418        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2419        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2420        xed_encode_nonterminal_MODRM_EMIT(xes);
2421        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
2422        xed_encode_nonterminal_NELEM_GPR_WRITER_STORE_EMIT(xes);
2423 }
xed_encode_instruction_emit_pattern_145(xed_encoder_request_t * xes)2424 void xed_encode_instruction_emit_pattern_145(xed_encoder_request_t* xes)
2425 {
2426        xed_encoder_request_emit_legacy_map(xes);
2427        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2428        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2429        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2430        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2431        xed_encode_nonterminal_MODRM_EMIT(xes);
2432        xed_encode_nonterminal_CR_WIDTH_EMIT(xes);
2433 }
xed_encode_instruction_emit_pattern_146(xed_encoder_request_t * xes)2434 void xed_encode_instruction_emit_pattern_146(xed_encoder_request_t* xes)
2435 {
2436        xed_encoder_request_emit_legacy_map(xes);
2437        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2438        xed_encode_nonterminal_FORCE64_EMIT(xes);
2439 }
xed_encode_instruction_emit_pattern_147(xed_encoder_request_t * xes)2440 void xed_encode_instruction_emit_pattern_147(xed_encoder_request_t* xes)
2441 {
2442        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2443        xed_encoder_request_emit_legacy_map(xes);
2444        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2445        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2446        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2447        xed_encode_nonterminal_MODRM_EMIT(xes);
2448        xed_encode_nonterminal_ESIZE_64_BITS_EMIT(xes);
2449        xed_encode_nonterminal_NELEM_GSCAT_EMIT(xes);
2450 }
xed_encode_instruction_emit_pattern_148(xed_encoder_request_t * xes)2451 void xed_encode_instruction_emit_pattern_148(xed_encoder_request_t* xes)
2452 {
2453        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2454        xed_encoder_request_emit_legacy_map(xes);
2455        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2456        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2457        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2458        xed_encode_nonterminal_MODRM_EMIT(xes);
2459        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
2460        xed_encode_nonterminal_NELEM_GSCAT_EMIT(xes);
2461 }
xed_encode_instruction_emit_pattern_149(xed_encoder_request_t * xes)2462 void xed_encode_instruction_emit_pattern_149(xed_encoder_request_t* xes)
2463 {
2464        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2465        xed_encoder_request_emit_legacy_map(xes);
2466        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2467        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2468        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2469        xed_encode_nonterminal_MODRM_EMIT(xes);
2470        xed_encode_nonterminal_ESIZE_8_BITS_EMIT(xes);
2471        xed_encode_nonterminal_NELEM_GSCAT_EMIT(xes);
2472 }
xed_encode_instruction_emit_pattern_150(xed_encoder_request_t * xes)2473 void xed_encode_instruction_emit_pattern_150(xed_encoder_request_t* xes)
2474 {
2475        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2476        xed_encoder_request_emit_legacy_map(xes);
2477        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2478        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2479        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2480        xed_encode_nonterminal_MODRM_EMIT(xes);
2481        xed_encode_nonterminal_ESIZE_16_BITS_EMIT(xes);
2482        xed_encode_nonterminal_NELEM_GSCAT_EMIT(xes);
2483 }
xed_encode_instruction_emit_pattern_151(xed_encoder_request_t * xes)2484 void xed_encode_instruction_emit_pattern_151(xed_encoder_request_t* xes)
2485 {
2486        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2487        xed_encode_nonterminal_DF64_EMIT(xes);
2488        xed_encode_nonterminal_SIMMz_EMIT(xes);
2489 }
xed_encode_instruction_emit_pattern_152(xed_encoder_request_t * xes)2490 void xed_encode_instruction_emit_pattern_152(xed_encoder_request_t* xes)
2491 {
2492        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2493        xed_encode_nonterminal_DF64_EMIT(xes);
2494        xed_encode_nonterminal_SIMM8_EMIT(xes);
2495 }
xed_encode_instruction_emit_pattern_153(xed_encoder_request_t * xes)2496 void xed_encode_instruction_emit_pattern_153(xed_encoder_request_t* xes)
2497 {
2498        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2499        xed_encoder_request_emit_legacy_map(xes);
2500        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2501        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2502        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2503        xed_encode_nonterminal_MODRM_EMIT(xes);
2504        xed_encode_nonterminal_UIMM8_EMIT(xes);
2505        xed_encode_nonterminal_ESIZE_8_BITS_EMIT(xes);
2506        xed_encode_nonterminal_NELEM_GPR_WRITER_STORE_BYTE_EMIT(xes);
2507 }
xed_encode_instruction_emit_pattern_154(xed_encoder_request_t * xes)2508 void xed_encode_instruction_emit_pattern_154(xed_encoder_request_t* xes)
2509 {
2510        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2511        xed_encoder_request_emit_legacy_map(xes);
2512        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2513        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2514        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2515        xed_encode_nonterminal_MODRM_EMIT(xes);
2516        xed_encode_nonterminal_UIMM8_EMIT(xes);
2517        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
2518        xed_encode_nonterminal_NELEM_GPR_WRITER_STORE_EMIT(xes);
2519 }
xed_encode_instruction_emit_pattern_155(xed_encoder_request_t * xes)2520 void xed_encode_instruction_emit_pattern_155(xed_encoder_request_t* xes)
2521 {
2522        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2523        xed_encoder_request_emit_legacy_map(xes);
2524        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2525        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2526        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2527        xed_encode_nonterminal_MODRM_EMIT(xes);
2528        xed_encode_nonterminal_UIMM8_EMIT(xes);
2529        xed_encode_nonterminal_ESIZE_64_BITS_EMIT(xes);
2530        xed_encode_nonterminal_NELEM_GPR_WRITER_STORE_EMIT(xes);
2531 }
xed_encode_instruction_emit_pattern_156(xed_encoder_request_t * xes)2532 void xed_encode_instruction_emit_pattern_156(xed_encoder_request_t* xes)
2533 {
2534        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2535        xed_encoder_request_emit_legacy_map(xes);
2536        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2537        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2538        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2539        xed_encode_nonterminal_MODRM_EMIT(xes);
2540        xed_encode_nonterminal_UIMM8_EMIT(xes);
2541        xed_encode_nonterminal_ESIZE_16_BITS_EMIT(xes);
2542        xed_encode_nonterminal_NELEM_GPR_WRITER_STORE_WORD_EMIT(xes);
2543 }
xed_encode_instruction_emit_pattern_157(xed_encoder_request_t * xes)2544 void xed_encode_instruction_emit_pattern_157(xed_encoder_request_t* xes)
2545 {
2546        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2547        xed_encoder_request_emit_legacy_map(xes);
2548        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2549        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2550        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2551        xed_encode_nonterminal_MODRM_EMIT(xes);
2552        xed_encode_nonterminal_UIMM8_EMIT(xes);
2553        xed_encode_nonterminal_ESIZE_8_BITS_EMIT(xes);
2554        xed_encode_nonterminal_NELEM_GPR_READER_BYTE_EMIT(xes);
2555 }
xed_encode_instruction_emit_pattern_158(xed_encoder_request_t * xes)2556 void xed_encode_instruction_emit_pattern_158(xed_encoder_request_t* xes)
2557 {
2558        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2559        xed_encoder_request_emit_legacy_map(xes);
2560        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2561        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2562        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2563        xed_encode_nonterminal_MODRM_EMIT(xes);
2564        xed_encode_nonterminal_UIMM8_EMIT(xes);
2565        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
2566        xed_encode_nonterminal_NELEM_GPR_READER_EMIT(xes);
2567 }
xed_encode_instruction_emit_pattern_159(xed_encoder_request_t * xes)2568 void xed_encode_instruction_emit_pattern_159(xed_encoder_request_t* xes)
2569 {
2570        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2571        xed_encoder_request_emit_legacy_map(xes);
2572        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2573        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2574        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2575        xed_encode_nonterminal_MODRM_EMIT(xes);
2576        xed_encode_nonterminal_UIMM8_EMIT(xes);
2577        xed_encode_nonterminal_ESIZE_64_BITS_EMIT(xes);
2578        xed_encode_nonterminal_NELEM_GPR_READER_EMIT(xes);
2579 }
xed_encode_instruction_emit_pattern_160(xed_encoder_request_t * xes)2580 void xed_encode_instruction_emit_pattern_160(xed_encoder_request_t* xes)
2581 {
2582        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2583        xed_encoder_request_emit_legacy_map(xes);
2584        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2585        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2586        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2587        xed_encode_nonterminal_MODRM_EMIT(xes);
2588        xed_encode_nonterminal_UIMM8_EMIT(xes);
2589        xed_encode_nonterminal_ESIZE_16_BITS_EMIT(xes);
2590        xed_encode_nonterminal_NELEM_GPR_READER_WORD_EMIT(xes);
2591 }
xed_encode_instruction_emit_pattern_161(xed_encoder_request_t * xes)2592 void xed_encode_instruction_emit_pattern_161(xed_encoder_request_t* xes)
2593 {
2594        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2595        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2596        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2597        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2598        xed_encode_nonterminal_BRDISPz_EMIT(xes);
2599 }
xed_encode_instruction_emit_pattern_162(xed_encoder_request_t * xes)2600 void xed_encode_instruction_emit_pattern_162(xed_encoder_request_t* xes)
2601 {
2602        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2603        xed_encoder_request_emit_legacy_map(xes);
2604        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2605        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2606        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2607        xed_encode_nonterminal_MODRM_EMIT(xes);
2608        xed_encode_nonterminal_UIMM32_EMIT(xes);
2609 }
xed_encode_instruction_emit_pattern_163(xed_encoder_request_t * xes)2610 void xed_encode_instruction_emit_pattern_163(xed_encoder_request_t* xes)
2611 {
2612        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2613        xed_encoder_request_emit_legacy_map(xes);
2614        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2615        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2616        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2617        xed_encode_nonterminal_UIMM32_EMIT(xes);
2618 }
xed_encode_instruction_emit_pattern_164(xed_encoder_request_t * xes)2619 void xed_encode_instruction_emit_pattern_164(xed_encoder_request_t* xes)
2620 {
2621        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2622        xed_encoder_request_emit_legacy_map(xes);
2623        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2624        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2625        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2626        xed_encode_nonterminal_MODRM_EMIT(xes);
2627        xed_encode_nonterminal_UIMM8_EMIT(xes);
2628        xed_encode_nonterminal_ESIZE_16_BITS_EMIT(xes);
2629        xed_encode_nonterminal_NELEM_HALFMEM_EMIT(xes);
2630 }
xed_encode_instruction_emit_pattern_165(xed_encoder_request_t * xes)2631 void xed_encode_instruction_emit_pattern_165(xed_encoder_request_t* xes)
2632 {
2633        xed_encoder_request_emit_legacy_map(xes);
2634        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2635        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2636        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2637        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2638        xed_encode_nonterminal_MODRM_EMIT(xes);
2639        xed_encode_nonterminal_REFINING66_EMIT(xes);
2640 }
xed_encode_instruction_emit_pattern_166(xed_encoder_request_t * xes)2641 void xed_encode_instruction_emit_pattern_166(xed_encoder_request_t* xes)
2642 {
2643        xed_encoder_request_emit_legacy_map(xes);
2644        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2645        xed_encode_nonterminal_REFINING66_EMIT(xes);
2646        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2647        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2648        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2649        xed_encode_nonterminal_UIMM8_EMIT(xes);
2650        xed_encode_nonterminal_UIMM8_1_EMIT(xes);
2651 }
xed_encode_instruction_emit_pattern_167(xed_encoder_request_t * xes)2652 void xed_encode_instruction_emit_pattern_167(xed_encoder_request_t* xes)
2653 {
2654        xed_encoder_request_emit_legacy_map(xes);
2655        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2656        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2657        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2658        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2659        xed_encode_nonterminal_REFINING66_EMIT(xes);
2660        xed_encode_nonterminal_OVERRIDE_SEG0_EMIT(xes);
2661 }
xed_encode_instruction_emit_pattern_168(xed_encoder_request_t * xes)2662 void xed_encode_instruction_emit_pattern_168(xed_encoder_request_t* xes)
2663 {
2664        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2665        xed_encoder_request_emit_legacy_map(xes);
2666        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2667        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2668        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2669        xed_encode_nonterminal_MODRM_EMIT(xes);
2670        xed_encode_nonterminal_UIMM8_EMIT(xes);
2671        xed_encode_nonterminal_ESIZE_32_BITS_EMIT(xes);
2672        xed_encode_nonterminal_NELEM_TUPLE1_EMIT(xes);
2673 }
xed_encode_instruction_emit_pattern_169(xed_encoder_request_t * xes)2674 void xed_encode_instruction_emit_pattern_169(xed_encoder_request_t* xes)
2675 {
2676        xed_encoder_request_emit_legacy_map(xes);
2677        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2678        xed_encoder_request_encode_emit(xes, 2, xed3_operand_get_mod(xes));
2679        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_reg(xes));
2680        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_rm(xes));
2681        xed_encode_nonterminal_OVERRIDE_SEG0_EMIT(xes);
2682 }
xed_encode_instruction_emit_pattern_170(xed_encoder_request_t * xes)2683 void xed_encode_instruction_emit_pattern_170(xed_encoder_request_t* xes)
2684 {
2685        xed_encoder_request_emit_legacy_map(xes);
2686        xed_encoder_request_emit_bytes(xes,8,xed_encoder_get_nominal_opcode(xes));
2687        xed_encode_nonterminal_IGNORE66_EMIT(xes);
2688 }
xed_encode_instruction_emit_pattern_171(xed_encoder_request_t * xes)2689 void xed_encode_instruction_emit_pattern_171(xed_encoder_request_t* xes)
2690 {
2691        xed_encoder_request_emit_legacy_map(xes);
2692        xed_encoder_request_encode_emit(xes,5,xed_encoder_get_nominal_opcode(xes));
2693        xed_encoder_request_encode_emit(xes, 3, xed3_operand_get_srm(xes));
2694 }
2695