OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR tree-optimization/58246 (wrong code at -O1 and above) 

2013-08-29  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/58246
	* tree-ssa-dce.c (mark_aliased_reaching_defs_necessary_1): Properly
	handle the dominance check inside a basic-block.

	* gcc.dg/torture/pr58246.c: New testcase.

From-SVN: r202071
This commit is contained in:
Richard Biener 2013-08-29 13:04:19 +00:00 committed by Richard Biener
parent 4860a46271
commit 301bbc1662
4 changed files with 37 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2013-08-29 Richard Biener <rguenther@suse.de>
PR tree-optimization/58246
* tree-ssa-dce.c (mark_aliased_reaching_defs_necessary_1): Properly
handle the dominance check inside a basic-block.
2013-08-29 Richard Biener <rguenther@suse.de>
PR middle-end/57287

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2013-08-29 Richard Biener <rguenther@suse.de>
PR tree-optimization/58246
* gcc.dg/torture/pr58246.c: New testcase.
2013-08-29 Thomas Koenig <tkoenig@gcc.gnu.org>
PR fortran/52243

21
gcc/testsuite/gcc.dg/torture/pr58246.c Normal file
View File

@ -0,0 +1,21 @@
/* { dg-do run } */
extern void abort (void);
int a, b;
int main ()
{
int t[2] = {1,1};
for (a = 0; a < 2; a++)
{
b ^= t[a];
t[a] = t[1] = 0;
}
if (b != 1)
abort ();
return 0;
}

5
gcc/tree-ssa-dce.c
View File

@ -574,6 +574,11 @@ mark_aliased_reaching_defs_necessary_1 (ao_ref *ref, tree vdef, void *data)
in the references (gcc.c-torture/execute/pr42142.c).
The simplest way is to check if the kill dominates
the use. */
/* But when both are in the same block we cannot
easily tell whether we came from a backedge
unless we decide to compute stmt UIDs
(see PR58246). */
&& (basic_block) data != gimple_bb (def_stmt)
&& dominated_by_p (CDI_DOMINATORS, (basic_block) data,
gimple_bb (def_stmt))
&& operand_equal_p (ref->ref, lhs, 0))