From d5e54bc10671f59d7a38b05023be5c43d0bca771 Mon Sep 17 00:00:00 2001 From: Kazu Hirata Date: Thu, 29 Jan 2009 18:23:21 +0000 Subject: [PATCH] re PR tree-optimization/39007 (-ftree-loop-distribution ICEs) gcc/ PR tree-optimization/39007 * tree-loop-distribution.c (generate_builtin): Use recompute_dominator to compute the immediate dominator of the basic block just after the loop. gcc/testsuite/ PR tree-optimization/39007 * gcc.dg/tree-ssa/pr39007.c: New. From-SVN: r143767 --- gcc/ChangeLog | 7 +++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/tree-ssa/pr39007.c | 13 +++++++++++++ gcc/tree-loop-distribution.c | 4 +++- 4 files changed, 28 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/pr39007.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index a7fc861c1153..1194f97cf0ce 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2009-01-29 Kazu Hirata + + PR tree-optimization/39007 + * tree-loop-distribution.c (generate_builtin): Use + recompute_dominator to compute the immediate dominator of the + basic block just after the loop. + 2008-01-29 Rainer Orth * config/i386/sol2-10.h [!HAVE_AS_IX86_DIFF_SECT_DELTA] diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 942a033f40f9..a52ad85a5d84 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2009-01-29 Kazu Hirata + + PR tree-optimization/39007 + * gcc.dg/tree-ssa/pr39007.c: New. + 2009-01-29 Kenneth Zadeck PR middle-end/35854 diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr39007.c b/gcc/testsuite/gcc.dg/tree-ssa/pr39007.c new file mode 100644 index 000000000000..94b24436d69f --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr39007.c @@ -0,0 +1,13 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -ftree-loop-distribution" } */ + +void +foo (int *__restrict__ p, int *__restrict__ q, int count) +{ + int i; + for (i = 0; i < count; i++) + { + *p++ = 0; + *q++ = 0; + } +} diff --git a/gcc/tree-loop-distribution.c b/gcc/tree-loop-distribution.c index 1463bee93d3b..8eca7c021666 100644 --- a/gcc/tree-loop-distribution.c +++ b/gcc/tree-loop-distribution.c @@ -439,11 +439,13 @@ generate_builtin (struct loop *loop, bitmap partition, bool copy_p) basic_block dest = single_exit (loop)->dest; prop_phis (dest); make_edge (src, dest, EDGE_FALLTHRU); - set_immediate_dominator (CDI_DOMINATORS, dest, src); cancel_loop_tree (loop); for (i = 0; i < nbbs; i++) delete_basic_block (bbs[i]); + + set_immediate_dominator (CDI_DOMINATORS, dest, + recompute_dominator (CDI_DOMINATORS, dest)); } end: -- 2.47.2