Searched refs:r3 (Results 1 – 3 of 3) sorted by relevance
| /mbedtls-latest/library/ |
| D | poly1305.c | 71 uint32_t r0, r1, r2, r3; in poly1305_process() local
79 r3 = ctx->r[3]; in poly1305_process()
83 rs3 = r3 + (r3 >> 2U); in poly1305_process()
125 d3 = mul64(acc0, r3) + in poly1305_process()
|
| /mbedtls-latest/3rdparty/everest/library/ |
| D | Hacl_Curve25519.c | 160 uint64_t r3 = output[3U]; in Hacl_Bignum_Fsquare_fsquare__() local
167 uint128_t s0 = (uint128_t)r0 * r0 + (uint128_t)d4 * r1 + (uint128_t)d2 * r3; 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-latest/3rdparty/everest/library/legacy/ |
| D | Hacl_Curve25519.c | 175 uint64_t r3 = output[3U]; in Hacl_Bignum_Fsquare_fsquare__() local
186 FStar_UInt128_mul_wide(d2, r3)); in Hacl_Bignum_Fsquare_fsquare__()
191 FStar_UInt128_mul_wide(r3 * (uint64_t)19U, r3)); in Hacl_Bignum_Fsquare_fsquare__()
196 FStar_UInt128_mul_wide(d4, r3)); in Hacl_Bignum_Fsquare_fsquare__()
199 FStar_UInt128_add(FStar_UInt128_add(FStar_UInt128_mul_wide(d0, r3), in Hacl_Bignum_Fsquare_fsquare__()
205 FStar_UInt128_mul_wide(d1, r3)), in Hacl_Bignum_Fsquare_fsquare__()
|
