Lines Matching full:51
48 u64 b0_ = b0 + 19 * (b4 >> 51); in modulo_carry_top()
94 u128 c = ((tctr) >> (51)); in fproduct_carry_wide_()
103 u128 c = ((tctr) >> (51)); in fproduct_carry_wide_()
113 u128 c = ((tctr) >> (51)); in fproduct_carry_wide_()
122 u128 c = ((tctr) >> (51)); in fproduct_carry_wide_()
205 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51)))))))); in fmul_fmul()
212 i1_ = i1 + (i0 >> 51); in fmul_fmul()
262 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51)))))))); in fsquare_fsquare_()
269 i1_ = i1 + (i0 >> 51); in fsquare_fsquare_()
428 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51)))))))); in fscalar()
634 u64 t1_ = t1 + (t0 >> 51); in format_fcontract_first_carry_pass()
636 u64 t2_ = t2 + (t1_ >> 51); in format_fcontract_first_carry_pass()
638 u64 t3_ = t3 + (t2_ >> 51); in format_fcontract_first_carry_pass()
640 u64 t4_ = t4 + (t3_ >> 51); in format_fcontract_first_carry_pass()
662 u64 t1_ = t1 + (t0 >> 51); in format_fcontract_second_carry_pass()
664 u64 t2_ = t2 + (t1_ >> 51); in format_fcontract_second_carry_pass()
666 u64 t3_ = t3 + (t2_ >> 51); in format_fcontract_second_carry_pass()
668 u64 t4_ = t4 + (t3_ >> 51); in format_fcontract_second_carry_pass()
688 i1_ = i1 + (i0 >> 51); in format_fcontract_second_carry_full()
725 u64 o0 = t1 << 51 | t0; in format_fcontract_store()