diff options
| -rw-r--r-- | gcc/ChangeLog | 2 | ||||
| -rw-r--r-- | gcc/config/bfin/bfin.c | 15 |
2 files changed, 17 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e0c5c35..5cd0d1f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,7 @@ 2008-05-16 Bernd Schmidt <bernd.schmidt@analog.com> + * config/bfin/bfin.c (bfin_discover_loops): Delete empty loops. + From Jie Zhang <jie.zhang@analog.com> * config/bfin/t-bfin-elf (MULTILIB_OPTIONS, MULTILIB_DIRNAMES, MULTILIB_MATCHES, MULTILIB_EXCEPTIONS): Remove mcpu=bf532-0.3, diff --git a/gcc/config/bfin/bfin.c b/gcc/config/bfin/bfin.c index d24570f..d6506b6 100644 --- a/gcc/config/bfin/bfin.c +++ b/gcc/config/bfin/bfin.c @@ -4218,8 +4218,23 @@ bfin_discover_loops (bitmap_obstack *stack, FILE *dump_file) if (INSN_P (tail) && recog_memoized (tail) == CODE_FOR_loop_end) { + rtx insn; /* A possible loop end */ + /* There's a degenerate case we can handle - an empty loop consisting + of only a back branch. Handle that by deleting the branch. */ + insn = BB_HEAD (BRANCH_EDGE (bb)->dest); + if (next_real_insn (insn) == tail) + { + if (dump_file) + { + fprintf (dump_file, ";; degenerate loop ending at\n"); + print_rtl_single (dump_file, tail); + } + delete_insn_and_edges (tail); + continue; + } + loop = XNEW (struct loop_info); loop->next = loops; loops = loop; |