[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.
This commit is contained in:
Vladimir N. Makarov 2022-03-25 12:22:08 -04:00
parent fe705dce2e
commit 25725506b8

View file

@ -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;