Searched refs:r0 (Results 1 – 5 of 5) sorted by relevance
| /mbedtls-development/library/ |
| A D | bn_mul.h | 933 mbedtls_mpi_uint r0, r1;
937 r0 = (mbedtls_mpi_uint) r; \
939 r0 += c; r1 += (r0 < c); \
940 r0 += *d; r1 += (r0 < *d); \
941 c = r1; *(d++) = r0;
957 rx = s0 * b1; r0 = s0 * b0; \
962 r0 += rx; r1 += (r0 < rx); \
963 r0 += ry; r1 += (r0 < ry); \
964 r0 += c; r1 += (r0 < c); \
965 r0 += *d; r1 += (r0 < *d); \
[all …]
|
| A D | poly1305.c | 101 uint32_t r0, r1, r2, r3; in poly1305_process() local
106 r0 = ctx->r[0]; in poly1305_process()
142 d0 = mul64( acc0, r0 ) + in poly1305_process()
147 mul64( acc1, r0 ) + in poly1305_process()
153 mul64( acc2, r0 ) + in poly1305_process()
159 mul64( acc3, r0 ) + in poly1305_process()
161 acc4 *= r0; in poly1305_process()
|
| A D | bignum.c | 1094 mbedtls_mpi_uint r0 = 0, r1; in mbedtls_mpi_shift_l() local
1128 X->p[i] |= r0; 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
1174 X->p[i - 1] |= r0; in mbedtls_mpi_shift_r()
1175 r0 = r1; in mbedtls_mpi_shift_r()
1864 r0 = u1 - d1 * q1; in mbedtls_int_div_int()
1869 r0 += d1; in mbedtls_int_div_int()
1871 if ( r0 >= radix ) break; in mbedtls_int_div_int()
1876 r0 = rAX - q0 * d1; in mbedtls_int_div_int()
[all …]
|
| /mbedtls-development/3rdparty/everest/library/ |
| A 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-development/3rdparty/everest/library/legacy/ |
| A 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__()
|
Completed in 15 milliseconds