Lines Matching full:b4
45 u64 b4 = b[4]; in modulo_carry_top() local
47 u64 b4_ = b4 & 0x7ffffffffffffLLU; in modulo_carry_top()
48 u64 b0_ = b0 + 19 * (b4 >> 51); in modulo_carry_top()
191 u128 b4; in fmul_fmul() local
202 b4 = t[4]; in fmul_fmul()
204 b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU)))); in fmul_fmul()
205 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51)))))))); in fmul_fmul()
249 u128 b4; in fsquare_fsquare_() local
259 b4 = tmp[4]; in fsquare_fsquare_()
261 b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU)))); in fsquare_fsquare_()
262 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51)))))))); in fsquare_fsquare_()
358 u64 b4; in fdifference() local
364 b4 = tmp[4]; in fdifference()
369 tmp[4] = b4 + 0x3ffffffffffff8LLU; in fdifference()
400 u128 b4; in fscalar() local
425 b4 = tmp[4]; in fscalar()
427 b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU)))); in fscalar()
428 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51)))))))); in fscalar()