diff options
author | Alex Coplan <alex.coplan@arm.com> | 2021-04-08 09:36:57 +0100 |
---|---|---|
committer | Alex Coplan <alex.coplan@arm.com> | 2021-04-08 09:36:57 +0100 |
commit | 67d56b272021363eb58c319ca3b73beba3a60817 (patch) | |
tree | 690e97169ee436000563e21a2aead974cf6e3657 /libphobos | |
parent | 0fb21ba79919b3c0ff30484546f48074899a3305 (diff) | |
download | gcc-67d56b272021363eb58c319ca3b73beba3a60817.zip gcc-67d56b272021363eb58c319ca3b73beba3a60817.tar.gz gcc-67d56b272021363eb58c319ca3b73beba3a60817.tar.bz2 |
arm: Various MVE vec_duplicate fixes [PR99647]
This patch fixes various issues with vec_duplicate in the MVE patterns.
Currently there are two patterns named *mve_mov<mode>. The second of
these is really a vector duplicate rather than a move, so I've renamed
it accordingly.
As it stands, there are several issues with this pattern:
1. The MVE_types iterator has an entry for TImode, but
vec_duplicate:TI is invalid.
2. The mode of the operand to vec_duplicate is SImode, but it should
vary according to the vector mode iterator.
3. The second alternative of this pattern is bogus: it allows matching
symbol_refs (the cause of the PR) and const_ints (which means that it
matches (vec_duplicate (const_int ...)) which is non-canonical: such
rtxes should be const_vectors instead and handled by the main vector
move pattern).
This patch fixes all of these issues, and removes the redundant
*mve_vec_duplicate<mode> pattern.
gcc/ChangeLog:
PR target/99647
* config/arm/iterators.md (MVE_vecs): New.
(V_elem): Also handle V2DF.
* config/arm/mve.md (*mve_mov<mode>): Rename to ...
(*mve_vdup<mode>): ... this. Remove second alternative since
vec_duplicate of const_int is not canonical RTL, and we don't
want to match symbol_refs.
(*mve_vec_duplicate<mode>): Delete (pattern is redundant).
gcc/testsuite/ChangeLog:
PR target/99647
* gcc.c-torture/compile/pr99647.c: New test.
Diffstat (limited to 'libphobos')
0 files changed, 0 insertions, 0 deletions