Searched defs:known_sign (Results 1 – 4 of 4) sorted by relevance
71 int* 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()
25 same_mpfr_value (mpfr_ptr got, mpfr_ptr ref, int known_sign) in same_mpfr_value()
328 read_mpfr (FILE *fp, mpfr_ptr x, int *known_sign) in read_mpfr()
191 int known_sign; member