Lines Matching refs:X
16 static int sign_is_valid(const mbedtls_mpi *X)
19 if (X->s != 1 && X->s != -1) {
29 mbedtls_mpi_bitlen(X) == 0 && X->s != 1) {
105 mbedtls_mpi X, Y, Z;
107 mbedtls_mpi_init(&X);
111 TEST_ASSERT(mbedtls_mpi_get_bit(&X, 42) == 0);
112 TEST_ASSERT(mbedtls_mpi_lsb(&X) == 0);
113 TEST_ASSERT(mbedtls_mpi_bitlen(&X) == 0);
114 TEST_ASSERT(mbedtls_mpi_size(&X) == 0);
117 mbedtls_mpi_free(&X);
126 mbedtls_mpi X;
130 mbedtls_mpi_init(&X);
134 TEST_ASSERT(mbedtls_mpi_read_string(&X, radix_X, input_X) == result_read);
136 TEST_ASSERT(sign_is_valid(&X));
137 TEST_ASSERT(mbedtls_mpi_write_string(&X, radix_A, str, output_size, &len) == result_write);
145 mbedtls_mpi_free(&X);
152 mbedtls_mpi X;
155 mbedtls_mpi_init(&X);
159 TEST_EQUAL(mbedtls_mpi_read_binary(&X, NULL, 0), 0);
160 TEST_EQUAL(mbedtls_mpi_read_binary_le(&X, NULL, 0), 0);
161 TEST_EQUAL(mbedtls_mpi_write_string(&X, 16, NULL, 0, &olen), MBEDTLS_ERR_MPI_BUFFER_TOO_SMALL);
162 TEST_EQUAL(mbedtls_mpi_write_binary(&X, NULL, 0), 0);
165 mbedtls_mpi_free(&X);
172 mbedtls_mpi X;
176 mbedtls_mpi_init(&X);
179 TEST_ASSERT(mbedtls_mpi_read_binary(&X, buf->x, buf->len) == 0);
180 TEST_ASSERT(sign_is_valid(&X));
181 TEST_ASSERT(mbedtls_mpi_write_string(&X, 16, str, sizeof(str), &len) == 0);
185 mbedtls_mpi_free(&X);
192 mbedtls_mpi X;
196 mbedtls_mpi_init(&X);
199 TEST_ASSERT(mbedtls_mpi_read_binary_le(&X, buf->x, buf->len) == 0);
200 TEST_ASSERT(sign_is_valid(&X));
201 TEST_ASSERT(mbedtls_mpi_write_string(&X, 16, str, sizeof(str), &len) == 0);
205 mbedtls_mpi_free(&X);
213 mbedtls_mpi X;
219 mbedtls_mpi_init(&X);
221 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
223 buflen = mbedtls_mpi_size(&X);
228 TEST_ASSERT(mbedtls_mpi_write_binary(&X, buf, buflen) == result);
236 mbedtls_mpi_free(&X);
244 mbedtls_mpi X;
250 mbedtls_mpi_init(&X);
252 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
254 buflen = mbedtls_mpi_size(&X);
259 TEST_ASSERT(mbedtls_mpi_write_binary_le(&X, buf, buflen) == result);
267 mbedtls_mpi_free(&X);
274 mbedtls_mpi X;
282 mbedtls_mpi_init(&X);
286 ret = mbedtls_mpi_read_file(&X, 16, file);
291 TEST_ASSERT(sign_is_valid(&X));
292 buflen = mbedtls_mpi_size(&X);
293 TEST_ASSERT(mbedtls_mpi_write_binary(&X, buf, buflen) == 0);
301 mbedtls_mpi_free(&X);
308 mbedtls_mpi X, Y;
312 mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y);
314 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
318 ret = mbedtls_mpi_write_file(NULL, &X, 16, file_out);
328 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &Y) == 0);
331 mbedtls_mpi_free(&X); mbedtls_mpi_free(&Y);
338 mbedtls_mpi X;
339 mbedtls_mpi_init(&X);
340 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
341 TEST_ASSERT(mbedtls_mpi_get_bit(&X, pos) == val);
344 mbedtls_mpi_free(&X);
352 mbedtls_mpi X, Y;
353 mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y);
355 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
357 TEST_ASSERT(mbedtls_mpi_set_bit(&X, pos, val) == result);
360 TEST_ASSERT(sign_is_valid(&X));
361 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &Y) == 0);
365 mbedtls_mpi_free(&X); mbedtls_mpi_free(&Y);
372 mbedtls_mpi X;
373 mbedtls_mpi_init(&X);
375 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
376 TEST_ASSERT(mbedtls_mpi_lsb(&X) == (size_t) nr_bits);
379 mbedtls_mpi_free(&X);
386 mbedtls_mpi X;
387 mbedtls_mpi_init(&X);
389 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
390 TEST_ASSERT(mbedtls_mpi_bitlen(&X) == (size_t) nr_bits);
393 mbedtls_mpi_free(&X);
401 mbedtls_mpi A, X, Y, Z;
402 mbedtls_mpi_init(&A); mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y); mbedtls_mpi_init(&Z);
404 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
407 TEST_ASSERT(mbedtls_mpi_gcd(&Z, &X, &Y) == 0);
412 mbedtls_mpi_free(&A); mbedtls_mpi_free(&X); mbedtls_mpi_free(&Y); mbedtls_mpi_free(&Z);
419 mbedtls_mpi X;
420 mbedtls_mpi_init(&X);
422 TEST_ASSERT(mbedtls_mpi_lset(&X, input_X) == 0);
423 TEST_ASSERT(mbedtls_mpi_cmp_int(&X, input_A) == result_CMP);
426 mbedtls_mpi_free(&X);
434 mbedtls_mpi X, Y;
435 mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y);
437 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
439 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &Y) == input_A);
442 mbedtls_mpi_free(&X); mbedtls_mpi_free(&Y);
453 mbedtls_mpi X, Y;
454 mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y);
456 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
459 TEST_ASSERT(mbedtls_mpi_grow(&X, size_X) == 0);
462 TEST_ASSERT(mbedtls_mpi_lt_mpi_ct(&X, &Y, &ret) == input_err);
468 mbedtls_mpi_free(&X); mbedtls_mpi_free(&Y);
476 mbedtls_mpi X, Y;
477 mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y);
479 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
481 TEST_ASSERT(mbedtls_mpi_cmp_abs(&X, &Y) == input_A);
484 mbedtls_mpi_free(&X); mbedtls_mpi_free(&Y);
529 mbedtls_mpi X, A;
531 mbedtls_mpi_init(&X);
533 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
534 TEST_ASSERT(mbedtls_mpi_copy(&X, &X) == 0);
537 TEST_ASSERT(sign_is_valid(&X));
538 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &A) == 0);
542 mbedtls_mpi_free(&X);
549 mbedtls_mpi X, Y, X0, Y0;
550 mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y);
557 TEST_ASSERT(mbedtls_test_read_mpi(&X, X_hex) == 0);
559 mbedtls_mpi_swap(&X, &Y);
560 TEST_ASSERT(sign_is_valid(&X));
562 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &Y0) == 0);
566 mbedtls_mpi_free(&X);
568 TEST_ASSERT(mbedtls_test_read_mpi(&X, X_hex) == 0);
570 TEST_ASSERT(mbedtls_mpi_safe_cond_swap(&X, &Y, 1) == 0);
571 TEST_ASSERT(sign_is_valid(&X));
573 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &Y0) == 0);
577 mbedtls_mpi_free(&X);
579 TEST_ASSERT(mbedtls_test_read_mpi(&X, X_hex) == 0);
581 TEST_ASSERT(mbedtls_mpi_safe_cond_swap(&X, &Y, 0) == 0);
582 TEST_ASSERT(sign_is_valid(&X));
584 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &X0) == 0);
588 mbedtls_mpi_free(&X); mbedtls_mpi_free(&Y);
596 mbedtls_mpi X, X0;
597 mbedtls_mpi_init(&X); mbedtls_mpi_init(&X0);
599 TEST_ASSERT(mbedtls_test_read_mpi(&X, X_hex) == 0);
602 mbedtls_mpi_swap(&X, &X);
603 TEST_ASSERT(sign_is_valid(&X));
604 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &X0) == 0);
607 mbedtls_mpi_free(&X); mbedtls_mpi_free(&X0);
614 mbedtls_mpi X;
615 mbedtls_mpi_init(&X);
617 TEST_ASSERT(mbedtls_mpi_grow(&X, before) == 0);
620 TEST_ASSERT(mbedtls_mpi_set_bit(&X, used_bit_count - 1, 1) == 0);
622 TEST_EQUAL(X.n, (size_t) before);
623 TEST_ASSERT(mbedtls_mpi_shrink(&X, min) == 0);
624 TEST_EQUAL(X.n, (size_t) after);
627 mbedtls_mpi_free(&X);
635 mbedtls_mpi X, Y, Z, A;
636 mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&A);
638 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
641 TEST_ASSERT(mbedtls_mpi_add_mpi(&Z, &X, &Y) == 0);
646 TEST_ASSERT(mbedtls_mpi_add_mpi(&X, &X, &Y) == 0);
647 TEST_ASSERT(sign_is_valid(&X));
648 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &A) == 0);
649 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
652 TEST_ASSERT(mbedtls_mpi_add_mpi(&Y, &X, &Y) == 0);
657 mbedtls_mpi_free(&X); mbedtls_mpi_free(&Y); mbedtls_mpi_free(&Z); mbedtls_mpi_free(&A);
664 mbedtls_mpi X, A;
665 mbedtls_mpi_init(&X); mbedtls_mpi_init(&A);
669 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
670 TEST_ASSERT(mbedtls_mpi_sub_abs(&X, &X, &X) == 0);
671 TEST_ASSERT(mbedtls_mpi_cmp_int(&X, 0) == 0);
672 TEST_ASSERT(sign_is_valid(&X));
674 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
675 TEST_ASSERT(mbedtls_mpi_add_abs(&X, &X, &X) == 0);
676 TEST_ASSERT(sign_is_valid(&X));
677 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &A) == 0);
679 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
680 TEST_ASSERT(mbedtls_mpi_add_mpi(&X, &X, &X) == 0);
681 TEST_ASSERT(sign_is_valid(&X));
682 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &A) == 0);
685 mbedtls_mpi_free(&X); mbedtls_mpi_free(&A);
694 mbedtls_mpi X, Y, Z, A;
695 mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&A);
697 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
700 TEST_ASSERT(mbedtls_mpi_add_abs(&Z, &X, &Y) == 0);
705 TEST_ASSERT(mbedtls_mpi_add_abs(&X, &X, &Y) == 0);
706 TEST_ASSERT(sign_is_valid(&X));
707 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &A) == 0);
708 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
711 TEST_ASSERT(mbedtls_mpi_add_abs(&Y, &X, &Y) == 0);
716 mbedtls_mpi_free(&X); mbedtls_mpi_free(&Y); mbedtls_mpi_free(&Z); mbedtls_mpi_free(&A);
724 mbedtls_mpi X, Z, A;
725 mbedtls_mpi_init(&X); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&A);
727 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
729 TEST_ASSERT(mbedtls_mpi_add_int(&Z, &X, input_Y) == 0);
734 mbedtls_mpi_free(&X); mbedtls_mpi_free(&Z); mbedtls_mpi_free(&A);
742 mbedtls_mpi X, Y, Z, A;
743 mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&A);
745 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
748 TEST_ASSERT(mbedtls_mpi_sub_mpi(&Z, &X, &Y) == 0);
753 TEST_ASSERT(mbedtls_mpi_sub_mpi(&X, &X, &Y) == 0);
754 TEST_ASSERT(sign_is_valid(&X));
755 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &A) == 0);
756 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
759 TEST_ASSERT(mbedtls_mpi_sub_mpi(&Y, &X, &Y) == 0);
764 mbedtls_mpi_free(&X); mbedtls_mpi_free(&Y); mbedtls_mpi_free(&Z); mbedtls_mpi_free(&A);
772 mbedtls_mpi X, Y, Z, A;
774 mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&A);
776 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
780 res = mbedtls_mpi_sub_abs(&Z, &X, &Y);
788 TEST_ASSERT(mbedtls_mpi_sub_abs(&X, &X, &Y) == sub_result);
789 TEST_ASSERT(sign_is_valid(&X));
791 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &A) == 0);
793 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
796 TEST_ASSERT(mbedtls_mpi_sub_abs(&Y, &X, &Y) == sub_result);
803 mbedtls_mpi_free(&X); mbedtls_mpi_free(&Y); mbedtls_mpi_free(&Z); mbedtls_mpi_free(&A);
811 mbedtls_mpi X, Z, A;
812 mbedtls_mpi_init(&X); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&A);
814 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
816 TEST_ASSERT(mbedtls_mpi_sub_int(&Z, &X, input_Y) == 0);
821 mbedtls_mpi_free(&X); mbedtls_mpi_free(&Z); mbedtls_mpi_free(&A);
829 mbedtls_mpi X, Y, Z, A;
830 mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&A);
832 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
835 TEST_ASSERT(mbedtls_mpi_mul_mpi(&Z, &X, &Y) == 0);
840 mbedtls_mpi_free(&X); mbedtls_mpi_free(&Y); mbedtls_mpi_free(&Z); mbedtls_mpi_free(&A);
848 mbedtls_mpi X, Z, A;
849 mbedtls_mpi_init(&X); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&A);
851 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
853 TEST_ASSERT(mbedtls_mpi_mul_int(&Z, &X, input_Y) == 0);
864 mbedtls_mpi_free(&X); mbedtls_mpi_free(&Z); mbedtls_mpi_free(&A);
873 mbedtls_mpi X, Y, Q, R, A, B;
875 mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y); mbedtls_mpi_init(&Q); mbedtls_mpi_init(&R);
878 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
882 res = mbedtls_mpi_div_mpi(&Q, &R, &X, &Y);
892 mbedtls_mpi_free(&X); mbedtls_mpi_free(&Y); mbedtls_mpi_free(&Q); mbedtls_mpi_free(&R);
902 mbedtls_mpi X, Q, R, A, B;
904 mbedtls_mpi_init(&X); mbedtls_mpi_init(&Q); mbedtls_mpi_init(&R); mbedtls_mpi_init(&A);
907 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
910 res = mbedtls_mpi_div_int(&Q, &R, &X, input_Y);
920 mbedtls_mpi_free(&X); mbedtls_mpi_free(&Q); mbedtls_mpi_free(&R); mbedtls_mpi_free(&A);
929 mbedtls_mpi X, Y, A;
931 mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y); mbedtls_mpi_init(&A);
933 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
936 res = mbedtls_mpi_mod_mpi(&X, &X, &Y);
939 TEST_ASSERT(sign_is_valid(&X));
940 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &A) == 0);
944 mbedtls_mpi_free(&X); mbedtls_mpi_free(&Y); mbedtls_mpi_free(&A);
952 mbedtls_mpi X;
956 mbedtls_mpi_init(&X);
958 TEST_EQUAL(mbedtls_test_read_mpi(&X, input_X), 0);
960 res = mbedtls_mpi_mod_int(&r, &X, y);
967 mbedtls_mpi_free(&X);
976 mbedtls_mpi A, E, N, RR, Z, X;
979 mbedtls_mpi_init(&RR); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&X);
984 TEST_EQUAL(mbedtls_test_read_mpi(&X, input_X), 0);
1001 TEST_EQUAL(mbedtls_mpi_cmp_mpi(&Z, &X), 0);
1006 mbedtls_mpi_free(&RR); mbedtls_mpi_free(&Z); mbedtls_mpi_free(&X);
1015 mbedtls_mpi A, E, N, RR, Z, X;
1018 mbedtls_mpi_init(&RR); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&X);
1023 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
1029 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Z, &X) == 0);
1037 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Z, &X) == 0);
1045 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&Z, &X) == 0);
1050 mbedtls_mpi_free(&RR); mbedtls_mpi_free(&Z); mbedtls_mpi_free(&X);
1093 mbedtls_mpi X, Y, Z, A;
1095 mbedtls_mpi_init(&X); mbedtls_mpi_init(&Y); mbedtls_mpi_init(&Z); mbedtls_mpi_init(&A);
1097 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
1100 res = mbedtls_mpi_inv_mod(&Z, &X, &Y);
1108 mbedtls_mpi_free(&X); mbedtls_mpi_free(&Y); mbedtls_mpi_free(&Z); mbedtls_mpi_free(&A);
1115 mbedtls_mpi X;
1117 mbedtls_mpi_init(&X);
1119 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
1120 res = mbedtls_mpi_is_prime_ext(&X, 40, mbedtls_test_rnd_std_rand, NULL);
1124 mbedtls_mpi_free(&X);
1132 mbedtls_mpi X;
1136 mbedtls_mpi_init(&X);
1141 TEST_ASSERT(mbedtls_mpi_read_binary(&X, input_X->x, input_X->len) == 0);
1142 res = mbedtls_mpi_is_prime_ext(&X, rounds - 1,
1151 res = mbedtls_mpi_is_prime_ext(&X, rounds,
1157 mbedtls_mpi_free(&X);
1164 mbedtls_mpi X;
1167 mbedtls_mpi_init(&X);
1169 my_ret = mbedtls_mpi_gen_prime(&X, bits, flags,
1174 size_t actual_bits = mbedtls_mpi_bitlen(&X);
1178 TEST_ASSERT(sign_is_valid(&X));
1180 TEST_ASSERT(mbedtls_mpi_is_prime_ext(&X, 40,
1184 /* X = ( X - 1 ) / 2 */
1185 TEST_ASSERT(mbedtls_mpi_shift_r(&X, 1) == 0);
1186 TEST_ASSERT(mbedtls_mpi_is_prime_ext(&X, 40,
1193 mbedtls_mpi_free(&X);
1201 mbedtls_mpi X, A;
1202 mbedtls_mpi_init(&X); mbedtls_mpi_init(&A);
1204 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
1206 TEST_ASSERT(mbedtls_mpi_shift_l(&X, shift_X) == 0);
1207 TEST_ASSERT(sign_is_valid(&X));
1208 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &A) == 0);
1211 mbedtls_mpi_free(&X); mbedtls_mpi_free(&A);
1219 mbedtls_mpi X, A;
1220 mbedtls_mpi_init(&X); mbedtls_mpi_init(&A);
1222 TEST_ASSERT(mbedtls_test_read_mpi(&X, input_X) == 0);
1224 TEST_ASSERT(mbedtls_mpi_shift_r(&X, shift_X) == 0);
1225 TEST_ASSERT(sign_is_valid(&X));
1226 TEST_ASSERT(mbedtls_mpi_cmp_mpi(&X, &A) == 0);
1229 mbedtls_mpi_free(&X); mbedtls_mpi_free(&A);
1237 mbedtls_mpi X;
1240 mbedtls_mpi_init(&X);
1243 /* Set X to sign(before) * 2^(|before|-1) */
1244 TEST_ASSERT(mbedtls_mpi_lset(&X, before > 0 ? 1 : -1) == 0);
1248 TEST_ASSERT(mbedtls_mpi_shift_l(&X, before - 1) == 0);
1251 ret = mbedtls_mpi_fill_random(&X, wanted_bytes,
1264 TEST_ASSERT(mbedtls_mpi_size(&X) + leading_zeros ==
1267 TEST_ASSERT(sign_is_valid(&X));
1271 mbedtls_mpi_free(&X);
1293 mbedtls_mpi A, R, X;
1296 mbedtls_mpi_init(&X);
1324 TEST_EQUAL(mbedtls_mpi_add_int(&X, &A, most_negative), 0);
1325 TEST_EQUAL(mbedtls_mpi_cmp_int(&X, -1), 0);
1329 TEST_EQUAL(mbedtls_mpi_add_int(&X, &A, most_negative), 0);
1330 TEST_EQUAL(mbedtls_mpi_cmp_int(&X, most_negative), 0);
1334 TEST_EQUAL(mbedtls_mpi_add_int(&X, &A, most_negative), 0);
1335 TEST_EQUAL(X.s, -1);
1336 TEST_EQUAL(X.n, 2);
1337 TEST_EQUAL(X.p[0], 0);
1338 TEST_EQUAL(X.p[1], 1);
1341 mbedtls_mpi_free(&X);
1343 TEST_EQUAL(mbedtls_mpi_sub_int(&X, &A, most_negative), 0);
1344 TEST_EQUAL(X.s, 1);
1345 TEST_EQUAL(X.n, 1);
1346 TEST_EQUAL(X.p[0], ~(mbedtls_mpi_uint) 0);
1350 TEST_EQUAL(mbedtls_mpi_sub_int(&X, &A, most_negative), 0);
1351 TEST_EQUAL(X.s, 1);
1352 TEST_EQUAL(X.n, 1);
1353 TEST_EQUAL(X.p[0], most_positive_plus_1);
1357 TEST_EQUAL(mbedtls_mpi_sub_int(&X, &A, most_negative), 0);
1358 TEST_EQUAL(mbedtls_mpi_cmp_int(&X, 0), 0);
1362 TEST_EQUAL(mbedtls_mpi_div_int(&X, &R, &A, most_negative), 0);
1363 TEST_EQUAL(mbedtls_mpi_cmp_int(&X, 0), 0);
1368 TEST_EQUAL(mbedtls_mpi_div_int(&X, &R, &A, most_negative), 0);
1369 TEST_EQUAL(mbedtls_mpi_cmp_int(&X, 1), 0);
1374 TEST_EQUAL(mbedtls_mpi_div_int(&X, &R, &A, most_negative), 0);
1375 TEST_EQUAL(mbedtls_mpi_cmp_int(&X, 2), 0);
1380 TEST_EQUAL(mbedtls_mpi_div_int(&X, &R, &A, most_negative), 0);
1381 TEST_EQUAL(mbedtls_mpi_cmp_int(&X, 1), 0);
1386 TEST_EQUAL(mbedtls_mpi_div_int(&X, &R, &A, most_negative), 0);
1387 TEST_EQUAL(mbedtls_mpi_cmp_int(&X, 0), 0);
1392 TEST_EQUAL(mbedtls_mpi_div_int(&X, &R, &A, most_negative), 0);
1393 TEST_EQUAL(mbedtls_mpi_cmp_int(&X, -1), 0);
1398 TEST_EQUAL(mbedtls_mpi_div_int(&X, &R, &A, most_negative), 0);
1399 TEST_EQUAL(mbedtls_mpi_cmp_int(&X, -2), 0);
1403 TEST_EQUAL(mbedtls_mpi_mod_int(X.p, &A, most_negative),
1407 TEST_EQUAL(mbedtls_mpi_random(&X, most_negative, &A,
1414 mbedtls_mpi_free(&X);