| #name: WFET and WFIT instructions | |
| #objdump: -dr | |
| .*: file format .* | |
| Disassembly of section \.text: | |
| 0+ <.*>: | |
| .*: d5031000 wfet x0 | |
| .*: d5031001 wfet x1 | |
| .*: d5031002 wfet x2 | |
| .*: d5031003 wfet x3 | |
| .*: d5031004 wfet x4 | |
| .*: d5031005 wfet x5 | |
| .*: d5031006 wfet x6 | |
| .*: d5031007 wfet x7 | |
| .*: d5031008 wfet x8 | |
| .*: d5031009 wfet x9 | |
| .*: d503100a wfet x10 | |
| .*: d503100b wfet x11 | |
| .*: d503100c wfet x12 | |
| .*: d503100d wfet x13 | |
| .*: d503100e wfet x14 | |
| .*: d503100f wfet x15 | |
| .*: d5031010 wfet x16 | |
| .*: d5031011 wfet x17 | |
| .*: d5031012 wfet x18 | |
| .*: d5031013 wfet x19 | |
| .*: d5031014 wfet x20 | |
| .*: d5031015 wfet x21 | |
| .*: d5031016 wfet x22 | |
| .*: d5031017 wfet x23 | |
| .*: d5031018 wfet x24 | |
| .*: d5031019 wfet x25 | |
| .*: d503101a wfet x26 | |
| .*: d503101b wfet x27 | |
| .*: d503101c wfet x28 | |
| .*: d503101d wfet x29 | |
| .*: d503101e wfet x30 | |
| .*: d5031020 wfit x0 | |
| .*: d5031021 wfit x1 | |
| .*: d5031022 wfit x2 | |
| .*: d5031023 wfit x3 | |
| .*: d5031024 wfit x4 | |
| .*: d5031025 wfit x5 | |
| .*: d5031026 wfit x6 | |
| .*: d5031027 wfit x7 | |
| .*: d5031028 wfit x8 | |
| .*: d5031029 wfit x9 | |
| .*: d503102a wfit x10 | |
| .*: d503102b wfit x11 | |
| .*: d503102c wfit x12 | |
| .*: d503102d wfit x13 | |
| .*: d503102e wfit x14 | |
| .*: d503102f wfit x15 | |
| .*: d5031030 wfit x16 | |
| .*: d5031031 wfit x17 | |
| .*: d5031032 wfit x18 | |
| .*: d5031033 wfit x19 | |
| .*: d5031034 wfit x20 | |
| .*: d5031035 wfit x21 | |
| .*: d5031036 wfit x22 | |
| .*: d5031037 wfit x23 | |
| .*: d5031038 wfit x24 | |
| .*: d5031039 wfit x25 | |
| .*: d503103a wfit x26 | |
| .*: d503103b wfit x27 | |
| .*: d503103c wfit x28 | |
| .*: d503103d wfit x29 | |
| .*: d503103e wfit x30 |