Lines Matching refs:ctr
76 uint32_t ctr = i; in Hacl_Bignum_Fproduct_carry_wide_() local
77 FStar_UInt128_uint128 tctr = tmp[ctr]; in Hacl_Bignum_Fproduct_carry_wide_()
78 FStar_UInt128_uint128 tctrp1 = tmp[ctr + (uint32_t)1U]; in Hacl_Bignum_Fproduct_carry_wide_()
81 tmp[ctr] = FStar_UInt128_uint64_to_uint128(r0); in Hacl_Bignum_Fproduct_carry_wide_()
82 tmp[ctr + (uint32_t)1U] = FStar_UInt128_add(tctrp1, c); in Hacl_Bignum_Fproduct_carry_wide_()
94 uint32_t ctr = (uint32_t)5U - i - (uint32_t)1U; in Hacl_Bignum_Fmul_shift_reduce() local
95 uint64_t z = output[ctr - (uint32_t)1U]; in Hacl_Bignum_Fmul_shift_reduce()
96 output[ctr] = z; in Hacl_Bignum_Fmul_shift_reduce()
421 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
423 uint32_t i = ctr - (uint32_t)1U; in Hacl_EC_Point_swap_conditional_step()
434 Hacl_EC_Point_swap_conditional_(uint64_t *a, uint64_t *b, uint64_t swap1, uint32_t ctr) in Hacl_EC_Point_swap_conditional_() argument
436 if (!(ctr == (uint32_t)0U)) in Hacl_EC_Point_swap_conditional_()
439 Hacl_EC_Point_swap_conditional_step(a, b, swap1, ctr); in Hacl_EC_Point_swap_conditional_()
440 i = ctr - (uint32_t)1U; in Hacl_EC_Point_swap_conditional_()