[17/32] Remove global call sets: gcse.c
diff mbox series

Message ID mpth85iwsug.fsf@arm.com
State New
Headers show
  • Support multiple ABIs in the same translation unit
Related show

Commit Message

Richard Sandiford Sept. 11, 2019, 7:11 p.m. UTC
This is another case in which we can conservatively treat partial
kills as full kills.  Again this is in principle a bug fix for
it probably doesn't make a difference.

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

	* gcse.c: Include function-abi.h.
	(compute_hash_table_work): Use call_insn_abi to get the ABI of
	the call insn target.  Invalidate partially call-clobbered
	registers as well as fully call-clobbered ones.

diff mbox series

Index: gcc/gcse.c
--- gcc/gcse.c	2019-09-09 18:58:51.468270740 +0100
+++ gcc/gcse.c	2019-09-11 19:48:23.453846664 +0100
@@ -160,6 +160,7 @@  Software Foundation; either version 3, o
 #include "dbgcnt.h"
 #include "gcse.h"
 #include "gcse-common.h"
+#include "function-abi.h"
 /* We support GCSE via Partial Redundancy Elimination.  PRE optimizations
    are a superset of those done by classic GCSE.
@@ -1527,9 +1528,14 @@  compute_hash_table_work (struct gcse_has
 	  if (CALL_P (insn))
+	      function_abi abi = call_insn_abi (insn);
 	      hard_reg_set_iterator hrsi;
-	      EXECUTE_IF_SET_IN_HARD_REG_SET (regs_invalidated_by_call,
-					      0, regno, hrsi)
+	      /* We don't track modes of hard registers, so we need
+		 to be conservative and assume that partial kills
+		 are full kills.  */
+	      const_hard_reg_set clob = abi.full_and_partial_reg_clobbers ();
+	      EXECUTE_IF_SET_IN_HARD_REG_SET (clob, 0, regno, hrsi)
 		record_last_reg_set_info (insn, regno);
 	      if (! RTL_CONST_OR_PURE_CALL_P (insn)