From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1012) id B25D63857034; Fri, 25 Mar 2022 16:31:04 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org B25D63857034 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Vladimir Makarov To: gcc-cvs@gcc.gnu.org Subject: [gcc r12-7817] [PR104971] LRA: check live hard regs to remove a dead insn X-Act-Checkin: gcc X-Git-Author: Vladimir N. Makarov X-Git-Refname: refs/heads/master X-Git-Oldrev: fe705dce2e1e3e4e5e0c69d7f9adaf7f2777cdc8 X-Git-Newrev: 25725506b85f478076770942d76799c54310c696 Message-Id: <20220325163104.B25D63857034@sourceware.org> Date: Fri, 25 Mar 2022 16:31:04 +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: Fri, 25 Mar 2022 16:31:04 -0000 https://gcc.gnu.org/g:25725506b85f478076770942d76799c54310c696 commit r12-7817-g25725506b85f478076770942d76799c54310c696 Author: Vladimir N. Makarov Date: Fri Mar 25 12:22:08 2022 -0400 [PR104971] LRA: check live hard regs to remove a dead insn LRA removes insn modifying sp for given PR test set. We should also have checked living hard regs to prevent this. The patch fixes this. gcc/ChangeLog: PR middle-end/104971 * lra-lives.cc (process_bb_lives): Check hard_regs_live for hard regs to clear remove_p flag. Diff: --- gcc/lra-lives.cc | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/gcc/lra-lives.cc b/gcc/lra-lives.cc index 796f00629b4..a755464ee81 100644 --- a/gcc/lra-lives.cc +++ b/gcc/lra-lives.cc @@ -724,7 +724,10 @@ process_bb_lives (basic_block bb, int &curr_point, bool dead_insn_p) bool remove_p = true; for (reg = curr_id->regs; reg != NULL; reg = reg->next) - if (reg->type != OP_IN && sparseset_bit_p (pseudos_live, reg->regno)) + if (reg->type != OP_IN + && (reg->regno < FIRST_PSEUDO_REGISTER + ? TEST_HARD_REG_BIT (hard_regs_live, reg->regno) + : sparseset_bit_p (pseudos_live, reg->regno))) { remove_p = false; break;