Re: [PATCH] [frange] Relax floating point relational folding.

2023-09-19 Thread Aldy Hernandez
Hi Jakub. I wasn't ignoring you, just quietly thinking, making sure we weren't missing anything. In the process I cleaned everything, which hopefully makes it easier to see why we don't need relationals (the key is to look at frelop_early_resolve() and the op1/op2_range entries which clear the NA

Re: [PATCH] [frange] Relax floating point relational folding.

2023-08-28 Thread Jakub Jelinek via Gcc-patches
On Wed, Aug 23, 2023 at 05:22:00PM +0200, Aldy Hernandez via Gcc-patches wrote: > BTW, we batted some ideas on how to get this work, and it seems this > is the cleaner route with the special cases nestled in the operators > themselves. Another idea is to add unordered relations, but that > would r