1# Check 64bit AVX512VL,VAES instructions
2
3	.allow_index_reg
4	.text
5_start:
6	vaesdec	%xmm28, %xmm29, %xmm30	 # AVX512VL,VAES
7	vaesdec	0x123(%rax,%r14,8), %xmm29, %xmm30	 # AVX512VL,VAES
8	vaesdec	2032(%rdx), %xmm29, %xmm30	 # AVX512VL,VAES Disp8
9	vaesdec	%ymm28, %ymm29, %ymm30	 # AVX512VL,VAES
10	vaesdec	(%rcx), %ymm29, %ymm30	 # AVX512VL,VAES
11	vaesdec	0x123(%rax,%r14,8), %ymm29, %ymm30	 # AVX512VL,VAES
12	vaesdec	4064(%rdx), %ymm29, %ymm30	 # AVX512VL,VAES Disp8
13	vaesdeclast	%xmm28, %xmm29, %xmm30	 # AVX512VL,VAES
14	vaesdeclast	0x123(%rax,%r14,8), %xmm29, %xmm30	 # AVX512VL,VAES
15	vaesdeclast	2032(%rdx), %xmm29, %xmm30	 # AVX512VL,VAES Disp8
16	vaesdeclast	%ymm28, %ymm29, %ymm30	 # AVX512VL,VAES
17	vaesdeclast	0x123(%rax,%r14,8), %ymm29, %ymm30	 # AVX512VL,VAES
18	vaesdeclast	4064(%rdx), %ymm29, %ymm30	 # AVX512VL,VAES Disp8
19	vaesenc	%xmm28, %xmm29, %xmm30	 # AVX512VL,VAES
20	vaesenc	0x123(%rax,%r14,8), %xmm29, %xmm30	 # AVX512VL,VAES
21	vaesenc	2032(%rdx), %xmm29, %xmm30	 # AVX512VL,VAES Disp8
22	vaesenc	%ymm28, %ymm29, %ymm30	 # AVX512VL,VAES
23	vaesenc	0x123(%rax,%r14,8), %ymm29, %ymm30	 # AVX512VL,VAES
24	vaesenc	4064(%rdx), %ymm29, %ymm30	 # AVX512VL,VAES Disp8
25	vaesenclast	%xmm28, %xmm29, %xmm30	 # AVX512VL,VAES
26	vaesenclast	0x123(%rax,%r14,8), %xmm29, %xmm30	 # AVX512VL,VAES
27	vaesenclast	2032(%rdx), %xmm29, %xmm30	 # AVX512VL,VAES Disp8
28	vaesenclast	%ymm28, %ymm29, %ymm30	 # AVX512VL,VAES
29	vaesenclast	0x123(%rax,%r14,8), %ymm29, %ymm30	 # AVX512VL,VAES
30	vaesenclast	4064(%rdx), %ymm29, %ymm30	 # AVX512VL,VAES Disp8
31
32	.intel_syntax noprefix
33	vaesdec	xmm30, xmm29, xmm28	 # AVX512VL,VAES
34	vaesdec	xmm30, xmm29, XMMWORD PTR [rax+r14*8+0x1234]	 # AVX512VL,VAES
35	vaesdec	xmm30, xmm29, XMMWORD PTR [rdx+2032]	 # AVX512VL,VAES Disp8
36	vaesdec	ymm30, ymm29, ymm28	 # AVX512VL,VAES
37	vaesdec	ymm30, ymm29, YMMWORD PTR [rax+r14*8+0x1234]	 # AVX512VL,VAES
38	vaesdec	ymm30, ymm29, YMMWORD PTR [rdx+4064]	 # AVX512VL,VAES Disp8
39	vaesdeclast	xmm30, xmm29, xmm28	 # AVX512VL,VAES
40	vaesdeclast	xmm30, xmm29, XMMWORD PTR [rax+r14*8+0x1234]	 # AVX512VL,VAES
41	vaesdeclast	xmm30, xmm29, XMMWORD PTR [rdx+2032]	 # AVX512VL,VAES Disp8
42	vaesdeclast	ymm30, ymm29, ymm28	 # AVX512VL,VAES
43	vaesdeclast	ymm30, ymm29, YMMWORD PTR [rax+r14*8+0x1234]	 # AVX512VL,VAES
44	vaesdeclast	ymm30, ymm29, YMMWORD PTR [rdx+4064]	 # AVX512VL,VAES Disp8
45	vaesenc	xmm30, xmm29, xmm28	 # AVX512VL,VAES
46	vaesenc	xmm30, xmm29, XMMWORD PTR [rax+r14*8+0x1234]	 # AVX512VL,VAES
47	vaesenc	xmm30, xmm29, XMMWORD PTR [rdx+2032]	 # AVX512VL,VAES Disp8
48	vaesenc	ymm30, ymm29, ymm28	 # AVX512VL,VAES
49	vaesenc	ymm30, ymm29, YMMWORD PTR [rax+r14*8+0x1234]	 # AVX512VL,VAES
50	vaesenc	ymm30, ymm29, YMMWORD PTR [rdx+4064]	 # AVX512VL,VAES Disp8
51	vaesenclast	xmm30, xmm29, xmm28	 # AVX512VL,VAES
52	vaesenclast	xmm30, xmm29, XMMWORD PTR [rax+r14*8+0x1234]	 # AVX512VL,VAES
53	vaesenclast	xmm30, xmm29, XMMWORD PTR [rdx+2032]	 # AVX512VL,VAES Disp8
54	vaesenclast	ymm30, ymm29, ymm28	 # AVX512VL,VAES
55	vaesenclast	ymm30, ymm29, YMMWORD PTR [rax+r14*8+0x1234]	 # AVX512VL,VAES
56	vaesenclast	ymm30, ymm29, YMMWORD PTR [rdx+4064]	 # AVX512VL,VAES Disp8
57