a68g-stddef.h
1 //! @file a68g-stddef.h
2 //! @author J. Marcel van der Veer
3 //!
4 //! @section Copyright
5 //!
6 //! This file is part of Algol68G - an Algol 68 compiler-interpreter.
7 //! Copyright 2001-2023 J. Marcel van der Veer [algol68g@xs4all.nl].
8 //!
9 //! @section License
10 //!
11 //! This program is free software; you can redistribute it and/or modify it
12 //! under the terms of the GNU General Public License as published by the
13 //! Free Software Foundation; either version 3 of the License, or
14 //! (at your option) any later version.
15 //!
16 //! This program is distributed in the hope that it will be useful, but
17 //! WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
18 //! or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
19 //! more details. You should have received a copy of the GNU General Public
20 //! License along with this program. If not, see [http://www.gnu.org/licenses/].
21
22 #if !defined (__A68G_STDDEF_H__)
23 #define __A68G_STDDEF_H__
24
25 #define DOUBLE_ACCURACY (REAL_DIG - 1)
26
27 // Multi-precision parameters
28 #define LONG_LONG_EXP_WIDTH (EXP_WIDTH)
29 #define LONG_LONG_INT_WIDTH (1 + LONG_LONG_WIDTH)
30 #define LONG_LONG_REAL_WIDTH ((long_mp_digits() - 1) * LOG_MP_RADIX)
31 #define LONG_LONG_WIDTH (long_mp_digits() * LOG_MP_RADIX)
32
33 // Other WIDTHs
34 #define BYTES_WIDTH 32
35 #define LONG_BYTES_WIDTH 256
36 #define MAX_REAL_EXPO 511
37
38 #define LOG_DBL_EPSILON (-3.6043653389117154e+01)
39 #define LOG_DBL_MIN (-7.0839641853226408e+02)
40 #define LOG_DBL_MAX (7.0978271289338397e+02)
41
42 #define REAL_DIG DBL_DIG
43 #define REAL_EPSILON DBL_EPSILON
44 #define REAL_MANT_DIG DBL_MANT_DIG
45 #define REAL_MAX DBL_MAX
46 #define REAL_MAX_10_EXP DBL_MAX_10_EXP
47 #define REAL_MIN DBL_MIN
48 #define REAL_MIN_10_EXP DBL_MIN_10_EXP
49
50 #if (A68_LEVEL >= 3)
51
52 #define REAL_WIDTH (REAL_DIG)
53 #define MAX_REAL_double_real_EXPO 4932
54 #define A68_MAX_INT (LLONG_MAX)
55 #define A68_MAX_BITS (ULLONG_MAX)
56 #define LONG_WIDTH (2 * INT_WIDTH + 1)
57 #define LONG_REAL_WIDTH (FLT128_DIG - 1)
58 #define EXP_WIDTH (3)
59 #define LONG_EXP_WIDTH (4)
60 #define LONG_BITS_WIDTH (2 * BITS_WIDTH)
61 #define D_SIGN 0x8000000000000000LL
62 #define NaN_MP ((MP_T *) NULL)
63 #define MP_RADIX 1000000000
64 #define LOG_MP_RADIX 9
65 #define MP_RADIX_Q MP_RADIX##q
66 #define DEFAULT_DOUBLE_DIGITS 4
67 #define LONG_MP_DIGITS DEFAULT_DOUBLE_DIGITS
68 #define LONG_LONG_MP_DIGITS width_to_mp_digits (4 * REAL_DIG + REAL_DIG / 2)
69 #define MAX_MP_EXPONENT 111111 // Arbitrary. Largest range is A68_MAX_INT / Log A68_MAX_INT / LOG_MP_RADIX
70 #define MAX_REPR_INT 9223372036854775808.0 // 2^63, max int in an extended double (no implicit bit, so 62-bit mantissa)
71 #define MAX_DOUBLE_EXPO 4932
72
73 #else // if (A68_LEVEL <= 2)
74
75 #define REAL_WIDTH (REAL_DIG)
76 #define A68_MAX_INT (INT_MAX)
77 #define A68_MAX_BITS (UINT_MAX)
78 #define LONG_WIDTH (LONG_MP_DIGITS * LOG_MP_RADIX)
79 #define LONG_REAL_WIDTH ((LONG_MP_DIGITS - 1) * LOG_MP_RADIX)
80 #define EXP_WIDTH ((int) (1 + log10 ((REAL_T) REAL_MAX_10_EXP)))
81 #define LONG_EXP_WIDTH (EXP_WIDTH)
82 #define D_SIGN 0x80000000L
83 #define MP_BITS_BITS 23
84 #define MP_BITS_RADIX 8388608 // Max power of two smaller than MP_RADIX
85 #define NaN_MP ((MP_T *) NULL)
86 #define MP_RADIX 10000000
87 #define MP_RADIX_Q MP_RADIX##q
88 #define LOG_MP_RADIX 7
89 #define DEFAULT_DOUBLE_DIGITS 6
90 #define LONG_MP_DIGITS DEFAULT_DOUBLE_DIGITS
91 #define LONG_LONG_MP_DIGITS width_to_mp_digits (4 * REAL_DIG + REAL_DIG / 2)
92 #define MAX_MP_EXPONENT 142857 // Arbitrary. Largest range is A68_MAX_INT / Log A68_MAX_INT / LOG_MP_RADIX
93 #define MAX_REPR_INT 9007199254740992.0 // 2^53, max int in a double
94
95 #endif
96
97 #endif