Lines Matching refs:t0
297 uint64_t *t0; in Hacl_Bignum_Crecip_crecip() local
319 t0 = buf + (uint32_t)5U; in Hacl_Bignum_Crecip_crecip()
322 Hacl_Bignum_Fmul_fmul(c, t0, b); in Hacl_Bignum_Crecip_crecip()
323 Hacl_Bignum_Fsquare_fsquare_times(t0, c, (uint32_t)100U); in Hacl_Bignum_Crecip_crecip()
324 Hacl_Bignum_Fmul_fmul(t0, t0, c); in Hacl_Bignum_Crecip_crecip()
325 Hacl_Bignum_Fsquare_fsquare_times_inplace(t0, (uint32_t)50U); in Hacl_Bignum_Crecip_crecip()
326 Hacl_Bignum_Fmul_fmul(t0, t0, b); in Hacl_Bignum_Crecip_crecip()
327 Hacl_Bignum_Fsquare_fsquare_times_inplace(t0, (uint32_t)5U); in Hacl_Bignum_Crecip_crecip()
328 Hacl_Bignum_Fmul_fmul(out, t0, a); in Hacl_Bignum_Crecip_crecip()
485 uint64_t t0 = input[0U]; in Hacl_EC_Format_fcontract_first_carry_pass() local
490 uint64_t t1_ = t1 + (t0 >> (uint32_t)51U); in Hacl_EC_Format_fcontract_first_carry_pass()
491 uint64_t t0_ = t0 & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_first_carry_pass()
513 uint64_t t0 = input[0U]; in Hacl_EC_Format_fcontract_second_carry_pass() local
518 uint64_t t1_ = t1 + (t0 >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_pass()
519 uint64_t t0_ = t0 & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_second_carry_pass()
576 uint64_t t0 = input[0U]; in Hacl_EC_Format_fcontract_store() local
581 uint64_t o0 = t1 << (uint32_t)51U | t0; in Hacl_EC_Format_fcontract_store()