5 .byte 0xc4, 0xc1, 0x79, 0xdb, 0xc0
6 .byte 0xc4, 0xc1, 0x39, 0xdb, 0xc0
8 vpandd xmm0, xmm0, xmm0
9 .byte 0x62, 0xd1, 0x7d, 0x08, 0xdb, 0xc0
10 .byte 0x62, 0xf1, 0x3d, 0x08, 0xdb, 0xc0
11 .byte 0x62, 0xf1, 0x7d, 0x00, 0xdb, 0xc0
13 vpblendvb xmm0, xmm0, xmm0, xmm0
14 .byte 0xc4, 0xc3, 0x79, 0x4c, 0xc0, 0x00
15 .byte 0xc4, 0xe3, 0x39, 0x4c, 0xc0, 0x00
16 .byte 0xc4, 0xe3, 0x79, 0x4c, 0xc0, 0x80
18 vpgatherdd xmm1{k7}, [eax+xmm0]
19 .byte 0x62, 0xd2, 0x7d, 0x0f, 0x90, 0x0c, 0x00
20 .byte 0x62, 0xf2, 0x7d, 0x07, 0x90, 0x0c, 0x00
23 .byte 0xc4, 0xe2, 0x38, 0xf2, 0x00
24 .byte 0xc4, 0xc2, 0x78, 0xf2, 0x00
25 .byte 0xc4, 0xe2, 0xf8, 0xf2, 0x00
28 .byte 0x8f, 0xc9, 0x78, 0x01, 0x20
29 .byte 0x8f, 0xe9, 0x38, 0x01, 0x20
30 .byte 0x8f, 0xe9, 0xf8, 0x01, 0x20
33 .byte 0x8f, 0xc9, 0x78, 0x12, 0xc0
34 .byte 0x8f, 0xe9, 0xf8, 0x12, 0xc0
37 .byte 0x8f, 0xc8, 0x78, 0xc0, 0xc0, 0x01
39 .byte 0x8f, 0xc8, 0x78, 0xc0, 0x00, 0x01
40 vprotb xmm0, xmm0, xmm0
41 .byte 0x8f, 0xc9, 0xb8, 0x90, 0xc0
42 .byte 0x8f, 0xe9, 0x38, 0x90, 0xc0
43 vprotb xmm0, [eax], xmm0
44 .byte 0x8f, 0xc9, 0x78, 0x90, 0x00
45 vprotb xmm0, xmm0, [eax]
46 .byte 0x8f, 0xc9, 0xf8, 0x90, 0x00
48 vfmaddps xmm0, xmm0, [eax], xmm0
49 .byte 0xc4, 0xe3, 0x39, 0x68, 0x00, 0x00
50 .byte 0xc4, 0xe3, 0x79, 0x68, 0x00, 0x80
51 .byte 0xc4, 0xe3, 0x79, 0x68, 0x00, 0x0f
53 vpermil2ps xmm0, xmm0, [eax], xmm0, 0
54 .byte 0xc4, 0xe3, 0x39, 0x48, 0x00, 0x00
55 .byte 0xc4, 0xe3, 0x79, 0x48, 0x00, 0x80