1 #as:
2 #objdump: -dw
3 #name: x86_64 AVX512VBMI insns
4 #source: x86-64-avx512vbmi.s
5 
6 .*: +file format .*
7 
8 
9 Disassembly of section \.text:
10 
11 0+ <_start>:
12 [ 	]*[a-f0-9]+:[ 	]*62 02 15 40 8d f4[ 	]*vpermb %zmm28,%zmm29,%zmm30
13 [ 	]*[a-f0-9]+:[ 	]*62 02 15 47 8d f4[ 	]*vpermb %zmm28,%zmm29,%zmm30\{%k7\}
14 [ 	]*[a-f0-9]+:[ 	]*62 02 15 c7 8d f4[ 	]*vpermb %zmm28,%zmm29,%zmm30\{%k7\}\{z\}
15 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 8d 31[ 	]*vpermb \(%rcx\),%zmm29,%zmm30
16 [ 	]*[a-f0-9]+:[ 	]*62 22 15 40 8d b4 f0 23 01 00 00[ 	]*vpermb 0x123\(%rax,%r14,8\),%zmm29,%zmm30
17 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 8d 72 7f[ 	]*vpermb 0x1fc0\(%rdx\),%zmm29,%zmm30
18 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 8d b2 00 20 00 00[ 	]*vpermb 0x2000\(%rdx\),%zmm29,%zmm30
19 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 8d 72 80[ 	]*vpermb -0x2000\(%rdx\),%zmm29,%zmm30
20 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 8d b2 c0 df ff ff[ 	]*vpermb -0x2040\(%rdx\),%zmm29,%zmm30
21 [ 	]*[a-f0-9]+:[ 	]*62 02 15 40 75 f4[ 	]*vpermi2b %zmm28,%zmm29,%zmm30
22 [ 	]*[a-f0-9]+:[ 	]*62 02 15 47 75 f4[ 	]*vpermi2b %zmm28,%zmm29,%zmm30\{%k7\}
23 [ 	]*[a-f0-9]+:[ 	]*62 02 15 c7 75 f4[ 	]*vpermi2b %zmm28,%zmm29,%zmm30\{%k7\}\{z\}
24 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 75 31[ 	]*vpermi2b \(%rcx\),%zmm29,%zmm30
25 [ 	]*[a-f0-9]+:[ 	]*62 22 15 40 75 b4 f0 23 01 00 00[ 	]*vpermi2b 0x123\(%rax,%r14,8\),%zmm29,%zmm30
26 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 75 72 7f[ 	]*vpermi2b 0x1fc0\(%rdx\),%zmm29,%zmm30
27 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 75 b2 00 20 00 00[ 	]*vpermi2b 0x2000\(%rdx\),%zmm29,%zmm30
28 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 75 72 80[ 	]*vpermi2b -0x2000\(%rdx\),%zmm29,%zmm30
29 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 75 b2 c0 df ff ff[ 	]*vpermi2b -0x2040\(%rdx\),%zmm29,%zmm30
30 [ 	]*[a-f0-9]+:[ 	]*62 02 15 40 7d f4[ 	]*vpermt2b %zmm28,%zmm29,%zmm30
31 [ 	]*[a-f0-9]+:[ 	]*62 02 15 47 7d f4[ 	]*vpermt2b %zmm28,%zmm29,%zmm30\{%k7\}
32 [ 	]*[a-f0-9]+:[ 	]*62 02 15 c7 7d f4[ 	]*vpermt2b %zmm28,%zmm29,%zmm30\{%k7\}\{z\}
33 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 7d 31[ 	]*vpermt2b \(%rcx\),%zmm29,%zmm30
34 [ 	]*[a-f0-9]+:[ 	]*62 22 15 40 7d b4 f0 23 01 00 00[ 	]*vpermt2b 0x123\(%rax,%r14,8\),%zmm29,%zmm30
35 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 7d 72 7f[ 	]*vpermt2b 0x1fc0\(%rdx\),%zmm29,%zmm30
36 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 7d b2 00 20 00 00[ 	]*vpermt2b 0x2000\(%rdx\),%zmm29,%zmm30
37 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 7d 72 80[ 	]*vpermt2b -0x2000\(%rdx\),%zmm29,%zmm30
38 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 7d b2 c0 df ff ff[ 	]*vpermt2b -0x2040\(%rdx\),%zmm29,%zmm30
39 [ 	]*[a-f0-9]+:[ 	]*62 02 95 40 83 f4[ 	]*vpmultishiftqb %zmm28,%zmm29,%zmm30
40 [ 	]*[a-f0-9]+:[ 	]*62 02 95 47 83 f4[ 	]*vpmultishiftqb %zmm28,%zmm29,%zmm30\{%k7\}
41 [ 	]*[a-f0-9]+:[ 	]*62 02 95 c7 83 f4[ 	]*vpmultishiftqb %zmm28,%zmm29,%zmm30\{%k7\}\{z\}
42 [ 	]*[a-f0-9]+:[ 	]*62 62 95 40 83 31[ 	]*vpmultishiftqb \(%rcx\),%zmm29,%zmm30
43 [ 	]*[a-f0-9]+:[ 	]*62 22 95 40 83 b4 f0 23 01 00 00[ 	]*vpmultishiftqb 0x123\(%rax,%r14,8\),%zmm29,%zmm30
44 [ 	]*[a-f0-9]+:[ 	]*62 62 95 50 83 31[ 	]*vpmultishiftqb \(%rcx\)\{1to8\},%zmm29,%zmm30
45 [ 	]*[a-f0-9]+:[ 	]*62 62 95 40 83 72 7f[ 	]*vpmultishiftqb 0x1fc0\(%rdx\),%zmm29,%zmm30
46 [ 	]*[a-f0-9]+:[ 	]*62 62 95 40 83 b2 00 20 00 00[ 	]*vpmultishiftqb 0x2000\(%rdx\),%zmm29,%zmm30
47 [ 	]*[a-f0-9]+:[ 	]*62 62 95 40 83 72 80[ 	]*vpmultishiftqb -0x2000\(%rdx\),%zmm29,%zmm30
48 [ 	]*[a-f0-9]+:[ 	]*62 62 95 40 83 b2 c0 df ff ff[ 	]*vpmultishiftqb -0x2040\(%rdx\),%zmm29,%zmm30
49 [ 	]*[a-f0-9]+:[ 	]*62 62 95 50 83 72 7f[ 	]*vpmultishiftqb 0x3f8\(%rdx\)\{1to8\},%zmm29,%zmm30
50 [ 	]*[a-f0-9]+:[ 	]*62 62 95 50 83 b2 00 04 00 00[ 	]*vpmultishiftqb 0x400\(%rdx\)\{1to8\},%zmm29,%zmm30
51 [ 	]*[a-f0-9]+:[ 	]*62 62 95 50 83 72 80[ 	]*vpmultishiftqb -0x400\(%rdx\)\{1to8\},%zmm29,%zmm30
52 [ 	]*[a-f0-9]+:[ 	]*62 62 95 50 83 b2 f8 fb ff ff[ 	]*vpmultishiftqb -0x408\(%rdx\)\{1to8\},%zmm29,%zmm30
53 [ 	]*[a-f0-9]+:[ 	]*62 02 15 40 8d f4[ 	]*vpermb %zmm28,%zmm29,%zmm30
54 [ 	]*[a-f0-9]+:[ 	]*62 02 15 47 8d f4[ 	]*vpermb %zmm28,%zmm29,%zmm30\{%k7\}
55 [ 	]*[a-f0-9]+:[ 	]*62 02 15 c7 8d f4[ 	]*vpermb %zmm28,%zmm29,%zmm30\{%k7\}\{z\}
56 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 8d 31[ 	]*vpermb \(%rcx\),%zmm29,%zmm30
57 [ 	]*[a-f0-9]+:[ 	]*62 22 15 40 8d b4 f0 34 12 00 00[ 	]*vpermb 0x1234\(%rax,%r14,8\),%zmm29,%zmm30
58 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 8d 72 7f[ 	]*vpermb 0x1fc0\(%rdx\),%zmm29,%zmm30
59 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 8d b2 00 20 00 00[ 	]*vpermb 0x2000\(%rdx\),%zmm29,%zmm30
60 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 8d 72 80[ 	]*vpermb -0x2000\(%rdx\),%zmm29,%zmm30
61 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 8d b2 c0 df ff ff[ 	]*vpermb -0x2040\(%rdx\),%zmm29,%zmm30
62 [ 	]*[a-f0-9]+:[ 	]*62 02 15 40 75 f4[ 	]*vpermi2b %zmm28,%zmm29,%zmm30
63 [ 	]*[a-f0-9]+:[ 	]*62 02 15 47 75 f4[ 	]*vpermi2b %zmm28,%zmm29,%zmm30\{%k7\}
64 [ 	]*[a-f0-9]+:[ 	]*62 02 15 c7 75 f4[ 	]*vpermi2b %zmm28,%zmm29,%zmm30\{%k7\}\{z\}
65 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 75 31[ 	]*vpermi2b \(%rcx\),%zmm29,%zmm30
66 [ 	]*[a-f0-9]+:[ 	]*62 22 15 40 75 b4 f0 34 12 00 00[ 	]*vpermi2b 0x1234\(%rax,%r14,8\),%zmm29,%zmm30
67 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 75 72 7f[ 	]*vpermi2b 0x1fc0\(%rdx\),%zmm29,%zmm30
68 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 75 b2 00 20 00 00[ 	]*vpermi2b 0x2000\(%rdx\),%zmm29,%zmm30
69 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 75 72 80[ 	]*vpermi2b -0x2000\(%rdx\),%zmm29,%zmm30
70 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 75 b2 c0 df ff ff[ 	]*vpermi2b -0x2040\(%rdx\),%zmm29,%zmm30
71 [ 	]*[a-f0-9]+:[ 	]*62 02 15 40 7d f4[ 	]*vpermt2b %zmm28,%zmm29,%zmm30
72 [ 	]*[a-f0-9]+:[ 	]*62 02 15 47 7d f4[ 	]*vpermt2b %zmm28,%zmm29,%zmm30\{%k7\}
73 [ 	]*[a-f0-9]+:[ 	]*62 02 15 c7 7d f4[ 	]*vpermt2b %zmm28,%zmm29,%zmm30\{%k7\}\{z\}
74 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 7d 31[ 	]*vpermt2b \(%rcx\),%zmm29,%zmm30
75 [ 	]*[a-f0-9]+:[ 	]*62 22 15 40 7d b4 f0 34 12 00 00[ 	]*vpermt2b 0x1234\(%rax,%r14,8\),%zmm29,%zmm30
76 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 7d 72 7f[ 	]*vpermt2b 0x1fc0\(%rdx\),%zmm29,%zmm30
77 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 7d b2 00 20 00 00[ 	]*vpermt2b 0x2000\(%rdx\),%zmm29,%zmm30
78 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 7d 72 80[ 	]*vpermt2b -0x2000\(%rdx\),%zmm29,%zmm30
79 [ 	]*[a-f0-9]+:[ 	]*62 62 15 40 7d b2 c0 df ff ff[ 	]*vpermt2b -0x2040\(%rdx\),%zmm29,%zmm30
80 [ 	]*[a-f0-9]+:[ 	]*62 02 95 40 83 f4[ 	]*vpmultishiftqb %zmm28,%zmm29,%zmm30
81 [ 	]*[a-f0-9]+:[ 	]*62 02 95 47 83 f4[ 	]*vpmultishiftqb %zmm28,%zmm29,%zmm30\{%k7\}
82 [ 	]*[a-f0-9]+:[ 	]*62 02 95 c7 83 f4[ 	]*vpmultishiftqb %zmm28,%zmm29,%zmm30\{%k7\}\{z\}
83 [ 	]*[a-f0-9]+:[ 	]*62 62 95 40 83 31[ 	]*vpmultishiftqb \(%rcx\),%zmm29,%zmm30
84 [ 	]*[a-f0-9]+:[ 	]*62 22 95 40 83 b4 f0 34 12 00 00[ 	]*vpmultishiftqb 0x1234\(%rax,%r14,8\),%zmm29,%zmm30
85 [ 	]*[a-f0-9]+:[ 	]*62 62 95 50 83 31[ 	]*vpmultishiftqb \(%rcx\)\{1to8\},%zmm29,%zmm30
86 [ 	]*[a-f0-9]+:[ 	]*62 62 95 40 83 72 7f[ 	]*vpmultishiftqb 0x1fc0\(%rdx\),%zmm29,%zmm30
87 [ 	]*[a-f0-9]+:[ 	]*62 62 95 40 83 b2 00 20 00 00[ 	]*vpmultishiftqb 0x2000\(%rdx\),%zmm29,%zmm30
88 [ 	]*[a-f0-9]+:[ 	]*62 62 95 40 83 72 80[ 	]*vpmultishiftqb -0x2000\(%rdx\),%zmm29,%zmm30
89 [ 	]*[a-f0-9]+:[ 	]*62 62 95 40 83 b2 c0 df ff ff[ 	]*vpmultishiftqb -0x2040\(%rdx\),%zmm29,%zmm30
90 [ 	]*[a-f0-9]+:[ 	]*62 62 95 50 83 72 7f[ 	]*vpmultishiftqb 0x3f8\(%rdx\)\{1to8\},%zmm29,%zmm30
91 [ 	]*[a-f0-9]+:[ 	]*62 62 95 50 83 b2 00 04 00 00[ 	]*vpmultishiftqb 0x400\(%rdx\)\{1to8\},%zmm29,%zmm30
92 [ 	]*[a-f0-9]+:[ 	]*62 62 95 50 83 72 80[ 	]*vpmultishiftqb -0x400\(%rdx\)\{1to8\},%zmm29,%zmm30
93 [ 	]*[a-f0-9]+:[ 	]*62 62 95 50 83 b2 f8 fb ff ff[ 	]*vpmultishiftqb -0x408\(%rdx\)\{1to8\},%zmm29,%zmm30
94 #pass
95