Lines Matching refs:i
47 uint32_t i; in Hacl_Bignum_Fproduct_copy_from_wide_() local
48 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_Fproduct_copy_from_wide_()
50 FStar_UInt128_uint128 xi = input[i]; in Hacl_Bignum_Fproduct_copy_from_wide_()
51 output[i] = FStar_UInt128_uint128_to_uint64(xi); in Hacl_Bignum_Fproduct_copy_from_wide_()
62 uint32_t i; in Hacl_Bignum_Fproduct_sum_scalar_multiplication_() local
63 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
65 FStar_UInt128_uint128 xi = output[i]; in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
66 uint64_t yi = input[i]; in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
67 output[i] = FStar_UInt128_add_mod(xi, FStar_UInt128_mul_wide(yi, s)); in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
73 uint32_t i; in Hacl_Bignum_Fproduct_carry_wide_() local
74 for (i = (uint32_t)0U; i < (uint32_t)4U; i = i + (uint32_t)1U) in Hacl_Bignum_Fproduct_carry_wide_()
76 uint32_t ctr = i; in Hacl_Bignum_Fproduct_carry_wide_()
91 uint32_t i; in Hacl_Bignum_Fmul_shift_reduce() local
92 for (i = (uint32_t)0U; i < (uint32_t)4U; i = i + (uint32_t)1U) in Hacl_Bignum_Fmul_shift_reduce()
94 uint32_t ctr = (uint32_t)5U - i - (uint32_t)1U; in Hacl_Bignum_Fmul_shift_reduce()
111 uint32_t i; in Hacl_Bignum_Fmul_mul_shift_reduce_() local
122 i = (uint32_t)4U; in Hacl_Bignum_Fmul_mul_shift_reduce_()
123 input2i = input2[i]; in Hacl_Bignum_Fmul_mul_shift_reduce_()
251 uint32_t i; in Hacl_Bignum_Fsquare_fsquare_times_() local
253 for (i = (uint32_t)1U; i < count1; i = i + (uint32_t)1U) in Hacl_Bignum_Fsquare_fsquare_times_()
333 uint32_t i; in Hacl_Bignum_fsum() local
334 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_fsum()
336 uint64_t xi = a[i]; in Hacl_Bignum_fsum()
337 uint64_t yi = b[i]; in Hacl_Bignum_fsum()
338 a[i] = xi + yi; in Hacl_Bignum_fsum()
362 uint32_t i; in Hacl_Bignum_fdifference() local
363 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_fdifference()
365 uint64_t xi = a[i]; in Hacl_Bignum_fdifference()
366 uint64_t yi = tmp[i]; in Hacl_Bignum_fdifference()
367 a[i] = yi - xi; in Hacl_Bignum_fdifference()
388 uint32_t i; in Hacl_Bignum_fscalar() local
389 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_fscalar()
391 uint64_t xi = b[i]; in Hacl_Bignum_fscalar()
392 tmp[i] = FStar_UInt128_mul_wide(xi, s); in Hacl_Bignum_fscalar()
423 uint32_t i = ctr - (uint32_t)1U; in Hacl_EC_Point_swap_conditional_step() local
424 uint64_t ai = a[i]; in Hacl_EC_Point_swap_conditional_step()
425 uint64_t bi = b[i]; in Hacl_EC_Point_swap_conditional_step()
429 a[i] = ai1; in Hacl_EC_Point_swap_conditional_step()
430 b[i] = bi1; in Hacl_EC_Point_swap_conditional_step()
438 uint32_t i; in Hacl_EC_Point_swap_conditional_() local
440 i = ctr - (uint32_t)1U; in Hacl_EC_Point_swap_conditional_()
441 Hacl_EC_Point_swap_conditional_(a, b, swap1, i); in Hacl_EC_Point_swap_conditional_()
723 uint32_t i in Hacl_EC_Ladder_SmallLoop_cmult_small_loop() argument
726 if (!(i == (uint32_t)0U)) in Hacl_EC_Ladder_SmallLoop_cmult_small_loop()
728 uint32_t i_ = i - (uint32_t)1U; in Hacl_EC_Ladder_SmallLoop_cmult_small_loop()
744 uint32_t i in Hacl_EC_Ladder_BigLoop_cmult_big_loop() argument
747 if (!(i == (uint32_t)0U)) in Hacl_EC_Ladder_BigLoop_cmult_big_loop()
749 uint32_t i1 = i - (uint32_t)1U; in Hacl_EC_Ladder_BigLoop_cmult_big_loop()