IEEE 754 Revisions Committee ---------------------------- Apple 1 Infinite Loop Cupertino, CA Wednesday, August 9, 2006, Room: Singapore Room Phone: Toll-free: 1-800-249-5618. Local: 1-408-974-8478. Meeting ID: 43030. Thursday, August 10, 2006, Room: Mission Impossible Phone: Toll-free: 1-800-249-5618. Local: 1-408-974-8478. Meeting ID: 43030. Host: Eric Postpischil Proposed Agenda --------------- 1. Roll Call & Introductions In attendence were: Steve Canon, Marius Cornea, Mike Cowlishaw, Joe Darcy, Bob Davis, Mark Davis, Dick Delp, Mark Erle, J.P. Fasano, Warren Ferguson, Chip Freitag, Ivan Godard, Roger Golliver, Michel Hack, David Hough, Jerry Huck, David James, William Kahan, Jeff Kidder, Raymond Mak, Peter Markstein, Craig Nelson, Jon Okada, Eric Postpischil, Eric Schwarz, Ron Smith, Peter Tang, Pamela Taylor, Jim Thomas, Charles Tsen, Fred Zemke, & Dan Zuras 2. Show Patent Slides 3. Call Meeting to Order 4. Approval of Agenda (http://nonabelian.com/754/agenda) 5. Approval of Minutes (http://nonabelian.com/754/minutes/754/060719) 11. July tabled motion 23. Motion: (Dave James) convertToInteger, convertToIntegerExact (Wed, 12 Jul 2006 19:42:45 -0700) (1946) July: 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. August: At 1:10 Dave James moved. Michel Hack seconded. Michel moves to amend to say (in the footnote that says the invalid exception is signaled) the invalid exception may be signaled. Jim withdraws. Michel withdraws. Ivan moves to table motions 11, 12, & 13 until after 28. Kidder seconds. The motions are tabled until after 28. 14. July tabled motion 26. Motion: (Dave James) convertToCharacters (Wed, 12 Jul 2006 19:47:29 -0700) (1949) July: 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. August: At 1:20, Dave James moved. Bob Davis Seconded. Jim moved to table until after 15. Ivan seconded. Motion tabled. 15. July tabled motion 28. Motion: (Dave James) Table-based definitions (Wed, 12 Jul 2006 19:49:05 -0700) (1951) July: Dave James moved, Bob Davis seconded, & Dave James moved to table until August which as approved without objection. August: At 1:30, Dave James moved. Ivan seconded. Fred moved to amend that tables are to be non-normative. Jerry seconded. Amendment FAILED 7-16-4. David Hough moves to amend to add clause 7 of the 08/08 tables document as a non-normative annex to 754 draft. Steve Canon seconded. Amendment FAILED 10-10-7. Godard moves to amend by adding to the motion: "This transformation shall not introduce any normative change and shall leave in place text which is not redundant with [the added] tabular information." Accepted as friendly by James and Godard. Postpischil moves to call the vote. Canon seconds. Amendment FAILED 11-16-0. Motion FAILED 8-19-0. 14. July tabled motion 26. Motion: (Dave James) convertToCharacters (Wed, 12 Jul 2006 19:47:29 -0700) (1949) July: 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. August: At 1:20, Dave James moved. Bob Davis Seconded. Jim moved to table until after 15. Ivan seconded. Motion tabled. Motion untabled. James moves. Bob Davis seconds. Motion FAILED 2-18-6. 16. Jim Thomas, Motion: move mixed-radix comparison to "purple text" (Thu, 27 Jul 2006 10:21:03 -0700) (2133) Jim Moved. Peter Markstein seconded. Hough moves to amend to remove text [instead of moving to "purple text"]. Markstein seconds. Thomas [and implicitly Markstein] accepts as friendly. Amended motion PASSED 12-4-10. 17. Jim Thomas, Motion: make nextAfter homogeneous (Fri, 28 Jul 2006 09:48:40 -0700) (2148) Jim moved. David Hough seconded. Motion PASSED without objection. (We took a two minute recess to discuss 18 & 20 off the record.) 18. Jim Thomas, Motion: update mode operations for consistency (Mon, 31 Jul 2006 10:29:32 -0700) (2176) Jim moved. Jon seconded. Motion PASSED 12-6-9. 19. Eric Postpischil, Motion: Update transcendental functions with crlibm progress. (Tue, 1 Aug 2006 08:17:16 -0700) (2187) Amended by Eric (Mon, 7 Aug 2006 21:33:57 -0700) (2285) Eric Postpischil moved. Jeff moved to table until after 20. Ivan seconded. Motion tabled. 20. David Hough, Motion: update exception and flag operations for consistency (Wed, 2 Aug 2006 23:11:14 -0700 (PDT)) (2205) David Hough moved. Prof Kahan seconded. Eric Postpischil moved to amend the motion to undo the changes of 18. David Hough seconded. Accepted as friendly. Amended motion FAILED 3-5-18. 19. Eric Postpischil, Motion: Update transcendental functions with crlibm progress. (Tue, 1 Aug 2006 08:17:16 -0700) (2187) Amended by Eric (Mon, 7 Aug 2006 21:33:57 -0700) (2285) Eric Postpischil moved. Jeff moved to table until after 20. Ivan seconded. Motion tabled. Motion untabled. Eric Postpischil moved. Peter Markstein seconded. Motion PASSED without objection. 21. Charles Tsen, Motion: Clarify decimal encoding of NaN's (Thu, 3 Aug 2006 17:05:08 -0700) (2224) resend (Fri, 4 Aug 2006 08:48:23 -0700) (2250) repost by Fred Zemke (Fri, 04 Aug 2006 14:58:33 -0700) (2263) amended by Charles Tsen (Mon, 7 Aug 2006 09:34:56 -0700) (2281) Charles moved. Mike seconded. Motion PASSED 23-1-2. 22. Ron Smith, Motion: Change Software-Only Conformance Requirement (Thu, 3 Aug 2006 21:59:40 -0400) (2227) Ron moved. Eric Schwarz seconded. Ron moved to amend to change the motion to remove "Hardware components that require software support to conform shall not be said to conform apart from such software." [The entire effect of the amended motion is to remove that sentence.] Eric accepted the motion as friendly. The vote is 13-12-1. The chair chooses to make a tie by voting against this motion to make the final vote 13-13-1. Therefore motion FAILED. 23. Ron Smith, Motion: Add Glossary Term for "Supported Format" (Thu, 3 Aug 2006 22:04:57 -0400) (2228) Ron moved. Mike seconded. Motion PASSED 17-2-6. 24. Ron Smith, Motion: Require at Least One Integer Format (Thu, 3 Aug 2006 22:12:36 -0400) (2231) Ron withdrew this motion. 25. Ron Smith, Motion: Additional Conformance Predicates (Thu, 3 Aug 2006 22:16:04 -0400) (2233) Ron moved. Eric Schwarz seconded. Motion FAILED 7-9-8. 26. Ron Smith, Motion: Change "It Shall Be Possible" to "Shall" (Thu, 3 Aug 2006 22:22:49 -0400) (2236) Ron moved. Jim seconded. Motion PASSED without objection. 27. Ron Smith, Motion: Additional Exceptions with Invalid Operation (Thu, 3 Aug 2006 22:25:51 -0400) (2237) Ron moved. Eric Schwarz seconded. Motion FAILED 6-12-5. 28. Ron Smith, Motion: Relaxation of Invalid Operation for Convert Float to Fixed (Thu, 3 Aug 2006 22:30:54 -0400) (2238) Ron moved. Eric Schwarz seconded. Jim moved to amend motion so that it deletes clause h) in the draft and deletes the last clause ["it is language defined what results are delivered and whether invalid operation is signaled"] in the motion's text about clause l). Jeff seconded. Ron moved to table the motion-amendment stack. Prof Kahan seconded. Motion TABLED 18-3-2. 11. July tabled motion 23. Motion: (Dave James) convertToInteger, convertToIntegerExact (Wed, 12 Jul 2006 19:42:45 -0700) (1946) July: 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. August: At 1:10 Dave James moved. Michel Hack seconded. Michel moves to amend to say (in the footnote that says the invalid exception is signaled) the invalid exception may be signaled. Jim withdraws. Michel withdraws. Ivan moves to table motions 11, 12, & 13 until after 28. Kidder seconds. The motions are tabled until after 28. Motions untabled. Motion to amend has been made but not seconded. Bob seconded motion to amend. Dave James accepts, Hack implicitly accepts. The motion is accepted as friendly. Amended motion FAILED 5-8-9. 12. July tabled motion 24. Motion: (Dave James) convertToUnsigned, convertToUnsignedExact (Wed, 12 Jul 2006 19:45:46 -0700) (1947) July: 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. Untabled. Dave James moved. Motion FAILED for lack of second. 13. July tabled motion 25. Motion: (Dave James) clampToInteger, clampToUnsigned (Wed, 12 Jul 2006 19:46:45 -0700) (1948) July: 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. Untabled. Dave James moved. Bob seconded. Motion FAILED 1-9-9. Jim Thomas requested a discussion of scheduling another meeting in September. Another meeting was scheduled for Thursday, September 7, Jim will be our host at Hewlett-Packard in Cupertino. 50. Adjournment Eric Postpischil moved to adjourn. Dave James seconded. Adjourned without objection. Next Meetings ------------- Thursday 9/7 Full meeting, Jim Thomas at HP in 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