Lines Matching full:b4
43 u64 b4 = b[4]; in modulo_carry_top() local
45 u64 b4_ = b4 & 0x7ffffffffffffLLU; in modulo_carry_top()
46 u64 b0_ = b0 + 19 * (b4 >> 51); in modulo_carry_top()
189 u128 b4; in fmul_fmul() local
200 b4 = t[4]; in fmul_fmul()
202 b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU)))); in fmul_fmul()
203 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51)))))))); in fmul_fmul()
247 u128 b4; in fsquare_fsquare_() local
257 b4 = tmp[4]; in fsquare_fsquare_()
259 b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU)))); in fsquare_fsquare_()
260 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51)))))))); in fsquare_fsquare_()
356 u64 b4; in fdifference() local
362 b4 = tmp[4]; in fdifference()
367 tmp[4] = b4 + 0x3ffffffffffff8LLU; in fdifference()
398 u128 b4; in fscalar() local
423 b4 = tmp[4]; in fscalar()
425 b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU)))); in fscalar()
426 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51)))))))); in fscalar()