Home
last modified time | relevance | path

Searched refs:r1 (Results 1 – 7 of 7) sorted by relevance

/mbedtls-3.5.0/tests/suites/
Dtest_suite_common.function4 void fill_arrays(unsigned char *a, unsigned char *b, unsigned char *r1, unsigned char *r2, size_t n)
9 r1[i] = (unsigned char) i * 3 + 2;
10 r2[i] = r1[i];
19 unsigned char *a = NULL, *b = NULL, *r1 = NULL, *r2 = NULL;
22 ASSERT_ALLOC(r1, n + 1);
26 fill_arrays(a, b, r1, r2, n);
28 r1[i] = a[i] ^ b[i];
31 ASSERT_COMPARE(r1, n, r2, n);
34 fill_arrays(a, b, r1, r2, n);
36 r1[i] = r1[i] ^ b[i];
[all …]
/mbedtls-3.5.0/library/
Dbn_mul.h1011 mbedtls_mpi_uint r0, r1;
1016 r1 = (mbedtls_mpi_uint)( r >> biL ); \
1017 r0 += c; r1 += (r0 < c); \
1018 r0 += *d; r1 += (r0 < *d); \
1019 c = r1; *(d++) = r0;
1029 mbedtls_mpi_uint r0, r1, rx, ry; \
1037 ry = s1 * b0; r1 = s1 * b1; \
1038 r1 += ( rx >> biH ); \
1039 r1 += ( ry >> biH ); \
1041 r0 += rx; r1 += (r0 < rx); \
[all …]
Dpoly1305.c83 uint32_t r0, r1, r2, r3; in poly1305_process() local
89 r1 = ctx->r[1]; in poly1305_process()
93 rs1 = r1 + (r1 >> 2U); in poly1305_process()
127 d1 = mul64(acc0, r1) + in poly1305_process()
133 mul64(acc1, r1) + in poly1305_process()
139 mul64(acc2, r1) + in poly1305_process()
Dbignum_core.c320 mbedtls_mpi_uint r0 = 0, r1; in mbedtls_mpi_core_shift_r() local
348 r1 = X[i - 1] << (biL - v1); in mbedtls_mpi_core_shift_r()
351 r0 = r1; in mbedtls_mpi_core_shift_r()
Dbignum.c754 mbedtls_mpi_uint r0 = 0, r1; in mbedtls_mpi_shift_l() local
786 r1 = X->p[i] >> (biL - t1); in mbedtls_mpi_shift_l()
789 r0 = r1; in mbedtls_mpi_shift_l()
/mbedtls-3.5.0/3rdparty/everest/library/
DHacl_Curve25519.c158 uint64_t r1 = output[1U]; in Hacl_Bignum_Fsquare_fsquare__() local
163 uint64_t d1 = r1 * (uint64_t)2U; in Hacl_Bignum_Fsquare_fsquare__()
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__()
/mbedtls-3.5.0/3rdparty/everest/library/legacy/
DHacl_Curve25519.c173 uint64_t r1 = output[1U]; in Hacl_Bignum_Fsquare_fsquare__() local
178 uint64_t d1 = r1 * (uint64_t)2U; in Hacl_Bignum_Fsquare_fsquare__()
185 FStar_UInt128_mul_wide(d4, r1)), in Hacl_Bignum_Fsquare_fsquare__()
189 FStar_UInt128_add(FStar_UInt128_add(FStar_UInt128_mul_wide(d0, r1), in Hacl_Bignum_Fsquare_fsquare__()
195 FStar_UInt128_mul_wide(r1, r1)), in Hacl_Bignum_Fsquare_fsquare__()