Lines Matching defs:prec1
2408 mp_bitcnt_t prec1 = expr.val1.get_prec(),
2410 return (prec1 > prec2) ? prec1 : prec2;
2485 mp_bitcnt_t prec1 = expr.val1.get_prec(),
2487 return (prec1 > prec2) ? prec1 : prec2;
2520 mp_bitcnt_t prec1 = expr.val1.get_prec(),
2522 return (prec1 > prec2) ? prec1 : prec2;
2555 mp_bitcnt_t prec1 = expr.val1.get_prec(),
2557 return (prec1 > prec2) ? prec1 : prec2;
2590 mp_bitcnt_t prec1 = expr.val1.get_prec(),
2592 return (prec1 > prec2) ? prec1 : prec2;
2666 mp_bitcnt_t prec1 = expr.val1.get_prec(),
2668 return (prec1 > prec2) ? prec1 : prec2;
2694 mp_bitcnt_t prec1 = expr.val1.get_prec(),
2696 return (prec1 > prec2) ? prec1 : prec2;
2722 mp_bitcnt_t prec1 = expr.val1.get_prec(),
2724 return (prec1 > prec2) ? prec1 : prec2;