Searched refs:r0 (Results 1 – 6 of 6) sorted by relevance
| /mbedtls-latest/library/ |
| D | bn_mul.h | 1033 mbedtls_mpi_uint r0, r1;
1037 r0 = (mbedtls_mpi_uint) r; \
1039 r0 += c; r1 += (r0 < c); \
1040 r0 += *d; r1 += (r0 < *d); \
1041 c = r1; *(d++) = r0;
1051 mbedtls_mpi_uint r0, r1, rx, ry; \
1058 rx = s0 * b1; r0 = s0 * b0; \
1063 r0 += rx; r1 += (r0 < rx); \
1064 r0 += ry; r1 += (r0 < ry); \
1065 r0 += c; r1 += (r0 < c); \
[all …]
|
| D | poly1305.c | 71 uint32_t r0, r1, r2, r3; in poly1305_process() local
76 r0 = ctx->r[0]; in poly1305_process()
111 d0 = mul64(acc0, r0) + in poly1305_process()
116 mul64(acc1, r0) + in poly1305_process()
122 mul64(acc2, r0) + in poly1305_process()
128 mul64(acc3, r0) + in poly1305_process()
130 acc4 *= r0; in poly1305_process()
|
| D | bignum_core.c | 334 mbedtls_mpi_uint r0 = 0, r1; in mbedtls_mpi_core_shift_r() local
364 X[i - 1] |= r0; in mbedtls_mpi_core_shift_r()
365 r0 = r1; in mbedtls_mpi_core_shift_r()
374 mbedtls_mpi_uint r0 = 0, r1; in mbedtls_mpi_core_shift_l() local
399 X[i] |= r0; in mbedtls_mpi_core_shift_l()
400 r0 = r1; in mbedtls_mpi_core_shift_l()
|
| D | bignum.c | 1300 mbedtls_mpi_uint d0, d1, q0, q1, rAX, r0, quotient; in mbedtls_int_div_int()
1356 r0 = u1 - d1 * q1; in mbedtls_int_div_int()
1358 while (q1 >= radix || (q1 * d0 > radix * r0 + u0_msw)) { in mbedtls_int_div_int()
1360 r0 += d1; in mbedtls_int_div_int()
1362 if (r0 >= radix) { in mbedtls_int_div_int()
1369 r0 = rAX - q0 * d1; in mbedtls_int_div_int()
1371 while (q0 >= radix || (q0 * d0 > radix * r0 + u0_lsw)) { in mbedtls_int_div_int()
1373 r0 += d1; in mbedtls_int_div_int()
1375 if (r0 >= radix) { in mbedtls_int_div_int()
|
| /mbedtls-latest/3rdparty/everest/library/ |
| D | Hacl_Curve25519.c | 71 uint64_t r0 = (uint64_t)tctr & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fproduct_carry_wide_() local
73 tmp[ctr] = (uint128_t)r0; in Hacl_Bignum_Fproduct_carry_wide_()
157 uint64_t r0 = output[0U]; in Hacl_Bignum_Fsquare_fsquare__() local
162 uint64_t d0 = r0 * (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__()
|
| /mbedtls-latest/3rdparty/everest/library/legacy/ |
| D | Hacl_Curve25519.c | 79 uint64_t r0 = FStar_UInt128_uint128_to_uint64(tctr) & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fproduct_carry_wide_() local
81 tmp[ctr] = FStar_UInt128_uint64_to_uint128(r0); in Hacl_Bignum_Fproduct_carry_wide_()
172 uint64_t r0 = output[0U]; in Hacl_Bignum_Fsquare_fsquare__() local
177 uint64_t d0 = r0 * (uint64_t)2U; in Hacl_Bignum_Fsquare_fsquare__()
184 FStar_UInt128_add(FStar_UInt128_add(FStar_UInt128_mul_wide(r0, r0), in Hacl_Bignum_Fsquare_fsquare__()
|
