| #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 |
