Commit | Line | Data |
---|---|---|
de89d0a3 IT |
1 | #as: |
2 | #objdump: -dw | |
3 | #name: i386 WAITPKG insns | |
4 | #source: waitpkg.s | |
5 | ||
6 | .*: +file format .* | |
7 | ||
8 | ||
9 | Disassembly of section \.text: | |
10 | ||
11 | 00000000 <_start>: | |
12 | [ ]*[a-f0-9]+:[ ]*f3 0f ae f0[ ]*umonitor %eax | |
13 | [ ]*[a-f0-9]+:[ ]*67 f3 0f ae f1[ ]*umonitor %cx | |
14 | [ ]*[a-f0-9]+:[ ]*f2 0f ae f1[ ]*umwait %ecx | |
b630c145 | 15 | [ ]*[a-f0-9]+:[ ]*f2 0f ae f3[ ]*umwait %ebx |
de89d0a3 | 16 | [ ]*[a-f0-9]+:[ ]*66 0f ae f1[ ]*tpause %ecx |
b630c145 JB |
17 | [ ]*[a-f0-9]+:[ ]*66 0f ae f3[ ]*tpause %ebx |
18 | [ ]*[a-f0-9]+:[ ]*f2 0f ae f7[ ]*umwait %edi | |
19 | [ ]*[a-f0-9]+:[ ]*66 0f ae f7[ ]*tpause %edi | |
20 | [ ]*[a-f0-9]+:[ ]*67 f3 0f ae f0[ ]*umonitor %ax | |
21 | [ ]*[a-f0-9]+:[ ]*f3 0f ae f1[ ]*umonitor %ecx | |
22 | [ ]*[a-f0-9]+:[ ]*f2 0f ae f1[ ]*umwait %ecx | |
23 | [ ]*[a-f0-9]+:[ ]*f2 0f ae f3[ ]*umwait %ebx | |
24 | [ ]*[a-f0-9]+:[ ]*66 0f ae f1[ ]*tpause %ecx | |
25 | [ ]*[a-f0-9]+:[ ]*66 0f ae f3[ ]*tpause %ebx | |
26 | [ ]*[a-f0-9]+:[ ]*f2 0f ae f7[ ]*umwait %edi | |
27 | [ ]*[a-f0-9]+:[ ]*66 0f ae f7[ ]*tpause %edi | |
de89d0a3 | 28 | #pass |