Searched refs:t1_ (Results 1 – 3 of 3) sorted by relevance
445 uint64_t t1_ = t1 + (t0 >> (uint32_t)51U); in Hacl_EC_Format_fcontract_first_carry_pass() local447 uint64_t t2_ = t2 + (t1_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_first_carry_pass()448 uint64_t t1__ = t1_ & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_first_carry_pass()473 uint64_t t1_ = t1 + (t0 >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_pass() local475 uint64_t t2_ = t2 + (t1_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_pass()476 uint64_t t1__ = t1_ & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_second_carry_pass()
490 uint64_t t1_ = t1 + (t0 >> (uint32_t)51U); in Hacl_EC_Format_fcontract_first_carry_pass() local492 uint64_t t2_ = t2 + (t1_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_first_carry_pass()493 uint64_t t1__ = t1_ & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_first_carry_pass()518 uint64_t t1_ = t1 + (t0 >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_pass() local520 uint64_t t2_ = t2 + (t1_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_pass()521 uint64_t t1__ = t1_ & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_second_carry_pass()
196268 # This has always worked because the t1_* tables used by fts3 will be