Lines Matching refs:b1
294 uint64_t *b1; in Hacl_Bignum_Crecip_crecip() local
308 b1 = buf + (uint32_t)10U; in Hacl_Bignum_Crecip_crecip()
310 Hacl_Bignum_Fmul_fmul(b1, t01, b1); in Hacl_Bignum_Crecip_crecip()
311 Hacl_Bignum_Fsquare_fsquare_times(t01, b1, (uint32_t)10U); in Hacl_Bignum_Crecip_crecip()
312 Hacl_Bignum_Fmul_fmul(c0, t01, b1); in Hacl_Bignum_Crecip_crecip()
316 Hacl_Bignum_Fmul_fmul(b1, t01, b1); in Hacl_Bignum_Crecip_crecip()
317 Hacl_Bignum_Fsquare_fsquare_times(t01, b1, (uint32_t)50U); in Hacl_Bignum_Crecip_crecip()
346 uint64_t b1; in Hacl_Bignum_fdifference() local
352 b1 = tmp[1U]; in Hacl_Bignum_fdifference()
357 tmp[1U] = b1 + (uint64_t)0x3ffffffffffff8U; in Hacl_Bignum_fdifference()
586 uint8_t *b1 = output + (uint32_t)8U; in Hacl_EC_Format_fcontract_store() local
590 store64_le(b1, o1); in Hacl_EC_Format_fcontract_store()