On Fri, Sep 09, 2016 at 04:40:12PM -0600, Jeff Law wrote: > Right now the dataflow is conservatively correct WRT the return register.
And conservatively incorrect wrt all other callee-saved regs! > If we made the change you want to make than the dataflow becomes overly > optimistic about the range over which the return register is live prior > to inserting the prologue/epilogue into the insn chain. > > This seems unsafe to me. Yes, but so does the current situation. And it all seems to work nevertheless :-) Segher