IEEE 754 Revisions Committee ---------------------------- Wednesday June 21, 2006 Hewlett-Packard, Cupertino Host: Jim Thomas 1. Roll Call & Introductions At 1:15. In attendence were: Steven Carlough, Marius Cornea, Mike Cowlishaw, John Crawford (holding Jerry Huck's & Dileep Bhandarkar's proxies), Joe Darcy, Bob Davis, Mark Davis, Dick Delp, Mark Erle, Michel Hack, J.P. Fasano, Alex Fit-Florea, Chip Freitag, Ivan Godard, Roger Golliver, John Harrison (holding Peter Tang's proxy), David Hough, Dave James, William Kahan, Jeff Kidder, Alex Liu, Raymond Mac, Peter Markstein, Nobu Mori, Jon Okada, Eric Postpischil, Eric Schwarz, Ron Smith, Peter Tang, Pamela Taylor, Jim Thomas, Leonard Tsai, Charles Tsen, Steve Winkler, Umit Yalcinalp, Fred Zemke, & Dan Zuras 2. Show Patent Slides 3. Call Meeting to Order At 1:16. 5. Approval of Minutes (http://nonabelian.com/754/minutes/754/060517) At 1:17 Jon Okada requested that roster0606 be corrected to reflect the fact that he attended the 5/17/06 meeting. This was done. The minutes (060517) were correct & approved. 4. Approval of Agenda (http://nonabelian.com/754/agenda) At 1:18 David Hough offered an amendment to the agenda to consider the motions in order according to his classification. He accepted the friendly amendment that whatever motion is being discussed at 4:30, we table that motion to discuss motion 11. (Bob Davis had previously agreed to postpone consideration of motion 11 until the end of the day.) David's motion was discussed & passed 18-5-0. 47. Motion: (Ivan Godard) restrict committee packing (Tue, 20 Jun 2006 12:55:28 -0700) (1553) At 1:26 Ivan Godard moved to change the voting rules to prevent packing of the committee. Prof Kahan seconded. An amendment was offered by Eric Schwarz, Peter Markstein seconded. After consultation with Bob Davis the motion was deemed inappropriate for this forum (it belongs to the MSC) and withdrawn by Ivan. 25. Motion: (David Hough) remove references to isdefault-MODE and signal-flags from the draft. (Tue, 13 Jun 2006 15:37:48 -0700 (PDT)) (1349) At 1:40 David Hough moved (Ivan seconded). Jim Thomas offered an amendment (which Roger Golliver seconded). Discussion. The amendment failed 5-9-17. Discussion. The unamendmended motion passed 16-7-6. 26. Motion: (David Hough) remove nextafter from the draft. (Tue, 13 Jun 2006 15:42:55 -0700 (PDT)) (1350) At 1:55 David moved & Ivan seconded. Discussion. Motion failed 6-14-8. 15. Motion: (Roger Golliver) Simplify definition of min/max operations to remove totalorder(). (1065)(Mon, 22 May 2006 15:47:53 -0700) At 2:03 Roger moved & Peter Markstein seconded. The motion passed w/o objection. 17. Motion: (Michel Hack) In section 5.6.3, when discussing conversion of more than \mu given digits to internal format, replace the description in terms of the two \mu-digit bounding values by the requirement to first round the given number *in decimal* to \mu digits, according to the applicable rounding mode, and *then* to convert the resulting \mu-digit decimal number with correct rounding to the target format. (Monday 05 Jun 2006 at 6:04 p.m. EDT) (1182) At 2:04 Michel moved Eric Schwarz seconded. The motion passed w/o objection. 18. Motion (Jim Thomas) simplfy and enhance specification of exception and flag operations (Mon, 05 Jun 2006 17:15:20 -0700) (1183) At 2:05 Jim Thomas moved & Peter Markstein seconded. Discussion. Motion passed 17-4-8. 23. Motion: (David Hough) restore invalid exception on fma(0,inf,qNaN) (Wed, 7 Jun 2006 16:55:01 -0700 (PDT)) (1230) 23a Motion to amend: (Roger Golliver) amendment for motion of item 23 (Tue, 20 Jun 2006 10:07:04 -0700) (1535) At 2:21 David Hough moved, Eric Schwarz seconded. Roger offered amendment, Peter Markstein seconded. Amendment passed 18-5-6. The motion passed w/o objection. 24. Motion: (Michel Hack) Encourage environments to provide for mixed-radix comparisons, but only if it is "done right", i.e. if the result reflects the relation between the true operand values. All the usual rules for comparisons must be observed: quiet and signalling forms, and no exceptions other than Invalid Operation. (Thursday 08 Jun 2006 at 5:31 p.m. EDT) (1262) Amended: (Michel Hack) (Thursday 15 Jun 2006 at 11:07 a.m. EDT) (1418) Note: Comparison of a variable with an unsuffixed floating-point literal is not a mixed-radix comparison in languages that support the notion of Translation-Time-Data-Type. At 2:31 Michel moved, Jim seconded. Discussion. Motion passed 14-9-4. At 2:58 we took a 10 minute break. 28. Motion: (Eric Schwarz) To replace the Scaled Product Operations (section 5.SP in current draft and section 5.a.1 in the chapter 5 motion) with a two input operation defined in the following document rather than the current operations which have an unbounded number of inputs. The proposed operation replaces the scaledprod, scaledprodsum, and the scaledproddiff operations. (Wed, 14 Jun 2006 11:05:54 -0400) (1365)(modified) At 3:12 Eric Schwarz moved, Ivan seconded. Discussion. Motion passed 17-4-8. 32. Motion: (David Hough) languages define global flag side effects (Wed, 14 Jun 2006 15:47:08 -0700 (PDT)) (1394) At 3:31 David Hough moved, Ivan seconded. Discussion. Motion passed 17-3-11. 33. Motion: (Jim Thomas) portable access to two encodings (Wed, 14 Jun 2006 16:37:21 -0700) (1395) At 3:38 Jim moved, John Crawford seconded. The motion passed w/o objection. 34. Motion: (Ron Smith) Separate Binary and Decimal Rounding Direction Modes (Thu, 15 Jun 2006 11:22:55 -0400) (1420) At 3:39 Ron moved, David Hough seconded. The motion passed w/o objection. 38. Motion: (Dave James) Clarify scaled product (Thu, 15 Jun 2006 10:37:40 -0700) (1425) At 3:40 Dave James moved. Motion failed for lack of second. 39. Motion: (Dave James) Clarify decimal-string conversions (Thu, 15 Jun 2006 10:42:21 -0700) (1426) At 3:41 Dave James moved, Prof Kahan seconded. Discussion. Motion failed 7-11-12. 42. Motion: (David Hough) clarify manifest mode operations (Thu, 15 Jun 2006 23:33:50 -0700 (PDT)) (1461) At 3:55 David Hough moved, Jim seconded. Discussion. Motion passed 21-1-9. 45. Motion: (Dave James) Consistency ordering of sNaNs and qNaNs (Tue, 20 Jun 2006 10:33:28 -0700) (1539) At 4:01 Dave James moved, Peter Tang seconded. Dave James offered amendment, Peter Tang seconded. Jim moved to table until tomorrow, Peter Markstein seconded. Motion was tabled w/o objection. 46. Motion: (Dave James) Noncanonical formats are sNaNs (Tue, 20 Jun 2006 10:57:17 -0700) (1549) At 4:05 Dave James moved. Motion was withdrawn at the request of Dave James. 36. Motion: (Dave James) Round to integer (Thu, 15 Jun 2006 10:24:08 -0700) (1423) At 4:05 Dave James moved. Motion failed for lack of second. 44. Motion: (Michel Hack) clarify "convert to unsigned integer" (Saturday 17 Jun 2006 at 7:40 p.m. EDT) (1496) At 4:06 Michel moved, Eric Schwarz seconded. Discussion. Motion failed 6-15-8. 11. Motion: (Bob Davis) Shall we recommend to the MSC (today) that they accept the draft (as it will exist at the end of the September meeting) as our proposed text for sponsor ballot? (Bob has agreed to have consideration of this motion postponed until the end of the day.) At 4:30 Bob Davis moved, Peter Markstein seconded. Discussion. Jim offered motion to table for 24 hours, John Harrison seconded. Motion was tabled 16-10-4. Considering the importance of motion 11, the chair asked for a poll of those willing to return tomorrow to consider it along with the remaining motions. The poll results were: Agreed to return(27+chair): Steven Carlough, Marius Cornea, Mike Cowlishaw, John Crawford, Bob Davis, Mark Davis, Mark Erle, J.P. Fasano, Alex Fit-Florea, Roger Golliver, Michel Hack, John Harrison, David Hough, Dave James, Jeff Kidder, Alex Liu, Peter Markstein, Nobu Mori, Jon Okada, Eric Postpischil, Eric Schwarz, Ron Smith, Peter Tang, Pamela Taylor, Jim Thomas, Charles Tsen, Fred Zemke, & Dan Zuras Could not return(3): Dick Delp, Ivan Godard, & William Kahan Ineligible to vote (5): Chip Freitag, Raymond Mac, Leonard Tsai, Steve Winkler, & Umit Yalcinalp The chair, having determined that there were more than enough to make a quorum decided that we would hold the meeting. 7. Rules for proxy voting (1486) Several people raised the question of the details of the rules concerning proxy voting. As there were two people present holding the proxies of three others, the chair offered to forward a recent note sent to them outlining the proxy procedures we would follow. 6. Consider changing November meeting date to Nov 1 & 2 to allow for presentation by Jean-Michel Muller & Paul Zimmermann on new results for correctly rounded transcendentals. (1290) At 4:45: The chair recently received communication from Jean- Michel Muller & Paul Zimmermann expressing their interest in making presentations to this committee on recent work in correctly rounded transcendentals & arbitrary precision arithmetic. The chair cautioned them against making a needless trip on the grounds that the committee has already deleted both topics from the standard but they insisted that ours was still the proper forum for their presentations. The only caveat was that they were only available Thursday, November 2. As most of us want to hear these results, the chair opened a discussion of moving the date of our November meeting from 15 & 16 to 1 & 2. After some discussion it was decided that rather than move our meeting we would add a new meeting date (Thursday, November 2, from 1:00 to 5:00) just for the purpose of hearing these talks. Arrangements for the venue have yet to be made but several people offered to host suggesting there would be no problem accomodating our speakers. We adjourned at 4:55. ---------------------------------------------------------------- IEEE 754 Revisions Committee ---------------------------- Thursday, June 22, 2006 Hewlett-Packard, Cupertino Host: Jim Thomas 1. Roll Call & Introductions At 1:09. Attending were: Steven Carlough, John Crawford, Marius Cornea, Mike Cowlishaw, Joe Darcy, Bob Davis, Mark Davis, Dick Delp, Mark Erle, J.P. Fasano, Alex Fit-Florea, Chip Freitag, Ivan Godard, Roger Golliver, Michel Hack, John Harrison, David Hough, David James, John Kapernick, Jeff Kidder, Alex Liu, Peter Markstein, Nobuyoshi Mori, Jon Okada, Eric Postpischil, Eric Schwarz, Jim Shearer, Ron Smith, Peter Tang, Pamela Taylor, Jim Thomas, Leonard Tsai, Charles Tsen, Fred Zemke, & Dan Zuras 2. Show Patent Slides Were shown. 3. Call Meeting to Order At 1:09. 4. Approval of Agenda At 1:11 Motions #30 & #43 were withdrawn in the night by their authors. 30. Motion: (David Hough) standardize DPD. (Wed, 14 Jun 2006 12:15:23 -0700 (PDT)) (1376) 43. Motion: (Nobuyoshi Mori) Delete the binary encoding in section 3.3. (Fri, 16 Jun 2006 21:43:58 +0200) (1473) (Removed by Nobu Wed, 21 Jun 2006 16:54:37 +0200) (1583) David Hough moved to amend the agenda. Eric Postpischil seconded. Discussion. The amendment passed 25-0-2. 20. Motion: (Jim Thomas) This proposal simplifies the presentation of modes in the draft and allows more flexibility for implementations and languages. (Tue, 06 Jun 2006 10:02:26 -0700) (1206) (1521) (Revised 6/20/06 http://754r.ucbtest.org/motions.html#20) At 1:16 Jim Thomas moved, Peter Markstein seconded. David Hough amended to replace the text of motion #20 with the text of motion #31, Ivan seconded. Discussion. Amendment failed 4-10-15. Amendment by David Hough accepted as friendly. David Hough amended, Ivan seconded. Discussion. Amendment failed 5-7-17. Motion passed 12-3-14. 11. Motion: (Bob Davis) That we request of the MSC at the July meeting to form a balloting body to be prepared for the draft that this committee will submit in October for balloting. At 2:11 Bob Davis moved, Dave James seconded. Discussion. The vote was: In favor (28): Steven Carlough, John Crawford, Marius Cornea, Mike Cowlishaw, Joe Darcy, Bob Davis, Mark Davis, Mark Erle, J.P. Fasano, Alex Fit-Florea, Ivan Godard, Roger Golliver, Michel Hack, John Harrison, David James, Jeff Kidder, Alex Liu, Peter Markstein, Nobuyoshi Mori, Jon Okada, Eric Postpischil, Eric Schwarz, Ron Smith, Peter Tang, Pamela Taylor, Jim Thomas, Charles Tsen, & Fred Zemke Against (1): David Hough Motion passed 28-1-0. 12. Tabled Motion (5/17 #17): (Eric Postpischil) I move that the definition of "well rounded" be replaced. (831) (Mon, 01 May 2006 08:31:53 PDT) At 2:32 Eric Postpischil moved, Jeff seconded. Michel offered amendment to replace "well rounding" with "faithful rounding". Accepted as friendly. Discussion. Amended motion passed 15-0-12. Chair called a break at 2:48. At 3:08 Peter Markstein moved to table motions #49a, #49b, #50, & #51 on the grounds they came in too late to be studied. Jim seconded. Motions tabled 17-1-3. 45. Motion: (Dave James) Consistency ordering of sNaNs and qNaNs (Tue, 20 Jun 2006 10:33:28 -0700) (1539) At 3:12 Dave James moved, Bob Davis seconded. Amendment by Dave James accepted as friendly. Discussion. Motion failed 2-14-6. 13. Tabled Motion (5/17 #19): (Eric Postpischil) Change Table T in Annex T to intervals of functions that crlibm has implemented with proven correct rounding. (973) (Wed, 10 May 2006 08:21:09 -0700) At 3:22 Eric Postpischil moved, Peter Markstein seconded. Discussion. Motion passed 9-5-8. 27. Motion: (David Hough) Adopt rewritten Chapter 5 from "Chapter 5 - 13 June 2006" document. (Tue, 13 Jun 2006 16:31:51 -0700 (PDT)) (1356) At 3:29 David Hough moved, Eric Schwarz seconded. Discussion. Motion passed 17-2-4. 35. Motion: (Dave James) to delete "conversion-specification" (Thu, 15 Jun 2006 10:11:14 -0700) (1422) At 3:38 Dave James moved, Jim Thomas seconded. Dave James amended, Jim Thomas seconded. Roger Golliver moved to table, Peter Markstein seconded. Motion was tabled 16-2-4. 37. Motion: (Dave James) Uniform name-formation conventions (Thu, 15 Jun 2006 10:18:22 -0700) (1424) At 3:41 Dave James moved, Peter Markstein seconded. Eric Postpischil amended to capitalize first letter, Michel seconded. Discussion. Amendment failed 2-8-11. John Harrison amended to underscore first letter, David Hough seconded. Discussion. Amendment failed 2-15-5. Amendment by David Hough (MA -> FMA) accepted as friendly. Amendment by Eric Schwarz. Motion passed w/o objection. 40. Motion: (Dave James) Table based definitions (Thu, 15 Jun 2006 10:49:47 -0700) (1427) At 4:07 Dave James moved, Bob Davis seconded. Moved to table by Dave James, seconded by Roger. Motion tabled w/o objection. 48. Motion: (Dave James) Formatting to conform to IEEE styles. At 4:10 Dave James moved, Bob Davis seconded. Motion passed w/o objection. 16. Motion: (Jim Thomas) Clarify that annexes E and W are not preliminary (1108) (Wed, 24 May 2006 17:58:43 -0700) At 4:14 Jim Thomas moved, Jon Okada seconded. Motion passed w/o objection. 19. Motion: (Bob Davis) If extensions of Floating Point Math to larger precision is desired, the number of bits in the floating point number should be extended in increments of 1.5 or 2 times the previous word size as shown. The following table shows extensions up through the first 12 levels of expansion and formula to extend that to any longer values through any positive integer N. (Tue, 6 Jun 2006 01:09:53 -0700) (1193) At 4:15 Bob Davis moved. Motion failed for lack of second. 22. Motion: (David Hough) Delete Annex U on Underflow. (Wed, 7 Jun 2006 15:35:53 -0700 (PDT)) (1225) At 4:16 David Hough moved, Roger seconded. Amendment by Dave James failed for lack of second. Motion passed 6-3-10. 29. Motion: (Roger Golliver) In the section on optimizations, E.1 add an additional item in the bulleted list (Wed, 14 Jun 2006 10:30:29 -0700) (1372) At 4:20 Roger moved, David Hough seconded. Motion passed w/o objection. 41. Motion: (David Hough) add operation semantics tables to Annex R Rationale (Thu, 15 Jun 2006 11:29:36 -0700 (PDT)) (1430) At 4:21 David Hough moved, Jim seconded. Dave James moved to table, seconded by John Harrison. Tabled w/o objection. 21. Motion: (David Hough) Shorten reviewable 754R draft standard by moving all the (non-normative) annexes and rationale to a separate technical report document. (Wed, 7 Jun 2006 15:17:20 -0700 (PDT)) (1224) 21a Motion to amend: (Jim Thomas) amendment for motion of item 21 (Tue, 20 Jun 2006 09:32:17 -0700) (1526) At 4:22 David Hough moved, Eric Schwarz seconded. Amendment by Dave James failed for lack of second. Amendment by Jim Thomas, seconded by Jeff Kidder. Amendment by Bob Davis, seconded by Dave James. John Harrison moved to table, seconded by Michel. Motion tabled 11-5-3. At 4:38 Peter Markstein moved to consider 49a, David Hough seconded. Michel amended to consider 49a, 49b, 50, & 51, accepted AS friendly. At 4:45 Jeff moved to adjourn, Eric Postpischil seconded. Motion to adjourn passed 14-2-2. Adjourned at 4:47. ---------------------------------------------------------------- 31. Motion: (David Hough) simplify modes while retaining manifest/constant/static requirement (Wed, 14 Jun 2006 15:11:08 -0700 (PDT)) (1392) (Revised 6/20/06 http://754r.ucbtest.org/motions.html#31) 49. Consider Bob's motion number 11 before the end of the day. 50. Adjournment Next Meetings ------------- Monday 7/10 6:00 MSC Wednesday 7/19 full meeting, Roger Golliver at Intel in Santa Clara 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, David Hough at Sun in Menlo Park 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