diff options
| author | Richard Guenther <rguenther@suse.de> | 2012-09-04 09:28:58 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2012-09-04 09:28:58 +0000 |
| commit | a8886f7d1859cebce5db37598c4bae54cc51db1d (patch) | |
| tree | fa175b9596e8734f22e4875c7fe68cff105f80e9 /gcc/tree-ssa-threadupdate.c | |
| parent | cee8f252d70e664c198070ef60ddc15d06176dad (diff) | |
| download | gcc-a8886f7d1859cebce5db37598c4bae54cc51db1d.zip gcc-a8886f7d1859cebce5db37598c4bae54cc51db1d.tar.gz gcc-a8886f7d1859cebce5db37598c4bae54cc51db1d.tar.bz2 | |
re PR tree-optimization/54458 (ICE get_loop_body, at cfgloop.c:830)
2012-09-04 Richard Guenther <rguenther@suse.de>
PR tree-optimization/54458
* tree-ssa-threadupdate.c (thread_through_loop_header): If we
turn the loop into one with multiple latches mark it so.
* gcc.dg/torture/pr54458.c: New testcase.
From-SVN: r190918
Diffstat (limited to 'gcc/tree-ssa-threadupdate.c')
| -rw-r--r-- | gcc/tree-ssa-threadupdate.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/tree-ssa-threadupdate.c b/gcc/tree-ssa-threadupdate.c index 86ad74f..30336a1 100644 --- a/gcc/tree-ssa-threadupdate.c +++ b/gcc/tree-ssa-threadupdate.c @@ -1037,11 +1037,21 @@ thread_through_loop_header (struct loop *loop, bool may_peel_loop_headers) } free (bblocks); + /* If the new header has multiple latches mark it so. */ + FOR_EACH_EDGE (e, ei, loop->header->preds) + if (e->src->loop_father == loop + && e->src != loop->latch) + { + loop->latch = NULL; + loops_state_set (LOOPS_MAY_HAVE_MULTIPLE_LATCHES); + } + /* Cancel remaining threading requests that would make the loop a multiple entry loop. */ FOR_EACH_EDGE (e, ei, header->preds) { edge e2; + if (e->aux == NULL) continue; |