Re: [PATCH] tailc: Extend the IPA-VRP workaround [PR119614]

2025-04-07 Thread Jakub Jelinek
On Mon, Apr 07, 2025 at 11:43:27AM +0200, Richard Biener wrote: > I do wonder with all these patches whether it would be better to > preserve the LHS on musttail calls instead? It can't be instead, because without musttail all those tests regress as well (before IPA-VRP they were successfully tail

Re: [PATCH] tailc: Extend the IPA-VRP workaround [PR119614]

2025-04-07 Thread Richard Biener
On Mon, 7 Apr 2025, Jakub Jelinek wrote: > Hi! > > The IPA-VRP workaround in the tailc/musttail passes was just comparing > the singleton constant from a tail call candidate return with the ret_val. > This unfortunately doesn't work in the following testcase, where we have >[local count: 1522

[PATCH] tailc: Extend the IPA-VRP workaround [PR119614]

2025-04-06 Thread Jakub Jelinek
Hi! The IPA-VRP workaround in the tailc/musttail passes was just comparing the singleton constant from a tail call candidate return with the ret_val. This unfortunately doesn't work in the following testcase, where we have [local count: 152205050]: baz (); [must tail call] goto ; [100.00%]