diff options
Diffstat (limited to 'gas')
| -rw-r--r-- | gas/NEWS | 3 | ||||
| -rw-r--r-- | gas/testsuite/gas/aarch64/system-5.d | 39 | ||||
| -rw-r--r-- | gas/testsuite/gas/aarch64/system-5.s | 34 |
3 files changed, 75 insertions, 1 deletions
@@ -21,7 +21,8 @@ * Add support for Armv8-R and Armv8.7-A AArch64. -* Add support for DSB memory nXS barrier instruction for Armv8.7 AArch64. +* Add support for DSB memory nXS barrier and WFET instruction for Armv8.7 + AArch64. * Add support for Intel TDX instructions. diff --git a/gas/testsuite/gas/aarch64/system-5.d b/gas/testsuite/gas/aarch64/system-5.d new file mode 100644 index 0000000..22fd611 --- /dev/null +++ b/gas/testsuite/gas/aarch64/system-5.d @@ -0,0 +1,39 @@ +#name: WFET (Wait For Event with Timeout) instruction +#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 diff --git a/gas/testsuite/gas/aarch64/system-5.s b/gas/testsuite/gas/aarch64/system-5.s new file mode 100644 index 0000000..6a518ce --- /dev/null +++ b/gas/testsuite/gas/aarch64/system-5.s @@ -0,0 +1,34 @@ +/* Wait For Event with Timeout is a Armv8.7 instruction. */ +.arch armv8.7-a + + wfet x0 + wfet x1 + wfet x2 + wfet x3 + wfet x4 + wfet x5 + wfet x6 + wfet x7 + wfet x8 + wfet x9 + wfet x10 + wfet x11 + wfet x12 + wfet x13 + wfet x14 + wfet x15 + wfet x16 + wfet x17 + wfet x18 + wfet x19 + wfet x20 + wfet x21 + wfet x22 + wfet x23 + wfet x24 + wfet x25 + wfet x26 + wfet x27 + wfet x28 + wfet x29 + wfet x30 |