Lines Matching refs:i0
102 uint32_t i0; in Hacl_Bignum_Fmul_mul_shift_reduce_() local
103 for (i0 = (uint32_t)0U; i0 < (uint32_t)4U; i0 = i0 + (uint32_t)1U) in Hacl_Bignum_Fmul_mul_shift_reduce_()
105 uint64_t input2i0 = input2[i0]; in Hacl_Bignum_Fmul_mul_shift_reduce_()
132 uint64_t i0; in Hacl_Bignum_Fmul_fmul() local
145 i0 = output[0U]; in Hacl_Bignum_Fmul_fmul()
147 i0_ = i0 & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fmul_fmul()
148 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_Bignum_Fmul_fmul()
185 uint64_t i0; in Hacl_Bignum_Fsquare_fsquare_() local
198 i0 = output[0U]; in Hacl_Bignum_Fsquare_fsquare_()
200 i0_ = i0 & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fsquare_fsquare_()
201 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_Bignum_Fsquare_fsquare_()
417 uint64_t i0 = load64_le(input); in Hacl_EC_Format_fexpand() local
426 uint64_t output0 = i0 & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fexpand()
490 uint64_t i0; in Hacl_EC_Format_fcontract_second_carry_full() local
496 i0 = input[0U]; in Hacl_EC_Format_fcontract_second_carry_full()
498 i0_ = i0 & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_second_carry_full()
499 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_full()