source: Daodan/MSYS2/mingw32/share/doc/mpfr/examples/version.c

Last change on this file was 1166, checked in by rossy, 3 years ago

Daodan: Replace MinGW build env with an up-to-date MSYS2 env

File size: 7.0 KB
Line 
1/*
2 * Output various information about GMP and MPFR.
3 */
4
5/*
6Copyright 2010-2020 Free Software Foundation, Inc.
7Contributed by the AriC and Caramba projects, INRIA.
8
9This file is part of the GNU MPFR Library.
10
11The GNU MPFR Library is free software; you can redistribute it and/or modify
12it under the terms of the GNU Lesser General Public License as published by
13the Free Software Foundation; either version 3 of the License, or (at your
14option) any later version.
15
16The GNU MPFR Library is distributed in the hope that it will be useful, but
17WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
18or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
19License for more details.
20
21You should have received a copy of the GNU Lesser General Public License
22along with the GNU MPFR Library; see the file COPYING.LESSER. If not, see
23https://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
2451 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
25*/
26
27#include <stdio.h>
28#include <limits.h>
29#include <gmp.h>
30#include <mpfr.h>
31
32/* The following failure can occur if GMP has been rebuilt with
33 * a different ABI, e.g.
34 * 1. GMP built with ABI=mode32.
35 * 2. MPFR built against this GMP version.
36 * 3. GMP rebuilt with ABI=32.
37 */
38static void failure_test (void)
39{
40 mpfr_t x;
41
42 mpfr_init2 (x, 128);
43 mpfr_set_str (x, "17", 0, MPFR_RNDN);
44 if (mpfr_cmp_ui (x, 17) != 0)
45 printf ("\nFailure in mpfr_set_str! Probably an unmatched ABI!\n");
46 mpfr_clear (x);
47}
48
49static void patches (void)
50{
51 const char *p = mpfr_get_patches ();
52 printf ("MPFR patches: %s\n", p[0] ? p : "[none]");
53}
54
55#define STRINGIZE(S) #S
56#define MAKE_STR(S) STRINGIZE(S)
57
58#define SIGNED_STR(V) ((V) < 0 ? "signed" : "unsigned")
59#define SIGNED(I) SIGNED_STR((I) - (I) - 1)
60
61int main (void)
62{
63 unsigned long c;
64 mp_limb_t t[4];
65 int i;
66
67 /* Casts are for C++ compilers. */
68 for (i = 0; i < (int) (sizeof (t) / sizeof (mp_limb_t)); i++)
69 t[i] = (mp_limb_t) -1;
70
71 /**************** Information about the C implementation ****************/
72
73 /* This is useful, as this can affect the behavior of MPFR. */
74
75#define COMP "Compiler: "
76#ifdef __INTEL_COMPILER
77# ifdef __VERSION__
78# define ICCV " [" __VERSION__ "]"
79# else
80# define ICCV ""
81# endif
82 printf (COMP "ICC %d.%d.%d" ICCV "\n", __INTEL_COMPILER / 100,
83 __INTEL_COMPILER % 100, __INTEL_COMPILER_UPDATE);
84#elif (defined(__GNUC__) || defined(__clang__)) && defined(__VERSION__)
85# ifdef __clang__
86# define COMP2 COMP
87# else
88# define COMP2 COMP "GCC "
89# endif
90 printf (COMP2 "%s\n", __VERSION__);
91#endif
92
93#if defined(__STDC__) || defined(__STDC_VERSION__)
94 printf ("C/C++: __STDC__ = "
95#if defined(__STDC__)
96 MAKE_STR(__STDC__)
97#else
98 "undef"
99#endif
100 ", __STDC_VERSION__ = "
101#if defined(__STDC_VERSION__)
102 MAKE_STR(__STDC_VERSION__)
103#else
104 "undef"
105#endif
106#if defined(__cplusplus)
107 ", C++"
108#endif
109 "\n");
110#endif
111
112#if defined(__GNUC__)
113 printf ("GNU compatibility: __GNUC__ = " MAKE_STR(__GNUC__)
114 ", __GNUC_MINOR__ = "
115#if defined(__GNUC_MINOR__)
116 MAKE_STR(__GNUC_MINOR__)
117#else
118 "undef"
119#endif
120 "\n");
121#endif
122
123#if defined(__ICC) || defined(__INTEL_COMPILER)
124 printf ("Intel compiler: __ICC = "
125#if defined(__ICC)
126 MAKE_STR(__ICC)
127#else
128 "undef"
129#endif
130 ", __INTEL_COMPILER = "
131#if defined(__INTEL_COMPILER)
132 MAKE_STR(__INTEL_COMPILER)
133#else
134 "undef"
135#endif
136 "\n");
137#endif
138
139#if defined(_WIN32) || defined(_MSC_VER)
140 printf ("MS Windows: _WIN32 = "
141#if defined(_WIN32)
142 MAKE_STR(_WIN32)
143#else
144 "undef"
145#endif
146 ", _MSC_VER = "
147#if defined(_MSC_VER)
148 MAKE_STR(_MSC_VER)
149#else
150 "undef"
151#endif
152 "\n");
153#endif
154
155#if defined(__GLIBC__)
156 printf ("GNU C library: __GLIBC__ = " MAKE_STR(__GLIBC__)
157 ", __GLIBC_MINOR__ = "
158#if defined(__GLIBC_MINOR__)
159 MAKE_STR(__GLIBC_MINOR__)
160#else
161 "undef"
162#endif
163 "\n");
164#endif
165
166 printf ("\n");
167
168 /************************************************************************/
169
170#if defined(__MPIR_VERSION)
171 printf ("MPIR .... Library: %-12s Header: %d.%d.%d\n",
172 mpir_version, __MPIR_VERSION, __MPIR_VERSION_MINOR,
173 __MPIR_VERSION_PATCHLEVEL);
174#else
175 printf ("GMP ..... Library: %-12s Header: %d.%d.%d\n",
176 gmp_version, __GNU_MP_VERSION, __GNU_MP_VERSION_MINOR,
177 __GNU_MP_VERSION_PATCHLEVEL);
178#endif
179
180 printf ("MPFR .... Library: %-12s Header: %s (based on %d.%d.%d)\n",
181 mpfr_get_version (), MPFR_VERSION_STRING, MPFR_VERSION_MAJOR,
182 MPFR_VERSION_MINOR, MPFR_VERSION_PATCHLEVEL);
183
184 printf ("MPFR features: TLS = %s", mpfr_buildopt_tls_p () ? "yes" : "no");
185#if MPFR_VERSION_MAJOR >= 4
186 printf (", float128 = %s", mpfr_buildopt_float128_p () ? "yes" : "no");
187#endif
188 printf (", decimal = %s", mpfr_buildopt_decimal_p () ? "yes" : "no");
189#if MPFR_VERSION_MAJOR > 3 || MPFR_VERSION_MINOR >= 1
190 printf (", GMP internals = %s\nMPFR tuning: %s",
191 mpfr_buildopt_gmpinternals_p () ? "yes" : "no",
192 mpfr_buildopt_tune_case ());
193#endif /* 3.1 */
194 printf ("\n");
195
196 patches ();
197
198 printf ("\n");
199#ifdef __GMP_CC
200 printf ("__GMP_CC = \"%s\"\n", __GMP_CC);
201#endif
202#ifdef __GMP_CFLAGS
203 printf ("__GMP_CFLAGS = \"%s\"\n", __GMP_CFLAGS);
204#endif
205 printf ("GMP_LIMB_BITS = %d\n", (int) GMP_LIMB_BITS);
206 printf ("GMP_NAIL_BITS = %d\n", (int) GMP_NAIL_BITS);
207 printf ("GMP_NUMB_BITS = %d\n", (int) GMP_NUMB_BITS);
208 printf ("mp_bits_per_limb = %d\n", (int) mp_bits_per_limb);
209 printf ("sizeof(mp_limb_t) = %d\n", (int) sizeof(mp_limb_t));
210 if (mp_bits_per_limb != GMP_LIMB_BITS)
211 printf ("Warning! mp_bits_per_limb != GMP_LIMB_BITS\n");
212 if (GMP_LIMB_BITS != sizeof(mp_limb_t) * CHAR_BIT)
213 printf ("Warning! GMP_LIMB_BITS != sizeof(mp_limb_t) * CHAR_BIT\n");
214
215 c = mpn_popcount (t, 1);
216 printf ("The GMP library expects %lu bits in a mp_limb_t.\n", c);
217 if (c != GMP_LIMB_BITS)
218 printf ("Warning! This is different from GMP_LIMB_BITS!\n"
219 "Different ABI caused by a GMP library upgrade?\n");
220
221 printf ("\n");
222 printf ("sizeof(mpfr_prec_t) = %d (%s type)\n", (int) sizeof(mpfr_prec_t),
223 SIGNED_STR((mpfr_prec_t) -1));
224 printf ("sizeof(mpfr_exp_t) = %d (%s type)\n", (int) sizeof(mpfr_exp_t),
225 SIGNED_STR((mpfr_exp_t) -1));
226#ifdef _MPFR_PREC_FORMAT
227 printf ("_MPFR_PREC_FORMAT = %d\n", (int) _MPFR_PREC_FORMAT);
228#endif
229 /* Note: "long" is sufficient for all current _MPFR_PREC_FORMAT values
230 (1, 2, 3). Thus we do not need to depend on ISO C99 or later. */
231 printf ("MPFR_PREC_MIN = %ld (%s)\n", (long) MPFR_PREC_MIN,
232 SIGNED (MPFR_PREC_MIN));
233 printf ("MPFR_PREC_MAX = %ld (%s)\n", (long) MPFR_PREC_MAX,
234 SIGNED (MPFR_PREC_MAX));
235#ifdef _MPFR_EXP_FORMAT
236 printf ("_MPFR_EXP_FORMAT = %d\n", (int) _MPFR_EXP_FORMAT);
237#endif
238 printf ("sizeof(mpfr_t) = %d\n", (int) sizeof(mpfr_t));
239 printf ("sizeof(mpfr_ptr) = %d\n", (int) sizeof(mpfr_ptr));
240 failure_test ();
241
242 mpfr_free_cache ();
243 return 0;
244}
Note: See TracBrowser for help on using the repository browser.