Searched refs:r2 (Results 1 – 3 of 3) sorted by relevance
| /mbedtls-development/library/ |
| A D | poly1305.c | 101 uint32_t r0, r1, r2, r3; in poly1305_process() local
108 r2 = ctx->r[2]; in poly1305_process()
112 rs2 = r2 + ( r2 >> 2U ); in poly1305_process()
151 d2 = mul64( acc0, r2 ) + in poly1305_process()
157 mul64( acc1, r2 ) + in poly1305_process()
|
| /mbedtls-development/3rdparty/everest/library/ |
| A D | Hacl_Curve25519.c | 159 uint64_t r2 = output[2U]; in Hacl_Bignum_Fsquare_fsquare__() local
164 uint64_t d2 = r2 * (uint64_t)2U * (uint64_t)19U; in Hacl_Bignum_Fsquare_fsquare__()
168 uint128_t s1 = (uint128_t)d0 * r1 + (uint128_t)d4 * r2 + (uint128_t)(r3 * (uint64_t)19U) * r3; in Hacl_Bignum_Fsquare_fsquare__()
169 uint128_t s2 = (uint128_t)d0 * r2 + (uint128_t)r1 * r1 + (uint128_t)d4 * r3; in Hacl_Bignum_Fsquare_fsquare__()
170 uint128_t s3 = (uint128_t)d0 * r3 + (uint128_t)d1 * r2 + (uint128_t)r4 * d419; in Hacl_Bignum_Fsquare_fsquare__()
171 uint128_t s4 = (uint128_t)d0 * r4 + (uint128_t)d1 * r3 + (uint128_t)r2 * r2; in Hacl_Bignum_Fsquare_fsquare__()
|
| /mbedtls-development/3rdparty/everest/library/legacy/ |
| A D | Hacl_Curve25519.c | 174 uint64_t r2 = output[2U]; in Hacl_Bignum_Fsquare_fsquare__() local
179 uint64_t d2 = r2 * (uint64_t)2U * (uint64_t)19U; in Hacl_Bignum_Fsquare_fsquare__()
190 FStar_UInt128_mul_wide(d4, r2)), in Hacl_Bignum_Fsquare_fsquare__()
194 FStar_UInt128_add(FStar_UInt128_add(FStar_UInt128_mul_wide(d0, r2), in Hacl_Bignum_Fsquare_fsquare__()
200 FStar_UInt128_mul_wide(d1, r2)), in Hacl_Bignum_Fsquare_fsquare__()
206 FStar_UInt128_mul_wide(r2, r2)); in Hacl_Bignum_Fsquare_fsquare__()
|
Completed in 7 milliseconds