| # Check 64bit AVX512PF instructions | |
| .allow_index_reg | |
| .text | |
| _start: | |
| prefetchwt1 (%rcx) # AVX512PF | |
| prefetchwt1 0x123(%rax,%r14,8) # AVX512PF | |
| .intel_syntax noprefix | |
| prefetchwt1 BYTE PTR [rcx] # AVX512PF | |
| prefetchwt1 BYTE PTR [rax+r14*8+0x1234] # AVX512PF |