1 #as:
2 #objdump: -dw
3 #name: x86_64 AVX512VBMI2 insns
4 #source: x86-64-avx512vbmi2.s
5 
6 .*: +file format .*
7 
8 
9 Disassembly of section \.text:
10 
11 0+ <_start>:
12 [ 	]*[a-f0-9]+:[ 	]*62 62 7d 4f 63 31[ 	]*vpcompressb %zmm30,\(%rcx\)\{%k7\}
13 [ 	]*[a-f0-9]+:[ 	]*62 22 7d 48 63 b4 f0 23 01 00 00[ 	]*vpcompressb %zmm30,0x123\(%rax,%r14,8\)
14 [ 	]*[a-f0-9]+:[ 	]*62 62 7d 48 63 72 7e[ 	]*vpcompressb %zmm30,0x7e\(%rdx\)
15 [ 	]*[a-f0-9]+:[ 	]*62 02 7d 48 63 ee[ 	]*vpcompressb %zmm29,%zmm30
16 [ 	]*[a-f0-9]+:[ 	]*62 02 7d 4f 63 ee[ 	]*vpcompressb %zmm29,%zmm30\{%k7\}
17 [ 	]*[a-f0-9]+:[ 	]*62 02 7d cf 63 ee[ 	]*vpcompressb %zmm29,%zmm30\{%k7\}\{z\}
18 [ 	]*[a-f0-9]+:[ 	]*62 62 fd 4f 63 31[ 	]*vpcompressw %zmm30,\(%rcx\)\{%k7\}
19 [ 	]*[a-f0-9]+:[ 	]*62 22 fd 48 63 b4 f0 23 01 00 00[ 	]*vpcompressw %zmm30,0x123\(%rax,%r14,8\)
20 [ 	]*[a-f0-9]+:[ 	]*62 62 fd 48 63 72 7f[ 	]*vpcompressw %zmm30,0xfe\(%rdx\)
21 [ 	]*[a-f0-9]+:[ 	]*62 02 fd 48 63 ee[ 	]*vpcompressw %zmm29,%zmm30
22 [ 	]*[a-f0-9]+:[ 	]*62 02 fd 4f 63 ee[ 	]*vpcompressw %zmm29,%zmm30\{%k7\}
23 [ 	]*[a-f0-9]+:[ 	]*62 02 fd cf 63 ee[ 	]*vpcompressw %zmm29,%zmm30\{%k7\}\{z\}
24 [ 	]*[a-f0-9]+:[ 	]*62 62 7d 4f 62 31[ 	]*vpexpandb \(%rcx\),%zmm30\{%k7\}
25 [ 	]*[a-f0-9]+:[ 	]*62 62 7d cf 62 31[ 	]*vpexpandb \(%rcx\),%zmm30\{%k7\}\{z\}
26 [ 	]*[a-f0-9]+:[ 	]*62 22 7d 48 62 b4 f0 23 01 00 00[ 	]*vpexpandb 0x123\(%rax,%r14,8\),%zmm30
27 [ 	]*[a-f0-9]+:[ 	]*62 62 7d 48 62 72 7e[ 	]*vpexpandb 0x7e\(%rdx\),%zmm30
28 [ 	]*[a-f0-9]+:[ 	]*62 02 7d 48 62 f5[ 	]*vpexpandb %zmm29,%zmm30
29 [ 	]*[a-f0-9]+:[ 	]*62 02 7d 4f 62 f5[ 	]*vpexpandb %zmm29,%zmm30\{%k7\}
30 [ 	]*[a-f0-9]+:[ 	]*62 02 7d cf 62 f5[ 	]*vpexpandb %zmm29,%zmm30\{%k7\}\{z\}
31 [ 	]*[a-f0-9]+:[ 	]*62 62 fd 4f 62 31[ 	]*vpexpandw \(%rcx\),%zmm30\{%k7\}
32 [ 	]*[a-f0-9]+:[ 	]*62 62 fd cf 62 31[ 	]*vpexpandw \(%rcx\),%zmm30\{%k7\}\{z\}
33 [ 	]*[a-f0-9]+:[ 	]*62 22 fd 48 62 b4 f0 23 01 00 00[ 	]*vpexpandw 0x123\(%rax,%r14,8\),%zmm30
34 [ 	]*[a-f0-9]+:[ 	]*62 62 fd 48 62 72 7f[ 	]*vpexpandw 0xfe\(%rdx\),%zmm30
35 [ 	]*[a-f0-9]+:[ 	]*62 02 fd 48 62 f5[ 	]*vpexpandw %zmm29,%zmm30
36 [ 	]*[a-f0-9]+:[ 	]*62 02 fd 4f 62 f5[ 	]*vpexpandw %zmm29,%zmm30\{%k7\}
37 [ 	]*[a-f0-9]+:[ 	]*62 02 fd cf 62 f5[ 	]*vpexpandw %zmm29,%zmm30\{%k7\}\{z\}
38 [ 	]*[a-f0-9]+:[ 	]*62 02 95 40 70 f4[ 	]*vpshldvw %zmm28,%zmm29,%zmm30
39 [ 	]*[a-f0-9]+:[ 	]*62 02 95 47 70 f4[ 	]*vpshldvw %zmm28,%zmm29,%zmm30\{%k7\}
40 [ 	]*[a-f0-9]+:[ 	]*62 02 95 c7 70 f4[ 	]*vpshldvw %zmm28,%zmm29,%zmm30\{%k7\}\{z\}
41 [ 	]*[a-f0-9]+:[ 	]*62 22 95 40 70 b4 f0 23 01 00 00[ 	]*vpshldvw 0x123\(%rax,%r14,8\),%zmm29,%zmm30
42 [ 	]*[a-f0-9]+:[ 	]*62 62 95 40 70 72 7f[ 	]*vpshldvw 0x1fc0\(%rdx\),%zmm29,%zmm30
43 [ 	]*[a-f0-9]+:[ 	]*62 02 15 40 71 f4[ 	]*vpshldvd %zmm28,%zmm29,%zmm30
44 [ 	]*[a-f0-9]+:[ 	]*62 02 15 47 71 f4[ 	]*vpshldvd %zmm28,%zmm29,%zmm30\{%k7\}
45 [ 	]*[a-f0-9]+:[ 	]*62 02 15 c7 71 f4[ 	]*vpshldvd %zmm28,%zmm29,%zmm30\{%k7\}\{z\}
46 [ 	]*[a-f0-9]+:[ 	]*62 22 15 40 71 b4 f0 23 01 00 00[ 	]*vpshldvd 0x123\(%rax,%r14,8\),%zmm29,%zmm30
47 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 71 72 7f[ 	]*vpshldvd 0x1fc0\(%rdx\),%zmm29,%zmm30
48 [ 	]*[a-f0-9]+:[ 	]*62 62 15 50 71 72 7f[ 	]*vpshldvd 0x1fc\(%rdx\)\{1to16\},%zmm29,%zmm30
49 [ 	]*[a-f0-9]+:[ 	]*62 02 95 40 71 f4[ 	]*vpshldvq %zmm28,%zmm29,%zmm30
50 [ 	]*[a-f0-9]+:[ 	]*62 02 95 47 71 f4[ 	]*vpshldvq %zmm28,%zmm29,%zmm30\{%k7\}
51 [ 	]*[a-f0-9]+:[ 	]*62 02 95 c7 71 f4[ 	]*vpshldvq %zmm28,%zmm29,%zmm30\{%k7\}\{z\}
52 [ 	]*[a-f0-9]+:[ 	]*62 22 95 40 71 b4 f0 23 01 00 00[ 	]*vpshldvq 0x123\(%rax,%r14,8\),%zmm29,%zmm30
53 [ 	]*[a-f0-9]+:[ 	]*62 62 95 40 71 72 7f[ 	]*vpshldvq 0x1fc0\(%rdx\),%zmm29,%zmm30
54 [ 	]*[a-f0-9]+:[ 	]*62 62 95 50 71 72 7f[ 	]*vpshldvq 0x3f8\(%rdx\)\{1to8\},%zmm29,%zmm30
55 [ 	]*[a-f0-9]+:[ 	]*62 02 95 40 72 f4[ 	]*vpshrdvw %zmm28,%zmm29,%zmm30
56 [ 	]*[a-f0-9]+:[ 	]*62 02 95 47 72 f4[ 	]*vpshrdvw %zmm28,%zmm29,%zmm30\{%k7\}
57 [ 	]*[a-f0-9]+:[ 	]*62 02 95 c7 72 f4[ 	]*vpshrdvw %zmm28,%zmm29,%zmm30\{%k7\}\{z\}
58 [ 	]*[a-f0-9]+:[ 	]*62 22 95 40 72 b4 f0 23 01 00 00[ 	]*vpshrdvw 0x123\(%rax,%r14,8\),%zmm29,%zmm30
59 [ 	]*[a-f0-9]+:[ 	]*62 62 95 40 72 72 7f[ 	]*vpshrdvw 0x1fc0\(%rdx\),%zmm29,%zmm30
60 [ 	]*[a-f0-9]+:[ 	]*62 02 15 40 73 f4[ 	]*vpshrdvd %zmm28,%zmm29,%zmm30
61 [ 	]*[a-f0-9]+:[ 	]*62 02 15 47 73 f4[ 	]*vpshrdvd %zmm28,%zmm29,%zmm30\{%k7\}
62 [ 	]*[a-f0-9]+:[ 	]*62 02 15 c7 73 f4[ 	]*vpshrdvd %zmm28,%zmm29,%zmm30\{%k7\}\{z\}
63 [ 	]*[a-f0-9]+:[ 	]*62 22 15 40 73 b4 f0 23 01 00 00[ 	]*vpshrdvd 0x123\(%rax,%r14,8\),%zmm29,%zmm30
64 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 73 72 7f[ 	]*vpshrdvd 0x1fc0\(%rdx\),%zmm29,%zmm30
65 [ 	]*[a-f0-9]+:[ 	]*62 02 95 40 73 f4[ 	]*vpshrdvq %zmm28,%zmm29,%zmm30
66 [ 	]*[a-f0-9]+:[ 	]*62 02 95 47 73 f4[ 	]*vpshrdvq %zmm28,%zmm29,%zmm30\{%k7\}
67 [ 	]*[a-f0-9]+:[ 	]*62 02 95 c7 73 f4[ 	]*vpshrdvq %zmm28,%zmm29,%zmm30\{%k7\}\{z\}
68 [ 	]*[a-f0-9]+:[ 	]*62 22 95 40 73 b4 f0 23 01 00 00[ 	]*vpshrdvq 0x123\(%rax,%r14,8\),%zmm29,%zmm30
69 [ 	]*[a-f0-9]+:[ 	]*62 62 95 40 73 72 7f[ 	]*vpshrdvq 0x1fc0\(%rdx\),%zmm29,%zmm30
70 [ 	]*[a-f0-9]+:[ 	]*62 03 95 40 70 f4 ab[ 	]*vpshldw \$0xab,%zmm28,%zmm29,%zmm30
71 [ 	]*[a-f0-9]+:[ 	]*62 03 95 47 70 f4 ab[ 	]*vpshldw \$0xab,%zmm28,%zmm29,%zmm30\{%k7\}
72 [ 	]*[a-f0-9]+:[ 	]*62 03 95 c7 70 f4 ab[ 	]*vpshldw \$0xab,%zmm28,%zmm29,%zmm30\{%k7\}\{z\}
73 [ 	]*[a-f0-9]+:[ 	]*62 23 95 40 70 b4 f0 23 01 00 00 7b[ 	]*vpshldw \$0x7b,0x123\(%rax,%r14,8\),%zmm29,%zmm30
74 [ 	]*[a-f0-9]+:[ 	]*62 63 95 40 70 72 7f 7b[ 	]*vpshldw \$0x7b,0x1fc0\(%rdx\),%zmm29,%zmm30
75 [ 	]*[a-f0-9]+:[ 	]*62 03 15 40 71 f4 ab[ 	]*vpshldd \$0xab,%zmm28,%zmm29,%zmm30
76 [ 	]*[a-f0-9]+:[ 	]*62 03 15 47 71 f4 ab[ 	]*vpshldd \$0xab,%zmm28,%zmm29,%zmm30\{%k7\}
77 [ 	]*[a-f0-9]+:[ 	]*62 03 15 c7 71 f4 ab[ 	]*vpshldd \$0xab,%zmm28,%zmm29,%zmm30\{%k7\}\{z\}
78 [ 	]*[a-f0-9]+:[ 	]*62 23 15 40 71 b4 f0 23 01 00 00 7b[ 	]*vpshldd \$0x7b,0x123\(%rax,%r14,8\),%zmm29,%zmm30
79 [ 	]*[a-f0-9]+:[ 	]*62 63 15 40 71 72 7f 7b[ 	]*vpshldd \$0x7b,0x1fc0\(%rdx\),%zmm29,%zmm30
80 [ 	]*[a-f0-9]+:[ 	]*62 03 95 40 71 f4 ab[ 	]*vpshldq \$0xab,%zmm28,%zmm29,%zmm30
81 [ 	]*[a-f0-9]+:[ 	]*62 03 95 47 71 f4 ab[ 	]*vpshldq \$0xab,%zmm28,%zmm29,%zmm30\{%k7\}
82 [ 	]*[a-f0-9]+:[ 	]*62 03 95 c7 71 f4 ab[ 	]*vpshldq \$0xab,%zmm28,%zmm29,%zmm30\{%k7\}\{z\}
83 [ 	]*[a-f0-9]+:[ 	]*62 23 95 40 71 b4 f0 23 01 00 00 7b[ 	]*vpshldq \$0x7b,0x123\(%rax,%r14,8\),%zmm29,%zmm30
84 [ 	]*[a-f0-9]+:[ 	]*62 63 95 40 71 72 7f 7b[ 	]*vpshldq \$0x7b,0x1fc0\(%rdx\),%zmm29,%zmm30
85 [ 	]*[a-f0-9]+:[ 	]*62 63 95 50 71 72 7f 7b[ 	]*vpshldq \$0x7b,0x3f8\(%rdx\)\{1to8\},%zmm29,%zmm30
86 [ 	]*[a-f0-9]+:[ 	]*62 03 95 40 72 f4 ab[ 	]*vpshrdw \$0xab,%zmm28,%zmm29,%zmm30
87 [ 	]*[a-f0-9]+:[ 	]*62 03 95 47 72 f4 ab[ 	]*vpshrdw \$0xab,%zmm28,%zmm29,%zmm30\{%k7\}
88 [ 	]*[a-f0-9]+:[ 	]*62 03 95 c7 72 f4 ab[ 	]*vpshrdw \$0xab,%zmm28,%zmm29,%zmm30\{%k7\}\{z\}
89 [ 	]*[a-f0-9]+:[ 	]*62 23 95 40 72 b4 f0 23 01 00 00 7b[ 	]*vpshrdw \$0x7b,0x123\(%rax,%r14,8\),%zmm29,%zmm30
90 [ 	]*[a-f0-9]+:[ 	]*62 63 95 40 72 72 7f 7b[ 	]*vpshrdw \$0x7b,0x1fc0\(%rdx\),%zmm29,%zmm30
91 [ 	]*[a-f0-9]+:[ 	]*62 03 15 40 73 f4 ab[ 	]*vpshrdd \$0xab,%zmm28,%zmm29,%zmm30
92 [ 	]*[a-f0-9]+:[ 	]*62 03 15 47 73 f4 ab[ 	]*vpshrdd \$0xab,%zmm28,%zmm29,%zmm30\{%k7\}
93 [ 	]*[a-f0-9]+:[ 	]*62 03 15 c7 73 f4 ab[ 	]*vpshrdd \$0xab,%zmm28,%zmm29,%zmm30\{%k7\}\{z\}
94 [ 	]*[a-f0-9]+:[ 	]*62 23 15 40 73 b4 f0 23 01 00 00 7b[ 	]*vpshrdd \$0x7b,0x123\(%rax,%r14,8\),%zmm29,%zmm30
95 [ 	]*[a-f0-9]+:[ 	]*62 63 15 50 73 31 7b[ 	]*vpshrdd \$0x7b,\(%rcx\)\{1to16\},%zmm29,%zmm30
96 [ 	]*[a-f0-9]+:[ 	]*62 63 15 40 73 72 7f 7b[ 	]*vpshrdd \$0x7b,0x1fc0\(%rdx\),%zmm29,%zmm30
97 [ 	]*[a-f0-9]+:[ 	]*62 03 95 40 73 f4 ab[ 	]*vpshrdq \$0xab,%zmm28,%zmm29,%zmm30
98 [ 	]*[a-f0-9]+:[ 	]*62 03 95 47 73 f4 ab[ 	]*vpshrdq \$0xab,%zmm28,%zmm29,%zmm30\{%k7\}
99 [ 	]*[a-f0-9]+:[ 	]*62 03 95 c7 73 f4 ab[ 	]*vpshrdq \$0xab,%zmm28,%zmm29,%zmm30\{%k7\}\{z\}
100 [ 	]*[a-f0-9]+:[ 	]*62 23 95 40 73 b4 f0 23 01 00 00 7b[ 	]*vpshrdq \$0x7b,0x123\(%rax,%r14,8\),%zmm29,%zmm30
101 [ 	]*[a-f0-9]+:[ 	]*62 63 95 50 73 31 7b[ 	]*vpshrdq \$0x7b,\(%rcx\)\{1to8\},%zmm29,%zmm30
102 [ 	]*[a-f0-9]+:[ 	]*62 63 95 40 73 72 7f 7b[ 	]*vpshrdq \$0x7b,0x1fc0\(%rdx\),%zmm29,%zmm30
103 [ 	]*[a-f0-9]+:[ 	]*62 62 7d 4f 63 31[ 	]*vpcompressb %zmm30,\(%rcx\)\{%k7\}
104 [ 	]*[a-f0-9]+:[ 	]*62 22 7d 48 63 b4 f0 34 12 00 00[ 	]*vpcompressb %zmm30,0x1234\(%rax,%r14,8\)
105 [ 	]*[a-f0-9]+:[ 	]*62 62 7d 48 63 72 7e[ 	]*vpcompressb %zmm30,0x7e\(%rdx\)
106 [ 	]*[a-f0-9]+:[ 	]*62 02 7d 48 63 ee[ 	]*vpcompressb %zmm29,%zmm30
107 [ 	]*[a-f0-9]+:[ 	]*62 02 7d 4f 63 ee[ 	]*vpcompressb %zmm29,%zmm30\{%k7\}
108 [ 	]*[a-f0-9]+:[ 	]*62 02 7d cf 63 ee[ 	]*vpcompressb %zmm29,%zmm30\{%k7\}\{z\}
109 [ 	]*[a-f0-9]+:[ 	]*62 62 fd 4f 63 31[ 	]*vpcompressw %zmm30,\(%rcx\)\{%k7\}
110 [ 	]*[a-f0-9]+:[ 	]*62 22 fd 48 63 b4 f0 34 12 00 00[ 	]*vpcompressw %zmm30,0x1234\(%rax,%r14,8\)
111 [ 	]*[a-f0-9]+:[ 	]*62 62 fd 48 63 72 7f[ 	]*vpcompressw %zmm30,0xfe\(%rdx\)
112 [ 	]*[a-f0-9]+:[ 	]*62 02 fd 48 63 ee[ 	]*vpcompressw %zmm29,%zmm30
113 [ 	]*[a-f0-9]+:[ 	]*62 02 fd 4f 63 ee[ 	]*vpcompressw %zmm29,%zmm30\{%k7\}
114 [ 	]*[a-f0-9]+:[ 	]*62 02 fd cf 63 ee[ 	]*vpcompressw %zmm29,%zmm30\{%k7\}\{z\}
115 [ 	]*[a-f0-9]+:[ 	]*62 62 7d 4f 62 31[ 	]*vpexpandb \(%rcx\),%zmm30\{%k7\}
116 [ 	]*[a-f0-9]+:[ 	]*62 62 7d cf 62 31[ 	]*vpexpandb \(%rcx\),%zmm30\{%k7\}\{z\}
117 [ 	]*[a-f0-9]+:[ 	]*62 22 7d 48 62 b4 f0 34 12 00 00[ 	]*vpexpandb 0x1234\(%rax,%r14,8\),%zmm30
118 [ 	]*[a-f0-9]+:[ 	]*62 62 7d 48 62 72 7e[ 	]*vpexpandb 0x7e\(%rdx\),%zmm30
119 [ 	]*[a-f0-9]+:[ 	]*62 02 7d 48 62 f5[ 	]*vpexpandb %zmm29,%zmm30
120 [ 	]*[a-f0-9]+:[ 	]*62 02 7d 4f 62 f5[ 	]*vpexpandb %zmm29,%zmm30\{%k7\}
121 [ 	]*[a-f0-9]+:[ 	]*62 02 7d cf 62 f5[ 	]*vpexpandb %zmm29,%zmm30\{%k7\}\{z\}
122 [ 	]*[a-f0-9]+:[ 	]*62 62 fd 4f 62 31[ 	]*vpexpandw \(%rcx\),%zmm30\{%k7\}
123 [ 	]*[a-f0-9]+:[ 	]*62 62 fd cf 62 31[ 	]*vpexpandw \(%rcx\),%zmm30\{%k7\}\{z\}
124 [ 	]*[a-f0-9]+:[ 	]*62 22 fd 48 62 b4 f0 34 12 00 00[ 	]*vpexpandw 0x1234\(%rax,%r14,8\),%zmm30
125 [ 	]*[a-f0-9]+:[ 	]*62 62 fd 48 62 72 7f[ 	]*vpexpandw 0xfe\(%rdx\),%zmm30
126 [ 	]*[a-f0-9]+:[ 	]*62 02 fd 48 62 f5[ 	]*vpexpandw %zmm29,%zmm30
127 [ 	]*[a-f0-9]+:[ 	]*62 02 fd 4f 62 f5[ 	]*vpexpandw %zmm29,%zmm30\{%k7\}
128 [ 	]*[a-f0-9]+:[ 	]*62 02 fd cf 62 f5[ 	]*vpexpandw %zmm29,%zmm30\{%k7\}\{z\}
129 [ 	]*[a-f0-9]+:[ 	]*62 02 95 40 70 f4[ 	]*vpshldvw %zmm28,%zmm29,%zmm30
130 [ 	]*[a-f0-9]+:[ 	]*62 02 95 47 70 f4[ 	]*vpshldvw %zmm28,%zmm29,%zmm30\{%k7\}
131 [ 	]*[a-f0-9]+:[ 	]*62 02 95 c7 70 f4[ 	]*vpshldvw %zmm28,%zmm29,%zmm30\{%k7\}\{z\}
132 [ 	]*[a-f0-9]+:[ 	]*62 22 95 40 70 b4 f0 34 12 00 00[ 	]*vpshldvw 0x1234\(%rax,%r14,8\),%zmm29,%zmm30
133 [ 	]*[a-f0-9]+:[ 	]*62 62 95 40 70 72 7f[ 	]*vpshldvw 0x1fc0\(%rdx\),%zmm29,%zmm30
134 [ 	]*[a-f0-9]+:[ 	]*62 02 15 40 71 f4[ 	]*vpshldvd %zmm28,%zmm29,%zmm30
135 [ 	]*[a-f0-9]+:[ 	]*62 02 15 47 71 f4[ 	]*vpshldvd %zmm28,%zmm29,%zmm30\{%k7\}
136 [ 	]*[a-f0-9]+:[ 	]*62 02 15 c7 71 f4[ 	]*vpshldvd %zmm28,%zmm29,%zmm30\{%k7\}\{z\}
137 [ 	]*[a-f0-9]+:[ 	]*62 22 15 40 71 b4 f0 34 12 00 00[ 	]*vpshldvd 0x1234\(%rax,%r14,8\),%zmm29,%zmm30
138 [ 	]*[a-f0-9]+:[ 	]*62 62 15 50 71 31[ 	]*vpshldvd \(%rcx\)\{1to16\},%zmm29,%zmm30
139 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 71 72 7f[ 	]*vpshldvd 0x1fc0\(%rdx\),%zmm29,%zmm30
140 [ 	]*[a-f0-9]+:[ 	]*62 62 15 50 71 72 7f[ 	]*vpshldvd 0x1fc\(%rdx\)\{1to16\},%zmm29,%zmm30
141 [ 	]*[a-f0-9]+:[ 	]*62 02 95 40 71 f4[ 	]*vpshldvq %zmm28,%zmm29,%zmm30
142 [ 	]*[a-f0-9]+:[ 	]*62 02 95 47 71 f4[ 	]*vpshldvq %zmm28,%zmm29,%zmm30\{%k7\}
143 [ 	]*[a-f0-9]+:[ 	]*62 02 95 c7 71 f4[ 	]*vpshldvq %zmm28,%zmm29,%zmm30\{%k7\}\{z\}
144 [ 	]*[a-f0-9]+:[ 	]*62 22 95 40 71 b4 f0 34 12 00 00[ 	]*vpshldvq 0x1234\(%rax,%r14,8\),%zmm29,%zmm30
145 [ 	]*[a-f0-9]+:[ 	]*62 62 95 40 71 72 7f[ 	]*vpshldvq 0x1fc0\(%rdx\),%zmm29,%zmm30
146 [ 	]*[a-f0-9]+:[ 	]*62 62 95 50 71 72 7f[ 	]*vpshldvq 0x3f8\(%rdx\)\{1to8\},%zmm29,%zmm30
147 [ 	]*[a-f0-9]+:[ 	]*62 02 95 40 72 f4[ 	]*vpshrdvw %zmm28,%zmm29,%zmm30
148 [ 	]*[a-f0-9]+:[ 	]*62 02 95 47 72 f4[ 	]*vpshrdvw %zmm28,%zmm29,%zmm30\{%k7\}
149 [ 	]*[a-f0-9]+:[ 	]*62 02 95 c7 72 f4[ 	]*vpshrdvw %zmm28,%zmm29,%zmm30\{%k7\}\{z\}
150 [ 	]*[a-f0-9]+:[ 	]*62 22 95 40 72 b4 f0 34 12 00 00[ 	]*vpshrdvw 0x1234\(%rax,%r14,8\),%zmm29,%zmm30
151 [ 	]*[a-f0-9]+:[ 	]*62 62 95 40 72 72 7f[ 	]*vpshrdvw 0x1fc0\(%rdx\),%zmm29,%zmm30
152 [ 	]*[a-f0-9]+:[ 	]*62 02 15 40 73 f4[ 	]*vpshrdvd %zmm28,%zmm29,%zmm30
153 [ 	]*[a-f0-9]+:[ 	]*62 02 15 47 73 f4[ 	]*vpshrdvd %zmm28,%zmm29,%zmm30\{%k7\}
154 [ 	]*[a-f0-9]+:[ 	]*62 02 15 c7 73 f4[ 	]*vpshrdvd %zmm28,%zmm29,%zmm30\{%k7\}\{z\}
155 [ 	]*[a-f0-9]+:[ 	]*62 22 15 40 73 b4 f0 34 12 00 00[ 	]*vpshrdvd 0x1234\(%rax,%r14,8\),%zmm29,%zmm30
156 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 73 72 7f[ 	]*vpshrdvd 0x1fc0\(%rdx\),%zmm29,%zmm30
157 [ 	]*[a-f0-9]+:[ 	]*62 62 15 50 73 72 7f[ 	]*vpshrdvd 0x1fc\(%rdx\)\{1to16\},%zmm29,%zmm30
158 [ 	]*[a-f0-9]+:[ 	]*62 02 95 40 73 f4[ 	]*vpshrdvq %zmm28,%zmm29,%zmm30
159 [ 	]*[a-f0-9]+:[ 	]*62 02 95 47 73 f4[ 	]*vpshrdvq %zmm28,%zmm29,%zmm30\{%k7\}
160 [ 	]*[a-f0-9]+:[ 	]*62 02 95 c7 73 f4[ 	]*vpshrdvq %zmm28,%zmm29,%zmm30\{%k7\}\{z\}
161 [ 	]*[a-f0-9]+:[ 	]*62 22 95 40 73 b4 f0 34 12 00 00[ 	]*vpshrdvq 0x1234\(%rax,%r14,8\),%zmm29,%zmm30
162 [ 	]*[a-f0-9]+:[ 	]*62 62 95 40 73 72 7f[ 	]*vpshrdvq 0x1fc0\(%rdx\),%zmm29,%zmm30
163 [ 	]*[a-f0-9]+:[ 	]*62 62 95 50 73 72 7f[ 	]*vpshrdvq 0x3f8\(%rdx\)\{1to8\},%zmm29,%zmm30
164 [ 	]*[a-f0-9]+:[ 	]*62 03 95 40 70 f4 ab[ 	]*vpshldw \$0xab,%zmm28,%zmm29,%zmm30
165 [ 	]*[a-f0-9]+:[ 	]*62 03 95 47 70 f4 ab[ 	]*vpshldw \$0xab,%zmm28,%zmm29,%zmm30\{%k7\}
166 [ 	]*[a-f0-9]+:[ 	]*62 03 95 c7 70 f4 ab[ 	]*vpshldw \$0xab,%zmm28,%zmm29,%zmm30\{%k7\}\{z\}
167 [ 	]*[a-f0-9]+:[ 	]*62 23 95 40 70 b4 f0 34 12 00 00 7b[ 	]*vpshldw \$0x7b,0x1234\(%rax,%r14,8\),%zmm29,%zmm30
168 [ 	]*[a-f0-9]+:[ 	]*62 63 95 40 70 72 7f 7b[ 	]*vpshldw \$0x7b,0x1fc0\(%rdx\),%zmm29,%zmm30
169 [ 	]*[a-f0-9]+:[ 	]*62 03 15 40 71 f4 ab[ 	]*vpshldd \$0xab,%zmm28,%zmm29,%zmm30
170 [ 	]*[a-f0-9]+:[ 	]*62 03 15 47 71 f4 ab[ 	]*vpshldd \$0xab,%zmm28,%zmm29,%zmm30\{%k7\}
171 [ 	]*[a-f0-9]+:[ 	]*62 03 15 c7 71 f4 ab[ 	]*vpshldd \$0xab,%zmm28,%zmm29,%zmm30\{%k7\}\{z\}
172 [ 	]*[a-f0-9]+:[ 	]*62 23 15 40 71 b4 f0 34 12 00 00 7b[ 	]*vpshldd \$0x7b,0x1234\(%rax,%r14,8\),%zmm29,%zmm30
173 [ 	]*[a-f0-9]+:[ 	]*62 63 15 40 71 72 7f 7b[ 	]*vpshldd \$0x7b,0x1fc0\(%rdx\),%zmm29,%zmm30
174 [ 	]*[a-f0-9]+:[ 	]*62 63 15 50 71 72 7f 7b[ 	]*vpshldd \$0x7b,0x1fc\(%rdx\)\{1to16\},%zmm29,%zmm30
175 [ 	]*[a-f0-9]+:[ 	]*62 03 95 40 71 f4 ab[ 	]*vpshldq \$0xab,%zmm28,%zmm29,%zmm30
176 [ 	]*[a-f0-9]+:[ 	]*62 03 95 47 71 f4 ab[ 	]*vpshldq \$0xab,%zmm28,%zmm29,%zmm30\{%k7\}
177 [ 	]*[a-f0-9]+:[ 	]*62 03 95 c7 71 f4 ab[ 	]*vpshldq \$0xab,%zmm28,%zmm29,%zmm30\{%k7\}\{z\}
178 [ 	]*[a-f0-9]+:[ 	]*62 23 95 40 71 b4 f0 34 12 00 00 7b[ 	]*vpshldq \$0x7b,0x1234\(%rax,%r14,8\),%zmm29,%zmm30
179 [ 	]*[a-f0-9]+:[ 	]*62 63 95 40 71 72 7f 7b[ 	]*vpshldq \$0x7b,0x1fc0\(%rdx\),%zmm29,%zmm30
180 [ 	]*[a-f0-9]+:[ 	]*62 63 95 50 71 72 7f 7b[ 	]*vpshldq \$0x7b,0x3f8\(%rdx\)\{1to8\},%zmm29,%zmm30
181 [ 	]*[a-f0-9]+:[ 	]*62 03 95 40 72 f4 ab[ 	]*vpshrdw \$0xab,%zmm28,%zmm29,%zmm30
182 [ 	]*[a-f0-9]+:[ 	]*62 03 95 47 72 f4 ab[ 	]*vpshrdw \$0xab,%zmm28,%zmm29,%zmm30\{%k7\}
183 [ 	]*[a-f0-9]+:[ 	]*62 03 95 c7 72 f4 ab[ 	]*vpshrdw \$0xab,%zmm28,%zmm29,%zmm30\{%k7\}\{z\}
184 [ 	]*[a-f0-9]+:[ 	]*62 23 95 40 72 b4 f0 34 12 00 00 7b[ 	]*vpshrdw \$0x7b,0x1234\(%rax,%r14,8\),%zmm29,%zmm30
185 [ 	]*[a-f0-9]+:[ 	]*62 63 95 40 72 72 7f 7b[ 	]*vpshrdw \$0x7b,0x1fc0\(%rdx\),%zmm29,%zmm30
186 [ 	]*[a-f0-9]+:[ 	]*62 03 15 40 73 f4 ab[ 	]*vpshrdd \$0xab,%zmm28,%zmm29,%zmm30
187 [ 	]*[a-f0-9]+:[ 	]*62 03 15 47 73 f4 ab[ 	]*vpshrdd \$0xab,%zmm28,%zmm29,%zmm30\{%k7\}
188 [ 	]*[a-f0-9]+:[ 	]*62 03 15 c7 73 f4 ab[ 	]*vpshrdd \$0xab,%zmm28,%zmm29,%zmm30\{%k7\}\{z\}
189 [ 	]*[a-f0-9]+:[ 	]*62 23 15 40 73 b4 f0 34 12 00 00 7b[ 	]*vpshrdd \$0x7b,0x1234\(%rax,%r14,8\),%zmm29,%zmm30
190 [ 	]*[a-f0-9]+:[ 	]*62 63 15 40 73 72 7f 7b[ 	]*vpshrdd \$0x7b,0x1fc0\(%rdx\),%zmm29,%zmm30
191 [ 	]*[a-f0-9]+:[ 	]*62 63 15 50 73 72 7f 7b[ 	]*vpshrdd \$0x7b,0x1fc\(%rdx\)\{1to16\},%zmm29,%zmm30
192 [ 	]*[a-f0-9]+:[ 	]*62 03 95 40 73 f4 ab[ 	]*vpshrdq \$0xab,%zmm28,%zmm29,%zmm30
193 [ 	]*[a-f0-9]+:[ 	]*62 03 95 47 73 f4 ab[ 	]*vpshrdq \$0xab,%zmm28,%zmm29,%zmm30\{%k7\}
194 [ 	]*[a-f0-9]+:[ 	]*62 03 95 c7 73 f4 ab[ 	]*vpshrdq \$0xab,%zmm28,%zmm29,%zmm30\{%k7\}\{z\}
195 [ 	]*[a-f0-9]+:[ 	]*62 23 95 40 73 b4 f0 34 12 00 00 7b[ 	]*vpshrdq \$0x7b,0x1234\(%rax,%r14,8\),%zmm29,%zmm30
196 [ 	]*[a-f0-9]+:[ 	]*62 63 95 40 73 72 7f 7b[ 	]*vpshrdq \$0x7b,0x1fc0\(%rdx\),%zmm29,%zmm30
197 [ 	]*[a-f0-9]+:[ 	]*62 63 95 50 73 72 7f 7b[ 	]*vpshrdq \$0x7b,0x3f8\(%rdx\)\{1to8\},%zmm29,%zmm30
198 #pass
199