Lines Matching refs:ctr
68 uint32_t ctr = i; in Hacl_Bignum_Fproduct_carry_wide_() local
69 uint128_t tctr = tmp[ctr]; in Hacl_Bignum_Fproduct_carry_wide_()
70 uint128_t tctrp1 = tmp[ctr + (uint32_t)1U]; in Hacl_Bignum_Fproduct_carry_wide_()
73 tmp[ctr] = (uint128_t)r0; in Hacl_Bignum_Fproduct_carry_wide_()
74 tmp[ctr + (uint32_t)1U] = tctrp1 + c; in Hacl_Bignum_Fproduct_carry_wide_()
86 uint32_t ctr = (uint32_t)5U - i - (uint32_t)1U; in Hacl_Bignum_Fmul_shift_reduce() local
87 uint64_t z = output[ctr - (uint32_t)1U]; in Hacl_Bignum_Fmul_shift_reduce()
88 output[ctr] = z; in Hacl_Bignum_Fmul_shift_reduce()
376 Hacl_EC_Point_swap_conditional_step(uint64_t *a, uint64_t *b, uint64_t swap1, uint32_t ctr) in Hacl_EC_Point_swap_conditional_step() argument
378 uint32_t i = ctr - (uint32_t)1U; in Hacl_EC_Point_swap_conditional_step()
389 Hacl_EC_Point_swap_conditional_(uint64_t *a, uint64_t *b, uint64_t swap1, uint32_t ctr) in Hacl_EC_Point_swap_conditional_() argument
391 if (!(ctr == (uint32_t)0U)) in Hacl_EC_Point_swap_conditional_()
394 Hacl_EC_Point_swap_conditional_step(a, b, swap1, ctr); in Hacl_EC_Point_swap_conditional_()
395 i = ctr - (uint32_t)1U; in Hacl_EC_Point_swap_conditional_()