Re: [PATCH] frange: drop endpoints to min/max representable numbers for -ffinite-math-only.

2022-09-23 Thread Richard Biener via Gcc-patches
On Fri, Sep 23, 2022 at 9:21 AM Aldy Hernandez wrote: > > Ughhh, my bad. I had reworked this as soon as Jakub said we couldn't > cache the min/max in TYPE_MIN/MAX_VALUE, but forgot to send it. And > yes...the incessant wrapping was very annoying. It's all fixed. > > Let me know what you think.

Re: [PATCH] frange: drop endpoints to min/max representable numbers for -ffinite-math-only.

2022-09-23 Thread Aldy Hernandez via Gcc-patches
const_tree type) > >if (POINTER_TYPE_P (type)) > > return build_zero_cst (const_cast (type)); > >if (frange::supports_p (type)) > > -return build_real (const_cast (type), dconstninf); > > +{ > > + if (flag_finite_math_only) > > +

Re: [PATCH] frange: drop endpoints to min/max representable numbers for -ffinite-math-only.

2022-09-23 Thread Richard Biener via Gcc-patches
On Thu, Sep 22, 2022 at 6:49 PM Aldy Hernandez wrote: > > Similarly to how we drop NANs to UNDEFINED when -ffinite-math-only, I > think we can drop the numbers outside of the min/max representable > numbers to the representable number. > > This means the endpoings to VR_VARYING for -ffinite-math-o

[PATCH] frange: drop endpoints to min/max representable numbers for -ffinite-math-only.

2022-09-22 Thread Aldy Hernandez via Gcc-patches
Similarly to how we drop NANs to UNDEFINED when -ffinite-math-only, I think we can drop the numbers outside of the min/max representable numbers to the representable number. This means the endpoings to VR_VARYING for -ffinite-math-only can now be the min/max representable, instead of -INF and +INF