| #as: |
| #objdump: -dw -Mintel |
| #name: x86_64 WAITPKG insns (Intel disassembly) |
| #source: x86-64-waitpkg.s |
| |
| .*: +file format .* |
| |
| |
| Disassembly of section \.text: |
| |
| 0+ <_start>: |
| [ ]*[a-f0-9]+:[ ]*f3 0f ae f0[ ]*umonitor rax |
| [ ]*[a-f0-9]+:[ ]*f3 41 0f ae f2[ ]*umonitor r10 |
| [ ]*[a-f0-9]+:[ ]*67 f3 41 0f ae f2[ ]*umonitor r10d |
| [ ]*[a-f0-9]+:[ ]*f2 0f ae f1[ ]*umwait ecx |
| [ ]*[a-f0-9]+:[ ]*f2 41 0f ae f2[ ]*umwait r10d |
| [ ]*[a-f0-9]+:[ ]*f2 0f ae f7[ ]*umwait edi |
| [ ]*[a-f0-9]+:[ ]*66 0f ae f1[ ]*tpause ecx |
| [ ]*[a-f0-9]+:[ ]*66 41 0f ae f2[ ]*tpause r10d |
| [ ]*[a-f0-9]+:[ ]*66 0f ae f7[ ]*tpause edi |
| [ ]*[a-f0-9]+:[ ]*f2 0f ae f6[ ]*umwait esi |
| [ ]*[a-f0-9]+:[ ]*66 0f ae f6[ ]*tpause esi |
| #pass |
