Commit | Line | Data |
---|---|---|
de89d0a3 IT |
1 | #as: |
2 | #objdump: -dw | |
3 | #name: x86_64 WAITPKG insns | |
4 | #source: x86-64-waitpkg.s | |
5 | ||
6 | .*: +file format .* | |
7 | ||
8 | ||
9 | Disassembly of section \.text: | |
10 | ||
11 | 0+ <_start>: | |
12 | [ ]*[a-f0-9]+:[ ]*f3 0f ae f0[ ]*umonitor %rax | |
13 | [ ]*[a-f0-9]+:[ ]*f3 41 0f ae f2[ ]*umonitor %r10 | |
14 | [ ]*[a-f0-9]+:[ ]*67 f3 41 0f ae f2[ ]*umonitor %r10d | |
ae1d3843 L |
15 | [ ]*[a-f0-9]+:[ ]*f2 0f ae f1[ ]*umwait %ecx |
16 | [ ]*[a-f0-9]+:[ ]*f2 0f ae f1[ ]*umwait %ecx | |
17 | [ ]*[a-f0-9]+:[ ]*f2 41 0f ae f2[ ]*umwait %r10d | |
18 | [ ]*[a-f0-9]+:[ ]*f2 41 0f ae f2[ ]*umwait %r10d | |
19 | [ ]*[a-f0-9]+:[ ]*66 0f ae f1[ ]*tpause %ecx | |
20 | [ ]*[a-f0-9]+:[ ]*66 0f ae f1[ ]*tpause %ecx | |
21 | [ ]*[a-f0-9]+:[ ]*66 41 0f ae f2[ ]*tpause %r10d | |
22 | [ ]*[a-f0-9]+:[ ]*66 41 0f ae f2[ ]*tpause %r10d | |
de89d0a3 | 23 | #pass |