Home
last modified time | relevance | path

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

/mbedtls-3.6.0/3rdparty/everest/library/
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()
147 i0_ = i0 & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fmul_fmul()
148 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_Bignum_Fmul_fmul()
185 uint64_t i0; in Hacl_Bignum_Fsquare_fsquare_() local
198 i0 = output[0U]; in Hacl_Bignum_Fsquare_fsquare_()
200 i0_ = i0 & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fsquare_fsquare_()
[all …]
/mbedtls-3.6.0/3rdparty/everest/library/legacy/
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()
162 i0_ = i0 & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fmul_fmul()
163 i1_ = i1 + (i0 >> (uint32_t)51U); in Hacl_Bignum_Fmul_fmul()
220 uint64_t i0; in Hacl_Bignum_Fsquare_fsquare_() local
236 i0 = output[0U]; in Hacl_Bignum_Fsquare_fsquare_()
238 i0_ = i0 & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fsquare_fsquare_()
[all …]