[00/43] aarch64: Groundwork for SME2 support

Message ID 20230330102359.3327695-1-richard.sandiford@arm.com
Headers
Series aarch64: Groundwork for SME2 support |

Message

Richard Sandiford March 30, 2023, 10:23 a.m. UTC
  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