| # 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. |