Re: [PATCH] Implement known/maybe fpclassify like API for frange.

2022-09-12 Thread Jan-Benedict Glaw
4d633f43b47 Mon Sep 17 00:00:00 2001 > > > From: Aldy Hernandez > > > Date: Thu, 8 Sep 2022 08:11:43 +0200 > > > Subject: [PATCH] Implement known/maybe fpclassify like API for frange. > > > > > > gcc/ChangeLog: [...] > > > --- > > > gc

Re: [PATCH] Implement known/maybe fpclassify like API for frange.

2022-09-12 Thread Aldy Hernandez via Gcc-patches
Date: Thu, 8 Sep 2022 08:11:43 +0200 > > Subject: [PATCH] Implement known/maybe fpclassify like API for frange. > > > > gcc/ChangeLog: > > > > * gimple-range-fold.cc > > (fold_using_range::range_of_builtin_int_call): Use fpclassi

Re: [PATCH] Implement known/maybe fpclassify like API for frange.

2022-09-12 Thread Jan-Benedict Glaw
Hi Aldy! On Thu, 2022-09-08 12:56:24 +0200, Aldy Hernandez via Gcc-patches wrote: > From 795baa0b044953e9f198f49e379374d633f43b47 Mon Sep 17 00:00:00 2001 > From: Aldy Hernandez > Date: Thu, 8 Sep 2022 08:11:43 +0200 > Subject: [PATCH] Implement known/maybe fpclassify like AP

Re: [PATCH] Implement known/maybe fpclassify like API for frange.

2022-09-08 Thread Aldy Hernandez via Gcc-patches
special property... > > r0.set_nan (fp_prop::NO); > > diff --git a/gcc/value-range.h b/gcc/value-range.h > > index 645dc76c33a..e426225eabf 100644 > > --- a/gcc/value-range.h > > +++ b/gcc/value-range.h > > @@ -330,6 +330,7 @@ private: > > class frange

Re: [PATCH] Implement known/maybe fpclassify like API for frange.

2022-09-08 Thread Richard Biener via Gcc-patches
> Am 08.09.2022 um 08:28 schrieb Aldy Hernandez : > > This is what I have in mind for the fpclassify-like methods on the > current implementation. I'll get to the removal of the tristates after > Cauldron. > > As you mentioned, isnormal is kinda tricky, and likely to be confusing > for the u

[PATCH] Implement known/maybe fpclassify like API for frange.

2022-09-07 Thread Aldy Hernandez via Gcc-patches
This is what I have in mind for the fpclassify-like methods on the current implementation. I'll get to the removal of the tristates after Cauldron. As you mentioned, isnormal is kinda tricky, and likely to be confusing for the user. We can revisit it if it's important. ?? I assume maybe_inf() d