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

Ignore EDGE_{DFS_BACK,EXECUTABLE} in tail-merge

Browse Source 
2017-07-03  Tom de Vries  <tom@codesourcery.com>

	PR tree-optimization/69468
	* tree-ssa-tail-merge.c (ignore_edge_flags): New constant.
	(find_same_succ_bb): Handle ignore_edge_flags.

	* gcc.dg/pr81192.c: Update.

From-SVN: r249895
This commit is contained in:
Tom de Vries 2017-07-03 07:23:01 +00:00 committed by Tom de Vries
parent 4752be4637
commit be086ff50c
4 changed files with 15 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 @@
2017-07-03 Tom de Vries <tom@codesourcery.com>
PR tree-optimization/69468
* tree-ssa-tail-merge.c (ignore_edge_flags): New constant.
(find_same_succ_bb): Handle ignore_edge_flags.
2017-07-03 Tom de Vries <tom@codesourcery.com>
PR tree-optimization/81192

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2017-07-03 Tom de Vries <tom@codesourcery.com>
PR tree-optimization/69468
* gcc.dg/pr81192.c: Update.
2017-07-03 Tom de Vries <tom@codesourcery.com>
PR tree-optimization/81192

2
gcc/testsuite/gcc.dg/pr81192.c
View File

@ -19,4 +19,4 @@ fn2 (void)
;
}
/* { dg-final { scan-tree-dump-not "(?n)find_duplicates: <bb .*> duplicate of <bb .*>" "pre" } } */
/* { dg-final { scan-tree-dump-times "(?n)find_duplicates: <bb .*> duplicate of <bb .*>" 1 "pre" } } */

4
gcc/tree-ssa-tail-merge.c
View File

@ -207,6 +207,8 @@ along with GCC; see the file COPYING3. If not see
#include "tree-eh.h"
#include "tree-cfgcleanup.h"
const int ignore_edge_flags = EDGE_DFS_BACK | EDGE_EXECUTABLE;
/* Describes a group of bbs with the same successors. The successor bbs are
cached in succs, and the successor edge flags are cached in succ_flags.
If a bb has the EDGE_TRUE/FALSE_VALUE flags swapped compared to succ_flags,
@ -707,7 +709,7 @@ find_same_succ_bb (basic_block bb, same_succ **same_p)
{
int index = e->dest->index;
bitmap_set_bit (same->succs, index);
same_succ_edge_flags[index] = e->flags;
same_succ_edge_flags[index] = (e->flags & ~ignore_edge_flags);
}
EXECUTE_IF_SET_IN_BITMAP (same->succs, 0, j, bj)
same->succ_flags.safe_push (same_succ_edge_flags[j]);