| #objdump: -dwr | |
| #name: high XMM registers in 64-bit mode | |
| .*: +file format .* | |
| Disassembly of section .text: | |
| 0+ <xmm>: | |
| [ ]*[a-f0-9]+: 62 b1 74 08 58 c0[ ]+vaddps %xmm16,%xmm1,%xmm0 | |
| [ ]*[a-f0-9]+: 62 b1 74 28 58 c0[ ]+vaddps %ymm16,%ymm1,%ymm0 | |
| [ ]*[a-f0-9]+: 62 b1 74 48 58 c0[ ]+vaddps %zmm16,%zmm1,%zmm0 | |
| #pass |