git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

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
This commit is contained in:
Richard Biener 2016-06-07 07:31:40 +00:00 committed by Richard Biener
parent 0f3f94375a
commit 6b80d6fa72
4 changed files with 35 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
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> 2016-06-07 Richard Biener <rguenther@suse.de>
PR middle-end/71423 PR middle-end/71423

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
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> 2016-06-07 Richard Biener <rguenther@suse.de>
PR middle-end/71423 PR middle-end/71423

20
gcc/testsuite/gcc.dg/torture/pr71428.c Normal file
View File

@ -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;
}

6
gcc/tree-ssa-math-opts.c
View File

@ -2164,10 +2164,12 @@ perform_symbolic_merge (gimple *source_stmt1, struct symbolic_number *n1,
struct symbolic_number *n_start; struct symbolic_number *n_start;
tree rhs1 = gimple_assign_rhs1 (source_stmt1); 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); rhs1 = TREE_OPERAND (rhs1, 0);
tree rhs2 = gimple_assign_rhs1 (source_stmt2); 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); rhs2 = TREE_OPERAND (rhs2, 0);
/* Sources are different, cancel bswap if they are not memory location with /* Sources are different, cancel bswap if they are not memory location with