18 vpermi2b          %xmm16, %xmm17, %xmm19  label
19 vpermi2b          (%rax), %xmm17, %xmm19  label
20 vpermi2b          %xmm16, %xmm17, %xmm19 {k1}  label
21 vpermi2b          (%rax), %xmm17, %xmm19 {k1}  label
22 vpermi2b          %xmm16, %xmm17, %xmm19 {k1}{z}  label
23 vpermi2b          (%rax), %xmm17, %xmm19 {k1}{z}  label
25 vpermi2b          %ymm16, %ymm17, %ymm19  label
26 vpermi2b          (%rax), %ymm17, %ymm19  label
27 vpermi2b          %ymm16, %ymm17, %ymm19 {k1}  label
28 vpermi2b          (%rax), %ymm17, %ymm19 {k1}  label
29 vpermi2b          %ymm16, %ymm17, %ymm19 {k1}{z}  label
30 vpermi2b          (%rax), %ymm17, %ymm19 {k1}{z}  label