ISO/IEC TS 18661-5:2016

TECHNICAL ISO/IEC TS
SPECIFICATION 18661-5
First edition
2016-08-15
Information Technology —
Programming languages, their
environments, and system software
interfaces — Floating-point
extensions for C —
Part 5:
Supplementary attributes
Technologies de l’information — Langages de programmation, leurs
environnements et interfaces du logiciel système — Extensions à
virgule flottante pour C —
Partie 5: Attributs supplémentaires
Reference number
©
ISO/IEC 2016
© ISO/IEC 2016, Published in Switzerland
All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized otherwise in any form
or by any means, electronic or mechanical, including photocopying, or posting on the internet or an intranet, without prior
written permission. Permission can be requested from either ISO at the address below or ISO’s member body in the country of
the requester.
ISO copyright office
Ch. de Blandonnet 8 • CP 401
CH-1214 Vernier, Geneva, Switzerland
Tel. +41 22 749 01 11
Fax +41 22 749 09 47
copyright@iso.org
www.iso.org
ii © ISO/IEC 2016 – All rights reserved

ISO/IEC TS 18661-5:2016(E)
Foreword . iv
Introduction . v
1 Scope . 1
2 Conformance . 1
3 Normative references . 1
4 Terms and definitions . 2
5 C standard conformance . 2
5.1 Freestanding implementations . 2
5.2 Predefined macros . 2
6 Standard pragmas . 2
7 Evaluation formats . 3
8 Optimization controls . 6
9 Reproducibility . 11
10 Alternate exception handling . 14
Bibliography . 24

© ISO/IEC 2016 – All rights reserved iii

ISO/IEC TS 18661-5:2016(E)
Foreword
ISO (the International Organization for Standardization) and IEC (the International Electrotechnical
Commission) form the specialized system for worldwide standardization. National bodies that are
members of ISO or IEC participate in the development of International Standards through technical
committees established by the respective organization to deal with particular fields of technical activity.
ISO and IEC technical committees collaborate in fields of mutual interest. Other international
organizations, governmental and non-governmental, in liaison with ISO and IEC, also take part in the
work. In the field of information technology, ISO and IEC have established a joint technical committee,
ISO/IEC JTC 1.
The procedures used to develop this document and those intended for its further maintenance are
described in the ISO/IEC Directives, Part 1. In particular the different approval criteria needed for the
different types of document should be noted. This document was drafted in accordance with the
editorial rules of the ISO/IEC Directives, Part 2 (see www.iso.org/directives).
Attention is drawn to the possibility that some of the elements of this document may be the subject of
patent rights. ISO and IEC shall not be held responsible for identifying any or all such patent rights.
Details of any patent rights identified during the development of the document will be in the
Introduction and/or on the ISO list of patent declarations received (see www.iso.org/patents).
Any trade name used in this document is information given for the convenience of users and does not
constitute an endorsement.
For an explanation on the meaning of ISO specific terms and expressions related to conformity
assessment, as well as information about ISO's adherence to the WTO principles in the Technical
Barriers to Trade (TBT) see the following URL: Foreword - Supplementary information
The committee responsible for this document is ISO/IEC JTC 1, Information technology, Subcommittee
SC 22, Programming languages, their environments, and system software interfaces.
ISO/IEC TS 18661 consists of the following parts, under the general title Information technology —
Programming languages, their environments, and system software interfaces — Floating-point extensions
for C:
⎯ Part 1: Binary floating-point arithmetic
⎯ Part 2: Decimal floating-point arithmetic
⎯ Part 3: Interchange and extended types
⎯ Part 4: Supplementary functions
⎯ Part 5: Supplementary attributes
ISO/IEC TS 18661-1 updates ISO/IEC 9899:2011, Information technology — Programming Language C,
annex F in particular, to support all required features of ISO/IEC/IEEE 60559:2011, Information
technology — Microprocessor Systems — Floating-point arithmetic.
ISO/IEC TS 18661-2 supersedes ISO/IEC TR 24732:2009, Information technology — Programming
languages, their environments and system software interfaces — Extension for the programming language
C to support decimal floating-point arithmetic.
ISO/IEC TS 18661-3, ISO/IEC TS 18661-4, and ISO/IEC TS 18661-5 specify extensions to ISO/IEC
9899:2011 for features recommended in ISO/IEC/IEEE 60559:2011.
iv © ISO/IEC 2016 – All rights reserved

ISO/IEC TS 18661-5:2016(E)
Introduction
Background
IEC 60559 floating-point standard
The IEEE 754-1985 standard for binary floating-point arithmetic was motivated by an expanding
diversity in floating-point data representation and arithmetic, which made writing robust programs,
debugging, and moving programs between systems exceedingly difficult. Now the great majority of
systems provide data formats and arithmetic operations according to this standard. The IEC
60559:1989 international standard was equivalent to the IEEE 754-1985 standard. Its stated goals
were the following:
1 Facilitate movement of existing programs from diverse computers to those that adhere to
this standard.
2 Enhance the capabilities and safety available to programmers who, though not expert in
numerical methods, may well be attempting to produce numerically sophisticated
programs. However, we recognize that utility and safety are sometimes antagonists.
3 Encourage experts to develop and distribute robust and efficient numerical programs that
are portable, by way of minor editing and recompilation, onto any computer that conforms
to this standard and possesses adequate capacity. When restricted to a declared subset of
the standard, these programs should produce identical results on all conforming systems.
4 Provide direct support for
a. Execution-time diagnosis of anomalies
b. Smoother handling of exceptions
c. Interval arithmetic at a reasonable cost
5 Provide for development of
a. Standard elementary functions such as exp and cos
b. Very high precision (multiword) arithmetic
c. Coupling of numerical and symbolic algebraic computation
6 Enable rather than preclude further refinements and extensions.
To these ends, the standard specified a floating-point model comprising the following:
— formats – for binary floating-point data, including representations for Not-a-Number (NaN) and
signed infinities and zeros
— operations – basic arithmetic operations (addition, multiplication, etc.) on the format data to
compose a well-defined, closed arithmetic system; also specified conversions between floating-
point formats and decimal character sequences, and a few auxiliary operations
— context – status flags for detecting exceptional conditions (invalid operation, division by zero,
overflow, underflow, and inexact) and controls for choosing different rounding methods
© ISO/IEC 2016 – All rights reserved v

ISO/IEC TS 18661-5:2016(E)
The ISO/IEC/IEEE 60559:2011 international standard is equivalent to the IEEE 754-2008 standard for
floating-point arithmetic, which is a major revision to IEEE 754-1985.
The revised standard specifies more formats, including decimal as well as binary. It adds a 128-bit
binary format to its basic formats. It defines extended formats for all of its basic formats. It specifies
data interchange formats (which may or may not be arithmetic), including a 16-bit binary format and an
unbounded tower of wider formats. To conform to the floating-point standard, an implementation must
provide at least one of the basic formats, along with the required operations.
The revised standard specifies more operations. New requirements include – among others – arithmetic
operations that round their result to a narrower format than the operands (with just one rounding),
more conversions with integer types, more classifications and comparisons, and more operations for
managing flags and modes. New recommendations include an extensive set of mathematical functions
and seven reduction functions for sums and scaled products.
The revised standard places more emphasis on reproducible results, which is reflected in its
standardization of more operations. For the most part, behaviors are completely specified. The standard
requires conversions between floating-point formats and decimal character sequences to be correctly
rounded for at least three more decimal digits than is required to distinguish all numbers in the widest
supported binary format; it fully specifies conversions involving any number of decimal digits. It
recommends that transcendental functions be correctly rounded.
The revised standard requires a way to specify a constant rounding direction for a static portion of
code, with details left to programming language standards. This feature potentially allows rounding
control without incurring the overhead of runtime access to a global (or thread) rounding mode.
Other features recommended by the revised standard include alternate methods for exception handling,
controls for expression evaluation (allowing or disallowing various optimizations), support for fully
reproducible results, and support for program debugging.
The revised standard, like its predecessor, defines its model of floating-point arithmetic in the abstract.
It neither defines the way in which operations are expressed (which might vary depending on the
computer language or other interface being used), nor does it define the concrete representation
(specific layout in storage, or in a processor's register, for example) of data or context, except that it
does define specific encodings that are to be used for the exchange of floating-point data between
different implementations that conform to the specification.
IEC 60559 does not include bindings of its floating-point model for particular programming languages.
However, the revised standard does include guidance for programming language standards, in
recognition of the fact that features of the floating-point standard, even if well supported in the
hardware, are not available to users unless the programming language provides a commensurate level
of support. The implementation’s combination of both hardware and software determines conformance
to the floating-point standard.
C support for IEC 60559
The C standard specifies floating-point arithmetic using an abstract model. The representation of a
floating-point number is specified in an abstract form where the constituent components (sign,
exponent, significand) of the representation are defined but not the internals of these components. In
particular, the exponent range, significand size, and the base (or radix) are implementation-defined.
This allows flexibility for an implementation to take advantage of its underlying hardware architecture.
Furthermore, certain behaviors of operations are also implementation-defined, for example in the area
of handling of special numbers and in exceptions.
vi © ISO/IEC 2016 – All rights reserved

ISO/IEC TS 18661-5:2016(E)
The reason for this approach is historical. At the time when C was first standardized, before the floating-
point standard was established, there were various hardware implementations of floating-point
arithmetic in common use. Specifying the exact details of a representation would have made most of the
existing implementations at the time not conforming.
Beginning with ISO/IEC 9899:1999 (C99), C has included an optional second level of specification for
implementations supporting the floating-point standard. C99, in conditionally normative annex F,
introduced nearly complete support for the IEC 60559:1989 standard for binary floating-point
arithmetic. Also, C99’s informative annex G offered a specification of complex arithmetic that is
compatible with IEC 60559:1989.
ISO/IEC 9899:2011 (C11) includes refinements to the C99 floating-point specification, though it is still
based on IEC 60559:1989. C11 upgraded annex G from “informative” to “conditionally normative”.
ISO/IEC TR 24732:2009 introduced partial C support for the decimal floating-point arithmetic in
ISO/IEC/IEEE 60559:2011. ISO/IEC TR 24732, for which technical content was completed while IEEE
754-2008 was still in the later stages of development, specifies decimal types based on ISO/IEC/IEEE
60559:2011 decimal formats, though it does not include all of the operations required by ISO/IEC/IEEE
60559:2011.
Purpose
The purpose of ISO/IEC TS 18661 is to provide a C language binding for ISO/IEC/IEEE 60559:2011,
based on the C11 standard, that delivers the goals of ISO/IEC/IEEE 60559 to users and is feasible to
implement. It is organized into five parts.
ISO/IEC TS 18661-1 provides changes to C11 that cover all the requirements, plus some basic
recommendations, of ISO/IEC/IEEE 60559:2011 for binary floating-point arithmetic. C
implementations intending to support ISO/IEC/IEEE 60559:2011 are expected to conform to
conditionally normative annex F as enhanced by the changes in ISO/IEC TS 18661-1.
ISO/IEC TS 18661-2 enhances ISO/IEC TR 24732 to cover all the requirements, plus some basic
recommendations, of ISO/IEC/IEEE 60559:2011 for decimal floating-point arithmetic. C
implementations intending to provide an extension for decimal floating-point arithmetic supporting
ISO/IEC/IEEE 60559:2011 are expected to conform to ISO/IEC TS 18661-2.
ISO/IEC TS 18661-3 (Interchange and extended types), ISO/IEC TS 18661-4 (Supplementary functions),
and ISO/IEC TS 18661-5 (Supplementary attributes) cover recommended features of ISO/IEC/IEEE
60559:2011. C implementations intending to provide extensions for these features are expected to
conform to the corresponding parts.
Additional background on supplementary attributes
ISO/IEC/IEEE 60559:2011 defines alternatives for certain attributes of floating-point semantics and
intends that programming languages provide means by which a program can specify which of the
alternative semantics apply to a given block of code. The program specification of attributes is to be
constant (fixed at translation time), not dynamic (changeable at execution time).
ISO/IEC TS 18661 provides these attributes by means of standard pragmas, where the pragma
parameters represent the alternative semantics.
The FENV_ROUND and FENV_DEC_ROUND pragmas, specified in ISO/IEC TS 18661-1 and ISO/IEC TS
18661-2, respectively, provide the rounding direction attributes required by ISO/IEC/IEEE
60559:2011.
© ISO/IEC 2016 – All rights reserved vii

ISO/IEC TS 18661-5:2016(E)
ISO/IEC/IEEE 60559:2011 recommends attributes for
— alternate exception handling: methods of handling floating-point exceptions
— preferredWidth: evaluation formats for floating-point operations
— value-changing optimizations: allow/disallow program transformations that might affect floating-point result
values
— reproducibility: support for getting floating-point result values and exceptions that are exactly reproducible
on other systems
This part of ISO/IEC TS 18661 specifies pragmas that provide these attributes.
Note that the pragmas introduced by ISO/IEC TS 18661 are similar in form to the floating-point
pragmas (FENV_ACCESS, FP_CONTRACT, CX_LIMITED_RANGE) that are already in ISO/IEC 9899.
viii © ISO/IEC 2016 – All rights reserved

TECHNICAL SPECIFICATION ISO/IEC TS 18661-5:2016(E)
Information technology — Programming languages, their
environments, and system software interfaces — Floating-point
extensions for C —
Part 5:
Supplementary attributes
1 Scope
This part of ISO/IEC TS 18661 extends programming language C to include support for attributes
specified and recommended in ISO/IEC/IEEE 60559:2011.
2 Conformance
An implementation conforms to this part of ISO/IEC TS 18661 if
a) it meets the requirements for a conforming implementation of C11 with all the changes to C11 as
specified in parts 1-5 of ISO/IEC TS 18661;
b) it conforms to ISO/IEC TS 18661-1 or ISO/IEC TS 18661-2 (or both); and
c) it defines __STDC_IEC_60559_ATTRIBS__ to 201607L.
An implementation conforms to the optional specification for alternate exception handling in this part
of ISO/IEC TS 18661 if, in addition to the above,
d) it defines __STDC_IEC_60559_ATTRIB_ALTERNATE_EXCEPTION_HANDLING__ to 201607L.
3 Normative references
The following documents, in whole or in part, are normatively referenced in this document and are
indispensable for its application. For dated references, only the edition cited applies. For undated
references, the latest edition of the referenced document (including any amendments) applies.
ISO/IEC 9899:2011, Information technology — Programming languages — C
ISO/IEC/IEEE 60559:2011, Information technology — Microprocessor Systems — Floating-point
arithmetic
ISO/IEC TS 18661-1:2014, Information technology — Programming languages, their environments and
system software interfaces — Floating-point extensions for C — Part 1: Binary floating-point arithmetic
ISO/IEC TS 18661-2:2015, Information technology — Programming languages, their environments and
system software interfaces — Floating-point extensions for C — Part 2: Decimal floating-point arithmetic
© ISO/IEC 2016 – All rights reserved 1

ISO/IEC TS 18661-5:2016(E)
ISO/IEC TS 18661-3:2015, Information technology — Programming languages, their environments and
system software interfaces — Floating-point extensions for C — Part 3: Interchange and extended types
ISO/IEC TS 18661-4:2015, Information Technology — Programming languages, their environments, and
system software interfaces — Floating-point extensions for C — Part 4: Supplementary functions
4 Terms and definitions
For the purposes of this document, the terms and definitions given in ISO/IEC 9899:2011,
ISO/IEC/IEEE 60559:2011, ISO/IEC TS 18661-1:2014, ISO/IEC TS 18661-2:2015, ISO/IEC
TS 18661-3:2015, ISO/IEC TS 18661-4:2015, and the following apply.
4.1
C11
standard ISO/IEC 9899:2011, Information technology — Programming languages C, including Technical
Corrigendum 1 (ISO/IEC 9899:2011/Cor. 1:2012)
5 C standard conformance
5.1 Freestanding implementations
The specification in C11 + TS18661-1 + TS18661-2 allows freestanding implementations to conform to
this part of ISO/IEC TS 18661.
5.2 Predefined macros
Change to C11 + TS18661-1 + TS18661-2 + TS18661-3 + TS18661-4:
In 6.10.8.3#1, add:
__STDC_IEC_60559_ATTRIBS__ The integer constant 201607L, intended to indicate
support of attributes specified and recommended in IEC 60559.
__STDC_IEC_60559_ATTRIB_ALTERNATE_EXCEPTION_HANDLING__ The integer
constant 201607L, intended to indicate support of the alternate exception handling
attributes specified and recommended in IEC 60559.
6 Standard pragmas
C11 provides standard pragmas (6.10.6) for specifying certain attributes pertaining to floating-point
behavior within a compound statement or file. This part of ISO/IEC TS 16881 extends this practice by
introducing additional standard pragmas to support the attributes recommended by IEC 60559.
Change to C11 + TS18661-1 + TS18661-2 + TS18661-3 + TS18661-4:
In 5.1.2.3#5, append the sentence:
Behaviors affected by the standard pragmas (6.10.6) are unspecified in the handler and after
the handler exits.
2 © ISO/IEC 2016 – All rights reserved

ISO/IEC TS 18661-5:2016(E)
In 6.10.6#2, append to the list of standard pragmas:
#pragma STDC FENV_FLT_EVAL_METHOD width
#pragma STDC FENV_DEC_EVAL_METHOD width
#pragma STDC FENV_ALLOW_VALUE_CHANGING_OPTIMIZATION on-off-switch
#pragma STDC FENV_ALLOW_ASSOCIATIVE_LAW on-off-switch
#pragma STDC FENV_ALLOW_DISTRIBUTIVE_LAW on-off-switch
#pragma STDC FENV_ALLOW_MULTIPLY_BY_RECIPROCAL on-off-switch
#pragma STDC FENV_ALLOW_ZERO_SUBNORMAL on-off-switch
#pragma STDC FENV_ALLOW_CONTRACT_FMA on-off-switch
#pragma STDC FENV_ALLOW_CONTRACT_OPERATION_CONVERSION on-off-switch
#pragma STDC FENV_ALLOW_CONTRACT on-off-switch
#pragma STDC FENV_REPRODUCIBLE on-off-switch
#pragma STDC FENV_EXCEPT action except-list
width: specified with the pragmas (7.6.1c, 7.6.1d)
action, except-list: specified with the pragma (7.6.1g.1)
7 Evaluation formats
IEC 60559 recommends attributes for specifying a preferred width for operation results. These
preferred widths correspond to the evaluation formats defined in C11, though C11 does not provide
means for the user to control the evaluation format. This part of ISO/IEC TS 16881 provides pragmas in
to control the evaluation format, using constants with the values of the FLT_EVAL_METHOD
and DEC_EVAL_METHOD macros (5.2.4.2.2a) to represent the evaluation formats.
The evaluation methods in C11 apply to floating-point operators, but not to math functions. Hence, they
do not apply to the IEC 60559 operations that are provided as library functions. This clause specifies a
macro the user can define to cause the generic macros in to be evaluated like floating-
point operators.
Changes to C11 + TS18661-1 + TS18661-2 + TS18661-3 + TS18661-4:
After 5.2.4.2.2a#3, insert:
[3a] The FLT_EVAL_METHOD and DEC_EVAL_METHOD macros characterize the use of
evaluation formats at the point in the program where the macro is used. Thus, the values of
these macros reflect the state of any evaluation method pragmas (7.6.1c, 7.6.1d) that are in
effect. These macros shall not be used in a #if or #elif expression within the scope of a
corresponding evaluation method pragma.
After 7.6.1b, insert:
7.6.1c Evaluation method pragma
Synopsis
[1] #define __STDC_WANT_IEC_60559_ATTRIBS_EXT__
#include
#pragma STDC FENV_FLT_EVAL_METHOD width
© ISO/IEC 2016 – All rights reserved 3

ISO/IEC TS 18661-5:2016(E)
Description
[2] The FENV_FLT_EVAL_METHOD pragma sets the evaluation method for standard floating
types and for binary interchange and extended floating types to the evaluation method
represented by width. The parameter width is an expression in one of the forms
decimal-constant
− decimal-constant
or
DEFAULT
where the value of an expression is a possible value of the FLT_EVAL_METHOD macro, as
specified in 5.2.4.2.2a. An expression represents the evaluation method corresponding to its
value (5.2.4.2.2a) and DEFAULT designates the implementation’s default evaluation method
(characterized by the FLT_EVAL_METHOD macro where no FENV_FLT_EVAL_METHOD
pragma is in effect). width may be -1, 0, or DEFAULT. Which, if any, other values of width are
supported is implementation-defined. Use of unsupported values of width results in undefined
behavior. The pragma shall occur either outside external declarations or preceding all explicit
declarations and statements inside a compound statement. When outside external declarations,
the pragma takes effect from its occurrence until another FENV_FLT_EVAL_METHOD pragma
is encountered, or until the end of the translation unit. When inside a compound statement, the
pragma takes effect from its occurrence until another FENV_FLT_EVAL_METHOD pragma is
encountered (including within a nested compound statement), or until the end of the compound
statement; at the end of a compound statement the state for the pragma is restored to its
condition just before the compound statement.
7.6.1d Evaluation method pragma for decimal floating types
Synopsis
[1] #define __STDC_WANT_IEC_60559_DFP_EXT__
#define __STDC_WANT_IEC_60559_ATTRIBS_EXT__
#include
#pragma STDC FENV_DEC_EVAL_METHOD width
Description
[2]The FENV_DEC_EVAL_METHOD pragma sets the evaluation method for decimal interchange
and extended floating types to the evaluation method represented by width. The parameter
width is an expression in one of the forms
decimal-constant
− decimal-constant
or
DEFAULT
where the value of an expression is a possible value of the DEC_EVAL_METHOD macro, as
specified in 5.2.4.2.2a. An expression represents the evaluation method corresponding to its
4 © ISO/IEC 2016 – All rights reserved

ISO/IEC TS 18661-5:2016(E)
value (5.2.4.2.2a) and DEFAULT designates the implementation’s default evaluation method
(characterized by the DEC_EVAL_METHOD macro where no FENV_DEC_EVAL_METHOD
pragma is in effect). width may be -1, 1, or DEFAULT. Which, if any, other values of width are
supported is implementation-defined. Use of unsupported values of width results in undefined
behavior. The pragma shall occur either outside external declarations or preceding all explicit
declarations and statements inside a compound statement. When outside external declarations,
the pragma takes effect from its occurrence until another FENV_DEC_EVAL_METHOD pragma
is encountered, or until the end of the translation unit. When inside a compound statement, the
pragma takes effect from its occurrence until another FENV_DEC_EVAL_METHOD pragma is
encountered (including within a nested compound statement), or until the end of the compound
statement; at the end of a compound statement the state for the pragma is restored to its
condition just before the compound statement.
At the end of 7.12#2, append:
[2] …. These types reflect the evaluation method where no evaluation method pragma
(7.6.1c, 7.6.1d) is in effect.
[2a] For each of the types above, a type-like macro with the same name expands to a
designation for the type whose range and precision (5.2.4.2.2a) are used for evaluating
operations and constants of the corresponding standard, binary, or decimal floating type. The
macro reflects the actual evaluation method, which might be determined by an evaluation
method pragma (7.6.1c, 7.6.1d). Use of #undef to remove the macro definition will ensure that
the actual type will be referred to.
After 7.25#2, insert:
[2a] Except for functions that round result to a narrower type, if the macro
__STDC_TGMATH_OPERATOR_EVALUATION__
is defined at the point in the program where is first included, the format of the
generic parameters of the function invoked by a type-generic macro is determined by the
effective evaluation method (see 5.2.4.2.2 and 5.2.4.2.2a), based on the types of the arguments
for generic parameters. The semantic type of the expanded type-generic macro is unchanged by
the evaluation method. Neither the arguments for generic parameters nor the result are narrowed to their
semantic types. Thus, (if the macro __STDC_TGMATH_OPERATOR_EVALUATION__ is
appropriately defined) the evaluation method affects the operations provided by type-generic
macros and floating-point operators in the same way. See EXAMPLE 2 below.
After the first bullet in 7.25#3c, insert:
If the macro
__STDC_TGMATH_OPERATOR_EVALUATION__
is defined at the point in the program where is first included, the format of the
generic parameters of the function invoked is given by the effective evaluation method based on
the type determined below. The semantic type of the expanded type-generic macro is unchanged
by the evaluation method. The macro __STDC_TGMATH_OPERATOR_EVALUATION__ does not
alter the conversion of classification macro arguments to their semantic types (as specified in
7.12.3).
In 7.25#7, change “EXAMPLE” to “EXAMPLE 1”.
© ISO/IEC 2016 – All rights reserved 5

ISO/IEC TS 18661-5:2016(E)
After 7.25#7, append:
[7a] EXAMPLE 2 The following code uses wide evaluation to avoid overflow and underflow.
#define __STDC_WANT_IEC_60559_ATTRIBS_EXT__
#define __STDC_TGMATH_OPERATOR_EVALUATION__
#include
#include
{
#pragma STDC FLT_EVAL_METHOD 1 /* to double */
float x, y, z;
….
z = sqrt(x * x + y * y);
}
Because of the use of the evaluation method pragma, the sum of squares, whose semantic type
is float, is evaluated with the range and precision of double, hence does not overflow or
underflow. The expanded macro sqrt acquires the semantic type of its argument:
float. However, because the macro __STDC_TGMATH_OPERATOR_EVALUATION__ is defined
before the inclusion of , the sqrt macro behaves like an operator with respect to
the evaluation method and does not narrow its argument to its semantic type. Without the
definition of the macro __STDC_TGMATH_OPERATOR_EVALUATION__, the sqrt macro
would expand to sqrtf and its evaluated argument would be converted to float, which
might overflow or underflow.
8 Optimization controls
IEC 60559 recommends attributes to allow and disallow value-changing optimizations, individually and
collectively. C11 Annex F disallows value-changing optimizations, except for contractions (which can be
controlled as a group with the FP_CONTRACT pragma). This part of ISO/IEC TS 18661 provides
pragmas to allow or disallow certain value-changing optimizations, including those mentioned in IEC
60559. These pragmas apply to all floating types, not just the real floating types (which provide the IEC
60559 formats).
Change to C11 + TS18661-1 + TS18661-2 + TS18661-3 + TS18661-4:
After 7.6.1d, insert:
7.6.1e Optimization control pragmas
[1] The pragmas in this subclause can be used to allow the implementation to do certain
floating-point optimizations that are generally disallowed because the optimization might
change values of floating-point expressions. These pragmas apply to all floating types. It is
unspecified whether optimizations allowed by these pragmas occur consistently, or at all. These
pragmas (among other standard pragmas) apply to user code. They do not apply to code for
operators or library functions that might be placed inline by the implementation.
[2] Some of the pragmas allow optimizations based on identities of real number arithmetic that
are not valid for floating-point arithmetic (5.1.2.3, F.9.2). Optimizations based on identities that
are valid for the implementation’s floating-point arithmetic are always allowed. Optimizations
based on identities derived from identities whose use is allowed (either by a standard pragma
or by virtue of being valid for the implementation’s floating-point arithmetic) may also be done.
[3] These pragmas do not affect the requirements on volatile or atomic variables.
6 © ISO/IEC 2016 – All rights reserved

ISO/IEC TS 18661-5:2016(E)
[4] Each pragma shall occur either outside external declarations or preceding all explicit
declarations and statements inside a compound statement. When outside external declarations,
the pragma takes effect, on each optimization it controls, from its occurrence until another
pragma that affects the same optimization is encountered, or until the end of the translation
unit. When inside a compound statement, the pragma takes effect, on each optimization it
controls, from its occurrence until another pragma that affects the same optimization is
encountered (including within a nested compound statement), or until the end of the compound
statement; at the end of a compound statement the state for allowing each optimization
controlled by the pragma is restored to its condition just before the compound statement.
7.6.1e.1 The FENV_ALLOW_VALUE_CHANGING_OPTIMIZATION pragma
Synopsis
[1] #define __STDC_WANT_IEC_60559_ATTRIBS_EXT__
#include
#pragma STDC FENV_ALLOW_VALUE_CHANGING_OPTIMIZATION on-off-switch
Description
[1] This pragma is equivalent to all the optimization pragmas specified below, with the same
value of on-off-switch (ON, OFF, or DEFAULT).
[2] NOTE The FENV_ALLOW_VALUE_CHANGING_OPTIMIZATION pragma does not affect
the evaluation methods. Nevertheless, an evaluation method characterized by a negative value
of width (5.2.4.2.2a) might allow for indeterminable evaluation formats, hence unspecified
result values.
7.6.1e.2 The FENV_ALLOW_ASSOCIATIVE_LAW pragma
Synopsis
[1] #define __STDC_WANT_IEC_60559_ATTRIBS_EXT__
#include
#pragma STDC FENV_ALLOW_ASSOCIATIVE_LAW on-off-switch
Description
[2] This pragma allows or disallows optimizations based on the associative laws for addition
and multiplication
x + (y + z) = (x + y) + z
x × (y × z) = (x × y) × z
where on-off-switch is one of
ON – allow application of the associative laws
OFF – do not allow application of the associative laws
DEFAULT – “off”
© ISO/IEC 2016 – All rights reserved 7

ISO/IEC TS 18661-5:2016(E)
[3] Note that this pragma allows optimizations based on similar mathematical identities
involving subtraction and division. For example, for IEC 60559 floating-point arithmetic, since
the identity x − y = x + (−y) is valid (F.9.2), this pragma also allows optimizations based on
x + (y − z) = (x + y) − z
Similarly, if the states for this pragma and the FENV_ALLOW_MULTIPLY_BY_RECIPROCAL
pragma (7.6.1e.4) are both “on”, then optimizations based on the following are allowed:
x × (y / z) = (x × y) / z
Note also that for IEC 60559 floating-point arithmetic, since the commutative laws
x + y = y + x
x × y = y × x
are valid, the pragma allows optimizations based on identities derived from the associative and
commutative laws, such as
x + (z + y) = (x + y) + z
7.6.1e.3 The FENV_ALLOW_DISTRIBUTIVE_LAW pragma
Synopsis
[1] #define __STDC_WANT_IEC_60559_ATTRIBS_EXT__
#include
#pragma STDC FENV_ALLOW_DISTRIBUTIVE_LAW on-off-switch
Description
[2] This pragma allows or disallows optimizations based on the distributive laws for
multiplication and division
x × (y + z) = (x × y) + (x × z)
x × (y − z) = (x × y) − (x × z)
(x + y) / z = (x / z) + (y / z)
(x − y) / z = (x / z) − (y / z)
where on-off-switch is one of
ON – allow application of the distributive laws
OFF – do not allow application of the distributive laws
DEFAULT – “off”
7.6.1e.4 The FENV_ALLOW_MULTIPLY_BY_RECIPROCAL pragma
Synopsis
[1] #define __STDC_WANT_IEC_60559_ATTRIBS_EXT__
#include
#pragma STDC FENV_ALLOW_MULTIPLY_BY_RECIPROCAL on-off-switch
8 © ISO/IEC 2016 – All rights reserved

ISO/IEC TS 18661-5:2016(E)
Description
[2] This pragma allows or disallows optimizations based on the mathematical equivalence of
division and multiplication by the reciprocal of the denominator
x / y = x × (1 / y)
where on-off-switch is one of
ON – allow multiply by reciprocal
OFF – do not allow multiply by reciprocal
DEFAULT – “off”
7.6.1e.5 The FENV_ALLOW_ZERO_SUBNORMAL pragma
Synopsis
[1] #define __STDC_WANT_IEC_60559_ATTRIBS_EXT__
#include
#pragma STDC FENV_ALLOW_ZERO_SUBNORMAL on-off-switch
Description
[2] This pragma allows or disallows replacement of subnormal operands and results by zero,
where on-off-switch is one of
ON – allow replacement of subnormals with zero
OFF – do not allow replacement of subnormals with zero
DEFAULT – “off”
[3] Within the scope of this pragma, the floating-point operations affected by the pragma are all
floating-point operators, implicit conversions (including the conversion of a value represented
in a format wider than its semantic type to its semantic type, as done by classification macros),
and invocations of applicable functions in , , , and
for which macro replacement has not been suppressed (7.1.4). Thus, subnormal
operands and results of affected operations may be replaced by zero. Whether the replacement
raises the “inexact” and “underflow” floating-point exceptions is unspecified. Functions not
affected by the pragma behave as though no FENV_ALLOW_ZERO_SUBNORMAL pragma were in
effect at the site of the call.
7.6.1e.6 The FENV_ALLOW_CONTRACT_FMA pragma
Synopsis
[1] #define __STDC_WANT_IEC_60559_ATTRIBS_EXT__
#include
#pragma STDC FENV_ALLOW_CONTRACT_FMA on-off-switch
© ISO/IEC 2016 – All rights reserved 9

ISO/IEC TS 18661-5:2016(E)
Description
[2] This pragma allows or disallows contraction (6.5) of floating-point multiply and add or
subtract (with the result of the multiply)
x * y + z
x * y − z
x + y * z
x − y * z
where on-off-switch is one of
ON – allow contraction for floating-point multiply-add
OFF – do not allow contraction for floating-point multiply-add
DEFAULT – implementation defined whether “on” or “off”
[3] NOTE IEC 60559 uses the term synthesize instead of contract.
7.6.1e.7 The FENV_ALLOW_CONTRACT_OPERATION_CONVERSION pragma
Synopsis
[1] #define __STDC_WANT_IEC_60559_ATTRIBS_EXT__
#include
#pragma STDC FENV_ALLOW_CONTRACT_OPERATION_CONVERSION on-off-switch
Description
[2] This pragma allows or disallows contraction (6.5) of a floating-point operation and a
conversion (of the result of the operation), where on-off-switch is one of
ON – allow contraction for floating-point operation-conversion
OFF – do not allow contraction for floating-point operation-conversion
DEFAULT – implementation defined whether “on” or “off”
[3] Within the scope of this pragma, the floating-point operations affected by the pragma are all
floating-point operators, implicit conversions (including the conversion of a value represented
in a format wider than its semantic type to its semantic type, as done by classification macros),
and invocations of applicable functions in , , , and
for which macro replacement has not been suppressed (7.1.4). Thus, an affected
operation may be contracted with a conversion of its result. Functions not affected by the
pragma behave as though no FENV_ALLOW_CONTRACT_OPERATION_CONVERSION pragma
were in effect at the site of the call.
10 © ISO/IEC 2016 – All rights reserved

ISO/IEC TS 18661-5:2016(E)
[4] EXAMPLE For the code sequence
#define __STDC_WANT_IEC_60559_ATTRIBS_EXT__
#include
#include
#pragma STDC FENV_ALLOW_CONTRACT_OPERATION_CONVERSION ON
float f1, f2;
double d1, d2;
…
f1 = d1 * d2;
f2 = sqrt(d1);
the multiply (operation) and assignment (conversion) are allowed to be evaluated with just one
rounding (to the range and precision of float). If the on-off-switch for the pragma were OFF, then
the multiply would have to be rounded according to the evaluation method and the assignment
would require a second rounding. With the given code, the sqrt function may be replaced by
fsqrt, avoiding the need for a separate operation to convert the double result of sqrt to float.
7.6.1e.8 The FENV_ALLOW_CONTRACT pragma
Synopsis
[1] #define __STDC_WANT_IEC_60559_ATTRIBS_EXT__
#include
#pragma STDC FENV_ALLOW_CONTRACT on-off-switch
Description
[2] This pragma allows or disallows contraction (6.5) for floating-point operations, where on-
off-switch is one of
ON – allow contraction for floating-point operations
OFF – do not allow contraction for floating-point operations
DEFAULT – implementation defined whether “on” or “off”
[3] The optimizations controlled by this pragma include those controlled by the
FENV_ALLOW_CONTRACT_FMA and FENV_ALLOW_CONTRACT_OPERATION_CONVERSION
pragmas.
[4] This pragma is equivalent to the FP_CONTRACT pragma in : the two pragmas
may be used interchangeably, provided the appropriate header is included and the
implementation defines __STDC_WANT_IEC_60559_ATTRIBS_EXT__.
9 Reproducibility
IEC 60559 recommends an attribute to facilitate writing programs whose floating-point results and
exception flags will be reproducible on any implementation that supports the language and library
features used by the program. Such code must use only those features of the language and library that
support reproducible results. These features include ones with a well-defined binding to reproducible
features of IEC 60559, so that no unspecified or implementation-defined behavior is admitted. This part
of ISO/IEC TS 18661 provides a pragma to support the IEC 60559 attribute for reproducible results and
gives requirements for programs to have reproducible results.
© ISO/IEC 2016 – All rights reserved 11

ISO/IEC TS 18661-5:2016(E)
Changes to C11 + TS18661-1 + TS18661-2 + TS18661-3 + TS18661-4:
After 7.6.1e, insert:
7.6.1f Reproducible results
[1] The pragma in this subclause supports the reproducible results attribute recommended in
IEC 60559. Where the state of the pragma is “on”, floating-point numerical results and
exception flags are reproducible (given the same inputs, including relevant environment
variables) on implementations that define __STDC_IEC_60559_ATTRIBS__ and that
support the language and library features used by the source code, provided the source code
uses a limited set of features as described below (7.6.1f.2).
[2] An implementation that defines __STDC_IEC_60559_ATTRIBS__ also defines either
__STDC_IEC_60559_BFP__ or __STDC_IEC_60559_DFP__, or both. If the
implementation defines __STDC_IEC_60559_BFP__, it supports reproducible result
...