diff options
author | Richard Biener <rguenther@suse.de> | 2016-06-07 07:31:40 +0000 |
---|---|---|
committer | Richard Biener <rguenth@gcc.gnu.org> | 2016-06-07 07:31:40 +0000 |
commit | 6b80d6fa72d99c5531ba8607bf2483e94a3b0a3d (patch) | |
tree | 6ecaf37186bbcea2e7b4a966938060136e61cc60 /gcc | |
parent | 0f3f94375a989a45df3c315789f0fc62bbf39989 (diff) | |
download | gcc-6b80d6fa72d99c5531ba8607bf2483e94a3b0a3d.zip gcc-6b80d6fa72d99c5531ba8607bf2483e94a3b0a3d.tar.gz gcc-6b80d6fa72d99c5531ba8607bf2483e94a3b0a3d.tar.bz2 |
re PR tree-optimization/71428 (wrong code with -Os -fno-tree-forwprop (breaks in the .bswap dump))
2016-06-07 Richard Biener <rguenther@suse.de>
PR tree-optimization/71428
* tree-ssa-math-opts.c (perform_symbolic_merge): Properly distinguish
BIT_FIELD_REF op vs. load.
* gcc.dg/torture/pr71428.c: New testcase.
From-SVN: r237167
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ChangeLog | 6 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr71428.c | 20 | ||||
-rw-r--r-- | gcc/tree-ssa-math-opts.c | 6 |
4 files changed, 35 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 878ee3a..16e41e2 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 2016-06-07 Richard Biener <rguenther@suse.de> + PR tree-optimization/71428 + * tree-ssa-math-opts.c (perform_symbolic_merge): Properly distinguish + BIT_FIELD_REF op vs. load. + +2016-06-07 Richard Biener <rguenther@suse.de> + PR middle-end/71423 * match.pd ((X | ~Y) -> Y <= X): Properly invert the comparison for signed ops. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 52bb629..d7d651c 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2016-06-07 Richard Biener <rguenther@suse.de> + PR tree-optimization/71428 + * gcc.dg/torture/pr71428.c: New testcase. + +2016-06-07 Richard Biener <rguenther@suse.de> + PR middle-end/71423 * gcc.dg/torture/pr71423.c: New testcase. diff --git a/gcc/testsuite/gcc.dg/torture/pr71428.c b/gcc/testsuite/gcc.dg/torture/pr71428.c new file mode 100644 index 0000000..b951fcd --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr71428.c @@ -0,0 +1,20 @@ +/* { dg-do run } */ +/* { dg-additional-options "-fno-tree-forwprop -Wno-psabi -w" } */ + +typedef unsigned short v64u16 __attribute__ ((vector_size (64))); + +v64u16 +foo (v64u16 p1) +{ + p1[31] |= p1[1]; + return p1; +} + +int +main () +{ + v64u16 x = foo ((v64u16){ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1 }); + if (x[31] != 1) + __builtin_abort(); + return 0; +} diff --git a/gcc/tree-ssa-math-opts.c b/gcc/tree-ssa-math-opts.c index 0b0c866..513ef0b 100644 --- a/gcc/tree-ssa-math-opts.c +++ b/gcc/tree-ssa-math-opts.c @@ -2164,10 +2164,12 @@ perform_symbolic_merge (gimple *source_stmt1, struct symbolic_number *n1, struct symbolic_number *n_start; tree rhs1 = gimple_assign_rhs1 (source_stmt1); - if (TREE_CODE (rhs1) == BIT_FIELD_REF) + if (TREE_CODE (rhs1) == BIT_FIELD_REF + && TREE_CODE (TREE_OPERAND (rhs1, 0)) == SSA_NAME) rhs1 = TREE_OPERAND (rhs1, 0); tree rhs2 = gimple_assign_rhs1 (source_stmt2); - if (TREE_CODE (rhs2) == BIT_FIELD_REF) + if (TREE_CODE (rhs2) == BIT_FIELD_REF + && TREE_CODE (TREE_OPERAND (rhs2, 0)) == SSA_NAME) rhs2 = TREE_OPERAND (rhs2, 0); /* Sources are different, cancel bswap if they are not memory location with |