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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 24f73f819f5a5f5da3361aade0fb5c9319ecd731..d1534e472c5e433365a36cacdeb39b0d26a106d7 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+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.

diff --git a/gcc/regcprop.c b/gcc/regcprop.c
index 0bdd6b918150d2591b5c33c34d32b9652c4d12dc..87cc394ecf33308d8cbd8347e220649ec597403e 100644 (file)
--- a/gcc/regcprop.c
+++ b/gcc/regcprop.c
@@ -1055,16 +1055,15 @@ copyprop_hardreg_forward_1 (basic_block bb, struct value_data *vd)
 
          function_abi callee_abi = insn_callee_abi (insn);
          for (regno = 0; regno < FIRST_PSEUDO_REGISTER; regno++)
-           if ((callee_abi.clobbers_full_reg_p (regno)
-                || (targetm.hard_regno_call_part_clobbered
-                    (callee_abi.id (), regno, vd->e[regno].mode)))
+           if (vd->e[regno].mode != VOIDmode
+               && callee_abi.clobbers_reg_p (vd->e[regno].mode, regno)
                && (regno < set_regno || regno >= set_regno + set_nregs))
              kill_value_regno (regno, 1, vd);
 
          /* 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,
-            but instead among CLOBBERs on the CALL_INSN, we could wrongly
-            assume the value in it is still live.  */
+            of the SET isn't clobbered by CALLEE_ABI, but instead among
+            CLOBBERs on the CALL_INSN, we could wrongly assume the
+            value in it is still live.  */
          if (ksvd.ignore_set_reg)
            kill_clobbered_values (insn, vd);
        }