Lines Matching refs:i
43 uint32_t i; in Hacl_Bignum_Fproduct_copy_from_wide_() local
44 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_Fproduct_copy_from_wide_()
46 uint128_t xi = input[i]; in Hacl_Bignum_Fproduct_copy_from_wide_()
47 output[i] = (uint64_t)xi; in Hacl_Bignum_Fproduct_copy_from_wide_()
54 uint32_t i; in Hacl_Bignum_Fproduct_sum_scalar_multiplication_() local
55 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
57 uint128_t xi = output[i]; in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
58 uint64_t yi = input[i]; in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
59 output[i] = xi + (uint128_t)yi * s; in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
65 uint32_t i; in Hacl_Bignum_Fproduct_carry_wide_() local
66 for (i = (uint32_t)0U; i < (uint32_t)4U; i = i + (uint32_t)1U) in Hacl_Bignum_Fproduct_carry_wide_()
68 uint32_t ctr = i; in Hacl_Bignum_Fproduct_carry_wide_()
83 uint32_t i; in Hacl_Bignum_Fmul_shift_reduce() local
84 for (i = (uint32_t)0U; i < (uint32_t)4U; i = i + (uint32_t)1U) in Hacl_Bignum_Fmul_shift_reduce()
86 uint32_t ctr = (uint32_t)5U - i - (uint32_t)1U; in Hacl_Bignum_Fmul_shift_reduce()
99 uint32_t i; in Hacl_Bignum_Fmul_mul_shift_reduce_() local
110 i = (uint32_t)4U; in Hacl_Bignum_Fmul_mul_shift_reduce_()
111 input2i = input2[i]; in Hacl_Bignum_Fmul_mul_shift_reduce_()
209 uint32_t i; in Hacl_Bignum_Fsquare_fsquare_times_() local
211 for (i = (uint32_t)1U; i < count1; i = i + (uint32_t)1U) in Hacl_Bignum_Fsquare_fsquare_times_()
291 uint32_t i; in Hacl_Bignum_fsum() local
292 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_fsum()
294 uint64_t xi = a[i]; in Hacl_Bignum_fsum()
295 uint64_t yi = b[i]; in Hacl_Bignum_fsum()
296 a[i] = xi + yi; in Hacl_Bignum_fsum()
320 uint32_t i; in Hacl_Bignum_fdifference() local
321 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_fdifference()
323 uint64_t xi = a[i]; in Hacl_Bignum_fdifference()
324 uint64_t yi = tmp[i]; in Hacl_Bignum_fdifference()
325 a[i] = yi - xi; in Hacl_Bignum_fdifference()
346 uint32_t i; in Hacl_Bignum_fscalar() local
347 for (i = (uint32_t)0U; i < (uint32_t)5U; i = i + (uint32_t)1U) in Hacl_Bignum_fscalar()
349 uint64_t xi = b[i]; in Hacl_Bignum_fscalar()
350 tmp[i] = (uint128_t)xi * s; in Hacl_Bignum_fscalar()
378 uint32_t i = ctr - (uint32_t)1U; in Hacl_EC_Point_swap_conditional_step() local
379 uint64_t ai = a[i]; in Hacl_EC_Point_swap_conditional_step()
380 uint64_t bi = b[i]; in Hacl_EC_Point_swap_conditional_step()
384 a[i] = ai1; in Hacl_EC_Point_swap_conditional_step()
385 b[i] = bi1; in Hacl_EC_Point_swap_conditional_step()
393 uint32_t i; in Hacl_EC_Point_swap_conditional_() local
395 i = ctr - (uint32_t)1U; in Hacl_EC_Point_swap_conditional_()
396 Hacl_EC_Point_swap_conditional_(a, b, swap1, i); in Hacl_EC_Point_swap_conditional_()
678 uint32_t i in Hacl_EC_Ladder_SmallLoop_cmult_small_loop() argument
681 if (!(i == (uint32_t)0U)) in Hacl_EC_Ladder_SmallLoop_cmult_small_loop()
683 uint32_t i_ = i - (uint32_t)1U; in Hacl_EC_Ladder_SmallLoop_cmult_small_loop()
699 uint32_t i in Hacl_EC_Ladder_BigLoop_cmult_big_loop() argument
702 if (!(i == (uint32_t)0U)) in Hacl_EC_Ladder_BigLoop_cmult_big_loop()
704 uint32_t i1 = i - (uint32_t)1U; in Hacl_EC_Ladder_BigLoop_cmult_big_loop()