Lines Matching refs:X
12 static int sign_is_valid( const mbedtls_mpi *X )
14 if( X->s != 1 && X->s != -1 )
16 if( mbedtls_mpi_bitlen( X ) == 0 && X->s != 1 )
133 mbedtls_mpi X, Y, Z;
135 mbedtls_mpi_init( &X );
139 TEST_ASSERT( mbedtls_mpi_get_bit( &X, 42 ) == 0 );
140 TEST_ASSERT( mbedtls_mpi_lsb( &X ) == 0 );
141 TEST_ASSERT( mbedtls_mpi_bitlen( &X ) == 0 );
142 TEST_ASSERT( mbedtls_mpi_size( &X ) == 0 );
145 mbedtls_mpi_free( &X );
154 mbedtls_mpi X;
158 mbedtls_mpi_init( &X );
162 TEST_ASSERT( mbedtls_mpi_read_string( &X, radix_X, input_X ) == result_read );
165 TEST_ASSERT( sign_is_valid( &X ) );
166 … TEST_ASSERT( mbedtls_mpi_write_string( &X, radix_A, str, output_size, &len ) == result_write );
175 mbedtls_mpi_free( &X );
182 mbedtls_mpi X;
186 mbedtls_mpi_init( &X );
189 TEST_ASSERT( mbedtls_mpi_read_binary( &X, buf->x, buf->len ) == 0 );
190 TEST_ASSERT( sign_is_valid( &X ) );
191 TEST_ASSERT( mbedtls_mpi_write_string( &X, radix_A, str, sizeof( str ), &len ) == 0 );
195 mbedtls_mpi_free( &X );
202 mbedtls_mpi X;
206 mbedtls_mpi_init( &X );
209 TEST_ASSERT( mbedtls_mpi_read_binary_le( &X, buf->x, buf->len ) == 0 );
210 TEST_ASSERT( sign_is_valid( &X ) );
211 TEST_ASSERT( mbedtls_mpi_write_string( &X, radix_A, str, sizeof( str ), &len ) == 0 );
215 mbedtls_mpi_free( &X );
224 mbedtls_mpi X;
230 mbedtls_mpi_init( &X );
232 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
234 buflen = mbedtls_mpi_size( &X );
238 TEST_ASSERT( mbedtls_mpi_write_binary( &X, buf, buflen ) == result );
247 mbedtls_mpi_free( &X );
256 mbedtls_mpi X;
262 mbedtls_mpi_init( &X );
264 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
266 buflen = mbedtls_mpi_size( &X );
270 TEST_ASSERT( mbedtls_mpi_write_binary_le( &X, buf, buflen ) == result );
279 mbedtls_mpi_free( &X );
287 mbedtls_mpi X;
295 mbedtls_mpi_init( &X );
299 ret = mbedtls_mpi_read_file( &X, radix_X, file );
305 TEST_ASSERT( sign_is_valid( &X ) );
306 buflen = mbedtls_mpi_size( &X );
307 TEST_ASSERT( mbedtls_mpi_write_binary( &X, buf, buflen ) == 0 );
315 mbedtls_mpi_free( &X );
323 mbedtls_mpi X, Y;
327 mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Y );
329 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
333 ret = mbedtls_mpi_write_file( NULL, &X, output_radix, file_out );
343 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &X, &Y ) == 0 );
346 mbedtls_mpi_free( &X ); mbedtls_mpi_free( &Y );
353 mbedtls_mpi X;
354 mbedtls_mpi_init( &X );
355 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
356 TEST_ASSERT( mbedtls_mpi_get_bit( &X, pos ) == val );
359 mbedtls_mpi_free( &X );
367 mbedtls_mpi X, Y;
368 mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Y );
370 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
372 TEST_ASSERT( mbedtls_mpi_set_bit( &X, pos, val ) == result );
376 TEST_ASSERT( sign_is_valid( &X ) );
377 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &X, &Y ) == 0 );
381 mbedtls_mpi_free( &X ); mbedtls_mpi_free( &Y );
388 mbedtls_mpi X;
389 mbedtls_mpi_init( &X );
391 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
392 TEST_ASSERT( mbedtls_mpi_lsb( &X ) == (size_t) nr_bits );
395 mbedtls_mpi_free( &X );
402 mbedtls_mpi X;
403 mbedtls_mpi_init( &X );
405 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
406 TEST_ASSERT( mbedtls_mpi_bitlen( &X ) == (size_t) nr_bits );
409 mbedtls_mpi_free( &X );
417 mbedtls_mpi A, X, Y, Z;
418 mbedtls_mpi_init( &A ); mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Y ); mbedtls_mpi_init( &Z );
420 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
423 TEST_ASSERT( mbedtls_mpi_gcd( &Z, &X, &Y ) == 0 );
428 mbedtls_mpi_free( &A ); mbedtls_mpi_free( &X ); mbedtls_mpi_free( &Y ); mbedtls_mpi_free( &Z );
435 mbedtls_mpi X;
436 mbedtls_mpi_init( &X );
438 TEST_ASSERT( mbedtls_mpi_lset( &X, input_X ) == 0);
439 TEST_ASSERT( mbedtls_mpi_cmp_int( &X, input_A ) == result_CMP);
442 mbedtls_mpi_free( &X );
450 mbedtls_mpi X, Y;
451 mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Y );
453 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
455 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &X, &Y ) == input_A );
458 mbedtls_mpi_free( &X ); mbedtls_mpi_free( &Y );
469 mbedtls_mpi X, Y;
470 mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Y );
472 TEST_ASSERT( mbedtls_test_read_mpi( &X, 16, input_X ) == 0 );
475 TEST_ASSERT( mbedtls_mpi_grow( &X, size_X ) == 0 );
478 TEST_ASSERT( mbedtls_mpi_lt_mpi_ct( &X, &Y, &ret ) == input_err );
483 mbedtls_mpi_free( &X ); mbedtls_mpi_free( &Y );
491 mbedtls_mpi X, Y;
492 mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Y );
494 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
496 TEST_ASSERT( mbedtls_mpi_cmp_abs( &X, &Y ) == input_A );
499 mbedtls_mpi_free( &X ); mbedtls_mpi_free( &Y );
544 mbedtls_mpi X, A;
546 mbedtls_mpi_init( &X );
548 TEST_ASSERT( mbedtls_test_read_mpi( &X, 16, input_X ) == 0 );
549 TEST_ASSERT( mbedtls_mpi_copy( &X, &X ) == 0 );
552 TEST_ASSERT( sign_is_valid( &X ) );
553 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &X, &A ) == 0 );
557 mbedtls_mpi_free( &X );
564 mbedtls_mpi X, Y, X0, Y0;
565 mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Y );
572 TEST_ASSERT( mbedtls_test_read_mpi( &X, 16, X_hex ) == 0 );
574 mbedtls_mpi_swap( &X, &Y );
575 TEST_ASSERT( sign_is_valid( &X ) );
577 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &X, &Y0 ) == 0 );
581 mbedtls_mpi_free( &X );
583 TEST_ASSERT( mbedtls_test_read_mpi( &X, 16, X_hex ) == 0 );
585 TEST_ASSERT( mbedtls_mpi_safe_cond_swap( &X, &Y, 1 ) == 0 );
586 TEST_ASSERT( sign_is_valid( &X ) );
588 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &X, &Y0 ) == 0 );
592 mbedtls_mpi_free( &X );
594 TEST_ASSERT( mbedtls_test_read_mpi( &X, 16, X_hex ) == 0 );
596 TEST_ASSERT( mbedtls_mpi_safe_cond_swap( &X, &Y, 0 ) == 0 );
597 TEST_ASSERT( sign_is_valid( &X ) );
599 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &X, &X0 ) == 0 );
603 mbedtls_mpi_free( &X ); mbedtls_mpi_free( &Y );
611 mbedtls_mpi X, X0;
612 mbedtls_mpi_init( &X ); mbedtls_mpi_init( &X0 );
614 TEST_ASSERT( mbedtls_test_read_mpi( &X, 16, X_hex ) == 0 );
617 mbedtls_mpi_swap( &X, &X );
618 TEST_ASSERT( sign_is_valid( &X ) );
619 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &X, &X0 ) == 0 );
622 mbedtls_mpi_free( &X ); mbedtls_mpi_free( &X0 );
629 mbedtls_mpi X;
630 mbedtls_mpi_init( &X );
632 TEST_ASSERT( mbedtls_mpi_grow( &X, before ) == 0 );
636 TEST_ASSERT( mbedtls_mpi_set_bit( &X, used_bit_count - 1, 1 ) == 0 );
638 TEST_EQUAL( X.n, (size_t) before );
639 TEST_ASSERT( mbedtls_mpi_shrink( &X, min ) == 0 );
640 TEST_EQUAL( X.n, (size_t) after );
643 mbedtls_mpi_free( &X );
651 mbedtls_mpi X, Y, Z, A;
652 mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Y ); mbedtls_mpi_init( &Z ); mbedtls_mpi_init( &A );
654 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
657 TEST_ASSERT( mbedtls_mpi_add_mpi( &Z, &X, &Y ) == 0 );
662 TEST_ASSERT( mbedtls_mpi_add_mpi( &X, &X, &Y ) == 0 );
663 TEST_ASSERT( sign_is_valid( &X ) );
664 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &X, &A ) == 0 );
665 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
668 TEST_ASSERT( mbedtls_mpi_add_mpi( &Y, &X, &Y ) == 0 );
673 mbedtls_mpi_free( &X ); mbedtls_mpi_free( &Y ); mbedtls_mpi_free( &Z ); mbedtls_mpi_free( &A );
681 mbedtls_mpi X, A;
682 mbedtls_mpi_init( &X ); mbedtls_mpi_init( &A );
686 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
687 TEST_ASSERT( mbedtls_mpi_sub_abs( &X, &X, &X ) == 0 );
688 TEST_ASSERT( mbedtls_mpi_cmp_int( &X, 0 ) == 0 );
689 TEST_ASSERT( sign_is_valid( &X ) );
691 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
692 TEST_ASSERT( mbedtls_mpi_add_abs( &X, &X, &X ) == 0 );
693 TEST_ASSERT( sign_is_valid( &X ) );
694 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &X, &A ) == 0 );
696 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
697 TEST_ASSERT( mbedtls_mpi_add_mpi( &X, &X, &X ) == 0 );
698 TEST_ASSERT( sign_is_valid( &X ) );
699 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &X, &A ) == 0 );
702 mbedtls_mpi_free( &X ); mbedtls_mpi_free( &A );
711 mbedtls_mpi X, Y, Z, A;
712 mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Y ); mbedtls_mpi_init( &Z ); mbedtls_mpi_init( &A );
714 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
717 TEST_ASSERT( mbedtls_mpi_add_abs( &Z, &X, &Y ) == 0 );
722 TEST_ASSERT( mbedtls_mpi_add_abs( &X, &X, &Y ) == 0 );
723 TEST_ASSERT( sign_is_valid( &X ) );
724 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &X, &A ) == 0 );
725 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
728 TEST_ASSERT( mbedtls_mpi_add_abs( &Y, &X, &Y ) == 0 );
733 mbedtls_mpi_free( &X ); mbedtls_mpi_free( &Y ); mbedtls_mpi_free( &Z ); mbedtls_mpi_free( &A );
741 mbedtls_mpi X, Z, A;
742 mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Z ); mbedtls_mpi_init( &A );
744 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
746 TEST_ASSERT( mbedtls_mpi_add_int( &Z, &X, input_Y ) == 0 );
751 mbedtls_mpi_free( &X ); mbedtls_mpi_free( &Z ); mbedtls_mpi_free( &A );
759 mbedtls_mpi X, Y, Z, A;
760 mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Y ); mbedtls_mpi_init( &Z ); mbedtls_mpi_init( &A );
762 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
765 TEST_ASSERT( mbedtls_mpi_sub_mpi( &Z, &X, &Y ) == 0 );
770 TEST_ASSERT( mbedtls_mpi_sub_mpi( &X, &X, &Y ) == 0 );
771 TEST_ASSERT( sign_is_valid( &X ) );
772 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &X, &A ) == 0 );
773 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
776 TEST_ASSERT( mbedtls_mpi_sub_mpi( &Y, &X, &Y ) == 0 );
781 mbedtls_mpi_free( &X ); mbedtls_mpi_free( &Y ); mbedtls_mpi_free( &Z ); mbedtls_mpi_free( &A );
790 mbedtls_mpi X, Y, Z, A;
792 mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Y ); mbedtls_mpi_init( &Z ); mbedtls_mpi_init( &A );
794 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
798 res = mbedtls_mpi_sub_abs( &Z, &X, &Y );
805 TEST_ASSERT( mbedtls_mpi_sub_abs( &X, &X, &Y ) == sub_result );
806 TEST_ASSERT( sign_is_valid( &X ) );
808 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &X, &A ) == 0 );
809 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
812 TEST_ASSERT( mbedtls_mpi_sub_abs( &Y, &X, &Y ) == sub_result );
818 mbedtls_mpi_free( &X ); mbedtls_mpi_free( &Y ); mbedtls_mpi_free( &Z ); mbedtls_mpi_free( &A );
826 mbedtls_mpi X, Z, A;
827 mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Z ); mbedtls_mpi_init( &A );
829 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
831 TEST_ASSERT( mbedtls_mpi_sub_int( &Z, &X, input_Y ) == 0 );
836 mbedtls_mpi_free( &X ); mbedtls_mpi_free( &Z ); mbedtls_mpi_free( &A );
844 mbedtls_mpi X, Y, Z, A;
845 mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Y ); mbedtls_mpi_init( &Z ); mbedtls_mpi_init( &A );
847 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
850 TEST_ASSERT( mbedtls_mpi_mul_mpi( &Z, &X, &Y ) == 0 );
855 mbedtls_mpi_free( &X ); mbedtls_mpi_free( &Y ); mbedtls_mpi_free( &Z ); mbedtls_mpi_free( &A );
864 mbedtls_mpi X, Z, A;
865 mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Z ); mbedtls_mpi_init( &A );
867 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
869 TEST_ASSERT( mbedtls_mpi_mul_int( &Z, &X, input_Y ) == 0 );
879 mbedtls_mpi_free( &X ); mbedtls_mpi_free( &Z ); mbedtls_mpi_free( &A );
888 mbedtls_mpi X, Y, Q, R, A, B;
890 mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Y ); mbedtls_mpi_init( &Q ); mbedtls_mpi_init( &R );
893 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
897 res = mbedtls_mpi_div_mpi( &Q, &R, &X, &Y );
908 mbedtls_mpi_free( &X ); mbedtls_mpi_free( &Y ); mbedtls_mpi_free( &Q ); mbedtls_mpi_free( &R );
918 mbedtls_mpi X, Q, R, A, B;
920 mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Q ); mbedtls_mpi_init( &R ); mbedtls_mpi_init( &A );
923 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
926 res = mbedtls_mpi_div_int( &Q, &R, &X, input_Y );
937 mbedtls_mpi_free( &X ); mbedtls_mpi_free( &Q ); mbedtls_mpi_free( &R ); mbedtls_mpi_free( &A );
947 mbedtls_mpi X, Y, A;
949 mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Y ); mbedtls_mpi_init( &A );
951 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
954 res = mbedtls_mpi_mod_mpi( &X, &X, &Y );
958 TEST_ASSERT( sign_is_valid( &X ) );
959 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &X, &A ) == 0 );
963 mbedtls_mpi_free( &X ); mbedtls_mpi_free( &Y ); mbedtls_mpi_free( &A );
971 mbedtls_mpi X;
974 mbedtls_mpi_init( &X );
976 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
977 res = mbedtls_mpi_mod_int( &r, &X, input_Y );
985 mbedtls_mpi_free( &X );
994 mbedtls_mpi A, E, N, RR, Z, X;
997 mbedtls_mpi_init( &RR ); mbedtls_mpi_init( &Z ); mbedtls_mpi_init( &X );
1002 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
1009 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &Z, &X ) == 0 );
1018 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &Z, &X ) == 0 );
1027 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &Z, &X ) == 0 );
1032 mbedtls_mpi_free( &RR ); mbedtls_mpi_free( &Z ); mbedtls_mpi_free( &X );
1075 mbedtls_mpi X, Y, Z, A;
1077 mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Y ); mbedtls_mpi_init( &Z ); mbedtls_mpi_init( &A );
1079 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
1082 res = mbedtls_mpi_inv_mod( &Z, &X, &Y );
1091 mbedtls_mpi_free( &X ); mbedtls_mpi_free( &Y ); mbedtls_mpi_free( &Z ); mbedtls_mpi_free( &A );
1098 mbedtls_mpi X;
1100 mbedtls_mpi_init( &X );
1102 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
1103 res = mbedtls_mpi_is_prime_ext( &X, 40, mbedtls_test_rnd_std_rand, NULL );
1107 mbedtls_mpi_free( &X );
1115 mbedtls_mpi X;
1119 mbedtls_mpi_init( &X );
1124 TEST_ASSERT( mbedtls_mpi_read_binary( &X, input_X->x, input_X->len ) == 0 );
1125 res = mbedtls_mpi_is_prime_ext( &X, rounds - 1,
1134 res = mbedtls_mpi_is_prime_ext( &X, rounds,
1140 mbedtls_mpi_free( &X );
1147 mbedtls_mpi X;
1150 mbedtls_mpi_init( &X );
1152 my_ret = mbedtls_mpi_gen_prime( &X, bits, flags,
1158 size_t actual_bits = mbedtls_mpi_bitlen( &X );
1162 TEST_ASSERT( sign_is_valid( &X ) );
1164 TEST_ASSERT( mbedtls_mpi_is_prime_ext( &X, 40,
1169 /* X = ( X - 1 ) / 2 */
1170 TEST_ASSERT( mbedtls_mpi_shift_r( &X, 1 ) == 0 );
1171 TEST_ASSERT( mbedtls_mpi_is_prime_ext( &X, 40,
1178 mbedtls_mpi_free( &X );
1186 mbedtls_mpi X, A;
1187 mbedtls_mpi_init( &X ); mbedtls_mpi_init( &A );
1189 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
1191 TEST_ASSERT( mbedtls_mpi_shift_l( &X, shift_X ) == 0 );
1192 TEST_ASSERT( sign_is_valid( &X ) );
1193 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &X, &A ) == 0 );
1196 mbedtls_mpi_free( &X ); mbedtls_mpi_free( &A );
1204 mbedtls_mpi X, A;
1205 mbedtls_mpi_init( &X ); mbedtls_mpi_init( &A );
1207 TEST_ASSERT( mbedtls_test_read_mpi( &X, radix_X, input_X ) == 0 );
1209 TEST_ASSERT( mbedtls_mpi_shift_r( &X, shift_X ) == 0 );
1210 TEST_ASSERT( sign_is_valid( &X ) );
1211 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &X, &A ) == 0 );
1214 mbedtls_mpi_free( &X ); mbedtls_mpi_free( &A );
1222 mbedtls_mpi X;
1225 mbedtls_mpi_init( &X );
1229 /* Set X to sign(before) * 2^(|before|-1) */
1230 TEST_ASSERT( mbedtls_mpi_lset( &X, before > 0 ? 1 : -1 ) == 0 );
1233 TEST_ASSERT( mbedtls_mpi_shift_l( &X, before - 1 ) == 0 );
1236 ret = mbedtls_mpi_fill_random( &X, wanted_bytes,
1249 TEST_ASSERT( mbedtls_mpi_size( &X ) + leading_zeros ==
1252 TEST_ASSERT( sign_is_valid( &X ) );
1256 mbedtls_mpi_free( &X );