Re: [PATCH] Decimal floats can never be an frange::singleton_p.

2022-09-05 Thread Aldy Hernandez via Gcc-patches
Final version of the patch. Disable frange for DECIMAL_FLOAT_MODE_P altogether. Tested on x86-64 Linux with regstrap as well as mpfr tests. On Mon, Sep 5, 2022 at 3:47 PM Aldy Hernandez wrote: > > As Jakub mentioned in the PR, because many numbers have multiple > possible representations, we ca

Re: [PATCH] Decimal floats can never be an frange::singleton_p.

2022-09-05 Thread Jakub Jelinek via Gcc-patches
On Mon, Sep 05, 2022 at 03:47:01PM +0200, Aldy Hernandez wrote: > As Jakub mentioned in the PR, because many numbers have multiple > possible representations, we can't reliably return true here. > > I'll commit this if tests pass. > > I wonder if its worth even handling decimal floats in frange,

[PATCH] Decimal floats can never be an frange::singleton_p.

2022-09-05 Thread Aldy Hernandez via Gcc-patches
As Jakub mentioned in the PR, because many numbers have multiple possible representations, we can't reliably return true here. I'll commit this if tests pass. I wonder if its worth even handling decimal floats in frange, since there's a lot of things we can't represent. I suppose even though we