Lines Matching full:51
44 u64 b0_ = b0 + 19 * (b4 >> 51); in modulo_carry_top()
90 u128 c = ((tctr) >> (51)); in fproduct_carry_wide_()
99 u128 c = ((tctr) >> (51)); in fproduct_carry_wide_()
109 u128 c = ((tctr) >> (51)); in fproduct_carry_wide_()
118 u128 c = ((tctr) >> (51)); in fproduct_carry_wide_()
201 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51)))))))); in fmul_fmul()
208 i1_ = i1 + (i0 >> 51); in fmul_fmul()
258 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51)))))))); in fsquare_fsquare_()
265 i1_ = i1 + (i0 >> 51); in fsquare_fsquare_()
424 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51)))))))); in fscalar()
630 u64 t1_ = t1 + (t0 >> 51); in format_fcontract_first_carry_pass()
632 u64 t2_ = t2 + (t1_ >> 51); in format_fcontract_first_carry_pass()
634 u64 t3_ = t3 + (t2_ >> 51); in format_fcontract_first_carry_pass()
636 u64 t4_ = t4 + (t3_ >> 51); in format_fcontract_first_carry_pass()
658 u64 t1_ = t1 + (t0 >> 51); in format_fcontract_second_carry_pass()
660 u64 t2_ = t2 + (t1_ >> 51); in format_fcontract_second_carry_pass()
662 u64 t3_ = t3 + (t2_ >> 51); in format_fcontract_second_carry_pass()
664 u64 t4_ = t4 + (t3_ >> 51); in format_fcontract_second_carry_pass()
684 i1_ = i1 + (i0 >> 51); in format_fcontract_second_carry_full()
721 u64 o0 = t1 << 51 | t0; in format_fcontract_store()