Home
last modified time | relevance | path

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

/mbedtls-development/library/
A Dbn_mul.h933 mbedtls_mpi_uint r0, r1;
939 r0 += c; r1 += (r0 < c); \
940 r0 += *d; r1 += (r0 < *d); \
941 c = r1; *(d++) = r0;
958 ry = s1 * b0; r1 = s1 * b1; \
959 r1 += ( rx >> biH ); \
960 r1 += ( ry >> biH ); \
962 r0 += rx; r1 += (r0 < rx); \
963 r0 += ry; r1 += (r0 < ry); \
964 r0 += c; r1 += (r0 < c); \
[all …]
A Dpoly1305.c101 uint32_t r0, r1, r2, r3; in poly1305_process() local
107 r1 = ctx->r[1]; in poly1305_process()
111 rs1 = r1 + ( r1 >> 2U ); in poly1305_process()
146 d1 = mul64( acc0, r1 ) + in poly1305_process()
152 mul64( acc1, r1 ) + in poly1305_process()
158 mul64( acc2, r1 ) + in poly1305_process()
A Dbignum.c1094 mbedtls_mpi_uint r0 = 0, r1; in mbedtls_mpi_shift_l() local
1126 r1 = X->p[i] >> (biL - t1); in mbedtls_mpi_shift_l()
1129 r0 = r1; in mbedtls_mpi_shift_l()
1144 mbedtls_mpi_uint r0 = 0, r1; in mbedtls_mpi_shift_r() local
1172 r1 = X->p[i - 1] << (biL - v1); in mbedtls_mpi_shift_r()
1175 r0 = r1; in mbedtls_mpi_shift_r()
/mbedtls-development/3rdparty/everest/library/
A 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-development/3rdparty/everest/library/legacy/
A 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__()

Completed in 26 milliseconds