Re: [RFC] Clarify -ffinite-math-only documentation

2020-04-28 Thread Richard Biener via Gcc-patches
On Tue, Apr 28, 2020 at 10:54 PM Sandra Loosemore wrote: > > On 4/27/20 9:08 AM, Matthias Kretz wrote: > > > > @item -ffinite-math-only > > @opindex ffinite-math-only > > -Allow optimizations for floating-point arithmetic that assume > > -that arguments and results are not NaNs or +-Infs. > >

Re: [RFC] Clarify -ffinite-math-only documentation

2020-04-28 Thread Sandra Loosemore
On 4/27/20 9:08 AM, Matthias Kretz wrote: @item -ffinite-math-only @opindex ffinite-math-only -Allow optimizations for floating-point arithmetic that assume -that arguments and results are not NaNs or +-Infs. +Assume that floating-point types in the language do not have representations for

Re: [RFC] Clarify -ffinite-math-only documentation

2020-04-28 Thread Richard Biener via Gcc-patches
On Tue, Apr 28, 2020 at 12:04 PM Richard Sandiford wrote: > > Matthias Kretz writes: > > On Dienstag, 28. April 2020 09:21:38 CEST Richard Biener wrote: > >> On Mon, Apr 27, 2020 at 11:26 PM Matthias Kretz wrote: > >> > * Why not disable NaN and Inf independently? Inf is just a reciprocal 0. > >

Re: [RFC] Clarify -ffinite-math-only documentation

2020-04-28 Thread Richard Sandiford
Matthias Kretz writes: > On Dienstag, 28. April 2020 09:21:38 CEST Richard Biener wrote: >> On Mon, Apr 27, 2020 at 11:26 PM Matthias Kretz wrote: >> > * Why not disable NaN and Inf independently? Inf is just a reciprocal 0. >> > Inf is as far away from numeric_limits::max as 0 is from >> > numer

Re: [RFC] Clarify -ffinite-math-only documentation

2020-04-28 Thread Richard Biener via Gcc-patches
On Tue, Apr 28, 2020 at 10:15 AM Matthias Kretz wrote: > > On Dienstag, 28. April 2020 09:21:38 CEST Richard Biener wrote: > > On Mon, Apr 27, 2020 at 11:26 PM Matthias Kretz wrote: > > > On Montag, 27. April 2020 21:39:17 CEST Richard Sandiford wrote: > > > > "Dr. Matthias Kretz" writes: > > >

Re: [RFC] Clarify -ffinite-math-only documentation

2020-04-28 Thread Matthias Kretz
On Dienstag, 28. April 2020 09:21:38 CEST Richard Biener wrote: > On Mon, Apr 27, 2020 at 11:26 PM Matthias Kretz wrote: > > On Montag, 27. April 2020 21:39:17 CEST Richard Sandiford wrote: > > > "Dr. Matthias Kretz" writes: > > > > On Montag, 27. April 2020 18:59:08 CEST Richard Sandiford wrote:

Re: [RFC] Clarify -ffinite-math-only documentation

2020-04-28 Thread Richard Biener via Gcc-patches
On Mon, Apr 27, 2020 at 11:26 PM Matthias Kretz wrote: > > On Montag, 27. April 2020 21:39:17 CEST Richard Sandiford wrote: > > "Dr. Matthias Kretz" writes: > > > On Montag, 27. April 2020 18:59:08 CEST Richard Sandiford wrote: > > >> Richard Biener via Gcc-patches writes: > > >> > On Mon, Apr 2

Re: [RFC] Clarify -ffinite-math-only documentation

2020-04-27 Thread Matthias Kretz
On Montag, 27. April 2020 21:39:17 CEST Richard Sandiford wrote: > "Dr. Matthias Kretz" writes: > > On Montag, 27. April 2020 18:59:08 CEST Richard Sandiford wrote: > >> Richard Biener via Gcc-patches writes: > >> > On Mon, Apr 27, 2020 at 6:09 PM Matthias Kretz wrote: > >> >> Hi, > >> >> > >>

Re: [RFC] Clarify -ffinite-math-only documentation

2020-04-27 Thread Richard Sandiford
"Dr. Matthias Kretz" writes: > On Montag, 27. April 2020 18:59:08 CEST Richard Sandiford wrote: >> Richard Biener via Gcc-patches writes: >> > On Mon, Apr 27, 2020 at 6:09 PM Matthias Kretz wrote: >> >> Hi, >> >> >> >> This documentation change clarifies the effect of -ffinite-math-only. >> >>

Re: [RFC] Clarify -ffinite-math-only documentation

2020-04-27 Thread Dr. Matthias Kretz
On Montag, 27. April 2020 18:59:08 CEST Richard Sandiford wrote: > Richard Biener via Gcc-patches writes: > > On Mon, Apr 27, 2020 at 6:09 PM Matthias Kretz wrote: > >> Hi, > >> > >> This documentation change clarifies the effect of -ffinite-math-only. > >> With the current documentation, it is

Re: [RFC] Clarify -ffinite-math-only documentation

2020-04-27 Thread Richard Sandiford
Richard Biener via Gcc-patches writes: > On Mon, Apr 27, 2020 at 6:09 PM Matthias Kretz wrote: >> >> Hi, >> >> This documentation change clarifies the effect of -ffinite-math-only. With >> the >> current documentation, it is unclear what the presence of NaN and Inf >> representations means if (a

Re: [RFC] Clarify -ffinite-math-only documentation

2020-04-27 Thread Richard Biener via Gcc-patches
On Mon, Apr 27, 2020 at 6:09 PM Matthias Kretz wrote: > > Hi, > > This documentation change clarifies the effect of -ffinite-math-only. With the > current documentation, it is unclear what the presence of NaN and Inf > representations means if (arithmetic) operations on such values are > unspecifi