Lines Matching refs:_i
135 uint32_t _i; in Hacl_Bignum_Fmul_fmul() local
136 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() local
265 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() local
280 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
379 for (_i = 0U; _i < (uint32_t)5U; ++_i) in Hacl_Bignum_fscalar()
380 tmp[_i] = FStar_UInt128_uint64_to_uint128((uint64_t)0U); in Hacl_Bignum_fscalar()