1 #as:
2 #objdump: -dw
3 #name: x86_64 AVX512IFMA/VL insns
4 #source: x86-64-avx512ifma_vl.s
5 
6 .*: +file format .*
7 
8 
9 Disassembly of section \.text:
10 
11 0+ <_start>:
12 [ 	]*[a-f0-9]+:[ 	]*62 02 95 00 b4 f4[ 	]*vpmadd52luq %xmm28,%xmm29,%xmm30
13 [ 	]*[a-f0-9]+:[ 	]*62 02 95 07 b4 f4[ 	]*vpmadd52luq %xmm28,%xmm29,%xmm30\{%k7\}
14 [ 	]*[a-f0-9]+:[ 	]*62 02 95 87 b4 f4[ 	]*vpmadd52luq %xmm28,%xmm29,%xmm30\{%k7\}\{z\}
15 [ 	]*[a-f0-9]+:[ 	]*62 62 95 00 b4 31[ 	]*vpmadd52luq \(%rcx\),%xmm29,%xmm30
16 [ 	]*[a-f0-9]+:[ 	]*62 22 95 00 b4 b4 f0 23 01 00 00[ 	]*vpmadd52luq 0x123\(%rax,%r14,8\),%xmm29,%xmm30
17 [ 	]*[a-f0-9]+:[ 	]*62 62 95 10 b4 31[ 	]*vpmadd52luq \(%rcx\)\{1to2\},%xmm29,%xmm30
18 [ 	]*[a-f0-9]+:[ 	]*62 62 95 00 b4 72 7f[ 	]*vpmadd52luq 0x7f0\(%rdx\),%xmm29,%xmm30
19 [ 	]*[a-f0-9]+:[ 	]*62 62 95 00 b4 b2 00 08 00 00[ 	]*vpmadd52luq 0x800\(%rdx\),%xmm29,%xmm30
20 [ 	]*[a-f0-9]+:[ 	]*62 62 95 00 b4 72 80[ 	]*vpmadd52luq -0x800\(%rdx\),%xmm29,%xmm30
21 [ 	]*[a-f0-9]+:[ 	]*62 62 95 00 b4 b2 f0 f7 ff ff[ 	]*vpmadd52luq -0x810\(%rdx\),%xmm29,%xmm30
22 [ 	]*[a-f0-9]+:[ 	]*62 62 95 10 b4 72 7f[ 	]*vpmadd52luq 0x3f8\(%rdx\)\{1to2\},%xmm29,%xmm30
23 [ 	]*[a-f0-9]+:[ 	]*62 62 95 10 b4 b2 00 04 00 00[ 	]*vpmadd52luq 0x400\(%rdx\)\{1to2\},%xmm29,%xmm30
24 [ 	]*[a-f0-9]+:[ 	]*62 62 95 10 b4 72 80[ 	]*vpmadd52luq -0x400\(%rdx\)\{1to2\},%xmm29,%xmm30
25 [ 	]*[a-f0-9]+:[ 	]*62 62 95 10 b4 b2 f8 fb ff ff[ 	]*vpmadd52luq -0x408\(%rdx\)\{1to2\},%xmm29,%xmm30
26 [ 	]*[a-f0-9]+:[ 	]*62 02 95 20 b4 f4[ 	]*vpmadd52luq %ymm28,%ymm29,%ymm30
27 [ 	]*[a-f0-9]+:[ 	]*62 02 95 27 b4 f4[ 	]*vpmadd52luq %ymm28,%ymm29,%ymm30\{%k7\}
28 [ 	]*[a-f0-9]+:[ 	]*62 02 95 a7 b4 f4[ 	]*vpmadd52luq %ymm28,%ymm29,%ymm30\{%k7\}\{z\}
29 [ 	]*[a-f0-9]+:[ 	]*62 62 95 20 b4 31[ 	]*vpmadd52luq \(%rcx\),%ymm29,%ymm30
30 [ 	]*[a-f0-9]+:[ 	]*62 22 95 20 b4 b4 f0 23 01 00 00[ 	]*vpmadd52luq 0x123\(%rax,%r14,8\),%ymm29,%ymm30
31 [ 	]*[a-f0-9]+:[ 	]*62 62 95 30 b4 31[ 	]*vpmadd52luq \(%rcx\)\{1to4\},%ymm29,%ymm30
32 [ 	]*[a-f0-9]+:[ 	]*62 62 95 20 b4 72 7f[ 	]*vpmadd52luq 0xfe0\(%rdx\),%ymm29,%ymm30
33 [ 	]*[a-f0-9]+:[ 	]*62 62 95 20 b4 b2 00 10 00 00[ 	]*vpmadd52luq 0x1000\(%rdx\),%ymm29,%ymm30
34 [ 	]*[a-f0-9]+:[ 	]*62 62 95 20 b4 72 80[ 	]*vpmadd52luq -0x1000\(%rdx\),%ymm29,%ymm30
35 [ 	]*[a-f0-9]+:[ 	]*62 62 95 20 b4 b2 e0 ef ff ff[ 	]*vpmadd52luq -0x1020\(%rdx\),%ymm29,%ymm30
36 [ 	]*[a-f0-9]+:[ 	]*62 62 95 30 b4 72 7f[ 	]*vpmadd52luq 0x3f8\(%rdx\)\{1to4\},%ymm29,%ymm30
37 [ 	]*[a-f0-9]+:[ 	]*62 62 95 30 b4 b2 00 04 00 00[ 	]*vpmadd52luq 0x400\(%rdx\)\{1to4\},%ymm29,%ymm30
38 [ 	]*[a-f0-9]+:[ 	]*62 62 95 30 b4 72 80[ 	]*vpmadd52luq -0x400\(%rdx\)\{1to4\},%ymm29,%ymm30
39 [ 	]*[a-f0-9]+:[ 	]*62 62 95 30 b4 b2 f8 fb ff ff[ 	]*vpmadd52luq -0x408\(%rdx\)\{1to4\},%ymm29,%ymm30
40 [ 	]*[a-f0-9]+:[ 	]*62 02 95 00 b5 f4[ 	]*vpmadd52huq %xmm28,%xmm29,%xmm30
41 [ 	]*[a-f0-9]+:[ 	]*62 02 95 07 b5 f4[ 	]*vpmadd52huq %xmm28,%xmm29,%xmm30\{%k7\}
42 [ 	]*[a-f0-9]+:[ 	]*62 02 95 87 b5 f4[ 	]*vpmadd52huq %xmm28,%xmm29,%xmm30\{%k7\}\{z\}
43 [ 	]*[a-f0-9]+:[ 	]*62 62 95 00 b5 31[ 	]*vpmadd52huq \(%rcx\),%xmm29,%xmm30
44 [ 	]*[a-f0-9]+:[ 	]*62 22 95 00 b5 b4 f0 23 01 00 00[ 	]*vpmadd52huq 0x123\(%rax,%r14,8\),%xmm29,%xmm30
45 [ 	]*[a-f0-9]+:[ 	]*62 62 95 10 b5 31[ 	]*vpmadd52huq \(%rcx\)\{1to2\},%xmm29,%xmm30
46 [ 	]*[a-f0-9]+:[ 	]*62 62 95 00 b5 72 7f[ 	]*vpmadd52huq 0x7f0\(%rdx\),%xmm29,%xmm30
47 [ 	]*[a-f0-9]+:[ 	]*62 62 95 00 b5 b2 00 08 00 00[ 	]*vpmadd52huq 0x800\(%rdx\),%xmm29,%xmm30
48 [ 	]*[a-f0-9]+:[ 	]*62 62 95 00 b5 72 80[ 	]*vpmadd52huq -0x800\(%rdx\),%xmm29,%xmm30
49 [ 	]*[a-f0-9]+:[ 	]*62 62 95 00 b5 b2 f0 f7 ff ff[ 	]*vpmadd52huq -0x810\(%rdx\),%xmm29,%xmm30
50 [ 	]*[a-f0-9]+:[ 	]*62 62 95 10 b5 72 7f[ 	]*vpmadd52huq 0x3f8\(%rdx\)\{1to2\},%xmm29,%xmm30
51 [ 	]*[a-f0-9]+:[ 	]*62 62 95 10 b5 b2 00 04 00 00[ 	]*vpmadd52huq 0x400\(%rdx\)\{1to2\},%xmm29,%xmm30
52 [ 	]*[a-f0-9]+:[ 	]*62 62 95 10 b5 72 80[ 	]*vpmadd52huq -0x400\(%rdx\)\{1to2\},%xmm29,%xmm30
53 [ 	]*[a-f0-9]+:[ 	]*62 62 95 10 b5 b2 f8 fb ff ff[ 	]*vpmadd52huq -0x408\(%rdx\)\{1to2\},%xmm29,%xmm30
54 [ 	]*[a-f0-9]+:[ 	]*62 02 95 20 b5 f4[ 	]*vpmadd52huq %ymm28,%ymm29,%ymm30
55 [ 	]*[a-f0-9]+:[ 	]*62 02 95 27 b5 f4[ 	]*vpmadd52huq %ymm28,%ymm29,%ymm30\{%k7\}
56 [ 	]*[a-f0-9]+:[ 	]*62 02 95 a7 b5 f4[ 	]*vpmadd52huq %ymm28,%ymm29,%ymm30\{%k7\}\{z\}
57 [ 	]*[a-f0-9]+:[ 	]*62 62 95 20 b5 31[ 	]*vpmadd52huq \(%rcx\),%ymm29,%ymm30
58 [ 	]*[a-f0-9]+:[ 	]*62 22 95 20 b5 b4 f0 23 01 00 00[ 	]*vpmadd52huq 0x123\(%rax,%r14,8\),%ymm29,%ymm30
59 [ 	]*[a-f0-9]+:[ 	]*62 62 95 30 b5 31[ 	]*vpmadd52huq \(%rcx\)\{1to4\},%ymm29,%ymm30
60 [ 	]*[a-f0-9]+:[ 	]*62 62 95 20 b5 72 7f[ 	]*vpmadd52huq 0xfe0\(%rdx\),%ymm29,%ymm30
61 [ 	]*[a-f0-9]+:[ 	]*62 62 95 20 b5 b2 00 10 00 00[ 	]*vpmadd52huq 0x1000\(%rdx\),%ymm29,%ymm30
62 [ 	]*[a-f0-9]+:[ 	]*62 62 95 20 b5 72 80[ 	]*vpmadd52huq -0x1000\(%rdx\),%ymm29,%ymm30
63 [ 	]*[a-f0-9]+:[ 	]*62 62 95 20 b5 b2 e0 ef ff ff[ 	]*vpmadd52huq -0x1020\(%rdx\),%ymm29,%ymm30
64 [ 	]*[a-f0-9]+:[ 	]*62 62 95 30 b5 72 7f[ 	]*vpmadd52huq 0x3f8\(%rdx\)\{1to4\},%ymm29,%ymm30
65 [ 	]*[a-f0-9]+:[ 	]*62 62 95 30 b5 b2 00 04 00 00[ 	]*vpmadd52huq 0x400\(%rdx\)\{1to4\},%ymm29,%ymm30
66 [ 	]*[a-f0-9]+:[ 	]*62 62 95 30 b5 72 80[ 	]*vpmadd52huq -0x400\(%rdx\)\{1to4\},%ymm29,%ymm30
67 [ 	]*[a-f0-9]+:[ 	]*62 62 95 30 b5 b2 f8 fb ff ff[ 	]*vpmadd52huq -0x408\(%rdx\)\{1to4\},%ymm29,%ymm30
68 [ 	]*[a-f0-9]+:[ 	]*62 02 95 00 b4 f4[ 	]*vpmadd52luq %xmm28,%xmm29,%xmm30
69 [ 	]*[a-f0-9]+:[ 	]*62 02 95 07 b4 f4[ 	]*vpmadd52luq %xmm28,%xmm29,%xmm30\{%k7\}
70 [ 	]*[a-f0-9]+:[ 	]*62 02 95 87 b4 f4[ 	]*vpmadd52luq %xmm28,%xmm29,%xmm30\{%k7\}\{z\}
71 [ 	]*[a-f0-9]+:[ 	]*62 62 95 00 b4 31[ 	]*vpmadd52luq \(%rcx\),%xmm29,%xmm30
72 [ 	]*[a-f0-9]+:[ 	]*62 22 95 00 b4 b4 f0 34 12 00 00[ 	]*vpmadd52luq 0x1234\(%rax,%r14,8\),%xmm29,%xmm30
73 [ 	]*[a-f0-9]+:[ 	]*62 62 95 10 b4 31[ 	]*vpmadd52luq \(%rcx\)\{1to2\},%xmm29,%xmm30
74 [ 	]*[a-f0-9]+:[ 	]*62 62 95 00 b4 72 7f[ 	]*vpmadd52luq 0x7f0\(%rdx\),%xmm29,%xmm30
75 [ 	]*[a-f0-9]+:[ 	]*62 62 95 00 b4 b2 00 08 00 00[ 	]*vpmadd52luq 0x800\(%rdx\),%xmm29,%xmm30
76 [ 	]*[a-f0-9]+:[ 	]*62 62 95 00 b4 72 80[ 	]*vpmadd52luq -0x800\(%rdx\),%xmm29,%xmm30
77 [ 	]*[a-f0-9]+:[ 	]*62 62 95 00 b4 b2 f0 f7 ff ff[ 	]*vpmadd52luq -0x810\(%rdx\),%xmm29,%xmm30
78 [ 	]*[a-f0-9]+:[ 	]*62 62 95 10 b4 72 7f[ 	]*vpmadd52luq 0x3f8\(%rdx\)\{1to2\},%xmm29,%xmm30
79 [ 	]*[a-f0-9]+:[ 	]*62 62 95 10 b4 b2 00 04 00 00[ 	]*vpmadd52luq 0x400\(%rdx\)\{1to2\},%xmm29,%xmm30
80 [ 	]*[a-f0-9]+:[ 	]*62 62 95 10 b4 72 80[ 	]*vpmadd52luq -0x400\(%rdx\)\{1to2\},%xmm29,%xmm30
81 [ 	]*[a-f0-9]+:[ 	]*62 62 95 10 b4 b2 f8 fb ff ff[ 	]*vpmadd52luq -0x408\(%rdx\)\{1to2\},%xmm29,%xmm30
82 [ 	]*[a-f0-9]+:[ 	]*62 02 95 20 b4 f4[ 	]*vpmadd52luq %ymm28,%ymm29,%ymm30
83 [ 	]*[a-f0-9]+:[ 	]*62 02 95 27 b4 f4[ 	]*vpmadd52luq %ymm28,%ymm29,%ymm30\{%k7\}
84 [ 	]*[a-f0-9]+:[ 	]*62 02 95 a7 b4 f4[ 	]*vpmadd52luq %ymm28,%ymm29,%ymm30\{%k7\}\{z\}
85 [ 	]*[a-f0-9]+:[ 	]*62 62 95 20 b4 31[ 	]*vpmadd52luq \(%rcx\),%ymm29,%ymm30
86 [ 	]*[a-f0-9]+:[ 	]*62 22 95 20 b4 b4 f0 34 12 00 00[ 	]*vpmadd52luq 0x1234\(%rax,%r14,8\),%ymm29,%ymm30
87 [ 	]*[a-f0-9]+:[ 	]*62 62 95 30 b4 31[ 	]*vpmadd52luq \(%rcx\)\{1to4\},%ymm29,%ymm30
88 [ 	]*[a-f0-9]+:[ 	]*62 62 95 20 b4 72 7f[ 	]*vpmadd52luq 0xfe0\(%rdx\),%ymm29,%ymm30
89 [ 	]*[a-f0-9]+:[ 	]*62 62 95 20 b4 b2 00 10 00 00[ 	]*vpmadd52luq 0x1000\(%rdx\),%ymm29,%ymm30
90 [ 	]*[a-f0-9]+:[ 	]*62 62 95 20 b4 72 80[ 	]*vpmadd52luq -0x1000\(%rdx\),%ymm29,%ymm30
91 [ 	]*[a-f0-9]+:[ 	]*62 62 95 20 b4 b2 e0 ef ff ff[ 	]*vpmadd52luq -0x1020\(%rdx\),%ymm29,%ymm30
92 [ 	]*[a-f0-9]+:[ 	]*62 62 95 30 b4 72 7f[ 	]*vpmadd52luq 0x3f8\(%rdx\)\{1to4\},%ymm29,%ymm30
93 [ 	]*[a-f0-9]+:[ 	]*62 62 95 30 b4 b2 00 04 00 00[ 	]*vpmadd52luq 0x400\(%rdx\)\{1to4\},%ymm29,%ymm30
94 [ 	]*[a-f0-9]+:[ 	]*62 62 95 30 b4 72 80[ 	]*vpmadd52luq -0x400\(%rdx\)\{1to4\},%ymm29,%ymm30
95 [ 	]*[a-f0-9]+:[ 	]*62 62 95 30 b4 b2 f8 fb ff ff[ 	]*vpmadd52luq -0x408\(%rdx\)\{1to4\},%ymm29,%ymm30
96 [ 	]*[a-f0-9]+:[ 	]*62 02 95 00 b5 f4[ 	]*vpmadd52huq %xmm28,%xmm29,%xmm30
97 [ 	]*[a-f0-9]+:[ 	]*62 02 95 07 b5 f4[ 	]*vpmadd52huq %xmm28,%xmm29,%xmm30\{%k7\}
98 [ 	]*[a-f0-9]+:[ 	]*62 02 95 87 b5 f4[ 	]*vpmadd52huq %xmm28,%xmm29,%xmm30\{%k7\}\{z\}
99 [ 	]*[a-f0-9]+:[ 	]*62 62 95 00 b5 31[ 	]*vpmadd52huq \(%rcx\),%xmm29,%xmm30
100 [ 	]*[a-f0-9]+:[ 	]*62 22 95 00 b5 b4 f0 34 12 00 00[ 	]*vpmadd52huq 0x1234\(%rax,%r14,8\),%xmm29,%xmm30
101 [ 	]*[a-f0-9]+:[ 	]*62 62 95 10 b5 31[ 	]*vpmadd52huq \(%rcx\)\{1to2\},%xmm29,%xmm30
102 [ 	]*[a-f0-9]+:[ 	]*62 62 95 00 b5 72 7f[ 	]*vpmadd52huq 0x7f0\(%rdx\),%xmm29,%xmm30
103 [ 	]*[a-f0-9]+:[ 	]*62 62 95 00 b5 b2 00 08 00 00[ 	]*vpmadd52huq 0x800\(%rdx\),%xmm29,%xmm30
104 [ 	]*[a-f0-9]+:[ 	]*62 62 95 00 b5 72 80[ 	]*vpmadd52huq -0x800\(%rdx\),%xmm29,%xmm30
105 [ 	]*[a-f0-9]+:[ 	]*62 62 95 00 b5 b2 f0 f7 ff ff[ 	]*vpmadd52huq -0x810\(%rdx\),%xmm29,%xmm30
106 [ 	]*[a-f0-9]+:[ 	]*62 62 95 10 b5 72 7f[ 	]*vpmadd52huq 0x3f8\(%rdx\)\{1to2\},%xmm29,%xmm30
107 [ 	]*[a-f0-9]+:[ 	]*62 62 95 10 b5 b2 00 04 00 00[ 	]*vpmadd52huq 0x400\(%rdx\)\{1to2\},%xmm29,%xmm30
108 [ 	]*[a-f0-9]+:[ 	]*62 62 95 10 b5 72 80[ 	]*vpmadd52huq -0x400\(%rdx\)\{1to2\},%xmm29,%xmm30
109 [ 	]*[a-f0-9]+:[ 	]*62 62 95 10 b5 b2 f8 fb ff ff[ 	]*vpmadd52huq -0x408\(%rdx\)\{1to2\},%xmm29,%xmm30
110 [ 	]*[a-f0-9]+:[ 	]*62 02 95 20 b5 f4[ 	]*vpmadd52huq %ymm28,%ymm29,%ymm30
111 [ 	]*[a-f0-9]+:[ 	]*62 02 95 27 b5 f4[ 	]*vpmadd52huq %ymm28,%ymm29,%ymm30\{%k7\}
112 [ 	]*[a-f0-9]+:[ 	]*62 02 95 a7 b5 f4[ 	]*vpmadd52huq %ymm28,%ymm29,%ymm30\{%k7\}\{z\}
113 [ 	]*[a-f0-9]+:[ 	]*62 62 95 20 b5 31[ 	]*vpmadd52huq \(%rcx\),%ymm29,%ymm30
114 [ 	]*[a-f0-9]+:[ 	]*62 22 95 20 b5 b4 f0 34 12 00 00[ 	]*vpmadd52huq 0x1234\(%rax,%r14,8\),%ymm29,%ymm30
115 [ 	]*[a-f0-9]+:[ 	]*62 62 95 30 b5 31[ 	]*vpmadd52huq \(%rcx\)\{1to4\},%ymm29,%ymm30
116 [ 	]*[a-f0-9]+:[ 	]*62 62 95 20 b5 72 7f[ 	]*vpmadd52huq 0xfe0\(%rdx\),%ymm29,%ymm30
117 [ 	]*[a-f0-9]+:[ 	]*62 62 95 20 b5 b2 00 10 00 00[ 	]*vpmadd52huq 0x1000\(%rdx\),%ymm29,%ymm30
118 [ 	]*[a-f0-9]+:[ 	]*62 62 95 20 b5 72 80[ 	]*vpmadd52huq -0x1000\(%rdx\),%ymm29,%ymm30
119 [ 	]*[a-f0-9]+:[ 	]*62 62 95 20 b5 b2 e0 ef ff ff[ 	]*vpmadd52huq -0x1020\(%rdx\),%ymm29,%ymm30
120 [ 	]*[a-f0-9]+:[ 	]*62 62 95 30 b5 72 7f[ 	]*vpmadd52huq 0x3f8\(%rdx\)\{1to4\},%ymm29,%ymm30
121 [ 	]*[a-f0-9]+:[ 	]*62 62 95 30 b5 b2 00 04 00 00[ 	]*vpmadd52huq 0x400\(%rdx\)\{1to4\},%ymm29,%ymm30
122 [ 	]*[a-f0-9]+:[ 	]*62 62 95 30 b5 72 80[ 	]*vpmadd52huq -0x400\(%rdx\)\{1to4\},%ymm29,%ymm30
123 [ 	]*[a-f0-9]+:[ 	]*62 62 95 30 b5 b2 f8 fb ff ff[ 	]*vpmadd52huq -0x408\(%rdx\)\{1to4\},%ymm29,%ymm30
124 #pass
125