diff options
author | Kyrylo Tkachov <kyrylo.tkachov@arm.com> | 2021-09-13 15:40:28 +0100 |
---|---|---|
committer | Kyrylo Tkachov <kyrylo.tkachov@arm.com> | 2021-09-13 15:41:54 +0100 |
commit | 512b383534785f9fc021e700a1fdda86cf0f3fe7 (patch) | |
tree | e7a98d3382c756b91350c0d55c56d3a73f6d6756 /gcc/testsuite | |
parent | c7a669af0aeb639eb78f1614cbecb72a98d81ce8 (diff) | |
download | gcc-512b383534785f9fc021e700a1fdda86cf0f3fe7.zip gcc-512b383534785f9fc021e700a1fdda86cf0f3fe7.tar.gz gcc-512b383534785f9fc021e700a1fdda86cf0f3fe7.tar.bz2 |
aarch64: PR target/102252 Invalid addressing mode for SVE load predicate
In the testcase we generate invalid assembly for an SVE load predicate instruction.
The RTL for the insn is:
(insn 9 8 10 (set (reg:VNx16BI 68 p0)
(mem:VNx16BI (plus:DI (mult:DI (reg:DI 1 x1 [93])
(const_int 8 [0x8]))
(reg/f:DI 0 x0 [92])) [2 work_3(D)->array[offset_4(D)]+0 S8 A16]))
That addressing mode is not valid for the instruction [1] as it only accepts the addressing mode:
[<Xn|SP>{, #<imm>, MUL VL}]
This patch rejects the register index form for SVE predicate modes.
Bootstrapped and tested on aarch64-none-linux-gnu.
[1] https://developer.arm.com/documentation/ddi0602/2021-06/SVE-Instructions/LDR--predicate---Load-predicate-register-
gcc/ChangeLog:
PR target/102252
* config/aarch64/aarch64.c (aarch64_classify_address): Don't allow
register index for SVE predicate modes.
gcc/testsuite/ChangeLog:
PR target/102252
* g++.target/aarch64/sve/pr102252.C: New test.
Diffstat (limited to 'gcc/testsuite')
-rw-r--r-- | gcc/testsuite/g++.target/aarch64/sve/pr102252.C | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.target/aarch64/sve/pr102252.C b/gcc/testsuite/g++.target/aarch64/sve/pr102252.C new file mode 100644 index 0000000..f90f121 --- /dev/null +++ b/gcc/testsuite/g++.target/aarch64/sve/pr102252.C @@ -0,0 +1,37 @@ +/* PR target/102252. */ +/* { dg-do assemble { target aarch64_asm_sve_ok } } */ +/* { dg-options "-march=armv8.2-a+sve -msve-vector-bits=512" } */ + +/* We used to generate invalid assembly for SVE predicate loads. */ + +#include <arm_sve.h> + +class SimdBool +{ +private: + typedef svbool_t simdInternalType_ __attribute__((arm_sve_vector_bits(512))); + +public: + SimdBool() {} + + simdInternalType_ simdInternal_; + +}; + +static svfloat32_t selectByMask(svfloat32_t a, SimdBool m) { + return svsel_f32(m.simdInternal_, a, svdup_f32(0.0)); +} + +struct s { + SimdBool array[1]; +}; + + + +void foo(struct s* const work, int offset) +{ + svfloat32_t tz_S0; + + tz_S0 = selectByMask(tz_S0, work->array[offset]); +} + |