user: What would the C source look like for the assembly code provided here?

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  rdtsc
  vcvtph2ps %xmm3,%ymm5
  cmovno %rax,%rbx
  cmovno 0x12345678(%rax),%rcx
  cmovno 0x12345678(%rax),%cx
  cmove  %rax,%rbx
  cmove  0x12345678(%rax),%rcx
  cmove  0x12345678(%rax),%cx
  seto   0x12345678(%rax)
  setno  0x12345678(%rax)
  setb   0x12345678(%rax)
  setb   0x12345678(%rax)
  setb   0x12345678(%rax)
  setae  0x12345678(%rax)
  setae  0x12345678(%rax)
  setae  0x12345678(%rax)
  sets   0x12345678(%rax)
  setns  0x12345678(%rax)
  kandw  %k7,%k6,%k5
  kandq  %k7,%k6,%k5
  kandb  %k7,%k6,%k5
  kandd  %k7,%k6,%k5
  kandnw %k7,%k6,%k5
  kandnq %k7,%k6,%k5
  kandnb %k7,%k6,%k5
  kandnd %k7,%k6,%k5
  knotw  %k7,%k6
  knotq  %k7,%k6
  knotb  %k7,%k6
  knotd  %k7,%k6
  korw   %k7,%k6,%k5
  korq   %k7,%k6,%k5
  korb   %k7,%k6,%k5
  kord   %k7,%k6,%k5
  kxnorw %k7,%k6,%k5
  kxnorq %k7,%k6,%k5
  kxnorb %k7,%k6,%k5
  kxnord %k7,%k6,%k5
  kxorw  %k7,%k6,%k5
  kxorq  %k7,%k6,%k5
  kxorb  %k7,%k6,%k5
  kxord  %k7,%k6,%k5
  kaddw  %k7,%k6,%k5
  kaddq  %k7,%k6,%k5
  kaddb  %k7,%k6,%k5
  kaddd  %k7,%k6,%k5
  kunpckbw %k7,%k6,%k5
  kunpckwd %k7,%k6,%k5
  kunpckdq %k7,%k6,%k5
  kmovw  %k6,%k5
  kmovw  (%rcx),%k5
  kmovw  0x123(%rax,%r14,8),%k5
  kmovw  %k5,(%rcx)
  kmovw  %k5,0x123(%rax,%r14,8)
  kmovw  %eax,%k5
  kmovw  %ebp,%k5
  kmovw  %r13d,%k5
  kmovw  %k5,%eax
  kmovw  %k5,%ebp
  kmovw  %k5,%r13d
  kmovq  %k6,%k5
  kmovq  (%rcx),%k5
  kmovq  0x123(%rax,%r14,8),%k5
  kmovq  %k5,(%rcx)
  kmovq  %k5,0x123(%rax,%r14,8)
  kmovq  %rax,%k5
  kmovq  %rbp,%k5
  kmovq  %r13,%k5
  kmovq  %k5,%rax
  kmovq  %k5,%rbp
  kmovq  %k5,%r13
  kmovb  %k6,%k5
  kmovb  (%rcx),%k5
  kmovb  0x123(%rax,%r14,8),%k5
  kmovb  %k5,(%rcx)
  kmovb  %k5,0x123(%rax,%r14,8)
  kmovb  %eax,%k5
  kmovb  %ebp,%k5
  kmovb  %r13d,%k5
  kmovb  %k5,%eax
  kmovb  %k5,%ebp
  kmovb  %k5,%r13d
  kmovd  %k6,%k5
  kmovd  (%rcx),%k5
  kmovd  0x123(%rax,%r14,8),%k5
  kmovd  %k5,(%rcx)
  kmovd  %k5,0x123(%rax,%r14,8)
  kmovd  %eax,%k5
  kmovd  %ebp,%k5
  kmovd  %r13d,%k5
  kmovd  %k5,%eax
  kmovd  %k5,%ebp
  kmovd  %k5,%r13d
  kortestw %k6,%k5
  kortestq %k6,%k5
  kortestb %k6,%k5
  kortestd %k6,%k5
  ktestw %k6,%k5
  ktestq %k6,%k5
  ktestb %k6,%k5
  ktestd %k6,%k5
  kshiftrw $0x12,%k6,%k5
  kshiftrq $0x5b,%k6,%k5
  kshiftlw $0x12,%k6,%k5
  kshiftlq $0x5b,%k6,%k5
  vcvtdq2ps %xmm5,%xmm6
  vcvtqq2ps %zmm29,%ymm6{%k7}
  vcvtps2dq %xmm5,%xmm6
  vcvttps2dq %xmm5,%xmm6
  movq   %mm0,%mm4
  vmovdqa %ymm4,%ymm6
  vmovdqa32 %zmm25,%zmm26
  vmovdqa64 %zmm25,%zmm26
  vmovdqu %ymm4,%ymm6
  vmovdqu32 %zmm29,%zmm30
  vmovdqu64 %zmm25,%zmm26
  vmovdqu8 %zmm29,%zmm30
  vmovdqu16 %zmm25,%zmm26
  vmread %rax,%rbx
  vcvttps2udq %zmm25,%zmm26
  vcvttpd2udq %zmm29,%ymm6{%k7}
  vcvttsd2usi %xmm6,%rax
  vcvttss2usi %xmm6,%rax
  vcvttps2uqq %ymm5,%zmm26{%k7}
  vcvttpd2uqq %zmm29,%zmm30
  vmwrite %rax,%rbx
  vcvtps2udq %zmm25,%zmm26
  vcvtpd2udq %zmm29,%ymm6{%k7}
  vcvtsd2usi %xmm6,%rax
  vcvtss2usi %xmm6,%rax
  vcvtps2uqq %ymm5,%zmm26{%k7}
  vcvtpd2uqq %zmm29,%zmm30
  vcvtudq2pd %ymm5,%zmm29{%k7}
  vcvtuqq2pd %zmm25,%zmm26
  vcvtudq2ps %zmm29,%zmm30
  vcvtuqq2ps %zmm25,%ymm26{%k7}
  vcvttps2qq %ymm25,%zmm26{%k7}
  vcvttpd2qq %zmm29,%zmm30
  vcvtusi2sd %eax,%xmm5,%xmm6
  vcvtusi2ss %eax,%xmm5,%xmm6
  vcvtps2qq %ymm5,%zmm26{%k7}
  vcvtpd2qq %zmm29,%zmm30
  movq   %mm0,%mm4
  vmovdqa %ymm8,%ymm6
  vmovdqa32 %zmm25,%zmm26
  vmovdqa64 %zmm25,%zmm26
  vmovdqu %ymm8,%ymm6
  vmovdqu32 %zmm25,%zmm26
  vmovdqu64 %zmm25,%zmm26
  vmovdqu8 %zmm30,(%rcx)
  vmovdqu16 %zmm25,%zmm26
  pand   %mm1,%mm2
  pand   %xmm1,%xmm2
  vpand  %ymm4,%ymm6,%ymm2
  vpandd %zmm24,%zmm25,%zmm26
  vpandq %zmm24,%zmm25,%zmm26
  pandn  %mm1,%mm2
  pandn  %xmm1,%xmm2
  vpandn %ymm4,%ymm6,%ymm2
  vpandnd %zmm24,%zmm25,%zmm26
  vpandnq %zmm24,%zmm25,%zmm26
  vcvttpd2dq %xmm1,%xmm2
  vcvtdq2pd %xmm5,%xmm6
  vcvtdq2pd %ymm5,%zmm26{%k7}
  vcvtqq2pd %zmm25,%zmm26
  vcvtpd2dq %xmm1,%xmm2
  por    %mm4,%mm6
  vpor   %ymm4,%ymm6,%ymm2
  vpord  %zmm24,%zmm25,%zmm26
  vporq  %zmm24,%zmm25,%zmm26
  pxor   %mm4,%mm6
  vpxor  %ymm4,%ymm6,%ymm2
  vpxord %zmm24,%zmm25,%zmm26
  vpxorq %zmm24,%zmm25,%zmm26
  pblendvb %xmm0,%xmm1,%xmm0
  vpsrlvw %zmm27,%zmm28,%zmm29
  vpmovuswb %zmm28,%ymm6{%k7}
  vpmovusdb %zmm28,%xmm6{%k7}
  vpsravw %zmm27,%zmm28,%zmm29
  vpmovusqb %zmm27,%xmm6{%k7}
  vpsllvw %zmm27,%zmm28,%zmm29
  vcvtph2ps %xmm3,%ymm5
  vcvtph2ps %ymm5,%zmm27{%k7}
  vpmovusdw %zmm27,%ymm6{%k7}
  blendvps %xmm0,%xmm1,%xmm0
  vpmovusqw %zmm27,%xmm6{%k7}
  vprorvd %zmm27,%zmm28,%zmm29
  vprorvq %zmm27,%zmm28,%zmm29
  blendvpd %xmm0,%xmm1,%xmm0
  vpmovusqd %zmm27,%ymm6{%k7}
  vprolvd %zmm27,%zmm28,%zmm29
  vprolvq %zmm27,%zmm28,%zmm29
  vpermps %ymm4,%ymm6,%ymm2
  vpermps %ymm24,%ymm26,%ymm22{%k7}
  vpermpd %ymm24,%ymm26,%ymm22{%k7}
  vbroadcastsd %xmm4,%ymm6
  vbroadcastf32x2 %xmm27,%zmm26
  vbroadcastf128 (%rcx),%ymm4
  vbroadcastf32x4 (%rcx),%zmm26
  vbroadcastf64x2 (%rcx),%zmm26
  vbroadcastf32x8 (%rcx),%zmm27
  vbroadcastf64x4 (%rcx),%zmm26
  vpabsq %zmm27,%zmm28
  vpmovsxbw %xmm4,%xmm5
  vpmovswb %zmm27,%ymm6{%k7}
  vpmovsxbd %xmm4,%ymm6
  vpmovsdb %zmm27,%xmm6{%k7}
  vpmovsxbq %xmm4,%ymm4
  vpmovsqb %zmm27,%xmm6{%k7}
  vpmovsxwd %xmm4,%ymm4
  vpmovsdw %zmm27,%ymm6{%k7}
  vpmovsxwq %xmm4,%ymm6
  vpmovsqw %zmm27,%xmm6{%k7}
  vpmovsxdq %xmm4,%ymm4
  vpmovsqd %zmm27,%ymm6{%k7}
  vptestmb %zmm27,%zmm28,%k5
  vptestmw %zmm27,%zmm28,%k5
  vptestnmb %zmm26,%zmm27,%k5
  vptestnmw %zmm26,%zmm27,%k5
  vptestmd %zmm27,%zmm28,%k5
  vptestmq %zmm27,%zmm28,%k5
  vptestnmd %zmm26,%zmm27,%k5
  vptestnmq %zmm26,%zmm27,%k5
  vpmuldq %ymm4,%ymm6,%ymm2
  vpmovm2b %k5,%zmm28
  vpmovm2w %k5,%zmm28
  vpcmpeqq %ymm4,%ymm6,%ymm2
  vpmovb2m %zmm28,%k5
  vpmovw2m %zmm28,%k5
  vmovntdqa (%rcx),%ymm4
  vpbroadcastmb2q %k6,%zmm30
  vmaskmovps (%rcx),%ymm4,%ymm6
  vscalefps %zmm24,%zmm25,%zmm26
  vscalefpd %zmm24,%zmm25,%zmm26
  vmaskmovpd (%rcx),%ymm4,%ymm6
  vscalefss %xmm24,%xmm25,%xmm26{%k7}
  vscalefsd %xmm24,%xmm25,%xmm26{%k7}
  vpmovzxbw %xmm4,%ymm4
  vpmovwb %zmm27,%ymm6{%k7}
  vpmovzxbd %xmm4,%ymm6
  vpmovdb %zmm27,%xmm6{%k7}
  vpmovzxbq %xmm4,%ymm4
  vpmovqb %zmm27,%xmm6{%k7}
  vpmovzxwd %xmm4,%ymm4
  vpmovdw %zmm27,%ymm6{%k7}
  vpmovzxwq %xmm4,%ymm6
  vpmovqw %zmm27,%xmm6{%k7}
  vpmovzxdq %xmm4,%ymm4
  vpmovqd %zmm27,%ymm6{%k7}
  vpermd %ymm4,%ymm6,%ymm2
  vpermd %ymm24,%ymm26,%ymm22{%k7}
  vpermq %ymm24,%ymm26,%ymm22{%k7}
  vpminsb %ymm4,%ymm6,%ymm2
  vpmovm2d %k5,%zmm28
  vpmovm2q %k5,%zmm28
  vpminsd %xmm1,%xmm2,%xmm3
  vpminsd %zmm24,%zmm25,%zmm26
  vpminsq %zmm24,%zmm25,%zmm26
  vpmovd2m %zmm28,%k5
  vpmovq2m %zmm28,%k5
  vpminuw %ymm4,%ymm6,%ymm2
  vpbroadcastmw2d %k6,%zmm28
  vpminud %ymm4,%ymm6,%ymm2
  vpminud %zmm24,%zmm25,%zmm26
  vpminuq %zmm24,%zmm25,%zmm26
  vpmaxsd %ymm4,%ymm6,%ymm2
  vpmaxsd %zmm24,%zmm25,%zmm26
  vpmaxsq %zmm24,%zmm25,%zmm26
  vpmaxud %ymm4,%ymm6,%ymm2
  vpmaxud %zmm24,%zmm25,%zmm26
  vpmaxuq %zmm24,%zmm25,%zmm26
  vpmulld %ymm4,%ymm6,%ymm2
  vpmulld %zmm24,%zmm25,%zmm26
  vpmullq %zmm24,%zmm25,%zmm26
  vgetexpps %zmm25,%zmm26
  vgetexppd %zmm27,%zmm28
  vgetexpss %xmm24,%xmm25,%xmm26{%k7}
  vgetexpsd %xmm28,%xmm29,%xmm30{%k7}
  vplzcntd %zmm27,%zmm28
  vplzcntq %zmm27,%zmm28
  vpsravd %ymm4,%ymm6,%ymm2
  vpsravd %zmm24,%zmm25,%zmm26
  vpsravq %zmm24,%zmm25,%zmm26
  vrcp14ps %zmm25,%zmm26
  vrcp14pd %zmm27,%zmm28
  vrcp14ss %xmm24,%xmm25,%xmm26{%k7}
  vrcp14sd %xmm24,%xmm25,%xmm26{%k7}
  vrsqrt14ps %zmm25,%zmm26
  vrsqrt14pd %zmm27,%zmm28
  vrsqrt14ss %xmm24,%xmm25,%xmm26{%k7}
  vrsqrt14sd %xmm24,%xmm25,%xmm26{%k7}
  vpdpbusd %xmm1,%xmm2,%xmm3
  vpdpbusd %ymm1,%ymm2,%ymm3
  vpdpbusd %zmm1,%zmm2,%zmm3
  vpdpbusd 0x12345678(%rax,%rcx,8),%zmm2,%zmm3
  vpdpbusd 0x12345678(%eax,%ecx,8),%zmm2,%zmm3
  vpdpbusds %xmm1,%xmm2,%xmm3
  vpdpbusds %ymm1,%ymm2,%ymm3
  vpdpbusds %zmm1,%zmm2,%zmm3
  vpdpbusds 0x12345678(%rax,%rcx,8),%zmm2,%zmm3
  vpdpbusds 0x12345678(%eax,%ecx,8),%zmm2,%zmm3
  vdpbf16ps %xmm1,%xmm2,%xmm3
  vdpbf16ps %ymm1,%ymm2,%ymm3
  vdpbf16ps %zmm1,%zmm2,%zmm3
  vdpbf16ps 0x12345678(%rax,%rcx,8),%zmm2,%zmm3
  vdpbf16ps 0x12345678(%eax,%ecx,8),%zmm2,%zmm3
  vpdpwssd %xmm1,%xmm2,%xmm3
  vpdpwssd %ymm1,%ymm2,%ymm3
  vpdpwssd %zmm1,%zmm2,%zmm3
  vpdpwssd 0x12345678(%rax,%rcx,8),%zmm2,%zmm3
  vpdpwssd 0x12345678(%eax,%ecx,8),%zmm2,%zmm3
  vp4dpwssd (%rax),%zmm0,%zmm4
  vp4dpwssd (%eax),%zmm0,%zmm4
  vp4dpwssd 0x12345678(%rax,%rcx,8),%zmm0,%zmm4
  vp4dpwssd 0x12345678(%eax,%ecx,8),%zmm0,%zmm4
  vpdpwssds %xmm1,%xmm2,%xmm3
  vpdpwssds %ymm1,%ymm2,%ymm3
  vpdpwssds %zmm1,%zmm2,%zmm3
  vpdpwssds 0x12345678(%rax,%rcx,8),%zmm2,%zmm3
  vpdpwssds 0x12345678(%eax,%ecx,8),%zmm2,%zmm3
  vp4dpwssds (%rax),%zmm0,%zmm4
  vp4dpwssds (%eax),%zmm0,%zmm4
  vp4dpwssds 0x12345678(%rax,%rcx,8),%zmm0,%zmm4
  vp4dpwssds 0x12345678(%eax,%ecx,8),%zmm0,%zmm4
  vpopcntb %xmm1,%xmm2
  vpopcntb %ymm1,%ymm2
  vpopcntb %zmm1,%zmm2
  vpopcntb 0x12345678(%rax,%rcx,8),%zmm2
  vpopcntb 0x12345678(%eax,%ecx,8),%zmm2
  vpopcntw %xmm1,%xmm2
  vpopcntw %ymm1,%ymm2
  vpopcntw %zmm1,%zmm2
  vpopcntw 0x12345678(%rax,%rcx,8),%zmm2
  vpopcntw 0x12345678(%eax,%ecx,8),%zmm2
  vpopcntd %xmm1,%xmm2
  vpopcntd %ymm1,%ymm2
  vpopcntd %zmm1,%zmm2
  vpopcntd 0x12345678(%rax,%rcx,8),%zmm2
  vpopcntd 0x12345678(%eax,%ecx,8),%zmm2
  vpopcntq %xmm1,%xmm2
  vpopcntq %ymm1,%ymm2
  vpopcntq %zmm1,%zmm2
  vpopcntq 0x12345678(%rax,%rcx,8),%zmm2
  vpopcntq 0x12345678(%eax,%ecx,8),%zmm2
  vpbroadcastq %xmm4,%xmm6
  vbroadcasti32x2 %xmm27,%zmm26
  vbroadcasti128 (%rcx),%ymm4
  vbroadcasti32x4 (%rcx),%zmm26
  vbroadcasti64x2 (%rcx),%zmm26
  vbroadcasti32x8 (%rcx),%zmm28
  vbroadcasti64x4 (%rcx),%zmm26
  vpexpandb %xmm1,%xmm2
  vpexpandb %ymm1,%ymm2
  vpexpandb %zmm1,%zmm2
  vpexpandb 0x12345678(%rax,%rcx,8),%zmm2
  vpexpandb 0x12345678(%eax,%ecx,8),%zmm2
  vpexpandw %xmm1,%xmm2
  vpexpandw %ymm1,%ymm2
  vpexpandw %zmm1,%zmm2
  vpexpandw 0x12345678(%rax,%rcx,8),%zmm2
  vpexpandw 0x12345678(%eax,%ecx,8),%zmm2
  vpcompressb %xmm1,%xmm2
  vpcompressb %ymm1,%ymm2
  vpcompressb %zmm1,%zmm2
  vpcompressb %zmm2,0x12345678(%rax,%rcx,8)
  vpcompressb %zmm2,0x12345678(%eax,%ecx,8)
  vpcompressw %xmm1,%xmm2
  vpcompressw %ymm1,%ymm2
  vpcompressw %zmm1,%zmm2
  vpcompressw %zmm2,0x12345678(%rax,%rcx,8)
  vpcompressw %zmm2,0x12345678(%eax,%ecx,8)
  vpblendmd %zmm26,%zmm27,%zmm28
  vpblendmq %zmm26,%zmm27,%zmm28
  vblendmps %zmm24,%zmm25,%zmm26
  vblendmpd %zmm26,%zmm27,%zmm28
  vpblendmb %zmm26,%zmm27,%zmm28
  vpblendmw %zmm26,%zmm27,%zmm28
  vp2intersectd %xmm1,%xmm2,%k3
  vp2intersectd %ymm1,%ymm2,%k3
  vp2intersectd %zmm1,%zmm2,%k3
  vp2intersectd 0x12345678(%rax,%rcx,8),%zmm2,%k3
  vp2intersectd 0x12345678(%eax,%ecx,8),%zmm2,%k3
  vp2intersectq %xmm1,%xmm2,%k3
  vp2intersectq %ymm1,%ymm2,%k3
  vp2intersectq %zmm1,%zmm2,%k3
  vp2intersectq 0x12345678(%rax,%rcx,8),%zmm2,%k3
  vp2intersectq 0x12345678(%eax,%ecx,8),%zmm2,%k3
  vpshldvw %xmm1,%xmm2,%xmm3
  vpshldvw %ymm1,%ymm2,%ymm3
  vpshldvw %zmm1,%zmm2,%zmm3
  vpshldvw 0x12345678(%rax,%rcx,8),%zmm2,%zmm3
  vpshldvw 0x12345678(%eax,%ecx,8),%zmm2,%zmm3
  vpshldvd %xmm1,%xmm2,%xmm3
  vpshldvd %ymm1,%ymm2,%ymm3
  vpshldvd %zmm1,%zmm2,%zmm3
  vpshldvd 0x12345678(%rax,%rcx,8),%zmm2,%zmm3
  vpshldvd 0x12345678(%eax,%ecx,8),%zmm2,%zmm3
  vpshldvq %xmm1,%xmm2,%xmm3
  vpshldvq %ymm1,%ymm2,%ymm3
  vpshldvq %zmm1,%zmm2,%zmm3
  vpshldvq 0x12345678(%rax,%rcx,8),%zmm2,%zmm3
  vpshldvq 0x12345678(%eax,%ecx,8),%zmm2,%zmm3
  vcvtne2ps2bf16 %xmm1,%xmm2,%xmm3
  vcvtne2ps2bf16 %ymm1,%ymm2,%ymm3
  vcvtne2ps2bf16 %zmm1,%zmm2,%zmm3
  vcvtne2ps2bf16 0x12345678(%rax,%rcx,8),%zmm2,%zmm3
  vcvtne2ps2bf16 0x12345678(%eax,%ecx,8),%zmm2,%zmm3
  vcvtneps2bf16 %xmm1,%xmm2
  vcvtneps2bf16 %ymm1,%xmm2
  vcvtneps2bf16 %zmm1,%ymm2
  vcvtneps2bf16 0x12345678(%rax,%rcx,8),%ymm2
  vcvtneps2bf16 0x12345678(%eax,%ecx,8),%ymm2
  vpshrdvw %xmm1,%xmm2,%xmm3
  vpshrdvw %ymm1,%ymm2,%ymm3
  vpshrdvw %zmm1,%zmm2,%zmm3
  vpshrdvw 0x12345678(%rax,%rcx,8),%zmm2,%zmm3
  vpshrdvw 0x12345678(%eax,%ecx,8),%zmm2,%zmm3
  vpshrdvd %xmm1,%xmm2,%xmm3
  vpshrdvd %ymm1,%ymm2,%ymm3
  vpshrdvd %zmm1,%zmm2,%zmm3
  vpshrdvd 0x12345678(%rax,%rcx,8),%zmm2,%zmm3
  vpshrdvd 0x12345678(%eax,%ecx,8),%zmm2,%zmm3
  vpshrdvq %xmm1,%xmm2,%xmm3
  vpshrdvq %ymm1,%ymm2,%ymm3
  vpshrdvq %zmm1,%zmm2,%zmm3
  vpshrdvq 0x12345678(%rax,%rcx,8),%zmm2,%zmm3
  vpshrdvq 0x12345678(%eax,%ecx,8),%zmm2,%zmm3
  vpermi2b %zmm24,%zmm25,%zmm26
  vpermi2w %zmm26,%zmm27,%zmm28
  vpermi2d %zmm26,%zmm27,%zmm28
  vpermi2q %zmm26,%zmm27,%zmm28
  vpermi2ps %zmm26,%zmm27,%zmm28
  vpermi2pd %zmm26,%zmm27,%zmm28
  vpbroadcastb %eax,%xmm30
  vpbroadcastw %eax,%xmm30
  vpbroadcastd %eax,%xmm30
  vpbroadcastq %rax,%zmm30
  vpermt2b %zmm26,%zmm27,%zmm28
  vpermt2w %zmm26,%zmm27,%zmm28
  vpermt2d %zmm26,%zmm27,%zmm28
  vpermt2q %zmm26,%zmm27,%zmm28
  vpermt2ps %zmm26,%zmm27,%zmm28
  vpermt2pd %zmm26,%zmm27,%zmm28
  vpmultishiftqb %zmm26,%zmm27,%zmm28
  vexpandps (%rcx),%zmm26
  vexpandpd (%rcx),%zmm28
  vpexpandd (%rcx),%zmm28
  vpexpandq (%rcx),%zmm26
  vcompressps %zmm28,(%rcx)
  vcompresspd %zmm28,(%rcx)
  vpcompressd %zmm28,(%rcx)
  vpcompressq %zmm26,(%rcx)
  vpermb %zmm26,%zmm27,%zmm28
  vpermw %zmm26,%zmm27,%zmm28
  vpshufbitqmb %xmm1,%xmm2,%k3
  vpshufbitqmb %ymm1,%ymm2,%k3
  vpshufbitqmb %zmm1,%zmm2,%k3
  vpshufbitqmb 0x12345678(%rax,%rcx,8),%zmm2,%k3
  vpshufbitqmb 0x12345678(%eax,%ecx,8),%zmm2,%k3
  vpgatherdd %xmm2,0x2(%rbp,%xmm7,2),%xmm1
  vpgatherdq %xmm2,0x4(%rbp,%xmm7,2),%xmm1
  vpgatherdd 0x7b(%rbp,%zmm27,8),%zmm26{%k1}
  vpgatherdq 0x7b(%rbp,%ymm27,8),%zmm26{%k1}
  vpgatherqd %xmm2,0x2(%rbp,%xmm7,2),%xmm1
  vpgatherqq %xmm2,0x2(%rbp,%xmm7,2),%xmm1
  vpgatherqd 0x7b(%rbp,%zmm27,8),%ymm26{%k1}
  vpgatherqq 0x7b(%rbp,%zmm27,8),%zmm26{%k1}
  vfmsub132ps %xmm1,%xmm2,%xmm3
  vfmsub132ps %ymm1,%ymm2,%ymm3
  vfmsub132ps %zmm1,%zmm2,%zmm3
  vfmsub132ps 0x12345678(%rax,%rcx,8),%zmm2,%zmm3
  vfmsub132ps 0x12345678(%eax,%ecx,8),%zmm2,%zmm3
  vfmsub132pd %xmm1,%xmm2,%xmm3
  vfmsub132pd %ymm1,%ymm2,%ymm3
  vfmsub132pd %zmm1,%zmm2,%zmm3
  vfmsub132pd 0x12345678(%rax,%rcx,8),%zmm2,%zmm3
  vfmsub132pd 0x12345678(%eax,%ecx,8),%zmm2,%zmm3
  v4fmaddps (%rax),%zmm0,%zmm4
  v4fmaddps (%eax),%zmm0,%zmm4
  v4fmaddps 0x12345678(%rax,%rcx,8),%zmm0,%zmm4
  v4fmaddps 0x12345678(%eax,%ecx,8),%zmm0,%zmm4
  vfmsub132ss %xmm1,%xmm2,%xmm3
  vfmsub132ss 0x12345678(%rax,%rcx,8),%xmm2,%xmm3
  vfmsub132ss 0x12345678(%eax,%ecx,8),%xmm2,%xmm3
  vfmsub132sd %xmm1,%xmm2,%xmm3
  vfmsub132sd 0x12345678(%rax,%rcx,8),%xmm2,%xmm3
  vfmsub132sd 0x12345678(%eax,%ecx,8),%xmm2,%xmm3
  v4fmaddss (%rax),%xmm0,%xmm4
  v4fmaddss (%eax),%xmm0,%xmm4
  v4fmaddss 0x12345678(%rax,%rcx,8),%xmm0,%xmm4
  v4fmaddss 0x12345678(%eax,%ecx,8),%xmm0,%xmm4
  vpscatterdd %zmm28,0x7b(%rbp,%zmm29,8){%k1}
  vpscatterdq %zmm26,0x7b(%rbp,%ymm27,8){%k1}
  vpscatterqd %ymm6,0x7b(%rbp,%zmm29,8){%k1}
  vpscatterqq %ymm6,0x7b(%rbp,%ymm27,8){%k1}
  vscatterdps %zmm28,0x7b(%rbp,%zmm29,8){%k1}
  vscatterdpd %zmm28,0x7b(%rbp,%ymm27,8){%k1}
  vscatterqps %ymm6,0x7b(%rbp,%zmm29,8){%k1}
  vscatterqpd %zmm28,0x7b(%rbp,%zmm29,8){%k1}
  vfmsub213ps %xmm1,%xmm2,%xmm3
  vfmsub213ps %ymm1,%ymm2,%ymm3
  vfmsub213ps %zmm1,%zmm2,%zmm3
  vfmsub213ps 0x12345678(%rax,%rcx,8),%zmm2,%zmm3
  vfmsub213ps 0x12345678(%eax,%ecx,8),%zmm2,%zmm3
  vfmsub213pd %xmm1,%xmm2,%xmm3
  vfmsub213pd %ymm1,%ymm2,%ymm3
  vfmsub213pd %zmm1,%zmm2,%zmm3
  vfmsub213pd 0x12345678(%rax,%rcx,8),%zmm2,%zmm3
  vfmsub213pd 0x12345678(%eax,%ecx,8),%zmm2,%zmm3
  v4fnmaddps (%rax),%zmm0,%zmm4
  v4fnmaddps (%eax),%zmm0,%zmm4
  v4fnmaddps 0x12345678(%rax,%rcx,8),%zmm0,%zmm4
  v4fnmaddps 0x12345678(%eax,%ecx,8),%zmm0,%zmm4
  vfmsub213ss %xmm1,%xmm2,%xmm3
  vfmsub213ss 0x12345678(%rax,%rcx,8),%xmm2,%xmm3
  vfmsub213ss 0x12345678(%eax,%ecx,8),%xmm2,%xmm3
  vfmsub213sd %xmm1,%xmm2,%xmm3
  vfmsub213sd 0x12345678(%rax,%rcx,8),%xmm2,%xmm3
  vfmsub213sd 0x12345678(%eax,%ecx,8),%xmm2,%xmm3
  v4fnmaddss (%rax),%xmm0,%xmm4
  v4fnmaddss (%eax),%xmm0,%xmm4
  v4fnmaddss 0x12345678(%rax,%rcx,8),%xmm0,%xmm4
  v4fnmaddss 0x12345678(%eax,%ecx,8),%xmm0,%xmm4
  vpmadd52luq %zmm26,%zmm27,%zmm28
  vpmadd52huq %zmm26,%zmm27,%zmm28
  vpconflictd %zmm26,%zmm27
  vpconflictq %zmm26,%zmm27
  vexp2ps %zmm29,%zmm30
  vexp2pd %zmm26,%zmm27
  vrcp28ps %zmm29,%zmm30
  vrcp28pd %zmm26,%zmm27
  vrcp28ss %xmm28,%xmm29,%xmm30{%k7}
  vrcp28sd %xmm25,%xmm26,%xmm27{%k7}
  vrsqrt28ps %zmm29,%zmm30
  vrsqrt28pd %zmm26,%zmm27
  vrsqrt28ss %xmm28,%xmm29,%xmm30{%k7}
  vrsqrt28sd %xmm25,%xmm26,%xmm27{%k7}
  gf2p8mulb %xmm1,%xmm3
  gf2p8mulb 0x12345678(%rax,%rcx,8),%xmm3
  gf2p8mulb 0x12345678(%eax,%ecx,8),%xmm3
  vgf2p8mulb %xmm1,%xmm2,%xmm3
  vgf2p8mulb %ymm1,%ymm2,%ymm3
  vgf2p8mulb %zmm1,%zmm2,%zmm3
  vgf2p8mulb 0x12345678(%rax,%rcx,8),%zmm2,%zmm3
  vgf2p8mulb 0x12345678(%eax,%ecx,8),%zmm2,%zmm3
  vaesenc %xmm1,%xmm2,%xmm3
  vaesenc %ymm1,%ymm2,%ymm3
  vaesenc %zmm1,%zmm2,%zmm3
  vaesenc 0x12345678(%rax,%rcx,8),%zmm2,%zmm3
  vaesenc 0x12345678(%eax,%ecx,8),%zmm2,%zmm3
  vaesenclast %xmm1,%xmm2,%xmm3
  vaesenclast %ymm1,%ymm2,%ymm3
  vaesenclast %zmm1,%zmm2,%zmm3
  vaesenclast 0x12345678(%rax,%rcx,8),%zmm2,%zmm3
  vaesenclast 0x12345678(%eax,%ecx,8),%zmm2,%zmm3
  vaesdec %xmm1,%xmm2,%xmm3
  vaesdec %ymm1,%ymm2,%ymm3
  vaesdec %zmm1,%zmm2,%zmm3
  vaesdec 0x12345678(%rax,%rcx,8),%zmm2,%zmm3
  vaesdec 0x12345678(%eax,%ecx,8),%zmm2,%zmm3
  vaesdeclast %xmm1,%xmm2,%xmm3
  vaesdeclast %ymm1,%ymm2,%ymm3
  vaesdeclast %zmm1,%zmm2,%zmm3
  vaesdeclast 0x12345678(%rax,%rcx,8),%zmm2,%zmm3
  vaesdeclast 0x12345678(%eax,%ecx,8),%zmm2,%zmm3
  valignd $0x12,%zmm28,%zmm29,%zmm30
  valignq $0x12,%zmm25,%zmm26,%zmm27
  vroundps $0x5,%ymm6,%ymm2
  vrndscaleps $0x12,%zmm25,%zmm26
  vroundpd $0x5,%ymm6,%ymm2
  vrndscalepd $0x12,%zmm25,%zmm26
  vroundss $0x5,%xmm4,%xmm6,%xmm2
  vrndscaless $0x12,%xmm24,%xmm25,%xmm26{%k7}
  vroundsd $0x5,%xmm4,%xmm6,%xmm2
  vrndscalesd $0x12,%xmm24,%xmm25,%xmm26{%k7}
  vinsertf128 $0x5,%xmm4,%ymm4,%ymm6
  vinsertf32x4 $0x12,%xmm24,%zmm25,%zmm26{%k7}
  vinsertf64x2 $0x12,%xmm24,%zmm25,%zmm26{%k7}
  vextractf128 $0x5,%ymm4,%xmm4
  vextractf32x4 $0x12,%zmm25,%xmm26{%k7}
  vextractf64x2 $0x12,%zmm25,%xmm26{%k7}
  vinsertf32x8 $0x12,%ymm25,%zmm26,%zmm27{%k7}
  vinsertf64x4 $0x12,%ymm28,%zmm29,%zmm30{%k7}
  vextractf32x8 $0x12,%zmm29,%ymm30{%k7}
  vextractf64x4 $0x12,%zmm26,%ymm27{%k7}
  vpcmpud $0x12,%zmm29,%zmm30,%k5
  vpcmpuq $0x12,%zmm26,%zmm27,%k5
  vpcmpd $0x12,%zmm29,%zmm30,%k5
  vpcmpq $0x12,%zmm26,%zmm27,%k5
  vshuff32x4 $0x12,%zmm28,%zmm29,%zmm30
  vshuff64x2 $0x12,%zmm25,%zmm26,%zmm27
  vpternlogd $0x12,%zmm28,%zmm29,%zmm30
  vpternlogq $0x12,%zmm28,%zmm29,%zmm30
  vgetmantps $0x12,%zmm26,%zmm27
  vgetmantpd $0x12,%zmm29,%zmm30
  vgetmantss $0x12,%xmm25,%xmm26,%xmm27{%k7}
  vgetmantsd $0x12,%xmm28,%xmm29,%xmm30{%k7}
  vinserti128 $0x5,%xmm4,%ymm4,%ymm6
  vinserti32x4 $0x12,%xmm24,%zmm25,%zmm26{%k7}
  vinserti64x2 $0x12,%xmm24,%zmm25,%zmm26{%k7}
  vextracti128 $0x5,%ymm4,%xmm6
  vextracti32x4 $0x12,%zmm25,%xmm26{%k7}
  vextracti64x2 $0x12,%zmm25,%xmm26{%k7}
  vinserti32x8 $0x12,%ymm28,%zmm29,%zmm30{%k7}
  vinserti64x4 $0x12,%ymm25,%zmm26,%zmm27{%k7}
  vextracti32x8 $0x12,%zmm29,%ymm30{%k7}
  vextracti64x4 $0x12,%zmm26,%ymm27{%k7}
  vpcmpub $0x12,%zmm29,%zmm30,%k5
  vpcmpuw $0x12,%zmm26,%zmm27,%k5
  vpcmpb $0x12,%zmm29,%zmm30,%k5
  vpcmpw $0x12,%zmm26,%zmm27,%k5
  vmpsadbw $0x5,%ymm4,%ymm6,%ymm2
  vdbpsadbw $0x12,%zmm4,%zmm5,%zmm6
  vshufi32x4 $0x12,%zmm25,%zmm26,%zmm27
  vshufi64x2 $0x12,%zmm28,%zmm29,%zmm30
  vpclmulqdq $0x12,%xmm1,%xmm2,%xmm3
  vpclmulqdq $0x12,%ymm1,%ymm2,%ymm3
  vpclmulqdq $0x12,%zmm1,%zmm2,%zmm3
  vpclmulqdq $0x12,%zmm25,%zmm26,%zmm27
  vrangeps $0x12,%zmm25,%zmm26,%zmm27
  vrangepd $0x12,%zmm28,%zmm29,%zmm30
  vrangess $0x12,%xmm25,%xmm26,%xmm27
  vrangesd $0x12,%xmm28,%xmm29,%xmm30
  vfixupimmps $0x12,%zmm28,%zmm29,%zmm30
  vfixupimmpd $0x12,%zmm25,%zmm26,%zmm27
  vfixupimmss $0x12,%xmm28,%xmm29,%xmm30{%k7}
  vfixupimmsd $0x12,%xmm25,%xmm26,%xmm27{%k7}
  vreduceps $0x12,%zmm26,%zmm27
  vreducepd $0x12,%zmm29,%zmm30
  vreducess $0x12,%xmm25,%xmm26,%xmm27
  vreducesd $0x12,%xmm28,%xmm29,%xmm30
  vfpclassps $0x12,%zmm27,%k5
  vfpclasspd $0x12,%zmm30,%k5
  vfpclassss $0x12,%xmm27,%k5
  vfpclasssd $0x12,%xmm30,%k5
  vpshldw $0x12,%xmm1,%xmm2,%xmm3
  vpshldw $0x12,%ymm1,%ymm2,%ymm3
  vpshldw $0x12,%zmm1,%zmm2,%zmm3
  vpshldw $0x12,%zmm25,%zmm26,%zmm27
  vpshldd $0x12,%xmm1,%xmm2,%xmm3
  vpshldd $0x12,%ymm1,%ymm2,%ymm3
  vpshldd $0x12,%zmm1,%zmm2,%zmm3
  vpshldd $0x12,%zmm25,%zmm26,%zmm27
  vpshldq $0x12,%xmm1,%xmm2,%xmm3
  vpshldq $0x12,%ymm1,%ymm2,%ymm3
  vpshldq $0x12,%zmm1,%zmm2,%zmm3
  vpshldq $0x12,%zmm25,%zmm26,%zmm27
  vpshrdw $0x12,%xmm1,%xmm2,%xmm3
  vpshrdw $0x12,%ymm1,%ymm2,%ymm3
  vpshrdw $0x12,%zmm1,%zmm2,%zmm3
  vpshrdw $0x12,%zmm25,%zmm26,%zmm27
  vpshrdd $0x12,%xmm1,%xmm2,%xmm3
  vpshrdd $0x12,%ymm1,%ymm2,%ymm3
  vpshrdd $0x12,%zmm1,%zmm2,%zmm3
  vpshrdd $0x12,%zmm25,%zmm26,%zmm27
  vpshrdq $0x12,%xmm1,%xmm2,%xmm3
  vpshrdq $0x12,%ymm1,%ymm2,%ymm3
  vpshrdq $0x12,%zmm1,%zmm2,%zmm3
  vpshrdq $0x12,%zmm25,%zmm26,%zmm27
  gf2p8affineqb $0x12,%xmm1,%xmm3
  vgf2p8affineqb $0x12,%xmm1,%xmm2,%xmm3
  vgf2p8affineqb $0x12,%ymm1,%ymm2,%ymm3
  vgf2p8affineqb $0x12,%zmm1,%zmm2,%zmm3
  vgf2p8affineqb $0x12,%zmm25,%zmm26,%zmm27
  gf2p8affineinvqb $0x12,%xmm1,%xmm3
  vgf2p8affineinvqb $0x12,%xmm1,%xmm2,%xmm3
  vgf2p8affineinvqb $0x12,%ymm1,%ymm2,%ymm3
  vgf2p8affineinvqb $0x12,%zmm1,%zmm2,%zmm3
  vgf2p8affineinvqb $0x12,%zmm25,%zmm26,%zmm27
  vprord $0x12,%zmm25,%zmm26
  vprorq $0x12,%zmm25,%zmm26
  vprold $0x12,%zmm29,%zmm30
  vprolq $0x12,%zmm29,%zmm30
  psrad  $0x2,%mm6
  vpsrad $0x5,%ymm6,%ymm2
  vpsrad $0x5,%zmm26,%zmm22
  vpsraq $0x5,%zmm26,%zmm22
  vgatherpf0dps 0x7b(%r14,%zmm31,8){%k1}
  vgatherpf0dpd 0x7b(%r14,%ymm31,8){%k1}
  vgatherpf1dps 0x7b(%r14,%zmm31,8){%k1}
  vgatherpf1dpd 0x7b(%r14,%ymm31,8){%k1}
  vscatterpf0dps 0x7b(%r14,%zmm31,8){%k1}
  vscatterpf0dpd 0x7b(%r14,%ymm31,8){%k1}
  vscatterpf1dps 0x7b(%r14,%zmm31,8){%k1}
  vscatterpf1dpd 0x7b(%r14,%ymm31,8){%k1}
  vgatherpf0qps 0x7b(%r14,%zmm31,8){%k1}
  vgatherpf0qpd 0x7b(%r14,%zmm31,8){%k1}
  vgatherpf1qps 0x7b(%r14,%zmm31,8){%k1}
  vgatherpf1qpd 0x7b(%r14,%zmm31,8){%k1}
  vscatterpf0qps 0x7b(%r14,%zmm31,8){%k1}
  vscatterpf0qpd 0x7b(%r14,%zmm31,8){%k1}
  vscatterpf1qps 0x7b(%r14,%zmm31,8){%k1}
  vscatterpf1qpd 0x7b(%r14,%zmm31,8){%k1}
  vaddpd %zmm28,%zmm29,%zmm30
  vaddpd %zmm28,%zmm29,%zmm30{%k7}
  vaddpd %zmm28,%zmm29,%zmm30{%k7}{z}
  vaddpd {rn-sae},%zmm28,%zmm29,%zmm30
  vaddpd {ru-sae},%zmm28,%zmm29,%zmm30
  vaddpd {rd-sae},%zmm28,%zmm29,%zmm30
  vaddpd {rz-sae},%zmm28,%zmm29,%zmm30
  vaddpd (%rcx),%zmm29,%zmm30
  vaddpd 0x123(%rax,%r14,8),%zmm29,%zmm30
  vaddpd (%rcx){1to8},%zmm29,%zmm30
  vaddpd 0x1fc0(%rdx),%zmm29,%zmm30
  vaddpd 0x3f8(%rdx){1to8},%zmm29,%zmm30
  vcmpeq_uqps 0x1fc(%rdx){1to16},%zmm30,%k5
  vcmpltsd 0x123(%rax,%r14,8),%xmm29,%k5{%k7}
  vcmplesd {sae},%xmm28,%xmm29,%k5{%k7}
  vgetmantss $0x5b,0x123(%rax,%r14,8),%xmm29,%xmm30{%k7}
  bndmk  (%rax),%bnd0
  bndmk  (%r8),%bnd0
  bndmk  0x12345678,%bnd0
  bndmk  (%rax),%bnd3
  bndmk  (%rcx,%rax,1),%bnd0
  bndmk  0x12345678(,%rax,1),%bnd0
  bndmk  (%rax,%rcx,1),%bnd0
  bndmk  (%rax,%rcx,8),%bnd0
  bndmk  0x12(%rax),%bnd0
  bndmk  0x12(%rbp),%bnd0
  bndmk  0x12(%rcx,%rax,1),%bnd0
  bndmk  0x12(%rbp,%rax,1),%bnd0
  bndmk  0x12(%rax,%rcx,1),%bnd0
  bndmk  0x12(%rax,%rcx,8),%bnd0
  bndmk  0x12345678(%rax),%bnd0
  bndmk  0x12345678(%rbp),%bnd0
  bndmk  0x12345678(%rcx,%rax,1),%bnd0
  bndmk  0x12345678(%rbp,%rax,1),%bnd0
  bndmk  0x12345678(%rax,%rcx,1),%bnd0
  bndmk  0x12345678(%rax,%rcx,8),%bnd0
  bndcl  (%rax),%bnd0
  bndcl  (%r8),%bnd0
  bndcl  0x12345678,%bnd0
  bndcl  (%rax),%bnd3
  bndcl  (%rcx,%rax,1),%bnd0
  bndcl  0x12345678(,%rax,1),%bnd0
  bndcl  (%rax,%rcx,1),%bnd0
  bndcl  (%rax,%rcx,8),%bnd0
  bndcl  0x12(%rax),%bnd0
  bndcl  0x12(%rbp),%bnd0
  bndcl  0x12(%rcx,%rax,1),%bnd0
  bndcl  0x12(%rbp,%rax,1),%bnd0
  bndcl  0x12(%rax,%rcx,1),%bnd0
  bndcl  0x12(%rax,%rcx,8),%bnd0
  bndcl  0x12345678(%rax),%bnd0
  bndcl  0x12345678(%rbp),%bnd0
  bndcl  0x12345678(%rcx,%rax,1),%bnd0
  bndcl  0x12345678(%rbp,%rax,1),%bnd0
  bndcl  0x12345678(%rax,%rcx,1),%bnd0
  bndcl  0x12345678(%rax,%rcx,8),%bnd0
  bndcl  %rax,%bnd0
  bndcu  (%rax),%bnd0
  bndcu  (%r8),%bnd0
  bndcu  0x12345678,%bnd0
  bndcu  (%rax),%bnd3
  bndcu  (%rcx,%rax,1),%bnd0
  bndcu  0x12345678(,%rax,1),%bnd0
  bndcu  (%rax,%rcx,1),%bnd0
  bndcu  (%rax,%rcx,8),%bnd0
  bndcu  0x12(%rax),%bnd0
  bndcu  0x12(%rbp),%bnd0
  bndcu  0x12(%rcx,%rax,1),%bnd0
  bndcu  0x12(%rbp,%rax,1),%bnd0
  bndcu  0x12(%rax,%rcx,1),%bnd0
  bndcu  0x12(%rax,%rcx,8),%bnd0
  bndcu  0x12345678(%rax),%bnd0
  bndcu  0x12345678(%rbp),%bnd0
  bndcu  0x12345678(%rcx,%rax,1),%bnd0
  bndcu  0x12345678(%rbp,%rax,1),%bnd0
  bndcu  0x12345678(%rax,%rcx,1),%bnd0
  bndcu  0x12345678(%rax,%rcx,8),%bnd0
  bndcu  %rax,%bnd0
  bndcn  (%rax),%bnd0
  bndcn  (%r8),%bnd0
  bndcn  0x12345678,%bnd0
  bndcn  (%rax),%bnd3
  bndcn  (%rcx,%rax,1),%bnd0
  bndcn  0x12345678(,%rax,1),%bnd0
  bndcn  (%rax,%rcx,1),%bnd0
  bndcn  (%rax,%rcx,8),%bnd0
  bndcn  0x12(%rax),%bnd0
  bndcn  0x12(%rbp),%bnd0
  bndcn  0x12(%rcx,%rax,1),%bnd0
  bndcn  0x12(%rbp,%rax,1),%bnd0
  bndcn  0x12(%rax,%rcx,1),%bnd0
  bndcn  0x12(%rax,%rcx,8),%bnd0
  bndcn  0x12345678(%rax),%bnd0
  bndcn  0x12345678(%rbp),%bnd0
  bndcn  0x12345678(%rcx,%rax,1),%bnd0
  bndcn  0x12345678(%rbp,%rax,1),%bnd0
  bndcn  0x12345678(%rax,%rcx,1),%bnd0
  bndcn  0x12345678(%rax,%rcx,8),%bnd0
  bndcn  %rax,%bnd0
  bndmov (%rax),%bnd0
  bndmov (%r8),%bnd0
  bndmov 0x12345678,%bnd0
  bndmov (%rax),%bnd3
  bndmov (%rcx,%rax,1),%bnd0
  bndmov 0x12345678(,%rax,1),%bnd0
  bndmov (%rax,%rcx,1),%bnd0
  bndmov (%rax,%rcx,8),%bnd0
  bndmov 0x12(%rax),%bnd0
  bndmov 0x12(%rbp),%bnd0
  bndmov 0x12(%rcx,%rax,1),%bnd0
  bndmov 0x12(%rbp,%rax,1),%bnd0
  bndmov 0x12(%rax,%rcx,1),%bnd0
  bndmov 0x12(%rax,%rcx,8),%bnd0
  bndmov 0x12345678(%rax),%bnd0
  bndmov 0x12345678(%rbp),%bnd0
  bndmov 0x12345678(%rcx,%rax,1),%bnd0
  bndmov 0x12345678(%rbp,%rax,1),%bnd0
  bndmov 0x12345678(%rax,%rcx,1),%bnd0
  bndmov 0x12345678(%rax,%rcx,8),%bnd0
  bndmov %bnd0,(%rax)
  bndmov %bnd0,(%r8)
  bndmov %bnd0,0x12345678
  bndmov %bnd3,(%rax)
  bndmov %bnd0,(%rcx,%rax,1)
  bndmov %bnd0,0x12345678(,%rax,1)
  bndmov %bnd0,(%rax,%rcx,1)
  bndmov %bnd0,(%rax,%rcx,8)
  bndmov %bnd0,0x12(%rax)
  bndmov %bnd0,0x12(%rbp)
  bndmov %bnd0,0x12(%rcx,%rax,1)
  bndmov %bnd0,0x12(%rbp,%rax,1)
  bndmov %bnd0,0x12(%rax,%rcx,1)
  bndmov %bnd0,0x12(%rax,%rcx,8)
  bndmov %bnd0,0x12345678(%rax)
  bndmov %bnd0,0x12345678(%rbp)
  bndmov %bnd0,0x12345678(%rcx,%rax,1)
  bndmov %bnd0,0x12345678(%rbp,%rax,1)
  bndmov %bnd0,0x12345678(%rax,%rcx,1)
  bndmov %bnd0,0x12345678(%rax,%rcx,8)
  bndmov %bnd0,%bnd1
  bndmov %bnd1,%bnd0
  bndldx (%rax),%bnd0
  bndldx (%r8),%bnd0
  bndldx 0x12345678,%bnd0
  bndldx (%rax),%bnd3
  bndldx (%rcx,%rax,1),%bnd0
  bndldx 0x12345678(,%rax,1),%bnd0
  bndldx (%rax,%rcx,1),%bnd0
  bndldx 0x12(%rax),%bnd0
  bndldx 0x12(%rbp),%bnd0
  bndldx 0x12(%rcx,%rax,1),%bnd0
  bndldx 0x12(%rbp,%rax,1),%bnd0
  bndldx 0x12(%rax,%rcx,1),%bnd0
  bndldx 0x12345678(%rax),%bnd0
  bndldx 0x12345678(%rbp),%bnd0
  bndldx 0x12345678(%rcx,%rax,1),%bnd0
  bndldx 0x12345678(%rbp,%rax,1),%bnd0
  bndldx 0x12345678(%rax,%rcx,1),%bnd0
  bndstx %bnd0,(%rax)
  bndstx %bnd0,(%r8)
  bndstx %bnd0,0x12345678
  bndstx %bnd3,(%rax)
  bndstx %bnd0,(%rcx,%rax,1)
  bndstx %bnd0,0x12345678(,%rax,1)
  bndstx %bnd0,(%rax,%rcx,1)
  bndstx %bnd0,0x12(%rax)
  bndstx %bnd0,0x12(%rbp)
  bndstx %bnd0,0x12(%rcx,%rax,1)
  bndstx %bnd0,0x12(%rbp,%rax,1)
  bndstx %bnd0,0x12(%rax,%rcx,1)
  bndstx %bnd0,0x12345678(%rax)
  bndstx %bnd0,0x12345678(%rbp)
  bndstx %bnd0,0x12345678(%rcx,%rax,1)
  bndstx %bnd0,0x12345678(%rbp,%rax,1)
  bndstx %bnd0,0x12345678(%rax,%rcx,1)
  bnd call 1050 <label1@plt>
  bnd call *(%eax)
  bnd ret
  bnd jmp 1050 <label1@plt>
  bnd jmp 1050 <label1@plt>
  bnd jmp *(%ecx)
  bnd jne 1050 <label1@plt>
  sha1rnds4 $0x0,%xmm1,%xmm0
  sha1rnds4 $0x91,%xmm7,%xmm2
  sha1rnds4 $0x91,%xmm8,%xmm0
  sha1rnds4 $0x91,%xmm7,%xmm8
  sha1rnds4 $0x91,%xmm15,%xmm8
  sha1rnds4 $0x91,(%rax),%xmm0
  sha1rnds4 $0x91,(%r8),%xmm0
  sha1rnds4 $0x91,0x12345678,%xmm0
  sha1rnds4 $0x91,(%rax),%xmm3
  sha1rnds4 $0x91,(%rcx,%rax,1),%xmm0
  sha1rnds4 $0x91,0x12345678(,%rax,1),%xmm0
  sha1rnds4 $0x91,(%rax,%rcx,1),%xmm0
  sha1rnds4 $0x91,(%rax,%rcx,8),%xmm0
  sha1rnds4 $0x91,0x12(%rax),%xmm0
  sha1rnds4 $0x91,0x12(%rbp),%xmm0
  sha1rnds4 $0x91,0x12(%rcx,%rax,1),%xmm0
  sha1rnds4 $0x91,0x12(%rbp,%rax,1),%xmm0
  sha1rnds4 $0x91,0x12(%rax,%rcx,1),%xmm0
  sha1rnds4 $0x91,0x12(%rax,%rcx,8),%xmm0
  sha1rnds4 $0x91,0x12345678(%rax),%xmm0
  sha1rnds4 $0x91,0x12345678(%rbp),%xmm0
  sha1rnds4 $0x91,0x12345678(%rcx,%rax,1),%xmm0
  sha1rnds4 $0x91,0x12345678(%rbp,%rax,1),%xmm0
  sha1rnds4 $0x91,0x12345678(%rax,%rcx,1),%xmm0
  sha1rnds4 $0x91,0x12345678(%rax,%rcx,8),%xmm0
  sha1rnds4 $0x91,0x12345678(%rax,%rcx,8),%xmm15
  sha1nexte %xmm1,%xmm0
  sha1nexte %xmm7,%xmm2
  sha1nexte %xmm8,%xmm0
  sha1nexte %xmm7,%xmm8
  sha1nexte %xmm15,%xmm8
  sha1nexte (%rax),%xmm0
  sha1nexte (%r8),%xmm0
  sha1nexte 0x12345678,%xmm0
  sha1nexte (%rax),%xmm3
  sha1nexte (%rcx,%rax,1),%xmm0
  sha1nexte 0x12345678(,%rax,1),%xmm0
  sha1nexte (%rax,%rcx,1),%xmm0
  sha1nexte (%rax,%rcx,8),%xmm0
  sha1nexte 0x12(%rax),%xmm0
  sha1nexte 0x12(%rbp),%xmm0
  sha1nexte 0x12(%rcx,%rax,1),%xmm0
  sha1nexte 0x12(%rbp,%rax,1),%xmm0
  sha1nexte 0x12(%rax,%rcx,1),%xmm0
  sha1nexte 0x12(%rax,%rcx,8),%xmm0
  sha1nexte 0x12345678(%rax),%xmm0
  sha1nexte 0x12345678(%rbp),%xmm0
  sha1nexte 0x12345678(%rcx,%rax,1),%xmm0
  sha1nexte 0x12345678(%rbp,%rax,1),%xmm0
  sha1nexte 0x12345678(%rax,%rcx,1),%xmm0
  sha1nexte 0x12345678(%rax,%rcx,8),%xmm0
  sha1nexte 0x12345678(%rax,%rcx,8),%xmm15
  sha1msg1 %xmm1,%xmm0
  sha1msg1 %xmm7,%xmm2
  sha1msg1 %xmm8,%xmm0
  sha1msg1 %xmm7,%xmm8
  sha1msg1 %xmm15,%xmm8
  sha1msg1 (%rax),%xmm0
  sha1msg1 (%r8),%xmm0
  sha1msg1 0x12345678,%xmm0
  sha1msg1 (%rax),%xmm3
  sha1msg1 (%rcx,%rax,1),%xmm0
  sha1msg1 0x12345678(,%rax,1),%xmm0
  sha1msg1 (%rax,%rcx,1),%xmm0
  sha1msg1 (%rax,%rcx,8),%xmm0
  sha1msg1 0x12(%rax),%xmm0
  sha1msg1 0x12(%rbp),%xmm0
  sha1msg1 0x12(%rcx,%rax,1),%xmm0
  sha1msg1 0x12(%rbp,%rax,1),%xmm0
  sha1msg1 0x12(%rax,%rcx,1),%xmm0
  sha1msg1 0x12(%rax,%rcx,8),%xmm0
  sha1msg1 0x12345678(%rax),%xmm0
  sha1msg1 0x12345678(%rbp),%xmm0
  sha1msg1 0x12345678(%rcx,%rax,1),%xmm0
  sha1msg1 0x12345678(%rbp,%rax,1),%xmm0
  sha1msg1 0x12345678(%rax,%rcx,1),%xmm0
  sha1msg1 0x12345678(%rax,%rcx,8),%xmm0
  sha1msg1 0x12345678(%rax,%rcx,8),%xmm15
  sha1msg2 %xmm1,%xmm0
  sha1msg2 %xmm7,%xmm2
  sha1msg2 %xmm8,%xmm0
  sha1msg2 %xmm7,%xmm8
  sha1msg2 %xmm15,%xmm8
  sha1msg2 (%rax),%xmm0
  sha1msg2 (%r8),%xmm0
  sha1msg2 0x12345678,%xmm0
  sha1msg2 (%rax),%xmm3
  sha1msg2 (%rcx,%rax,1),%xmm0
  sha1msg2 0x12345678(,%rax,1),%xmm0
  sha1msg2 (%rax,%rcx,1),%xmm0
  sha1msg2 (%rax,%rcx,8),%xmm0
  sha1msg2 0x12(%rax),%xmm0
  sha1msg2 0x12(%rbp),%xmm0
  sha1msg2 0x12(%rcx,%rax,1),%xmm0
  sha1msg2 0x12(%rbp,%rax,1),%xmm0
  sha1msg2 0x12(%rax,%rcx,1),%xmm0
  sha1msg2 0x12(%rax,%rcx,8),%xmm0
  sha1msg2 0x12345678(%rax),%xmm0
  sha1msg2 0x12345678(%rbp),%xmm0
  sha1msg2 0x12345678(%rcx,%rax,1),%xmm0
  sha1msg2 0x12345678(%rbp,%rax,1),%xmm0
  sha1msg2 0x12345678(%rax,%rcx,1),%xmm0
  sha1msg2 0x12345678(%rax,%rcx,8),%xmm0
  sha1msg2 0x12345678(%rax,%rcx,8),%xmm15
  sha256rnds2 %xmm0,%xmm4,%xmm1
  sha256rnds2 %xmm0,%xmm7,%xmm2
  sha256rnds2 %xmm0,%xmm8,%xmm1
  sha256rnds2 %xmm0,%xmm7,%xmm8
  sha256rnds2 %xmm0,%xmm15,%xmm8
  sha256rnds2 %xmm0,(%rax),%xmm1
  sha256rnds2 %xmm0,(%r8),%xmm1
  sha256rnds2 %xmm0,0x12345678,%xmm1
  sha256rnds2 %xmm0,(%rax),%xmm3
  sha256rnds2 %xmm0,(%rcx,%rax,1),%xmm1
  sha256rnds2 %xmm0,0x12345678(,%rax,1),%xmm1
  sha256rnds2 %xmm0,(%rax,%rcx,1),%xmm1
  sha256rnds2 %xmm0,(%rax,%rcx,8),%xmm1
  sha256rnds2 %xmm0,0x12(%rax),%xmm1
  sha256rnds2 %xmm0,0x12(%rbp),%xmm1
  sha256rnds2 %xmm0,0x12(%rcx,%rax,1),%xmm1
  sha256rnds2 %xmm0,0x12(%rbp,%rax,1),%xmm1
  sha256rnds2 %xmm0,0x12(%rax,%rcx,1),%xmm1
  sha256rnds2 %xmm0,0x12(%rax,%rcx,8),%xmm1
  sha256rnds2 %xmm0,0x12345678(%rax),%xmm1
  sha256rnds2 %xmm0,0x12345678(%rbp),%xmm1
  sha256rnds2 %xmm0,0x12345678(%rcx,%rax,1),%xmm1
  sha256rnds2 %xmm0,0x12345678(%rbp,%rax,1),%xmm1
  sha256rnds2 %xmm0,0x12345678(%rax,%rcx,1),%xmm1
  sha256rnds2 %xmm0,0x12345678(%rax,%rcx,8),%xmm1
  sha256rnds2 %xmm0,0x12345678(%rax,%rcx,8),%xmm15
  sha256msg1 %xmm1,%xmm0
  sha256msg1 %xmm7,%xmm2
  sha256msg1 %xmm8,%xmm0
  sha256msg1 %xmm7,%xmm8
  sha256msg1 %xmm15,%xmm8
  sha256msg1 (%rax),%xmm0
  sha256msg1 (%r8),%xmm0
  sha256msg1 0x12345678,%xmm0
  sha256msg1 (%rax),%xmm3
  sha256msg1 (%rcx,%rax,1),%xmm0
  sha256msg1 0x12345678(,%rax,1),%xmm0
  sha256msg1 (%rax,%rcx,1),%xmm0
  sha256msg1 (%rax,%rcx,8),%xmm0
  sha256msg1 0x12(%rax),%xmm0
  sha256msg1 0x12(%rbp),%xmm0
  sha256msg1 0x12(%rcx,%rax,1),%xmm0
  sha256msg1 0x12(%rbp,%rax,1),%xmm0
  sha256msg1 0x12(%rax,%rcx,1),%xmm0
  sha256msg1 0x12(%rax,%rcx,8),%xmm0
  sha256msg1 0x12345678(%rax),%xmm0
  sha256msg1 0x12345678(%rbp),%xmm0
  sha256msg1 0x12345678(%rcx,%rax,1),%xmm0
  sha256msg1 0x12345678(%rbp,%rax,1),%xmm0
  sha256msg1 0x12345678(%rax,%rcx,1),%xmm0
  sha256msg1 0x12345678(%rax,%rcx,8),%xmm0
  sha256msg1 0x12345678(%rax,%rcx,8),%xmm15
  sha256msg2 %xmm1,%xmm0
  sha256msg2 %xmm7,%xmm2
  sha256msg2 %xmm8,%xmm0
  sha256msg2 %xmm7,%xmm8
  sha256msg2 %xmm15,%xmm8
  sha256msg2 (%rax),%xmm0
  sha256msg2 (%r8),%xmm0
  sha256msg2 0x12345678,%xmm0
  sha256msg2 (%rax),%xmm3
  sha256msg2 (%rcx,%rax,1),%xmm0
  sha256msg2 0x12345678(,%rax,1),%xmm0
  sha256msg2 (%rax,%rcx,1),%xmm0
  sha256msg2 (%rax,%rcx,8),%xmm0
  sha256msg2 0x12(%rax),%xmm0
  sha256msg2 0x12(%rbp),%xmm0
  sha256msg2 0x12(%rcx,%rax,1),%xmm0
  sha256msg2 0x12(%rbp,%rax,1),%xmm0
  sha256msg2 0x12(%rax,%rcx,1),%xmm0
  sha256msg2 0x12(%rax,%rcx,8),%xmm0
  sha256msg2 0x12345678(%rax),%xmm0
  sha256msg2 0x12345678(%rbp),%xmm0
  sha256msg2 0x12345678(%rcx,%rax,1),%xmm0
  sha256msg2 0x12345678(%rbp,%rax,1),%xmm0
  sha256msg2 0x12345678(%rax,%rcx,1),%xmm0
  sha256msg2 0x12345678(%rax,%rcx,8),%xmm0
  sha256msg2 0x12345678(%rax,%rcx,8),%xmm15
  clflushopt (%rax)
  clflushopt (%r8)
  clflushopt 0x12345678
  clflushopt 0x12345678(%rax,%rcx,8)
  clflushopt 0x12345678(%r8,%rcx,8)
  clflush (%rax)
  clflush (%r8)
  sfence
  clwb   (%rax)
  clwb   (%r8)
  clwb   0x12345678
  clwb   0x12345678(%rax,%rcx,8)
  clwb   0x12345678(%r8,%rcx,8)
  xsaveopt (%rax)
  xsaveopt (%r8)
  mfence
  cldemote (%rax)
  cldemote (%r8)
  cldemote 0x12345678
  cldemote 0x12345678(%rax,%rcx,8)
  cldemote 0x12345678(%r8,%rcx,8)
  xsavec (%rax)
  xsavec (%r8)
  xsavec 0x12345678
  xsavec 0x12345678(%rax,%rcx,8)
  xsavec 0x12345678(%r8,%rcx,8)
  xsaves (%rax)
  xsaves (%r8)
  xsaves 0x12345678
  xsaves 0x12345678(%rax,%rcx,8)
  xsaves 0x12345678(%r8,%rcx,8)
  xrstors (%rax)
  xrstors (%r8)
  xrstors 0x12345678
  xrstors 0x12345678(%rax,%rcx,8)
  xrstors 0x12345678(%r8,%rcx,8)
  ptwritel (%rax)
  ptwritel (%r8)
  ptwritel 0x12345678
  ptwritel 0x12345678(%rax,%rcx,8)
  ptwritel 0x12345678(%r8,%rcx,8)
  ptwritel (%rax)
  ptwritel (%r8)
  ptwritel 0x12345678
  ptwritel 0x12345678(%rax,%rcx,8)
  ptwritel 0x12345678(%r8,%rcx,8)
  ptwriteq (%rax)
  ptwriteq (%r8)
  ptwriteq 0x12345678
  ptwriteq 0x12345678(%rax,%rcx,8)
  ptwriteq 0x12345678(%r8,%rcx,8)
  tpause %ebx
  tpause %r8d
  umonitor %eax
  umonitor %rax
  umonitor %r8d
  umwait %eax
  umwait %r8d
  movdiri %rax,(%rbx)
  movdiri %rcx,0x12345678(%rax)
  movdir64b (%rax),%rbx
  movdir64b 0x12345678(%rax),%rcx
  movdir64b (%eax),%ebx
  movdir64b 0x12345678(%eax),%ecx
  enqcmd (%rax),%rbx
  enqcmd 0x12345678(%rax),%rcx
  enqcmd (%eax),%ebx
  enqcmd 0x12345678(%eax),%ecx
  enqcmds (%rax),%rbx
  enqcmds 0x12345678(%rax),%rcx
  enqcmds (%eax),%ebx
  enqcmds 0x12345678(%eax),%ecx
  encls
  enclu
  enclv
  pconfig
  wbnoinvd
  rdtsc
  mov    $0x0,%eax
  pop    %rbp
  ret
```

assistant: ```c
int main(void) {
  asm volatile("rdtsc");
  asm volatile("vcvtph2ps %xmm3,%ymm5");
  asm volatile("cmovno %rax,%rbx");
  asm volatile("cmovno 0x12345678(%rax),%rcx");
  asm volatile("cmovno 0x12345678(%rax),%cx");
  asm volatile("cmove  %rax,%rbx");
  asm volatile("cmove 0x12345678(%rax),%rcx");
  asm volatile("cmove 0x12345678(%rax),%cx");
  asm volatile("seto    0x12345678(%rax)");
  asm volatile("setno   0x12345678(%rax)");
  asm volatile("setb    0x12345678(%rax)");
  asm volatile("setc    0x12345678(%rax)");
  asm volatile("setnae  0x12345678(%rax)");
  asm volatile("setae   0x12345678(%rax)");
  asm volatile("setnb   0x12345678(%rax)");
  asm volatile("setnc   0x12345678(%rax)");
  asm volatile("sets    0x12345678(%rax)");
  asm volatile("setns   0x12345678(%rax)");
  asm volatile("kandw  %k7,%k6,%k5");
  asm volatile("kandq  %k7,%k6,%k5");
  asm volatile("kandb  %k7,%k6,%k5");
  asm volatile("kandd  %k7,%k6,%k5");
  asm volatile("kandnw  %k7,%k6,%k5");
  asm volatile("kandnq  %k7,%k6,%k5");
  asm volatile("kandnb  %k7,%k6,%k5");
  asm volatile("kandnd  %k7,%k6,%k5");
  asm volatile("knotw  %k7,%k6");
  asm volatile("knotq  %k7,%k6");
  asm volatile("knotb  %k7,%k6");
  asm volatile("knotd  %k7,%k6");
  asm volatile("korw  %k7,%k6,%k5");
  asm volatile("korq  %k7,%k6,%k5");
  asm volatile("korb  %k7,%k6,%k5");
  asm volatile("kord  %k7,%k6,%k5");
  asm volatile("kxnorw  %k7,%k6,%k5");
  asm volatile("kxnorq  %k7,%k6,%k5");
  asm volatile("kxnorb  %k7,%k6,%k5");
  asm volatile("kxnord  %k7,%k6,%k5");
  asm volatile("kxorw  %k7,%k6,%k5");
  asm volatile("kxorq  %k7,%k6,%k5");
  asm volatile("kxorb  %k7,%k6,%k5");
  asm volatile("kxord  %k7,%k6,%k5");
  asm volatile("kaddw  %k7,%k6,%k5");
  asm volatile("kaddq  %k7,%k6,%k5");
  asm volatile("kaddb  %k7,%k6,%k5");
  asm volatile("kaddd  %k7,%k6,%k5");
  asm volatile("kunpckbw %k7,%k6,%k5");
  asm volatile("kunpckwd %k7,%k6,%k5");
  asm volatile("kunpckdq %k7,%k6,%k5");
  asm volatile("kmovw  %k6,%k5");
  asm volatile("kmovw  (%rcx),%k5");
  asm volatile("kmovw  0x123(%rax,%r14,8),%k5");
  asm volatile("kmovw  %k5,(%rcx)");
  asm volatile("kmovw  %k5,0x123(%rax,%r14,8)");
  asm volatile("kmovw  %eax,%k5");
  asm volatile("kmovw  %ebp,%k5");
  asm volatile("kmovw  %r13d,%k5");
  asm volatile("kmovw  %k5,%eax");
  asm volatile("kmovw  %k5,%ebp");
  asm volatile("kmovw  %k5,%r13d");
  asm volatile("kmovq  %k6,%k5");
  asm volatile("kmovq  (%rcx),%k5");
  asm volatile("kmovq  0x123(%rax,%r14,8),%k5");
  asm volatile("kmovq  %k5,(%rcx)");
  asm volatile("kmovq  %k5,0x123(%rax,%r14,8)");
  asm volatile("kmovq  %rax,%k5");
  asm volatile("kmovq  %rbp,%k5");
  asm volatile("kmovq  %r13,%k5");
  asm volatile("kmovq  %k5,%rax");
  asm volatile("kmovq  %k5,%rbp");
  asm volatile("kmovq  %k5,%r13");
  asm volatile("kmovb  %k6,%k5");
  asm volatile("kmovb  (%rcx),%k5");
  asm volatile("kmovb  0x123(%rax,%r14,8),%k5");
  asm volatile("kmovb  %k5,(%rcx)");
  asm volatile("kmovb  %k5,0x123(%rax,%r14,8)");
  asm volatile("kmovb  %eax,%k5");
  asm volatile("kmovb  %ebp,%k5");
  asm volatile("kmovb  %r13d,%k5");
  asm volatile("kmovb  %k5,%eax");
  asm volatile("kmovb  %k5,%ebp");
  asm volatile("kmovb  %k5,%r13d");
  asm volatile("kmovd  %k6,%k5");
  asm volatile("kmovd  (%rcx),%k5");
  asm volatile("kmovd  0x123(%rax,%r14,8),%k5");
  asm volatile("kmovd  %k5,(%rcx)");
  asm volatile("kmovd  %k5,0x123(%rax,%r14,8)");
  asm volatile("kmovd  %eax,%k5");
  asm volatile("kmovd  %ebp,%k5");
  asm volatile("kmovd  %r13d,%k5");
  asm volatile("kmovd  %k5,%eax");
  asm volatile("kmovd  %k5,%ebp");
  asm volatile("kmovd %k5,%r13d");
  asm volatile("kortestw %k6,%k5");
  asm volatile("kortestq %k6,%k5");
  asm volatile("kortestb %k6,%k5");
  asm volatile("kortestd %k6,%k5");
  asm volatile("ktestw %k6,%k5");
  asm volatile("ktestq %k6,%k5");
  asm volatile("ktestb %k6,%k5");
  asm volatile("ktestd %k6,%k5");
  asm volatile("kshiftrw $0x12,%k6,%k5");
  asm volatile("kshiftrq $0x5b,%k6,%k5");
  asm volatile("kshiftlw $0x12,%k6,%k5");
  asm volatile("kshiftlq $0x5b,%k6,%k5");
  asm volatile("vcvtdq2ps %xmm5,%xmm6");
  asm volatile("vcvtqq2ps %zmm29,%ymm6{%k7}");
  asm volatile("vcvtps2dq %xmm5,%xmm6");
  asm volatile("vcvttps2dq %xmm5,%xmm6");
  asm volatile("movq   %mm0,%mm4");
  asm volatile("vmovdqa %ymm4,%ymm6");
  asm volatile("vmovdqa32 %zmm25,%zmm26");
  asm volatile("vmovdqa64 %zmm25,%zmm26");
  asm volatile("vmovdqu %ymm4,%ymm6");
  asm volatile("vmovdqu32 %zmm29,%zmm30");
  asm volatile("vmovdqu64 %zmm25,%zmm26");
  asm volatile("vmovdqu8 %zmm29,%zmm30");
  asm volatile("vmovdqu16 %zmm25,%zmm26");
  asm volatile("vmread %rax,%rbx");
  asm volatile("vcvttps2udq %zmm25,%zmm26");
  asm volatile("vcvttpd2udq %zmm29,%ymm6{%k7}");
  asm volatile("vcvttsd2usi %xmm6,%rax");
  asm volatile("vcvttss2usi %xmm6,%rax");
  asm volatile("vcvttps2uqq %ymm5,%zmm26{%k7}");
  asm volatile("vcvttpd2uqq %zmm29,%zmm30");
  asm volatile("vmwrite %rax,%rbx");
  asm volatile("vcvtps2udq %zmm25,%zmm26");
  asm volatile("vcvtpd2udq %zmm29,%ymm6{%k7}");
  asm volatile("vcvtsd2usi %xmm6,%rax");
  asm volatile("vcvtss2usi %xmm6,%rax");
  asm volatile("vcvtps2uqq %ymm5,%zmm26{%k7}");
  asm volatile("vcvtpd2uqq %zmm29,%zmm30");
  asm volatile("vcvtudq2pd %ymm5,%zmm29{%k7}");
  asm volatile("vcvtuqq2pd %zmm25,%zmm26");
  asm volatile("vcvtudq2ps %zmm29,%zmm30");
  asm volatile("vcvtuqq2ps %zmm25,%ymm26{%k7}");
  asm volatile("vcvttps2qq %ymm25,%zmm26{%k7}");
  asm volatile("vcvttpd2qq %zmm29,%zmm30");
  asm volatile("vcvtusi2sd %eax,%xmm5,%xmm6");
  asm volatile("vcvtusi2ss %eax,%xmm5,%xmm6");
  asm volatile("vcvtps2qq %ymm5,%zmm26{%k7}");
  asm volatile("vcvtpd2qq %zmm29,%zmm30");
  asm volatile("movq.s  %mm0,%mm4");
  asm volatile("vmovdqa %ymm8,%ymm6");
  asm volatile("vmovdqa32.s %zmm25,%zmm26");
  asm volatile("vmovdqa64.s %zmm25,%zmm26");
  asm volatile("vmovdqu %ymm8,%ymm6");
  asm volatile("vmovdqu32.s %zmm25,%zmm26");
  asm volatile("vmovdqu64.s %zmm25,%zmm26");
  asm volatile("vmovdqu8.s %zmm30,(%rcx)");
  asm volatile("vmovdqu16.s %zmm25,%zmm26");
  asm volatile("pand  %mm1,%mm2");
  asm volatile("pand  %xmm1,%xmm2");
  asm volatile("vpand  %ymm4,%ymm6,%ymm2");
  asm volatile("vpandd %zmm24,%zmm25,%zmm26");
  asm volatile("vpandq %zmm24,%zmm25,%zmm26");
  asm volatile("pandn  %mm1,%mm2");
  asm volatile("pandn  %xmm1,%xmm2");
  asm volatile("vpandn %ymm4,%ymm6,%ymm2");
  asm volatile("vpandnd %zmm24,%zmm25,%zmm26");
  asm volatile("vpandnq %zmm24,%zmm25,%zmm26");
  asm volatile("vcvttpd2dq %xmm1,%xmm2");
  asm volatile("vcvtdq2pd %xmm5,%xmm6");
  asm volatile("vcvtdq2pd %ymm5,%zmm26{%k7}");
  asm volatile("vcvtqq2pd %zmm25,%zmm26");
  asm volatile("vcvtpd2dq %xmm1,%xmm2");
  asm volatile("por   %mm4,%mm6");
  asm volatile("vpor   %ymm4,%ymm6,%ymm2");
  asm volatile("vpord  %zmm24,%zmm25,%zmm26");
  asm volatile("vporq  %zmm24,%zmm25,%zmm26");
  asm volatile("pxor   %mm4,%mm6");
  asm volatile("vpxor  %ymm4,%ymm6,%ymm2");
  asm volatile("vpxord %zmm24,%zmm25,%zmm26");
  asm volatile("vpxorq %zmm24,%zmm25,%zmm26");
  asm volatile("pblendvb %xmm1,%xmm0");
  asm volatile("vpsrlvw %zmm27,%zmm28,%zmm29");
  asm volatile("vpmovuswb %zmm28,%ymm6{%k7}");
  asm volatile("vpmovusdb %zmm28,%xmm6{%k7}");
  asm volatile("vpsravw %zmm27,%zmm28,%zmm29");
  asm volatile("vpmovusqb %zmm27,%xmm6{%k7}");
  asm volatile("vpsllvw %zmm27,%zmm28,%zmm29");
  asm volatile("vcvtph2ps %xmm3,%ymm5");
  asm volatile("vcvtph2ps %ymm5,%zmm27{%k7}");
  asm volatile("vpmovusdw %zmm27,%ymm6{%k7}");
  asm volatile("blendvps %xmm1,%xmm0");
  asm volatile("vpmovusqw %zmm27,%xmm6{%k7}");
  asm volatile("vprorvd %zmm27,%zmm28,%zmm29");
  asm volatile("vprorvq %zmm27,%zmm28,%zmm29");
  asm volatile("blendvpd %xmm1,%xmm0");
  asm volatile("vpmovusqd %zmm27,%ymm6{%k7}");
  asm volatile("vprolvd %zmm27,%zmm28,%zmm29");
  asm volatile("vprolvq %zmm27,%zmm28,%zmm29");
  asm volatile("vpermps %ymm4,%ymm6,%ymm2");
  asm volatile("vpermps %ymm24,%ymm26,%ymm22{%k7}");
  asm volatile("vpermpd %ymm24,%ymm26,%ymm22{%k7}");
  asm volatile("vbroadcastsd %xmm4,%ymm6");
  asm volatile("vbroadcastf32x2 %xmm27,%zmm26");
  asm volatile("vbroadcastf128 (%rcx),%ymm4");
  asm volatile("vbroadcastf32x4 (%rcx),%zmm26");
  asm volatile("vbroadcastf64x2 (%rcx),%zmm26");
  asm volatile("vbroadcastf32x8 (%rcx),%zmm27");
  asm volatile("vbroadcastf64x4 (%rcx),%zmm26");
  asm volatile("vpabsq %zmm27,%zmm28");
  asm volatile("vpmovsxbw %xmm4,%xmm5");
  asm volatile("vpmovswb %zmm27,%ymm6{%k7}");
  asm volatile("vpmovsxbd %xmm4,%ymm6");
  asm volatile("vpmovsdb %zmm27,%xmm6{%k7}");
  asm volatile("vpmovsxbq %xmm4,%ymm4");
  asm volatile("vpmovsqb %zmm27,%xmm6{%k7}");
  asm volatile("vpmovsxwd %xmm4,%ymm4");
  asm volatile("vpmovsdw %zmm27,%ymm6{%k7}");
  asm volatile("vpmovsxwq %xmm4,%ymm6");
  asm volatile("vpmovsqw %zmm27,%xmm6{%k7}");
  asm volatile("vpmovsxdq %xmm4,%ymm4");
  asm volatile("vpmovsqd %zmm27,%ymm6{%k7}");
  asm volatile("vptestmb %zmm27,%zmm28,%k5");
  asm volatile("vptestmw %zmm27,%zmm28,%k5");
  asm volatile("vptestnmb %zmm26,%zmm27,%k5");
  asm volatile("vptestnmw %zmm26,%zmm27,%k5");
  asm volatile("vptestmd %zmm27,%zmm28,%k5");
  asm volatile("vptestmq %zmm27,%zmm28,%k5");
  asm volatile("vptestnmd %zmm26,%zmm27,%k5");
  asm volatile("vptestnmq %zmm26,%zmm27,%k5");
  asm volatile("vpmuldq %ymm4,%ymm6,%ymm2");
  asm volatile("vpmovm2b %k5,%zmm28");
  asm volatile("vpmovm2w %k5,%zmm28");
  asm volatile("vpcmpeqq %ymm4,%ymm6,%ymm2");
  asm volatile("vpmovb2m %zmm28,%k5");
  asm volatile("vpmovw2m %zmm28,%k5");
  asm volatile("vmovntdqa (%rcx),%ymm4");
  asm volatile("vpbroadcastmb2q %k6,%zmm30");
  asm volatile("vmaskmovps (%rcx),%ymm4,%ymm6");
  asm volatile("vscalefps %zmm24,%zmm25,%zmm26");
  asm volatile("vscalefpd %zmm24,%zmm25,%zmm26");
  asm volatile("vmaskmovpd (%rcx),%ymm4,%ymm6");
  asm volatile("vscalefss %xmm24,%xmm25,%xmm26{%k7}");
  asm volatile("vscalefsd %xmm24,%xmm25,%xmm26{%k7}");
  asm volatile("vpmovzxbw %xmm4,%ymm4");
  asm volatile("vpmovwb %zmm27,%ymm6{%k7}");
  asm volatile("vpmovzxbd %xmm4,%ymm6");
  asm volatile("vpmovdb %zmm27,%xmm6{%k7}");
  asm volatile("vpmovzxbq %xmm4,%ymm4");
  asm volatile("vpmovqb %zmm27,%xmm6{%k7}");
  asm volatile("vpmovzxwd %xmm4,%ymm4");
  asm volatile("vpmovdw %zmm27,%ymm6{%k7}");
  asm volatile("vpmovzxwq %xmm4,%ymm6");
  asm volatile("vpmovqw %zmm27,%xmm6{%k7}");
  asm volatile("vpmovzxdq %xmm4,%ymm4");
  asm volatile("vpmovqd %zmm27,%ymm6{%k7}");
  asm volatile("vpermd %ymm4,%ymm6,%ymm2");
  asm volatile("vpermd %ymm24,%ymm26,%ymm22{%k7}");
  asm volatile("vpermq %ymm24,%ymm26,%ymm22{%k7}");
  asm volatile("vpminsb %ymm4,%ymm6,%ymm2");
  asm volatile("vpmovm2d %k5,%zmm28");
  asm volatile("vpmovm2q %k5,%zmm28");
  asm volatile("vpminsd %xmm1,%xmm2,%xmm3");
  asm volatile("vpminsd %zmm24,%zmm25,%zmm26");
  asm volatile("vpminsq %zmm24,%zmm25,%zmm26");
  asm volatile("vpmovd2m %zmm28,%k5");
  asm volatile("vpmovq2m %zmm28,%k5");
  asm volatile("vpminuw %ymm4,%ymm6,%ymm2");
  asm volatile("vpbroadcastmw2d %k6,%zmm28");
  asm volatile("vpminud %ymm4,%ymm6,%ymm2");
  asm volatile("vpminud %zmm24,%zmm25,%zmm26");
  asm volatile("vpminuq %zmm24,%zmm25,%zmm26");
  asm volatile("vpmaxsd %ymm4,%ymm6,%ymm2");
  asm volatile("vpmaxsd %zmm24,%zmm25,%zmm26");
  asm volatile("vpmaxsq %zmm24,%zmm25,%zmm26");
  asm volatile("vpmaxud %ymm4,%ymm6,%ymm2");
  asm volatile("vpmaxud %zmm24,%zmm25,%zmm26");
  asm volatile("vpmaxuq %zmm24,%zmm25,%zmm26");
  asm volatile("vpmulld %ymm4,%ymm6,%ymm2");
  asm volatile("vpmulld %zmm24,%zmm25,%zmm26");
  asm volatile("vpmullq %zmm24,%zmm25,%zmm26");
  asm volatile("vgetexpps %zmm25,%zmm26");
  asm volatile("vgetexppd %zmm27,%zmm28");
  asm volatile("vgetexpss %xmm24,%xmm25,%xmm26{%k7}");
  asm volatile("vgetexpsd %xmm28,%xmm29,%xmm30{%k7}");
  asm volatile("vplzcntd %zmm27,%zmm28");
  asm volatile("vplzcntq %zmm27,%zmm28");
  asm volatile("vpsravd %ymm4,%ymm6,%ymm2");
  asm volatile("vpsravd %zmm24,%zmm25,%zmm26");
  asm volatile("vpsravq %zmm24,%zmm25,%zmm26");
  asm volatile("vrcp14ps %zmm25,%zmm26");
  asm volatile("vrcp14pd %zmm27,%zmm28");
  asm volatile("vrcp14ss %xmm24,%xmm25,%xmm26{%k7}");
  asm volatile("vrcp14sd %xmm24,%xmm25,%xmm26{%k7}");
  asm volatile("vrsqrt14ps %zmm25,%zmm26");
  asm volatile("vrsqrt14pd %zmm27,%zmm28");
  asm volatile("vrsqrt14ss %xmm24,%xmm25,%xmm26{%k7}");
  asm volatile("vrsqrt14sd %xmm24,%xmm25,%xmm26{%k7}");
  asm volatile("vpdpbusd %xmm1, %xmm2, %xmm3");
  asm volatile("vpdpbusd %ymm1, %ymm2, %ymm3");
  asm volatile("vpdpbusd %zmm1, %zmm2, %zmm3");
  asm volatile("vpdpbusd 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");
  asm volatile("vpdpbusd 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");
  asm volatile("vpdpbusds %xmm1, %xmm2, %xmm3");
  asm volatile("vpdpbusds %ymm1, %ymm2, %ymm3");
  asm volatile("vpdpbusds %zmm1, %zmm2, %zmm3");
  asm volatile("vpdpbusds 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");
  asm volatile("vpdpbusds 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");
  asm volatile("vdpbf16ps %xmm1, %xmm2, %xmm3");
  asm volatile("vdpbf16ps %ymm1, %ymm2, %ymm3");
  asm volatile("vdpbf16ps %zmm1, %zmm2, %zmm3");
  asm volatile("vdpbf16ps 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");
  asm volatile("vdpbf16ps 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");
  asm volatile("vpdpwssd %xmm1, %xmm2, %xmm3");
  asm volatile("vpdpwssd %ymm1, %ymm2, %ymm3");
  asm volatile("vpdpwssd %zmm1, %zmm2, %zmm3");
  asm volatile("vpdpwssd 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");
  asm volatile("vpdpwssd 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");
  asm volatile("vp4dpwssd (%rax), %zmm0, %zmm4");
  asm volatile("vp4dpwssd (%eax), %zmm0, %zmm4");
  asm volatile("vp4dpwssd 0x12345678(%rax,%rcx,8),%zmm0,%zmm4");
  asm volatile("vp4dpwssd 0x12345678(%eax,%ecx,8),%zmm0,%zmm4");
  asm volatile("vpdpwssds %xmm1, %xmm2, %xmm3");
  asm volatile("vpdpwssds %ymm1, %ymm2, %ymm3");
  asm volatile("vpdpwssds %zmm1, %zmm2, %zmm3");
  asm volatile("vpdpwssds 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");
  asm volatile("vpdpwssds 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");
  asm volatile("vp4dpwssds (%rax), %zmm0, %zmm4");
  asm volatile("vp4dpwssds (%eax), %zmm0, %zmm4");
  asm volatile("vp4dpwssds 0x12345678(%rax,%rcx,8),%zmm0,%zmm4");
  asm volatile("vp4dpwssds 0x12345678(%eax,%ecx,8),%zmm0,%zmm4");
  asm volatile("vpopcntb %xmm1, %xmm2");
  asm volatile("vpopcntb %ymm1, %ymm2");
  asm volatile("vpopcntb %zmm1, %zmm2");
  asm volatile("vpopcntb 0x12345678(%rax,%rcx,8),%zmm2");
  asm volatile("vpopcntb 0x12345678(%eax,%ecx,8),%zmm2");
  asm volatile("vpopcntw %xmm1, %xmm2");
  asm volatile("vpopcntw %ymm1, %ymm2");
  asm volatile("vpopcntw %zmm1, %zmm2");
  asm volatile("vpopcntw 0x12345678(%rax,%rcx,8),%zmm2");
  asm volatile("vpopcntw 0x12345678(%eax,%ecx,8),%zmm2");
  asm volatile("vpopcntd %xmm1, %xmm2");
  asm volatile("vpopcntd %ymm1, %ymm2");
  asm volatile("vpopcntd %zmm1, %zmm2");
  asm volatile("vpopcntd 0x12345678(%rax,%rcx,8),%zmm2");
  asm volatile("vpopcntd 0x12345678(%eax,%ecx,8),%zmm2");
  asm volatile("vpopcntq %xmm1, %xmm2");
  asm volatile("vpopcntq %ymm1, %ymm2");
  asm volatile("vpopcntq %zmm1, %zmm2");
  asm volatile("vpopcntq 0x12345678(%rax,%rcx,8),%zmm2");
  asm volatile("vpopcntq 0x12345678(%eax,%ecx,8),%zmm2");
  asm volatile("vpbroadcastq %xmm4,%xmm6");
  asm volatile("vbroadcasti32x2 %xmm27,%zmm26");
  asm volatile("vbroadcasti128 (%rcx),%ymm4");
  asm volatile("vbroadcasti32x4 (%rcx),%zmm26");
  asm volatile("vbroadcasti64x2 (%rcx),%zmm26");
  asm volatile("vbroadcasti32x8 (%rcx),%zmm28");
  asm volatile("vbroadcasti64x4 (%rcx),%zmm26");
  asm volatile("vpexpandb %xmm1, %xmm2");
  asm volatile("vpexpandb %ymm1, %ymm2");
  asm volatile("vpexpandb %zmm1, %zmm2");
  asm volatile("vpexpandb 0x12345678(%rax,%rcx,8),%zmm2");
  asm volatile("vpexpandb 0x12345678(%eax,%ecx,8),%zmm2");
  asm volatile("vpexpandw %xmm1, %xmm2");
  asm volatile("vpexpandw %ymm1, %ymm2");
  asm volatile("vpexpandw %zmm1, %zmm2");
  asm volatile("vpexpandw 0x12345678(%rax,%rcx,8),%zmm2");
  asm volatile("vpexpandw 0x12345678(%eax,%ecx,8),%zmm2");
  asm volatile("vpcompressb %xmm1, %xmm2");
  asm volatile("vpcompressb %ymm1, %ymm2");
  asm volatile("vpcompressb %zmm1, %zmm2");
  asm volatile("vpcompressb %zmm2,0x12345678(%rax,%rcx,8)");
  asm volatile("vpcompressb %zmm2,0x12345678(%eax,%ecx,8)");
  asm volatile("vpcompressw %xmm1, %xmm2");
  asm volatile("vpcompressw %ymm1, %ymm2");
  asm volatile("vpcompressw %zmm1, %zmm2");
  asm volatile("vpcompressw %zmm2,0x12345678(%rax,%rcx,8)");
  asm volatile("vpcompressw %zmm2,0x12345678(%eax,%ecx,8)");
  asm volatile("vpblendmd %zmm26,%zmm27,%zmm28");
  asm volatile("vpblendmq %zmm26,%zmm27,%zmm28");
  asm volatile("vblendmps %zmm24,%zmm25,%zmm26");
  asm volatile("vblendmpd %zmm26,%zmm27,%zmm28");
  asm volatile("vpblendmb %zmm26,%zmm27,%zmm28");
  asm volatile("vpblendmw %zmm26,%zmm27,%zmm28");
  asm volatile("vp2intersectd %xmm1, %xmm2, %k3");
  asm volatile("vp2intersectd %ymm1, %ymm2, %k3");
  asm volatile("vp2intersectd %zmm1, %zmm2, %k3");
  asm volatile("vp2intersectd 0x12345678(%rax,%rcx,8),%zmm2,%k3");
  asm volatile("vp2intersectd 0x12345678(%eax,%ecx,8),%zmm2,%k3");
  asm volatile("vp2intersectq %xmm1, %xmm2, %k3");
  asm volatile("vp2intersectq %ymm1, %ymm2, %k3");
  asm volatile("vp2intersectq %zmm1, %zmm2, %k3");
  asm volatile("vp2intersectq 0x12345678(%rax,%rcx,8),%zmm2,%k3");
  asm volatile("vp2intersectq 0x12345678(%eax,%ecx,8),%zmm2,%k3");
  asm volatile("vpshldvw %xmm1, %xmm2, %xmm3");
  asm volatile("vpshldvw %ymm1, %ymm2, %ymm3");
  asm volatile("vpshldvw %zmm1, %zmm2, %zmm3");
  asm volatile("vpshldvw 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");
  asm volatile("vpshldvw 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");
  asm volatile("vpshldvd %xmm1, %xmm2, %xmm3");
  asm volatile("vpshldvd %ymm1, %ymm2, %ymm3");
  asm volatile("vpshldvd %zmm1, %zmm2, %zmm3");
  asm volatile("vpshldvd 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");
  asm volatile("vpshldvd 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");
  asm volatile("vpshldvq %xmm1, %xmm2, %xmm3");
  asm volatile("vpshldvq %ymm1, %ymm2, %ymm3");
  asm volatile("vpshldvq %zmm1, %zmm2, %zmm3");
  asm volatile("vpshldvq 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");
  asm volatile("vpshldvq 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");
  asm volatile("vcvtne2ps2bf16 %xmm1, %xmm2, %xmm3");
  asm volatile("vcvtne2ps2bf16 %ymm1, %ymm2, %ymm3");
  asm volatile("vcvtne2ps2bf16 %zmm1, %zmm2, %zmm3");
  asm volatile("vcvtne2ps2bf16 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");
  asm volatile("vcvtne2ps2bf16 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");
  asm volatile("vcvtneps2bf16 %xmm1, %xmm2");
  asm volatile("vcvtneps2bf16 %ymm1, %xmm2");
  asm volatile("vcvtneps2bf16 %zmm1, %ymm2");
  asm volatile("vcvtneps2bf16 0x12345678(%rax,%rcx,8),%ymm2");
  asm volatile("vcvtneps2bf16 0x12345678(%eax,%ecx,8),%ymm2");
  asm volatile("vpshrdvw %xmm1, %xmm2, %xmm3");
  asm volatile("vpshrdvw %ymm1, %ymm2, %ymm3");
  asm volatile("vpshrdvw %zmm1, %zmm2, %zmm3");
  asm volatile("vpshrdvw 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");
  asm volatile("vpshrdvw 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");
  asm volatile("vpshrdvd %xmm1, %xmm2, %xmm3");
  asm volatile("vpshrdvd %ymm1, %ymm2, %ymm3");
  asm volatile("vpshrdvd %zmm1, %zmm2, %zmm3");
  asm volatile("vpshrdvd 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");
  asm volatile("vpshrdvd 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");
  asm volatile("vpshrdvq %xmm1, %xmm2, %xmm3");
  asm volatile("vpshrdvq %ymm1, %ymm2, %ymm3");
  asm volatile("vpshrdvq %zmm1, %zmm2, %zmm3");
  asm volatile("vpshrdvq 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");
  asm volatile("vpshrdvq 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");
  asm volatile("vpermi2b %zmm24,%zmm25,%zmm26");
  asm volatile("vpermi2w %zmm26,%zmm27,%zmm28");
  asm volatile("vpermi2d %zmm26,%zmm27,%zmm28");
  asm volatile("vpermi2q %zmm26,%zmm27,%zmm28");
  asm volatile("vpermi2ps %zmm26,%zmm27,%zmm28");
  asm volatile("vpermi2pd %zmm26,%zmm27,%zmm28");
  asm volatile("vpbroadcastb %eax,%xmm30");
  asm volatile("vpbroadcastw %eax,%xmm30");
  asm volatile("vpbroadcastd %eax,%xmm30");
  asm volatile("vpbroadcastq %rax,%zmm30");
  asm volatile("vpermt2b %zmm26,%zmm27,%zmm28");
  asm volatile("vpermt2w %zmm26,%zmm27,%zmm28");
  asm volatile("vpermt2d %zmm26,%zmm27,%zmm28");
  asm volatile("vpermt2q %zmm26,%zmm27,%zmm28");
  asm volatile("vpermt2ps %zmm26,%zmm27,%zmm28");
  asm volatile("vpermt2pd %zmm26,%zmm27,%zmm28");
  asm volatile("vpmultishiftqb %zmm26,%zmm27,%zmm28");
  asm volatile("vexpandps (%rcx),%zmm26");
  asm volatile("vexpandpd (%rcx),%zmm28");
  asm volatile("vpexpandd (%rcx),%zmm28");
  asm volatile("vpexpandq (%rcx),%zmm26");
  asm volatile("vcompressps %zmm28,(%rcx)");
  asm volatile("vcompresspd %zmm28,(%rcx)");
  asm volatile("vpcompressd %zmm28,(%rcx)");
  asm volatile("vpcompressq %zmm26,(%rcx)");
  asm volatile("vpermb %zmm26,%zmm27,%zmm28");
  asm volatile("vpermw %zmm26,%zmm27,%zmm28");
  asm volatile("vpshufbitqmb %xmm1, %xmm2, %k3");
  asm volatile("vpshufbitqmb %ymm1, %ymm2, %k3");
  asm volatile("vpshufbitqmb %zmm1, %zmm2, %k3");
  asm volatile("vpshufbitqmb 0x12345678(%rax,%rcx,8),%zmm2,%k3");
  asm volatile("vpshufbitqmb 0x12345678(%eax,%ecx,8),%zmm2,%k3");
  asm volatile("vpgatherdd %xmm2,0x02(%rbp,%xmm7,2),%xmm1");
  asm volatile("vpgatherdq %xmm2,0x04(%rbp,%xmm7,2),%xmm1");
  asm volatile("vpgatherdd 0x7b(%rbp,%zmm27,8),%zmm26{%k1}");
  asm volatile("vpgatherdq 0x7b(%rbp,%ymm27,8),%zmm26{%k1}");
  asm volatile("vpgatherqd %xmm2,0x02(%rbp,%xmm7,2),%xmm1");
  asm volatile("vpgatherqq %xmm2,0x02(%rbp,%xmm7,2),%xmm1");
  asm volatile("vpgatherqd 0x7b(%rbp,%zmm27,8),%ymm26{%k1}");
  asm volatile("vpgatherqq 0x7b(%rbp,%zmm27,8),%zmm26{%k1}");
  asm volatile("vfmsub132ps %xmm1, %xmm2, %xmm3");
  asm volatile("vfmsub132ps %ymm1, %ymm2, %ymm3");
  asm volatile("vfmsub132ps %zmm1, %zmm2, %zmm3");
  asm volatile("vfmsub132ps 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");
  asm volatile("vfmsub132ps 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");
  asm volatile("vfmsub132pd %xmm1, %xmm2, %xmm3");
  asm volatile("vfmsub132pd %ymm1, %ymm2, %ymm3");
  asm volatile("vfmsub132pd %zmm1, %zmm2, %zmm3");
  asm volatile("vfmsub132pd 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");
  asm volatile("vfmsub132pd 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");
  asm volatile("v4fmaddps (%rax), %zmm0, %zmm4");
  asm volatile("v4fmaddps (%eax), %zmm0, %zmm4");
  asm volatile("v4fmaddps 0x12345678(%rax,%rcx,8),%zmm0,%zmm4");
  asm volatile("v4fmaddps 0x12345678(%eax,%ecx,8),%zmm0,%zmm4");
  asm volatile("vfmsub132ss %xmm1, %xmm2, %xmm3");
  asm volatile("vfmsub132ss 0x12345678(%rax,%rcx,8),%xmm2,%xmm3");
  asm volatile("vfmsub132ss 0x12345678(%eax,%ecx,8),%xmm2,%xmm3");
  asm volatile("vfmsub132sd %xmm1, %xmm2, %xmm3");
  asm volatile("vfmsub132sd 0x12345678(%rax,%rcx,8),%xmm2,%xmm3");
  asm volatile("vfmsub132sd 0x12345678(%eax,%ecx,8),%xmm2,%xmm3");
  asm volatile("v4fmaddss (%rax), %xmm0, %xmm4");
  asm volatile("v4fmaddss (%eax), %xmm0, %xmm4");
  asm volatile("v4fmaddss 0x12345678(%rax,%rcx,8),%xmm0,%xmm4");
  asm volatile("v4fmaddss 0x12345678(%eax,%ecx,8),%xmm0,%xmm4");
  asm volatile("vpscatterdd %zmm28,0x7b(%rbp,%zmm29,8){%k1}");
  asm volatile("vpscatterdq %zmm26,0x7b(%rbp,%ymm27,8){%k1}");
  asm volatile("vpscatterqd %ymm6,0x7b(%rbp,%zmm29,8){%k1}");
  asm volatile("vpscatterqq %ymm6,0x7b(%rbp,%ymm27,8){%k1}");
  asm volatile("vscatterdps %zmm28,0x7b(%rbp,%zmm29,8){%k1}");
  asm volatile("vscatterdpd %zmm28,0x7b(%rbp,%ymm27,8){%k1}");
  asm volatile("vscatterqps %ymm6,0x7b(%rbp,%zmm29,8){%k1}");
  asm volatile("vscatterqpd %zmm28,0x7b(%rbp,%zmm29,8){%k1}");
  asm volatile("vfmsub213ps %xmm1, %xmm2, %xmm3");
  asm volatile("vfmsub213ps %ymm1, %ymm2, %ymm3");
  asm volatile("vfmsub213ps %zmm1, %zmm2, %zmm3");
  asm volatile("vfmsub213ps 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");
  asm volatile("vfmsub213ps 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");
  asm volatile("vfmsub213pd %xmm1, %xmm2, %xmm3");
  asm volatile("vfmsub213pd %ymm1, %ymm2, %ymm3");
  asm volatile("vfmsub213pd %zmm1, %zmm2, %zmm3");
  asm volatile("vfmsub213pd 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");
  asm volatile("vfmsub213pd 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");
  asm volatile("v4fnmaddps (%rax), %zmm0, %zmm4");
  asm volatile("v4fnmaddps (%eax), %zmm0, %zmm4");
  asm volatile("v4fnmaddps 0x12345678(%rax,%rcx,8),%zmm0,%zmm4");
  asm volatile("v4fnmaddps 0x12345678(%eax,%ecx,8),%zmm0,%zmm4");
  asm volatile("vfmsub213ss %xmm1, %xmm2, %xmm3");
  asm volatile("vfmsub213ss 0x12345678(%rax,%rcx,8),%xmm2,%xmm3");
  asm volatile("vfmsub213ss 0x12345678(%eax,%ecx,8),%xmm2,%xmm3");
  asm volatile("vfmsub213sd %xmm1, %xmm2, %xmm3");
  asm volatile("vfmsub213sd 0x12345678(%rax,%rcx,8),%xmm2,%xmm3");
  asm volatile("vfmsub213sd 0x12345678(%eax,%ecx,8),%xmm2,%xmm3");
  asm volatile("v4fnmaddss (%rax), %xmm0, %xmm4");
  asm volatile("v4fnmaddss (%eax), %xmm0, %xmm4");
  asm volatile("v4fnmaddss 0x12345678(%rax,%rcx,8),%xmm0,%xmm4");
  asm volatile("v4fnmaddss 0x12345678(%eax,%ecx,8),%xmm0,%xmm4");
  asm volatile("vpmadd52luq %zmm26,%zmm27,%zmm28");
  asm volatile("vpmadd52huq %zmm26,%zmm27,%zmm28");
  asm volatile("vpconflictd %zmm26,%zmm27");
  asm volatile("vpconflictq %zmm26,%zmm27");
  asm volatile("vexp2ps %zmm29,%zmm30");
  asm volatile("vexp2pd %zmm26,%zmm27");
  asm volatile("vrcp28ps %zmm29,%zmm30");
  asm volatile("vrcp28pd %zmm26,%zmm27");
  asm volatile("vrcp28ss %xmm28,%xmm29,%xmm30{%k7}");
  asm volatile("vrcp28sd %xmm25,%xmm26,%xmm27{%k7}");
  asm volatile("vrsqrt28ps %zmm29,%zmm30");
  asm volatile("vrsqrt28pd %zmm26,%zmm27");
  asm volatile("vrsqrt28ss %xmm28,%xmm29,%xmm30{%k7}");
  asm volatile("vrsqrt28sd %xmm25,%xmm26,%xmm27{%k7}");
  asm volatile("gf2p8mulb %xmm1, %xmm3");
  asm volatile("gf2p8mulb 0x12345678(%rax,%rcx,8),%xmm3");
  asm volatile("gf2p8mulb 0x12345678(%eax,%ecx,8),%xmm3");
  asm volatile("vgf2p8mulb %xmm1, %xmm2, %xmm3");
  asm volatile("vgf2p8mulb %ymm1, %ymm2, %ymm3");
  asm volatile("vgf2p8mulb %zmm1, %zmm2, %zmm3");
  asm volatile("vgf2p8mulb 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");
  asm volatile("vgf2p8mulb 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");
  asm volatile("vaesenc %xmm1, %xmm2, %xmm3");
  asm volatile("vaesenc %ymm1, %ymm2, %ymm3");
  asm volatile("vaesenc %zmm1, %zmm2, %zmm3");
  asm volatile("vaesenc 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");
  asm volatile("vaesenc 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");
  asm volatile("vaesenclast %xmm1, %xmm2, %xmm3");
  asm volatile("vaesenclast %ymm1, %ymm2, %ymm3");
  asm volatile("vaesenclast %zmm1, %zmm2, %zmm3");
  asm volatile("vaesenclast 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");
  asm volatile("vaesenclast 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");
  asm volatile("vaesdec %xmm1, %xmm2, %xmm3");
  asm volatile("vaesdec %ymm1, %ymm2, %ymm3");
  asm volatile("vaesdec %zmm1, %zmm2, %zmm3");
  asm volatile("vaesdec 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");
  asm volatile("vaesdec 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");
  asm volatile("vaesdeclast %xmm1, %xmm2, %xmm3");
  asm volatile("vaesdeclast %ymm1, %ymm2, %ymm3");
  asm volatile("vaesdeclast %zmm1, %zmm2, %zmm3");
  asm volatile("vaesdeclast 0x12345678(%rax,%rcx,8),%zmm2,%zmm3");
  asm volatile("vaesdeclast 0x12345678(%eax,%ecx,8),%zmm2,%zmm3");
  asm volatile("valignd $0x12,%zmm28,%zmm29,%zmm30");
  asm volatile("valignq $0x12,%zmm25,%zmm26,%zmm27");
  asm volatile("vroundps $0x5,%ymm6,%ymm2");
  asm volatile("vrndscaleps $0x12,%zmm25,%zmm26");
  asm volatile("vroundpd $0x5,%ymm6,%ymm2");
  asm volatile("vrndscalepd $0x12,%zmm25,%zmm26");
  asm volatile("vroundss $0x5,%xmm4,%xmm6,%xmm2");
  asm volatile("vrndscaless $0x12,%xmm24,%xmm25,%xmm26{%k7}");
  asm volatile("vroundsd $0x5,%xmm4,%xmm6,%xmm2");
  asm volatile("vrndscalesd $0x12,%xmm24,%xmm25,%xmm26{%k7}");
  asm volatile("vinsertf128 $0x5,%xmm4,%ymm4,%ymm6");
  asm volatile("vinsertf32x4 $0x12,%xmm24,%zmm25,%zmm26{%k7}");
  asm volatile("vinsertf64x2 $0x12,%xmm24,%zmm25,%zmm26{%k7}");
  asm volatile("vextractf128 $0x5,%ymm4,%xmm4");
  asm volatile("vextractf32x4 $0x12,%zmm25,%xmm26{%k7}");
  asm volatile("vextractf64x2 $0x12,%zmm25,%xmm26{%k7}");
  asm volatile("vinsertf32x8 $0x12,%ymm25,%zmm26,%zmm27{%k7}");
  asm volatile("vinsertf64x4 $0x12,%ymm28,%zmm29,%zmm30{%k7}");
  asm volatile("vextractf32x8 $0x12,%zmm29,%ymm30{%k7}");
  asm volatile("vextractf64x4 $0x12,%zmm26,%ymm27{%k7}");
  asm volatile("vpcmpud $0x12,%zmm29,%zmm30,%k5");
  asm volatile("vpcmpuq $0x12,%zmm26,%zmm27,%k5");
  asm volatile("vpcmpd $0x12,%zmm29,%zmm30,%k5");
  asm volatile("vpcmpq $0x12,%zmm26,%zmm27,%k5");
  asm volatile("vshuff32x4 $0x12,%zmm28,%zmm29,%zmm30");
  asm volatile("vshuff64x2 $0x12,%zmm25,%zmm26,%zmm27");
  asm volatile("vpternlogd $0x12,%zmm28,%zmm29,%zmm30");
  asm volatile("vpternlogq $0x12,%zmm28,%zmm29,%zmm30");
  asm volatile("vgetmantps $0x12,%zmm26,%zmm27");
  asm volatile("vgetmantpd $0x12,%zmm29,%zmm30");
  asm volatile("vgetmantss $0x12,%xmm25,%xmm26,%xmm27{%k7}");
  asm volatile("vgetmantsd $0x12,%xmm28,%xmm29,%xmm30{%k7}");
  asm volatile("vinserti128 $0x5,%xmm4,%ymm4,%ymm6");
  asm volatile("vinserti32x4 $0x12,%xmm24,%zmm25,%zmm26{%k7}");
  asm volatile("vinserti64x2 $0x12,%xmm24,%zmm25,%zmm26{%k7}");
  asm volatile("vextracti128 $0x5,%ymm4,%xmm6");
  asm volatile("vextracti32x4 $0x12,%zmm25,%xmm26{%k7}");
  asm volatile("vextracti64x2 $0x12,%zmm25,%xmm26{%k7}");
  asm volatile("vinserti32x8 $0x12,%ymm28,%zmm29,%zmm30{%k7}");
  asm volatile("vinserti64x4 $0x12,%ymm25,%zmm26,%zmm27{%k7}");
  asm volatile("vextracti32x8 $0x12,%zmm29,%ymm30{%k7}");
  asm volatile("vextracti64x4 $0x12,%zmm26,%ymm27{%k7}");
  asm volatile("vpcmpub $0x12,%zmm29,%zmm30,%k5");
  asm volatile("vpcmpuw $0x12,%zmm26,%zmm27,%k5");
  asm volatile("vpcmpb $0x12,%zmm29,%zmm30,%k5");
  asm volatile("vpcmpw $0x12,%zmm26,%zmm27,%k5");
  asm volatile("vmpsadbw $0x5,%ymm4,%ymm6,%ymm2");
  asm volatile("vdbpsadbw $0x12,%zmm4,%zmm5,%zmm6");
  asm volatile("vshufi32x4 $0x12,%zmm25,%zmm26,%zmm27");
  asm volatile("vshufi64x2 $0x12,%zmm28,%zmm29,%zmm30");
  asm volatile("vpclmulqdq $0x12,%xmm1,%xmm2,%xmm3");
  asm volatile("vpclmulqdq $0x12,%ymm1,%ymm2,%ymm3");
  asm volatile("vpclmulqdq $0x12,%zmm1,%zmm2,%zmm3");
  asm volatile("vpclmulqdq $0x12,%zmm25,%zmm26,%zmm27");
  asm volatile("vrangeps $0x12,%zmm25,%zmm26,%zmm27");
  asm volatile("vrangepd $0x12,%zmm28,%zmm29,%zmm30");
  asm volatile("vrangess $0x12,%xmm25,%xmm26,%xmm27");
  asm volatile("vrangesd $0x12,%xmm28,%xmm29,%xmm30");
  asm volatile("vfixupimmps $0x12,%zmm28,%zmm29,%zmm30");
  asm volatile("vfixupimmpd $0x12,%zmm25,%zmm26,%zmm27");
  asm volatile("vfixupimmss $0x12,%xmm28,%xmm29,%xmm30{%k7}");
  asm volatile("vfixupimmsd $0x12,%xmm25,%xmm26,%xmm27{%k7}");
  asm volatile("vreduceps $0x12,%zmm26,%zmm27");
  asm volatile("vreducepd $0x12,%zmm29,%zmm30");
  asm volatile("vreducess $0x12,%xmm25,%xmm26,%xmm27");
  asm volatile("vreducesd $0x12,%xmm28,%xmm29,%xmm30");
  asm volatile("vfpclassps $0x12,%zmm27,%k5");
  asm volatile("vfpclasspd $0x12,%zmm30,%k5");
  asm volatile("vfpclassss $0x12,%xmm27,%k5");
  asm volatile("vfpclasssd $0x12,%xmm30,%k5");
  asm volatile("vpshldw $0x12,%xmm1,%xmm2,%xmm3");
  asm volatile("vpshldw $0x12,%ymm1,%ymm2,%ymm3");
  asm volatile("vpshldw $0x12,%zmm1,%zmm2,%zmm3");
  asm volatile("vpshldw $0x12,%zmm25,%zmm26,%zmm27");
  asm volatile("vpshldd $0x12,%xmm1,%xmm2,%xmm3");
  asm volatile("vpshldd $0x12,%ymm1,%ymm2,%ymm3");
  asm volatile("vpshldd $0x12,%zmm1,%zmm2,%zmm3");
  asm volatile("vpshldd $0x12,%zmm25,%zmm26,%zmm27");
  asm volatile("vpshldq $0x12,%xmm1,%xmm2,%xmm3");
  asm volatile("vpshldq $0x12,%ymm1,%ymm2,%ymm3");
  asm volatile("vpshldq $0x12,%zmm1,%zmm2,%zmm3");
  asm volatile("vpshldq $0x12,%zmm25,%zmm26,%zmm27");
  asm volatile("vpshrdw $0x12,%xmm1,%xmm2,%xmm3");
  asm volatile("vpshrdw $0x12,%ymm1,%ymm2,%ymm3");
  asm volatile("vpshrdw $0x12,%zmm1,%zmm2,%zmm3");
  asm volatile("vpshrdw $0x12,%zmm25,%zmm26,%zmm27");
  asm volatile("vpshrdd $0x12,%xmm1,%xmm2,%xmm3");
  asm volatile("vpshrdd $0x12,%ymm1,%ymm2,%ymm3");
  asm volatile("vpshrdd $0x12,%zmm1,%zmm2,%zmm3");
  asm volatile("vpshrdd $0x12,%zmm25,%zmm26,%zmm27");
  asm volatile("vpshrdq $0x12,%xmm1,%xmm2,%xmm3");
  asm volatile("vpshrdq $0x12,%ymm1,%ymm2,%ymm3");
  asm volatile("vpshrdq $0x12,%zmm1,%zmm2,%zmm3");
  asm volatile("vpshrdq $0x12,%zmm25,%zmm26,%zmm27");
  asm volatile("gf2p8affineqb $0x12,%xmm1,%xmm3");
  asm volatile("vgf2p8affineqb $0x12,%xmm1,%xmm2,%xmm3");
  asm volatile("vgf2p8affineqb $0x12,%ymm1,%ymm2,%ymm3");
  asm volatile("vgf2p8affineqb $0x12,%zmm1,%zmm2,%zmm3");
  asm volatile("vgf2p8affineqb $0x12,%zmm25,%zmm26,%zmm27");
  asm volatile("gf2p8affineinvqb $0x12,%xmm1,%xmm3");
  asm volatile("vgf2p8affineinvqb $0x12,%xmm1,%xmm2,%xmm3");
  asm volatile("vgf2p8affineinvqb $0x12,%ymm1,%ymm2,%ymm3");
  asm volatile("vgf2p8affineinvqb $0x12,%zmm1,%zmm2,%zmm3");
  asm volatile("vgf2p8affineinvqb $0x12,%zmm25,%zmm26,%zmm27");
  asm volatile("vprord $0x12,%zmm25,%zmm26");
  asm volatile("vprorq $0x12,%zmm25,%zmm26");
  asm volatile("vprold $0x12,%zmm29,%zmm30");
  asm volatile("vprolq $0x12,%zmm29,%zmm30");
  asm volatile("psrad  $0x2,%mm6");
  asm volatile("vpsrad $0x5,%ymm6,%ymm2");
  asm volatile("vpsrad $0x5,%zmm26,%zmm22");
  asm volatile("vpsraq $0x5,%zmm26,%zmm22");
  asm volatile("vgatherpf0dps 0x7b(%r14,%zmm31,8){%k1}");
  asm volatile("vgatherpf0dpd 0x7b(%r14,%ymm31,8){%k1}");
  asm volatile("vgatherpf1dps 0x7b(%r14,%zmm31,8){%k1}");
  asm volatile("vgatherpf1dpd 0x7b(%r14,%ymm31,8){%k1}");
  asm volatile("vscatterpf0dps 0x7b(%r14,%zmm31,8){%k1}");
  asm volatile("vscatterpf0dpd 0x7b(%r14,%ymm31,8){%k1}");
  asm volatile("vscatterpf1dps 0x7b(%r14,%zmm31,8){%k1}");
  asm volatile("vscatterpf1dpd 0x7b(%r14,%ymm31,8){%k1}");
  asm volatile("vgatherpf0qps 0x7b(%r14,%zmm31,8){%k1}");
  asm volatile("vgatherpf0qpd 0x7b(%r14,%zmm31,8){%k1}");
  asm volatile("vgatherpf1qps 0x7b(%r14,%zmm31,8){%k1}");
  asm volatile("vgatherpf1qpd 0x7b(%r14,%zmm31,8){%k1}");
  asm volatile("vscatterpf0qps 0x7b(%r14,%zmm31,8){%k1}");
  asm volatile("vscatterpf0qpd 0x7b(%r14,%zmm31,8){%k1}");
  asm volatile("vscatterpf1qps 0x7b(%r14,%zmm31,8){%k1}");
  asm volatile("vscatterpf1qpd 0x7b(%r14,%zmm31,8){%k1}");
  asm volatile("vaddpd %zmm28,%zmm29,%zmm30");
  asm volatile("vaddpd %zmm28,%zmm29,%zmm30{%k7}");
  asm volatile("vaddpd %zmm28,%zmm29,%zmm30{%k7}{z}");
  asm volatile("vaddpd {rn-sae},%zmm28,%zmm29,%zmm30");
  asm volatile("vaddpd {ru-sae},%zmm28,%zmm29,%zmm30");
  asm volatile("vaddpd {rd-sae},%zmm28,%zmm29,%zmm30");
  asm volatile("vaddpd {rz-sae},%zmm28,%zmm29,%zmm30");
  asm volatile("vaddpd (%rcx),%zmm29,%zmm30");
  asm volatile("vaddpd 0x123(%rax,%r14,8),%zmm29,%zmm30");
  asm volatile("vaddpd (%rcx){1to8},%zmm29,%zmm30");
  asm volatile("vaddpd 0x1fc0(%rdx),%zmm29,%zmm30");
  asm volatile("vaddpd 0x3f8(%rdx){1to8},%zmm29,%zmm30");
  asm volatile("vcmpeq_uqps 0x1fc(%rdx){1to16},%zmm30,%k5");
  asm volatile("vcmpltsd 0x123(%rax,%r14,8),%xmm29,%k5{%k7}");
  asm volatile("vcmplesd {sae},%xmm28,%xmm29,%k5{%k7}");
  asm volatile("vgetmantss $0x5b,0x123(%rax,%r14,8),%xmm29,%xmm30{%k7}");
  asm volatile("bndmk (%rax), %bnd0");
  asm volatile("bndmk (%r8), %bnd0");
  asm volatile("bndmk (0x12345678), %bnd0");
  asm volatile("bndmk (%rax), %bnd3");
  asm volatile("bndmk (%rcx,%rax,1), %bnd0");
  asm volatile("bndmk 0x12345678(,%rax,1), %bnd0");
  asm volatile("bndmk (%rax,%rcx,1), %bnd0");
  asm volatile("bndmk (%rax,%rcx,8), %bnd0");
  asm volatile("bndmk 0x12(%rax), %bnd0");
  asm volatile("bndmk 0x12(%rbp), %bnd0");
  asm volatile("bndmk 0x12(%rcx,%rax,1), %bnd0");
  asm volatile("bndmk 0x12(%rbp,%rax,1), %bnd0");
  asm volatile("bndmk 0x12(%rax,%rcx,1), %bnd0");
  asm volatile("bndmk 0x12(%rax,%rcx,8), %bnd0");
  asm volatile("bndmk 0x12345678(%rax), %bnd0");
  asm volatile("bndmk 0x12345678(%rbp), %bnd0");
  asm volatile("bndmk 0x12345678(%rcx,%rax,1), %bnd0");
  asm volatile("bndmk 0x12345678(%rbp,%rax,1), %bnd0");
  asm volatile("bndmk 0x12345678(%rax,%rcx,1), %bnd0");
  asm volatile("bndmk 0x12345678(%rax,%rcx,8), %bnd0");
  asm volatile("bndcl (%rax), %bnd0");
  asm volatile("bndcl (%r8), %bnd0");
  asm volatile("bndcl (0x12345678), %bnd0");
  asm volatile("bndcl (%rax), %bnd3");
  asm volatile("bndcl (%rcx,%rax,1), %bnd0");
  asm volatile("bndcl 0x12345678(,%rax,1), %bnd0");
  asm volatile("bndcl (%rax,%rcx,1), %bnd0");
  asm volatile("bndcl (%rax,%rcx,8), %bnd0");
  asm volatile("bndcl 0x12(%rax), %bnd0");
  asm volatile("bndcl 0x12(%rbp), %bnd0");
  asm volatile("bndcl 0x12(%rcx,%rax,1), %bnd0");
  asm volatile("bndcl 0x12(%rbp,%rax,1), %bnd0");
  asm volatile("bndcl 0x12(%rax,%rcx,1), %bnd0");
  asm volatile("bndcl 0x12(%rax,%rcx,8), %bnd0");
  asm volatile("bndcl 0x12345678(%rax), %bnd0");
  asm volatile("bndcl 0x12345678(%rbp), %bnd0");
  asm volatile("bndcl 0x12345678(%rcx,%rax,1), %bnd0");
  asm volatile("bndcl 0x12345678(%rbp,%rax,1), %bnd0");
  asm volatile("bndcl 0x12345678(%rax,%rcx,1), %bnd0");
  asm volatile("bndcl 0x12345678(%rax,%rcx,8), %bnd0");
  asm volatile("bndcl %rax, %bnd0");
  asm volatile("bndcu (%rax), %bnd0");
  asm volatile("bndcu (%r8), %bnd0");
  asm volatile("bndcu (0x12345678), %bnd0");
  asm volatile("bndcu (%rax), %bnd3");
  asm volatile("bndcu (%rcx,%rax,1), %bnd0");
  asm volatile("bndcu 0x12345678(,%rax,1), %bnd0");
  asm volatile("bndcu (%rax,%rcx,1), %bnd0");
  asm volatile("bndcu (%rax,%rcx,8), %bnd0");
  asm volatile("bndcu 0x12(%rax), %bnd0");
  asm volatile("bndcu 0x12(%rbp), %bnd0");
  asm volatile("bndcu 0x12(%rcx,%rax,1), %bnd0");
  asm volatile("bndcu 0x12(%rbp,%rax,1), %bnd0");
  asm volatile("bndcu 0x12(%rax,%rcx,1), %bnd0");
  asm volatile("bndcu 0x12(%rax,%rcx,8), %bnd0");
  asm volatile("bndcu 0x12345678(%rax), %bnd0");
  asm volatile("bndcu 0x12345678(%rbp), %bnd0");
  asm volatile("bndcu 0x12345678(%rcx,%rax,1), %bnd0");
  asm volatile("bndcu 0x12345678(%rbp,%rax,1), %bnd0");
  asm volatile("bndcu 0x12345678(%rax,%rcx,1), %bnd0");
  asm volatile("bndcu 0x12345678(%rax,%rcx,8), %bnd0");
  asm volatile("bndcu %rax, %bnd0");
  asm volatile("bndcn (%rax), %bnd0");
  asm volatile("bndcn (%r8), %bnd0");
  asm volatile("bndcn (0x12345678), %bnd0");
  asm volatile("bndcn (%rax), %bnd3");
  asm volatile("bndcn (%rcx,%rax,1), %bnd0");
  asm volatile("bndcn 0x12345678(,%rax,1), %bnd0");
  asm volatile("bndcn (%rax,%rcx,1), %bnd0");
  asm volatile("bndcn (%rax,%rcx,8), %bnd0");
  asm volatile("bndcn 0x12(%rax), %bnd0");
  asm volatile("bndcn 0x12(%rbp), %bnd0");
  asm volatile("bndcn 0x12(%rcx,%rax,1), %bnd0");
  asm volatile("bndcn 0x12(%rbp,%rax,1), %bnd0");
  asm volatile("bndcn 0x12(%rax,%rcx,1), %bnd0");
  asm volatile("bndcn 0x12(%rax,%rcx,8), %bnd0");
  asm volatile("bndcn 0x12345678(%rax), %bnd0");
  asm volatile("bndcn 0x12345678(%rbp), %bnd0");
  asm volatile("bndcn 0x12345678(%rcx,%rax,1), %bnd0");
  asm volatile("bndcn 0x12345678(%rbp,%rax,1), %bnd0");
  asm volatile("bndcn 0x12345678(%rax,%rcx,1), %bnd0");
  asm volatile("bndcn 0x12345678(%rax,%rcx,8), %bnd0");
  asm volatile("bndcn %rax, %bnd0");
  asm volatile("bndmov (%rax), %bnd0");
  asm volatile("bndmov (%r8), %bnd0");
  asm volatile("bndmov (0x12345678), %bnd0");
  asm volatile("bndmov (%rax), %bnd3");
  asm volatile("bndmov (%rcx,%rax,1), %bnd0");
  asm volatile("bndmov 0x12345678(,%rax,1), %bnd0");
  asm volatile("bndmov (%rax,%rcx,1), %bnd0");
  asm volatile("bndmov (%rax,%rcx,8), %bnd0");
  asm volatile("bndmov 0x12(%rax), %bnd0");
  asm volatile("bndmov 0x12(%rbp), %bnd0");
  asm volatile("bndmov 0x12(%rcx,%rax,1), %bnd0");
  asm volatile("bndmov 0x12(%rbp,%rax,1), %bnd0");
  asm volatile("bndmov 0x12(%rax,%rcx,1), %bnd0");
  asm volatile("bndmov 0x12(%rax,%rcx,8), %bnd0");
  asm volatile("bndmov 0x12345678(%rax), %bnd0");
  asm volatile("bndmov 0x12345678(%rbp), %bnd0");
  asm volatile("bndmov 0x12345678(%rcx,%rax,1), %bnd0");
  asm volatile("bndmov 0x12345678(%rbp,%rax,1), %bnd0");
  asm volatile("bndmov 0x12345678(%rax,%rcx,1), %bnd0");
  asm volatile("bndmov 0x12345678(%rax,%rcx,8), %bnd0");
  asm volatile("bndmov %bnd0, (%rax)");
  asm volatile("bndmov %bnd0, (%r8)");
  asm volatile("bndmov %bnd0, (0x12345678)");
  asm volatile("bndmov %bnd3, (%rax)");
  asm volatile("bndmov %bnd0, (%rcx,%rax,1)");
  asm volatile("bndmov %bnd0, 0x12345678(,%rax,1)");
  asm volatile("bndmov %bnd0, (%rax,%rcx,1)");
  asm volatile("bndmov %bnd0, (%rax,%rcx,8)");
  asm volatile("bndmov %bnd0, 0x12(%rax)");
  asm volatile("bndmov %bnd0, 0x12(%rbp)");
  asm volatile("bndmov %bnd0, 0x12(%rcx,%rax,1)");
  asm volatile("bndmov %bnd0, 0x12(%rbp,%rax,1)");
  asm volatile("bndmov %bnd0, 0x12(%rax,%rcx,1)");
  asm volatile("bndmov %bnd0, 0x12(%rax,%rcx,8)");
  asm volatile("bndmov %bnd0, 0x12345678(%rax)");
  asm volatile("bndmov %bnd0, 0x12345678(%rbp)");
  asm volatile("bndmov %bnd0, 0x12345678(%rcx,%rax,1)");
  asm volatile("bndmov %bnd0, 0x12345678(%rbp,%rax,1)");
  asm volatile("bndmov %bnd0, 0x12345678(%rax,%rcx,1)");
  asm volatile("bndmov %bnd0, 0x12345678(%rax,%rcx,8)");
  asm volatile("bndmov %bnd0, %bnd1");
  asm volatile("bndmov %bnd1, %bnd0");
  asm volatile("bndldx (%rax), %bnd0");
  asm volatile("bndldx (%r8), %bnd0");
  asm volatile("bndldx (0x12345678), %bnd0");
  asm volatile("bndldx (%rax), %bnd3");
  asm volatile("bndldx (%rcx,%rax,1), %bnd0");
  asm volatile("bndldx 0x12345678(,%rax,1), %bnd0");
  asm volatile("bndldx (%rax,%rcx,1), %bnd0");
  asm volatile("bndldx 0x12(%rax), %bnd0");
  asm volatile("bndldx 0x12(%rbp), %bnd0");
  asm volatile("bndldx 0x12(%rcx,%rax,1), %bnd0");
  asm volatile("bndldx 0x12(%rbp,%rax,1), %bnd0");
  asm volatile("bndldx 0x12(%rax,%rcx,1), %bnd0");
  asm volatile("bndldx 0x12345678(%rax), %bnd0");
  asm volatile("bndldx 0x12345678(%rbp), %bnd0");
  asm volatile("bndldx 0x12345678(%rcx,%rax,1), %bnd0");
  asm volatile("bndldx 0x12345678(%rbp,%rax,1), %bnd0");
  asm volatile("bndldx 0x12345678(%rax,%rcx,1), %bnd0");
  asm volatile("bndstx %bnd0, (%rax)");
  asm volatile("bndstx %bnd0, (%r8)");
  asm volatile("bndstx %bnd0, (0x12345678)");
  asm volatile("bndstx %bnd3, (%rax)");
  asm volatile("bndstx %bnd0, (%rcx,%rax,1)");
  asm volatile("bndstx %bnd0, 0x12345678(,%rax,1)");
  asm volatile("bndstx %bnd0, (%rax,%rcx,1)");
  asm volatile("bndstx %bnd0, 0x12(%rax)");
  asm volatile("bndstx %bnd0, 0x12(%rbp)");
  asm volatile("bndstx %bnd0, 0x12(%rcx,%rax,1)");
  asm volatile("bndstx %bnd0, 0x12(%rbp,%rax,1)");
  asm volatile("bndstx %bnd0, 0x12(%rax,%rcx,1)");
  asm volatile("bndstx %bnd0, 0x12345678(%rax)");
  asm volatile("bndstx %bnd0, 0x12345678(%rbp)");
  asm volatile("bndstx %bnd0, 0x12345678(%rcx,%rax,1)");
  asm volatile("bndstx %bnd0, 0x12345678(%rbp,%rax,1)");
  asm volatile("bndstx %bnd0, 0x12345678(%rax,%rcx,1)");
  asm volatile("bnd call label1");
  asm volatile("bnd call *(%eax)");
  asm volatile("bnd ret");
  asm volatile("bnd jmp label1");
  asm volatile("bnd jmp label1");
  asm volatile("bnd jmp *(%ecx)");
  asm volatile("bnd jne label1");
  asm volatile("sha1rnds4 $0x0, %xmm1, %xmm0");
  asm volatile("sha1rnds4 $0x91, %xmm7, %xmm2");
  asm volatile("sha1rnds4 $0x91, %xmm8, %xmm0");
  asm volatile("sha1rnds4 $0x91, %xmm7, %xmm8");
  asm volatile("sha1rnds4 $0x91, %xmm15, %xmm8");
  asm volatile("sha1rnds4 $0x91, (%rax), %xmm0");
  asm volatile("sha1rnds4 $0x91, (%r8), %xmm0");
  asm volatile("sha1rnds4 $0x91, (0x12345678), %xmm0");
  asm volatile("sha1rnds4 $0x91, (%rax), %xmm3");
  asm volatile("sha1rnds4 $0x91, (%rcx,%rax,1), %xmm0");
  asm volatile("sha1rnds4 $0x91, 0x12345678(,%rax,1), %xmm0");
  asm volatile("sha1rnds4 $0x91, (%rax,%rcx,1), %xmm0");
  asm volatile("sha1rnds4 $0x91, (%rax,%rcx,8), %xmm0");
  asm volatile("sha1rnds4 $0x91, 0x12(%rax), %xmm0");
  asm volatile("sha1rnds4 $0x91, 0x12(%rbp), %xmm0");
  asm volatile("sha1rnds4 $0x91, 0x12(%rcx,%rax,1), %xmm0");
  asm volatile("sha1rnds4 $0x91, 0x12(%rbp,%rax,1), %xmm0");
  asm volatile("sha1rnds4 $0x91, 0x12(%rax,%rcx,1), %xmm0");
  asm volatile("sha1rnds4 $0x91, 0x12(%rax,%rcx,8), %xmm0");
  asm volatile("sha1rnds4 $0x91, 0x12345678(%rax), %xmm0");
  asm volatile("sha1rnds4 $0x91, 0x12345678(%rbp), %xmm0");
  asm volatile("sha1rnds4 $0x91, 0x12345678(%rcx,%rax,1), %xmm0");
  asm volatile("sha1rnds4 $0x91, 0x12345678(%rbp,%rax,1), %xmm0");
  asm volatile("sha1rnds4 $0x91, 0x12345678(%rax,%rcx,1), %xmm0");
  asm volatile("sha1rnds4 $0x91, 0x12345678(%rax,%rcx,8), %xmm0");
  asm volatile("sha1rnds4 $0x91, 0x12345678(%rax,%rcx,8), %xmm15");
  asm volatile("sha1nexte %xmm1, %xmm0");
  asm volatile("sha1nexte %xmm7, %xmm2");
  asm volatile("sha1nexte %xmm8, %xmm0");
  asm volatile("sha1nexte %xmm7, %xmm8");
  asm volatile("sha1nexte %xmm15, %xmm8");
  asm volatile("sha1nexte (%rax), %xmm0");
  asm volatile("sha1nexte (%r8), %xmm0");
  asm volatile("sha1nexte (0x12345678), %xmm0");
  asm volatile("sha1nexte (%rax), %xmm3");
  asm volatile("sha1nexte (%rcx,%rax,1), %xmm0");
  asm volatile("sha1nexte 0x12345678(,%rax,1), %xmm0");
  asm volatile("sha1nexte (%rax,%rcx,1), %xmm0");
  asm volatile("sha1nexte (%rax,%rcx,8), %xmm0");
  asm volatile("sha1nexte 0x12(%rax), %xmm0");
  asm volatile("sha1nexte 0x12(%rbp), %xmm0");
  asm volatile("sha1nexte 0x12(%rcx,%rax,1), %xmm0");
  asm volatile("sha1nexte 0x12(%rbp,%rax,1), %xmm0");
  asm volatile("sha1nexte 0x12(%rax,%rcx,1), %xmm0");
  asm volatile("sha1nexte 0x12(%rax,%rcx,8), %xmm0");
  asm volatile("sha1nexte 0x12345678(%rax), %xmm0");
  asm volatile("sha1nexte 0x12345678(%rbp), %xmm0");
  asm volatile("sha1nexte 0x12345678(%rcx,%rax,1), %xmm0");
  asm volatile("sha1nexte 0x12345678(%rbp,%rax,1), %xmm0");
  asm volatile("sha1nexte 0x12345678(%rax,%rcx,1), %xmm0");
  asm volatile("sha1nexte 0x12345678(%rax,%rcx,8), %xmm0");
  asm volatile("sha1nexte 0x12345678(%rax,%rcx,8), %xmm15");
  asm volatile("sha1msg1 %xmm1, %xmm0");
  asm volatile("sha1msg1 %xmm7, %xmm2");
  asm volatile("sha1msg1 %xmm8, %xmm0");
  asm volatile("sha1msg1 %xmm7, %xmm8");
  asm volatile("sha1msg1 %xmm15, %xmm8");
  asm volatile("sha1msg1 (%rax), %xmm0");
  asm volatile("sha1msg1 (%r8), %xmm0");
  asm volatile("sha1msg1 (0x12345678), %xmm0");
  asm volatile("sha1msg1 (%rax), %xmm3");
  asm volatile("sha1msg1 (%rcx,%rax,1), %xmm0");
  asm volatile("sha1msg1 0x12345678(,%rax,1), %xmm0");
  asm volatile("sha1msg1 (%rax,%rcx,1), %xmm0");
  asm volatile("sha1msg1 (%rax,%rcx,8), %xmm0");
  asm volatile("sha1msg1 0x12(%rax), %xmm0");
  asm volatile("sha1msg1 0x12(%rbp), %xmm0");
  asm volatile("sha1msg1 0x12(%rcx,%rax,1), %xmm0");
  asm volatile("sha1msg1 0x12(%rbp,%rax,1), %xmm0");
  asm volatile("sha1msg1 0x12(%rax,%rcx,1), %xmm0");
  asm volatile("sha1msg1 0x12(%rax,%rcx,8), %xmm0");
  asm volatile("sha1msg1 0x12345678(%rax), %xmm0");
  asm volatile("sha1msg1 0x12345678(%rbp), %xmm0");
  asm volatile("sha1msg1 0x12345678(%rcx,%rax,1), %xmm0");
  asm volatile("sha1msg1 0x12345678(%rbp,%rax,1), %xmm0");
  asm volatile("sha1msg1 0x12345678(%rax,%rcx,1), %xmm0");
  asm volatile("sha1msg1 0x12345678(%rax,%rcx,8), %xmm0");
  asm volatile("sha1msg1 0x12345678(%rax,%rcx,8), %xmm15");
  asm volatile("sha1msg2 %xmm1, %xmm0");
  asm volatile("sha1msg2 %xmm7, %xmm2");
  asm volatile("sha1msg2 %xmm8, %xmm0");
  asm volatile("sha1msg2 %xmm7, %xmm8");
  asm volatile("sha1msg2 %xmm15, %xmm8");
  asm volatile("sha1msg2 (%rax), %xmm0");
  asm volatile("sha1msg2 (%r8), %xmm0");
  asm volatile("sha1msg2 (0x12345678), %xmm0");
  asm volatile("sha1msg2 (%rax), %xmm3");
  asm volatile("sha1msg2 (%rcx,%rax,1), %xmm0");
  asm volatile("sha1msg2 0x12345678(,%rax,1), %xmm0");
  asm volatile("sha1msg2 (%rax,%rcx,1), %xmm0");
  asm volatile("sha1msg2 (%rax,%rcx,8), %xmm0");
  asm volatile("sha1msg2 0x12(%rax), %xmm0");
  asm volatile("sha1msg2 0x12(%rbp), %xmm0");
  asm volatile("sha1msg2 0x12(%rcx,%rax,1), %xmm0");
  asm volatile("sha1msg2 0x12(%rbp,%rax,1), %xmm0");
  asm volatile("sha1msg2 0x12(%rax,%rcx,1), %xmm0");
  asm volatile("sha1msg2 0x12(%rax,%rcx,8), %xmm0");
  asm volatile("sha1msg2 0x12345678(%rax), %xmm0");
  asm volatile("sha1msg2 0x12345678(%rbp), %xmm0");
  asm volatile("sha1msg2 0x12345678(%rcx,%rax,1), %xmm0");
  asm volatile("sha1msg2 0x12345678(%rbp,%rax,1), %xmm0");
  asm volatile("sha1msg2 0x12345678(%rax,%rcx,1), %xmm0");
  asm volatile("sha1msg2 0x12345678(%rax,%rcx,8), %xmm0");
  asm volatile("sha1msg2 0x12345678(%rax,%rcx,8), %xmm15");
  asm volatile("sha256rnds2 %xmm4, %xmm1");
  asm volatile("sha256rnds2 %xmm7, %xmm2");
  asm volatile("sha256rnds2 %xmm8, %xmm1");
  asm volatile("sha256rnds2 %xmm7, %xmm8");
  asm volatile("sha256rnds2 %xmm15, %xmm8");
  asm volatile("sha256rnds2 (%rax), %xmm1");
  asm volatile("sha256rnds2 (%r8), %xmm1");
  asm volatile("sha256rnds2 (0x12345678), %xmm1");
  asm volatile("sha256rnds2 (%rax), %xmm3");
  asm volatile("sha256rnds2 (%rcx,%rax,1), %xmm1");
  asm volatile("sha256rnds2 0x12345678(,%rax,1), %xmm1");
  asm volatile("sha256rnds2 (%rax,%rcx,1), %xmm1");
  asm volatile("sha256rnds2 (%rax,%rcx,8), %xmm1");
  asm volatile("sha256rnds2 0x12(%rax), %xmm1");
  asm volatile("sha256rnds2 0x12(%rbp), %xmm1");
  asm volatile("sha256rnds2 0x12(%rcx,%rax,1), %xmm1");
  asm volatile("sha256rnds2 0x12(%rbp,%rax,1), %xmm1");
  asm volatile("sha256rnds2 0x12(%rax,%rcx,1), %xmm1");
  asm volatile("sha256rnds2 0x12(%rax,%rcx,8), %xmm1");
  asm volatile("sha256rnds2 0x12345678(%rax), %xmm1");
  asm volatile("sha256rnds2 0x12345678(%rbp), %xmm1");
  asm volatile("sha256rnds2 0x12345678(%rcx,%rax,1), %xmm1");
  asm volatile("sha256rnds2 0x12345678(%rbp,%rax,1), %xmm1");
  asm volatile("sha256rnds2 0x12345678(%rax,%rcx,1), %xmm1");
  asm volatile("sha256rnds2 0x12345678(%rax,%rcx,8), %xmm1");
  asm volatile("sha256rnds2 0x12345678(%rax,%rcx,8), %xmm15");
  asm volatile("sha256msg1 %xmm1, %xmm0");
  asm volatile("sha256msg1 %xmm7, %xmm2");
  asm volatile("sha256msg1 %xmm8, %xmm0");
  asm volatile("sha256msg1 %xmm7, %xmm8");
  asm volatile("sha256msg1 %xmm15, %xmm8");
  asm volatile("sha256msg1 (%rax), %xmm0");
  asm volatile("sha256msg1 (%r8), %xmm0");
  asm volatile("sha256msg1 (0x12345678), %xmm0");
  asm volatile("sha256msg1 (%rax), %xmm3");
  asm volatile("sha256msg1 (%rcx,%rax,1), %xmm0");
  asm volatile("sha256msg1 0x12345678(,%rax,1), %xmm0");
  asm volatile("sha256msg1 (%rax,%rcx,1), %xmm0");
  asm volatile("sha256msg1 (%rax,%rcx,8), %xmm0");
  asm volatile("sha256msg1 0x12(%rax), %xmm0");
  asm volatile("sha256msg1 0x12(%rbp), %xmm0");
  asm volatile("sha256msg1 0x12(%rcx,%rax,1), %xmm0");
  asm volatile("sha256msg1 0x12(%rbp,%rax,1), %xmm0");
  asm volatile("sha256msg1 0x12(%rax,%rcx,1), %xmm0");
  asm volatile("sha256msg1 0x12(%rax,%rcx,8), %xmm0");
  asm volatile("sha256msg1 0x12345678(%rax), %xmm0");
  asm volatile("sha256msg1 0x12345678(%rbp), %xmm0");
  asm volatile("sha256msg1 0x12345678(%rcx,%rax,1), %xmm0");
  asm volatile("sha256msg1 0x12345678(%rbp,%rax,1), %xmm0");
  asm volatile("sha256msg1 0x12345678(%rax,%rcx,1), %xmm0");
  asm volatile("sha256msg1 0x12345678(%rax,%rcx,8), %xmm0");
  asm volatile("sha256msg1 0x12345678(%rax,%rcx,8), %xmm15");
  asm volatile("sha256msg2 %xmm1, %xmm0");
  asm volatile("sha256msg2 %xmm7, %xmm2");
  asm volatile("sha256msg2 %xmm8, %xmm0");
  asm volatile("sha256msg2 %xmm7, %xmm8");
  asm volatile("sha256msg2 %xmm15, %xmm8");
  asm volatile("sha256msg2 (%rax), %xmm0");
  asm volatile("sha256msg2 (%r8), %xmm0");
  asm volatile("sha256msg2 (0x12345678), %xmm0");
  asm volatile("sha256msg2 (%rax), %xmm3");
  asm volatile("sha256msg2 (%rcx,%rax,1), %xmm0");
  asm volatile("sha256msg2 0x12345678(,%rax,1), %xmm0");
  asm volatile("sha256msg2 (%rax,%rcx,1), %xmm0");
  asm volatile("sha256msg2 (%rax,%rcx,8), %xmm0");
  asm volatile("sha256msg2 0x12(%rax), %xmm0");
  asm volatile("sha256msg2 0x12(%rbp), %xmm0");
  asm volatile("sha256msg2 0x12(%rcx,%rax,1), %xmm0");
  asm volatile("sha256msg2 0x12(%rbp,%rax,1), %xmm0");
  asm volatile("sha256msg2 0x12(%rax,%rcx,1), %xmm0");
  asm volatile("sha256msg2 0x12(%rax,%rcx,8), %xmm0");
  asm volatile("sha256msg2 0x12345678(%rax), %xmm0");
  asm volatile("sha256msg2 0x12345678(%rbp), %xmm0");
  asm volatile("sha256msg2 0x12345678(%rcx,%rax,1), %xmm0");
  asm volatile("sha256msg2 0x12345678(%rbp,%rax,1), %xmm0");
  asm volatile("sha256msg2 0x12345678(%rax,%rcx,1), %xmm0");
  asm volatile("sha256msg2 0x12345678(%rax,%rcx,8), %xmm0");
  asm volatile("sha256msg2 0x12345678(%rax,%rcx,8), %xmm15");
  asm volatile("clflushopt (%rax)");
  asm volatile("clflushopt (%r8)");
  asm volatile("clflushopt (0x12345678)");
  asm volatile("clflushopt 0x12345678(%rax,%rcx,8)");
  asm volatile("clflushopt 0x12345678(%r8,%rcx,8)");
  asm volatile("clflush (%rax)");
  asm volatile("clflush (%r8)");
  asm volatile("sfence");
  asm volatile("clwb (%rax)");
  asm volatile("clwb (%r8)");
  asm volatile("clwb (0x12345678)");
  asm volatile("clwb 0x12345678(%rax,%rcx,8)");
  asm volatile("clwb 0x12345678(%r8,%rcx,8)");
  asm volatile("xsaveopt (%rax)");
  asm volatile("xsaveopt (%r8)");
  asm volatile("mfence");
  asm volatile("cldemote (%rax)");
  asm volatile("cldemote (%r8)");
  asm volatile("cldemote (0x12345678)");
  asm volatile("cldemote 0x12345678(%rax,%rcx,8)");
  asm volatile("cldemote 0x12345678(%r8,%rcx,8)");
  asm volatile("xsavec (%rax)");
  asm volatile("xsavec (%r8)");
  asm volatile("xsavec (0x12345678)");
  asm volatile("xsavec 0x12345678(%rax,%rcx,8)");
  asm volatile("xsavec 0x12345678(%r8,%rcx,8)");
  asm volatile("xsaves (%rax)");
  asm volatile("xsaves (%r8)");
  asm volatile("xsaves (0x12345678)");
  asm volatile("xsaves 0x12345678(%rax,%rcx,8)");
  asm volatile("xsaves 0x12345678(%r8,%rcx,8)");
  asm volatile("xrstors (%rax)");
  asm volatile("xrstors (%r8)");
  asm volatile("xrstors (0x12345678)");
  asm volatile("xrstors 0x12345678(%rax,%rcx,8)");
  asm volatile("xrstors 0x12345678(%r8,%rcx,8)");
  asm volatile("ptwrite (%rax)");
  asm volatile("ptwrite (%r8)");
  asm volatile("ptwrite (0x12345678)");
  asm volatile("ptwrite 0x12345678(%rax,%rcx,8)");
  asm volatile("ptwrite 0x12345678(%r8,%rcx,8)");
  asm volatile("ptwritel (%rax)");
  asm volatile("ptwritel (%r8)");
  asm volatile("ptwritel (0x12345678)");
  asm volatile("ptwritel 0x12345678(%rax,%rcx,8)");
  asm volatile("ptwritel 0x12345678(%r8,%rcx,8)");
  asm volatile("ptwriteq (%rax)");
  asm volatile("ptwriteq (%r8)");
  asm volatile("ptwriteq (0x12345678)");
  asm volatile("ptwriteq 0x12345678(%rax,%rcx,8)");
  asm volatile("ptwriteq 0x12345678(%r8,%rcx,8)");
  asm volatile("tpause %ebx");
  asm volatile("tpause %r8d");
  asm volatile("umonitor %eax");
  asm volatile("umonitor %rax");
  asm volatile("umonitor %r8d");
  asm volatile("umwait %eax");
  asm volatile("umwait %r8d");
  asm volatile("movdiri %rax,(%rbx)");
  asm volatile("movdiri %rcx,0x12345678(%rax)");
  asm volatile("movdir64b (%rax),%rbx");
  asm volatile("movdir64b 0x12345678(%rax),%rcx");
  asm volatile("movdir64b (%eax),%ebx");
  asm volatile("movdir64b 0x12345678(%eax),%ecx");
  asm volatile("enqcmd (%rax),%rbx");
  asm volatile("enqcmd 0x12345678(%rax),%rcx");
  asm volatile("enqcmd (%eax),%ebx");
  asm volatile("enqcmd 0x12345678(%eax),%ecx");
  asm volatile("enqcmds (%rax),%rbx");
  asm volatile("enqcmds 0x12345678(%rax),%rcx");
  asm volatile("enqcmds (%eax),%ebx");
  asm volatile("enqcmds 0x12345678(%eax),%ecx");
  asm volatile("encls");
  asm volatile("enclu");
  asm volatile("enclv");
  asm volatile("pconfig");
  asm volatile("wbnoinvd");
  asm volatile("rdtsc");
  return 0;
}
```