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

re PR tree-optimization/87328 (ICE in do_rpo_vn, at tree-ssa-sccvn.c:6566)

Browse Source 
2018-09-17  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/87328
	* tree-ssa-sccvn.c (process_bb): Remove assertion about not
	visiting unexecutable backedges when not iterating.
	(do_rpo_vn): Mark all edges not executable even when not
	iterating.

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

From-SVN: r264369
This commit is contained in:
Richard Biener 2018-09-17 13:28:04 +00:00 committed by Richard Biener
parent 80c6d1f446
commit 5d721887ef
4 changed files with 39 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
gcc/ChangeLog
View File

@ -1,3 +1,11 @@
2018-09-17 Richard Biener <rguenther@suse.de>
PR tree-optimization/87328
* tree-ssa-sccvn.c (process_bb): Remove assertion about not
visiting unexecutable backedges when not iterating.
(do_rpo_vn): Mark all edges not executable even when not
iterating.
2018-09-17 Martin Jambor <mjambor@suse.cz> 2018-09-17 Martin Jambor <mjambor@suse.cz>
PR c/63886 PR c/63886

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2018-09-17 Richard Biener <rguenther@suse.de>
PR tree-optimization/87328
* gcc.dg/torture/pr87328.c: New testcase.
2018-09-17 Martin Jambor <mjambor@suse.cz> 2018-09-17 Martin Jambor <mjambor@suse.cz>
PR c/63886 PR c/63886

25
gcc/testsuite/gcc.dg/torture/pr87328.c Normal file
View File

@ -0,0 +1,25 @@
/* { dg-do compile } */
/* { dg-additional-options "-fno-tree-ccp -fno-tree-forwprop" } */
void
tp (void)
{
int qt;
qt = 0;
if (qt != 0)
{
if (0)
{
h5:
qt = 0;
while (qt < 1)
{
}
}
++qt;
}
goto h5;
}

8
gcc/tree-ssa-sccvn.c
View File

@ -5978,7 +5978,6 @@ process_bb (rpo_elim &avail, basic_block bb,
fprintf (dump_file, fprintf (dump_file,
"marking outgoing edge %d -> %d executable\n", "marking outgoing edge %d -> %d executable\n",
e->src->index, e->dest->index); e->src->index, e->dest->index);
gcc_checking_assert (iterate || !(e->flags & EDGE_DFS_BACK));
e->flags |= EDGE_EXECUTABLE; e->flags |= EDGE_EXECUTABLE;
e->dest->flags |= BB_EXECUTABLE; e->dest->flags |= BB_EXECUTABLE;
} }
@ -6125,7 +6124,6 @@ process_bb (rpo_elim &avail, basic_block bb,
"marking known outgoing %sedge %d -> %d executable\n", "marking known outgoing %sedge %d -> %d executable\n",
e->flags & EDGE_DFS_BACK ? "back-" : "", e->flags & EDGE_DFS_BACK ? "back-" : "",
e->src->index, e->dest->index); e->src->index, e->dest->index);
gcc_checking_assert (iterate || !(e->flags & EDGE_DFS_BACK));
e->flags |= EDGE_EXECUTABLE; e->flags |= EDGE_EXECUTABLE;
e->dest->flags |= BB_EXECUTABLE; e->dest->flags |= BB_EXECUTABLE;
} }
@ -6148,7 +6146,6 @@ process_bb (rpo_elim &avail, basic_block bb,
fprintf (dump_file, fprintf (dump_file,
"marking outgoing edge %d -> %d executable\n", "marking outgoing edge %d -> %d executable\n",
e->src->index, e->dest->index); e->src->index, e->dest->index);
gcc_checking_assert (iterate || !(e->flags & EDGE_DFS_BACK));
e->flags |= EDGE_EXECUTABLE; e->flags |= EDGE_EXECUTABLE;
e->dest->flags |= BB_EXECUTABLE; e->dest->flags |= BB_EXECUTABLE;
} }
@ -6390,10 +6387,7 @@ do_rpo_vn (function *fn, edge entry, bitmap exit_bbs,
{ {
if (e->flags & EDGE_DFS_BACK) if (e->flags & EDGE_DFS_BACK)
has_backedges = true; has_backedges = true;
if (! iterate && (e->flags & EDGE_DFS_BACK)) e->flags &= ~EDGE_EXECUTABLE;
e->flags |= EDGE_EXECUTABLE;
else
e->flags &= ~EDGE_EXECUTABLE;
if (e == entry) if (e == entry)
continue; continue;
if (bb_to_rpo[e->src->index] > i) if (bb_to_rpo[e->src->index] > i)