[cfp-interest 3738] canonicalize in Annex F

[Jim Thomas]

This follows up on

>     Jim & group: Review trunc and canonicalize in Damian's Annex F update to come.


For canonicalize consider: 

F.10.9.7 The canonicalize functions

1 In ISO/IEC 60559 formats, all values have a unique canonical representation (5.3.5.3.3).
2 canonicalize(cx, x) stores the canonical representation of *x into the object pointed to by cx for all *x except signaling NaNs.
3 canonicalize(cx, x) stores a canonical representation of a quiet NaN into the object pointed to by cx and raises the “invalid” floating-point exception if *x is a signaling NaN.   

Recommended practice
The representation stored into the object pointed to by cx should be the quieted canonical representation of *x if *x is a signaling NaN. See ISO/IEC 60559 regarding how signaling NaNs are quieted.

- Jim Thomas


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.oakapple.net/pipermail/cfp-interest/attachments/20251124/d7526d54/attachment.htm>