quickjs-tart

quickjs-based runtime for wallet-core logic
Log | Files | Refs | README | LICENSE

test_suite_bignum.generated.data (30689B)


      1 # Automatically generated by generate_bignum_tests.py. Do not edit!
      2 
      3 MPI add #1 0 (null) + 0 (null)
      4 mpi_add_mpi:"":"":"0"
      5 
      6 MPI add #2 0 (null) + 0 (1 limb)
      7 mpi_add_mpi:"":"0":"0"
      8 
      9 MPI add #3 0 (null) + negative 0 (null)
     10 mpi_add_mpi:"":"-":"0"
     11 
     12 MPI add #4 0 (null) + negative with leading zero limb
     13 mpi_add_mpi:"":"-0":"0"
     14 
     15 MPI add #5 0 (null) + positive
     16 mpi_add_mpi:"":"7b":"7b"
     17 
     18 MPI add #6 0 (null) + negative
     19 mpi_add_mpi:"":"-7b":"-7b"
     20 
     21 MPI add #7 0 (null) + positive with leading zero limb
     22 mpi_add_mpi:"":"0000000000000000123":"123"
     23 
     24 MPI add #8 0 (null) + negative with leading zero limb
     25 mpi_add_mpi:"":"-0000000000000000123":"-123"
     26 
     27 MPI add #9 0 (null) + large positive
     28 mpi_add_mpi:"":"1230000000000000000":"1230000000000000000"
     29 
     30 MPI add #10 0 (null) + large negative
     31 mpi_add_mpi:"":"-1230000000000000000":"-1230000000000000000"
     32 
     33 MPI add #11 0 (1 limb) + 0 (null)
     34 mpi_add_mpi:"0":"":"0"
     35 
     36 MPI add #12 0 (1 limb) + 0 (1 limb)
     37 mpi_add_mpi:"0":"0":"0"
     38 
     39 MPI add #13 0 (1 limb) + negative 0 (null)
     40 mpi_add_mpi:"0":"-":"0"
     41 
     42 MPI add #14 0 (1 limb) + negative with leading zero limb
     43 mpi_add_mpi:"0":"-0":"0"
     44 
     45 MPI add #15 0 (1 limb) + positive
     46 mpi_add_mpi:"0":"7b":"7b"
     47 
     48 MPI add #16 0 (1 limb) + negative
     49 mpi_add_mpi:"0":"-7b":"-7b"
     50 
     51 MPI add #17 0 (1 limb) + positive with leading zero limb
     52 mpi_add_mpi:"0":"0000000000000000123":"123"
     53 
     54 MPI add #18 0 (1 limb) + negative with leading zero limb
     55 mpi_add_mpi:"0":"-0000000000000000123":"-123"
     56 
     57 MPI add #19 0 (1 limb) + large positive
     58 mpi_add_mpi:"0":"1230000000000000000":"1230000000000000000"
     59 
     60 MPI add #20 0 (1 limb) + large negative
     61 mpi_add_mpi:"0":"-1230000000000000000":"-1230000000000000000"
     62 
     63 MPI add #21 negative 0 (null) + 0 (null)
     64 mpi_add_mpi:"-":"":"0"
     65 
     66 MPI add #22 negative 0 (null) + 0 (1 limb)
     67 mpi_add_mpi:"-":"0":"0"
     68 
     69 MPI add #23 negative 0 (null) + negative 0 (null)
     70 mpi_add_mpi:"-":"-":"0"
     71 
     72 MPI add #24 negative 0 (null) + negative with leading zero limb
     73 mpi_add_mpi:"-":"-0":"0"
     74 
     75 MPI add #25 negative 0 (null) + positive
     76 mpi_add_mpi:"-":"7b":"7b"
     77 
     78 MPI add #26 negative 0 (null) + negative
     79 mpi_add_mpi:"-":"-7b":"-7b"
     80 
     81 MPI add #27 negative 0 (null) + positive with leading zero limb
     82 mpi_add_mpi:"-":"0000000000000000123":"123"
     83 
     84 MPI add #28 negative 0 (null) + negative with leading zero limb
     85 mpi_add_mpi:"-":"-0000000000000000123":"-123"
     86 
     87 MPI add #29 negative 0 (null) + large positive
     88 mpi_add_mpi:"-":"1230000000000000000":"1230000000000000000"
     89 
     90 MPI add #30 negative 0 (null) + large negative
     91 mpi_add_mpi:"-":"-1230000000000000000":"-1230000000000000000"
     92 
     93 MPI add #31 negative with leading zero limb + 0 (null)
     94 mpi_add_mpi:"-0":"":"0"
     95 
     96 MPI add #32 negative with leading zero limb + 0 (1 limb)
     97 mpi_add_mpi:"-0":"0":"0"
     98 
     99 MPI add #33 negative with leading zero limb + negative 0 (null)
    100 mpi_add_mpi:"-0":"-":"0"
    101 
    102 MPI add #34 negative with leading zero limb + negative with leading zero limb
    103 mpi_add_mpi:"-0":"-0":"0"
    104 
    105 MPI add #35 negative with leading zero limb + positive
    106 mpi_add_mpi:"-0":"7b":"7b"
    107 
    108 MPI add #36 negative with leading zero limb + negative
    109 mpi_add_mpi:"-0":"-7b":"-7b"
    110 
    111 MPI add #37 negative with leading zero limb + positive with leading zero limb
    112 mpi_add_mpi:"-0":"0000000000000000123":"123"
    113 
    114 MPI add #38 negative with leading zero limb + negative with leading zero limb
    115 mpi_add_mpi:"-0":"-0000000000000000123":"-123"
    116 
    117 MPI add #39 negative with leading zero limb + large positive
    118 mpi_add_mpi:"-0":"1230000000000000000":"1230000000000000000"
    119 
    120 MPI add #40 negative with leading zero limb + large negative
    121 mpi_add_mpi:"-0":"-1230000000000000000":"-1230000000000000000"
    122 
    123 MPI add #41 positive + 0 (null)
    124 mpi_add_mpi:"7b":"":"7b"
    125 
    126 MPI add #42 positive + 0 (1 limb)
    127 mpi_add_mpi:"7b":"0":"7b"
    128 
    129 MPI add #43 positive + negative 0 (null)
    130 mpi_add_mpi:"7b":"-":"7b"
    131 
    132 MPI add #44 positive + negative with leading zero limb
    133 mpi_add_mpi:"7b":"-0":"7b"
    134 
    135 MPI add #45 positive + positive
    136 mpi_add_mpi:"7b":"7b":"f6"
    137 
    138 MPI add #46 positive + negative , result=0
    139 mpi_add_mpi:"7b":"-7b":"0"
    140 
    141 MPI add #47 positive + positive with leading zero limb
    142 mpi_add_mpi:"7b":"0000000000000000123":"19e"
    143 
    144 MPI add #48 positive + negative with leading zero limb , result<0
    145 mpi_add_mpi:"7b":"-0000000000000000123":"-a8"
    146 
    147 MPI add #49 positive + large positive
    148 mpi_add_mpi:"7b":"1230000000000000000":"123000000000000007b"
    149 
    150 MPI add #50 positive + large negative , result<0
    151 mpi_add_mpi:"7b":"-1230000000000000000":"-122ffffffffffffff85"
    152 
    153 MPI add #51 negative + 0 (null)
    154 mpi_add_mpi:"-7b":"":"-7b"
    155 
    156 MPI add #52 negative + 0 (1 limb)
    157 mpi_add_mpi:"-7b":"0":"-7b"
    158 
    159 MPI add #53 negative + negative 0 (null)
    160 mpi_add_mpi:"-7b":"-":"-7b"
    161 
    162 MPI add #54 negative + negative with leading zero limb
    163 mpi_add_mpi:"-7b":"-0":"-7b"
    164 
    165 MPI add #55 negative + positive , result=0
    166 mpi_add_mpi:"-7b":"7b":"0"
    167 
    168 MPI add #56 negative + negative
    169 mpi_add_mpi:"-7b":"-7b":"-f6"
    170 
    171 MPI add #57 negative + positive with leading zero limb , result>0
    172 mpi_add_mpi:"-7b":"0000000000000000123":"a8"
    173 
    174 MPI add #58 negative + negative with leading zero limb
    175 mpi_add_mpi:"-7b":"-0000000000000000123":"-19e"
    176 
    177 MPI add #59 negative + large positive , result>0
    178 mpi_add_mpi:"-7b":"1230000000000000000":"122ffffffffffffff85"
    179 
    180 MPI add #60 negative + large negative
    181 mpi_add_mpi:"-7b":"-1230000000000000000":"-123000000000000007b"
    182 
    183 MPI add #61 positive with leading zero limb + 0 (null)
    184 mpi_add_mpi:"0000000000000000123":"":"123"
    185 
    186 MPI add #62 positive with leading zero limb + 0 (1 limb)
    187 mpi_add_mpi:"0000000000000000123":"0":"123"
    188 
    189 MPI add #63 positive with leading zero limb + negative 0 (null)
    190 mpi_add_mpi:"0000000000000000123":"-":"123"
    191 
    192 MPI add #64 positive with leading zero limb + negative with leading zero limb
    193 mpi_add_mpi:"0000000000000000123":"-0":"123"
    194 
    195 MPI add #65 positive with leading zero limb + positive
    196 mpi_add_mpi:"0000000000000000123":"7b":"19e"
    197 
    198 MPI add #66 positive with leading zero limb + negative , result>0
    199 mpi_add_mpi:"0000000000000000123":"-7b":"a8"
    200 
    201 MPI add #67 positive with leading zero limb + positive with leading zero limb
    202 mpi_add_mpi:"0000000000000000123":"0000000000000000123":"246"
    203 
    204 MPI add #68 positive with leading zero limb + negative with leading zero limb , result=0
    205 mpi_add_mpi:"0000000000000000123":"-0000000000000000123":"0"
    206 
    207 MPI add #69 positive with leading zero limb + large positive
    208 mpi_add_mpi:"0000000000000000123":"1230000000000000000":"1230000000000000123"
    209 
    210 MPI add #70 positive with leading zero limb + large negative , result<0
    211 mpi_add_mpi:"0000000000000000123":"-1230000000000000000":"-122fffffffffffffedd"
    212 
    213 MPI add #71 negative with leading zero limb + 0 (null)
    214 mpi_add_mpi:"-0000000000000000123":"":"-123"
    215 
    216 MPI add #72 negative with leading zero limb + 0 (1 limb)
    217 mpi_add_mpi:"-0000000000000000123":"0":"-123"
    218 
    219 MPI add #73 negative with leading zero limb + negative 0 (null)
    220 mpi_add_mpi:"-0000000000000000123":"-":"-123"
    221 
    222 MPI add #74 negative with leading zero limb + negative with leading zero limb
    223 mpi_add_mpi:"-0000000000000000123":"-0":"-123"
    224 
    225 MPI add #75 negative with leading zero limb + positive , result<0
    226 mpi_add_mpi:"-0000000000000000123":"7b":"-a8"
    227 
    228 MPI add #76 negative with leading zero limb + negative
    229 mpi_add_mpi:"-0000000000000000123":"-7b":"-19e"
    230 
    231 MPI add #77 negative with leading zero limb + positive with leading zero limb , result=0
    232 mpi_add_mpi:"-0000000000000000123":"0000000000000000123":"0"
    233 
    234 MPI add #78 negative with leading zero limb + negative with leading zero limb
    235 mpi_add_mpi:"-0000000000000000123":"-0000000000000000123":"-246"
    236 
    237 MPI add #79 negative with leading zero limb + large positive , result>0
    238 mpi_add_mpi:"-0000000000000000123":"1230000000000000000":"122fffffffffffffedd"
    239 
    240 MPI add #80 negative with leading zero limb + large negative
    241 mpi_add_mpi:"-0000000000000000123":"-1230000000000000000":"-1230000000000000123"
    242 
    243 MPI add #81 large positive + 0 (null)
    244 mpi_add_mpi:"1230000000000000000":"":"1230000000000000000"
    245 
    246 MPI add #82 large positive + 0 (1 limb)
    247 mpi_add_mpi:"1230000000000000000":"0":"1230000000000000000"
    248 
    249 MPI add #83 large positive + negative 0 (null)
    250 mpi_add_mpi:"1230000000000000000":"-":"1230000000000000000"
    251 
    252 MPI add #84 large positive + negative with leading zero limb
    253 mpi_add_mpi:"1230000000000000000":"-0":"1230000000000000000"
    254 
    255 MPI add #85 large positive + positive
    256 mpi_add_mpi:"1230000000000000000":"7b":"123000000000000007b"
    257 
    258 MPI add #86 large positive + negative , result>0
    259 mpi_add_mpi:"1230000000000000000":"-7b":"122ffffffffffffff85"
    260 
    261 MPI add #87 large positive + positive with leading zero limb
    262 mpi_add_mpi:"1230000000000000000":"0000000000000000123":"1230000000000000123"
    263 
    264 MPI add #88 large positive + negative with leading zero limb , result>0
    265 mpi_add_mpi:"1230000000000000000":"-0000000000000000123":"122fffffffffffffedd"
    266 
    267 MPI add #89 large positive + large positive
    268 mpi_add_mpi:"1230000000000000000":"1230000000000000000":"2460000000000000000"
    269 
    270 MPI add #90 large positive + large negative , result=0
    271 mpi_add_mpi:"1230000000000000000":"-1230000000000000000":"0"
    272 
    273 MPI add #91 large negative + 0 (null)
    274 mpi_add_mpi:"-1230000000000000000":"":"-1230000000000000000"
    275 
    276 MPI add #92 large negative + 0 (1 limb)
    277 mpi_add_mpi:"-1230000000000000000":"0":"-1230000000000000000"
    278 
    279 MPI add #93 large negative + negative 0 (null)
    280 mpi_add_mpi:"-1230000000000000000":"-":"-1230000000000000000"
    281 
    282 MPI add #94 large negative + negative with leading zero limb
    283 mpi_add_mpi:"-1230000000000000000":"-0":"-1230000000000000000"
    284 
    285 MPI add #95 large negative + positive , result<0
    286 mpi_add_mpi:"-1230000000000000000":"7b":"-122ffffffffffffff85"
    287 
    288 MPI add #96 large negative + negative
    289 mpi_add_mpi:"-1230000000000000000":"-7b":"-123000000000000007b"
    290 
    291 MPI add #97 large negative + positive with leading zero limb , result<0
    292 mpi_add_mpi:"-1230000000000000000":"0000000000000000123":"-122fffffffffffffedd"
    293 
    294 MPI add #98 large negative + negative with leading zero limb
    295 mpi_add_mpi:"-1230000000000000000":"-0000000000000000123":"-1230000000000000123"
    296 
    297 MPI add #99 large negative + large positive , result=0
    298 mpi_add_mpi:"-1230000000000000000":"1230000000000000000":"0"
    299 
    300 MPI add #100 large negative + large negative
    301 mpi_add_mpi:"-1230000000000000000":"-1230000000000000000":"-2460000000000000000"
    302 
    303 MPI add #101 large positive + large positive
    304 mpi_add_mpi:"1c67967269c6":"1c67967269c6":"38cf2ce4d38c"
    305 
    306 MPI add #102 large positive + positive
    307 mpi_add_mpi:"1c67967269c6":"9cde3":"1c67967c37a9"
    308 
    309 MPI add #103 large positive + large negative , result=0
    310 mpi_add_mpi:"1c67967269c6":"-1c67967269c6":"0"
    311 
    312 MPI add #104 large positive + negative , result>0
    313 mpi_add_mpi:"1c67967269c6":"-9cde3":"1c6796689be3"
    314 
    315 MPI add #105 positive + large positive
    316 mpi_add_mpi:"9cde3":"1c67967269c6":"1c67967c37a9"
    317 
    318 MPI add #106 positive + positive
    319 mpi_add_mpi:"9cde3":"9cde3":"139bc6"
    320 
    321 MPI add #107 positive + large negative , result<0
    322 mpi_add_mpi:"9cde3":"-1c67967269c6":"-1c6796689be3"
    323 
    324 MPI add #108 positive + negative , result=0
    325 mpi_add_mpi:"9cde3":"-9cde3":"0"
    326 
    327 MPI add #109 large negative + large positive , result=0
    328 mpi_add_mpi:"-1c67967269c6":"1c67967269c6":"0"
    329 
    330 MPI add #110 large negative + positive , result<0
    331 mpi_add_mpi:"-1c67967269c6":"9cde3":"-1c6796689be3"
    332 
    333 MPI add #111 large negative + large negative
    334 mpi_add_mpi:"-1c67967269c6":"-1c67967269c6":"-38cf2ce4d38c"
    335 
    336 MPI add #112 large negative + negative
    337 mpi_add_mpi:"-1c67967269c6":"-9cde3":"-1c67967c37a9"
    338 
    339 MPI add #113 negative + large positive , result>0
    340 mpi_add_mpi:"-9cde3":"1c67967269c6":"1c6796689be3"
    341 
    342 MPI add #114 negative + positive , result=0
    343 mpi_add_mpi:"-9cde3":"9cde3":"0"
    344 
    345 MPI add #115 negative + large negative
    346 mpi_add_mpi:"-9cde3":"-1c67967269c6":"-1c67967c37a9"
    347 
    348 MPI add #116 negative + negative
    349 mpi_add_mpi:"-9cde3":"-9cde3":"-139bc6"
    350 
    351 MPI compare #1 0 (null) == 0 (null)
    352 mpi_cmp_mpi:"":"":0
    353 
    354 MPI compare #2 0 (null) == 0 (1 limb)
    355 mpi_cmp_mpi:"":"0":0
    356 
    357 MPI compare #3 0 (null) == negative 0 (null)
    358 mpi_cmp_mpi:"":"-":0
    359 
    360 MPI compare #4 0 (null) == negative with leading zero limb
    361 mpi_cmp_mpi:"":"-0":0
    362 
    363 MPI compare #5 0 (null) < positive
    364 mpi_cmp_mpi:"":"7b":-1
    365 
    366 MPI compare #6 0 (null) > negative
    367 mpi_cmp_mpi:"":"-7b":1
    368 
    369 MPI compare #7 0 (null) < positive with leading zero limb
    370 mpi_cmp_mpi:"":"0000000000000000123":-1
    371 
    372 MPI compare #8 0 (null) > negative with leading zero limb
    373 mpi_cmp_mpi:"":"-0000000000000000123":1
    374 
    375 MPI compare #9 0 (null) < large positive
    376 mpi_cmp_mpi:"":"1230000000000000000":-1
    377 
    378 MPI compare #10 0 (null) > large negative
    379 mpi_cmp_mpi:"":"-1230000000000000000":1
    380 
    381 MPI compare #11 0 (1 limb) == 0 (null)
    382 mpi_cmp_mpi:"0":"":0
    383 
    384 MPI compare #12 0 (1 limb) == 0 (1 limb)
    385 mpi_cmp_mpi:"0":"0":0
    386 
    387 MPI compare #13 0 (1 limb) == negative 0 (null)
    388 mpi_cmp_mpi:"0":"-":0
    389 
    390 MPI compare #14 0 (1 limb) == negative with leading zero limb
    391 mpi_cmp_mpi:"0":"-0":0
    392 
    393 MPI compare #15 0 (1 limb) < positive
    394 mpi_cmp_mpi:"0":"7b":-1
    395 
    396 MPI compare #16 0 (1 limb) > negative
    397 mpi_cmp_mpi:"0":"-7b":1
    398 
    399 MPI compare #17 0 (1 limb) < positive with leading zero limb
    400 mpi_cmp_mpi:"0":"0000000000000000123":-1
    401 
    402 MPI compare #18 0 (1 limb) > negative with leading zero limb
    403 mpi_cmp_mpi:"0":"-0000000000000000123":1
    404 
    405 MPI compare #19 0 (1 limb) < large positive
    406 mpi_cmp_mpi:"0":"1230000000000000000":-1
    407 
    408 MPI compare #20 0 (1 limb) > large negative
    409 mpi_cmp_mpi:"0":"-1230000000000000000":1
    410 
    411 MPI compare #21 negative 0 (null) == 0 (null)
    412 mpi_cmp_mpi:"-":"":0
    413 
    414 MPI compare #22 negative 0 (null) == 0 (1 limb)
    415 mpi_cmp_mpi:"-":"0":0
    416 
    417 MPI compare #23 negative 0 (null) == negative 0 (null)
    418 mpi_cmp_mpi:"-":"-":0
    419 
    420 MPI compare #24 negative 0 (null) == negative with leading zero limb
    421 mpi_cmp_mpi:"-":"-0":0
    422 
    423 MPI compare #25 negative 0 (null) < positive
    424 mpi_cmp_mpi:"-":"7b":-1
    425 
    426 MPI compare #26 negative 0 (null) > negative
    427 mpi_cmp_mpi:"-":"-7b":1
    428 
    429 MPI compare #27 negative 0 (null) < positive with leading zero limb
    430 mpi_cmp_mpi:"-":"0000000000000000123":-1
    431 
    432 MPI compare #28 negative 0 (null) > negative with leading zero limb
    433 mpi_cmp_mpi:"-":"-0000000000000000123":1
    434 
    435 MPI compare #29 negative 0 (null) < large positive
    436 mpi_cmp_mpi:"-":"1230000000000000000":-1
    437 
    438 MPI compare #30 negative 0 (null) > large negative
    439 mpi_cmp_mpi:"-":"-1230000000000000000":1
    440 
    441 MPI compare #31 negative with leading zero limb == 0 (null)
    442 mpi_cmp_mpi:"-0":"":0
    443 
    444 MPI compare #32 negative with leading zero limb == 0 (1 limb)
    445 mpi_cmp_mpi:"-0":"0":0
    446 
    447 MPI compare #33 negative with leading zero limb == negative 0 (null)
    448 mpi_cmp_mpi:"-0":"-":0
    449 
    450 MPI compare #34 negative with leading zero limb == negative with leading zero limb
    451 mpi_cmp_mpi:"-0":"-0":0
    452 
    453 MPI compare #35 negative with leading zero limb < positive
    454 mpi_cmp_mpi:"-0":"7b":-1
    455 
    456 MPI compare #36 negative with leading zero limb > negative
    457 mpi_cmp_mpi:"-0":"-7b":1
    458 
    459 MPI compare #37 negative with leading zero limb < positive with leading zero limb
    460 mpi_cmp_mpi:"-0":"0000000000000000123":-1
    461 
    462 MPI compare #38 negative with leading zero limb > negative with leading zero limb
    463 mpi_cmp_mpi:"-0":"-0000000000000000123":1
    464 
    465 MPI compare #39 negative with leading zero limb < large positive
    466 mpi_cmp_mpi:"-0":"1230000000000000000":-1
    467 
    468 MPI compare #40 negative with leading zero limb > large negative
    469 mpi_cmp_mpi:"-0":"-1230000000000000000":1
    470 
    471 MPI compare #41 positive > 0 (null)
    472 mpi_cmp_mpi:"7b":"":1
    473 
    474 MPI compare #42 positive > 0 (1 limb)
    475 mpi_cmp_mpi:"7b":"0":1
    476 
    477 MPI compare #43 positive > negative 0 (null)
    478 mpi_cmp_mpi:"7b":"-":1
    479 
    480 MPI compare #44 positive > negative with leading zero limb
    481 mpi_cmp_mpi:"7b":"-0":1
    482 
    483 MPI compare #45 positive == positive
    484 mpi_cmp_mpi:"7b":"7b":0
    485 
    486 MPI compare #46 positive > negative
    487 mpi_cmp_mpi:"7b":"-7b":1
    488 
    489 MPI compare #47 positive < positive with leading zero limb
    490 mpi_cmp_mpi:"7b":"0000000000000000123":-1
    491 
    492 MPI compare #48 positive > negative with leading zero limb
    493 mpi_cmp_mpi:"7b":"-0000000000000000123":1
    494 
    495 MPI compare #49 positive < large positive
    496 mpi_cmp_mpi:"7b":"1230000000000000000":-1
    497 
    498 MPI compare #50 positive > large negative
    499 mpi_cmp_mpi:"7b":"-1230000000000000000":1
    500 
    501 MPI compare #51 negative < 0 (null)
    502 mpi_cmp_mpi:"-7b":"":-1
    503 
    504 MPI compare #52 negative < 0 (1 limb)
    505 mpi_cmp_mpi:"-7b":"0":-1
    506 
    507 MPI compare #53 negative < negative 0 (null)
    508 mpi_cmp_mpi:"-7b":"-":-1
    509 
    510 MPI compare #54 negative < negative with leading zero limb
    511 mpi_cmp_mpi:"-7b":"-0":-1
    512 
    513 MPI compare #55 negative < positive
    514 mpi_cmp_mpi:"-7b":"7b":-1
    515 
    516 MPI compare #56 negative == negative
    517 mpi_cmp_mpi:"-7b":"-7b":0
    518 
    519 MPI compare #57 negative < positive with leading zero limb
    520 mpi_cmp_mpi:"-7b":"0000000000000000123":-1
    521 
    522 MPI compare #58 negative > negative with leading zero limb
    523 mpi_cmp_mpi:"-7b":"-0000000000000000123":1
    524 
    525 MPI compare #59 negative < large positive
    526 mpi_cmp_mpi:"-7b":"1230000000000000000":-1
    527 
    528 MPI compare #60 negative > large negative
    529 mpi_cmp_mpi:"-7b":"-1230000000000000000":1
    530 
    531 MPI compare #61 positive with leading zero limb > 0 (null)
    532 mpi_cmp_mpi:"0000000000000000123":"":1
    533 
    534 MPI compare #62 positive with leading zero limb > 0 (1 limb)
    535 mpi_cmp_mpi:"0000000000000000123":"0":1
    536 
    537 MPI compare #63 positive with leading zero limb > negative 0 (null)
    538 mpi_cmp_mpi:"0000000000000000123":"-":1
    539 
    540 MPI compare #64 positive with leading zero limb > negative with leading zero limb
    541 mpi_cmp_mpi:"0000000000000000123":"-0":1
    542 
    543 MPI compare #65 positive with leading zero limb > positive
    544 mpi_cmp_mpi:"0000000000000000123":"7b":1
    545 
    546 MPI compare #66 positive with leading zero limb > negative
    547 mpi_cmp_mpi:"0000000000000000123":"-7b":1
    548 
    549 MPI compare #67 positive with leading zero limb == positive with leading zero limb
    550 mpi_cmp_mpi:"0000000000000000123":"0000000000000000123":0
    551 
    552 MPI compare #68 positive with leading zero limb > negative with leading zero limb
    553 mpi_cmp_mpi:"0000000000000000123":"-0000000000000000123":1
    554 
    555 MPI compare #69 positive with leading zero limb < large positive
    556 mpi_cmp_mpi:"0000000000000000123":"1230000000000000000":-1
    557 
    558 MPI compare #70 positive with leading zero limb > large negative
    559 mpi_cmp_mpi:"0000000000000000123":"-1230000000000000000":1
    560 
    561 MPI compare #71 negative with leading zero limb < 0 (null)
    562 mpi_cmp_mpi:"-0000000000000000123":"":-1
    563 
    564 MPI compare #72 negative with leading zero limb < 0 (1 limb)
    565 mpi_cmp_mpi:"-0000000000000000123":"0":-1
    566 
    567 MPI compare #73 negative with leading zero limb < negative 0 (null)
    568 mpi_cmp_mpi:"-0000000000000000123":"-":-1
    569 
    570 MPI compare #74 negative with leading zero limb < negative with leading zero limb
    571 mpi_cmp_mpi:"-0000000000000000123":"-0":-1
    572 
    573 MPI compare #75 negative with leading zero limb < positive
    574 mpi_cmp_mpi:"-0000000000000000123":"7b":-1
    575 
    576 MPI compare #76 negative with leading zero limb < negative
    577 mpi_cmp_mpi:"-0000000000000000123":"-7b":-1
    578 
    579 MPI compare #77 negative with leading zero limb < positive with leading zero limb
    580 mpi_cmp_mpi:"-0000000000000000123":"0000000000000000123":-1
    581 
    582 MPI compare #78 negative with leading zero limb == negative with leading zero limb
    583 mpi_cmp_mpi:"-0000000000000000123":"-0000000000000000123":0
    584 
    585 MPI compare #79 negative with leading zero limb < large positive
    586 mpi_cmp_mpi:"-0000000000000000123":"1230000000000000000":-1
    587 
    588 MPI compare #80 negative with leading zero limb > large negative
    589 mpi_cmp_mpi:"-0000000000000000123":"-1230000000000000000":1
    590 
    591 MPI compare #81 large positive > 0 (null)
    592 mpi_cmp_mpi:"1230000000000000000":"":1
    593 
    594 MPI compare #82 large positive > 0 (1 limb)
    595 mpi_cmp_mpi:"1230000000000000000":"0":1
    596 
    597 MPI compare #83 large positive > negative 0 (null)
    598 mpi_cmp_mpi:"1230000000000000000":"-":1
    599 
    600 MPI compare #84 large positive > negative with leading zero limb
    601 mpi_cmp_mpi:"1230000000000000000":"-0":1
    602 
    603 MPI compare #85 large positive > positive
    604 mpi_cmp_mpi:"1230000000000000000":"7b":1
    605 
    606 MPI compare #86 large positive > negative
    607 mpi_cmp_mpi:"1230000000000000000":"-7b":1
    608 
    609 MPI compare #87 large positive > positive with leading zero limb
    610 mpi_cmp_mpi:"1230000000000000000":"0000000000000000123":1
    611 
    612 MPI compare #88 large positive > negative with leading zero limb
    613 mpi_cmp_mpi:"1230000000000000000":"-0000000000000000123":1
    614 
    615 MPI compare #89 large positive == large positive
    616 mpi_cmp_mpi:"1230000000000000000":"1230000000000000000":0
    617 
    618 MPI compare #90 large positive > large negative
    619 mpi_cmp_mpi:"1230000000000000000":"-1230000000000000000":1
    620 
    621 MPI compare #91 large negative < 0 (null)
    622 mpi_cmp_mpi:"-1230000000000000000":"":-1
    623 
    624 MPI compare #92 large negative < 0 (1 limb)
    625 mpi_cmp_mpi:"-1230000000000000000":"0":-1
    626 
    627 MPI compare #93 large negative < negative 0 (null)
    628 mpi_cmp_mpi:"-1230000000000000000":"-":-1
    629 
    630 MPI compare #94 large negative < negative with leading zero limb
    631 mpi_cmp_mpi:"-1230000000000000000":"-0":-1
    632 
    633 MPI compare #95 large negative < positive
    634 mpi_cmp_mpi:"-1230000000000000000":"7b":-1
    635 
    636 MPI compare #96 large negative < negative
    637 mpi_cmp_mpi:"-1230000000000000000":"-7b":-1
    638 
    639 MPI compare #97 large negative < positive with leading zero limb
    640 mpi_cmp_mpi:"-1230000000000000000":"0000000000000000123":-1
    641 
    642 MPI compare #98 large negative < negative with leading zero limb
    643 mpi_cmp_mpi:"-1230000000000000000":"-0000000000000000123":-1
    644 
    645 MPI compare #99 large negative < large positive
    646 mpi_cmp_mpi:"-1230000000000000000":"1230000000000000000":-1
    647 
    648 MPI compare #100 large negative == large negative
    649 mpi_cmp_mpi:"-1230000000000000000":"-1230000000000000000":0
    650 
    651 MPI compare #101 negative > negative
    652 mpi_cmp_mpi:"-2":"-3":1
    653 
    654 MPI compare #102 negative == negative
    655 mpi_cmp_mpi:"-2":"-2":0
    656 
    657 MPI compare #103 positive < positive
    658 mpi_cmp_mpi:"2b4":"2b5":-1
    659 
    660 MPI compare #104 positive < positive
    661 mpi_cmp_mpi:"2b5":"2b6":-1
    662 
    663 MPI compare (abs) #1 0 (null) == 0 (null)
    664 mpi_cmp_abs:"":"":0
    665 
    666 MPI compare (abs) #2 0 (null) == 0 (1 limb)
    667 mpi_cmp_abs:"":"0":0
    668 
    669 MPI compare (abs) #3 0 (null) == 0 (null)
    670 mpi_cmp_abs:"":"":0
    671 
    672 MPI compare (abs) #4 0 (null) == 0 (1 limb)
    673 mpi_cmp_abs:"":"0":0
    674 
    675 MPI compare (abs) #5 0 (null) < positive
    676 mpi_cmp_abs:"":"7b":-1
    677 
    678 MPI compare (abs) #6 0 (null) < positive
    679 mpi_cmp_abs:"":"7b":-1
    680 
    681 MPI compare (abs) #7 0 (null) < positive with leading zero limb
    682 mpi_cmp_abs:"":"0000000000000000123":-1
    683 
    684 MPI compare (abs) #8 0 (null) < positive with leading zero limb
    685 mpi_cmp_abs:"":"0000000000000000123":-1
    686 
    687 MPI compare (abs) #9 0 (null) < large positive
    688 mpi_cmp_abs:"":"1230000000000000000":-1
    689 
    690 MPI compare (abs) #10 0 (null) < large positive
    691 mpi_cmp_abs:"":"1230000000000000000":-1
    692 
    693 MPI compare (abs) #11 0 (1 limb) == 0 (null)
    694 mpi_cmp_abs:"0":"":0
    695 
    696 MPI compare (abs) #12 0 (1 limb) == 0 (1 limb)
    697 mpi_cmp_abs:"0":"0":0
    698 
    699 MPI compare (abs) #13 0 (1 limb) == 0 (null)
    700 mpi_cmp_abs:"0":"":0
    701 
    702 MPI compare (abs) #14 0 (1 limb) == 0 (1 limb)
    703 mpi_cmp_abs:"0":"0":0
    704 
    705 MPI compare (abs) #15 0 (1 limb) < positive
    706 mpi_cmp_abs:"0":"7b":-1
    707 
    708 MPI compare (abs) #16 0 (1 limb) < positive
    709 mpi_cmp_abs:"0":"7b":-1
    710 
    711 MPI compare (abs) #17 0 (1 limb) < positive with leading zero limb
    712 mpi_cmp_abs:"0":"0000000000000000123":-1
    713 
    714 MPI compare (abs) #18 0 (1 limb) < positive with leading zero limb
    715 mpi_cmp_abs:"0":"0000000000000000123":-1
    716 
    717 MPI compare (abs) #19 0 (1 limb) < large positive
    718 mpi_cmp_abs:"0":"1230000000000000000":-1
    719 
    720 MPI compare (abs) #20 0 (1 limb) < large positive
    721 mpi_cmp_abs:"0":"1230000000000000000":-1
    722 
    723 MPI compare (abs) #21 0 (null) == 0 (null)
    724 mpi_cmp_abs:"":"":0
    725 
    726 MPI compare (abs) #22 0 (null) == 0 (1 limb)
    727 mpi_cmp_abs:"":"0":0
    728 
    729 MPI compare (abs) #23 0 (null) == 0 (null)
    730 mpi_cmp_abs:"":"":0
    731 
    732 MPI compare (abs) #24 0 (null) == 0 (1 limb)
    733 mpi_cmp_abs:"":"0":0
    734 
    735 MPI compare (abs) #25 0 (null) < positive
    736 mpi_cmp_abs:"":"7b":-1
    737 
    738 MPI compare (abs) #26 0 (null) < positive
    739 mpi_cmp_abs:"":"7b":-1
    740 
    741 MPI compare (abs) #27 0 (null) < positive with leading zero limb
    742 mpi_cmp_abs:"":"0000000000000000123":-1
    743 
    744 MPI compare (abs) #28 0 (null) < positive with leading zero limb
    745 mpi_cmp_abs:"":"0000000000000000123":-1
    746 
    747 MPI compare (abs) #29 0 (null) < large positive
    748 mpi_cmp_abs:"":"1230000000000000000":-1
    749 
    750 MPI compare (abs) #30 0 (null) < large positive
    751 mpi_cmp_abs:"":"1230000000000000000":-1
    752 
    753 MPI compare (abs) #31 0 (1 limb) == 0 (null)
    754 mpi_cmp_abs:"0":"":0
    755 
    756 MPI compare (abs) #32 0 (1 limb) == 0 (1 limb)
    757 mpi_cmp_abs:"0":"0":0
    758 
    759 MPI compare (abs) #33 0 (1 limb) == 0 (null)
    760 mpi_cmp_abs:"0":"":0
    761 
    762 MPI compare (abs) #34 0 (1 limb) == 0 (1 limb)
    763 mpi_cmp_abs:"0":"0":0
    764 
    765 MPI compare (abs) #35 0 (1 limb) < positive
    766 mpi_cmp_abs:"0":"7b":-1
    767 
    768 MPI compare (abs) #36 0 (1 limb) < positive
    769 mpi_cmp_abs:"0":"7b":-1
    770 
    771 MPI compare (abs) #37 0 (1 limb) < positive with leading zero limb
    772 mpi_cmp_abs:"0":"0000000000000000123":-1
    773 
    774 MPI compare (abs) #38 0 (1 limb) < positive with leading zero limb
    775 mpi_cmp_abs:"0":"0000000000000000123":-1
    776 
    777 MPI compare (abs) #39 0 (1 limb) < large positive
    778 mpi_cmp_abs:"0":"1230000000000000000":-1
    779 
    780 MPI compare (abs) #40 0 (1 limb) < large positive
    781 mpi_cmp_abs:"0":"1230000000000000000":-1
    782 
    783 MPI compare (abs) #41 positive > 0 (null)
    784 mpi_cmp_abs:"7b":"":1
    785 
    786 MPI compare (abs) #42 positive > 0 (1 limb)
    787 mpi_cmp_abs:"7b":"0":1
    788 
    789 MPI compare (abs) #43 positive > 0 (null)
    790 mpi_cmp_abs:"7b":"":1
    791 
    792 MPI compare (abs) #44 positive > 0 (1 limb)
    793 mpi_cmp_abs:"7b":"0":1
    794 
    795 MPI compare (abs) #45 positive == positive
    796 mpi_cmp_abs:"7b":"7b":0
    797 
    798 MPI compare (abs) #46 positive == positive
    799 mpi_cmp_abs:"7b":"7b":0
    800 
    801 MPI compare (abs) #47 positive < positive with leading zero limb
    802 mpi_cmp_abs:"7b":"0000000000000000123":-1
    803 
    804 MPI compare (abs) #48 positive < positive with leading zero limb
    805 mpi_cmp_abs:"7b":"0000000000000000123":-1
    806 
    807 MPI compare (abs) #49 positive < large positive
    808 mpi_cmp_abs:"7b":"1230000000000000000":-1
    809 
    810 MPI compare (abs) #50 positive < large positive
    811 mpi_cmp_abs:"7b":"1230000000000000000":-1
    812 
    813 MPI compare (abs) #51 positive > 0 (null)
    814 mpi_cmp_abs:"7b":"":1
    815 
    816 MPI compare (abs) #52 positive > 0 (1 limb)
    817 mpi_cmp_abs:"7b":"0":1
    818 
    819 MPI compare (abs) #53 positive > 0 (null)
    820 mpi_cmp_abs:"7b":"":1
    821 
    822 MPI compare (abs) #54 positive > 0 (1 limb)
    823 mpi_cmp_abs:"7b":"0":1
    824 
    825 MPI compare (abs) #55 positive == positive
    826 mpi_cmp_abs:"7b":"7b":0
    827 
    828 MPI compare (abs) #56 positive == positive
    829 mpi_cmp_abs:"7b":"7b":0
    830 
    831 MPI compare (abs) #57 positive < positive with leading zero limb
    832 mpi_cmp_abs:"7b":"0000000000000000123":-1
    833 
    834 MPI compare (abs) #58 positive < positive with leading zero limb
    835 mpi_cmp_abs:"7b":"0000000000000000123":-1
    836 
    837 MPI compare (abs) #59 positive < large positive
    838 mpi_cmp_abs:"7b":"1230000000000000000":-1
    839 
    840 MPI compare (abs) #60 positive < large positive
    841 mpi_cmp_abs:"7b":"1230000000000000000":-1
    842 
    843 MPI compare (abs) #61 positive with leading zero limb > 0 (null)
    844 mpi_cmp_abs:"0000000000000000123":"":1
    845 
    846 MPI compare (abs) #62 positive with leading zero limb > 0 (1 limb)
    847 mpi_cmp_abs:"0000000000000000123":"0":1
    848 
    849 MPI compare (abs) #63 positive with leading zero limb > 0 (null)
    850 mpi_cmp_abs:"0000000000000000123":"":1
    851 
    852 MPI compare (abs) #64 positive with leading zero limb > 0 (1 limb)
    853 mpi_cmp_abs:"0000000000000000123":"0":1
    854 
    855 MPI compare (abs) #65 positive with leading zero limb > positive
    856 mpi_cmp_abs:"0000000000000000123":"7b":1
    857 
    858 MPI compare (abs) #66 positive with leading zero limb > positive
    859 mpi_cmp_abs:"0000000000000000123":"7b":1
    860 
    861 MPI compare (abs) #67 positive with leading zero limb == positive with leading zero limb
    862 mpi_cmp_abs:"0000000000000000123":"0000000000000000123":0
    863 
    864 MPI compare (abs) #68 positive with leading zero limb == positive with leading zero limb
    865 mpi_cmp_abs:"0000000000000000123":"0000000000000000123":0
    866 
    867 MPI compare (abs) #69 positive with leading zero limb < large positive
    868 mpi_cmp_abs:"0000000000000000123":"1230000000000000000":-1
    869 
    870 MPI compare (abs) #70 positive with leading zero limb < large positive
    871 mpi_cmp_abs:"0000000000000000123":"1230000000000000000":-1
    872 
    873 MPI compare (abs) #71 positive with leading zero limb > 0 (null)
    874 mpi_cmp_abs:"0000000000000000123":"":1
    875 
    876 MPI compare (abs) #72 positive with leading zero limb > 0 (1 limb)
    877 mpi_cmp_abs:"0000000000000000123":"0":1
    878 
    879 MPI compare (abs) #73 positive with leading zero limb > 0 (null)
    880 mpi_cmp_abs:"0000000000000000123":"":1
    881 
    882 MPI compare (abs) #74 positive with leading zero limb > 0 (1 limb)
    883 mpi_cmp_abs:"0000000000000000123":"0":1
    884 
    885 MPI compare (abs) #75 positive with leading zero limb > positive
    886 mpi_cmp_abs:"0000000000000000123":"7b":1
    887 
    888 MPI compare (abs) #76 positive with leading zero limb > positive
    889 mpi_cmp_abs:"0000000000000000123":"7b":1
    890 
    891 MPI compare (abs) #77 positive with leading zero limb == positive with leading zero limb
    892 mpi_cmp_abs:"0000000000000000123":"0000000000000000123":0
    893 
    894 MPI compare (abs) #78 positive with leading zero limb == positive with leading zero limb
    895 mpi_cmp_abs:"0000000000000000123":"0000000000000000123":0
    896 
    897 MPI compare (abs) #79 positive with leading zero limb < large positive
    898 mpi_cmp_abs:"0000000000000000123":"1230000000000000000":-1
    899 
    900 MPI compare (abs) #80 positive with leading zero limb < large positive
    901 mpi_cmp_abs:"0000000000000000123":"1230000000000000000":-1
    902 
    903 MPI compare (abs) #81 large positive > 0 (null)
    904 mpi_cmp_abs:"1230000000000000000":"":1
    905 
    906 MPI compare (abs) #82 large positive > 0 (1 limb)
    907 mpi_cmp_abs:"1230000000000000000":"0":1
    908 
    909 MPI compare (abs) #83 large positive > 0 (null)
    910 mpi_cmp_abs:"1230000000000000000":"":1
    911 
    912 MPI compare (abs) #84 large positive > 0 (1 limb)
    913 mpi_cmp_abs:"1230000000000000000":"0":1
    914 
    915 MPI compare (abs) #85 large positive > positive
    916 mpi_cmp_abs:"1230000000000000000":"7b":1
    917 
    918 MPI compare (abs) #86 large positive > positive
    919 mpi_cmp_abs:"1230000000000000000":"7b":1
    920 
    921 MPI compare (abs) #87 large positive > positive with leading zero limb
    922 mpi_cmp_abs:"1230000000000000000":"0000000000000000123":1
    923 
    924 MPI compare (abs) #88 large positive > positive with leading zero limb
    925 mpi_cmp_abs:"1230000000000000000":"0000000000000000123":1
    926 
    927 MPI compare (abs) #89 large positive == large positive
    928 mpi_cmp_abs:"1230000000000000000":"1230000000000000000":0
    929 
    930 MPI compare (abs) #90 large positive == large positive
    931 mpi_cmp_abs:"1230000000000000000":"1230000000000000000":0
    932 
    933 MPI compare (abs) #91 large positive > 0 (null)
    934 mpi_cmp_abs:"1230000000000000000":"":1
    935 
    936 MPI compare (abs) #92 large positive > 0 (1 limb)
    937 mpi_cmp_abs:"1230000000000000000":"0":1
    938 
    939 MPI compare (abs) #93 large positive > 0 (null)
    940 mpi_cmp_abs:"1230000000000000000":"":1
    941 
    942 MPI compare (abs) #94 large positive > 0 (1 limb)
    943 mpi_cmp_abs:"1230000000000000000":"0":1
    944 
    945 MPI compare (abs) #95 large positive > positive
    946 mpi_cmp_abs:"1230000000000000000":"7b":1
    947 
    948 MPI compare (abs) #96 large positive > positive
    949 mpi_cmp_abs:"1230000000000000000":"7b":1
    950 
    951 MPI compare (abs) #97 large positive > positive with leading zero limb
    952 mpi_cmp_abs:"1230000000000000000":"0000000000000000123":1
    953 
    954 MPI compare (abs) #98 large positive > positive with leading zero limb
    955 mpi_cmp_abs:"1230000000000000000":"0000000000000000123":1
    956 
    957 MPI compare (abs) #99 large positive == large positive
    958 mpi_cmp_abs:"1230000000000000000":"1230000000000000000":0
    959 
    960 MPI compare (abs) #100 large positive == large positive
    961 mpi_cmp_abs:"1230000000000000000":"1230000000000000000":0
    962 
    963 MPI compare (abs) #101 positive < positive
    964 mpi_cmp_abs:"2":"3":-1
    965 
    966 MPI compare (abs) #102 positive == positive
    967 mpi_cmp_abs:"2":"2":0
    968 
    969 MPI compare (abs) #103 positive < positive
    970 mpi_cmp_abs:"2b4":"2b5":-1
    971 
    972 MPI compare (abs) #104 positive < positive
    973 mpi_cmp_abs:"2b5":"2b6":-1
    974 
    975 # End of automatically generated file.