diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2010-11-03 10:49:16 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2010-11-03 10:49:16 +0100 |
| commit | 71056fef3b000a8b1e4793b3aa064c033588908f (patch) | |
| tree | 7b8b7d7ad30b46e210beddd0a1730b34001839c7 | |
| parent | 48215350c24d524b635d6110eca1e70996f5fb82 (diff) | |
| download | gcc-71056fef3b000a8b1e4793b3aa064c033588908f.zip gcc-71056fef3b000a8b1e4793b3aa064c033588908f.tar.gz gcc-71056fef3b000a8b1e4793b3aa064c033588908f.tar.bz2 | |
re PR tree-optimization/46107 (-ftree-loop-distribute-patterns caused verify_loop_structure problem)
PR tree-optimization/46107
* cfgloopmanip.c (loop_version): Set irred_flag back into entry->flags
if cfg_hook_duplicate_loop_to_header_edge failed.
* gcc.c-torture/compile/pr46107.c: New test.
From-SVN: r166234
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/cfgloopmanip.c | 9 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr46107.c | 16 |
4 files changed, 31 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 154ad56..b092477 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2010-11-03 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/46107 + * cfgloopmanip.c (loop_version): Set irred_flag back into entry->flags + if cfg_hook_duplicate_loop_to_header_edge failed. + 2010-11-03 Ian Lance Taylor <iant@google.com> PR lto/46273 diff --git a/gcc/cfgloopmanip.c b/gcc/cfgloopmanip.c index 4363cc5..aa9ab66 100644 --- a/gcc/cfgloopmanip.c +++ b/gcc/cfgloopmanip.c @@ -1,6 +1,6 @@ /* Loop manipulation code for GNU compiler. - Copyright (C) 2002, 2003, 2004, 2005, 2007, 2008, 2009 Free Software - Foundation, Inc. + Copyright (C) 2002, 2003, 2004, 2005, 2007, 2008, 2009, 2010 + Free Software Foundation, Inc. This file is part of GCC. @@ -1538,7 +1538,10 @@ loop_version (struct loop *loop, /* Duplicate loop. */ if (!cfg_hook_duplicate_loop_to_header_edge (loop, entry, 1, NULL, NULL, NULL, 0)) - return NULL; + { + entry->flags |= irred_flag; + return NULL; + } /* After duplication entry edge now points to new loop head block. Note down new head as second_head. */ diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index bb14d86..7af642f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2010-11-03 Jakub Jelinek <jakub@redhat.com> + PR tree-optimization/46107 + * gcc.c-torture/compile/pr46107.c: New test. + PR debug/46252 * gcc.dg/pr46252.c: New test. diff --git a/gcc/testsuite/gcc.c-torture/compile/pr46107.c b/gcc/testsuite/gcc.c-torture/compile/pr46107.c new file mode 100644 index 0000000..41582b8 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr46107.c @@ -0,0 +1,16 @@ +/* PR tree-optimization/46107 */ + +int foo (void) __attribute__ ((noreturn)); + +void +bar (int x, int *y, int z) +{ + static void *j[] = { &&l1, &&l2 }; +l1: + if (*y) + goto *j[z]; + foo (); +l2: + *y ^= (x & 1) ? -1 : 0; + goto *j[x]; +} |