middle-end: updating the reg use in exit block for -fzero-call-used-regs [PR100775]

In the pass_zero_call_used_regs, when updating dataflow info after adding
the register zeroing sequence in the epilogue of the function, we should
call "df_update_exit_block_uses" to update the register use information in
the exit block to include all the registers that have been zeroed.

2022-02-10  Qing Zhao  <qing.zhao@oracle.com>

gcc/ChangeLog:

	PR middle-end/100775
	* function.cc (gen_call_used_regs_seq): Call
	df_update_exit_block_uses when updating df.

gcc/testsuite/ChangeLog:

	PR middle-end/100775
	* gcc.target/arm/pr100775.c: New test.
This commit is contained in:
Qing Zhao 2022-02-10 16:40:39 +00:00
parent 53fcc46339
commit b32305b41d
2 changed files with 10 additions and 1 deletions

View File

@ -5941,7 +5941,7 @@ gen_call_used_regs_seq (rtx_insn *ret, unsigned int zero_regs_type)
/* Update the data flow information. */
crtl->must_be_zero_on_return |= zeroed_hardregs;
df_set_bb_dirty (EXIT_BLOCK_PTR_FOR_FN (cfun));
df_update_exit_block_uses ();
}
}

View File

@ -0,0 +1,9 @@
/* { dg-do compile } */
/* { dg-skip-if "" { ! { arm_thumb1_ok || arm_thumb2_ok } } } */
/* { dg-options "-mthumb -fzero-call-used-regs=used" } */
int
foo (int x)
{
return x;
}