[Cfp-interest 1754] change list for TS3 annex

[Jim Thomas]

Here’s a list of notable changes in our current draft of the TS3 annex relative to N2405, the previous one we submitted to WG14.

- Jim Thomas

+++++++++++++++++++++
Changes in TS3 Annex

Relative to N2405

 

Added TOC.

Added links.

X.2.1 #1 Revised tables to use C instead of IEC 60559 model parameters.

X.2.1 #2 Created a more insightful example.

X.2.2 #2 Made support for binary16 optional.

X.2.3 #1 Revised table to use C instead of IEC 60559 model parameters.

X.3 Reorganized so that the introductory paragraphs #4 and #5 come just before the macros they apply to and after the ones they don’t.

X.3 #2 and #3 Changed so that wide evaluation does not specify a type for the evaluation format that is different from the semantic type if the two types have the same values. This goes with the change below in X.11 #7.

X.4.2 Reworded specification for the usual arithmetic conversions to avoid confusing indentation.

X.4.3 Added references to (new) examples for two of the cases.

X.5 #6 Added specification for the quantum exponent of floating constants of decimal floating type.

X.5 #7 Added note pointing out the two equivalent sets of suffixes for floating constants of type _DecimalN for N = 32, 64, and 128.

X.6 #3 Made _Float16, _Float32, _Float64 be subject to the default argument promotions like float is.

X.8 Removed the lists of identifiers per header and conditionalities.

X.10 Incorporated specification for decimal floating types (overlooked in previous version).

X.11 #7 Added an example showing definitions for _t types.

X.11.2 Added the mathematical functions from TS4a.

X.11.2 Updated some subclause references.

X.11.3.1.1 (and elsewhere) Added to annex synopses: #define __STDC_WANT_IEC_60559_TYPES_EXT__

X.11.3.1.1 (and elsewhere) Changed restrict pointer parameters to arrays with static restrict size.

X.11.3.1.1 #4 Added an example.

X.12.2 #3 Added requirement that, for implementations supporting both binary and decimal types and at least one (binary or decimal) non-arithmetic interchange format, the strto functions for decimal types and formats accept input strings of hexadecimal form.

X.12.2 #4 Added an example.

X.13 #4 Enhanced the tgmath resolution rules for functions that round to narrower type, so that arguments of equivalent standard and binary type are used interchangeably.

X.13 #4 Updated and expanded the example.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.oakapple.net/pipermail/cfp-interest/attachments/20200819/9a6b3d72/attachment-0001.htm>