diff options
| author | Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz> | 2003-12-27 20:51:17 +0100 |
|---|---|---|
| committer | Zdenek Dvorak <rakdver@gcc.gnu.org> | 2003-12-27 19:51:17 +0000 |
| commit | bf86d71e8a312406735aad4139b5bf7e680b8e83 (patch) | |
| tree | c1ac3d0e9b92e39c461d328f289b2cec68f64955 | |
| parent | 9bd85baa69e57d5363fb9e059cc8f12464ad4379 (diff) | |
| download | gcc-bf86d71e8a312406735aad4139b5bf7e680b8e83.zip gcc-bf86d71e8a312406735aad4139b5bf7e680b8e83.tar.gz gcc-bf86d71e8a312406735aad4139b5bf7e680b8e83.tar.bz2 | |
re PR rtl-optimization/13159 (FAIL: gcc.c-torture/compile/930621-1.c)
PR opt/13159
* cfgloopanal.c (mark_irreducible_loops): Fix the strongly connected
components detection.
* loop-unswitch.c (unswitch_loop): Preserve simple preheaders.
* gcc.c-torture/compile/20031227-1.c: New test.
From-SVN: r75174
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/cfgloopanal.c | 2 | ||||
| -rw-r--r-- | gcc/loop-unswitch.c | 4 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/20031227-1.c | 17 |
5 files changed, 33 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b4e12f3..cbd6f4b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2003-12-27 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz> + + PR opt/13159 + * cfgloopanal.c (mark_irreducible_loops): Fix the strongly connected + components detection. + * loop-unswitch.c (unswitch_loop): Preserve simple preheaders. + 2003-12-27 Bernardo Innocenti <bernie@develer.com> * config/m68k/uclinux.h (LIB_SPEC): Add elf2flt magic required for diff --git a/gcc/cfgloopanal.c b/gcc/cfgloopanal.c index 3d6e69e..74cebe0 100644 --- a/gcc/cfgloopanal.c +++ b/gcc/cfgloopanal.c @@ -1247,7 +1247,7 @@ mark_irreducible_loops (struct loops *loops) : e->dest->index + 1; if (closed[sidx]) { - if (!closed[mri[sidx]]) + if (mri[sidx] != -1 && !closed[mri[sidx]]) { if (mr[sidx] < mr[idx]) { diff --git a/gcc/loop-unswitch.c b/gcc/loop-unswitch.c index f276b73..25728c2 100644 --- a/gcc/loop-unswitch.c +++ b/gcc/loop-unswitch.c @@ -402,5 +402,9 @@ unswitch_loop (struct loops *loops, struct loop *loop, basic_block unswitch_on) fix_loop_placement (loop); fix_loop_placement (nloop); + /* Preserve the simple loop preheaders. */ + loop_split_edge_with (loop_preheader_edge (loop), NULL_RTX, loops); + loop_split_edge_with (loop_preheader_edge (nloop), NULL_RTX, loops); + return nloop; } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e0086f4..b124d13 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2003-12-27 Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz> + + * gcc.c-torture/compile/20031227-1.c: New test. + 2003-12-23 Mark Mitchell <mark@codesourcery.com> * g++.dg/bprob/bprob.exp: Load target-supports.exp diff --git a/gcc/testsuite/gcc.c-torture/compile/20031227-1.c b/gcc/testsuite/gcc.c-torture/compile/20031227-1.c new file mode 100644 index 0000000..41597bd --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/20031227-1.c @@ -0,0 +1,17 @@ +/* PR opt/13159 -- test unswitching a loop multiple times. */ + +void +foo (void) +{ + long j, k, p, g; + + while (p) + { + while (k < 0 && j < 0) + ; + if (g) + ; + else if (g) + ; + } +} |