Lines Matching defs:expx
72 mpfr_exp_t expx = MPFR_EXP (x) - 1, expy;
74 /* Warning: n * expx may overflow!
88 * - If n = -1, then n * expx = - expx, which is representable
90 * - If expx = 0, then n * expx = 0, which is representable.
91 * - If n < -1 and expx > 0:
92 * + If expx > (__gmpfr_emin - 1) / n, then
93 * expx >= (__gmpfr_emin - 1) / n + 1
96 * n * expx < __gmpfr_emin - 1,
98 * n * expx <= __gmpfr_emin - 2.
101 * + If expx <= (__gmpfr_emin - 1) / n, then n * expx cannot
102 * overflow since 0 < expx <= (__gmpfr_emin - 1) / n and
103 * 0 > n * expx >= n * ((__gmpfr_emin - 1) / n)
105 * - If n < -1 and expx < 0:
106 * + If expx < (__gmpfr_emax - 1) / n, then
107 * expx <= (__gmpfr_emax - 1) / n - 1
110 * n * expx > __gmpfr_emax - 1,
112 * n * expx >= __gmpfr_emax.
113 * This corresponds to an overflow (2^(n * expx) has an
115 * + If expx >= (__gmpfr_emax - 1) / n, then n * expx cannot
116 * overflow since 0 > expx >= (__gmpfr_emax - 1) / n and
117 * 0 < n * expx <= n * ((__gmpfr_emax - 1) / n)
119 * Note: one could use expx bounds based on MPFR_EXP_MIN and
129 n != -1 && expx > 0 && expx > (__gmpfr_emin - 1) / n ?
131 n != -1 && expx < 0 && expx < (__gmpfr_emax - 1) / n ?
132 MPFR_EMAX_MAX /* Overflow */ : n * expx;