From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2028) id C1140395200C; Wed, 16 Mar 2022 20:21:02 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org C1140395200C MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Qing Zhao To: gcc-cvs@gcc.gnu.org Subject: [gcc r11-9663] middle-end/100775 - updating the reg use in exit block for -fzero-call-used-regs X-Act-Checkin: gcc X-Git-Author: Qing Zhao X-Git-Refname: refs/heads/releases/gcc-11 X-Git-Oldrev: 6a1150d1524aeda3381b2171712e1a6611d441d6 X-Git-Newrev: 9b1faeb5bfef258780e313aa8302a43f98f3b442 Message-Id: <20220316202102.C1140395200C@sourceware.org> Date: Wed, 16 Mar 2022 20:21:02 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 16 Mar 2022 20:21:02 -0000 https://gcc.gnu.org/g:9b1faeb5bfef258780e313aa8302a43f98f3b442 commit r11-9663-g9b1faeb5bfef258780e313aa8302a43f98f3b442 Author: Qing Zhao Date: Wed Mar 16 20:18:54 2022 +0000 middle-end/100775 - updating the reg use in exit block for -fzero-call-used-regs GCC11 backport. 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. gcc/ChangeLog: PR middle-end/100775 * function.c (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. Diff: --- gcc/function.c | 2 +- gcc/testsuite/gcc.target/arm/pr100775.c | 9 +++++++++ 2 files changed, 10 insertions(+), 1 deletion(-) diff --git a/gcc/function.c b/gcc/function.c index fc7b147b5f1..0495e9f1b81 100644 --- a/gcc/function.c +++ b/gcc/function.c @@ -5922,7 +5922,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 (); } } diff --git a/gcc/testsuite/gcc.target/arm/pr100775.c b/gcc/testsuite/gcc.target/arm/pr100775.c new file mode 100644 index 00000000000..c648cd5e8f7 --- /dev/null +++ b/gcc/testsuite/gcc.target/arm/pr100775.c @@ -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; +}