Lines Matching refs:i0
114 uint32_t i0; in Hacl_Bignum_Fmul_mul_shift_reduce_() local
115 for (i0 = (uint32_t)0U; i0 < (uint32_t)4U; i0 = i0 + (uint32_t)1U) in Hacl_Bignum_Fmul_mul_shift_reduce_()
117 uint64_t input2i0 = input2[i0]; in Hacl_Bignum_Fmul_mul_shift_reduce_()
144 uint64_t i0; in Hacl_Bignum_Fmul_fmul() local
160 i0 = output[0U]; in Hacl_Bignum_Fmul_fmul()
162 i0_ = i0 & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fmul_fmul()
163 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_Bignum_Fmul_fmul()
220 uint64_t i0; in Hacl_Bignum_Fsquare_fsquare_() local
236 i0 = output[0U]; in Hacl_Bignum_Fsquare_fsquare_()
238 i0_ = i0 & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fsquare_fsquare_()
239 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_Bignum_Fsquare_fsquare_()
462 uint64_t i0 = load64_le(input); in Hacl_EC_Format_fexpand() local
471 uint64_t output0 = i0 & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fexpand()
535 uint64_t i0; in Hacl_EC_Format_fcontract_second_carry_full() local
541 i0 = input[0U]; in Hacl_EC_Format_fcontract_second_carry_full()
543 i0_ = i0 & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fcontract_second_carry_full()
544 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_EC_Format_fcontract_second_carry_full()