x86: Allow 32-bit registers for tpause and umwait
[deliverable/binutils-gdb.git] / gas / testsuite / gas / i386 / x86-64-waitpkg.d
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
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
23 #pass
This page took 0.031146 seconds and 4 git commands to generate.