Lines Matching refs:m
14 const mbedtls_mpi_mod_modulus *m,
32 /* mbedtls_mpi_mod_residue_setup() checks limbs, and that value < m */
33 return mbedtls_mpi_mod_residue_setup(r, m, p, limbs);
47 mbedtls_mpi_mod_modulus m;
52 mbedtls_mpi_mod_modulus_init(&m);
56 ret = mbedtls_mpi_mod_modulus_setup(&m, mp, MLIMBS);
59 ret = mbedtls_mpi_mod_optred_modulus_setup(&m, mp, MLIMBS, NULL);
71 TEST_ASSERT(m.rep.mont.rr != NULL);
72 TEST_ASSERT(m.rep.mont.mm != 0);
77 mbedtls_mpi_mod_modulus_free(&m);
80 TEST_ASSERT(m.p != mp);
85 TEST_ASSERT(m.rep.mont.rr == NULL);
86 TEST_ASSERT(m.rep.mont.mm == 0);
90 mbedtls_mpi_mod_modulus_free(&m);
109 mbedtls_mpi_mod_modulus m;
110 mbedtls_mpi_mod_modulus_init(&m);
112 TEST_EQUAL(mbedtls_test_read_mpi_modulus(&m, input_N,
115 TEST_EQUAL(test_read_residue(&rA, &m, input_A, 0), 0);
116 TEST_EQUAL(test_read_residue(&rB, &m, input_B, 0), 0);
117 TEST_EQUAL(test_read_residue(&rR, &m, result, 0), 0);
119 const size_t limbs = m.limbs;
128 TEST_EQUAL(mbedtls_mpi_mod_residue_setup(&rX, &m, X, limbs), 0);
130 TEST_EQUAL(mbedtls_mpi_mod_mul(&rX, &rA, &rB, &m), 0);
135 TEST_EQUAL(mbedtls_mpi_mod_mul(&rX, &rX, &rB, &m), 0);
140 TEST_EQUAL(mbedtls_mpi_mod_mul(&rX, &rA, &rX, &m), 0);
145 TEST_EQUAL(mbedtls_mpi_mod_mul(&rX, &rA, &rA, &m), 0);
150 TEST_EQUAL(mbedtls_mpi_mod_mul(&rX, &rX, &rX, &m), 0);
155 TEST_EQUAL(mbedtls_mpi_mod_mul(&rX, &rB, &rA, &m), 0);
160 TEST_EQUAL(mbedtls_mpi_mod_mul(&rX, &rB, &rX, &m), 0);
165 TEST_EQUAL(mbedtls_mpi_mod_mul(&rX, &rX, &rA, &m), 0);
174 mbedtls_free((mbedtls_mpi_uint *) m.p);
176 mbedtls_mpi_mod_modulus_free(&m);
194 mbedtls_mpi_mod_modulus m;
195 mbedtls_mpi_mod_modulus_init(&m);
200 TEST_EQUAL(mbedtls_test_read_mpi_modulus(&m, input_N,
203 TEST_EQUAL(test_read_residue(&rA, &m, input_A, 1), 0);
204 TEST_EQUAL(test_read_residue(&rB, &m, input_B, 1), 0);
205 TEST_EQUAL(test_read_residue(&rR, &m, result, 1), 0);
207 const size_t limbs = m.limbs;
211 TEST_EQUAL(mbedtls_mpi_mod_residue_setup(&rX, &m, X, limbs), 0);
214 TEST_EQUAL(mbedtls_mpi_mod_mul(&rX, &rA, &rB, &m), exp_ret);
216 /* Check when m is not initialized */
225 mbedtls_free((mbedtls_mpi_uint *) m.p);
227 mbedtls_mpi_mod_modulus_free(&m);
243 mbedtls_mpi_mod_modulus m;
244 mbedtls_mpi_mod_modulus_init(&m);
247 mbedtls_test_read_mpi_modulus(&m, input_N,
253 TEST_EQUAL(0, test_read_residue(&a, &m, input_A, expected_ret != 0));
254 TEST_EQUAL(0, test_read_residue(&b, &m, input_B, expected_ret != 0));
255 TEST_EQUAL(0, test_read_residue(&d, &m, input_D, expected_ret != 0));
257 size_t limbs = m.limbs;
267 mbedtls_mpi_mod_sub(&x, &a, &b, &m));
279 mbedtls_mpi_mod_sub(&x, &a, &b, &m));
291 TEST_EQUAL(0, mbedtls_mpi_mod_residue_setup(&x, &m, X_raw, limbs));
294 TEST_EQUAL(expected_ret, mbedtls_mpi_mod_sub(&x, &a, &b, &m));
303 TEST_EQUAL(0, mbedtls_mpi_mod_sub(&x, &x, &b, &m));
308 TEST_EQUAL(0, mbedtls_mpi_mod_sub(&x, &a, &x, &m));
315 TEST_EQUAL(0, mbedtls_mpi_mod_sub(&x, &a, &a, &m));
320 TEST_EQUAL(0, mbedtls_mpi_mod_sub(&x, &x, &x, &m));
325 mbedtls_free((void *) m.p); /* mbedtls_mpi_mod_modulus_free() sets m.p = NULL */
326 mbedtls_mpi_mod_modulus_free(&m);
446 mbedtls_mpi_mod_modulus m;
447 mbedtls_mpi_mod_modulus_init(&m);
450 mbedtls_test_read_mpi_modulus(&m, input_N,
456 TEST_EQUAL(0, test_read_residue(&a, &m, input_A, expected_ret != 0));
457 TEST_EQUAL(0, test_read_residue(&b, &m, input_B, expected_ret != 0));
458 TEST_EQUAL(0, test_read_residue(&s, &m, input_S, expected_ret != 0));
460 size_t limbs = m.limbs;
470 mbedtls_mpi_mod_add(&x, &a, &b, &m));
482 mbedtls_mpi_mod_add(&x, &a, &b, &m));
495 TEST_EQUAL(0, mbedtls_mpi_mod_residue_setup(&x, &m, X_raw, limbs));
498 TEST_EQUAL(expected_ret, mbedtls_mpi_mod_add(&x, &a, &b, &m));
507 TEST_EQUAL(0, mbedtls_mpi_mod_add(&x, &x, &b, &m));
512 TEST_EQUAL(0, mbedtls_mpi_mod_add(&x, &a, &x, &m));
519 TEST_EQUAL(0, mbedtls_mpi_mod_add(&x, &a, &a, &m));
524 TEST_EQUAL(0, mbedtls_mpi_mod_add(&x, &x, &x, &m));
529 mbedtls_free((void *) m.p); /* mbedtls_mpi_mod_modulus_free() sets m.p = NULL */
530 mbedtls_mpi_mod_modulus_free(&m);
545 mbedtls_mpi_mod_modulus m;
548 mbedtls_mpi_mod_modulus_init(&m);
554 TEST_EQUAL(0, mbedtls_mpi_mod_modulus_setup(&m, N, n_limbs));
556 TEST_EQUAL(ret, mbedtls_mpi_mod_residue_setup(&r, &m, R, r_limbs));
564 mbedtls_mpi_mod_modulus_free(&m);
576 mbedtls_mpi_mod_modulus m;
580 mbedtls_mpi_mod_modulus_init(&m);
587 /* modulus->p == NULL || residue->p == NULL ( m has not been set-up ) */
589 mbedtls_mpi_mod_read(&r, &m, buf->x, buf->len, endian));
592 mbedtls_mpi_mod_write(&r, &m, buf->x, buf->len, endian));
595 TEST_EQUAL(0, mbedtls_mpi_mod_modulus_setup(&m, N, n_limbs));
598 mbedtls_mpi_mod_read(&r, &m, buf->x, buf->len, endian));
600 mbedtls_mpi_mod_write(&r, &m, buf->x, buf->len, endian));
603 TEST_EQUAL(0, mbedtls_mpi_mod_residue_setup(&r, &m, R, r_limbs));
605 /* Fail for r_limbs < m->limbs */
607 TEST_ASSERT(r.limbs < m.limbs);
609 mbedtls_mpi_mod_read(&r, &m, buf->x, buf->len, endian));
611 mbedtls_mpi_mod_write(&r, &m, buf->x, buf->len, endian));
614 /* Fail for r_limbs > m->limbs */
615 m.limbs--;
616 TEST_ASSERT(r.limbs > m.limbs);
618 mbedtls_mpi_mod_read(&r, &m, buf->x, buf->len, endian));
620 mbedtls_mpi_mod_write(&r, &m, buf->x, buf->len, endian));
621 m.limbs++;
624 TEST_EQUAL(ret, mbedtls_mpi_mod_read(&r, &m, buf->x, buf->len, endian));
629 mbedtls_mpi_mod_write(&r, &m, buf->x, 1, endian));
634 mbedtls_mpi_mod_modulus_free(&m);
648 mbedtls_mpi_mod_modulus m;
653 mbedtls_mpi_mod_modulus_init(&m);
668 TEST_EQUAL(0, mbedtls_mpi_mod_modulus_setup(&m, N, n_limbs));
670 /* Enforcing p_limbs >= m->limbs */
671 TEST_EQUAL(0, mbedtls_mpi_mod_residue_setup(&r, &m, R, n_limbs));
673 TEST_EQUAL(0, mbedtls_mpi_mod_read(&r, &m, input_A->x, input_A->len,
677 TEST_EQUAL(0, mbedtls_mpi_mod_residue_setup(&r_copy, &m,
679 TEST_EQUAL(0, mbedtls_mpi_mod_read(&r_copy, &m, input_A->x, input_A->len,
702 TEST_EQUAL(0, mbedtls_mpi_mod_write(&r, &m, obuf, obuf_sizes[i], endian));
735 mbedtls_mpi_mod_modulus_free(&m);