git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix 34826 

From-SVN: r131604
This commit is contained in:
Mircea Namolaru 2008-01-17 17:49:32 +00:00 committed by Revital Eres
parent 599824d24a
commit 806631075b
2 changed files with 19 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
2008-01-17 Mircea Namolaru <namolaru@il.ibm.com>
PR rtl-optimization/34826
* loop-doloop (doloop_modify): Update the REG_BR_PROB note.
2008-01-17 Andreas Krebbel <krebbel1@de.ibm.com>
* global.c (find_reg): Mark the eh regs as used if necessary.

14
gcc/loop-doloop.c
View File

@ -348,6 +348,7 @@ doloop_modify (struct loop *loop, struct niter_desc *desc,
bool increment_count;
basic_block loop_end = desc->out_edge->src;
enum machine_mode mode;
rtx true_prob_val;
jump_insn = BB_END (loop_end);
@ -361,6 +362,10 @@ doloop_modify (struct loop *loop, struct niter_desc *desc,
fputs (" iterations).\n", dump_file);
}
/* Get the probabilty of the original branch. If it exists we would
need to update REG_BR_PROB of the new jump_insn. */
true_prob_val = find_reg_note (jump_insn, REG_BR_PROB, NULL_RTX);
/* Discard original jump to continue loop. The original compare
result may still be live, so it cannot be discarded explicitly. */
delete_insn (jump_insn);
@ -516,6 +521,15 @@ doloop_modify (struct loop *loop, struct niter_desc *desc,
REG_NOTES (jump_insn)
= gen_rtx_EXPR_LIST (REG_NONNEG, NULL_RTX, REG_NOTES (jump_insn));
}
/* Update the REG_BR_PROB note. */
if (true_prob_val)
{
/* Seems safer to use the branch probability. */
REG_NOTES (jump_insn) =
gen_rtx_EXPR_LIST (REG_BR_PROB,
GEN_INT (desc->in_edge->probability),
REG_NOTES (jump_insn));
}
}
/* Process loop described by LOOP validating that the loop is suitable for