Lines Matching refs:b1
252 uint64_t *b1; in Hacl_Bignum_Crecip_crecip() local
266 b1 = buf + (uint32_t)10U; in Hacl_Bignum_Crecip_crecip()
268 Hacl_Bignum_Fmul_fmul(b1, t01, b1); in Hacl_Bignum_Crecip_crecip()
269 Hacl_Bignum_Fsquare_fsquare_times(t01, b1, (uint32_t)10U); in Hacl_Bignum_Crecip_crecip()
270 Hacl_Bignum_Fmul_fmul(c0, t01, b1); in Hacl_Bignum_Crecip_crecip()
274 Hacl_Bignum_Fmul_fmul(b1, t01, b1); in Hacl_Bignum_Crecip_crecip()
275 Hacl_Bignum_Fsquare_fsquare_times(t01, b1, (uint32_t)50U); in Hacl_Bignum_Crecip_crecip()
304 uint64_t b1; in Hacl_Bignum_fdifference() local
310 b1 = tmp[1U]; in Hacl_Bignum_fdifference()
315 tmp[1U] = b1 + (uint64_t)0x3ffffffffffff8U; in Hacl_Bignum_fdifference()
541 uint8_t *b1 = output + (uint32_t)8U; in Hacl_EC_Format_fcontract_store() local
545 store64_le(b1, o1); in Hacl_EC_Format_fcontract_store()