From 10e1bdb2723bfd322516ebf76432b6f927a478e2 Mon Sep 17 00:00:00 2001 From: Tom de Vries Date: Fri, 30 May 2014 08:43:05 +0000 Subject: -fuse-caller-save - Support in lra 2014-05-30 Tom de Vries * lra-int.h (struct lra_reg): Add field actual_call_used_reg_set. * lra.c (initialize_lra_reg_info_element): Add init of actual_call_used_reg_set field. (lra): Call lra_create_live_ranges before lra_inheritance for -fuse-caller-save. * lra-assigns.c (lra_assign): Allow call_used_regs to cross calls for -fuse-caller-save. * lra-constraints.c (need_for_call_save_p): Use actual_call_used_reg_set instead of call_used_reg_set for -fuse-caller-save. * lra-lives.c (process_bb_lives): Calculate actual_call_used_reg_set. From-SVN: r211074 --- gcc/lra-assigns.c | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) (limited to 'gcc/lra-assigns.c') diff --git a/gcc/lra-assigns.c b/gcc/lra-assigns.c index f7bb86b..03c2506 100644 --- a/gcc/lra-assigns.c +++ b/gcc/lra-assigns.c @@ -1460,12 +1460,13 @@ lra_assign (void) create_live_range_start_chains (); setup_live_pseudos_and_spill_after_risky_transforms (&all_spilled_pseudos); #ifdef ENABLE_CHECKING - for (i = FIRST_PSEUDO_REGISTER; i < max_regno; i++) - if (lra_reg_info[i].nrefs != 0 && reg_renumber[i] >= 0 - && lra_reg_info[i].call_p - && overlaps_hard_reg_set_p (call_used_reg_set, - PSEUDO_REGNO_MODE (i), reg_renumber[i])) - gcc_unreachable (); + if (!flag_use_caller_save) + for (i = FIRST_PSEUDO_REGISTER; i < max_regno; i++) + if (lra_reg_info[i].nrefs != 0 && reg_renumber[i] >= 0 + && lra_reg_info[i].call_p + && overlaps_hard_reg_set_p (call_used_reg_set, + PSEUDO_REGNO_MODE (i), reg_renumber[i])) + gcc_unreachable (); #endif /* Setup insns to process on the next constraint pass. */ bitmap_initialize (&changed_pseudo_bitmap, ®_obstack); -- cgit v1.1