diff options
author | Renlin Li <renlin.li@arm.com> | 2018-11-12 16:47:24 +0000 |
---|---|---|
committer | Renlin Li <renlin@gcc.gnu.org> | 2018-11-12 16:47:24 +0000 |
commit | e657564359c300bde7bcbba12e30b5e3f80f8c6c (patch) | |
tree | 4062e8bcf6db37a7a42f85411b47c89b727a2129 /gcc/testsuite | |
parent | d5cc6de1be9d8fed0b810596efd467d6bee6aa03 (diff) | |
download | gcc-e657564359c300bde7bcbba12e30b5e3f80f8c6c.zip gcc-e657564359c300bde7bcbba12e30b5e3f80f8c6c.tar.gz gcc-e657564359c300bde7bcbba12e30b5e3f80f8c6c.tar.bz2 |
[PR87815]Don't generate shift sequence for load replacement in DSE when the mode size is not compile-time constant
The patch adds a check if the gap is compile-time constant.
This happens when dse decides to replace the load with previous store value.
The problem is that, shift sequence could not accept compile-time non-constant
mode operand.
gcc/
2018-11-12 Renlin Li <renlin.li@arm.com>
PR target/87815
* dse.c (get_stored_val): Add check for compile-time
constantness of gap.
gcc/testsuite/
2018-11-12 Renlin Li <renlin.li@arm.com>
PR target/87815
* gcc.target/aarch64/sve/pr87815.c: New.
From-SVN: r266033
Diffstat (limited to 'gcc/testsuite')
-rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/testsuite/gcc.target/aarch64/sve/pr87815.c | 13 |
2 files changed, 18 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ec4309b..64b072f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2018-11-12 Renlin Li <renlin.li@arm.com> + + PR target/87815 + * gcc.target/aarch64/sve/pr87815.c: New. + 2018-11-12 Sudakshina Das <sudi.das@arm.com> * gcc.target/arm/multilib.exp: Add some -march=armv8.5-a diff --git a/gcc/testsuite/gcc.target/aarch64/sve/pr87815.c b/gcc/testsuite/gcc.target/aarch64/sve/pr87815.c new file mode 100644 index 0000000..628cedb --- /dev/null +++ b/gcc/testsuite/gcc.target/aarch64/sve/pr87815.c @@ -0,0 +1,13 @@ +/* { dg-do compile { target aarch64_asm_sve_ok } } */ +/* { dg-options "-O3" } */ +int a, b, d; +short e; + +void f () +{ + for (int i = 0; i < 8; i++) + { + e = b >= 2 ?: a >> b; + d = e && b; + } +} |