diff options
| author | Richard Sandiford <richard.sandiford@arm.com> | 2023-12-05 10:11:21 +0000 |
|---|---|---|
| committer | Richard Sandiford <richard.sandiford@arm.com> | 2023-12-05 10:11:21 +0000 |
| commit | 1b52d4b66e8b91ec1e3de9c0b79aaf258824b875 (patch) | |
| tree | 6f3a1cc1a5fa10017044e2dac564321bfe37e139 /gcc/gimple-loop-interchange.cc | |
| parent | bb01ef94ff5096b907639aa3a1d77850921e7d37 (diff) | |
| download | gcc-1b52d4b66e8b91ec1e3de9c0b79aaf258824b875.zip gcc-1b52d4b66e8b91ec1e3de9c0b79aaf258824b875.tar.gz gcc-1b52d4b66e8b91ec1e3de9c0b79aaf258824b875.tar.bz2 | |
aarch64: Replace vague "previous arguments" message
If an SVE ACLE intrinsic requires two arguments to have the
same type, the C resolver would report mismatches as "argument N
has type T2, but previous arguments had type T1". This patch makes
the message say which argument had type T1.
This is needed to give decent error messages for some SME cases.
gcc/
* config/aarch64/aarch64-sve-builtins.h
(function_resolver::require_matching_vector_type): Add a parameter
that specifies the number of the earlier argument that is being
matched against.
* config/aarch64/aarch64-sve-builtins.cc
(function_resolver::require_matching_vector_type): Likewise.
(require_derived_vector_type): Update calls accordingly.
(function_resolver::resolve_unary): Likewise.
(function_resolver::resolve_uniform): Likewise.
(function_resolver::resolve_uniform_opt_n): Likewise.
* config/aarch64/aarch64-sve-builtins-shapes.cc
(binary_long_lane_def::resolve): Likewise.
(clast_def::resolve, ternary_uint_def::resolve): Likewise.
gcc/testsuite/
* gcc.target/aarch64/sve/acle/general-c/*: Replace "but previous
arguments had" with "but argument N had".
Diffstat (limited to 'gcc/gimple-loop-interchange.cc')
0 files changed, 0 insertions, 0 deletions