I have committed this patch, as the __builtin_signbit range-op entry
is correct. I'd still like clarification on the folding).
Aldy
On Thu, Oct 6, 2022 at 12:51 PM Aldy Hernandez wrote:
>
> This is the op1_range range-op entry for __builtin_signbit. It allows
> us to wind back through a call t
This is the op1_range range-op entry for __builtin_signbit. It allows
us to wind back through a call to signbit.
For example, on the true side of if (__builtin_signbit(x_5) != 0) we
can crop down the range of x_5 to:
[frange] float [-Inf, -0.0 (-0x0.0p+0)] -NAN
Similarly on the false si
