Lines Matching refs:b4
41 u64 b4 = b[4]; in modulo_carry_top() local
43 u64 b4_ = b4 & 0x7ffffffffffffLLU; in modulo_carry_top()
44 u64 b0_ = b0 + 19 * (b4 >> 51); in modulo_carry_top()
187 u128 b4; in fmul_fmul() local
198 b4 = t[4]; in fmul_fmul()
200 b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU)))); in fmul_fmul()
201 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51)))))))); in fmul_fmul()
245 u128 b4; in fsquare_fsquare_() local
255 b4 = tmp[4]; in fsquare_fsquare_()
257 b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU)))); in fsquare_fsquare_()
258 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51)))))))); in fsquare_fsquare_()
354 u64 b4; in fdifference() local
360 b4 = tmp[4]; in fdifference()
365 tmp[4] = b4 + 0x3ffffffffffff8LLU; in fdifference()
396 u128 b4; in fscalar() local
421 b4 = tmp[4]; in fscalar()
423 b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU)))); in fscalar()
424 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51)))))))); in fscalar()