On Tue, Apr 01, 2025 at 10:46:15AM +0200, Richard Biener wrote:
> This looks OK, but I wonder if ...
> > - /* The parameter should be a real operand, so that phi node
> > - created for it at the start of the function has the meaning
> > - of copying the value. This test implies is_gimple_reg_type
> > - from the previous condition, however this one could be
> > - relaxed by being more careful with copying the new value
> > - of the parameter (emitting appropriate GIMPLE_ASSIGN and
> > - updating the virtual operands). */
> > - if (!is_gimple_reg (param))
> > + if (is_gimple_reg_type (TREE_TYPE (param))
> > + ? !is_gimple_reg (param)
>
> ... we want to restrict this to musttail calls at this point and
> relax for stage1 only?
I can do that, sure.
Jakub
