diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2021-08-13 18:32:53 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-10-01 06:13:39 +0000 |
| commit | f5d4b3fbf62a4c49d5951fc7848127af32876b78 (patch) | |
| tree | 8f8e48ad0c6fc50d8fe5655a15cd9c5702b7f156 /gcc/ada/doc | |
| parent | 3f561db7ca1fba70a90c3ff9f7682b7841585258 (diff) | |
| download | gcc-f5d4b3fbf62a4c49d5951fc7848127af32876b78.zip gcc-f5d4b3fbf62a4c49d5951fc7848127af32876b78.tar.gz gcc-f5d4b3fbf62a4c49d5951fc7848127af32876b78.tar.bz2 | |
[Ada] Document rounding mode assumed for dynamic floating-point computations
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.
Diffstat (limited to 'gcc/ada/doc')
| -rw-r--r-- | gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst b/gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst index 400e232..c5c7dfb 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst @@ -147,12 +147,12 @@ Type Representation IEEE 80-bit Extended on x86 architecture ====================== =============================================== -The default rounding mode specified by the IEEE 754 Standard is assumed for -static computations, i.e. round to nearest, ties to even. The input routines -yield correctly rounded values for Short_Float, Float and Long_Float at least. -The output routines can compute up to twice as many exact digits as the value -of ``T'Digits`` for any type, for example 30 digits for Long_Float; if more -digits are requested, zeros are printed. +The default rounding mode specified by the IEEE 754 Standard is assumed both +for static and dynamic computations (that is, round to nearest, ties to even). +The input routines yield correctly rounded values for Short_Float, Float, and +Long_Float at least. The output routines can compute up to twice as many exact +digits as the value of ``T'Digits`` for any type, for example 30 digits for +Long_Float; if more digits are requested, zeros are printed. * "The small of an ordinary fixed point type. See 3.5.9(8)." |