From: Richard Sandiford <richard.sandiford@arm.com>
To: binutils@sourceware.org
Cc: Richard Sandiford <richard.sandiford@arm.com>
Subject: [PATCH 00/43] aarch64: Groundwork for SME2 support
Date: Thu, 30 Mar 2023 11:23:16 +0100 [thread overview]
Message-ID: <20230330102359.3327695-1-richard.sandiford@arm.com> (raw)
This series of patches lays some groundwork for the aarch64 SME2 support.
It's a bit of a mixed bag, but most of the patches fall into two groups:
- Try to improve the error messages reported for invalid asm.
- Reorganise the code in ways that makes SME2 easier to add.
Each patch really stands alone, with its own justification.
I just thought it was worth lumping them into a series for
organisation reasons. Sorry that it's quite long.
Tested on aarch64-linux-gnu & pushed under GWP. I'm more than happy
to update/adjust/fix based on post-commit review though, so please
let me know if you spot anything you think should be changed.
Thanks,
Richard
Richard Sandiford (43):
aarch64: Fix PSEL opcode mask
aarch64: Restrict range of PRFM opcodes
aarch64: Fix SVE2 register/immediate distinction
aarch64: Make SME instructions use F_STRICT
aarch64: Use aarch64_operand_error more widely
aarch64: Rename REG_TYPE_ZA* to REG_TYPE_ZAT*
aarch64: Add REG_TYPE_ZATHV
aarch64: Move vectype_to_qualifier further up
aarch64: Rework parse_typed_reg interface
aarch64: Reuse parse_typed_reg for ZA tiles
aarch64: Consolidate ZA tile range checks
aarch64: Treat ZA as a register
aarch64: Rename za_tile_vector to za_index
aarch64: Make indexed_za use 64-bit immediates
aarch64: Pass aarch64_indexed_za to parsers
aarch64: Move ZA range checks to aarch64-opc.c
aarch64: Consolidate ZA slice parsing
aarch64: Commonise index parsing
aarch64: Move w12-w15 range check to libopcodes
aarch64: Tweak error for missing immediate offset
aarch64: Tweak errors for base & offset registers
aarch64: Tweak parsing of integer & FP registers
aarch64: Improve errors for malformed register lists
aarch64: Try to avoid inappropriate default errors
aarch64: Rework reporting of failed register checks
aarch64: Update operand_mismatch_kind_names
aarch64: Deprioritise AARCH64_OPDE_REG_LIST
aarch64: Add an error code for out-of-range registers
aarch64: Commonise checks for index operands
aarch64: Add an operand class for SVE register lists
aarch64: Make AARCH64_OPDE_REG_LIST take a bitfield
aarch64: Tweak register list errors
aarch64: Try to report invalid variants against the closest match
aarch64: Tweak priorities of parsing-related errors
aarch64: Rename aarch64-tbl.h OP_SME_* macros
aarch64: Reorder some OP_SVE_* macros
aarch64: Add a aarch64_cpu_supports_inst_p helper
aarch64: Rename some of GAS's REG_TYPE_* macros
aarch64: Regularise FLD_* suffixes
aarch64: Resync field names
aarch64: Sort fields alphanumerically
aarch64: Add support for strided register lists
aarch64: Prefer register ranges & support wrapping
gas/config/tc-aarch64.c | 1729 +++++++++--------
.../aarch64/armv8_2-a-crypto-fp16-illegal.l | 6 +-
gas/testsuite/gas/aarch64/diagnostic.l | 49 +-
gas/testsuite/gas/aarch64/diagnostic.s | 23 +
gas/testsuite/gas/aarch64/illegal-bfloat16.l | 40 +-
gas/testsuite/gas/aarch64/illegal-fjcvtzs.l | 6 +-
gas/testsuite/gas/aarch64/illegal-ldapr.l | 6 +-
gas/testsuite/gas/aarch64/illegal-ldraa.l | 8 +-
gas/testsuite/gas/aarch64/illegal-lse.l | 456 ++---
gas/testsuite/gas/aarch64/illegal-memtag.l | 70 +-
gas/testsuite/gas/aarch64/illegal-sve2.l | 1709 ++++++++--------
gas/testsuite/gas/aarch64/illegal-sve2.s | 5 +
gas/testsuite/gas/aarch64/illegal.l | 6 +-
gas/testsuite/gas/aarch64/illegal.s | 5 +
gas/testsuite/gas/aarch64/legacy_reg_names.l | 4 +-
gas/testsuite/gas/aarch64/mops_invalid.l | 112 +-
.../gas/aarch64/neon-vfp-reglist-post.d | 184 +-
gas/testsuite/gas/aarch64/neon-vfp-reglist.d | 100 +-
gas/testsuite/gas/aarch64/reglist-1.d | 21 +
gas/testsuite/gas/aarch64/reglist-1.s | 15 +
gas/testsuite/gas/aarch64/reglist-2.d | 3 +
gas/testsuite/gas/aarch64/reglist-2.l | 8 +
gas/testsuite/gas/aarch64/reglist-2.s | 7 +
gas/testsuite/gas/aarch64/sme-2-illegal.l | 42 +-
gas/testsuite/gas/aarch64/sme-3-illegal.l | 20 +-
gas/testsuite/gas/aarch64/sme-4-illegal.l | 54 +-
gas/testsuite/gas/aarch64/sme-4-illegal.s | 12 +
gas/testsuite/gas/aarch64/sme-5-illegal.l | 91 +-
gas/testsuite/gas/aarch64/sme-5-illegal.s | 7 +
gas/testsuite/gas/aarch64/sme-6-illegal.l | 82 +-
gas/testsuite/gas/aarch64/sme-7-illegal.l | 51 +-
gas/testsuite/gas/aarch64/sme-7-illegal.s | 15 +
gas/testsuite/gas/aarch64/sme-8-illegal.l | 12 +-
gas/testsuite/gas/aarch64/sme-9-illegal.l | 37 +-
gas/testsuite/gas/aarch64/sme-9-illegal.s | 7 +
gas/testsuite/gas/aarch64/sme-9.d | 3 +
gas/testsuite/gas/aarch64/sme-9.s | 5 +
gas/testsuite/gas/aarch64/sme-illegal.l | 119 +-
gas/testsuite/gas/aarch64/sme-illegal.s | 1 +
gas/testsuite/gas/aarch64/sve-invalid.l | 44 +-
gas/testsuite/gas/aarch64/sve-invalid.s | 7 +
.../gas/aarch64/sve-reg-diagnostic.l | 16 +-
gas/testsuite/gas/aarch64/sve.d | 1612 +++++++--------
gas/testsuite/gas/aarch64/sve2.d | 30 +-
gas/testsuite/gas/aarch64/system.d | 18 +-
gas/testsuite/gas/aarch64/system.s | 5 +
gas/testsuite/gas/aarch64/tme-invalid.l | 6 +-
gas/testsuite/gas/aarch64/verbose-error.l | 2 +-
include/opcode/aarch64.h | 91 +-
opcodes/aarch64-asm.c | 30 +-
opcodes/aarch64-dis.c | 133 +-
opcodes/aarch64-opc-2.c | 38 +-
opcodes/aarch64-opc.c | 456 +++--
opcodes/aarch64-opc.h | 167 +-
opcodes/aarch64-tbl.h | 263 ++-
55 files changed, 4260 insertions(+), 3788 deletions(-)
create mode 100644 gas/testsuite/gas/aarch64/reglist-1.d
create mode 100644 gas/testsuite/gas/aarch64/reglist-1.s
create mode 100644 gas/testsuite/gas/aarch64/reglist-2.d
create mode 100644 gas/testsuite/gas/aarch64/reglist-2.l
create mode 100644 gas/testsuite/gas/aarch64/reglist-2.s
--
2.25.1
next reply other threads:[~2023-03-30 10:24 UTC|newest]
Thread overview: 46+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-03-30 10:23 Richard Sandiford [this message]
2023-03-30 10:23 ` [PATCH 01/43] aarch64: Fix PSEL opcode mask Richard Sandiford
2023-03-30 10:23 ` [PATCH 02/43] aarch64: Restrict range of PRFM opcodes Richard Sandiford
2023-03-30 10:23 ` [PATCH 03/43] aarch64: Fix SVE2 register/immediate distinction Richard Sandiford
2023-03-30 10:23 ` [PATCH 04/43] aarch64: Make SME instructions use F_STRICT Richard Sandiford
2023-03-30 10:23 ` [PATCH 05/43] aarch64: Use aarch64_operand_error more widely Richard Sandiford
2023-03-30 10:23 ` [PATCH 06/43] aarch64: Rename REG_TYPE_ZA* to REG_TYPE_ZAT* Richard Sandiford
2023-03-30 10:23 ` [PATCH 07/43] aarch64: Add REG_TYPE_ZATHV Richard Sandiford
2023-03-30 10:23 ` [PATCH 08/43] aarch64: Move vectype_to_qualifier further up Richard Sandiford
2023-03-30 10:23 ` [PATCH 09/43] aarch64: Rework parse_typed_reg interface Richard Sandiford
2023-03-30 10:23 ` [PATCH 10/43] aarch64: Reuse parse_typed_reg for ZA tiles Richard Sandiford
2023-03-30 10:23 ` [PATCH 11/43] aarch64: Consolidate ZA tile range checks Richard Sandiford
2023-03-30 10:23 ` [PATCH 12/43] aarch64: Treat ZA as a register Richard Sandiford
2023-03-30 10:23 ` [PATCH 13/43] aarch64: Rename za_tile_vector to za_index Richard Sandiford
2023-03-30 10:23 ` [PATCH 14/43] aarch64: Make indexed_za use 64-bit immediates Richard Sandiford
2023-03-30 10:23 ` [PATCH 15/43] aarch64: Pass aarch64_indexed_za to parsers Richard Sandiford
2023-03-30 10:23 ` [PATCH 16/43] aarch64: Move ZA range checks to aarch64-opc.c Richard Sandiford
2023-03-30 10:23 ` [PATCH 17/43] aarch64: Consolidate ZA slice parsing Richard Sandiford
2023-03-30 10:23 ` [PATCH 18/43] aarch64: Commonise index parsing Richard Sandiford
2023-03-30 10:23 ` [PATCH 19/43] aarch64: Move w12-w15 range check to libopcodes Richard Sandiford
2023-03-30 10:23 ` [PATCH 20/43] aarch64: Tweak error for missing immediate offset Richard Sandiford
2023-03-30 10:23 ` [PATCH 21/43] aarch64: Tweak errors for base & offset registers Richard Sandiford
2023-03-30 10:23 ` [PATCH 22/43] aarch64: Tweak parsing of integer & FP registers Richard Sandiford
2023-03-30 10:23 ` [PATCH 23/43] aarch64: Improve errors for malformed register lists Richard Sandiford
2023-03-30 10:23 ` [PATCH 24/43] aarch64: Try to avoid inappropriate default errors Richard Sandiford
2023-03-30 10:23 ` [PATCH 25/43] aarch64: Rework reporting of failed register checks Richard Sandiford
2023-03-30 10:23 ` [PATCH 26/43] aarch64: Update operand_mismatch_kind_names Richard Sandiford
2023-03-30 10:23 ` [PATCH 27/43] aarch64: Deprioritise AARCH64_OPDE_REG_LIST Richard Sandiford
2023-03-30 10:23 ` [PATCH 28/43] aarch64: Add an error code for out-of-range registers Richard Sandiford
2023-03-30 10:23 ` [PATCH 29/43] aarch64: Commonise checks for index operands Richard Sandiford
2023-03-30 10:23 ` [PATCH 30/43] aarch64: Add an operand class for SVE register lists Richard Sandiford
2023-03-30 10:23 ` [PATCH 31/43] aarch64: Make AARCH64_OPDE_REG_LIST take a bitfield Richard Sandiford
2023-03-30 10:23 ` [PATCH 32/43] aarch64: Tweak register list errors Richard Sandiford
2023-03-30 10:23 ` [PATCH 33/43] aarch64: Try to report invalid variants against the closest match Richard Sandiford
2023-03-30 10:23 ` [PATCH 34/43] aarch64: Tweak priorities of parsing-related errors Richard Sandiford
2023-03-30 10:23 ` [PATCH 35/43] aarch64: Rename aarch64-tbl.h OP_SME_* macros Richard Sandiford
2023-03-30 10:23 ` [PATCH 36/43] aarch64: Reorder some OP_SVE_* macros Richard Sandiford
2023-03-30 10:23 ` [PATCH 37/43] aarch64: Add a aarch64_cpu_supports_inst_p helper Richard Sandiford
2023-03-30 10:23 ` [PATCH 38/43] aarch64: Rename some of GAS's REG_TYPE_* macros Richard Sandiford
2023-03-30 10:23 ` [PATCH 39/43] aarch64: Regularise FLD_* suffixes Richard Sandiford
2023-03-30 10:23 ` [PATCH 40/43] aarch64: Resync field names Richard Sandiford
2023-03-30 10:23 ` [PATCH 41/43] aarch64: Sort fields alphanumerically Richard Sandiford
2023-03-30 10:23 ` [PATCH 42/43] aarch64: Add support for strided register lists Richard Sandiford
2023-03-30 15:50 ` Simon Marchi
2023-03-30 16:06 ` Richard Sandiford
2023-03-30 10:23 ` [PATCH 43/43] aarch64: Prefer register ranges & support wrapping Richard Sandiford
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20230330102359.3327695-1-richard.sandiford@arm.com \
--to=richard.sandiford@arm.com \
--cc=binutils@sourceware.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).