1# Check 64bit AVX512PF instructions
2
3	.allow_index_reg
4	.text
5_start:
6
7	prefetchwt1	(%rcx)	 # AVX512PF
8	prefetchwt1	0x123(%rax,%r14,8)	 # AVX512PF
9
10	.intel_syntax noprefix
11
12	prefetchwt1	BYTE PTR [rcx]	 # AVX512PF
13	prefetchwt1	BYTE PTR [rax+r14*8+0x1234]	 # AVX512PF
14