<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><br><div>Begin forwarded message:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family:'Helvetica'; font-size:medium; color:rgba(0, 0, 0, 1.0);"><b>From: </b></span><span style="font-family:'Helvetica'; font-size:medium;">James W Thomas <<a href="mailto:jaswthomas@sbcglobal.net">jaswthomas@sbcglobal.net</a>><br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family:'Helvetica'; font-size:medium; color:rgba(0, 0, 0, 1.0);"><b>Subject: </b></span><span style="font-family:'Helvetica'; font-size:medium;"><b>Reset for TS 18661 Part 3?</b><br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family:'Helvetica'; font-size:medium; color:rgba(0, 0, 0, 1.0);"><b>Date: </b></span><span style="font-family:'Helvetica'; font-size:medium;">May 11, 2013 4:49:42 PM PDT<br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family:'Helvetica'; font-size:medium; color:rgba(0, 0, 0, 1.0);"><b>To: </b></span><span style="font-family:'Helvetica'; font-size:medium;">SC22 WG14 <<a href="mailto:sc22wg14@open-std.org">sc22wg14@open-std.org</a>><br></span></div><br><meta http-equiv="Content-Type" content="text/html charset=windows-1252"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br>At the WG 14 meeting in Delft, TS 18661 Part 3 met with confusion and concern about data-interchange types vs interchange floating types. Why are they named the same (_FloatN, _DecimalN)? Why are data-interchange types named _FloatN when they aren’t floating types? Why do non-arithmetic interchange formats need types at all? Following is an outline of a different approach to supporting the IEC 60559 non-arithmetic interchange formats, intended to address these issues. We will discuss this approach at the May 16 CFP teleconference. Email discussion beforehand is encouraged, especially from WG14 members who were at Delft.<div><br></div><div>- Jim Thomas<br> <br>1. Replace data-interchange types with data-interchange encodings. (We already have these for decimal.)<br> <br>Typedef names:<br>encodingfN_t<br>decencodingdN_t<br>binencodingdN_t<br>represent encodings for IEC 60559 interchange formats<br>If Part 1 …<br>Required for binary: encodingfN_t for N = 16, 32, 64, and 128<br>Optional for binary: encodingfN_t for N > 128 and a multiple of 32<br>If Part 2 …<br>Required for decimal: decencodingdN_t and binencodingdN_t for N = 32, 64, 128<br>Optional for decimal: decencodingdN_t and binencodingdN_t for N = 96 and for N > 128 and a multiple of 32<br> <br>2. Rename interchange floating types to <i>IEC 60559 interchange floating types</i>. (Yes, this still has “interchange” in the name, but I don’t know what else to call them that wouldn’t be a serious mismatch with IEC 60559 terminology. Note that item 4 below means the use of this term would be limited.)<br> <br>Types (as now):<br>_FloatN<br>_DecimalN<br>provide IEC 60559 arithmetic interchange formats<br>If Part 1 …<br>Required for binary: _FloatN, N = 32, 64<br>Optional for binary: N = 16 and N >= 128 and a multiple of 32<br>If _FloatN is supported, so shall be encodingfN_t.<br>If Part 2 …<br>Required for decimal: _DecimalN, N = 32, 64, 128<br>Optional for decimal: N = 96 and N > 128 and a multiple of 32<br>If _DecimalN is supported, so shall be decencodingdN_t and binencodingdN_t<br> <br>3. Rename extended floating types to <i>IEC 60559 extended floating types</i>.<br> <br>Types (as now):<br>_FloatNx<br>_DecimalNx<br>provide IEC 60559 (arithmetic) extended formats<br>If Part 1 …<br>Required for binary: N = 32<br>Optional for binary: N = 64, 128<br>If Part 2 …<br>Required for decimal: N = 32, 64<br>Optional for decimal: N = 128<br> <br>4. Define: the IEC 60559 interchange floating types and the IEC 60559 extended floating types are collectively referred to as <i>IEC 60559 floating types</i>.<br> <br>5. Rename generic floating types to <i>general floating types</i> (in Parts 2 and 3). This is intended to address committee concern about different meanings of the term “generic”.<br> <br>6. Define: the general floating types and IEC 60559 floating types are collectively called the <i>real floating types</i>.<br> <br>7. Do not provide classification and totalOrder operations for the encodings. We currently have classification macros and totalorder functions for all the data-interchange types, but for non-arithmetic formats these operations are only recommended in IEC 60559, not required. If the functionality is desirable, we could include it (interfaces TBD) in Part 4 (Supplementary functions).<br> <br>8. Provide functions for all the IEC 60559 required mappings to and from the encodings. Here’s where this approach might seem cumbersome. IEC 60559 requires formatOf operations (conversions) between all its floating-point formats (which incudes arithmetic and non-arithmetic). Thus we might have something like<br> <br>void srcTypeAbbrtodstTypeAbbr(const srcType * x, dstType * y);<br> <br>where srcTypeAbbr (srcType) is one of:<br>encfM (encodingfM_t), decencdM decencodingdM_t), binencdM (binencodingdM_t)<br> <br>and dstTypeAbbr (dstType) is one of:<br>encfN (encodingfN_t), decencdN (decencdoingdN_t), binencdN (binencodingdN_t), fN (_FloatN), fNx (_FloatNx), dN (_DecimalN), dNx (_DecimalNx)<br> <br>and where srcTypeAbbr is one of:<br>fM (_FloatM), fMx (_FloatMx), dM (_DecimalM), dMx (_DecimalMx)<br> <br>and dstTypeAbbr is one of:<br>encfN (encodingfN_t), decencdN (decencdoingdN_t), binencdN (binencodingdN_t)<br> <br>Conversions among the arithmetic types are still done by assignment, cast, etc.<br> <br> <br> <br> <br> </div></div></blockquote></div><br></body></html>