Fwd: Help with adding new floating point ops to the next C standard

[Zachary Tatlock]

Howdy folks!

See below for some interesting discussion on numerics for the upcoming C standard.

In particular, some nice examples for double double and scaled reductions.

Thanks to Gilbert for the interesting forward from Jim!

Z

---------- Forwarded message ---------
From: Gilbert Bernstein <gi...@cs.washington.edu>
Date: Fri, Aug 25, 2023 at 6:32 PM
Subject: Fwd: Help with adding new floating point ops to the next C standard
To: Zachary Tatlock <ztat...@cs.washington.edu>

Maybe if interest to you or someone in FP Bench. There are some useful example programs too.

— Gilbert


Begin forwarded message:

From: James Demmel <dem...@berkeley.edu>
Date: August 25, 2023 at 6:26:18 AM PDT
To: beboppers <bebo...@cs.berkeley.edu>, slic...@eecs.berkeley.edu
Cc: James W DEMMEL <dem...@berkeley.edu>
Subject: [beboppers] Help with adding new floating point ops to the next C standard
Reply-To: bebo...@lists.eecs.berkeley.edu

I got a request from a colleague, David Hough, chair of the last IEEE 754 Floating Point Standard Committee,
who is also in the C Floating Point group, helping with adding new FP operations to the next C standard.
He has some drafts (attached) describing 2 features in the latest 754 standard that are still missing from the
latest draft of the next C standard, and would appreciate any comments or corrections on their content.
Please send your comments to me, and I will forward them to David.

I note that David and I were both graduate students of Velvel Kahan at the time the first 754 standard was being written :) .

Thanks, Jim