Home
last modified time | relevance | path

Searched refs:i0 (Results 1 – 2 of 2) sorted by relevance

/mbedtls-development/3rdparty/everest/library/
A DHacl_Curve25519.c102 uint32_t i0; in Hacl_Bignum_Fmul_mul_shift_reduce_() local
103 for (i0 = (uint32_t)0U; i0 < (uint32_t)4U; i0 = i0 + (uint32_t)1U) in Hacl_Bignum_Fmul_mul_shift_reduce_()
105 uint64_t input2i0 = input2[i0]; in Hacl_Bignum_Fmul_mul_shift_reduce_()
132 uint64_t i0; in Hacl_Bignum_Fmul_fmul() local
145 i0 = output[0U]; in Hacl_Bignum_Fmul_fmul()
185 uint64_t i0; in Hacl_Bignum_Fsquare_fsquare_() local
198 i0 = output[0U]; in Hacl_Bignum_Fsquare_fsquare_()
201 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_Bignum_Fsquare_fsquare_()
417 uint64_t i0 = load64_le(input); in Hacl_EC_Format_fexpand() local
490 uint64_t i0; in Hacl_EC_Format_fcontract_second_carry_full() local
[all …]
/mbedtls-development/3rdparty/everest/library/legacy/
A DHacl_Curve25519.c114 uint32_t i0; in Hacl_Bignum_Fmul_mul_shift_reduce_() local
115 for (i0 = (uint32_t)0U; i0 < (uint32_t)4U; i0 = i0 + (uint32_t)1U) in Hacl_Bignum_Fmul_mul_shift_reduce_()
117 uint64_t input2i0 = input2[i0]; in Hacl_Bignum_Fmul_mul_shift_reduce_()
144 uint64_t i0; in Hacl_Bignum_Fmul_fmul() local
160 i0 = output[0U]; in Hacl_Bignum_Fmul_fmul()
220 uint64_t i0; in Hacl_Bignum_Fsquare_fsquare_() local
236 i0 = output[0U]; in Hacl_Bignum_Fsquare_fsquare_()
239 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_Bignum_Fsquare_fsquare_()
462 uint64_t i0 = load64_le(input); in Hacl_EC_Format_fexpand() local
535 uint64_t i0; in Hacl_EC_Format_fcontract_second_carry_full() local
[all …]

Completed in 6 milliseconds