From 925e86094f7ee4aa04dd04cd04f7deb2348b392f Mon Sep 17 00:00:00 2001 From: steven Date: Mon, 12 Nov 2012 20:21:59 +0000 Subject: gcc/ PR rtl-optimization/51447 * df-scan.c (df_get_entry_block_def_set): Add global regs to the set. * df-problems.c (df_lr_local_compute): Make global regs always live. * dce.c (deletable_insn_p): Make insns setting a global reg inherently necessary. testsuite/ PR rtl-optimization/51447 * gcc.c-torture/execute/pr51447.c: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193453 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/df-problems.c | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'gcc/df-problems.c') diff --git a/gcc/df-problems.c b/gcc/df-problems.c index 3f9228dc53a..452926128fc 100644 --- a/gcc/df-problems.c +++ b/gcc/df-problems.c @@ -931,7 +931,7 @@ df_lr_bb_local_compute (unsigned int bb_index) static void df_lr_local_compute (bitmap all_blocks ATTRIBUTE_UNUSED) { - unsigned int bb_index; + unsigned int bb_index, i; bitmap_iterator bi; bitmap_clear (&df->hardware_regs_used); @@ -939,6 +939,11 @@ df_lr_local_compute (bitmap all_blocks ATTRIBUTE_UNUSED) /* The all-important stack pointer must always be live. */ bitmap_set_bit (&df->hardware_regs_used, STACK_POINTER_REGNUM); + /* Global regs are always live, too. */ + for (i = 0; i < FIRST_PSEUDO_REGISTER; i++) + if (global_regs[i]) + bitmap_set_bit (&df->hardware_regs_used, i); + /* Before reload, there are a few registers that must be forced live everywhere -- which might not already be the case for blocks within infinite loops. */ -- cgit v1.2.1