mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2026-04-24 12:38:58 +02:00
5b68608b40
Align the name of the bignum test suite with the source module (which was renamed from mpi.c to bignum.c in the PolarSSL 1.x days). This also brings it into line with the test suites for the low-level bignum interfaces. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
382 lines
13 KiB
Plaintext
382 lines
13 KiB
Plaintext
# Automatically generated by generate_bignum_tests.py. Do not edit!
|
|
|
|
MPI add #1 0 (null) + 0 (null)
|
|
mbedtls_mpi_add_mpi:"":"":"0"
|
|
|
|
MPI add #2 0 (null) + 0 (1 limb)
|
|
mbedtls_mpi_add_mpi:"":"0":"0"
|
|
|
|
MPI add #3 0 (null) + positive
|
|
mbedtls_mpi_add_mpi:"":"7b":"7b"
|
|
|
|
MPI add #4 0 (null) + negative
|
|
mbedtls_mpi_add_mpi:"":"-7b":"-7b"
|
|
|
|
MPI add #5 0 (null) + positive with leading zero limb
|
|
mbedtls_mpi_add_mpi:"":"0000000000000000123":"123"
|
|
|
|
MPI add #6 0 (null) + negative with leading zero limb
|
|
mbedtls_mpi_add_mpi:"":"-0000000000000000123":"-123"
|
|
|
|
MPI add #7 0 (null) + large positive
|
|
mbedtls_mpi_add_mpi:"":"1230000000000000000":"1230000000000000000"
|
|
|
|
MPI add #8 0 (null) + large negative
|
|
mbedtls_mpi_add_mpi:"":"-1230000000000000000":"-1230000000000000000"
|
|
|
|
MPI add #9 0 (1 limb) + 0 (1 limb)
|
|
mbedtls_mpi_add_mpi:"0":"0":"0"
|
|
|
|
MPI add #10 0 (1 limb) + positive
|
|
mbedtls_mpi_add_mpi:"0":"7b":"7b"
|
|
|
|
MPI add #11 0 (1 limb) + negative
|
|
mbedtls_mpi_add_mpi:"0":"-7b":"-7b"
|
|
|
|
MPI add #12 0 (1 limb) + positive with leading zero limb
|
|
mbedtls_mpi_add_mpi:"0":"0000000000000000123":"123"
|
|
|
|
MPI add #13 0 (1 limb) + negative with leading zero limb
|
|
mbedtls_mpi_add_mpi:"0":"-0000000000000000123":"-123"
|
|
|
|
MPI add #14 0 (1 limb) + large positive
|
|
mbedtls_mpi_add_mpi:"0":"1230000000000000000":"1230000000000000000"
|
|
|
|
MPI add #15 0 (1 limb) + large negative
|
|
mbedtls_mpi_add_mpi:"0":"-1230000000000000000":"-1230000000000000000"
|
|
|
|
MPI add #16 positive + positive
|
|
mbedtls_mpi_add_mpi:"7b":"7b":"f6"
|
|
|
|
MPI add #17 positive + negative
|
|
mbedtls_mpi_add_mpi:"7b":"-7b":"0"
|
|
|
|
MPI add #18 positive + positive with leading zero limb
|
|
mbedtls_mpi_add_mpi:"7b":"0000000000000000123":"19e"
|
|
|
|
MPI add #19 positive + negative with leading zero limb
|
|
mbedtls_mpi_add_mpi:"7b":"-0000000000000000123":"-a8"
|
|
|
|
MPI add #20 positive + large positive
|
|
mbedtls_mpi_add_mpi:"7b":"1230000000000000000":"123000000000000007b"
|
|
|
|
MPI add #21 positive + large negative
|
|
mbedtls_mpi_add_mpi:"7b":"-1230000000000000000":"-122ffffffffffffff85"
|
|
|
|
MPI add #22 negative + negative
|
|
mbedtls_mpi_add_mpi:"-7b":"-7b":"-f6"
|
|
|
|
MPI add #23 negative + positive with leading zero limb
|
|
mbedtls_mpi_add_mpi:"-7b":"0000000000000000123":"a8"
|
|
|
|
MPI add #24 negative + negative with leading zero limb
|
|
mbedtls_mpi_add_mpi:"-7b":"-0000000000000000123":"-19e"
|
|
|
|
MPI add #25 negative + large positive
|
|
mbedtls_mpi_add_mpi:"-7b":"1230000000000000000":"122ffffffffffffff85"
|
|
|
|
MPI add #26 negative + large negative
|
|
mbedtls_mpi_add_mpi:"-7b":"-1230000000000000000":"-123000000000000007b"
|
|
|
|
MPI add #27 positive with leading zero limb + positive with leading zero limb
|
|
mbedtls_mpi_add_mpi:"0000000000000000123":"0000000000000000123":"246"
|
|
|
|
MPI add #28 positive with leading zero limb + negative with leading zero limb
|
|
mbedtls_mpi_add_mpi:"0000000000000000123":"-0000000000000000123":"0"
|
|
|
|
MPI add #29 positive with leading zero limb + large positive
|
|
mbedtls_mpi_add_mpi:"0000000000000000123":"1230000000000000000":"1230000000000000123"
|
|
|
|
MPI add #30 positive with leading zero limb + large negative
|
|
mbedtls_mpi_add_mpi:"0000000000000000123":"-1230000000000000000":"-122fffffffffffffedd"
|
|
|
|
MPI add #31 negative with leading zero limb + negative with leading zero limb
|
|
mbedtls_mpi_add_mpi:"-0000000000000000123":"-0000000000000000123":"-246"
|
|
|
|
MPI add #32 negative with leading zero limb + large positive
|
|
mbedtls_mpi_add_mpi:"-0000000000000000123":"1230000000000000000":"122fffffffffffffedd"
|
|
|
|
MPI add #33 negative with leading zero limb + large negative
|
|
mbedtls_mpi_add_mpi:"-0000000000000000123":"-1230000000000000000":"-1230000000000000123"
|
|
|
|
MPI add #34 large positive + large positive
|
|
mbedtls_mpi_add_mpi:"1230000000000000000":"1230000000000000000":"2460000000000000000"
|
|
|
|
MPI add #35 large positive + large negative
|
|
mbedtls_mpi_add_mpi:"1230000000000000000":"-1230000000000000000":"0"
|
|
|
|
MPI add #36 large negative + large negative
|
|
mbedtls_mpi_add_mpi:"-1230000000000000000":"-1230000000000000000":"-2460000000000000000"
|
|
|
|
MPI add #37 large positive + large positive
|
|
mbedtls_mpi_add_mpi:"1c67967269c6":"1c67967269c6":"38cf2ce4d38c"
|
|
|
|
MPI add #38 large positive + positive
|
|
mbedtls_mpi_add_mpi:"1c67967269c6":"9cde3":"1c67967c37a9"
|
|
|
|
MPI add #39 large positive + large negative
|
|
mbedtls_mpi_add_mpi:"1c67967269c6":"-1c67967269c6":"0"
|
|
|
|
MPI add #40 large positive + negative
|
|
mbedtls_mpi_add_mpi:"1c67967269c6":"-9cde3":"1c6796689be3"
|
|
|
|
MPI add #41 positive + positive
|
|
mbedtls_mpi_add_mpi:"9cde3":"9cde3":"139bc6"
|
|
|
|
MPI add #42 positive + large negative
|
|
mbedtls_mpi_add_mpi:"9cde3":"-1c67967269c6":"-1c6796689be3"
|
|
|
|
MPI add #43 positive + negative
|
|
mbedtls_mpi_add_mpi:"9cde3":"-9cde3":"0"
|
|
|
|
MPI add #44 large negative + large negative
|
|
mbedtls_mpi_add_mpi:"-1c67967269c6":"-1c67967269c6":"-38cf2ce4d38c"
|
|
|
|
MPI add #45 large negative + negative
|
|
mbedtls_mpi_add_mpi:"-1c67967269c6":"-9cde3":"-1c67967c37a9"
|
|
|
|
MPI add #46 negative + negative
|
|
mbedtls_mpi_add_mpi:"-9cde3":"-9cde3":"-139bc6"
|
|
|
|
MPI compare #1 0 (null) == 0 (null)
|
|
mbedtls_mpi_cmp_mpi:"":"":0
|
|
|
|
MPI compare #2 0 (null) == 0 (1 limb)
|
|
mbedtls_mpi_cmp_mpi:"":"0":0
|
|
|
|
MPI compare #3 0 (null) < positive
|
|
mbedtls_mpi_cmp_mpi:"":"7b":-1
|
|
|
|
MPI compare #4 0 (null) > negative
|
|
mbedtls_mpi_cmp_mpi:"":"-7b":1
|
|
|
|
MPI compare #5 0 (null) < positive with leading zero limb
|
|
mbedtls_mpi_cmp_mpi:"":"0000000000000000123":-1
|
|
|
|
MPI compare #6 0 (null) > negative with leading zero limb
|
|
mbedtls_mpi_cmp_mpi:"":"-0000000000000000123":1
|
|
|
|
MPI compare #7 0 (null) < large positive
|
|
mbedtls_mpi_cmp_mpi:"":"1230000000000000000":-1
|
|
|
|
MPI compare #8 0 (null) > large negative
|
|
mbedtls_mpi_cmp_mpi:"":"-1230000000000000000":1
|
|
|
|
MPI compare #9 0 (1 limb) == 0 (1 limb)
|
|
mbedtls_mpi_cmp_mpi:"0":"0":0
|
|
|
|
MPI compare #10 0 (1 limb) < positive
|
|
mbedtls_mpi_cmp_mpi:"0":"7b":-1
|
|
|
|
MPI compare #11 0 (1 limb) > negative
|
|
mbedtls_mpi_cmp_mpi:"0":"-7b":1
|
|
|
|
MPI compare #12 0 (1 limb) < positive with leading zero limb
|
|
mbedtls_mpi_cmp_mpi:"0":"0000000000000000123":-1
|
|
|
|
MPI compare #13 0 (1 limb) > negative with leading zero limb
|
|
mbedtls_mpi_cmp_mpi:"0":"-0000000000000000123":1
|
|
|
|
MPI compare #14 0 (1 limb) < large positive
|
|
mbedtls_mpi_cmp_mpi:"0":"1230000000000000000":-1
|
|
|
|
MPI compare #15 0 (1 limb) > large negative
|
|
mbedtls_mpi_cmp_mpi:"0":"-1230000000000000000":1
|
|
|
|
MPI compare #16 positive == positive
|
|
mbedtls_mpi_cmp_mpi:"7b":"7b":0
|
|
|
|
MPI compare #17 positive > negative
|
|
mbedtls_mpi_cmp_mpi:"7b":"-7b":1
|
|
|
|
MPI compare #18 positive < positive with leading zero limb
|
|
mbedtls_mpi_cmp_mpi:"7b":"0000000000000000123":-1
|
|
|
|
MPI compare #19 positive > negative with leading zero limb
|
|
mbedtls_mpi_cmp_mpi:"7b":"-0000000000000000123":1
|
|
|
|
MPI compare #20 positive < large positive
|
|
mbedtls_mpi_cmp_mpi:"7b":"1230000000000000000":-1
|
|
|
|
MPI compare #21 positive > large negative
|
|
mbedtls_mpi_cmp_mpi:"7b":"-1230000000000000000":1
|
|
|
|
MPI compare #22 negative == negative
|
|
mbedtls_mpi_cmp_mpi:"-7b":"-7b":0
|
|
|
|
MPI compare #23 negative < positive with leading zero limb
|
|
mbedtls_mpi_cmp_mpi:"-7b":"0000000000000000123":-1
|
|
|
|
MPI compare #24 negative > negative with leading zero limb
|
|
mbedtls_mpi_cmp_mpi:"-7b":"-0000000000000000123":1
|
|
|
|
MPI compare #25 negative < large positive
|
|
mbedtls_mpi_cmp_mpi:"-7b":"1230000000000000000":-1
|
|
|
|
MPI compare #26 negative > large negative
|
|
mbedtls_mpi_cmp_mpi:"-7b":"-1230000000000000000":1
|
|
|
|
MPI compare #27 positive with leading zero limb == positive with leading zero limb
|
|
mbedtls_mpi_cmp_mpi:"0000000000000000123":"0000000000000000123":0
|
|
|
|
MPI compare #28 positive with leading zero limb > negative with leading zero limb
|
|
mbedtls_mpi_cmp_mpi:"0000000000000000123":"-0000000000000000123":1
|
|
|
|
MPI compare #29 positive with leading zero limb < large positive
|
|
mbedtls_mpi_cmp_mpi:"0000000000000000123":"1230000000000000000":-1
|
|
|
|
MPI compare #30 positive with leading zero limb > large negative
|
|
mbedtls_mpi_cmp_mpi:"0000000000000000123":"-1230000000000000000":1
|
|
|
|
MPI compare #31 negative with leading zero limb == negative with leading zero limb
|
|
mbedtls_mpi_cmp_mpi:"-0000000000000000123":"-0000000000000000123":0
|
|
|
|
MPI compare #32 negative with leading zero limb < large positive
|
|
mbedtls_mpi_cmp_mpi:"-0000000000000000123":"1230000000000000000":-1
|
|
|
|
MPI compare #33 negative with leading zero limb > large negative
|
|
mbedtls_mpi_cmp_mpi:"-0000000000000000123":"-1230000000000000000":1
|
|
|
|
MPI compare #34 large positive == large positive
|
|
mbedtls_mpi_cmp_mpi:"1230000000000000000":"1230000000000000000":0
|
|
|
|
MPI compare #35 large positive > large negative
|
|
mbedtls_mpi_cmp_mpi:"1230000000000000000":"-1230000000000000000":1
|
|
|
|
MPI compare #36 large negative == large negative
|
|
mbedtls_mpi_cmp_mpi:"-1230000000000000000":"-1230000000000000000":0
|
|
|
|
MPI compare #37 negative > negative
|
|
mbedtls_mpi_cmp_mpi:"-2":"-3":1
|
|
|
|
MPI compare #38 negative == negative
|
|
mbedtls_mpi_cmp_mpi:"-2":"-2":0
|
|
|
|
MPI compare #39 positive < positive
|
|
mbedtls_mpi_cmp_mpi:"2b4":"2b5":-1
|
|
|
|
MPI compare #40 positive < positive
|
|
mbedtls_mpi_cmp_mpi:"2b5":"2b6":-1
|
|
|
|
MPI compare (abs) #1 0 (null) == 0 (null)
|
|
mbedtls_mpi_cmp_abs:"":"":0
|
|
|
|
MPI compare (abs) #2 0 (null) == 0 (1 limb)
|
|
mbedtls_mpi_cmp_abs:"":"0":0
|
|
|
|
MPI compare (abs) #3 0 (null) < positive
|
|
mbedtls_mpi_cmp_abs:"":"7b":-1
|
|
|
|
MPI compare (abs) #4 0 (null) < positive
|
|
mbedtls_mpi_cmp_abs:"":"7b":-1
|
|
|
|
MPI compare (abs) #5 0 (null) < positive with leading zero limb
|
|
mbedtls_mpi_cmp_abs:"":"0000000000000000123":-1
|
|
|
|
MPI compare (abs) #6 0 (null) < positive with leading zero limb
|
|
mbedtls_mpi_cmp_abs:"":"0000000000000000123":-1
|
|
|
|
MPI compare (abs) #7 0 (null) < large positive
|
|
mbedtls_mpi_cmp_abs:"":"1230000000000000000":-1
|
|
|
|
MPI compare (abs) #8 0 (null) < large positive
|
|
mbedtls_mpi_cmp_abs:"":"1230000000000000000":-1
|
|
|
|
MPI compare (abs) #9 0 (1 limb) == 0 (1 limb)
|
|
mbedtls_mpi_cmp_abs:"0":"0":0
|
|
|
|
MPI compare (abs) #10 0 (1 limb) < positive
|
|
mbedtls_mpi_cmp_abs:"0":"7b":-1
|
|
|
|
MPI compare (abs) #11 0 (1 limb) < positive
|
|
mbedtls_mpi_cmp_abs:"0":"7b":-1
|
|
|
|
MPI compare (abs) #12 0 (1 limb) < positive with leading zero limb
|
|
mbedtls_mpi_cmp_abs:"0":"0000000000000000123":-1
|
|
|
|
MPI compare (abs) #13 0 (1 limb) < positive with leading zero limb
|
|
mbedtls_mpi_cmp_abs:"0":"0000000000000000123":-1
|
|
|
|
MPI compare (abs) #14 0 (1 limb) < large positive
|
|
mbedtls_mpi_cmp_abs:"0":"1230000000000000000":-1
|
|
|
|
MPI compare (abs) #15 0 (1 limb) < large positive
|
|
mbedtls_mpi_cmp_abs:"0":"1230000000000000000":-1
|
|
|
|
MPI compare (abs) #16 positive == positive
|
|
mbedtls_mpi_cmp_abs:"7b":"7b":0
|
|
|
|
MPI compare (abs) #17 positive == positive
|
|
mbedtls_mpi_cmp_abs:"7b":"7b":0
|
|
|
|
MPI compare (abs) #18 positive < positive with leading zero limb
|
|
mbedtls_mpi_cmp_abs:"7b":"0000000000000000123":-1
|
|
|
|
MPI compare (abs) #19 positive < positive with leading zero limb
|
|
mbedtls_mpi_cmp_abs:"7b":"0000000000000000123":-1
|
|
|
|
MPI compare (abs) #20 positive < large positive
|
|
mbedtls_mpi_cmp_abs:"7b":"1230000000000000000":-1
|
|
|
|
MPI compare (abs) #21 positive < large positive
|
|
mbedtls_mpi_cmp_abs:"7b":"1230000000000000000":-1
|
|
|
|
MPI compare (abs) #22 positive == positive
|
|
mbedtls_mpi_cmp_abs:"7b":"7b":0
|
|
|
|
MPI compare (abs) #23 positive < positive with leading zero limb
|
|
mbedtls_mpi_cmp_abs:"7b":"0000000000000000123":-1
|
|
|
|
MPI compare (abs) #24 positive < positive with leading zero limb
|
|
mbedtls_mpi_cmp_abs:"7b":"0000000000000000123":-1
|
|
|
|
MPI compare (abs) #25 positive < large positive
|
|
mbedtls_mpi_cmp_abs:"7b":"1230000000000000000":-1
|
|
|
|
MPI compare (abs) #26 positive < large positive
|
|
mbedtls_mpi_cmp_abs:"7b":"1230000000000000000":-1
|
|
|
|
MPI compare (abs) #27 positive with leading zero limb == positive with leading zero limb
|
|
mbedtls_mpi_cmp_abs:"0000000000000000123":"0000000000000000123":0
|
|
|
|
MPI compare (abs) #28 positive with leading zero limb == positive with leading zero limb
|
|
mbedtls_mpi_cmp_abs:"0000000000000000123":"0000000000000000123":0
|
|
|
|
MPI compare (abs) #29 positive with leading zero limb < large positive
|
|
mbedtls_mpi_cmp_abs:"0000000000000000123":"1230000000000000000":-1
|
|
|
|
MPI compare (abs) #30 positive with leading zero limb < large positive
|
|
mbedtls_mpi_cmp_abs:"0000000000000000123":"1230000000000000000":-1
|
|
|
|
MPI compare (abs) #31 positive with leading zero limb == positive with leading zero limb
|
|
mbedtls_mpi_cmp_abs:"0000000000000000123":"0000000000000000123":0
|
|
|
|
MPI compare (abs) #32 positive with leading zero limb < large positive
|
|
mbedtls_mpi_cmp_abs:"0000000000000000123":"1230000000000000000":-1
|
|
|
|
MPI compare (abs) #33 positive with leading zero limb < large positive
|
|
mbedtls_mpi_cmp_abs:"0000000000000000123":"1230000000000000000":-1
|
|
|
|
MPI compare (abs) #34 large positive == large positive
|
|
mbedtls_mpi_cmp_abs:"1230000000000000000":"1230000000000000000":0
|
|
|
|
MPI compare (abs) #35 large positive == large positive
|
|
mbedtls_mpi_cmp_abs:"1230000000000000000":"1230000000000000000":0
|
|
|
|
MPI compare (abs) #36 large positive == large positive
|
|
mbedtls_mpi_cmp_abs:"1230000000000000000":"1230000000000000000":0
|
|
|
|
MPI compare (abs) #37 positive < positive
|
|
mbedtls_mpi_cmp_abs:"2":"3":-1
|
|
|
|
MPI compare (abs) #38 positive == positive
|
|
mbedtls_mpi_cmp_abs:"2":"2":0
|
|
|
|
MPI compare (abs) #39 positive < positive
|
|
mbedtls_mpi_cmp_abs:"2b4":"2b5":-1
|
|
|
|
MPI compare (abs) #40 positive < positive
|
|
mbedtls_mpi_cmp_abs:"2b5":"2b6":-1
|
|
|
|
# End of automatically generated file.
|