Motion M0050.01 EDP without CA

[Ian McIntosh <ianm@xxxxxxxxxx>]

I vote NO on EDP without CA.

I would vote YES if it returned the tightest enclosing interval instead of a floating point result.  Returning a floating point result requires one of
 - returning a CA or equivalent result (which this motion does not do), then converting that to floating point twice, rounded down and rounded up, to get the values to use to construct an interval.
 - running it twice, rounded down and rounded up, to get the values to use to construct an interval.
 - just running it once, then using the previous and next floating point values ti construct a 2 ulp wide interval which would be wider than desired for an exact result.

- Ian McIntosh          IBM Canada Lab         Compiler Back End Support and Development


"Corliss, George" ---09/25/2013 06:29:44 AM---P1788, The voting period on M0049.01 Function Accuracy ends Friday, 27 Sept., 2013.

From:	"Corliss, George" <george.corliss@xxxxxxxxxxxxx>
To:	Ian McIntosh/Toronto/IBM@IBMCA
Date:	09/25/2013 06:29 AM
Subject:	P1788: PLEASE VOTE - M 49 & 50

---

P1788,

The voting period on M0049.01 Function Accuracy ends Friday, 27 Sept., 2013.
Current tally: Yes - 36; No - 0; needed for quorum - 24

Baker's announcement of the voting period is appended below.

The voting period on M0050.01 EDP without CA ends Friday, 4 Oct., 2013.
Current tally: Yes - 6; No - 12; needed for quorum - 24

Baker's announcement of the voting period is appended below.

PLEASE VOTE


George Corliss
P1788 Voting Tabulator








From: Ralph Baker Kearfott <rbk5287@xxxxxxxxxxxxx>
Subject: Motion P1788/M0050:EDP-Without-CA: voting period begins
Date: September 14, 2013 6:27:51 AM CDT
To: IEEEP1788a <stds-1788@xxxxxxxx>
Reply-To: <rbk@xxxxxxxxxxxxx>

P-1788,

Unless there are objections, the voting period for this motion
herewith begins, and will continue until after Saturday, October 4.
This motion will proceed according to the rules for position papers.

The motion is as follows:

=======================================================================
IEEE P1788 requires an EDP. Providing it via CA is recommended. =======================================================================

(Recall that "EDP" means "exact dot product" and "CA" means
"complete arithmetic".)

Juergen: Please update the page of motions with this information.

Best regards,

Baker (acting chair)
[attachment "signature.asc" deleted by Ian McIntosh/Toronto/IBM]