Commit 30503f4e by Richard Sandiford Committed by Richard Sandiford

Remove global call sets: regcprop.c

This is a direct replacement of an existing test for fully and
partially clobbered registers.

2019-09-30  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
	* regcprop.c (copyprop_hardreg_forward_1): Use the recorded
	mode of the register when deciding whether it is no longer
	available after a call.

From-SVN: r276331
parent 35b81ea3
2019-09-30 Richard Sandiford <richard.sandiford@arm.com> 2019-09-30 Richard Sandiford <richard.sandiford@arm.com>
* regcprop.c (copyprop_hardreg_forward_1): Use the recorded
mode of the register when deciding whether it is no longer
available after a call.
2019-09-30 Richard Sandiford <richard.sandiford@arm.com>
* recog.c: Include function-abi.h. * recog.c: Include function-abi.h.
(peep2_find_free_register): Use crtl->abi when deciding whether (peep2_find_free_register): Use crtl->abi when deciding whether
a register is free for use after RA. a register is free for use after RA.
......
...@@ -1055,16 +1055,15 @@ copyprop_hardreg_forward_1 (basic_block bb, struct value_data *vd) ...@@ -1055,16 +1055,15 @@ copyprop_hardreg_forward_1 (basic_block bb, struct value_data *vd)
function_abi callee_abi = insn_callee_abi (insn); function_abi callee_abi = insn_callee_abi (insn);
for (regno = 0; regno < FIRST_PSEUDO_REGISTER; regno++) for (regno = 0; regno < FIRST_PSEUDO_REGISTER; regno++)
if ((callee_abi.clobbers_full_reg_p (regno) if (vd->e[regno].mode != VOIDmode
|| (targetm.hard_regno_call_part_clobbered && callee_abi.clobbers_reg_p (vd->e[regno].mode, regno)
(callee_abi.id (), regno, vd->e[regno].mode)))
&& (regno < set_regno || regno >= set_regno + set_nregs)) && (regno < set_regno || regno >= set_regno + set_nregs))
kill_value_regno (regno, 1, vd); kill_value_regno (regno, 1, vd);
/* If SET was seen in CALL_INSN_FUNCTION_USAGE, and SET_SRC /* If SET was seen in CALL_INSN_FUNCTION_USAGE, and SET_SRC
of the SET isn't in regs_invalidated_by_call hard reg set, of the SET isn't clobbered by CALLEE_ABI, but instead among
but instead among CLOBBERs on the CALL_INSN, we could wrongly CLOBBERs on the CALL_INSN, we could wrongly assume the
assume the value in it is still live. */ value in it is still live. */
if (ksvd.ignore_set_reg) if (ksvd.ignore_set_reg)
kill_clobbered_values (insn, vd); kill_clobbered_values (insn, vd);
} }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment