Re: spaceship_replacement cannot see through simplified set of FP conditionals

2022-07-29 Thread Jakub Jelinek via Gcc
On Fri, Jul 29, 2022 at 01:51:00PM +0200, Aldy Hernandez wrote: > Swt! > > Would you like me to XFAIL the test or leave it as a failure? Either is fine. Jakub

Re: spaceship_replacement cannot see through simplified set of FP conditionals

2022-07-29 Thread Aldy Hernandez via Gcc
Swt! Would you like me to XFAIL the test or leave it as a failure? Thanks. Aldy On Fri, Jul 29, 2022 at 1:50 PM Jakub Jelinek wrote: > > 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 fail

Re: spaceship_replacement cannot see through simplified set of FP conditionals

2022-07-29 Thread Jakub Jelinek via Gcc
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, > bec

spaceship_replacement cannot see through simplified set of FP conditionals

2022-07-29 Thread Aldy Hernandez via Gcc
Hi. 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: bool f5 (double