IEEE 754 Revisions Committee ---------------------------- Wednesday May 17, 2006 from 1:00 PM to 5:00 PM SC12-338 Room, Building 12, Intel, 3600 Julliette Lane, Santa Clara phone: Wednesday: Thursday May 18, 2006 from 1:00 PM to 5:00 PM phone: Thursday: Host: Roger Golliver Proposed Agenda --------------- 1. Roll Call & Introductions 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/060419) 6. Poll: Shall we recommend the current draft to the MSC? The following people indicated that they would vote YES: Steve Canon, Steve Carlough, Mike Cowlishaw, Marius Cornea, Bob Davis, Mark Davis, Mark Erle, J.P. Fasano, Alex Fit-Floria, Roger Golliver, Mickel Hack, John Harrison, Graydon Hoare, David Hough, David James, Jeff Kidder, Alex Liu, Peter Markstein, Nobu Mori, Craig Nelson, Eric Postpischil, Eric Schwarz, Ron Smith, Peter Tang, & Fred Zemke. (25 in favor) The following people indicated that they would vote NO: John Crawford, William Kahan, Jon Okada, Jim Thomas, & Charles Tsen. (5 opposed) We then listened to the concerns of those who voted no. 11. Motion: (David Hough) I move that text be inserted for section 1.5 Annexes. (772) (Wed, 26 Apr 2006 14:15:28 PDT) 11a. Amendment: (Jim Thomas) I plan to propose a one sentence amendment to the motion of agenda item 11 (... text be inserted for section 1.5 Annexes) (1017) (Tue, 16 May 2006 11:28:59 -0700) Amendment PASSED 16-6-6 11b. Amendment (David Hough) Amendment PASSED w/o objection 11c. Amendment (Prof Kahan) Amendment PASSED 13-4-11 Motion PASSED w/o objection 12. Motion: (David Hough) Add text to section 1.4 to define Language Conformance. (773) (Wed, 26 Apr 2006 14:35:50 PDT) Motion PASSED w/o objection 13. Motion: (David Hough) Define rninta and xrninta for binary as well as decimal. (774) (Wed, 26 Apr 2006 14:42:15 PDT) Motion PASSED w/o objection 14. Motion: (David Hough) Add section 5.13 Distill Operations (775) (Wed, 26 Apr 2006 15:07:06 PDT) Amendment: (Michel Hack) Amendment proposed for the following text (857) (Tuesday 02 May 2006 at 1:14 p.m. EDT (2006-05-02 17:14 GMT)) (accepted as friendly amendment) Motion FAILED 8-14-5 15. Motion: (David Hough) Change 5.SP to 5.R and add sum and product reduction functions. (778) (Wed, 26 Apr 2006 15:29:29 PDT) Motion FAILED 6-16-6 Break at 2:56, returned at 3:10 16. Motion: (David Hough) Add section 5.STATE to explicitly define the mode/flag/exception operations defined implicitly in 754's 2.Definitions. (784) (Wed, 26 Apr 2006 16:08:59 PDT) Motion PASSED w/o objection 17. Motion: (Eric Postpischil) I move that the definition of "well rounded" be replaced. (831) (Mon, 01 May 2006 08:31:53 PDT) Motion TABLED w/o objection 18. Motion: (Eric Postpischil) I move that a definition of "correctly rounded" be added. (834) (Mon, 01 May 2006 08:32:02 PDT) Motion PASSED w/o objection 19. Motion: (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) Motion TABLED (till June) w/o objection 20. Motion: (Michel Hack) In section 5.6.3 (External decimal character sequence representations for numbers), replace the requirement that extra digits beyond \mu be converted as if they were zeros with an equally precise requirement that honours directed rounding modes. (This only affects the decimal_string -> binary conversion direction.) (861) (Tuesday 02 May 2006 at 2:10 p.m. EDT (2006-05-02 18:10 GMT)) Motion PASSED w/o objection 21. Motion: (David Hough) Add round-integral-nearest-away to section 5.5 (863) (Tue, 2 May 2006 13:39:28 -0700 (PDT)) Motion PASSED w/o objection 22. Motion: (Jim Thomas) To specify external character sequences for infinities and NaNs and to allow usual decimal sequences for zeros (879) (Wed, 03 May 2006 09:40:58 PDT) Motion PASSED w/o objection 23. Motion: (Mike Cowlishaw) String representation of formats should be reversible (988) (Thu, 11 May 2006 09:30:49 +0100) Motion PASSED w/o objection 24. Motion: (Fred Zemke) names for dpd and bid formats (955) (Tue, 09 May 2006 12:08:22 -0700) Motion FAILED 1-25-3 25. Motion: (David Hough) eliminate "a denormalization loss" as a method for determining Loss of Accuracy in default underflow exception handling. (958) (Tue, 9 May 2006 15:47:20 -0700(PDT)) Motion PASSED w/o objection 26. Motion: (David Hough) clarify distinction between "signal underflow exception" and "raise underflow flag" (978) (Wed, 10 May 2006 11:36:47 -0700 (PDT)) Motion PASSED 13-5-10 27. Motion: (David Hough) Adopt Modes specification from "Modes 10 May 2006 16:05" document. (982) (Wed, 10 May 2006 16:10:04 -0700 (PDT)) Motion TABLED w/o objection 28. Motion: (David Hough) Mention constant mode declaration in Annex T. (996) (Thu, 11 May 2006 13:49:41 -0700 (PDT)) Motion FAILED 5-12-10 40. 50. Adjournment Next Meetings ------------- 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