diff options
| author | Aurelien Jarno <aurelien@aurel32.net> | 2011-04-20 13:04:22 +0200 |
|---|---|---|
| committer | Aurelien Jarno <aurelien@aurel32.net> | 2011-04-25 11:18:32 +0200 |
| commit | c4b4c77a80cec85206e502578887d8c82b70d6af (patch) | |
| tree | ec37053a25768f274176114306cc533c69dd889f /fpu/softfloat.h | |
| parent | f3218a8df0365e515f2100c92016217826811200 (diff) | |
softfloat: add pi constants
Add a pi constant for float32, float64, floatx80. It will be used by
target-i386 and later by the trigonometric functions.
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>
Diffstat (limited to 'fpu/softfloat.h')
| -rw-r--r-- | fpu/softfloat.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/fpu/softfloat.h b/fpu/softfloat.h index 90e0c4121..7b3b88f1b 100644 --- a/fpu/softfloat.h +++ b/fpu/softfloat.h @@ -387,6 +387,7 @@ INLINE float32 float32_set_sign(float32 a, int sign) #define float32_zero make_float32(0) #define float32_one make_float32(0x3f800000) #define float32_ln2 make_float32(0x3f317218) +#define float32_pi make_float32(0x40490fdb) #define float32_half make_float32(0x3f000000) #define float32_infinity make_float32(0x7f800000) @@ -499,6 +500,7 @@ INLINE float64 float64_set_sign(float64 a, int sign) #define float64_zero make_float64(0) #define float64_one make_float64(0x3ff0000000000000LL) #define float64_ln2 make_float64(0x3fe62e42fefa39efLL) +#define float64_pi make_float64(0x400921fb54442d18LL) #define float64_half make_float64(0x3fe0000000000000LL) #define float64_infinity make_float64(0x7ff0000000000000LL) @@ -588,6 +590,7 @@ INLINE int floatx80_is_any_nan(floatx80 a) #define floatx80_zero make_floatx80(0x0000, 0x0000000000000000LL) #define floatx80_one make_floatx80(0x3fff, 0x8000000000000000LL) #define floatx80_ln2 make_floatx80(0x3ffe, 0xb17217f7d1cf79acLL) +#define floatx80_pi make_floatx80(0x4000, 0xc90fdaa22168c235LL) #define floatx80_half make_floatx80(0x3ffe, 0x8000000000000000LL) #define floatx80_infinity make_floatx80(0x7fff, 0x8000000000000000LL) |