diff options
Diffstat (limited to 'gcc/ada/eval_fat.ads')
| -rw-r--r-- | gcc/ada/eval_fat.ads | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/gcc/ada/eval_fat.ads b/gcc/ada/eval_fat.ads index 964dd22..4ef153c 100644 --- a/gcc/ada/eval_fat.ads +++ b/gcc/ada/eval_fat.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2010, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2012, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -99,4 +99,18 @@ package Eval_Fat is Mode : Rounding_Mode; Enode : Node_Id) return T; + procedure Decompose_Int + (RT : R; + X : T; + Fraction : out UI; + Exponent : out UI; + Mode : Rounding_Mode); + -- Decomposes a floating-point number into fraction and exponent parts. + -- The Fraction value returned is an integer representing the value + -- Fraction * Scale, where Scale is the value (Machine_Radix_Value (RT) ** + -- Machine_Mantissa_Value (RT)). The value is obtained by using biased + -- rounding (halfway cases round away from zero), round to even, a floor + -- operation or a ceiling operation depending on the setting of Mode (see + -- corresponding descriptions in Urealp). + end Eval_Fat; |