https://gcc.gnu.org/g:0ab14cf1b4c0c129e6bc7b208686b9caa942a597
commit r16-6286-g0ab14cf1b4c0c129e6bc7b208686b9caa942a597 Author: Vladimir N. Makarov <[email protected]> Date: Fri Dec 19 13:22:49 2025 -0500 [PR123223, LRA]: Fix ICE of GCC built with checking rtl The latest PR55212 patch improving dealing with scratch pseudos does not check reload rtx on reg when recognizing scratch pseudos. This results in failure of GCC built with checking rtl. gcc/ChangeLog: PR rtl-optimization/123223 * lra-constraints.cc (match_reload, curr_insn_transform): Check rtx on REG when testing scratch pseudos. Diff: --- gcc/lra-constraints.cc | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/gcc/lra-constraints.cc b/gcc/lra-constraints.cc index 910f3fba8f47..18b2c50e1e4a 100644 --- a/gcc/lra-constraints.cc +++ b/gcc/lra-constraints.cc @@ -1243,11 +1243,10 @@ match_reload (signed char out, signed char *ins, signed char *outs, return; /* See a comment for the input operand above. */ narrow_reload_pseudo_class (out_rtx, goal_class); - if (find_reg_note (curr_insn, REG_UNUSED, out_rtx) == NULL_RTX - && !ira_former_scratch_p (REGNO (SUBREG_P (out_rtx) - ? SUBREG_REG (out_rtx) : out_rtx))) + reg = SUBREG_P (out_rtx) ? SUBREG_REG (out_rtx) : out_rtx; + if (find_reg_note (curr_insn, REG_UNUSED, reg) == NULL_RTX + && (!REG_P (reg) || !ira_former_scratch_p (REGNO (reg)))) { - reg = SUBREG_P (out_rtx) ? SUBREG_REG (out_rtx) : out_rtx; start_sequence (); /* If we had strict_low_part, use it also in reload to keep other parts unchanged but do it only for regs as strict_low_part @@ -4861,7 +4860,7 @@ curr_insn_transform (bool check_only_p) && find_reg_note (curr_insn, REG_UNUSED, old) == NULL_RTX /* OLD can be an equivalent constant here. */ && !CONSTANT_P (old) - && !ira_former_scratch_p (REGNO (old))) + && (!REG_P(old) || !ira_former_scratch_p (REGNO (old)))) { start_sequence (); lra_emit_move (type == OP_INOUT ? copy_rtx (old) : old, new_reg);
