License cleanup: add SPDX GPL-2.0 license identifier to files with no license
[sfrench/cifs-2.6.git] / tools / perf / arch / x86 / tests / insn-x86-dat-64.c
1 // SPDX-License-Identifier: GPL-2.0
2 /*
3  * Generated by gen-insn-x86-dat.sh and gen-insn-x86-dat.awk
4  * from insn-x86-dat-src.c for inclusion by insn-x86.c
5  * Do not change this code.
6 */
7
8 {{0x0f, 0x31, }, 2, 0, "", "",
9 "0f 31                \trdtsc  ",},
10 {{0xc4, 0xe2, 0x7d, 0x13, 0xeb, }, 5, 0, "", "",
11 "c4 e2 7d 13 eb       \tvcvtph2ps %xmm3,%ymm5",},
12 {{0x48, 0x0f, 0x41, 0xd8, }, 4, 0, "", "",
13 "48 0f 41 d8          \tcmovno %rax,%rbx",},
14 {{0x48, 0x0f, 0x41, 0x88, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
15 "48 0f 41 88 78 56 34 12 \tcmovno 0x12345678(%rax),%rcx",},
16 {{0x66, 0x0f, 0x41, 0x88, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
17 "66 0f 41 88 78 56 34 12 \tcmovno 0x12345678(%rax),%cx",},
18 {{0x48, 0x0f, 0x44, 0xd8, }, 4, 0, "", "",
19 "48 0f 44 d8          \tcmove  %rax,%rbx",},
20 {{0x48, 0x0f, 0x44, 0x88, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
21 "48 0f 44 88 78 56 34 12 \tcmove  0x12345678(%rax),%rcx",},
22 {{0x66, 0x0f, 0x44, 0x88, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
23 "66 0f 44 88 78 56 34 12 \tcmove  0x12345678(%rax),%cx",},
24 {{0x0f, 0x90, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
25 "0f 90 80 78 56 34 12 \tseto   0x12345678(%rax)",},
26 {{0x0f, 0x91, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
27 "0f 91 80 78 56 34 12 \tsetno  0x12345678(%rax)",},
28 {{0x0f, 0x92, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
29 "0f 92 80 78 56 34 12 \tsetb   0x12345678(%rax)",},
30 {{0x0f, 0x92, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
31 "0f 92 80 78 56 34 12 \tsetb   0x12345678(%rax)",},
32 {{0x0f, 0x92, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
33 "0f 92 80 78 56 34 12 \tsetb   0x12345678(%rax)",},
34 {{0x0f, 0x93, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
35 "0f 93 80 78 56 34 12 \tsetae  0x12345678(%rax)",},
36 {{0x0f, 0x93, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
37 "0f 93 80 78 56 34 12 \tsetae  0x12345678(%rax)",},
38 {{0x0f, 0x93, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
39 "0f 93 80 78 56 34 12 \tsetae  0x12345678(%rax)",},
40 {{0x0f, 0x98, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
41 "0f 98 80 78 56 34 12 \tsets   0x12345678(%rax)",},
42 {{0x0f, 0x99, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
43 "0f 99 80 78 56 34 12 \tsetns  0x12345678(%rax)",},
44 {{0xc5, 0xcc, 0x41, 0xef, }, 4, 0, "", "",
45 "c5 cc 41 ef          \tkandw  %k7,%k6,%k5",},
46 {{0xc4, 0xe1, 0xcc, 0x41, 0xef, }, 5, 0, "", "",
47 "c4 e1 cc 41 ef       \tkandq  %k7,%k6,%k5",},
48 {{0xc5, 0xcd, 0x41, 0xef, }, 4, 0, "", "",
49 "c5 cd 41 ef          \tkandb  %k7,%k6,%k5",},
50 {{0xc4, 0xe1, 0xcd, 0x41, 0xef, }, 5, 0, "", "",
51 "c4 e1 cd 41 ef       \tkandd  %k7,%k6,%k5",},
52 {{0xc5, 0xcc, 0x42, 0xef, }, 4, 0, "", "",
53 "c5 cc 42 ef          \tkandnw %k7,%k6,%k5",},
54 {{0xc4, 0xe1, 0xcc, 0x42, 0xef, }, 5, 0, "", "",
55 "c4 e1 cc 42 ef       \tkandnq %k7,%k6,%k5",},
56 {{0xc5, 0xcd, 0x42, 0xef, }, 4, 0, "", "",
57 "c5 cd 42 ef          \tkandnb %k7,%k6,%k5",},
58 {{0xc4, 0xe1, 0xcd, 0x42, 0xef, }, 5, 0, "", "",
59 "c4 e1 cd 42 ef       \tkandnd %k7,%k6,%k5",},
60 {{0xc5, 0xf8, 0x44, 0xf7, }, 4, 0, "", "",
61 "c5 f8 44 f7          \tknotw  %k7,%k6",},
62 {{0xc4, 0xe1, 0xf8, 0x44, 0xf7, }, 5, 0, "", "",
63 "c4 e1 f8 44 f7       \tknotq  %k7,%k6",},
64 {{0xc5, 0xf9, 0x44, 0xf7, }, 4, 0, "", "",
65 "c5 f9 44 f7          \tknotb  %k7,%k6",},
66 {{0xc4, 0xe1, 0xf9, 0x44, 0xf7, }, 5, 0, "", "",
67 "c4 e1 f9 44 f7       \tknotd  %k7,%k6",},
68 {{0xc5, 0xcc, 0x45, 0xef, }, 4, 0, "", "",
69 "c5 cc 45 ef          \tkorw   %k7,%k6,%k5",},
70 {{0xc4, 0xe1, 0xcc, 0x45, 0xef, }, 5, 0, "", "",
71 "c4 e1 cc 45 ef       \tkorq   %k7,%k6,%k5",},
72 {{0xc5, 0xcd, 0x45, 0xef, }, 4, 0, "", "",
73 "c5 cd 45 ef          \tkorb   %k7,%k6,%k5",},
74 {{0xc4, 0xe1, 0xcd, 0x45, 0xef, }, 5, 0, "", "",
75 "c4 e1 cd 45 ef       \tkord   %k7,%k6,%k5",},
76 {{0xc5, 0xcc, 0x46, 0xef, }, 4, 0, "", "",
77 "c5 cc 46 ef          \tkxnorw %k7,%k6,%k5",},
78 {{0xc4, 0xe1, 0xcc, 0x46, 0xef, }, 5, 0, "", "",
79 "c4 e1 cc 46 ef       \tkxnorq %k7,%k6,%k5",},
80 {{0xc5, 0xcd, 0x46, 0xef, }, 4, 0, "", "",
81 "c5 cd 46 ef          \tkxnorb %k7,%k6,%k5",},
82 {{0xc4, 0xe1, 0xcd, 0x46, 0xef, }, 5, 0, "", "",
83 "c4 e1 cd 46 ef       \tkxnord %k7,%k6,%k5",},
84 {{0xc5, 0xcc, 0x47, 0xef, }, 4, 0, "", "",
85 "c5 cc 47 ef          \tkxorw  %k7,%k6,%k5",},
86 {{0xc4, 0xe1, 0xcc, 0x47, 0xef, }, 5, 0, "", "",
87 "c4 e1 cc 47 ef       \tkxorq  %k7,%k6,%k5",},
88 {{0xc5, 0xcd, 0x47, 0xef, }, 4, 0, "", "",
89 "c5 cd 47 ef          \tkxorb  %k7,%k6,%k5",},
90 {{0xc4, 0xe1, 0xcd, 0x47, 0xef, }, 5, 0, "", "",
91 "c4 e1 cd 47 ef       \tkxord  %k7,%k6,%k5",},
92 {{0xc5, 0xcc, 0x4a, 0xef, }, 4, 0, "", "",
93 "c5 cc 4a ef          \tkaddw  %k7,%k6,%k5",},
94 {{0xc4, 0xe1, 0xcc, 0x4a, 0xef, }, 5, 0, "", "",
95 "c4 e1 cc 4a ef       \tkaddq  %k7,%k6,%k5",},
96 {{0xc5, 0xcd, 0x4a, 0xef, }, 4, 0, "", "",
97 "c5 cd 4a ef          \tkaddb  %k7,%k6,%k5",},
98 {{0xc4, 0xe1, 0xcd, 0x4a, 0xef, }, 5, 0, "", "",
99 "c4 e1 cd 4a ef       \tkaddd  %k7,%k6,%k5",},
100 {{0xc5, 0xcd, 0x4b, 0xef, }, 4, 0, "", "",
101 "c5 cd 4b ef          \tkunpckbw %k7,%k6,%k5",},
102 {{0xc5, 0xcc, 0x4b, 0xef, }, 4, 0, "", "",
103 "c5 cc 4b ef          \tkunpckwd %k7,%k6,%k5",},
104 {{0xc4, 0xe1, 0xcc, 0x4b, 0xef, }, 5, 0, "", "",
105 "c4 e1 cc 4b ef       \tkunpckdq %k7,%k6,%k5",},
106 {{0xc5, 0xf8, 0x90, 0xee, }, 4, 0, "", "",
107 "c5 f8 90 ee          \tkmovw  %k6,%k5",},
108 {{0xc5, 0xf8, 0x90, 0x29, }, 4, 0, "", "",
109 "c5 f8 90 29          \tkmovw  (%rcx),%k5",},
110 {{0xc4, 0xa1, 0x78, 0x90, 0xac, 0xf0, 0x23, 0x01, 0x00, 0x00, }, 10, 0, "", "",
111 "c4 a1 78 90 ac f0 23 01 00 00 \tkmovw  0x123(%rax,%r14,8),%k5",},
112 {{0xc5, 0xf8, 0x91, 0x29, }, 4, 0, "", "",
113 "c5 f8 91 29          \tkmovw  %k5,(%rcx)",},
114 {{0xc4, 0xa1, 0x78, 0x91, 0xac, 0xf0, 0x23, 0x01, 0x00, 0x00, }, 10, 0, "", "",
115 "c4 a1 78 91 ac f0 23 01 00 00 \tkmovw  %k5,0x123(%rax,%r14,8)",},
116 {{0xc5, 0xf8, 0x92, 0xe8, }, 4, 0, "", "",
117 "c5 f8 92 e8          \tkmovw  %eax,%k5",},
118 {{0xc5, 0xf8, 0x92, 0xed, }, 4, 0, "", "",
119 "c5 f8 92 ed          \tkmovw  %ebp,%k5",},
120 {{0xc4, 0xc1, 0x78, 0x92, 0xed, }, 5, 0, "", "",
121 "c4 c1 78 92 ed       \tkmovw  %r13d,%k5",},
122 {{0xc5, 0xf8, 0x93, 0xc5, }, 4, 0, "", "",
123 "c5 f8 93 c5          \tkmovw  %k5,%eax",},
124 {{0xc5, 0xf8, 0x93, 0xed, }, 4, 0, "", "",
125 "c5 f8 93 ed          \tkmovw  %k5,%ebp",},
126 {{0xc5, 0x78, 0x93, 0xed, }, 4, 0, "", "",
127 "c5 78 93 ed          \tkmovw  %k5,%r13d",},
128 {{0xc4, 0xe1, 0xf8, 0x90, 0xee, }, 5, 0, "", "",
129 "c4 e1 f8 90 ee       \tkmovq  %k6,%k5",},
130 {{0xc4, 0xe1, 0xf8, 0x90, 0x29, }, 5, 0, "", "",
131 "c4 e1 f8 90 29       \tkmovq  (%rcx),%k5",},
132 {{0xc4, 0xa1, 0xf8, 0x90, 0xac, 0xf0, 0x23, 0x01, 0x00, 0x00, }, 10, 0, "", "",
133 "c4 a1 f8 90 ac f0 23 01 00 00 \tkmovq  0x123(%rax,%r14,8),%k5",},
134 {{0xc4, 0xe1, 0xf8, 0x91, 0x29, }, 5, 0, "", "",
135 "c4 e1 f8 91 29       \tkmovq  %k5,(%rcx)",},
136 {{0xc4, 0xa1, 0xf8, 0x91, 0xac, 0xf0, 0x23, 0x01, 0x00, 0x00, }, 10, 0, "", "",
137 "c4 a1 f8 91 ac f0 23 01 00 00 \tkmovq  %k5,0x123(%rax,%r14,8)",},
138 {{0xc4, 0xe1, 0xfb, 0x92, 0xe8, }, 5, 0, "", "",
139 "c4 e1 fb 92 e8       \tkmovq  %rax,%k5",},
140 {{0xc4, 0xe1, 0xfb, 0x92, 0xed, }, 5, 0, "", "",
141 "c4 e1 fb 92 ed       \tkmovq  %rbp,%k5",},
142 {{0xc4, 0xc1, 0xfb, 0x92, 0xed, }, 5, 0, "", "",
143 "c4 c1 fb 92 ed       \tkmovq  %r13,%k5",},
144 {{0xc4, 0xe1, 0xfb, 0x93, 0xc5, }, 5, 0, "", "",
145 "c4 e1 fb 93 c5       \tkmovq  %k5,%rax",},
146 {{0xc4, 0xe1, 0xfb, 0x93, 0xed, }, 5, 0, "", "",
147 "c4 e1 fb 93 ed       \tkmovq  %k5,%rbp",},
148 {{0xc4, 0x61, 0xfb, 0x93, 0xed, }, 5, 0, "", "",
149 "c4 61 fb 93 ed       \tkmovq  %k5,%r13",},
150 {{0xc5, 0xf9, 0x90, 0xee, }, 4, 0, "", "",
151 "c5 f9 90 ee          \tkmovb  %k6,%k5",},
152 {{0xc5, 0xf9, 0x90, 0x29, }, 4, 0, "", "",
153 "c5 f9 90 29          \tkmovb  (%rcx),%k5",},
154 {{0xc4, 0xa1, 0x79, 0x90, 0xac, 0xf0, 0x23, 0x01, 0x00, 0x00, }, 10, 0, "", "",
155 "c4 a1 79 90 ac f0 23 01 00 00 \tkmovb  0x123(%rax,%r14,8),%k5",},
156 {{0xc5, 0xf9, 0x91, 0x29, }, 4, 0, "", "",
157 "c5 f9 91 29          \tkmovb  %k5,(%rcx)",},
158 {{0xc4, 0xa1, 0x79, 0x91, 0xac, 0xf0, 0x23, 0x01, 0x00, 0x00, }, 10, 0, "", "",
159 "c4 a1 79 91 ac f0 23 01 00 00 \tkmovb  %k5,0x123(%rax,%r14,8)",},
160 {{0xc5, 0xf9, 0x92, 0xe8, }, 4, 0, "", "",
161 "c5 f9 92 e8          \tkmovb  %eax,%k5",},
162 {{0xc5, 0xf9, 0x92, 0xed, }, 4, 0, "", "",
163 "c5 f9 92 ed          \tkmovb  %ebp,%k5",},
164 {{0xc4, 0xc1, 0x79, 0x92, 0xed, }, 5, 0, "", "",
165 "c4 c1 79 92 ed       \tkmovb  %r13d,%k5",},
166 {{0xc5, 0xf9, 0x93, 0xc5, }, 4, 0, "", "",
167 "c5 f9 93 c5          \tkmovb  %k5,%eax",},
168 {{0xc5, 0xf9, 0x93, 0xed, }, 4, 0, "", "",
169 "c5 f9 93 ed          \tkmovb  %k5,%ebp",},
170 {{0xc5, 0x79, 0x93, 0xed, }, 4, 0, "", "",
171 "c5 79 93 ed          \tkmovb  %k5,%r13d",},
172 {{0xc4, 0xe1, 0xf9, 0x90, 0xee, }, 5, 0, "", "",
173 "c4 e1 f9 90 ee       \tkmovd  %k6,%k5",},
174 {{0xc4, 0xe1, 0xf9, 0x90, 0x29, }, 5, 0, "", "",
175 "c4 e1 f9 90 29       \tkmovd  (%rcx),%k5",},
176 {{0xc4, 0xa1, 0xf9, 0x90, 0xac, 0xf0, 0x23, 0x01, 0x00, 0x00, }, 10, 0, "", "",
177 "c4 a1 f9 90 ac f0 23 01 00 00 \tkmovd  0x123(%rax,%r14,8),%k5",},
178 {{0xc4, 0xe1, 0xf9, 0x91, 0x29, }, 5, 0, "", "",
179 "c4 e1 f9 91 29       \tkmovd  %k5,(%rcx)",},
180 {{0xc4, 0xa1, 0xf9, 0x91, 0xac, 0xf0, 0x23, 0x01, 0x00, 0x00, }, 10, 0, "", "",
181 "c4 a1 f9 91 ac f0 23 01 00 00 \tkmovd  %k5,0x123(%rax,%r14,8)",},
182 {{0xc5, 0xfb, 0x92, 0xe8, }, 4, 0, "", "",
183 "c5 fb 92 e8          \tkmovd  %eax,%k5",},
184 {{0xc5, 0xfb, 0x92, 0xed, }, 4, 0, "", "",
185 "c5 fb 92 ed          \tkmovd  %ebp,%k5",},
186 {{0xc4, 0xc1, 0x7b, 0x92, 0xed, }, 5, 0, "", "",
187 "c4 c1 7b 92 ed       \tkmovd  %r13d,%k5",},
188 {{0xc5, 0xfb, 0x93, 0xc5, }, 4, 0, "", "",
189 "c5 fb 93 c5          \tkmovd  %k5,%eax",},
190 {{0xc5, 0xfb, 0x93, 0xed, }, 4, 0, "", "",
191 "c5 fb 93 ed          \tkmovd  %k5,%ebp",},
192 {{0xc5, 0x7b, 0x93, 0xed, }, 4, 0, "", "",
193 "c5 7b 93 ed          \tkmovd  %k5,%r13d",},
194 {{0xc5, 0xf8, 0x98, 0xee, }, 4, 0, "", "",
195 "c5 f8 98 ee          \tkortestw %k6,%k5",},
196 {{0xc4, 0xe1, 0xf8, 0x98, 0xee, }, 5, 0, "", "",
197 "c4 e1 f8 98 ee       \tkortestq %k6,%k5",},
198 {{0xc5, 0xf9, 0x98, 0xee, }, 4, 0, "", "",
199 "c5 f9 98 ee          \tkortestb %k6,%k5",},
200 {{0xc4, 0xe1, 0xf9, 0x98, 0xee, }, 5, 0, "", "",
201 "c4 e1 f9 98 ee       \tkortestd %k6,%k5",},
202 {{0xc5, 0xf8, 0x99, 0xee, }, 4, 0, "", "",
203 "c5 f8 99 ee          \tktestw %k6,%k5",},
204 {{0xc4, 0xe1, 0xf8, 0x99, 0xee, }, 5, 0, "", "",
205 "c4 e1 f8 99 ee       \tktestq %k6,%k5",},
206 {{0xc5, 0xf9, 0x99, 0xee, }, 4, 0, "", "",
207 "c5 f9 99 ee          \tktestb %k6,%k5",},
208 {{0xc4, 0xe1, 0xf9, 0x99, 0xee, }, 5, 0, "", "",
209 "c4 e1 f9 99 ee       \tktestd %k6,%k5",},
210 {{0xc4, 0xe3, 0xf9, 0x30, 0xee, 0x12, }, 6, 0, "", "",
211 "c4 e3 f9 30 ee 12    \tkshiftrw $0x12,%k6,%k5",},
212 {{0xc4, 0xe3, 0xf9, 0x31, 0xee, 0x5b, }, 6, 0, "", "",
213 "c4 e3 f9 31 ee 5b    \tkshiftrq $0x5b,%k6,%k5",},
214 {{0xc4, 0xe3, 0xf9, 0x32, 0xee, 0x12, }, 6, 0, "", "",
215 "c4 e3 f9 32 ee 12    \tkshiftlw $0x12,%k6,%k5",},
216 {{0xc4, 0xe3, 0xf9, 0x33, 0xee, 0x5b, }, 6, 0, "", "",
217 "c4 e3 f9 33 ee 5b    \tkshiftlq $0x5b,%k6,%k5",},
218 {{0xc5, 0xf8, 0x5b, 0xf5, }, 4, 0, "", "",
219 "c5 f8 5b f5          \tvcvtdq2ps %xmm5,%xmm6",},
220 {{0x62, 0x91, 0xfc, 0x4f, 0x5b, 0xf5, }, 6, 0, "", "",
221 "62 91 fc 4f 5b f5    \tvcvtqq2ps %zmm29,%ymm6{%k7}",},
222 {{0xc5, 0xf9, 0x5b, 0xf5, }, 4, 0, "", "",
223 "c5 f9 5b f5          \tvcvtps2dq %xmm5,%xmm6",},
224 {{0xc5, 0xfa, 0x5b, 0xf5, }, 4, 0, "", "",
225 "c5 fa 5b f5          \tvcvttps2dq %xmm5,%xmm6",},
226 {{0x0f, 0x6f, 0xe0, }, 3, 0, "", "",
227 "0f 6f e0             \tmovq   %mm0,%mm4",},
228 {{0xc5, 0xfd, 0x6f, 0xf4, }, 4, 0, "", "",
229 "c5 fd 6f f4          \tvmovdqa %ymm4,%ymm6",},
230 {{0x62, 0x01, 0x7d, 0x48, 0x6f, 0xd1, }, 6, 0, "", "",
231 "62 01 7d 48 6f d1    \tvmovdqa32 %zmm25,%zmm26",},
232 {{0x62, 0x01, 0xfd, 0x48, 0x6f, 0xd1, }, 6, 0, "", "",
233 "62 01 fd 48 6f d1    \tvmovdqa64 %zmm25,%zmm26",},
234 {{0xc5, 0xfe, 0x6f, 0xf4, }, 4, 0, "", "",
235 "c5 fe 6f f4          \tvmovdqu %ymm4,%ymm6",},
236 {{0x62, 0x01, 0x7e, 0x48, 0x6f, 0xf5, }, 6, 0, "", "",
237 "62 01 7e 48 6f f5    \tvmovdqu32 %zmm29,%zmm30",},
238 {{0x62, 0x01, 0xfe, 0x48, 0x6f, 0xd1, }, 6, 0, "", "",
239 "62 01 fe 48 6f d1    \tvmovdqu64 %zmm25,%zmm26",},
240 {{0x62, 0x01, 0x7f, 0x48, 0x6f, 0xf5, }, 6, 0, "", "",
241 "62 01 7f 48 6f f5    \tvmovdqu8 %zmm29,%zmm30",},
242 {{0x62, 0x01, 0xff, 0x48, 0x6f, 0xd1, }, 6, 0, "", "",
243 "62 01 ff 48 6f d1    \tvmovdqu16 %zmm25,%zmm26",},
244 {{0x0f, 0x78, 0xc3, }, 3, 0, "", "",
245 "0f 78 c3             \tvmread %rax,%rbx",},
246 {{0x62, 0x01, 0x7c, 0x48, 0x78, 0xd1, }, 6, 0, "", "",
247 "62 01 7c 48 78 d1    \tvcvttps2udq %zmm25,%zmm26",},
248 {{0x62, 0x91, 0xfc, 0x4f, 0x78, 0xf5, }, 6, 0, "", "",
249 "62 91 fc 4f 78 f5    \tvcvttpd2udq %zmm29,%ymm6{%k7}",},
250 {{0x62, 0xf1, 0xff, 0x08, 0x78, 0xc6, }, 6, 0, "", "",
251 "62 f1 ff 08 78 c6    \tvcvttsd2usi %xmm6,%rax",},
252 {{0x62, 0xf1, 0xfe, 0x08, 0x78, 0xc6, }, 6, 0, "", "",
253 "62 f1 fe 08 78 c6    \tvcvttss2usi %xmm6,%rax",},
254 {{0x62, 0x61, 0x7d, 0x4f, 0x78, 0xd5, }, 6, 0, "", "",
255 "62 61 7d 4f 78 d5    \tvcvttps2uqq %ymm5,%zmm26{%k7}",},
256 {{0x62, 0x01, 0xfd, 0x48, 0x78, 0xf5, }, 6, 0, "", "",
257 "62 01 fd 48 78 f5    \tvcvttpd2uqq %zmm29,%zmm30",},
258 {{0x0f, 0x79, 0xd8, }, 3, 0, "", "",
259 "0f 79 d8             \tvmwrite %rax,%rbx",},
260 {{0x62, 0x01, 0x7c, 0x48, 0x79, 0xd1, }, 6, 0, "", "",
261 "62 01 7c 48 79 d1    \tvcvtps2udq %zmm25,%zmm26",},
262 {{0x62, 0x91, 0xfc, 0x4f, 0x79, 0xf5, }, 6, 0, "", "",
263 "62 91 fc 4f 79 f5    \tvcvtpd2udq %zmm29,%ymm6{%k7}",},
264 {{0x62, 0xf1, 0xff, 0x08, 0x79, 0xc6, }, 6, 0, "", "",
265 "62 f1 ff 08 79 c6    \tvcvtsd2usi %xmm6,%rax",},
266 {{0x62, 0xf1, 0xfe, 0x08, 0x79, 0xc6, }, 6, 0, "", "",
267 "62 f1 fe 08 79 c6    \tvcvtss2usi %xmm6,%rax",},
268 {{0x62, 0x61, 0x7d, 0x4f, 0x79, 0xd5, }, 6, 0, "", "",
269 "62 61 7d 4f 79 d5    \tvcvtps2uqq %ymm5,%zmm26{%k7}",},
270 {{0x62, 0x01, 0xfd, 0x48, 0x79, 0xf5, }, 6, 0, "", "",
271 "62 01 fd 48 79 f5    \tvcvtpd2uqq %zmm29,%zmm30",},
272 {{0x62, 0x61, 0x7e, 0x4f, 0x7a, 0xed, }, 6, 0, "", "",
273 "62 61 7e 4f 7a ed    \tvcvtudq2pd %ymm5,%zmm29{%k7}",},
274 {{0x62, 0x01, 0xfe, 0x48, 0x7a, 0xd1, }, 6, 0, "", "",
275 "62 01 fe 48 7a d1    \tvcvtuqq2pd %zmm25,%zmm26",},
276 {{0x62, 0x01, 0x7f, 0x48, 0x7a, 0xf5, }, 6, 0, "", "",
277 "62 01 7f 48 7a f5    \tvcvtudq2ps %zmm29,%zmm30",},
278 {{0x62, 0x01, 0xff, 0x4f, 0x7a, 0xd1, }, 6, 0, "", "",
279 "62 01 ff 4f 7a d1    \tvcvtuqq2ps %zmm25,%ymm26{%k7}",},
280 {{0x62, 0x01, 0x7d, 0x4f, 0x7a, 0xd1, }, 6, 0, "", "",
281 "62 01 7d 4f 7a d1    \tvcvttps2qq %ymm25,%zmm26{%k7}",},
282 {{0x62, 0x01, 0xfd, 0x48, 0x7a, 0xf5, }, 6, 0, "", "",
283 "62 01 fd 48 7a f5    \tvcvttpd2qq %zmm29,%zmm30",},
284 {{0x62, 0xf1, 0x57, 0x08, 0x7b, 0xf0, }, 6, 0, "", "",
285 "62 f1 57 08 7b f0    \tvcvtusi2sd %eax,%xmm5,%xmm6",},
286 {{0x62, 0xf1, 0x56, 0x08, 0x7b, 0xf0, }, 6, 0, "", "",
287 "62 f1 56 08 7b f0    \tvcvtusi2ss %eax,%xmm5,%xmm6",},
288 {{0x62, 0x61, 0x7d, 0x4f, 0x7b, 0xd5, }, 6, 0, "", "",
289 "62 61 7d 4f 7b d5    \tvcvtps2qq %ymm5,%zmm26{%k7}",},
290 {{0x62, 0x01, 0xfd, 0x48, 0x7b, 0xf5, }, 6, 0, "", "",
291 "62 01 fd 48 7b f5    \tvcvtpd2qq %zmm29,%zmm30",},
292 {{0x0f, 0x7f, 0xc4, }, 3, 0, "", "",
293 "0f 7f c4             \tmovq   %mm0,%mm4",},
294 {{0xc5, 0x7d, 0x7f, 0xc6, }, 4, 0, "", "",
295 "c5 7d 7f c6          \tvmovdqa %ymm8,%ymm6",},
296 {{0x62, 0x01, 0x7d, 0x48, 0x7f, 0xca, }, 6, 0, "", "",
297 "62 01 7d 48 7f ca    \tvmovdqa32 %zmm25,%zmm26",},
298 {{0x62, 0x01, 0xfd, 0x48, 0x7f, 0xca, }, 6, 0, "", "",
299 "62 01 fd 48 7f ca    \tvmovdqa64 %zmm25,%zmm26",},
300 {{0xc5, 0x7e, 0x7f, 0xc6, }, 4, 0, "", "",
301 "c5 7e 7f c6          \tvmovdqu %ymm8,%ymm6",},
302 {{0x62, 0x01, 0x7e, 0x48, 0x7f, 0xca, }, 6, 0, "", "",
303 "62 01 7e 48 7f ca    \tvmovdqu32 %zmm25,%zmm26",},
304 {{0x62, 0x01, 0xfe, 0x48, 0x7f, 0xca, }, 6, 0, "", "",
305 "62 01 fe 48 7f ca    \tvmovdqu64 %zmm25,%zmm26",},
306 {{0x62, 0x61, 0x7f, 0x48, 0x7f, 0x31, }, 6, 0, "", "",
307 "62 61 7f 48 7f 31    \tvmovdqu8 %zmm30,(%rcx)",},
308 {{0x62, 0x01, 0xff, 0x48, 0x7f, 0xca, }, 6, 0, "", "",
309 "62 01 ff 48 7f ca    \tvmovdqu16 %zmm25,%zmm26",},
310 {{0x0f, 0xdb, 0xd1, }, 3, 0, "", "",
311 "0f db d1             \tpand   %mm1,%mm2",},
312 {{0x66, 0x0f, 0xdb, 0xd1, }, 4, 0, "", "",
313 "66 0f db d1          \tpand   %xmm1,%xmm2",},
314 {{0xc5, 0xcd, 0xdb, 0xd4, }, 4, 0, "", "",
315 "c5 cd db d4          \tvpand  %ymm4,%ymm6,%ymm2",},
316 {{0x62, 0x01, 0x35, 0x40, 0xdb, 0xd0, }, 6, 0, "", "",
317 "62 01 35 40 db d0    \tvpandd %zmm24,%zmm25,%zmm26",},
318 {{0x62, 0x01, 0xb5, 0x40, 0xdb, 0xd0, }, 6, 0, "", "",
319 "62 01 b5 40 db d0    \tvpandq %zmm24,%zmm25,%zmm26",},
320 {{0x0f, 0xdf, 0xd1, }, 3, 0, "", "",
321 "0f df d1             \tpandn  %mm1,%mm2",},
322 {{0x66, 0x0f, 0xdf, 0xd1, }, 4, 0, "", "",
323 "66 0f df d1          \tpandn  %xmm1,%xmm2",},
324 {{0xc5, 0xcd, 0xdf, 0xd4, }, 4, 0, "", "",
325 "c5 cd df d4          \tvpandn %ymm4,%ymm6,%ymm2",},
326 {{0x62, 0x01, 0x35, 0x40, 0xdf, 0xd0, }, 6, 0, "", "",
327 "62 01 35 40 df d0    \tvpandnd %zmm24,%zmm25,%zmm26",},
328 {{0x62, 0x01, 0xb5, 0x40, 0xdf, 0xd0, }, 6, 0, "", "",
329 "62 01 b5 40 df d0    \tvpandnq %zmm24,%zmm25,%zmm26",},
330 {{0xc5, 0xf9, 0xe6, 0xd1, }, 4, 0, "", "",
331 "c5 f9 e6 d1          \tvcvttpd2dq %xmm1,%xmm2",},
332 {{0xc5, 0xfa, 0xe6, 0xf5, }, 4, 0, "", "",
333 "c5 fa e6 f5          \tvcvtdq2pd %xmm5,%xmm6",},
334 {{0x62, 0x61, 0x7e, 0x4f, 0xe6, 0xd5, }, 6, 0, "", "",
335 "62 61 7e 4f e6 d5    \tvcvtdq2pd %ymm5,%zmm26{%k7}",},
336 {{0x62, 0x01, 0xfe, 0x48, 0xe6, 0xd1, }, 6, 0, "", "",
337 "62 01 fe 48 e6 d1    \tvcvtqq2pd %zmm25,%zmm26",},
338 {{0xc5, 0xfb, 0xe6, 0xd1, }, 4, 0, "", "",
339 "c5 fb e6 d1          \tvcvtpd2dq %xmm1,%xmm2",},
340 {{0x0f, 0xeb, 0xf4, }, 3, 0, "", "",
341 "0f eb f4             \tpor    %mm4,%mm6",},
342 {{0xc5, 0xcd, 0xeb, 0xd4, }, 4, 0, "", "",
343 "c5 cd eb d4          \tvpor   %ymm4,%ymm6,%ymm2",},
344 {{0x62, 0x01, 0x35, 0x40, 0xeb, 0xd0, }, 6, 0, "", "",
345 "62 01 35 40 eb d0    \tvpord  %zmm24,%zmm25,%zmm26",},
346 {{0x62, 0x01, 0xb5, 0x40, 0xeb, 0xd0, }, 6, 0, "", "",
347 "62 01 b5 40 eb d0    \tvporq  %zmm24,%zmm25,%zmm26",},
348 {{0x0f, 0xef, 0xf4, }, 3, 0, "", "",
349 "0f ef f4             \tpxor   %mm4,%mm6",},
350 {{0xc5, 0xcd, 0xef, 0xd4, }, 4, 0, "", "",
351 "c5 cd ef d4          \tvpxor  %ymm4,%ymm6,%ymm2",},
352 {{0x62, 0x01, 0x35, 0x40, 0xef, 0xd0, }, 6, 0, "", "",
353 "62 01 35 40 ef d0    \tvpxord %zmm24,%zmm25,%zmm26",},
354 {{0x62, 0x01, 0xb5, 0x40, 0xef, 0xd0, }, 6, 0, "", "",
355 "62 01 b5 40 ef d0    \tvpxorq %zmm24,%zmm25,%zmm26",},
356 {{0x66, 0x0f, 0x38, 0x10, 0xc1, }, 5, 0, "", "",
357 "66 0f 38 10 c1       \tpblendvb %xmm0,%xmm1,%xmm0",},
358 {{0x62, 0x02, 0x9d, 0x40, 0x10, 0xeb, }, 6, 0, "", "",
359 "62 02 9d 40 10 eb    \tvpsrlvw %zmm27,%zmm28,%zmm29",},
360 {{0x62, 0x62, 0x7e, 0x4f, 0x10, 0xe6, }, 6, 0, "", "",
361 "62 62 7e 4f 10 e6    \tvpmovuswb %zmm28,%ymm6{%k7}",},
362 {{0x62, 0x62, 0x7e, 0x4f, 0x11, 0xe6, }, 6, 0, "", "",
363 "62 62 7e 4f 11 e6    \tvpmovusdb %zmm28,%xmm6{%k7}",},
364 {{0x62, 0x02, 0x9d, 0x40, 0x11, 0xeb, }, 6, 0, "", "",
365 "62 02 9d 40 11 eb    \tvpsravw %zmm27,%zmm28,%zmm29",},
366 {{0x62, 0x62, 0x7e, 0x4f, 0x12, 0xde, }, 6, 0, "", "",
367 "62 62 7e 4f 12 de    \tvpmovusqb %zmm27,%xmm6{%k7}",},
368 {{0x62, 0x02, 0x9d, 0x40, 0x12, 0xeb, }, 6, 0, "", "",
369 "62 02 9d 40 12 eb    \tvpsllvw %zmm27,%zmm28,%zmm29",},
370 {{0xc4, 0xe2, 0x7d, 0x13, 0xeb, }, 5, 0, "", "",
371 "c4 e2 7d 13 eb       \tvcvtph2ps %xmm3,%ymm5",},
372 {{0x62, 0x62, 0x7d, 0x4f, 0x13, 0xdd, }, 6, 0, "", "",
373 "62 62 7d 4f 13 dd    \tvcvtph2ps %ymm5,%zmm27{%k7}",},
374 {{0x62, 0x62, 0x7e, 0x4f, 0x13, 0xde, }, 6, 0, "", "",
375 "62 62 7e 4f 13 de    \tvpmovusdw %zmm27,%ymm6{%k7}",},
376 {{0x66, 0x0f, 0x38, 0x14, 0xc1, }, 5, 0, "", "",
377 "66 0f 38 14 c1       \tblendvps %xmm0,%xmm1,%xmm0",},
378 {{0x62, 0x62, 0x7e, 0x4f, 0x14, 0xde, }, 6, 0, "", "",
379 "62 62 7e 4f 14 de    \tvpmovusqw %zmm27,%xmm6{%k7}",},
380 {{0x62, 0x02, 0x1d, 0x40, 0x14, 0xeb, }, 6, 0, "", "",
381 "62 02 1d 40 14 eb    \tvprorvd %zmm27,%zmm28,%zmm29",},
382 {{0x62, 0x02, 0x9d, 0x40, 0x14, 0xeb, }, 6, 0, "", "",
383 "62 02 9d 40 14 eb    \tvprorvq %zmm27,%zmm28,%zmm29",},
384 {{0x66, 0x0f, 0x38, 0x15, 0xc1, }, 5, 0, "", "",
385 "66 0f 38 15 c1       \tblendvpd %xmm0,%xmm1,%xmm0",},
386 {{0x62, 0x62, 0x7e, 0x4f, 0x15, 0xde, }, 6, 0, "", "",
387 "62 62 7e 4f 15 de    \tvpmovusqd %zmm27,%ymm6{%k7}",},
388 {{0x62, 0x02, 0x1d, 0x40, 0x15, 0xeb, }, 6, 0, "", "",
389 "62 02 1d 40 15 eb    \tvprolvd %zmm27,%zmm28,%zmm29",},
390 {{0x62, 0x02, 0x9d, 0x40, 0x15, 0xeb, }, 6, 0, "", "",
391 "62 02 9d 40 15 eb    \tvprolvq %zmm27,%zmm28,%zmm29",},
392 {{0xc4, 0xe2, 0x4d, 0x16, 0xd4, }, 5, 0, "", "",
393 "c4 e2 4d 16 d4       \tvpermps %ymm4,%ymm6,%ymm2",},
394 {{0x62, 0x82, 0x2d, 0x27, 0x16, 0xf0, }, 6, 0, "", "",
395 "62 82 2d 27 16 f0    \tvpermps %ymm24,%ymm26,%ymm22{%k7}",},
396 {{0x62, 0x82, 0xad, 0x27, 0x16, 0xf0, }, 6, 0, "", "",
397 "62 82 ad 27 16 f0    \tvpermpd %ymm24,%ymm26,%ymm22{%k7}",},
398 {{0xc4, 0xe2, 0x7d, 0x19, 0xf4, }, 5, 0, "", "",
399 "c4 e2 7d 19 f4       \tvbroadcastsd %xmm4,%ymm6",},
400 {{0x62, 0x02, 0x7d, 0x48, 0x19, 0xd3, }, 6, 0, "", "",
401 "62 02 7d 48 19 d3    \tvbroadcastf32x2 %xmm27,%zmm26",},
402 {{0xc4, 0xe2, 0x7d, 0x1a, 0x21, }, 5, 0, "", "",
403 "c4 e2 7d 1a 21       \tvbroadcastf128 (%rcx),%ymm4",},
404 {{0x62, 0x62, 0x7d, 0x48, 0x1a, 0x11, }, 6, 0, "", "",
405 "62 62 7d 48 1a 11    \tvbroadcastf32x4 (%rcx),%zmm26",},
406 {{0x62, 0x62, 0xfd, 0x48, 0x1a, 0x11, }, 6, 0, "", "",
407 "62 62 fd 48 1a 11    \tvbroadcastf64x2 (%rcx),%zmm26",},
408 {{0x62, 0x62, 0x7d, 0x48, 0x1b, 0x19, }, 6, 0, "", "",
409 "62 62 7d 48 1b 19    \tvbroadcastf32x8 (%rcx),%zmm27",},
410 {{0x62, 0x62, 0xfd, 0x48, 0x1b, 0x11, }, 6, 0, "", "",
411 "62 62 fd 48 1b 11    \tvbroadcastf64x4 (%rcx),%zmm26",},
412 {{0x62, 0x02, 0xfd, 0x48, 0x1f, 0xe3, }, 6, 0, "", "",
413 "62 02 fd 48 1f e3    \tvpabsq %zmm27,%zmm28",},
414 {{0xc4, 0xe2, 0x79, 0x20, 0xec, }, 5, 0, "", "",
415 "c4 e2 79 20 ec       \tvpmovsxbw %xmm4,%xmm5",},
416 {{0x62, 0x62, 0x7e, 0x4f, 0x20, 0xde, }, 6, 0, "", "",
417 "62 62 7e 4f 20 de    \tvpmovswb %zmm27,%ymm6{%k7}",},
418 {{0xc4, 0xe2, 0x7d, 0x21, 0xf4, }, 5, 0, "", "",
419 "c4 e2 7d 21 f4       \tvpmovsxbd %xmm4,%ymm6",},
420 {{0x62, 0x62, 0x7e, 0x4f, 0x21, 0xde, }, 6, 0, "", "",
421 "62 62 7e 4f 21 de    \tvpmovsdb %zmm27,%xmm6{%k7}",},
422 {{0xc4, 0xe2, 0x7d, 0x22, 0xe4, }, 5, 0, "", "",
423 "c4 e2 7d 22 e4       \tvpmovsxbq %xmm4,%ymm4",},
424 {{0x62, 0x62, 0x7e, 0x4f, 0x22, 0xde, }, 6, 0, "", "",
425 "62 62 7e 4f 22 de    \tvpmovsqb %zmm27,%xmm6{%k7}",},
426 {{0xc4, 0xe2, 0x7d, 0x23, 0xe4, }, 5, 0, "", "",
427 "c4 e2 7d 23 e4       \tvpmovsxwd %xmm4,%ymm4",},
428 {{0x62, 0x62, 0x7e, 0x4f, 0x23, 0xde, }, 6, 0, "", "",
429 "62 62 7e 4f 23 de    \tvpmovsdw %zmm27,%ymm6{%k7}",},
430 {{0xc4, 0xe2, 0x7d, 0x24, 0xf4, }, 5, 0, "", "",
431 "c4 e2 7d 24 f4       \tvpmovsxwq %xmm4,%ymm6",},
432 {{0x62, 0x62, 0x7e, 0x4f, 0x24, 0xde, }, 6, 0, "", "",
433 "62 62 7e 4f 24 de    \tvpmovsqw %zmm27,%xmm6{%k7}",},
434 {{0xc4, 0xe2, 0x7d, 0x25, 0xe4, }, 5, 0, "", "",
435 "c4 e2 7d 25 e4       \tvpmovsxdq %xmm4,%ymm4",},
436 {{0x62, 0x62, 0x7e, 0x4f, 0x25, 0xde, }, 6, 0, "", "",
437 "62 62 7e 4f 25 de    \tvpmovsqd %zmm27,%ymm6{%k7}",},
438 {{0x62, 0x92, 0x1d, 0x40, 0x26, 0xeb, }, 6, 0, "", "",
439 "62 92 1d 40 26 eb    \tvptestmb %zmm27,%zmm28,%k5",},
440 {{0x62, 0x92, 0x9d, 0x40, 0x26, 0xeb, }, 6, 0, "", "",
441 "62 92 9d 40 26 eb    \tvptestmw %zmm27,%zmm28,%k5",},
442 {{0x62, 0x92, 0x26, 0x40, 0x26, 0xea, }, 6, 0, "", "",
443 "62 92 26 40 26 ea    \tvptestnmb %zmm26,%zmm27,%k5",},
444 {{0x62, 0x92, 0xa6, 0x40, 0x26, 0xea, }, 6, 0, "", "",
445 "62 92 a6 40 26 ea    \tvptestnmw %zmm26,%zmm27,%k5",},
446 {{0x62, 0x92, 0x1d, 0x40, 0x27, 0xeb, }, 6, 0, "", "",
447 "62 92 1d 40 27 eb    \tvptestmd %zmm27,%zmm28,%k5",},
448 {{0x62, 0x92, 0x9d, 0x40, 0x27, 0xeb, }, 6, 0, "", "",
449 "62 92 9d 40 27 eb    \tvptestmq %zmm27,%zmm28,%k5",},
450 {{0x62, 0x92, 0x26, 0x40, 0x27, 0xea, }, 6, 0, "", "",
451 "62 92 26 40 27 ea    \tvptestnmd %zmm26,%zmm27,%k5",},
452 {{0x62, 0x92, 0xa6, 0x40, 0x27, 0xea, }, 6, 0, "", "",
453 "62 92 a6 40 27 ea    \tvptestnmq %zmm26,%zmm27,%k5",},
454 {{0xc4, 0xe2, 0x4d, 0x28, 0xd4, }, 5, 0, "", "",
455 "c4 e2 4d 28 d4       \tvpmuldq %ymm4,%ymm6,%ymm2",},
456 {{0x62, 0x62, 0x7e, 0x48, 0x28, 0xe5, }, 6, 0, "", "",
457 "62 62 7e 48 28 e5    \tvpmovm2b %k5,%zmm28",},
458 {{0x62, 0x62, 0xfe, 0x48, 0x28, 0xe5, }, 6, 0, "", "",
459 "62 62 fe 48 28 e5    \tvpmovm2w %k5,%zmm28",},
460 {{0xc4, 0xe2, 0x4d, 0x29, 0xd4, }, 5, 0, "", "",
461 "c4 e2 4d 29 d4       \tvpcmpeqq %ymm4,%ymm6,%ymm2",},
462 {{0x62, 0x92, 0x7e, 0x48, 0x29, 0xec, }, 6, 0, "", "",
463 "62 92 7e 48 29 ec    \tvpmovb2m %zmm28,%k5",},
464 {{0x62, 0x92, 0xfe, 0x48, 0x29, 0xec, }, 6, 0, "", "",
465 "62 92 fe 48 29 ec    \tvpmovw2m %zmm28,%k5",},
466 {{0xc4, 0xe2, 0x7d, 0x2a, 0x21, }, 5, 0, "", "",
467 "c4 e2 7d 2a 21       \tvmovntdqa (%rcx),%ymm4",},
468 {{0x62, 0x62, 0xfe, 0x48, 0x2a, 0xf6, }, 6, 0, "", "",
469 "62 62 fe 48 2a f6    \tvpbroadcastmb2q %k6,%zmm30",},
470 {{0xc4, 0xe2, 0x5d, 0x2c, 0x31, }, 5, 0, "", "",
471 "c4 e2 5d 2c 31       \tvmaskmovps (%rcx),%ymm4,%ymm6",},
472 {{0x62, 0x02, 0x35, 0x40, 0x2c, 0xd0, }, 6, 0, "", "",
473 "62 02 35 40 2c d0    \tvscalefps %zmm24,%zmm25,%zmm26",},
474 {{0x62, 0x02, 0xb5, 0x40, 0x2c, 0xd0, }, 6, 0, "", "",
475 "62 02 b5 40 2c d0    \tvscalefpd %zmm24,%zmm25,%zmm26",},
476 {{0xc4, 0xe2, 0x5d, 0x2d, 0x31, }, 5, 0, "", "",
477 "c4 e2 5d 2d 31       \tvmaskmovpd (%rcx),%ymm4,%ymm6",},
478 {{0x62, 0x02, 0x35, 0x07, 0x2d, 0xd0, }, 6, 0, "", "",
479 "62 02 35 07 2d d0    \tvscalefss %xmm24,%xmm25,%xmm26{%k7}",},
480 {{0x62, 0x02, 0xb5, 0x07, 0x2d, 0xd0, }, 6, 0, "", "",
481 "62 02 b5 07 2d d0    \tvscalefsd %xmm24,%xmm25,%xmm26{%k7}",},
482 {{0xc4, 0xe2, 0x7d, 0x30, 0xe4, }, 5, 0, "", "",
483 "c4 e2 7d 30 e4       \tvpmovzxbw %xmm4,%ymm4",},
484 {{0x62, 0x62, 0x7e, 0x4f, 0x30, 0xde, }, 6, 0, "", "",
485 "62 62 7e 4f 30 de    \tvpmovwb %zmm27,%ymm6{%k7}",},
486 {{0xc4, 0xe2, 0x7d, 0x31, 0xf4, }, 5, 0, "", "",
487 "c4 e2 7d 31 f4       \tvpmovzxbd %xmm4,%ymm6",},
488 {{0x62, 0x62, 0x7e, 0x4f, 0x31, 0xde, }, 6, 0, "", "",
489 "62 62 7e 4f 31 de    \tvpmovdb %zmm27,%xmm6{%k7}",},
490 {{0xc4, 0xe2, 0x7d, 0x32, 0xe4, }, 5, 0, "", "",
491 "c4 e2 7d 32 e4       \tvpmovzxbq %xmm4,%ymm4",},
492 {{0x62, 0x62, 0x7e, 0x4f, 0x32, 0xde, }, 6, 0, "", "",
493 "62 62 7e 4f 32 de    \tvpmovqb %zmm27,%xmm6{%k7}",},
494 {{0xc4, 0xe2, 0x7d, 0x33, 0xe4, }, 5, 0, "", "",
495 "c4 e2 7d 33 e4       \tvpmovzxwd %xmm4,%ymm4",},
496 {{0x62, 0x62, 0x7e, 0x4f, 0x33, 0xde, }, 6, 0, "", "",
497 "62 62 7e 4f 33 de    \tvpmovdw %zmm27,%ymm6{%k7}",},
498 {{0xc4, 0xe2, 0x7d, 0x34, 0xf4, }, 5, 0, "", "",
499 "c4 e2 7d 34 f4       \tvpmovzxwq %xmm4,%ymm6",},
500 {{0x62, 0x62, 0x7e, 0x4f, 0x34, 0xde, }, 6, 0, "", "",
501 "62 62 7e 4f 34 de    \tvpmovqw %zmm27,%xmm6{%k7}",},
502 {{0xc4, 0xe2, 0x7d, 0x35, 0xe4, }, 5, 0, "", "",
503 "c4 e2 7d 35 e4       \tvpmovzxdq %xmm4,%ymm4",},
504 {{0x62, 0x62, 0x7e, 0x4f, 0x35, 0xde, }, 6, 0, "", "",
505 "62 62 7e 4f 35 de    \tvpmovqd %zmm27,%ymm6{%k7}",},
506 {{0xc4, 0xe2, 0x4d, 0x36, 0xd4, }, 5, 0, "", "",
507 "c4 e2 4d 36 d4       \tvpermd %ymm4,%ymm6,%ymm2",},
508 {{0x62, 0x82, 0x2d, 0x27, 0x36, 0xf0, }, 6, 0, "", "",
509 "62 82 2d 27 36 f0    \tvpermd %ymm24,%ymm26,%ymm22{%k7}",},
510 {{0x62, 0x82, 0xad, 0x27, 0x36, 0xf0, }, 6, 0, "", "",
511 "62 82 ad 27 36 f0    \tvpermq %ymm24,%ymm26,%ymm22{%k7}",},
512 {{0xc4, 0xe2, 0x4d, 0x38, 0xd4, }, 5, 0, "", "",
513 "c4 e2 4d 38 d4       \tvpminsb %ymm4,%ymm6,%ymm2",},
514 {{0x62, 0x62, 0x7e, 0x48, 0x38, 0xe5, }, 6, 0, "", "",
515 "62 62 7e 48 38 e5    \tvpmovm2d %k5,%zmm28",},
516 {{0x62, 0x62, 0xfe, 0x48, 0x38, 0xe5, }, 6, 0, "", "",
517 "62 62 fe 48 38 e5    \tvpmovm2q %k5,%zmm28",},
518 {{0xc4, 0xe2, 0x69, 0x39, 0xd9, }, 5, 0, "", "",
519 "c4 e2 69 39 d9       \tvpminsd %xmm1,%xmm2,%xmm3",},
520 {{0x62, 0x02, 0x35, 0x40, 0x39, 0xd0, }, 6, 0, "", "",
521 "62 02 35 40 39 d0    \tvpminsd %zmm24,%zmm25,%zmm26",},
522 {{0x62, 0x02, 0xb5, 0x40, 0x39, 0xd0, }, 6, 0, "", "",
523 "62 02 b5 40 39 d0    \tvpminsq %zmm24,%zmm25,%zmm26",},
524 {{0x62, 0x92, 0x7e, 0x48, 0x39, 0xec, }, 6, 0, "", "",
525 "62 92 7e 48 39 ec    \tvpmovd2m %zmm28,%k5",},
526 {{0x62, 0x92, 0xfe, 0x48, 0x39, 0xec, }, 6, 0, "", "",
527 "62 92 fe 48 39 ec    \tvpmovq2m %zmm28,%k5",},
528 {{0xc4, 0xe2, 0x4d, 0x3a, 0xd4, }, 5, 0, "", "",
529 "c4 e2 4d 3a d4       \tvpminuw %ymm4,%ymm6,%ymm2",},
530 {{0x62, 0x62, 0x7e, 0x48, 0x3a, 0xe6, }, 6, 0, "", "",
531 "62 62 7e 48 3a e6    \tvpbroadcastmw2d %k6,%zmm28",},
532 {{0xc4, 0xe2, 0x4d, 0x3b, 0xd4, }, 5, 0, "", "",
533 "c4 e2 4d 3b d4       \tvpminud %ymm4,%ymm6,%ymm2",},
534 {{0x62, 0x02, 0x35, 0x40, 0x3b, 0xd0, }, 6, 0, "", "",
535 "62 02 35 40 3b d0    \tvpminud %zmm24,%zmm25,%zmm26",},
536 {{0x62, 0x02, 0xb5, 0x40, 0x3b, 0xd0, }, 6, 0, "", "",
537 "62 02 b5 40 3b d0    \tvpminuq %zmm24,%zmm25,%zmm26",},
538 {{0xc4, 0xe2, 0x4d, 0x3d, 0xd4, }, 5, 0, "", "",
539 "c4 e2 4d 3d d4       \tvpmaxsd %ymm4,%ymm6,%ymm2",},
540 {{0x62, 0x02, 0x35, 0x40, 0x3d, 0xd0, }, 6, 0, "", "",
541 "62 02 35 40 3d d0    \tvpmaxsd %zmm24,%zmm25,%zmm26",},
542 {{0x62, 0x02, 0xb5, 0x40, 0x3d, 0xd0, }, 6, 0, "", "",
543 "62 02 b5 40 3d d0    \tvpmaxsq %zmm24,%zmm25,%zmm26",},
544 {{0xc4, 0xe2, 0x4d, 0x3f, 0xd4, }, 5, 0, "", "",
545 "c4 e2 4d 3f d4       \tvpmaxud %ymm4,%ymm6,%ymm2",},
546 {{0x62, 0x02, 0x35, 0x40, 0x3f, 0xd0, }, 6, 0, "", "",
547 "62 02 35 40 3f d0    \tvpmaxud %zmm24,%zmm25,%zmm26",},
548 {{0x62, 0x02, 0xb5, 0x40, 0x3f, 0xd0, }, 6, 0, "", "",
549 "62 02 b5 40 3f d0    \tvpmaxuq %zmm24,%zmm25,%zmm26",},
550 {{0xc4, 0xe2, 0x4d, 0x40, 0xd4, }, 5, 0, "", "",
551 "c4 e2 4d 40 d4       \tvpmulld %ymm4,%ymm6,%ymm2",},
552 {{0x62, 0x02, 0x35, 0x40, 0x40, 0xd0, }, 6, 0, "", "",
553 "62 02 35 40 40 d0    \tvpmulld %zmm24,%zmm25,%zmm26",},
554 {{0x62, 0x02, 0xb5, 0x40, 0x40, 0xd0, }, 6, 0, "", "",
555 "62 02 b5 40 40 d0    \tvpmullq %zmm24,%zmm25,%zmm26",},
556 {{0x62, 0x02, 0x7d, 0x48, 0x42, 0xd1, }, 6, 0, "", "",
557 "62 02 7d 48 42 d1    \tvgetexpps %zmm25,%zmm26",},
558 {{0x62, 0x02, 0xfd, 0x48, 0x42, 0xe3, }, 6, 0, "", "",
559 "62 02 fd 48 42 e3    \tvgetexppd %zmm27,%zmm28",},
560 {{0x62, 0x02, 0x35, 0x07, 0x43, 0xd0, }, 6, 0, "", "",
561 "62 02 35 07 43 d0    \tvgetexpss %xmm24,%xmm25,%xmm26{%k7}",},
562 {{0x62, 0x02, 0x95, 0x07, 0x43, 0xf4, }, 6, 0, "", "",
563 "62 02 95 07 43 f4    \tvgetexpsd %xmm28,%xmm29,%xmm30{%k7}",},
564 {{0x62, 0x02, 0x7d, 0x48, 0x44, 0xe3, }, 6, 0, "", "",
565 "62 02 7d 48 44 e3    \tvplzcntd %zmm27,%zmm28",},
566 {{0x62, 0x02, 0xfd, 0x48, 0x44, 0xe3, }, 6, 0, "", "",
567 "62 02 fd 48 44 e3    \tvplzcntq %zmm27,%zmm28",},
568 {{0xc4, 0xe2, 0x4d, 0x46, 0xd4, }, 5, 0, "", "",
569 "c4 e2 4d 46 d4       \tvpsravd %ymm4,%ymm6,%ymm2",},
570 {{0x62, 0x02, 0x35, 0x40, 0x46, 0xd0, }, 6, 0, "", "",
571 "62 02 35 40 46 d0    \tvpsravd %zmm24,%zmm25,%zmm26",},
572 {{0x62, 0x02, 0xb5, 0x40, 0x46, 0xd0, }, 6, 0, "", "",
573 "62 02 b5 40 46 d0    \tvpsravq %zmm24,%zmm25,%zmm26",},
574 {{0x62, 0x02, 0x7d, 0x48, 0x4c, 0xd1, }, 6, 0, "", "",
575 "62 02 7d 48 4c d1    \tvrcp14ps %zmm25,%zmm26",},
576 {{0x62, 0x02, 0xfd, 0x48, 0x4c, 0xe3, }, 6, 0, "", "",
577 "62 02 fd 48 4c e3    \tvrcp14pd %zmm27,%zmm28",},
578 {{0x62, 0x02, 0x35, 0x07, 0x4d, 0xd0, }, 6, 0, "", "",
579 "62 02 35 07 4d d0    \tvrcp14ss %xmm24,%xmm25,%xmm26{%k7}",},
580 {{0x62, 0x02, 0xb5, 0x07, 0x4d, 0xd0, }, 6, 0, "", "",
581 "62 02 b5 07 4d d0    \tvrcp14sd %xmm24,%xmm25,%xmm26{%k7}",},
582 {{0x62, 0x02, 0x7d, 0x48, 0x4e, 0xd1, }, 6, 0, "", "",
583 "62 02 7d 48 4e d1    \tvrsqrt14ps %zmm25,%zmm26",},
584 {{0x62, 0x02, 0xfd, 0x48, 0x4e, 0xe3, }, 6, 0, "", "",
585 "62 02 fd 48 4e e3    \tvrsqrt14pd %zmm27,%zmm28",},
586 {{0x62, 0x02, 0x35, 0x07, 0x4f, 0xd0, }, 6, 0, "", "",
587 "62 02 35 07 4f d0    \tvrsqrt14ss %xmm24,%xmm25,%xmm26{%k7}",},
588 {{0x62, 0x02, 0xb5, 0x07, 0x4f, 0xd0, }, 6, 0, "", "",
589 "62 02 b5 07 4f d0    \tvrsqrt14sd %xmm24,%xmm25,%xmm26{%k7}",},
590 {{0xc4, 0xe2, 0x79, 0x59, 0xf4, }, 5, 0, "", "",
591 "c4 e2 79 59 f4       \tvpbroadcastq %xmm4,%xmm6",},
592 {{0x62, 0x02, 0x7d, 0x48, 0x59, 0xd3, }, 6, 0, "", "",
593 "62 02 7d 48 59 d3    \tvbroadcasti32x2 %xmm27,%zmm26",},
594 {{0xc4, 0xe2, 0x7d, 0x5a, 0x21, }, 5, 0, "", "",
595 "c4 e2 7d 5a 21       \tvbroadcasti128 (%rcx),%ymm4",},
596 {{0x62, 0x62, 0x7d, 0x48, 0x5a, 0x11, }, 6, 0, "", "",
597 "62 62 7d 48 5a 11    \tvbroadcasti32x4 (%rcx),%zmm26",},
598 {{0x62, 0x62, 0xfd, 0x48, 0x5a, 0x11, }, 6, 0, "", "",
599 "62 62 fd 48 5a 11    \tvbroadcasti64x2 (%rcx),%zmm26",},
600 {{0x62, 0x62, 0x7d, 0x48, 0x5b, 0x21, }, 6, 0, "", "",
601 "62 62 7d 48 5b 21    \tvbroadcasti32x8 (%rcx),%zmm28",},
602 {{0x62, 0x62, 0xfd, 0x48, 0x5b, 0x11, }, 6, 0, "", "",
603 "62 62 fd 48 5b 11    \tvbroadcasti64x4 (%rcx),%zmm26",},
604 {{0x62, 0x02, 0x25, 0x40, 0x64, 0xe2, }, 6, 0, "", "",
605 "62 02 25 40 64 e2    \tvpblendmd %zmm26,%zmm27,%zmm28",},
606 {{0x62, 0x02, 0xa5, 0x40, 0x64, 0xe2, }, 6, 0, "", "",
607 "62 02 a5 40 64 e2    \tvpblendmq %zmm26,%zmm27,%zmm28",},
608 {{0x62, 0x02, 0x35, 0x40, 0x65, 0xd0, }, 6, 0, "", "",
609 "62 02 35 40 65 d0    \tvblendmps %zmm24,%zmm25,%zmm26",},
610 {{0x62, 0x02, 0xa5, 0x40, 0x65, 0xe2, }, 6, 0, "", "",
611 "62 02 a5 40 65 e2    \tvblendmpd %zmm26,%zmm27,%zmm28",},
612 {{0x62, 0x02, 0x25, 0x40, 0x66, 0xe2, }, 6, 0, "", "",
613 "62 02 25 40 66 e2    \tvpblendmb %zmm26,%zmm27,%zmm28",},
614 {{0x62, 0x02, 0xa5, 0x40, 0x66, 0xe2, }, 6, 0, "", "",
615 "62 02 a5 40 66 e2    \tvpblendmw %zmm26,%zmm27,%zmm28",},
616 {{0x62, 0x02, 0x35, 0x40, 0x75, 0xd0, }, 6, 0, "", "",
617 "62 02 35 40 75 d0    \tvpermi2b %zmm24,%zmm25,%zmm26",},
618 {{0x62, 0x02, 0xa5, 0x40, 0x75, 0xe2, }, 6, 0, "", "",
619 "62 02 a5 40 75 e2    \tvpermi2w %zmm26,%zmm27,%zmm28",},
620 {{0x62, 0x02, 0x25, 0x40, 0x76, 0xe2, }, 6, 0, "", "",
621 "62 02 25 40 76 e2    \tvpermi2d %zmm26,%zmm27,%zmm28",},
622 {{0x62, 0x02, 0xa5, 0x40, 0x76, 0xe2, }, 6, 0, "", "",
623 "62 02 a5 40 76 e2    \tvpermi2q %zmm26,%zmm27,%zmm28",},
624 {{0x62, 0x02, 0x25, 0x40, 0x77, 0xe2, }, 6, 0, "", "",
625 "62 02 25 40 77 e2    \tvpermi2ps %zmm26,%zmm27,%zmm28",},
626 {{0x62, 0x02, 0xa5, 0x40, 0x77, 0xe2, }, 6, 0, "", "",
627 "62 02 a5 40 77 e2    \tvpermi2pd %zmm26,%zmm27,%zmm28",},
628 {{0x62, 0x62, 0x7d, 0x08, 0x7a, 0xf0, }, 6, 0, "", "",
629 "62 62 7d 08 7a f0    \tvpbroadcastb %eax,%xmm30",},
630 {{0x62, 0x62, 0x7d, 0x08, 0x7b, 0xf0, }, 6, 0, "", "",
631 "62 62 7d 08 7b f0    \tvpbroadcastw %eax,%xmm30",},
632 {{0x62, 0x62, 0x7d, 0x08, 0x7c, 0xf0, }, 6, 0, "", "",
633 "62 62 7d 08 7c f0    \tvpbroadcastd %eax,%xmm30",},
634 {{0x62, 0x62, 0xfd, 0x48, 0x7c, 0xf0, }, 6, 0, "", "",
635 "62 62 fd 48 7c f0    \tvpbroadcastq %rax,%zmm30",},
636 {{0x62, 0x02, 0x25, 0x40, 0x7d, 0xe2, }, 6, 0, "", "",
637 "62 02 25 40 7d e2    \tvpermt2b %zmm26,%zmm27,%zmm28",},
638 {{0x62, 0x02, 0xa5, 0x40, 0x7d, 0xe2, }, 6, 0, "", "",
639 "62 02 a5 40 7d e2    \tvpermt2w %zmm26,%zmm27,%zmm28",},
640 {{0x62, 0x02, 0x25, 0x40, 0x7e, 0xe2, }, 6, 0, "", "",
641 "62 02 25 40 7e e2    \tvpermt2d %zmm26,%zmm27,%zmm28",},
642 {{0x62, 0x02, 0xa5, 0x40, 0x7e, 0xe2, }, 6, 0, "", "",
643 "62 02 a5 40 7e e2    \tvpermt2q %zmm26,%zmm27,%zmm28",},
644 {{0x62, 0x02, 0x25, 0x40, 0x7f, 0xe2, }, 6, 0, "", "",
645 "62 02 25 40 7f e2    \tvpermt2ps %zmm26,%zmm27,%zmm28",},
646 {{0x62, 0x02, 0xa5, 0x40, 0x7f, 0xe2, }, 6, 0, "", "",
647 "62 02 a5 40 7f e2    \tvpermt2pd %zmm26,%zmm27,%zmm28",},
648 {{0x62, 0x02, 0xa5, 0x40, 0x83, 0xe2, }, 6, 0, "", "",
649 "62 02 a5 40 83 e2    \tvpmultishiftqb %zmm26,%zmm27,%zmm28",},
650 {{0x62, 0x62, 0x7d, 0x48, 0x88, 0x11, }, 6, 0, "", "",
651 "62 62 7d 48 88 11    \tvexpandps (%rcx),%zmm26",},
652 {{0x62, 0x62, 0xfd, 0x48, 0x88, 0x21, }, 6, 0, "", "",
653 "62 62 fd 48 88 21    \tvexpandpd (%rcx),%zmm28",},
654 {{0x62, 0x62, 0x7d, 0x48, 0x89, 0x21, }, 6, 0, "", "",
655 "62 62 7d 48 89 21    \tvpexpandd (%rcx),%zmm28",},
656 {{0x62, 0x62, 0xfd, 0x48, 0x89, 0x11, }, 6, 0, "", "",
657 "62 62 fd 48 89 11    \tvpexpandq (%rcx),%zmm26",},
658 {{0x62, 0x62, 0x7d, 0x48, 0x8a, 0x21, }, 6, 0, "", "",
659 "62 62 7d 48 8a 21    \tvcompressps %zmm28,(%rcx)",},
660 {{0x62, 0x62, 0xfd, 0x48, 0x8a, 0x21, }, 6, 0, "", "",
661 "62 62 fd 48 8a 21    \tvcompresspd %zmm28,(%rcx)",},
662 {{0x62, 0x62, 0x7d, 0x48, 0x8b, 0x21, }, 6, 0, "", "",
663 "62 62 7d 48 8b 21    \tvpcompressd %zmm28,(%rcx)",},
664 {{0x62, 0x62, 0xfd, 0x48, 0x8b, 0x11, }, 6, 0, "", "",
665 "62 62 fd 48 8b 11    \tvpcompressq %zmm26,(%rcx)",},
666 {{0x62, 0x02, 0x25, 0x40, 0x8d, 0xe2, }, 6, 0, "", "",
667 "62 02 25 40 8d e2    \tvpermb %zmm26,%zmm27,%zmm28",},
668 {{0x62, 0x02, 0xa5, 0x40, 0x8d, 0xe2, }, 6, 0, "", "",
669 "62 02 a5 40 8d e2    \tvpermw %zmm26,%zmm27,%zmm28",},
670 {{0xc4, 0xe2, 0x69, 0x90, 0x4c, 0x7d, 0x02, }, 7, 0, "", "",
671 "c4 e2 69 90 4c 7d 02 \tvpgatherdd %xmm2,0x2(%rbp,%xmm7,2),%xmm1",},
672 {{0xc4, 0xe2, 0xe9, 0x90, 0x4c, 0x7d, 0x04, }, 7, 0, "", "",
673 "c4 e2 e9 90 4c 7d 04 \tvpgatherdq %xmm2,0x4(%rbp,%xmm7,2),%xmm1",},
674 {{0x62, 0x22, 0x7d, 0x41, 0x90, 0x94, 0xdd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
675 "62 22 7d 41 90 94 dd 7b 00 00 00 \tvpgatherdd 0x7b(%rbp,%zmm27,8),%zmm26{%k1}",},
676 {{0x62, 0x22, 0xfd, 0x41, 0x90, 0x94, 0xdd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
677 "62 22 fd 41 90 94 dd 7b 00 00 00 \tvpgatherdq 0x7b(%rbp,%ymm27,8),%zmm26{%k1}",},
678 {{0xc4, 0xe2, 0x69, 0x91, 0x4c, 0x7d, 0x02, }, 7, 0, "", "",
679 "c4 e2 69 91 4c 7d 02 \tvpgatherqd %xmm2,0x2(%rbp,%xmm7,2),%xmm1",},
680 {{0xc4, 0xe2, 0xe9, 0x91, 0x4c, 0x7d, 0x02, }, 7, 0, "", "",
681 "c4 e2 e9 91 4c 7d 02 \tvpgatherqq %xmm2,0x2(%rbp,%xmm7,2),%xmm1",},
682 {{0x62, 0x22, 0x7d, 0x41, 0x91, 0x94, 0xdd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
683 "62 22 7d 41 91 94 dd 7b 00 00 00 \tvpgatherqd 0x7b(%rbp,%zmm27,8),%ymm26{%k1}",},
684 {{0x62, 0x22, 0xfd, 0x41, 0x91, 0x94, 0xdd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
685 "62 22 fd 41 91 94 dd 7b 00 00 00 \tvpgatherqq 0x7b(%rbp,%zmm27,8),%zmm26{%k1}",},
686 {{0x62, 0x22, 0x7d, 0x41, 0xa0, 0xa4, 0xed, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
687 "62 22 7d 41 a0 a4 ed 7b 00 00 00 \tvpscatterdd %zmm28,0x7b(%rbp,%zmm29,8){%k1}",},
688 {{0x62, 0x22, 0xfd, 0x41, 0xa0, 0x94, 0xdd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
689 "62 22 fd 41 a0 94 dd 7b 00 00 00 \tvpscatterdq %zmm26,0x7b(%rbp,%ymm27,8){%k1}",},
690 {{0x62, 0xb2, 0x7d, 0x41, 0xa1, 0xb4, 0xed, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
691 "62 b2 7d 41 a1 b4 ed 7b 00 00 00 \tvpscatterqd %ymm6,0x7b(%rbp,%zmm29,8){%k1}",},
692 {{0x62, 0xb2, 0xfd, 0x21, 0xa1, 0xb4, 0xdd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
693 "62 b2 fd 21 a1 b4 dd 7b 00 00 00 \tvpscatterqq %ymm6,0x7b(%rbp,%ymm27,8){%k1}",},
694 {{0x62, 0x22, 0x7d, 0x41, 0xa2, 0xa4, 0xed, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
695 "62 22 7d 41 a2 a4 ed 7b 00 00 00 \tvscatterdps %zmm28,0x7b(%rbp,%zmm29,8){%k1}",},
696 {{0x62, 0x22, 0xfd, 0x41, 0xa2, 0xa4, 0xdd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
697 "62 22 fd 41 a2 a4 dd 7b 00 00 00 \tvscatterdpd %zmm28,0x7b(%rbp,%ymm27,8){%k1}",},
698 {{0x62, 0xb2, 0x7d, 0x41, 0xa3, 0xb4, 0xed, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
699 "62 b2 7d 41 a3 b4 ed 7b 00 00 00 \tvscatterqps %ymm6,0x7b(%rbp,%zmm29,8){%k1}",},
700 {{0x62, 0x22, 0xfd, 0x41, 0xa3, 0xa4, 0xed, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
701 "62 22 fd 41 a3 a4 ed 7b 00 00 00 \tvscatterqpd %zmm28,0x7b(%rbp,%zmm29,8){%k1}",},
702 {{0x62, 0x02, 0xa5, 0x40, 0xb4, 0xe2, }, 6, 0, "", "",
703 "62 02 a5 40 b4 e2    \tvpmadd52luq %zmm26,%zmm27,%zmm28",},
704 {{0x62, 0x02, 0xa5, 0x40, 0xb5, 0xe2, }, 6, 0, "", "",
705 "62 02 a5 40 b5 e2    \tvpmadd52huq %zmm26,%zmm27,%zmm28",},
706 {{0x62, 0x02, 0x7d, 0x48, 0xc4, 0xda, }, 6, 0, "", "",
707 "62 02 7d 48 c4 da    \tvpconflictd %zmm26,%zmm27",},
708 {{0x62, 0x02, 0xfd, 0x48, 0xc4, 0xda, }, 6, 0, "", "",
709 "62 02 fd 48 c4 da    \tvpconflictq %zmm26,%zmm27",},
710 {{0x62, 0x02, 0x7d, 0x48, 0xc8, 0xf5, }, 6, 0, "", "",
711 "62 02 7d 48 c8 f5    \tvexp2ps %zmm29,%zmm30",},
712 {{0x62, 0x02, 0xfd, 0x48, 0xc8, 0xda, }, 6, 0, "", "",
713 "62 02 fd 48 c8 da    \tvexp2pd %zmm26,%zmm27",},
714 {{0x62, 0x02, 0x7d, 0x48, 0xca, 0xf5, }, 6, 0, "", "",
715 "62 02 7d 48 ca f5    \tvrcp28ps %zmm29,%zmm30",},
716 {{0x62, 0x02, 0xfd, 0x48, 0xca, 0xda, }, 6, 0, "", "",
717 "62 02 fd 48 ca da    \tvrcp28pd %zmm26,%zmm27",},
718 {{0x62, 0x02, 0x15, 0x07, 0xcb, 0xf4, }, 6, 0, "", "",
719 "62 02 15 07 cb f4    \tvrcp28ss %xmm28,%xmm29,%xmm30{%k7}",},
720 {{0x62, 0x02, 0xad, 0x07, 0xcb, 0xd9, }, 6, 0, "", "",
721 "62 02 ad 07 cb d9    \tvrcp28sd %xmm25,%xmm26,%xmm27{%k7}",},
722 {{0x62, 0x02, 0x7d, 0x48, 0xcc, 0xf5, }, 6, 0, "", "",
723 "62 02 7d 48 cc f5    \tvrsqrt28ps %zmm29,%zmm30",},
724 {{0x62, 0x02, 0xfd, 0x48, 0xcc, 0xda, }, 6, 0, "", "",
725 "62 02 fd 48 cc da    \tvrsqrt28pd %zmm26,%zmm27",},
726 {{0x62, 0x02, 0x15, 0x07, 0xcd, 0xf4, }, 6, 0, "", "",
727 "62 02 15 07 cd f4    \tvrsqrt28ss %xmm28,%xmm29,%xmm30{%k7}",},
728 {{0x62, 0x02, 0xad, 0x07, 0xcd, 0xd9, }, 6, 0, "", "",
729 "62 02 ad 07 cd d9    \tvrsqrt28sd %xmm25,%xmm26,%xmm27{%k7}",},
730 {{0x62, 0x03, 0x15, 0x40, 0x03, 0xf4, 0x12, }, 7, 0, "", "",
731 "62 03 15 40 03 f4 12 \tvalignd $0x12,%zmm28,%zmm29,%zmm30",},
732 {{0x62, 0x03, 0xad, 0x40, 0x03, 0xd9, 0x12, }, 7, 0, "", "",
733 "62 03 ad 40 03 d9 12 \tvalignq $0x12,%zmm25,%zmm26,%zmm27",},
734 {{0xc4, 0xe3, 0x7d, 0x08, 0xd6, 0x05, }, 6, 0, "", "",
735 "c4 e3 7d 08 d6 05    \tvroundps $0x5,%ymm6,%ymm2",},
736 {{0x62, 0x03, 0x7d, 0x48, 0x08, 0xd1, 0x12, }, 7, 0, "", "",
737 "62 03 7d 48 08 d1 12 \tvrndscaleps $0x12,%zmm25,%zmm26",},
738 {{0xc4, 0xe3, 0x7d, 0x09, 0xd6, 0x05, }, 6, 0, "", "",
739 "c4 e3 7d 09 d6 05    \tvroundpd $0x5,%ymm6,%ymm2",},
740 {{0x62, 0x03, 0xfd, 0x48, 0x09, 0xd1, 0x12, }, 7, 0, "", "",
741 "62 03 fd 48 09 d1 12 \tvrndscalepd $0x12,%zmm25,%zmm26",},
742 {{0xc4, 0xe3, 0x49, 0x0a, 0xd4, 0x05, }, 6, 0, "", "",
743 "c4 e3 49 0a d4 05    \tvroundss $0x5,%xmm4,%xmm6,%xmm2",},
744 {{0x62, 0x03, 0x35, 0x07, 0x0a, 0xd0, 0x12, }, 7, 0, "", "",
745 "62 03 35 07 0a d0 12 \tvrndscaless $0x12,%xmm24,%xmm25,%xmm26{%k7}",},
746 {{0xc4, 0xe3, 0x49, 0x0b, 0xd4, 0x05, }, 6, 0, "", "",
747 "c4 e3 49 0b d4 05    \tvroundsd $0x5,%xmm4,%xmm6,%xmm2",},
748 {{0x62, 0x03, 0xb5, 0x07, 0x0b, 0xd0, 0x12, }, 7, 0, "", "",
749 "62 03 b5 07 0b d0 12 \tvrndscalesd $0x12,%xmm24,%xmm25,%xmm26{%k7}",},
750 {{0xc4, 0xe3, 0x5d, 0x18, 0xf4, 0x05, }, 6, 0, "", "",
751 "c4 e3 5d 18 f4 05    \tvinsertf128 $0x5,%xmm4,%ymm4,%ymm6",},
752 {{0x62, 0x03, 0x35, 0x47, 0x18, 0xd0, 0x12, }, 7, 0, "", "",
753 "62 03 35 47 18 d0 12 \tvinsertf32x4 $0x12,%xmm24,%zmm25,%zmm26{%k7}",},
754 {{0x62, 0x03, 0xb5, 0x47, 0x18, 0xd0, 0x12, }, 7, 0, "", "",
755 "62 03 b5 47 18 d0 12 \tvinsertf64x2 $0x12,%xmm24,%zmm25,%zmm26{%k7}",},
756 {{0xc4, 0xe3, 0x7d, 0x19, 0xe4, 0x05, }, 6, 0, "", "",
757 "c4 e3 7d 19 e4 05    \tvextractf128 $0x5,%ymm4,%xmm4",},
758 {{0x62, 0x03, 0x7d, 0x4f, 0x19, 0xca, 0x12, }, 7, 0, "", "",
759 "62 03 7d 4f 19 ca 12 \tvextractf32x4 $0x12,%zmm25,%xmm26{%k7}",},
760 {{0x62, 0x03, 0xfd, 0x4f, 0x19, 0xca, 0x12, }, 7, 0, "", "",
761 "62 03 fd 4f 19 ca 12 \tvextractf64x2 $0x12,%zmm25,%xmm26{%k7}",},
762 {{0x62, 0x03, 0x2d, 0x47, 0x1a, 0xd9, 0x12, }, 7, 0, "", "",
763 "62 03 2d 47 1a d9 12 \tvinsertf32x8 $0x12,%ymm25,%zmm26,%zmm27{%k7}",},
764 {{0x62, 0x03, 0x95, 0x47, 0x1a, 0xf4, 0x12, }, 7, 0, "", "",
765 "62 03 95 47 1a f4 12 \tvinsertf64x4 $0x12,%ymm28,%zmm29,%zmm30{%k7}",},
766 {{0x62, 0x03, 0x7d, 0x4f, 0x1b, 0xee, 0x12, }, 7, 0, "", "",
767 "62 03 7d 4f 1b ee 12 \tvextractf32x8 $0x12,%zmm29,%ymm30{%k7}",},
768 {{0x62, 0x03, 0xfd, 0x4f, 0x1b, 0xd3, 0x12, }, 7, 0, "", "",
769 "62 03 fd 4f 1b d3 12 \tvextractf64x4 $0x12,%zmm26,%ymm27{%k7}",},
770 {{0x62, 0x93, 0x0d, 0x40, 0x1e, 0xed, 0x12, }, 7, 0, "", "",
771 "62 93 0d 40 1e ed 12 \tvpcmpud $0x12,%zmm29,%zmm30,%k5",},
772 {{0x62, 0x93, 0xa5, 0x40, 0x1e, 0xea, 0x12, }, 7, 0, "", "",
773 "62 93 a5 40 1e ea 12 \tvpcmpuq $0x12,%zmm26,%zmm27,%k5",},
774 {{0x62, 0x93, 0x0d, 0x40, 0x1f, 0xed, 0x12, }, 7, 0, "", "",
775 "62 93 0d 40 1f ed 12 \tvpcmpd $0x12,%zmm29,%zmm30,%k5",},
776 {{0x62, 0x93, 0xa5, 0x40, 0x1f, 0xea, 0x12, }, 7, 0, "", "",
777 "62 93 a5 40 1f ea 12 \tvpcmpq $0x12,%zmm26,%zmm27,%k5",},
778 {{0x62, 0x03, 0x15, 0x40, 0x23, 0xf4, 0x12, }, 7, 0, "", "",
779 "62 03 15 40 23 f4 12 \tvshuff32x4 $0x12,%zmm28,%zmm29,%zmm30",},
780 {{0x62, 0x03, 0xad, 0x40, 0x23, 0xd9, 0x12, }, 7, 0, "", "",
781 "62 03 ad 40 23 d9 12 \tvshuff64x2 $0x12,%zmm25,%zmm26,%zmm27",},
782 {{0x62, 0x03, 0x15, 0x40, 0x25, 0xf4, 0x12, }, 7, 0, "", "",
783 "62 03 15 40 25 f4 12 \tvpternlogd $0x12,%zmm28,%zmm29,%zmm30",},
784 {{0x62, 0x03, 0x95, 0x40, 0x25, 0xf4, 0x12, }, 7, 0, "", "",
785 "62 03 95 40 25 f4 12 \tvpternlogq $0x12,%zmm28,%zmm29,%zmm30",},
786 {{0x62, 0x03, 0x7d, 0x48, 0x26, 0xda, 0x12, }, 7, 0, "", "",
787 "62 03 7d 48 26 da 12 \tvgetmantps $0x12,%zmm26,%zmm27",},
788 {{0x62, 0x03, 0xfd, 0x48, 0x26, 0xf5, 0x12, }, 7, 0, "", "",
789 "62 03 fd 48 26 f5 12 \tvgetmantpd $0x12,%zmm29,%zmm30",},
790 {{0x62, 0x03, 0x2d, 0x07, 0x27, 0xd9, 0x12, }, 7, 0, "", "",
791 "62 03 2d 07 27 d9 12 \tvgetmantss $0x12,%xmm25,%xmm26,%xmm27{%k7}",},
792 {{0x62, 0x03, 0x95, 0x07, 0x27, 0xf4, 0x12, }, 7, 0, "", "",
793 "62 03 95 07 27 f4 12 \tvgetmantsd $0x12,%xmm28,%xmm29,%xmm30{%k7}",},
794 {{0xc4, 0xe3, 0x5d, 0x38, 0xf4, 0x05, }, 6, 0, "", "",
795 "c4 e3 5d 38 f4 05    \tvinserti128 $0x5,%xmm4,%ymm4,%ymm6",},
796 {{0x62, 0x03, 0x35, 0x47, 0x38, 0xd0, 0x12, }, 7, 0, "", "",
797 "62 03 35 47 38 d0 12 \tvinserti32x4 $0x12,%xmm24,%zmm25,%zmm26{%k7}",},
798 {{0x62, 0x03, 0xb5, 0x47, 0x38, 0xd0, 0x12, }, 7, 0, "", "",
799 "62 03 b5 47 38 d0 12 \tvinserti64x2 $0x12,%xmm24,%zmm25,%zmm26{%k7}",},
800 {{0xc4, 0xe3, 0x7d, 0x39, 0xe6, 0x05, }, 6, 0, "", "",
801 "c4 e3 7d 39 e6 05    \tvextracti128 $0x5,%ymm4,%xmm6",},
802 {{0x62, 0x03, 0x7d, 0x4f, 0x39, 0xca, 0x12, }, 7, 0, "", "",
803 "62 03 7d 4f 39 ca 12 \tvextracti32x4 $0x12,%zmm25,%xmm26{%k7}",},
804 {{0x62, 0x03, 0xfd, 0x4f, 0x39, 0xca, 0x12, }, 7, 0, "", "",
805 "62 03 fd 4f 39 ca 12 \tvextracti64x2 $0x12,%zmm25,%xmm26{%k7}",},
806 {{0x62, 0x03, 0x15, 0x47, 0x3a, 0xf4, 0x12, }, 7, 0, "", "",
807 "62 03 15 47 3a f4 12 \tvinserti32x8 $0x12,%ymm28,%zmm29,%zmm30{%k7}",},
808 {{0x62, 0x03, 0xad, 0x47, 0x3a, 0xd9, 0x12, }, 7, 0, "", "",
809 "62 03 ad 47 3a d9 12 \tvinserti64x4 $0x12,%ymm25,%zmm26,%zmm27{%k7}",},
810 {{0x62, 0x03, 0x7d, 0x4f, 0x3b, 0xee, 0x12, }, 7, 0, "", "",
811 "62 03 7d 4f 3b ee 12 \tvextracti32x8 $0x12,%zmm29,%ymm30{%k7}",},
812 {{0x62, 0x03, 0xfd, 0x4f, 0x3b, 0xd3, 0x12, }, 7, 0, "", "",
813 "62 03 fd 4f 3b d3 12 \tvextracti64x4 $0x12,%zmm26,%ymm27{%k7}",},
814 {{0x62, 0x93, 0x0d, 0x40, 0x3e, 0xed, 0x12, }, 7, 0, "", "",
815 "62 93 0d 40 3e ed 12 \tvpcmpub $0x12,%zmm29,%zmm30,%k5",},
816 {{0x62, 0x93, 0xa5, 0x40, 0x3e, 0xea, 0x12, }, 7, 0, "", "",
817 "62 93 a5 40 3e ea 12 \tvpcmpuw $0x12,%zmm26,%zmm27,%k5",},
818 {{0x62, 0x93, 0x0d, 0x40, 0x3f, 0xed, 0x12, }, 7, 0, "", "",
819 "62 93 0d 40 3f ed 12 \tvpcmpb $0x12,%zmm29,%zmm30,%k5",},
820 {{0x62, 0x93, 0xa5, 0x40, 0x3f, 0xea, 0x12, }, 7, 0, "", "",
821 "62 93 a5 40 3f ea 12 \tvpcmpw $0x12,%zmm26,%zmm27,%k5",},
822 {{0xc4, 0xe3, 0x4d, 0x42, 0xd4, 0x05, }, 6, 0, "", "",
823 "c4 e3 4d 42 d4 05    \tvmpsadbw $0x5,%ymm4,%ymm6,%ymm2",},
824 {{0x62, 0xf3, 0x55, 0x48, 0x42, 0xf4, 0x12, }, 7, 0, "", "",
825 "62 f3 55 48 42 f4 12 \tvdbpsadbw $0x12,%zmm4,%zmm5,%zmm6",},
826 {{0x62, 0x03, 0x2d, 0x40, 0x43, 0xd9, 0x12, }, 7, 0, "", "",
827 "62 03 2d 40 43 d9 12 \tvshufi32x4 $0x12,%zmm25,%zmm26,%zmm27",},
828 {{0x62, 0x03, 0x95, 0x40, 0x43, 0xf4, 0x12, }, 7, 0, "", "",
829 "62 03 95 40 43 f4 12 \tvshufi64x2 $0x12,%zmm28,%zmm29,%zmm30",},
830 {{0x62, 0x03, 0x2d, 0x40, 0x50, 0xd9, 0x12, }, 7, 0, "", "",
831 "62 03 2d 40 50 d9 12 \tvrangeps $0x12,%zmm25,%zmm26,%zmm27",},
832 {{0x62, 0x03, 0x95, 0x40, 0x50, 0xf4, 0x12, }, 7, 0, "", "",
833 "62 03 95 40 50 f4 12 \tvrangepd $0x12,%zmm28,%zmm29,%zmm30",},
834 {{0x62, 0x03, 0x2d, 0x00, 0x51, 0xd9, 0x12, }, 7, 0, "", "",
835 "62 03 2d 00 51 d9 12 \tvrangess $0x12,%xmm25,%xmm26,%xmm27",},
836 {{0x62, 0x03, 0x95, 0x00, 0x51, 0xf4, 0x12, }, 7, 0, "", "",
837 "62 03 95 00 51 f4 12 \tvrangesd $0x12,%xmm28,%xmm29,%xmm30",},
838 {{0x62, 0x03, 0x15, 0x40, 0x54, 0xf4, 0x12, }, 7, 0, "", "",
839 "62 03 15 40 54 f4 12 \tvfixupimmps $0x12,%zmm28,%zmm29,%zmm30",},
840 {{0x62, 0x03, 0xad, 0x40, 0x54, 0xd9, 0x12, }, 7, 0, "", "",
841 "62 03 ad 40 54 d9 12 \tvfixupimmpd $0x12,%zmm25,%zmm26,%zmm27",},
842 {{0x62, 0x03, 0x15, 0x07, 0x55, 0xf4, 0x12, }, 7, 0, "", "",
843 "62 03 15 07 55 f4 12 \tvfixupimmss $0x12,%xmm28,%xmm29,%xmm30{%k7}",},
844 {{0x62, 0x03, 0xad, 0x07, 0x55, 0xd9, 0x12, }, 7, 0, "", "",
845 "62 03 ad 07 55 d9 12 \tvfixupimmsd $0x12,%xmm25,%xmm26,%xmm27{%k7}",},
846 {{0x62, 0x03, 0x7d, 0x48, 0x56, 0xda, 0x12, }, 7, 0, "", "",
847 "62 03 7d 48 56 da 12 \tvreduceps $0x12,%zmm26,%zmm27",},
848 {{0x62, 0x03, 0xfd, 0x48, 0x56, 0xf5, 0x12, }, 7, 0, "", "",
849 "62 03 fd 48 56 f5 12 \tvreducepd $0x12,%zmm29,%zmm30",},
850 {{0x62, 0x03, 0x2d, 0x00, 0x57, 0xd9, 0x12, }, 7, 0, "", "",
851 "62 03 2d 00 57 d9 12 \tvreducess $0x12,%xmm25,%xmm26,%xmm27",},
852 {{0x62, 0x03, 0x95, 0x00, 0x57, 0xf4, 0x12, }, 7, 0, "", "",
853 "62 03 95 00 57 f4 12 \tvreducesd $0x12,%xmm28,%xmm29,%xmm30",},
854 {{0x62, 0x93, 0x7d, 0x48, 0x66, 0xeb, 0x12, }, 7, 0, "", "",
855 "62 93 7d 48 66 eb 12 \tvfpclassps $0x12,%zmm27,%k5",},
856 {{0x62, 0x93, 0xfd, 0x48, 0x66, 0xee, 0x12, }, 7, 0, "", "",
857 "62 93 fd 48 66 ee 12 \tvfpclasspd $0x12,%zmm30,%k5",},
858 {{0x62, 0x93, 0x7d, 0x08, 0x67, 0xeb, 0x12, }, 7, 0, "", "",
859 "62 93 7d 08 67 eb 12 \tvfpclassss $0x12,%xmm27,%k5",},
860 {{0x62, 0x93, 0xfd, 0x08, 0x67, 0xee, 0x12, }, 7, 0, "", "",
861 "62 93 fd 08 67 ee 12 \tvfpclasssd $0x12,%xmm30,%k5",},
862 {{0x62, 0x91, 0x2d, 0x40, 0x72, 0xc1, 0x12, }, 7, 0, "", "",
863 "62 91 2d 40 72 c1 12 \tvprord $0x12,%zmm25,%zmm26",},
864 {{0x62, 0x91, 0xad, 0x40, 0x72, 0xc1, 0x12, }, 7, 0, "", "",
865 "62 91 ad 40 72 c1 12 \tvprorq $0x12,%zmm25,%zmm26",},
866 {{0x62, 0x91, 0x0d, 0x40, 0x72, 0xcd, 0x12, }, 7, 0, "", "",
867 "62 91 0d 40 72 cd 12 \tvprold $0x12,%zmm29,%zmm30",},
868 {{0x62, 0x91, 0x8d, 0x40, 0x72, 0xcd, 0x12, }, 7, 0, "", "",
869 "62 91 8d 40 72 cd 12 \tvprolq $0x12,%zmm29,%zmm30",},
870 {{0x0f, 0x72, 0xe6, 0x02, }, 4, 0, "", "",
871 "0f 72 e6 02          \tpsrad  $0x2,%mm6",},
872 {{0xc5, 0xed, 0x72, 0xe6, 0x05, }, 5, 0, "", "",
873 "c5 ed 72 e6 05       \tvpsrad $0x5,%ymm6,%ymm2",},
874 {{0x62, 0x91, 0x4d, 0x40, 0x72, 0xe2, 0x05, }, 7, 0, "", "",
875 "62 91 4d 40 72 e2 05 \tvpsrad $0x5,%zmm26,%zmm22",},
876 {{0x62, 0x91, 0xcd, 0x40, 0x72, 0xe2, 0x05, }, 7, 0, "", "",
877 "62 91 cd 40 72 e2 05 \tvpsraq $0x5,%zmm26,%zmm22",},
878 {{0x62, 0x92, 0x7d, 0x41, 0xc6, 0x8c, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
879 "62 92 7d 41 c6 8c fe 7b 00 00 00 \tvgatherpf0dps 0x7b(%r14,%zmm31,8){%k1}",},
880 {{0x62, 0x92, 0xfd, 0x41, 0xc6, 0x8c, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
881 "62 92 fd 41 c6 8c fe 7b 00 00 00 \tvgatherpf0dpd 0x7b(%r14,%ymm31,8){%k1}",},
882 {{0x62, 0x92, 0x7d, 0x41, 0xc6, 0x94, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
883 "62 92 7d 41 c6 94 fe 7b 00 00 00 \tvgatherpf1dps 0x7b(%r14,%zmm31,8){%k1}",},
884 {{0x62, 0x92, 0xfd, 0x41, 0xc6, 0x94, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
885 "62 92 fd 41 c6 94 fe 7b 00 00 00 \tvgatherpf1dpd 0x7b(%r14,%ymm31,8){%k1}",},
886 {{0x62, 0x92, 0x7d, 0x41, 0xc6, 0xac, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
887 "62 92 7d 41 c6 ac fe 7b 00 00 00 \tvscatterpf0dps 0x7b(%r14,%zmm31,8){%k1}",},
888 {{0x62, 0x92, 0xfd, 0x41, 0xc6, 0xac, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
889 "62 92 fd 41 c6 ac fe 7b 00 00 00 \tvscatterpf0dpd 0x7b(%r14,%ymm31,8){%k1}",},
890 {{0x62, 0x92, 0x7d, 0x41, 0xc6, 0xb4, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
891 "62 92 7d 41 c6 b4 fe 7b 00 00 00 \tvscatterpf1dps 0x7b(%r14,%zmm31,8){%k1}",},
892 {{0x62, 0x92, 0xfd, 0x41, 0xc6, 0xb4, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
893 "62 92 fd 41 c6 b4 fe 7b 00 00 00 \tvscatterpf1dpd 0x7b(%r14,%ymm31,8){%k1}",},
894 {{0x62, 0x92, 0x7d, 0x41, 0xc7, 0x8c, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
895 "62 92 7d 41 c7 8c fe 7b 00 00 00 \tvgatherpf0qps 0x7b(%r14,%zmm31,8){%k1}",},
896 {{0x62, 0x92, 0xfd, 0x41, 0xc7, 0x8c, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
897 "62 92 fd 41 c7 8c fe 7b 00 00 00 \tvgatherpf0qpd 0x7b(%r14,%zmm31,8){%k1}",},
898 {{0x62, 0x92, 0x7d, 0x41, 0xc7, 0x94, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
899 "62 92 7d 41 c7 94 fe 7b 00 00 00 \tvgatherpf1qps 0x7b(%r14,%zmm31,8){%k1}",},
900 {{0x62, 0x92, 0xfd, 0x41, 0xc7, 0x94, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
901 "62 92 fd 41 c7 94 fe 7b 00 00 00 \tvgatherpf1qpd 0x7b(%r14,%zmm31,8){%k1}",},
902 {{0x62, 0x92, 0x7d, 0x41, 0xc7, 0xac, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
903 "62 92 7d 41 c7 ac fe 7b 00 00 00 \tvscatterpf0qps 0x7b(%r14,%zmm31,8){%k1}",},
904 {{0x62, 0x92, 0xfd, 0x41, 0xc7, 0xac, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
905 "62 92 fd 41 c7 ac fe 7b 00 00 00 \tvscatterpf0qpd 0x7b(%r14,%zmm31,8){%k1}",},
906 {{0x62, 0x92, 0x7d, 0x41, 0xc7, 0xb4, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
907 "62 92 7d 41 c7 b4 fe 7b 00 00 00 \tvscatterpf1qps 0x7b(%r14,%zmm31,8){%k1}",},
908 {{0x62, 0x92, 0xfd, 0x41, 0xc7, 0xb4, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
909 "62 92 fd 41 c7 b4 fe 7b 00 00 00 \tvscatterpf1qpd 0x7b(%r14,%zmm31,8){%k1}",},
910 {{0x62, 0x01, 0x95, 0x40, 0x58, 0xf4, }, 6, 0, "", "",
911 "62 01 95 40 58 f4    \tvaddpd %zmm28,%zmm29,%zmm30",},
912 {{0x62, 0x01, 0x95, 0x47, 0x58, 0xf4, }, 6, 0, "", "",
913 "62 01 95 47 58 f4    \tvaddpd %zmm28,%zmm29,%zmm30{%k7}",},
914 {{0x62, 0x01, 0x95, 0xc7, 0x58, 0xf4, }, 6, 0, "", "",
915 "62 01 95 c7 58 f4    \tvaddpd %zmm28,%zmm29,%zmm30{%k7}{z}",},
916 {{0x62, 0x01, 0x95, 0x10, 0x58, 0xf4, }, 6, 0, "", "",
917 "62 01 95 10 58 f4    \tvaddpd {rn-sae},%zmm28,%zmm29,%zmm30",},
918 {{0x62, 0x01, 0x95, 0x50, 0x58, 0xf4, }, 6, 0, "", "",
919 "62 01 95 50 58 f4    \tvaddpd {ru-sae},%zmm28,%zmm29,%zmm30",},
920 {{0x62, 0x01, 0x95, 0x30, 0x58, 0xf4, }, 6, 0, "", "",
921 "62 01 95 30 58 f4    \tvaddpd {rd-sae},%zmm28,%zmm29,%zmm30",},
922 {{0x62, 0x01, 0x95, 0x70, 0x58, 0xf4, }, 6, 0, "", "",
923 "62 01 95 70 58 f4    \tvaddpd {rz-sae},%zmm28,%zmm29,%zmm30",},
924 {{0x62, 0x61, 0x95, 0x40, 0x58, 0x31, }, 6, 0, "", "",
925 "62 61 95 40 58 31    \tvaddpd (%rcx),%zmm29,%zmm30",},
926 {{0x62, 0x21, 0x95, 0x40, 0x58, 0xb4, 0xf0, 0x23, 0x01, 0x00, 0x00, }, 11, 0, "", "",
927 "62 21 95 40 58 b4 f0 23 01 00 00 \tvaddpd 0x123(%rax,%r14,8),%zmm29,%zmm30",},
928 {{0x62, 0x61, 0x95, 0x50, 0x58, 0x31, }, 6, 0, "", "",
929 "62 61 95 50 58 31    \tvaddpd (%rcx){1to8},%zmm29,%zmm30",},
930 {{0x62, 0x61, 0x95, 0x40, 0x58, 0x72, 0x7f, }, 7, 0, "", "",
931 "62 61 95 40 58 72 7f \tvaddpd 0x1fc0(%rdx),%zmm29,%zmm30",},
932 {{0x62, 0x61, 0x95, 0x50, 0x58, 0x72, 0x7f, }, 7, 0, "", "",
933 "62 61 95 50 58 72 7f \tvaddpd 0x3f8(%rdx){1to8},%zmm29,%zmm30",},
934 {{0x62, 0xf1, 0x0c, 0x50, 0xc2, 0x6a, 0x7f, 0x08, }, 8, 0, "", "",
935 "62 f1 0c 50 c2 6a 7f 08 \tvcmpeq_uqps 0x1fc(%rdx){1to16},%zmm30,%k5",},
936 {{0x62, 0xb1, 0x97, 0x07, 0xc2, 0xac, 0xf0, 0x23, 0x01, 0x00, 0x00, 0x01, }, 12, 0, "", "",
937 "62 b1 97 07 c2 ac f0 23 01 00 00 01 \tvcmpltsd 0x123(%rax,%r14,8),%xmm29,%k5{%k7}",},
938 {{0x62, 0x91, 0x97, 0x17, 0xc2, 0xec, 0x02, }, 7, 0, "", "",
939 "62 91 97 17 c2 ec 02 \tvcmplesd {sae},%xmm28,%xmm29,%k5{%k7}",},
940 {{0x62, 0x23, 0x15, 0x07, 0x27, 0xb4, 0xf0, 0x23, 0x01, 0x00, 0x00, 0x5b, }, 12, 0, "", "",
941 "62 23 15 07 27 b4 f0 23 01 00 00 5b \tvgetmantss $0x5b,0x123(%rax,%r14,8),%xmm29,%xmm30{%k7}",},
942 {{0xf3, 0x0f, 0x1b, 0x00, }, 4, 0, "", "",
943 "f3 0f 1b 00          \tbndmk  (%rax),%bnd0",},
944 {{0xf3, 0x41, 0x0f, 0x1b, 0x00, }, 5, 0, "", "",
945 "f3 41 0f 1b 00       \tbndmk  (%r8),%bnd0",},
946 {{0xf3, 0x0f, 0x1b, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
947 "f3 0f 1b 04 25 78 56 34 12 \tbndmk  0x12345678,%bnd0",},
948 {{0xf3, 0x0f, 0x1b, 0x18, }, 4, 0, "", "",
949 "f3 0f 1b 18          \tbndmk  (%rax),%bnd3",},
950 {{0xf3, 0x0f, 0x1b, 0x04, 0x01, }, 5, 0, "", "",
951 "f3 0f 1b 04 01       \tbndmk  (%rcx,%rax,1),%bnd0",},
952 {{0xf3, 0x0f, 0x1b, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
953 "f3 0f 1b 04 05 78 56 34 12 \tbndmk  0x12345678(,%rax,1),%bnd0",},
954 {{0xf3, 0x0f, 0x1b, 0x04, 0x08, }, 5, 0, "", "",
955 "f3 0f 1b 04 08       \tbndmk  (%rax,%rcx,1),%bnd0",},
956 {{0xf3, 0x0f, 0x1b, 0x04, 0xc8, }, 5, 0, "", "",
957 "f3 0f 1b 04 c8       \tbndmk  (%rax,%rcx,8),%bnd0",},
958 {{0xf3, 0x0f, 0x1b, 0x40, 0x12, }, 5, 0, "", "",
959 "f3 0f 1b 40 12       \tbndmk  0x12(%rax),%bnd0",},
960 {{0xf3, 0x0f, 0x1b, 0x45, 0x12, }, 5, 0, "", "",
961 "f3 0f 1b 45 12       \tbndmk  0x12(%rbp),%bnd0",},
962 {{0xf3, 0x0f, 0x1b, 0x44, 0x01, 0x12, }, 6, 0, "", "",
963 "f3 0f 1b 44 01 12    \tbndmk  0x12(%rcx,%rax,1),%bnd0",},
964 {{0xf3, 0x0f, 0x1b, 0x44, 0x05, 0x12, }, 6, 0, "", "",
965 "f3 0f 1b 44 05 12    \tbndmk  0x12(%rbp,%rax,1),%bnd0",},
966 {{0xf3, 0x0f, 0x1b, 0x44, 0x08, 0x12, }, 6, 0, "", "",
967 "f3 0f 1b 44 08 12    \tbndmk  0x12(%rax,%rcx,1),%bnd0",},
968 {{0xf3, 0x0f, 0x1b, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
969 "f3 0f 1b 44 c8 12    \tbndmk  0x12(%rax,%rcx,8),%bnd0",},
970 {{0xf3, 0x0f, 0x1b, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
971 "f3 0f 1b 80 78 56 34 12 \tbndmk  0x12345678(%rax),%bnd0",},
972 {{0xf3, 0x0f, 0x1b, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
973 "f3 0f 1b 85 78 56 34 12 \tbndmk  0x12345678(%rbp),%bnd0",},
974 {{0xf3, 0x0f, 0x1b, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
975 "f3 0f 1b 84 01 78 56 34 12 \tbndmk  0x12345678(%rcx,%rax,1),%bnd0",},
976 {{0xf3, 0x0f, 0x1b, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
977 "f3 0f 1b 84 05 78 56 34 12 \tbndmk  0x12345678(%rbp,%rax,1),%bnd0",},
978 {{0xf3, 0x0f, 0x1b, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
979 "f3 0f 1b 84 08 78 56 34 12 \tbndmk  0x12345678(%rax,%rcx,1),%bnd0",},
980 {{0xf3, 0x0f, 0x1b, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
981 "f3 0f 1b 84 c8 78 56 34 12 \tbndmk  0x12345678(%rax,%rcx,8),%bnd0",},
982 {{0xf3, 0x0f, 0x1a, 0x00, }, 4, 0, "", "",
983 "f3 0f 1a 00          \tbndcl  (%rax),%bnd0",},
984 {{0xf3, 0x41, 0x0f, 0x1a, 0x00, }, 5, 0, "", "",
985 "f3 41 0f 1a 00       \tbndcl  (%r8),%bnd0",},
986 {{0xf3, 0x0f, 0x1a, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
987 "f3 0f 1a 04 25 78 56 34 12 \tbndcl  0x12345678,%bnd0",},
988 {{0xf3, 0x0f, 0x1a, 0x18, }, 4, 0, "", "",
989 "f3 0f 1a 18          \tbndcl  (%rax),%bnd3",},
990 {{0xf3, 0x0f, 0x1a, 0x04, 0x01, }, 5, 0, "", "",
991 "f3 0f 1a 04 01       \tbndcl  (%rcx,%rax,1),%bnd0",},
992 {{0xf3, 0x0f, 0x1a, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
993 "f3 0f 1a 04 05 78 56 34 12 \tbndcl  0x12345678(,%rax,1),%bnd0",},
994 {{0xf3, 0x0f, 0x1a, 0x04, 0x08, }, 5, 0, "", "",
995 "f3 0f 1a 04 08       \tbndcl  (%rax,%rcx,1),%bnd0",},
996 {{0xf3, 0x0f, 0x1a, 0x04, 0xc8, }, 5, 0, "", "",
997 "f3 0f 1a 04 c8       \tbndcl  (%rax,%rcx,8),%bnd0",},
998 {{0xf3, 0x0f, 0x1a, 0x40, 0x12, }, 5, 0, "", "",
999 "f3 0f 1a 40 12       \tbndcl  0x12(%rax),%bnd0",},
1000 {{0xf3, 0x0f, 0x1a, 0x45, 0x12, }, 5, 0, "", "",
1001 "f3 0f 1a 45 12       \tbndcl  0x12(%rbp),%bnd0",},
1002 {{0xf3, 0x0f, 0x1a, 0x44, 0x01, 0x12, }, 6, 0, "", "",
1003 "f3 0f 1a 44 01 12    \tbndcl  0x12(%rcx,%rax,1),%bnd0",},
1004 {{0xf3, 0x0f, 0x1a, 0x44, 0x05, 0x12, }, 6, 0, "", "",
1005 "f3 0f 1a 44 05 12    \tbndcl  0x12(%rbp,%rax,1),%bnd0",},
1006 {{0xf3, 0x0f, 0x1a, 0x44, 0x08, 0x12, }, 6, 0, "", "",
1007 "f3 0f 1a 44 08 12    \tbndcl  0x12(%rax,%rcx,1),%bnd0",},
1008 {{0xf3, 0x0f, 0x1a, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
1009 "f3 0f 1a 44 c8 12    \tbndcl  0x12(%rax,%rcx,8),%bnd0",},
1010 {{0xf3, 0x0f, 0x1a, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1011 "f3 0f 1a 80 78 56 34 12 \tbndcl  0x12345678(%rax),%bnd0",},
1012 {{0xf3, 0x0f, 0x1a, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1013 "f3 0f 1a 85 78 56 34 12 \tbndcl  0x12345678(%rbp),%bnd0",},
1014 {{0xf3, 0x0f, 0x1a, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1015 "f3 0f 1a 84 01 78 56 34 12 \tbndcl  0x12345678(%rcx,%rax,1),%bnd0",},
1016 {{0xf3, 0x0f, 0x1a, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1017 "f3 0f 1a 84 05 78 56 34 12 \tbndcl  0x12345678(%rbp,%rax,1),%bnd0",},
1018 {{0xf3, 0x0f, 0x1a, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1019 "f3 0f 1a 84 08 78 56 34 12 \tbndcl  0x12345678(%rax,%rcx,1),%bnd0",},
1020 {{0xf3, 0x0f, 0x1a, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1021 "f3 0f 1a 84 c8 78 56 34 12 \tbndcl  0x12345678(%rax,%rcx,8),%bnd0",},
1022 {{0xf3, 0x0f, 0x1a, 0xc0, }, 4, 0, "", "",
1023 "f3 0f 1a c0          \tbndcl  %rax,%bnd0",},
1024 {{0xf2, 0x0f, 0x1a, 0x00, }, 4, 0, "", "",
1025 "f2 0f 1a 00          \tbndcu  (%rax),%bnd0",},
1026 {{0xf2, 0x41, 0x0f, 0x1a, 0x00, }, 5, 0, "", "",
1027 "f2 41 0f 1a 00       \tbndcu  (%r8),%bnd0",},
1028 {{0xf2, 0x0f, 0x1a, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1029 "f2 0f 1a 04 25 78 56 34 12 \tbndcu  0x12345678,%bnd0",},
1030 {{0xf2, 0x0f, 0x1a, 0x18, }, 4, 0, "", "",
1031 "f2 0f 1a 18          \tbndcu  (%rax),%bnd3",},
1032 {{0xf2, 0x0f, 0x1a, 0x04, 0x01, }, 5, 0, "", "",
1033 "f2 0f 1a 04 01       \tbndcu  (%rcx,%rax,1),%bnd0",},
1034 {{0xf2, 0x0f, 0x1a, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1035 "f2 0f 1a 04 05 78 56 34 12 \tbndcu  0x12345678(,%rax,1),%bnd0",},
1036 {{0xf2, 0x0f, 0x1a, 0x04, 0x08, }, 5, 0, "", "",
1037 "f2 0f 1a 04 08       \tbndcu  (%rax,%rcx,1),%bnd0",},
1038 {{0xf2, 0x0f, 0x1a, 0x04, 0xc8, }, 5, 0, "", "",
1039 "f2 0f 1a 04 c8       \tbndcu  (%rax,%rcx,8),%bnd0",},
1040 {{0xf2, 0x0f, 0x1a, 0x40, 0x12, }, 5, 0, "", "",
1041 "f2 0f 1a 40 12       \tbndcu  0x12(%rax),%bnd0",},
1042 {{0xf2, 0x0f, 0x1a, 0x45, 0x12, }, 5, 0, "", "",
1043 "f2 0f 1a 45 12       \tbndcu  0x12(%rbp),%bnd0",},
1044 {{0xf2, 0x0f, 0x1a, 0x44, 0x01, 0x12, }, 6, 0, "", "",
1045 "f2 0f 1a 44 01 12    \tbndcu  0x12(%rcx,%rax,1),%bnd0",},
1046 {{0xf2, 0x0f, 0x1a, 0x44, 0x05, 0x12, }, 6, 0, "", "",
1047 "f2 0f 1a 44 05 12    \tbndcu  0x12(%rbp,%rax,1),%bnd0",},
1048 {{0xf2, 0x0f, 0x1a, 0x44, 0x08, 0x12, }, 6, 0, "", "",
1049 "f2 0f 1a 44 08 12    \tbndcu  0x12(%rax,%rcx,1),%bnd0",},
1050 {{0xf2, 0x0f, 0x1a, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
1051 "f2 0f 1a 44 c8 12    \tbndcu  0x12(%rax,%rcx,8),%bnd0",},
1052 {{0xf2, 0x0f, 0x1a, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1053 "f2 0f 1a 80 78 56 34 12 \tbndcu  0x12345678(%rax),%bnd0",},
1054 {{0xf2, 0x0f, 0x1a, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1055 "f2 0f 1a 85 78 56 34 12 \tbndcu  0x12345678(%rbp),%bnd0",},
1056 {{0xf2, 0x0f, 0x1a, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1057 "f2 0f 1a 84 01 78 56 34 12 \tbndcu  0x12345678(%rcx,%rax,1),%bnd0",},
1058 {{0xf2, 0x0f, 0x1a, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1059 "f2 0f 1a 84 05 78 56 34 12 \tbndcu  0x12345678(%rbp,%rax,1),%bnd0",},
1060 {{0xf2, 0x0f, 0x1a, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1061 "f2 0f 1a 84 08 78 56 34 12 \tbndcu  0x12345678(%rax,%rcx,1),%bnd0",},
1062 {{0xf2, 0x0f, 0x1a, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1063 "f2 0f 1a 84 c8 78 56 34 12 \tbndcu  0x12345678(%rax,%rcx,8),%bnd0",},
1064 {{0xf2, 0x0f, 0x1a, 0xc0, }, 4, 0, "", "",
1065 "f2 0f 1a c0          \tbndcu  %rax,%bnd0",},
1066 {{0xf2, 0x0f, 0x1b, 0x00, }, 4, 0, "", "",
1067 "f2 0f 1b 00          \tbndcn  (%rax),%bnd0",},
1068 {{0xf2, 0x41, 0x0f, 0x1b, 0x00, }, 5, 0, "", "",
1069 "f2 41 0f 1b 00       \tbndcn  (%r8),%bnd0",},
1070 {{0xf2, 0x0f, 0x1b, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1071 "f2 0f 1b 04 25 78 56 34 12 \tbndcn  0x12345678,%bnd0",},
1072 {{0xf2, 0x0f, 0x1b, 0x18, }, 4, 0, "", "",
1073 "f2 0f 1b 18          \tbndcn  (%rax),%bnd3",},
1074 {{0xf2, 0x0f, 0x1b, 0x04, 0x01, }, 5, 0, "", "",
1075 "f2 0f 1b 04 01       \tbndcn  (%rcx,%rax,1),%bnd0",},
1076 {{0xf2, 0x0f, 0x1b, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1077 "f2 0f 1b 04 05 78 56 34 12 \tbndcn  0x12345678(,%rax,1),%bnd0",},
1078 {{0xf2, 0x0f, 0x1b, 0x04, 0x08, }, 5, 0, "", "",
1079 "f2 0f 1b 04 08       \tbndcn  (%rax,%rcx,1),%bnd0",},
1080 {{0xf2, 0x0f, 0x1b, 0x04, 0xc8, }, 5, 0, "", "",
1081 "f2 0f 1b 04 c8       \tbndcn  (%rax,%rcx,8),%bnd0",},
1082 {{0xf2, 0x0f, 0x1b, 0x40, 0x12, }, 5, 0, "", "",
1083 "f2 0f 1b 40 12       \tbndcn  0x12(%rax),%bnd0",},
1084 {{0xf2, 0x0f, 0x1b, 0x45, 0x12, }, 5, 0, "", "",
1085 "f2 0f 1b 45 12       \tbndcn  0x12(%rbp),%bnd0",},
1086 {{0xf2, 0x0f, 0x1b, 0x44, 0x01, 0x12, }, 6, 0, "", "",
1087 "f2 0f 1b 44 01 12    \tbndcn  0x12(%rcx,%rax,1),%bnd0",},
1088 {{0xf2, 0x0f, 0x1b, 0x44, 0x05, 0x12, }, 6, 0, "", "",
1089 "f2 0f 1b 44 05 12    \tbndcn  0x12(%rbp,%rax,1),%bnd0",},
1090 {{0xf2, 0x0f, 0x1b, 0x44, 0x08, 0x12, }, 6, 0, "", "",
1091 "f2 0f 1b 44 08 12    \tbndcn  0x12(%rax,%rcx,1),%bnd0",},
1092 {{0xf2, 0x0f, 0x1b, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
1093 "f2 0f 1b 44 c8 12    \tbndcn  0x12(%rax,%rcx,8),%bnd0",},
1094 {{0xf2, 0x0f, 0x1b, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1095 "f2 0f 1b 80 78 56 34 12 \tbndcn  0x12345678(%rax),%bnd0",},
1096 {{0xf2, 0x0f, 0x1b, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1097 "f2 0f 1b 85 78 56 34 12 \tbndcn  0x12345678(%rbp),%bnd0",},
1098 {{0xf2, 0x0f, 0x1b, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1099 "f2 0f 1b 84 01 78 56 34 12 \tbndcn  0x12345678(%rcx,%rax,1),%bnd0",},
1100 {{0xf2, 0x0f, 0x1b, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1101 "f2 0f 1b 84 05 78 56 34 12 \tbndcn  0x12345678(%rbp,%rax,1),%bnd0",},
1102 {{0xf2, 0x0f, 0x1b, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1103 "f2 0f 1b 84 08 78 56 34 12 \tbndcn  0x12345678(%rax,%rcx,1),%bnd0",},
1104 {{0xf2, 0x0f, 0x1b, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1105 "f2 0f 1b 84 c8 78 56 34 12 \tbndcn  0x12345678(%rax,%rcx,8),%bnd0",},
1106 {{0xf2, 0x0f, 0x1b, 0xc0, }, 4, 0, "", "",
1107 "f2 0f 1b c0          \tbndcn  %rax,%bnd0",},
1108 {{0x66, 0x0f, 0x1a, 0x00, }, 4, 0, "", "",
1109 "66 0f 1a 00          \tbndmov (%rax),%bnd0",},
1110 {{0x66, 0x41, 0x0f, 0x1a, 0x00, }, 5, 0, "", "",
1111 "66 41 0f 1a 00       \tbndmov (%r8),%bnd0",},
1112 {{0x66, 0x0f, 0x1a, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1113 "66 0f 1a 04 25 78 56 34 12 \tbndmov 0x12345678,%bnd0",},
1114 {{0x66, 0x0f, 0x1a, 0x18, }, 4, 0, "", "",
1115 "66 0f 1a 18          \tbndmov (%rax),%bnd3",},
1116 {{0x66, 0x0f, 0x1a, 0x04, 0x01, }, 5, 0, "", "",
1117 "66 0f 1a 04 01       \tbndmov (%rcx,%rax,1),%bnd0",},
1118 {{0x66, 0x0f, 0x1a, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1119 "66 0f 1a 04 05 78 56 34 12 \tbndmov 0x12345678(,%rax,1),%bnd0",},
1120 {{0x66, 0x0f, 0x1a, 0x04, 0x08, }, 5, 0, "", "",
1121 "66 0f 1a 04 08       \tbndmov (%rax,%rcx,1),%bnd0",},
1122 {{0x66, 0x0f, 0x1a, 0x04, 0xc8, }, 5, 0, "", "",
1123 "66 0f 1a 04 c8       \tbndmov (%rax,%rcx,8),%bnd0",},
1124 {{0x66, 0x0f, 0x1a, 0x40, 0x12, }, 5, 0, "", "",
1125 "66 0f 1a 40 12       \tbndmov 0x12(%rax),%bnd0",},
1126 {{0x66, 0x0f, 0x1a, 0x45, 0x12, }, 5, 0, "", "",
1127 "66 0f 1a 45 12       \tbndmov 0x12(%rbp),%bnd0",},
1128 {{0x66, 0x0f, 0x1a, 0x44, 0x01, 0x12, }, 6, 0, "", "",
1129 "66 0f 1a 44 01 12    \tbndmov 0x12(%rcx,%rax,1),%bnd0",},
1130 {{0x66, 0x0f, 0x1a, 0x44, 0x05, 0x12, }, 6, 0, "", "",
1131 "66 0f 1a 44 05 12    \tbndmov 0x12(%rbp,%rax,1),%bnd0",},
1132 {{0x66, 0x0f, 0x1a, 0x44, 0x08, 0x12, }, 6, 0, "", "",
1133 "66 0f 1a 44 08 12    \tbndmov 0x12(%rax,%rcx,1),%bnd0",},
1134 {{0x66, 0x0f, 0x1a, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
1135 "66 0f 1a 44 c8 12    \tbndmov 0x12(%rax,%rcx,8),%bnd0",},
1136 {{0x66, 0x0f, 0x1a, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1137 "66 0f 1a 80 78 56 34 12 \tbndmov 0x12345678(%rax),%bnd0",},
1138 {{0x66, 0x0f, 0x1a, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1139 "66 0f 1a 85 78 56 34 12 \tbndmov 0x12345678(%rbp),%bnd0",},
1140 {{0x66, 0x0f, 0x1a, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1141 "66 0f 1a 84 01 78 56 34 12 \tbndmov 0x12345678(%rcx,%rax,1),%bnd0",},
1142 {{0x66, 0x0f, 0x1a, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1143 "66 0f 1a 84 05 78 56 34 12 \tbndmov 0x12345678(%rbp,%rax,1),%bnd0",},
1144 {{0x66, 0x0f, 0x1a, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1145 "66 0f 1a 84 08 78 56 34 12 \tbndmov 0x12345678(%rax,%rcx,1),%bnd0",},
1146 {{0x66, 0x0f, 0x1a, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1147 "66 0f 1a 84 c8 78 56 34 12 \tbndmov 0x12345678(%rax,%rcx,8),%bnd0",},
1148 {{0x66, 0x0f, 0x1b, 0x00, }, 4, 0, "", "",
1149 "66 0f 1b 00          \tbndmov %bnd0,(%rax)",},
1150 {{0x66, 0x41, 0x0f, 0x1b, 0x00, }, 5, 0, "", "",
1151 "66 41 0f 1b 00       \tbndmov %bnd0,(%r8)",},
1152 {{0x66, 0x0f, 0x1b, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1153 "66 0f 1b 04 25 78 56 34 12 \tbndmov %bnd0,0x12345678",},
1154 {{0x66, 0x0f, 0x1b, 0x18, }, 4, 0, "", "",
1155 "66 0f 1b 18          \tbndmov %bnd3,(%rax)",},
1156 {{0x66, 0x0f, 0x1b, 0x04, 0x01, }, 5, 0, "", "",
1157 "66 0f 1b 04 01       \tbndmov %bnd0,(%rcx,%rax,1)",},
1158 {{0x66, 0x0f, 0x1b, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1159 "66 0f 1b 04 05 78 56 34 12 \tbndmov %bnd0,0x12345678(,%rax,1)",},
1160 {{0x66, 0x0f, 0x1b, 0x04, 0x08, }, 5, 0, "", "",
1161 "66 0f 1b 04 08       \tbndmov %bnd0,(%rax,%rcx,1)",},
1162 {{0x66, 0x0f, 0x1b, 0x04, 0xc8, }, 5, 0, "", "",
1163 "66 0f 1b 04 c8       \tbndmov %bnd0,(%rax,%rcx,8)",},
1164 {{0x66, 0x0f, 0x1b, 0x40, 0x12, }, 5, 0, "", "",
1165 "66 0f 1b 40 12       \tbndmov %bnd0,0x12(%rax)",},
1166 {{0x66, 0x0f, 0x1b, 0x45, 0x12, }, 5, 0, "", "",
1167 "66 0f 1b 45 12       \tbndmov %bnd0,0x12(%rbp)",},
1168 {{0x66, 0x0f, 0x1b, 0x44, 0x01, 0x12, }, 6, 0, "", "",
1169 "66 0f 1b 44 01 12    \tbndmov %bnd0,0x12(%rcx,%rax,1)",},
1170 {{0x66, 0x0f, 0x1b, 0x44, 0x05, 0x12, }, 6, 0, "", "",
1171 "66 0f 1b 44 05 12    \tbndmov %bnd0,0x12(%rbp,%rax,1)",},
1172 {{0x66, 0x0f, 0x1b, 0x44, 0x08, 0x12, }, 6, 0, "", "",
1173 "66 0f 1b 44 08 12    \tbndmov %bnd0,0x12(%rax,%rcx,1)",},
1174 {{0x66, 0x0f, 0x1b, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
1175 "66 0f 1b 44 c8 12    \tbndmov %bnd0,0x12(%rax,%rcx,8)",},
1176 {{0x66, 0x0f, 0x1b, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1177 "66 0f 1b 80 78 56 34 12 \tbndmov %bnd0,0x12345678(%rax)",},
1178 {{0x66, 0x0f, 0x1b, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1179 "66 0f 1b 85 78 56 34 12 \tbndmov %bnd0,0x12345678(%rbp)",},
1180 {{0x66, 0x0f, 0x1b, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1181 "66 0f 1b 84 01 78 56 34 12 \tbndmov %bnd0,0x12345678(%rcx,%rax,1)",},
1182 {{0x66, 0x0f, 0x1b, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1183 "66 0f 1b 84 05 78 56 34 12 \tbndmov %bnd0,0x12345678(%rbp,%rax,1)",},
1184 {{0x66, 0x0f, 0x1b, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1185 "66 0f 1b 84 08 78 56 34 12 \tbndmov %bnd0,0x12345678(%rax,%rcx,1)",},
1186 {{0x66, 0x0f, 0x1b, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1187 "66 0f 1b 84 c8 78 56 34 12 \tbndmov %bnd0,0x12345678(%rax,%rcx,8)",},
1188 {{0x66, 0x0f, 0x1a, 0xc8, }, 4, 0, "", "",
1189 "66 0f 1a c8          \tbndmov %bnd0,%bnd1",},
1190 {{0x66, 0x0f, 0x1a, 0xc1, }, 4, 0, "", "",
1191 "66 0f 1a c1          \tbndmov %bnd1,%bnd0",},
1192 {{0x0f, 0x1a, 0x00, }, 3, 0, "", "",
1193 "0f 1a 00             \tbndldx (%rax),%bnd0",},
1194 {{0x41, 0x0f, 0x1a, 0x00, }, 4, 0, "", "",
1195 "41 0f 1a 00          \tbndldx (%r8),%bnd0",},
1196 {{0x0f, 0x1a, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1197 "0f 1a 04 25 78 56 34 12 \tbndldx 0x12345678,%bnd0",},
1198 {{0x0f, 0x1a, 0x18, }, 3, 0, "", "",
1199 "0f 1a 18             \tbndldx (%rax),%bnd3",},
1200 {{0x0f, 0x1a, 0x04, 0x01, }, 4, 0, "", "",
1201 "0f 1a 04 01          \tbndldx (%rcx,%rax,1),%bnd0",},
1202 {{0x0f, 0x1a, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1203 "0f 1a 04 05 78 56 34 12 \tbndldx 0x12345678(,%rax,1),%bnd0",},
1204 {{0x0f, 0x1a, 0x04, 0x08, }, 4, 0, "", "",
1205 "0f 1a 04 08          \tbndldx (%rax,%rcx,1),%bnd0",},
1206 {{0x0f, 0x1a, 0x40, 0x12, }, 4, 0, "", "",
1207 "0f 1a 40 12          \tbndldx 0x12(%rax),%bnd0",},
1208 {{0x0f, 0x1a, 0x45, 0x12, }, 4, 0, "", "",
1209 "0f 1a 45 12          \tbndldx 0x12(%rbp),%bnd0",},
1210 {{0x0f, 0x1a, 0x44, 0x01, 0x12, }, 5, 0, "", "",
1211 "0f 1a 44 01 12       \tbndldx 0x12(%rcx,%rax,1),%bnd0",},
1212 {{0x0f, 0x1a, 0x44, 0x05, 0x12, }, 5, 0, "", "",
1213 "0f 1a 44 05 12       \tbndldx 0x12(%rbp,%rax,1),%bnd0",},
1214 {{0x0f, 0x1a, 0x44, 0x08, 0x12, }, 5, 0, "", "",
1215 "0f 1a 44 08 12       \tbndldx 0x12(%rax,%rcx,1),%bnd0",},
1216 {{0x0f, 0x1a, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
1217 "0f 1a 80 78 56 34 12 \tbndldx 0x12345678(%rax),%bnd0",},
1218 {{0x0f, 0x1a, 0x85, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
1219 "0f 1a 85 78 56 34 12 \tbndldx 0x12345678(%rbp),%bnd0",},
1220 {{0x0f, 0x1a, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1221 "0f 1a 84 01 78 56 34 12 \tbndldx 0x12345678(%rcx,%rax,1),%bnd0",},
1222 {{0x0f, 0x1a, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1223 "0f 1a 84 05 78 56 34 12 \tbndldx 0x12345678(%rbp,%rax,1),%bnd0",},
1224 {{0x0f, 0x1a, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1225 "0f 1a 84 08 78 56 34 12 \tbndldx 0x12345678(%rax,%rcx,1),%bnd0",},
1226 {{0x0f, 0x1b, 0x00, }, 3, 0, "", "",
1227 "0f 1b 00             \tbndstx %bnd0,(%rax)",},
1228 {{0x41, 0x0f, 0x1b, 0x00, }, 4, 0, "", "",
1229 "41 0f 1b 00          \tbndstx %bnd0,(%r8)",},
1230 {{0x0f, 0x1b, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1231 "0f 1b 04 25 78 56 34 12 \tbndstx %bnd0,0x12345678",},
1232 {{0x0f, 0x1b, 0x18, }, 3, 0, "", "",
1233 "0f 1b 18             \tbndstx %bnd3,(%rax)",},
1234 {{0x0f, 0x1b, 0x04, 0x01, }, 4, 0, "", "",
1235 "0f 1b 04 01          \tbndstx %bnd0,(%rcx,%rax,1)",},
1236 {{0x0f, 0x1b, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1237 "0f 1b 04 05 78 56 34 12 \tbndstx %bnd0,0x12345678(,%rax,1)",},
1238 {{0x0f, 0x1b, 0x04, 0x08, }, 4, 0, "", "",
1239 "0f 1b 04 08          \tbndstx %bnd0,(%rax,%rcx,1)",},
1240 {{0x0f, 0x1b, 0x40, 0x12, }, 4, 0, "", "",
1241 "0f 1b 40 12          \tbndstx %bnd0,0x12(%rax)",},
1242 {{0x0f, 0x1b, 0x45, 0x12, }, 4, 0, "", "",
1243 "0f 1b 45 12          \tbndstx %bnd0,0x12(%rbp)",},
1244 {{0x0f, 0x1b, 0x44, 0x01, 0x12, }, 5, 0, "", "",
1245 "0f 1b 44 01 12       \tbndstx %bnd0,0x12(%rcx,%rax,1)",},
1246 {{0x0f, 0x1b, 0x44, 0x05, 0x12, }, 5, 0, "", "",
1247 "0f 1b 44 05 12       \tbndstx %bnd0,0x12(%rbp,%rax,1)",},
1248 {{0x0f, 0x1b, 0x44, 0x08, 0x12, }, 5, 0, "", "",
1249 "0f 1b 44 08 12       \tbndstx %bnd0,0x12(%rax,%rcx,1)",},
1250 {{0x0f, 0x1b, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
1251 "0f 1b 80 78 56 34 12 \tbndstx %bnd0,0x12345678(%rax)",},
1252 {{0x0f, 0x1b, 0x85, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
1253 "0f 1b 85 78 56 34 12 \tbndstx %bnd0,0x12345678(%rbp)",},
1254 {{0x0f, 0x1b, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1255 "0f 1b 84 01 78 56 34 12 \tbndstx %bnd0,0x12345678(%rcx,%rax,1)",},
1256 {{0x0f, 0x1b, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1257 "0f 1b 84 05 78 56 34 12 \tbndstx %bnd0,0x12345678(%rbp,%rax,1)",},
1258 {{0x0f, 0x1b, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1259 "0f 1b 84 08 78 56 34 12 \tbndstx %bnd0,0x12345678(%rax,%rcx,1)",},
1260 {{0xf2, 0xe8, 0x00, 0x00, 0x00, 0x00, }, 6, 0, "call", "unconditional",
1261 "f2 e8 00 00 00 00    \tbnd callq f22 <main+0xf22>",},
1262 {{0x67, 0xf2, 0xff, 0x10, }, 4, 0, "call", "indirect",
1263 "67 f2 ff 10          \tbnd callq *(%eax)",},
1264 {{0xf2, 0xc3, }, 2, 0, "ret", "indirect",
1265 "f2 c3                \tbnd retq ",},
1266 {{0xf2, 0xe9, 0x00, 0x00, 0x00, 0x00, }, 6, 0, "jmp", "unconditional",
1267 "f2 e9 00 00 00 00    \tbnd jmpq f2e <main+0xf2e>",},
1268 {{0xf2, 0xe9, 0x00, 0x00, 0x00, 0x00, }, 6, 0, "jmp", "unconditional",
1269 "f2 e9 00 00 00 00    \tbnd jmpq f34 <main+0xf34>",},
1270 {{0x67, 0xf2, 0xff, 0x21, }, 4, 0, "jmp", "indirect",
1271 "67 f2 ff 21          \tbnd jmpq *(%ecx)",},
1272 {{0xf2, 0x0f, 0x85, 0x00, 0x00, 0x00, 0x00, }, 7, 0, "jcc", "conditional",
1273 "f2 0f 85 00 00 00 00 \tbnd jne f3f <main+0xf3f>",},
1274 {{0x0f, 0x3a, 0xcc, 0xc1, 0x00, }, 5, 0, "", "",
1275 "0f 3a cc c1 00       \tsha1rnds4 $0x0,%xmm1,%xmm0",},
1276 {{0x0f, 0x3a, 0xcc, 0xd7, 0x91, }, 5, 0, "", "",
1277 "0f 3a cc d7 91       \tsha1rnds4 $0x91,%xmm7,%xmm2",},
1278 {{0x41, 0x0f, 0x3a, 0xcc, 0xc0, 0x91, }, 6, 0, "", "",
1279 "41 0f 3a cc c0 91    \tsha1rnds4 $0x91,%xmm8,%xmm0",},
1280 {{0x44, 0x0f, 0x3a, 0xcc, 0xc7, 0x91, }, 6, 0, "", "",
1281 "44 0f 3a cc c7 91    \tsha1rnds4 $0x91,%xmm7,%xmm8",},
1282 {{0x45, 0x0f, 0x3a, 0xcc, 0xc7, 0x91, }, 6, 0, "", "",
1283 "45 0f 3a cc c7 91    \tsha1rnds4 $0x91,%xmm15,%xmm8",},
1284 {{0x0f, 0x3a, 0xcc, 0x00, 0x91, }, 5, 0, "", "",
1285 "0f 3a cc 00 91       \tsha1rnds4 $0x91,(%rax),%xmm0",},
1286 {{0x41, 0x0f, 0x3a, 0xcc, 0x00, 0x91, }, 6, 0, "", "",
1287 "41 0f 3a cc 00 91    \tsha1rnds4 $0x91,(%r8),%xmm0",},
1288 {{0x0f, 0x3a, 0xcc, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
1289 "0f 3a cc 04 25 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678,%xmm0",},
1290 {{0x0f, 0x3a, 0xcc, 0x18, 0x91, }, 5, 0, "", "",
1291 "0f 3a cc 18 91       \tsha1rnds4 $0x91,(%rax),%xmm3",},
1292 {{0x0f, 0x3a, 0xcc, 0x04, 0x01, 0x91, }, 6, 0, "", "",
1293 "0f 3a cc 04 01 91    \tsha1rnds4 $0x91,(%rcx,%rax,1),%xmm0",},
1294 {{0x0f, 0x3a, 0xcc, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
1295 "0f 3a cc 04 05 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(,%rax,1),%xmm0",},
1296 {{0x0f, 0x3a, 0xcc, 0x04, 0x08, 0x91, }, 6, 0, "", "",
1297 "0f 3a cc 04 08 91    \tsha1rnds4 $0x91,(%rax,%rcx,1),%xmm0",},
1298 {{0x0f, 0x3a, 0xcc, 0x04, 0xc8, 0x91, }, 6, 0, "", "",
1299 "0f 3a cc 04 c8 91    \tsha1rnds4 $0x91,(%rax,%rcx,8),%xmm0",},
1300 {{0x0f, 0x3a, 0xcc, 0x40, 0x12, 0x91, }, 6, 0, "", "",
1301 "0f 3a cc 40 12 91    \tsha1rnds4 $0x91,0x12(%rax),%xmm0",},
1302 {{0x0f, 0x3a, 0xcc, 0x45, 0x12, 0x91, }, 6, 0, "", "",
1303 "0f 3a cc 45 12 91    \tsha1rnds4 $0x91,0x12(%rbp),%xmm0",},
1304 {{0x0f, 0x3a, 0xcc, 0x44, 0x01, 0x12, 0x91, }, 7, 0, "", "",
1305 "0f 3a cc 44 01 12 91 \tsha1rnds4 $0x91,0x12(%rcx,%rax,1),%xmm0",},
1306 {{0x0f, 0x3a, 0xcc, 0x44, 0x05, 0x12, 0x91, }, 7, 0, "", "",
1307 "0f 3a cc 44 05 12 91 \tsha1rnds4 $0x91,0x12(%rbp,%rax,1),%xmm0",},
1308 {{0x0f, 0x3a, 0xcc, 0x44, 0x08, 0x12, 0x91, }, 7, 0, "", "",
1309 "0f 3a cc 44 08 12 91 \tsha1rnds4 $0x91,0x12(%rax,%rcx,1),%xmm0",},
1310 {{0x0f, 0x3a, 0xcc, 0x44, 0xc8, 0x12, 0x91, }, 7, 0, "", "",
1311 "0f 3a cc 44 c8 12 91 \tsha1rnds4 $0x91,0x12(%rax,%rcx,8),%xmm0",},
1312 {{0x0f, 0x3a, 0xcc, 0x80, 0x78, 0x56, 0x34, 0x12, 0x91, }, 9, 0, "", "",
1313 "0f 3a cc 80 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rax),%xmm0",},
1314 {{0x0f, 0x3a, 0xcc, 0x85, 0x78, 0x56, 0x34, 0x12, 0x91, }, 9, 0, "", "",
1315 "0f 3a cc 85 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rbp),%xmm0",},
1316 {{0x0f, 0x3a, 0xcc, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
1317 "0f 3a cc 84 01 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rcx,%rax,1),%xmm0",},
1318 {{0x0f, 0x3a, 0xcc, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
1319 "0f 3a cc 84 05 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rbp,%rax,1),%xmm0",},
1320 {{0x0f, 0x3a, 0xcc, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
1321 "0f 3a cc 84 08 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rax,%rcx,1),%xmm0",},
1322 {{0x0f, 0x3a, 0xcc, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
1323 "0f 3a cc 84 c8 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rax,%rcx,8),%xmm0",},
1324 {{0x44, 0x0f, 0x3a, 0xcc, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, 0x91, }, 11, 0, "", "",
1325 "44 0f 3a cc bc c8 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rax,%rcx,8),%xmm15",},
1326 {{0x0f, 0x38, 0xc8, 0xc1, }, 4, 0, "", "",
1327 "0f 38 c8 c1          \tsha1nexte %xmm1,%xmm0",},
1328 {{0x0f, 0x38, 0xc8, 0xd7, }, 4, 0, "", "",
1329 "0f 38 c8 d7          \tsha1nexte %xmm7,%xmm2",},
1330 {{0x41, 0x0f, 0x38, 0xc8, 0xc0, }, 5, 0, "", "",
1331 "41 0f 38 c8 c0       \tsha1nexte %xmm8,%xmm0",},
1332 {{0x44, 0x0f, 0x38, 0xc8, 0xc7, }, 5, 0, "", "",
1333 "44 0f 38 c8 c7       \tsha1nexte %xmm7,%xmm8",},
1334 {{0x45, 0x0f, 0x38, 0xc8, 0xc7, }, 5, 0, "", "",
1335 "45 0f 38 c8 c7       \tsha1nexte %xmm15,%xmm8",},
1336 {{0x0f, 0x38, 0xc8, 0x00, }, 4, 0, "", "",
1337 "0f 38 c8 00          \tsha1nexte (%rax),%xmm0",},
1338 {{0x41, 0x0f, 0x38, 0xc8, 0x00, }, 5, 0, "", "",
1339 "41 0f 38 c8 00       \tsha1nexte (%r8),%xmm0",},
1340 {{0x0f, 0x38, 0xc8, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1341 "0f 38 c8 04 25 78 56 34 12 \tsha1nexte 0x12345678,%xmm0",},
1342 {{0x0f, 0x38, 0xc8, 0x18, }, 4, 0, "", "",
1343 "0f 38 c8 18          \tsha1nexte (%rax),%xmm3",},
1344 {{0x0f, 0x38, 0xc8, 0x04, 0x01, }, 5, 0, "", "",
1345 "0f 38 c8 04 01       \tsha1nexte (%rcx,%rax,1),%xmm0",},
1346 {{0x0f, 0x38, 0xc8, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1347 "0f 38 c8 04 05 78 56 34 12 \tsha1nexte 0x12345678(,%rax,1),%xmm0",},
1348 {{0x0f, 0x38, 0xc8, 0x04, 0x08, }, 5, 0, "", "",
1349 "0f 38 c8 04 08       \tsha1nexte (%rax,%rcx,1),%xmm0",},
1350 {{0x0f, 0x38, 0xc8, 0x04, 0xc8, }, 5, 0, "", "",
1351 "0f 38 c8 04 c8       \tsha1nexte (%rax,%rcx,8),%xmm0",},
1352 {{0x0f, 0x38, 0xc8, 0x40, 0x12, }, 5, 0, "", "",
1353 "0f 38 c8 40 12       \tsha1nexte 0x12(%rax),%xmm0",},
1354 {{0x0f, 0x38, 0xc8, 0x45, 0x12, }, 5, 0, "", "",
1355 "0f 38 c8 45 12       \tsha1nexte 0x12(%rbp),%xmm0",},
1356 {{0x0f, 0x38, 0xc8, 0x44, 0x01, 0x12, }, 6, 0, "", "",
1357 "0f 38 c8 44 01 12    \tsha1nexte 0x12(%rcx,%rax,1),%xmm0",},
1358 {{0x0f, 0x38, 0xc8, 0x44, 0x05, 0x12, }, 6, 0, "", "",
1359 "0f 38 c8 44 05 12    \tsha1nexte 0x12(%rbp,%rax,1),%xmm0",},
1360 {{0x0f, 0x38, 0xc8, 0x44, 0x08, 0x12, }, 6, 0, "", "",
1361 "0f 38 c8 44 08 12    \tsha1nexte 0x12(%rax,%rcx,1),%xmm0",},
1362 {{0x0f, 0x38, 0xc8, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
1363 "0f 38 c8 44 c8 12    \tsha1nexte 0x12(%rax,%rcx,8),%xmm0",},
1364 {{0x0f, 0x38, 0xc8, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1365 "0f 38 c8 80 78 56 34 12 \tsha1nexte 0x12345678(%rax),%xmm0",},
1366 {{0x0f, 0x38, 0xc8, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1367 "0f 38 c8 85 78 56 34 12 \tsha1nexte 0x12345678(%rbp),%xmm0",},
1368 {{0x0f, 0x38, 0xc8, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1369 "0f 38 c8 84 01 78 56 34 12 \tsha1nexte 0x12345678(%rcx,%rax,1),%xmm0",},
1370 {{0x0f, 0x38, 0xc8, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1371 "0f 38 c8 84 05 78 56 34 12 \tsha1nexte 0x12345678(%rbp,%rax,1),%xmm0",},
1372 {{0x0f, 0x38, 0xc8, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1373 "0f 38 c8 84 08 78 56 34 12 \tsha1nexte 0x12345678(%rax,%rcx,1),%xmm0",},
1374 {{0x0f, 0x38, 0xc8, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1375 "0f 38 c8 84 c8 78 56 34 12 \tsha1nexte 0x12345678(%rax,%rcx,8),%xmm0",},
1376 {{0x44, 0x0f, 0x38, 0xc8, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
1377 "44 0f 38 c8 bc c8 78 56 34 12 \tsha1nexte 0x12345678(%rax,%rcx,8),%xmm15",},
1378 {{0x0f, 0x38, 0xc9, 0xc1, }, 4, 0, "", "",
1379 "0f 38 c9 c1          \tsha1msg1 %xmm1,%xmm0",},
1380 {{0x0f, 0x38, 0xc9, 0xd7, }, 4, 0, "", "",
1381 "0f 38 c9 d7          \tsha1msg1 %xmm7,%xmm2",},
1382 {{0x41, 0x0f, 0x38, 0xc9, 0xc0, }, 5, 0, "", "",
1383 "41 0f 38 c9 c0       \tsha1msg1 %xmm8,%xmm0",},
1384 {{0x44, 0x0f, 0x38, 0xc9, 0xc7, }, 5, 0, "", "",
1385 "44 0f 38 c9 c7       \tsha1msg1 %xmm7,%xmm8",},
1386 {{0x45, 0x0f, 0x38, 0xc9, 0xc7, }, 5, 0, "", "",
1387 "45 0f 38 c9 c7       \tsha1msg1 %xmm15,%xmm8",},
1388 {{0x0f, 0x38, 0xc9, 0x00, }, 4, 0, "", "",
1389 "0f 38 c9 00          \tsha1msg1 (%rax),%xmm0",},
1390 {{0x41, 0x0f, 0x38, 0xc9, 0x00, }, 5, 0, "", "",
1391 "41 0f 38 c9 00       \tsha1msg1 (%r8),%xmm0",},
1392 {{0x0f, 0x38, 0xc9, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1393 "0f 38 c9 04 25 78 56 34 12 \tsha1msg1 0x12345678,%xmm0",},
1394 {{0x0f, 0x38, 0xc9, 0x18, }, 4, 0, "", "",
1395 "0f 38 c9 18          \tsha1msg1 (%rax),%xmm3",},
1396 {{0x0f, 0x38, 0xc9, 0x04, 0x01, }, 5, 0, "", "",
1397 "0f 38 c9 04 01       \tsha1msg1 (%rcx,%rax,1),%xmm0",},
1398 {{0x0f, 0x38, 0xc9, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1399 "0f 38 c9 04 05 78 56 34 12 \tsha1msg1 0x12345678(,%rax,1),%xmm0",},
1400 {{0x0f, 0x38, 0xc9, 0x04, 0x08, }, 5, 0, "", "",
1401 "0f 38 c9 04 08       \tsha1msg1 (%rax,%rcx,1),%xmm0",},
1402 {{0x0f, 0x38, 0xc9, 0x04, 0xc8, }, 5, 0, "", "",
1403 "0f 38 c9 04 c8       \tsha1msg1 (%rax,%rcx,8),%xmm0",},
1404 {{0x0f, 0x38, 0xc9, 0x40, 0x12, }, 5, 0, "", "",
1405 "0f 38 c9 40 12       \tsha1msg1 0x12(%rax),%xmm0",},
1406 {{0x0f, 0x38, 0xc9, 0x45, 0x12, }, 5, 0, "", "",
1407 "0f 38 c9 45 12       \tsha1msg1 0x12(%rbp),%xmm0",},
1408 {{0x0f, 0x38, 0xc9, 0x44, 0x01, 0x12, }, 6, 0, "", "",
1409 "0f 38 c9 44 01 12    \tsha1msg1 0x12(%rcx,%rax,1),%xmm0",},
1410 {{0x0f, 0x38, 0xc9, 0x44, 0x05, 0x12, }, 6, 0, "", "",
1411 "0f 38 c9 44 05 12    \tsha1msg1 0x12(%rbp,%rax,1),%xmm0",},
1412 {{0x0f, 0x38, 0xc9, 0x44, 0x08, 0x12, }, 6, 0, "", "",
1413 "0f 38 c9 44 08 12    \tsha1msg1 0x12(%rax,%rcx,1),%xmm0",},
1414 {{0x0f, 0x38, 0xc9, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
1415 "0f 38 c9 44 c8 12    \tsha1msg1 0x12(%rax,%rcx,8),%xmm0",},
1416 {{0x0f, 0x38, 0xc9, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1417 "0f 38 c9 80 78 56 34 12 \tsha1msg1 0x12345678(%rax),%xmm0",},
1418 {{0x0f, 0x38, 0xc9, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1419 "0f 38 c9 85 78 56 34 12 \tsha1msg1 0x12345678(%rbp),%xmm0",},
1420 {{0x0f, 0x38, 0xc9, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1421 "0f 38 c9 84 01 78 56 34 12 \tsha1msg1 0x12345678(%rcx,%rax,1),%xmm0",},
1422 {{0x0f, 0x38, 0xc9, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1423 "0f 38 c9 84 05 78 56 34 12 \tsha1msg1 0x12345678(%rbp,%rax,1),%xmm0",},
1424 {{0x0f, 0x38, 0xc9, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1425 "0f 38 c9 84 08 78 56 34 12 \tsha1msg1 0x12345678(%rax,%rcx,1),%xmm0",},
1426 {{0x0f, 0x38, 0xc9, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1427 "0f 38 c9 84 c8 78 56 34 12 \tsha1msg1 0x12345678(%rax,%rcx,8),%xmm0",},
1428 {{0x44, 0x0f, 0x38, 0xc9, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
1429 "44 0f 38 c9 bc c8 78 56 34 12 \tsha1msg1 0x12345678(%rax,%rcx,8),%xmm15",},
1430 {{0x0f, 0x38, 0xca, 0xc1, }, 4, 0, "", "",
1431 "0f 38 ca c1          \tsha1msg2 %xmm1,%xmm0",},
1432 {{0x0f, 0x38, 0xca, 0xd7, }, 4, 0, "", "",
1433 "0f 38 ca d7          \tsha1msg2 %xmm7,%xmm2",},
1434 {{0x41, 0x0f, 0x38, 0xca, 0xc0, }, 5, 0, "", "",
1435 "41 0f 38 ca c0       \tsha1msg2 %xmm8,%xmm0",},
1436 {{0x44, 0x0f, 0x38, 0xca, 0xc7, }, 5, 0, "", "",
1437 "44 0f 38 ca c7       \tsha1msg2 %xmm7,%xmm8",},
1438 {{0x45, 0x0f, 0x38, 0xca, 0xc7, }, 5, 0, "", "",
1439 "45 0f 38 ca c7       \tsha1msg2 %xmm15,%xmm8",},
1440 {{0x0f, 0x38, 0xca, 0x00, }, 4, 0, "", "",
1441 "0f 38 ca 00          \tsha1msg2 (%rax),%xmm0",},
1442 {{0x41, 0x0f, 0x38, 0xca, 0x00, }, 5, 0, "", "",
1443 "41 0f 38 ca 00       \tsha1msg2 (%r8),%xmm0",},
1444 {{0x0f, 0x38, 0xca, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1445 "0f 38 ca 04 25 78 56 34 12 \tsha1msg2 0x12345678,%xmm0",},
1446 {{0x0f, 0x38, 0xca, 0x18, }, 4, 0, "", "",
1447 "0f 38 ca 18          \tsha1msg2 (%rax),%xmm3",},
1448 {{0x0f, 0x38, 0xca, 0x04, 0x01, }, 5, 0, "", "",
1449 "0f 38 ca 04 01       \tsha1msg2 (%rcx,%rax,1),%xmm0",},
1450 {{0x0f, 0x38, 0xca, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1451 "0f 38 ca 04 05 78 56 34 12 \tsha1msg2 0x12345678(,%rax,1),%xmm0",},
1452 {{0x0f, 0x38, 0xca, 0x04, 0x08, }, 5, 0, "", "",
1453 "0f 38 ca 04 08       \tsha1msg2 (%rax,%rcx,1),%xmm0",},
1454 {{0x0f, 0x38, 0xca, 0x04, 0xc8, }, 5, 0, "", "",
1455 "0f 38 ca 04 c8       \tsha1msg2 (%rax,%rcx,8),%xmm0",},
1456 {{0x0f, 0x38, 0xca, 0x40, 0x12, }, 5, 0, "", "",
1457 "0f 38 ca 40 12       \tsha1msg2 0x12(%rax),%xmm0",},
1458 {{0x0f, 0x38, 0xca, 0x45, 0x12, }, 5, 0, "", "",
1459 "0f 38 ca 45 12       \tsha1msg2 0x12(%rbp),%xmm0",},
1460 {{0x0f, 0x38, 0xca, 0x44, 0x01, 0x12, }, 6, 0, "", "",
1461 "0f 38 ca 44 01 12    \tsha1msg2 0x12(%rcx,%rax,1),%xmm0",},
1462 {{0x0f, 0x38, 0xca, 0x44, 0x05, 0x12, }, 6, 0, "", "",
1463 "0f 38 ca 44 05 12    \tsha1msg2 0x12(%rbp,%rax,1),%xmm0",},
1464 {{0x0f, 0x38, 0xca, 0x44, 0x08, 0x12, }, 6, 0, "", "",
1465 "0f 38 ca 44 08 12    \tsha1msg2 0x12(%rax,%rcx,1),%xmm0",},
1466 {{0x0f, 0x38, 0xca, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
1467 "0f 38 ca 44 c8 12    \tsha1msg2 0x12(%rax,%rcx,8),%xmm0",},
1468 {{0x0f, 0x38, 0xca, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1469 "0f 38 ca 80 78 56 34 12 \tsha1msg2 0x12345678(%rax),%xmm0",},
1470 {{0x0f, 0x38, 0xca, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1471 "0f 38 ca 85 78 56 34 12 \tsha1msg2 0x12345678(%rbp),%xmm0",},
1472 {{0x0f, 0x38, 0xca, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1473 "0f 38 ca 84 01 78 56 34 12 \tsha1msg2 0x12345678(%rcx,%rax,1),%xmm0",},
1474 {{0x0f, 0x38, 0xca, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1475 "0f 38 ca 84 05 78 56 34 12 \tsha1msg2 0x12345678(%rbp,%rax,1),%xmm0",},
1476 {{0x0f, 0x38, 0xca, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1477 "0f 38 ca 84 08 78 56 34 12 \tsha1msg2 0x12345678(%rax,%rcx,1),%xmm0",},
1478 {{0x0f, 0x38, 0xca, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1479 "0f 38 ca 84 c8 78 56 34 12 \tsha1msg2 0x12345678(%rax,%rcx,8),%xmm0",},
1480 {{0x44, 0x0f, 0x38, 0xca, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
1481 "44 0f 38 ca bc c8 78 56 34 12 \tsha1msg2 0x12345678(%rax,%rcx,8),%xmm15",},
1482 {{0x0f, 0x38, 0xcb, 0xcc, }, 4, 0, "", "",
1483 "0f 38 cb cc          \tsha256rnds2 %xmm0,%xmm4,%xmm1",},
1484 {{0x0f, 0x38, 0xcb, 0xd7, }, 4, 0, "", "",
1485 "0f 38 cb d7          \tsha256rnds2 %xmm0,%xmm7,%xmm2",},
1486 {{0x41, 0x0f, 0x38, 0xcb, 0xc8, }, 5, 0, "", "",
1487 "41 0f 38 cb c8       \tsha256rnds2 %xmm0,%xmm8,%xmm1",},
1488 {{0x44, 0x0f, 0x38, 0xcb, 0xc7, }, 5, 0, "", "",
1489 "44 0f 38 cb c7       \tsha256rnds2 %xmm0,%xmm7,%xmm8",},
1490 {{0x45, 0x0f, 0x38, 0xcb, 0xc7, }, 5, 0, "", "",
1491 "45 0f 38 cb c7       \tsha256rnds2 %xmm0,%xmm15,%xmm8",},
1492 {{0x0f, 0x38, 0xcb, 0x08, }, 4, 0, "", "",
1493 "0f 38 cb 08          \tsha256rnds2 %xmm0,(%rax),%xmm1",},
1494 {{0x41, 0x0f, 0x38, 0xcb, 0x08, }, 5, 0, "", "",
1495 "41 0f 38 cb 08       \tsha256rnds2 %xmm0,(%r8),%xmm1",},
1496 {{0x0f, 0x38, 0xcb, 0x0c, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1497 "0f 38 cb 0c 25 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678,%xmm1",},
1498 {{0x0f, 0x38, 0xcb, 0x18, }, 4, 0, "", "",
1499 "0f 38 cb 18          \tsha256rnds2 %xmm0,(%rax),%xmm3",},
1500 {{0x0f, 0x38, 0xcb, 0x0c, 0x01, }, 5, 0, "", "",
1501 "0f 38 cb 0c 01       \tsha256rnds2 %xmm0,(%rcx,%rax,1),%xmm1",},
1502 {{0x0f, 0x38, 0xcb, 0x0c, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1503 "0f 38 cb 0c 05 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(,%rax,1),%xmm1",},
1504 {{0x0f, 0x38, 0xcb, 0x0c, 0x08, }, 5, 0, "", "",
1505 "0f 38 cb 0c 08       \tsha256rnds2 %xmm0,(%rax,%rcx,1),%xmm1",},
1506 {{0x0f, 0x38, 0xcb, 0x0c, 0xc8, }, 5, 0, "", "",
1507 "0f 38 cb 0c c8       \tsha256rnds2 %xmm0,(%rax,%rcx,8),%xmm1",},
1508 {{0x0f, 0x38, 0xcb, 0x48, 0x12, }, 5, 0, "", "",
1509 "0f 38 cb 48 12       \tsha256rnds2 %xmm0,0x12(%rax),%xmm1",},
1510 {{0x0f, 0x38, 0xcb, 0x4d, 0x12, }, 5, 0, "", "",
1511 "0f 38 cb 4d 12       \tsha256rnds2 %xmm0,0x12(%rbp),%xmm1",},
1512 {{0x0f, 0x38, 0xcb, 0x4c, 0x01, 0x12, }, 6, 0, "", "",
1513 "0f 38 cb 4c 01 12    \tsha256rnds2 %xmm0,0x12(%rcx,%rax,1),%xmm1",},
1514 {{0x0f, 0x38, 0xcb, 0x4c, 0x05, 0x12, }, 6, 0, "", "",
1515 "0f 38 cb 4c 05 12    \tsha256rnds2 %xmm0,0x12(%rbp,%rax,1),%xmm1",},
1516 {{0x0f, 0x38, 0xcb, 0x4c, 0x08, 0x12, }, 6, 0, "", "",
1517 "0f 38 cb 4c 08 12    \tsha256rnds2 %xmm0,0x12(%rax,%rcx,1),%xmm1",},
1518 {{0x0f, 0x38, 0xcb, 0x4c, 0xc8, 0x12, }, 6, 0, "", "",
1519 "0f 38 cb 4c c8 12    \tsha256rnds2 %xmm0,0x12(%rax,%rcx,8),%xmm1",},
1520 {{0x0f, 0x38, 0xcb, 0x88, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1521 "0f 38 cb 88 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rax),%xmm1",},
1522 {{0x0f, 0x38, 0xcb, 0x8d, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1523 "0f 38 cb 8d 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rbp),%xmm1",},
1524 {{0x0f, 0x38, 0xcb, 0x8c, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1525 "0f 38 cb 8c 01 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rcx,%rax,1),%xmm1",},
1526 {{0x0f, 0x38, 0xcb, 0x8c, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1527 "0f 38 cb 8c 05 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rbp,%rax,1),%xmm1",},
1528 {{0x0f, 0x38, 0xcb, 0x8c, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1529 "0f 38 cb 8c 08 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rax,%rcx,1),%xmm1",},
1530 {{0x0f, 0x38, 0xcb, 0x8c, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1531 "0f 38 cb 8c c8 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rax,%rcx,8),%xmm1",},
1532 {{0x44, 0x0f, 0x38, 0xcb, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
1533 "44 0f 38 cb bc c8 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rax,%rcx,8),%xmm15",},
1534 {{0x0f, 0x38, 0xcc, 0xc1, }, 4, 0, "", "",
1535 "0f 38 cc c1          \tsha256msg1 %xmm1,%xmm0",},
1536 {{0x0f, 0x38, 0xcc, 0xd7, }, 4, 0, "", "",
1537 "0f 38 cc d7          \tsha256msg1 %xmm7,%xmm2",},
1538 {{0x41, 0x0f, 0x38, 0xcc, 0xc0, }, 5, 0, "", "",
1539 "41 0f 38 cc c0       \tsha256msg1 %xmm8,%xmm0",},
1540 {{0x44, 0x0f, 0x38, 0xcc, 0xc7, }, 5, 0, "", "",
1541 "44 0f 38 cc c7       \tsha256msg1 %xmm7,%xmm8",},
1542 {{0x45, 0x0f, 0x38, 0xcc, 0xc7, }, 5, 0, "", "",
1543 "45 0f 38 cc c7       \tsha256msg1 %xmm15,%xmm8",},
1544 {{0x0f, 0x38, 0xcc, 0x00, }, 4, 0, "", "",
1545 "0f 38 cc 00          \tsha256msg1 (%rax),%xmm0",},
1546 {{0x41, 0x0f, 0x38, 0xcc, 0x00, }, 5, 0, "", "",
1547 "41 0f 38 cc 00       \tsha256msg1 (%r8),%xmm0",},
1548 {{0x0f, 0x38, 0xcc, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1549 "0f 38 cc 04 25 78 56 34 12 \tsha256msg1 0x12345678,%xmm0",},
1550 {{0x0f, 0x38, 0xcc, 0x18, }, 4, 0, "", "",
1551 "0f 38 cc 18          \tsha256msg1 (%rax),%xmm3",},
1552 {{0x0f, 0x38, 0xcc, 0x04, 0x01, }, 5, 0, "", "",
1553 "0f 38 cc 04 01       \tsha256msg1 (%rcx,%rax,1),%xmm0",},
1554 {{0x0f, 0x38, 0xcc, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1555 "0f 38 cc 04 05 78 56 34 12 \tsha256msg1 0x12345678(,%rax,1),%xmm0",},
1556 {{0x0f, 0x38, 0xcc, 0x04, 0x08, }, 5, 0, "", "",
1557 "0f 38 cc 04 08       \tsha256msg1 (%rax,%rcx,1),%xmm0",},
1558 {{0x0f, 0x38, 0xcc, 0x04, 0xc8, }, 5, 0, "", "",
1559 "0f 38 cc 04 c8       \tsha256msg1 (%rax,%rcx,8),%xmm0",},
1560 {{0x0f, 0x38, 0xcc, 0x40, 0x12, }, 5, 0, "", "",
1561 "0f 38 cc 40 12       \tsha256msg1 0x12(%rax),%xmm0",},
1562 {{0x0f, 0x38, 0xcc, 0x45, 0x12, }, 5, 0, "", "",
1563 "0f 38 cc 45 12       \tsha256msg1 0x12(%rbp),%xmm0",},
1564 {{0x0f, 0x38, 0xcc, 0x44, 0x01, 0x12, }, 6, 0, "", "",
1565 "0f 38 cc 44 01 12    \tsha256msg1 0x12(%rcx,%rax,1),%xmm0",},
1566 {{0x0f, 0x38, 0xcc, 0x44, 0x05, 0x12, }, 6, 0, "", "",
1567 "0f 38 cc 44 05 12    \tsha256msg1 0x12(%rbp,%rax,1),%xmm0",},
1568 {{0x0f, 0x38, 0xcc, 0x44, 0x08, 0x12, }, 6, 0, "", "",
1569 "0f 38 cc 44 08 12    \tsha256msg1 0x12(%rax,%rcx,1),%xmm0",},
1570 {{0x0f, 0x38, 0xcc, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
1571 "0f 38 cc 44 c8 12    \tsha256msg1 0x12(%rax,%rcx,8),%xmm0",},
1572 {{0x0f, 0x38, 0xcc, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1573 "0f 38 cc 80 78 56 34 12 \tsha256msg1 0x12345678(%rax),%xmm0",},
1574 {{0x0f, 0x38, 0xcc, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1575 "0f 38 cc 85 78 56 34 12 \tsha256msg1 0x12345678(%rbp),%xmm0",},
1576 {{0x0f, 0x38, 0xcc, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1577 "0f 38 cc 84 01 78 56 34 12 \tsha256msg1 0x12345678(%rcx,%rax,1),%xmm0",},
1578 {{0x0f, 0x38, 0xcc, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1579 "0f 38 cc 84 05 78 56 34 12 \tsha256msg1 0x12345678(%rbp,%rax,1),%xmm0",},
1580 {{0x0f, 0x38, 0xcc, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1581 "0f 38 cc 84 08 78 56 34 12 \tsha256msg1 0x12345678(%rax,%rcx,1),%xmm0",},
1582 {{0x0f, 0x38, 0xcc, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1583 "0f 38 cc 84 c8 78 56 34 12 \tsha256msg1 0x12345678(%rax,%rcx,8),%xmm0",},
1584 {{0x44, 0x0f, 0x38, 0xcc, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
1585 "44 0f 38 cc bc c8 78 56 34 12 \tsha256msg1 0x12345678(%rax,%rcx,8),%xmm15",},
1586 {{0x0f, 0x38, 0xcd, 0xc1, }, 4, 0, "", "",
1587 "0f 38 cd c1          \tsha256msg2 %xmm1,%xmm0",},
1588 {{0x0f, 0x38, 0xcd, 0xd7, }, 4, 0, "", "",
1589 "0f 38 cd d7          \tsha256msg2 %xmm7,%xmm2",},
1590 {{0x41, 0x0f, 0x38, 0xcd, 0xc0, }, 5, 0, "", "",
1591 "41 0f 38 cd c0       \tsha256msg2 %xmm8,%xmm0",},
1592 {{0x44, 0x0f, 0x38, 0xcd, 0xc7, }, 5, 0, "", "",
1593 "44 0f 38 cd c7       \tsha256msg2 %xmm7,%xmm8",},
1594 {{0x45, 0x0f, 0x38, 0xcd, 0xc7, }, 5, 0, "", "",
1595 "45 0f 38 cd c7       \tsha256msg2 %xmm15,%xmm8",},
1596 {{0x0f, 0x38, 0xcd, 0x00, }, 4, 0, "", "",
1597 "0f 38 cd 00          \tsha256msg2 (%rax),%xmm0",},
1598 {{0x41, 0x0f, 0x38, 0xcd, 0x00, }, 5, 0, "", "",
1599 "41 0f 38 cd 00       \tsha256msg2 (%r8),%xmm0",},
1600 {{0x0f, 0x38, 0xcd, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1601 "0f 38 cd 04 25 78 56 34 12 \tsha256msg2 0x12345678,%xmm0",},
1602 {{0x0f, 0x38, 0xcd, 0x18, }, 4, 0, "", "",
1603 "0f 38 cd 18          \tsha256msg2 (%rax),%xmm3",},
1604 {{0x0f, 0x38, 0xcd, 0x04, 0x01, }, 5, 0, "", "",
1605 "0f 38 cd 04 01       \tsha256msg2 (%rcx,%rax,1),%xmm0",},
1606 {{0x0f, 0x38, 0xcd, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1607 "0f 38 cd 04 05 78 56 34 12 \tsha256msg2 0x12345678(,%rax,1),%xmm0",},
1608 {{0x0f, 0x38, 0xcd, 0x04, 0x08, }, 5, 0, "", "",
1609 "0f 38 cd 04 08       \tsha256msg2 (%rax,%rcx,1),%xmm0",},
1610 {{0x0f, 0x38, 0xcd, 0x04, 0xc8, }, 5, 0, "", "",
1611 "0f 38 cd 04 c8       \tsha256msg2 (%rax,%rcx,8),%xmm0",},
1612 {{0x0f, 0x38, 0xcd, 0x40, 0x12, }, 5, 0, "", "",
1613 "0f 38 cd 40 12       \tsha256msg2 0x12(%rax),%xmm0",},
1614 {{0x0f, 0x38, 0xcd, 0x45, 0x12, }, 5, 0, "", "",
1615 "0f 38 cd 45 12       \tsha256msg2 0x12(%rbp),%xmm0",},
1616 {{0x0f, 0x38, 0xcd, 0x44, 0x01, 0x12, }, 6, 0, "", "",
1617 "0f 38 cd 44 01 12    \tsha256msg2 0x12(%rcx,%rax,1),%xmm0",},
1618 {{0x0f, 0x38, 0xcd, 0x44, 0x05, 0x12, }, 6, 0, "", "",
1619 "0f 38 cd 44 05 12    \tsha256msg2 0x12(%rbp,%rax,1),%xmm0",},
1620 {{0x0f, 0x38, 0xcd, 0x44, 0x08, 0x12, }, 6, 0, "", "",
1621 "0f 38 cd 44 08 12    \tsha256msg2 0x12(%rax,%rcx,1),%xmm0",},
1622 {{0x0f, 0x38, 0xcd, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
1623 "0f 38 cd 44 c8 12    \tsha256msg2 0x12(%rax,%rcx,8),%xmm0",},
1624 {{0x0f, 0x38, 0xcd, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1625 "0f 38 cd 80 78 56 34 12 \tsha256msg2 0x12345678(%rax),%xmm0",},
1626 {{0x0f, 0x38, 0xcd, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1627 "0f 38 cd 85 78 56 34 12 \tsha256msg2 0x12345678(%rbp),%xmm0",},
1628 {{0x0f, 0x38, 0xcd, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1629 "0f 38 cd 84 01 78 56 34 12 \tsha256msg2 0x12345678(%rcx,%rax,1),%xmm0",},
1630 {{0x0f, 0x38, 0xcd, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1631 "0f 38 cd 84 05 78 56 34 12 \tsha256msg2 0x12345678(%rbp,%rax,1),%xmm0",},
1632 {{0x0f, 0x38, 0xcd, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1633 "0f 38 cd 84 08 78 56 34 12 \tsha256msg2 0x12345678(%rax,%rcx,1),%xmm0",},
1634 {{0x0f, 0x38, 0xcd, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1635 "0f 38 cd 84 c8 78 56 34 12 \tsha256msg2 0x12345678(%rax,%rcx,8),%xmm0",},
1636 {{0x44, 0x0f, 0x38, 0xcd, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
1637 "44 0f 38 cd bc c8 78 56 34 12 \tsha256msg2 0x12345678(%rax,%rcx,8),%xmm15",},
1638 {{0x66, 0x0f, 0xae, 0x38, }, 4, 0, "", "",
1639 "66 0f ae 38          \tclflushopt (%rax)",},
1640 {{0x66, 0x41, 0x0f, 0xae, 0x38, }, 5, 0, "", "",
1641 "66 41 0f ae 38       \tclflushopt (%r8)",},
1642 {{0x66, 0x0f, 0xae, 0x3c, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1643 "66 0f ae 3c 25 78 56 34 12 \tclflushopt 0x12345678",},
1644 {{0x66, 0x0f, 0xae, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1645 "66 0f ae bc c8 78 56 34 12 \tclflushopt 0x12345678(%rax,%rcx,8)",},
1646 {{0x66, 0x41, 0x0f, 0xae, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
1647 "66 41 0f ae bc c8 78 56 34 12 \tclflushopt 0x12345678(%r8,%rcx,8)",},
1648 {{0x0f, 0xae, 0x38, }, 3, 0, "", "",
1649 "0f ae 38             \tclflush (%rax)",},
1650 {{0x41, 0x0f, 0xae, 0x38, }, 4, 0, "", "",
1651 "41 0f ae 38          \tclflush (%r8)",},
1652 {{0x0f, 0xae, 0xf8, }, 3, 0, "", "",
1653 "0f ae f8             \tsfence ",},
1654 {{0x66, 0x0f, 0xae, 0x30, }, 4, 0, "", "",
1655 "66 0f ae 30          \tclwb   (%rax)",},
1656 {{0x66, 0x41, 0x0f, 0xae, 0x30, }, 5, 0, "", "",
1657 "66 41 0f ae 30       \tclwb   (%r8)",},
1658 {{0x66, 0x0f, 0xae, 0x34, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1659 "66 0f ae 34 25 78 56 34 12 \tclwb   0x12345678",},
1660 {{0x66, 0x0f, 0xae, 0xb4, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1661 "66 0f ae b4 c8 78 56 34 12 \tclwb   0x12345678(%rax,%rcx,8)",},
1662 {{0x66, 0x41, 0x0f, 0xae, 0xb4, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
1663 "66 41 0f ae b4 c8 78 56 34 12 \tclwb   0x12345678(%r8,%rcx,8)",},
1664 {{0x0f, 0xae, 0x30, }, 3, 0, "", "",
1665 "0f ae 30             \txsaveopt (%rax)",},
1666 {{0x41, 0x0f, 0xae, 0x30, }, 4, 0, "", "",
1667 "41 0f ae 30          \txsaveopt (%r8)",},
1668 {{0x0f, 0xae, 0xf0, }, 3, 0, "", "",
1669 "0f ae f0             \tmfence ",},
1670 {{0x0f, 0xc7, 0x20, }, 3, 0, "", "",
1671 "0f c7 20             \txsavec (%rax)",},
1672 {{0x41, 0x0f, 0xc7, 0x20, }, 4, 0, "", "",
1673 "41 0f c7 20          \txsavec (%r8)",},
1674 {{0x0f, 0xc7, 0x24, 0x25, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1675 "0f c7 24 25 78 56 34 12 \txsavec 0x12345678",},
1676 {{0x0f, 0xc7, 0xa4, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1677 "0f c7 a4 c8 78 56 34 12 \txsavec 0x12345678(%rax,%rcx,8)",},
1678 {{0x41, 0x0f, 0xc7, 0xa4, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1679 "41 0f c7 a4 c8 78 56 34 12 \txsavec 0x12345678(%r8,%rcx,8)",},
1680 {{0x0f, 0xc7, 0x28, }, 3, 0, "", "",
1681 "0f c7 28             \txsaves (%rax)",},
1682 {{0x41, 0x0f, 0xc7, 0x28, }, 4, 0, "", "",
1683 "41 0f c7 28          \txsaves (%r8)",},
1684 {{0x0f, 0xc7, 0x2c, 0x25, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1685 "0f c7 2c 25 78 56 34 12 \txsaves 0x12345678",},
1686 {{0x0f, 0xc7, 0xac, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1687 "0f c7 ac c8 78 56 34 12 \txsaves 0x12345678(%rax,%rcx,8)",},
1688 {{0x41, 0x0f, 0xc7, 0xac, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1689 "41 0f c7 ac c8 78 56 34 12 \txsaves 0x12345678(%r8,%rcx,8)",},
1690 {{0x0f, 0xc7, 0x18, }, 3, 0, "", "",
1691 "0f c7 18             \txrstors (%rax)",},
1692 {{0x41, 0x0f, 0xc7, 0x18, }, 4, 0, "", "",
1693 "41 0f c7 18          \txrstors (%r8)",},
1694 {{0x0f, 0xc7, 0x1c, 0x25, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1695 "0f c7 1c 25 78 56 34 12 \txrstors 0x12345678",},
1696 {{0x0f, 0xc7, 0x9c, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1697 "0f c7 9c c8 78 56 34 12 \txrstors 0x12345678(%rax,%rcx,8)",},
1698 {{0x41, 0x0f, 0xc7, 0x9c, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1699 "41 0f c7 9c c8 78 56 34 12 \txrstors 0x12345678(%r8,%rcx,8)",},
1700 {{0xf3, 0x0f, 0xae, 0x20, }, 4, 0, "", "",
1701 "f3 0f ae 20          \tptwritel (%rax)",},
1702 {{0xf3, 0x41, 0x0f, 0xae, 0x20, }, 5, 0, "", "",
1703 "f3 41 0f ae 20       \tptwritel (%r8)",},
1704 {{0xf3, 0x0f, 0xae, 0x24, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1705 "f3 0f ae 24 25 78 56 34 12 \tptwritel 0x12345678",},
1706 {{0xf3, 0x0f, 0xae, 0xa4, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1707 "f3 0f ae a4 c8 78 56 34 12 \tptwritel 0x12345678(%rax,%rcx,8)",},
1708 {{0xf3, 0x41, 0x0f, 0xae, 0xa4, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
1709 "f3 41 0f ae a4 c8 78 56 34 12 \tptwritel 0x12345678(%r8,%rcx,8)",},
1710 {{0xf3, 0x0f, 0xae, 0x20, }, 4, 0, "", "",
1711 "f3 0f ae 20          \tptwritel (%rax)",},
1712 {{0xf3, 0x41, 0x0f, 0xae, 0x20, }, 5, 0, "", "",
1713 "f3 41 0f ae 20       \tptwritel (%r8)",},
1714 {{0xf3, 0x0f, 0xae, 0x24, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1715 "f3 0f ae 24 25 78 56 34 12 \tptwritel 0x12345678",},
1716 {{0xf3, 0x0f, 0xae, 0xa4, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1717 "f3 0f ae a4 c8 78 56 34 12 \tptwritel 0x12345678(%rax,%rcx,8)",},
1718 {{0xf3, 0x41, 0x0f, 0xae, 0xa4, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
1719 "f3 41 0f ae a4 c8 78 56 34 12 \tptwritel 0x12345678(%r8,%rcx,8)",},
1720 {{0xf3, 0x48, 0x0f, 0xae, 0x20, }, 5, 0, "", "",
1721 "f3 48 0f ae 20       \tptwriteq (%rax)",},
1722 {{0xf3, 0x49, 0x0f, 0xae, 0x20, }, 5, 0, "", "",
1723 "f3 49 0f ae 20       \tptwriteq (%r8)",},
1724 {{0xf3, 0x48, 0x0f, 0xae, 0x24, 0x25, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
1725 "f3 48 0f ae 24 25 78 56 34 12 \tptwriteq 0x12345678",},
1726 {{0xf3, 0x48, 0x0f, 0xae, 0xa4, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
1727 "f3 48 0f ae a4 c8 78 56 34 12 \tptwriteq 0x12345678(%rax,%rcx,8)",},
1728 {{0xf3, 0x49, 0x0f, 0xae, 0xa4, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
1729 "f3 49 0f ae a4 c8 78 56 34 12 \tptwriteq 0x12345678(%r8,%rcx,8)",},