[Cfp-interest] CFP binary FP

[Jim Thomas]

Fred,

Thanks for the comments. Please see responses below.

-Jim

Fred J. Tydeman wrote:

>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".
>  
>
yes

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

>7.12.6.7: Not happy with "domain error or range error"
>  
>
I used the same words as for ilogb in C1x.

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

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

>ISSUE:  "current rounding direction mode"  -- do we need to
>add words about static or dynamic?
>  
>
This is a big terminology issue for us. We need Steve involved.

>ISSUE:  Should the 7.12.14.* is*sig functions return _Bool?
>  
>
I think it should be the same as the other inquiry functions (isnan, 
ets.) which are type int

>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)
>
>  
>
raise and set (using C terminology) put the flags in the same state. The 
difference is that raise may cause side effects, namely traps.

>
>---
>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.
>
>_______________________________________________
>Cfp-interest mailing list
>Cfp-interest at oakapple.net
>http://mailman.oakapple.net/mailman/listinfo/cfp-interest
>
>
>  
>