diff options
| author | Richard Sandiford <richard.sandiford@arm.com> | 2023-12-05 10:11:20 +0000 |
|---|---|---|
| committer | Richard Sandiford <richard.sandiford@arm.com> | 2023-12-05 10:11:20 +0000 |
| commit | bb01ef94ff5096b907639aa3a1d77850921e7d37 (patch) | |
| tree | d88f7e81324ffac4db56afdb7bdb092fc7588773 /gcc/gimple-loop-interchange.cc | |
| parent | 7f6de9861e5d7745a0af5174582519a39d545a92 (diff) | |
| download | gcc-bb01ef94ff5096b907639aa3a1d77850921e7d37.zip gcc-bb01ef94ff5096b907639aa3a1d77850921e7d37.tar.gz gcc-bb01ef94ff5096b907639aa3a1d77850921e7d37.tar.bz2 | |
aarch64: Generalise some SVE ACLE error messages
The current SVE ACLE function-resolution diagnostics assume
that a function has a fixed choice between vectors or tuples
of vectors. If an argument was not an SVE type at all, the
error message said the function "expects an SVE vector type"
or "expects an SVE tuple type".
This patch generalises the error to cope with cases where
an argument can be either a vector or a tuple. It also splits
out the diagnostics for mismatched tuple sizes, so that they
can be reused by later patches.
gcc/
* config/aarch64/aarch64-sve-builtins.h
(function_resolver::infer_sve_type): New member function.
(function_resolver::report_incorrect_num_vectors): Likewise.
* config/aarch64/aarch64-sve-builtins.cc
(function_resolver::infer_sve_type): New function,.
(function_resolver::report_incorrect_num_vectors): New function,
split out from...
(function_resolver::infer_vector_or_tuple_type): ...here. Use
infer_sve_type.
gcc/testsuite/
* gcc.target/aarch64/sve/acle/general-c/*: Update expected error
messages.
Diffstat (limited to 'gcc/gimple-loop-interchange.cc')
0 files changed, 0 insertions, 0 deletions