diff options
author | Richard Sandiford <richard.sandiford@arm.com> | 2016-09-21 16:54:30 +0100 |
---|---|---|
committer | Richard Sandiford <richard.sandiford@arm.com> | 2016-09-21 16:54:30 +0100 |
commit | d50c751e00b5336b4604b92271ab84615fdb0d27 (patch) | |
tree | a03ccbb9798577e978217f1c9639300afb0fec2a /gas/config/tc-aarch64.c | |
parent | f11ad6bc0fc44b94c6970115bb6984b497b967e7 (diff) | |
download | gdb-d50c751e00b5336b4604b92271ab84615fdb0d27.zip gdb-d50c751e00b5336b4604b92271ab84615fdb0d27.tar.gz gdb-d50c751e00b5336b4604b92271ab84615fdb0d27.tar.bz2 |
[AArch64][SVE 22/32] Add qualifiers for merging and zeroing predication
This patch adds qualifiers to represent /z and /m suffixes on
predicate registers.
include/
* opcode/aarch64.h (AARCH64_OPND_QLF_P_Z): New aarch64_opnd_qualifier.
(AARCH64_OPND_QLF_P_M): Likewise.
opcodes/
* aarch64-opc.c (aarch64_opnd_qualifiers): Add entries for
AARCH64_OPND_QLF_P_[ZM].
(aarch64_print_operand): Print /z and /m where appropriate.
gas/
* config/tc-aarch64.c (vector_el_type): Add NT_zero and NT_merge.
(parse_vector_type_for_operand): Assert that the skipped character
is a '.'.
(parse_predication_for_operand): New function.
(parse_typed_reg): Parse /z and /m suffixes for predicate registers.
(vectype_to_qualifier): Handle NT_zero and NT_merge.
Diffstat (limited to 'gas/config/tc-aarch64.c')
-rw-r--r-- | gas/config/tc-aarch64.c | 56 |
1 files changed, 52 insertions, 4 deletions
diff --git a/gas/config/tc-aarch64.c b/gas/config/tc-aarch64.c index be88d29..f877262 100644 --- a/gas/config/tc-aarch64.c +++ b/gas/config/tc-aarch64.c @@ -83,7 +83,9 @@ enum vector_el_type NT_h, NT_s, NT_d, - NT_q + NT_q, + NT_zero, + NT_merge }; /* Bits for DEFINED field in vector_type_el. */ @@ -750,6 +752,7 @@ parse_vector_type_for_operand (aarch64_reg_type reg_type, enum vector_el_type type; /* skip '.' */ + gas_assert (*ptr == '.'); ptr++; if (reg_type == REG_TYPE_ZN || reg_type == REG_TYPE_PN || !ISDIGIT (*ptr)) @@ -816,6 +819,38 @@ elt_size: return TRUE; } +/* *STR contains an SVE zero/merge predication suffix. Parse it into + *PARSED_TYPE and point *STR at the end of the suffix. */ + +static bfd_boolean +parse_predication_for_operand (struct vector_type_el *parsed_type, char **str) +{ + char *ptr = *str; + + /* Skip '/'. */ + gas_assert (*ptr == '/'); + ptr++; + switch (TOLOWER (*ptr)) + { + case 'z': + parsed_type->type = NT_zero; + break; + case 'm': + parsed_type->type = NT_merge; + break; + default: + if (*ptr != '\0' && *ptr != ',') + first_error_fmt (_("unexpected character `%c' in predication type"), + *ptr); + else + first_error (_("missing predication type")); + return FALSE; + } + parsed_type->width = 0; + *str = ptr + 1; + return TRUE; +} + /* Parse a register of the type TYPE. Return PARSE_FAIL if the string pointed by *CCP is not a valid register @@ -860,10 +895,18 @@ parse_typed_reg (char **ccp, aarch64_reg_type type, aarch64_reg_type *rtype, type = reg->type; if ((type == REG_TYPE_VN || type == REG_TYPE_ZN || type == REG_TYPE_PN) - && *str == '.') + && (*str == '.' || (type == REG_TYPE_PN && *str == '/'))) { - if (!parse_vector_type_for_operand (type, &parsetype, &str)) - return PARSE_FAIL; + if (*str == '.') + { + if (!parse_vector_type_for_operand (type, &parsetype, &str)) + return PARSE_FAIL; + } + else + { + if (!parse_predication_for_operand (&parsetype, &str)) + return PARSE_FAIL; + } /* Register if of the form Vn.[bhsdq]. */ is_typed_vecreg = TRUE; @@ -4655,6 +4698,11 @@ vectype_to_qualifier (const struct vector_type_el *vectype) if (!vectype->defined || vectype->type == NT_invtype) goto vectype_conversion_fail; + if (vectype->type == NT_zero) + return AARCH64_OPND_QLF_P_Z; + if (vectype->type == NT_merge) + return AARCH64_OPND_QLF_P_M; + gas_assert (vectype->type >= NT_b && vectype->type <= NT_q); if (vectype->defined & (NTA_HASINDEX | NTA_HASVARWIDTH)) |