#as: -march=generic64+smap+adx+rdseed+clzero+sha+xsavec+xsaves+clflushopt+mwaitx
#objdump: -dw
#name: x86-64 arch 3

.*:     file format .*

Disassembly of section .text:

0+ <.text>:
[ 	]*[a-f0-9]+:	0f 01 ca             	clac   
[ 	]*[a-f0-9]+:	0f 01 cb             	stac   
[ 	]*[a-f0-9]+:	66 0f 38 f6 ca       	adcx   %edx,%ecx
[ 	]*[a-f0-9]+:	f3 0f 38 f6 ca       	adox   %edx,%ecx
[ 	]*[a-f0-9]+:	0f c7 f8             	rdseed %eax
[ 	]*[a-f0-9]+:	0f 01 fc             	clzero 
[ 	]*[a-f0-9]+:	44 0f 38 c8 00       	sha1nexte \(%rax\),%xmm8
[ 	]*[a-f0-9]+:	48 0f c7 21          	xsavec64 \(%rcx\)
[ 	]*[a-f0-9]+:	48 0f c7 29          	xsaves64 \(%rcx\)
[ 	]*[a-f0-9]+:	66 0f ae 39          	clflushopt \(%rcx\)
[ 	]*[a-f0-9]+:	0f 01 fa             	monitorx %rax,%rcx,%rdx
[ 	]*[a-f0-9]+:	67 0f 01 fa          	monitorx %eax,%rcx,%rdx
[ 	]*[a-f0-9]+:	0f 01 fa             	monitorx %rax,%rcx,%rdx
[ 	]*[a-f0-9]+:	0f 01 fb             	mwaitx %rax,%rcx,%rbx
[ 	]*[a-f0-9]+:	0f 01 fb             	mwaitx %rax,%rcx,%rbx
#pass
