This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[lra] a patch to fix last testsuite regression on x86/x86-64
- From: Vladimir Makarov <vmakarov at redhat dot com>
- To: gcc-patches <gcc-patches at gcc dot gnu dot org>
- Date: Thu, 28 Jun 2012 14:06:39 -0400
- Subject: [lra] a patch to fix last testsuite regression on x86/x86-64
The following patch fixes last GCC testsuite regression (in comparison
with reload) on x86/x86-64 after last merge of trunk into lra.
The patch actually implements recent Bernd's optimization (restoring an
argument pseudo value from the call result) in LRA.
The patch was successfully bootstrapped on x86/x86-64.
Committed as rev. 189051.
2012-06-28 Vladimir Makarov <vmakarov@redhat.com>
* lra-constraints.c (inherit_in_ebb): Implement restoring argument
pseudo value from the call result.
Index: lra-constraints.c
===================================================================
--- lra-constraints.c (revision 189016)
+++ lra-constraints.c (working copy)
@@ -4344,7 +4344,7 @@ inherit_in_ebb (rtx head, rtx tail)
{
int i, src_regno, dst_regno;
bool change_p, succ_p;
- rtx prev_insn, next_usage_insns, set, first_insn, last_insn, next_insn;
+ rtx prev_insn, next_usage_insns, set, first_insn, last_insn, next_insn;
enum reg_class cl;
struct lra_insn_reg *reg;
basic_block last_processed_bb, curr_bb = NULL;
@@ -4354,7 +4354,6 @@ inherit_in_ebb (rtx head, rtx tail)
bitmap_iterator bi;
bool head_p, after_p;
-
change_p = false;
curr_usage_insns_check++;
reloads_num = calls_num = 0;
@@ -4536,7 +4535,41 @@ inherit_in_ebb (rtx head, rtx tail)
to_inherit[i].insns))
change_p = true;
if (CALL_P (curr_insn))
- calls_num++;
+ {
+ rtx cheap, pat, dest, restore;
+ int regno, hard_regno;
+
+ calls_num++;
+ if ((cheap = find_reg_note (curr_insn,
+ REG_RETURNED, NULL_RTX)) != NULL_RTX
+ && ((cheap = XEXP (cheap, 0)), true)
+ && (regno = REGNO (cheap)) >= FIRST_PSEUDO_REGISTER
+ && (hard_regno = reg_renumber[regno]) >= 0
+ /* If there are pending saves/restores, the
+ optimization is not worth. */
+ && usage_insns[regno].calls_num == calls_num - 1
+ && TEST_HARD_REG_BIT (call_used_reg_set, hard_regno))
+ {
+ /* Restore the pseudo from the call result as
+ REG_RETURNED note says that the pseudo value is
+ in the call result and the pseudo is an argument
+ of the call. */
+ pat = PATTERN (curr_insn);
+ if (GET_CODE (pat) == PARALLEL)
+ pat = XVECEXP (pat, 0, 0);
+ dest = SET_DEST (pat);
+ start_sequence ();
+ emit_move_insn (cheap, copy_rtx (dest));
+ restore = get_insns ();
+ end_sequence ();
+ lra_process_new_insns (curr_insn, NULL, restore,
+ "Inserting call parameter restore");
+ /* We don't need to save/restore of the pseudo from
+ this call. */
+ usage_insns[regno].calls_num = calls_num;
+ bitmap_set_bit (&check_only_regs, regno);
+ }
+ }
to_inherit_num = 0;
/* Process insn usages. */
for (reg = curr_id->regs; reg != NULL; reg = reg->next)