| .text |
| .insn 0xFF/5, %edi |
| .insn 0xFF/3, %eax |
| .fill 0x5, 0x1, 0x90 |
| .byte 0xC5, 0xEC, 0x4A, 0x9B |
| .byte 0xC5, 0xEC, 0x4A, 0x6F |
| .insn VEX.L1.NP.0f.W0 0x4a, (%edi), %k2, %k7 |
| .byte 0xC5, 0xED, 0x4A, 0x9B |
| .byte 0xC5, 0xED, 0x4A, 0x6F |
| .insn VEX.L1.66.0f.W0 0x4a, (%edi), %k2, %k7 |
| .byte 0xC4, 0xE1, 0xEC, 0x4A, 0x9B |
| .byte 0xC4, 0xE1, 0xEC, 0x4A, 0x6F |
| .insn VEX.L1.NP.0f.W1 0x4a, (%edi), %k2, %k7 |
| .byte 0xC4, 0xE1, 0xED, 0x4A, 0x9B |
| .byte 0xC4, 0xE1, 0xED, 0x4A, 0x6F |
| .insn VEX.L1.66.0f.W1 0x4a, (%edi), %k2, %k7 |
| .byte 0xC5, 0xEC, 0x41, 0x9B |
| .byte 0xC5, 0xEC, 0x41, 0x6F |
| .insn VEX.L1.NP.0f.W0 0x41, (%edi), %k2, %k7 |
| .byte 0xC5, 0xED, 0x41, 0x9B |
| .byte 0xC5, 0xED, 0x41, 0x6F |
| .insn VEX.L1.66.0f.W0 0x41, (%edi), %k2, %k7 |
| .byte 0xC4, 0xE1, 0xEC, 0x41, 0x9B |
| .byte 0xC4, 0xE1, 0xEC, 0x41, 0x6F |
| .insn VEX.L1.NP.0f.W1 0x41, (%edi), %k2, %k7 |
| .byte 0xC4, 0xE1, 0xED, 0x41, 0x9B |
| .byte 0xC4, 0xE1, 0xED, 0x41, 0x6F |
| .insn VEX.L1.66.0f.W1 0x41, (%edi), %k2, %k7 |
| .byte 0xC5, 0xEC, 0x42, 0x9B |
| .byte 0xC5, 0xEC, 0x42, 0x6F |
| .insn VEX.L1.NP.0f.W0 0x42, (%edi), %k2, %k7 |
| .byte 0xC5, 0xED, 0x42, 0x9B |
| .byte 0xC5, 0xED, 0x42, 0x6F |
| .insn VEX.L1.66.0f.W0 0x42, (%edi), %k2, %k7 |
| .byte 0xC4, 0xE1, 0xEC, 0x42, 0x9B |
| .byte 0xC4, 0xE1, 0xEC, 0x42, 0x6F |
| .insn VEX.L1.NP.0f.W1 0x42, (%edi), %k2, %k7 |
| .byte 0xC4, 0xE1, 0xED, 0x42, 0x9B |
| .byte 0xC4, 0xE1, 0xED, 0x42, 0x6F |
| .insn VEX.L1.66.0f.W1 0x42, (%edi), %k2, %k7 |
| .byte 0xC5, 0xEC, 0x4B, 0x9B |
| .byte 0xC5, 0xEC, 0x4B, 0x6F |
| .insn VEX.L1.NP.0f.W0 0x4b, (%edi), %k2, %k7 |
| .byte 0xC5, 0xED, 0x4B, 0x9B |
| .byte 0xC5, 0xED, 0x4B, 0x6F |
| .insn VEX.L1.66.0f.W0 0x4b, (%edi), %k2, %k7 |
| .byte 0xC4, 0xE1, 0xEC, 0x4B, 0x9B |
| .byte 0xC4, 0xE1, 0xEC, 0x4B, 0x6F |
| .insn VEX.L1.NP.0f.W1 0x4b, (%edi), %k2, %k7 |
| .byte 0xC5, 0xF8, 0x44, 0x9B |
| .byte 0xC5, 0xF8, 0x44, 0x6F |
| .insn VEX.L0.NP.0f.W0 0x44, (%edi), %k7 |
| .byte 0xC5, 0xF9, 0x44, 0x9B |
| .byte 0xC5, 0xF9, 0x44, 0x6F |
| .insn VEX.L0.66.0f.W0 0x44, (%edi), %k7 |
| .byte 0xC4, 0xE1, 0xF8, 0x44, 0x9B |
| .byte 0xC4, 0xE1, 0xF8, 0x44, 0x6F |
| .insn VEX.L0.NP.0f.W1 0x44, (%edi), %k7 |
| .byte 0xC4, 0xE1, 0xF9, 0x44, 0x9B |
| .byte 0xC4, 0xE1, 0xF9, 0x44, 0x6F |
| .insn VEX.L0.66.0f.W1 0x44, (%edi), %k7 |
| .byte 0xC5, 0xEC, 0x45, 0x9B |
| .byte 0xC5, 0xEC, 0x45, 0x6F |
| .insn VEX.L1.NP.0f.W0 0x45, (%edi), %k2, %k7 |
| .byte 0xC5, 0xED, 0x45, 0x9B |
| .byte 0xC5, 0xED, 0x45, 0x6F |
| .insn VEX.L1.66.0f.W0 0x45, (%edi), %k2, %k7 |
| .byte 0xC4, 0xE1, 0xEC, 0x45, 0x9B |
| .byte 0xC4, 0xE1, 0xEC, 0x45, 0x6F |
| .insn VEX.L1.NP.0f.W1 0x45, (%edi), %k2, %k7 |
| .byte 0xC4, 0xE1, 0xED, 0x45, 0x9B |
| .byte 0xC4, 0xE1, 0xED, 0x45, 0x6F |
| .insn VEX.L1.66.0f.W1 0x45, (%edi), %k2, %k7 |
| .byte 0xC5, 0xF8, 0x98, 0x9B |
| .byte 0xC5, 0xF8, 0x98, 0x6F |
| .insn VEX.L0.NP.0f.W0 0x98, (%edi), %k7 |
| .byte 0xC5, 0xF9, 0x98, 0x9B |
| .byte 0xC5, 0xF9, 0x98, 0x6F |
| .insn VEX.L0.66.0f.W0 0x98, (%edi), %k7 |
| .byte 0xC4, 0xE1, 0xF8, 0x98, 0x9B |
| .byte 0xC4, 0xE1, 0xF8, 0x98, 0x6F |
| .insn VEX.L0.NP.0f.W1 0x98, (%edi), %k7 |
| .byte 0xC4, 0xE1, 0xF9, 0x98, 0x9B |
| .byte 0xC4, 0xE1, 0xF9, 0x98, 0x6F |
| .insn VEX.L0.66.0f.W1 0x98, (%edi), %k7 |
| .byte 0xC5, 0xEC, 0x46, 0x9B |
| .byte 0xC5, 0xEC, 0x46, 0x6F |
| .insn VEX.L1.NP.0f.W0 0x46, (%edi), %k2, %k7 |
| .byte 0xC5, 0xED, 0x46, 0x9B |
| .byte 0xC5, 0xED, 0x46, 0x6F |
| .insn VEX.L1.66.0f.W0 0x46, (%edi), %k2, %k7 |
| .byte 0xC4, 0xE1, 0xEC, 0x46, 0x9B |
| .byte 0xC4, 0xE1, 0xEC, 0x46, 0x6F |
| .insn VEX.L1.NP.0f.W1 0x46, (%edi), %k2, %k7 |
| .byte 0xC4, 0xE1, 0xED, 0x46, 0x9B |
| .byte 0xC4, 0xE1, 0xED, 0x46, 0x6F |
| .insn VEX.L1.66.0f.W1 0x46, (%edi), %k2, %k7 |
| .byte 0xC5, 0xEC, 0x47, 0x9B |
| .byte 0xC5, 0xEC, 0x47, 0x6F |
| .insn VEX.L1.NP.0f.W0 0x47, (%edi), %k2, %k7 |
| .byte 0xC5, 0xED, 0x47, 0x9B |
| .byte 0xC5, 0xED, 0x47, 0x6F |
| .insn VEX.L1.66.0f.W0 0x47, (%edi), %k2, %k7 |
| .byte 0xC4, 0xE1, 0xEC, 0x47, 0x9B |
| .byte 0xC4, 0xE1, 0xEC, 0x47, 0x6F |
| .insn VEX.L1.NP.0f.W1 0x47, (%edi), %k2, %k7 |
| .byte 0xC4, 0xE1, 0xED, 0x47, 0x9B |
| .byte 0xC4, 0xE1, 0xED, 0x47, 0x6F |
| .insn VEX.L1.66.0f.W1 0x47, (%edi), %k2, %k7 |
| .byte 0xC5, 0xF8, 0x99, 0x9B |
| .byte 0xC5, 0xF8, 0x99, 0x6F |
| .insn VEX.L0.NP.0f.W0 0x99, (%edi), %k7 |
| .byte 0xC5, 0xF9, 0x99, 0x9B |
| .byte 0xC5, 0xF9, 0x99, 0x6F |
| .insn VEX.L0.66.0f.W0 0x99, (%edi), %k7 |
| .byte 0xC4, 0xE1, 0xF8, 0x99, 0x9B |
| .byte 0xC4, 0xE1, 0xF8, 0x99, 0x6F |
| .insn VEX.L0.NP.0f.W1 0x99, (%edi), %k7 |
| .byte 0xC4, 0xE1, 0xF9, 0x99, 0x9B |
| .byte 0xC4, 0xE1, 0xF9, 0x99, 0x6F |
| .insn VEX.L0.66.0f.W1 0x99, (%edi), %k7 |
| .byte 0xC4, 0xE3, 0xF9, 0x30, 0x8F, 0x01 |
| .byte 0xC4, 0xE3, 0xF9, 0x30, 0x6A, 0x01 |
| .byte 0xC4, 0xE3, 0xF9, 0x30, 0x04, 0x01 |
| .byte 0xC4, 0xE3, 0x79, 0x30, 0x8F, 0x01 |
| .byte 0xC4, 0xE3, 0x79, 0x30, 0x6A, 0x01 |
| .byte 0xC4, 0xE3, 0x79, 0x30, 0x04, 0x01 |
| .byte 0xC4, 0xE3, 0xF9, 0x31, 0x8F, 0x01 |
| .byte 0xC4, 0xE3, 0xF9, 0x31, 0x6A, 0x01 |
| .byte 0xC4, 0xE3, 0xF9, 0x31, 0x04, 0x01 |
| .byte 0xC4, 0xE3, 0x79, 0x31, 0x8F, 0x01 |
| .byte 0xC4, 0xE3, 0x79, 0x31, 0x6A, 0x01 |
| .byte 0xC4, 0xE3, 0x79, 0x31, 0x04, 0x01 |
| .byte 0xC4, 0xE3, 0xF9, 0x32, 0x8F, 0x01 |
| .byte 0xC4, 0xE3, 0xF9, 0x32, 0x6A, 0x01 |
| .byte 0xC4, 0xE3, 0xF9, 0x32, 0x04, 0x01 |
| .byte 0xC4, 0xE3, 0x79, 0x32, 0x8F, 0x01 |
| .byte 0xC4, 0xE3, 0x79, 0x32, 0x6A, 0x01 |
| .byte 0xC4, 0xE3, 0x79, 0x32, 0x04, 0x01 |
| .byte 0xC4, 0xE3, 0xF9, 0x33, 0x8F, 0x01 |
| .byte 0xC4, 0xE3, 0xF9, 0x33, 0x6A, 0x01 |
| .byte 0xC4, 0xE3, 0xF9, 0x33, 0x04, 0x01 |
| .byte 0xC4, 0xE3, 0x79, 0x33, 0x8F, 0x01 |
| .byte 0xC4, 0xE3, 0x79, 0x33, 0x6A, 0x01 |
| .byte 0xC4, 0xE3, 0x79, 0x33, 0x04, 0x01 |
| .byte 0xC5, 0xF8, 0x92, 0x9B |
| .byte 0xC5, 0xF8, 0x92, 0x6F |
| .insn VEX.L0.NP.0f.W0 0x92, (%edi), %k7 |
| .byte 0xC5, 0xF9, 0x92, 0x9B |
| .byte 0xC5, 0xF9, 0x92, 0x6F |
| .insn VEX.L0.66.0f.W0 0x92, (%edi), %k7 |
| .byte 0xC5, 0xFB, 0x92, 0x9B |
| .byte 0xC5, 0xFB, 0x92, 0x6F |
| .insn VEX.L0.f2.0f.W0 0x92, (%edi), %k7 |
| .byte 0xC4, 0xE1, 0xF9, 0x92, 0x9B |
| .byte 0xC4, 0xE1, 0xF9, 0x92, 0x6F |
| .insn VEX.L0.66.0f.W1 0x92, (%edi), %k7 |
| .byte 0xC5, 0xF8, 0x93, 0x9B |
| .byte 0xC5, 0xF8, 0x93, 0x6F |
| .insn VEX.L0.NP.0f.W0 0x93, (%edi), %k7 |
| .byte 0xC5, 0xF9, 0x93, 0x9B |
| .byte 0xC5, 0xF9, 0x93, 0x6F |
| .insn VEX.L0.66.0f.W0 0x93, (%edi), %k7 |
| .byte 0xC5, 0xFB, 0x93, 0x9B |
| .byte 0xC5, 0xFB, 0x93, 0x6F |
| .insn VEX.L0.f2.0f.W0 0x93, (%edi), %k7 |
| .byte 0xC4, 0xE1, 0xF9, 0x93, 0x9B |
| .byte 0xC4, 0xE1, 0xF9, 0x93, 0x6F |
| .insn VEX.L0.66.0f.W1 0x93, (%edi), %k7 |
| .byte 0xc4, 0xe2, 0x1, 0x1c, 0x41, 0x37 |
| .byte 0x62, 0xf2, 0xad, 0x08, 0x1c, 0x01 |
| .byte 0x1 |
| .insn EVEX.66.0f3a.W0 0x1b, $0x25, %ymm0, %xmm1 |
| .byte 0x62, 0xf3 |
| //.byte 0x62, 0xf3, 0x75, 0x08, 0x23, 0xc2, 0x25 |
| .insn EVEX.66.0f3a.W0 0x23, $0x25, %xmm2, %xmm1, %xmm0 |
| .byte 0x62 |
| .insn EVEX.66.0f38.W0 0x5b, 0x37(%ecx){:d1}, %ymm0 |
