On Fri, Jul 29, 2022 at 01:40:12PM +0200, Aldy Hernandez wrote:
> With my upcoming patch enabling floating point VRP,
> g++.dg/opt/pr94589-2.C is failing:
>
> https://gcc.gnu.org/pipermail/gcc-patches/2022-July/598788.html
>
> The problem is that phiopt no longer sees the following snippet,
> because we have folded away the final conditional as true:
> Could someone give me a hand here? Can spaceship_replacement easily be
> adapted to handle this case, or should we be simplifying this
> elsewhere?
Leave it to me, once you commit, file a PR and I'll work on it.
Jakub