32 	asm volatile("cmovno 0x12345678(%rax),%rcx");  in main()
33 	asm volatile("cmovno 0x12345678(%rax),%cx");  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()
93 	asm volatile("kmovw  0x123(%rax,%r14,8),%k5");  in main()
95 	asm volatile("kmovw  %k5,0x123(%rax,%r14,8)");  in main()
105 	asm volatile("kmovq  0x123(%rax,%r14,8),%k5");  in main()
107 	asm volatile("kmovq  %k5,0x123(%rax,%r14,8)");  in main()
117 	asm volatile("kmovb  0x123(%rax,%r14,8),%k5");  in main()
119 	asm volatile("kmovb  %k5,0x123(%rax,%r14,8)");  in main()
129 	asm volatile("kmovd  0x123(%rax,%r14,8),%k5");  in main()
131 	asm volatile("kmovd  %k5,0x123(%rax,%r14,8)");  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()
154 	/* AVX-512: Op code 0f 5b */  in main()
160 	/* AVX-512: Op code 0f 6f */  in main()
172 	/* AVX-512: Op code 0f 78 */  in main()
182 	/* AVX-512: Op code 0f 79 */  in main()
192 	/* AVX-512: Op code 0f 7a */  in main()
201 	/* AVX-512: Op code 0f 7b */  in main()
208 	/* AVX-512: Op code 0f 7f */  in main()
220 	/* AVX-512: Op code 0f db */  in main()
228 	/* AVX-512: Op code 0f df */  in main()
236 	/* AVX-512: Op code 0f e6 */  in main()
244 	/* AVX-512: Op code 0f eb */  in main()
251 	/* AVX-512: Op code 0f ef */  in main()
258 	/* AVX-512: Op code 0f 38 10 */  in main()
264 	/* AVX-512: Op code 0f 38 11 */  in main()
269 	/* AVX-512: Op code 0f 38 12 */  in main()
274 	/* AVX-512: Op code 0f 38 13 */  in main()
280 	/* AVX-512: Op code 0f 38 14 */  in main()
287 	/* AVX-512: Op code 0f 38 15 */  in main()
294 	/* AVX-512: Op code 0f 38 16 */  in main()
300 	/* AVX-512: Op code 0f 38 19 */  in main()
305 	/* AVX-512: Op code 0f 38 1a */  in main()
311 	/* AVX-512: Op code 0f 38 1b */  in main()
316 	/* AVX-512: Op code 0f 38 1f */  in main()
320 	/* AVX-512: Op code 0f 38 20 */  in main()
325 	/* AVX-512: Op code 0f 38 21 */  in main()
330 	/* AVX-512: Op code 0f 38 22 */  in main()
335 	/* AVX-512: Op code 0f 38 23 */  in main()
340 	/* AVX-512: Op code 0f 38 24 */  in main()
345 	/* AVX-512: Op code 0f 38 25 */  in main()
350 	/* AVX-512: Op code 0f 38 26 */  in main()
357 	/* AVX-512: Op code 0f 38 27 */  in main()
364 	/* AVX-512: Op code 0f 38 28 */  in main()
370 	/* AVX-512: Op code 0f 38 29 */  in main()
376 	/* AVX-512: Op code 0f 38 2a */  in main()
381 	/* AVX-512: Op code 0f 38 2c */  in main()
387 	/* AVX-512: Op code 0f 38 2d */  in main()
393 	/* AVX-512: Op code 0f 38 30 */  in main()
398 	/* AVX-512: Op code 0f 38 31 */  in main()
403 	/* AVX-512: Op code 0f 38 32 */  in main()
408 	/* AVX-512: Op code 0f 38 33 */  in main()
413 	/* AVX-512: Op code 0f 38 34 */  in main()
418 	/* AVX-512: Op code 0f 38 35 */  in main()
423 	/* AVX-512: Op code 0f 38 38 */  in main()
429 	/* AVX-512: Op code 0f 38 38 */  in main()
435 	/* AVX-512: Op code 0f 38 39 */  in main()
443 	/* AVX-512: Op code 0f 38 3a */  in main()
448 	/* AVX-512: Op code 0f 38 3b */  in main()
454 	/* AVX-512: Op code 0f 38 3d */  in main()
460 	/* AVX-512: Op code 0f 38 3f */  in main()
466 	/* AVX-512: Op code 0f 38 42 */  in main()
472 	/* AVX-512: Op code 0f 38 42 */  in main()
477 	/* AVX-512: Op code 0f 38 43 */  in main()
482 	/* AVX-512: Op code 0f 38 44 */  in main()
487 	/* AVX-512: Op code 0f 38 46 */  in main()
493 	/* AVX-512: Op code 0f 38 4c */  in main()
498 	/* AVX-512: Op code 0f 38 4d */  in main()
503 	/* AVX-512: Op code 0f 38 4e */  in main()
508 	/* AVX-512: Op code 0f 38 4f */  in main()
513 	/* AVX-512: Op code 0f 38 50 */  in main()
518 	asm volatile("vpdpbusd 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");  in main()
519 	asm volatile("vpdpbusd 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
521 	/* AVX-512: Op code 0f 38 51 */  in main()
526 	asm volatile("vpdpbusds 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");  in main()
527 	asm volatile("vpdpbusds 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
529 	/* AVX-512: Op code 0f 38 52 */  in main()
534 	asm volatile("vdpbf16ps 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");  in main()
535 	asm volatile("vdpbf16ps 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
540 	asm volatile("vpdpwssd 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");  in main()
541 	asm volatile("vpdpwssd 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
545 	asm volatile("vp4dpwssd 0x12345678(%rax,%rcx,8),%zmm0,%zmm4");  in main()
546 	asm volatile("vp4dpwssd 0x12345678(%eax,%ecx,8),%zmm0,%zmm4");  in main()
548 	/* AVX-512: Op code 0f 38 53 */  in main()
553 	asm volatile("vpdpwssds 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");  in main()
554 	asm volatile("vpdpwssds 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
558 	asm volatile("vp4dpwssds 0x12345678(%rax,%rcx,8),%zmm0,%zmm4");  in main()
559 	asm volatile("vp4dpwssds 0x12345678(%eax,%ecx,8),%zmm0,%zmm4");  in main()
561 	/* AVX-512: Op code 0f 38 54 */  in main()
566 	asm volatile("vpopcntb 0x12345678(%rax,%rcx,8),%zmm2");  in main()
567 	asm volatile("vpopcntb 0x12345678(%eax,%ecx,8),%zmm2");  in main()
572 	asm volatile("vpopcntw 0x12345678(%rax,%rcx,8),%zmm2");  in main()
573 	asm volatile("vpopcntw 0x12345678(%eax,%ecx,8),%zmm2");  in main()
575 	/* AVX-512: Op code 0f 38 55 */  in main()
580 	asm volatile("vpopcntd 0x12345678(%rax,%rcx,8),%zmm2");  in main()
581 	asm volatile("vpopcntd 0x12345678(%eax,%ecx,8),%zmm2");  in main()
586 	asm volatile("vpopcntq 0x12345678(%rax,%rcx,8),%zmm2");  in main()
587 	asm volatile("vpopcntq 0x12345678(%eax,%ecx,8),%zmm2");  in main()
589 	/* AVX-512: Op code 0f 38 59 */  in main()
594 	/* AVX-512: Op code 0f 38 5a */  in main()
600 	/* AVX-512: Op code 0f 38 5b */  in main()
605 	/* AVX-512: Op code 0f 38 62 */  in main()
610 	asm volatile("vpexpandb 0x12345678(%rax,%rcx,8),%zmm2");  in main()
611 	asm volatile("vpexpandb 0x12345678(%eax,%ecx,8),%zmm2");  in main()
616 	asm volatile("vpexpandw 0x12345678(%rax,%rcx,8),%zmm2");  in main()
617 	asm volatile("vpexpandw 0x12345678(%eax,%ecx,8),%zmm2");  in main()
619 	/* AVX-512: Op code 0f 38 63 */  in main()
624 	asm volatile("vpcompressb %zmm2,0x12345678(%rax,%rcx,8)");  in main()
625 	asm volatile("vpcompressb %zmm2,0x12345678(%eax,%ecx,8)");  in main()
630 	asm volatile("vpcompressw %zmm2,0x12345678(%rax,%rcx,8)");  in main()
631 	asm volatile("vpcompressw %zmm2,0x12345678(%eax,%ecx,8)");  in main()
633 	/* AVX-512: Op code 0f 38 64 */  in main()
638 	/* AVX-512: Op code 0f 38 65 */  in main()
643 	/* AVX-512: Op code 0f 38 66 */  in main()
648 	/* AVX-512: Op code 0f 38 68 */  in main()
653 	asm volatile("vp2intersectd 0x12345678(%rax,%rcx,8),%zmm2,%k3");  in main()
654 	asm volatile("vp2intersectd 0x12345678(%eax,%ecx,8),%zmm2,%k3");  in main()
659 	asm volatile("vp2intersectq 0x12345678(%rax,%rcx,8),%zmm2,%k3");  in main()
660 	asm volatile("vp2intersectq 0x12345678(%eax,%ecx,8),%zmm2,%k3");  in main()
662 	/* AVX-512: Op code 0f 38 70 */  in main()
667 	asm volatile("vpshldvw 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");  in main()
668 	asm volatile("vpshldvw 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
670 	/* AVX-512: Op code 0f 38 71 */  in main()
675 	asm volatile("vpshldvd 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");  in main()
676 	asm volatile("vpshldvd 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
681 	asm volatile("vpshldvq 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");  in main()
682 	asm volatile("vpshldvq 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
684 	/* AVX-512: Op code 0f 38 72 */  in main()
689 	asm volatile("vcvtne2ps2bf16 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");  in main()
690 	asm volatile("vcvtne2ps2bf16 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
695 	asm volatile("vcvtneps2bf16 0x12345678(%rax,%rcx,8),%ymm2");  in main()
696 	asm volatile("vcvtneps2bf16 0x12345678(%eax,%ecx,8),%ymm2");  in main()
701 	asm volatile("vpshrdvw 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");  in main()
702 	asm volatile("vpshrdvw 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
704 	/* AVX-512: Op code 0f 38 73 */  in main()
709 	asm volatile("vpshrdvd 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");  in main()
710 	asm volatile("vpshrdvd 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
715 	asm volatile("vpshrdvq 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");  in main()
716 	asm volatile("vpshrdvq 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
718 	/* AVX-512: Op code 0f 38 75 */  in main()
723 	/* AVX-512: Op code 0f 38 76 */  in main()
728 	/* AVX-512: Op code 0f 38 77 */  in main()
733 	/* AVX-512: Op code 0f 38 7a */  in main()
737 	/* AVX-512: Op code 0f 38 7b */  in main()
741 	/* AVX-512: Op code 0f 38 7c */  in main()
746 	/* AVX-512: Op code 0f 38 7d */  in main()
751 	/* AVX-512: Op code 0f 38 7e */  in main()
756 	/* AVX-512: Op code 0f 38 7f */  in main()
761 	/* AVX-512: Op code 0f 38 83 */  in main()
765 	/* AVX-512: Op code 0f 38 88 */  in main()
770 	/* AVX-512: Op code 0f 38 89 */  in main()
775 	/* AVX-512: Op code 0f 38 8a */  in main()
780 	/* AVX-512: Op code 0f 38 8b */  in main()
785 	/* AVX-512: Op code 0f 38 8d */  in main()
790 	/* AVX-512: Op code 0f 38 8f */  in main()
795 	asm volatile("vpshufbitqmb 0x12345678(%rax,%rcx,8),%zmm2,%k3");  in main()
796 	asm volatile("vpshufbitqmb 0x12345678(%eax,%ecx,8),%zmm2,%k3");  in main()
798 	/* AVX-512: Op code 0f 38 90 */  in main()
800 	asm volatile("vpgatherdd %xmm2,0x02(%rbp,%xmm7,2),%xmm1");  in main()
801 	asm volatile("vpgatherdq %xmm2,0x04(%rbp,%xmm7,2),%xmm1");  in main()
802 	asm volatile("vpgatherdd 0x7b(%rbp,%zmm27,8),%zmm26{%k1}");  in main()
803 	asm volatile("vpgatherdq 0x7b(%rbp,%ymm27,8),%zmm26{%k1}");  in main()
805 	/* AVX-512: Op code 0f 38 91 */  in main()
807 	asm volatile("vpgatherqd %xmm2,0x02(%rbp,%xmm7,2),%xmm1");  in main()
808 	asm volatile("vpgatherqq %xmm2,0x02(%rbp,%xmm7,2),%xmm1");  in main()
809 	asm volatile("vpgatherqd 0x7b(%rbp,%zmm27,8),%ymm26{%k1}");  in main()
810 	asm volatile("vpgatherqq 0x7b(%rbp,%zmm27,8),%zmm26{%k1}");  in main()
812 	/* AVX-512: Op code 0f 38 9a */  in main()
817 	asm volatile("vfmsub132ps 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");  in main()
818 	asm volatile("vfmsub132ps 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
823 	asm volatile("vfmsub132pd 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");  in main()
824 	asm volatile("vfmsub132pd 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
828 	asm volatile("v4fmaddps 0x12345678(%rax,%rcx,8),%zmm0,%zmm4");  in main()
829 	asm volatile("v4fmaddps 0x12345678(%eax,%ecx,8),%zmm0,%zmm4");  in main()
831 	/* AVX-512: Op code 0f 38 9b */  in main()
834 	asm volatile("vfmsub132ss 0x12345678(%rax,%rcx,8),%xmm2,%xmm3");  in main()
835 	asm volatile("vfmsub132ss 0x12345678(%eax,%ecx,8),%xmm2,%xmm3");  in main()
838 	asm volatile("vfmsub132sd 0x12345678(%rax,%rcx,8),%xmm2,%xmm3");  in main()
839 	asm volatile("vfmsub132sd 0x12345678(%eax,%ecx,8),%xmm2,%xmm3");  in main()
843 	asm volatile("v4fmaddss 0x12345678(%rax,%rcx,8),%xmm0,%xmm4");  in main()
844 	asm volatile("v4fmaddss 0x12345678(%eax,%ecx,8),%xmm0,%xmm4");  in main()
846 	/* AVX-512: Op code 0f 38 a0 */  in main()
848 	asm volatile("vpscatterdd %zmm28,0x7b(%rbp,%zmm29,8){%k1}");  in main()
849 	asm volatile("vpscatterdq %zmm26,0x7b(%rbp,%ymm27,8){%k1}");  in main()
851 	/* AVX-512: Op code 0f 38 a1 */  in main()
853 	asm volatile("vpscatterqd %ymm6,0x7b(%rbp,%zmm29,8){%k1}");  in main()
854 	asm volatile("vpscatterqq %ymm6,0x7b(%rbp,%ymm27,8){%k1}");  in main()
856 	/* AVX-512: Op code 0f 38 a2 */  in main()
858 	asm volatile("vscatterdps %zmm28,0x7b(%rbp,%zmm29,8){%k1}");  in main()
859 	asm volatile("vscatterdpd %zmm28,0x7b(%rbp,%ymm27,8){%k1}");  in main()
861 	/* AVX-512: Op code 0f 38 a3 */  in main()
863 	asm volatile("vscatterqps %ymm6,0x7b(%rbp,%zmm29,8){%k1}");  in main()
864 	asm volatile("vscatterqpd %zmm28,0x7b(%rbp,%zmm29,8){%k1}");  in main()
866 	/* AVX-512: Op code 0f 38 aa */  in main()
871 	asm volatile("vfmsub213ps 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");  in main()
872 	asm volatile("vfmsub213ps 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
877 	asm volatile("vfmsub213pd 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");  in main()
878 	asm volatile("vfmsub213pd 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
882 	asm volatile("v4fnmaddps 0x12345678(%rax,%rcx,8),%zmm0,%zmm4");  in main()
883 	asm volatile("v4fnmaddps 0x12345678(%eax,%ecx,8),%zmm0,%zmm4");  in main()
885 	/* AVX-512: Op code 0f 38 ab */  in main()
888 	asm volatile("vfmsub213ss 0x12345678(%rax,%rcx,8),%xmm2,%xmm3");  in main()
889 	asm volatile("vfmsub213ss 0x12345678(%eax,%ecx,8),%xmm2,%xmm3");  in main()
892 	asm volatile("vfmsub213sd 0x12345678(%rax,%rcx,8),%xmm2,%xmm3");  in main()
893 	asm volatile("vfmsub213sd 0x12345678(%eax,%ecx,8),%xmm2,%xmm3");  in main()
897 	asm volatile("v4fnmaddss 0x12345678(%rax,%rcx,8),%xmm0,%xmm4");  in main()
898 	asm volatile("v4fnmaddss 0x12345678(%eax,%ecx,8),%xmm0,%xmm4");  in main()
900 	/* AVX-512: Op code 0f 38 b4 */  in main()
904 	/* AVX-512: Op code 0f 38 b5 */  in main()
908 	/* AVX-512: Op code 0f 38 c4 */  in main()
913 	/* AVX-512: Op code 0f 38 c8 */  in main()
918 	/* AVX-512: Op code 0f 38 ca */  in main()
923 	/* AVX-512: Op code 0f 38 cb */  in main()
928 	/* AVX-512: Op code 0f 38 cc */  in main()
933 	/* AVX-512: Op code 0f 38 cd */  in main()
938 	/* AVX-512: Op code 0f 38 cf */  in main()
941 	asm volatile("gf2p8mulb 0x12345678(%rax,%rcx,8),%xmm3");  in main()
942 	asm volatile("gf2p8mulb 0x12345678(%eax,%ecx,8),%xmm3");  in main()
947 	asm volatile("vgf2p8mulb 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");  in main()
948 	asm volatile("vgf2p8mulb 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
950 	/* AVX-512: Op code 0f 38 dc */  in main()
955 	asm volatile("vaesenc 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");  in main()
956 	asm volatile("vaesenc 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
958 	/* AVX-512: Op code 0f 38 dd */  in main()
963 	asm volatile("vaesenclast 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");  in main()
964 	asm volatile("vaesenclast 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
966 	/* AVX-512: Op code 0f 38 de */  in main()
971 	asm volatile("vaesdec 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");  in main()
972 	asm volatile("vaesdec 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
974 	/* AVX-512: Op code 0f 38 df */  in main()
979 	asm volatile("vaesdeclast 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");  in main()
980 	asm volatile("vaesdeclast 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
982 	/* AVX-512: Op code 0f 3a 03 */  in main()
984 	asm volatile("valignd $0x12,%zmm28,%zmm29,%zmm30");  in main()
985 	asm volatile("valignq $0x12,%zmm25,%zmm26,%zmm27");  in main()
987 	/* AVX-512: Op code 0f 3a 08 */  in main()
989 	asm volatile("vroundps $0x5,%ymm6,%ymm2");  in main()
990 	asm volatile("vrndscaleps $0x12,%zmm25,%zmm26");  in main()
992 	/* AVX-512: Op code 0f 3a 09 */  in main()
994 	asm volatile("vroundpd $0x5,%ymm6,%ymm2");  in main()
995 	asm volatile("vrndscalepd $0x12,%zmm25,%zmm26");  in main()
997 	/* AVX-512: Op code 0f 3a 1a */  in main()
999 	asm volatile("vroundss $0x5,%xmm4,%xmm6,%xmm2");  in main()
1000 	asm volatile("vrndscaless $0x12,%xmm24,%xmm25,%xmm26{%k7}");  in main()
1002 	/* AVX-512: Op code 0f 3a 0b */  in main()
1004 	asm volatile("vroundsd $0x5,%xmm4,%xmm6,%xmm2");  in main()
1005 	asm volatile("vrndscalesd $0x12,%xmm24,%xmm25,%xmm26{%k7}");  in main()
1007 	/* AVX-512: Op code 0f 3a 18 */  in main()
1009 	asm volatile("vinsertf128 $0x5,%xmm4,%ymm4,%ymm6");  in main()
1010 	asm volatile("vinsertf32x4 $0x12,%xmm24,%zmm25,%zmm26{%k7}");  in main()
1011 	asm volatile("vinsertf64x2 $0x12,%xmm24,%zmm25,%zmm26{%k7}");  in main()
1013 	/* AVX-512: Op code 0f 3a 19 */  in main()
1015 	asm volatile("vextractf128 $0x5,%ymm4,%xmm4");  in main()
1016 	asm volatile("vextractf32x4 $0x12,%zmm25,%xmm26{%k7}");  in main()
1017 	asm volatile("vextractf64x2 $0x12,%zmm25,%xmm26{%k7}");  in main()
1019 	/* AVX-512: Op code 0f 3a 1a */  in main()
1021 	asm volatile("vinsertf32x8 $0x12,%ymm25,%zmm26,%zmm27{%k7}");  in main()
1022 	asm volatile("vinsertf64x4 $0x12,%ymm28,%zmm29,%zmm30{%k7}");  in main()
1024 	/* AVX-512: Op code 0f 3a 1b */  in main()
1026 	asm volatile("vextractf32x8 $0x12,%zmm29,%ymm30{%k7}");  in main()
1027 	asm volatile("vextractf64x4 $0x12,%zmm26,%ymm27{%k7}");  in main()
1029 	/* AVX-512: Op code 0f 3a 1e */  in main()
1031 	asm volatile("vpcmpud $0x12,%zmm29,%zmm30,%k5");  in main()
1032 	asm volatile("vpcmpuq $0x12,%zmm26,%zmm27,%k5");  in main()
1034 	/* AVX-512: Op code 0f 3a 1f */  in main()
1036 	asm volatile("vpcmpd $0x12,%zmm29,%zmm30,%k5");  in main()
1037 	asm volatile("vpcmpq $0x12,%zmm26,%zmm27,%k5");  in main()
1039 	/* AVX-512: Op code 0f 3a 23 */  in main()
1041 	asm volatile("vshuff32x4 $0x12,%zmm28,%zmm29,%zmm30");  in main()
1042 	asm volatile("vshuff64x2 $0x12,%zmm25,%zmm26,%zmm27");  in main()
1044 	/* AVX-512: Op code 0f 3a 25 */  in main()
1046 	asm volatile("vpternlogd $0x12,%zmm28,%zmm29,%zmm30");  in main()
1047 	asm volatile("vpternlogq $0x12,%zmm28,%zmm29,%zmm30");  in main()
1049 	/* AVX-512: Op code 0f 3a 26 */  in main()
1051 	asm volatile("vgetmantps $0x12,%zmm26,%zmm27");  in main()
1052 	asm volatile("vgetmantpd $0x12,%zmm29,%zmm30");  in main()
1054 	/* AVX-512: Op code 0f 3a 27 */  in main()
1056 	asm volatile("vgetmantss $0x12,%xmm25,%xmm26,%xmm27{%k7}");  in main()
1057 	asm volatile("vgetmantsd $0x12,%xmm28,%xmm29,%xmm30{%k7}");  in main()
1059 	/* AVX-512: Op code 0f 3a 38 */  in main()
1061 	asm volatile("vinserti128 $0x5,%xmm4,%ymm4,%ymm6");  in main()
1062 	asm volatile("vinserti32x4 $0x12,%xmm24,%zmm25,%zmm26{%k7}");  in main()
1063 	asm volatile("vinserti64x2 $0x12,%xmm24,%zmm25,%zmm26{%k7}");  in main()
1065 	/* AVX-512: Op code 0f 3a 39 */  in main()
1067 	asm volatile("vextracti128 $0x5,%ymm4,%xmm6");  in main()
1068 	asm volatile("vextracti32x4 $0x12,%zmm25,%xmm26{%k7}");  in main()
1069 	asm volatile("vextracti64x2 $0x12,%zmm25,%xmm26{%k7}");  in main()
1071 	/* AVX-512: Op code 0f 3a 3a */  in main()
1073 	asm volatile("vinserti32x8 $0x12,%ymm28,%zmm29,%zmm30{%k7}");  in main()
1074 	asm volatile("vinserti64x4 $0x12,%ymm25,%zmm26,%zmm27{%k7}");  in main()
1076 	/* AVX-512: Op code 0f 3a 3b */  in main()
1078 	asm volatile("vextracti32x8 $0x12,%zmm29,%ymm30{%k7}");  in main()
1079 	asm volatile("vextracti64x4 $0x12,%zmm26,%ymm27{%k7}");  in main()
1081 	/* AVX-512: Op code 0f 3a 3e */  in main()
1083 	asm volatile("vpcmpub $0x12,%zmm29,%zmm30,%k5");  in main()
1084 	asm volatile("vpcmpuw $0x12,%zmm26,%zmm27,%k5");  in main()
1086 	/* AVX-512: Op code 0f 3a 3f */  in main()
1088 	asm volatile("vpcmpb $0x12,%zmm29,%zmm30,%k5");  in main()
1089 	asm volatile("vpcmpw $0x12,%zmm26,%zmm27,%k5");  in main()
1091 	/* AVX-512: Op code 0f 3a 43 */  in main()
1093 	asm volatile("vmpsadbw $0x5,%ymm4,%ymm6,%ymm2");  in main()
1094 	asm volatile("vdbpsadbw $0x12,%zmm4,%zmm5,%zmm6");  in main()
1096 	/* AVX-512: Op code 0f 3a 43 */  in main()
1098 	asm volatile("vshufi32x4 $0x12,%zmm25,%zmm26,%zmm27");  in main()
1099 	asm volatile("vshufi64x2 $0x12,%zmm28,%zmm29,%zmm30");  in main()
1101 	/* AVX-512: Op code 0f 3a 44 */  in main()
1103 	asm volatile("vpclmulqdq $0x12,%xmm1,%xmm2,%xmm3");  in main()
1104 	asm volatile("vpclmulqdq $0x12,%ymm1,%ymm2,%ymm3");  in main()
1105 	asm volatile("vpclmulqdq $0x12,%zmm1,%zmm2,%zmm3");  in main()
1106 	asm volatile("vpclmulqdq $0x12,%zmm25,%zmm26,%zmm27");  in main()
1108 	/* AVX-512: Op code 0f 3a 50 */  in main()
1110 	asm volatile("vrangeps $0x12,%zmm25,%zmm26,%zmm27");  in main()
1111 	asm volatile("vrangepd $0x12,%zmm28,%zmm29,%zmm30");  in main()
1113 	/* AVX-512: Op code 0f 3a 51 */  in main()
1115 	asm volatile("vrangess $0x12,%xmm25,%xmm26,%xmm27");  in main()
1116 	asm volatile("vrangesd $0x12,%xmm28,%xmm29,%xmm30");  in main()
1118 	/* AVX-512: Op code 0f 3a 54 */  in main()
1120 	asm volatile("vfixupimmps $0x12,%zmm28,%zmm29,%zmm30");  in main()
1121 	asm volatile("vfixupimmpd $0x12,%zmm25,%zmm26,%zmm27");  in main()
1123 	/* AVX-512: Op code 0f 3a 55 */  in main()
1125 	asm volatile("vfixupimmss $0x12,%xmm28,%xmm29,%xmm30{%k7}");  in main()
1126 	asm volatile("vfixupimmsd $0x12,%xmm25,%xmm26,%xmm27{%k7}");  in main()
1128 	/* AVX-512: Op code 0f 3a 56 */  in main()
1130 	asm volatile("vreduceps $0x12,%zmm26,%zmm27");  in main()
1131 	asm volatile("vreducepd $0x12,%zmm29,%zmm30");  in main()
1133 	/* AVX-512: Op code 0f 3a 57 */  in main()
1135 	asm volatile("vreducess $0x12,%xmm25,%xmm26,%xmm27");  in main()
1136 	asm volatile("vreducesd $0x12,%xmm28,%xmm29,%xmm30");  in main()
1138 	/* AVX-512: Op code 0f 3a 66 */  in main()
1140 	asm volatile("vfpclassps $0x12,%zmm27,%k5");  in main()
1141 	asm volatile("vfpclasspd $0x12,%zmm30,%k5");  in main()
1143 	/* AVX-512: Op code 0f 3a 67 */  in main()
1145 	asm volatile("vfpclassss $0x12,%xmm27,%k5");  in main()
1146 	asm volatile("vfpclasssd $0x12,%xmm30,%k5");  in main()
1148 	/* AVX-512: Op code 0f 3a 70 */  in main()
1150 	asm volatile("vpshldw $0x12,%xmm1,%xmm2,%xmm3");  in main()
1151 	asm volatile("vpshldw $0x12,%ymm1,%ymm2,%ymm3");  in main()
1152 	asm volatile("vpshldw $0x12,%zmm1,%zmm2,%zmm3");  in main()
1153 	asm volatile("vpshldw $0x12,%zmm25,%zmm26,%zmm27");  in main()
1155 	/* AVX-512: Op code 0f 3a 71 */  in main()
1157 	asm volatile("vpshldd $0x12,%xmm1,%xmm2,%xmm3");  in main()
1158 	asm volatile("vpshldd $0x12,%ymm1,%ymm2,%ymm3");  in main()
1159 	asm volatile("vpshldd $0x12,%zmm1,%zmm2,%zmm3");  in main()
1160 	asm volatile("vpshldd $0x12,%zmm25,%zmm26,%zmm27");  in main()
1162 	asm volatile("vpshldq $0x12,%xmm1,%xmm2,%xmm3");  in main()
1163 	asm volatile("vpshldq $0x12,%ymm1,%ymm2,%ymm3");  in main()
1164 	asm volatile("vpshldq $0x12,%zmm1,%zmm2,%zmm3");  in main()
1165 	asm volatile("vpshldq $0x12,%zmm25,%zmm26,%zmm27");  in main()
1167 	/* AVX-512: Op code 0f 3a 72 */  in main()
1169 	asm volatile("vpshrdw $0x12,%xmm1,%xmm2,%xmm3");  in main()
1170 	asm volatile("vpshrdw $0x12,%ymm1,%ymm2,%ymm3");  in main()
1171 	asm volatile("vpshrdw $0x12,%zmm1,%zmm2,%zmm3");  in main()
1172 	asm volatile("vpshrdw $0x12,%zmm25,%zmm26,%zmm27");  in main()
1174 	/* AVX-512: Op code 0f 3a 73 */  in main()
1176 	asm volatile("vpshrdd $0x12,%xmm1,%xmm2,%xmm3");  in main()
1177 	asm volatile("vpshrdd $0x12,%ymm1,%ymm2,%ymm3");  in main()
1178 	asm volatile("vpshrdd $0x12,%zmm1,%zmm2,%zmm3");  in main()
1179 	asm volatile("vpshrdd $0x12,%zmm25,%zmm26,%zmm27");  in main()
1181 	asm volatile("vpshrdq $0x12,%xmm1,%xmm2,%xmm3");  in main()
1182 	asm volatile("vpshrdq $0x12,%ymm1,%ymm2,%ymm3");  in main()
1183 	asm volatile("vpshrdq $0x12,%zmm1,%zmm2,%zmm3");  in main()
1184 	asm volatile("vpshrdq $0x12,%zmm25,%zmm26,%zmm27");  in main()
1186 	/* AVX-512: Op code 0f 3a ce */  in main()
1188 	asm volatile("gf2p8affineqb $0x12,%xmm1,%xmm3");  in main()
1190 	asm volatile("vgf2p8affineqb $0x12,%xmm1,%xmm2,%xmm3");  in main()
1191 	asm volatile("vgf2p8affineqb $0x12,%ymm1,%ymm2,%ymm3");  in main()
1192 	asm volatile("vgf2p8affineqb $0x12,%zmm1,%zmm2,%zmm3");  in main()
1193 	asm volatile("vgf2p8affineqb $0x12,%zmm25,%zmm26,%zmm27");  in main()
1195 	/* AVX-512: Op code 0f 3a cf */  in main()
1197 	asm volatile("gf2p8affineinvqb $0x12,%xmm1,%xmm3");  in main()
1199 	asm volatile("vgf2p8affineinvqb $0x12,%xmm1,%xmm2,%xmm3");  in main()
1200 	asm volatile("vgf2p8affineinvqb $0x12,%ymm1,%ymm2,%ymm3");  in main()
1201 	asm volatile("vgf2p8affineinvqb $0x12,%zmm1,%zmm2,%zmm3");  in main()
1202 	asm volatile("vgf2p8affineinvqb $0x12,%zmm25,%zmm26,%zmm27");  in main()
1204 	/* AVX-512: Op code 0f 72 (Grp13) */  in main()
1206 	asm volatile("vprord $0x12,%zmm25,%zmm26");  in main()
1207 	asm volatile("vprorq $0x12,%zmm25,%zmm26");  in main()
1208 	asm volatile("vprold $0x12,%zmm29,%zmm30");  in main()
1209 	asm volatile("vprolq $0x12,%zmm29,%zmm30");  in main()
1210 	asm volatile("psrad  $0x2,%mm6");  in main()
1211 	asm volatile("vpsrad $0x5,%ymm6,%ymm2");  in main()
1212 	asm volatile("vpsrad $0x5,%zmm26,%zmm22");  in main()
1213 	asm volatile("vpsraq $0x5,%zmm26,%zmm22");  in main()
1215 	/* AVX-512: Op code 0f 38 c6 (Grp18) */  in main()
1217 	asm volatile("vgatherpf0dps 0x7b(%r14,%zmm31,8){%k1}");  in main()
1218 	asm volatile("vgatherpf0dpd 0x7b(%r14,%ymm31,8){%k1}");  in main()
1219 	asm volatile("vgatherpf1dps 0x7b(%r14,%zmm31,8){%k1}");  in main()
1220 	asm volatile("vgatherpf1dpd 0x7b(%r14,%ymm31,8){%k1}");  in main()
1221 	asm volatile("vscatterpf0dps 0x7b(%r14,%zmm31,8){%k1}");  in main()
1222 	asm volatile("vscatterpf0dpd 0x7b(%r14,%ymm31,8){%k1}");  in main()
1223 	asm volatile("vscatterpf1dps 0x7b(%r14,%zmm31,8){%k1}");  in main()
1224 	asm volatile("vscatterpf1dpd 0x7b(%r14,%ymm31,8){%k1}");  in main()
1226 	/* AVX-512: Op code 0f 38 c7 (Grp19) */  in main()
1228 	asm volatile("vgatherpf0qps 0x7b(%r14,%zmm31,8){%k1}");  in main()
1229 	asm volatile("vgatherpf0qpd 0x7b(%r14,%zmm31,8){%k1}");  in main()
1230 	asm volatile("vgatherpf1qps 0x7b(%r14,%zmm31,8){%k1}");  in main()
1231 	asm volatile("vgatherpf1qpd 0x7b(%r14,%zmm31,8){%k1}");  in main()
1232 	asm volatile("vscatterpf0qps 0x7b(%r14,%zmm31,8){%k1}");  in main()
1233 	asm volatile("vscatterpf0qpd 0x7b(%r14,%zmm31,8){%k1}");  in main()
1234 	asm volatile("vscatterpf1qps 0x7b(%r14,%zmm31,8){%k1}");  in main()
1235 	asm volatile("vscatterpf1qpd 0x7b(%r14,%zmm31,8){%k1}");  in main()
1247 	asm volatile("vaddpd 0x123(%rax,%r14,8),%zmm29,%zmm30");  in main()
1249 	asm volatile("vaddpd 0x1fc0(%rdx),%zmm29,%zmm30");  in main()
1250 	asm volatile("vaddpd 0x3f8(%rdx){1to8},%zmm29,%zmm30");  in main()
1251 	asm volatile("vcmpeq_uqps 0x1fc(%rdx){1to16},%zmm30,%k5");  in main()
1252 	asm volatile("vcmpltsd 0x123(%rax,%r14,8),%xmm29,%k5{%k7}");  in main()
1254 	asm volatile("vgetmantss $0x5b,0x123(%rax,%r14,8),%xmm29,%xmm30{%k7}");  in main()
1260 	asm volatile("bndmk (0x12345678), %bnd0");  in main()
1263 	asm volatile("bndmk 0x12345678(,%rax,1), %bnd0");  in main()
1266 	asm volatile("bndmk 0x12(%rax), %bnd0");  in main()
1267 	asm volatile("bndmk 0x12(%rbp), %bnd0");  in main()
1268 	asm volatile("bndmk 0x12(%rcx,%rax,1), %bnd0");  in main()
1269 	asm volatile("bndmk 0x12(%rbp,%rax,1), %bnd0");  in main()
1270 	asm volatile("bndmk 0x12(%rax,%rcx,1), %bnd0");  in main()
1271 	asm volatile("bndmk 0x12(%rax,%rcx,8), %bnd0");  in main()
1272 	asm volatile("bndmk 0x12345678(%rax), %bnd0");  in main()
1273 	asm volatile("bndmk 0x12345678(%rbp), %bnd0");  in main()
1274 	asm volatile("bndmk 0x12345678(%rcx,%rax,1), %bnd0");  in main()
1275 	asm volatile("bndmk 0x12345678(%rbp,%rax,1), %bnd0");  in main()
1276 	asm volatile("bndmk 0x12345678(%rax,%rcx,1), %bnd0");  in main()
1277 	asm volatile("bndmk 0x12345678(%rax,%rcx,8), %bnd0");  in main()
1283 	asm volatile("bndcl (0x12345678), %bnd0");  in main()
1286 	asm volatile("bndcl 0x12345678(,%rax,1), %bnd0");  in main()
1289 	asm volatile("bndcl 0x12(%rax), %bnd0");  in main()
1290 	asm volatile("bndcl 0x12(%rbp), %bnd0");  in main()
1291 	asm volatile("bndcl 0x12(%rcx,%rax,1), %bnd0");  in main()
1292 	asm volatile("bndcl 0x12(%rbp,%rax,1), %bnd0");  in main()
1293 	asm volatile("bndcl 0x12(%rax,%rcx,1), %bnd0");  in main()
1294 	asm volatile("bndcl 0x12(%rax,%rcx,8), %bnd0");  in main()
1295 	asm volatile("bndcl 0x12345678(%rax), %bnd0");  in main()
1296 	asm volatile("bndcl 0x12345678(%rbp), %bnd0");  in main()
1297 	asm volatile("bndcl 0x12345678(%rcx,%rax,1), %bnd0");  in main()
1298 	asm volatile("bndcl 0x12345678(%rbp,%rax,1), %bnd0");  in main()
1299 	asm volatile("bndcl 0x12345678(%rax,%rcx,1), %bnd0");  in main()
1300 	asm volatile("bndcl 0x12345678(%rax,%rcx,8), %bnd0");  in main()
1307 	asm volatile("bndcu (0x12345678), %bnd0");  in main()
1310 	asm volatile("bndcu 0x12345678(,%rax,1), %bnd0");  in main()
1313 	asm volatile("bndcu 0x12(%rax), %bnd0");  in main()
1314 	asm volatile("bndcu 0x12(%rbp), %bnd0");  in main()
1315 	asm volatile("bndcu 0x12(%rcx,%rax,1), %bnd0");  in main()
1316 	asm volatile("bndcu 0x12(%rbp,%rax,1), %bnd0");  in main()
1317 	asm volatile("bndcu 0x12(%rax,%rcx,1), %bnd0");  in main()
1318 	asm volatile("bndcu 0x12(%rax,%rcx,8), %bnd0");  in main()
1319 	asm volatile("bndcu 0x12345678(%rax), %bnd0");  in main()
1320 	asm volatile("bndcu 0x12345678(%rbp), %bnd0");  in main()
1321 	asm volatile("bndcu 0x12345678(%rcx,%rax,1), %bnd0");  in main()
1322 	asm volatile("bndcu 0x12345678(%rbp,%rax,1), %bnd0");  in main()
1323 	asm volatile("bndcu 0x12345678(%rax,%rcx,1), %bnd0");  in main()
1324 	asm volatile("bndcu 0x12345678(%rax,%rcx,8), %bnd0");  in main()
1331 	asm volatile("bndcn (0x12345678), %bnd0");  in main()
1334 	asm volatile("bndcn 0x12345678(,%rax,1), %bnd0");  in main()
1337 	asm volatile("bndcn 0x12(%rax), %bnd0");  in main()
1338 	asm volatile("bndcn 0x12(%rbp), %bnd0");  in main()
1339 	asm volatile("bndcn 0x12(%rcx,%rax,1), %bnd0");  in main()
1340 	asm volatile("bndcn 0x12(%rbp,%rax,1), %bnd0");  in main()
1341 	asm volatile("bndcn 0x12(%rax,%rcx,1), %bnd0");  in main()
1342 	asm volatile("bndcn 0x12(%rax,%rcx,8), %bnd0");  in main()
1343 	asm volatile("bndcn 0x12345678(%rax), %bnd0");  in main()
1344 	asm volatile("bndcn 0x12345678(%rbp), %bnd0");  in main()
1345 	asm volatile("bndcn 0x12345678(%rcx,%rax,1), %bnd0");  in main()
1346 	asm volatile("bndcn 0x12345678(%rbp,%rax,1), %bnd0");  in main()
1347 	asm volatile("bndcn 0x12345678(%rax,%rcx,1), %bnd0");  in main()
1348 	asm volatile("bndcn 0x12345678(%rax,%rcx,8), %bnd0");  in main()
1355 	asm volatile("bndmov (0x12345678), %bnd0");  in main()
1358 	asm volatile("bndmov 0x12345678(,%rax,1), %bnd0");  in main()
1361 	asm volatile("bndmov 0x12(%rax), %bnd0");  in main()
1362 	asm volatile("bndmov 0x12(%rbp), %bnd0");  in main()
1363 	asm volatile("bndmov 0x12(%rcx,%rax,1), %bnd0");  in main()
1364 	asm volatile("bndmov 0x12(%rbp,%rax,1), %bnd0");  in main()
1365 	asm volatile("bndmov 0x12(%rax,%rcx,1), %bnd0");  in main()
1366 	asm volatile("bndmov 0x12(%rax,%rcx,8), %bnd0");  in main()
1367 	asm volatile("bndmov 0x12345678(%rax), %bnd0");  in main()
1368 	asm volatile("bndmov 0x12345678(%rbp), %bnd0");  in main()
1369 	asm volatile("bndmov 0x12345678(%rcx,%rax,1), %bnd0");  in main()
1370 	asm volatile("bndmov 0x12345678(%rbp,%rax,1), %bnd0");  in main()
1371 	asm volatile("bndmov 0x12345678(%rax,%rcx,1), %bnd0");  in main()
1372 	asm volatile("bndmov 0x12345678(%rax,%rcx,8), %bnd0");  in main()
1378 	asm volatile("bndmov %bnd0, (0x12345678)");  in main()
1381 	asm volatile("bndmov %bnd0, 0x12345678(,%rax,1)");  in main()
1384 	asm volatile("bndmov %bnd0, 0x12(%rax)");  in main()
1385 	asm volatile("bndmov %bnd0, 0x12(%rbp)");  in main()
1386 	asm volatile("bndmov %bnd0, 0x12(%rcx,%rax,1)");  in main()
1387 	asm volatile("bndmov %bnd0, 0x12(%rbp,%rax,1)");  in main()
1388 	asm volatile("bndmov %bnd0, 0x12(%rax,%rcx,1)");  in main()
1389 	asm volatile("bndmov %bnd0, 0x12(%rax,%rcx,8)");  in main()
1390 	asm volatile("bndmov %bnd0, 0x12345678(%rax)");  in main()
1391 	asm volatile("bndmov %bnd0, 0x12345678(%rbp)");  in main()
1392 	asm volatile("bndmov %bnd0, 0x12345678(%rcx,%rax,1)");  in main()
1393 	asm volatile("bndmov %bnd0, 0x12345678(%rbp,%rax,1)");  in main()
1394 	asm volatile("bndmov %bnd0, 0x12345678(%rax,%rcx,1)");  in main()
1395 	asm volatile("bndmov %bnd0, 0x12345678(%rax,%rcx,8)");  in main()
1406 	asm volatile("bndldx (0x12345678), %bnd0");  in main()
1409 	asm volatile("bndldx 0x12345678(,%rax,1), %bnd0");  in main()
1411 	asm volatile("bndldx 0x12(%rax), %bnd0");  in main()
1412 	asm volatile("bndldx 0x12(%rbp), %bnd0");  in main()
1413 	asm volatile("bndldx 0x12(%rcx,%rax,1), %bnd0");  in main()
1414 	asm volatile("bndldx 0x12(%rbp,%rax,1), %bnd0");  in main()
1415 	asm volatile("bndldx 0x12(%rax,%rcx,1), %bnd0");  in main()
1416 	asm volatile("bndldx 0x12345678(%rax), %bnd0");  in main()
1417 	asm volatile("bndldx 0x12345678(%rbp), %bnd0");  in main()
1418 	asm volatile("bndldx 0x12345678(%rcx,%rax,1), %bnd0");  in main()
1419 	asm volatile("bndldx 0x12345678(%rbp,%rax,1), %bnd0");  in main()
1420 	asm volatile("bndldx 0x12345678(%rax,%rcx,1), %bnd0");  in main()
1426 	asm volatile("bndstx %bnd0, (0x12345678)");  in main()
1429 	asm volatile("bndstx %bnd0, 0x12345678(,%rax,1)");  in main()
1431 	asm volatile("bndstx %bnd0, 0x12(%rax)");  in main()
1432 	asm volatile("bndstx %bnd0, 0x12(%rbp)");  in main()
1433 	asm volatile("bndstx %bnd0, 0x12(%rcx,%rax,1)");  in main()
1434 	asm volatile("bndstx %bnd0, 0x12(%rbp,%rax,1)");  in main()
1435 	asm volatile("bndstx %bnd0, 0x12(%rax,%rcx,1)");  in main()
1436 	asm volatile("bndstx %bnd0, 0x12345678(%rax)");  in main()
1437 	asm volatile("bndstx %bnd0, 0x12345678(%rbp)");  in main()
1438 	asm volatile("bndstx %bnd0, 0x12345678(%rcx,%rax,1)");  in main()
1439 	asm volatile("bndstx %bnd0, 0x12345678(%rbp,%rax,1)");  in main()
1440 	asm volatile("bndstx %bnd0, 0x12345678(%rax,%rcx,1)");  in main()
1444 	asm volatile("bnd call label1");  /* Expecting: call unconditional 0 */  in main()
1445 	asm volatile("bnd call *(%eax)"); /* Expecting: call indirect      0 */  in main()
1446 	asm volatile("bnd ret");          /* Expecting: ret  indirect      0 */  in main()
1447 	asm volatile("bnd jmp label1");   /* Expecting: jmp  unconditional 0 */  in main()
1448 	asm volatile("bnd jmp label1");   /* Expecting: jmp  unconditional 0 */  in main()
1449 	asm volatile("bnd jmp *(%ecx)");  /* Expecting: jmp  indirect      0 */  in main()
1450 	asm volatile("bnd jne label1");   /* Expecting: jcc  conditional   0 */  in main()
1454 	asm volatile("sha1rnds4 $0x0, %xmm1, %xmm0");  in main()
1455 	asm volatile("sha1rnds4 $0x91, %xmm7, %xmm2");  in main()
1456 	asm volatile("sha1rnds4 $0x91, %xmm8, %xmm0");  in main()
1457 	asm volatile("sha1rnds4 $0x91, %xmm7, %xmm8");  in main()
1458 	asm volatile("sha1rnds4 $0x91, %xmm15, %xmm8");  in main()
1459 	asm volatile("sha1rnds4 $0x91, (%rax), %xmm0");  in main()
1460 	asm volatile("sha1rnds4 $0x91, (%r8), %xmm0");  in main()
1461 	asm volatile("sha1rnds4 $0x91, (0x12345678), %xmm0");  in main()
1462 	asm volatile("sha1rnds4 $0x91, (%rax), %xmm3");  in main()
1463 	asm volatile("sha1rnds4 $0x91, (%rcx,%rax,1), %xmm0");  in main()
1464 	asm volatile("sha1rnds4 $0x91, 0x12345678(,%rax,1), %xmm0");  in main()
1465 	asm volatile("sha1rnds4 $0x91, (%rax,%rcx,1), %xmm0");  in main()
1466 	asm volatile("sha1rnds4 $0x91, (%rax,%rcx,8), %xmm0");  in main()
1467 	asm volatile("sha1rnds4 $0x91, 0x12(%rax), %xmm0");  in main()
1468 	asm volatile("sha1rnds4 $0x91, 0x12(%rbp), %xmm0");  in main()
1469 	asm volatile("sha1rnds4 $0x91, 0x12(%rcx,%rax,1), %xmm0");  in main()
1470 	asm volatile("sha1rnds4 $0x91, 0x12(%rbp,%rax,1), %xmm0");  in main()
1471 	asm volatile("sha1rnds4 $0x91, 0x12(%rax,%rcx,1), %xmm0");  in main()
1472 	asm volatile("sha1rnds4 $0x91, 0x12(%rax,%rcx,8), %xmm0");  in main()
1473 	asm volatile("sha1rnds4 $0x91, 0x12345678(%rax), %xmm0");  in main()
1474 	asm volatile("sha1rnds4 $0x91, 0x12345678(%rbp), %xmm0");  in main()
1475 	asm volatile("sha1rnds4 $0x91, 0x12345678(%rcx,%rax,1), %xmm0");  in main()
1476 	asm volatile("sha1rnds4 $0x91, 0x12345678(%rbp,%rax,1), %xmm0");  in main()
1477 	asm volatile("sha1rnds4 $0x91, 0x12345678(%rax,%rcx,1), %xmm0");  in main()
1478 	asm volatile("sha1rnds4 $0x91, 0x12345678(%rax,%rcx,8), %xmm0");  in main()
1479 	asm volatile("sha1rnds4 $0x91, 0x12345678(%rax,%rcx,8), %xmm15");  in main()
1490 	asm volatile("sha1nexte (0x12345678), %xmm0");  in main()
1493 	asm volatile("sha1nexte 0x12345678(,%rax,1), %xmm0");  in main()
1496 	asm volatile("sha1nexte 0x12(%rax), %xmm0");  in main()
1497 	asm volatile("sha1nexte 0x12(%rbp), %xmm0");  in main()
1498 	asm volatile("sha1nexte 0x12(%rcx,%rax,1), %xmm0");  in main()
1499 	asm volatile("sha1nexte 0x12(%rbp,%rax,1), %xmm0");  in main()
1500 	asm volatile("sha1nexte 0x12(%rax,%rcx,1), %xmm0");  in main()
1501 	asm volatile("sha1nexte 0x12(%rax,%rcx,8), %xmm0");  in main()
1502 	asm volatile("sha1nexte 0x12345678(%rax), %xmm0");  in main()
1503 	asm volatile("sha1nexte 0x12345678(%rbp), %xmm0");  in main()
1504 	asm volatile("sha1nexte 0x12345678(%rcx,%rax,1), %xmm0");  in main()
1505 	asm volatile("sha1nexte 0x12345678(%rbp,%rax,1), %xmm0");  in main()
1506 	asm volatile("sha1nexte 0x12345678(%rax,%rcx,1), %xmm0");  in main()
1507 	asm volatile("sha1nexte 0x12345678(%rax,%rcx,8), %xmm0");  in main()
1508 	asm volatile("sha1nexte 0x12345678(%rax,%rcx,8), %xmm15");  in main()
1519 	asm volatile("sha1msg1 (0x12345678), %xmm0");  in main()
1522 	asm volatile("sha1msg1 0x12345678(,%rax,1), %xmm0");  in main()
1525 	asm volatile("sha1msg1 0x12(%rax), %xmm0");  in main()
1526 	asm volatile("sha1msg1 0x12(%rbp), %xmm0");  in main()
1527 	asm volatile("sha1msg1 0x12(%rcx,%rax,1), %xmm0");  in main()
1528 	asm volatile("sha1msg1 0x12(%rbp,%rax,1), %xmm0");  in main()
1529 	asm volatile("sha1msg1 0x12(%rax,%rcx,1), %xmm0");  in main()
1530 	asm volatile("sha1msg1 0x12(%rax,%rcx,8), %xmm0");  in main()
1531 	asm volatile("sha1msg1 0x12345678(%rax), %xmm0");  in main()
1532 	asm volatile("sha1msg1 0x12345678(%rbp), %xmm0");  in main()
1533 	asm volatile("sha1msg1 0x12345678(%rcx,%rax,1), %xmm0");  in main()
1534 	asm volatile("sha1msg1 0x12345678(%rbp,%rax,1), %xmm0");  in main()
1535 	asm volatile("sha1msg1 0x12345678(%rax,%rcx,1), %xmm0");  in main()
1536 	asm volatile("sha1msg1 0x12345678(%rax,%rcx,8), %xmm0");  in main()
1537 	asm volatile("sha1msg1 0x12345678(%rax,%rcx,8), %xmm15");  in main()
1548 	asm volatile("sha1msg2 (0x12345678), %xmm0");  in main()
1551 	asm volatile("sha1msg2 0x12345678(,%rax,1), %xmm0");  in main()
1554 	asm volatile("sha1msg2 0x12(%rax), %xmm0");  in main()
1555 	asm volatile("sha1msg2 0x12(%rbp), %xmm0");  in main()
1556 	asm volatile("sha1msg2 0x12(%rcx,%rax,1), %xmm0");  in main()
1557 	asm volatile("sha1msg2 0x12(%rbp,%rax,1), %xmm0");  in main()
1558 	asm volatile("sha1msg2 0x12(%rax,%rcx,1), %xmm0");  in main()
1559 	asm volatile("sha1msg2 0x12(%rax,%rcx,8), %xmm0");  in main()
1560 	asm volatile("sha1msg2 0x12345678(%rax), %xmm0");  in main()
1561 	asm volatile("sha1msg2 0x12345678(%rbp), %xmm0");  in main()
1562 	asm volatile("sha1msg2 0x12345678(%rcx,%rax,1), %xmm0");  in main()
1563 	asm volatile("sha1msg2 0x12345678(%rbp,%rax,1), %xmm0");  in main()
1564 	asm volatile("sha1msg2 0x12345678(%rax,%rcx,1), %xmm0");  in main()
1565 	asm volatile("sha1msg2 0x12345678(%rax,%rcx,8), %xmm0");  in main()
1566 	asm volatile("sha1msg2 0x12345678(%rax,%rcx,8), %xmm15");  in main()
1578 	asm volatile("sha256rnds2 (0x12345678), %xmm1");  in main()
1581 	asm volatile("sha256rnds2 0x12345678(,%rax,1), %xmm1");  in main()
1584 	asm volatile("sha256rnds2 0x12(%rax), %xmm1");  in main()
1585 	asm volatile("sha256rnds2 0x12(%rbp), %xmm1");  in main()
1586 	asm volatile("sha256rnds2 0x12(%rcx,%rax,1), %xmm1");  in main()
1587 	asm volatile("sha256rnds2 0x12(%rbp,%rax,1), %xmm1");  in main()
1588 	asm volatile("sha256rnds2 0x12(%rax,%rcx,1), %xmm1");  in main()
1589 	asm volatile("sha256rnds2 0x12(%rax,%rcx,8), %xmm1");  in main()
1590 	asm volatile("sha256rnds2 0x12345678(%rax), %xmm1");  in main()
1591 	asm volatile("sha256rnds2 0x12345678(%rbp), %xmm1");  in main()
1592 	asm volatile("sha256rnds2 0x12345678(%rcx,%rax,1), %xmm1");  in main()
1593 	asm volatile("sha256rnds2 0x12345678(%rbp,%rax,1), %xmm1");  in main()
1594 	asm volatile("sha256rnds2 0x12345678(%rax,%rcx,1), %xmm1");  in main()
1595 	asm volatile("sha256rnds2 0x12345678(%rax,%rcx,8), %xmm1");  in main()
1596 	asm volatile("sha256rnds2 0x12345678(%rax,%rcx,8), %xmm15");  in main()
1607 	asm volatile("sha256msg1 (0x12345678), %xmm0");  in main()
1610 	asm volatile("sha256msg1 0x12345678(,%rax,1), %xmm0");  in main()
1613 	asm volatile("sha256msg1 0x12(%rax), %xmm0");  in main()
1614 	asm volatile("sha256msg1 0x12(%rbp), %xmm0");  in main()
1615 	asm volatile("sha256msg1 0x12(%rcx,%rax,1), %xmm0");  in main()
1616 	asm volatile("sha256msg1 0x12(%rbp,%rax,1), %xmm0");  in main()
1617 	asm volatile("sha256msg1 0x12(%rax,%rcx,1), %xmm0");  in main()
1618 	asm volatile("sha256msg1 0x12(%rax,%rcx,8), %xmm0");  in main()
1619 	asm volatile("sha256msg1 0x12345678(%rax), %xmm0");  in main()
1620 	asm volatile("sha256msg1 0x12345678(%rbp), %xmm0");  in main()
1621 	asm volatile("sha256msg1 0x12345678(%rcx,%rax,1), %xmm0");  in main()
1622 	asm volatile("sha256msg1 0x12345678(%rbp,%rax,1), %xmm0");  in main()
1623 	asm volatile("sha256msg1 0x12345678(%rax,%rcx,1), %xmm0");  in main()
1624 	asm volatile("sha256msg1 0x12345678(%rax,%rcx,8), %xmm0");  in main()
1625 	asm volatile("sha256msg1 0x12345678(%rax,%rcx,8), %xmm15");  in main()
1636 	asm volatile("sha256msg2 (0x12345678), %xmm0");  in main()
1639 	asm volatile("sha256msg2 0x12345678(,%rax,1), %xmm0");  in main()
1642 	asm volatile("sha256msg2 0x12(%rax), %xmm0");  in main()
1643 	asm volatile("sha256msg2 0x12(%rbp), %xmm0");  in main()
1644 	asm volatile("sha256msg2 0x12(%rcx,%rax,1), %xmm0");  in main()
1645 	asm volatile("sha256msg2 0x12(%rbp,%rax,1), %xmm0");  in main()
1646 	asm volatile("sha256msg2 0x12(%rax,%rcx,1), %xmm0");  in main()
1647 	asm volatile("sha256msg2 0x12(%rax,%rcx,8), %xmm0");  in main()
1648 	asm volatile("sha256msg2 0x12345678(%rax), %xmm0");  in main()
1649 	asm volatile("sha256msg2 0x12345678(%rbp), %xmm0");  in main()
1650 	asm volatile("sha256msg2 0x12345678(%rcx,%rax,1), %xmm0");  in main()
1651 	asm volatile("sha256msg2 0x12345678(%rbp,%rax,1), %xmm0");  in main()
1652 	asm volatile("sha256msg2 0x12345678(%rax,%rcx,1), %xmm0");  in main()
1653 	asm volatile("sha256msg2 0x12345678(%rax,%rcx,8), %xmm0");  in main()
1654 	asm volatile("sha256msg2 0x12345678(%rax,%rcx,8), %xmm15");  in main()
1660 	asm volatile("clflushopt (0x12345678)");  in main()
1661 	asm volatile("clflushopt 0x12345678(%rax,%rcx,8)");  in main()
1662 	asm volatile("clflushopt 0x12345678(%r8,%rcx,8)");  in main()
1672 	asm volatile("clwb (0x12345678)");  in main()
1673 	asm volatile("clwb 0x12345678(%rax,%rcx,8)");  in main()
1674 	asm volatile("clwb 0x12345678(%r8,%rcx,8)");  in main()
1684 	asm volatile("cldemote (0x12345678)");  in main()
1685 	asm volatile("cldemote 0x12345678(%rax,%rcx,8)");  in main()
1686 	asm volatile("cldemote 0x12345678(%r8,%rcx,8)");  in main()
1692 	asm volatile("xsavec (0x12345678)");  in main()
1693 	asm volatile("xsavec 0x12345678(%rax,%rcx,8)");  in main()
1694 	asm volatile("xsavec 0x12345678(%r8,%rcx,8)");  in main()
1700 	asm volatile("xsaves (0x12345678)");  in main()
1701 	asm volatile("xsaves 0x12345678(%rax,%rcx,8)");  in main()
1702 	asm volatile("xsaves 0x12345678(%r8,%rcx,8)");  in main()
1708 	asm volatile("xrstors (0x12345678)");  in main()
1709 	asm volatile("xrstors 0x12345678(%rax,%rcx,8)");  in main()
1710 	asm volatile("xrstors 0x12345678(%r8,%rcx,8)");  in main()
1716 	asm volatile("ptwrite (0x12345678)");  in main()
1717 	asm volatile("ptwrite 0x12345678(%rax,%rcx,8)");  in main()
1718 	asm volatile("ptwrite 0x12345678(%r8,%rcx,8)");  in main()
1722 	asm volatile("ptwritel (0x12345678)");  in main()
1723 	asm volatile("ptwritel 0x12345678(%rax,%rcx,8)");  in main()
1724 	asm volatile("ptwritel 0x12345678(%r8,%rcx,8)");  in main()
1728 	asm volatile("ptwriteq (0x12345678)");  in main()
1729 	asm volatile("ptwriteq 0x12345678(%rax,%rcx,8)");  in main()
1730 	asm volatile("ptwriteq 0x12345678(%r8,%rcx,8)");  in main()
1751 	asm volatile("movdiri %rcx,0x12345678(%rax)");  in main()
1756 	asm volatile("movdir64b 0x12345678(%rax),%rcx");  in main()
1758 	asm volatile("movdir64b 0x12345678(%eax),%ecx");  in main()
1763 	asm volatile("enqcmd 0x12345678(%rax),%rcx");  in main()
1765 	asm volatile("enqcmd 0x12345678(%eax),%ecx");  in main()
1770 	asm volatile("enqcmds 0x12345678(%rax),%rcx");  in main()
1772 	asm volatile("enqcmds 0x12345678(%eax),%ecx");  in main()
1783 	asm volatile("xrstor (0x12345678)");  in main()
1784 	asm volatile("xrstor 0x12345678(%rax,%rcx,8)");  in main()
1785 	asm volatile("xrstor 0x12345678(%r8,%rcx,8)");  in main()
1803 	asm volatile("rstorssp (0x12345678)");  in main()
1804 	asm volatile("rstorssp 0x12345678(%rax,%rcx,8)");  in main()
1805 	asm volatile("rstorssp 0x12345678(%r8,%rcx,8)");  in main()
1811 	asm volatile("wrssd %edx,(0x12345678)");  in main()
1812 	asm volatile("wrssd %edx,0x12345678(%rax,%rcx,8)");  in main()
1813 	asm volatile("wrssd %edx,0x12345678(%r8,%rcx,8)");  in main()
1816 	asm volatile("wrssq %rdx,(0x12345678)");  in main()
1817 	asm volatile("wrssq %rdx,0x12345678(%rax,%rcx,8)");  in main()
1818 	asm volatile("wrssq %rdx,0x12345678(%r8,%rcx,8)");  in main()
1824 	asm volatile("wrussd %edx,(0x12345678)");  in main()
1825 	asm volatile("wrussd %edx,0x12345678(%rax,%rcx,8)");  in main()
1826 	asm volatile("wrussd %edx,0x12345678(%r8,%rcx,8)");  in main()
1829 	asm volatile("wrussq %rdx,(0x12345678)");  in main()
1830 	asm volatile("wrussq %rdx,0x12345678(%rax,%rcx,8)");  in main()
1831 	asm volatile("wrussq %rdx,0x12345678(%r8,%rcx,8)");  in main()
1844 	asm volatile("clrssbsy (0x12345678)");  in main()
1845 	asm volatile("clrssbsy 0x12345678(%rax,%rcx,8)");  in main()
1846 	asm volatile("clrssbsy 0x12345678(%r8,%rcx,8)");  in main()
1855 	asm volatile("callq *%rax");				/* Expecting: call indirect 0 */  in main()
1856 	asm volatile("callq *(%rax)");				/* Expecting: call indirect 0 */  in main()
1857 	asm volatile("callq *(%r8)");				/* Expecting: call indirect 0 */  in main()
1858 	asm volatile("callq *(0x12345678)");			/* Expecting: call indirect 0 */  in main()
1859 	asm volatile("callq *0x12345678(%rax,%rcx,8)");		/* Expecting: call indirect 0 */  in main()
1860 	asm volatile("callq *0x12345678(%r8,%rcx,8)");		/* Expecting: call indirect 0 */  in main()
1862 	asm volatile("bnd callq *%rax");			/* Expecting: call indirect 0 */  in main()
1863 	asm volatile("bnd callq *(%rax)");			/* Expecting: call indirect 0 */  in main()
1864 	asm volatile("bnd callq *(%r8)");			/* Expecting: call indirect 0 */  in main()
1865 	asm volatile("bnd callq *(0x12345678)");		/* Expecting: call indirect 0 */  in main()
1866 	asm volatile("bnd callq *0x12345678(%rax,%rcx,8)");	/* Expecting: call indirect 0 */  in main()
1867 	asm volatile("bnd callq *0x12345678(%r8,%rcx,8)");	/* Expecting: call indirect 0 */  in main()
1869 	asm volatile("notrack callq *%rax");			/* Expecting: call indirect 0 */  in main()
1870 	asm volatile("notrack callq *(%rax)");			/* Expecting: call indirect 0 */  in main()
1871 	asm volatile("notrack callq *(%r8)");			/* Expecting: call indirect 0 */  in main()
1872 	asm volatile("notrack callq *(0x12345678)");		/* Expecting: call indirect 0 */  in main()
1873 	asm volatile("notrack callq *0x12345678(%rax,%rcx,8)");	/* Expecting: call indirect 0 */  in main()
1874 	asm volatile("notrack callq *0x12345678(%r8,%rcx,8)");	/* Expecting: call indirect 0 */  in main()
1876 	asm volatile("notrack bnd callq *%rax");		/* Expecting: call indirect 0 */  in main()
1877 	asm volatile("notrack bnd callq *(%rax)");		/* Expecting: call indirect 0 */  in main()
1878 	asm volatile("notrack bnd callq *(%r8)");		/* Expecting: call indirect 0 */  in main()
1879 	asm volatile("notrack bnd callq *(0x12345678)");	/* Expecting: call indirect 0 */  in main()
1880 	asm volatile("notrack bnd callq *0x12345678(%rax,%rcx,8)");	/* Expecting: call indirect 0 */  in main()
1881 	asm volatile("notrack bnd callq *0x12345678(%r8,%rcx,8)");	/* Expecting: call indirect 0 */  in main()
1885 	asm volatile("jmpq *%rax");				/* Expecting: jmp indirect 0 */  in main()
1886 	asm volatile("jmpq *(%rax)");				/* Expecting: jmp indirect 0 */  in main()
1887 	asm volatile("jmpq *(%r8)");				/* Expecting: jmp indirect 0 */  in main()
1888 	asm volatile("jmpq *(0x12345678)");			/* Expecting: jmp indirect 0 */  in main()
1889 	asm volatile("jmpq *0x12345678(%rax,%rcx,8)");		/* Expecting: jmp indirect 0 */  in main()
1890 	asm volatile("jmpq *0x12345678(%r8,%rcx,8)");		/* Expecting: jmp indirect 0 */  in main()
1892 	asm volatile("bnd jmpq *%rax");				/* Expecting: jmp indirect 0 */  in main()
1893 	asm volatile("bnd jmpq *(%rax)");			/* Expecting: jmp indirect 0 */  in main()
1894 	asm volatile("bnd jmpq *(%r8)");			/* Expecting: jmp indirect 0 */  in main()
1895 	asm volatile("bnd jmpq *(0x12345678)");			/* Expecting: jmp indirect 0 */  in main()
1896 	asm volatile("bnd jmpq *0x12345678(%rax,%rcx,8)");	/* Expecting: jmp indirect 0 */  in main()
1897 	asm volatile("bnd jmpq *0x12345678(%r8,%rcx,8)");	/* Expecting: jmp indirect 0 */  in main()
1899 	asm volatile("notrack jmpq *%rax");			/* Expecting: jmp indirect 0 */  in main()
1900 	asm volatile("notrack jmpq *(%rax)");			/* Expecting: jmp indirect 0 */  in main()
1901 	asm volatile("notrack jmpq *(%r8)");			/* Expecting: jmp indirect 0 */  in main()
1902 	asm volatile("notrack jmpq *(0x12345678)");		/* Expecting: jmp indirect 0 */  in main()
1903 	asm volatile("notrack jmpq *0x12345678(%rax,%rcx,8)");	/* Expecting: jmp indirect 0 */  in main()
1904 	asm volatile("notrack jmpq *0x12345678(%r8,%rcx,8)");	/* Expecting: jmp indirect 0 */  in main()
1906 	asm volatile("notrack bnd jmpq *%rax");			/* Expecting: jmp indirect 0 */  in main()
1907 	asm volatile("notrack bnd jmpq *(%rax)");		/* Expecting: jmp indirect 0 */  in main()
1908 	asm volatile("notrack bnd jmpq *(%r8)");		/* Expecting: jmp indirect 0 */  in main()
1909 	asm volatile("notrack bnd jmpq *(0x12345678)");		/* Expecting: jmp indirect 0 */  in main()
1910 	asm volatile("notrack bnd jmpq *0x12345678(%rax,%rcx,8)");	/* Expecting: jmp indirect 0 */  in main()
1911 	asm volatile("notrack bnd jmpq *0x12345678(%r8,%rcx,8)");	/* Expecting: jmp indirect 0 */  in main()
1946 	asm volatile("vaddph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
1947 	asm volatile("vaddph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
1949 	asm volatile("vaddph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
1950 	asm volatile("vaddph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
1952 	asm volatile("vaddph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
1953 	asm volatile("vaddph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
1955 	asm volatile("vaddsh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
1956 	asm volatile("vaddsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
1957 	asm volatile("vcmpph $0x12, %zmm3, %zmm2, %k5");  in main()
1958 	asm volatile("vcmpph $0x12, 0x12345678(%rax,%rcx,8), %zmm2, %k5");  in main()
1959 	asm volatile("vcmpph $0x12, 0x12345678(%eax,%ecx,8), %zmm2, %k5");  in main()
1960 	asm volatile("vcmpph $0x12, %xmm3, %xmm2, %k5");  in main()
1961 	asm volatile("vcmpph $0x12, 0x12345678(%rax,%rcx,8), %xmm2, %k5");  in main()
1962 	asm volatile("vcmpph $0x12, 0x12345678(%eax,%ecx,8), %xmm2, %k5");  in main()
1963 	asm volatile("vcmpph $0x12, %ymm3, %ymm2, %k5");  in main()
1964 	asm volatile("vcmpph $0x12, 0x12345678(%rax,%rcx,8), %ymm2, %k5");  in main()
1965 	asm volatile("vcmpph $0x12, 0x12345678(%eax,%ecx,8), %ymm2, %k5");  in main()
1966 	asm volatile("vcmpsh $0x12, %xmm3, %xmm2, %k5");  in main()
1967 	asm volatile("vcmpsh $0x12, 0x12345678(%rax,%rcx,8), %xmm2, %k5");  in main()
1968 	asm volatile("vcmpsh $0x12, 0x12345678(%eax,%ecx,8), %xmm2, %k5");  in main()
1970 	asm volatile("vcomish 0x12345678(%rax,%rcx,8), %xmm1");  in main()
1971 	asm volatile("vcomish 0x12345678(%eax,%ecx,8), %xmm1");  in main()
1973 	asm volatile("vcvtdq2ph 0x12345678(%rax,%rcx,8), %ymm1");  in main()
1974 	asm volatile("vcvtdq2ph 0x12345678(%eax,%ecx,8), %ymm1");  in main()
1981 	asm volatile("vcvtph2dq 0x12345678(%rax,%rcx,8), %zmm1");  in main()
1982 	asm volatile("vcvtph2dq 0x12345678(%eax,%ecx,8), %zmm1");  in main()
1984 	asm volatile("vcvtph2dq 0x12345678(%rax,%rcx,8), %xmm1");  in main()
1985 	asm volatile("vcvtph2dq 0x12345678(%eax,%ecx,8), %xmm1");  in main()
1987 	asm volatile("vcvtph2dq 0x12345678(%rax,%rcx,8), %ymm1");  in main()
1988 	asm volatile("vcvtph2dq 0x12345678(%eax,%ecx,8), %ymm1");  in main()
1990 	asm volatile("vcvtph2pd 0x12345678(%rax,%rcx,8), %zmm1");  in main()
1991 	asm volatile("vcvtph2pd 0x12345678(%eax,%ecx,8), %zmm1");  in main()
1993 	asm volatile("vcvtph2pd 0x12345678(%rax,%rcx,8), %xmm1");  in main()
1994 	asm volatile("vcvtph2pd 0x12345678(%eax,%ecx,8), %xmm1");  in main()
1996 	asm volatile("vcvtph2pd 0x12345678(%rax,%rcx,8), %ymm1");  in main()
1997 	asm volatile("vcvtph2pd 0x12345678(%eax,%ecx,8), %ymm1");  in main()
1999 	asm volatile("vcvtph2ps 0x12345678(%rax,%rcx,8), %zmm1");  in main()
2000 	asm volatile("vcvtph2ps 0x12345678(%eax,%ecx,8), %zmm1");  in main()
2002 	asm volatile("vcvtph2ps 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2003 	asm volatile("vcvtph2ps 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2005 	asm volatile("vcvtph2ps 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2006 	asm volatile("vcvtph2ps 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2008 	asm volatile("vcvtph2ps 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2009 	asm volatile("vcvtph2ps 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2011 	asm volatile("vcvtph2ps 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2012 	asm volatile("vcvtph2ps 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2014 	asm volatile("vcvtph2psx 0x12345678(%rax,%rcx,8), %zmm1");  in main()
2015 	asm volatile("vcvtph2psx 0x12345678(%eax,%ecx,8), %zmm1");  in main()
2017 	asm volatile("vcvtph2psx 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2018 	asm volatile("vcvtph2psx 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2020 	asm volatile("vcvtph2psx 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2021 	asm volatile("vcvtph2psx 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2023 	asm volatile("vcvtph2qq 0x12345678(%rax,%rcx,8), %zmm1");  in main()
2024 	asm volatile("vcvtph2qq 0x12345678(%eax,%ecx,8), %zmm1");  in main()
2026 	asm volatile("vcvtph2qq 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2027 	asm volatile("vcvtph2qq 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2029 	asm volatile("vcvtph2qq 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2030 	asm volatile("vcvtph2qq 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2032 	asm volatile("vcvtph2udq 0x12345678(%rax,%rcx,8), %zmm1");  in main()
2033 	asm volatile("vcvtph2udq 0x12345678(%eax,%ecx,8), %zmm1");  in main()
2035 	asm volatile("vcvtph2udq 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2036 	asm volatile("vcvtph2udq 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2038 	asm volatile("vcvtph2udq 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2039 	asm volatile("vcvtph2udq 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2041 	asm volatile("vcvtph2uqq 0x12345678(%rax,%rcx,8), %zmm1");  in main()
2042 	asm volatile("vcvtph2uqq 0x12345678(%eax,%ecx,8), %zmm1");  in main()
2044 	asm volatile("vcvtph2uqq 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2045 	asm volatile("vcvtph2uqq 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2047 	asm volatile("vcvtph2uqq 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2048 	asm volatile("vcvtph2uqq 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2050 	asm volatile("vcvtph2uw 0x12345678(%rax,%rcx,8), %zmm1");  in main()
2051 	asm volatile("vcvtph2uw 0x12345678(%eax,%ecx,8), %zmm1");  in main()
2053 	asm volatile("vcvtph2uw 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2054 	asm volatile("vcvtph2uw 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2056 	asm volatile("vcvtph2uw 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2057 	asm volatile("vcvtph2uw 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2059 	asm volatile("vcvtph2w 0x12345678(%rax,%rcx,8), %zmm1");  in main()
2060 	asm volatile("vcvtph2w 0x12345678(%eax,%ecx,8), %zmm1");  in main()
2062 	asm volatile("vcvtph2w 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2063 	asm volatile("vcvtph2w 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2065 	asm volatile("vcvtph2w 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2066 	asm volatile("vcvtph2w 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2067 	asm volatile("vcvtps2ph $0x12, %zmm1, 0x12345678(%rax,%rcx,8)");  in main()
2068 	asm volatile("vcvtps2ph $0x12, %zmm1, 0x12345678(%eax,%ecx,8)");  in main()
2069 	asm volatile("vcvtps2ph $0x12, %zmm2, %ymm1");  in main()
2070 	asm volatile("vcvtps2ph $0x12, %ymm1, 0x12345678(%rax,%rcx,8)");  in main()
2071 	asm volatile("vcvtps2ph $0x12, %ymm1, 0x12345678(%eax,%ecx,8)");  in main()
2072 	asm volatile("vcvtps2ph $0x12, %xmm1, 0x12345678(%rax,%rcx,8)");  in main()
2073 	asm volatile("vcvtps2ph $0x12, %xmm1, 0x12345678(%eax,%ecx,8)");  in main()
2074 	asm volatile("vcvtps2ph $0x12, %xmm2, %xmm1");  in main()
2075 	asm volatile("vcvtps2ph $0x12, %ymm2, %xmm1");  in main()
2076 	asm volatile("vcvtps2ph $0x12, %ymm2, %xmm1");  in main()
2077 	asm volatile("vcvtps2ph $0x12, %ymm2, 0x12345678(%rax,%rcx,8)");  in main()
2078 	asm volatile("vcvtps2ph $0x12, %ymm2, 0x12345678(%eax,%ecx,8)");  in main()
2079 	asm volatile("vcvtps2ph $0x12, %xmm2, %xmm1");  in main()
2080 	asm volatile("vcvtps2ph $0x12, %xmm2, 0x12345678(%rax,%rcx,8)");  in main()
2081 	asm volatile("vcvtps2ph $0x12, %xmm2, 0x12345678(%eax,%ecx,8)");  in main()
2083 	asm volatile("vcvtps2phx 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2084 	asm volatile("vcvtps2phx 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2090 	asm volatile("vcvtsd2sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2091 	asm volatile("vcvtsh2sd 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2092 	asm volatile("vcvtsh2si 0x12345678(%eax,%ecx,8), %eax");  in main()
2093 	asm volatile("vcvtsh2si 0x12345678(%eax,%ecx,8), %rax");  in main()
2094 	asm volatile("vcvtsh2ss 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2096 	asm volatile("vcvtsh2usi 0x12345678(%rax,%rcx,8), %eax");  in main()
2097 	asm volatile("vcvtsh2usi 0x12345678(%eax,%ecx,8), %eax");  in main()
2099 	asm volatile("vcvtsh2usi 0x12345678(%rax,%rcx,8), %rax");  in main()
2100 	asm volatile("vcvtsh2usi 0x12345678(%eax,%ecx,8), %rax");  in main()
2102 	asm volatile("vcvtsi2sh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2103 	asm volatile("vcvtsi2sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2105 	asm volatile("vcvtsi2sh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2106 	asm volatile("vcvtsi2sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2108 	asm volatile("vcvtss2sh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2109 	asm volatile("vcvtss2sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2111 	asm volatile("vcvttph2dq 0x12345678(%rax,%rcx,8), %zmm1");  in main()
2112 	asm volatile("vcvttph2dq 0x12345678(%eax,%ecx,8), %zmm1");  in main()
2114 	asm volatile("vcvttph2dq 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2115 	asm volatile("vcvttph2dq 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2117 	asm volatile("vcvttph2dq 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2118 	asm volatile("vcvttph2dq 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2120 	asm volatile("vcvttph2qq 0x12345678(%rax,%rcx,8), %zmm1");  in main()
2121 	asm volatile("vcvttph2qq 0x12345678(%eax,%ecx,8), %zmm1");  in main()
2123 	asm volatile("vcvttph2qq 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2124 	asm volatile("vcvttph2qq 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2126 	asm volatile("vcvttph2qq 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2127 	asm volatile("vcvttph2qq 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2129 	asm volatile("vcvttph2udq 0x12345678(%rax,%rcx,8), %zmm1");  in main()
2130 	asm volatile("vcvttph2udq 0x12345678(%eax,%ecx,8), %zmm1");  in main()
2132 	asm volatile("vcvttph2udq 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2133 	asm volatile("vcvttph2udq 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2135 	asm volatile("vcvttph2udq 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2136 	asm volatile("vcvttph2udq 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2138 	asm volatile("vcvttph2uqq 0x12345678(%rax,%rcx,8), %zmm1");  in main()
2139 	asm volatile("vcvttph2uqq 0x12345678(%eax,%ecx,8), %zmm1");  in main()
2141 	asm volatile("vcvttph2uqq 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2142 	asm volatile("vcvttph2uqq 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2144 	asm volatile("vcvttph2uqq 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2145 	asm volatile("vcvttph2uqq 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2147 	asm volatile("vcvttph2uw 0x12345678(%rax,%rcx,8), %zmm1");  in main()
2148 	asm volatile("vcvttph2uw 0x12345678(%eax,%ecx,8), %zmm1");  in main()
2150 	asm volatile("vcvttph2uw 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2151 	asm volatile("vcvttph2uw 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2153 	asm volatile("vcvttph2uw 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2154 	asm volatile("vcvttph2uw 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2156 	asm volatile("vcvttph2w 0x12345678(%rax,%rcx,8), %zmm1");  in main()
2157 	asm volatile("vcvttph2w 0x12345678(%eax,%ecx,8), %zmm1");  in main()
2159 	asm volatile("vcvttph2w 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2160 	asm volatile("vcvttph2w 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2162 	asm volatile("vcvttph2w 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2163 	asm volatile("vcvttph2w 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2165 	asm volatile("vcvttsh2si 0x12345678(%rax,%rcx,8), %eax");  in main()
2166 	asm volatile("vcvttsh2si 0x12345678(%eax,%ecx,8), %eax");  in main()
2168 	asm volatile("vcvttsh2si 0x12345678(%rax,%rcx,8), %rax");  in main()
2169 	asm volatile("vcvttsh2si 0x12345678(%eax,%ecx,8), %rax");  in main()
2171 	asm volatile("vcvttsh2usi 0x12345678(%rax,%rcx,8), %eax");  in main()
2172 	asm volatile("vcvttsh2usi 0x12345678(%eax,%ecx,8), %eax");  in main()
2174 	asm volatile("vcvttsh2usi 0x12345678(%rax,%rcx,8), %rax");  in main()
2175 	asm volatile("vcvttsh2usi 0x12345678(%eax,%ecx,8), %rax");  in main()
2177 	asm volatile("vcvtudq2ph 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2178 	asm volatile("vcvtudq2ph 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2185 	asm volatile("vcvtusi2sh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2186 	asm volatile("vcvtusi2sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2188 	asm volatile("vcvtusi2sh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2189 	asm volatile("vcvtusi2sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2191 	asm volatile("vcvtuw2ph 0x12345678(%rax,%rcx,8), %zmm1");  in main()
2192 	asm volatile("vcvtuw2ph 0x12345678(%eax,%ecx,8), %zmm1");  in main()
2194 	asm volatile("vcvtuw2ph 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2195 	asm volatile("vcvtuw2ph 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2197 	asm volatile("vcvtuw2ph 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2198 	asm volatile("vcvtuw2ph 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2200 	asm volatile("vcvtw2ph 0x12345678(%rax,%rcx,8), %zmm1");  in main()
2201 	asm volatile("vcvtw2ph 0x12345678(%eax,%ecx,8), %zmm1");  in main()
2203 	asm volatile("vcvtw2ph 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2204 	asm volatile("vcvtw2ph 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2206 	asm volatile("vcvtw2ph 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2207 	asm volatile("vcvtw2ph 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2209 	asm volatile("vdivph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2210 	asm volatile("vdivph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2212 	asm volatile("vdivph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2213 	asm volatile("vdivph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2215 	asm volatile("vdivph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2216 	asm volatile("vdivph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2218 	asm volatile("vdivsh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2219 	asm volatile("vdivsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2221 	asm volatile("vfcmaddcph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2222 	asm volatile("vfcmaddcph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2224 	asm volatile("vfcmaddcph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2225 	asm volatile("vfcmaddcph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2227 	asm volatile("vfcmaddcph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2228 	asm volatile("vfcmaddcph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2230 	asm volatile("vfcmaddcsh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2231 	asm volatile("vfcmaddcsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2233 	asm volatile("vfcmulcph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2234 	asm volatile("vfcmulcph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2236 	asm volatile("vfcmulcph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2237 	asm volatile("vfcmulcph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2239 	asm volatile("vfcmulcph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2240 	asm volatile("vfcmulcph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2242 	asm volatile("vfcmulcsh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2243 	asm volatile("vfcmulcsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2245 	asm volatile("vfmadd132ph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2246 	asm volatile("vfmadd132ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2248 	asm volatile("vfmadd132ph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2249 	asm volatile("vfmadd132ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2251 	asm volatile("vfmadd132ph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2252 	asm volatile("vfmadd132ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2254 	asm volatile("vfmadd132sh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2255 	asm volatile("vfmadd132sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2257 	asm volatile("vfmadd213ph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2258 	asm volatile("vfmadd213ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2260 	asm volatile("vfmadd213ph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2261 	asm volatile("vfmadd213ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2263 	asm volatile("vfmadd213ph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2264 	asm volatile("vfmadd213ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2266 	asm volatile("vfmadd213sh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2267 	asm volatile("vfmadd213sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2269 	asm volatile("vfmadd231ph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2270 	asm volatile("vfmadd231ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2272 	asm volatile("vfmadd231ph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2273 	asm volatile("vfmadd231ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2275 	asm volatile("vfmadd231ph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2276 	asm volatile("vfmadd231ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2278 	asm volatile("vfmadd231sh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2279 	asm volatile("vfmadd231sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2281 	asm volatile("vfmaddcph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2282 	asm volatile("vfmaddcph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2284 	asm volatile("vfmaddcph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2285 	asm volatile("vfmaddcph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2287 	asm volatile("vfmaddcph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2288 	asm volatile("vfmaddcph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2290 	asm volatile("vfmaddcsh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2291 	asm volatile("vfmaddcsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2293 	asm volatile("vfmaddsub132ph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2294 	asm volatile("vfmaddsub132ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2296 	asm volatile("vfmaddsub132ph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2297 	asm volatile("vfmaddsub132ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2299 	asm volatile("vfmaddsub132ph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2300 	asm volatile("vfmaddsub132ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2302 	asm volatile("vfmaddsub213ph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2303 	asm volatile("vfmaddsub213ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2305 	asm volatile("vfmaddsub213ph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2306 	asm volatile("vfmaddsub213ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2308 	asm volatile("vfmaddsub213ph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2309 	asm volatile("vfmaddsub213ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2311 	asm volatile("vfmaddsub231ph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2312 	asm volatile("vfmaddsub231ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2314 	asm volatile("vfmaddsub231ph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2315 	asm volatile("vfmaddsub231ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2317 	asm volatile("vfmaddsub231ph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2318 	asm volatile("vfmaddsub231ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2320 	asm volatile("vfmsub132ph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2321 	asm volatile("vfmsub132ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2323 	asm volatile("vfmsub132ph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2324 	asm volatile("vfmsub132ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2326 	asm volatile("vfmsub132ph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2327 	asm volatile("vfmsub132ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2329 	asm volatile("vfmsub132sh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2330 	asm volatile("vfmsub132sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2332 	asm volatile("vfmsub213ph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2333 	asm volatile("vfmsub213ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2335 	asm volatile("vfmsub213ph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2336 	asm volatile("vfmsub213ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2338 	asm volatile("vfmsub213ph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2339 	asm volatile("vfmsub213ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2341 	asm volatile("vfmsub213sh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2342 	asm volatile("vfmsub213sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2344 	asm volatile("vfmsub231ph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2345 	asm volatile("vfmsub231ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2347 	asm volatile("vfmsub231ph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2348 	asm volatile("vfmsub231ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2350 	asm volatile("vfmsub231ph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2351 	asm volatile("vfmsub231ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2353 	asm volatile("vfmsub231sh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2354 	asm volatile("vfmsub231sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2356 	asm volatile("vfmsubadd132ph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2357 	asm volatile("vfmsubadd132ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2359 	asm volatile("vfmsubadd132ph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2360 	asm volatile("vfmsubadd132ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2362 	asm volatile("vfmsubadd132ph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2363 	asm volatile("vfmsubadd132ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2365 	asm volatile("vfmsubadd213ph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2366 	asm volatile("vfmsubadd213ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2368 	asm volatile("vfmsubadd213ph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2369 	asm volatile("vfmsubadd213ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2371 	asm volatile("vfmsubadd213ph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2372 	asm volatile("vfmsubadd213ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2374 	asm volatile("vfmsubadd231ph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2375 	asm volatile("vfmsubadd231ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2377 	asm volatile("vfmsubadd231ph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2378 	asm volatile("vfmsubadd231ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2380 	asm volatile("vfmsubadd231ph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2381 	asm volatile("vfmsubadd231ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2383 	asm volatile("vfmulcph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2384 	asm volatile("vfmulcph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2386 	asm volatile("vfmulcph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2387 	asm volatile("vfmulcph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2389 	asm volatile("vfmulcph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2390 	asm volatile("vfmulcph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2392 	asm volatile("vfmulcsh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2393 	asm volatile("vfmulcsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2395 	asm volatile("vfnmadd132ph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2396 	asm volatile("vfnmadd132ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2398 	asm volatile("vfnmadd132ph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2399 	asm volatile("vfnmadd132ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2401 	asm volatile("vfnmadd132ph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2402 	asm volatile("vfnmadd132ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2404 	asm volatile("vfnmadd132sh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2405 	asm volatile("vfnmadd132sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2407 	asm volatile("vfnmadd213ph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2408 	asm volatile("vfnmadd213ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2410 	asm volatile("vfnmadd213ph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2411 	asm volatile("vfnmadd213ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2413 	asm volatile("vfnmadd213ph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2414 	asm volatile("vfnmadd213ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2416 	asm volatile("vfnmadd213sh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2417 	asm volatile("vfnmadd213sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2419 	asm volatile("vfnmadd231ph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2420 	asm volatile("vfnmadd231ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2422 	asm volatile("vfnmadd231ph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2423 	asm volatile("vfnmadd231ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2425 	asm volatile("vfnmadd231ph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2426 	asm volatile("vfnmadd231ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2428 	asm volatile("vfnmadd231sh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2429 	asm volatile("vfnmadd231sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2431 	asm volatile("vfnmsub132ph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2432 	asm volatile("vfnmsub132ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2434 	asm volatile("vfnmsub132ph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2435 	asm volatile("vfnmsub132ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2437 	asm volatile("vfnmsub132ph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2438 	asm volatile("vfnmsub132ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2440 	asm volatile("vfnmsub132sh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2441 	asm volatile("vfnmsub132sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2443 	asm volatile("vfnmsub213ph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2444 	asm volatile("vfnmsub213ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2446 	asm volatile("vfnmsub213ph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2447 	asm volatile("vfnmsub213ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2449 	asm volatile("vfnmsub213ph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2450 	asm volatile("vfnmsub213ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2452 	asm volatile("vfnmsub213sh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2453 	asm volatile("vfnmsub213sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2455 	asm volatile("vfnmsub231ph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2456 	asm volatile("vfnmsub231ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2458 	asm volatile("vfnmsub231ph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2459 	asm volatile("vfnmsub231ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2461 	asm volatile("vfnmsub231ph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2462 	asm volatile("vfnmsub231ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2464 	asm volatile("vfnmsub231sh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2465 	asm volatile("vfnmsub231sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2466 	asm volatile("vfpclassph $0x12, %zmm1, %k5");  in main()
2467 	asm volatile("vfpclassph $0x12, %xmm1, %k5");  in main()
2468 	asm volatile("vfpclassph $0x12, %ymm1, %k5");  in main()
2469 	asm volatile("vfpclasssh $0x12, %xmm1, %k5");  in main()
2470 	asm volatile("vfpclasssh $0x12, 0x12345678(%rax,%rcx,8), %k5");  in main()
2471 	asm volatile("vfpclasssh $0x12, 0x12345678(%eax,%ecx,8), %k5");  in main()
2473 	asm volatile("vgetexpph 0x12345678(%rax,%rcx,8), %zmm1");  in main()
2474 	asm volatile("vgetexpph 0x12345678(%eax,%ecx,8), %zmm1");  in main()
2476 	asm volatile("vgetexpph 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2477 	asm volatile("vgetexpph 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2479 	asm volatile("vgetexpph 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2480 	asm volatile("vgetexpph 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2482 	asm volatile("vgetexpsh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2483 	asm volatile("vgetexpsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2484 	asm volatile("vgetmantph $0x12, %zmm2, %zmm1");  in main()
2485 	asm volatile("vgetmantph $0x12, 0x12345678(%rax,%rcx,8), %zmm1");  in main()
2486 	asm volatile("vgetmantph $0x12, 0x12345678(%eax,%ecx,8), %zmm1");  in main()
2487 	asm volatile("vgetmantph $0x12, %xmm2, %xmm1");  in main()
2488 	asm volatile("vgetmantph $0x12, 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2489 	asm volatile("vgetmantph $0x12, 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2490 	asm volatile("vgetmantph $0x12, %ymm2, %ymm1");  in main()
2491 	asm volatile("vgetmantph $0x12, 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2492 	asm volatile("vgetmantph $0x12, 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2493 	asm volatile("vgetmantsh $0x12, %xmm3, %xmm2, %xmm1");  in main()
2494 	asm volatile("vgetmantsh $0x12, 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2495 	asm volatile("vgetmantsh $0x12, 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2497 	asm volatile("vmaxph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2498 	asm volatile("vmaxph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2500 	asm volatile("vmaxph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2501 	asm volatile("vmaxph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2503 	asm volatile("vmaxph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2504 	asm volatile("vmaxph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2506 	asm volatile("vmaxsh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2507 	asm volatile("vmaxsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2509 	asm volatile("vminph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2510 	asm volatile("vminph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2512 	asm volatile("vminph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2513 	asm volatile("vminph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2515 	asm volatile("vminph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2516 	asm volatile("vminph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2518 	asm volatile("vminsh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2519 	asm volatile("vminsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2520 	asm volatile("vmovsh %xmm1, 0x12345678(%rax,%rcx,8)");  in main()
2521 	asm volatile("vmovsh %xmm1, 0x12345678(%eax,%ecx,8)");  in main()
2522 	asm volatile("vmovsh 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2523 	asm volatile("vmovsh 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2526 	asm volatile("vmovw %xmm1, 0x12345678(%rax,%rcx,8)");  in main()
2527 	asm volatile("vmovw %xmm1, 0x12345678(%eax,%ecx,8)");  in main()
2529 	asm volatile("vmovw 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2530 	asm volatile("vmovw 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2532 	asm volatile("vmulph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2533 	asm volatile("vmulph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2535 	asm volatile("vmulph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2536 	asm volatile("vmulph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2538 	asm volatile("vmulph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2539 	asm volatile("vmulph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2541 	asm volatile("vmulsh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2542 	asm volatile("vmulsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2544 	asm volatile("vrcpph 0x12345678(%rax,%rcx,8), %zmm1");  in main()
2545 	asm volatile("vrcpph 0x12345678(%eax,%ecx,8), %zmm1");  in main()
2547 	asm volatile("vrcpph 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2548 	asm volatile("vrcpph 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2550 	asm volatile("vrcpph 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2551 	asm volatile("vrcpph 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2553 	asm volatile("vrcpsh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2554 	asm volatile("vrcpsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2555 	asm volatile("vreduceph $0x12, %zmm2, %zmm1");  in main()
2556 	asm volatile("vreduceph $0x12, 0x12345678(%rax,%rcx,8), %zmm1");  in main()
2557 	asm volatile("vreduceph $0x12, 0x12345678(%eax,%ecx,8), %zmm1");  in main()
2558 	asm volatile("vreduceph $0x12, %xmm2, %xmm1");  in main()
2559 	asm volatile("vreduceph $0x12, 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2560 	asm volatile("vreduceph $0x12, 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2561 	asm volatile("vreduceph $0x12, %ymm2, %ymm1");  in main()
2562 	asm volatile("vreduceph $0x12, 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2563 	asm volatile("vreduceph $0x12, 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2564 	asm volatile("vreducesh $0x12, %xmm3, %xmm2, %xmm1");  in main()
2565 	asm volatile("vreducesh $0x12, 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2566 	asm volatile("vreducesh $0x12, 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2567 	asm volatile("vrndscaleph $0x12, %zmm2, %zmm1");  in main()
2568 	asm volatile("vrndscaleph $0x12, 0x12345678(%rax,%rcx,8), %zmm1");  in main()
2569 	asm volatile("vrndscaleph $0x12, 0x12345678(%eax,%ecx,8), %zmm1");  in main()
2570 	asm volatile("vrndscaleph $0x12, %xmm2, %xmm1");  in main()
2571 	asm volatile("vrndscaleph $0x12, 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2572 	asm volatile("vrndscaleph $0x12, 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2573 	asm volatile("vrndscaleph $0x12, %ymm2, %ymm1");  in main()
2574 	asm volatile("vrndscaleph $0x12, 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2575 	asm volatile("vrndscaleph $0x12, 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2576 	asm volatile("vrndscalesh $0x12, %xmm3, %xmm2, %xmm1");  in main()
2577 	asm volatile("vrndscalesh $0x12, 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2578 	asm volatile("vrndscalesh $0x12, 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2580 	asm volatile("vrsqrtph 0x12345678(%rax,%rcx,8), %zmm1");  in main()
2581 	asm volatile("vrsqrtph 0x12345678(%eax,%ecx,8), %zmm1");  in main()
2583 	asm volatile("vrsqrtph 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2584 	asm volatile("vrsqrtph 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2586 	asm volatile("vrsqrtph 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2587 	asm volatile("vrsqrtph 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2589 	asm volatile("vrsqrtsh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2590 	asm volatile("vrsqrtsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2592 	asm volatile("vscalefph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2593 	asm volatile("vscalefph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2595 	asm volatile("vscalefph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2596 	asm volatile("vscalefph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2598 	asm volatile("vscalefph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2599 	asm volatile("vscalefph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2601 	asm volatile("vscalefsh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2602 	asm volatile("vscalefsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2604 	asm volatile("vsqrtph 0x12345678(%rax,%rcx,8), %zmm1");  in main()
2605 	asm volatile("vsqrtph 0x12345678(%eax,%ecx,8), %zmm1");  in main()
2607 	asm volatile("vsqrtph 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2608 	asm volatile("vsqrtph 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2610 	asm volatile("vsqrtph 0x12345678(%rax,%rcx,8), %ymm1");  in main()
2611 	asm volatile("vsqrtph 0x12345678(%eax,%ecx,8), %ymm1");  in main()
2613 	asm volatile("vsqrtsh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2614 	asm volatile("vsqrtsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2616 	asm volatile("vsubph 0x12345678(%rax,%rcx,8), %zmm2, %zmm1");  in main()
2617 	asm volatile("vsubph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
2619 	asm volatile("vsubph 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2620 	asm volatile("vsubph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2622 	asm volatile("vsubph 0x12345678(%rax,%rcx,8), %ymm2, %ymm1");  in main()
2623 	asm volatile("vsubph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
2625 	asm volatile("vsubsh 0x12345678(%rax,%rcx,8), %xmm2, %xmm1");  in main()
2626 	asm volatile("vsubsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
2628 	asm volatile("vucomish 0x12345678(%rax,%rcx,8), %xmm1");  in main()
2629 	asm volatile("vucomish 0x12345678(%eax,%ecx,8), %xmm1");  in main()
2636 	asm volatile("aesenc128kl 0x77(%rdx), %xmm3");  in main()
2637 	asm volatile("aesenc256kl 0x77(%rdx), %xmm3");  in main()
2638 	asm volatile("aesdec128kl 0x77(%rdx), %xmm3");  in main()
2639 	asm volatile("aesdec256kl 0x77(%rdx), %xmm3");  in main()
2640 	asm volatile("aesencwide128kl	0x77(%rdx)");  in main()
2641 	asm volatile("aesencwide256kl	0x77(%rdx)");  in main()
2642 	asm volatile("aesdecwide128kl	0x77(%rdx)");  in main()
2643 	asm volatile("aesdecwide256kl	0x77(%rdx)");  in main()
2649 	asm volatile("aadd %edx,0x12345678(%rax,%rcx,8)");  in main()
2650 	asm volatile("aadd %edx,0x12345678(%r8,%rcx,8)");  in main()
2653 	asm volatile("aadd %rdx,(0x12345678)");  in main()
2654 	asm volatile("aadd %rdx,0x12345678(%rax,%rcx,8)");  in main()
2655 	asm volatile("aadd %rdx,0x12345678(%r8,%rcx,8)");  in main()
2659 	asm volatile("aand %edx,0x12345678(%rax,%rcx,8)");  in main()
2660 	asm volatile("aand %edx,0x12345678(%r8,%rcx,8)");  in main()
2663 	asm volatile("aand %rdx,(0x12345678)");  in main()
2664 	asm volatile("aand %rdx,0x12345678(%rax,%rcx,8)");  in main()
2665 	asm volatile("aand %rdx,0x12345678(%r8,%rcx,8)");  in main()
2669 	asm volatile("aor %edx,0x12345678(%rax,%rcx,8)");  in main()
2670 	asm volatile("aor %edx,0x12345678(%r8,%rcx,8)");  in main()
2673 	asm volatile("aor %rdx,(0x12345678)");  in main()
2674 	asm volatile("aor %rdx,0x12345678(%rax,%rcx,8)");  in main()
2675 	asm volatile("aor %rdx,0x12345678(%r8,%rcx,8)");  in main()
2679 	asm volatile("axor %edx,0x12345678(%rax,%rcx,8)");  in main()
2680 	asm volatile("axor %edx,0x12345678(%r8,%rcx,8)");  in main()
2683 	asm volatile("axor %rdx,(0x12345678)");  in main()
2684 	asm volatile("axor %rdx,0x12345678(%rax,%rcx,8)");  in main()
2685 	asm volatile("axor %rdx,0x12345678(%r8,%rcx,8)");  in main()
2713 	asm volatile("prefetchit0 0x12345678(%rip)");  in main()
2714 	asm volatile("prefetchit1 0x12345678(%rip)");  in main()
2725 	asm volatile("urdmsr $0x7f,%r12");  in main()
2728 	asm volatile("uwrmsr %r12,$0x7f");  in main()
2742 	asm volatile("erets");	/* Expecting: erets indirect 0 */  in main()
2743 	asm volatile("eretu");	/* Expecting: eretu indirect 0 */  in main()
2756 	asm volatile("test $0x5, %r18b");  in main()
2757 	asm volatile("test $0x5, %r18d");  in main()
2758 	asm volatile("test $0x5, %r18");  in main()
2759 	asm volatile("test $0x5, %r18w");  in main()
2790 	asm volatile(""); /* Expecting: jmp indirect 0 */  in main()
2791 	asm volatile(".byte 0xd5, 0x00, 0xa1, 0xef, 0xcd, 0xab, 0x90, 0x78, 0x56, 0x34, 0x12");  in main()
2802 	asm volatile("bextr %r25d,0x123(%r31,%rax,4),%edx");  in main()
2804 	asm volatile("bextr %r31,0x123(%r31,%rax,4),%r15");  in main()
2807 	asm volatile("blsi 0x123(%r31,%rax,4),%r25d");  in main()
2808 	asm volatile("blsi 0x123(%r31,%rax,4),%r31");  in main()
2811 	asm volatile("blsmsk 0x123(%r31,%rax,4),%r25d");  in main()
2812 	asm volatile("blsmsk 0x123(%r31,%rax,4),%r31");  in main()
2815 	asm volatile("blsr 0x123(%r31,%rax,4),%r25d");  in main()
2816 	asm volatile("blsr 0x123(%r31,%rax,4),%r31");  in main()
2818 	asm volatile("bzhi %r25d,0x123(%r31,%rax,4),%edx");  in main()
2820 	asm volatile("bzhi %r31,0x123(%r31,%rax,4),%r15");  in main()
2821 	asm volatile("cmpbexadd %r25d,%edx,0x123(%r31,%rax,4)");  in main()
2822 	asm volatile("cmpbexadd %r31,%r15,0x123(%r31,%rax,4)");  in main()
2823 	asm volatile("cmpbxadd %r25d,%edx,0x123(%r31,%rax,4)");  in main()
2824 	asm volatile("cmpbxadd %r31,%r15,0x123(%r31,%rax,4)");  in main()
2825 	asm volatile("cmplxadd %r25d,%edx,0x123(%r31,%rax,4)");  in main()
2826 	asm volatile("cmplxadd %r31,%r15,0x123(%r31,%rax,4)");  in main()
2827 	asm volatile("cmpnbexadd %r25d,%edx,0x123(%r31,%rax,4)");  in main()
2828 	asm volatile("cmpnbexadd %r31,%r15,0x123(%r31,%rax,4)");  in main()
2829 	asm volatile("cmpnbxadd %r25d,%edx,0x123(%r31,%rax,4)");  in main()
2830 	asm volatile("cmpnbxadd %r31,%r15,0x123(%r31,%rax,4)");  in main()
2831 	asm volatile("cmpnlexadd %r25d,%edx,0x123(%r31,%rax,4)");  in main()
2832 	asm volatile("cmpnlexadd %r31,%r15,0x123(%r31,%rax,4)");  in main()
2833 	asm volatile("cmpnlxadd %r25d,%edx,0x123(%r31,%rax,4)");  in main()
2834 	asm volatile("cmpnlxadd %r31,%r15,0x123(%r31,%rax,4)");  in main()
2835 	asm volatile("cmpnoxadd %r25d,%edx,0x123(%r31,%rax,4)");  in main()
2836 	asm volatile("cmpnoxadd %r31,%r15,0x123(%r31,%rax,4)");  in main()
2837 	asm volatile("cmpnpxadd %r25d,%edx,0x123(%r31,%rax,4)");  in main()
2838 	asm volatile("cmpnpxadd %r31,%r15,0x123(%r31,%rax,4)");  in main()
2839 	asm volatile("cmpnsxadd %r25d,%edx,0x123(%r31,%rax,4)");  in main()
2840 	asm volatile("cmpnsxadd %r31,%r15,0x123(%r31,%rax,4)");  in main()
2841 	asm volatile("cmpnzxadd %r25d,%edx,0x123(%r31,%rax,4)");  in main()
2842 	asm volatile("cmpnzxadd %r31,%r15,0x123(%r31,%rax,4)");  in main()
2843 	asm volatile("cmpoxadd %r25d,%edx,0x123(%r31,%rax,4)");  in main()
2844 	asm volatile("cmpoxadd %r31,%r15,0x123(%r31,%rax,4)");  in main()
2845 	asm volatile("cmppxadd %r25d,%edx,0x123(%r31,%rax,4)");  in main()
2846 	asm volatile("cmppxadd %r31,%r15,0x123(%r31,%rax,4)");  in main()
2847 	asm volatile("cmpsxadd %r25d,%edx,0x123(%r31,%rax,4)");  in main()
2848 	asm volatile("cmpsxadd %r31,%r15,0x123(%r31,%rax,4)");  in main()
2849 	asm volatile("cmpzxadd %r25d,%edx,0x123(%r31,%rax,4)");  in main()
2850 	asm volatile("cmpzxadd %r31,%r15,0x123(%r31,%rax,4)");  in main()
2861 	asm volatile("enqcmd 0x123(%r31d,%eax,4),%r25d");  in main()
2862 	asm volatile("enqcmd 0x123(%r31,%rax,4),%r31");  in main()
2863 	asm volatile("enqcmds 0x123(%r31d,%eax,4),%r25d");  in main()
2864 	asm volatile("enqcmds 0x123(%r31,%rax,4),%r31");  in main()
2865 	asm volatile("invept 0x123(%r31,%rax,4),%r31");  in main()
2866 	asm volatile("invpcid 0x123(%r31,%rax,4),%r31");  in main()
2867 	asm volatile("invvpid 0x123(%r31,%rax,4),%r31");  in main()
2869 	asm volatile("kmovb %k5,0x123(%r31,%rax,4)");  in main()
2871 	asm volatile("kmovb 0x123(%r31,%rax,4),%k5");  in main()
2873 	asm volatile("kmovd %k5,0x123(%r31,%rax,4)");  in main()
2875 	asm volatile("kmovd 0x123(%r31,%rax,4),%k5");  in main()
2877 	asm volatile("kmovq %k5,0x123(%r31,%rax,4)");  in main()
2879 	asm volatile("kmovq 0x123(%r31,%rax,4),%k5");  in main()
2881 	asm volatile("kmovw %k5,0x123(%r31,%rax,4)");  in main()
2883 	asm volatile("kmovw 0x123(%r31,%rax,4),%k5");  in main()
2884 	asm volatile("ldtilecfg 0x123(%r31,%rax,4)");  in main()
2887 	asm volatile("movbe %r18w,0x123(%r16,%rax,4)");  in main()
2888 	asm volatile("movbe %r18w,0x123(%r31,%rax,4)");  in main()
2891 	asm volatile("movbe %r25d,0x123(%r16,%rax,4)");  in main()
2894 	asm volatile("movbe %r31,0x123(%r16,%rax,4)");  in main()
2895 	asm volatile("movbe %r31,0x123(%r31,%rax,4)");  in main()
2896 	asm volatile("movbe 0x123(%r16,%rax,4),%r31");  in main()
2897 	asm volatile("movbe 0x123(%r31,%rax,4),%r18w");  in main()
2898 	asm volatile("movbe 0x123(%r31,%rax,4),%r25d");  in main()
2899 	asm volatile("movdir64b 0x123(%r31d,%eax,4),%r25d");  in main()
2900 	asm volatile("movdir64b 0x123(%r31,%rax,4),%r31");  in main()
2901 	asm volatile("movdiri %r25d,0x123(%r31,%rax,4)");  in main()
2902 	asm volatile("movdiri %r31,0x123(%r31,%rax,4)");  in main()
2905 	asm volatile("pdep 0x123(%r31,%rax,4),%r25d,%edx");  in main()
2906 	asm volatile("pdep 0x123(%r31,%rax,4),%r31,%r15");  in main()
2909 	asm volatile("pext 0x123(%r31,%rax,4),%r25d,%edx");  in main()
2910 	asm volatile("pext 0x123(%r31,%rax,4),%r31,%r15");  in main()
2912 	asm volatile("shlx %r25d,0x123(%r31,%rax,4),%edx");  in main()
2914 	asm volatile("shlx %r31,0x123(%r31,%rax,4),%r15");  in main()
2916 	asm volatile("shrx %r25d,0x123(%r31,%rax,4),%edx");  in main()
2918 	asm volatile("shrx %r31,0x123(%r31,%rax,4),%r15");  in main()
2919 	asm volatile("sttilecfg 0x123(%r31,%rax,4)");  in main()
2920 	asm volatile("tileloadd 0x123(%r31,%rax,4),%tmm6");  in main()
2921 	asm volatile("tileloaddt1 0x123(%r31,%rax,4),%tmm6");  in main()
2922 	asm volatile("tilestored %tmm6,0x123(%r31,%rax,4)");  in main()
2933 	asm volatile("wrssd %r25d,0x123(%r31,%rax,4)");  in main()
2934 	asm volatile("wrssq %r31,0x123(%r31,%rax,4)");  in main()
2935 	asm volatile("wrussd %r25d,0x123(%r31,%rax,4)");  in main()
2936 	asm volatile("wrussq %r31,0x123(%r31,%rax,4)");  in main()
2940 	asm volatile("adc $0x1234,%ax,%r30w");  in main()
2945 	asm volatile("adcl $0x11,(%r19,%rax,4),%r20d");  in main()
2949 	asm volatile("add $0x1234,%ax,%r30w");  in main()
2950 	asm volatile("add $0x12344433,%r15,%r16");  in main()
2951 	asm volatile("add $0x34,%r13b,%r17b");  in main()
2952 	asm volatile("add $0xfffffffff4332211,%rax,%r8");  in main()
2960 	asm volatile("add 0x9090(%r31,%r16,1),%r8,%r16");  in main()
2963 	asm volatile("addl $0x11,(%r19,%rax,4),%r20d");  in main()
2965 	asm volatile("addq $0x12344433,(%r15,%rcx,4),%r16");  in main()
2972 	asm volatile("and $0x1234,%ax,%r30w");  in main()
2977 	asm volatile("andl $0x11,(%r19,%rax,4),%r20d");  in main()
2978 	asm volatile("cmova 0x90909090(%eax),%edx,%r8d");  in main()
2979 	asm volatile("cmovae 0x90909090(%eax),%edx,%r8d");  in main()
2980 	asm volatile("cmovb 0x90909090(%eax),%edx,%r8d");  in main()
2981 	asm volatile("cmovbe 0x90909090(%eax),%edx,%r8d");  in main()
2982 	asm volatile("cmove 0x90909090(%eax),%edx,%r8d");  in main()
2983 	asm volatile("cmovg 0x90909090(%eax),%edx,%r8d");  in main()
2984 	asm volatile("cmovge 0x90909090(%eax),%edx,%r8d");  in main()
2985 	asm volatile("cmovl 0x90909090(%eax),%edx,%r8d");  in main()
2986 	asm volatile("cmovle 0x90909090(%eax),%edx,%r8d");  in main()
2987 	asm volatile("cmovne 0x90909090(%eax),%edx,%r8d");  in main()
2988 	asm volatile("cmovno 0x90909090(%eax),%edx,%r8d");  in main()
2989 	asm volatile("cmovnp 0x90909090(%eax),%edx,%r8d");  in main()
2990 	asm volatile("cmovns 0x90909090(%eax),%edx,%r8d");  in main()
2991 	asm volatile("cmovo 0x90909090(%eax),%edx,%r8d");  in main()
2992 	asm volatile("cmovp 0x90909090(%eax),%edx,%r8d");  in main()
2993 	asm volatile("cmovs 0x90909090(%eax),%edx,%r8d");  in main()
2996 	asm volatile("imul 0x909(%rax,%r31,8),%rdx,%r25");  in main()
2997 	asm volatile("imul 0x90909(%eax),%edx,%r8d");  in main()
3005 	asm volatile("or $0x1234,%ax,%r30w");  in main()
3010 	asm volatile("orl $0x11,(%r19,%rax,4),%r20d");  in main()
3011 	asm volatile("rcl $0x2,%r12b,%r31b");  in main()
3013 	asm volatile("rclb $0x1,(%rax),%r31b");  in main()
3014 	asm volatile("rcll $0x2,(%rax),%r31d");  in main()
3015 	asm volatile("rclw $0x1,(%rax),%r31w");  in main()
3017 	asm volatile("rcr $0x2,%r12b,%r31b");  in main()
3019 	asm volatile("rcrb $0x1,(%rax),%r31b");  in main()
3020 	asm volatile("rcrl $0x2,(%rax),%r31d");  in main()
3021 	asm volatile("rcrw $0x1,(%rax),%r31w");  in main()
3023 	asm volatile("rol $0x2,%r12b,%r31b");  in main()
3025 	asm volatile("rolb $0x1,(%rax),%r31b");  in main()
3026 	asm volatile("roll $0x2,(%rax),%r31d");  in main()
3027 	asm volatile("rolw $0x1,(%rax),%r31w");  in main()
3029 	asm volatile("ror $0x2,%r12b,%r31b");  in main()
3031 	asm volatile("rorb $0x1,(%rax),%r31b");  in main()
3032 	asm volatile("rorl $0x2,(%rax),%r31d");  in main()
3033 	asm volatile("rorw $0x1,(%rax),%r31w");  in main()
3035 	asm volatile("sar $0x2,%r12b,%r31b");  in main()
3037 	asm volatile("sarb $0x1,(%rax),%r31b");  in main()
3038 	asm volatile("sarl $0x2,(%rax),%r31d");  in main()
3039 	asm volatile("sarw $0x1,(%rax),%r31w");  in main()
3041 	asm volatile("sbb $0x1234,%ax,%r30w");  in main()
3046 	asm volatile("sbbl $0x11,(%r19,%rax,4),%r20d");  in main()
3047 	asm volatile("shl $0x2,%r12b,%r31b");  in main()
3048 	asm volatile("shl $0x2,%r12b,%r31b");  in main()
3051 	asm volatile("shlb $0x1,(%rax),%r31b");  in main()
3052 	asm volatile("shlb $0x1,(%rax),%r31b");  in main()
3053 	asm volatile("shld $0x1,%r12,(%rax),%r31");  in main()
3054 	asm volatile("shld $0x2,%r15d,(%rax),%r31d");  in main()
3055 	asm volatile("shld $0x2,%r8w,%r12w,%r31w");  in main()
3059 	asm volatile("shll $0x2,(%rax),%r31d");  in main()
3060 	asm volatile("shll $0x2,(%rax),%r31d");  in main()
3061 	asm volatile("shlw $0x1,(%rax),%r31w");  in main()
3062 	asm volatile("shlw $0x1,(%rax),%r31w");  in main()
3065 	asm volatile("shr $0x2,%r12b,%r31b");  in main()
3067 	asm volatile("shrb $0x1,(%rax),%r31b");  in main()
3068 	asm volatile("shrd $0x1,%r12,(%rax),%r31");  in main()
3069 	asm volatile("shrd $0x2,%r15d,(%rax),%r31d");  in main()
3070 	asm volatile("shrd $0x2,%r8w,%r12w,%r31w");  in main()
3074 	asm volatile("shrl $0x2,(%rax),%r31d");  in main()
3075 	asm volatile("shrw $0x1,(%rax),%r31w");  in main()
3077 	asm volatile("sub $0x1234,%ax,%r30w");  in main()
3082 	asm volatile("subl $0x11,(%r19,%rax,4),%r20d");  in main()
3083 	asm volatile("xor $0x1234,%ax,%r30w");  in main()
3088 	asm volatile("xorl $0x11,(%r19,%rax,4),%r20d");  in main()
3094 	asm volatile("{nf} add 0x123(%r8,%rax,4),%bl,%dl");  in main()
3095 	asm volatile("{nf} add 0x123(%r8,%rax,4),%dx,%ax");  in main()
3098 	asm volatile("{nf} or 0x123(%r8,%rax,4),%bl,%dl");  in main()
3099 	asm volatile("{nf} or 0x123(%r8,%rax,4),%dx,%ax");  in main()
3102 	asm volatile("{nf} and 0x123(%r8,%rax,4),%bl,%dl");  in main()
3103 	asm volatile("{nf} and 0x123(%r8,%rax,4),%dx,%ax");  in main()
3104 	asm volatile("{nf} shld $0x7b,%dx,%ax,%r9w");  in main()
3107 	asm volatile("{nf} sub 0x123(%r8,%rax,4),%bl,%dl");  in main()
3108 	asm volatile("{nf} sub 0x123(%r8,%rax,4),%dx,%ax");  in main()
3109 	asm volatile("{nf} shrd $0x7b,%dx,%ax,%r9w");  in main()
3112 	asm volatile("{nf} xor 0x123(%r8,%rax,4),%bl,%dl");  in main()
3113 	asm volatile("{nf} xor 0x123(%r8,%rax,4),%dx,%ax");  in main()
3114 	asm volatile("{nf} imul $0xff90,%r9,%r15");  in main()
3115 	asm volatile("{nf} imul $0x7b,%r9,%r15");  in main()
3116 	asm volatile("{nf} xor $0x7b,%bl,%dl");  in main()
3117 	asm volatile("{nf} xor $0x7b,%dx,%ax");  in main()
3122 	asm volatile("{nf} sar $0x7b,%bl,%dl");  in main()
3123 	asm volatile("{nf} sar $0x7b,%dx,%ax");  in main()
3141 	asm volatile("bound %eax, 0x12345678(%ecx)");  in main()
3142 	asm volatile("bound %ecx, 0x12345678(%eax)");  in main()
3143 	asm volatile("bound %edx, 0x12345678(%eax)");  in main()
3144 	asm volatile("bound %ebx, 0x12345678(%eax)");  in main()
3145 	asm volatile("bound %esp, 0x12345678(%eax)");  in main()
3146 	asm volatile("bound %ebp, 0x12345678(%eax)");  in main()
3147 	asm volatile("bound %esi, 0x12345678(%eax)");  in main()
3148 	asm volatile("bound %edi, 0x12345678(%eax)");  in main()
3150 	asm volatile("bound %eax, (0x12345678)");  in main()
3152 	asm volatile("bound %edx, 0x12345678(,%eax,1)");  in main()
3155 	asm volatile("bound %edx, 0x12(%eax)");  in main()
3156 	asm volatile("bound %edx, 0x12(%ebp)");  in main()
3157 	asm volatile("bound %edx, 0x12(%ecx,%eax,1)");  in main()
3158 	asm volatile("bound %edx, 0x12(%ebp,%eax,1)");  in main()
3159 	asm volatile("bound %edx, 0x12(%eax,%ecx,1)");  in main()
3160 	asm volatile("bound %edx, 0x12(%eax,%ecx,8)");  in main()
3161 	asm volatile("bound %edx, 0x12345678(%eax)");  in main()
3162 	asm volatile("bound %edx, 0x12345678(%ebp)");  in main()
3163 	asm volatile("bound %edx, 0x12345678(%ecx,%eax,1)");  in main()
3164 	asm volatile("bound %edx, 0x12345678(%ebp,%eax,1)");  in main()
3165 	asm volatile("bound %edx, 0x12345678(%eax,%ecx,1)");  in main()
3166 	asm volatile("bound %edx, 0x12345678(%eax,%ecx,8)");  in main()
3170 	asm volatile("bound %ax, 0x12345678(%ecx)");  in main()
3171 	asm volatile("bound %cx, 0x12345678(%eax)");  in main()
3172 	asm volatile("bound %dx, 0x12345678(%eax)");  in main()
3173 	asm volatile("bound %bx, 0x12345678(%eax)");  in main()
3174 	asm volatile("bound %sp, 0x12345678(%eax)");  in main()
3175 	asm volatile("bound %bp, 0x12345678(%eax)");  in main()
3176 	asm volatile("bound %si, 0x12345678(%eax)");  in main()
3177 	asm volatile("bound %di, 0x12345678(%eax)");  in main()
3179 	asm volatile("bound %ax, (0x12345678)");  in main()
3181 	asm volatile("bound %dx, 0x12345678(,%eax,1)");  in main()
3184 	asm volatile("bound %dx, 0x12(%eax)");  in main()
3185 	asm volatile("bound %dx, 0x12(%ebp)");  in main()
3186 	asm volatile("bound %dx, 0x12(%ecx,%eax,1)");  in main()
3187 	asm volatile("bound %dx, 0x12(%ebp,%eax,1)");  in main()
3188 	asm volatile("bound %dx, 0x12(%eax,%ecx,1)");  in main()
3189 	asm volatile("bound %dx, 0x12(%eax,%ecx,8)");  in main()
3190 	asm volatile("bound %dx, 0x12345678(%eax)");  in main()
3191 	asm volatile("bound %dx, 0x12345678(%ebp)");  in main()
3192 	asm volatile("bound %dx, 0x12345678(%ecx,%eax,1)");  in main()
3193 	asm volatile("bound %dx, 0x12345678(%ebp,%eax,1)");  in main()
3194 	asm volatile("bound %dx, 0x12345678(%eax,%ecx,1)");  in main()
3195 	asm volatile("bound %dx, 0x12345678(%eax,%ecx,8)");  in main()
3200 	asm volatile("cmovno 0x12345678(%eax),%ecx");  in main()
3201 	asm volatile("cmovno 0x12345678(%eax),%cx");  in main()
3204 	asm volatile("cmove 0x12345678(%eax),%ecx");  in main()
3205 	asm volatile("cmove 0x12345678(%eax),%cx");  in main()
3207 	asm volatile("seto    0x12345678(%eax)");  in main()
3208 	asm volatile("setno   0x12345678(%eax)");  in main()
3209 	asm volatile("setb    0x12345678(%eax)");  in main()
3210 	asm volatile("setc    0x12345678(%eax)");  in main()
3211 	asm volatile("setnae  0x12345678(%eax)");  in main()
3212 	asm volatile("setae   0x12345678(%eax)");  in main()
3213 	asm volatile("setnb   0x12345678(%eax)");  in main()
3214 	asm volatile("setnc   0x12345678(%eax)");  in main()
3215 	asm volatile("sets    0x12345678(%eax)");  in main()
3216 	asm volatile("setns   0x12345678(%eax)");  in main()
3261 	asm volatile("kmovw  0x123(%eax,%ecx,8),%k5");  in main()
3263 	asm volatile("kmovw  %k5,0x123(%eax,%ecx,8)");  in main()
3271 	asm volatile("kmovq  0x123(%eax,%ecx,8),%k5");  in main()
3273 	asm volatile("kmovq  %k5,0x123(%eax,%ecx,8)");  in main()
3277 	asm volatile("kmovb  0x123(%eax,%ecx,8),%k5");  in main()
3279 	asm volatile("kmovb  %k5,0x123(%eax,%ecx,8)");  in main()
3287 	asm volatile("kmovd  0x123(%eax,%ecx,8),%k5");  in main()
3289 	asm volatile("kmovd  %k5,0x123(%eax,%ecx,8)");  in main()
3305 	asm volatile("kshiftrw $0x12,%k6,%k5");  in main()
3306 	asm volatile("kshiftrq $0x5b,%k6,%k5");  in main()
3307 	asm volatile("kshiftlw $0x12,%k6,%k5");  in main()
3308 	asm volatile("kshiftlq $0x5b,%k6,%k5");  in main()
3310 	/* AVX-512: Op code 0f 5b */  in main()
3316 	/* AVX-512: Op code 0f 6f */  in main()
3328 	/* AVX-512: Op code 0f 78 */  in main()
3338 	/* AVX-512: Op code 0f 79 */  in main()
3348 	/* AVX-512: Op code 0f 7a */  in main()
3357 	/* AVX-512: Op code 0f 7b */  in main()
3364 	/* AVX-512: Op code 0f 7f */  in main()
3376 	/* AVX-512: Op code 0f db */  in main()
3384 	/* AVX-512: Op code 0f df */  in main()
3392 	/* AVX-512: Op code 0f e6 */  in main()
3400 	/* AVX-512: Op code 0f eb */  in main()
3407 	/* AVX-512: Op code 0f ef */  in main()
3414 	/* AVX-512: Op code 0f 38 10 */  in main()
3420 	/* AVX-512: Op code 0f 38 11 */  in main()
3425 	/* AVX-512: Op code 0f 38 12 */  in main()
3430 	/* AVX-512: Op code 0f 38 13 */  in main()
3436 	/* AVX-512: Op code 0f 38 14 */  in main()
3443 	/* AVX-512: Op code 0f 38 15 */  in main()
3450 	/* AVX-512: Op code 0f 38 16 */  in main()
3456 	/* AVX-512: Op code 0f 38 19 */  in main()
3461 	/* AVX-512: Op code 0f 38 1a */  in main()
3467 	/* AVX-512: Op code 0f 38 1b */  in main()
3472 	/* AVX-512: Op code 0f 38 1f */  in main()
3476 	/* AVX-512: Op code 0f 38 20 */  in main()
3481 	/* AVX-512: Op code 0f 38 21 */  in main()
3486 	/* AVX-512: Op code 0f 38 22 */  in main()
3491 	/* AVX-512: Op code 0f 38 23 */  in main()
3496 	/* AVX-512: Op code 0f 38 24 */  in main()
3501 	/* AVX-512: Op code 0f 38 25 */  in main()
3506 	/* AVX-512: Op code 0f 38 26 */  in main()
3513 	/* AVX-512: Op code 0f 38 27 */  in main()
3520 	/* AVX-512: Op code 0f 38 28 */  in main()
3526 	/* AVX-512: Op code 0f 38 29 */  in main()
3532 	/* AVX-512: Op code 0f 38 2a */  in main()
3537 	/* AVX-512: Op code 0f 38 2c */  in main()
3543 	/* AVX-512: Op code 0f 38 2d */  in main()
3549 	/* AVX-512: Op code 0f 38 30 */  in main()
3554 	/* AVX-512: Op code 0f 38 31 */  in main()
3559 	/* AVX-512: Op code 0f 38 32 */  in main()
3564 	/* AVX-512: Op code 0f 38 33 */  in main()
3569 	/* AVX-512: Op code 0f 38 34 */  in main()
3574 	/* AVX-512: Op code 0f 38 35 */  in main()
3579 	/* AVX-512: Op code 0f 38 36 */  in main()
3585 	/* AVX-512: Op code 0f 38 38 */  in main()
3591 	/* AVX-512: Op code 0f 38 39 */  in main()
3599 	/* AVX-512: Op code 0f 38 3a */  in main()
3604 	/* AVX-512: Op code 0f 38 3b */  in main()
3610 	/* AVX-512: Op code 0f 38 3d */  in main()
3616 	/* AVX-512: Op code 0f 38 3f */  in main()
3622 	/* AVX-512: Op code 0f 38 40 */  in main()
3628 	/* AVX-512: Op code 0f 38 42 */  in main()
3633 	/* AVX-512: Op code 0f 38 43 */  in main()
3638 	/* AVX-512: Op code 0f 38 44 */  in main()
3643 	/* AVX-512: Op code 0f 38 46 */  in main()
3649 	/* AVX-512: Op code 0f 38 4c */  in main()
3654 	/* AVX-512: Op code 0f 38 4d */  in main()
3659 	/* AVX-512: Op code 0f 38 4e */  in main()
3664 	/* AVX-512: Op code 0f 38 4f */  in main()
3669 	/* AVX-512: Op code 0f 38 50 */  in main()
3674 	asm volatile("vpdpbusd 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
3676 	/* AVX-512: Op code 0f 38 51 */  in main()
3681 	asm volatile("vpdpbusds 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
3683 	/* AVX-512: Op code 0f 38 52 */  in main()
3688 	asm volatile("vdpbf16ps 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
3693 	asm volatile("vpdpwssd 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
3696 	asm volatile("vp4dpwssd 0x12345678(%eax,%ecx,8),%zmm0,%zmm4");  in main()
3698 	/* AVX-512: Op code 0f 38 53 */  in main()
3703 	asm volatile("vpdpwssds 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
3706 	asm volatile("vp4dpwssds 0x12345678(%eax,%ecx,8),%zmm0,%zmm4");  in main()
3708 	/* AVX-512: Op code 0f 38 54 */  in main()
3713 	asm volatile("vpopcntb 0x12345678(%eax,%ecx,8),%zmm2");  in main()
3718 	asm volatile("vpopcntw 0x12345678(%eax,%ecx,8),%zmm2");  in main()
3720 	/* AVX-512: Op code 0f 38 55 */  in main()
3725 	asm volatile("vpopcntd 0x12345678(%eax,%ecx,8),%zmm2");  in main()
3730 	asm volatile("vpopcntq 0x12345678(%eax,%ecx,8),%zmm2");  in main()
3732 	/* AVX-512: Op code 0f 38 59 */  in main()
3737 	/* AVX-512: Op code 0f 38 5a */  in main()
3743 	/* AVX-512: Op code 0f 38 5b */  in main()
3748 	/* AVX-512: Op code 0f 38 62 */  in main()
3753 	asm volatile("vpexpandb 0x12345678(%eax,%ecx,8),%zmm2");  in main()
3758 	asm volatile("vpexpandw 0x12345678(%eax,%ecx,8),%zmm2");  in main()
3760 	/* AVX-512: Op code 0f 38 63 */  in main()
3765 	asm volatile("vpcompressb %zmm2,0x12345678(%eax,%ecx,8)");  in main()
3770 	asm volatile("vpcompressw %zmm2,0x12345678(%eax,%ecx,8)");  in main()
3772 	/* AVX-512: Op code 0f 38 64 */  in main()
3777 	/* AVX-512: Op code 0f 38 65 */  in main()
3782 	/* AVX-512: Op code 0f 38 66 */  in main()
3787 	/* AVX-512: Op code 0f 38 68 */  in main()
3792 	asm volatile("vp2intersectd 0x12345678(%eax,%ecx,8),%zmm2,%k3");  in main()
3797 	asm volatile("vp2intersectq 0x12345678(%eax,%ecx,8),%zmm2,%k3");  in main()
3799 	/* AVX-512: Op code 0f 38 70 */  in main()
3804 	asm volatile("vpshldvw 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
3806 	/* AVX-512: Op code 0f 38 71 */  in main()
3811 	asm volatile("vpshldvd 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
3816 	asm volatile("vpshldvq 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
3818 	/* AVX-512: Op code 0f 38 72 */  in main()
3823 	asm volatile("vcvtne2ps2bf16 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
3828 	asm volatile("vcvtneps2bf16 0x12345678(%eax,%ecx,8),%ymm2");  in main()
3833 	asm volatile("vpshrdvw 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
3835 	/* AVX-512: Op code 0f 38 73 */  in main()
3840 	asm volatile("vpshrdvd 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
3845 	asm volatile("vpshrdvq 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
3847 	/* AVX-512: Op code 0f 38 75 */  in main()
3852 	/* AVX-512: Op code 0f 38 76 */  in main()
3857 	/* AVX-512: Op code 0f 38 77 */  in main()
3862 	/* AVX-512: Op code 0f 38 7a */  in main()
3866 	/* AVX-512: Op code 0f 38 7b */  in main()
3870 	/* AVX-512: Op code 0f 38 7c */  in main()
3874 	/* AVX-512: Op code 0f 38 7d */  in main()
3879 	/* AVX-512: Op code 0f 38 7e */  in main()
3884 	/* AVX-512: Op code 0f 38 7f */  in main()
3889 	/* AVX-512: Op code 0f 38 83 */  in main()
3893 	/* AVX-512: Op code 0f 38 88 */  in main()
3898 	/* AVX-512: Op code 0f 38 89 */  in main()
3903 	/* AVX-512: Op code 0f 38 8a */  in main()
3908 	/* AVX-512: Op code 0f 38 8b */  in main()
3913 	/* AVX-512: Op code 0f 38 8d */  in main()
3918 	/* AVX-512: Op code 0f 38 8f */  in main()
3923 	asm volatile("vpshufbitqmb 0x12345678(%eax,%ecx,8),%zmm2,%k3");  in main()
3925 	/* AVX-512: Op code 0f 38 90 */  in main()
3927 	asm volatile("vpgatherdd %xmm2,0x02(%ebp,%xmm7,2),%xmm1");  in main()
3928 	asm volatile("vpgatherdq %xmm2,0x04(%ebp,%xmm7,2),%xmm1");  in main()
3929 	asm volatile("vpgatherdd 0x7b(%ebp,%zmm7,8),%zmm6{%k1}");  in main()
3930 	asm volatile("vpgatherdq 0x7b(%ebp,%ymm7,8),%zmm6{%k1}");  in main()
3932 	/* AVX-512: Op code 0f 38 91 */  in main()
3934 	asm volatile("vpgatherqd %xmm2,0x02(%ebp,%xmm7,2),%xmm1");  in main()
3935 	asm volatile("vpgatherqq %xmm2,0x02(%ebp,%xmm7,2),%xmm1");  in main()
3936 	asm volatile("vpgatherqd 0x7b(%ebp,%zmm7,8),%ymm6{%k1}");  in main()
3937 	asm volatile("vpgatherqq 0x7b(%ebp,%zmm7,8),%zmm6{%k1}");  in main()
3939 	/* AVX-512: Op code 0f 38 9a */  in main()
3944 	asm volatile("vfmsub132ps 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
3949 	asm volatile("vfmsub132pd 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
3952 	asm volatile("v4fmaddps 0x12345678(%eax,%ecx,8),%zmm0,%zmm4");  in main()
3954 	/* AVX-512: Op code 0f 38 9b */  in main()
3957 	asm volatile("vfmsub132ss 0x12345678(%eax,%ecx,8),%xmm2,%xmm3");  in main()
3960 	asm volatile("vfmsub132sd 0x12345678(%eax,%ecx,8),%xmm2,%xmm3");  in main()
3963 	asm volatile("v4fmaddss 0x12345678(%eax,%ecx,8),%xmm0,%xmm4");  in main()
3965 	/* AVX-512: Op code 0f 38 a0 */  in main()
3967 	asm volatile("vpscatterdd %zmm6,0x7b(%ebp,%zmm7,8){%k1}");  in main()
3968 	asm volatile("vpscatterdq %zmm6,0x7b(%ebp,%ymm7,8){%k1}");  in main()
3970 	/* AVX-512: Op code 0f 38 a1 */  in main()
3972 	asm volatile("vpscatterqd %ymm6,0x7b(%ebp,%zmm7,8){%k1}");  in main()
3973 	asm volatile("vpscatterqq %ymm6,0x7b(%ebp,%ymm7,8){%k1}");  in main()
3975 	/* AVX-512: Op code 0f 38 a2 */  in main()
3977 	asm volatile("vscatterdps %zmm6,0x7b(%ebp,%zmm7,8){%k1}");  in main()
3978 	asm volatile("vscatterdpd %zmm6,0x7b(%ebp,%ymm7,8){%k1}");  in main()
3980 	/* AVX-512: Op code 0f 38 a3 */  in main()
3982 	asm volatile("vscatterqps %ymm6,0x7b(%ebp,%zmm7,8){%k1}");  in main()
3983 	asm volatile("vscatterqpd %zmm6,0x7b(%ebp,%zmm7,8){%k1}");  in main()
3985 	/* AVX-512: Op code 0f 38 aa */  in main()
3990 	asm volatile("vfmsub213ps 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
3995 	asm volatile("vfmsub213pd 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
3998 	asm volatile("v4fnmaddps 0x12345678(%eax,%ecx,8),%zmm0,%zmm4");  in main()
4000 	/* AVX-512: Op code 0f 38 ab */  in main()
4003 	asm volatile("vfmsub213ss 0x12345678(%eax,%ecx,8),%xmm2,%xmm3");  in main()
4006 	asm volatile("vfmsub213sd 0x12345678(%eax,%ecx,8),%xmm2,%xmm3");  in main()
4009 	asm volatile("v4fnmaddss 0x12345678(%eax,%ecx,8),%xmm0,%xmm4");  in main()
4011 	/* AVX-512: Op code 0f 38 b4 */  in main()
4015 	/* AVX-512: Op code 0f 38 b5 */  in main()
4019 	/* AVX-512: Op code 0f 38 c4 */  in main()
4024 	/* AVX-512: Op code 0f 38 c8 */  in main()
4029 	/* AVX-512: Op code 0f 38 ca */  in main()
4034 	/* AVX-512: Op code 0f 38 cb */  in main()
4039 	/* AVX-512: Op code 0f 38 cc */  in main()
4044 	/* AVX-512: Op code 0f 38 cd */  in main()
4049 	/* AVX-512: Op code 0f 38 cf */  in main()
4052 	asm volatile("gf2p8mulb 0x12345678(%eax,%ecx,8),%xmm3");  in main()
4057 	asm volatile("vgf2p8mulb 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
4059 	/* AVX-512: Op code 0f 38 dc */  in main()
4064 	asm volatile("vaesenc 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
4066 	/* AVX-512: Op code 0f 38 dd */  in main()
4071 	asm volatile("vaesenclast 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
4073 	/* AVX-512: Op code 0f 38 de */  in main()
4078 	asm volatile("vaesdec 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
4080 	/* AVX-512: Op code 0f 38 df */  in main()
4085 	asm volatile("vaesdeclast 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");  in main()
4087 	/* AVX-512: Op code 0f 3a 03 */  in main()
4089 	asm volatile("valignd $0x12,%zmm5,%zmm6,%zmm7");  in main()
4090 	asm volatile("valignq $0x12,%zmm5,%zmm6,%zmm7");  in main()
4092 	/* AVX-512: Op code 0f 3a 08 */  in main()
4094 	asm volatile("vroundps $0x5,%ymm6,%ymm2");  in main()
4095 	asm volatile("vrndscaleps $0x12,%zmm5,%zmm6");  in main()
4097 	/* AVX-512: Op code 0f 3a 09 */  in main()
4099 	asm volatile("vroundpd $0x5,%ymm6,%ymm2");  in main()
4100 	asm volatile("vrndscalepd $0x12,%zmm5,%zmm6");  in main()
4102 	/* AVX-512: Op code 0f 3a 0a */  in main()
4104 	asm volatile("vroundss $0x5,%xmm4,%xmm6,%xmm2");  in main()
4105 	asm volatile("vrndscaless $0x12,%xmm4,%xmm5,%xmm6{%k7}");  in main()
4107 	/* AVX-512: Op code 0f 3a 0b */  in main()
4109 	asm volatile("vroundsd $0x5,%xmm4,%xmm6,%xmm2");  in main()
4110 	asm volatile("vrndscalesd $0x12,%xmm4,%xmm5,%xmm6{%k7}");  in main()
4112 	/* AVX-512: Op code 0f 3a 18 */  in main()
4114 	asm volatile("vinsertf128 $0x5,%xmm4,%ymm4,%ymm6");  in main()
4115 	asm volatile("vinsertf32x4 $0x12,%xmm4,%zmm5,%zmm6{%k7}");  in main()
4116 	asm volatile("vinsertf64x2 $0x12,%xmm4,%zmm5,%zmm6{%k7}");  in main()
4118 	/* AVX-512: Op code 0f 3a 19 */  in main()
4120 	asm volatile("vextractf128 $0x5,%ymm4,%xmm4");  in main()
4121 	asm volatile("vextractf32x4 $0x12,%zmm5,%xmm6{%k7}");  in main()
4122 	asm volatile("vextractf64x2 $0x12,%zmm5,%xmm6{%k7}");  in main()
4124 	/* AVX-512: Op code 0f 3a 1a */  in main()
4126 	asm volatile("vinsertf32x8 $0x12,%ymm5,%zmm6,%zmm7{%k7}");  in main()
4127 	asm volatile("vinsertf64x4 $0x12,%ymm5,%zmm6,%zmm7{%k7}");  in main()
4129 	/* AVX-512: Op code 0f 3a 1b */  in main()
4131 	asm volatile("vextractf32x8 $0x12,%zmm6,%ymm7{%k7}");  in main()
4132 	asm volatile("vextractf64x4 $0x12,%zmm6,%ymm7{%k7}");  in main()
4134 	/* AVX-512: Op code 0f 3a 1e */  in main()
4136 	asm volatile("vpcmpud $0x12,%zmm6,%zmm7,%k5");  in main()
4137 	asm volatile("vpcmpuq $0x12,%zmm6,%zmm7,%k5");  in main()
4139 	/* AVX-512: Op code 0f 3a 1f */  in main()
4141 	asm volatile("vpcmpd $0x12,%zmm6,%zmm7,%k5");  in main()
4142 	asm volatile("vpcmpq $0x12,%zmm6,%zmm7,%k5");  in main()
4144 	/* AVX-512: Op code 0f 3a 23 */  in main()
4146 	asm volatile("vshuff32x4 $0x12,%zmm5,%zmm6,%zmm7");  in main()
4147 	asm volatile("vshuff64x2 $0x12,%zmm5,%zmm6,%zmm7");  in main()
4149 	/* AVX-512: Op code 0f 3a 25 */  in main()
4151 	asm volatile("vpternlogd $0x12,%zmm5,%zmm6,%zmm7");  in main()
4152 	asm volatile("vpternlogq $0x12,%zmm5,%zmm6,%zmm7");  in main()
4154 	/* AVX-512: Op code 0f 3a 26 */  in main()
4156 	asm volatile("vgetmantps $0x12,%zmm6,%zmm7");  in main()
4157 	asm volatile("vgetmantpd $0x12,%zmm6,%zmm7");  in main()
4159 	/* AVX-512: Op code 0f 3a 27 */  in main()
4161 	asm volatile("vgetmantss $0x12,%xmm5,%xmm6,%xmm7{%k7}");  in main()
4162 	asm volatile("vgetmantsd $0x12,%xmm5,%xmm6,%xmm7{%k7}");  in main()
4164 	/* AVX-512: Op code 0f 3a 38 */  in main()
4166 	asm volatile("vinserti128 $0x5,%xmm4,%ymm4,%ymm6");  in main()
4167 	asm volatile("vinserti32x4 $0x12,%xmm4,%zmm5,%zmm6{%k7}");  in main()
4168 	asm volatile("vinserti64x2 $0x12,%xmm4,%zmm5,%zmm6{%k7}");  in main()
4170 	/* AVX-512: Op code 0f 3a 39 */  in main()
4172 	asm volatile("vextracti128 $0x5,%ymm4,%xmm6");  in main()
4173 	asm volatile("vextracti32x4 $0x12,%zmm5,%xmm6{%k7}");  in main()
4174 	asm volatile("vextracti64x2 $0x12,%zmm5,%xmm6{%k7}");  in main()
4176 	/* AVX-512: Op code 0f 3a 3a */  in main()
4178 	asm volatile("vinserti32x8 $0x12,%ymm5,%zmm6,%zmm7{%k7}");  in main()
4179 	asm volatile("vinserti64x4 $0x12,%ymm5,%zmm6,%zmm7{%k7}");  in main()
4181 	/* AVX-512: Op code 0f 3a 3b */  in main()
4183 	asm volatile("vextracti32x8 $0x12,%zmm6,%ymm7{%k7}");  in main()
4184 	asm volatile("vextracti64x4 $0x12,%zmm6,%ymm7{%k7}");  in main()
4186 	/* AVX-512: Op code 0f 3a 3e */  in main()
4188 	asm volatile("vpcmpub $0x12,%zmm6,%zmm7,%k5");  in main()
4189 	asm volatile("vpcmpuw $0x12,%zmm6,%zmm7,%k5");  in main()
4191 	/* AVX-512: Op code 0f 3a 3f */  in main()
4193 	asm volatile("vpcmpb $0x12,%zmm6,%zmm7,%k5");  in main()
4194 	asm volatile("vpcmpw $0x12,%zmm6,%zmm7,%k5");  in main()
4196 	/* AVX-512: Op code 0f 3a 42 */  in main()
4198 	asm volatile("vmpsadbw $0x5,%ymm4,%ymm6,%ymm2");  in main()
4199 	asm volatile("vdbpsadbw $0x12,%zmm4,%zmm5,%zmm6");  in main()
4201 	/* AVX-512: Op code 0f 3a 43 */  in main()
4203 	asm volatile("vshufi32x4 $0x12,%zmm5,%zmm6,%zmm7");  in main()
4204 	asm volatile("vshufi64x2 $0x12,%zmm5,%zmm6,%zmm7");  in main()
4206 	/* AVX-512: Op code 0f 3a 44 */  in main()
4208 	asm volatile("vpclmulqdq $0x12,%xmm1,%xmm2,%xmm3");  in main()
4209 	asm volatile("vpclmulqdq $0x12,%ymm1,%ymm2,%ymm3");  in main()
4210 	asm volatile("vpclmulqdq $0x12,%zmm1,%zmm2,%zmm3");  in main()
4212 	/* AVX-512: Op code 0f 3a 50 */  in main()
4214 	asm volatile("vrangeps $0x12,%zmm5,%zmm6,%zmm7");  in main()
4215 	asm volatile("vrangepd $0x12,%zmm5,%zmm6,%zmm7");  in main()
4217 	/* AVX-512: Op code 0f 3a 51 */  in main()
4219 	asm volatile("vrangess $0x12,%xmm5,%xmm6,%xmm7");  in main()
4220 	asm volatile("vrangesd $0x12,%xmm5,%xmm6,%xmm7");  in main()
4222 	/* AVX-512: Op code 0f 3a 54 */  in main()
4224 	asm volatile("vfixupimmps $0x12,%zmm5,%zmm6,%zmm7");  in main()
4225 	asm volatile("vfixupimmpd $0x12,%zmm5,%zmm6,%zmm7");  in main()
4227 	/* AVX-512: Op code 0f 3a 55 */  in main()
4229 	asm volatile("vfixupimmss $0x12,%xmm5,%xmm6,%xmm7{%k7}");  in main()
4230 	asm volatile("vfixupimmsd $0x12,%xmm5,%xmm6,%xmm7{%k7}");  in main()
4232 	/* AVX-512: Op code 0f 3a 56 */  in main()
4234 	asm volatile("vreduceps $0x12,%zmm6,%zmm7");  in main()
4235 	asm volatile("vreducepd $0x12,%zmm6,%zmm7");  in main()
4237 	/* AVX-512: Op code 0f 3a 57 */  in main()
4239 	asm volatile("vreducess $0x12,%xmm5,%xmm6,%xmm7");  in main()
4240 	asm volatile("vreducesd $0x12,%xmm5,%xmm6,%xmm7");  in main()
4242 	/* AVX-512: Op code 0f 3a 66 */  in main()
4244 	asm volatile("vfpclassps $0x12,%zmm7,%k5");  in main()
4245 	asm volatile("vfpclasspd $0x12,%zmm7,%k5");  in main()
4247 	/* AVX-512: Op code 0f 3a 67 */  in main()
4249 	asm volatile("vfpclassss $0x12,%xmm7,%k5");  in main()
4250 	asm volatile("vfpclasssd $0x12,%xmm7,%k5");  in main()
4252 	/* AVX-512: Op code 0f 3a 70 */  in main()
4254 	asm volatile("vpshldw $0x12,%xmm1,%xmm2,%xmm3");  in main()
4255 	asm volatile("vpshldw $0x12,%ymm1,%ymm2,%ymm3");  in main()
4256 	asm volatile("vpshldw $0x12,%zmm1,%zmm2,%zmm3");  in main()
4258 	/* AVX-512: Op code 0f 3a 71 */  in main()
4260 	asm volatile("vpshldd $0x12,%xmm1,%xmm2,%xmm3");  in main()
4261 	asm volatile("vpshldd $0x12,%ymm1,%ymm2,%ymm3");  in main()
4262 	asm volatile("vpshldd $0x12,%zmm1,%zmm2,%zmm3");  in main()
4264 	asm volatile("vpshldq $0x12,%xmm1,%xmm2,%xmm3");  in main()
4265 	asm volatile("vpshldq $0x12,%ymm1,%ymm2,%ymm3");  in main()
4266 	asm volatile("vpshldq $0x12,%zmm1,%zmm2,%zmm3");  in main()
4268 	/* AVX-512: Op code 0f 3a 72 */  in main()
4270 	asm volatile("vpshrdw $0x12,%xmm1,%xmm2,%xmm3");  in main()
4271 	asm volatile("vpshrdw $0x12,%ymm1,%ymm2,%ymm3");  in main()
4272 	asm volatile("vpshrdw $0x12,%zmm1,%zmm2,%zmm3");  in main()
4274 	/* AVX-512: Op code 0f 3a 73 */  in main()
4276 	asm volatile("vpshrdd $0x12,%xmm1,%xmm2,%xmm3");  in main()
4277 	asm volatile("vpshrdd $0x12,%ymm1,%ymm2,%ymm3");  in main()
4278 	asm volatile("vpshrdd $0x12,%zmm1,%zmm2,%zmm3");  in main()
4280 	asm volatile("vpshrdq $0x12,%xmm1,%xmm2,%xmm3");  in main()
4281 	asm volatile("vpshrdq $0x12,%ymm1,%ymm2,%ymm3");  in main()
4282 	asm volatile("vpshrdq $0x12,%zmm1,%zmm2,%zmm3");  in main()
4284 	/* AVX-512: Op code 0f 3a ce */  in main()
4286 	asm volatile("gf2p8affineqb $0x12,%xmm1,%xmm3");  in main()
4288 	asm volatile("vgf2p8affineqb $0x12,%xmm1,%xmm2,%xmm3");  in main()
4289 	asm volatile("vgf2p8affineqb $0x12,%ymm1,%ymm2,%ymm3");  in main()
4290 	asm volatile("vgf2p8affineqb $0x12,%zmm1,%zmm2,%zmm3");  in main()
4292 	/* AVX-512: Op code 0f 3a cf */  in main()
4294 	asm volatile("gf2p8affineinvqb $0x12,%xmm1,%xmm3");  in main()
4296 	asm volatile("vgf2p8affineinvqb $0x12,%xmm1,%xmm2,%xmm3");  in main()
4297 	asm volatile("vgf2p8affineinvqb $0x12,%ymm1,%ymm2,%ymm3");  in main()
4298 	asm volatile("vgf2p8affineinvqb $0x12,%zmm1,%zmm2,%zmm3");  in main()
4300 	/* AVX-512: Op code 0f 72 (Grp13) */  in main()
4302 	asm volatile("vprord $0x12,%zmm5,%zmm6");  in main()
4303 	asm volatile("vprorq $0x12,%zmm5,%zmm6");  in main()
4304 	asm volatile("vprold $0x12,%zmm5,%zmm6");  in main()
4305 	asm volatile("vprolq $0x12,%zmm5,%zmm6");  in main()
4306 	asm volatile("psrad  $0x2,%mm6");  in main()
4307 	asm volatile("vpsrad $0x5,%ymm6,%ymm2");  in main()
4308 	asm volatile("vpsrad $0x5,%zmm6,%zmm2");  in main()
4309 	asm volatile("vpsraq $0x5,%zmm6,%zmm2");  in main()
4311 	/* AVX-512: Op code 0f 38 c6 (Grp18) */  in main()
4313 	asm volatile("vgatherpf0dps 0x7b(%ebp,%zmm7,8){%k1}");  in main()
4314 	asm volatile("vgatherpf0dpd 0x7b(%ebp,%ymm7,8){%k1}");  in main()
4315 	asm volatile("vgatherpf1dps 0x7b(%ebp,%zmm7,8){%k1}");  in main()
4316 	asm volatile("vgatherpf1dpd 0x7b(%ebp,%ymm7,8){%k1}");  in main()
4317 	asm volatile("vscatterpf0dps 0x7b(%ebp,%zmm7,8){%k1}");  in main()
4318 	asm volatile("vscatterpf0dpd 0x7b(%ebp,%ymm7,8){%k1}");  in main()
4319 	asm volatile("vscatterpf1dps 0x7b(%ebp,%zmm7,8){%k1}");  in main()
4320 	asm volatile("vscatterpf1dpd 0x7b(%ebp,%ymm7,8){%k1}");  in main()
4322 	/* AVX-512: Op code 0f 38 c7 (Grp19) */  in main()
4324 	asm volatile("vgatherpf0qps 0x7b(%ebp,%zmm7,8){%k1}");  in main()
4325 	asm volatile("vgatherpf0qpd 0x7b(%ebp,%zmm7,8){%k1}");  in main()
4326 	asm volatile("vgatherpf1qps 0x7b(%ebp,%zmm7,8){%k1}");  in main()
4327 	asm volatile("vgatherpf1qpd 0x7b(%ebp,%zmm7,8){%k1}");  in main()
4328 	asm volatile("vscatterpf0qps 0x7b(%ebp,%zmm7,8){%k1}");  in main()
4329 	asm volatile("vscatterpf0qpd 0x7b(%ebp,%zmm7,8){%k1}");  in main()
4330 	asm volatile("vscatterpf1qps 0x7b(%ebp,%zmm7,8){%k1}");  in main()
4331 	asm volatile("vscatterpf1qpd 0x7b(%ebp,%zmm7,8){%k1}");  in main()
4343 	asm volatile("vaddpd 0x123(%eax,%ecx,8),%zmm5,%zmm6");  in main()
4345 	asm volatile("vaddpd 0x1fc0(%edx),%zmm5,%zmm6");  in main()
4346 	asm volatile("vaddpd 0x3f8(%edx){1to8},%zmm5,%zmm6");  in main()
4347 	asm volatile("vcmpeq_uqps 0x1fc(%edx){1to16},%zmm6,%k5");  in main()
4348 	asm volatile("vcmpltsd 0x123(%eax,%ecx,8),%xmm3,%k5{%k7}");  in main()
4350 	asm volatile("vgetmantss $0x5b,0x123(%eax,%ecx,8),%xmm4,%xmm5{%k7}");  in main()
4355 	asm volatile("bndmk (0x12345678), %bnd0");  in main()
4358 	asm volatile("bndmk 0x12345678(,%eax,1), %bnd0");  in main()
4361 	asm volatile("bndmk 0x12(%eax), %bnd0");  in main()
4362 	asm volatile("bndmk 0x12(%ebp), %bnd0");  in main()
4363 	asm volatile("bndmk 0x12(%ecx,%eax,1), %bnd0");  in main()
4364 	asm volatile("bndmk 0x12(%ebp,%eax,1), %bnd0");  in main()
4365 	asm volatile("bndmk 0x12(%eax,%ecx,1), %bnd0");  in main()
4366 	asm volatile("bndmk 0x12(%eax,%ecx,8), %bnd0");  in main()
4367 	asm volatile("bndmk 0x12345678(%eax), %bnd0");  in main()
4368 	asm volatile("bndmk 0x12345678(%ebp), %bnd0");  in main()
4369 	asm volatile("bndmk 0x12345678(%ecx,%eax,1), %bnd0");  in main()
4370 	asm volatile("bndmk 0x12345678(%ebp,%eax,1), %bnd0");  in main()
4371 	asm volatile("bndmk 0x12345678(%eax,%ecx,1), %bnd0");  in main()
4372 	asm volatile("bndmk 0x12345678(%eax,%ecx,8), %bnd0");  in main()
4377 	asm volatile("bndcl (0x12345678), %bnd0");  in main()
4380 	asm volatile("bndcl 0x12345678(,%eax,1), %bnd0");  in main()
4383 	asm volatile("bndcl 0x12(%eax), %bnd0");  in main()
4384 	asm volatile("bndcl 0x12(%ebp), %bnd0");  in main()
4385 	asm volatile("bndcl 0x12(%ecx,%eax,1), %bnd0");  in main()
4386 	asm volatile("bndcl 0x12(%ebp,%eax,1), %bnd0");  in main()
4387 	asm volatile("bndcl 0x12(%eax,%ecx,1), %bnd0");  in main()
4388 	asm volatile("bndcl 0x12(%eax,%ecx,8), %bnd0");  in main()
4389 	asm volatile("bndcl 0x12345678(%eax), %bnd0");  in main()
4390 	asm volatile("bndcl 0x12345678(%ebp), %bnd0");  in main()
4391 	asm volatile("bndcl 0x12345678(%ecx,%eax,1), %bnd0");  in main()
4392 	asm volatile("bndcl 0x12345678(%ebp,%eax,1), %bnd0");  in main()
4393 	asm volatile("bndcl 0x12345678(%eax,%ecx,1), %bnd0");  in main()
4394 	asm volatile("bndcl 0x12345678(%eax,%ecx,8), %bnd0");  in main()
4400 	asm volatile("bndcu (0x12345678), %bnd0");  in main()
4403 	asm volatile("bndcu 0x12345678(,%eax,1), %bnd0");  in main()
4406 	asm volatile("bndcu 0x12(%eax), %bnd0");  in main()
4407 	asm volatile("bndcu 0x12(%ebp), %bnd0");  in main()
4408 	asm volatile("bndcu 0x12(%ecx,%eax,1), %bnd0");  in main()
4409 	asm volatile("bndcu 0x12(%ebp,%eax,1), %bnd0");  in main()
4410 	asm volatile("bndcu 0x12(%eax,%ecx,1), %bnd0");  in main()
4411 	asm volatile("bndcu 0x12(%eax,%ecx,8), %bnd0");  in main()
4412 	asm volatile("bndcu 0x12345678(%eax), %bnd0");  in main()
4413 	asm volatile("bndcu 0x12345678(%ebp), %bnd0");  in main()
4414 	asm volatile("bndcu 0x12345678(%ecx,%eax,1), %bnd0");  in main()
4415 	asm volatile("bndcu 0x12345678(%ebp,%eax,1), %bnd0");  in main()
4416 	asm volatile("bndcu 0x12345678(%eax,%ecx,1), %bnd0");  in main()
4417 	asm volatile("bndcu 0x12345678(%eax,%ecx,8), %bnd0");  in main()
4423 	asm volatile("bndcn (0x12345678), %bnd0");  in main()
4426 	asm volatile("bndcn 0x12345678(,%eax,1), %bnd0");  in main()
4429 	asm volatile("bndcn 0x12(%eax), %bnd0");  in main()
4430 	asm volatile("bndcn 0x12(%ebp), %bnd0");  in main()
4431 	asm volatile("bndcn 0x12(%ecx,%eax,1), %bnd0");  in main()
4432 	asm volatile("bndcn 0x12(%ebp,%eax,1), %bnd0");  in main()
4433 	asm volatile("bndcn 0x12(%eax,%ecx,1), %bnd0");  in main()
4434 	asm volatile("bndcn 0x12(%eax,%ecx,8), %bnd0");  in main()
4435 	asm volatile("bndcn 0x12345678(%eax), %bnd0");  in main()
4436 	asm volatile("bndcn 0x12345678(%ebp), %bnd0");  in main()
4437 	asm volatile("bndcn 0x12345678(%ecx,%eax,1), %bnd0");  in main()
4438 	asm volatile("bndcn 0x12345678(%ebp,%eax,1), %bnd0");  in main()
4439 	asm volatile("bndcn 0x12345678(%eax,%ecx,1), %bnd0");  in main()
4440 	asm volatile("bndcn 0x12345678(%eax,%ecx,8), %bnd0");  in main()
4446 	asm volatile("bndmov (0x12345678), %bnd0");  in main()
4449 	asm volatile("bndmov 0x12345678(,%eax,1), %bnd0");  in main()
4452 	asm volatile("bndmov 0x12(%eax), %bnd0");  in main()
4453 	asm volatile("bndmov 0x12(%ebp), %bnd0");  in main()
4454 	asm volatile("bndmov 0x12(%ecx,%eax,1), %bnd0");  in main()
4455 	asm volatile("bndmov 0x12(%ebp,%eax,1), %bnd0");  in main()
4456 	asm volatile("bndmov 0x12(%eax,%ecx,1), %bnd0");  in main()
4457 	asm volatile("bndmov 0x12(%eax,%ecx,8), %bnd0");  in main()
4458 	asm volatile("bndmov 0x12345678(%eax), %bnd0");  in main()
4459 	asm volatile("bndmov 0x12345678(%ebp), %bnd0");  in main()
4460 	asm volatile("bndmov 0x12345678(%ecx,%eax,1), %bnd0");  in main()
4461 	asm volatile("bndmov 0x12345678(%ebp,%eax,1), %bnd0");  in main()
4462 	asm volatile("bndmov 0x12345678(%eax,%ecx,1), %bnd0");  in main()
4463 	asm volatile("bndmov 0x12345678(%eax,%ecx,8), %bnd0");  in main()
4468 	asm volatile("bndmov %bnd0, (0x12345678)");  in main()
4471 	asm volatile("bndmov %bnd0, 0x12345678(,%eax,1)");  in main()
4474 	asm volatile("bndmov %bnd0, 0x12(%eax)");  in main()
4475 	asm volatile("bndmov %bnd0, 0x12(%ebp)");  in main()
4476 	asm volatile("bndmov %bnd0, 0x12(%ecx,%eax,1)");  in main()
4477 	asm volatile("bndmov %bnd0, 0x12(%ebp,%eax,1)");  in main()
4478 	asm volatile("bndmov %bnd0, 0x12(%eax,%ecx,1)");  in main()
4479 	asm volatile("bndmov %bnd0, 0x12(%eax,%ecx,8)");  in main()
4480 	asm volatile("bndmov %bnd0, 0x12345678(%eax)");  in main()
4481 	asm volatile("bndmov %bnd0, 0x12345678(%ebp)");  in main()
4482 	asm volatile("bndmov %bnd0, 0x12345678(%ecx,%eax,1)");  in main()
4483 	asm volatile("bndmov %bnd0, 0x12345678(%ebp,%eax,1)");  in main()
4484 	asm volatile("bndmov %bnd0, 0x12345678(%eax,%ecx,1)");  in main()
4485 	asm volatile("bndmov %bnd0, 0x12345678(%eax,%ecx,8)");  in main()
4495 	asm volatile("bndldx (0x12345678), %bnd0");  in main()
4498 	asm volatile("bndldx 0x12345678(,%eax,1), %bnd0");  in main()
4500 	asm volatile("bndldx 0x12(%eax), %bnd0");  in main()
4501 	asm volatile("bndldx 0x12(%ebp), %bnd0");  in main()
4502 	asm volatile("bndldx 0x12(%ecx,%eax,1), %bnd0");  in main()
4503 	asm volatile("bndldx 0x12(%ebp,%eax,1), %bnd0");  in main()
4504 	asm volatile("bndldx 0x12(%eax,%ecx,1), %bnd0");  in main()
4505 	asm volatile("bndldx 0x12345678(%eax), %bnd0");  in main()
4506 	asm volatile("bndldx 0x12345678(%ebp), %bnd0");  in main()
4507 	asm volatile("bndldx 0x12345678(%ecx,%eax,1), %bnd0");  in main()
4508 	asm volatile("bndldx 0x12345678(%ebp,%eax,1), %bnd0");  in main()
4509 	asm volatile("bndldx 0x12345678(%eax,%ecx,1), %bnd0");  in main()
4514 	asm volatile("bndstx %bnd0, (0x12345678)");  in main()
4517 	asm volatile("bndstx %bnd0, 0x12345678(,%eax,1)");  in main()
4519 	asm volatile("bndstx %bnd0, 0x12(%eax)");  in main()
4520 	asm volatile("bndstx %bnd0, 0x12(%ebp)");  in main()
4521 	asm volatile("bndstx %bnd0, 0x12(%ecx,%eax,1)");  in main()
4522 	asm volatile("bndstx %bnd0, 0x12(%ebp,%eax,1)");  in main()
4523 	asm volatile("bndstx %bnd0, 0x12(%eax,%ecx,1)");  in main()
4524 	asm volatile("bndstx %bnd0, 0x12345678(%eax)");  in main()
4525 	asm volatile("bndstx %bnd0, 0x12345678(%ebp)");  in main()
4526 	asm volatile("bndstx %bnd0, 0x12345678(%ecx,%eax,1)");  in main()
4527 	asm volatile("bndstx %bnd0, 0x12345678(%ebp,%eax,1)");  in main()
4528 	asm volatile("bndstx %bnd0, 0x12345678(%eax,%ecx,1)");  in main()
4532 	asm volatile("bnd call label1");  /* Expecting: call unconditional 0xfffffffc */  in main()
4533 	asm volatile("bnd call *(%eax)"); /* Expecting: call indirect      0 */  in main()
4534 	asm volatile("bnd ret");          /* Expecting: ret  indirect      0 */  in main()
4535 	asm volatile("bnd jmp label1");   /* Expecting: jmp  unconditional 0xfffffffc */  in main()
4536 	asm volatile("bnd jmp label1");   /* Expecting: jmp  unconditional 0xfffffffc */  in main()
4537 	asm volatile("bnd jmp *(%ecx)");  /* Expecting: jmp  indirect      0 */  in main()
4538 	asm volatile("bnd jne label1");   /* Expecting: jcc  conditional   0xfffffffc */  in main()
4542 	asm volatile("sha1rnds4 $0x0, %xmm1, %xmm0");  in main()
4543 	asm volatile("sha1rnds4 $0x91, %xmm7, %xmm2");  in main()
4544 	asm volatile("sha1rnds4 $0x91, (%eax), %xmm0");  in main()
4545 	asm volatile("sha1rnds4 $0x91, (0x12345678), %xmm0");  in main()
4546 	asm volatile("sha1rnds4 $0x91, (%eax), %xmm3");  in main()
4547 	asm volatile("sha1rnds4 $0x91, (%ecx,%eax,1), %xmm0");  in main()
4548 	asm volatile("sha1rnds4 $0x91, 0x12345678(,%eax,1), %xmm0");  in main()
4549 	asm volatile("sha1rnds4 $0x91, (%eax,%ecx,1), %xmm0");  in main()
4550 	asm volatile("sha1rnds4 $0x91, (%eax,%ecx,8), %xmm0");  in main()
4551 	asm volatile("sha1rnds4 $0x91, 0x12(%eax), %xmm0");  in main()
4552 	asm volatile("sha1rnds4 $0x91, 0x12(%ebp), %xmm0");  in main()
4553 	asm volatile("sha1rnds4 $0x91, 0x12(%ecx,%eax,1), %xmm0");  in main()
4554 	asm volatile("sha1rnds4 $0x91, 0x12(%ebp,%eax,1), %xmm0");  in main()
4555 	asm volatile("sha1rnds4 $0x91, 0x12(%eax,%ecx,1), %xmm0");  in main()
4556 	asm volatile("sha1rnds4 $0x91, 0x12(%eax,%ecx,8), %xmm0");  in main()
4557 	asm volatile("sha1rnds4 $0x91, 0x12345678(%eax), %xmm0");  in main()
4558 	asm volatile("sha1rnds4 $0x91, 0x12345678(%ebp), %xmm0");  in main()
4559 	asm volatile("sha1rnds4 $0x91, 0x12345678(%ecx,%eax,1), %xmm0");  in main()
4560 	asm volatile("sha1rnds4 $0x91, 0x12345678(%ebp,%eax,1), %xmm0");  in main()
4561 	asm volatile("sha1rnds4 $0x91, 0x12345678(%eax,%ecx,1), %xmm0");  in main()
4562 	asm volatile("sha1rnds4 $0x91, 0x12345678(%eax,%ecx,8), %xmm0");  in main()
4569 	asm volatile("sha1nexte (0x12345678), %xmm0");  in main()
4572 	asm volatile("sha1nexte 0x12345678(,%eax,1), %xmm0");  in main()
4575 	asm volatile("sha1nexte 0x12(%eax), %xmm0");  in main()
4576 	asm volatile("sha1nexte 0x12(%ebp), %xmm0");  in main()
4577 	asm volatile("sha1nexte 0x12(%ecx,%eax,1), %xmm0");  in main()
4578 	asm volatile("sha1nexte 0x12(%ebp,%eax,1), %xmm0");  in main()
4579 	asm volatile("sha1nexte 0x12(%eax,%ecx,1), %xmm0");  in main()
4580 	asm volatile("sha1nexte 0x12(%eax,%ecx,8), %xmm0");  in main()
4581 	asm volatile("sha1nexte 0x12345678(%eax), %xmm0");  in main()
4582 	asm volatile("sha1nexte 0x12345678(%ebp), %xmm0");  in main()
4583 	asm volatile("sha1nexte 0x12345678(%ecx,%eax,1), %xmm0");  in main()
4584 	asm volatile("sha1nexte 0x12345678(%ebp,%eax,1), %xmm0");  in main()
4585 	asm volatile("sha1nexte 0x12345678(%eax,%ecx,1), %xmm0");  in main()
4586 	asm volatile("sha1nexte 0x12345678(%eax,%ecx,8), %xmm0");  in main()
4593 	asm volatile("sha1msg1 (0x12345678), %xmm0");  in main()
4596 	asm volatile("sha1msg1 0x12345678(,%eax,1), %xmm0");  in main()
4599 	asm volatile("sha1msg1 0x12(%eax), %xmm0");  in main()
4600 	asm volatile("sha1msg1 0x12(%ebp), %xmm0");  in main()
4601 	asm volatile("sha1msg1 0x12(%ecx,%eax,1), %xmm0");  in main()
4602 	asm volatile("sha1msg1 0x12(%ebp,%eax,1), %xmm0");  in main()
4603 	asm volatile("sha1msg1 0x12(%eax,%ecx,1), %xmm0");  in main()
4604 	asm volatile("sha1msg1 0x12(%eax,%ecx,8), %xmm0");  in main()
4605 	asm volatile("sha1msg1 0x12345678(%eax), %xmm0");  in main()
4606 	asm volatile("sha1msg1 0x12345678(%ebp), %xmm0");  in main()
4607 	asm volatile("sha1msg1 0x12345678(%ecx,%eax,1), %xmm0");  in main()
4608 	asm volatile("sha1msg1 0x12345678(%ebp,%eax,1), %xmm0");  in main()
4609 	asm volatile("sha1msg1 0x12345678(%eax,%ecx,1), %xmm0");  in main()
4610 	asm volatile("sha1msg1 0x12345678(%eax,%ecx,8), %xmm0");  in main()
4617 	asm volatile("sha1msg2 (0x12345678), %xmm0");  in main()
4620 	asm volatile("sha1msg2 0x12345678(,%eax,1), %xmm0");  in main()
4623 	asm volatile("sha1msg2 0x12(%eax), %xmm0");  in main()
4624 	asm volatile("sha1msg2 0x12(%ebp), %xmm0");  in main()
4625 	asm volatile("sha1msg2 0x12(%ecx,%eax,1), %xmm0");  in main()
4626 	asm volatile("sha1msg2 0x12(%ebp,%eax,1), %xmm0");  in main()
4627 	asm volatile("sha1msg2 0x12(%eax,%ecx,1), %xmm0");  in main()
4628 	asm volatile("sha1msg2 0x12(%eax,%ecx,8), %xmm0");  in main()
4629 	asm volatile("sha1msg2 0x12345678(%eax), %xmm0");  in main()
4630 	asm volatile("sha1msg2 0x12345678(%ebp), %xmm0");  in main()
4631 	asm volatile("sha1msg2 0x12345678(%ecx,%eax,1), %xmm0");  in main()
4632 	asm volatile("sha1msg2 0x12345678(%ebp,%eax,1), %xmm0");  in main()
4633 	asm volatile("sha1msg2 0x12345678(%eax,%ecx,1), %xmm0");  in main()
4634 	asm volatile("sha1msg2 0x12345678(%eax,%ecx,8), %xmm0");  in main()
4642 	asm volatile("sha256rnds2 (0x12345678), %xmm1");  in main()
4645 	asm volatile("sha256rnds2 0x12345678(,%eax,1), %xmm1");  in main()
4648 	asm volatile("sha256rnds2 0x12(%eax), %xmm1");  in main()
4649 	asm volatile("sha256rnds2 0x12(%ebp), %xmm1");  in main()
4650 	asm volatile("sha256rnds2 0x12(%ecx,%eax,1), %xmm1");  in main()
4651 	asm volatile("sha256rnds2 0x12(%ebp,%eax,1), %xmm1");  in main()
4652 	asm volatile("sha256rnds2 0x12(%eax,%ecx,1), %xmm1");  in main()
4653 	asm volatile("sha256rnds2 0x12(%eax,%ecx,8), %xmm1");  in main()
4654 	asm volatile("sha256rnds2 0x12345678(%eax), %xmm1");  in main()
4655 	asm volatile("sha256rnds2 0x12345678(%ebp), %xmm1");  in main()
4656 	asm volatile("sha256rnds2 0x12345678(%ecx,%eax,1), %xmm1");  in main()
4657 	asm volatile("sha256rnds2 0x12345678(%ebp,%eax,1), %xmm1");  in main()
4658 	asm volatile("sha256rnds2 0x12345678(%eax,%ecx,1), %xmm1");  in main()
4659 	asm volatile("sha256rnds2 0x12345678(%eax,%ecx,8), %xmm1");  in main()
4666 	asm volatile("sha256msg1 (0x12345678), %xmm0");  in main()
4669 	asm volatile("sha256msg1 0x12345678(,%eax,1), %xmm0");  in main()
4672 	asm volatile("sha256msg1 0x12(%eax), %xmm0");  in main()
4673 	asm volatile("sha256msg1 0x12(%ebp), %xmm0");  in main()
4674 	asm volatile("sha256msg1 0x12(%ecx,%eax,1), %xmm0");  in main()
4675 	asm volatile("sha256msg1 0x12(%ebp,%eax,1), %xmm0");  in main()
4676 	asm volatile("sha256msg1 0x12(%eax,%ecx,1), %xmm0");  in main()
4677 	asm volatile("sha256msg1 0x12(%eax,%ecx,8), %xmm0");  in main()
4678 	asm volatile("sha256msg1 0x12345678(%eax), %xmm0");  in main()
4679 	asm volatile("sha256msg1 0x12345678(%ebp), %xmm0");  in main()
4680 	asm volatile("sha256msg1 0x12345678(%ecx,%eax,1), %xmm0");  in main()
4681 	asm volatile("sha256msg1 0x12345678(%ebp,%eax,1), %xmm0");  in main()
4682 	asm volatile("sha256msg1 0x12345678(%eax,%ecx,1), %xmm0");  in main()
4683 	asm volatile("sha256msg1 0x12345678(%eax,%ecx,8), %xmm0");  in main()
4690 	asm volatile("sha256msg2 (0x12345678), %xmm0");  in main()
4693 	asm volatile("sha256msg2 0x12345678(,%eax,1), %xmm0");  in main()
4696 	asm volatile("sha256msg2 0x12(%eax), %xmm0");  in main()
4697 	asm volatile("sha256msg2 0x12(%ebp), %xmm0");  in main()
4698 	asm volatile("sha256msg2 0x12(%ecx,%eax,1), %xmm0");  in main()
4699 	asm volatile("sha256msg2 0x12(%ebp,%eax,1), %xmm0");  in main()
4700 	asm volatile("sha256msg2 0x12(%eax,%ecx,1), %xmm0");  in main()
4701 	asm volatile("sha256msg2 0x12(%eax,%ecx,8), %xmm0");  in main()
4702 	asm volatile("sha256msg2 0x12345678(%eax), %xmm0");  in main()
4703 	asm volatile("sha256msg2 0x12345678(%ebp), %xmm0");  in main()
4704 	asm volatile("sha256msg2 0x12345678(%ecx,%eax,1), %xmm0");  in main()
4705 	asm volatile("sha256msg2 0x12345678(%ebp,%eax,1), %xmm0");  in main()
4706 	asm volatile("sha256msg2 0x12345678(%eax,%ecx,1), %xmm0");  in main()
4707 	asm volatile("sha256msg2 0x12345678(%eax,%ecx,8), %xmm0");  in main()
4712 	asm volatile("clflushopt (0x12345678)");  in main()
4713 	asm volatile("clflushopt 0x12345678(%eax,%ecx,8)");  in main()
4721 	asm volatile("clwb (0x12345678)");  in main()
4722 	asm volatile("clwb 0x12345678(%eax,%ecx,8)");  in main()
4730 	asm volatile("cldemote (0x12345678)");  in main()
4731 	asm volatile("cldemote 0x12345678(%eax,%ecx,8)");  in main()
4736 	asm volatile("xsavec (0x12345678)");  in main()
4737 	asm volatile("xsavec 0x12345678(%eax,%ecx,8)");  in main()
4742 	asm volatile("xsaves (0x12345678)");  in main()
4743 	asm volatile("xsaves 0x12345678(%eax,%ecx,8)");  in main()
4748 	asm volatile("xrstors (0x12345678)");  in main()
4749 	asm volatile("xrstors 0x12345678(%eax,%ecx,8)");  in main()
4754 	asm volatile("ptwrite (0x12345678)");  in main()
4755 	asm volatile("ptwrite 0x12345678(%eax,%ecx,8)");  in main()
4758 	asm volatile("ptwritel (0x12345678)");  in main()
4759 	asm volatile("ptwritel 0x12345678(%eax,%ecx,8)");  in main()
4777 	asm volatile("movdiri %ecx,0x12345678(%eax)");  in main()
4782 	asm volatile("movdir64b 0x12345678(%eax),%ecx");  in main()
4784 	asm volatile("movdir64b 0x1234(%si),%cx");  in main()
4789 	asm volatile("enqcmd 0x12345678(%eax),%ecx");  in main()
4791 	asm volatile("enqcmd 0x1234(%si),%cx");  in main()
4796 	asm volatile("enqcmds 0x12345678(%eax),%ecx");  in main()
4798 	asm volatile("enqcmds 0x1234(%si),%cx");  in main()
4805 	asm volatile("xrstor (0x12345678)");  in main()
4806 	asm volatile("xrstor 0x12345678(%eax,%ecx,8)");  in main()
4820 	asm volatile("rstorssp (0x12345678)");  in main()
4821 	asm volatile("rstorssp 0x12345678(%eax,%ecx,8)");  in main()
4826 	asm volatile("wrssd %edx,(0x12345678)");  in main()
4827 	asm volatile("wrssd %edx,0x12345678(%eax,%ecx,8)");  in main()
4832 	asm volatile("wrussd %edx,(0x12345678)");  in main()
4833 	asm volatile("wrussd %edx,0x12345678(%eax,%ecx,8)");  in main()
4845 	asm volatile("clrssbsy (0x12345678)");  in main()
4846 	asm volatile("clrssbsy 0x12345678(%eax,%ecx,8)");  in main()
4855 	asm volatile("call *%eax");				/* Expecting: call indirect 0 */  in main()
4856 	asm volatile("call *(%eax)");				/* Expecting: call indirect 0 */  in main()
4857 	asm volatile("call *(0x12345678)");			/* Expecting: call indirect 0 */  in main()
4858 	asm volatile("call *0x12345678(%eax,%ecx,8)");		/* Expecting: call indirect 0 */  in main()
4860 	asm volatile("bnd call *%eax");				/* Expecting: call indirect 0 */  in main()
4861 	asm volatile("bnd call *(%eax)");			/* Expecting: call indirect 0 */  in main()
4862 	asm volatile("bnd call *(0x12345678)");			/* Expecting: call indirect 0 */  in main()
4863 	asm volatile("bnd call *0x12345678(%eax,%ecx,8)");	/* Expecting: call indirect 0 */  in main()
4865 	asm volatile("notrack call *%eax");			/* Expecting: call indirect 0 */  in main()
4866 	asm volatile("notrack call *(%eax)");			/* Expecting: call indirect 0 */  in main()
4867 	asm volatile("notrack call *(0x12345678)");		/* Expecting: call indirect 0 */  in main()
4868 	asm volatile("notrack call *0x12345678(%eax,%ecx,8)");	/* Expecting: call indirect 0 */  in main()
4870 	asm volatile("notrack bnd call *%eax");			/* Expecting: call indirect 0 */  in main()
4871 	asm volatile("notrack bnd call *(%eax)");		/* Expecting: call indirect 0 */  in main()
4872 	asm volatile("notrack bnd call *(0x12345678)");		/* Expecting: call indirect 0 */  in main()
4873 	asm volatile("notrack bnd call *0x12345678(%eax,%ecx,8)"); /* Expecting: call indirect 0 */  in main()
4877 	asm volatile("jmp *%eax");				/* Expecting: jmp indirect 0 */  in main()
4878 	asm volatile("jmp *(%eax)");				/* Expecting: jmp indirect 0 */  in main()
4879 	asm volatile("jmp *(0x12345678)");			/* Expecting: jmp indirect 0 */  in main()
4880 	asm volatile("jmp *0x12345678(%eax,%ecx,8)");		/* Expecting: jmp indirect 0 */  in main()
4882 	asm volatile("bnd jmp *%eax");				/* Expecting: jmp indirect 0 */  in main()
4883 	asm volatile("bnd jmp *(%eax)");			/* Expecting: jmp indirect 0 */  in main()
4884 	asm volatile("bnd jmp *(0x12345678)");			/* Expecting: jmp indirect 0 */  in main()
4885 	asm volatile("bnd jmp *0x12345678(%eax,%ecx,8)");	/* Expecting: jmp indirect 0 */  in main()
4887 	asm volatile("notrack jmp *%eax");			/* Expecting: jmp indirect 0 */  in main()
4888 	asm volatile("notrack jmp *(%eax)");			/* Expecting: jmp indirect 0 */  in main()
4889 	asm volatile("notrack jmp *(0x12345678)");		/* Expecting: jmp indirect 0 */  in main()
4890 	asm volatile("notrack jmp *0x12345678(%eax,%ecx,8)");	/* Expecting: jmp indirect 0 */  in main()
4892 	asm volatile("notrack bnd jmp *%eax");			/* Expecting: jmp indirect 0 */  in main()
4893 	asm volatile("notrack bnd jmp *(%eax)");		/* Expecting: jmp indirect 0 */  in main()
4894 	asm volatile("notrack bnd jmp *(0x12345678)");		/* Expecting: jmp indirect 0 */  in main()
4895 	asm volatile("notrack bnd jmp *0x12345678(%eax,%ecx,8)"); /* Expecting: jmp indirect 0 */  in main()
4900 	asm volatile("vaddph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
4902 	asm volatile("vaddph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
4904 	asm volatile("vaddph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
4906 	asm volatile("vaddsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
4907 	asm volatile("vcmpph $0x12, %zmm3, %zmm2, %k5");  in main()
4908 	asm volatile("vcmpph $0x12, 0x12345678(%eax,%ecx,8), %zmm2, %k5");  in main()
4909 	asm volatile("vcmpph $0x12, %xmm3, %xmm2, %k5");  in main()
4910 	asm volatile("vcmpph $0x12, 0x12345678(%eax,%ecx,8), %xmm2, %k5");  in main()
4911 	asm volatile("vcmpph $0x12, %ymm3, %ymm2, %k5");  in main()
4912 	asm volatile("vcmpph $0x12, 0x12345678(%eax,%ecx,8), %ymm2, %k5");  in main()
4913 	asm volatile("vcmpsh $0x12, %xmm3, %xmm2, %k5");  in main()
4914 	asm volatile("vcmpsh $0x12, 0x12345678(%eax,%ecx,8), %xmm2, %k5");  in main()
4916 	asm volatile("vcomish 0x12345678(%eax,%ecx,8), %xmm1");  in main()
4918 	asm volatile("vcvtdq2ph 0x12345678(%eax,%ecx,8), %ymm1");  in main()
4925 	asm volatile("vcvtph2dq 0x12345678(%eax,%ecx,8), %zmm1");  in main()
4927 	asm volatile("vcvtph2dq 0x12345678(%eax,%ecx,8), %xmm1");  in main()
4929 	asm volatile("vcvtph2dq 0x12345678(%eax,%ecx,8), %ymm1");  in main()
4931 	asm volatile("vcvtph2pd 0x12345678(%eax,%ecx,8), %zmm1");  in main()
4933 	asm volatile("vcvtph2pd 0x12345678(%eax,%ecx,8), %xmm1");  in main()
4935 	asm volatile("vcvtph2pd 0x12345678(%eax,%ecx,8), %ymm1");  in main()
4937 	asm volatile("vcvtph2ps 0x12345678(%eax,%ecx,8), %zmm1");  in main()
4939 	asm volatile("vcvtph2ps 0x12345678(%eax,%ecx,8), %xmm1");  in main()
4941 	asm volatile("vcvtph2ps 0x12345678(%eax,%ecx,8), %ymm1");  in main()
4943 	asm volatile("vcvtph2ps 0x12345678(%eax,%ecx,8), %xmm1");  in main()
4945 	asm volatile("vcvtph2ps 0x12345678(%eax,%ecx,8), %ymm1");  in main()
4947 	asm volatile("vcvtph2psx 0x12345678(%eax,%ecx,8), %zmm1");  in main()
4949 	asm volatile("vcvtph2psx 0x12345678(%eax,%ecx,8), %xmm1");  in main()
4951 	asm volatile("vcvtph2psx 0x12345678(%eax,%ecx,8), %ymm1");  in main()
4953 	asm volatile("vcvtph2qq 0x12345678(%eax,%ecx,8), %zmm1");  in main()
4955 	asm volatile("vcvtph2qq 0x12345678(%eax,%ecx,8), %xmm1");  in main()
4957 	asm volatile("vcvtph2qq 0x12345678(%eax,%ecx,8), %ymm1");  in main()
4959 	asm volatile("vcvtph2udq 0x12345678(%eax,%ecx,8), %zmm1");  in main()
4961 	asm volatile("vcvtph2udq 0x12345678(%eax,%ecx,8), %xmm1");  in main()
4963 	asm volatile("vcvtph2udq 0x12345678(%eax,%ecx,8), %ymm1");  in main()
4965 	asm volatile("vcvtph2uqq 0x12345678(%eax,%ecx,8), %zmm1");  in main()
4967 	asm volatile("vcvtph2uqq 0x12345678(%eax,%ecx,8), %xmm1");  in main()
4969 	asm volatile("vcvtph2uqq 0x12345678(%eax,%ecx,8), %ymm1");  in main()
4971 	asm volatile("vcvtph2uw 0x12345678(%eax,%ecx,8), %zmm1");  in main()
4973 	asm volatile("vcvtph2uw 0x12345678(%eax,%ecx,8), %xmm1");  in main()
4975 	asm volatile("vcvtph2uw 0x12345678(%eax,%ecx,8), %ymm1");  in main()
4977 	asm volatile("vcvtph2w 0x12345678(%eax,%ecx,8), %zmm1");  in main()
4979 	asm volatile("vcvtph2w 0x12345678(%eax,%ecx,8), %xmm1");  in main()
4981 	asm volatile("vcvtph2w 0x12345678(%eax,%ecx,8), %ymm1");  in main()
4982 	asm volatile("vcvtps2ph $0x12, %zmm1, 0x12345678(%eax,%ecx,8)");  in main()
4983 	asm volatile("vcvtps2ph $0x12, %zmm2, %ymm1");  in main()
4984 	asm volatile("vcvtps2ph $0x12, %ymm1, 0x12345678(%eax,%ecx,8)");  in main()
4985 	asm volatile("vcvtps2ph $0x12, %xmm1, 0x12345678(%eax,%ecx,8)");  in main()
4986 	asm volatile("vcvtps2ph $0x12, %xmm2, %xmm1");  in main()
4987 	asm volatile("vcvtps2ph $0x12, %ymm2, %xmm1");  in main()
4988 	asm volatile("vcvtps2ph $0x12, %ymm2, %xmm1");  in main()
4989 	asm volatile("vcvtps2ph $0x12, %ymm2, 0x12345678(%eax,%ecx,8)");  in main()
4990 	asm volatile("vcvtps2ph $0x12, %xmm2, %xmm1");  in main()
4991 	asm volatile("vcvtps2ph $0x12, %xmm2, 0x12345678(%eax,%ecx,8)");  in main()
4993 	asm volatile("vcvtps2phx 0x12345678(%eax,%ecx,8), %ymm1");  in main()
4999 	asm volatile("vcvtsd2sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5000 	asm volatile("vcvtsh2sd 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5001 	asm volatile("vcvtsh2si 0x12345678(%eax,%ecx,8), %eax");  in main()
5002 	asm volatile("vcvtsh2ss 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5004 	asm volatile("vcvtsh2usi 0x12345678(%eax,%ecx,8), %eax");  in main()
5006 	asm volatile("vcvtsi2sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5007 	asm volatile("vcvtsi2sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5009 	asm volatile("vcvtss2sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5011 	asm volatile("vcvttph2dq 0x12345678(%eax,%ecx,8), %zmm1");  in main()
5013 	asm volatile("vcvttph2dq 0x12345678(%eax,%ecx,8), %xmm1");  in main()
5015 	asm volatile("vcvttph2dq 0x12345678(%eax,%ecx,8), %ymm1");  in main()
5017 	asm volatile("vcvttph2qq 0x12345678(%eax,%ecx,8), %zmm1");  in main()
5019 	asm volatile("vcvttph2qq 0x12345678(%eax,%ecx,8), %xmm1");  in main()
5021 	asm volatile("vcvttph2qq 0x12345678(%eax,%ecx,8), %ymm1");  in main()
5023 	asm volatile("vcvttph2udq 0x12345678(%eax,%ecx,8), %zmm1");  in main()
5025 	asm volatile("vcvttph2udq 0x12345678(%eax,%ecx,8), %xmm1");  in main()
5027 	asm volatile("vcvttph2udq 0x12345678(%eax,%ecx,8), %ymm1");  in main()
5029 	asm volatile("vcvttph2uqq 0x12345678(%eax,%ecx,8), %zmm1");  in main()
5031 	asm volatile("vcvttph2uqq 0x12345678(%eax,%ecx,8), %xmm1");  in main()
5033 	asm volatile("vcvttph2uqq 0x12345678(%eax,%ecx,8), %ymm1");  in main()
5035 	asm volatile("vcvttph2uw 0x12345678(%eax,%ecx,8), %zmm1");  in main()
5037 	asm volatile("vcvttph2uw 0x12345678(%eax,%ecx,8), %xmm1");  in main()
5039 	asm volatile("vcvttph2uw 0x12345678(%eax,%ecx,8), %ymm1");  in main()
5041 	asm volatile("vcvttph2w 0x12345678(%eax,%ecx,8), %zmm1");  in main()
5043 	asm volatile("vcvttph2w 0x12345678(%eax,%ecx,8), %xmm1");  in main()
5045 	asm volatile("vcvttph2w 0x12345678(%eax,%ecx,8), %ymm1");  in main()
5047 	asm volatile("vcvttsh2si 0x12345678(%eax,%ecx,8), %eax");  in main()
5049 	asm volatile("vcvttsh2usi 0x12345678(%eax,%ecx,8), %eax");  in main()
5051 	asm volatile("vcvtudq2ph 0x12345678(%eax,%ecx,8), %ymm1");  in main()
5058 	asm volatile("vcvtusi2sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5059 	asm volatile("vcvtusi2sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5061 	asm volatile("vcvtuw2ph 0x12345678(%eax,%ecx,8), %zmm1");  in main()
5063 	asm volatile("vcvtuw2ph 0x12345678(%eax,%ecx,8), %xmm1");  in main()
5065 	asm volatile("vcvtuw2ph 0x12345678(%eax,%ecx,8), %ymm1");  in main()
5067 	asm volatile("vcvtw2ph 0x12345678(%eax,%ecx,8), %zmm1");  in main()
5069 	asm volatile("vcvtw2ph 0x12345678(%eax,%ecx,8), %xmm1");  in main()
5071 	asm volatile("vcvtw2ph 0x12345678(%eax,%ecx,8), %ymm1");  in main()
5073 	asm volatile("vdivph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5075 	asm volatile("vdivph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5077 	asm volatile("vdivph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5079 	asm volatile("vdivsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5081 	asm volatile("vfcmaddcph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5083 	asm volatile("vfcmaddcph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5085 	asm volatile("vfcmaddcph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5087 	asm volatile("vfcmaddcsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5089 	asm volatile("vfcmulcph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5091 	asm volatile("vfcmulcph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5093 	asm volatile("vfcmulcph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5095 	asm volatile("vfcmulcsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5097 	asm volatile("vfmadd132ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5099 	asm volatile("vfmadd132ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5101 	asm volatile("vfmadd132ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5103 	asm volatile("vfmadd132sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5105 	asm volatile("vfmadd213ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5107 	asm volatile("vfmadd213ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5109 	asm volatile("vfmadd213ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5111 	asm volatile("vfmadd213sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5113 	asm volatile("vfmadd231ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5115 	asm volatile("vfmadd231ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5117 	asm volatile("vfmadd231ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5119 	asm volatile("vfmadd231sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5121 	asm volatile("vfmaddcph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5123 	asm volatile("vfmaddcph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5125 	asm volatile("vfmaddcph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5127 	asm volatile("vfmaddcsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5129 	asm volatile("vfmaddsub132ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5131 	asm volatile("vfmaddsub132ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5133 	asm volatile("vfmaddsub132ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5135 	asm volatile("vfmaddsub213ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5137 	asm volatile("vfmaddsub213ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5139 	asm volatile("vfmaddsub213ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5141 	asm volatile("vfmaddsub231ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5143 	asm volatile("vfmaddsub231ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5145 	asm volatile("vfmaddsub231ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5147 	asm volatile("vfmsub132ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5149 	asm volatile("vfmsub132ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5151 	asm volatile("vfmsub132ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5153 	asm volatile("vfmsub132sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5155 	asm volatile("vfmsub213ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5157 	asm volatile("vfmsub213ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5159 	asm volatile("vfmsub213ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5161 	asm volatile("vfmsub213sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5163 	asm volatile("vfmsub231ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5165 	asm volatile("vfmsub231ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5167 	asm volatile("vfmsub231ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5169 	asm volatile("vfmsub231sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5171 	asm volatile("vfmsubadd132ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5173 	asm volatile("vfmsubadd132ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5175 	asm volatile("vfmsubadd132ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5177 	asm volatile("vfmsubadd213ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5179 	asm volatile("vfmsubadd213ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5181 	asm volatile("vfmsubadd213ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5183 	asm volatile("vfmsubadd231ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5185 	asm volatile("vfmsubadd231ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5187 	asm volatile("vfmsubadd231ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5189 	asm volatile("vfmulcph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5191 	asm volatile("vfmulcph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5193 	asm volatile("vfmulcph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5195 	asm volatile("vfmulcsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5197 	asm volatile("vfnmadd132ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5199 	asm volatile("vfnmadd132ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5201 	asm volatile("vfnmadd132ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5203 	asm volatile("vfnmadd132sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5205 	asm volatile("vfnmadd213ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5207 	asm volatile("vfnmadd213ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5209 	asm volatile("vfnmadd213ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5211 	asm volatile("vfnmadd213sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5213 	asm volatile("vfnmadd231ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5215 	asm volatile("vfnmadd231ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5217 	asm volatile("vfnmadd231ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5219 	asm volatile("vfnmadd231sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5221 	asm volatile("vfnmsub132ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5223 	asm volatile("vfnmsub132ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5225 	asm volatile("vfnmsub132ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5227 	asm volatile("vfnmsub132sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5229 	asm volatile("vfnmsub213ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5231 	asm volatile("vfnmsub213ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5233 	asm volatile("vfnmsub213ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5235 	asm volatile("vfnmsub213sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5237 	asm volatile("vfnmsub231ph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5239 	asm volatile("vfnmsub231ph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5241 	asm volatile("vfnmsub231ph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5243 	asm volatile("vfnmsub231sh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5244 	asm volatile("vfpclassph $0x12, %zmm1, %k5");  in main()
5245 	asm volatile("vfpclassph $0x12, %xmm1, %k5");  in main()
5246 	asm volatile("vfpclassph $0x12, %ymm1, %k5");  in main()
5247 	asm volatile("vfpclasssh $0x12, %xmm1, %k5");  in main()
5248 	asm volatile("vfpclasssh $0x12, 0x12345678(%eax,%ecx,8), %k5");  in main()
5250 	asm volatile("vgetexpph 0x12345678(%eax,%ecx,8), %zmm1");  in main()
5252 	asm volatile("vgetexpph 0x12345678(%eax,%ecx,8), %xmm1");  in main()
5254 	asm volatile("vgetexpph 0x12345678(%eax,%ecx,8), %ymm1");  in main()
5256 	asm volatile("vgetexpsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5257 	asm volatile("vgetmantph $0x12, %zmm2, %zmm1");  in main()
5258 	asm volatile("vgetmantph $0x12, 0x12345678(%eax,%ecx,8), %zmm1");  in main()
5259 	asm volatile("vgetmantph $0x12, %xmm2, %xmm1");  in main()
5260 	asm volatile("vgetmantph $0x12, 0x12345678(%eax,%ecx,8), %xmm1");  in main()
5261 	asm volatile("vgetmantph $0x12, %ymm2, %ymm1");  in main()
5262 	asm volatile("vgetmantph $0x12, 0x12345678(%eax,%ecx,8), %ymm1");  in main()
5263 	asm volatile("vgetmantsh $0x12, %xmm3, %xmm2, %xmm1");  in main()
5264 	asm volatile("vgetmantsh $0x12, 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5266 	asm volatile("vmaxph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5268 	asm volatile("vmaxph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5270 	asm volatile("vmaxph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5272 	asm volatile("vmaxsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5274 	asm volatile("vminph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5276 	asm volatile("vminph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5278 	asm volatile("vminph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5280 	asm volatile("vminsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5281 	asm volatile("vmovsh %xmm1, 0x12345678(%eax,%ecx,8)");  in main()
5282 	asm volatile("vmovsh 0x12345678(%eax,%ecx,8), %xmm1");  in main()
5285 	asm volatile("vmovw %xmm1, 0x12345678(%eax,%ecx,8)");  in main()
5287 	asm volatile("vmovw 0x12345678(%eax,%ecx,8), %xmm1");  in main()
5289 	asm volatile("vmulph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5291 	asm volatile("vmulph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5293 	asm volatile("vmulph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5295 	asm volatile("vmulsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5297 	asm volatile("vrcpph 0x12345678(%eax,%ecx,8), %zmm1");  in main()
5299 	asm volatile("vrcpph 0x12345678(%eax,%ecx,8), %xmm1");  in main()
5301 	asm volatile("vrcpph 0x12345678(%eax,%ecx,8), %ymm1");  in main()
5303 	asm volatile("vrcpsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5304 	asm volatile("vreduceph $0x12, %zmm2, %zmm1");  in main()
5305 	asm volatile("vreduceph $0x12, 0x12345678(%eax,%ecx,8), %zmm1");  in main()
5306 	asm volatile("vreduceph $0x12, %xmm2, %xmm1");  in main()
5307 	asm volatile("vreduceph $0x12, 0x12345678(%eax,%ecx,8), %xmm1");  in main()
5308 	asm volatile("vreduceph $0x12, %ymm2, %ymm1");  in main()
5309 	asm volatile("vreduceph $0x12, 0x12345678(%eax,%ecx,8), %ymm1");  in main()
5310 	asm volatile("vreducesh $0x12, %xmm3, %xmm2, %xmm1");  in main()
5311 	asm volatile("vreducesh $0x12, 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5312 	asm volatile("vrndscaleph $0x12, %zmm2, %zmm1");  in main()
5313 	asm volatile("vrndscaleph $0x12, 0x12345678(%eax,%ecx,8), %zmm1");  in main()
5314 	asm volatile("vrndscaleph $0x12, %xmm2, %xmm1");  in main()
5315 	asm volatile("vrndscaleph $0x12, 0x12345678(%eax,%ecx,8), %xmm1");  in main()
5316 	asm volatile("vrndscaleph $0x12, %ymm2, %ymm1");  in main()
5317 	asm volatile("vrndscaleph $0x12, 0x12345678(%eax,%ecx,8), %ymm1");  in main()
5318 	asm volatile("vrndscalesh $0x12, %xmm3, %xmm2, %xmm1");  in main()
5319 	asm volatile("vrndscalesh $0x12, 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5321 	asm volatile("vrsqrtph 0x12345678(%eax,%ecx,8), %zmm1");  in main()
5323 	asm volatile("vrsqrtph 0x12345678(%eax,%ecx,8), %xmm1");  in main()
5325 	asm volatile("vrsqrtph 0x12345678(%eax,%ecx,8), %ymm1");  in main()
5327 	asm volatile("vrsqrtsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5329 	asm volatile("vscalefph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5331 	asm volatile("vscalefph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5333 	asm volatile("vscalefph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5335 	asm volatile("vscalefsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5337 	asm volatile("vsqrtph 0x12345678(%eax,%ecx,8), %zmm1");  in main()
5339 	asm volatile("vsqrtph 0x12345678(%eax,%ecx,8), %xmm1");  in main()
5341 	asm volatile("vsqrtph 0x12345678(%eax,%ecx,8), %ymm1");  in main()
5343 	asm volatile("vsqrtsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5345 	asm volatile("vsubph 0x12345678(%eax,%ecx,8), %zmm2, %zmm1");  in main()
5347 	asm volatile("vsubph 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5349 	asm volatile("vsubph 0x12345678(%eax,%ecx,8), %ymm2, %ymm1");  in main()
5351 	asm volatile("vsubsh 0x12345678(%eax,%ecx,8), %xmm2, %xmm1");  in main()
5353 	asm volatile("vucomish 0x12345678(%eax,%ecx,8), %xmm1");  in main()
5362 	asm volatile("	aesenc128kl 0x77(%edx), %xmm3");  in main()
5363 	asm volatile("	aesenc256kl 0x77(%edx), %xmm3");  in main()
5364 	asm volatile("	aesdec128kl 0x77(%edx), %xmm3");  in main()
5365 	asm volatile("	aesdec256kl 0x77(%edx), %xmm3");  in main()
5366 	asm volatile("	aesencwide128kl	0x77(%edx)");  in main()
5367 	asm volatile("	aesencwide256kl	0x77(%edx)");  in main()
5368 	asm volatile("	aesdecwide128kl	0x77(%edx)");  in main()
5369 	asm volatile("	aesdecwide256kl	0x77(%edx)");  in main()
5374 	asm volatile("aadd %edx,(0x12345678)");  in main()
5375 	asm volatile("aadd %edx,0x12345678(%eax,%ecx,8)");  in main()
5378 	asm volatile("aand %edx,(0x12345678)");  in main()
5379 	asm volatile("aand %edx,0x12345678(%eax,%ecx,8)");  in main()
5382 	asm volatile("aor %edx,(0x12345678)");  in main()
5383 	asm volatile("aor %edx,0x12345678(%eax,%ecx,8)");  in main()
5386 	asm volatile("axor %edx,(0x12345678)");  in main()
5387 	asm volatile("axor %edx,0x12345678(%eax,%ecx,8)");  in main()
5429 	asm volatile("vsm3rnds2 $0xa1,%xmm1,%xmm2,%xmm3");  in main()
5450 	asm volatile("hreset $0");  in main()
5478 	return 0;  in main()