IEEE 754 Revisions Committee ---------------------------- Wednesday April 19, 2006 from 1:00 PM to 5:00 PM SC12-338 Room, Building 12, Intel, 3600 Julliette Lane, Santa Clara phone: Wednesday: 916-356-2663, Bridge: 4, Passcode: 7111067 phone: Thursday: 916-356-2663, Bridge: 1, Passcode: 0355489 Host: Roger Golliver Proposed Agenda --------------- 1. Roll Call & Introductions at 1:06 2. Show Patent Slides at 1:03 3. Call Meeting to Order at 1:04 4. Approval of Agenda (http://nonabelian.com/754/agenda) item 35 withdrawn by Ivan at 1:05 5. Approval of Minutes (http://nonabelian.com/754/minutes/754/060315) at 1:05 Bob Davis mentioned our P&P was approved at the MSC with amendments. Chair will post amendments when available. 11. Motion: (David Hough) I move that Annex T Traps be removed from the current draft http://754r.ucbtest.org/drafts/754r.pdf. 1:08, Ivan Godard seconded, David spoke to motion. PASSED 10-6- 12. Motion: (David Hough) I move that Annex L Language Issues be removed from the current draft http://754r.ucbtest.org/drafts/754r.pdf. 1:15, Craig Nelson seconded, David et al spoke to motion. PASSED 18-3-4 13. Motion: (David Hough) I move that section 3.5 from the March 7 draft http://754r.ucbtest.org/drafts/archive/2006-03-07.pdf be added to the current draft as Annex V Varying-length Formats, with all "shall" changed to "should". 1:23, Bob Davis seconded, David et al spoke to motion. FAILED 6-12-10 14. Motion: (David Hough) I move that section 4.1.1. Round to Nearest, Ties to Even be modified to permit languages to define a default rounding mode for decimal to be other than round to nearest, ties to even. 1:31, Peter Markstein seconded, PASSED w/o opposition 15. Motion: (Mike Cowlishaw) I move that the text "they are the same for hexadecimal and decimal character sequences" be deleted from section 5.6.1. 1:32, Jon Okada seconded, David Hough offered an amendment to the effect that all the 'shall's be replaced with 'should's. Ivan Godard seconded the amendment, discussion. Amendment PASSED 12-2-4 amended motion: PASSED as amended w/o opposition 16. Motion: (David Hough) I move that the section on modes be enlarged by describing declarations for dynamic modes. (was 407 now 594) 1:38, Roger Golliver seconded, discussion. PASSED w/o opposition 17. Motion: (David Hough) I move that the chapter 7 discussion of flags be enlarged by describing declarations for persistent FLAGS. (407, 551, 593) 1:41, Peter Markstein seconded, discussion. PASSED w/o opposition 18. Motion: (Jim Thomas) To remove from the definition of min in 5.10 the sentence "If the implementation does not otherwise define min(x,y), define it as minnum(x,y)", and to remove the similar sentence for max, as discussed in email "754r issue: language binding slippage for min and max" to stds-754@ieee.org on 20 Mar 2006. (297) 1:43, Peter Markstein seconded, discussion. PASSED 22-4-2 19. Motion: (Jim Thomas) To change the specification of logb to normalize input, per 854, and to cover special cases if the return type is integer, as described in email "motion for April: logb changes" to stds-754@ieee.org on 21 Mar 2006. (332) 1:55, Jon Okada seconded, discussion. PASSED w/o opposition 20. Motion: (Roger Golliver) I move that the sentence "The destination format shall be at least as wide as the operand's." in section 5.3 Square Root be deleted as described in 28 Mar 2006 note "754R motion on sqrt text". (404) 2:06, Peter Markstein seconded, discussion. PASSED 22-1-5 21. Motion: (Jim Thomas) After the second sentence in the definition of "status flag" in Chapter 2, add: "If an operation whose purpose is to raise status flags raises overflow or underflow, it is implementation-defined whether it also raises inexact (with default exception handling)." (411) 2:21, Peter Markstein seconded, discussion. David Hough offered amendment to replace 'implementation defined' with 'language defined', Jeff Kidder seconded, discussion. Amendment PASSED 8-4-16 amended motion: PASSED 11-6-9 22. Motion: (Jim Thomas) To change from a requirement to a recommendation the specification for whether language constructs implying conversion to integer do or do not raise inexact. (437) 2:41, Peter Markstein seconded, discussion. PASSED 14-7-7 3:00 break. After break, Bob mentioned Copyright Policy result from MSC meeting. 23. Motion: (Eric Schwarz) I move that the two paragraphs in annex N starting with "7.4 Underflow" be replaced by: "7.4 Underflow is detected by two correlated events: 1)Tininess and 2)Loss of Accuracy. Tininess should be detected after rounding, and Loss of Accuracy should be detected as an inexact result." (301,465) 3:16, Prof Kahan seconded, discussion David Hough offered an amendment (text on page 87), Jeff Kidder seconded, discussion. Jeff Kidder proposed we table this motion, Peter Markstein seconded. Motion to table DEFEATED 8-15-3 back to amendment: Amendment ACCEPTED as friendly. Amended motion: PASSED 19-1-8 as amended 24. Motion: (Jim Thomas) To recommend that languages specify static mode declarations to allow or disallow the synthesis of fma and format-of operations and the computation of sum reductions using wide partial sums. (was 474 now 577) 3:39, Roger Golliver seconded, discussion. PASSED w/o opposition 25. Motion: (Jim Thomas) To change the status of the specification for expression evaluation (including implicit-width functions) from requirements for languages/implementations to recommendations for languages. (was 488 now 581) 3:41, Jon Okada seconded, discussion. PASSED 18-4-5 26. Motion: (Peter Markstein) Add the following operations in Sec. 5.4.2, Conversion from Floating-Point to Integer Formats: format-of-rninta(x) rounds the decimal quantity x to the nearest integral value, with halfway cases rounded away from zero. format-of-xrninta(x) rounds the decimal quantity x to the nearest integral value, with halfway cases rounded away from zero. (544) 4:20, Jim Thomas seconded, discussion. PASSED w/o opposition. 34. Motion: (Eric Postpischil) Remove section T (Elementary Transcendental Functions) from the draft. (616) 4:21, Jeff Kidder seconded, discussion. Bob Davis offered an amendment to the effect that 'remove' be replaced with 'change all shalls to shoulds', David Hough seconded, discussion. Amendment PASSED 12-10-6 back to motion: PASSED 26-1-1 as amended. 35. Motion: (Ivan Godard) Hence I move that: 1) the agenda contain links to the cited emails (rather than numbers in a missing list of same), with all matter relating to a particular motion chained from or contained in the single link point 2) the agenda contain links to a version of the text in which the particular moved change is visible in isolation (this may be multiple texts or a single text with multiple keys, as is convenient for the editor) 3) no motion which shall not have been available in the above form for at least a week prior to a meeting shall be considered at that meeting (620) 1:05 WITHDRAWN 42. Poll: Will we have a quorum for Thursday's meeting? Just barely (16). Therefore, we will hold a meeting Thursday. 50. Adjournment We began again on Thursday, same room, same time, fewer people. Chair dispensed with preliminaries, observed we had a quorum & called the meeting to order at 1:09. 27. Motion: (Jim Thomas) Regarding conversion between internal floating-point formats and external representations as character sequences (5.6), replace the requirement that decimal digits beyond the threshold for correct rounding be treated as zeros with a requirement for meeting bounds and honoring the direction of directed rounding modes (as in C99). (545) 1:10, Peter Markstein seconded, discussion. FAILED 6-7-6. 28. Motion: (David Hough) I move that Section R, item 14 (equivalent) be changed to a recommendation in the rationale: (550) 1:30, Jim Thomas seconded, discussion. PASSED 14-2-2 29. Motion: (David Hough) I move that Section R, item 13 (class) be changed to a recommendation in the rationale: (550) 1:34, FAILED due to lack of second. 30. Motion: (Jon Okada) Remove section 5.13 (Tail Operations) from the draft. (568) 1:35, Jon Okada seconded, discussion. PASSED 17-0-1. 31. Motion: (David Hough) Move Section N to Annex N and change all "shall" to "should." (582) 1:46, Peter Markstein seconded, discussion. PASSED 13-2-4 32. Motion: (David Hough) Make the section N definition of underflow "before rounding" and independent of whether default or alternate exception handling is enabled. (584) 1:54, Ivan Godard seconded, discussion. PASSED 9-7-2 took a break at 2:05, returned at 2:18. Nobu Mori passed out SAP T-shirts to all present after the break. 33. Motion: (David Hough) Move the fused multiply add operation specification from section 2. Definitions to section 5.1 Arithmetic. (589) 2:19, Jon Okada seconded, discussion. PASSED w/o opposition. 40. Discussion: (David Hough) fate of mode-setting functions 2:20, discussion. 41. Discussion: Issues list 2:50, discussion. 50. Adjournment, at 3:30 Next Meetings ------------- Wednesday 4/19 full meeting, Roger Golliver at Intel in Santa Thursday 4/20 overflow meeting Wednesday 5/17 full meeting, Roger Golliver at Intel in Santa Thursday 5/18 overflow meeting Wednesday 6/21 full meeting, Jim Thomas at HP in Cupertino Thursday 6/22 overflow meeting Monday 7/10 6:00 MSC Wednesday 7/19 full meeting, David Hough at Sun in Menlo Park Thursday 7/20 overflow meeting Wednesday 8/9 full meeting, Eric Postpischil at Apple in Ten Forward Thursday 8/10 overflow meeting, Conference Room at 2 Infinite Loop, Cupertino Wednesday 9/20 full meeting, TBA Thursday 9/21 overflow meeting Monday 10/9 6:00 MSC Wednesday 10/18 full meeting, Fred Zemke at Oracle in Redwood City Thursday 10/19 overflow meeting, Fred Zemke at Oracle in Redwood City Wednesday 11/15 full meeting, Eric Postpischil at Apple in Ten Forward Thursday 11/16 overflow meeting, Conference Room at 2 Infinite Loop, Cupertino Wednesday 12/20 full meeting, TBA Thursday 12/21 overflow meeting 754's PAR expires 12/06 Monday 1/8 6:00 MSC Monday 4/9 6:00 MSC Monday 7/9 6:00 MSC Monday 10/8 6:00 MSC