# Check 64bit AVX512PF instructions

	.allow_index_reg
	.text
_start:

	vgatherpf0dpd	123(%r14,%ymm31,8){%k1}	 # AVX512PF
	vgatherpf0dpd	123(%r14,%ymm31,8){%k1}	 # AVX512PF
	vgatherpf0dpd	256(%r9,%ymm31){%k1}	 # AVX512PF
	vgatherpf0dpd	1024(%rcx,%ymm31,4){%k1}	 # AVX512PF

	vgatherpf0dps	123(%r14,%zmm31,8){%k1}	 # AVX512PF
	vgatherpf0dps	123(%r14,%zmm31,8){%k1}	 # AVX512PF
	vgatherpf0dps	256(%r9,%zmm31){%k1}	 # AVX512PF
	vgatherpf0dps	1024(%rcx,%zmm31,4){%k1}	 # AVX512PF

	vgatherpf0qpd	123(%r14,%zmm31,8){%k1}	 # AVX512PF
	vgatherpf0qpd	123(%r14,%zmm31,8){%k1}	 # AVX512PF
	vgatherpf0qpd	256(%r9,%zmm31){%k1}	 # AVX512PF
	vgatherpf0qpd	1024(%rcx,%zmm31,4){%k1}	 # AVX512PF

	vgatherpf0qps	123(%r14,%zmm31,8){%k1}	 # AVX512PF
	vgatherpf0qps	123(%r14,%zmm31,8){%k1}	 # AVX512PF
	vgatherpf0qps	256(%r9,%zmm31){%k1}	 # AVX512PF
	vgatherpf0qps	1024(%rcx,%zmm31,4){%k1}	 # AVX512PF

	vgatherpf1dpd	123(%r14,%ymm31,8){%k1}	 # AVX512PF
	vgatherpf1dpd	123(%r14,%ymm31,8){%k1}	 # AVX512PF
	vgatherpf1dpd	256(%r9,%ymm31){%k1}	 # AVX512PF
	vgatherpf1dpd	1024(%rcx,%ymm31,4){%k1}	 # AVX512PF

	vgatherpf1dps	123(%r14,%zmm31,8){%k1}	 # AVX512PF
	vgatherpf1dps	123(%r14,%zmm31,8){%k1}	 # AVX512PF
	vgatherpf1dps	256(%r9,%zmm31){%k1}	 # AVX512PF
	vgatherpf1dps	1024(%rcx,%zmm31,4){%k1}	 # AVX512PF

	vgatherpf1qpd	123(%r14,%zmm31,8){%k1}	 # AVX512PF
	vgatherpf1qpd	123(%r14,%zmm31,8){%k1}	 # AVX512PF
	vgatherpf1qpd	256(%r9,%zmm31){%k1}	 # AVX512PF
	vgatherpf1qpd	1024(%rcx,%zmm31,4){%k1}	 # AVX512PF

	vgatherpf1qps	123(%r14,%zmm31,8){%k1}	 # AVX512PF
	vgatherpf1qps	123(%r14,%zmm31,8){%k1}	 # AVX512PF
	vgatherpf1qps	256(%r9,%zmm31){%k1}	 # AVX512PF
	vgatherpf1qps	1024(%rcx,%zmm31,4){%k1}	 # AVX512PF

	vscatterpf0dpd	123(%r14,%ymm31,8){%k1}	 # AVX512PF
	vscatterpf0dpd	123(%r14,%ymm31,8){%k1}	 # AVX512PF
	vscatterpf0dpd	256(%r9,%ymm31){%k1}	 # AVX512PF
	vscatterpf0dpd	1024(%rcx,%ymm31,4){%k1}	 # AVX512PF

	vscatterpf0dps	123(%r14,%zmm31,8){%k1}	 # AVX512PF
	vscatterpf0dps	123(%r14,%zmm31,8){%k1}	 # AVX512PF
	vscatterpf0dps	256(%r9,%zmm31){%k1}	 # AVX512PF
	vscatterpf0dps	1024(%rcx,%zmm31,4){%k1}	 # AVX512PF

	vscatterpf0qpd	123(%r14,%zmm31,8){%k1}	 # AVX512PF
	vscatterpf0qpd	123(%r14,%zmm31,8){%k1}	 # AVX512PF
	vscatterpf0qpd	256(%r9,%zmm31){%k1}	 # AVX512PF
	vscatterpf0qpd	1024(%rcx,%zmm31,4){%k1}	 # AVX512PF

	vscatterpf0qps	123(%r14,%zmm31,8){%k1}	 # AVX512PF
	vscatterpf0qps	123(%r14,%zmm31,8){%k1}	 # AVX512PF
	vscatterpf0qps	256(%r9,%zmm31){%k1}	 # AVX512PF
	vscatterpf0qps	1024(%rcx,%zmm31,4){%k1}	 # AVX512PF

	vscatterpf1dpd	123(%r14,%ymm31,8){%k1}	 # AVX512PF
	vscatterpf1dpd	123(%r14,%ymm31,8){%k1}	 # AVX512PF
	vscatterpf1dpd	256(%r9,%ymm31){%k1}	 # AVX512PF
	vscatterpf1dpd	1024(%rcx,%ymm31,4){%k1}	 # AVX512PF

	vscatterpf1dps	123(%r14,%zmm31,8){%k1}	 # AVX512PF
	vscatterpf1dps	123(%r14,%zmm31,8){%k1}	 # AVX512PF
	vscatterpf1dps	256(%r9,%zmm31){%k1}	 # AVX512PF
	vscatterpf1dps	1024(%rcx,%zmm31,4){%k1}	 # AVX512PF

	vscatterpf1qpd	123(%r14,%zmm31,8){%k1}	 # AVX512PF
	vscatterpf1qpd	123(%r14,%zmm31,8){%k1}	 # AVX512PF
	vscatterpf1qpd	256(%r9,%zmm31){%k1}	 # AVX512PF
	vscatterpf1qpd	1024(%rcx,%zmm31,4){%k1}	 # AVX512PF

	vscatterpf1qps	123(%r14,%zmm31,8){%k1}	 # AVX512PF
	vscatterpf1qps	123(%r14,%zmm31,8){%k1}	 # AVX512PF
	vscatterpf1qps	256(%r9,%zmm31){%k1}	 # AVX512PF
	vscatterpf1qps	1024(%rcx,%zmm31,4){%k1}	 # AVX512PF

	prefetchwt1	(%rcx)	 # AVX512PF
	prefetchwt1	0x123(%rax,%r14,8)	 # AVX512PF

	.intel_syntax noprefix
	vgatherpf0dpd	ZMMWORD PTR [r14+ymm31*8-123]{k1}	 # AVX512PF
	vgatherpf0dpd	ZMMWORD PTR [r14+ymm31*8-123]{k1}	 # AVX512PF
	vgatherpf0dpd	ZMMWORD PTR [r9+ymm31+256]{k1}	 # AVX512PF
	vgatherpf0dpd	ZMMWORD PTR [rcx+ymm31*4+1024]{k1}	 # AVX512PF

	vgatherpf0dps	ZMMWORD PTR [r14+zmm31*8-123]{k1}	 # AVX512PF
	vgatherpf0dps	ZMMWORD PTR [r14+zmm31*8-123]{k1}	 # AVX512PF
	vgatherpf0dps	ZMMWORD PTR [r9+zmm31+256]{k1}	 # AVX512PF
	vgatherpf0dps	ZMMWORD PTR [rcx+zmm31*4+1024]{k1}	 # AVX512PF

	vgatherpf0qpd	ZMMWORD PTR [r14+zmm31*8-123]{k1}	 # AVX512PF
	vgatherpf0qpd	ZMMWORD PTR [r14+zmm31*8-123]{k1}	 # AVX512PF
	vgatherpf0qpd	ZMMWORD PTR [r9+zmm31+256]{k1}	 # AVX512PF
	vgatherpf0qpd	ZMMWORD PTR [rcx+zmm31*4+1024]{k1}	 # AVX512PF

	vgatherpf0qps	ZMMWORD PTR [r14+zmm31*8-123]{k1}	 # AVX512PF
	vgatherpf0qps	ZMMWORD PTR [r14+zmm31*8-123]{k1}	 # AVX512PF
	vgatherpf0qps	ZMMWORD PTR [r9+zmm31+256]{k1}	 # AVX512PF
	vgatherpf0qps	ZMMWORD PTR [rcx+zmm31*4+1024]{k1}	 # AVX512PF

	vgatherpf1dpd	ZMMWORD PTR [r14+ymm31*8-123]{k1}	 # AVX512PF
	vgatherpf1dpd	ZMMWORD PTR [r14+ymm31*8-123]{k1}	 # AVX512PF
	vgatherpf1dpd	ZMMWORD PTR [r9+ymm31+256]{k1}	 # AVX512PF
	vgatherpf1dpd	ZMMWORD PTR [rcx+ymm31*4+1024]{k1}	 # AVX512PF

	vgatherpf1dps	ZMMWORD PTR [r14+zmm31*8-123]{k1}	 # AVX512PF
	vgatherpf1dps	ZMMWORD PTR [r14+zmm31*8-123]{k1}	 # AVX512PF
	vgatherpf1dps	ZMMWORD PTR [r9+zmm31+256]{k1}	 # AVX512PF
	vgatherpf1dps	ZMMWORD PTR [rcx+zmm31*4+1024]{k1}	 # AVX512PF

	vgatherpf1qpd	ZMMWORD PTR [r14+zmm31*8-123]{k1}	 # AVX512PF
	vgatherpf1qpd	ZMMWORD PTR [r14+zmm31*8-123]{k1}	 # AVX512PF
	vgatherpf1qpd	ZMMWORD PTR [r9+zmm31+256]{k1}	 # AVX512PF
	vgatherpf1qpd	ZMMWORD PTR [rcx+zmm31*4+1024]{k1}	 # AVX512PF

	vgatherpf1qps	ZMMWORD PTR [r14+zmm31*8-123]{k1}	 # AVX512PF
	vgatherpf1qps	ZMMWORD PTR [r14+zmm31*8-123]{k1}	 # AVX512PF
	vgatherpf1qps	ZMMWORD PTR [r9+zmm31+256]{k1}	 # AVX512PF
	vgatherpf1qps	ZMMWORD PTR [rcx+zmm31*4+1024]{k1}	 # AVX512PF

	vscatterpf0dpd	ZMMWORD PTR [r14+ymm31*8-123]{k1}	 # AVX512PF
	vscatterpf0dpd	ZMMWORD PTR [r14+ymm31*8-123]{k1}	 # AVX512PF
	vscatterpf0dpd	ZMMWORD PTR [r9+ymm31+256]{k1}	 # AVX512PF
	vscatterpf0dpd	ZMMWORD PTR [rcx+ymm31*4+1024]{k1}	 # AVX512PF

	vscatterpf0dps	ZMMWORD PTR [r14+zmm31*8-123]{k1}	 # AVX512PF
	vscatterpf0dps	ZMMWORD PTR [r14+zmm31*8-123]{k1}	 # AVX512PF
	vscatterpf0dps	ZMMWORD PTR [r9+zmm31+256]{k1}	 # AVX512PF
	vscatterpf0dps	ZMMWORD PTR [rcx+zmm31*4+1024]{k1}	 # AVX512PF

	vscatterpf0qpd	ZMMWORD PTR [r14+zmm31*8-123]{k1}	 # AVX512PF
	vscatterpf0qpd	ZMMWORD PTR [r14+zmm31*8-123]{k1}	 # AVX512PF
	vscatterpf0qpd	ZMMWORD PTR [r9+zmm31+256]{k1}	 # AVX512PF
	vscatterpf0qpd	ZMMWORD PTR [rcx+zmm31*4+1024]{k1}	 # AVX512PF

	vscatterpf0qps	ZMMWORD PTR [r14+zmm31*8-123]{k1}	 # AVX512PF
	vscatterpf0qps	ZMMWORD PTR [r14+zmm31*8-123]{k1}	 # AVX512PF
	vscatterpf0qps	ZMMWORD PTR [r9+zmm31+256]{k1}	 # AVX512PF
	vscatterpf0qps	ZMMWORD PTR [rcx+zmm31*4+1024]{k1}	 # AVX512PF

	vscatterpf1dpd	ZMMWORD PTR [r14+ymm31*8-123]{k1}	 # AVX512PF
	vscatterpf1dpd	ZMMWORD PTR [r14+ymm31*8-123]{k1}	 # AVX512PF
	vscatterpf1dpd	ZMMWORD PTR [r9+ymm31+256]{k1}	 # AVX512PF
	vscatterpf1dpd	ZMMWORD PTR [rcx+ymm31*4+1024]{k1}	 # AVX512PF

	vscatterpf1dps	ZMMWORD PTR [r14+zmm31*8-123]{k1}	 # AVX512PF
	vscatterpf1dps	ZMMWORD PTR [r14+zmm31*8-123]{k1}	 # AVX512PF
	vscatterpf1dps	ZMMWORD PTR [r9+zmm31+256]{k1}	 # AVX512PF
	vscatterpf1dps	ZMMWORD PTR [rcx+zmm31*4+1024]{k1}	 # AVX512PF

	vscatterpf1qpd	ZMMWORD PTR [r14+zmm31*8-123]{k1}	 # AVX512PF
	vscatterpf1qpd	ZMMWORD PTR [r14+zmm31*8-123]{k1}	 # AVX512PF
	vscatterpf1qpd	ZMMWORD PTR [r9+zmm31+256]{k1}	 # AVX512PF
	vscatterpf1qpd	ZMMWORD PTR [rcx+zmm31*4+1024]{k1}	 # AVX512PF

	vscatterpf1qps	ZMMWORD PTR [r14+zmm31*8-123]{k1}	 # AVX512PF
	vscatterpf1qps	ZMMWORD PTR [r14+zmm31*8-123]{k1}	 # AVX512PF
	vscatterpf1qps	ZMMWORD PTR [r9+zmm31+256]{k1}	 # AVX512PF
	vscatterpf1qps	ZMMWORD PTR [rcx+zmm31*4+1024]{k1}	 # AVX512PF

	prefetchwt1	BYTE PTR [rcx]	 # AVX512PF
	prefetchwt1	BYTE PTR [rax+r14*8+0x1234]	 # AVX512PF