#as: #objdump: -dw #name: x86_64 PREFETCHWT1 insns .*: +file format .* Disassembly of section .text: 0+ <_start>: [ ]*[a-f0-9]+: 0f 0d 11 prefetchwt1 \(%rcx\) [ ]*[a-f0-9]+: 42 0f 0d 94 f0 23 01 00 00 prefetchwt1 0x123\(%rax,%r14,8\) [ ]*[a-f0-9]+: 0f 0d 11 prefetchwt1 \(%rcx\) [ ]*[a-f0-9]+: 42 0f 0d 94 f0 34 12 00 00 prefetchwt1 0x1234\(%rax,%r14,8\) #pass