1 #as:
2 #objdump: -dw
3 #name: x86-64 BF16 VL insns
4 #source: x86-64-avx512_bf16_vl.s
5 
6 .*: +file format .*
7 
8 
9 Disassembly of section .text:
10 
11 0+ <_start>:
12 [ 	]*[a-f0-9]+:	62 02 17 20 72 f4    	vcvtne2ps2bf16 %ymm28,%ymm29,%ymm30
13 [ 	]*[a-f0-9]+:	62 02 17 00 72 f4    	vcvtne2ps2bf16 %xmm28,%xmm29,%xmm30
14 [ 	]*[a-f0-9]+:	62 22 17 27 72 b4 f5 00 00 00 10 	vcvtne2ps2bf16 0x10000000\(%rbp,%r14,8\),%ymm29,%ymm30\{%k7\}
15 [ 	]*[a-f0-9]+:	62 42 17 30 72 31    	vcvtne2ps2bf16 \(%r9\)\{1to8\},%ymm29,%ymm30
16 [ 	]*[a-f0-9]+:	62 62 17 20 72 71 7f 	vcvtne2ps2bf16 0xfe0\(%rcx\),%ymm29,%ymm30
17 [ 	]*[a-f0-9]+:	62 62 17 b7 72 b2 00 f0 ff ff 	vcvtne2ps2bf16 -0x1000\(%rdx\)\{1to8\},%ymm29,%ymm30\{%k7\}\{z\}
18 [ 	]*[a-f0-9]+:	62 22 17 07 72 b4 f5 00 00 00 10 	vcvtne2ps2bf16 0x10000000\(%rbp,%r14,8\),%xmm29,%xmm30\{%k7\}
19 [ 	]*[a-f0-9]+:	62 42 17 10 72 31    	vcvtne2ps2bf16 \(%r9\)\{1to4\},%xmm29,%xmm30
20 [ 	]*[a-f0-9]+:	62 62 17 00 72 71 7f 	vcvtne2ps2bf16 0x7f0\(%rcx\),%xmm29,%xmm30
21 [ 	]*[a-f0-9]+:	62 62 17 97 72 a2 00 f8 ff ff 	vcvtne2ps2bf16 -0x800\(%rdx\)\{1to4\},%xmm29,%xmm28\{%k7\}\{z\}
22 [ 	]*[a-f0-9]+:	62 02 7e 08 72 f5    	vcvtneps2bf16 %xmm29,%xmm30
23 [ 	]*[a-f0-9]+:	62 02 7e 28 72 f5    	vcvtneps2bf16 %ymm29,%xmm30
24 [ 	]*[a-f0-9]+:	62 22 7e 0f 72 b4 f5 00 00 00 10 	vcvtneps2bf16x 0x10000000\(%rbp,%r14,8\),%xmm30\{%k7\}
25 [ 	]*[a-f0-9]+:	62 c2 7e 18 72 29    	vcvtneps2bf16 \(%r9\)\{1to4\},%xmm21
26 [ 	]*[a-f0-9]+:	62 f2 7e 18 72 09    	vcvtneps2bf16 \(%rcx\)\{1to4\},%xmm1
27 [ 	]*[a-f0-9]+:	62 62 7e 08 72 71 7f 	vcvtneps2bf16x 0x7f0\(%rcx\),%xmm30
28 [ 	]*[a-f0-9]+:	62 62 7e 9f 72 aa 00 f8 ff ff 	vcvtneps2bf16 -0x800\(%rdx\)\{1to4\},%xmm29\{%k7\}\{z\}
29 [ 	]*[a-f0-9]+:	62 c2 7e 38 72 31    	vcvtneps2bf16 \(%r9\)\{1to8\},%xmm22
30 [ 	]*[a-f0-9]+:	62 f2 7e 38 72 11    	vcvtneps2bf16 \(%rcx\)\{1to8\},%xmm2
31 [ 	]*[a-f0-9]+:	62 e2 7e 28 72 79 7f 	vcvtneps2bf16y 0xfe0\(%rcx\),%xmm23
32 [ 	]*[a-f0-9]+:	62 62 7e bf 72 9a 00 f0 ff ff 	vcvtneps2bf16 -0x1000\(%rdx\)\{1to8\},%xmm27\{%k7\}\{z\}
33 [ 	]*[a-f0-9]+:	62 02 16 20 52 f4    	vdpbf16ps %ymm28,%ymm29,%ymm30
34 [ 	]*[a-f0-9]+:	62 02 16 00 52 f4    	vdpbf16ps %xmm28,%xmm29,%xmm30
35 [ 	]*[a-f0-9]+:	62 22 16 27 52 b4 f5 00 00 00 10 	vdpbf16ps 0x10000000\(%rbp,%r14,8\),%ymm29,%ymm30\{%k7\}
36 [ 	]*[a-f0-9]+:	62 42 16 30 52 31    	vdpbf16ps \(%r9\)\{1to8\},%ymm29,%ymm30
37 [ 	]*[a-f0-9]+:	62 62 16 20 52 71 7f 	vdpbf16ps 0xfe0\(%rcx\),%ymm29,%ymm30
38 [ 	]*[a-f0-9]+:	62 62 16 b7 52 b2 00 f0 ff ff 	vdpbf16ps -0x1000\(%rdx\)\{1to8\},%ymm29,%ymm30\{%k7\}\{z\}
39 [ 	]*[a-f0-9]+:	62 22 16 07 52 b4 f5 00 00 00 10 	vdpbf16ps 0x10000000\(%rbp,%r14,8\),%xmm29,%xmm30\{%k7\}
40 [ 	]*[a-f0-9]+:	62 42 16 10 52 31    	vdpbf16ps \(%r9\)\{1to4\},%xmm29,%xmm30
41 [ 	]*[a-f0-9]+:	62 62 16 00 52 71 7f 	vdpbf16ps 0x7f0\(%rcx\),%xmm29,%xmm30
42 [ 	]*[a-f0-9]+:	62 62 16 97 52 b2 00 f8 ff ff 	vdpbf16ps -0x800\(%rdx\)\{1to4\},%xmm29,%xmm30\{%k7\}\{z\}
43 [ 	]*[a-f0-9]+:	62 02 17 20 72 f4    	vcvtne2ps2bf16 %ymm28,%ymm29,%ymm30
44 [ 	]*[a-f0-9]+:	62 02 17 00 72 f4    	vcvtne2ps2bf16 %xmm28,%xmm29,%xmm30
45 [ 	]*[a-f0-9]+:	62 22 17 27 72 b4 f5 00 00 00 10 	vcvtne2ps2bf16 0x10000000\(%rbp,%r14,8\),%ymm29,%ymm30\{%k7\}
46 [ 	]*[a-f0-9]+:	62 42 17 30 72 31    	vcvtne2ps2bf16 \(%r9\)\{1to8\},%ymm29,%ymm30
47 [ 	]*[a-f0-9]+:	62 62 17 20 72 71 7f 	vcvtne2ps2bf16 0xfe0\(%rcx\),%ymm29,%ymm30
48 [ 	]*[a-f0-9]+:	62 62 17 b7 72 b2 00 f0 ff ff 	vcvtne2ps2bf16 -0x1000\(%rdx\)\{1to8\},%ymm29,%ymm30\{%k7\}\{z\}
49 [ 	]*[a-f0-9]+:	62 22 17 07 72 b4 f5 00 00 00 10 	vcvtne2ps2bf16 0x10000000\(%rbp,%r14,8\),%xmm29,%xmm30\{%k7\}
50 [ 	]*[a-f0-9]+:	62 42 17 10 72 31    	vcvtne2ps2bf16 \(%r9\)\{1to4\},%xmm29,%xmm30
51 [ 	]*[a-f0-9]+:	62 62 17 00 72 71 7f 	vcvtne2ps2bf16 0x7f0\(%rcx\),%xmm29,%xmm30
52 [ 	]*[a-f0-9]+:	62 62 17 97 72 b2 00 f8 ff ff 	vcvtne2ps2bf16 -0x800\(%rdx\)\{1to4\},%xmm29,%xmm30\{%k7\}\{z\}
53 [ 	]*[a-f0-9]+:	62 02 7e 08 72 f5    	vcvtneps2bf16 %xmm29,%xmm30
54 [ 	]*[a-f0-9]+:	62 02 7e 28 72 f5    	vcvtneps2bf16 %ymm29,%xmm30
55 [ 	]*[a-f0-9]+:	62 22 7e 0f 72 b4 f5 00 00 00 10 	vcvtneps2bf16x 0x10000000\(%rbp,%r14,8\),%xmm30\{%k7\}
56 [ 	]*[a-f0-9]+:	62 f2 7e 18 72 29    	vcvtneps2bf16 \(%rcx\)\{1to4\},%xmm5
57 [ 	]*[a-f0-9]+:	62 42 7e 18 72 09    	vcvtneps2bf16 \(%r9\)\{1to4\},%xmm25
58 [ 	]*[a-f0-9]+:	62 62 7e 08 72 71 7f 	vcvtneps2bf16x 0x7f0\(%rcx\),%xmm30
59 [ 	]*[a-f0-9]+:	62 62 7e 9f 72 b2 00 f8 ff ff 	vcvtneps2bf16 -0x800\(%rdx\)\{1to4\},%xmm30\{%k7\}\{z\}
60 [ 	]*[a-f0-9]+:	62 f2 7e 38 72 21    	vcvtneps2bf16 \(%rcx\)\{1to8\},%xmm4
61 [ 	]*[a-f0-9]+:	62 42 7e 38 72 01    	vcvtneps2bf16 \(%r9\)\{1to8\},%xmm24
62 [ 	]*[a-f0-9]+:	62 62 7e 28 72 71 7f 	vcvtneps2bf16y 0xfe0\(%rcx\),%xmm30
63 [ 	]*[a-f0-9]+:	62 62 7e bf 72 b2 00 f0 ff ff 	vcvtneps2bf16 -0x1000\(%rdx\)\{1to8\},%xmm30\{%k7\}\{z\}
64 [ 	]*[a-f0-9]+:	62 02 16 20 52 f4    	vdpbf16ps %ymm28,%ymm29,%ymm30
65 [ 	]*[a-f0-9]+:	62 02 16 00 52 f4    	vdpbf16ps %xmm28,%xmm29,%xmm30
66 [ 	]*[a-f0-9]+:	62 22 16 27 52 b4 f5 00 00 00 10 	vdpbf16ps 0x10000000\(%rbp,%r14,8\),%ymm29,%ymm30\{%k7\}
67 [ 	]*[a-f0-9]+:	62 42 16 30 52 31    	vdpbf16ps \(%r9\)\{1to8\},%ymm29,%ymm30
68 [ 	]*[a-f0-9]+:	62 62 16 20 52 71 7f 	vdpbf16ps 0xfe0\(%rcx\),%ymm29,%ymm30
69 [ 	]*[a-f0-9]+:	62 62 16 b7 52 b2 00 f0 ff ff 	vdpbf16ps -0x1000\(%rdx\)\{1to8\},%ymm29,%ymm30\{%k7\}\{z\}
70 [ 	]*[a-f0-9]+:	62 22 16 07 52 b4 f5 00 00 00 10 	vdpbf16ps 0x10000000\(%rbp,%r14,8\),%xmm29,%xmm30\{%k7\}
71 [ 	]*[a-f0-9]+:	62 42 16 10 52 31    	vdpbf16ps \(%r9\)\{1to4\},%xmm29,%xmm30
72 [ 	]*[a-f0-9]+:	62 62 16 00 52 71 7f 	vdpbf16ps 0x7f0\(%rcx\),%xmm29,%xmm30
73 [ 	]*[a-f0-9]+:	62 62 16 97 52 b2 00 f8 ff ff 	vdpbf16ps -0x800\(%rdx\)\{1to4\},%xmm29,%xmm30\{%k7\}\{z\}
74 #pass
75