Lines Matching defs:ex
79 mpz_t got, ex, t;
86 mpz_init (ex);
113 mpz_neg (ex, z);
115 mpz_set (ex, z);
123 mpz_add (ex, ex, t);
124 /* d = mpz_divisible_2exp_p (ex, -sh); */
125 d = mpz_scan1 (ex, 0) >= -sh;
126 mpz_tdiv_q_2exp (ex, ex, -sh);
127 if (d && mpz_tstbit (ex, 0) != 0) /* even rounding */
130 mpz_add_ui (ex, ex, 1);
132 mpz_sub_ui (ex, ex, 1);
136 mpz_tdiv_q_2exp (ex, ex, -sh);
139 mpz_cdiv_q_2exp (ex, ex, -sh);
142 mpz_fdiv_q_2exp (ex, ex, -sh);
146 mpz_fdiv_q_2exp (ex, ex, -sh);
148 mpz_cdiv_q_2exp (ex, ex, -sh);
154 mpz_mul_2exp (ex, ex, sh);
156 ex_inex = - mpfr_cmp_z (f, ex);
182 if (mpz_cmp (got, ex) != 0 ||
190 printf ("expected "); mpz_out_str (stdout, 10, ex);
209 mpz_clear (ex);