Home
last modified time | relevance | path

Searched refs:known_sign (Results 1 – 6 of 6) sorted by relevance

/netbsd/src/external/lgpl3/mpc/dist/tests/
Dtpl_mpfr.c71 int* known_sign) in tpl_read_mpfr() argument
81 MPC_ASSERT(known_sign != NULL); in tpl_read_mpfr()
82 *known_sign = in tpl_read_mpfr()
133 tpl_same_mpfr_value (mpfr_ptr x1, mpfr_ptr x2, int known_sign) in tpl_same_mpfr_value() argument
141 (!known_sign || mpfr_signbit (x1) == mpfr_signbit (x2)); in tpl_same_mpfr_value()
144 (!known_sign || mpfr_signbit (x1) == mpfr_signbit (x2)); in tpl_same_mpfr_value()
151 return tpl_same_mpfr_value (got, expected.mpfr, expected.known_sign); in tpl_check_mpfr_data()
Dcomparisons.c25 same_mpfr_value (mpfr_ptr got, mpfr_ptr ref, int known_sign) in same_mpfr_value() argument
33 (!known_sign || mpfr_signbit (got) == mpfr_signbit (ref)); in same_mpfr_value()
36 (!known_sign || mpfr_signbit (got) == mpfr_signbit (ref)); in same_mpfr_value()
Dmpc-tests.h137 extern int same_mpfr_value (mpfr_ptr got, mpfr_ptr ref, int known_sign);
154 extern void read_mpfr (FILE *fp, mpfr_ptr x, int *known_sign);
191 int known_sign; member
329 mpfr_ptr x, int* known_sign);
342 int tpl_same_mpfr_value (mpfr_ptr x1, mpfr_ptr x2, int known_sign);
Dread_data.c328 read_mpfr (FILE *fp, mpfr_ptr x, int *known_sign) in read_mpfr() argument
338 if (known_sign != NULL) in read_mpfr()
339 *known_sign = in read_mpfr()
Dread_line.c86 p->mpfr_data.mpfr, &p->mpfr_data.known_sign); in read_param()
Ddouble_rounding.c169 params->P[out + offset].mpfr_data.known_sign = -1; in double_rounding()