diff options
| author | Richard Biener <rguenther@suse.de> | 2016-07-12 08:56:14 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2016-07-12 08:56:14 +0000 |
| commit | 712a93d637f8f49194b756d5ea8eb51d4de66608 (patch) | |
| tree | f56347f8c8d0b7fbfa050d2666f224d5c7a5511b | |
| parent | 7c61b47f177e9b8268cb9d3008574c021fd4464c (diff) | |
| download | gcc-712a93d637f8f49194b756d5ea8eb51d4de66608.zip gcc-712a93d637f8f49194b756d5ea8eb51d4de66608.tar.gz gcc-712a93d637f8f49194b756d5ea8eb51d4de66608.tar.bz2 | |
re PR tree-optimization/68961 (Test case gcc.target/powerpc/pr60203.c fails since r231674)
2016-07-12 Richard Biener <rguenther@suse.de>
PR rtl-optimization/68961
* fwprop.c (propagate_rtx): Allow SUBREGs of VEC_CONCAT and CONCAT
to simplify to a non-constant.
* gcc.target/i386/pr68961.c: New testcase.
From-SVN: r238238
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/fwprop.c | 9 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.target/i386/pr68961.c | 19 |
4 files changed, 39 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 7252ef8..3c9432a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2016-07-12 Richard Biener <rguenther@suse.de> + + PR rtl-optimization/68961 + * fwprop.c (propagate_rtx): Allow SUBREGs of VEC_CONCAT and CONCAT + to simplify to a non-constant. + 2016-07-11 Jakub Jelinek <jakub@redhat.com> PR middle-end/71758 diff --git a/gcc/fwprop.c b/gcc/fwprop.c index 7834bca..88cfefb 100644 --- a/gcc/fwprop.c +++ b/gcc/fwprop.c @@ -619,6 +619,15 @@ propagate_rtx_1 (rtx *px, rtx old_rtx, rtx new_rtx, int flags) *px = tem; + /* Allow replacements that simplify operations on a vector or complex + value to a component. The most prominent case is + (subreg ([vec_]concat ...)). */ + if (REG_P (tem) && !HARD_REGISTER_P (tem) + && (VECTOR_MODE_P (GET_MODE (new_rtx)) + || COMPLEX_MODE_P (GET_MODE (new_rtx))) + && GET_MODE (tem) == GET_MODE_INNER (GET_MODE (new_rtx))) + return true; + /* The replacement we made so far is valid, if all of the recursive replacements were valid, or we could simplify everything to a constant. */ diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a171ad8..f524bda 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2016-07-12 Richard Biener <rguenther@suse.de> + + PR rtl-optimization/68961 + * gcc.target/i386/pr68961.c: New testcase. + 2016-07-11 Jakub Jelinek <jakub@redhat.com> PR middle-end/71758 diff --git a/gcc/testsuite/gcc.target/i386/pr68961.c b/gcc/testsuite/gcc.target/i386/pr68961.c new file mode 100644 index 0000000..ef379c4 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr68961.c @@ -0,0 +1,19 @@ +/* { dg-do compile { target lp64 } } */ +/* { dg-options "-O3 -fno-vect-cost-model -fdump-tree-slp2-details" } */ + +struct x { double d[2]; }; + +struct x +pack (double a, double aa) +{ + struct x u; + u.d[0] = a; + u.d[1] = aa; + return u; +} + +/* The function should be optimized to just return as arguments and + result exactly overlap even when previously vectorized. */ + +/* { dg-final { scan-tree-dump "basic block vectorized" "slp2" } } */ +/* { dg-final { scan-assembler-not "mov" } } */ |