From: Kazu Hirata Date: Thu, 29 Jan 2009 18:23:21 +0000 (+0000) Subject: re PR tree-optimization/39007 (-ftree-loop-distribution ICEs) X-Git-Tag: releases/gcc-4.4.0~706 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d5e54bc10671f59d7a38b05023be5c43d0bca771;p=thirdparty%2Fgcc.git 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 --- 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: