Searched refs:i1 (Results 1 – 2 of 2) sorted by relevance
133 uint64_t i1; in Hacl_Bignum_Fmul_fmul() local146 i1 = output[1U]; in Hacl_Bignum_Fmul_fmul()148 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_Bignum_Fmul_fmul()186 uint64_t i1; in Hacl_Bignum_Fsquare_fsquare_() local199 i1 = output[1U]; in Hacl_Bignum_Fsquare_fsquare_()201 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_Bignum_Fsquare_fsquare_()419 uint64_t i1 = load64_le(x00); in Hacl_EC_Format_fexpand() local427 uint64_t output1 = i1 >> (uint32_t)3U & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fexpand()491 uint64_t i1; in Hacl_EC_Format_fcontract_second_carry_full() local497 i1 = input[1U]; in Hacl_EC_Format_fcontract_second_carry_full()[all …]
145 uint64_t i1; in Hacl_Bignum_Fmul_fmul() local161 i1 = output[1U]; in Hacl_Bignum_Fmul_fmul()163 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_Bignum_Fmul_fmul()221 uint64_t i1; in Hacl_Bignum_Fsquare_fsquare_() local237 i1 = output[1U]; in Hacl_Bignum_Fsquare_fsquare_()239 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_Bignum_Fsquare_fsquare_()464 uint64_t i1 = load64_le(x00); in Hacl_EC_Format_fexpand() local472 uint64_t output1 = i1 >> (uint32_t)3U & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fexpand()536 uint64_t i1; in Hacl_EC_Format_fcontract_second_carry_full() local542 i1 = input[1U]; in Hacl_EC_Format_fcontract_second_carry_full()[all …]
