Lines Matching defs:ctr
76 uint32_t ctr = i;
77 FStar_UInt128_uint128 tctr = tmp[ctr];
78 FStar_UInt128_uint128 tctrp1 = tmp[ctr + (uint32_t)1U];
81 tmp[ctr] = FStar_UInt128_uint64_to_uint128(r0);
82 tmp[ctr + (uint32_t)1U] = FStar_UInt128_add(tctrp1, c);
94 uint32_t ctr = (uint32_t)5U - i - (uint32_t)1U;
95 uint64_t z = output[ctr - (uint32_t)1U];
96 output[ctr] = z;
421 Hacl_EC_Point_swap_conditional_step(uint64_t *a, uint64_t *b, uint64_t swap1, uint32_t ctr)
423 uint32_t i = ctr - (uint32_t)1U;
434 Hacl_EC_Point_swap_conditional_(uint64_t *a, uint64_t *b, uint64_t swap1, uint32_t ctr)
436 if (!(ctr == (uint32_t)0U))
439 Hacl_EC_Point_swap_conditional_step(a, b, swap1, ctr);
440 i = ctr - (uint32_t)1U;