diff --git a/tests/suites/test_suite_mpi.data b/tests/suites/test_suite_mpi.data index 85812f5080..be4c056d79 100644 --- a/tests/suites/test_suite_mpi.data +++ b/tests/suites/test_suite_mpi.data @@ -607,10 +607,10 @@ mbedtls_mpi_core_lt_ct: x=y (0 limbs) mpi_core_lt_ct:"":"":0 mbedtls_mpi_core_lt_ct: x>y (63 bit x, y first byte greater) -mpi_core_lt_ct:"7FFFFFFFFFFFFFFF":"FF":0 +mpi_core_lt_ct:"7FFFFFFFFFFFFFFF":"00000000000000FF":0 mbedtls_mpi_core_lt_ct: xy (64 bit x, y=x-1) mpi_core_lt_ct:"8000000000000000":"7FFFFFFFFFFFFFFF":0 @@ -619,28 +619,28 @@ mbedtls_mpi_core_lt_ct: xy (64 bit x, y=1) -mpi_core_lt_ct:"8000000000000000":"01":0 +mpi_core_lt_ct:"8000000000000000":"0000000000000001":0 mbedtls_mpi_core_lt_ct: xy (64 bit x, y=0) -mpi_core_lt_ct:"8000000000000000":"00":0 +mpi_core_lt_ct:"8000000000000000":"0000000000000000":0 mbedtls_mpi_core_lt_ct: xy (64 bit x, first bytes equal) -mpi_core_lt_ct:"FFFFFFFFFFFFFFFF":"FF":0 +mpi_core_lt_ct:"FFFFFFFFFFFFFFFF":"00000000000000FF":0 mbedtls_mpi_core_lt_ct: xy (31 bit x, y first byte greater) -mpi_core_lt_ct:"7FFFFFFF":"FF":0 +mpi_core_lt_ct:"7FFFFFFF":"000000FF":0 mbedtls_mpi_core_lt_ct: xy (32 bit x, y=x-1) mpi_core_lt_ct:"80000000":"7FFFFFFF":0 @@ -649,22 +649,22 @@ mbedtls_mpi_core_lt_ct: xy (32 bit x, y=1) -mpi_core_lt_ct:"80000000":"01":0 +mpi_core_lt_ct:"80000000":"00000001":0 mbedtls_mpi_core_lt_ct: xy (32 bit x, y=0) -mpi_core_lt_ct:"80000000":"00":0 +mpi_core_lt_ct:"80000000":"00000000":0 mbedtls_mpi_core_lt_ct: xy (32 bit x, first bytes equal) -mpi_core_lt_ct:"FFFFFFFF":"FF":0 +mpi_core_lt_ct:"FFFFFFFF":"000000FF":0 mbedtls_mpi_core_lt_ct: xlen > input_Y->len ? input_X->len : input_Y->len ); + mbedtls_mpi_uint *X = NULL; + size_t X_limbs; + mbedtls_mpi_uint *Y = NULL; + size_t Y_limbs; + int ret; - TEST_LE_U( len, MAX_LEN ); + TEST_EQUAL( 0, mbedtls_test_read_mpi_core( &X, &X_limbs, input_X ) ); + TEST_EQUAL( 0, mbedtls_test_read_mpi_core( &Y, &Y_limbs, input_Y ) ); - TEST_ASSERT( mbedtls_mpi_core_read_be( X, len, input_X->x, input_X->len ) - == 0 ); - TEST_ASSERT( mbedtls_mpi_core_read_be( Y, len, input_Y->x, input_Y->len ) - == 0 ); + /* We need two same-length limb arrays */ + TEST_EQUAL( X_limbs, Y_limbs ); - TEST_CF_SECRET( X, len * sizeof( mbedtls_mpi_uint ) ); - TEST_CF_SECRET( Y, len * sizeof( mbedtls_mpi_uint ) ); - - ret = mbedtls_mpi_core_lt_ct( X, Y, len ); - - TEST_CF_PUBLIC( X, len * sizeof( mbedtls_mpi_uint ) ); - TEST_CF_PUBLIC( Y, len * sizeof( mbedtls_mpi_uint ) ); - TEST_CF_PUBLIC( &ret, sizeof( ret ) ); + TEST_CF_SECRET( X, X_limbs * sizeof( mbedtls_mpi_uint ) ); + TEST_CF_SECRET( Y, X_limbs * sizeof( mbedtls_mpi_uint ) ); + ret = mbedtls_mpi_core_lt_ct( X, Y, X_limbs ); TEST_EQUAL( ret, exp_ret ); exit: - ; - - #undef MAX_LEN + mbedtls_free( X ); + mbedtls_free( Y ); } /* END_CASE */