IEEE 754 Revisions Committee ---------------------------- Intel Corp Building Santa Clara 12 3600 Juliette Lane, Santa Clara, CA 95054 Wednesday, July 19, 2006 Room: SC12-538 (holds 36 people) Phone: 916-356-2663 Bridge: 1 Passcode: 2589413 Host: Roger Golliver Proposed Agenda --------------- 1. Roll Call & Introductions In attendence were: Dileep Bhandarkar (phone), Stephen Canon, Steven Carlough (phone), Marius Cornea (phone), Mike Cowlishaw, John Crawford, Bob Davis, Dick Delp, Mark Erle (phone), J.P. Fasano (phone), Warren Ferguson, Alex Fit-Florea, Chip Freitag (phone), Ivan Godard, Roger Golliver, Michel Hack (phone), John Harrison, David Hough, Jerry Huck, Dave James, William Kahan, Jeff Kidder (phone), Alex Liu (phone), Raymond Mak (phone), Peter Markstein, Nobu Mori (phone), Jon Okada, Eric Postpischil, Eric Schwarz (phone), Ron Smith (phone), Pamela Taylor (phone), Jim Thomas, Charles Tsen (phone), Steve Winkler (phone), Umit Yalcinalp (phone), Fred Zemke, & Dan Zuras 2. Show Patent Slides At 1:09, the patent slides were shown. 3. Call Meeting to Order At 1:10. 4. Approval of Agenda (http://nonabelian.com/754/agenda) At 1:10, approved without amendment or objection. 5. Approval of Minutes (http://nonabelian.com/754/minutes/754/060621) At 1:10, approved without amendment or objection. 6. Roger Golliver holds Mark Davis's proxy. John Crawford holds Peter Tang's proxy (Peter's last for 4 more meetings). Pamela Taylor asked that Nobu Mori be permitted to hold her proxy but the chair was not able to accept without signed written authority. By the time a FAX (without signature) arrived, so did Pamela. 7. MSC approved draft for sponsor ballot 7/10/06. At 1:11, the chair reported that it was passed without objection. 11. Motion: (David Hough) Tabled June Motion 21. Motion: Add round-integral-nearest-away to section 5.5 (863) (Tue, 2 May 2006 13:39:28 -0700 (PDT)) Amended (Jim Thomas) amendment for motion of item 21 (Tue, 20 Jun 2006 09:32:17 -0700) (1526) Both motion & amendment were tabled without resolution. (Withdrawn by author) (1785) At 1:12, David Hough made this motion. Peter Markstein seconded. After some discussion as to procedure, it was withdrawn without objection. 12. Motion: (Dave James) Tabled June Motion 35. Motion: to delete "conversion-specification" (Thu, 15 Jun 2006 10:11:14 -0700) (1422) At 1:18, motion withdrawn by author. 13. Motion: (Dave James) Tabled June Motion 40. Motion: Table based definitions (Thu, 15 Jun 2006 10:49:47 -0700)(1427) At 1:19, Dave James made this motion. It failed for lack of second. 14. Motion: (David Hough) Tabled June Motion 41. Motion: add operation semantics tables to Annex R Rationale (Thu, 15 Jun 2006 11:29:36 -0700 (PDT)) (1430) (Withdrawn by author) (1785) At 1:20, motion withdrawn by author. 15. Motion: (Ivan Godard) select between DPD and BID by lot (Thu, 22 Jun 2006 18:50:16 -0700) (1664) At 1:21, Ivan Godard made this motion. It failed for lack of second. 16. Motion: (Dave James) Incorporate pages 51-to-58 of: http://dvjames.com/esync/FloatTables2006Jun22.pdf Where the result of conversions to integer are listed in a clear and exact fashion. (Thu, 22 Jun 2006 12:08:48 -0700) (1678) At 1:22, Dave James made this motion. John Harrison seconded. Then it was withdrawn with the approval of both. 17. Motion: (Richard Delp) to amend the standard by deleting all references to BID, thus making DPD data encoding required for any conforming implementation. All concomitant changes, such as deletion of tables, changing plurals to singulars necessary to effect this change are included. (Sat, 24 Jun 2006 17:19:49 -0700 (PDT)) (1715) At 1:29, Dick Delp made this motion. Ivan Godard seconded. David Hough moved to table this motion until after motion 27. Peter Markstein seconded. The motion was tabled without objection. 18. Motion: (David Hough) Delete 5.3.2 Scaled-product operation (Sun, 25 Jun 2006 13:58:20 -0700 (PDT)) (1727) Revised: (David Hough) Delete 5.3.2 Scaled-product operation; add A.3. Scaled-product operations (Tue, 27 Jun 2006 06:29:28 -0700 (PDT)) (1787) Revised: (David Hough) motion #18 for July 19-20 (Fri, 14 Jul 2006 13:41:16 -0700 (PDT)) (2000) At 1:31, David Hough made this motion. Prof Kahan seconded. After some discussion the motion PASSED 21-3-9. 19. Motion: (David Hough) Define multiple-exception semantics (Sun, 25 Jun 2006 13:59:30 -0700 (PDT)) (1728) Updated: (David Hough) restatement and enlarged commentary on July motion #19: multiple exceptions (Wed, 28 Jun 2006 14:55:04 -0700 (PDT)) (1830) Revised: (David Hough) motion #19 for July 19-20 (Fri, 14 Jul 2006 13:45:52 -0700 (PDT)) (2001) Revised: (David Hough) further rewording of motion #19 (Fri, 14 Jul 2006 14:09:48 -0700 (PDT)) (2004) At 1:54, David Hough made this motion. Michel Hack seconded. Jim Thomas offered an amendment to move some text to the annex which Bob Davis seconded. The amendment failed 7-9-19. The unamended motion PASSED without objection. 20. Motion: (David Hough) clarify conversion to unsigned integer format - plan A - After rounding + alternative Revised: (David Hough) motion # 20 for July 19-20 (Fri, 14 Jul 2006 13:47:52 -0700 (PDT)) (2002) At 2:10, David Hough made this motion. Jeff Kidder seconded. Mike Cowlishaw offered an amendment to consider a number which rounds to a negative zero to be as if it were zero in the unsigned case which Ivan seconded. The motion PASSED without objection. 21. Motion: (Roger Golliver) clarify conversion to signed or unsigned integer format At 2:20, Roger Golliver made this motion. Jim Thomas seconded. The motion PASSED 15-7-13. 22. Motion: (Jim Thomas) reduce recommended options for signaling NaN character sequences (Fri, 07 Jul 2006 16:10:57 -0700) (1882) At 2:25, Jim Thomas made this motion. Mike Cowlishaw seconded. The motion PASSED 14-8-12. 23. Motion: (Dave James) convertToInteger, convertToIntegerExact (Wed, 12 Jul 2006 19:42:45 -0700) (1946) At 2:43, Dave James made this motion. John Crawford seconded. Ron Smith moved to table this motion until August which Ivan Godard seconded. The motion TABLED 22-8-3. 24. Motion: (Dave James) convertToUnsigned, convertToUnsignedExact (Wed, 12 Jul 2006 19:45:46 -0700) (1947) At 2:51, Dave James made this motion. Ivan Godard seconded. Dave James moved to table this motion until August. The motion TABLED without objection. 25. Motion: (Dave James) clampToInteger, clampToUnsigned (Wed, 12 Jul 2006 19:46:45 -0700) (1948) At 2:52, Dave James made this motion. Ivan Godard seconded. Dave James moved to table this motion until August. The motion TABLED without objection. 26. Motion: (Dave James) convertToCharacters (Wed, 12 Jul 2006 19:47:29 -0700) (1949) At 2:53, Dave James made this motion. Ivan Godard seconded. Dave James moved to table this motion until August. The motion TABLED without objection. 27. Motion: (Dave James) scaledProduct, scaledProductAdd, scaledProductSub (Wed, 12 Jul 2006 19:48:28 -0700) (1950) At 2:53, Dave James withdrew this motion. At 2:54, the chairman called a 10 minute break. 17. Motion: (Richard Delp) to amend the standard by deleting all references to BID, thus making DPD data encoding required for any conforming implementation. All concomitant changes, such as deletion of tables, changing plurals to singulars necessary to effect this change are included. (Sat, 24 Jun 2006 17:19:49 -0700 (PDT)) (1715) At 3:09, this motion returned to consideration. Dick Delp made this motion & Ivan Godard seconded. There was considerable discussion. David Hough wished to test the courage of those present by offering an amendment to delete all references to decimal encoding which Dileep Bhandarkar seconded. There was some discussion of tabling the motion which was ruled out of order at this time so consideration of the amendment continued. In favor (4): Dileep Bhandarkar (phone), Bob Davis, Jeff Kidder (phone), & Peter Markstein. Against (29): Stephen Canon, Steven Carlough (phone), Marius Cornea (phone), Mike Cowlishaw, John Crawford, Dick Delp, Mark Erle (phone), J.P. Fasano (phone), Alex Fit-Florea, Chip Freitag (phone), Ivan Godard, Roger Golliver, Michel Hack (phone), John Harrison, Jerry Huck, Dave James, William Kahan, Alex Liu (phone), Raymond Mak (phone), Nobu Mori (phone), Jon Okada, Eric Postpischil, Eric Schwarz (phone), Ron Smith (phone), Pamela Taylor (phone), Jim Thomas, Charles Tsen (phone), Umit Yalcinalp (phone), & Fred Zemke. Abstentions (1): David Hough. The amendment FAILED 4-29-1. Consideration of the unamended motion continued. Nobu Mori moved to table this motion until August which Umit Yalcinalp seconded. In favor (10): Steven Carlough (phone), Mark Erle (phone), J.P. Fasano (phone), William Kahan, Nobu Mori (phone), Eric Schwarz (phone), Ron Smith (phone), Pamela Taylor (phone), Steve Winkler (phone), & Umit Yalcinalp (phone). Against (21): Dileep Bhandarkar (phone), Stephen Canon, Marius Cornea (phone), John Crawford, Bob Davis, Dick Delp, Alex Fit-Florea, Chip Freitag (phone), Ivan Godard, Roger Golliver, John Harrison, Jerry Huck, Dave James, Jeff Kidder (phone), Alex Liu (phone), Peter Markstein, Jon Okada, Eric Postpischil, Jim Thomas, Charles Tsen (phone), & Fred Zemke. Abstentions (3): Mike Cowlishaw, Michel Hack (phone), & David Hough. The motion to table failed 10-21-3. Fred called the question on the unamended & untabled motion. Jerry objected & spoke to the motion to which Dick replied. In favor (5): Bob Davis, Dick Delp, Ivan Godard, David Hough, & Nobu Mori (phone). Against (22): Dileep Bhandarkar (phone), Stephen Canon, Marius Cornea (phone), John Crawford, Mark Davis (by proxy held by Roger Golliver), Mark Erle (phone), Alex Fit-Florea, Chip Freitag (phone), Roger Golliver, John Harrison, Jerry Huck, Dave James, William Kahan, Jeff Kidder (phone), Alex Liu (phone), Peter Markstein, Jon Okada, Eric Postpischil, Peter Tang (by proxy held by John Crawford), Jim Thomas, Charles Tsen (phone), & Fred Zemke. Abstentions (8): Steven Carlough (phone), Mike Cowlishaw, J.P. Fasano (phone), Michel Hack (phone), Raymond Mak (phone), Eric Schwarz (phone), Ron Smith (phone), & Pamela Taylor (phone). The motion FAILED 5-22-8. 28. Motion: (Dave James) Table-based definitions (Wed, 12 Jul 2006 19:49:05 -0700) (1951) Dave James moved, Bob Davis seconded, & Dave James moved to table until August which as approved without objection. 29. Ivan moved to standardize on BID only which Steve Canon seconded. Mike moved to table to August which Prof Kahan seconded. In favor (12): Stephen Canon, Steven Carlough (phone), Mike Cowlishaw, Mark Erle (phone), William Kahan, Raymond Mak (phone), Nobu Mori (phone), Jon Okada, Eric Schwarz (phone), Ron Smith (phone), Pamela Taylor (phone), & Umit Yalcinalp (phone). Against (16): Marius Cornea (phone), John Crawford, Bob Davis, Dick Delp, Alex Fit-Florea, Ivan Godard, Roger Golliver, John Harrison, Jerry Huck, Dave James, Jeff Kidder (phone), Alex Liu (phone), Peter Markstein, Eric Postpischil, Jim Thomas, & Charles Tsen (phone). Abstentions (5): J.P. Fasano (phone), Chip Freitag (phone), Michel Hack (phone), David Hough, & Fred Zemke. The motion to table failed 12-16-5. Consideration of Ivan's untabled motion continued. In favor (2): Dick Delp & Ivan Godard. Against (26): Stephen Canon, Steven Carlough (phone), Marius Cornea (phone), Mike Cowlishaw, Mark Erle (phone), J.P. Fasano (phone), Alex Fit-Florea, Chip Freitag (phone), Roger Golliver, Michel Hack (phone), John Harrison, Jerry Huck, Dave James, William Kahan, Jeff Kidder (phone), Alex Liu (phone), Raymond Mak (phone), Peter Markstein, Nobu Mori (phone), Jon Okada, Eric Postpischil, Eric Schwarz (phone), Ron Smith (phone), Pamela Taylor (phone), Jim Thomas, & Fred Zemke. Abstentions (4): John Crawford, Bob Davis, David Hough, & Charles Tsen (phone). The motion FAILED 2-26-4. 30. Dave James offered a motion about the tower of formats which Bob Davis seconded. There was some discussion. In favor (1): Bob Davis. Against (23): Stephen Canon, Steven Carlough (phone), Mike Cowlishaw, Dick Delp, Mark Erle (phone), J.P. Fasano (phone), Alex Fit-Florea, Roger Golliver, Michel Hack (phone), David Hough, Jerry Huck, William Kahan, Jeff Kidder (phone), Raymond Mak (phone), Peter Markstein, Nobu Mori (phone), Jon Okada, Eric Postpischil, Eric Schwarz (phone), Ron Smith (phone), Pamela Taylor (phone), Jim Thomas, & Charles Tsen (phone). Abstentions (6): Marius Cornea (phone), John Crawford, Chip Freitag (phone), John Harrison, Dave James, & Fred Zemke. Sadly, the motion FAILED 1-23-6. 40. Discussion: (David Hough) Text for Scope & Purpose to be written into PAR. 41. Discussion: (Dan Zuras) Annex A: Bibliography 42. Discussion: (Dan Zuras) Rationale: What to do with purple prose 43. Discussion: (Dan Zuras) Sponsor Ballot Review Subcommittee There was a brief discussion of these issues but, as the time was 5:03, adjournment was considered more desireable which was done at 5:11. 50. Adjournment 17n tn ay 29t- 29- 30-: Dileep Bhandarkar (phone), 17n tn an 29ty 29n 30n: Stephen Canon, 17a ty an 29ty 29n 30n: Steven Carlough (phone), 17n tn an 29tn 29n 30a: Marius Cornea (phone), 17a ta an 29ty 29n 30n: Mike Cowlishaw, 17n tn an 29tn 29a 30a: John Crawford, 17y tn ay 29tn 29a 30y: Bob Davis, 17n t- a- 29t- 29- 30-: Mark Davis (by proxy held by Roger Golliver), 17y tn an 29tn 29y 30n: Dick Delp, 17n ty an 29ty 29n 30n: Mark Erle (phone), 17a ty an 29ta 29n 30n: J.P. Fasano (phone), 17- t- a- 29t- 29- 30-: Warren Ferguson, 17n tn an 29tn 29n 30n: Alex Fit-Florea, 17n tn an 29ta 29n 30a: Chip Freitag (phone), 17y tn an 29tn 29y 30-: Ivan Godard, 17n tn an 29tn 29n 30n: Roger Golliver, 17a ta an 29ta 29n 30n: Michel Hack (phone), 17n tn an 29tn 29n 30a: John Harrison, 17y ta aa 29ta 29a 30n: David Hough, 17n tn an 29tn 29n 30n: Jerry Huck, 17n tn an 29tn 29n 30a: Dave James, 17n ty an 29ty 29n 30n: William Kahan, 17n tn ay 29tn 29n 30n: Jeff Kidder (phone), 17n tn an 29tn 29n 30-: Alex Liu (phone), 17a t- an 29ty 29n 30n: Raymond Mak (phone), 17n tn ay 29tn 29n 30n: Peter Markstein, 17y ty an 29ty 29n 30n: Nobu Mori (phone), 17n tn an 29ty 29n 30n: Jon Okada, 17n tn an 29tn 29n 30n: Eric Postpischil, 17a ty an 29ty 29n 30n: Eric Schwarz (phone), 17a ty an 29ty 29n 30n: Ron Smith (phone), 17n t- a- 29t- 29- 30-: Peter Tang (by proxy held by John Crawford), 17a ty an 29ty 29n 30n: Pamela Taylor (phone), 17n tn an 29tn 29n 30n: Jim Thomas, 17n tn an 29tn 29a 30n: Charles Tsen (phone), 17- ty a- 29t- 29- 30-: Steve Winkler (phone), 17- ty an 29ty 29- 30-: Umit Yalcinalp (phone), 17n tn an 29ta 29n 30a: Fred Zemke, & 17- t- a- 29t- 29- 30-: Dan Zuras Next Meetings ------------- 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 Thursday 11/2 1:00-5:00 Eric Postpischil at Apple, presentations by Jean-Michel Muller & Paul Zimmermann 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