Home
last modified time | relevance | path

Searched refs:r2 (Results 1 – 4 of 4) sorted by relevance

/mbedtls-latest/tests/suites/
Dtest_suite_common.function7 unsigned char *r2,
14 r2[i] = r1[i];
23 unsigned char *a = NULL, *b = NULL, *r1 = NULL, *r2 = NULL;
27 TEST_CALLOC(r2, n + 1);
30 fill_arrays(a, b, r1, r2, n);
34 mbedtls_xor(r2, a, b, n);
35 TEST_MEMORY_COMPARE(r1, n, r2, n);
38 fill_arrays(a, b, r1, r2, n);
42 mbedtls_xor(r2, r2, b, n);
43 TEST_MEMORY_COMPARE(r1, n, r2, n);
[all …]
/mbedtls-latest/library/
Dpoly1305.c71 uint32_t r0, r1, r2, r3; in poly1305_process() local
78 r2 = ctx->r[2]; in poly1305_process()
82 rs2 = r2 + (r2 >> 2U); in poly1305_process()
120 d2 = mul64(acc0, r2) + in poly1305_process()
126 mul64(acc1, r2) + in poly1305_process()
/mbedtls-latest/3rdparty/everest/library/
DHacl_Curve25519.c159 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-latest/3rdparty/everest/library/legacy/
DHacl_Curve25519.c174 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__()