HomeSort by: relevance | last modified time | path
    Searched refs:MPFR_STAT_STATIC_ASSERT (Results 1 - 25 of 27) sorted by relevancy

1 2

  /src/external/lgpl3/mpfr/dist/src/
init2.c 33 MPFR_STAT_STATIC_ASSERT( MP_SIZE_T_MAX >= (MPFR_PREC_MAX/MPFR_BYTES_PER_MP_LIMB) );
36 MPFR_STAT_STATIC_ASSERT(GMP_NUMB_BITS == MPFR_BYTES_PER_MP_LIMB * CHAR_BIT);
37 MPFR_STAT_STATIC_ASSERT(sizeof(mp_limb_t) == MPFR_BYTES_PER_MP_LIMB);
43 MPFR_STAT_STATIC_ASSERT( __MPFR_EXP_MAX == MPFR_EXP_MAX );
44 MPFR_STAT_STATIC_ASSERT( __MPFR_EXP_NAN == MPFR_EXP_NAN );
45 MPFR_STAT_STATIC_ASSERT( __MPFR_EXP_ZERO == MPFR_EXP_ZERO );
46 MPFR_STAT_STATIC_ASSERT( __MPFR_EXP_INF == MPFR_EXP_INF );
48 MPFR_STAT_STATIC_ASSERT( MPFR_EMAX_MAX <= (MPFR_EXP_MAX >> 1) );
49 MPFR_STAT_STATIC_ASSERT( MPFR_EMIN_MIN >= -(MPFR_EXP_MAX >> 1) );
mpfr-sassert.h 30 MPFR_STAT_STATIC_ASSERT:
44 # define MPFR_STAT_STATIC_ASSERT(c) _Static_assert((c), #c )
49 # if !defined(MPFR_STAT_STATIC_ASSERT)
60 # define MPFR_STAT_STATIC_ASSERT(c) do { \
69 # define MPFR_STAT_STATIC_ASSERT(c) MPFR_ASSERTN(c)
print_rnd_mode.c 33 MPFR_STAT_STATIC_ASSERT (MPFR_RND_MAX == MPFR_RNDF + 1);
exceptions.c 319 MPFR_STAT_STATIC_ASSERT (MPFR_FLAGS_UNDERFLOW <= INT_MAX);
328 MPFR_STAT_STATIC_ASSERT (MPFR_FLAGS_OVERFLOW <= INT_MAX);
337 MPFR_STAT_STATIC_ASSERT (MPFR_FLAGS_DIVBY0 <= INT_MAX);
346 MPFR_STAT_STATIC_ASSERT (MPFR_FLAGS_NAN <= INT_MAX);
355 MPFR_STAT_STATIC_ASSERT (MPFR_FLAGS_INEXACT <= INT_MAX);
364 MPFR_STAT_STATIC_ASSERT (MPFR_FLAGS_ERANGE <= INT_MAX);
set_d.c 65 MPFR_STAT_STATIC_ASSERT (GMP_NUMB_BITS == 16);
71 MPFR_STAT_STATIC_ASSERT (GMP_NUMB_BITS == 8);
124 MPFR_STAT_STATIC_ASSERT (GMP_NUMB_BITS == 8);
198 MPFR_STAT_STATIC_ASSERT (GMP_NUMB_BITS == 64);
205 MPFR_STAT_STATIC_ASSERT (GMP_NUMB_BITS == 16);
invert_limb.h 70 * This constraint is checked with MPFR_STAT_STATIC_ASSERT below.
109 MPFR_STAT_STATIC_ASSERT (4182025 <= UINT_MAX); \
136 MPFR_STAT_STATIC_ASSERT (4182025 <= UINT_MAX); \
cot.c 57 MPFR_STAT_STATIC_ASSERT (MPFR_EMIN_MIN + MPFR_EMAX_MAX == 0); \
urandom.c 81 MPFR_STAT_STATIC_ASSERT (DRAW_BITS <= GMP_NUMB_BITS);
mulders.c 74 MPFR_STAT_STATIC_ASSERT (MPFR_MULHIGH_TAB_SIZE >= 8); /* so that 3*(n/4) > n/2 */
113 MPFR_STAT_STATIC_ASSERT (MPFR_SQRHIGH_TAB_SIZE > 2); /* ensures k < n */
247 MPFR_STAT_STATIC_ASSERT (MPFR_DIVHIGH_TAB_SIZE >= 15); /* so that 2*(n/3) >= (n+4)/2 */
random_deviate.c 117 MPFR_STAT_STATIC_ASSERT (W > 0 && W <= sizeof (unsigned long) * CHAR_BIT);
124 MPFR_STAT_STATIC_ASSERT (sizeof (mpfr_random_size_t) * CHAR_BIT >= 32 &&
188 MPFR_STAT_STATIC_ASSERT (sizeof (unsigned long) * CHAR_BIT <= 128);
rec_sqrt.c 168 MPFR_STAT_STATIC_ASSERT ((GMP_NUMB_BITS & 1) == 0);
188 MPFR_STAT_STATIC_ASSERT (GMP_NUMB_BITS == 8);
205 MPFR_STAT_STATIC_ASSERT (GMP_NUMB_BITS == 8);
fpif.c 599 MPFR_STAT_STATIC_ASSERT (MPFR_PREC_MIN == 1); /* as specified */
618 MPFR_STAT_STATIC_ASSERT (CHAR_BIT == 8);
619 MPFR_STAT_STATIC_ASSERT ((MPFR_PREC_MAX + 7) >> 3 <= (size_t) -1);
cmp2.c 71 MPFR_STAT_STATIC_ASSERT (MPFR_EXP_MAX > MPFR_PREC_MAX);
const_log2.c 63 MPFR_STAT_STATIC_ASSERT (MPFR_PREC_MAX <= ULONG_MAX);
pow_si.c 181 MPFR_STAT_STATIC_ASSERT (MPFR_EMIN_MIN + MPFR_EMAX_MAX <= 0);
sqrt.c 83 MPFR_STAT_STATIC_ASSERT (GMP_NUMB_BITS == 64);
228 MPFR_STAT_STATIC_ASSERT (GMP_NUMB_BITS == 64);
359 MPFR_STAT_STATIC_ASSERT (GMP_NUMB_BITS == 64);
erfc.c 163 MPFR_STAT_STATIC_ASSERT ((MPFR_EMAX_MAX >> 31) >> 31 == 0);
mpfr-mini-gmp.c 282 MPFR_STAT_STATIC_ASSERT ((GMP_NUMB_BITS % 4) == 0);
add1.c 88 MPFR_STAT_STATIC_ASSERT (MPFR_EXP_MAX > MPFR_PREC_MAX);
pow.c 634 MPFR_STAT_STATIC_ASSERT (MPFR_POW_EXP_THRESHOLD >=
strtofr.c 957 MPFR_STAT_STATIC_ASSERT (MPFR_MAX_BASE >= 62);
mul.c 909 MPFR_STAT_STATIC_ASSERT (MPFR_MUL_THRESHOLD >= 1 &&
sum.c 551 MPFR_STAT_STATIC_ASSERT (MPFR_EXP_MAX - MPFR_EMAX_MAX >=
mpfr-impl.h 1706 MPFR_STAT_STATIC_ASSERT (__builtin_constant_p (is_array) ? \
  /src/external/lgpl3/mpfr/dist/tune/
tuneup.c 34 #undef MPFR_STAT_STATIC_ASSERT
35 #define MPFR_STAT_STATIC_ASSERT(a) MPFR_ASSERTN(a)

Completed in 49 milliseconds

1 2