1 #as:
2 #objdump: -dw -Mintel
3 #name: i386 WAITPKG insns (Intel disassembly)
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
15 [ 	]*[a-f0-9]+:[ 	]*f2 0f ae f3[ 	]*umwait ebx
16 [ 	]*[a-f0-9]+:[ 	]*66 0f ae f1[ 	]*tpause ecx
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
28 #pass
29