blob: 947d06f7fb41726aec5cd42fd9321ab61eb118d9 [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
9MPI add #3 0 (null) + positive
10mbedtls_mpi_add_mpi:"":"7b":"7b"
11
12MPI add #4 0 (null) + negative
13mbedtls_mpi_add_mpi:"":"-7b":"-7b"
14
15MPI add #5 0 (null) + positive with leading zero limb
16mbedtls_mpi_add_mpi:"":"0000000000000000123":"123"
17
18MPI add #6 0 (null) + negative with leading zero limb
19mbedtls_mpi_add_mpi:"":"-0000000000000000123":"-123"
20
21MPI add #7 0 (null) + large positive
22mbedtls_mpi_add_mpi:"":"1230000000000000000":"1230000000000000000"
23
24MPI add #8 0 (null) + large negative
25mbedtls_mpi_add_mpi:"":"-1230000000000000000":"-1230000000000000000"
26
27MPI add #9 0 (1 limb) + 0 (1 limb)
28mbedtls_mpi_add_mpi:"0":"0":"0"
29
30MPI add #10 0 (1 limb) + positive
31mbedtls_mpi_add_mpi:"0":"7b":"7b"
32
33MPI add #11 0 (1 limb) + negative
34mbedtls_mpi_add_mpi:"0":"-7b":"-7b"
35
36MPI add #12 0 (1 limb) + positive with leading zero limb
37mbedtls_mpi_add_mpi:"0":"0000000000000000123":"123"
38
39MPI add #13 0 (1 limb) + negative with leading zero limb
40mbedtls_mpi_add_mpi:"0":"-0000000000000000123":"-123"
41
42MPI add #14 0 (1 limb) + large positive
43mbedtls_mpi_add_mpi:"0":"1230000000000000000":"1230000000000000000"
44
45MPI add #15 0 (1 limb) + large negative
46mbedtls_mpi_add_mpi:"0":"-1230000000000000000":"-1230000000000000000"
47
48MPI add #16 positive + positive
49mbedtls_mpi_add_mpi:"7b":"7b":"f6"
50
51MPI add #17 positive + negative
52mbedtls_mpi_add_mpi:"7b":"-7b":"0"
53
54MPI add #18 positive + positive with leading zero limb
55mbedtls_mpi_add_mpi:"7b":"0000000000000000123":"19e"
56
57MPI add #19 positive + negative with leading zero limb
58mbedtls_mpi_add_mpi:"7b":"-0000000000000000123":"-a8"
59
60MPI add #20 positive + large positive
61mbedtls_mpi_add_mpi:"7b":"1230000000000000000":"123000000000000007b"
62
63MPI add #21 positive + large negative
64mbedtls_mpi_add_mpi:"7b":"-1230000000000000000":"-122ffffffffffffff85"
65
66MPI add #22 negative + negative
67mbedtls_mpi_add_mpi:"-7b":"-7b":"-f6"
68
69MPI add #23 negative + positive with leading zero limb
70mbedtls_mpi_add_mpi:"-7b":"0000000000000000123":"a8"
71
72MPI add #24 negative + negative with leading zero limb
73mbedtls_mpi_add_mpi:"-7b":"-0000000000000000123":"-19e"
74
75MPI add #25 negative + large positive
76mbedtls_mpi_add_mpi:"-7b":"1230000000000000000":"122ffffffffffffff85"
77
78MPI add #26 negative + large negative
79mbedtls_mpi_add_mpi:"-7b":"-1230000000000000000":"-123000000000000007b"
80
81MPI add #27 positive with leading zero limb + positive with leading zero limb
82mbedtls_mpi_add_mpi:"0000000000000000123":"0000000000000000123":"246"
83
84MPI add #28 positive with leading zero limb + negative with leading zero limb
85mbedtls_mpi_add_mpi:"0000000000000000123":"-0000000000000000123":"0"
86
87MPI add #29 positive with leading zero limb + large positive
88mbedtls_mpi_add_mpi:"0000000000000000123":"1230000000000000000":"1230000000000000123"
89
90MPI add #30 positive with leading zero limb + large negative
91mbedtls_mpi_add_mpi:"0000000000000000123":"-1230000000000000000":"-122fffffffffffffedd"
92
93MPI add #31 negative with leading zero limb + negative with leading zero limb
94mbedtls_mpi_add_mpi:"-0000000000000000123":"-0000000000000000123":"-246"
95
96MPI add #32 negative with leading zero limb + large positive
97mbedtls_mpi_add_mpi:"-0000000000000000123":"1230000000000000000":"122fffffffffffffedd"
98
99MPI add #33 negative with leading zero limb + large negative
100mbedtls_mpi_add_mpi:"-0000000000000000123":"-1230000000000000000":"-1230000000000000123"
101
102MPI add #34 large positive + large positive
103mbedtls_mpi_add_mpi:"1230000000000000000":"1230000000000000000":"2460000000000000000"
104
105MPI add #35 large positive + large negative
106mbedtls_mpi_add_mpi:"1230000000000000000":"-1230000000000000000":"0"
107
108MPI add #36 large negative + large negative
109mbedtls_mpi_add_mpi:"-1230000000000000000":"-1230000000000000000":"-2460000000000000000"
110
111MPI add #37 large positive + large positive
112mbedtls_mpi_add_mpi:"1c67967269c6":"1c67967269c6":"38cf2ce4d38c"
113
114MPI add #38 large positive + positive
115mbedtls_mpi_add_mpi:"1c67967269c6":"9cde3":"1c67967c37a9"
116
117MPI add #39 large positive + large negative
118mbedtls_mpi_add_mpi:"1c67967269c6":"-1c67967269c6":"0"
119
120MPI add #40 large positive + negative
121mbedtls_mpi_add_mpi:"1c67967269c6":"-9cde3":"1c6796689be3"
122
123MPI add #41 positive + positive
124mbedtls_mpi_add_mpi:"9cde3":"9cde3":"139bc6"
125
126MPI add #42 positive + large negative
127mbedtls_mpi_add_mpi:"9cde3":"-1c67967269c6":"-1c6796689be3"
128
129MPI add #43 positive + negative
130mbedtls_mpi_add_mpi:"9cde3":"-9cde3":"0"
131
132MPI add #44 large negative + large negative
133mbedtls_mpi_add_mpi:"-1c67967269c6":"-1c67967269c6":"-38cf2ce4d38c"
134
135MPI add #45 large negative + negative
136mbedtls_mpi_add_mpi:"-1c67967269c6":"-9cde3":"-1c67967c37a9"
137
138MPI add #46 negative + negative
139mbedtls_mpi_add_mpi:"-9cde3":"-9cde3":"-139bc6"
140
141MPI compare #1 0 (null) == 0 (null)
142mbedtls_mpi_cmp_mpi:"":"":0
143
144MPI compare #2 0 (null) == 0 (1 limb)
145mbedtls_mpi_cmp_mpi:"":"0":0
146
147MPI compare #3 0 (null) < positive
148mbedtls_mpi_cmp_mpi:"":"7b":-1
149
150MPI compare #4 0 (null) > negative
151mbedtls_mpi_cmp_mpi:"":"-7b":1
152
153MPI compare #5 0 (null) < positive with leading zero limb
154mbedtls_mpi_cmp_mpi:"":"0000000000000000123":-1
155
156MPI compare #6 0 (null) > negative with leading zero limb
157mbedtls_mpi_cmp_mpi:"":"-0000000000000000123":1
158
159MPI compare #7 0 (null) < large positive
160mbedtls_mpi_cmp_mpi:"":"1230000000000000000":-1
161
162MPI compare #8 0 (null) > large negative
163mbedtls_mpi_cmp_mpi:"":"-1230000000000000000":1
164
165MPI compare #9 0 (1 limb) == 0 (1 limb)
166mbedtls_mpi_cmp_mpi:"0":"0":0
167
168MPI compare #10 0 (1 limb) < positive
169mbedtls_mpi_cmp_mpi:"0":"7b":-1
170
171MPI compare #11 0 (1 limb) > negative
172mbedtls_mpi_cmp_mpi:"0":"-7b":1
173
174MPI compare #12 0 (1 limb) < positive with leading zero limb
175mbedtls_mpi_cmp_mpi:"0":"0000000000000000123":-1
176
177MPI compare #13 0 (1 limb) > negative with leading zero limb
178mbedtls_mpi_cmp_mpi:"0":"-0000000000000000123":1
179
180MPI compare #14 0 (1 limb) < large positive
181mbedtls_mpi_cmp_mpi:"0":"1230000000000000000":-1
182
183MPI compare #15 0 (1 limb) > large negative
184mbedtls_mpi_cmp_mpi:"0":"-1230000000000000000":1
185
186MPI compare #16 positive == positive
187mbedtls_mpi_cmp_mpi:"7b":"7b":0
188
189MPI compare #17 positive > negative
190mbedtls_mpi_cmp_mpi:"7b":"-7b":1
191
192MPI compare #18 positive < positive with leading zero limb
193mbedtls_mpi_cmp_mpi:"7b":"0000000000000000123":-1
194
195MPI compare #19 positive > negative with leading zero limb
196mbedtls_mpi_cmp_mpi:"7b":"-0000000000000000123":1
197
198MPI compare #20 positive < large positive
199mbedtls_mpi_cmp_mpi:"7b":"1230000000000000000":-1
200
201MPI compare #21 positive > large negative
202mbedtls_mpi_cmp_mpi:"7b":"-1230000000000000000":1
203
204MPI compare #22 negative == negative
205mbedtls_mpi_cmp_mpi:"-7b":"-7b":0
206
207MPI compare #23 negative < positive with leading zero limb
208mbedtls_mpi_cmp_mpi:"-7b":"0000000000000000123":-1
209
210MPI compare #24 negative > negative with leading zero limb
211mbedtls_mpi_cmp_mpi:"-7b":"-0000000000000000123":1
212
213MPI compare #25 negative < large positive
214mbedtls_mpi_cmp_mpi:"-7b":"1230000000000000000":-1
215
216MPI compare #26 negative > large negative
217mbedtls_mpi_cmp_mpi:"-7b":"-1230000000000000000":1
218
219MPI compare #27 positive with leading zero limb == positive with leading zero limb
220mbedtls_mpi_cmp_mpi:"0000000000000000123":"0000000000000000123":0
221
222MPI compare #28 positive with leading zero limb > negative with leading zero limb
223mbedtls_mpi_cmp_mpi:"0000000000000000123":"-0000000000000000123":1
224
225MPI compare #29 positive with leading zero limb < large positive
226mbedtls_mpi_cmp_mpi:"0000000000000000123":"1230000000000000000":-1
227
228MPI compare #30 positive with leading zero limb > large negative
229mbedtls_mpi_cmp_mpi:"0000000000000000123":"-1230000000000000000":1
230
231MPI compare #31 negative with leading zero limb == negative with leading zero limb
232mbedtls_mpi_cmp_mpi:"-0000000000000000123":"-0000000000000000123":0
233
234MPI compare #32 negative with leading zero limb < large positive
235mbedtls_mpi_cmp_mpi:"-0000000000000000123":"1230000000000000000":-1
236
237MPI compare #33 negative with leading zero limb > large negative
238mbedtls_mpi_cmp_mpi:"-0000000000000000123":"-1230000000000000000":1
239
240MPI compare #34 large positive == large positive
241mbedtls_mpi_cmp_mpi:"1230000000000000000":"1230000000000000000":0
242
243MPI compare #35 large positive > large negative
244mbedtls_mpi_cmp_mpi:"1230000000000000000":"-1230000000000000000":1
245
246MPI compare #36 large negative == large negative
247mbedtls_mpi_cmp_mpi:"-1230000000000000000":"-1230000000000000000":0
248
249MPI compare #37 negative > negative
250mbedtls_mpi_cmp_mpi:"-2":"-3":1
251
252MPI compare #38 negative == negative
253mbedtls_mpi_cmp_mpi:"-2":"-2":0
254
255MPI compare #39 positive < positive
256mbedtls_mpi_cmp_mpi:"2b4":"2b5":-1
257
258MPI compare #40 positive < positive
259mbedtls_mpi_cmp_mpi:"2b5":"2b6":-1
260
261MPI compare (abs) #1 0 (null) == 0 (null)
262mbedtls_mpi_cmp_abs:"":"":0
263
264MPI compare (abs) #2 0 (null) == 0 (1 limb)
265mbedtls_mpi_cmp_abs:"":"0":0
266
267MPI compare (abs) #3 0 (null) < positive
268mbedtls_mpi_cmp_abs:"":"7b":-1
269
270MPI compare (abs) #4 0 (null) < positive
271mbedtls_mpi_cmp_abs:"":"7b":-1
272
273MPI compare (abs) #5 0 (null) < positive with leading zero limb
274mbedtls_mpi_cmp_abs:"":"0000000000000000123":-1
275
276MPI compare (abs) #6 0 (null) < positive with leading zero limb
277mbedtls_mpi_cmp_abs:"":"0000000000000000123":-1
278
279MPI compare (abs) #7 0 (null) < large positive
280mbedtls_mpi_cmp_abs:"":"1230000000000000000":-1
281
282MPI compare (abs) #8 0 (null) < large positive
283mbedtls_mpi_cmp_abs:"":"1230000000000000000":-1
284
285MPI compare (abs) #9 0 (1 limb) == 0 (1 limb)
286mbedtls_mpi_cmp_abs:"0":"0":0
287
288MPI compare (abs) #10 0 (1 limb) < positive
289mbedtls_mpi_cmp_abs:"0":"7b":-1
290
291MPI compare (abs) #11 0 (1 limb) < positive
292mbedtls_mpi_cmp_abs:"0":"7b":-1
293
294MPI compare (abs) #12 0 (1 limb) < positive with leading zero limb
295mbedtls_mpi_cmp_abs:"0":"0000000000000000123":-1
296
297MPI compare (abs) #13 0 (1 limb) < positive with leading zero limb
298mbedtls_mpi_cmp_abs:"0":"0000000000000000123":-1
299
300MPI compare (abs) #14 0 (1 limb) < large positive
301mbedtls_mpi_cmp_abs:"0":"1230000000000000000":-1
302
303MPI compare (abs) #15 0 (1 limb) < large positive
304mbedtls_mpi_cmp_abs:"0":"1230000000000000000":-1
305
306MPI compare (abs) #16 positive == positive
307mbedtls_mpi_cmp_abs:"7b":"7b":0
308
309MPI compare (abs) #17 positive == positive
310mbedtls_mpi_cmp_abs:"7b":"7b":0
311
312MPI compare (abs) #18 positive < positive with leading zero limb
313mbedtls_mpi_cmp_abs:"7b":"0000000000000000123":-1
314
315MPI compare (abs) #19 positive < positive with leading zero limb
316mbedtls_mpi_cmp_abs:"7b":"0000000000000000123":-1
317
318MPI compare (abs) #20 positive < large positive
319mbedtls_mpi_cmp_abs:"7b":"1230000000000000000":-1
320
321MPI compare (abs) #21 positive < large positive
322mbedtls_mpi_cmp_abs:"7b":"1230000000000000000":-1
323
324MPI compare (abs) #22 positive == positive
325mbedtls_mpi_cmp_abs:"7b":"7b":0
326
327MPI compare (abs) #23 positive < positive with leading zero limb
328mbedtls_mpi_cmp_abs:"7b":"0000000000000000123":-1
329
330MPI compare (abs) #24 positive < positive with leading zero limb
331mbedtls_mpi_cmp_abs:"7b":"0000000000000000123":-1
332
333MPI compare (abs) #25 positive < large positive
334mbedtls_mpi_cmp_abs:"7b":"1230000000000000000":-1
335
336MPI compare (abs) #26 positive < large positive
337mbedtls_mpi_cmp_abs:"7b":"1230000000000000000":-1
338
339MPI compare (abs) #27 positive with leading zero limb == positive with leading zero limb
340mbedtls_mpi_cmp_abs:"0000000000000000123":"0000000000000000123":0
341
342MPI compare (abs) #28 positive with leading zero limb == positive with leading zero limb
343mbedtls_mpi_cmp_abs:"0000000000000000123":"0000000000000000123":0
344
345MPI compare (abs) #29 positive with leading zero limb < large positive
346mbedtls_mpi_cmp_abs:"0000000000000000123":"1230000000000000000":-1
347
348MPI compare (abs) #30 positive with leading zero limb < large positive
349mbedtls_mpi_cmp_abs:"0000000000000000123":"1230000000000000000":-1
350
351MPI compare (abs) #31 positive with leading zero limb == positive with leading zero limb
352mbedtls_mpi_cmp_abs:"0000000000000000123":"0000000000000000123":0
353
354MPI compare (abs) #32 positive with leading zero limb < large positive
355mbedtls_mpi_cmp_abs:"0000000000000000123":"1230000000000000000":-1
356
357MPI compare (abs) #33 positive with leading zero limb < large positive
358mbedtls_mpi_cmp_abs:"0000000000000000123":"1230000000000000000":-1
359
360MPI compare (abs) #34 large positive == large positive
361mbedtls_mpi_cmp_abs:"1230000000000000000":"1230000000000000000":0
362
363MPI compare (abs) #35 large positive == large positive
364mbedtls_mpi_cmp_abs:"1230000000000000000":"1230000000000000000":0
365
366MPI compare (abs) #36 large positive == large positive
367mbedtls_mpi_cmp_abs:"1230000000000000000":"1230000000000000000":0
368
369MPI compare (abs) #37 positive < positive
370mbedtls_mpi_cmp_abs:"2":"3":-1
371
372MPI compare (abs) #38 positive == positive
373mbedtls_mpi_cmp_abs:"2":"2":0
374
375MPI compare (abs) #39 positive < positive
376mbedtls_mpi_cmp_abs:"2b4":"2b5":-1
377
378MPI compare (abs) #40 positive < positive
379mbedtls_mpi_cmp_abs:"2b5":"2b6":-1
380
381# End of automatically generated file.