1# Check 64bit AVX512_4FMAPS instructions
2
3	.allow_index_reg
4	.text
5_start:
6	v4fmaddps	(%rcx), %zmm8, %zmm1	 # AVX512_4FMAPS
7	v4fmaddps	(%rcx), %zmm8, %zmm1{%k7}	 # AVX512_4FMAPS
8	v4fmaddps	(%rcx), %zmm8, %zmm1{%k7}{z}	 # AVX512_4FMAPS
9	v4fmaddps	-123456(%rax,%r14,8), %zmm8, %zmm1	 # AVX512_4FMAPS
10	v4fmaddps	0x7f0(%rdx), %zmm8, %zmm1	 # AVX512_4FMAPS Disp8
11	v4fmaddps	0x800(%rdx), %zmm8, %zmm1	 # AVX512_4FMAPS
12	v4fmaddps	-0x800(%rdx), %zmm8, %zmm1	 # AVX512_4FMAPS Disp8
13	v4fmaddps	-0x810(%rdx), %zmm8, %zmm1	 # AVX512_4FMAPS
14	v4fnmaddps	(%rcx), %zmm8, %zmm1	 # AVX512_4FMAPS
15	v4fnmaddps	(%rcx), %zmm8, %zmm1{%k7}	 # AVX512_4FMAPS
16	v4fnmaddps	(%rcx), %zmm8, %zmm1{%k7}{z}	 # AVX512_4FMAPS
17	v4fnmaddps	-123456(%rax,%r14,8), %zmm8, %zmm1	 # AVX512_4FMAPS
18	v4fnmaddps	0x7f0(%rdx), %zmm8, %zmm1	 # AVX512_4FMAPS Disp8
19	v4fnmaddps	0x800(%rdx), %zmm8, %zmm1	 # AVX512_4FMAPS
20	v4fnmaddps	-0x800(%rdx), %zmm8, %zmm1	 # AVX512_4FMAPS Disp8
21	v4fnmaddps	-0x810(%rdx), %zmm8, %zmm1	 # AVX512_4FMAPS
22	v4fmaddss	(%rcx), %xmm8, %xmm1	 # AVX512_4FMAPS
23	v4fmaddss	(%rcx), %xmm8, %xmm1{%k7}	 # AVX512_4FMAPS
24	v4fmaddss	(%rcx), %xmm8, %xmm1{%k7}{z}	 # AVX512_4FMAPS
25	v4fmaddss	-123456(%rax,%r14,8), %xmm8, %xmm1	 # AVX512_4FMAPS
26	v4fmaddss	0x7f0(%rdx), %xmm8, %xmm1	 # AVX512_4FMAPS Disp8
27	v4fmaddss	0x800(%rdx), %xmm8, %xmm1	 # AVX512_4FMAPS
28	v4fmaddss	-0x800(%rdx), %xmm8, %xmm1	 # AVX512_4FMAPS Disp8
29	v4fmaddss	-0x810(%rdx), %xmm8, %xmm1	 # AVX512_4FMAPS
30	v4fnmaddss	(%rcx), %xmm8, %xmm1	 # AVX512_4FMAPS
31	v4fnmaddss	(%rcx), %xmm8, %xmm1{%k7}	 # AVX512_4FMAPS
32	v4fnmaddss	(%rcx), %xmm8, %xmm1{%k7}{z}	 # AVX512_4FMAPS
33	v4fnmaddss	-123456(%rax,%r14,8), %xmm8, %xmm1	 # AVX512_4FMAPS
34	v4fnmaddss	0x7f0(%rdx), %xmm8, %xmm1	 # AVX512_4FMAPS Disp8
35	v4fnmaddss	0x800(%rdx), %xmm8, %xmm1	 # AVX512_4FMAPS
36	v4fnmaddss	-0x800(%rdx), %xmm8, %xmm1	 # AVX512_4FMAPS Disp8
37	v4fnmaddss	-0x810(%rdx), %xmm8, %xmm1	 # AVX512_4FMAPS
38
39	.intel_syntax noprefix
40	v4fmaddps	zmm1, zmm8, [rcx]	 # AVX512_4FMAPS
41	v4fmaddps	zmm1, zmm8, XMMWORD PTR [rcx]	 # AVX512_4FMAPS
42	v4fmaddps	zmm1{k7}, zmm8, XMMWORD PTR [rcx]	 # AVX512_4FMAPS
43	v4fmaddps	zmm1{k7}{z}, zmm8, XMMWORD PTR [rcx]	 # AVX512_4FMAPS
44	v4fmaddps	zmm1, zmm8, XMMWORD PTR [rax+r14*8-123456]	 # AVX512_4FMAPS
45	v4fmaddps	zmm1, zmm8, XMMWORD PTR [rdx+0x7f0]	 # AVX512_4FMAPS Disp8
46	v4fmaddps	zmm1, zmm8, XMMWORD PTR [rdx+0x800]	 # AVX512_4FMAPS
47	v4fmaddps	zmm1, zmm8, XMMWORD PTR [rdx-0x800]	 # AVX512_4FMAPS Disp8
48	v4fmaddps	zmm1, zmm8, XMMWORD PTR [rdx-0x810]	 # AVX512_4FMAPS
49	v4fnmaddps	zmm1, zmm8, [rcx]	 # AVX512_4FMAPS
50	v4fnmaddps	zmm1, zmm8, XMMWORD PTR [rcx]	 # AVX512_4FMAPS
51	v4fnmaddps	zmm1{k7}, zmm8, XMMWORD PTR [rcx]	 # AVX512_4FMAPS
52	v4fnmaddps	zmm1{k7}{z}, zmm8, XMMWORD PTR [rcx]	 # AVX512_4FMAPS
53	v4fnmaddps	zmm1, zmm8, XMMWORD PTR [rax+r14*8-123456]	 # AVX512_4FMAPS
54	v4fnmaddps	zmm1, zmm8, XMMWORD PTR [rdx+0x7f0]	 # AVX512_4FMAPS Disp8
55	v4fnmaddps	zmm1, zmm8, XMMWORD PTR [rdx+0x800]	 # AVX512_4FMAPS
56	v4fnmaddps	zmm1, zmm8, XMMWORD PTR [rdx-0x800]	 # AVX512_4FMAPS Disp8
57	v4fnmaddps	zmm1, zmm8, XMMWORD PTR [rdx-0x810]	 # AVX512_4FMAPS
58	v4fmaddss	xmm1, xmm8, [rcx]	 # AVX512_4FMAPS
59	v4fmaddss	xmm1, xmm8, XMMWORD PTR [rcx]	 # AVX512_4FMAPS
60	v4fmaddss	xmm1{k7}, xmm8, XMMWORD PTR [rcx]	 # AVX512_4FMAPS
61	v4fmaddss	xmm1{k7}{z}, xmm8, XMMWORD PTR [rcx]	 # AVX512_4FMAPS
62	v4fmaddss	xmm1, xmm8, XMMWORD PTR [rax+r14*8-123456]	 # AVX512_4FMAPS
63	v4fmaddss	xmm1, xmm8, XMMWORD PTR [rdx+0x7f0]	 # AVX512_4FMAPS Disp8
64	v4fmaddss	xmm1, xmm8, XMMWORD PTR [rdx+0x800]	 # AVX512_4FMAPS
65	v4fmaddss	xmm1, xmm8, XMMWORD PTR [rdx-0x800]	 # AVX512_4FMAPS Disp8
66	v4fmaddss	xmm1, xmm8, XMMWORD PTR [rdx-0x810]	 # AVX512_4FMAPS
67	v4fnmaddss	xmm1, xmm8, [rcx]	 # AVX512_4FMAPS
68	v4fnmaddss	xmm1, xmm8, XMMWORD PTR [rcx]	 # AVX512_4FMAPS
69	v4fnmaddss	xmm1{k7}, xmm8, XMMWORD PTR [rcx]	 # AVX512_4FMAPS
70	v4fnmaddss	xmm1{k7}{z}, xmm8, XMMWORD PTR [rcx]	 # AVX512_4FMAPS
71	v4fnmaddss	xmm1, xmm8, XMMWORD PTR [rax+r14*8-123456]	 # AVX512_4FMAPS
72	v4fnmaddss	xmm1, xmm8, XMMWORD PTR [rdx+0x7f0]	 # AVX512_4FMAPS Disp8
73	v4fnmaddss	xmm1, xmm8, XMMWORD PTR [rdx+0x800]	 # AVX512_4FMAPS
74	v4fnmaddss	xmm1, xmm8, XMMWORD PTR [rdx-0x800]	 # AVX512_4FMAPS Disp8
75	v4fnmaddss	xmm1, xmm8, XMMWORD PTR [rdx-0x810]	 # AVX512_4FMAPS
76