blob: 00379effbf5f0d85c4b5f31261883603a4a62789 [file] [log] [blame]
Werner Lewis05998a02022-09-21 16:55:21 +01001# Automatically generated by generate_bignum_tests.py. Do not edit!
2
3MPI add #1 0 (null) + 0 (null)
4mbedtls_mpi_add_mpi:"":"":"0"
5
6MPI add #2 0 (null) + 0 (1 limb)
7mbedtls_mpi_add_mpi:"":"0":"0"
8
Gilles Peskine92c5d312022-11-09 22:06:34 +01009MPI add #3 0 (null) + negative 0 (null)
10mbedtls_mpi_add_mpi:"":"-":"0"
11
12MPI add #4 0 (null) + negative with leading zero limb
13mbedtls_mpi_add_mpi:"":"-0":"0"
14
15MPI add #5 0 (null) + positive
Werner Lewis05998a02022-09-21 16:55:21 +010016mbedtls_mpi_add_mpi:"":"7b":"7b"
17
Gilles Peskine92c5d312022-11-09 22:06:34 +010018MPI add #6 0 (null) + negative
Werner Lewis05998a02022-09-21 16:55:21 +010019mbedtls_mpi_add_mpi:"":"-7b":"-7b"
20
Gilles Peskine92c5d312022-11-09 22:06:34 +010021MPI add #7 0 (null) + positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +010022mbedtls_mpi_add_mpi:"":"0000000000000000123":"123"
23
Gilles Peskine92c5d312022-11-09 22:06:34 +010024MPI add #8 0 (null) + negative with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +010025mbedtls_mpi_add_mpi:"":"-0000000000000000123":"-123"
26
Gilles Peskine92c5d312022-11-09 22:06:34 +010027MPI add #9 0 (null) + large positive
Werner Lewis05998a02022-09-21 16:55:21 +010028mbedtls_mpi_add_mpi:"":"1230000000000000000":"1230000000000000000"
29
Gilles Peskine92c5d312022-11-09 22:06:34 +010030MPI add #10 0 (null) + large negative
Werner Lewis05998a02022-09-21 16:55:21 +010031mbedtls_mpi_add_mpi:"":"-1230000000000000000":"-1230000000000000000"
32
Gilles Peskine92c5d312022-11-09 22:06:34 +010033MPI add #11 0 (1 limb) + 0 (null)
Gilles Peskineee78b6e2022-11-09 21:57:52 +010034mbedtls_mpi_add_mpi:"0":"":"0"
35
Gilles Peskine92c5d312022-11-09 22:06:34 +010036MPI add #12 0 (1 limb) + 0 (1 limb)
Werner Lewis05998a02022-09-21 16:55:21 +010037mbedtls_mpi_add_mpi:"0":"0":"0"
38
Gilles Peskine92c5d312022-11-09 22:06:34 +010039MPI add #13 0 (1 limb) + negative 0 (null)
40mbedtls_mpi_add_mpi:"0":"-":"0"
Werner Lewis05998a02022-09-21 16:55:21 +010041
Gilles Peskineee78b6e2022-11-09 21:57:52 +010042MPI add #14 0 (1 limb) + negative with leading zero limb
Gilles Peskine92c5d312022-11-09 22:06:34 +010043mbedtls_mpi_add_mpi:"0":"-0":"0"
44
45MPI add #15 0 (1 limb) + positive
46mbedtls_mpi_add_mpi:"0":"7b":"7b"
47
48MPI add #16 0 (1 limb) + negative
49mbedtls_mpi_add_mpi:"0":"-7b":"-7b"
50
51MPI add #17 0 (1 limb) + positive with leading zero limb
52mbedtls_mpi_add_mpi:"0":"0000000000000000123":"123"
53
54MPI add #18 0 (1 limb) + negative with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +010055mbedtls_mpi_add_mpi:"0":"-0000000000000000123":"-123"
56
Gilles Peskine92c5d312022-11-09 22:06:34 +010057MPI add #19 0 (1 limb) + large positive
Werner Lewis05998a02022-09-21 16:55:21 +010058mbedtls_mpi_add_mpi:"0":"1230000000000000000":"1230000000000000000"
59
Gilles Peskine92c5d312022-11-09 22:06:34 +010060MPI add #20 0 (1 limb) + large negative
Werner Lewis05998a02022-09-21 16:55:21 +010061mbedtls_mpi_add_mpi:"0":"-1230000000000000000":"-1230000000000000000"
62
Gilles Peskine92c5d312022-11-09 22:06:34 +010063MPI add #21 negative 0 (null) + 0 (null)
64mbedtls_mpi_add_mpi:"-":"":"0"
65
66MPI add #22 negative 0 (null) + 0 (1 limb)
67mbedtls_mpi_add_mpi:"-":"0":"0"
68
69MPI add #23 negative 0 (null) + negative 0 (null)
70mbedtls_mpi_add_mpi:"-":"-":"0"
71
72MPI add #24 negative 0 (null) + negative with leading zero limb
73mbedtls_mpi_add_mpi:"-":"-0":"0"
74
75MPI add #25 negative 0 (null) + positive
76mbedtls_mpi_add_mpi:"-":"7b":"7b"
77
78MPI add #26 negative 0 (null) + negative
79mbedtls_mpi_add_mpi:"-":"-7b":"-7b"
80
81MPI add #27 negative 0 (null) + positive with leading zero limb
82mbedtls_mpi_add_mpi:"-":"0000000000000000123":"123"
83
84MPI add #28 negative 0 (null) + negative with leading zero limb
85mbedtls_mpi_add_mpi:"-":"-0000000000000000123":"-123"
86
87MPI add #29 negative 0 (null) + large positive
88mbedtls_mpi_add_mpi:"-":"1230000000000000000":"1230000000000000000"
89
90MPI add #30 negative 0 (null) + large negative
91mbedtls_mpi_add_mpi:"-":"-1230000000000000000":"-1230000000000000000"
92
93MPI add #31 negative with leading zero limb + 0 (null)
94mbedtls_mpi_add_mpi:"-0":"":"0"
95
96MPI add #32 negative with leading zero limb + 0 (1 limb)
97mbedtls_mpi_add_mpi:"-0":"0":"0"
98
99MPI add #33 negative with leading zero limb + negative 0 (null)
100mbedtls_mpi_add_mpi:"-0":"-":"0"
101
102MPI add #34 negative with leading zero limb + negative with leading zero limb
103mbedtls_mpi_add_mpi:"-0":"-0":"0"
104
105MPI add #35 negative with leading zero limb + positive
106mbedtls_mpi_add_mpi:"-0":"7b":"7b"
107
108MPI add #36 negative with leading zero limb + negative
109mbedtls_mpi_add_mpi:"-0":"-7b":"-7b"
110
111MPI add #37 negative with leading zero limb + positive with leading zero limb
112mbedtls_mpi_add_mpi:"-0":"0000000000000000123":"123"
113
114MPI add #38 negative with leading zero limb + negative with leading zero limb
115mbedtls_mpi_add_mpi:"-0":"-0000000000000000123":"-123"
116
117MPI add #39 negative with leading zero limb + large positive
118mbedtls_mpi_add_mpi:"-0":"1230000000000000000":"1230000000000000000"
119
120MPI add #40 negative with leading zero limb + large negative
121mbedtls_mpi_add_mpi:"-0":"-1230000000000000000":"-1230000000000000000"
122
123MPI add #41 positive + 0 (null)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100124mbedtls_mpi_add_mpi:"7b":"":"7b"
125
Gilles Peskine92c5d312022-11-09 22:06:34 +0100126MPI add #42 positive + 0 (1 limb)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100127mbedtls_mpi_add_mpi:"7b":"0":"7b"
128
Gilles Peskine92c5d312022-11-09 22:06:34 +0100129MPI add #43 positive + negative 0 (null)
130mbedtls_mpi_add_mpi:"7b":"-":"7b"
131
132MPI add #44 positive + negative with leading zero limb
133mbedtls_mpi_add_mpi:"7b":"-0":"7b"
134
135MPI add #45 positive + positive
Werner Lewis05998a02022-09-21 16:55:21 +0100136mbedtls_mpi_add_mpi:"7b":"7b":"f6"
137
Gilles Peskine92c5d312022-11-09 22:06:34 +0100138MPI add #46 positive + negative , result=0
Werner Lewis05998a02022-09-21 16:55:21 +0100139mbedtls_mpi_add_mpi:"7b":"-7b":"0"
140
Gilles Peskine92c5d312022-11-09 22:06:34 +0100141MPI add #47 positive + positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100142mbedtls_mpi_add_mpi:"7b":"0000000000000000123":"19e"
143
Gilles Peskine92c5d312022-11-09 22:06:34 +0100144MPI add #48 positive + negative with leading zero limb , result<0
Werner Lewis05998a02022-09-21 16:55:21 +0100145mbedtls_mpi_add_mpi:"7b":"-0000000000000000123":"-a8"
146
Gilles Peskine92c5d312022-11-09 22:06:34 +0100147MPI add #49 positive + large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100148mbedtls_mpi_add_mpi:"7b":"1230000000000000000":"123000000000000007b"
149
Gilles Peskine92c5d312022-11-09 22:06:34 +0100150MPI add #50 positive + large negative , result<0
Werner Lewis05998a02022-09-21 16:55:21 +0100151mbedtls_mpi_add_mpi:"7b":"-1230000000000000000":"-122ffffffffffffff85"
152
Gilles Peskine92c5d312022-11-09 22:06:34 +0100153MPI add #51 negative + 0 (null)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100154mbedtls_mpi_add_mpi:"-7b":"":"-7b"
155
Gilles Peskine92c5d312022-11-09 22:06:34 +0100156MPI add #52 negative + 0 (1 limb)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100157mbedtls_mpi_add_mpi:"-7b":"0":"-7b"
158
Gilles Peskine92c5d312022-11-09 22:06:34 +0100159MPI add #53 negative + negative 0 (null)
160mbedtls_mpi_add_mpi:"-7b":"-":"-7b"
161
162MPI add #54 negative + negative with leading zero limb
163mbedtls_mpi_add_mpi:"-7b":"-0":"-7b"
164
165MPI add #55 negative + positive , result=0
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100166mbedtls_mpi_add_mpi:"-7b":"7b":"0"
167
Gilles Peskine92c5d312022-11-09 22:06:34 +0100168MPI add #56 negative + negative
Werner Lewis05998a02022-09-21 16:55:21 +0100169mbedtls_mpi_add_mpi:"-7b":"-7b":"-f6"
170
Gilles Peskine92c5d312022-11-09 22:06:34 +0100171MPI add #57 negative + positive with leading zero limb , result>0
Werner Lewis05998a02022-09-21 16:55:21 +0100172mbedtls_mpi_add_mpi:"-7b":"0000000000000000123":"a8"
173
Gilles Peskine92c5d312022-11-09 22:06:34 +0100174MPI add #58 negative + negative with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100175mbedtls_mpi_add_mpi:"-7b":"-0000000000000000123":"-19e"
176
Gilles Peskine92c5d312022-11-09 22:06:34 +0100177MPI add #59 negative + large positive , result>0
Werner Lewis05998a02022-09-21 16:55:21 +0100178mbedtls_mpi_add_mpi:"-7b":"1230000000000000000":"122ffffffffffffff85"
179
Gilles Peskine92c5d312022-11-09 22:06:34 +0100180MPI add #60 negative + large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100181mbedtls_mpi_add_mpi:"-7b":"-1230000000000000000":"-123000000000000007b"
182
Gilles Peskine92c5d312022-11-09 22:06:34 +0100183MPI add #61 positive with leading zero limb + 0 (null)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100184mbedtls_mpi_add_mpi:"0000000000000000123":"":"123"
185
Gilles Peskine92c5d312022-11-09 22:06:34 +0100186MPI add #62 positive with leading zero limb + 0 (1 limb)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100187mbedtls_mpi_add_mpi:"0000000000000000123":"0":"123"
188
Gilles Peskine92c5d312022-11-09 22:06:34 +0100189MPI add #63 positive with leading zero limb + negative 0 (null)
190mbedtls_mpi_add_mpi:"0000000000000000123":"-":"123"
191
192MPI add #64 positive with leading zero limb + negative with leading zero limb
193mbedtls_mpi_add_mpi:"0000000000000000123":"-0":"123"
194
195MPI add #65 positive with leading zero limb + positive
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100196mbedtls_mpi_add_mpi:"0000000000000000123":"7b":"19e"
197
Gilles Peskine92c5d312022-11-09 22:06:34 +0100198MPI add #66 positive with leading zero limb + negative , result>0
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100199mbedtls_mpi_add_mpi:"0000000000000000123":"-7b":"a8"
200
Gilles Peskine92c5d312022-11-09 22:06:34 +0100201MPI add #67 positive with leading zero limb + positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100202mbedtls_mpi_add_mpi:"0000000000000000123":"0000000000000000123":"246"
203
Gilles Peskine92c5d312022-11-09 22:06:34 +0100204MPI add #68 positive with leading zero limb + negative with leading zero limb , result=0
Werner Lewis05998a02022-09-21 16:55:21 +0100205mbedtls_mpi_add_mpi:"0000000000000000123":"-0000000000000000123":"0"
206
Gilles Peskine92c5d312022-11-09 22:06:34 +0100207MPI add #69 positive with leading zero limb + large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100208mbedtls_mpi_add_mpi:"0000000000000000123":"1230000000000000000":"1230000000000000123"
209
Gilles Peskine92c5d312022-11-09 22:06:34 +0100210MPI add #70 positive with leading zero limb + large negative , result<0
Werner Lewis05998a02022-09-21 16:55:21 +0100211mbedtls_mpi_add_mpi:"0000000000000000123":"-1230000000000000000":"-122fffffffffffffedd"
212
Gilles Peskine92c5d312022-11-09 22:06:34 +0100213MPI add #71 negative with leading zero limb + 0 (null)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100214mbedtls_mpi_add_mpi:"-0000000000000000123":"":"-123"
215
Gilles Peskine92c5d312022-11-09 22:06:34 +0100216MPI add #72 negative with leading zero limb + 0 (1 limb)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100217mbedtls_mpi_add_mpi:"-0000000000000000123":"0":"-123"
218
Gilles Peskine92c5d312022-11-09 22:06:34 +0100219MPI add #73 negative with leading zero limb + negative 0 (null)
220mbedtls_mpi_add_mpi:"-0000000000000000123":"-":"-123"
221
222MPI add #74 negative with leading zero limb + negative with leading zero limb
223mbedtls_mpi_add_mpi:"-0000000000000000123":"-0":"-123"
224
225MPI add #75 negative with leading zero limb + positive , result<0
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100226mbedtls_mpi_add_mpi:"-0000000000000000123":"7b":"-a8"
227
Gilles Peskine92c5d312022-11-09 22:06:34 +0100228MPI add #76 negative with leading zero limb + negative
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100229mbedtls_mpi_add_mpi:"-0000000000000000123":"-7b":"-19e"
230
Gilles Peskine92c5d312022-11-09 22:06:34 +0100231MPI add #77 negative with leading zero limb + positive with leading zero limb , result=0
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100232mbedtls_mpi_add_mpi:"-0000000000000000123":"0000000000000000123":"0"
233
Gilles Peskine92c5d312022-11-09 22:06:34 +0100234MPI add #78 negative with leading zero limb + negative with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100235mbedtls_mpi_add_mpi:"-0000000000000000123":"-0000000000000000123":"-246"
236
Gilles Peskine92c5d312022-11-09 22:06:34 +0100237MPI add #79 negative with leading zero limb + large positive , result>0
Werner Lewis05998a02022-09-21 16:55:21 +0100238mbedtls_mpi_add_mpi:"-0000000000000000123":"1230000000000000000":"122fffffffffffffedd"
239
Gilles Peskine92c5d312022-11-09 22:06:34 +0100240MPI add #80 negative with leading zero limb + large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100241mbedtls_mpi_add_mpi:"-0000000000000000123":"-1230000000000000000":"-1230000000000000123"
242
Gilles Peskine92c5d312022-11-09 22:06:34 +0100243MPI add #81 large positive + 0 (null)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100244mbedtls_mpi_add_mpi:"1230000000000000000":"":"1230000000000000000"
245
Gilles Peskine92c5d312022-11-09 22:06:34 +0100246MPI add #82 large positive + 0 (1 limb)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100247mbedtls_mpi_add_mpi:"1230000000000000000":"0":"1230000000000000000"
248
Gilles Peskine92c5d312022-11-09 22:06:34 +0100249MPI add #83 large positive + negative 0 (null)
250mbedtls_mpi_add_mpi:"1230000000000000000":"-":"1230000000000000000"
251
252MPI add #84 large positive + negative with leading zero limb
253mbedtls_mpi_add_mpi:"1230000000000000000":"-0":"1230000000000000000"
254
255MPI add #85 large positive + positive
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100256mbedtls_mpi_add_mpi:"1230000000000000000":"7b":"123000000000000007b"
257
Gilles Peskine92c5d312022-11-09 22:06:34 +0100258MPI add #86 large positive + negative , result>0
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100259mbedtls_mpi_add_mpi:"1230000000000000000":"-7b":"122ffffffffffffff85"
260
Gilles Peskine92c5d312022-11-09 22:06:34 +0100261MPI add #87 large positive + positive with leading zero limb
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100262mbedtls_mpi_add_mpi:"1230000000000000000":"0000000000000000123":"1230000000000000123"
263
Gilles Peskine92c5d312022-11-09 22:06:34 +0100264MPI add #88 large positive + negative with leading zero limb , result>0
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100265mbedtls_mpi_add_mpi:"1230000000000000000":"-0000000000000000123":"122fffffffffffffedd"
266
Gilles Peskine92c5d312022-11-09 22:06:34 +0100267MPI add #89 large positive + large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100268mbedtls_mpi_add_mpi:"1230000000000000000":"1230000000000000000":"2460000000000000000"
269
Gilles Peskine92c5d312022-11-09 22:06:34 +0100270MPI add #90 large positive + large negative , result=0
Werner Lewis05998a02022-09-21 16:55:21 +0100271mbedtls_mpi_add_mpi:"1230000000000000000":"-1230000000000000000":"0"
272
Gilles Peskine92c5d312022-11-09 22:06:34 +0100273MPI add #91 large negative + 0 (null)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100274mbedtls_mpi_add_mpi:"-1230000000000000000":"":"-1230000000000000000"
275
Gilles Peskine92c5d312022-11-09 22:06:34 +0100276MPI add #92 large negative + 0 (1 limb)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100277mbedtls_mpi_add_mpi:"-1230000000000000000":"0":"-1230000000000000000"
278
Gilles Peskine92c5d312022-11-09 22:06:34 +0100279MPI add #93 large negative + negative 0 (null)
280mbedtls_mpi_add_mpi:"-1230000000000000000":"-":"-1230000000000000000"
281
282MPI add #94 large negative + negative with leading zero limb
283mbedtls_mpi_add_mpi:"-1230000000000000000":"-0":"-1230000000000000000"
284
285MPI add #95 large negative + positive , result<0
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100286mbedtls_mpi_add_mpi:"-1230000000000000000":"7b":"-122ffffffffffffff85"
287
Gilles Peskine92c5d312022-11-09 22:06:34 +0100288MPI add #96 large negative + negative
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100289mbedtls_mpi_add_mpi:"-1230000000000000000":"-7b":"-123000000000000007b"
290
Gilles Peskine92c5d312022-11-09 22:06:34 +0100291MPI add #97 large negative + positive with leading zero limb , result<0
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100292mbedtls_mpi_add_mpi:"-1230000000000000000":"0000000000000000123":"-122fffffffffffffedd"
293
Gilles Peskine92c5d312022-11-09 22:06:34 +0100294MPI add #98 large negative + negative with leading zero limb
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100295mbedtls_mpi_add_mpi:"-1230000000000000000":"-0000000000000000123":"-1230000000000000123"
296
Gilles Peskine92c5d312022-11-09 22:06:34 +0100297MPI add #99 large negative + large positive , result=0
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100298mbedtls_mpi_add_mpi:"-1230000000000000000":"1230000000000000000":"0"
299
Gilles Peskine92c5d312022-11-09 22:06:34 +0100300MPI add #100 large negative + large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100301mbedtls_mpi_add_mpi:"-1230000000000000000":"-1230000000000000000":"-2460000000000000000"
302
Gilles Peskine92c5d312022-11-09 22:06:34 +0100303MPI add #101 large positive + large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100304mbedtls_mpi_add_mpi:"1c67967269c6":"1c67967269c6":"38cf2ce4d38c"
305
Gilles Peskine92c5d312022-11-09 22:06:34 +0100306MPI add #102 large positive + positive
Werner Lewis05998a02022-09-21 16:55:21 +0100307mbedtls_mpi_add_mpi:"1c67967269c6":"9cde3":"1c67967c37a9"
308
Gilles Peskine92c5d312022-11-09 22:06:34 +0100309MPI add #103 large positive + large negative , result=0
Werner Lewis05998a02022-09-21 16:55:21 +0100310mbedtls_mpi_add_mpi:"1c67967269c6":"-1c67967269c6":"0"
311
Gilles Peskine92c5d312022-11-09 22:06:34 +0100312MPI add #104 large positive + negative , result>0
Werner Lewis05998a02022-09-21 16:55:21 +0100313mbedtls_mpi_add_mpi:"1c67967269c6":"-9cde3":"1c6796689be3"
314
Gilles Peskine92c5d312022-11-09 22:06:34 +0100315MPI add #105 positive + large positive
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100316mbedtls_mpi_add_mpi:"9cde3":"1c67967269c6":"1c67967c37a9"
317
Gilles Peskine92c5d312022-11-09 22:06:34 +0100318MPI add #106 positive + positive
Werner Lewis05998a02022-09-21 16:55:21 +0100319mbedtls_mpi_add_mpi:"9cde3":"9cde3":"139bc6"
320
Gilles Peskine92c5d312022-11-09 22:06:34 +0100321MPI add #107 positive + large negative , result<0
Werner Lewis05998a02022-09-21 16:55:21 +0100322mbedtls_mpi_add_mpi:"9cde3":"-1c67967269c6":"-1c6796689be3"
323
Gilles Peskine92c5d312022-11-09 22:06:34 +0100324MPI add #108 positive + negative , result=0
Werner Lewis05998a02022-09-21 16:55:21 +0100325mbedtls_mpi_add_mpi:"9cde3":"-9cde3":"0"
326
Gilles Peskine92c5d312022-11-09 22:06:34 +0100327MPI add #109 large negative + large positive , result=0
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100328mbedtls_mpi_add_mpi:"-1c67967269c6":"1c67967269c6":"0"
329
Gilles Peskine92c5d312022-11-09 22:06:34 +0100330MPI add #110 large negative + positive , result<0
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100331mbedtls_mpi_add_mpi:"-1c67967269c6":"9cde3":"-1c6796689be3"
332
Gilles Peskine92c5d312022-11-09 22:06:34 +0100333MPI add #111 large negative + large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100334mbedtls_mpi_add_mpi:"-1c67967269c6":"-1c67967269c6":"-38cf2ce4d38c"
335
Gilles Peskine92c5d312022-11-09 22:06:34 +0100336MPI add #112 large negative + negative
Werner Lewis05998a02022-09-21 16:55:21 +0100337mbedtls_mpi_add_mpi:"-1c67967269c6":"-9cde3":"-1c67967c37a9"
338
Gilles Peskine92c5d312022-11-09 22:06:34 +0100339MPI add #113 negative + large positive , result>0
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100340mbedtls_mpi_add_mpi:"-9cde3":"1c67967269c6":"1c6796689be3"
341
Gilles Peskine92c5d312022-11-09 22:06:34 +0100342MPI add #114 negative + positive , result=0
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100343mbedtls_mpi_add_mpi:"-9cde3":"9cde3":"0"
344
Gilles Peskine92c5d312022-11-09 22:06:34 +0100345MPI add #115 negative + large negative
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100346mbedtls_mpi_add_mpi:"-9cde3":"-1c67967269c6":"-1c67967c37a9"
347
Gilles Peskine92c5d312022-11-09 22:06:34 +0100348MPI add #116 negative + negative
Werner Lewis05998a02022-09-21 16:55:21 +0100349mbedtls_mpi_add_mpi:"-9cde3":"-9cde3":"-139bc6"
350
351MPI compare #1 0 (null) == 0 (null)
352mbedtls_mpi_cmp_mpi:"":"":0
353
354MPI compare #2 0 (null) == 0 (1 limb)
355mbedtls_mpi_cmp_mpi:"":"0":0
356
Gilles Peskine92c5d312022-11-09 22:06:34 +0100357MPI compare #3 0 (null) == negative 0 (null)
358mbedtls_mpi_cmp_mpi:"":"-":0
359
360MPI compare #4 0 (null) == negative with leading zero limb
361mbedtls_mpi_cmp_mpi:"":"-0":0
362
363MPI compare #5 0 (null) < positive
Werner Lewis05998a02022-09-21 16:55:21 +0100364mbedtls_mpi_cmp_mpi:"":"7b":-1
365
Gilles Peskine92c5d312022-11-09 22:06:34 +0100366MPI compare #6 0 (null) > negative
Werner Lewis05998a02022-09-21 16:55:21 +0100367mbedtls_mpi_cmp_mpi:"":"-7b":1
368
Gilles Peskine92c5d312022-11-09 22:06:34 +0100369MPI compare #7 0 (null) < positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100370mbedtls_mpi_cmp_mpi:"":"0000000000000000123":-1
371
Gilles Peskine92c5d312022-11-09 22:06:34 +0100372MPI compare #8 0 (null) > negative with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100373mbedtls_mpi_cmp_mpi:"":"-0000000000000000123":1
374
Gilles Peskine92c5d312022-11-09 22:06:34 +0100375MPI compare #9 0 (null) < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100376mbedtls_mpi_cmp_mpi:"":"1230000000000000000":-1
377
Gilles Peskine92c5d312022-11-09 22:06:34 +0100378MPI compare #10 0 (null) > large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100379mbedtls_mpi_cmp_mpi:"":"-1230000000000000000":1
380
Gilles Peskine92c5d312022-11-09 22:06:34 +0100381MPI compare #11 0 (1 limb) == 0 (null)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100382mbedtls_mpi_cmp_mpi:"0":"":0
383
Gilles Peskine92c5d312022-11-09 22:06:34 +0100384MPI compare #12 0 (1 limb) == 0 (1 limb)
Werner Lewis05998a02022-09-21 16:55:21 +0100385mbedtls_mpi_cmp_mpi:"0":"0":0
386
Gilles Peskine92c5d312022-11-09 22:06:34 +0100387MPI compare #13 0 (1 limb) == negative 0 (null)
388mbedtls_mpi_cmp_mpi:"0":"-":0
389
390MPI compare #14 0 (1 limb) == negative with leading zero limb
391mbedtls_mpi_cmp_mpi:"0":"-0":0
392
393MPI compare #15 0 (1 limb) < positive
Werner Lewis05998a02022-09-21 16:55:21 +0100394mbedtls_mpi_cmp_mpi:"0":"7b":-1
395
Gilles Peskine92c5d312022-11-09 22:06:34 +0100396MPI compare #16 0 (1 limb) > negative
Werner Lewis05998a02022-09-21 16:55:21 +0100397mbedtls_mpi_cmp_mpi:"0":"-7b":1
398
Gilles Peskine92c5d312022-11-09 22:06:34 +0100399MPI compare #17 0 (1 limb) < positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100400mbedtls_mpi_cmp_mpi:"0":"0000000000000000123":-1
401
Gilles Peskine92c5d312022-11-09 22:06:34 +0100402MPI compare #18 0 (1 limb) > negative with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100403mbedtls_mpi_cmp_mpi:"0":"-0000000000000000123":1
404
Gilles Peskine92c5d312022-11-09 22:06:34 +0100405MPI compare #19 0 (1 limb) < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100406mbedtls_mpi_cmp_mpi:"0":"1230000000000000000":-1
407
Gilles Peskine92c5d312022-11-09 22:06:34 +0100408MPI compare #20 0 (1 limb) > large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100409mbedtls_mpi_cmp_mpi:"0":"-1230000000000000000":1
410
Gilles Peskine92c5d312022-11-09 22:06:34 +0100411MPI compare #21 negative 0 (null) == 0 (null)
412mbedtls_mpi_cmp_mpi:"-":"":0
413
414MPI compare #22 negative 0 (null) == 0 (1 limb)
415mbedtls_mpi_cmp_mpi:"-":"0":0
416
417MPI compare #23 negative 0 (null) == negative 0 (null)
418mbedtls_mpi_cmp_mpi:"-":"-":0
419
420MPI compare #24 negative 0 (null) == negative with leading zero limb
421mbedtls_mpi_cmp_mpi:"-":"-0":0
422
423MPI compare #25 negative 0 (null) < positive
424mbedtls_mpi_cmp_mpi:"-":"7b":-1
425
426MPI compare #26 negative 0 (null) > negative
427mbedtls_mpi_cmp_mpi:"-":"-7b":1
428
429MPI compare #27 negative 0 (null) < positive with leading zero limb
430mbedtls_mpi_cmp_mpi:"-":"0000000000000000123":-1
431
432MPI compare #28 negative 0 (null) > negative with leading zero limb
433mbedtls_mpi_cmp_mpi:"-":"-0000000000000000123":1
434
435MPI compare #29 negative 0 (null) < large positive
436mbedtls_mpi_cmp_mpi:"-":"1230000000000000000":-1
437
438MPI compare #30 negative 0 (null) > large negative
439mbedtls_mpi_cmp_mpi:"-":"-1230000000000000000":1
440
441MPI compare #31 negative with leading zero limb == 0 (null)
442mbedtls_mpi_cmp_mpi:"-0":"":0
443
444MPI compare #32 negative with leading zero limb == 0 (1 limb)
445mbedtls_mpi_cmp_mpi:"-0":"0":0
446
447MPI compare #33 negative with leading zero limb == negative 0 (null)
448mbedtls_mpi_cmp_mpi:"-0":"-":0
449
450MPI compare #34 negative with leading zero limb == negative with leading zero limb
451mbedtls_mpi_cmp_mpi:"-0":"-0":0
452
453MPI compare #35 negative with leading zero limb < positive
454mbedtls_mpi_cmp_mpi:"-0":"7b":-1
455
456MPI compare #36 negative with leading zero limb > negative
457mbedtls_mpi_cmp_mpi:"-0":"-7b":1
458
459MPI compare #37 negative with leading zero limb < positive with leading zero limb
460mbedtls_mpi_cmp_mpi:"-0":"0000000000000000123":-1
461
462MPI compare #38 negative with leading zero limb > negative with leading zero limb
463mbedtls_mpi_cmp_mpi:"-0":"-0000000000000000123":1
464
465MPI compare #39 negative with leading zero limb < large positive
466mbedtls_mpi_cmp_mpi:"-0":"1230000000000000000":-1
467
468MPI compare #40 negative with leading zero limb > large negative
469mbedtls_mpi_cmp_mpi:"-0":"-1230000000000000000":1
470
471MPI compare #41 positive > 0 (null)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100472mbedtls_mpi_cmp_mpi:"7b":"":1
473
Gilles Peskine92c5d312022-11-09 22:06:34 +0100474MPI compare #42 positive > 0 (1 limb)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100475mbedtls_mpi_cmp_mpi:"7b":"0":1
476
Gilles Peskine92c5d312022-11-09 22:06:34 +0100477MPI compare #43 positive > negative 0 (null)
478mbedtls_mpi_cmp_mpi:"7b":"-":1
479
480MPI compare #44 positive > negative with leading zero limb
481mbedtls_mpi_cmp_mpi:"7b":"-0":1
482
483MPI compare #45 positive == positive
Werner Lewis05998a02022-09-21 16:55:21 +0100484mbedtls_mpi_cmp_mpi:"7b":"7b":0
485
Gilles Peskine92c5d312022-11-09 22:06:34 +0100486MPI compare #46 positive > negative
Werner Lewis05998a02022-09-21 16:55:21 +0100487mbedtls_mpi_cmp_mpi:"7b":"-7b":1
488
Gilles Peskine92c5d312022-11-09 22:06:34 +0100489MPI compare #47 positive < positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100490mbedtls_mpi_cmp_mpi:"7b":"0000000000000000123":-1
491
Gilles Peskine92c5d312022-11-09 22:06:34 +0100492MPI compare #48 positive > negative with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100493mbedtls_mpi_cmp_mpi:"7b":"-0000000000000000123":1
494
Gilles Peskine92c5d312022-11-09 22:06:34 +0100495MPI compare #49 positive < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100496mbedtls_mpi_cmp_mpi:"7b":"1230000000000000000":-1
497
Gilles Peskine92c5d312022-11-09 22:06:34 +0100498MPI compare #50 positive > large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100499mbedtls_mpi_cmp_mpi:"7b":"-1230000000000000000":1
500
Gilles Peskine92c5d312022-11-09 22:06:34 +0100501MPI compare #51 negative < 0 (null)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100502mbedtls_mpi_cmp_mpi:"-7b":"":-1
503
Gilles Peskine92c5d312022-11-09 22:06:34 +0100504MPI compare #52 negative < 0 (1 limb)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100505mbedtls_mpi_cmp_mpi:"-7b":"0":-1
506
Gilles Peskine92c5d312022-11-09 22:06:34 +0100507MPI compare #53 negative < negative 0 (null)
508mbedtls_mpi_cmp_mpi:"-7b":"-":-1
509
510MPI compare #54 negative < negative with leading zero limb
511mbedtls_mpi_cmp_mpi:"-7b":"-0":-1
512
513MPI compare #55 negative < positive
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100514mbedtls_mpi_cmp_mpi:"-7b":"7b":-1
515
Gilles Peskine92c5d312022-11-09 22:06:34 +0100516MPI compare #56 negative == negative
Werner Lewis05998a02022-09-21 16:55:21 +0100517mbedtls_mpi_cmp_mpi:"-7b":"-7b":0
518
Gilles Peskine92c5d312022-11-09 22:06:34 +0100519MPI compare #57 negative < positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100520mbedtls_mpi_cmp_mpi:"-7b":"0000000000000000123":-1
521
Gilles Peskine92c5d312022-11-09 22:06:34 +0100522MPI compare #58 negative > negative with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100523mbedtls_mpi_cmp_mpi:"-7b":"-0000000000000000123":1
524
Gilles Peskine92c5d312022-11-09 22:06:34 +0100525MPI compare #59 negative < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100526mbedtls_mpi_cmp_mpi:"-7b":"1230000000000000000":-1
527
Gilles Peskine92c5d312022-11-09 22:06:34 +0100528MPI compare #60 negative > large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100529mbedtls_mpi_cmp_mpi:"-7b":"-1230000000000000000":1
530
Gilles Peskine92c5d312022-11-09 22:06:34 +0100531MPI compare #61 positive with leading zero limb > 0 (null)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100532mbedtls_mpi_cmp_mpi:"0000000000000000123":"":1
533
Gilles Peskine92c5d312022-11-09 22:06:34 +0100534MPI compare #62 positive with leading zero limb > 0 (1 limb)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100535mbedtls_mpi_cmp_mpi:"0000000000000000123":"0":1
536
Gilles Peskine92c5d312022-11-09 22:06:34 +0100537MPI compare #63 positive with leading zero limb > negative 0 (null)
538mbedtls_mpi_cmp_mpi:"0000000000000000123":"-":1
539
540MPI compare #64 positive with leading zero limb > negative with leading zero limb
541mbedtls_mpi_cmp_mpi:"0000000000000000123":"-0":1
542
543MPI compare #65 positive with leading zero limb > positive
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100544mbedtls_mpi_cmp_mpi:"0000000000000000123":"7b":1
545
Gilles Peskine92c5d312022-11-09 22:06:34 +0100546MPI compare #66 positive with leading zero limb > negative
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100547mbedtls_mpi_cmp_mpi:"0000000000000000123":"-7b":1
548
Gilles Peskine92c5d312022-11-09 22:06:34 +0100549MPI compare #67 positive with leading zero limb == positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100550mbedtls_mpi_cmp_mpi:"0000000000000000123":"0000000000000000123":0
551
Gilles Peskine92c5d312022-11-09 22:06:34 +0100552MPI compare #68 positive with leading zero limb > negative with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100553mbedtls_mpi_cmp_mpi:"0000000000000000123":"-0000000000000000123":1
554
Gilles Peskine92c5d312022-11-09 22:06:34 +0100555MPI compare #69 positive with leading zero limb < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100556mbedtls_mpi_cmp_mpi:"0000000000000000123":"1230000000000000000":-1
557
Gilles Peskine92c5d312022-11-09 22:06:34 +0100558MPI compare #70 positive with leading zero limb > large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100559mbedtls_mpi_cmp_mpi:"0000000000000000123":"-1230000000000000000":1
560
Gilles Peskine92c5d312022-11-09 22:06:34 +0100561MPI compare #71 negative with leading zero limb < 0 (null)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100562mbedtls_mpi_cmp_mpi:"-0000000000000000123":"":-1
563
Gilles Peskine92c5d312022-11-09 22:06:34 +0100564MPI compare #72 negative with leading zero limb < 0 (1 limb)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100565mbedtls_mpi_cmp_mpi:"-0000000000000000123":"0":-1
566
Gilles Peskine92c5d312022-11-09 22:06:34 +0100567MPI compare #73 negative with leading zero limb < negative 0 (null)
568mbedtls_mpi_cmp_mpi:"-0000000000000000123":"-":-1
569
570MPI compare #74 negative with leading zero limb < negative with leading zero limb
571mbedtls_mpi_cmp_mpi:"-0000000000000000123":"-0":-1
572
573MPI compare #75 negative with leading zero limb < positive
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100574mbedtls_mpi_cmp_mpi:"-0000000000000000123":"7b":-1
575
Gilles Peskine92c5d312022-11-09 22:06:34 +0100576MPI compare #76 negative with leading zero limb < negative
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100577mbedtls_mpi_cmp_mpi:"-0000000000000000123":"-7b":-1
578
Gilles Peskine92c5d312022-11-09 22:06:34 +0100579MPI compare #77 negative with leading zero limb < positive with leading zero limb
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100580mbedtls_mpi_cmp_mpi:"-0000000000000000123":"0000000000000000123":-1
581
Gilles Peskine92c5d312022-11-09 22:06:34 +0100582MPI compare #78 negative with leading zero limb == negative with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100583mbedtls_mpi_cmp_mpi:"-0000000000000000123":"-0000000000000000123":0
584
Gilles Peskine92c5d312022-11-09 22:06:34 +0100585MPI compare #79 negative with leading zero limb < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100586mbedtls_mpi_cmp_mpi:"-0000000000000000123":"1230000000000000000":-1
587
Gilles Peskine92c5d312022-11-09 22:06:34 +0100588MPI compare #80 negative with leading zero limb > large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100589mbedtls_mpi_cmp_mpi:"-0000000000000000123":"-1230000000000000000":1
590
Gilles Peskine92c5d312022-11-09 22:06:34 +0100591MPI compare #81 large positive > 0 (null)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100592mbedtls_mpi_cmp_mpi:"1230000000000000000":"":1
593
Gilles Peskine92c5d312022-11-09 22:06:34 +0100594MPI compare #82 large positive > 0 (1 limb)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100595mbedtls_mpi_cmp_mpi:"1230000000000000000":"0":1
596
Gilles Peskine92c5d312022-11-09 22:06:34 +0100597MPI compare #83 large positive > negative 0 (null)
598mbedtls_mpi_cmp_mpi:"1230000000000000000":"-":1
599
600MPI compare #84 large positive > negative with leading zero limb
601mbedtls_mpi_cmp_mpi:"1230000000000000000":"-0":1
602
603MPI compare #85 large positive > positive
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100604mbedtls_mpi_cmp_mpi:"1230000000000000000":"7b":1
605
Gilles Peskine92c5d312022-11-09 22:06:34 +0100606MPI compare #86 large positive > negative
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100607mbedtls_mpi_cmp_mpi:"1230000000000000000":"-7b":1
608
Gilles Peskine92c5d312022-11-09 22:06:34 +0100609MPI compare #87 large positive > positive with leading zero limb
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100610mbedtls_mpi_cmp_mpi:"1230000000000000000":"0000000000000000123":1
611
Gilles Peskine92c5d312022-11-09 22:06:34 +0100612MPI compare #88 large positive > negative with leading zero limb
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100613mbedtls_mpi_cmp_mpi:"1230000000000000000":"-0000000000000000123":1
614
Gilles Peskine92c5d312022-11-09 22:06:34 +0100615MPI compare #89 large positive == large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100616mbedtls_mpi_cmp_mpi:"1230000000000000000":"1230000000000000000":0
617
Gilles Peskine92c5d312022-11-09 22:06:34 +0100618MPI compare #90 large positive > large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100619mbedtls_mpi_cmp_mpi:"1230000000000000000":"-1230000000000000000":1
620
Gilles Peskine92c5d312022-11-09 22:06:34 +0100621MPI compare #91 large negative < 0 (null)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100622mbedtls_mpi_cmp_mpi:"-1230000000000000000":"":-1
623
Gilles Peskine92c5d312022-11-09 22:06:34 +0100624MPI compare #92 large negative < 0 (1 limb)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100625mbedtls_mpi_cmp_mpi:"-1230000000000000000":"0":-1
626
Gilles Peskine92c5d312022-11-09 22:06:34 +0100627MPI compare #93 large negative < negative 0 (null)
628mbedtls_mpi_cmp_mpi:"-1230000000000000000":"-":-1
629
630MPI compare #94 large negative < negative with leading zero limb
631mbedtls_mpi_cmp_mpi:"-1230000000000000000":"-0":-1
632
633MPI compare #95 large negative < positive
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100634mbedtls_mpi_cmp_mpi:"-1230000000000000000":"7b":-1
635
Gilles Peskine92c5d312022-11-09 22:06:34 +0100636MPI compare #96 large negative < negative
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100637mbedtls_mpi_cmp_mpi:"-1230000000000000000":"-7b":-1
638
Gilles Peskine92c5d312022-11-09 22:06:34 +0100639MPI compare #97 large negative < positive with leading zero limb
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100640mbedtls_mpi_cmp_mpi:"-1230000000000000000":"0000000000000000123":-1
641
Gilles Peskine92c5d312022-11-09 22:06:34 +0100642MPI compare #98 large negative < negative with leading zero limb
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100643mbedtls_mpi_cmp_mpi:"-1230000000000000000":"-0000000000000000123":-1
644
Gilles Peskine92c5d312022-11-09 22:06:34 +0100645MPI compare #99 large negative < large positive
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100646mbedtls_mpi_cmp_mpi:"-1230000000000000000":"1230000000000000000":-1
647
Gilles Peskine92c5d312022-11-09 22:06:34 +0100648MPI compare #100 large negative == large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100649mbedtls_mpi_cmp_mpi:"-1230000000000000000":"-1230000000000000000":0
650
Gilles Peskine92c5d312022-11-09 22:06:34 +0100651MPI compare #101 negative > negative
Werner Lewis05998a02022-09-21 16:55:21 +0100652mbedtls_mpi_cmp_mpi:"-2":"-3":1
653
Gilles Peskine92c5d312022-11-09 22:06:34 +0100654MPI compare #102 negative == negative
Werner Lewis05998a02022-09-21 16:55:21 +0100655mbedtls_mpi_cmp_mpi:"-2":"-2":0
656
Gilles Peskine92c5d312022-11-09 22:06:34 +0100657MPI compare #103 positive < positive
Werner Lewis05998a02022-09-21 16:55:21 +0100658mbedtls_mpi_cmp_mpi:"2b4":"2b5":-1
659
Gilles Peskine92c5d312022-11-09 22:06:34 +0100660MPI compare #104 positive < positive
Werner Lewis05998a02022-09-21 16:55:21 +0100661mbedtls_mpi_cmp_mpi:"2b5":"2b6":-1
662
663MPI compare (abs) #1 0 (null) == 0 (null)
664mbedtls_mpi_cmp_abs:"":"":0
665
666MPI compare (abs) #2 0 (null) == 0 (1 limb)
667mbedtls_mpi_cmp_abs:"":"0":0
668
Gilles Peskine92c5d312022-11-09 22:06:34 +0100669MPI compare (abs) #3 0 (null) == 0 (null)
670mbedtls_mpi_cmp_abs:"":"":0
671
672MPI compare (abs) #4 0 (null) == 0 (1 limb)
673mbedtls_mpi_cmp_abs:"":"0":0
674
675MPI compare (abs) #5 0 (null) < positive
Werner Lewis05998a02022-09-21 16:55:21 +0100676mbedtls_mpi_cmp_abs:"":"7b":-1
677
Gilles Peskine92c5d312022-11-09 22:06:34 +0100678MPI compare (abs) #6 0 (null) < positive
Werner Lewis05998a02022-09-21 16:55:21 +0100679mbedtls_mpi_cmp_abs:"":"7b":-1
680
Gilles Peskine92c5d312022-11-09 22:06:34 +0100681MPI compare (abs) #7 0 (null) < positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100682mbedtls_mpi_cmp_abs:"":"0000000000000000123":-1
683
Gilles Peskine92c5d312022-11-09 22:06:34 +0100684MPI compare (abs) #8 0 (null) < positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100685mbedtls_mpi_cmp_abs:"":"0000000000000000123":-1
686
Gilles Peskine92c5d312022-11-09 22:06:34 +0100687MPI compare (abs) #9 0 (null) < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100688mbedtls_mpi_cmp_abs:"":"1230000000000000000":-1
689
Gilles Peskine92c5d312022-11-09 22:06:34 +0100690MPI compare (abs) #10 0 (null) < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100691mbedtls_mpi_cmp_abs:"":"1230000000000000000":-1
692
Gilles Peskine92c5d312022-11-09 22:06:34 +0100693MPI compare (abs) #11 0 (1 limb) == 0 (null)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100694mbedtls_mpi_cmp_abs:"0":"":0
Werner Lewis05998a02022-09-21 16:55:21 +0100695
Gilles Peskine92c5d312022-11-09 22:06:34 +0100696MPI compare (abs) #12 0 (1 limb) == 0 (1 limb)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100697mbedtls_mpi_cmp_abs:"0":"0":0
Werner Lewis05998a02022-09-21 16:55:21 +0100698
Gilles Peskine92c5d312022-11-09 22:06:34 +0100699MPI compare (abs) #13 0 (1 limb) == 0 (null)
700mbedtls_mpi_cmp_abs:"0":"":0
701
702MPI compare (abs) #14 0 (1 limb) == 0 (1 limb)
703mbedtls_mpi_cmp_abs:"0":"0":0
704
705MPI compare (abs) #15 0 (1 limb) < positive
Werner Lewis05998a02022-09-21 16:55:21 +0100706mbedtls_mpi_cmp_abs:"0":"7b":-1
707
Gilles Peskine92c5d312022-11-09 22:06:34 +0100708MPI compare (abs) #16 0 (1 limb) < positive
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100709mbedtls_mpi_cmp_abs:"0":"7b":-1
Werner Lewis05998a02022-09-21 16:55:21 +0100710
Gilles Peskine92c5d312022-11-09 22:06:34 +0100711MPI compare (abs) #17 0 (1 limb) < positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100712mbedtls_mpi_cmp_abs:"0":"0000000000000000123":-1
713
Gilles Peskine92c5d312022-11-09 22:06:34 +0100714MPI compare (abs) #18 0 (1 limb) < positive with leading zero limb
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100715mbedtls_mpi_cmp_abs:"0":"0000000000000000123":-1
Werner Lewis05998a02022-09-21 16:55:21 +0100716
Gilles Peskine92c5d312022-11-09 22:06:34 +0100717MPI compare (abs) #19 0 (1 limb) < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100718mbedtls_mpi_cmp_abs:"0":"1230000000000000000":-1
719
Gilles Peskine92c5d312022-11-09 22:06:34 +0100720MPI compare (abs) #20 0 (1 limb) < large positive
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100721mbedtls_mpi_cmp_abs:"0":"1230000000000000000":-1
722
Gilles Peskine92c5d312022-11-09 22:06:34 +0100723MPI compare (abs) #21 0 (null) == 0 (null)
724mbedtls_mpi_cmp_abs:"":"":0
725
726MPI compare (abs) #22 0 (null) == 0 (1 limb)
727mbedtls_mpi_cmp_abs:"":"0":0
728
729MPI compare (abs) #23 0 (null) == 0 (null)
730mbedtls_mpi_cmp_abs:"":"":0
731
732MPI compare (abs) #24 0 (null) == 0 (1 limb)
733mbedtls_mpi_cmp_abs:"":"0":0
734
735MPI compare (abs) #25 0 (null) < positive
736mbedtls_mpi_cmp_abs:"":"7b":-1
737
738MPI compare (abs) #26 0 (null) < positive
739mbedtls_mpi_cmp_abs:"":"7b":-1
740
741MPI compare (abs) #27 0 (null) < positive with leading zero limb
742mbedtls_mpi_cmp_abs:"":"0000000000000000123":-1
743
744MPI compare (abs) #28 0 (null) < positive with leading zero limb
745mbedtls_mpi_cmp_abs:"":"0000000000000000123":-1
746
747MPI compare (abs) #29 0 (null) < large positive
748mbedtls_mpi_cmp_abs:"":"1230000000000000000":-1
749
750MPI compare (abs) #30 0 (null) < large positive
751mbedtls_mpi_cmp_abs:"":"1230000000000000000":-1
752
753MPI compare (abs) #31 0 (1 limb) == 0 (null)
754mbedtls_mpi_cmp_abs:"0":"":0
755
756MPI compare (abs) #32 0 (1 limb) == 0 (1 limb)
757mbedtls_mpi_cmp_abs:"0":"0":0
758
759MPI compare (abs) #33 0 (1 limb) == 0 (null)
760mbedtls_mpi_cmp_abs:"0":"":0
761
762MPI compare (abs) #34 0 (1 limb) == 0 (1 limb)
763mbedtls_mpi_cmp_abs:"0":"0":0
764
765MPI compare (abs) #35 0 (1 limb) < positive
766mbedtls_mpi_cmp_abs:"0":"7b":-1
767
768MPI compare (abs) #36 0 (1 limb) < positive
769mbedtls_mpi_cmp_abs:"0":"7b":-1
770
771MPI compare (abs) #37 0 (1 limb) < positive with leading zero limb
772mbedtls_mpi_cmp_abs:"0":"0000000000000000123":-1
773
774MPI compare (abs) #38 0 (1 limb) < positive with leading zero limb
775mbedtls_mpi_cmp_abs:"0":"0000000000000000123":-1
776
777MPI compare (abs) #39 0 (1 limb) < large positive
778mbedtls_mpi_cmp_abs:"0":"1230000000000000000":-1
779
780MPI compare (abs) #40 0 (1 limb) < large positive
781mbedtls_mpi_cmp_abs:"0":"1230000000000000000":-1
782
783MPI compare (abs) #41 positive > 0 (null)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100784mbedtls_mpi_cmp_abs:"7b":"":1
785
Gilles Peskine92c5d312022-11-09 22:06:34 +0100786MPI compare (abs) #42 positive > 0 (1 limb)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100787mbedtls_mpi_cmp_abs:"7b":"0":1
788
Gilles Peskine92c5d312022-11-09 22:06:34 +0100789MPI compare (abs) #43 positive > 0 (null)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100790mbedtls_mpi_cmp_abs:"7b":"":1
791
Gilles Peskine92c5d312022-11-09 22:06:34 +0100792MPI compare (abs) #44 positive > 0 (1 limb)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100793mbedtls_mpi_cmp_abs:"7b":"0":1
794
Gilles Peskine92c5d312022-11-09 22:06:34 +0100795MPI compare (abs) #45 positive == positive
Werner Lewis05998a02022-09-21 16:55:21 +0100796mbedtls_mpi_cmp_abs:"7b":"7b":0
797
Gilles Peskine92c5d312022-11-09 22:06:34 +0100798MPI compare (abs) #46 positive == positive
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100799mbedtls_mpi_cmp_abs:"7b":"7b":0
800
Gilles Peskine92c5d312022-11-09 22:06:34 +0100801MPI compare (abs) #47 positive < positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100802mbedtls_mpi_cmp_abs:"7b":"0000000000000000123":-1
803
Gilles Peskine92c5d312022-11-09 22:06:34 +0100804MPI compare (abs) #48 positive < positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100805mbedtls_mpi_cmp_abs:"7b":"0000000000000000123":-1
806
Gilles Peskine92c5d312022-11-09 22:06:34 +0100807MPI compare (abs) #49 positive < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100808mbedtls_mpi_cmp_abs:"7b":"1230000000000000000":-1
809
Gilles Peskine92c5d312022-11-09 22:06:34 +0100810MPI compare (abs) #50 positive < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100811mbedtls_mpi_cmp_abs:"7b":"1230000000000000000":-1
812
Gilles Peskine92c5d312022-11-09 22:06:34 +0100813MPI compare (abs) #51 positive > 0 (null)
814mbedtls_mpi_cmp_abs:"7b":"":1
815
816MPI compare (abs) #52 positive > 0 (1 limb)
817mbedtls_mpi_cmp_abs:"7b":"0":1
818
819MPI compare (abs) #53 positive > 0 (null)
820mbedtls_mpi_cmp_abs:"7b":"":1
821
822MPI compare (abs) #54 positive > 0 (1 limb)
823mbedtls_mpi_cmp_abs:"7b":"0":1
824
825MPI compare (abs) #55 positive == positive
826mbedtls_mpi_cmp_abs:"7b":"7b":0
827
828MPI compare (abs) #56 positive == positive
829mbedtls_mpi_cmp_abs:"7b":"7b":0
830
831MPI compare (abs) #57 positive < positive with leading zero limb
832mbedtls_mpi_cmp_abs:"7b":"0000000000000000123":-1
833
834MPI compare (abs) #58 positive < positive with leading zero limb
835mbedtls_mpi_cmp_abs:"7b":"0000000000000000123":-1
836
837MPI compare (abs) #59 positive < large positive
838mbedtls_mpi_cmp_abs:"7b":"1230000000000000000":-1
839
840MPI compare (abs) #60 positive < large positive
841mbedtls_mpi_cmp_abs:"7b":"1230000000000000000":-1
842
843MPI compare (abs) #61 positive with leading zero limb > 0 (null)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100844mbedtls_mpi_cmp_abs:"0000000000000000123":"":1
845
Gilles Peskine92c5d312022-11-09 22:06:34 +0100846MPI compare (abs) #62 positive with leading zero limb > 0 (1 limb)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100847mbedtls_mpi_cmp_abs:"0000000000000000123":"0":1
848
Gilles Peskine92c5d312022-11-09 22:06:34 +0100849MPI compare (abs) #63 positive with leading zero limb > 0 (null)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100850mbedtls_mpi_cmp_abs:"0000000000000000123":"":1
851
Gilles Peskine92c5d312022-11-09 22:06:34 +0100852MPI compare (abs) #64 positive with leading zero limb > 0 (1 limb)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100853mbedtls_mpi_cmp_abs:"0000000000000000123":"0":1
854
Gilles Peskine92c5d312022-11-09 22:06:34 +0100855MPI compare (abs) #65 positive with leading zero limb > positive
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100856mbedtls_mpi_cmp_abs:"0000000000000000123":"7b":1
857
Gilles Peskine92c5d312022-11-09 22:06:34 +0100858MPI compare (abs) #66 positive with leading zero limb > positive
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100859mbedtls_mpi_cmp_abs:"0000000000000000123":"7b":1
860
Gilles Peskine92c5d312022-11-09 22:06:34 +0100861MPI compare (abs) #67 positive with leading zero limb == positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100862mbedtls_mpi_cmp_abs:"0000000000000000123":"0000000000000000123":0
863
Gilles Peskine92c5d312022-11-09 22:06:34 +0100864MPI compare (abs) #68 positive with leading zero limb == positive with leading zero limb
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100865mbedtls_mpi_cmp_abs:"0000000000000000123":"0000000000000000123":0
866
Gilles Peskine92c5d312022-11-09 22:06:34 +0100867MPI compare (abs) #69 positive with leading zero limb < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100868mbedtls_mpi_cmp_abs:"0000000000000000123":"1230000000000000000":-1
869
Gilles Peskine92c5d312022-11-09 22:06:34 +0100870MPI compare (abs) #70 positive with leading zero limb < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100871mbedtls_mpi_cmp_abs:"0000000000000000123":"1230000000000000000":-1
872
Gilles Peskine92c5d312022-11-09 22:06:34 +0100873MPI compare (abs) #71 positive with leading zero limb > 0 (null)
874mbedtls_mpi_cmp_abs:"0000000000000000123":"":1
875
876MPI compare (abs) #72 positive with leading zero limb > 0 (1 limb)
877mbedtls_mpi_cmp_abs:"0000000000000000123":"0":1
878
879MPI compare (abs) #73 positive with leading zero limb > 0 (null)
880mbedtls_mpi_cmp_abs:"0000000000000000123":"":1
881
882MPI compare (abs) #74 positive with leading zero limb > 0 (1 limb)
883mbedtls_mpi_cmp_abs:"0000000000000000123":"0":1
884
885MPI compare (abs) #75 positive with leading zero limb > positive
886mbedtls_mpi_cmp_abs:"0000000000000000123":"7b":1
887
888MPI compare (abs) #76 positive with leading zero limb > positive
889mbedtls_mpi_cmp_abs:"0000000000000000123":"7b":1
890
891MPI compare (abs) #77 positive with leading zero limb == positive with leading zero limb
892mbedtls_mpi_cmp_abs:"0000000000000000123":"0000000000000000123":0
893
894MPI compare (abs) #78 positive with leading zero limb == positive with leading zero limb
895mbedtls_mpi_cmp_abs:"0000000000000000123":"0000000000000000123":0
896
897MPI compare (abs) #79 positive with leading zero limb < large positive
898mbedtls_mpi_cmp_abs:"0000000000000000123":"1230000000000000000":-1
899
900MPI compare (abs) #80 positive with leading zero limb < large positive
901mbedtls_mpi_cmp_abs:"0000000000000000123":"1230000000000000000":-1
902
903MPI compare (abs) #81 large positive > 0 (null)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100904mbedtls_mpi_cmp_abs:"1230000000000000000":"":1
905
Gilles Peskine92c5d312022-11-09 22:06:34 +0100906MPI compare (abs) #82 large positive > 0 (1 limb)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100907mbedtls_mpi_cmp_abs:"1230000000000000000":"0":1
908
Gilles Peskine92c5d312022-11-09 22:06:34 +0100909MPI compare (abs) #83 large positive > 0 (null)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100910mbedtls_mpi_cmp_abs:"1230000000000000000":"":1
911
Gilles Peskine92c5d312022-11-09 22:06:34 +0100912MPI compare (abs) #84 large positive > 0 (1 limb)
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100913mbedtls_mpi_cmp_abs:"1230000000000000000":"0":1
914
Gilles Peskine92c5d312022-11-09 22:06:34 +0100915MPI compare (abs) #85 large positive > positive
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100916mbedtls_mpi_cmp_abs:"1230000000000000000":"7b":1
917
Gilles Peskine92c5d312022-11-09 22:06:34 +0100918MPI compare (abs) #86 large positive > positive
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100919mbedtls_mpi_cmp_abs:"1230000000000000000":"7b":1
920
Gilles Peskine92c5d312022-11-09 22:06:34 +0100921MPI compare (abs) #87 large positive > positive with leading zero limb
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100922mbedtls_mpi_cmp_abs:"1230000000000000000":"0000000000000000123":1
923
Gilles Peskine92c5d312022-11-09 22:06:34 +0100924MPI compare (abs) #88 large positive > positive with leading zero limb
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100925mbedtls_mpi_cmp_abs:"1230000000000000000":"0000000000000000123":1
926
Gilles Peskine92c5d312022-11-09 22:06:34 +0100927MPI compare (abs) #89 large positive == large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100928mbedtls_mpi_cmp_abs:"1230000000000000000":"1230000000000000000":0
929
Gilles Peskine92c5d312022-11-09 22:06:34 +0100930MPI compare (abs) #90 large positive == large positive
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100931mbedtls_mpi_cmp_abs:"1230000000000000000":"1230000000000000000":0
932
Gilles Peskine92c5d312022-11-09 22:06:34 +0100933MPI compare (abs) #91 large positive > 0 (null)
934mbedtls_mpi_cmp_abs:"1230000000000000000":"":1
935
936MPI compare (abs) #92 large positive > 0 (1 limb)
937mbedtls_mpi_cmp_abs:"1230000000000000000":"0":1
938
939MPI compare (abs) #93 large positive > 0 (null)
940mbedtls_mpi_cmp_abs:"1230000000000000000":"":1
941
942MPI compare (abs) #94 large positive > 0 (1 limb)
943mbedtls_mpi_cmp_abs:"1230000000000000000":"0":1
944
945MPI compare (abs) #95 large positive > positive
946mbedtls_mpi_cmp_abs:"1230000000000000000":"7b":1
947
948MPI compare (abs) #96 large positive > positive
949mbedtls_mpi_cmp_abs:"1230000000000000000":"7b":1
950
951MPI compare (abs) #97 large positive > positive with leading zero limb
952mbedtls_mpi_cmp_abs:"1230000000000000000":"0000000000000000123":1
953
954MPI compare (abs) #98 large positive > positive with leading zero limb
955mbedtls_mpi_cmp_abs:"1230000000000000000":"0000000000000000123":1
956
957MPI compare (abs) #99 large positive == large positive
958mbedtls_mpi_cmp_abs:"1230000000000000000":"1230000000000000000":0
959
960MPI compare (abs) #100 large positive == large positive
961mbedtls_mpi_cmp_abs:"1230000000000000000":"1230000000000000000":0
962
963MPI compare (abs) #101 positive < positive
Werner Lewis05998a02022-09-21 16:55:21 +0100964mbedtls_mpi_cmp_abs:"2":"3":-1
965
Gilles Peskine92c5d312022-11-09 22:06:34 +0100966MPI compare (abs) #102 positive == positive
Werner Lewis05998a02022-09-21 16:55:21 +0100967mbedtls_mpi_cmp_abs:"2":"2":0
968
Gilles Peskine92c5d312022-11-09 22:06:34 +0100969MPI compare (abs) #103 positive < positive
Werner Lewis05998a02022-09-21 16:55:21 +0100970mbedtls_mpi_cmp_abs:"2b4":"2b5":-1
971
Gilles Peskine92c5d312022-11-09 22:06:34 +0100972MPI compare (abs) #104 positive < positive
Werner Lewis05998a02022-09-21 16:55:21 +0100973mbedtls_mpi_cmp_abs:"2b5":"2b6":-1
974
975# End of automatically generated file.