From 05998a00b1a6dff02c1334ee91020ae0ee12d6e0 Mon Sep 17 00:00:00 2001 From: Werner Lewis Date: Wed, 21 Sep 2022 16:55:21 +0100 Subject: [PATCH] Add file generated by generate_bignum_tests.py Signed-off-by: Werner Lewis --- tests/suites/test_suite_mpi.generated.data | 381 +++++++++++++++++++++ 1 file changed, 381 insertions(+) create mode 100644 tests/suites/test_suite_mpi.generated.data diff --git a/tests/suites/test_suite_mpi.generated.data b/tests/suites/test_suite_mpi.generated.data new file mode 100644 index 000000000..947d06f7f --- /dev/null +++ b/tests/suites/test_suite_mpi.generated.data @@ -0,0 +1,381 @@ +# 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.