From e30edd6c0f9946001c4f940ae93066eada04743e Mon Sep 17 00:00:00 2001 From: "J\"orn Rennecke" Date: Thu, 24 Nov 2005 19:08:20 +0000 Subject: caller-save.c: (this_insn_sets): Move into: (save_call_clobbered_regs). 2005-11-24 J"orn Rennecke * caller-save.c: (this_insn_sets): Move into: (save_call_clobbered_regs). (mark_set_regs): Get this_insn_sets from data. (save_call_clobbered_regs): Take sets of the return value by sibcalls into account. From-SVN: r107469 --- gcc/ChangeLog | 9 +++++++++ gcc/caller-save.c | 24 +++++++++++++++--------- 2 files changed, 24 insertions(+), 9 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 5d869ab..0b15eeb 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,4 +1,13 @@ 2005-11-24 J"orn Rennecke + + * caller-save.c: (this_insn_sets): Move into: + (save_call_clobbered_regs). + (mark_set_regs): Get this_insn_sets from data. + + (save_call_clobbered_regs): Take sets of the return value by + sibcalls into account. + +2005-11-24 J"orn Rennecke PR target/21623: * regclass.c (FORBIDDEN_INC_DEC_CLASSES): Remove diff --git a/gcc/caller-save.c b/gcc/caller-save.c index b543874..ea85044 100644 --- a/gcc/caller-save.c +++ b/gcc/caller-save.c @@ -83,10 +83,6 @@ static int n_regs_saved; insn. */ static HARD_REG_SET referenced_regs; -/* Computed in mark_set_regs, holds all registers set by the current - instruction. */ -static HARD_REG_SET this_insn_sets; - static void mark_set_regs (rtx, rtx, void *); static void mark_referenced_regs (rtx); @@ -370,6 +366,10 @@ save_call_clobbered_regs (void) struct insn_chain *chain, *next; enum machine_mode save_mode [FIRST_PSEUDO_REGISTER]; + /* Computed in mark_set_regs, holds all registers set by the current + instruction. */ + HARD_REG_SET this_insn_sets; + CLEAR_HARD_REG_SET (hard_regs_saved); n_regs_saved = 0; @@ -448,7 +448,12 @@ save_call_clobbered_regs (void) multi-hard-reg pseudo; then the pseudo is considered live during the call, but the subreg that is set isn't. */ CLEAR_HARD_REG_SET (this_insn_sets); - note_stores (PATTERN (insn), mark_set_regs, NULL); + note_stores (PATTERN (insn), mark_set_regs, &this_insn_sets); + /* Sibcalls are considered to set the return value, + compare flow.c:propagate_one_insn. */ + if (SIBLING_CALL_P (insn) && current_function_return_rtx) + mark_set_regs (current_function_return_rtx, NULL_RTX, + &this_insn_sets); /* Compute which hard regs must be saved before this call. */ AND_COMPL_HARD_REG_SET (hard_regs_to_save, call_fixed_reg_set); @@ -484,16 +489,17 @@ save_call_clobbered_regs (void) } } -/* Here from note_stores when an insn stores a value in a register. +/* Here from note_stores, or directly from save_call_clobbered_regs, when + an insn stores a value in a register. Set the proper bit or bits in this_insn_sets. All pseudos that have been assigned hard regs have had their register number changed already, so we can ignore pseudos. */ static void -mark_set_regs (rtx reg, rtx setter ATTRIBUTE_UNUSED, - void *data ATTRIBUTE_UNUSED) +mark_set_regs (rtx reg, rtx setter ATTRIBUTE_UNUSED, void *data) { int regno, endregno, i; enum machine_mode mode = GET_MODE (reg); + HARD_REG_SET *this_insn_sets = data; if (GET_CODE (reg) == SUBREG) { @@ -511,7 +517,7 @@ mark_set_regs (rtx reg, rtx setter ATTRIBUTE_UNUSED, endregno = regno + hard_regno_nregs[regno][mode]; for (i = regno; i < endregno; i++) - SET_HARD_REG_BIT (this_insn_sets, i); + SET_HARD_REG_BIT (*this_insn_sets, i); } /* Here from note_stores when an insn stores a value in a register. -- cgit v1.1