Lines Matching refs:t0
255 uint64_t *t0; in Hacl_Bignum_Crecip_crecip() local
277 t0 = buf + (uint32_t)5U; in Hacl_Bignum_Crecip_crecip()
280 Hacl_Bignum_Fmul_fmul(c, t0, b); in Hacl_Bignum_Crecip_crecip()
281 Hacl_Bignum_Fsquare_fsquare_times(t0, c, (uint32_t)100U); in Hacl_Bignum_Crecip_crecip()
282 Hacl_Bignum_Fmul_fmul(t0, t0, c); in Hacl_Bignum_Crecip_crecip()
283 Hacl_Bignum_Fsquare_fsquare_times_inplace(t0, (uint32_t)50U); in Hacl_Bignum_Crecip_crecip()
284 Hacl_Bignum_Fmul_fmul(t0, t0, b); in Hacl_Bignum_Crecip_crecip()
285 Hacl_Bignum_Fsquare_fsquare_times_inplace(t0, (uint32_t)5U); in Hacl_Bignum_Crecip_crecip()
286 Hacl_Bignum_Fmul_fmul(out, t0, a); in Hacl_Bignum_Crecip_crecip()
440 uint64_t t0 = input[0U]; in Hacl_EC_Format_fcontract_first_carry_pass() local
445 uint64_t t1_ = t1 + (t0 >> (uint32_t)51U); in Hacl_EC_Format_fcontract_first_carry_pass()
446 uint64_t t0_ = t0 & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_first_carry_pass()
468 uint64_t t0 = input[0U]; in Hacl_EC_Format_fcontract_second_carry_pass() local
473 uint64_t t1_ = t1 + (t0 >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_pass()
474 uint64_t t0_ = t0 & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_second_carry_pass()
531 uint64_t t0 = input[0U]; in Hacl_EC_Format_fcontract_store() local
536 uint64_t o0 = t1 << (uint32_t)51U | t0; in Hacl_EC_Format_fcontract_store()