| #objdump: -dr --prefix-addresses --show-raw-insn -Mvirt,cp0-names=mips64r2 | |
| #name: virt64 instructions | |
| #source: virt64.s | |
| #as: -64 -mvirt | |
| .*: +file format .*mips.* | |
| Disassembly of section \.text: | |
| [0-9a-f]+ <[^>]*> 587d 04fc dmfgc0 v1,c0_taghi | |
| [0-9a-f]+ <[^>]*> 5974 2cfc dmfgc0 a7,\$20,5 | |
| [0-9a-f]+ <[^>]*> 5ae2 06fc dmtgc0 s7,c0_entrylo0 | |
| [0-9a-f]+ <[^>]*> 58ee 16fc dmtgc0 a3,\$14,2 | |
| \.\.\. |