Searched refs:_i (Results 1 – 2 of 2) sorted by relevance
123 uint32_t _i; in Hacl_Bignum_Fmul_fmul() local124 for (_i = 0U; _i < (uint32_t)5U; ++_i) in Hacl_Bignum_Fmul_fmul()125 t[_i] = (uint128_t)(uint64_t)0U; in Hacl_Bignum_Fmul_fmul()222 uint32_t _i; in Hacl_Bignum_Fsquare_fsquare_times() local223 for (_i = 0U; _i < (uint32_t)5U; ++_i) in Hacl_Bignum_Fsquare_fsquare_times()224 t[_i] = (uint128_t)(uint64_t)0U; in Hacl_Bignum_Fsquare_fsquare_times()237 uint32_t _i; in Hacl_Bignum_Fsquare_fsquare_times_inplace() local238 for (_i = 0U; _i < (uint32_t)5U; ++_i) in Hacl_Bignum_Fsquare_fsquare_times_inplace()239 t[_i] = (uint128_t)(uint64_t)0U; in Hacl_Bignum_Fsquare_fsquare_times_inplace()336 uint32_t _i; in Hacl_Bignum_fscalar() local[all …]
135 uint32_t _i; in Hacl_Bignum_Fmul_fmul() local136 for (_i = 0U; _i < (uint32_t)5U; ++_i) in Hacl_Bignum_Fmul_fmul()137 t[_i] = FStar_UInt128_uint64_to_uint128((uint64_t)0U); in Hacl_Bignum_Fmul_fmul()264 uint32_t _i; in Hacl_Bignum_Fsquare_fsquare_times() local265 for (_i = 0U; _i < (uint32_t)5U; ++_i) in Hacl_Bignum_Fsquare_fsquare_times()266 t[_i] = FStar_UInt128_uint64_to_uint128((uint64_t)0U); in Hacl_Bignum_Fsquare_fsquare_times()279 uint32_t _i; in Hacl_Bignum_Fsquare_fsquare_times_inplace() local280 for (_i = 0U; _i < (uint32_t)5U; ++_i) in Hacl_Bignum_Fsquare_fsquare_times_inplace()281 t[_i] = FStar_UInt128_uint64_to_uint128((uint64_t)0U); in Hacl_Bignum_Fsquare_fsquare_times_inplace()378 uint32_t _i; in Hacl_Bignum_fscalar() local[all …]
Completed in 7 milliseconds