Lines Matching refs:b0
34 uint64_t b0 = b[0U]; in Hacl_Bignum_Modulo_carry_top() local
36 uint64_t b0_ = b0 + (uint64_t)19U * (b4 >> (uint32_t)51U); in Hacl_Bignum_Modulo_carry_top()
81 uint64_t b0; in Hacl_Bignum_Fmul_shift_reduce() local
92 b0 = output[0U]; in Hacl_Bignum_Fmul_shift_reduce()
93 output[0U] = (uint64_t)19U * b0; in Hacl_Bignum_Fmul_shift_reduce()
129 uint128_t b0; in Hacl_Bignum_Fmul_fmul() local
139 b0 = t[0U]; in Hacl_Bignum_Fmul_fmul()
141 b0_ = b0 + (uint128_t)(uint64_t)19U * (uint64_t)(b4 >> (uint32_t)51U); in Hacl_Bignum_Fmul_fmul()
182 uint128_t b0; in Hacl_Bignum_Fsquare_fsquare_() local
192 b0 = tmp[0U]; in Hacl_Bignum_Fsquare_fsquare_()
194 b0_ = b0 + (uint128_t)(uint64_t)19U * (uint64_t)(b4 >> (uint32_t)51U); in Hacl_Bignum_Fsquare_fsquare_()
250 uint64_t *b0 = buf + (uint32_t)10U; in Hacl_Bignum_Crecip_crecip() local
260 Hacl_Bignum_Fmul_fmul(b0, t00, z); in Hacl_Bignum_Crecip_crecip()
261 Hacl_Bignum_Fmul_fmul(a0, b0, a0); in Hacl_Bignum_Crecip_crecip()
263 Hacl_Bignum_Fmul_fmul(b0, t00, b0); in Hacl_Bignum_Crecip_crecip()
264 Hacl_Bignum_Fsquare_fsquare_times(t00, b0, (uint32_t)5U); in Hacl_Bignum_Crecip_crecip()
303 uint64_t b0; in Hacl_Bignum_fdifference() local
309 b0 = tmp[0U]; in Hacl_Bignum_fdifference()
314 tmp[0U] = b0 + (uint64_t)0x3fffffffffff68U; in Hacl_Bignum_fdifference()
342 uint128_t b0; in Hacl_Bignum_fscalar() local
355 b0 = tmp[0U]; in Hacl_Bignum_fscalar()
357 b0_ = b0 + (uint128_t)(uint64_t)19U * (uint64_t)(b4 >> (uint32_t)51U); in Hacl_Bignum_fscalar()
540 uint8_t *b0 = output; in Hacl_EC_Format_fcontract_store() local
544 store64_le(b0, o0); in Hacl_EC_Format_fcontract_store()