Home | History | Annotate | Line # | Download | only in examples
version.c revision 1.1.1.4
      1 /*
      2  * Output various information about GMP and MPFR.
      3  */
      4 
      5 /*
      6 Copyright 2010-2018 Free Software Foundation, Inc.
      7 Contributed by the AriC and Caramba projects, INRIA.
      8 
      9 This file is part of the GNU MPFR Library.
     10 
     11 The GNU MPFR Library is free software; you can redistribute it and/or modify
     12 it under the terms of the GNU Lesser General Public License as published by
     13 the Free Software Foundation; either version 3 of the License, or (at your
     14 option) any later version.
     15 
     16 The GNU MPFR Library 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 Lesser General Public
     19 License for more details.
     20 
     21 You should have received a copy of the GNU Lesser General Public License
     22 along with the GNU MPFR Library; see the file COPYING.LESSER.  If not, see
     23 http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
     24 51 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  */
     38 static 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 
     49 static 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 
     61 int 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   return 0;
    243 }
    244