FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

[Ada] Document rounding mode assumed for dynamic floating-point computations

Browse source 
gcc/ada/

	* doc/gnat_rm/implementation_defined_characteristics.rst: Document
	the rounding mode assumed for dynamic computations as per 3.5.7(16).
	* gnat_rm.texi: Regenerate.
This commit is contained in:
Eric Botcazou 2021-08-13 18:32:53 +02:00 • committed by Pierre-Marie de Rodat
parent 3f561db7ca
commit f5d4b3fbf6
2 changed files with 13 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst
View file

@ -147,12 +147,12 @@ Type Representation
IEEE 80-bit Extended on x86 architecture IEEE 80-bit Extended on x86 architecture
====================== =============================================== ====================== ===============================================
The default rounding mode specified by the IEEE 754 Standard is assumed for The default rounding mode specified by the IEEE 754 Standard is assumed both
static computations, i.e. round to nearest, ties to even. The input routines for static and dynamic computations (that is, round to nearest, ties to even).
yield correctly rounded values for Short_Float, Float and Long_Float at least. The input routines yield correctly rounded values for Short_Float, Float, and
The output routines can compute up to twice as many exact digits as the value Long_Float at least. The output routines can compute up to twice as many exact
of ``T'Digits`` for any type, for example 30 digits for Long_Float; if more digits as the value of ``T'Digits`` for any type, for example 30 digits for
digits are requested, zeros are printed. Long_Float; if more digits are requested, zeros are printed.
* *
"The small of an ordinary fixed point type. See 3.5.9(8)." "The small of an ordinary fixed point type. See 3.5.9(8)."

14
gcc/ada/gnat_rm.texi
View file

@ -21,7 +21,7 @@
@copying @copying
@quotation @quotation
GNAT Reference Manual , Aug 03, 2021 GNAT Reference Manual , Sep 28, 2021
AdaCore AdaCore
@ -15939,12 +15939,12 @@ IEEE 80-bit Extended on x86 architecture
@end multitable @end multitable
The default rounding mode specified by the IEEE 754 Standard is assumed for The default rounding mode specified by the IEEE 754 Standard is assumed both
static computations, i.e. round to nearest, ties to even. The input routines for static and dynamic computations (that is, round to nearest, ties to even).
yield correctly rounded values for Short_Float, Float and Long_Float at least. The input routines yield correctly rounded values for Short_Float, Float, and
The output routines can compute up to twice as many exact digits as the value Long_Float at least. The output routines can compute up to twice as many exact
of @code{T'Digits} for any type, for example 30 digits for Long_Float; if more digits as the value of @code{T'Digits} for any type, for example 30 digits for
digits are requested, zeros are printed. Long_Float; if more digits are requested, zeros are printed.
@itemize * @itemize *