1 #source: x86-64-mwaitx.s
2 #as: -march=bdver4
3 #objdump: -dw
4 #name: x86_64 monitorx and mwaitx insn
5 
6 .*: +file format .*
7 
8 
9 Disassembly of section \.text:
10 
11 0000000000000000 <_start>:
12 [ 	]*[a-f0-9]+:	0f 01 fa             	monitorx %rax,%rcx,%rdx
13 [ 	]*[a-f0-9]+:	67 0f 01 fa          	monitorx %eax,%rcx,%rdx
14 [ 	]*[a-f0-9]+:	0f 01 fa             	monitorx %rax,%rcx,%rdx
15 [ 	]*[a-f0-9]+:	0f 01 fb             	mwaitx %rax,%rcx,%rbx
16 [ 	]*[a-f0-9]+:	0f 01 fb             	mwaitx %rax,%rcx,%rbx
17 #pass
18