On Wed, May 09, 2018 at 09:33:30AM +0200, Eric Botcazou wrote:
> > Now, neither of the two branches needs to have LR restored at all,
> > because both of the branches end up in an infinite loop.
> >
> > This patch makes spread_component return a boolean saying if anything
> > was changed, and if s
> Now, neither of the two branches needs to have LR restored at all,
> because both of the branches end up in an infinite loop.
>
> This patch makes spread_component return a boolean saying if anything
> was changed, and if so, it is called again. This obviously is finite
> (there is a finite num
In the testcase for PR85645 we do a pretty dumb placement of the
prologue/epilogue for the LR component: we place an epilogue for LR
before a control flow split where one of the branches clobbers LR
eventually, and the other does not. The branch that does clobber it
will need a prologue again some