Lines Matching refs:cancel
36 mpfr_prec_t cancel, cancel1;
50 sign = mpfr_cmp2 (b, c, &cancel);
149 (-cancel) % GMP_NUMB_BITS to the right */
151 MPFR_UNSIGNED_MINUS_MODULO (shift_b, cancel);
152 cancel1 = (cancel + shift_b) / GMP_NUMB_BITS;
172 (diff_exp-cancel) % GMP_NUMB_BITS to the right */
176 shift_c = ((mpfr_uexp_t) diff_exp - cancel) % GMP_NUMB_BITS;
179 shift_c = diff_exp - (cancel % GMP_NUMB_BITS);
209 /* here we have shift_c = (diff_exp - cancel) % GMP_NUMB_BITS,
211 thus we want cancel2 = ceil((cancel - diff_exp) / GMP_NUMB_BITS) */
220 cancel2 = (cancel - (diff_exp - shift_c)) / GMP_NUMB_BITS;
221 because cancel, diff_exp and shift_c are all non-negative and
224 MPFR_ASSERTD (cancel >= 0);
225 if (cancel >= diff_exp)
226 /* Note that cancel is signed and will be converted to mpfr_uexp_t
228 work even if cancel is very large and diff_exp = 0. */
229 cancel2 = (cancel - diff_exp + (GMP_NUMB_BITS - 1)) / GMP_NUMB_BITS;
231 cancel2 = - (mp_size_t) ((diff_exp - cancel) / GMP_NUMB_BITS);
234 printf ("cancel=%lu cancel1=%lu cancel2=%ld\n",
235 (unsigned long) cancel, (unsigned long) cancel1, (long) cancel2);
615 /* we have to set MPFR_EXP(a) to MPFR_EXP(b) - cancel + add_exp, taking
618 if (MPFR_LIKELY(cancel))
622 cancel -= add_exp; /* OK: add_exp is an int equal to 0 or 1 */
623 exp_a = MPFR_GET_EXP (b) - cancel;
635 else /* cancel = 0: MPFR_EXP(a) <- MPFR_EXP(b) + add_exp */
637 /* in case cancel = 0, add_exp can still be 1, in case b is just