1# Check 64bit AVX512F,VAES instructions
2
3	.allow_index_reg
4	.text
5_start:
6	vaesdec	%zmm28, %zmm29, %zmm30	 # AVX512F,VAES
7	vaesdec	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512F,VAES
8	vaesdec	8128(%rdx), %zmm5, %zmm6	 # AVX512F,VAES Disp8
9	vaesdeclast	%zmm28, %zmm29, %zmm30	 # AVX512F,VAES
10	vaesdeclast	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512F,VAES
11	vaesdeclast	8128(%rdx), %zmm5, %zmm6	 # AVX512F,VAES Disp8
12	vaesenc	%zmm28, %zmm29, %zmm30	 # AVX512F,VAES
13	vaesenc	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512F,VAES
14	vaesenc	8128(%rdx), %zmm5, %zmm6	 # AVX512F,VAES Disp8
15	vaesenclast	%zmm28, %zmm29, %zmm30	 # AVX512F,VAES
16	vaesenclast	0x123(%rax,%r14,8), %zmm29, %zmm30	 # AVX512F,VAES
17	vaesenclast	8128(%rdx), %zmm5, %zmm6	 # AVX512F,VAES Disp8
18
19	.intel_syntax noprefix
20	vaesdec	zmm30, zmm29, zmm28	 # AVX512F,VAES
21	vaesdec	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512F,VAES
22	vaesdec	zmm6, zmm5, ZMMWORD PTR [rdx+8128]	 # AVX512F,VAES Disp8
23	vaesdeclast	zmm30, zmm29, zmm28	 # AVX512F,VAES
24	vaesdeclast	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512F,VAES
25	vaesdeclast	zmm6, zmm5, ZMMWORD PTR [rdx+8128]	 # AVX512F,VAES Disp8
26	vaesenc	zmm30, zmm29, zmm28	 # AVX512F,VAES
27	vaesenc	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512F,VAES
28	vaesenc	zmm6, zmm5, ZMMWORD PTR [rdx+8128]	 # AVX512F,VAES Disp8
29	vaesenclast	zmm30, zmm29, zmm28	 # AVX512F,VAES
30	vaesenclast	zmm30, zmm29, ZMMWORD PTR [rax+r14*8+0x1234]	 # AVX512F,VAES
31	vaesenclast	zmm6, zmm5, ZMMWORD PTR [rdx+8128]	 # AVX512F,VAES Disp8
32