mbedtls_mpi_lt_mpi_ct: add tests for 32 bit limbs

The corner case tests were designed for 64 bit limbs and failed on 32
bit platforms because the numbers in the test ended up being stored in a
different number of limbs and the function (correctly) returnd an error
upon receiving them.
This commit is contained in:
Janos Follath 2019-10-29 15:05:12 +00:00 committed by Simon Butcher
parent c8256e7020
commit 44e40c0792

View File

@ -196,21 +196,46 @@ mbedtls_mpi_lt_mpi_ct:3:"2B5":2:"2B5":0:MBEDTLS_ERR_MPI_BAD_INPUT_DATA
Base test mbedtls_mpi_lt_mpi_ct (Y is longer in storage) #8 Base test mbedtls_mpi_lt_mpi_ct (Y is longer in storage) #8
mbedtls_mpi_lt_mpi_ct:3:"2B5":4:"2B5":0:MBEDTLS_ERR_MPI_BAD_INPUT_DATA mbedtls_mpi_lt_mpi_ct:3:"2B5":4:"2B5":0:MBEDTLS_ERR_MPI_BAD_INPUT_DATA
Base test mbedtls_mpi_lt_mpi_ct (corner case) #1 Base test mbedtls_mpi_lt_mpi_ct (corner case - 64 bit) #1
depends_on:MBEDTLS_HAVE_INT64
mbedtls_mpi_lt_mpi_ct:1:"7FFFFFFFFFFFFFFF":1:"FF":0:0 mbedtls_mpi_lt_mpi_ct:1:"7FFFFFFFFFFFFFFF":1:"FF":0:0
Base test mbedtls_mpi_lt_mpi_ct (corner case) #2 Base test mbedtls_mpi_lt_mpi_ct (corner case - 64 bit) #2
depends_on:MBEDTLS_HAVE_INT64
mbedtls_mpi_lt_mpi_ct:1:"8000000000000000":1:"7FFFFFFFFFFFFFFF":0:0 mbedtls_mpi_lt_mpi_ct:1:"8000000000000000":1:"7FFFFFFFFFFFFFFF":0:0
Base test mbedtls_mpi_lt_mpi_ct (corner case) #2 Base test mbedtls_mpi_lt_mpi_ct (corner case - 64 bit) #3
depends_on:MBEDTLS_HAVE_INT64
mbedtls_mpi_lt_mpi_ct:1:"8000000000000000":1:"1":0:0 mbedtls_mpi_lt_mpi_ct:1:"8000000000000000":1:"1":0:0
Base test mbedtls_mpi_lt_mpi_ct (corner case) #2 Base test mbedtls_mpi_lt_mpi_ct (corner case - 64 bit) #4
depends_on:MBEDTLS_HAVE_INT64
mbedtls_mpi_lt_mpi_ct:1:"8000000000000000":1:"0":0:0 mbedtls_mpi_lt_mpi_ct:1:"8000000000000000":1:"0":0:0
Base test mbedtls_mpi_lt_mpi_ct (corner case) #3 Base test mbedtls_mpi_lt_mpi_ct (corner case - 64 bit) #5
depends_on:MBEDTLS_HAVE_INT64
mbedtls_mpi_lt_mpi_ct:1:"FFFFFFFFFFFFFFFF":1:"FF":0:0 mbedtls_mpi_lt_mpi_ct:1:"FFFFFFFFFFFFFFFF":1:"FF":0:0
Base test mbedtls_mpi_lt_mpi_ct (corner case - 32 bit) #1
depends_on:MBEDTLS_HAVE_INT32
mbedtls_mpi_lt_mpi_ct:1:"7FFFFFFF":1:"FF":0:0
Base test mbedtls_mpi_lt_mpi_ct (corner case - 32 bit) #2
depends_on:MBEDTLS_HAVE_INT32
mbedtls_mpi_lt_mpi_ct:1:"80000000":1:"7FFFFFFF":0:0
Base test mbedtls_mpi_lt_mpi_ct (corner case - 32 bit) #3
depends_on:MBEDTLS_HAVE_INT32
mbedtls_mpi_lt_mpi_ct:1:"80000000":1:"1":0:0
Base test mbedtls_mpi_lt_mpi_ct (corner case - 32 bit) #4
depends_on:MBEDTLS_HAVE_INT32
mbedtls_mpi_lt_mpi_ct:1:"80000000":1:"0":0:0
Base test mbedtls_mpi_lt_mpi_ct (corner case - 32 bit) #5
depends_on:MBEDTLS_HAVE_INT32
mbedtls_mpi_lt_mpi_ct:1:"FFFFFFFF":1:"FF":0:0
Multi-limb mbedtls_mpi_lt_mpi_ct (X<Y, zero vs non-zero MS limb) #1 Multi-limb mbedtls_mpi_lt_mpi_ct (X<Y, zero vs non-zero MS limb) #1
mbedtls_mpi_lt_mpi_ct:2:"0FFFFFFFFFFFFFFFF":2:"1FFFFFFFFFFFFFFFF":1:0 mbedtls_mpi_lt_mpi_ct:2:"0FFFFFFFFFFFFFFFF":2:"1FFFFFFFFFFFFFFFF":1:0