21 	asm volatile("rdtsc"); /* Start here */  in main()
25 	asm volatile("vcvtph2ps %xmm3,%ymm5");  in main()
31 	asm volatile("cmovno %rax,%rbx");  in main()
32 	asm volatile("cmovno 0x12345678(%rax),%rcx");  in main()
33 	asm volatile("cmovno 0x12345678(%rax),%cx");  in main()
35 	asm volatile("cmove  %rax,%rbx");  in main()
36 	asm volatile("cmove 0x12345678(%rax),%rcx");  in main()
37 	asm volatile("cmove 0x12345678(%rax),%cx");  in main()
39 	asm volatile("seto    0x12345678(%rax)");  in main()
40 	asm volatile("setno   0x12345678(%rax)");  in main()
41 	asm volatile("setb    0x12345678(%rax)");  in main()
42 	asm volatile("setc    0x12345678(%rax)");  in main()
43 	asm volatile("setnae  0x12345678(%rax)");  in main()
44 	asm volatile("setae   0x12345678(%rax)");  in main()
45 	asm volatile("setnb   0x12345678(%rax)");  in main()
46 	asm volatile("setnc   0x12345678(%rax)");  in main()
47 	asm volatile("sets    0x12345678(%rax)");  in main()
48 	asm volatile("setns   0x12345678(%rax)");  in main()
52 	asm volatile("kandw  %k7,%k6,%k5");  in main()
53 	asm volatile("kandq  %k7,%k6,%k5");  in main()
54 	asm volatile("kandb  %k7,%k6,%k5");  in main()
55 	asm volatile("kandd  %k7,%k6,%k5");  in main()
57 	asm volatile("kandnw  %k7,%k6,%k5");  in main()
58 	asm volatile("kandnq  %k7,%k6,%k5");  in main()
59 	asm volatile("kandnb  %k7,%k6,%k5");  in main()
60 	asm volatile("kandnd  %k7,%k6,%k5");  in main()
62 	asm volatile("knotw  %k7,%k6");  in main()
63 	asm volatile("knotq  %k7,%k6");  in main()
64 	asm volatile("knotb  %k7,%k6");  in main()
65 	asm volatile("knotd  %k7,%k6");  in main()
67 	asm volatile("korw  %k7,%k6,%k5");  in main()
68 	asm volatile("korq  %k7,%k6,%k5");  in main()
69 	asm volatile("korb  %k7,%k6,%k5");  in main()
70 	asm volatile("kord  %k7,%k6,%k5");  in main()
72 	asm volatile("kxnorw  %k7,%k6,%k5");  in main()
73 	asm volatile("kxnorq  %k7,%k6,%k5");  in main()
74 	asm volatile("kxnorb  %k7,%k6,%k5");  in main()
75 	asm volatile("kxnord  %k7,%k6,%k5");  in main()
77 	asm volatile("kxorw  %k7,%k6,%k5");  in main()
78 	asm volatile("kxorq  %k7,%k6,%k5");  in main()
79 	asm volatile("kxorb  %k7,%k6,%k5");  in main()
80 	asm volatile("kxord  %k7,%k6,%k5");  in main()
82 	asm volatile("kaddw  %k7,%k6,%k5");  in main()
83 	asm volatile("kaddq  %k7,%k6,%k5");  in main()
84 	asm volatile("kaddb  %k7,%k6,%k5");  in main()
85 	asm volatile("kaddd  %k7,%k6,%k5");  in main()
87 	asm volatile("kunpckbw %k7,%k6,%k5");  in main()
88 	asm volatile("kunpckwd %k7,%k6,%k5");  in main()
89 	asm volatile("kunpckdq %k7,%k6,%k5");  in main()
91 	asm volatile("kmovw  %k6,%k5");  in main()
92 	asm volatile("kmovw  (%rcx),%k5");  in main()
93 	asm volatile("kmovw  0x123(%rax,%r14,8),%k5");  in main()
94 	asm volatile("kmovw  %k5,(%rcx)");  in main()
95 	asm volatile("kmovw  %k5,0x123(%rax,%r14,8)");  in main()
96 	asm volatile("kmovw  %eax,%k5");  in main()
97 	asm volatile("kmovw  %ebp,%k5");  in main()
98 	asm volatile("kmovw  %r13d,%k5");  in main()
99 	asm volatile("kmovw  %k5,%eax");  in main()
100 	asm volatile("kmovw  %k5,%ebp");  in main()
101 	asm volatile("kmovw  %k5,%r13d");  in main()
103 	asm volatile("kmovq  %k6,%k5");  in main()
104 	asm volatile("kmovq  (%rcx),%k5");  in main()
105 	asm volatile("kmovq  0x123(%rax,%r14,8),%k5");  in main()
106 	asm volatile("kmovq  %k5,(%rcx)");  in main()
107 	asm volatile("kmovq  %k5,0x123(%rax,%r14,8)");  in main()
108 	asm volatile("kmovq  %rax,%k5");  in main()
109 	asm volatile("kmovq  %rbp,%k5");  in main()
110 	asm volatile("kmovq  %r13,%k5");  in main()
111 	asm volatile("kmovq  %k5,%rax");  in main()
112 	asm volatile("kmovq  %k5,%rbp");  in main()
113 	asm volatile("kmovq  %k5,%r13");  in main()
115 	asm volatile("kmovb  %k6,%k5");  in main()
116 	asm volatile("kmovb  (%rcx),%k5");  in main()
117 	asm volatile("kmovb  0x123(%rax,%r14,8),%k5");  in main()
118 	asm volatile("kmovb  %k5,(%rcx)");  in main()
119 	asm volatile("kmovb  %k5,0x123(%rax,%r14,8)");  in main()
120 	asm volatile("kmovb  %eax,%k5");  in main()
121 	asm volatile("kmovb  %ebp,%k5");  in main()
122 	asm volatile("kmovb  %r13d,%k5");  in main()
123 	asm volatile("kmovb  %k5,%eax");  in main()
124 	asm volatile("kmovb  %k5,%ebp");  in main()
125 	asm volatile("kmovb  %k5,%r13d");  in main()
127 	asm volatile("kmovd  %k6,%k5");  in main()
128 	asm volatile("kmovd  (%rcx),%k5");  in main()
129 	asm volatile("kmovd  0x123(%rax,%r14,8),%k5");  in main()
130 	asm volatile("kmovd  %k5,(%rcx)");  in main()
131 	asm volatile("kmovd  %k5,0x123(%rax,%r14,8)");  in main()
132 	asm volatile("kmovd  %eax,%k5");  in main()
133 	asm volatile("kmovd  %ebp,%k5");  in main()
134 	asm volatile("kmovd  %r13d,%k5");  in main()
135 	asm volatile("kmovd  %k5,%eax");  in main()
136 	asm volatile("kmovd  %k5,%ebp");  in main()
137 	asm volatile("kmovd %k5,%r13d");  in main()
139 	asm volatile("kortestw %k6,%k5");  in main()
140 	asm volatile("kortestq %k6,%k5");  in main()
141 	asm volatile("kortestb %k6,%k5");  in main()
142 	asm volatile("kortestd %k6,%k5");  in main()
144 	asm volatile("ktestw %k6,%k5");  in main()
145 	asm volatile("ktestq %k6,%k5");  in main()
146 	asm volatile("ktestb %k6,%k5");  in main()
147 	asm volatile("ktestd %k6,%k5");  in main()
149 	asm volatile("kshiftrw $0x12,%k6,%k5");  in main()
150 	asm volatile("kshiftrq $0x5b,%k6,%k5");  in main()
151 	asm volatile("kshiftlw $0x12,%k6,%k5");  in main()
152 	asm volatile("kshiftlq $0x5b,%k6,%k5");  in main()
155 	asm volatile("vcvtdq2ps %xmm5,%xmm6");  in main()
156 	asm volatile("vcvtqq2ps %zmm29,%ymm6{%k7}");  in main()
157 	asm volatile("vcvtps2dq %xmm5,%xmm6");  in main()
158 	asm volatile("vcvttps2dq %xmm5,%xmm6");  in main()
162 	asm volatile("movq   %mm0,%mm4");  in main()
163 	asm volatile("vmovdqa %ymm4,%ymm6");  in main()
164 	asm volatile("vmovdqa32 %zmm25,%zmm26");  in main()
165 	asm volatile("vmovdqa64 %zmm25,%zmm26");  in main()
166 	asm volatile("vmovdqu %ymm4,%ymm6");  in main()
167 	asm volatile("vmovdqu32 %zmm29,%zmm30");  in main()
168 	asm volatile("vmovdqu64 %zmm25,%zmm26");  in main()
169 	asm volatile("vmovdqu8 %zmm29,%zmm30");  in main()
170 	asm volatile("vmovdqu16 %zmm25,%zmm26");  in main()
174 	asm volatile("vmread %rax,%rbx");  in main()
175 	asm volatile("vcvttps2udq %zmm25,%zmm26");  in main()
176 	asm volatile("vcvttpd2udq %zmm29,%ymm6{%k7}");  in main()
177 	asm volatile("vcvttsd2usi %xmm6,%rax");  in main()
178 	asm volatile("vcvttss2usi %xmm6,%rax");  in main()
179 	asm volatile("vcvttps2uqq %ymm5,%zmm26{%k7}");  in main()
180 	asm volatile("vcvttpd2uqq %zmm29,%zmm30");  in main()
184 	asm volatile("vmwrite %rax,%rbx");  in main()
185 	asm volatile("vcvtps2udq %zmm25,%zmm26");  in main()
186 	asm volatile("vcvtpd2udq %zmm29,%ymm6{%k7}");  in main()
187 	asm volatile("vcvtsd2usi %xmm6,%rax");  in main()
188 	asm volatile("vcvtss2usi %xmm6,%rax");  in main()
189 	asm volatile("vcvtps2uqq %ymm5,%zmm26{%k7}");  in main()
190 	asm volatile("vcvtpd2uqq %zmm29,%zmm30");  in main()
194 	asm volatile("vcvtudq2pd %ymm5,%zmm29{%k7}");  in main()
195 	asm volatile("vcvtuqq2pd %zmm25,%zmm26");  in main()
196 	asm volatile("vcvtudq2ps %zmm29,%zmm30");  in main()
197 	asm volatile("vcvtuqq2ps %zmm25,%ymm26{%k7}");  in main()
198 	asm volatile("vcvttps2qq %ymm25,%zmm26{%k7}");  in main()
199 	asm volatile("vcvttpd2qq %zmm29,%zmm30");  in main()
203 	asm volatile("vcvtusi2sd %eax,%xmm5,%xmm6");  in main()
204 	asm volatile("vcvtusi2ss %eax,%xmm5,%xmm6");  in main()
205 	asm volatile("vcvtps2qq %ymm5,%zmm26{%k7}");  in main()
206 	asm volatile("vcvtpd2qq %zmm29,%zmm30");  in main()
210 	asm volatile("movq.s  %mm0,%mm4");  in main()
211 	asm volatile("vmovdqa %ymm8,%ymm6");  in main()
212 	asm volatile("vmovdqa32.s %zmm25,%zmm26");  in main()
213 	asm volatile("vmovdqa64.s %zmm25,%zmm26");  in main()
214 	asm volatile("vmovdqu %ymm8,%ymm6");  in main()
215 	asm volatile("vmovdqu32.s %zmm25,%zmm26");  in main()
216 	asm volatile("vmovdqu64.s %zmm25,%zmm26");  in main()
217 	asm volatile("vmovdqu8.s %zmm30,(%rcx)");  in main()
218 	asm volatile("vmovdqu16.s %zmm25,%zmm26");  in main()
222 	asm volatile("pand  %mm1,%mm2");  in main()
223 	asm volatile("pand  %xmm1,%xmm2");  in main()
224 	asm volatile("vpand  %ymm4,%ymm6,%ymm2");  in main()
225 	asm volatile("vpandd %zmm24,%zmm25,%zmm26");  in main()
226 	asm volatile("vpandq %zmm24,%zmm25,%zmm26");  in main()
230 	asm volatile("pandn  %mm1,%mm2");  in main()
231 	asm volatile("pandn  %xmm1,%xmm2");  in main()
232 	asm volatile("vpandn %ymm4,%ymm6,%ymm2");  in main()
233 	asm volatile("vpandnd %zmm24,%zmm25,%zmm26");  in main()
234 	asm volatile("vpandnq %zmm24,%zmm25,%zmm26");  in main()
238 	asm volatile("vcvttpd2dq %xmm1,%xmm2");  in main()
239 	asm volatile("vcvtdq2pd %xmm5,%xmm6");  in main()
240 	asm volatile("vcvtdq2pd %ymm5,%zmm26{%k7}");  in main()
241 	asm volatile("vcvtqq2pd %zmm25,%zmm26");  in main()
242 	asm volatile("vcvtpd2dq %xmm1,%xmm2");  in main()
246 	asm volatile("por   %mm4,%mm6");  in main()
247 	asm volatile("vpor   %ymm4,%ymm6,%ymm2");  in main()
248 	asm volatile("vpord  %zmm24,%zmm25,%zmm26");  in main()
249 	asm volatile("vporq  %zmm24,%zmm25,%zmm26");  in main()
253 	asm volatile("pxor   %mm4,%mm6");  in main()
254 	asm volatile("vpxor  %ymm4,%ymm6,%ymm2");  in main()
255 	asm volatile("vpxord %zmm24,%zmm25,%zmm26");  in main()
256 	asm volatile("vpxorq %zmm24,%zmm25,%zmm26");  in main()
260 	asm volatile("pblendvb %xmm1,%xmm0");  in main()
261 	asm volatile("vpsrlvw %zmm27,%zmm28,%zmm29");  in main()
262 	asm volatile("vpmovuswb %zmm28,%ymm6{%k7}");  in main()
266 	asm volatile("vpmovusdb %zmm28,%xmm6{%k7}");  in main()
267 	asm volatile("vpsravw %zmm27,%zmm28,%zmm29");  in main()
271 	asm volatile("vpmovusqb %zmm27,%xmm6{%k7}");  in main()
272 	asm volatile("vpsllvw %zmm27,%zmm28,%zmm29");  in main()
276 	asm volatile("vcvtph2ps %xmm3,%ymm5");  in main()
277 	asm volatile("vcvtph2ps %ymm5,%zmm27{%k7}");  in main()
278 	asm volatile("vpmovusdw %zmm27,%ymm6{%k7}");  in main()
282 	asm volatile("blendvps %xmm1,%xmm0");  in main()
283 	asm volatile("vpmovusqw %zmm27,%xmm6{%k7}");  in main()
284 	asm volatile("vprorvd %zmm27,%zmm28,%zmm29");  in main()
285 	asm volatile("vprorvq %zmm27,%zmm28,%zmm29");  in main()
289 	asm volatile("blendvpd %xmm1,%xmm0");  in main()
290 	asm volatile("vpmovusqd %zmm27,%ymm6{%k7}");  in main()
291 	asm volatile("vprolvd %zmm27,%zmm28,%zmm29");  in main()
292 	asm volatile("vprolvq %zmm27,%zmm28,%zmm29");  in main()
296 	asm volatile("vpermps %ymm4,%ymm6,%ymm2");  in main()
297 	asm volatile("vpermps %ymm24,%ymm26,%ymm22{%k7}");  in main()
298 	asm volatile("vpermpd %ymm24,%ymm26,%ymm22{%k7}");  in main()
302 	asm volatile("vbroadcastsd %xmm4,%ymm6");  in main()
303 	asm volatile("vbroadcastf32x2 %xmm27,%zmm26");  in main()
307 	asm volatile("vbroadcastf128 (%rcx),%ymm4");  in main()
308 	asm volatile("vbroadcastf32x4 (%rcx),%zmm26");  in main()
309 	asm volatile("vbroadcastf64x2 (%rcx),%zmm26");  in main()
313 	asm volatile("vbroadcastf32x8 (%rcx),%zmm27");  in main()
314 	asm volatile("vbroadcastf64x4 (%rcx),%zmm26");  in main()
318 	asm volatile("vpabsq %zmm27,%zmm28");  in main()
322 	asm volatile("vpmovsxbw %xmm4,%xmm5");  in main()
323 	asm volatile("vpmovswb %zmm27,%ymm6{%k7}");  in main()
327 	asm volatile("vpmovsxbd %xmm4,%ymm6");  in main()
328 	asm volatile("vpmovsdb %zmm27,%xmm6{%k7}");  in main()
332 	asm volatile("vpmovsxbq %xmm4,%ymm4");  in main()
333 	asm volatile("vpmovsqb %zmm27,%xmm6{%k7}");  in main()
337 	asm volatile("vpmovsxwd %xmm4,%ymm4");  in main()
338 	asm volatile("vpmovsdw %zmm27,%ymm6{%k7}");  in main()
342 	asm volatile("vpmovsxwq %xmm4,%ymm6");  in main()
343 	asm volatile("vpmovsqw %zmm27,%xmm6{%k7}");  in main()
347 	asm volatile("vpmovsxdq %xmm4,%ymm4");  in main()
348 	asm volatile("vpmovsqd %zmm27,%ymm6{%k7}");  in main()
352 	asm volatile("vptestmb %zmm27,%zmm28,%k5");  in main()
353 	asm volatile("vptestmw %zmm27,%zmm28,%k5");  in main()
354 	asm volatile("vptestnmb %zmm26,%zmm27,%k5");  in main()
355 	asm volatile("vptestnmw %zmm26,%zmm27,%k5");  in main()
359 	asm volatile("vptestmd %zmm27,%zmm28,%k5");  in main()
360 	asm volatile("vptestmq %zmm27,%zmm28,%k5");  in main()
361 	asm volatile("vptestnmd %zmm26,%zmm27,%k5");  in main()
362 	asm volatile("vptestnmq %zmm26,%zmm27,%k5");  in main()
366 	asm volatile("vpmuldq %ymm4,%ymm6,%ymm2");  in main()
367 	asm volatile("vpmovm2b %k5,%zmm28");  in main()
368 	asm volatile("vpmovm2w %k5,%zmm28");  in main()
372 	asm volatile("vpcmpeqq %ymm4,%ymm6,%ymm2");  in main()
373 	asm volatile("vpmovb2m %zmm28,%k5");  in main()
374 	asm volatile("vpmovw2m %zmm28,%k5");  in main()
378 	asm volatile("vmovntdqa (%rcx),%ymm4");  in main()
379 	asm volatile("vpbroadcastmb2q %k6,%zmm30");  in main()
383 	asm volatile("vmaskmovps (%rcx),%ymm4,%ymm6");  in main()
384 	asm volatile("vscalefps %zmm24,%zmm25,%zmm26");  in main()
385 	asm volatile("vscalefpd %zmm24,%zmm25,%zmm26");  in main()
389 	asm volatile("vmaskmovpd (%rcx),%ymm4,%ymm6");  in main()
390 	asm volatile("vscalefss %xmm24,%xmm25,%xmm26{%k7}");  in main()
391 	asm volatile("vscalefsd %xmm24,%xmm25,%xmm26{%k7}");  in main()
395 	asm volatile("vpmovzxbw %xmm4,%ymm4");  in main()
396 	asm volatile("vpmovwb %zmm27,%ymm6{%k7}");  in main()
400 	asm volatile("vpmovzxbd %xmm4,%ymm6");  in main()
401 	asm volatile("vpmovdb %zmm27,%xmm6{%k7}");  in main()
405 	asm volatile("vpmovzxbq %xmm4,%ymm4");  in main()
406 	asm volatile("vpmovqb %zmm27,%xmm6{%k7}");  in main()
410 	asm volatile("vpmovzxwd %xmm4,%ymm4");  in main()
411 	asm volatile("vpmovdw %zmm27,%ymm6{%k7}");  in main()
415 	asm volatile("vpmovzxwq %xmm4,%ymm6");  in main()
416 	asm volatile("vpmovqw %zmm27,%xmm6{%k7}");  in main()
420 	asm volatile("vpmovzxdq %xmm4,%ymm4");  in main()
421 	asm volatile("vpmovqd %zmm27,%ymm6{%k7}");  in main()
425 	asm volatile("vpermd %ymm4,%ymm6,%ymm2");  in main()
426 	asm volatile("vpermd %ymm24,%ymm26,%ymm22{%k7}");  in main()
427 	asm volatile("vpermq %ymm24,%ymm26,%ymm22{%k7}");  in main()
431 	asm volatile("vpminsb %ymm4,%ymm6,%ymm2");  in main()
432 	asm volatile("vpmovm2d %k5,%zmm28");  in main()
433 	asm volatile("vpmovm2q %k5,%zmm28");  in main()
437 	asm volatile("vpminsd %xmm1,%xmm2,%xmm3");  in main()
438 	asm volatile("vpminsd %zmm24,%zmm25,%zmm26");  in main()
439 	asm volatile("vpminsq %zmm24,%zmm25,%zmm26");  in main()
440 	asm volatile("vpmovd2m %zmm28,%k5");  in main()
441 	asm volatile("vpmovq2m %zmm28,%k5");  in main()
445 	asm volatile("vpminuw %ymm4,%ymm6,%ymm2");  in main()
446 	asm volatile("vpbroadcastmw2d %k6,%zmm28");  in main()
450 	asm volatile("vpminud %ymm4,%ymm6,%ymm2");  in main()
451 	asm volatile("vpminud %zmm24,%zmm25,%zmm26");  in main()
452 	asm volatile("vpminuq %zmm24,%zmm25,%zmm26");  in main()
456 	asm volatile("vpmaxsd %ymm4,%ymm6,%ymm2");  in main()
457 	asm volatile("vpmaxsd %zmm24,%zmm25,%zmm26");  in main()
458 	asm volatile("vpmaxsq %zmm24,%zmm25,%zmm26");  in main()
462 	asm volatile("vpmaxud %ymm4,%ymm6,%ymm2");  in main()
463 	asm volatile("vpmaxud %zmm24,%zmm25,%zmm26");  in main()
464 	asm volatile("vpmaxuq %zmm24,%zmm25,%zmm26");  in main()
468 	asm volatile("vpmulld %ymm4,%ymm6,%ymm2");  in main()
469 	asm volatile("vpmulld %zmm24,%zmm25,%zmm26");  in main()
470 	asm volatile("vpmullq %zmm24,%zmm25,%zmm26");  in main()
474 	asm volatile("vgetexpps %zmm25,%zmm26");  in main()
475 	asm volatile("vgetexppd %zmm27,%zmm28");  in main()
479 	asm volatile("vgetexpss %xmm24,%xmm25,%xmm26{%k7}");  in main()
480 	asm volatile("vgetexpsd %xmm28,%xmm29,%xmm30{%k7}");  in main()
484 	asm volatile("vplzcntd %zmm27,%zmm28");  in main()
485 	asm volatile("vplzcntq %zmm27,%zmm28");  in main()
489 	asm volatile("vpsravd %ymm4,%ymm6,%ymm2");  in main()
490 	asm volatile("vpsravd %zmm24,%zmm25,%zmm26");  in main()
491 	asm volatile("vpsravq %zmm24,%zmm25,%zmm26");  in main()
495 	asm volatile("vrcp14ps %zmm25,%zmm26");  in main()
496 	asm volatile("vrcp14pd %zmm27,%zmm28");  in main()
500 	asm volatile("vrcp14ss %xmm24,%xmm25,%xmm26{%k7}");  in main()
501 	asm volatile("vrcp14sd %xmm24,%xmm25,%xmm26{%k7}");  in main()
505 	asm volatile("vrsqrt14ps %zmm25,%zmm26");  in main()
506 	asm volatile("vrsqrt14pd %zmm27,%zmm28");  in main()
510 	asm volatile("vrsqrt14ss %xmm24,%xmm25,%xmm26{%k7}");  in main()
511 	asm volatile("vrsqrt14sd %xmm24,%xmm25,%xmm26{%k7}");  in main()
515 	asm volatile("vpbroadcastq %xmm4,%xmm6");  in main()
516 	asm volatile("vbroadcasti32x2 %xmm27,%zmm26");  in main()
520 	asm volatile("vbroadcasti128 (%rcx),%ymm4");  in main()
521 	asm volatile("vbroadcasti32x4 (%rcx),%zmm26");  in main()
522 	asm volatile("vbroadcasti64x2 (%rcx),%zmm26");  in main()
526 	asm volatile("vbroadcasti32x8 (%rcx),%zmm28");  in main()
527 	asm volatile("vbroadcasti64x4 (%rcx),%zmm26");  in main()
531 	asm volatile("vpblendmd %zmm26,%zmm27,%zmm28");  in main()
532 	asm volatile("vpblendmq %zmm26,%zmm27,%zmm28");  in main()
536 	asm volatile("vblendmps %zmm24,%zmm25,%zmm26");  in main()
537 	asm volatile("vblendmpd %zmm26,%zmm27,%zmm28");  in main()
541 	asm volatile("vpblendmb %zmm26,%zmm27,%zmm28");  in main()
542 	asm volatile("vpblendmw %zmm26,%zmm27,%zmm28");  in main()
546 	asm volatile("vpermi2b %zmm24,%zmm25,%zmm26");  in main()
547 	asm volatile("vpermi2w %zmm26,%zmm27,%zmm28");  in main()
551 	asm volatile("vpermi2d %zmm26,%zmm27,%zmm28");  in main()
552 	asm volatile("vpermi2q %zmm26,%zmm27,%zmm28");  in main()
556 	asm volatile("vpermi2ps %zmm26,%zmm27,%zmm28");  in main()
557 	asm volatile("vpermi2pd %zmm26,%zmm27,%zmm28");  in main()
561 	asm volatile("vpbroadcastb %eax,%xmm30");  in main()
565 	asm volatile("vpbroadcastw %eax,%xmm30");  in main()
569 	asm volatile("vpbroadcastd %eax,%xmm30");  in main()
570 	asm volatile("vpbroadcastq %rax,%zmm30");  in main()
574 	asm volatile("vpermt2b %zmm26,%zmm27,%zmm28");  in main()
575 	asm volatile("vpermt2w %zmm26,%zmm27,%zmm28");  in main()
579 	asm volatile("vpermt2d %zmm26,%zmm27,%zmm28");  in main()
580 	asm volatile("vpermt2q %zmm26,%zmm27,%zmm28");  in main()
584 	asm volatile("vpermt2ps %zmm26,%zmm27,%zmm28");  in main()
585 	asm volatile("vpermt2pd %zmm26,%zmm27,%zmm28");  in main()
589 	asm volatile("vpmultishiftqb %zmm26,%zmm27,%zmm28");  in main()
593 	asm volatile("vexpandps (%rcx),%zmm26");  in main()
594 	asm volatile("vexpandpd (%rcx),%zmm28");  in main()
598 	asm volatile("vpexpandd (%rcx),%zmm28");  in main()
599 	asm volatile("vpexpandq (%rcx),%zmm26");  in main()
603 	asm volatile("vcompressps %zmm28,(%rcx)");  in main()
604 	asm volatile("vcompresspd %zmm28,(%rcx)");  in main()
608 	asm volatile("vpcompressd %zmm28,(%rcx)");  in main()
609 	asm volatile("vpcompressq %zmm26,(%rcx)");  in main()
613 	asm volatile("vpermb %zmm26,%zmm27,%zmm28");  in main()
614 	asm volatile("vpermw %zmm26,%zmm27,%zmm28");  in main()
618 	asm volatile("vpgatherdd %xmm2,0x02(%rbp,%xmm7,2),%xmm1");  in main()
619 	asm volatile("vpgatherdq %xmm2,0x04(%rbp,%xmm7,2),%xmm1");  in main()
620 	asm volatile("vpgatherdd 0x7b(%rbp,%zmm27,8),%zmm26{%k1}");  in main()
621 	asm volatile("vpgatherdq 0x7b(%rbp,%ymm27,8),%zmm26{%k1}");  in main()
625 	asm volatile("vpgatherqd %xmm2,0x02(%rbp,%xmm7,2),%xmm1");  in main()
626 	asm volatile("vpgatherqq %xmm2,0x02(%rbp,%xmm7,2),%xmm1");  in main()
627 	asm volatile("vpgatherqd 0x7b(%rbp,%zmm27,8),%ymm26{%k1}");  in main()
628 	asm volatile("vpgatherqq 0x7b(%rbp,%zmm27,8),%zmm26{%k1}");  in main()
632 	asm volatile("vpscatterdd %zmm28,0x7b(%rbp,%zmm29,8){%k1}");  in main()
633 	asm volatile("vpscatterdq %zmm26,0x7b(%rbp,%ymm27,8){%k1}");  in main()
637 	asm volatile("vpscatterqd %ymm6,0x7b(%rbp,%zmm29,8){%k1}");  in main()
638 	asm volatile("vpscatterqq %ymm6,0x7b(%rbp,%ymm27,8){%k1}");  in main()
642 	asm volatile("vscatterdps %zmm28,0x7b(%rbp,%zmm29,8){%k1}");  in main()
643 	asm volatile("vscatterdpd %zmm28,0x7b(%rbp,%ymm27,8){%k1}");  in main()
647 	asm volatile("vscatterqps %ymm6,0x7b(%rbp,%zmm29,8){%k1}");  in main()
648 	asm volatile("vscatterqpd %zmm28,0x7b(%rbp,%zmm29,8){%k1}");  in main()
652 	asm volatile("vpmadd52luq %zmm26,%zmm27,%zmm28");  in main()
656 	asm volatile("vpmadd52huq %zmm26,%zmm27,%zmm28");  in main()
660 	asm volatile("vpconflictd %zmm26,%zmm27");  in main()
661 	asm volatile("vpconflictq %zmm26,%zmm27");  in main()
665 	asm volatile("vexp2ps %zmm29,%zmm30");  in main()
666 	asm volatile("vexp2pd %zmm26,%zmm27");  in main()
670 	asm volatile("vrcp28ps %zmm29,%zmm30");  in main()
671 	asm volatile("vrcp28pd %zmm26,%zmm27");  in main()
675 	asm volatile("vrcp28ss %xmm28,%xmm29,%xmm30{%k7}");  in main()
676 	asm volatile("vrcp28sd %xmm25,%xmm26,%xmm27{%k7}");  in main()
680 	asm volatile("vrsqrt28ps %zmm29,%zmm30");  in main()
681 	asm volatile("vrsqrt28pd %zmm26,%zmm27");  in main()
685 	asm volatile("vrsqrt28ss %xmm28,%xmm29,%xmm30{%k7}");  in main()
686 	asm volatile("vrsqrt28sd %xmm25,%xmm26,%xmm27{%k7}");  in main()
690 	asm volatile("valignd $0x12,%zmm28,%zmm29,%zmm30");  in main()
691 	asm volatile("valignq $0x12,%zmm25,%zmm26,%zmm27");  in main()
695 	asm volatile("vroundps $0x5,%ymm6,%ymm2");  in main()
696 	asm volatile("vrndscaleps $0x12,%zmm25,%zmm26");  in main()
700 	asm volatile("vroundpd $0x5,%ymm6,%ymm2");  in main()
701 	asm volatile("vrndscalepd $0x12,%zmm25,%zmm26");  in main()
705 	asm volatile("vroundss $0x5,%xmm4,%xmm6,%xmm2");  in main()
706 	asm volatile("vrndscaless $0x12,%xmm24,%xmm25,%xmm26{%k7}");  in main()
710 	asm volatile("vroundsd $0x5,%xmm4,%xmm6,%xmm2");  in main()
711 	asm volatile("vrndscalesd $0x12,%xmm24,%xmm25,%xmm26{%k7}");  in main()
715 	asm volatile("vinsertf128 $0x5,%xmm4,%ymm4,%ymm6");  in main()
716 	asm volatile("vinsertf32x4 $0x12,%xmm24,%zmm25,%zmm26{%k7}");  in main()
717 	asm volatile("vinsertf64x2 $0x12,%xmm24,%zmm25,%zmm26{%k7}");  in main()
721 	asm volatile("vextractf128 $0x5,%ymm4,%xmm4");  in main()
722 	asm volatile("vextractf32x4 $0x12,%zmm25,%xmm26{%k7}");  in main()
723 	asm volatile("vextractf64x2 $0x12,%zmm25,%xmm26{%k7}");  in main()
727 	asm volatile("vinsertf32x8 $0x12,%ymm25,%zmm26,%zmm27{%k7}");  in main()
728 	asm volatile("vinsertf64x4 $0x12,%ymm28,%zmm29,%zmm30{%k7}");  in main()
732 	asm volatile("vextractf32x8 $0x12,%zmm29,%ymm30{%k7}");  in main()
733 	asm volatile("vextractf64x4 $0x12,%zmm26,%ymm27{%k7}");  in main()
737 	asm volatile("vpcmpud $0x12,%zmm29,%zmm30,%k5");  in main()
738 	asm volatile("vpcmpuq $0x12,%zmm26,%zmm27,%k5");  in main()
742 	asm volatile("vpcmpd $0x12,%zmm29,%zmm30,%k5");  in main()
743 	asm volatile("vpcmpq $0x12,%zmm26,%zmm27,%k5");  in main()
747 	asm volatile("vshuff32x4 $0x12,%zmm28,%zmm29,%zmm30");  in main()
748 	asm volatile("vshuff64x2 $0x12,%zmm25,%zmm26,%zmm27");  in main()
752 	asm volatile("vpternlogd $0x12,%zmm28,%zmm29,%zmm30");  in main()
753 	asm volatile("vpternlogq $0x12,%zmm28,%zmm29,%zmm30");  in main()
757 	asm volatile("vgetmantps $0x12,%zmm26,%zmm27");  in main()
758 	asm volatile("vgetmantpd $0x12,%zmm29,%zmm30");  in main()
762 	asm volatile("vgetmantss $0x12,%xmm25,%xmm26,%xmm27{%k7}");  in main()
763 	asm volatile("vgetmantsd $0x12,%xmm28,%xmm29,%xmm30{%k7}");  in main()
767 	asm volatile("vinserti128 $0x5,%xmm4,%ymm4,%ymm6");  in main()
768 	asm volatile("vinserti32x4 $0x12,%xmm24,%zmm25,%zmm26{%k7}");  in main()
769 	asm volatile("vinserti64x2 $0x12,%xmm24,%zmm25,%zmm26{%k7}");  in main()
773 	asm volatile("vextracti128 $0x5,%ymm4,%xmm6");  in main()
774 	asm volatile("vextracti32x4 $0x12,%zmm25,%xmm26{%k7}");  in main()
775 	asm volatile("vextracti64x2 $0x12,%zmm25,%xmm26{%k7}");  in main()
779 	asm volatile("vinserti32x8 $0x12,%ymm28,%zmm29,%zmm30{%k7}");  in main()
780 	asm volatile("vinserti64x4 $0x12,%ymm25,%zmm26,%zmm27{%k7}");  in main()
784 	asm volatile("vextracti32x8 $0x12,%zmm29,%ymm30{%k7}");  in main()
785 	asm volatile("vextracti64x4 $0x12,%zmm26,%ymm27{%k7}");  in main()
789 	asm volatile("vpcmpub $0x12,%zmm29,%zmm30,%k5");  in main()
790 	asm volatile("vpcmpuw $0x12,%zmm26,%zmm27,%k5");  in main()
794 	asm volatile("vpcmpb $0x12,%zmm29,%zmm30,%k5");  in main()
795 	asm volatile("vpcmpw $0x12,%zmm26,%zmm27,%k5");  in main()
799 	asm volatile("vmpsadbw $0x5,%ymm4,%ymm6,%ymm2");  in main()
800 	asm volatile("vdbpsadbw $0x12,%zmm4,%zmm5,%zmm6");  in main()
804 	asm volatile("vshufi32x4 $0x12,%zmm25,%zmm26,%zmm27");  in main()
805 	asm volatile("vshufi64x2 $0x12,%zmm28,%zmm29,%zmm30");  in main()
809 	asm volatile("vrangeps $0x12,%zmm25,%zmm26,%zmm27");  in main()
810 	asm volatile("vrangepd $0x12,%zmm28,%zmm29,%zmm30");  in main()
814 	asm volatile("vrangess $0x12,%xmm25,%xmm26,%xmm27");  in main()
815 	asm volatile("vrangesd $0x12,%xmm28,%xmm29,%xmm30");  in main()
819 	asm volatile("vfixupimmps $0x12,%zmm28,%zmm29,%zmm30");  in main()
820 	asm volatile("vfixupimmpd $0x12,%zmm25,%zmm26,%zmm27");  in main()
824 	asm volatile("vfixupimmss $0x12,%xmm28,%xmm29,%xmm30{%k7}");  in main()
825 	asm volatile("vfixupimmsd $0x12,%xmm25,%xmm26,%xmm27{%k7}");  in main()
829 	asm volatile("vreduceps $0x12,%zmm26,%zmm27");  in main()
830 	asm volatile("vreducepd $0x12,%zmm29,%zmm30");  in main()
834 	asm volatile("vreducess $0x12,%xmm25,%xmm26,%xmm27");  in main()
835 	asm volatile("vreducesd $0x12,%xmm28,%xmm29,%xmm30");  in main()
839 	asm volatile("vfpclassps $0x12,%zmm27,%k5");  in main()
840 	asm volatile("vfpclasspd $0x12,%zmm30,%k5");  in main()
844 	asm volatile("vfpclassss $0x12,%xmm27,%k5");  in main()
845 	asm volatile("vfpclasssd $0x12,%xmm30,%k5");  in main()
849 	asm volatile("vprord $0x12,%zmm25,%zmm26");  in main()
850 	asm volatile("vprorq $0x12,%zmm25,%zmm26");  in main()
851 	asm volatile("vprold $0x12,%zmm29,%zmm30");  in main()
852 	asm volatile("vprolq $0x12,%zmm29,%zmm30");  in main()
853 	asm volatile("psrad  $0x2,%mm6");  in main()
854 	asm volatile("vpsrad $0x5,%ymm6,%ymm2");  in main()
855 	asm volatile("vpsrad $0x5,%zmm26,%zmm22");  in main()
856 	asm volatile("vpsraq $0x5,%zmm26,%zmm22");  in main()
860 	asm volatile("vgatherpf0dps 0x7b(%r14,%zmm31,8){%k1}");  in main()
861 	asm volatile("vgatherpf0dpd 0x7b(%r14,%ymm31,8){%k1}");  in main()
862 	asm volatile("vgatherpf1dps 0x7b(%r14,%zmm31,8){%k1}");  in main()
863 	asm volatile("vgatherpf1dpd 0x7b(%r14,%ymm31,8){%k1}");  in main()
864 	asm volatile("vscatterpf0dps 0x7b(%r14,%zmm31,8){%k1}");  in main()
865 	asm volatile("vscatterpf0dpd 0x7b(%r14,%ymm31,8){%k1}");  in main()
866 	asm volatile("vscatterpf1dps 0x7b(%r14,%zmm31,8){%k1}");  in main()
867 	asm volatile("vscatterpf1dpd 0x7b(%r14,%ymm31,8){%k1}");  in main()
871 	asm volatile("vgatherpf0qps 0x7b(%r14,%zmm31,8){%k1}");  in main()
872 	asm volatile("vgatherpf0qpd 0x7b(%r14,%zmm31,8){%k1}");  in main()
873 	asm volatile("vgatherpf1qps 0x7b(%r14,%zmm31,8){%k1}");  in main()
874 	asm volatile("vgatherpf1qpd 0x7b(%r14,%zmm31,8){%k1}");  in main()
875 	asm volatile("vscatterpf0qps 0x7b(%r14,%zmm31,8){%k1}");  in main()
876 	asm volatile("vscatterpf0qpd 0x7b(%r14,%zmm31,8){%k1}");  in main()
877 	asm volatile("vscatterpf1qps 0x7b(%r14,%zmm31,8){%k1}");  in main()
878 	asm volatile("vscatterpf1qpd 0x7b(%r14,%zmm31,8){%k1}");  in main()
882 	asm volatile("vaddpd %zmm28,%zmm29,%zmm30");  in main()
883 	asm volatile("vaddpd %zmm28,%zmm29,%zmm30{%k7}");  in main()
884 	asm volatile("vaddpd %zmm28,%zmm29,%zmm30{%k7}{z}");  in main()
885 	asm volatile("vaddpd {rn-sae},%zmm28,%zmm29,%zmm30");  in main()
886 	asm volatile("vaddpd {ru-sae},%zmm28,%zmm29,%zmm30");  in main()
887 	asm volatile("vaddpd {rd-sae},%zmm28,%zmm29,%zmm30");  in main()
888 	asm volatile("vaddpd {rz-sae},%zmm28,%zmm29,%zmm30");  in main()
889 	asm volatile("vaddpd (%rcx),%zmm29,%zmm30");  in main()
890 	asm volatile("vaddpd 0x123(%rax,%r14,8),%zmm29,%zmm30");  in main()
891 	asm volatile("vaddpd (%rcx){1to8},%zmm29,%zmm30");  in main()
892 	asm volatile("vaddpd 0x1fc0(%rdx),%zmm29,%zmm30");  in main()
893 	asm volatile("vaddpd 0x3f8(%rdx){1to8},%zmm29,%zmm30");  in main()
894 	asm volatile("vcmpeq_uqps 0x1fc(%rdx){1to16},%zmm30,%k5");  in main()
895 	asm volatile("vcmpltsd 0x123(%rax,%r14,8),%xmm29,%k5{%k7}");  in main()
896 	asm volatile("vcmplesd {sae},%xmm28,%xmm29,%k5{%k7}");  in main()
897 	asm volatile("vgetmantss $0x5b,0x123(%rax,%r14,8),%xmm29,%xmm30{%k7}");  in main()
901 	asm volatile("bndmk (%rax), %bnd0");  in main()
902 	asm volatile("bndmk (%r8), %bnd0");  in main()
903 	asm volatile("bndmk (0x12345678), %bnd0");  in main()
904 	asm volatile("bndmk (%rax), %bnd3");  in main()
905 	asm volatile("bndmk (%rcx,%rax,1), %bnd0");  in main()
906 	asm volatile("bndmk 0x12345678(,%rax,1), %bnd0");  in main()
907 	asm volatile("bndmk (%rax,%rcx,1), %bnd0");  in main()
908 	asm volatile("bndmk (%rax,%rcx,8), %bnd0");  in main()
909 	asm volatile("bndmk 0x12(%rax), %bnd0");  in main()
910 	asm volatile("bndmk 0x12(%rbp), %bnd0");  in main()
911 	asm volatile("bndmk 0x12(%rcx,%rax,1), %bnd0");  in main()
912 	asm volatile("bndmk 0x12(%rbp,%rax,1), %bnd0");  in main()
913 	asm volatile("bndmk 0x12(%rax,%rcx,1), %bnd0");  in main()
914 	asm volatile("bndmk 0x12(%rax,%rcx,8), %bnd0");  in main()
915 	asm volatile("bndmk 0x12345678(%rax), %bnd0");  in main()
916 	asm volatile("bndmk 0x12345678(%rbp), %bnd0");  in main()
917 	asm volatile("bndmk 0x12345678(%rcx,%rax,1), %bnd0");  in main()
918 	asm volatile("bndmk 0x12345678(%rbp,%rax,1), %bnd0");  in main()
919 	asm volatile("bndmk 0x12345678(%rax,%rcx,1), %bnd0");  in main()
920 	asm volatile("bndmk 0x12345678(%rax,%rcx,8), %bnd0");  in main()
924 	asm volatile("bndcl (%rax), %bnd0");  in main()
925 	asm volatile("bndcl (%r8), %bnd0");  in main()
926 	asm volatile("bndcl (0x12345678), %bnd0");  in main()
927 	asm volatile("bndcl (%rax), %bnd3");  in main()
928 	asm volatile("bndcl (%rcx,%rax,1), %bnd0");  in main()
929 	asm volatile("bndcl 0x12345678(,%rax,1), %bnd0");  in main()
930 	asm volatile("bndcl (%rax,%rcx,1), %bnd0");  in main()
931 	asm volatile("bndcl (%rax,%rcx,8), %bnd0");  in main()
932 	asm volatile("bndcl 0x12(%rax), %bnd0");  in main()
933 	asm volatile("bndcl 0x12(%rbp), %bnd0");  in main()
934 	asm volatile("bndcl 0x12(%rcx,%rax,1), %bnd0");  in main()
935 	asm volatile("bndcl 0x12(%rbp,%rax,1), %bnd0");  in main()
936 	asm volatile("bndcl 0x12(%rax,%rcx,1), %bnd0");  in main()
937 	asm volatile("bndcl 0x12(%rax,%rcx,8), %bnd0");  in main()
938 	asm volatile("bndcl 0x12345678(%rax), %bnd0");  in main()
939 	asm volatile("bndcl 0x12345678(%rbp), %bnd0");  in main()
940 	asm volatile("bndcl 0x12345678(%rcx,%rax,1), %bnd0");  in main()
941 	asm volatile("bndcl 0x12345678(%rbp,%rax,1), %bnd0");  in main()
942 	asm volatile("bndcl 0x12345678(%rax,%rcx,1), %bnd0");  in main()
943 	asm volatile("bndcl 0x12345678(%rax,%rcx,8), %bnd0");  in main()
944 	asm volatile("bndcl %rax, %bnd0");  in main()
948 	asm volatile("bndcu (%rax), %bnd0");  in main()
949 	asm volatile("bndcu (%r8), %bnd0");  in main()
950 	asm volatile("bndcu (0x12345678), %bnd0");  in main()
951 	asm volatile("bndcu (%rax), %bnd3");  in main()
952 	asm volatile("bndcu (%rcx,%rax,1), %bnd0");  in main()
953 	asm volatile("bndcu 0x12345678(,%rax,1), %bnd0");  in main()
954 	asm volatile("bndcu (%rax,%rcx,1), %bnd0");  in main()
955 	asm volatile("bndcu (%rax,%rcx,8), %bnd0");  in main()
956 	asm volatile("bndcu 0x12(%rax), %bnd0");  in main()
957 	asm volatile("bndcu 0x12(%rbp), %bnd0");  in main()
958 	asm volatile("bndcu 0x12(%rcx,%rax,1), %bnd0");  in main()
959 	asm volatile("bndcu 0x12(%rbp,%rax,1), %bnd0");  in main()
960 	asm volatile("bndcu 0x12(%rax,%rcx,1), %bnd0");  in main()
961 	asm volatile("bndcu 0x12(%rax,%rcx,8), %bnd0");  in main()
962 	asm volatile("bndcu 0x12345678(%rax), %bnd0");  in main()
963 	asm volatile("bndcu 0x12345678(%rbp), %bnd0");  in main()
964 	asm volatile("bndcu 0x12345678(%rcx,%rax,1), %bnd0");  in main()
965 	asm volatile("bndcu 0x12345678(%rbp,%rax,1), %bnd0");  in main()
966 	asm volatile("bndcu 0x12345678(%rax,%rcx,1), %bnd0");  in main()
967 	asm volatile("bndcu 0x12345678(%rax,%rcx,8), %bnd0");  in main()
968 	asm volatile("bndcu %rax, %bnd0");  in main()
972 	asm volatile("bndcn (%rax), %bnd0");  in main()
973 	asm volatile("bndcn (%r8), %bnd0");  in main()
974 	asm volatile("bndcn (0x12345678), %bnd0");  in main()
975 	asm volatile("bndcn (%rax), %bnd3");  in main()
976 	asm volatile("bndcn (%rcx,%rax,1), %bnd0");  in main()
977 	asm volatile("bndcn 0x12345678(,%rax,1), %bnd0");  in main()
978 	asm volatile("bndcn (%rax,%rcx,1), %bnd0");  in main()
979 	asm volatile("bndcn (%rax,%rcx,8), %bnd0");  in main()
980 	asm volatile("bndcn 0x12(%rax), %bnd0");  in main()
981 	asm volatile("bndcn 0x12(%rbp), %bnd0");  in main()
982 	asm volatile("bndcn 0x12(%rcx,%rax,1), %bnd0");  in main()
983 	asm volatile("bndcn 0x12(%rbp,%rax,1), %bnd0");  in main()
984 	asm volatile("bndcn 0x12(%rax,%rcx,1), %bnd0");  in main()
985 	asm volatile("bndcn 0x12(%rax,%rcx,8), %bnd0");  in main()
986 	asm volatile("bndcn 0x12345678(%rax), %bnd0");  in main()
987 	asm volatile("bndcn 0x12345678(%rbp), %bnd0");  in main()
988 	asm volatile("bndcn 0x12345678(%rcx,%rax,1), %bnd0");  in main()
989 	asm volatile("bndcn 0x12345678(%rbp,%rax,1), %bnd0");  in main()
990 	asm volatile("bndcn 0x12345678(%rax,%rcx,1), %bnd0");  in main()
991 	asm volatile("bndcn 0x12345678(%rax,%rcx,8), %bnd0");  in main()
992 	asm volatile("bndcn %rax, %bnd0");  in main()
996 	asm volatile("bndmov (%rax), %bnd0");  in main()
997 	asm volatile("bndmov (%r8), %bnd0");  in main()
998 	asm volatile("bndmov (0x12345678), %bnd0");  in main()
999 	asm volatile("bndmov (%rax), %bnd3");  in main()
1000 	asm volatile("bndmov (%rcx,%rax,1), %bnd0");  in main()
1001 	asm volatile("bndmov 0x12345678(,%rax,1), %bnd0");  in main()
1002 	asm volatile("bndmov (%rax,%rcx,1), %bnd0");  in main()
1003 	asm volatile("bndmov (%rax,%rcx,8), %bnd0");  in main()
1004 	asm volatile("bndmov 0x12(%rax), %bnd0");  in main()
1005 	asm volatile("bndmov 0x12(%rbp), %bnd0");  in main()
1006 	asm volatile("bndmov 0x12(%rcx,%rax,1), %bnd0");  in main()
1007 	asm volatile("bndmov 0x12(%rbp,%rax,1), %bnd0");  in main()
1008 	asm volatile("bndmov 0x12(%rax,%rcx,1), %bnd0");  in main()
1009 	asm volatile("bndmov 0x12(%rax,%rcx,8), %bnd0");  in main()
1010 	asm volatile("bndmov 0x12345678(%rax), %bnd0");  in main()
1011 	asm volatile("bndmov 0x12345678(%rbp), %bnd0");  in main()
1012 	asm volatile("bndmov 0x12345678(%rcx,%rax,1), %bnd0");  in main()
1013 	asm volatile("bndmov 0x12345678(%rbp,%rax,1), %bnd0");  in main()
1014 	asm volatile("bndmov 0x12345678(%rax,%rcx,1), %bnd0");  in main()
1015 	asm volatile("bndmov 0x12345678(%rax,%rcx,8), %bnd0");  in main()
1019 	asm volatile("bndmov %bnd0, (%rax)");  in main()
1020 	asm volatile("bndmov %bnd0, (%r8)");  in main()
1021 	asm volatile("bndmov %bnd0, (0x12345678)");  in main()
1022 	asm volatile("bndmov %bnd3, (%rax)");  in main()
1023 	asm volatile("bndmov %bnd0, (%rcx,%rax,1)");  in main()
1024 	asm volatile("bndmov %bnd0, 0x12345678(,%rax,1)");  in main()
1025 	asm volatile("bndmov %bnd0, (%rax,%rcx,1)");  in main()
1026 	asm volatile("bndmov %bnd0, (%rax,%rcx,8)");  in main()
1027 	asm volatile("bndmov %bnd0, 0x12(%rax)");  in main()
1028 	asm volatile("bndmov %bnd0, 0x12(%rbp)");  in main()
1029 	asm volatile("bndmov %bnd0, 0x12(%rcx,%rax,1)");  in main()
1030 	asm volatile("bndmov %bnd0, 0x12(%rbp,%rax,1)");  in main()
1031 	asm volatile("bndmov %bnd0, 0x12(%rax,%rcx,1)");  in main()
1032 	asm volatile("bndmov %bnd0, 0x12(%rax,%rcx,8)");  in main()
1033 	asm volatile("bndmov %bnd0, 0x12345678(%rax)");  in main()
1034 	asm volatile("bndmov %bnd0, 0x12345678(%rbp)");  in main()
1035 	asm volatile("bndmov %bnd0, 0x12345678(%rcx,%rax,1)");  in main()
1036 	asm volatile("bndmov %bnd0, 0x12345678(%rbp,%rax,1)");  in main()
1037 	asm volatile("bndmov %bnd0, 0x12345678(%rax,%rcx,1)");  in main()
1038 	asm volatile("bndmov %bnd0, 0x12345678(%rax,%rcx,8)");  in main()
1042 	asm volatile("bndmov %bnd0, %bnd1");  in main()
1043 	asm volatile("bndmov %bnd1, %bnd0");  in main()
1047 	asm volatile("bndldx (%rax), %bnd0");  in main()
1048 	asm volatile("bndldx (%r8), %bnd0");  in main()
1049 	asm volatile("bndldx (0x12345678), %bnd0");  in main()
1050 	asm volatile("bndldx (%rax), %bnd3");  in main()
1051 	asm volatile("bndldx (%rcx,%rax,1), %bnd0");  in main()
1052 	asm volatile("bndldx 0x12345678(,%rax,1), %bnd0");  in main()
1053 	asm volatile("bndldx (%rax,%rcx,1), %bnd0");  in main()
1054 	asm volatile("bndldx 0x12(%rax), %bnd0");  in main()
1055 	asm volatile("bndldx 0x12(%rbp), %bnd0");  in main()
1056 	asm volatile("bndldx 0x12(%rcx,%rax,1), %bnd0");  in main()
1057 	asm volatile("bndldx 0x12(%rbp,%rax,1), %bnd0");  in main()
1058 	asm volatile("bndldx 0x12(%rax,%rcx,1), %bnd0");  in main()
1059 	asm volatile("bndldx 0x12345678(%rax), %bnd0");  in main()
1060 	asm volatile("bndldx 0x12345678(%rbp), %bnd0");  in main()
1061 	asm volatile("bndldx 0x12345678(%rcx,%rax,1), %bnd0");  in main()
1062 	asm volatile("bndldx 0x12345678(%rbp,%rax,1), %bnd0");  in main()
1063 	asm volatile("bndldx 0x12345678(%rax,%rcx,1), %bnd0");  in main()
1067 	asm volatile("bndstx %bnd0, (%rax)");  in main()
1068 	asm volatile("bndstx %bnd0, (%r8)");  in main()
1069 	asm volatile("bndstx %bnd0, (0x12345678)");  in main()
1070 	asm volatile("bndstx %bnd3, (%rax)");  in main()
1071 	asm volatile("bndstx %bnd0, (%rcx,%rax,1)");  in main()
1072 	asm volatile("bndstx %bnd0, 0x12345678(,%rax,1)");  in main()
1073 	asm volatile("bndstx %bnd0, (%rax,%rcx,1)");  in main()
1074 	asm volatile("bndstx %bnd0, 0x12(%rax)");  in main()
1075 	asm volatile("bndstx %bnd0, 0x12(%rbp)");  in main()
1076 	asm volatile("bndstx %bnd0, 0x12(%rcx,%rax,1)");  in main()
1077 	asm volatile("bndstx %bnd0, 0x12(%rbp,%rax,1)");  in main()
1078 	asm volatile("bndstx %bnd0, 0x12(%rax,%rcx,1)");  in main()
1079 	asm volatile("bndstx %bnd0, 0x12345678(%rax)");  in main()
1080 	asm volatile("bndstx %bnd0, 0x12345678(%rbp)");  in main()
1081 	asm volatile("bndstx %bnd0, 0x12345678(%rcx,%rax,1)");  in main()
1082 	asm volatile("bndstx %bnd0, 0x12345678(%rbp,%rax,1)");  in main()
1083 	asm volatile("bndstx %bnd0, 0x12345678(%rax,%rcx,1)");  in main()
1087 	asm volatile("bnd call label1");  /* Expecting: call unconditional 0 */  in main()
1088 	asm volatile("bnd call *(%eax)"); /* Expecting: call indirect      0 */  in main()
1089 	asm volatile("bnd ret");          /* Expecting: ret  indirect      0 */  in main()
1090 	asm volatile("bnd jmp label1");   /* Expecting: jmp  unconditional 0 */  in main()
1091 	asm volatile("bnd jmp label1");   /* Expecting: jmp  unconditional 0 */  in main()
1092 	asm volatile("bnd jmp *(%ecx)");  /* Expecting: jmp  indirect      0 */  in main()
1093 	asm volatile("bnd jne label1");   /* Expecting: jcc  conditional   0 */  in main()
1097 	asm volatile("sha1rnds4 $0x0, %xmm1, %xmm0");  in main()
1098 	asm volatile("sha1rnds4 $0x91, %xmm7, %xmm2");  in main()
1099 	asm volatile("sha1rnds4 $0x91, %xmm8, %xmm0");  in main()
1100 	asm volatile("sha1rnds4 $0x91, %xmm7, %xmm8");  in main()
1101 	asm volatile("sha1rnds4 $0x91, %xmm15, %xmm8");  in main()
1102 	asm volatile("sha1rnds4 $0x91, (%rax), %xmm0");  in main()
1103 	asm volatile("sha1rnds4 $0x91, (%r8), %xmm0");  in main()
1104 	asm volatile("sha1rnds4 $0x91, (0x12345678), %xmm0");  in main()
1105 	asm volatile("sha1rnds4 $0x91, (%rax), %xmm3");  in main()
1106 	asm volatile("sha1rnds4 $0x91, (%rcx,%rax,1), %xmm0");  in main()
1107 	asm volatile("sha1rnds4 $0x91, 0x12345678(,%rax,1), %xmm0");  in main()
1108 	asm volatile("sha1rnds4 $0x91, (%rax,%rcx,1), %xmm0");  in main()
1109 	asm volatile("sha1rnds4 $0x91, (%rax,%rcx,8), %xmm0");  in main()
1110 	asm volatile("sha1rnds4 $0x91, 0x12(%rax), %xmm0");  in main()
1111 	asm volatile("sha1rnds4 $0x91, 0x12(%rbp), %xmm0");  in main()
1112 	asm volatile("sha1rnds4 $0x91, 0x12(%rcx,%rax,1), %xmm0");  in main()
1113 	asm volatile("sha1rnds4 $0x91, 0x12(%rbp,%rax,1), %xmm0");  in main()
1114 	asm volatile("sha1rnds4 $0x91, 0x12(%rax,%rcx,1), %xmm0");  in main()
1115 	asm volatile("sha1rnds4 $0x91, 0x12(%rax,%rcx,8), %xmm0");  in main()
1116 	asm volatile("sha1rnds4 $0x91, 0x12345678(%rax), %xmm0");  in main()
1117 	asm volatile("sha1rnds4 $0x91, 0x12345678(%rbp), %xmm0");  in main()
1118 	asm volatile("sha1rnds4 $0x91, 0x12345678(%rcx,%rax,1), %xmm0");  in main()
1119 	asm volatile("sha1rnds4 $0x91, 0x12345678(%rbp,%rax,1), %xmm0");  in main()
1120 	asm volatile("sha1rnds4 $0x91, 0x12345678(%rax,%rcx,1), %xmm0");  in main()
1121 	asm volatile("sha1rnds4 $0x91, 0x12345678(%rax,%rcx,8), %xmm0");  in main()
1122 	asm volatile("sha1rnds4 $0x91, 0x12345678(%rax,%rcx,8), %xmm15");  in main()
1126 	asm volatile("sha1nexte %xmm1, %xmm0");  in main()
1127 	asm volatile("sha1nexte %xmm7, %xmm2");  in main()
1128 	asm volatile("sha1nexte %xmm8, %xmm0");  in main()
1129 	asm volatile("sha1nexte %xmm7, %xmm8");  in main()
1130 	asm volatile("sha1nexte %xmm15, %xmm8");  in main()
1131 	asm volatile("sha1nexte (%rax), %xmm0");  in main()
1132 	asm volatile("sha1nexte (%r8), %xmm0");  in main()
1133 	asm volatile("sha1nexte (0x12345678), %xmm0");  in main()
1134 	asm volatile("sha1nexte (%rax), %xmm3");  in main()
1135 	asm volatile("sha1nexte (%rcx,%rax,1), %xmm0");  in main()
1136 	asm volatile("sha1nexte 0x12345678(,%rax,1), %xmm0");  in main()
1137 	asm volatile("sha1nexte (%rax,%rcx,1), %xmm0");  in main()
1138 	asm volatile("sha1nexte (%rax,%rcx,8), %xmm0");  in main()
1139 	asm volatile("sha1nexte 0x12(%rax), %xmm0");  in main()
1140 	asm volatile("sha1nexte 0x12(%rbp), %xmm0");  in main()
1141 	asm volatile("sha1nexte 0x12(%rcx,%rax,1), %xmm0");  in main()
1142 	asm volatile("sha1nexte 0x12(%rbp,%rax,1), %xmm0");  in main()
1143 	asm volatile("sha1nexte 0x12(%rax,%rcx,1), %xmm0");  in main()
1144 	asm volatile("sha1nexte 0x12(%rax,%rcx,8), %xmm0");  in main()
1145 	asm volatile("sha1nexte 0x12345678(%rax), %xmm0");  in main()
1146 	asm volatile("sha1nexte 0x12345678(%rbp), %xmm0");  in main()
1147 	asm volatile("sha1nexte 0x12345678(%rcx,%rax,1), %xmm0");  in main()
1148 	asm volatile("sha1nexte 0x12345678(%rbp,%rax,1), %xmm0");  in main()
1149 	asm volatile("sha1nexte 0x12345678(%rax,%rcx,1), %xmm0");  in main()
1150 	asm volatile("sha1nexte 0x12345678(%rax,%rcx,8), %xmm0");  in main()
1151 	asm volatile("sha1nexte 0x12345678(%rax,%rcx,8), %xmm15");  in main()
1155 	asm volatile("sha1msg1 %xmm1, %xmm0");  in main()
1156 	asm volatile("sha1msg1 %xmm7, %xmm2");  in main()
1157 	asm volatile("sha1msg1 %xmm8, %xmm0");  in main()
1158 	asm volatile("sha1msg1 %xmm7, %xmm8");  in main()
1159 	asm volatile("sha1msg1 %xmm15, %xmm8");  in main()
1160 	asm volatile("sha1msg1 (%rax), %xmm0");  in main()
1161 	asm volatile("sha1msg1 (%r8), %xmm0");  in main()
1162 	asm volatile("sha1msg1 (0x12345678), %xmm0");  in main()
1163 	asm volatile("sha1msg1 (%rax), %xmm3");  in main()
1164 	asm volatile("sha1msg1 (%rcx,%rax,1), %xmm0");  in main()
1165 	asm volatile("sha1msg1 0x12345678(,%rax,1), %xmm0");  in main()
1166 	asm volatile("sha1msg1 (%rax,%rcx,1), %xmm0");  in main()
1167 	asm volatile("sha1msg1 (%rax,%rcx,8), %xmm0");  in main()
1168 	asm volatile("sha1msg1 0x12(%rax), %xmm0");  in main()
1169 	asm volatile("sha1msg1 0x12(%rbp), %xmm0");  in main()
1170 	asm volatile("sha1msg1 0x12(%rcx,%rax,1), %xmm0");  in main()
1171 	asm volatile("sha1msg1 0x12(%rbp,%rax,1), %xmm0");  in main()
1172 	asm volatile("sha1msg1 0x12(%rax,%rcx,1), %xmm0");  in main()
1173 	asm volatile("sha1msg1 0x12(%rax,%rcx,8), %xmm0");  in main()
1174 	asm volatile("sha1msg1 0x12345678(%rax), %xmm0");  in main()
1175 	asm volatile("sha1msg1 0x12345678(%rbp), %xmm0");  in main()
1176 	asm volatile("sha1msg1 0x12345678(%rcx,%rax,1), %xmm0");  in main()
1177 	asm volatile("sha1msg1 0x12345678(%rbp,%rax,1), %xmm0");  in main()
1178 	asm volatile("sha1msg1 0x12345678(%rax,%rcx,1), %xmm0");  in main()
1179 	asm volatile("sha1msg1 0x12345678(%rax,%rcx,8), %xmm0");  in main()
1180 	asm volatile("sha1msg1 0x12345678(%rax,%rcx,8), %xmm15");  in main()
1184 	asm volatile("sha1msg2 %xmm1, %xmm0");  in main()
1185 	asm volatile("sha1msg2 %xmm7, %xmm2");  in main()
1186 	asm volatile("sha1msg2 %xmm8, %xmm0");  in main()
1187 	asm volatile("sha1msg2 %xmm7, %xmm8");  in main()
1188 	asm volatile("sha1msg2 %xmm15, %xmm8");  in main()
1189 	asm volatile("sha1msg2 (%rax), %xmm0");  in main()
1190 	asm volatile("sha1msg2 (%r8), %xmm0");  in main()
1191 	asm volatile("sha1msg2 (0x12345678), %xmm0");  in main()
1192 	asm volatile("sha1msg2 (%rax), %xmm3");  in main()
1193 	asm volatile("sha1msg2 (%rcx,%rax,1), %xmm0");  in main()
1194 	asm volatile("sha1msg2 0x12345678(,%rax,1), %xmm0");  in main()
1195 	asm volatile("sha1msg2 (%rax,%rcx,1), %xmm0");  in main()
1196 	asm volatile("sha1msg2 (%rax,%rcx,8), %xmm0");  in main()
1197 	asm volatile("sha1msg2 0x12(%rax), %xmm0");  in main()
1198 	asm volatile("sha1msg2 0x12(%rbp), %xmm0");  in main()
1199 	asm volatile("sha1msg2 0x12(%rcx,%rax,1), %xmm0");  in main()
1200 	asm volatile("sha1msg2 0x12(%rbp,%rax,1), %xmm0");  in main()
1201 	asm volatile("sha1msg2 0x12(%rax,%rcx,1), %xmm0");  in main()
1202 	asm volatile("sha1msg2 0x12(%rax,%rcx,8), %xmm0");  in main()
1203 	asm volatile("sha1msg2 0x12345678(%rax), %xmm0");  in main()
1204 	asm volatile("sha1msg2 0x12345678(%rbp), %xmm0");  in main()
1205 	asm volatile("sha1msg2 0x12345678(%rcx,%rax,1), %xmm0");  in main()
1206 	asm volatile("sha1msg2 0x12345678(%rbp,%rax,1), %xmm0");  in main()
1207 	asm volatile("sha1msg2 0x12345678(%rax,%rcx,1), %xmm0");  in main()
1208 	asm volatile("sha1msg2 0x12345678(%rax,%rcx,8), %xmm0");  in main()
1209 	asm volatile("sha1msg2 0x12345678(%rax,%rcx,8), %xmm15");  in main()
1214 	asm volatile("sha256rnds2 %xmm4, %xmm1");  in main()
1215 	asm volatile("sha256rnds2 %xmm7, %xmm2");  in main()
1216 	asm volatile("sha256rnds2 %xmm8, %xmm1");  in main()
1217 	asm volatile("sha256rnds2 %xmm7, %xmm8");  in main()
1218 	asm volatile("sha256rnds2 %xmm15, %xmm8");  in main()
1219 	asm volatile("sha256rnds2 (%rax), %xmm1");  in main()
1220 	asm volatile("sha256rnds2 (%r8), %xmm1");  in main()
1221 	asm volatile("sha256rnds2 (0x12345678), %xmm1");  in main()
1222 	asm volatile("sha256rnds2 (%rax), %xmm3");  in main()
1223 	asm volatile("sha256rnds2 (%rcx,%rax,1), %xmm1");  in main()
1224 	asm volatile("sha256rnds2 0x12345678(,%rax,1), %xmm1");  in main()
1225 	asm volatile("sha256rnds2 (%rax,%rcx,1), %xmm1");  in main()
1226 	asm volatile("sha256rnds2 (%rax,%rcx,8), %xmm1");  in main()
1227 	asm volatile("sha256rnds2 0x12(%rax), %xmm1");  in main()
1228 	asm volatile("sha256rnds2 0x12(%rbp), %xmm1");  in main()
1229 	asm volatile("sha256rnds2 0x12(%rcx,%rax,1), %xmm1");  in main()
1230 	asm volatile("sha256rnds2 0x12(%rbp,%rax,1), %xmm1");  in main()
1231 	asm volatile("sha256rnds2 0x12(%rax,%rcx,1), %xmm1");  in main()
1232 	asm volatile("sha256rnds2 0x12(%rax,%rcx,8), %xmm1");  in main()
1233 	asm volatile("sha256rnds2 0x12345678(%rax), %xmm1");  in main()
1234 	asm volatile("sha256rnds2 0x12345678(%rbp), %xmm1");  in main()
1235 	asm volatile("sha256rnds2 0x12345678(%rcx,%rax,1), %xmm1");  in main()
1236 	asm volatile("sha256rnds2 0x12345678(%rbp,%rax,1), %xmm1");  in main()
1237 	asm volatile("sha256rnds2 0x12345678(%rax,%rcx,1), %xmm1");  in main()
1238 	asm volatile("sha256rnds2 0x12345678(%rax,%rcx,8), %xmm1");  in main()
1239 	asm volatile("sha256rnds2 0x12345678(%rax,%rcx,8), %xmm15");  in main()
1243 	asm volatile("sha256msg1 %xmm1, %xmm0");  in main()
1244 	asm volatile("sha256msg1 %xmm7, %xmm2");  in main()
1245 	asm volatile("sha256msg1 %xmm8, %xmm0");  in main()
1246 	asm volatile("sha256msg1 %xmm7, %xmm8");  in main()
1247 	asm volatile("sha256msg1 %xmm15, %xmm8");  in main()
1248 	asm volatile("sha256msg1 (%rax), %xmm0");  in main()
1249 	asm volatile("sha256msg1 (%r8), %xmm0");  in main()
1250 	asm volatile("sha256msg1 (0x12345678), %xmm0");  in main()
1251 	asm volatile("sha256msg1 (%rax), %xmm3");  in main()
1252 	asm volatile("sha256msg1 (%rcx,%rax,1), %xmm0");  in main()
1253 	asm volatile("sha256msg1 0x12345678(,%rax,1), %xmm0");  in main()
1254 	asm volatile("sha256msg1 (%rax,%rcx,1), %xmm0");  in main()
1255 	asm volatile("sha256msg1 (%rax,%rcx,8), %xmm0");  in main()
1256 	asm volatile("sha256msg1 0x12(%rax), %xmm0");  in main()
1257 	asm volatile("sha256msg1 0x12(%rbp), %xmm0");  in main()
1258 	asm volatile("sha256msg1 0x12(%rcx,%rax,1), %xmm0");  in main()
1259 	asm volatile("sha256msg1 0x12(%rbp,%rax,1), %xmm0");  in main()
1260 	asm volatile("sha256msg1 0x12(%rax,%rcx,1), %xmm0");  in main()
1261 	asm volatile("sha256msg1 0x12(%rax,%rcx,8), %xmm0");  in main()
1262 	asm volatile("sha256msg1 0x12345678(%rax), %xmm0");  in main()
1263 	asm volatile("sha256msg1 0x12345678(%rbp), %xmm0");  in main()
1264 	asm volatile("sha256msg1 0x12345678(%rcx,%rax,1), %xmm0");  in main()
1265 	asm volatile("sha256msg1 0x12345678(%rbp,%rax,1), %xmm0");  in main()
1266 	asm volatile("sha256msg1 0x12345678(%rax,%rcx,1), %xmm0");  in main()
1267 	asm volatile("sha256msg1 0x12345678(%rax,%rcx,8), %xmm0");  in main()
1268 	asm volatile("sha256msg1 0x12345678(%rax,%rcx,8), %xmm15");  in main()
1272 	asm volatile("sha256msg2 %xmm1, %xmm0");  in main()
1273 	asm volatile("sha256msg2 %xmm7, %xmm2");  in main()
1274 	asm volatile("sha256msg2 %xmm8, %xmm0");  in main()
1275 	asm volatile("sha256msg2 %xmm7, %xmm8");  in main()
1276 	asm volatile("sha256msg2 %xmm15, %xmm8");  in main()
1277 	asm volatile("sha256msg2 (%rax), %xmm0");  in main()
1278 	asm volatile("sha256msg2 (%r8), %xmm0");  in main()
1279 	asm volatile("sha256msg2 (0x12345678), %xmm0");  in main()
1280 	asm volatile("sha256msg2 (%rax), %xmm3");  in main()
1281 	asm volatile("sha256msg2 (%rcx,%rax,1), %xmm0");  in main()
1282 	asm volatile("sha256msg2 0x12345678(,%rax,1), %xmm0");  in main()
1283 	asm volatile("sha256msg2 (%rax,%rcx,1), %xmm0");  in main()
1284 	asm volatile("sha256msg2 (%rax,%rcx,8), %xmm0");  in main()
1285 	asm volatile("sha256msg2 0x12(%rax), %xmm0");  in main()
1286 	asm volatile("sha256msg2 0x12(%rbp), %xmm0");  in main()
1287 	asm volatile("sha256msg2 0x12(%rcx,%rax,1), %xmm0");  in main()
1288 	asm volatile("sha256msg2 0x12(%rbp,%rax,1), %xmm0");  in main()
1289 	asm volatile("sha256msg2 0x12(%rax,%rcx,1), %xmm0");  in main()
1290 	asm volatile("sha256msg2 0x12(%rax,%rcx,8), %xmm0");  in main()
1291 	asm volatile("sha256msg2 0x12345678(%rax), %xmm0");  in main()
1292 	asm volatile("sha256msg2 0x12345678(%rbp), %xmm0");  in main()
1293 	asm volatile("sha256msg2 0x12345678(%rcx,%rax,1), %xmm0");  in main()
1294 	asm volatile("sha256msg2 0x12345678(%rbp,%rax,1), %xmm0");  in main()
1295 	asm volatile("sha256msg2 0x12345678(%rax,%rcx,1), %xmm0");  in main()
1296 	asm volatile("sha256msg2 0x12345678(%rax,%rcx,8), %xmm0");  in main()
1297 	asm volatile("sha256msg2 0x12345678(%rax,%rcx,8), %xmm15");  in main()
1301 	asm volatile("clflushopt (%rax)");  in main()
1302 	asm volatile("clflushopt (%r8)");  in main()
1303 	asm volatile("clflushopt (0x12345678)");  in main()
1304 	asm volatile("clflushopt 0x12345678(%rax,%rcx,8)");  in main()
1305 	asm volatile("clflushopt 0x12345678(%r8,%rcx,8)");  in main()
1307 	asm volatile("clflush (%rax)");  in main()
1308 	asm volatile("clflush (%r8)");  in main()
1309 	asm volatile("sfence");  in main()
1313 	asm volatile("clwb (%rax)");  in main()
1314 	asm volatile("clwb (%r8)");  in main()
1315 	asm volatile("clwb (0x12345678)");  in main()
1316 	asm volatile("clwb 0x12345678(%rax,%rcx,8)");  in main()
1317 	asm volatile("clwb 0x12345678(%r8,%rcx,8)");  in main()
1319 	asm volatile("xsaveopt (%rax)");  in main()
1320 	asm volatile("xsaveopt (%r8)");  in main()
1321 	asm volatile("mfence");  in main()
1325 	asm volatile("xsavec (%rax)");  in main()
1326 	asm volatile("xsavec (%r8)");  in main()
1327 	asm volatile("xsavec (0x12345678)");  in main()
1328 	asm volatile("xsavec 0x12345678(%rax,%rcx,8)");  in main()
1329 	asm volatile("xsavec 0x12345678(%r8,%rcx,8)");  in main()
1333 	asm volatile("xsaves (%rax)");  in main()
1334 	asm volatile("xsaves (%r8)");  in main()
1335 	asm volatile("xsaves (0x12345678)");  in main()
1336 	asm volatile("xsaves 0x12345678(%rax,%rcx,8)");  in main()
1337 	asm volatile("xsaves 0x12345678(%r8,%rcx,8)");  in main()
1341 	asm volatile("xrstors (%rax)");  in main()
1342 	asm volatile("xrstors (%r8)");  in main()
1343 	asm volatile("xrstors (0x12345678)");  in main()
1344 	asm volatile("xrstors 0x12345678(%rax,%rcx,8)");  in main()
1345 	asm volatile("xrstors 0x12345678(%r8,%rcx,8)");  in main()
1349 	asm volatile("ptwrite (%rax)");  in main()
1350 	asm volatile("ptwrite (%r8)");  in main()
1351 	asm volatile("ptwrite (0x12345678)");  in main()
1352 	asm volatile("ptwrite 0x12345678(%rax,%rcx,8)");  in main()
1353 	asm volatile("ptwrite 0x12345678(%r8,%rcx,8)");  in main()
1355 	asm volatile("ptwritel (%rax)");  in main()
1356 	asm volatile("ptwritel (%r8)");  in main()
1357 	asm volatile("ptwritel (0x12345678)");  in main()
1358 	asm volatile("ptwritel 0x12345678(%rax,%rcx,8)");  in main()
1359 	asm volatile("ptwritel 0x12345678(%r8,%rcx,8)");  in main()
1361 	asm volatile("ptwriteq (%rax)");  in main()
1362 	asm volatile("ptwriteq (%r8)");  in main()
1363 	asm volatile("ptwriteq (0x12345678)");  in main()
1364 	asm volatile("ptwriteq 0x12345678(%rax,%rcx,8)");  in main()
1365 	asm volatile("ptwriteq 0x12345678(%r8,%rcx,8)");  in main()
1371 	asm volatile("bound %eax, 0x12345678(%ecx)");  in main()
1372 	asm volatile("bound %ecx, 0x12345678(%eax)");  in main()
1373 	asm volatile("bound %edx, 0x12345678(%eax)");  in main()
1374 	asm volatile("bound %ebx, 0x12345678(%eax)");  in main()
1375 	asm volatile("bound %esp, 0x12345678(%eax)");  in main()
1376 	asm volatile("bound %ebp, 0x12345678(%eax)");  in main()
1377 	asm volatile("bound %esi, 0x12345678(%eax)");  in main()
1378 	asm volatile("bound %edi, 0x12345678(%eax)");  in main()
1379 	asm volatile("bound %ecx, (%eax)");  in main()
1380 	asm volatile("bound %eax, (0x12345678)");  in main()
1381 	asm volatile("bound %edx, (%ecx,%eax,1)");  in main()
1382 	asm volatile("bound %edx, 0x12345678(,%eax,1)");  in main()
1383 	asm volatile("bound %edx, (%eax,%ecx,1)");  in main()
1384 	asm volatile("bound %edx, (%eax,%ecx,8)");  in main()
1385 	asm volatile("bound %edx, 0x12(%eax)");  in main()
1386 	asm volatile("bound %edx, 0x12(%ebp)");  in main()
1387 	asm volatile("bound %edx, 0x12(%ecx,%eax,1)");  in main()
1388 	asm volatile("bound %edx, 0x12(%ebp,%eax,1)");  in main()
1389 	asm volatile("bound %edx, 0x12(%eax,%ecx,1)");  in main()
1390 	asm volatile("bound %edx, 0x12(%eax,%ecx,8)");  in main()
1391 	asm volatile("bound %edx, 0x12345678(%eax)");  in main()
1392 	asm volatile("bound %edx, 0x12345678(%ebp)");  in main()
1393 	asm volatile("bound %edx, 0x12345678(%ecx,%eax,1)");  in main()
1394 	asm volatile("bound %edx, 0x12345678(%ebp,%eax,1)");  in main()
1395 	asm volatile("bound %edx, 0x12345678(%eax,%ecx,1)");  in main()
1396 	asm volatile("bound %edx, 0x12345678(%eax,%ecx,8)");  in main()
1400 	asm volatile("bound %ax, 0x12345678(%ecx)");  in main()
1401 	asm volatile("bound %cx, 0x12345678(%eax)");  in main()
1402 	asm volatile("bound %dx, 0x12345678(%eax)");  in main()
1403 	asm volatile("bound %bx, 0x12345678(%eax)");  in main()
1404 	asm volatile("bound %sp, 0x12345678(%eax)");  in main()
1405 	asm volatile("bound %bp, 0x12345678(%eax)");  in main()
1406 	asm volatile("bound %si, 0x12345678(%eax)");  in main()
1407 	asm volatile("bound %di, 0x12345678(%eax)");  in main()
1408 	asm volatile("bound %cx, (%eax)");  in main()
1409 	asm volatile("bound %ax, (0x12345678)");  in main()
1410 	asm volatile("bound %dx, (%ecx,%eax,1)");  in main()
1411 	asm volatile("bound %dx, 0x12345678(,%eax,1)");  in main()
1412 	asm volatile("bound %dx, (%eax,%ecx,1)");  in main()
1413 	asm volatile("bound %dx, (%eax,%ecx,8)");  in main()
1414 	asm volatile("bound %dx, 0x12(%eax)");  in main()
1415 	asm volatile("bound %dx, 0x12(%ebp)");  in main()
1416 	asm volatile("bound %dx, 0x12(%ecx,%eax,1)");  in main()
1417 	asm volatile("bound %dx, 0x12(%ebp,%eax,1)");  in main()
1418 	asm volatile("bound %dx, 0x12(%eax,%ecx,1)");  in main()
1419 	asm volatile("bound %dx, 0x12(%eax,%ecx,8)");  in main()
1420 	asm volatile("bound %dx, 0x12345678(%eax)");  in main()
1421 	asm volatile("bound %dx, 0x12345678(%ebp)");  in main()
1422 	asm volatile("bound %dx, 0x12345678(%ecx,%eax,1)");  in main()
1423 	asm volatile("bound %dx, 0x12345678(%ebp,%eax,1)");  in main()
1424 	asm volatile("bound %dx, 0x12345678(%eax,%ecx,1)");  in main()
1425 	asm volatile("bound %dx, 0x12345678(%eax,%ecx,8)");  in main()
1429 	asm volatile("cmovno %eax,%ebx");  in main()
1430 	asm volatile("cmovno 0x12345678(%eax),%ecx");  in main()
1431 	asm volatile("cmovno 0x12345678(%eax),%cx");  in main()
1433 	asm volatile("cmove  %eax,%ebx");  in main()
1434 	asm volatile("cmove 0x12345678(%eax),%ecx");  in main()
1435 	asm volatile("cmove 0x12345678(%eax),%cx");  in main()
1437 	asm volatile("seto    0x12345678(%eax)");  in main()
1438 	asm volatile("setno   0x12345678(%eax)");  in main()
1439 	asm volatile("setb    0x12345678(%eax)");  in main()
1440 	asm volatile("setc    0x12345678(%eax)");  in main()
1441 	asm volatile("setnae  0x12345678(%eax)");  in main()
1442 	asm volatile("setae   0x12345678(%eax)");  in main()
1443 	asm volatile("setnb   0x12345678(%eax)");  in main()
1444 	asm volatile("setnc   0x12345678(%eax)");  in main()
1445 	asm volatile("sets    0x12345678(%eax)");  in main()
1446 	asm volatile("setns   0x12345678(%eax)");  in main()
1450 	asm volatile("kandw  %k7,%k6,%k5");  in main()
1451 	asm volatile("kandq  %k7,%k6,%k5");  in main()
1452 	asm volatile("kandb  %k7,%k6,%k5");  in main()
1453 	asm volatile("kandd  %k7,%k6,%k5");  in main()
1455 	asm volatile("kandnw  %k7,%k6,%k5");  in main()
1456 	asm volatile("kandnq  %k7,%k6,%k5");  in main()
1457 	asm volatile("kandnb  %k7,%k6,%k5");  in main()
1458 	asm volatile("kandnd  %k7,%k6,%k5");  in main()
1460 	asm volatile("knotw  %k7,%k6");  in main()
1461 	asm volatile("knotq  %k7,%k6");  in main()
1462 	asm volatile("knotb  %k7,%k6");  in main()
1463 	asm volatile("knotd  %k7,%k6");  in main()
1465 	asm volatile("korw  %k7,%k6,%k5");  in main()
1466 	asm volatile("korq  %k7,%k6,%k5");  in main()
1467 	asm volatile("korb  %k7,%k6,%k5");  in main()
1468 	asm volatile("kord  %k7,%k6,%k5");  in main()
1470 	asm volatile("kxnorw  %k7,%k6,%k5");  in main()
1471 	asm volatile("kxnorq  %k7,%k6,%k5");  in main()
1472 	asm volatile("kxnorb  %k7,%k6,%k5");  in main()
1473 	asm volatile("kxnord  %k7,%k6,%k5");  in main()
1475 	asm volatile("kxorw  %k7,%k6,%k5");  in main()
1476 	asm volatile("kxorq  %k7,%k6,%k5");  in main()
1477 	asm volatile("kxorb  %k7,%k6,%k5");  in main()
1478 	asm volatile("kxord  %k7,%k6,%k5");  in main()
1480 	asm volatile("kaddw  %k7,%k6,%k5");  in main()
1481 	asm volatile("kaddq  %k7,%k6,%k5");  in main()
1482 	asm volatile("kaddb  %k7,%k6,%k5");  in main()
1483 	asm volatile("kaddd  %k7,%k6,%k5");  in main()
1485 	asm volatile("kunpckbw %k7,%k6,%k5");  in main()
1486 	asm volatile("kunpckwd %k7,%k6,%k5");  in main()
1487 	asm volatile("kunpckdq %k7,%k6,%k5");  in main()
1489 	asm volatile("kmovw  %k6,%k5");  in main()
1490 	asm volatile("kmovw  (%ecx),%k5");  in main()
1491 	asm volatile("kmovw  0x123(%eax,%ecx,8),%k5");  in main()
1492 	asm volatile("kmovw  %k5,(%ecx)");  in main()
1493 	asm volatile("kmovw  %k5,0x123(%eax,%ecx,8)");  in main()
1494 	asm volatile("kmovw  %eax,%k5");  in main()
1495 	asm volatile("kmovw  %ebp,%k5");  in main()
1496 	asm volatile("kmovw  %k5,%eax");  in main()
1497 	asm volatile("kmovw  %k5,%ebp");  in main()
1499 	asm volatile("kmovq  %k6,%k5");  in main()
1500 	asm volatile("kmovq  (%ecx),%k5");  in main()
1501 	asm volatile("kmovq  0x123(%eax,%ecx,8),%k5");  in main()
1502 	asm volatile("kmovq  %k5,(%ecx)");  in main()
1503 	asm volatile("kmovq  %k5,0x123(%eax,%ecx,8)");  in main()
1505 	asm volatile("kmovb  %k6,%k5");  in main()
1506 	asm volatile("kmovb  (%ecx),%k5");  in main()
1507 	asm volatile("kmovb  0x123(%eax,%ecx,8),%k5");  in main()
1508 	asm volatile("kmovb  %k5,(%ecx)");  in main()
1509 	asm volatile("kmovb  %k5,0x123(%eax,%ecx,8)");  in main()
1510 	asm volatile("kmovb  %eax,%k5");  in main()
1511 	asm volatile("kmovb  %ebp,%k5");  in main()
1512 	asm volatile("kmovb  %k5,%eax");  in main()
1513 	asm volatile("kmovb  %k5,%ebp");  in main()
1515 	asm volatile("kmovd  %k6,%k5");  in main()
1516 	asm volatile("kmovd  (%ecx),%k5");  in main()
1517 	asm volatile("kmovd  0x123(%eax,%ecx,8),%k5");  in main()
1518 	asm volatile("kmovd  %k5,(%ecx)");  in main()
1519 	asm volatile("kmovd  %k5,0x123(%eax,%ecx,8)");  in main()
1520 	asm volatile("kmovd  %eax,%k5");  in main()
1521 	asm volatile("kmovd  %ebp,%k5");  in main()
1522 	asm volatile("kmovd  %k5,%eax");  in main()
1523 	asm volatile("kmovd  %k5,%ebp");  in main()
1525 	asm volatile("kortestw %k6,%k5");  in main()
1526 	asm volatile("kortestq %k6,%k5");  in main()
1527 	asm volatile("kortestb %k6,%k5");  in main()
1528 	asm volatile("kortestd %k6,%k5");  in main()
1530 	asm volatile("ktestw %k6,%k5");  in main()
1531 	asm volatile("ktestq %k6,%k5");  in main()
1532 	asm volatile("ktestb %k6,%k5");  in main()
1533 	asm volatile("ktestd %k6,%k5");  in main()
1535 	asm volatile("kshiftrw $0x12,%k6,%k5");  in main()
1536 	asm volatile("kshiftrq $0x5b,%k6,%k5");  in main()
1537 	asm volatile("kshiftlw $0x12,%k6,%k5");  in main()
1538 	asm volatile("kshiftlq $0x5b,%k6,%k5");  in main()
1541 	asm volatile("vcvtdq2ps %xmm5,%xmm6");  in main()
1542 	asm volatile("vcvtqq2ps %zmm5,%ymm6{%k7}");  in main()
1543 	asm volatile("vcvtps2dq %xmm5,%xmm6");  in main()
1544 	asm volatile("vcvttps2dq %xmm5,%xmm6");  in main()
1548 	asm volatile("movq   %mm0,%mm4");  in main()
1549 	asm volatile("vmovdqa %ymm4,%ymm6");  in main()
1550 	asm volatile("vmovdqa32 %zmm5,%zmm6");  in main()
1551 	asm volatile("vmovdqa64 %zmm5,%zmm6");  in main()
1552 	asm volatile("vmovdqu %ymm4,%ymm6");  in main()
1553 	asm volatile("vmovdqu32 %zmm5,%zmm6");  in main()
1554 	asm volatile("vmovdqu64 %zmm5,%zmm6");  in main()
1555 	asm volatile("vmovdqu8 %zmm5,%zmm6");  in main()
1556 	asm volatile("vmovdqu16 %zmm5,%zmm6");  in main()
1560 	asm volatile("vmread %eax,%ebx");  in main()
1561 	asm volatile("vcvttps2udq %zmm5,%zmm6");  in main()
1562 	asm volatile("vcvttpd2udq %zmm5,%ymm6{%k7}");  in main()
1563 	asm volatile("vcvttsd2usi %xmm6,%eax");  in main()
1564 	asm volatile("vcvttss2usi %xmm6,%eax");  in main()
1565 	asm volatile("vcvttps2uqq %ymm5,%zmm6{%k7}");  in main()
1566 	asm volatile("vcvttpd2uqq %zmm5,%zmm6");  in main()
1570 	asm volatile("vmwrite %eax,%ebx");  in main()
1571 	asm volatile("vcvtps2udq %zmm5,%zmm6");  in main()
1572 	asm volatile("vcvtpd2udq %zmm5,%ymm6{%k7}");  in main()
1573 	asm volatile("vcvtsd2usi %xmm6,%eax");  in main()
1574 	asm volatile("vcvtss2usi %xmm6,%eax");  in main()
1575 	asm volatile("vcvtps2uqq %ymm5,%zmm6{%k7}");  in main()
1576 	asm volatile("vcvtpd2uqq %zmm5,%zmm6");  in main()
1580 	asm volatile("vcvtudq2pd %ymm5,%zmm6{%k7}");  in main()
1581 	asm volatile("vcvtuqq2pd %zmm5,%zmm6");  in main()
1582 	asm volatile("vcvtudq2ps %zmm5,%zmm6");  in main()
1583 	asm volatile("vcvtuqq2ps %zmm5,%ymm6{%k7}");  in main()
1584 	asm volatile("vcvttps2qq %ymm5,%zmm6{%k7}");  in main()
1585 	asm volatile("vcvttpd2qq %zmm5,%zmm6");  in main()
1589 	asm volatile("vcvtusi2sd %eax,%xmm5,%xmm6");  in main()
1590 	asm volatile("vcvtusi2ss %eax,%xmm5,%xmm6");  in main()
1591 	asm volatile("vcvtps2qq %ymm5,%zmm6{%k7}");  in main()
1592 	asm volatile("vcvtpd2qq %zmm5,%zmm6");  in main()
1596 	asm volatile("movq.s  %mm0,%mm4");  in main()
1597 	asm volatile("vmovdqa.s %ymm5,%ymm6");  in main()
1598 	asm volatile("vmovdqa32.s %zmm5,%zmm6");  in main()
1599 	asm volatile("vmovdqa64.s %zmm5,%zmm6");  in main()
1600 	asm volatile("vmovdqu.s %ymm5,%ymm6");  in main()
1601 	asm volatile("vmovdqu32.s %zmm5,%zmm6");  in main()
1602 	asm volatile("vmovdqu64.s %zmm5,%zmm6");  in main()
1603 	asm volatile("vmovdqu8.s %zmm5,%zmm6");  in main()
1604 	asm volatile("vmovdqu16.s %zmm5,%zmm6");  in main()
1608 	asm volatile("pand  %mm1,%mm2");  in main()
1609 	asm volatile("pand  %xmm1,%xmm2");  in main()
1610 	asm volatile("vpand  %ymm4,%ymm6,%ymm2");  in main()
1611 	asm volatile("vpandd %zmm4,%zmm5,%zmm6");  in main()
1612 	asm volatile("vpandq %zmm4,%zmm5,%zmm6");  in main()
1616 	asm volatile("pandn  %mm1,%mm2");  in main()
1617 	asm volatile("pandn  %xmm1,%xmm2");  in main()
1618 	asm volatile("vpandn %ymm4,%ymm6,%ymm2");  in main()
1619 	asm volatile("vpandnd %zmm4,%zmm5,%zmm6");  in main()
1620 	asm volatile("vpandnq %zmm4,%zmm5,%zmm6");  in main()
1624 	asm volatile("vcvttpd2dq %xmm1,%xmm2");  in main()
1625 	asm volatile("vcvtdq2pd %xmm5,%xmm6");  in main()
1626 	asm volatile("vcvtdq2pd %ymm5,%zmm6{%k7}");  in main()
1627 	asm volatile("vcvtqq2pd %zmm5,%zmm6");  in main()
1628 	asm volatile("vcvtpd2dq %xmm1,%xmm2");  in main()
1632 	asm volatile("por   %mm4,%mm6");  in main()
1633 	asm volatile("vpor   %ymm4,%ymm6,%ymm2");  in main()
1634 	asm volatile("vpord  %zmm4,%zmm5,%zmm6");  in main()
1635 	asm volatile("vporq  %zmm4,%zmm5,%zmm6");  in main()
1639 	asm volatile("pxor   %mm4,%mm6");  in main()
1640 	asm volatile("vpxor  %ymm4,%ymm6,%ymm2");  in main()
1641 	asm volatile("vpxord %zmm4,%zmm5,%zmm6");  in main()
1642 	asm volatile("vpxorq %zmm4,%zmm5,%zmm6");  in main()
1646 	asm volatile("pblendvb %xmm1,%xmm0");  in main()
1647 	asm volatile("vpsrlvw %zmm4,%zmm5,%zmm6");  in main()
1648 	asm volatile("vpmovuswb %zmm5,%ymm6{%k7}");  in main()
1652 	asm volatile("vpmovusdb %zmm5,%xmm6{%k7}");  in main()
1653 	asm volatile("vpsravw %zmm4,%zmm5,%zmm6");  in main()
1657 	asm volatile("vpmovusqb %zmm5,%xmm6{%k7}");  in main()
1658 	asm volatile("vpsllvw %zmm4,%zmm5,%zmm6");  in main()
1662 	asm volatile("vcvtph2ps %xmm3,%ymm5");  in main()
1663 	asm volatile("vcvtph2ps %ymm5,%zmm6{%k7}");  in main()
1664 	asm volatile("vpmovusdw %zmm5,%ymm6{%k7}");  in main()
1668 	asm volatile("blendvps %xmm1,%xmm0");  in main()
1669 	asm volatile("vpmovusqw %zmm5,%xmm6{%k7}");  in main()
1670 	asm volatile("vprorvd %zmm4,%zmm5,%zmm6");  in main()
1671 	asm volatile("vprorvq %zmm4,%zmm5,%zmm6");  in main()
1675 	asm volatile("blendvpd %xmm1,%xmm0");  in main()
1676 	asm volatile("vpmovusqd %zmm5,%ymm6{%k7}");  in main()
1677 	asm volatile("vprolvd %zmm4,%zmm5,%zmm6");  in main()
1678 	asm volatile("vprolvq %zmm4,%zmm5,%zmm6");  in main()
1682 	asm volatile("vpermps %ymm4,%ymm6,%ymm2");  in main()
1683 	asm volatile("vpermps %ymm4,%ymm6,%ymm2{%k7}");  in main()
1684 	asm volatile("vpermpd %ymm4,%ymm6,%ymm2{%k7}");  in main()
1688 	asm volatile("vbroadcastsd %xmm4,%ymm6");  in main()
1689 	asm volatile("vbroadcastf32x2 %xmm7,%zmm6");  in main()
1693 	asm volatile("vbroadcastf128 (%ecx),%ymm4");  in main()
1694 	asm volatile("vbroadcastf32x4 (%ecx),%zmm6");  in main()
1695 	asm volatile("vbroadcastf64x2 (%ecx),%zmm6");  in main()
1699 	asm volatile("vbroadcastf32x8 (%ecx),%zmm6");  in main()
1700 	asm volatile("vbroadcastf64x4 (%ecx),%zmm6");  in main()
1704 	asm volatile("vpabsq %zmm4,%zmm6");  in main()
1708 	asm volatile("vpmovsxbw %xmm4,%xmm5");  in main()
1709 	asm volatile("vpmovswb %zmm5,%ymm6{%k7}");  in main()
1713 	asm volatile("vpmovsxbd %xmm4,%ymm6");  in main()
1714 	asm volatile("vpmovsdb %zmm5,%xmm6{%k7}");  in main()
1718 	asm volatile("vpmovsxbq %xmm4,%ymm4");  in main()
1719 	asm volatile("vpmovsqb %zmm5,%xmm6{%k7}");  in main()
1723 	asm volatile("vpmovsxwd %xmm4,%ymm4");  in main()
1724 	asm volatile("vpmovsdw %zmm5,%ymm6{%k7}");  in main()
1728 	asm volatile("vpmovsxwq %xmm4,%ymm6");  in main()
1729 	asm volatile("vpmovsqw %zmm5,%xmm6{%k7}");  in main()
1733 	asm volatile("vpmovsxdq %xmm4,%ymm4");  in main()
1734 	asm volatile("vpmovsqd %zmm5,%ymm6{%k7}");  in main()
1738 	asm volatile("vptestmb %zmm5,%zmm6,%k5");  in main()
1739 	asm volatile("vptestmw %zmm5,%zmm6,%k5");  in main()
1740 	asm volatile("vptestnmb %zmm4,%zmm5,%k5");  in main()
1741 	asm volatile("vptestnmw %zmm4,%zmm5,%k5");  in main()
1745 	asm volatile("vptestmd %zmm5,%zmm6,%k5");  in main()
1746 	asm volatile("vptestmq %zmm5,%zmm6,%k5");  in main()
1747 	asm volatile("vptestnmd %zmm4,%zmm5,%k5");  in main()
1748 	asm volatile("vptestnmq %zmm4,%zmm5,%k5");  in main()
1752 	asm volatile("vpmuldq %ymm4,%ymm6,%ymm2");  in main()
1753 	asm volatile("vpmovm2b %k5,%zmm6");  in main()
1754 	asm volatile("vpmovm2w %k5,%zmm6");  in main()
1758 	asm volatile("vpcmpeqq %ymm4,%ymm6,%ymm2");  in main()
1759 	asm volatile("vpmovb2m %zmm6,%k5");  in main()
1760 	asm volatile("vpmovw2m %zmm6,%k5");  in main()
1764 	asm volatile("vmovntdqa (%ecx),%ymm4");  in main()
1765 	asm volatile("vpbroadcastmb2q %k6,%zmm1");  in main()
1769 	asm volatile("vmaskmovps (%ecx),%ymm4,%ymm6");  in main()
1770 	asm volatile("vscalefps %zmm4,%zmm5,%zmm6");  in main()
1771 	asm volatile("vscalefpd %zmm4,%zmm5,%zmm6");  in main()
1775 	asm volatile("vmaskmovpd (%ecx),%ymm4,%ymm6");  in main()
1776 	asm volatile("vscalefss %xmm4,%xmm5,%xmm6{%k7}");  in main()
1777 	asm volatile("vscalefsd %xmm4,%xmm5,%xmm6{%k7}");  in main()
1781 	asm volatile("vpmovzxbw %xmm4,%ymm4");  in main()
1782 	asm volatile("vpmovwb %zmm5,%ymm6{%k7}");  in main()
1786 	asm volatile("vpmovzxbd %xmm4,%ymm6");  in main()
1787 	asm volatile("vpmovdb %zmm5,%xmm6{%k7}");  in main()
1791 	asm volatile("vpmovzxbq %xmm4,%ymm4");  in main()
1792 	asm volatile("vpmovqb %zmm5,%xmm6{%k7}");  in main()
1796 	asm volatile("vpmovzxwd %xmm4,%ymm4");  in main()
1797 	asm volatile("vpmovdw %zmm5,%ymm6{%k7}");  in main()
1801 	asm volatile("vpmovzxwq %xmm4,%ymm6");  in main()
1802 	asm volatile("vpmovqw %zmm5,%xmm6{%k7}");  in main()
1806 	asm volatile("vpmovzxdq %xmm4,%ymm4");  in main()
1807 	asm volatile("vpmovqd %zmm5,%ymm6{%k7}");  in main()
1811 	asm volatile("vpermd %ymm4,%ymm6,%ymm2");  in main()
1812 	asm volatile("vpermd %ymm4,%ymm6,%ymm2{%k7}");  in main()
1813 	asm volatile("vpermq %ymm4,%ymm6,%ymm2{%k7}");  in main()
1817 	asm volatile("vpminsb %ymm4,%ymm6,%ymm2");  in main()
1818 	asm volatile("vpmovm2d %k5,%zmm6");  in main()
1819 	asm volatile("vpmovm2q %k5,%zmm6");  in main()
1823 	asm volatile("vpminsd %xmm1,%xmm2,%xmm3");  in main()
1824 	asm volatile("vpminsd %zmm4,%zmm5,%zmm6");  in main()
1825 	asm volatile("vpminsq %zmm4,%zmm5,%zmm6");  in main()
1826 	asm volatile("vpmovd2m %zmm6,%k5");  in main()
1827 	asm volatile("vpmovq2m %zmm6,%k5");  in main()
1831 	asm volatile("vpminuw %ymm4,%ymm6,%ymm2");  in main()
1832 	asm volatile("vpbroadcastmw2d %k6,%zmm6");  in main()
1836 	asm volatile("vpminud %ymm4,%ymm6,%ymm2");  in main()
1837 	asm volatile("vpminud %zmm4,%zmm5,%zmm6");  in main()
1838 	asm volatile("vpminuq %zmm4,%zmm5,%zmm6");  in main()
1842 	asm volatile("vpmaxsd %ymm4,%ymm6,%ymm2");  in main()
1843 	asm volatile("vpmaxsd %zmm4,%zmm5,%zmm6");  in main()
1844 	asm volatile("vpmaxsq %zmm4,%zmm5,%zmm6");  in main()
1848 	asm volatile("vpmaxud %ymm4,%ymm6,%ymm2");  in main()
1849 	asm volatile("vpmaxud %zmm4,%zmm5,%zmm6");  in main()
1850 	asm volatile("vpmaxuq %zmm4,%zmm5,%zmm6");  in main()
1854 	asm volatile("vpmulld %ymm4,%ymm6,%ymm2");  in main()
1855 	asm volatile("vpmulld %zmm4,%zmm5,%zmm6");  in main()
1856 	asm volatile("vpmullq %zmm4,%zmm5,%zmm6");  in main()
1860 	asm volatile("vgetexpps %zmm5,%zmm6");  in main()
1861 	asm volatile("vgetexppd %zmm5,%zmm6");  in main()
1865 	asm volatile("vgetexpss %xmm4,%xmm5,%xmm6{%k7}");  in main()
1866 	asm volatile("vgetexpsd %xmm2,%xmm3,%xmm4{%k7}");  in main()
1870 	asm volatile("vplzcntd %zmm5,%zmm6");  in main()
1871 	asm volatile("vplzcntq %zmm5,%zmm6");  in main()
1875 	asm volatile("vpsravd %ymm4,%ymm6,%ymm2");  in main()
1876 	asm volatile("vpsravd %zmm4,%zmm5,%zmm6");  in main()
1877 	asm volatile("vpsravq %zmm4,%zmm5,%zmm6");  in main()
1881 	asm volatile("vrcp14ps %zmm5,%zmm6");  in main()
1882 	asm volatile("vrcp14pd %zmm5,%zmm6");  in main()
1886 	asm volatile("vrcp14ss %xmm4,%xmm5,%xmm6{%k7}");  in main()
1887 	asm volatile("vrcp14sd %xmm4,%xmm5,%xmm6{%k7}");  in main()
1891 	asm volatile("vrsqrt14ps %zmm5,%zmm6");  in main()
1892 	asm volatile("vrsqrt14pd %zmm5,%zmm6");  in main()
1896 	asm volatile("vrsqrt14ss %xmm4,%xmm5,%xmm6{%k7}");  in main()
1897 	asm volatile("vrsqrt14sd %xmm4,%xmm5,%xmm6{%k7}");  in main()
1901 	asm volatile("vpbroadcastq %xmm4,%xmm6");  in main()
1902 	asm volatile("vbroadcasti32x2 %xmm7,%zmm6");  in main()
1906 	asm volatile("vbroadcasti128 (%ecx),%ymm4");  in main()
1907 	asm volatile("vbroadcasti32x4 (%ecx),%zmm6");  in main()
1908 	asm volatile("vbroadcasti64x2 (%ecx),%zmm6");  in main()
1912 	asm volatile("vbroadcasti32x8 (%ecx),%zmm6");  in main()
1913 	asm volatile("vbroadcasti64x4 (%ecx),%zmm6");  in main()
1917 	asm volatile("vpblendmd %zmm4,%zmm5,%zmm6");  in main()
1918 	asm volatile("vpblendmq %zmm4,%zmm5,%zmm6");  in main()
1922 	asm volatile("vblendmps %zmm4,%zmm5,%zmm6");  in main()
1923 	asm volatile("vblendmpd %zmm4,%zmm5,%zmm6");  in main()
1927 	asm volatile("vpblendmb %zmm4,%zmm5,%zmm6");  in main()
1928 	asm volatile("vpblendmw %zmm4,%zmm5,%zmm6");  in main()
1932 	asm volatile("vpermi2b %zmm4,%zmm5,%zmm6");  in main()
1933 	asm volatile("vpermi2w %zmm4,%zmm5,%zmm6");  in main()
1937 	asm volatile("vpermi2d %zmm4,%zmm5,%zmm6");  in main()
1938 	asm volatile("vpermi2q %zmm4,%zmm5,%zmm6");  in main()
1942 	asm volatile("vpermi2ps %zmm4,%zmm5,%zmm6");  in main()
1943 	asm volatile("vpermi2pd %zmm4,%zmm5,%zmm6");  in main()
1947 	asm volatile("vpbroadcastb %eax,%xmm3");  in main()
1951 	asm volatile("vpbroadcastw %eax,%xmm3");  in main()
1955 	asm volatile("vpbroadcastd %eax,%xmm3");  in main()
1959 	asm volatile("vpermt2b %zmm4,%zmm5,%zmm6");  in main()
1960 	asm volatile("vpermt2w %zmm4,%zmm5,%zmm6");  in main()
1964 	asm volatile("vpermt2d %zmm4,%zmm5,%zmm6");  in main()
1965 	asm volatile("vpermt2q %zmm4,%zmm5,%zmm6");  in main()
1969 	asm volatile("vpermt2ps %zmm4,%zmm5,%zmm6");  in main()
1970 	asm volatile("vpermt2pd %zmm4,%zmm5,%zmm6");  in main()
1974 	asm volatile("vpmultishiftqb %zmm4,%zmm5,%zmm6");  in main()
1978 	asm volatile("vexpandps (%ecx),%zmm6");  in main()
1979 	asm volatile("vexpandpd (%ecx),%zmm6");  in main()
1983 	asm volatile("vpexpandd (%ecx),%zmm6");  in main()
1984 	asm volatile("vpexpandq (%ecx),%zmm6");  in main()
1988 	asm volatile("vcompressps %zmm6,(%ecx)");  in main()
1989 	asm volatile("vcompresspd %zmm6,(%ecx)");  in main()
1993 	asm volatile("vpcompressd %zmm6,(%ecx)");  in main()
1994 	asm volatile("vpcompressq %zmm6,(%ecx)");  in main()
1998 	asm volatile("vpermb %zmm4,%zmm5,%zmm6");  in main()
1999 	asm volatile("vpermw %zmm4,%zmm5,%zmm6");  in main()
2003 	asm volatile("vpgatherdd %xmm2,0x02(%ebp,%xmm7,2),%xmm1");  in main()
2004 	asm volatile("vpgatherdq %xmm2,0x04(%ebp,%xmm7,2),%xmm1");  in main()
2005 	asm volatile("vpgatherdd 0x7b(%ebp,%zmm7,8),%zmm6{%k1}");  in main()
2006 	asm volatile("vpgatherdq 0x7b(%ebp,%ymm7,8),%zmm6{%k1}");  in main()
2010 	asm volatile("vpgatherqd %xmm2,0x02(%ebp,%xmm7,2),%xmm1");  in main()
2011 	asm volatile("vpgatherqq %xmm2,0x02(%ebp,%xmm7,2),%xmm1");  in main()
2012 	asm volatile("vpgatherqd 0x7b(%ebp,%zmm7,8),%ymm6{%k1}");  in main()
2013 	asm volatile("vpgatherqq 0x7b(%ebp,%zmm7,8),%zmm6{%k1}");  in main()
2017 	asm volatile("vpscatterdd %zmm6,0x7b(%ebp,%zmm7,8){%k1}");  in main()
2018 	asm volatile("vpscatterdq %zmm6,0x7b(%ebp,%ymm7,8){%k1}");  in main()
2022 	asm volatile("vpscatterqd %ymm6,0x7b(%ebp,%zmm7,8){%k1}");  in main()
2023 	asm volatile("vpscatterqq %ymm6,0x7b(%ebp,%ymm7,8){%k1}");  in main()
2027 	asm volatile("vscatterdps %zmm6,0x7b(%ebp,%zmm7,8){%k1}");  in main()
2028 	asm volatile("vscatterdpd %zmm6,0x7b(%ebp,%ymm7,8){%k1}");  in main()
2032 	asm volatile("vscatterqps %ymm6,0x7b(%ebp,%zmm7,8){%k1}");  in main()
2033 	asm volatile("vscatterqpd %zmm6,0x7b(%ebp,%zmm7,8){%k1}");  in main()
2037 	asm volatile("vpmadd52luq %zmm4,%zmm5,%zmm6");  in main()
2041 	asm volatile("vpmadd52huq %zmm4,%zmm5,%zmm6");  in main()
2045 	asm volatile("vpconflictd %zmm5,%zmm6");  in main()
2046 	asm volatile("vpconflictq %zmm5,%zmm6");  in main()
2050 	asm volatile("vexp2ps %zmm6,%zmm7");  in main()
2051 	asm volatile("vexp2pd %zmm6,%zmm7");  in main()
2055 	asm volatile("vrcp28ps %zmm6,%zmm7");  in main()
2056 	asm volatile("vrcp28pd %zmm6,%zmm7");  in main()
2060 	asm volatile("vrcp28ss %xmm5,%xmm6,%xmm7{%k7}");  in main()
2061 	asm volatile("vrcp28sd %xmm5,%xmm6,%xmm7{%k7}");  in main()
2065 	asm volatile("vrsqrt28ps %zmm6,%zmm7");  in main()
2066 	asm volatile("vrsqrt28pd %zmm6,%zmm7");  in main()
2070 	asm volatile("vrsqrt28ss %xmm5,%xmm6,%xmm7{%k7}");  in main()
2071 	asm volatile("vrsqrt28sd %xmm5,%xmm6,%xmm7{%k7}");  in main()
2075 	asm volatile("valignd $0x12,%zmm5,%zmm6,%zmm7");  in main()
2076 	asm volatile("valignq $0x12,%zmm5,%zmm6,%zmm7");  in main()
2080 	asm volatile("vroundps $0x5,%ymm6,%ymm2");  in main()
2081 	asm volatile("vrndscaleps $0x12,%zmm5,%zmm6");  in main()
2085 	asm volatile("vroundpd $0x5,%ymm6,%ymm2");  in main()
2086 	asm volatile("vrndscalepd $0x12,%zmm5,%zmm6");  in main()
2090 	asm volatile("vroundss $0x5,%xmm4,%xmm6,%xmm2");  in main()
2091 	asm volatile("vrndscaless $0x12,%xmm4,%xmm5,%xmm6{%k7}");  in main()
2095 	asm volatile("vroundsd $0x5,%xmm4,%xmm6,%xmm2");  in main()
2096 	asm volatile("vrndscalesd $0x12,%xmm4,%xmm5,%xmm6{%k7}");  in main()
2100 	asm volatile("vinsertf128 $0x5,%xmm4,%ymm4,%ymm6");  in main()
2101 	asm volatile("vinsertf32x4 $0x12,%xmm4,%zmm5,%zmm6{%k7}");  in main()
2102 	asm volatile("vinsertf64x2 $0x12,%xmm4,%zmm5,%zmm6{%k7}");  in main()
2106 	asm volatile("vextractf128 $0x5,%ymm4,%xmm4");  in main()
2107 	asm volatile("vextractf32x4 $0x12,%zmm5,%xmm6{%k7}");  in main()
2108 	asm volatile("vextractf64x2 $0x12,%zmm5,%xmm6{%k7}");  in main()
2112 	asm volatile("vinsertf32x8 $0x12,%ymm5,%zmm6,%zmm7{%k7}");  in main()
2113 	asm volatile("vinsertf64x4 $0x12,%ymm5,%zmm6,%zmm7{%k7}");  in main()
2117 	asm volatile("vextractf32x8 $0x12,%zmm6,%ymm7{%k7}");  in main()
2118 	asm volatile("vextractf64x4 $0x12,%zmm6,%ymm7{%k7}");  in main()
2122 	asm volatile("vpcmpud $0x12,%zmm6,%zmm7,%k5");  in main()
2123 	asm volatile("vpcmpuq $0x12,%zmm6,%zmm7,%k5");  in main()
2127 	asm volatile("vpcmpd $0x12,%zmm6,%zmm7,%k5");  in main()
2128 	asm volatile("vpcmpq $0x12,%zmm6,%zmm7,%k5");  in main()
2132 	asm volatile("vshuff32x4 $0x12,%zmm5,%zmm6,%zmm7");  in main()
2133 	asm volatile("vshuff64x2 $0x12,%zmm5,%zmm6,%zmm7");  in main()
2137 	asm volatile("vpternlogd $0x12,%zmm5,%zmm6,%zmm7");  in main()
2138 	asm volatile("vpternlogq $0x12,%zmm5,%zmm6,%zmm7");  in main()
2142 	asm volatile("vgetmantps $0x12,%zmm6,%zmm7");  in main()
2143 	asm volatile("vgetmantpd $0x12,%zmm6,%zmm7");  in main()
2147 	asm volatile("vgetmantss $0x12,%xmm5,%xmm6,%xmm7{%k7}");  in main()
2148 	asm volatile("vgetmantsd $0x12,%xmm5,%xmm6,%xmm7{%k7}");  in main()
2152 	asm volatile("vinserti128 $0x5,%xmm4,%ymm4,%ymm6");  in main()
2153 	asm volatile("vinserti32x4 $0x12,%xmm4,%zmm5,%zmm6{%k7}");  in main()
2154 	asm volatile("vinserti64x2 $0x12,%xmm4,%zmm5,%zmm6{%k7}");  in main()
2158 	asm volatile("vextracti128 $0x5,%ymm4,%xmm6");  in main()
2159 	asm volatile("vextracti32x4 $0x12,%zmm5,%xmm6{%k7}");  in main()
2160 	asm volatile("vextracti64x2 $0x12,%zmm5,%xmm6{%k7}");  in main()
2164 	asm volatile("vinserti32x8 $0x12,%ymm5,%zmm6,%zmm7{%k7}");  in main()
2165 	asm volatile("vinserti64x4 $0x12,%ymm5,%zmm6,%zmm7{%k7}");  in main()
2169 	asm volatile("vextracti32x8 $0x12,%zmm6,%ymm7{%k7}");  in main()
2170 	asm volatile("vextracti64x4 $0x12,%zmm6,%ymm7{%k7}");  in main()
2174 	asm volatile("vpcmpub $0x12,%zmm6,%zmm7,%k5");  in main()
2175 	asm volatile("vpcmpuw $0x12,%zmm6,%zmm7,%k5");  in main()
2179 	asm volatile("vpcmpb $0x12,%zmm6,%zmm7,%k5");  in main()
2180 	asm volatile("vpcmpw $0x12,%zmm6,%zmm7,%k5");  in main()
2184 	asm volatile("vmpsadbw $0x5,%ymm4,%ymm6,%ymm2");  in main()
2185 	asm volatile("vdbpsadbw $0x12,%zmm4,%zmm5,%zmm6");  in main()
2189 	asm volatile("vshufi32x4 $0x12,%zmm5,%zmm6,%zmm7");  in main()
2190 	asm volatile("vshufi64x2 $0x12,%zmm5,%zmm6,%zmm7");  in main()
2194 	asm volatile("vrangeps $0x12,%zmm5,%zmm6,%zmm7");  in main()
2195 	asm volatile("vrangepd $0x12,%zmm5,%zmm6,%zmm7");  in main()
2199 	asm volatile("vrangess $0x12,%xmm5,%xmm6,%xmm7");  in main()
2200 	asm volatile("vrangesd $0x12,%xmm5,%xmm6,%xmm7");  in main()
2204 	asm volatile("vfixupimmps $0x12,%zmm5,%zmm6,%zmm7");  in main()
2205 	asm volatile("vfixupimmpd $0x12,%zmm5,%zmm6,%zmm7");  in main()
2209 	asm volatile("vfixupimmss $0x12,%xmm5,%xmm6,%xmm7{%k7}");  in main()
2210 	asm volatile("vfixupimmsd $0x12,%xmm5,%xmm6,%xmm7{%k7}");  in main()
2214 	asm volatile("vreduceps $0x12,%zmm6,%zmm7");  in main()
2215 	asm volatile("vreducepd $0x12,%zmm6,%zmm7");  in main()
2219 	asm volatile("vreducess $0x12,%xmm5,%xmm6,%xmm7");  in main()
2220 	asm volatile("vreducesd $0x12,%xmm5,%xmm6,%xmm7");  in main()
2224 	asm volatile("vfpclassps $0x12,%zmm7,%k5");  in main()
2225 	asm volatile("vfpclasspd $0x12,%zmm7,%k5");  in main()
2229 	asm volatile("vfpclassss $0x12,%xmm7,%k5");  in main()
2230 	asm volatile("vfpclasssd $0x12,%xmm7,%k5");  in main()
2234 	asm volatile("vprord $0x12,%zmm5,%zmm6");  in main()
2235 	asm volatile("vprorq $0x12,%zmm5,%zmm6");  in main()
2236 	asm volatile("vprold $0x12,%zmm5,%zmm6");  in main()
2237 	asm volatile("vprolq $0x12,%zmm5,%zmm6");  in main()
2238 	asm volatile("psrad  $0x2,%mm6");  in main()
2239 	asm volatile("vpsrad $0x5,%ymm6,%ymm2");  in main()
2240 	asm volatile("vpsrad $0x5,%zmm6,%zmm2");  in main()
2241 	asm volatile("vpsraq $0x5,%zmm6,%zmm2");  in main()
2245 	asm volatile("vgatherpf0dps 0x7b(%ebp,%zmm7,8){%k1}");  in main()
2246 	asm volatile("vgatherpf0dpd 0x7b(%ebp,%ymm7,8){%k1}");  in main()
2247 	asm volatile("vgatherpf1dps 0x7b(%ebp,%zmm7,8){%k1}");  in main()
2248 	asm volatile("vgatherpf1dpd 0x7b(%ebp,%ymm7,8){%k1}");  in main()
2249 	asm volatile("vscatterpf0dps 0x7b(%ebp,%zmm7,8){%k1}");  in main()
2250 	asm volatile("vscatterpf0dpd 0x7b(%ebp,%ymm7,8){%k1}");  in main()
2251 	asm volatile("vscatterpf1dps 0x7b(%ebp,%zmm7,8){%k1}");  in main()
2252 	asm volatile("vscatterpf1dpd 0x7b(%ebp,%ymm7,8){%k1}");  in main()
2256 	asm volatile("vgatherpf0qps 0x7b(%ebp,%zmm7,8){%k1}");  in main()
2257 	asm volatile("vgatherpf0qpd 0x7b(%ebp,%zmm7,8){%k1}");  in main()
2258 	asm volatile("vgatherpf1qps 0x7b(%ebp,%zmm7,8){%k1}");  in main()
2259 	asm volatile("vgatherpf1qpd 0x7b(%ebp,%zmm7,8){%k1}");  in main()
2260 	asm volatile("vscatterpf0qps 0x7b(%ebp,%zmm7,8){%k1}");  in main()
2261 	asm volatile("vscatterpf0qpd 0x7b(%ebp,%zmm7,8){%k1}");  in main()
2262 	asm volatile("vscatterpf1qps 0x7b(%ebp,%zmm7,8){%k1}");  in main()
2263 	asm volatile("vscatterpf1qpd 0x7b(%ebp,%zmm7,8){%k1}");  in main()
2267 	asm volatile("vaddpd %zmm4,%zmm5,%zmm6");  in main()
2268 	asm volatile("vaddpd %zmm4,%zmm5,%zmm6{%k7}");  in main()
2269 	asm volatile("vaddpd %zmm4,%zmm5,%zmm6{%k7}{z}");  in main()
2270 	asm volatile("vaddpd {rn-sae},%zmm4,%zmm5,%zmm6");  in main()
2271 	asm volatile("vaddpd {ru-sae},%zmm4,%zmm5,%zmm6");  in main()
2272 	asm volatile("vaddpd {rd-sae},%zmm4,%zmm5,%zmm6");  in main()
2273 	asm volatile("vaddpd {rz-sae},%zmm4,%zmm5,%zmm6");  in main()
2274 	asm volatile("vaddpd (%ecx),%zmm5,%zmm6");  in main()
2275 	asm volatile("vaddpd 0x123(%eax,%ecx,8),%zmm5,%zmm6");  in main()
2276 	asm volatile("vaddpd (%ecx){1to8},%zmm5,%zmm6");  in main()
2277 	asm volatile("vaddpd 0x1fc0(%edx),%zmm5,%zmm6");  in main()
2278 	asm volatile("vaddpd 0x3f8(%edx){1to8},%zmm5,%zmm6");  in main()
2279 	asm volatile("vcmpeq_uqps 0x1fc(%edx){1to16},%zmm6,%k5");  in main()
2280 	asm volatile("vcmpltsd 0x123(%eax,%ecx,8),%xmm3,%k5{%k7}");  in main()
2281 	asm volatile("vcmplesd {sae},%xmm4,%xmm5,%k5{%k7}");  in main()
2282 	asm volatile("vgetmantss $0x5b,0x123(%eax,%ecx,8),%xmm4,%xmm5{%k7}");  in main()
2286 	asm volatile("bndmk (%eax), %bnd0");  in main()
2287 	asm volatile("bndmk (0x12345678), %bnd0");  in main()
2288 	asm volatile("bndmk (%eax), %bnd3");  in main()
2289 	asm volatile("bndmk (%ecx,%eax,1), %bnd0");  in main()
2290 	asm volatile("bndmk 0x12345678(,%eax,1), %bnd0");  in main()
2291 	asm volatile("bndmk (%eax,%ecx,1), %bnd0");  in main()
2292 	asm volatile("bndmk (%eax,%ecx,8), %bnd0");  in main()
2293 	asm volatile("bndmk 0x12(%eax), %bnd0");  in main()
2294 	asm volatile("bndmk 0x12(%ebp), %bnd0");  in main()
2295 	asm volatile("bndmk 0x12(%ecx,%eax,1), %bnd0");  in main()
2296 	asm volatile("bndmk 0x12(%ebp,%eax,1), %bnd0");  in main()
2297 	asm volatile("bndmk 0x12(%eax,%ecx,1), %bnd0");  in main()
2298 	asm volatile("bndmk 0x12(%eax,%ecx,8), %bnd0");  in main()
2299 	asm volatile("bndmk 0x12345678(%eax), %bnd0");  in main()
2300 	asm volatile("bndmk 0x12345678(%ebp), %bnd0");  in main()
2301 	asm volatile("bndmk 0x12345678(%ecx,%eax,1), %bnd0");  in main()
2302 	asm volatile("bndmk 0x12345678(%ebp,%eax,1), %bnd0");  in main()
2303 	asm volatile("bndmk 0x12345678(%eax,%ecx,1), %bnd0");  in main()
2304 	asm volatile("bndmk 0x12345678(%eax,%ecx,8), %bnd0");  in main()
2308 	asm volatile("bndcl (%eax), %bnd0");  in main()
2309 	asm volatile("bndcl (0x12345678), %bnd0");  in main()
2310 	asm volatile("bndcl (%eax), %bnd3");  in main()
2311 	asm volatile("bndcl (%ecx,%eax,1), %bnd0");  in main()
2312 	asm volatile("bndcl 0x12345678(,%eax,1), %bnd0");  in main()
2313 	asm volatile("bndcl (%eax,%ecx,1), %bnd0");  in main()
2314 	asm volatile("bndcl (%eax,%ecx,8), %bnd0");  in main()
2315 	asm volatile("bndcl 0x12(%eax), %bnd0");  in main()
2316 	asm volatile("bndcl 0x12(%ebp), %bnd0");  in main()
2317 	asm volatile("bndcl 0x12(%ecx,%eax,1), %bnd0");  in main()
2318 	asm volatile("bndcl 0x12(%ebp,%eax,1), %bnd0");  in main()
2319 	asm volatile("bndcl 0x12(%eax,%ecx,1), %bnd0");  in main()
2320 	asm volatile("bndcl 0x12(%eax,%ecx,8), %bnd0");  in main()
2321 	asm volatile("bndcl 0x12345678(%eax), %bnd0");  in main()
2322 	asm volatile("bndcl 0x12345678(%ebp), %bnd0");  in main()
2323 	asm volatile("bndcl 0x12345678(%ecx,%eax,1), %bnd0");  in main()
2324 	asm volatile("bndcl 0x12345678(%ebp,%eax,1), %bnd0");  in main()
2325 	asm volatile("bndcl 0x12345678(%eax,%ecx,1), %bnd0");  in main()
2326 	asm volatile("bndcl 0x12345678(%eax,%ecx,8), %bnd0");  in main()
2327 	asm volatile("bndcl %eax, %bnd0");  in main()
2331 	asm volatile("bndcu (%eax), %bnd0");  in main()
2332 	asm volatile("bndcu (0x12345678), %bnd0");  in main()
2333 	asm volatile("bndcu (%eax), %bnd3");  in main()
2334 	asm volatile("bndcu (%ecx,%eax,1), %bnd0");  in main()
2335 	asm volatile("bndcu 0x12345678(,%eax,1), %bnd0");  in main()
2336 	asm volatile("bndcu (%eax,%ecx,1), %bnd0");  in main()
2337 	asm volatile("bndcu (%eax,%ecx,8), %bnd0");  in main()
2338 	asm volatile("bndcu 0x12(%eax), %bnd0");  in main()
2339 	asm volatile("bndcu 0x12(%ebp), %bnd0");  in main()
2340 	asm volatile("bndcu 0x12(%ecx,%eax,1), %bnd0");  in main()
2341 	asm volatile("bndcu 0x12(%ebp,%eax,1), %bnd0");  in main()
2342 	asm volatile("bndcu 0x12(%eax,%ecx,1), %bnd0");  in main()
2343 	asm volatile("bndcu 0x12(%eax,%ecx,8), %bnd0");  in main()
2344 	asm volatile("bndcu 0x12345678(%eax), %bnd0");  in main()
2345 	asm volatile("bndcu 0x12345678(%ebp), %bnd0");  in main()
2346 	asm volatile("bndcu 0x12345678(%ecx,%eax,1), %bnd0");  in main()
2347 	asm volatile("bndcu 0x12345678(%ebp,%eax,1), %bnd0");  in main()
2348 	asm volatile("bndcu 0x12345678(%eax,%ecx,1), %bnd0");  in main()
2349 	asm volatile("bndcu 0x12345678(%eax,%ecx,8), %bnd0");  in main()
2350 	asm volatile("bndcu %eax, %bnd0");  in main()
2354 	asm volatile("bndcn (%eax), %bnd0");  in main()
2355 	asm volatile("bndcn (0x12345678), %bnd0");  in main()
2356 	asm volatile("bndcn (%eax), %bnd3");  in main()
2357 	asm volatile("bndcn (%ecx,%eax,1), %bnd0");  in main()
2358 	asm volatile("bndcn 0x12345678(,%eax,1), %bnd0");  in main()
2359 	asm volatile("bndcn (%eax,%ecx,1), %bnd0");  in main()
2360 	asm volatile("bndcn (%eax,%ecx,8), %bnd0");  in main()
2361 	asm volatile("bndcn 0x12(%eax), %bnd0");  in main()
2362 	asm volatile("bndcn 0x12(%ebp), %bnd0");  in main()
2363 	asm volatile("bndcn 0x12(%ecx,%eax,1), %bnd0");  in main()
2364 	asm volatile("bndcn 0x12(%ebp,%eax,1), %bnd0");  in main()
2365 	asm volatile("bndcn 0x12(%eax,%ecx,1), %bnd0");  in main()
2366 	asm volatile("bndcn 0x12(%eax,%ecx,8), %bnd0");  in main()
2367 	asm volatile("bndcn 0x12345678(%eax), %bnd0");  in main()
2368 	asm volatile("bndcn 0x12345678(%ebp), %bnd0");  in main()
2369 	asm volatile("bndcn 0x12345678(%ecx,%eax,1), %bnd0");  in main()
2370 	asm volatile("bndcn 0x12345678(%ebp,%eax,1), %bnd0");  in main()
2371 	asm volatile("bndcn 0x12345678(%eax,%ecx,1), %bnd0");  in main()
2372 	asm volatile("bndcn 0x12345678(%eax,%ecx,8), %bnd0");  in main()
2373 	asm volatile("bndcn %eax, %bnd0");  in main()
2377 	asm volatile("bndmov (%eax), %bnd0");  in main()
2378 	asm volatile("bndmov (0x12345678), %bnd0");  in main()
2379 	asm volatile("bndmov (%eax), %bnd3");  in main()
2380 	asm volatile("bndmov (%ecx,%eax,1), %bnd0");  in main()
2381 	asm volatile("bndmov 0x12345678(,%eax,1), %bnd0");  in main()
2382 	asm volatile("bndmov (%eax,%ecx,1), %bnd0");  in main()
2383 	asm volatile("bndmov (%eax,%ecx,8), %bnd0");  in main()
2384 	asm volatile("bndmov 0x12(%eax), %bnd0");  in main()
2385 	asm volatile("bndmov 0x12(%ebp), %bnd0");  in main()
2386 	asm volatile("bndmov 0x12(%ecx,%eax,1), %bnd0");  in main()
2387 	asm volatile("bndmov 0x12(%ebp,%eax,1), %bnd0");  in main()
2388 	asm volatile("bndmov 0x12(%eax,%ecx,1), %bnd0");  in main()
2389 	asm volatile("bndmov 0x12(%eax,%ecx,8), %bnd0");  in main()
2390 	asm volatile("bndmov 0x12345678(%eax), %bnd0");  in main()
2391 	asm volatile("bndmov 0x12345678(%ebp), %bnd0");  in main()
2392 	asm volatile("bndmov 0x12345678(%ecx,%eax,1), %bnd0");  in main()
2393 	asm volatile("bndmov 0x12345678(%ebp,%eax,1), %bnd0");  in main()
2394 	asm volatile("bndmov 0x12345678(%eax,%ecx,1), %bnd0");  in main()
2395 	asm volatile("bndmov 0x12345678(%eax,%ecx,8), %bnd0");  in main()
2399 	asm volatile("bndmov %bnd0, (%eax)");  in main()
2400 	asm volatile("bndmov %bnd0, (0x12345678)");  in main()
2401 	asm volatile("bndmov %bnd3, (%eax)");  in main()
2402 	asm volatile("bndmov %bnd0, (%ecx,%eax,1)");  in main()
2403 	asm volatile("bndmov %bnd0, 0x12345678(,%eax,1)");  in main()
2404 	asm volatile("bndmov %bnd0, (%eax,%ecx,1)");  in main()
2405 	asm volatile("bndmov %bnd0, (%eax,%ecx,8)");  in main()
2406 	asm volatile("bndmov %bnd0, 0x12(%eax)");  in main()
2407 	asm volatile("bndmov %bnd0, 0x12(%ebp)");  in main()
2408 	asm volatile("bndmov %bnd0, 0x12(%ecx,%eax,1)");  in main()
2409 	asm volatile("bndmov %bnd0, 0x12(%ebp,%eax,1)");  in main()
2410 	asm volatile("bndmov %bnd0, 0x12(%eax,%ecx,1)");  in main()
2411 	asm volatile("bndmov %bnd0, 0x12(%eax,%ecx,8)");  in main()
2412 	asm volatile("bndmov %bnd0, 0x12345678(%eax)");  in main()
2413 	asm volatile("bndmov %bnd0, 0x12345678(%ebp)");  in main()
2414 	asm volatile("bndmov %bnd0, 0x12345678(%ecx,%eax,1)");  in main()
2415 	asm volatile("bndmov %bnd0, 0x12345678(%ebp,%eax,1)");  in main()
2416 	asm volatile("bndmov %bnd0, 0x12345678(%eax,%ecx,1)");  in main()
2417 	asm volatile("bndmov %bnd0, 0x12345678(%eax,%ecx,8)");  in main()
2421 	asm volatile("bndmov %bnd0, %bnd1");  in main()
2422 	asm volatile("bndmov %bnd1, %bnd0");  in main()
2426 	asm volatile("bndldx (%eax), %bnd0");  in main()
2427 	asm volatile("bndldx (0x12345678), %bnd0");  in main()
2428 	asm volatile("bndldx (%eax), %bnd3");  in main()
2429 	asm volatile("bndldx (%ecx,%eax,1), %bnd0");  in main()
2430 	asm volatile("bndldx 0x12345678(,%eax,1), %bnd0");  in main()
2431 	asm volatile("bndldx (%eax,%ecx,1), %bnd0");  in main()
2432 	asm volatile("bndldx 0x12(%eax), %bnd0");  in main()
2433 	asm volatile("bndldx 0x12(%ebp), %bnd0");  in main()
2434 	asm volatile("bndldx 0x12(%ecx,%eax,1), %bnd0");  in main()
2435 	asm volatile("bndldx 0x12(%ebp,%eax,1), %bnd0");  in main()
2436 	asm volatile("bndldx 0x12(%eax,%ecx,1), %bnd0");  in main()
2437 	asm volatile("bndldx 0x12345678(%eax), %bnd0");  in main()
2438 	asm volatile("bndldx 0x12345678(%ebp), %bnd0");  in main()
2439 	asm volatile("bndldx 0x12345678(%ecx,%eax,1), %bnd0");  in main()
2440 	asm volatile("bndldx 0x12345678(%ebp,%eax,1), %bnd0");  in main()
2441 	asm volatile("bndldx 0x12345678(%eax,%ecx,1), %bnd0");  in main()
2445 	asm volatile("bndstx %bnd0, (%eax)");  in main()
2446 	asm volatile("bndstx %bnd0, (0x12345678)");  in main()
2447 	asm volatile("bndstx %bnd3, (%eax)");  in main()
2448 	asm volatile("bndstx %bnd0, (%ecx,%eax,1)");  in main()
2449 	asm volatile("bndstx %bnd0, 0x12345678(,%eax,1)");  in main()
2450 	asm volatile("bndstx %bnd0, (%eax,%ecx,1)");  in main()
2451 	asm volatile("bndstx %bnd0, 0x12(%eax)");  in main()
2452 	asm volatile("bndstx %bnd0, 0x12(%ebp)");  in main()
2453 	asm volatile("bndstx %bnd0, 0x12(%ecx,%eax,1)");  in main()
2454 	asm volatile("bndstx %bnd0, 0x12(%ebp,%eax,1)");  in main()
2455 	asm volatile("bndstx %bnd0, 0x12(%eax,%ecx,1)");  in main()
2456 	asm volatile("bndstx %bnd0, 0x12345678(%eax)");  in main()
2457 	asm volatile("bndstx %bnd0, 0x12345678(%ebp)");  in main()
2458 	asm volatile("bndstx %bnd0, 0x12345678(%ecx,%eax,1)");  in main()
2459 	asm volatile("bndstx %bnd0, 0x12345678(%ebp,%eax,1)");  in main()
2460 	asm volatile("bndstx %bnd0, 0x12345678(%eax,%ecx,1)");  in main()
2464 	asm volatile("bnd call label1");  /* Expecting: call unconditional 0xfffffffc */  in main()
2465 	asm volatile("bnd call *(%eax)"); /* Expecting: call indirect      0 */  in main()
2466 	asm volatile("bnd ret");          /* Expecting: ret  indirect      0 */  in main()
2467 	asm volatile("bnd jmp label1");   /* Expecting: jmp  unconditional 0xfffffffc */  in main()
2468 	asm volatile("bnd jmp label1");   /* Expecting: jmp  unconditional 0xfffffffc */  in main()
2469 	asm volatile("bnd jmp *(%ecx)");  /* Expecting: jmp  indirect      0 */  in main()
2470 	asm volatile("bnd jne label1");   /* Expecting: jcc  conditional   0xfffffffc */  in main()
2474 	asm volatile("sha1rnds4 $0x0, %xmm1, %xmm0");  in main()
2475 	asm volatile("sha1rnds4 $0x91, %xmm7, %xmm2");  in main()
2476 	asm volatile("sha1rnds4 $0x91, (%eax), %xmm0");  in main()
2477 	asm volatile("sha1rnds4 $0x91, (0x12345678), %xmm0");  in main()
2478 	asm volatile("sha1rnds4 $0x91, (%eax), %xmm3");  in main()
2479 	asm volatile("sha1rnds4 $0x91, (%ecx,%eax,1), %xmm0");  in main()
2480 	asm volatile("sha1rnds4 $0x91, 0x12345678(,%eax,1), %xmm0");  in main()
2481 	asm volatile("sha1rnds4 $0x91, (%eax,%ecx,1), %xmm0");  in main()
2482 	asm volatile("sha1rnds4 $0x91, (%eax,%ecx,8), %xmm0");  in main()
2483 	asm volatile("sha1rnds4 $0x91, 0x12(%eax), %xmm0");  in main()
2484 	asm volatile("sha1rnds4 $0x91, 0x12(%ebp), %xmm0");  in main()
2485 	asm volatile("sha1rnds4 $0x91, 0x12(%ecx,%eax,1), %xmm0");  in main()
2486 	asm volatile("sha1rnds4 $0x91, 0x12(%ebp,%eax,1), %xmm0");  in main()
2487 	asm volatile("sha1rnds4 $0x91, 0x12(%eax,%ecx,1), %xmm0");  in main()
2488 	asm volatile("sha1rnds4 $0x91, 0x12(%eax,%ecx,8), %xmm0");  in main()
2489 	asm volatile("sha1rnds4 $0x91, 0x12345678(%eax), %xmm0");  in main()
2490 	asm volatile("sha1rnds4 $0x91, 0x12345678(%ebp), %xmm0");  in main()
2491 	asm volatile("sha1rnds4 $0x91, 0x12345678(%ecx,%eax,1), %xmm0");  in main()
2492 	asm volatile("sha1rnds4 $0x91, 0x12345678(%ebp,%eax,1), %xmm0");  in main()
2493 	asm volatile("sha1rnds4 $0x91, 0x12345678(%eax,%ecx,1), %xmm0");  in main()
2494 	asm volatile("sha1rnds4 $0x91, 0x12345678(%eax,%ecx,8), %xmm0");  in main()
2498 	asm volatile("sha1nexte %xmm1, %xmm0");  in main()
2499 	asm volatile("sha1nexte %xmm7, %xmm2");  in main()
2500 	asm volatile("sha1nexte (%eax), %xmm0");  in main()
2501 	asm volatile("sha1nexte (0x12345678), %xmm0");  in main()
2502 	asm volatile("sha1nexte (%eax), %xmm3");  in main()
2503 	asm volatile("sha1nexte (%ecx,%eax,1), %xmm0");  in main()
2504 	asm volatile("sha1nexte 0x12345678(,%eax,1), %xmm0");  in main()
2505 	asm volatile("sha1nexte (%eax,%ecx,1), %xmm0");  in main()
2506 	asm volatile("sha1nexte (%eax,%ecx,8), %xmm0");  in main()
2507 	asm volatile("sha1nexte 0x12(%eax), %xmm0");  in main()
2508 	asm volatile("sha1nexte 0x12(%ebp), %xmm0");  in main()
2509 	asm volatile("sha1nexte 0x12(%ecx,%eax,1), %xmm0");  in main()
2510 	asm volatile("sha1nexte 0x12(%ebp,%eax,1), %xmm0");  in main()
2511 	asm volatile("sha1nexte 0x12(%eax,%ecx,1), %xmm0");  in main()
2512 	asm volatile("sha1nexte 0x12(%eax,%ecx,8), %xmm0");  in main()
2513 	asm volatile("sha1nexte 0x12345678(%eax), %xmm0");  in main()
2514 	asm volatile("sha1nexte 0x12345678(%ebp), %xmm0");  in main()
2515 	asm volatile("sha1nexte 0x12345678(%ecx,%eax,1), %xmm0");  in main()
2516 	asm volatile("sha1nexte 0x12345678(%ebp,%eax,1), %xmm0");  in main()
2517 	asm volatile("sha1nexte 0x12345678(%eax,%ecx,1), %xmm0");  in main()
2518 	asm volatile("sha1nexte 0x12345678(%eax,%ecx,8), %xmm0");  in main()
2522 	asm volatile("sha1msg1 %xmm1, %xmm0");  in main()
2523 	asm volatile("sha1msg1 %xmm7, %xmm2");  in main()
2524 	asm volatile("sha1msg1 (%eax), %xmm0");  in main()
2525 	asm volatile("sha1msg1 (0x12345678), %xmm0");  in main()
2526 	asm volatile("sha1msg1 (%eax), %xmm3");  in main()
2527 	asm volatile("sha1msg1 (%ecx,%eax,1), %xmm0");  in main()
2528 	asm volatile("sha1msg1 0x12345678(,%eax,1), %xmm0");  in main()
2529 	asm volatile("sha1msg1 (%eax,%ecx,1), %xmm0");  in main()
2530 	asm volatile("sha1msg1 (%eax,%ecx,8), %xmm0");  in main()
2531 	asm volatile("sha1msg1 0x12(%eax), %xmm0");  in main()
2532 	asm volatile("sha1msg1 0x12(%ebp), %xmm0");  in main()
2533 	asm volatile("sha1msg1 0x12(%ecx,%eax,1), %xmm0");  in main()
2534 	asm volatile("sha1msg1 0x12(%ebp,%eax,1), %xmm0");  in main()
2535 	asm volatile("sha1msg1 0x12(%eax,%ecx,1), %xmm0");  in main()
2536 	asm volatile("sha1msg1 0x12(%eax,%ecx,8), %xmm0");  in main()
2537 	asm volatile("sha1msg1 0x12345678(%eax), %xmm0");  in main()
2538 	asm volatile("sha1msg1 0x12345678(%ebp), %xmm0");  in main()
2539 	asm volatile("sha1msg1 0x12345678(%ecx,%eax,1), %xmm0");  in main()
2540 	asm volatile("sha1msg1 0x12345678(%ebp,%eax,1), %xmm0");  in main()
2541 	asm volatile("sha1msg1 0x12345678(%eax,%ecx,1), %xmm0");  in main()
2542 	asm volatile("sha1msg1 0x12345678(%eax,%ecx,8), %xmm0");  in main()
2546 	asm volatile("sha1msg2 %xmm1, %xmm0");  in main()
2547 	asm volatile("sha1msg2 %xmm7, %xmm2");  in main()
2548 	asm volatile("sha1msg2 (%eax), %xmm0");  in main()
2549 	asm volatile("sha1msg2 (0x12345678), %xmm0");  in main()
2550 	asm volatile("sha1msg2 (%eax), %xmm3");  in main()
2551 	asm volatile("sha1msg2 (%ecx,%eax,1), %xmm0");  in main()
2552 	asm volatile("sha1msg2 0x12345678(,%eax,1), %xmm0");  in main()
2553 	asm volatile("sha1msg2 (%eax,%ecx,1), %xmm0");  in main()
2554 	asm volatile("sha1msg2 (%eax,%ecx,8), %xmm0");  in main()
2555 	asm volatile("sha1msg2 0x12(%eax), %xmm0");  in main()
2556 	asm volatile("sha1msg2 0x12(%ebp), %xmm0");  in main()
2557 	asm volatile("sha1msg2 0x12(%ecx,%eax,1), %xmm0");  in main()
2558 	asm volatile("sha1msg2 0x12(%ebp,%eax,1), %xmm0");  in main()
2559 	asm volatile("sha1msg2 0x12(%eax,%ecx,1), %xmm0");  in main()
2560 	asm volatile("sha1msg2 0x12(%eax,%ecx,8), %xmm0");  in main()
2561 	asm volatile("sha1msg2 0x12345678(%eax), %xmm0");  in main()
2562 	asm volatile("sha1msg2 0x12345678(%ebp), %xmm0");  in main()
2563 	asm volatile("sha1msg2 0x12345678(%ecx,%eax,1), %xmm0");  in main()
2564 	asm volatile("sha1msg2 0x12345678(%ebp,%eax,1), %xmm0");  in main()
2565 	asm volatile("sha1msg2 0x12345678(%eax,%ecx,1), %xmm0");  in main()
2566 	asm volatile("sha1msg2 0x12345678(%eax,%ecx,8), %xmm0");  in main()
2571 	asm volatile("sha256rnds2 %xmm4, %xmm1");  in main()
2572 	asm volatile("sha256rnds2 %xmm7, %xmm2");  in main()
2573 	asm volatile("sha256rnds2 (%eax), %xmm1");  in main()
2574 	asm volatile("sha256rnds2 (0x12345678), %xmm1");  in main()
2575 	asm volatile("sha256rnds2 (%eax), %xmm3");  in main()
2576 	asm volatile("sha256rnds2 (%ecx,%eax,1), %xmm1");  in main()
2577 	asm volatile("sha256rnds2 0x12345678(,%eax,1), %xmm1");  in main()
2578 	asm volatile("sha256rnds2 (%eax,%ecx,1), %xmm1");  in main()
2579 	asm volatile("sha256rnds2 (%eax,%ecx,8), %xmm1");  in main()
2580 	asm volatile("sha256rnds2 0x12(%eax), %xmm1");  in main()
2581 	asm volatile("sha256rnds2 0x12(%ebp), %xmm1");  in main()
2582 	asm volatile("sha256rnds2 0x12(%ecx,%eax,1), %xmm1");  in main()
2583 	asm volatile("sha256rnds2 0x12(%ebp,%eax,1), %xmm1");  in main()
2584 	asm volatile("sha256rnds2 0x12(%eax,%ecx,1), %xmm1");  in main()
2585 	asm volatile("sha256rnds2 0x12(%eax,%ecx,8), %xmm1");  in main()
2586 	asm volatile("sha256rnds2 0x12345678(%eax), %xmm1");  in main()
2587 	asm volatile("sha256rnds2 0x12345678(%ebp), %xmm1");  in main()
2588 	asm volatile("sha256rnds2 0x12345678(%ecx,%eax,1), %xmm1");  in main()
2589 	asm volatile("sha256rnds2 0x12345678(%ebp,%eax,1), %xmm1");  in main()
2590 	asm volatile("sha256rnds2 0x12345678(%eax,%ecx,1), %xmm1");  in main()
2591 	asm volatile("sha256rnds2 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2595 	asm volatile("sha256msg1 %xmm1, %xmm0");  in main()
2596 	asm volatile("sha256msg1 %xmm7, %xmm2");  in main()
2597 	asm volatile("sha256msg1 (%eax), %xmm0");  in main()
2598 	asm volatile("sha256msg1 (0x12345678), %xmm0");  in main()
2599 	asm volatile("sha256msg1 (%eax), %xmm3");  in main()
2600 	asm volatile("sha256msg1 (%ecx,%eax,1), %xmm0");  in main()
2601 	asm volatile("sha256msg1 0x12345678(,%eax,1), %xmm0");  in main()
2602 	asm volatile("sha256msg1 (%eax,%ecx,1), %xmm0");  in main()
2603 	asm volatile("sha256msg1 (%eax,%ecx,8), %xmm0");  in main()
2604 	asm volatile("sha256msg1 0x12(%eax), %xmm0");  in main()
2605 	asm volatile("sha256msg1 0x12(%ebp), %xmm0");  in main()
2606 	asm volatile("sha256msg1 0x12(%ecx,%eax,1), %xmm0");  in main()
2607 	asm volatile("sha256msg1 0x12(%ebp,%eax,1), %xmm0");  in main()
2608 	asm volatile("sha256msg1 0x12(%eax,%ecx,1), %xmm0");  in main()
2609 	asm volatile("sha256msg1 0x12(%eax,%ecx,8), %xmm0");  in main()
2610 	asm volatile("sha256msg1 0x12345678(%eax), %xmm0");  in main()
2611 	asm volatile("sha256msg1 0x12345678(%ebp), %xmm0");  in main()
2612 	asm volatile("sha256msg1 0x12345678(%ecx,%eax,1), %xmm0");  in main()
2613 	asm volatile("sha256msg1 0x12345678(%ebp,%eax,1), %xmm0");  in main()
2614 	asm volatile("sha256msg1 0x12345678(%eax,%ecx,1), %xmm0");  in main()
2615 	asm volatile("sha256msg1 0x12345678(%eax,%ecx,8), %xmm0");  in main()
2619 	asm volatile("sha256msg2 %xmm1, %xmm0");  in main()
2620 	asm volatile("sha256msg2 %xmm7, %xmm2");  in main()
2621 	asm volatile("sha256msg2 (%eax), %xmm0");  in main()
2622 	asm volatile("sha256msg2 (0x12345678), %xmm0");  in main()
2623 	asm volatile("sha256msg2 (%eax), %xmm3");  in main()
2624 	asm volatile("sha256msg2 (%ecx,%eax,1), %xmm0");  in main()
2625 	asm volatile("sha256msg2 0x12345678(,%eax,1), %xmm0");  in main()
2626 	asm volatile("sha256msg2 (%eax,%ecx,1), %xmm0");  in main()
2627 	asm volatile("sha256msg2 (%eax,%ecx,8), %xmm0");  in main()
2628 	asm volatile("sha256msg2 0x12(%eax), %xmm0");  in main()
2629 	asm volatile("sha256msg2 0x12(%ebp), %xmm0");  in main()
2630 	asm volatile("sha256msg2 0x12(%ecx,%eax,1), %xmm0");  in main()
2631 	asm volatile("sha256msg2 0x12(%ebp,%eax,1), %xmm0");  in main()
2632 	asm volatile("sha256msg2 0x12(%eax,%ecx,1), %xmm0");  in main()
2633 	asm volatile("sha256msg2 0x12(%eax,%ecx,8), %xmm0");  in main()
2634 	asm volatile("sha256msg2 0x12345678(%eax), %xmm0");  in main()
2635 	asm volatile("sha256msg2 0x12345678(%ebp), %xmm0");  in main()
2636 	asm volatile("sha256msg2 0x12345678(%ecx,%eax,1), %xmm0");  in main()
2637 	asm volatile("sha256msg2 0x12345678(%ebp,%eax,1), %xmm0");  in main()
2638 	asm volatile("sha256msg2 0x12345678(%eax,%ecx,1), %xmm0");  in main()
2639 	asm volatile("sha256msg2 0x12345678(%eax,%ecx,8), %xmm0");  in main()
2643 	asm volatile("clflushopt (%eax)");  in main()
2644 	asm volatile("clflushopt (0x12345678)");  in main()
2645 	asm volatile("clflushopt 0x12345678(%eax,%ecx,8)");  in main()
2647 	asm volatile("clflush (%eax)");  in main()
2648 	asm volatile("sfence");  in main()
2652 	asm volatile("clwb (%eax)");  in main()
2653 	asm volatile("clwb (0x12345678)");  in main()
2654 	asm volatile("clwb 0x12345678(%eax,%ecx,8)");  in main()
2656 	asm volatile("xsaveopt (%eax)");  in main()
2657 	asm volatile("mfence");  in main()
2661 	asm volatile("xsavec (%eax)");  in main()
2662 	asm volatile("xsavec (0x12345678)");  in main()
2663 	asm volatile("xsavec 0x12345678(%eax,%ecx,8)");  in main()
2667 	asm volatile("xsaves (%eax)");  in main()
2668 	asm volatile("xsaves (0x12345678)");  in main()
2669 	asm volatile("xsaves 0x12345678(%eax,%ecx,8)");  in main()
2673 	asm volatile("xrstors (%eax)");  in main()
2674 	asm volatile("xrstors (0x12345678)");  in main()
2675 	asm volatile("xrstors 0x12345678(%eax,%ecx,8)");  in main()
2679 	asm volatile("ptwrite (%eax)");  in main()
2680 	asm volatile("ptwrite (0x12345678)");  in main()
2681 	asm volatile("ptwrite 0x12345678(%eax,%ecx,8)");  in main()
2683 	asm volatile("ptwritel (%eax)");  in main()
2684 	asm volatile("ptwritel (0x12345678)");  in main()
2685 	asm volatile("ptwritel 0x12345678(%eax,%ecx,8)");  in main()
2690 	asm volatile("rdtsc"); /* Stop here */  in main()