| #objdump: -dw | |
| #name: x86-64 arch 1 | |
| .*: file format .* | |
| Disassembly of section .text: | |
| 0+ <.text>: | |
| [ ]*[a-f0-9]+: 66 0f 38 17 c1 ptest %xmm1,%xmm0 | |
| [ ]*[a-f0-9]+: 66 0f 3a 09 c1 00 roundpd \$0x0,%xmm1,%xmm0 | |
| [ ]*[a-f0-9]+: 66 0f 3a 08 c1 00 roundps \$0x0,%xmm1,%xmm0 | |
| [ ]*[a-f0-9]+: 66 0f 3a 0b c1 00 roundsd \$0x0,%xmm1,%xmm0 | |
| [ ]*[a-f0-9]+: 66 0f 3a 0a c1 00 roundss \$0x0,%xmm1,%xmm0 | |
| [ ]*[a-f0-9]+: 66 0f 38 41 d9 phminposuw %xmm1,%xmm3 | |
| #pass |