Searched refs:t4_ (Results 1 – 2 of 2) sorted by relevance
451 uint64_t t4_ = t4 + (t3_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_first_carry_pass() local457 input[4U] = t4_; in Hacl_EC_Format_fcontract_first_carry_pass()479 uint64_t t4_ = t4 + (t3_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_pass() local485 input[4U] = t4_; in Hacl_EC_Format_fcontract_second_carry_pass()
496 uint64_t t4_ = t4 + (t3_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_first_carry_pass() local502 input[4U] = t4_; in Hacl_EC_Format_fcontract_first_carry_pass()524 uint64_t t4_ = t4 + (t3_ >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_pass() local530 input[4U] = t4_; in Hacl_EC_Format_fcontract_second_carry_pass()
