Lines Matching full:51
46 u64 b0_ = b0 + 19 * (b4 >> 51); in modulo_carry_top()
92 u128 c = ((tctr) >> (51)); in fproduct_carry_wide_()
101 u128 c = ((tctr) >> (51)); in fproduct_carry_wide_()
111 u128 c = ((tctr) >> (51)); in fproduct_carry_wide_()
120 u128 c = ((tctr) >> (51)); in fproduct_carry_wide_()
203 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51)))))))); in fmul_fmul()
210 i1_ = i1 + (i0 >> 51); in fmul_fmul()
260 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51)))))))); in fsquare_fsquare_()
267 i1_ = i1 + (i0 >> 51); in fsquare_fsquare_()
426 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51)))))))); in fscalar()
632 u64 t1_ = t1 + (t0 >> 51); in format_fcontract_first_carry_pass()
634 u64 t2_ = t2 + (t1_ >> 51); in format_fcontract_first_carry_pass()
636 u64 t3_ = t3 + (t2_ >> 51); in format_fcontract_first_carry_pass()
638 u64 t4_ = t4 + (t3_ >> 51); in format_fcontract_first_carry_pass()
660 u64 t1_ = t1 + (t0 >> 51); in format_fcontract_second_carry_pass()
662 u64 t2_ = t2 + (t1_ >> 51); in format_fcontract_second_carry_pass()
664 u64 t3_ = t3 + (t2_ >> 51); in format_fcontract_second_carry_pass()
666 u64 t4_ = t4 + (t3_ >> 51); in format_fcontract_second_carry_pass()
686 i1_ = i1 + (i0 >> 51); in format_fcontract_second_carry_full()
723 u64 o0 = t1 << 51 | t0; in format_fcontract_store()