ISO/IEC/IEEE 60559:2011
(Main)Information technology - Microprocessor Systems - Floating-Point arithmetic
Information technology - Microprocessor Systems - Floating-Point arithmetic
ISO/IEC/IEEE 60559:2011(E) specifies formats and methods for floating-point arithmetic in computer systems - standard and extended functions with single, double, extended, and extendable precision - and recommends formats for data interchange. Exception conditions are defined and standard handling of these conditions is specified. It provides a method for computation with floating-point numbers that will yield the same result whether the processing is done in hardware, software, or a combination of the two. The results of the computation will be identical, independent of implementation, given the same input data. Errors, and error conditions, in the mathematical processing will be reported in a consistent manner regardless of implementation. This first edition, published as ISO/IEC/IEEE 60559, replaces the second edition of IEC 60559.
General Information
Relations
Standards Content (Sample)
ISO/IEC/IEEE 60559
Edition 1.0 2011-06
INTERNATIONAL
STANDARD
Information technology – Microprocessor Systems – Floating-Point arithmetic
All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any form or by
any means, electronic or mechanical, including photocopying and microfilm, without permission in writing from ISO, IEC
or IEEE at the respective address given below.
ISO copyright office IEC Central Office The Institute of Electrical and Electronics Engineers, Inc
Case postale 56 3, rue de Varembé 3 Park Avenue
CH-1211 Geneva 20 CH-1211 Geneva 20 US-New York, NY10016-5997
Tel. +41 22 749 01 11 Switzerland USA
Fax +41 22 749 09 47 Email: inmail@iec.ch Email: stds-info@ieee.org
Email: copyright@iso.org Web: www.iec.ch Web: www.ieee.org
Web: www.iso.org
About the IEC
The International Electrotechnical Commission (IEC) is the leading global organization that prepares and publishes
International Standards for all electrical, electronic and related technologies.
About IEC publications
The technical content of IEC publications is kept under constant review by the IEC. Please make sure that you have the
latest edition, a corrigenda or an amendment might have been published.
Catalogue of IEC publications: www.iec.ch/searchpub
The IEC on-line Catalogue enables you to search by a variety of criteria (reference number, text, technical committee,…).
It also gives information on projects, withdrawn and replaced publications.
IEC Just Published: www.iec.ch/online_news/justpub
Stay up to date on all new IEC publications. Just Published details twice a month all new publications released. Available
on-line and also by email.
Electropedia: www.electropedia.org
The world's leading online dictionary of electronic and electrical terms containing more than 20 000 terms and definitions
in English and French, with equivalent terms in additional languages. Also known as the International Electrotechnical
Vocabulary online.
Customer Service Centre: www.iec.ch/webstore/custserv
If you wish to give us your feedback on this publication or need further assistance, please visit the Customer Service
Centre FAQ or contact us:
Email: csc@iec.ch
Tel.: +41 22 919 02 11
ISO/IEC/IEEE 60559
Edition 1.0 2011-06
INTERNATIONAL
STANDARD
Information technology – Microprocessor Systems – Floating-Point arithmetic
INTERNATIONAL
ELECTROTECHNICAL
COMMISSION
PRICE CODE
U
ICS 35.200 ISBN 978-2-88912-566-1
ISO/IEC/IEEE FDIS 60559:2010(E)
Contents
1. Overview .1
1.1 Scope .1
1.2 Purpose .1
1.3 Inclusions .1
1.4 Exclusions .2
1.5 Programming environment considerations .2
1.6 Word usage .2
2. Definitions, abbreviations, and acronyms .3
2.1 Definitions .3
2.2 Abbreviations and acronyms .5
3. Floating-point formats .6
3.1 Overview .6
3.2 Specification levels .7
3.3 Sets of floating-point data .7
3.4 Binary interchange format encodings .9
3.5 Decimal interchange format encodings .10
3.6 Interchange format parameters .13
3.7 Extended and extendable precisions .14
4. Attributes and rounding .15
4.1 Attribute specification .15
4.2 Dynamic modes for attributes .15
4.3 Rounding-direction attributes .16
5. Operations .17
5.1 Overview .17
5.2 Decimal exponent calculation .18
5.3 Homogeneous general-computational operations .19
5.4 formatOf general-computational operations .21
5.5 Quiet-computational operations .23
5.6 Signaling-computational operations .24
5.7 Non-computational operations .24
5.8 Details of conversions from floating-point to integer formats .26
5.9 Details of operations to round a floating-point datum to integral value .27
5.10 Details of totalOrder predicate .28
5.11 Details of comparison predicates .29
5.12 Details of conversion between floating-point data and external character sequences .30
6. Infinity, NaNs, and sign bit .34
6.1 Infinity arithmetic .34
6.2 Operations with NaNs .34
6.3 The sign bit .35
7. Default exception handling .36
7.1 Overview: exceptions and flags .36
7.2 Invalid operation .37
7.3 Division by zero .37
7.4 Overflow .37
7.5 Underflow .38
7.6 Inexact .38
8. Alternate exception handling attributes .39
8.1 Overview .39
8.2 Resuming alternate exception handling attributes .39
8.3 Immediate and delayed alternate exception handling attributes .40
Copyright © IEEE 2008. All rights reserved i
9. Recommended operations .41
9.1 Conforming language- and implementation-defined functions .41
9.2 Recommended correctly rounded functions .42
9.3 Operations on dynamic modes for attributes .46
9.4 Reduction operations .46
10. Expression evaluation .48
10.1 Expression evaluation rules .48
10.2 Assignments, parameters, and function values .48
10.3 preferredWidth attributes for expression evaluation .49
10.4 Literal meaning and value-changing optimizations .50
11. Reproducible floating-point results .51
Annex A (informative) Bibliography .53
Annex B (informative) Program debugging support .55
Index of operations .57
ii Copyright © IEEE 2008. All rights reserved
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.
IEEE Standards documents are developed within the IEEE Societies and the Standards Coordinating Committees
of the IEEE Standards Association (IEEE-SA) Standards Board. The IEEE develops its standards through a
consensus development process, approved by the American National Standards Institute, which brings together
volunteers representing varied viewpoints and interests to achieve the final product. Volunteers are not necessarily
members of the Institute and serve without compensation. While the IEEE administers the process and
establishes rules to promote fairness in the consensus development process, the IEEE does not independently
evaluate, test, or verify the accuracy of any of the information contained in its standards.
The main task of ISO/IEC JTC 1 is to prepare International Standards. Draft International Standards adopted by
the joint technical committee are circulated to national bodies for voting. Publication as an International Standard
requires approval by at least 75 % of the national bodies casting a vote.
Attention is called to the possibility that implementation of this standard may require the use of subject matter
covered by patent rights. By publication of this standard, no position is taken with respect to the existence or
validity of any patent rights in connection therewith. ISO/IEEE is not responsible for identifying essential patents or
patent claims for which a license may be required, for conducting inquiries into the legal validity or scope of
patents or patent claims or determining whether any licensing terms or conditions provided in connection with
su
...
Questions, Comments and Discussion
Ask us and Technical Secretary will try to provide an answer. You can facilitate discussion about the standard in here.