Home
last modified time | relevance | path

Searched refs:MPFR_STAT_STATIC_ASSERT (Results 1 – 25 of 29) sorted by relevance

12

/netbsd-src/external/lgpl3/mpfr/dist/src/
H A Dinit2.c33 MPFR_STAT_STATIC_ASSERT( MP_SIZE_T_MAX >= (MPFR_PREC_MAX/MPFR_BYTES_PER_MP_LIMB) ); in mpfr_init2()
36 MPFR_STAT_STATIC_ASSERT(GMP_NUMB_BITS == MPFR_BYTES_PER_MP_LIMB * CHAR_BIT); in mpfr_init2()
37 MPFR_STAT_STATIC_ASSERT(sizeof(mp_limb_t) == MPFR_BYTES_PER_MP_LIMB); in mpfr_init2()
43 MPFR_STAT_STATIC_ASSERT( __MPFR_EXP_MAX == MPFR_EXP_MAX ); in mpfr_init2()
44 MPFR_STAT_STATIC_ASSERT( __MPFR_EXP_NAN == MPFR_EXP_NAN ); in mpfr_init2()
45 MPFR_STAT_STATIC_ASSERT( __MPFR_EXP_ZERO == MPFR_EXP_ZERO ); in mpfr_init2()
46 MPFR_STAT_STATIC_ASSERT( __MPFR_EXP_INF == MPFR_EXP_INF ); in mpfr_init2()
48 MPFR_STAT_STATIC_ASSERT( MPFR_EMAX_MAX <= (MPFR_EXP_MAX >> 1) ); in mpfr_init2()
49 MPFR_STAT_STATIC_ASSERT( MPFR_EMIN_MIN >= -(MPFR_EXP_MAX >> 1) ); in mpfr_init2()
H A Dmpfr-sassert.h44 # define MPFR_STAT_STATIC_ASSERT(c) _Static_assert((c), #c ) macro
49 # if !defined(MPFR_STAT_STATIC_ASSERT)
60 # define MPFR_STAT_STATIC_ASSERT(c) do { \ macro
69 # define MPFR_STAT_STATIC_ASSERT(c) MPFR_ASSERTN(c) macro
H A Dexceptions.c319 MPFR_STAT_STATIC_ASSERT (MPFR_FLAGS_UNDERFLOW <= INT_MAX); in mpfr_underflow_p()
328 MPFR_STAT_STATIC_ASSERT (MPFR_FLAGS_OVERFLOW <= INT_MAX); in mpfr_overflow_p()
337 MPFR_STAT_STATIC_ASSERT (MPFR_FLAGS_DIVBY0 <= INT_MAX); in mpfr_divby0_p()
346 MPFR_STAT_STATIC_ASSERT (MPFR_FLAGS_NAN <= INT_MAX); in mpfr_nanflag_p()
355 MPFR_STAT_STATIC_ASSERT (MPFR_FLAGS_INEXACT <= INT_MAX); in mpfr_inexflag_p()
364 MPFR_STAT_STATIC_ASSERT (MPFR_FLAGS_ERANGE <= INT_MAX); in mpfr_erangeflag_p()
H A Dset_d.c65 MPFR_STAT_STATIC_ASSERT (GMP_NUMB_BITS == 16); in extract_double()
71 MPFR_STAT_STATIC_ASSERT (GMP_NUMB_BITS == 8); in extract_double()
124 MPFR_STAT_STATIC_ASSERT (GMP_NUMB_BITS == 8); in extract_double()
198 MPFR_STAT_STATIC_ASSERT (GMP_NUMB_BITS == 64); in extract_double()
205 MPFR_STAT_STATIC_ASSERT (GMP_NUMB_BITS == 16); in extract_double()
H A Drandom_deviate.c117 MPFR_STAT_STATIC_ASSERT (W > 0 && W <= sizeof (unsigned long) * CHAR_BIT); in random_deviate_generate()
124 MPFR_STAT_STATIC_ASSERT (sizeof (mpfr_random_size_t) * CHAR_BIT >= 32 && in random_deviate_generate()
188 MPFR_STAT_STATIC_ASSERT (sizeof (unsigned long) * CHAR_BIT <= 128); in highest_bit_idx()
H A Dinvert_limb.h109 MPFR_STAT_STATIC_ASSERT (4182025 <= UINT_MAX); \
136 MPFR_STAT_STATIC_ASSERT (4182025 <= UINT_MAX); \
H A Dmulders.c74 MPFR_STAT_STATIC_ASSERT (MPFR_MULHIGH_TAB_SIZE >= 8); /* so that 3*(n/4) > n/2 */ in mpfr_mulhigh_n()
113 MPFR_STAT_STATIC_ASSERT (MPFR_SQRHIGH_TAB_SIZE > 2); /* ensures k < n */ in mpfr_sqrhigh_n()
247 MPFR_STAT_STATIC_ASSERT (MPFR_DIVHIGH_TAB_SIZE >= 15); /* so that 2*(n/3) >= (n+4)/2 */ in mpfr_divhigh_n()
H A Drec_sqrt.c168 MPFR_STAT_STATIC_ASSERT ((GMP_NUMB_BITS & 1) == 0); in mpfr_mpn_rec_sqrt()
188 MPFR_STAT_STATIC_ASSERT (GMP_NUMB_BITS == 8); in mpfr_mpn_rec_sqrt()
205 MPFR_STAT_STATIC_ASSERT (GMP_NUMB_BITS == 8); in mpfr_mpn_rec_sqrt()
H A Dfpif.c599 MPFR_STAT_STATIC_ASSERT (MPFR_PREC_MIN == 1); /* as specified */ in mpfr_fpif_import()
618 MPFR_STAT_STATIC_ASSERT (CHAR_BIT == 8); in mpfr_fpif_import()
619 MPFR_STAT_STATIC_ASSERT ((MPFR_PREC_MAX + 7) >> 3 <= (size_t) -1); in mpfr_fpif_import()
H A Dprint_rnd_mode.c33 MPFR_STAT_STATIC_ASSERT (MPFR_RND_MAX == MPFR_RNDF + 1); in mpfr_print_rnd_mode()
H A Dcot.c57 MPFR_STAT_STATIC_ASSERT (MPFR_EMIN_MIN + MPFR_EMAX_MAX == 0); \
H A Dsqrt.c83 MPFR_STAT_STATIC_ASSERT (GMP_NUMB_BITS == 64); in mpfr_sqrt1()
228 MPFR_STAT_STATIC_ASSERT (GMP_NUMB_BITS == 64); in mpfr_sqrt1n()
359 MPFR_STAT_STATIC_ASSERT (GMP_NUMB_BITS == 64); in mpfr_sqrt2()
H A Durandom.c81 MPFR_STAT_STATIC_ASSERT (DRAW_BITS <= GMP_NUMB_BITS); in mpfr_urandom()
H A Dconst_log2.c63 MPFR_STAT_STATIC_ASSERT (MPFR_PREC_MAX <= ULONG_MAX); in S()
H A Dpow_si.c181 MPFR_STAT_STATIC_ASSERT (MPFR_EMIN_MIN + MPFR_EMAX_MAX <= 0); in POW_S()
H A Dcmp2.c71 MPFR_STAT_STATIC_ASSERT (MPFR_EXP_MAX > MPFR_PREC_MAX); in mpfr_cmp2()
H A Derfc.c163 MPFR_STAT_STATIC_ASSERT ((MPFR_EMAX_MAX >> 31) >> 31 == 0); in mpfr_erfc()
H A Dmpfr-mini-gmp.c282 MPFR_STAT_STATIC_ASSERT ((GMP_NUMB_BITS % 4) == 0);
H A Dadd1.c88 MPFR_STAT_STATIC_ASSERT (MPFR_EXP_MAX > MPFR_PREC_MAX); in mpfr_add1()
H A Dpow.c634 MPFR_STAT_STATIC_ASSERT (MPFR_POW_EXP_THRESHOLD >= in mpfr_pow()
H A Dstrtofr.c957 MPFR_STAT_STATIC_ASSERT (MPFR_MAX_BASE >= 62); in mpfr_strtofr()
H A Dsum.c551 MPFR_STAT_STATIC_ASSERT (MPFR_EXP_MAX - MPFR_EMAX_MAX >= in sum_aux()
H A Dmul.c909 MPFR_STAT_STATIC_ASSERT (MPFR_MUL_THRESHOLD >= 1 && in mpfr_mul()
/netbsd-src/external/lgpl3/mpfr/dist/tune/
H A Dtuneup.c34 #undef MPFR_STAT_STATIC_ASSERT
35 #define MPFR_STAT_STATIC_ASSERT(a) MPFR_ASSERTN(a) macro
/netbsd-src/external/lgpl3/mpfr/dist/
H A Dacinclude.m4837 MPFR_STAT_STATIC_ASSERT(sizeof(short) <= sizeof(int));
1040 MPFR_STAT_STATIC_ASSERT ((mp_limb_t) -1 >= (unsigned long) -1);
1073 MPFR_STAT_STATIC_ASSERT ((mp_limb_t) -1 >= (uintmax_t) -1);

12