[Cfp-interest] CFP binary FP

[Fred J. Tydeman]

On Wed, 7 Dec 2011 22:04:26 -0800 Jim Thomas wrote:
>
>http://wiki.edg.com/twiki/pub/CFP/WebHome/cfp.bfp.content.pdf

Impressive work.

Typo: Bottom of page 6, "is effect" should be "is in effect".

7.12#8 (page 12): Should be FP_LLOGB*

7.12.6.7: Not happy with "domain error or range error"

7.12.14.*:  How about a domain error?  (inf) + (-inf), 0 * inf,
        0 / 0, fsqrt(-1.)

Typo:  Page 14: 7.12.14.6: "... the square (as if)..."
How get range error for fsqrt?

ISSUE:  "current rounding direction mode"  -- do we need to
add words about static or dynamic?

ISSUE:  Should the 7.12.14.* is*sig functions return _Bool?

ISSUE:  If fesetexcept() cannot cause a trap, do we need to 
add words to feraiseexcpet() that it can cause a trap?
Do we need to add words that flags have 3 states:
 clear
 raised (causing a trap)
 set (not causing a trap)



---
Fred J. Tydeman        Tydeman Consulting
tydeman at tybor.com      Testing, numerics, programming
+1 (775) 358-9748      Vice-chair of PL22.11 (ANSI "C")
Sample C99+FPCE tests: http://www.tybor.com
Savers sleep well, investors eat well, spenders work forever.