1 #as: -mevexwig=1
2 #objdump: -dw
3 #name: x86_64 AVX512 wig insns
4 #source: x86-64-evex-wig.s
5 
6 .*: +file format .*
7 
8 
9 Disassembly of section .text:
10 
11 0+ <_start>:
12 [ 	]*[a-f0-9]+:	62 63 fd 08 17 e8 ab 	vextractps \$0xab,%xmm29,%rax
13 [ 	]*[a-f0-9]+:	62 63 fd 08 17 e8 7b 	vextractps \$0x7b,%xmm29,%rax
14 [ 	]*[a-f0-9]+:	62 43 fd 08 17 e8 7b 	vextractps \$0x7b,%xmm29,%r8
15 [ 	]*[a-f0-9]+:	62 63 fd 08 17 29 7b 	vextractps \$0x7b,%xmm29,\(%rcx\)
16 [ 	]*[a-f0-9]+:	62 23 fd 08 17 ac f0 23 01 00 00 7b 	vextractps \$0x7b,%xmm29,0x123\(%rax,%r14,8\)
17 [ 	]*[a-f0-9]+:	62 63 fd 08 17 6a 7f 7b 	vextractps \$0x7b,%xmm29,0x1fc\(%rdx\)
18 [ 	]*[a-f0-9]+:	62 63 fd 08 17 aa 00 02 00 00 7b 	vextractps \$0x7b,%xmm29,0x200\(%rdx\)
19 [ 	]*[a-f0-9]+:	62 63 fd 08 17 6a 80 7b 	vextractps \$0x7b,%xmm29,-0x200\(%rdx\)
20 [ 	]*[a-f0-9]+:	62 63 fd 08 17 aa fc fd ff ff 7b 	vextractps \$0x7b,%xmm29,-0x204\(%rdx\)
21 [ 	]*[a-f0-9]+:	62 02 fd 4f 21 f5    	vpmovsxbd %xmm29,%zmm30\{%k7\}
22 [ 	]*[a-f0-9]+:	62 02 fd cf 21 f5    	vpmovsxbd %xmm29,%zmm30\{%k7\}\{z\}
23 [ 	]*[a-f0-9]+:	62 62 fd 4f 21 31    	vpmovsxbd \(%rcx\),%zmm30\{%k7\}
24 [ 	]*[a-f0-9]+:	62 22 fd 4f 21 b4 f0 23 01 00 00 	vpmovsxbd 0x123\(%rax,%r14,8\),%zmm30\{%k7\}
25 [ 	]*[a-f0-9]+:	62 62 fd 4f 21 72 7f 	vpmovsxbd 0x7f0\(%rdx\),%zmm30\{%k7\}
26 [ 	]*[a-f0-9]+:	62 62 fd 4f 21 b2 00 08 00 00 	vpmovsxbd 0x800\(%rdx\),%zmm30\{%k7\}
27 [ 	]*[a-f0-9]+:	62 62 fd 4f 21 72 80 	vpmovsxbd -0x800\(%rdx\),%zmm30\{%k7\}
28 [ 	]*[a-f0-9]+:	62 62 fd 4f 21 b2 f0 f7 ff ff 	vpmovsxbd -0x810\(%rdx\),%zmm30\{%k7\}
29 [ 	]*[a-f0-9]+:	62 02 fd 4f 22 f5    	vpmovsxbq %xmm29,%zmm30\{%k7\}
30 [ 	]*[a-f0-9]+:	62 02 fd cf 22 f5    	vpmovsxbq %xmm29,%zmm30\{%k7\}\{z\}
31 [ 	]*[a-f0-9]+:	62 62 fd 4f 22 31    	vpmovsxbq \(%rcx\),%zmm30\{%k7\}
32 [ 	]*[a-f0-9]+:	62 22 fd 4f 22 b4 f0 23 01 00 00 	vpmovsxbq 0x123\(%rax,%r14,8\),%zmm30\{%k7\}
33 [ 	]*[a-f0-9]+:	62 62 fd 4f 22 72 7f 	vpmovsxbq 0x3f8\(%rdx\),%zmm30\{%k7\}
34 [ 	]*[a-f0-9]+:	62 62 fd 4f 22 b2 00 04 00 00 	vpmovsxbq 0x400\(%rdx\),%zmm30\{%k7\}
35 [ 	]*[a-f0-9]+:	62 62 fd 4f 22 72 80 	vpmovsxbq -0x400\(%rdx\),%zmm30\{%k7\}
36 [ 	]*[a-f0-9]+:	62 62 fd 4f 22 b2 f8 fb ff ff 	vpmovsxbq -0x408\(%rdx\),%zmm30\{%k7\}
37 [ 	]*[a-f0-9]+:	62 02 fd 4f 23 f5    	vpmovsxwd %ymm29,%zmm30\{%k7\}
38 [ 	]*[a-f0-9]+:	62 02 fd cf 23 f5    	vpmovsxwd %ymm29,%zmm30\{%k7\}\{z\}
39 [ 	]*[a-f0-9]+:	62 62 fd 4f 23 31    	vpmovsxwd \(%rcx\),%zmm30\{%k7\}
40 [ 	]*[a-f0-9]+:	62 22 fd 4f 23 b4 f0 23 01 00 00 	vpmovsxwd 0x123\(%rax,%r14,8\),%zmm30\{%k7\}
41 [ 	]*[a-f0-9]+:	62 62 fd 4f 23 72 7f 	vpmovsxwd 0xfe0\(%rdx\),%zmm30\{%k7\}
42 [ 	]*[a-f0-9]+:	62 62 fd 4f 23 b2 00 10 00 00 	vpmovsxwd 0x1000\(%rdx\),%zmm30\{%k7\}
43 [ 	]*[a-f0-9]+:	62 62 fd 4f 23 72 80 	vpmovsxwd -0x1000\(%rdx\),%zmm30\{%k7\}
44 [ 	]*[a-f0-9]+:	62 62 fd 4f 23 b2 e0 ef ff ff 	vpmovsxwd -0x1020\(%rdx\),%zmm30\{%k7\}
45 [ 	]*[a-f0-9]+:	62 02 fd 4f 24 f5    	vpmovsxwq %xmm29,%zmm30\{%k7\}
46 [ 	]*[a-f0-9]+:	62 02 fd cf 24 f5    	vpmovsxwq %xmm29,%zmm30\{%k7\}\{z\}
47 [ 	]*[a-f0-9]+:	62 62 fd 4f 24 31    	vpmovsxwq \(%rcx\),%zmm30\{%k7\}
48 [ 	]*[a-f0-9]+:	62 22 fd 4f 24 b4 f0 23 01 00 00 	vpmovsxwq 0x123\(%rax,%r14,8\),%zmm30\{%k7\}
49 [ 	]*[a-f0-9]+:	62 62 fd 4f 24 72 7f 	vpmovsxwq 0x7f0\(%rdx\),%zmm30\{%k7\}
50 [ 	]*[a-f0-9]+:	62 62 fd 4f 24 b2 00 08 00 00 	vpmovsxwq 0x800\(%rdx\),%zmm30\{%k7\}
51 [ 	]*[a-f0-9]+:	62 62 fd 4f 24 72 80 	vpmovsxwq -0x800\(%rdx\),%zmm30\{%k7\}
52 [ 	]*[a-f0-9]+:	62 62 fd 4f 24 b2 f0 f7 ff ff 	vpmovsxwq -0x810\(%rdx\),%zmm30\{%k7\}
53 [ 	]*[a-f0-9]+:	62 02 fd 4f 31 f5    	vpmovzxbd %xmm29,%zmm30\{%k7\}
54 [ 	]*[a-f0-9]+:	62 02 fd cf 31 f5    	vpmovzxbd %xmm29,%zmm30\{%k7\}\{z\}
55 [ 	]*[a-f0-9]+:	62 62 fd 4f 31 31    	vpmovzxbd \(%rcx\),%zmm30\{%k7\}
56 [ 	]*[a-f0-9]+:	62 22 fd 4f 31 b4 f0 23 01 00 00 	vpmovzxbd 0x123\(%rax,%r14,8\),%zmm30\{%k7\}
57 [ 	]*[a-f0-9]+:	62 62 fd 4f 31 72 7f 	vpmovzxbd 0x7f0\(%rdx\),%zmm30\{%k7\}
58 [ 	]*[a-f0-9]+:	62 62 fd 4f 31 b2 00 08 00 00 	vpmovzxbd 0x800\(%rdx\),%zmm30\{%k7\}
59 [ 	]*[a-f0-9]+:	62 62 fd 4f 31 72 80 	vpmovzxbd -0x800\(%rdx\),%zmm30\{%k7\}
60 [ 	]*[a-f0-9]+:	62 62 fd 4f 31 b2 f0 f7 ff ff 	vpmovzxbd -0x810\(%rdx\),%zmm30\{%k7\}
61 [ 	]*[a-f0-9]+:	62 02 fd 4f 32 f5    	vpmovzxbq %xmm29,%zmm30\{%k7\}
62 [ 	]*[a-f0-9]+:	62 02 fd cf 32 f5    	vpmovzxbq %xmm29,%zmm30\{%k7\}\{z\}
63 [ 	]*[a-f0-9]+:	62 62 fd 4f 32 31    	vpmovzxbq \(%rcx\),%zmm30\{%k7\}
64 [ 	]*[a-f0-9]+:	62 22 fd 4f 32 b4 f0 23 01 00 00 	vpmovzxbq 0x123\(%rax,%r14,8\),%zmm30\{%k7\}
65 [ 	]*[a-f0-9]+:	62 62 fd 4f 32 72 7f 	vpmovzxbq 0x3f8\(%rdx\),%zmm30\{%k7\}
66 [ 	]*[a-f0-9]+:	62 62 fd 4f 32 b2 00 04 00 00 	vpmovzxbq 0x400\(%rdx\),%zmm30\{%k7\}
67 [ 	]*[a-f0-9]+:	62 62 fd 4f 32 72 80 	vpmovzxbq -0x400\(%rdx\),%zmm30\{%k7\}
68 [ 	]*[a-f0-9]+:	62 62 fd 4f 32 b2 f8 fb ff ff 	vpmovzxbq -0x408\(%rdx\),%zmm30\{%k7\}
69 [ 	]*[a-f0-9]+:	62 02 fd 4f 33 f5    	vpmovzxwd %ymm29,%zmm30\{%k7\}
70 [ 	]*[a-f0-9]+:	62 02 fd cf 33 f5    	vpmovzxwd %ymm29,%zmm30\{%k7\}\{z\}
71 [ 	]*[a-f0-9]+:	62 62 fd 4f 33 31    	vpmovzxwd \(%rcx\),%zmm30\{%k7\}
72 [ 	]*[a-f0-9]+:	62 22 fd 4f 33 b4 f0 23 01 00 00 	vpmovzxwd 0x123\(%rax,%r14,8\),%zmm30\{%k7\}
73 [ 	]*[a-f0-9]+:	62 62 fd 4f 33 72 7f 	vpmovzxwd 0xfe0\(%rdx\),%zmm30\{%k7\}
74 [ 	]*[a-f0-9]+:	62 62 fd 4f 33 b2 00 10 00 00 	vpmovzxwd 0x1000\(%rdx\),%zmm30\{%k7\}
75 [ 	]*[a-f0-9]+:	62 62 fd 4f 33 72 80 	vpmovzxwd -0x1000\(%rdx\),%zmm30\{%k7\}
76 [ 	]*[a-f0-9]+:	62 62 fd 4f 33 b2 e0 ef ff ff 	vpmovzxwd -0x1020\(%rdx\),%zmm30\{%k7\}
77 [ 	]*[a-f0-9]+:	62 02 fd 4f 34 f5    	vpmovzxwq %xmm29,%zmm30\{%k7\}
78 [ 	]*[a-f0-9]+:	62 02 fd cf 34 f5    	vpmovzxwq %xmm29,%zmm30\{%k7\}\{z\}
79 [ 	]*[a-f0-9]+:	62 62 fd 4f 34 31    	vpmovzxwq \(%rcx\),%zmm30\{%k7\}
80 [ 	]*[a-f0-9]+:	62 22 fd 4f 34 b4 f0 23 01 00 00 	vpmovzxwq 0x123\(%rax,%r14,8\),%zmm30\{%k7\}
81 [ 	]*[a-f0-9]+:	62 62 fd 4f 34 72 7f 	vpmovzxwq 0x7f0\(%rdx\),%zmm30\{%k7\}
82 [ 	]*[a-f0-9]+:	62 62 fd 4f 34 b2 00 08 00 00 	vpmovzxwq 0x800\(%rdx\),%zmm30\{%k7\}
83 [ 	]*[a-f0-9]+:	62 62 fd 4f 34 72 80 	vpmovzxwq -0x800\(%rdx\),%zmm30\{%k7\}
84 [ 	]*[a-f0-9]+:	62 62 fd 4f 34 b2 f0 f7 ff ff 	vpmovzxwq -0x810\(%rdx\),%zmm30\{%k7\}
85 [ 	]*[a-f0-9]+:	62 63 fd 08 17 e8 ab 	vextractps \$0xab,%xmm29,%rax
86 [ 	]*[a-f0-9]+:	62 63 fd 08 17 e8 7b 	vextractps \$0x7b,%xmm29,%rax
87 [ 	]*[a-f0-9]+:	62 43 fd 08 17 e8 7b 	vextractps \$0x7b,%xmm29,%r8
88 [ 	]*[a-f0-9]+:	62 63 fd 08 17 29 7b 	vextractps \$0x7b,%xmm29,\(%rcx\)
89 [ 	]*[a-f0-9]+:	62 23 fd 08 17 ac f0 34 12 00 00 7b 	vextractps \$0x7b,%xmm29,0x1234\(%rax,%r14,8\)
90 [ 	]*[a-f0-9]+:	62 63 fd 08 17 6a 7f 7b 	vextractps \$0x7b,%xmm29,0x1fc\(%rdx\)
91 [ 	]*[a-f0-9]+:	62 63 fd 08 17 aa 00 02 00 00 7b 	vextractps \$0x7b,%xmm29,0x200\(%rdx\)
92 [ 	]*[a-f0-9]+:	62 63 fd 08 17 6a 80 7b 	vextractps \$0x7b,%xmm29,-0x200\(%rdx\)
93 [ 	]*[a-f0-9]+:	62 63 fd 08 17 aa fc fd ff ff 7b 	vextractps \$0x7b,%xmm29,-0x204\(%rdx\)
94 [ 	]*[a-f0-9]+:	62 02 fd 4f 21 f5    	vpmovsxbd %xmm29,%zmm30\{%k7\}
95 [ 	]*[a-f0-9]+:	62 02 fd cf 21 f5    	vpmovsxbd %xmm29,%zmm30\{%k7\}\{z\}
96 [ 	]*[a-f0-9]+:	62 62 fd 4f 21 31    	vpmovsxbd \(%rcx\),%zmm30\{%k7\}
97 [ 	]*[a-f0-9]+:	62 22 fd 4f 21 b4 f0 34 12 00 00 	vpmovsxbd 0x1234\(%rax,%r14,8\),%zmm30\{%k7\}
98 [ 	]*[a-f0-9]+:	62 62 fd 4f 21 72 7f 	vpmovsxbd 0x7f0\(%rdx\),%zmm30\{%k7\}
99 [ 	]*[a-f0-9]+:	62 62 fd 4f 21 b2 00 08 00 00 	vpmovsxbd 0x800\(%rdx\),%zmm30\{%k7\}
100 [ 	]*[a-f0-9]+:	62 62 fd 4f 21 72 80 	vpmovsxbd -0x800\(%rdx\),%zmm30\{%k7\}
101 [ 	]*[a-f0-9]+:	62 62 fd 4f 21 b2 f0 f7 ff ff 	vpmovsxbd -0x810\(%rdx\),%zmm30\{%k7\}
102 [ 	]*[a-f0-9]+:	62 02 fd 4f 22 f5    	vpmovsxbq %xmm29,%zmm30\{%k7\}
103 [ 	]*[a-f0-9]+:	62 02 fd cf 22 f5    	vpmovsxbq %xmm29,%zmm30\{%k7\}\{z\}
104 [ 	]*[a-f0-9]+:	62 62 fd 4f 22 31    	vpmovsxbq \(%rcx\),%zmm30\{%k7\}
105 [ 	]*[a-f0-9]+:	62 22 fd 4f 22 b4 f0 34 12 00 00 	vpmovsxbq 0x1234\(%rax,%r14,8\),%zmm30\{%k7\}
106 [ 	]*[a-f0-9]+:	62 62 fd 4f 22 72 7f 	vpmovsxbq 0x3f8\(%rdx\),%zmm30\{%k7\}
107 [ 	]*[a-f0-9]+:	62 62 fd 4f 22 b2 00 04 00 00 	vpmovsxbq 0x400\(%rdx\),%zmm30\{%k7\}
108 [ 	]*[a-f0-9]+:	62 62 fd 4f 22 72 80 	vpmovsxbq -0x400\(%rdx\),%zmm30\{%k7\}
109 [ 	]*[a-f0-9]+:	62 62 fd 4f 22 b2 f8 fb ff ff 	vpmovsxbq -0x408\(%rdx\),%zmm30\{%k7\}
110 [ 	]*[a-f0-9]+:	62 02 fd 4f 23 f5    	vpmovsxwd %ymm29,%zmm30\{%k7\}
111 [ 	]*[a-f0-9]+:	62 02 fd cf 23 f5    	vpmovsxwd %ymm29,%zmm30\{%k7\}\{z\}
112 [ 	]*[a-f0-9]+:	62 62 fd 4f 23 31    	vpmovsxwd \(%rcx\),%zmm30\{%k7\}
113 [ 	]*[a-f0-9]+:	62 22 fd 4f 23 b4 f0 34 12 00 00 	vpmovsxwd 0x1234\(%rax,%r14,8\),%zmm30\{%k7\}
114 [ 	]*[a-f0-9]+:	62 62 fd 4f 23 72 7f 	vpmovsxwd 0xfe0\(%rdx\),%zmm30\{%k7\}
115 [ 	]*[a-f0-9]+:	62 62 fd 4f 23 b2 00 10 00 00 	vpmovsxwd 0x1000\(%rdx\),%zmm30\{%k7\}
116 [ 	]*[a-f0-9]+:	62 62 fd 4f 23 72 80 	vpmovsxwd -0x1000\(%rdx\),%zmm30\{%k7\}
117 [ 	]*[a-f0-9]+:	62 62 fd 4f 23 b2 e0 ef ff ff 	vpmovsxwd -0x1020\(%rdx\),%zmm30\{%k7\}
118 [ 	]*[a-f0-9]+:	62 02 fd 4f 24 f5    	vpmovsxwq %xmm29,%zmm30\{%k7\}
119 [ 	]*[a-f0-9]+:	62 02 fd cf 24 f5    	vpmovsxwq %xmm29,%zmm30\{%k7\}\{z\}
120 [ 	]*[a-f0-9]+:	62 62 fd 4f 24 31    	vpmovsxwq \(%rcx\),%zmm30\{%k7\}
121 [ 	]*[a-f0-9]+:	62 22 fd 4f 24 b4 f0 34 12 00 00 	vpmovsxwq 0x1234\(%rax,%r14,8\),%zmm30\{%k7\}
122 [ 	]*[a-f0-9]+:	62 62 fd 4f 24 72 7f 	vpmovsxwq 0x7f0\(%rdx\),%zmm30\{%k7\}
123 [ 	]*[a-f0-9]+:	62 62 fd 4f 24 b2 00 08 00 00 	vpmovsxwq 0x800\(%rdx\),%zmm30\{%k7\}
124 [ 	]*[a-f0-9]+:	62 62 fd 4f 24 72 80 	vpmovsxwq -0x800\(%rdx\),%zmm30\{%k7\}
125 [ 	]*[a-f0-9]+:	62 62 fd 4f 24 b2 f0 f7 ff ff 	vpmovsxwq -0x810\(%rdx\),%zmm30\{%k7\}
126 [ 	]*[a-f0-9]+:	62 02 fd 4f 31 f5    	vpmovzxbd %xmm29,%zmm30\{%k7\}
127 [ 	]*[a-f0-9]+:	62 02 fd cf 31 f5    	vpmovzxbd %xmm29,%zmm30\{%k7\}\{z\}
128 [ 	]*[a-f0-9]+:	62 62 fd 4f 31 31    	vpmovzxbd \(%rcx\),%zmm30\{%k7\}
129 [ 	]*[a-f0-9]+:	62 22 fd 4f 31 b4 f0 34 12 00 00 	vpmovzxbd 0x1234\(%rax,%r14,8\),%zmm30\{%k7\}
130 [ 	]*[a-f0-9]+:	62 62 fd 4f 31 72 7f 	vpmovzxbd 0x7f0\(%rdx\),%zmm30\{%k7\}
131 [ 	]*[a-f0-9]+:	62 62 fd 4f 31 b2 00 08 00 00 	vpmovzxbd 0x800\(%rdx\),%zmm30\{%k7\}
132 [ 	]*[a-f0-9]+:	62 62 fd 4f 31 72 80 	vpmovzxbd -0x800\(%rdx\),%zmm30\{%k7\}
133 [ 	]*[a-f0-9]+:	62 62 fd 4f 31 b2 f0 f7 ff ff 	vpmovzxbd -0x810\(%rdx\),%zmm30\{%k7\}
134 [ 	]*[a-f0-9]+:	62 02 fd 4f 32 f5    	vpmovzxbq %xmm29,%zmm30\{%k7\}
135 [ 	]*[a-f0-9]+:	62 02 fd cf 32 f5    	vpmovzxbq %xmm29,%zmm30\{%k7\}\{z\}
136 [ 	]*[a-f0-9]+:	62 62 fd 4f 32 31    	vpmovzxbq \(%rcx\),%zmm30\{%k7\}
137 [ 	]*[a-f0-9]+:	62 22 fd 4f 32 b4 f0 34 12 00 00 	vpmovzxbq 0x1234\(%rax,%r14,8\),%zmm30\{%k7\}
138 [ 	]*[a-f0-9]+:	62 62 fd 4f 32 72 7f 	vpmovzxbq 0x3f8\(%rdx\),%zmm30\{%k7\}
139 [ 	]*[a-f0-9]+:	62 62 fd 4f 32 b2 00 04 00 00 	vpmovzxbq 0x400\(%rdx\),%zmm30\{%k7\}
140 [ 	]*[a-f0-9]+:	62 62 fd 4f 32 72 80 	vpmovzxbq -0x400\(%rdx\),%zmm30\{%k7\}
141 [ 	]*[a-f0-9]+:	62 62 fd 4f 32 b2 f8 fb ff ff 	vpmovzxbq -0x408\(%rdx\),%zmm30\{%k7\}
142 [ 	]*[a-f0-9]+:	62 02 fd 4f 33 f5    	vpmovzxwd %ymm29,%zmm30\{%k7\}
143 [ 	]*[a-f0-9]+:	62 02 fd cf 33 f5    	vpmovzxwd %ymm29,%zmm30\{%k7\}\{z\}
144 [ 	]*[a-f0-9]+:	62 62 fd 4f 33 31    	vpmovzxwd \(%rcx\),%zmm30\{%k7\}
145 [ 	]*[a-f0-9]+:	62 22 fd 4f 33 b4 f0 34 12 00 00 	vpmovzxwd 0x1234\(%rax,%r14,8\),%zmm30\{%k7\}
146 [ 	]*[a-f0-9]+:	62 62 fd 4f 33 72 7f 	vpmovzxwd 0xfe0\(%rdx\),%zmm30\{%k7\}
147 [ 	]*[a-f0-9]+:	62 62 fd 4f 33 b2 00 10 00 00 	vpmovzxwd 0x1000\(%rdx\),%zmm30\{%k7\}
148 [ 	]*[a-f0-9]+:	62 62 fd 4f 33 72 80 	vpmovzxwd -0x1000\(%rdx\),%zmm30\{%k7\}
149 [ 	]*[a-f0-9]+:	62 62 fd 4f 33 b2 e0 ef ff ff 	vpmovzxwd -0x1020\(%rdx\),%zmm30\{%k7\}
150 [ 	]*[a-f0-9]+:	62 02 fd 4f 34 f5    	vpmovzxwq %xmm29,%zmm30\{%k7\}
151 [ 	]*[a-f0-9]+:	62 02 fd cf 34 f5    	vpmovzxwq %xmm29,%zmm30\{%k7\}\{z\}
152 [ 	]*[a-f0-9]+:	62 62 fd 4f 34 31    	vpmovzxwq \(%rcx\),%zmm30\{%k7\}
153 [ 	]*[a-f0-9]+:	62 22 fd 4f 34 b4 f0 34 12 00 00 	vpmovzxwq 0x1234\(%rax,%r14,8\),%zmm30\{%k7\}
154 [ 	]*[a-f0-9]+:	62 62 fd 4f 34 72 7f 	vpmovzxwq 0x7f0\(%rdx\),%zmm30\{%k7\}
155 [ 	]*[a-f0-9]+:	62 62 fd 4f 34 b2 00 08 00 00 	vpmovzxwq 0x800\(%rdx\),%zmm30\{%k7\}
156 [ 	]*[a-f0-9]+:	62 62 fd 4f 34 72 80 	vpmovzxwq -0x800\(%rdx\),%zmm30\{%k7\}
157 [ 	]*[a-f0-9]+:	62 62 fd 4f 34 b2 f0 f7 ff ff 	vpmovzxwq -0x810\(%rdx\),%zmm30\{%k7\}
158 #pass
159