Searched refs:i1_ (Results 1 – 2 of 2) sorted by relevance
135 uint64_t i1_; in Hacl_Bignum_Fmul_fmul() local148 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_Bignum_Fmul_fmul()150 output[1U] = i1_; in Hacl_Bignum_Fmul_fmul()188 uint64_t i1_; in Hacl_Bignum_Fsquare_fsquare_() local201 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_Bignum_Fsquare_fsquare_()203 output[1U] = i1_; in Hacl_Bignum_Fsquare_fsquare_()493 uint64_t i1_; in Hacl_EC_Format_fcontract_second_carry_full() local499 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_full()501 input[1U] = i1_; in Hacl_EC_Format_fcontract_second_carry_full()
147 uint64_t i1_; in Hacl_Bignum_Fmul_fmul() local163 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_Bignum_Fmul_fmul()165 output[1U] = i1_; in Hacl_Bignum_Fmul_fmul()223 uint64_t i1_; in Hacl_Bignum_Fsquare_fsquare_() local239 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_Bignum_Fsquare_fsquare_()241 output[1U] = i1_; in Hacl_Bignum_Fsquare_fsquare_()538 uint64_t i1_; in Hacl_EC_Format_fcontract_second_carry_full() local544 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_full()546 input[1U] = i1_; in Hacl_EC_Format_fcontract_second_carry_full()
