Re: [RFA] Implement basic range operators to enable floating point VRP.

2022-08-02 Thread Aldy Hernandez via Gcc-patches
Alright, I know everyon'es pretty busy and I am blocking myself here, so I hereby approve my own patch, since I am the maintainer ;-). After all, I'd like to have 5-6 days to field any possible fallout before I disappear off to a tropical island to drink mojitos and beer. Ok, not really-- just cha

Re: [RFA] Implement basic range operators to enable floating point VRP.

2022-07-31 Thread Aldy Hernandez via Gcc-patches
PING Andrew, anyone, would you mind giving this a once over? I realize reviewing ranger's range-op code is not on anyone's list of priorities, but I could use a sanity check. The patch is sufficiently self-contained to easily catch anything caused by it, and I'd like to commit earlier in the wee

Re: [RFA] Implement basic range operators to enable floating point VRP.

2022-07-25 Thread Aldy Hernandez via Gcc-patches
I forgot to mention. There's a regression in g++.dg/opt/pr94589-2.C, where an early optimization by evrp causes phiopt to no longer optimize a spaceship operator because it no longer sees the exact sequence of conditionals. I have included the analysis in the patch. Hopefully a phiopt expert can