TrustedFirmware Git Browser
Code Review Sign In
review.trustedfirmware.org / mirror / mbed-tls.git / ee78b6e6423a080cad320252030d0f7f002614f6 / . / tests / suites / test_suite_bignum.generated.data
blob: 6924cb7cb8bc879ce2d876eac91e9f8879179557 [file] [log] [blame]
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]1# 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
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]27MPI add #9 0 (1 limb) + 0 (null)
28mbedtls_mpi_add_mpi:"0":"":"0"
29
30MPI add #10 0 (1 limb) + 0 (1 limb)
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]31mbedtls_mpi_add_mpi:"0":"0":"0"
32
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]33MPI add #11 0 (1 limb) + positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]34mbedtls_mpi_add_mpi:"0":"7b":"7b"
35
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]36MPI add #12 0 (1 limb) + negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]37mbedtls_mpi_add_mpi:"0":"-7b":"-7b"
38
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]39MPI add #13 0 (1 limb) + positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]40mbedtls_mpi_add_mpi:"0":"0000000000000000123":"123"
41
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]42MPI add #14 0 (1 limb) + negative with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]43mbedtls_mpi_add_mpi:"0":"-0000000000000000123":"-123"
44
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]45MPI add #15 0 (1 limb) + large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]46mbedtls_mpi_add_mpi:"0":"1230000000000000000":"1230000000000000000"
47
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]48MPI add #16 0 (1 limb) + large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]49mbedtls_mpi_add_mpi:"0":"-1230000000000000000":"-1230000000000000000"
50
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]51MPI add #17 positive + 0 (null)
52mbedtls_mpi_add_mpi:"7b":"":"7b"
53
54MPI add #18 positive + 0 (1 limb)
55mbedtls_mpi_add_mpi:"7b":"0":"7b"
56
57MPI add #19 positive + positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]58mbedtls_mpi_add_mpi:"7b":"7b":"f6"
59
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]60MPI add #20 positive + negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]61mbedtls_mpi_add_mpi:"7b":"-7b":"0"
62
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]63MPI add #21 positive + positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]64mbedtls_mpi_add_mpi:"7b":"0000000000000000123":"19e"
65
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]66MPI add #22 positive + negative with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]67mbedtls_mpi_add_mpi:"7b":"-0000000000000000123":"-a8"
68
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]69MPI add #23 positive + large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]70mbedtls_mpi_add_mpi:"7b":"1230000000000000000":"123000000000000007b"
71
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]72MPI add #24 positive + large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]73mbedtls_mpi_add_mpi:"7b":"-1230000000000000000":"-122ffffffffffffff85"
74
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]75MPI add #25 negative + 0 (null)
76mbedtls_mpi_add_mpi:"-7b":"":"-7b"
77
78MPI add #26 negative + 0 (1 limb)
79mbedtls_mpi_add_mpi:"-7b":"0":"-7b"
80
81MPI add #27 negative + positive
82mbedtls_mpi_add_mpi:"-7b":"7b":"0"
83
84MPI add #28 negative + negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]85mbedtls_mpi_add_mpi:"-7b":"-7b":"-f6"
86
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]87MPI add #29 negative + positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]88mbedtls_mpi_add_mpi:"-7b":"0000000000000000123":"a8"
89
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]90MPI add #30 negative + negative with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]91mbedtls_mpi_add_mpi:"-7b":"-0000000000000000123":"-19e"
92
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]93MPI add #31 negative + large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]94mbedtls_mpi_add_mpi:"-7b":"1230000000000000000":"122ffffffffffffff85"
95
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]96MPI add #32 negative + large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]97mbedtls_mpi_add_mpi:"-7b":"-1230000000000000000":"-123000000000000007b"
98
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]99MPI add #33 positive with leading zero limb + 0 (null)
100mbedtls_mpi_add_mpi:"0000000000000000123":"":"123"
101
102MPI add #34 positive with leading zero limb + 0 (1 limb)
103mbedtls_mpi_add_mpi:"0000000000000000123":"0":"123"
104
105MPI add #35 positive with leading zero limb + positive
106mbedtls_mpi_add_mpi:"0000000000000000123":"7b":"19e"
107
108MPI add #36 positive with leading zero limb + negative
109mbedtls_mpi_add_mpi:"0000000000000000123":"-7b":"a8"
110
111MPI add #37 positive with leading zero limb + positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]112mbedtls_mpi_add_mpi:"0000000000000000123":"0000000000000000123":"246"
113
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]114MPI add #38 positive with leading zero limb + negative with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]115mbedtls_mpi_add_mpi:"0000000000000000123":"-0000000000000000123":"0"
116
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]117MPI add #39 positive with leading zero limb + large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]118mbedtls_mpi_add_mpi:"0000000000000000123":"1230000000000000000":"1230000000000000123"
119
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]120MPI add #40 positive with leading zero limb + large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]121mbedtls_mpi_add_mpi:"0000000000000000123":"-1230000000000000000":"-122fffffffffffffedd"
122
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]123MPI add #41 negative with leading zero limb + 0 (null)
124mbedtls_mpi_add_mpi:"-0000000000000000123":"":"-123"
125
126MPI add #42 negative with leading zero limb + 0 (1 limb)
127mbedtls_mpi_add_mpi:"-0000000000000000123":"0":"-123"
128
129MPI add #43 negative with leading zero limb + positive
130mbedtls_mpi_add_mpi:"-0000000000000000123":"7b":"-a8"
131
132MPI add #44 negative with leading zero limb + negative
133mbedtls_mpi_add_mpi:"-0000000000000000123":"-7b":"-19e"
134
135MPI add #45 negative with leading zero limb + positive with leading zero limb
136mbedtls_mpi_add_mpi:"-0000000000000000123":"0000000000000000123":"0"
137
138MPI add #46 negative with leading zero limb + negative with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]139mbedtls_mpi_add_mpi:"-0000000000000000123":"-0000000000000000123":"-246"
140
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]141MPI add #47 negative with leading zero limb + large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]142mbedtls_mpi_add_mpi:"-0000000000000000123":"1230000000000000000":"122fffffffffffffedd"
143
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]144MPI add #48 negative with leading zero limb + large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]145mbedtls_mpi_add_mpi:"-0000000000000000123":"-1230000000000000000":"-1230000000000000123"
146
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]147MPI add #49 large positive + 0 (null)
148mbedtls_mpi_add_mpi:"1230000000000000000":"":"1230000000000000000"
149
150MPI add #50 large positive + 0 (1 limb)
151mbedtls_mpi_add_mpi:"1230000000000000000":"0":"1230000000000000000"
152
153MPI add #51 large positive + positive
154mbedtls_mpi_add_mpi:"1230000000000000000":"7b":"123000000000000007b"
155
156MPI add #52 large positive + negative
157mbedtls_mpi_add_mpi:"1230000000000000000":"-7b":"122ffffffffffffff85"
158
159MPI add #53 large positive + positive with leading zero limb
160mbedtls_mpi_add_mpi:"1230000000000000000":"0000000000000000123":"1230000000000000123"
161
162MPI add #54 large positive + negative with leading zero limb
163mbedtls_mpi_add_mpi:"1230000000000000000":"-0000000000000000123":"122fffffffffffffedd"
164
165MPI add #55 large positive + large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]166mbedtls_mpi_add_mpi:"1230000000000000000":"1230000000000000000":"2460000000000000000"
167
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]168MPI add #56 large positive + large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]169mbedtls_mpi_add_mpi:"1230000000000000000":"-1230000000000000000":"0"
170
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]171MPI add #57 large negative + 0 (null)
172mbedtls_mpi_add_mpi:"-1230000000000000000":"":"-1230000000000000000"
173
174MPI add #58 large negative + 0 (1 limb)
175mbedtls_mpi_add_mpi:"-1230000000000000000":"0":"-1230000000000000000"
176
177MPI add #59 large negative + positive
178mbedtls_mpi_add_mpi:"-1230000000000000000":"7b":"-122ffffffffffffff85"
179
180MPI add #60 large negative + negative
181mbedtls_mpi_add_mpi:"-1230000000000000000":"-7b":"-123000000000000007b"
182
183MPI add #61 large negative + positive with leading zero limb
184mbedtls_mpi_add_mpi:"-1230000000000000000":"0000000000000000123":"-122fffffffffffffedd"
185
186MPI add #62 large negative + negative with leading zero limb
187mbedtls_mpi_add_mpi:"-1230000000000000000":"-0000000000000000123":"-1230000000000000123"
188
189MPI add #63 large negative + large positive
190mbedtls_mpi_add_mpi:"-1230000000000000000":"1230000000000000000":"0"
191
192MPI add #64 large negative + large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]193mbedtls_mpi_add_mpi:"-1230000000000000000":"-1230000000000000000":"-2460000000000000000"
194
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]195MPI add #65 large positive + large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]196mbedtls_mpi_add_mpi:"1c67967269c6":"1c67967269c6":"38cf2ce4d38c"
197
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]198MPI add #66 large positive + positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]199mbedtls_mpi_add_mpi:"1c67967269c6":"9cde3":"1c67967c37a9"
200
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]201MPI add #67 large positive + large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]202mbedtls_mpi_add_mpi:"1c67967269c6":"-1c67967269c6":"0"
203
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]204MPI add #68 large positive + negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]205mbedtls_mpi_add_mpi:"1c67967269c6":"-9cde3":"1c6796689be3"
206
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]207MPI add #69 positive + large positive
208mbedtls_mpi_add_mpi:"9cde3":"1c67967269c6":"1c67967c37a9"
209
210MPI add #70 positive + positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]211mbedtls_mpi_add_mpi:"9cde3":"9cde3":"139bc6"
212
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]213MPI add #71 positive + large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]214mbedtls_mpi_add_mpi:"9cde3":"-1c67967269c6":"-1c6796689be3"
215
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]216MPI add #72 positive + negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]217mbedtls_mpi_add_mpi:"9cde3":"-9cde3":"0"
218
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]219MPI add #73 large negative + large positive
220mbedtls_mpi_add_mpi:"-1c67967269c6":"1c67967269c6":"0"
221
222MPI add #74 large negative + positive
223mbedtls_mpi_add_mpi:"-1c67967269c6":"9cde3":"-1c6796689be3"
224
225MPI add #75 large negative + large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]226mbedtls_mpi_add_mpi:"-1c67967269c6":"-1c67967269c6":"-38cf2ce4d38c"
227
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]228MPI add #76 large negative + negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]229mbedtls_mpi_add_mpi:"-1c67967269c6":"-9cde3":"-1c67967c37a9"
230
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]231MPI add #77 negative + large positive
232mbedtls_mpi_add_mpi:"-9cde3":"1c67967269c6":"1c6796689be3"
233
234MPI add #78 negative + positive
235mbedtls_mpi_add_mpi:"-9cde3":"9cde3":"0"
236
237MPI add #79 negative + large negative
238mbedtls_mpi_add_mpi:"-9cde3":"-1c67967269c6":"-1c67967c37a9"
239
240MPI add #80 negative + negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]241mbedtls_mpi_add_mpi:"-9cde3":"-9cde3":"-139bc6"
242
243MPI compare #1 0 (null) == 0 (null)
244mbedtls_mpi_cmp_mpi:"":"":0
245
246MPI compare #2 0 (null) == 0 (1 limb)
247mbedtls_mpi_cmp_mpi:"":"0":0
248
249MPI compare #3 0 (null) < positive
250mbedtls_mpi_cmp_mpi:"":"7b":-1
251
252MPI compare #4 0 (null) > negative
253mbedtls_mpi_cmp_mpi:"":"-7b":1
254
255MPI compare #5 0 (null) < positive with leading zero limb
256mbedtls_mpi_cmp_mpi:"":"0000000000000000123":-1
257
258MPI compare #6 0 (null) > negative with leading zero limb
259mbedtls_mpi_cmp_mpi:"":"-0000000000000000123":1
260
261MPI compare #7 0 (null) < large positive
262mbedtls_mpi_cmp_mpi:"":"1230000000000000000":-1
263
264MPI compare #8 0 (null) > large negative
265mbedtls_mpi_cmp_mpi:"":"-1230000000000000000":1
266
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]267MPI compare #9 0 (1 limb) == 0 (null)
268mbedtls_mpi_cmp_mpi:"0":"":0
269
270MPI compare #10 0 (1 limb) == 0 (1 limb)
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]271mbedtls_mpi_cmp_mpi:"0":"0":0
272
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]273MPI compare #11 0 (1 limb) < positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]274mbedtls_mpi_cmp_mpi:"0":"7b":-1
275
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]276MPI compare #12 0 (1 limb) > negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]277mbedtls_mpi_cmp_mpi:"0":"-7b":1
278
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]279MPI compare #13 0 (1 limb) < positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]280mbedtls_mpi_cmp_mpi:"0":"0000000000000000123":-1
281
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]282MPI compare #14 0 (1 limb) > negative with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]283mbedtls_mpi_cmp_mpi:"0":"-0000000000000000123":1
284
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]285MPI compare #15 0 (1 limb) < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]286mbedtls_mpi_cmp_mpi:"0":"1230000000000000000":-1
287
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]288MPI compare #16 0 (1 limb) > large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]289mbedtls_mpi_cmp_mpi:"0":"-1230000000000000000":1
290
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]291MPI compare #17 positive > 0 (null)
292mbedtls_mpi_cmp_mpi:"7b":"":1
293
294MPI compare #18 positive > 0 (1 limb)
295mbedtls_mpi_cmp_mpi:"7b":"0":1
296
297MPI compare #19 positive == positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]298mbedtls_mpi_cmp_mpi:"7b":"7b":0
299
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]300MPI compare #20 positive > negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]301mbedtls_mpi_cmp_mpi:"7b":"-7b":1
302
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]303MPI compare #21 positive < positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]304mbedtls_mpi_cmp_mpi:"7b":"0000000000000000123":-1
305
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]306MPI compare #22 positive > negative with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]307mbedtls_mpi_cmp_mpi:"7b":"-0000000000000000123":1
308
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]309MPI compare #23 positive < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]310mbedtls_mpi_cmp_mpi:"7b":"1230000000000000000":-1
311
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]312MPI compare #24 positive > large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]313mbedtls_mpi_cmp_mpi:"7b":"-1230000000000000000":1
314
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]315MPI compare #25 negative < 0 (null)
316mbedtls_mpi_cmp_mpi:"-7b":"":-1
317
318MPI compare #26 negative < 0 (1 limb)
319mbedtls_mpi_cmp_mpi:"-7b":"0":-1
320
321MPI compare #27 negative < positive
322mbedtls_mpi_cmp_mpi:"-7b":"7b":-1
323
324MPI compare #28 negative == negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]325mbedtls_mpi_cmp_mpi:"-7b":"-7b":0
326
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]327MPI compare #29 negative < positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]328mbedtls_mpi_cmp_mpi:"-7b":"0000000000000000123":-1
329
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]330MPI compare #30 negative > negative with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]331mbedtls_mpi_cmp_mpi:"-7b":"-0000000000000000123":1
332
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]333MPI compare #31 negative < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]334mbedtls_mpi_cmp_mpi:"-7b":"1230000000000000000":-1
335
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]336MPI compare #32 negative > large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]337mbedtls_mpi_cmp_mpi:"-7b":"-1230000000000000000":1
338
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]339MPI compare #33 positive with leading zero limb > 0 (null)
340mbedtls_mpi_cmp_mpi:"0000000000000000123":"":1
341
342MPI compare #34 positive with leading zero limb > 0 (1 limb)
343mbedtls_mpi_cmp_mpi:"0000000000000000123":"0":1
344
345MPI compare #35 positive with leading zero limb > positive
346mbedtls_mpi_cmp_mpi:"0000000000000000123":"7b":1
347
348MPI compare #36 positive with leading zero limb > negative
349mbedtls_mpi_cmp_mpi:"0000000000000000123":"-7b":1
350
351MPI compare #37 positive with leading zero limb == positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]352mbedtls_mpi_cmp_mpi:"0000000000000000123":"0000000000000000123":0
353
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]354MPI compare #38 positive with leading zero limb > negative with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]355mbedtls_mpi_cmp_mpi:"0000000000000000123":"-0000000000000000123":1
356
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]357MPI compare #39 positive with leading zero limb < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]358mbedtls_mpi_cmp_mpi:"0000000000000000123":"1230000000000000000":-1
359
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]360MPI compare #40 positive with leading zero limb > large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]361mbedtls_mpi_cmp_mpi:"0000000000000000123":"-1230000000000000000":1
362
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]363MPI compare #41 negative with leading zero limb < 0 (null)
364mbedtls_mpi_cmp_mpi:"-0000000000000000123":"":-1
365
366MPI compare #42 negative with leading zero limb < 0 (1 limb)
367mbedtls_mpi_cmp_mpi:"-0000000000000000123":"0":-1
368
369MPI compare #43 negative with leading zero limb < positive
370mbedtls_mpi_cmp_mpi:"-0000000000000000123":"7b":-1
371
372MPI compare #44 negative with leading zero limb < negative
373mbedtls_mpi_cmp_mpi:"-0000000000000000123":"-7b":-1
374
375MPI compare #45 negative with leading zero limb < positive with leading zero limb
376mbedtls_mpi_cmp_mpi:"-0000000000000000123":"0000000000000000123":-1
377
378MPI compare #46 negative with leading zero limb == negative with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]379mbedtls_mpi_cmp_mpi:"-0000000000000000123":"-0000000000000000123":0
380
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]381MPI compare #47 negative with leading zero limb < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]382mbedtls_mpi_cmp_mpi:"-0000000000000000123":"1230000000000000000":-1
383
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]384MPI compare #48 negative with leading zero limb > large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]385mbedtls_mpi_cmp_mpi:"-0000000000000000123":"-1230000000000000000":1
386
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]387MPI compare #49 large positive > 0 (null)
388mbedtls_mpi_cmp_mpi:"1230000000000000000":"":1
389
390MPI compare #50 large positive > 0 (1 limb)
391mbedtls_mpi_cmp_mpi:"1230000000000000000":"0":1
392
393MPI compare #51 large positive > positive
394mbedtls_mpi_cmp_mpi:"1230000000000000000":"7b":1
395
396MPI compare #52 large positive > negative
397mbedtls_mpi_cmp_mpi:"1230000000000000000":"-7b":1
398
399MPI compare #53 large positive > positive with leading zero limb
400mbedtls_mpi_cmp_mpi:"1230000000000000000":"0000000000000000123":1
401
402MPI compare #54 large positive > negative with leading zero limb
403mbedtls_mpi_cmp_mpi:"1230000000000000000":"-0000000000000000123":1
404
405MPI compare #55 large positive == large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]406mbedtls_mpi_cmp_mpi:"1230000000000000000":"1230000000000000000":0
407
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]408MPI compare #56 large positive > large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]409mbedtls_mpi_cmp_mpi:"1230000000000000000":"-1230000000000000000":1
410
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]411MPI compare #57 large negative < 0 (null)
412mbedtls_mpi_cmp_mpi:"-1230000000000000000":"":-1
413
414MPI compare #58 large negative < 0 (1 limb)
415mbedtls_mpi_cmp_mpi:"-1230000000000000000":"0":-1
416
417MPI compare #59 large negative < positive
418mbedtls_mpi_cmp_mpi:"-1230000000000000000":"7b":-1
419
420MPI compare #60 large negative < negative
421mbedtls_mpi_cmp_mpi:"-1230000000000000000":"-7b":-1
422
423MPI compare #61 large negative < positive with leading zero limb
424mbedtls_mpi_cmp_mpi:"-1230000000000000000":"0000000000000000123":-1
425
426MPI compare #62 large negative < negative with leading zero limb
427mbedtls_mpi_cmp_mpi:"-1230000000000000000":"-0000000000000000123":-1
428
429MPI compare #63 large negative < large positive
430mbedtls_mpi_cmp_mpi:"-1230000000000000000":"1230000000000000000":-1
431
432MPI compare #64 large negative == large negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]433mbedtls_mpi_cmp_mpi:"-1230000000000000000":"-1230000000000000000":0
434
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]435MPI compare #65 negative > negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]436mbedtls_mpi_cmp_mpi:"-2":"-3":1
437
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]438MPI compare #66 negative == negative
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]439mbedtls_mpi_cmp_mpi:"-2":"-2":0
440
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]441MPI compare #67 positive < positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]442mbedtls_mpi_cmp_mpi:"2b4":"2b5":-1
443
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]444MPI compare #68 positive < positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]445mbedtls_mpi_cmp_mpi:"2b5":"2b6":-1
446
447MPI compare (abs) #1 0 (null) == 0 (null)
448mbedtls_mpi_cmp_abs:"":"":0
449
450MPI compare (abs) #2 0 (null) == 0 (1 limb)
451mbedtls_mpi_cmp_abs:"":"0":0
452
453MPI compare (abs) #3 0 (null) < positive
454mbedtls_mpi_cmp_abs:"":"7b":-1
455
456MPI compare (abs) #4 0 (null) < positive
457mbedtls_mpi_cmp_abs:"":"7b":-1
458
459MPI compare (abs) #5 0 (null) < positive with leading zero limb
460mbedtls_mpi_cmp_abs:"":"0000000000000000123":-1
461
462MPI compare (abs) #6 0 (null) < positive with leading zero limb
463mbedtls_mpi_cmp_abs:"":"0000000000000000123":-1
464
465MPI compare (abs) #7 0 (null) < large positive
466mbedtls_mpi_cmp_abs:"":"1230000000000000000":-1
467
468MPI compare (abs) #8 0 (null) < large positive
469mbedtls_mpi_cmp_abs:"":"1230000000000000000":-1
470
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]471MPI compare (abs) #9 0 (1 limb) == 0 (null)
472mbedtls_mpi_cmp_abs:"0":"":0
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]473
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]474MPI compare (abs) #10 0 (1 limb) == 0 (1 limb)
475mbedtls_mpi_cmp_abs:"0":"0":0
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]476
477MPI compare (abs) #11 0 (1 limb) < positive
478mbedtls_mpi_cmp_abs:"0":"7b":-1
479
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]480MPI compare (abs) #12 0 (1 limb) < positive
481mbedtls_mpi_cmp_abs:"0":"7b":-1
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]482
483MPI compare (abs) #13 0 (1 limb) < positive with leading zero limb
484mbedtls_mpi_cmp_abs:"0":"0000000000000000123":-1
485
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]486MPI compare (abs) #14 0 (1 limb) < positive with leading zero limb
487mbedtls_mpi_cmp_abs:"0":"0000000000000000123":-1
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]488
489MPI compare (abs) #15 0 (1 limb) < large positive
490mbedtls_mpi_cmp_abs:"0":"1230000000000000000":-1
491
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]492MPI compare (abs) #16 0 (1 limb) < large positive
493mbedtls_mpi_cmp_abs:"0":"1230000000000000000":-1
494
495MPI compare (abs) #17 positive > 0 (null)
496mbedtls_mpi_cmp_abs:"7b":"":1
497
498MPI compare (abs) #18 positive > 0 (1 limb)
499mbedtls_mpi_cmp_abs:"7b":"0":1
500
501MPI compare (abs) #19 positive == positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]502mbedtls_mpi_cmp_abs:"7b":"7b":0
503
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]504MPI compare (abs) #20 positive == positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]505mbedtls_mpi_cmp_abs:"7b":"7b":0
506
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]507MPI compare (abs) #21 positive < positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]508mbedtls_mpi_cmp_abs:"7b":"0000000000000000123":-1
509
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]510MPI compare (abs) #22 positive < positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]511mbedtls_mpi_cmp_abs:"7b":"0000000000000000123":-1
512
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]513MPI compare (abs) #23 positive < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]514mbedtls_mpi_cmp_abs:"7b":"1230000000000000000":-1
515
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]516MPI compare (abs) #24 positive < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]517mbedtls_mpi_cmp_abs:"7b":"1230000000000000000":-1
518
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]519MPI compare (abs) #25 positive > 0 (null)
520mbedtls_mpi_cmp_abs:"7b":"":1
521
522MPI compare (abs) #26 positive > 0 (1 limb)
523mbedtls_mpi_cmp_abs:"7b":"0":1
524
525MPI compare (abs) #27 positive == positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]526mbedtls_mpi_cmp_abs:"7b":"7b":0
527
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]528MPI compare (abs) #28 positive == positive
529mbedtls_mpi_cmp_abs:"7b":"7b":0
530
531MPI compare (abs) #29 positive < positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]532mbedtls_mpi_cmp_abs:"7b":"0000000000000000123":-1
533
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]534MPI compare (abs) #30 positive < positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]535mbedtls_mpi_cmp_abs:"7b":"0000000000000000123":-1
536
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]537MPI compare (abs) #31 positive < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]538mbedtls_mpi_cmp_abs:"7b":"1230000000000000000":-1
539
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]540MPI compare (abs) #32 positive < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]541mbedtls_mpi_cmp_abs:"7b":"1230000000000000000":-1
542
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]543MPI compare (abs) #33 positive with leading zero limb > 0 (null)
544mbedtls_mpi_cmp_abs:"0000000000000000123":"":1
545
546MPI compare (abs) #34 positive with leading zero limb > 0 (1 limb)
547mbedtls_mpi_cmp_abs:"0000000000000000123":"0":1
548
549MPI compare (abs) #35 positive with leading zero limb > positive
550mbedtls_mpi_cmp_abs:"0000000000000000123":"7b":1
551
552MPI compare (abs) #36 positive with leading zero limb > positive
553mbedtls_mpi_cmp_abs:"0000000000000000123":"7b":1
554
555MPI compare (abs) #37 positive with leading zero limb == positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]556mbedtls_mpi_cmp_abs:"0000000000000000123":"0000000000000000123":0
557
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]558MPI compare (abs) #38 positive with leading zero limb == positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]559mbedtls_mpi_cmp_abs:"0000000000000000123":"0000000000000000123":0
560
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]561MPI compare (abs) #39 positive with leading zero limb < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]562mbedtls_mpi_cmp_abs:"0000000000000000123":"1230000000000000000":-1
563
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]564MPI compare (abs) #40 positive with leading zero limb < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]565mbedtls_mpi_cmp_abs:"0000000000000000123":"1230000000000000000":-1
566
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]567MPI compare (abs) #41 positive with leading zero limb > 0 (null)
568mbedtls_mpi_cmp_abs:"0000000000000000123":"":1
569
570MPI compare (abs) #42 positive with leading zero limb > 0 (1 limb)
571mbedtls_mpi_cmp_abs:"0000000000000000123":"0":1
572
573MPI compare (abs) #43 positive with leading zero limb > positive
574mbedtls_mpi_cmp_abs:"0000000000000000123":"7b":1
575
576MPI compare (abs) #44 positive with leading zero limb > positive
577mbedtls_mpi_cmp_abs:"0000000000000000123":"7b":1
578
579MPI compare (abs) #45 positive with leading zero limb == positive with leading zero limb
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]580mbedtls_mpi_cmp_abs:"0000000000000000123":"0000000000000000123":0
581
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]582MPI compare (abs) #46 positive with leading zero limb == positive with leading zero limb
583mbedtls_mpi_cmp_abs:"0000000000000000123":"0000000000000000123":0
584
585MPI compare (abs) #47 positive with leading zero limb < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]586mbedtls_mpi_cmp_abs:"0000000000000000123":"1230000000000000000":-1
587
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]588MPI compare (abs) #48 positive with leading zero limb < large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]589mbedtls_mpi_cmp_abs:"0000000000000000123":"1230000000000000000":-1
590
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]591MPI compare (abs) #49 large positive > 0 (null)
592mbedtls_mpi_cmp_abs:"1230000000000000000":"":1
593
594MPI compare (abs) #50 large positive > 0 (1 limb)
595mbedtls_mpi_cmp_abs:"1230000000000000000":"0":1
596
597MPI compare (abs) #51 large positive > positive
598mbedtls_mpi_cmp_abs:"1230000000000000000":"7b":1
599
600MPI compare (abs) #52 large positive > positive
601mbedtls_mpi_cmp_abs:"1230000000000000000":"7b":1
602
603MPI compare (abs) #53 large positive > positive with leading zero limb
604mbedtls_mpi_cmp_abs:"1230000000000000000":"0000000000000000123":1
605
606MPI compare (abs) #54 large positive > positive with leading zero limb
607mbedtls_mpi_cmp_abs:"1230000000000000000":"0000000000000000123":1
608
609MPI compare (abs) #55 large positive == large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]610mbedtls_mpi_cmp_abs:"1230000000000000000":"1230000000000000000":0
611
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]612MPI compare (abs) #56 large positive == large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]613mbedtls_mpi_cmp_abs:"1230000000000000000":"1230000000000000000":0
614
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]615MPI compare (abs) #57 large positive > 0 (null)
616mbedtls_mpi_cmp_abs:"1230000000000000000":"":1
617
618MPI compare (abs) #58 large positive > 0 (1 limb)
619mbedtls_mpi_cmp_abs:"1230000000000000000":"0":1
620
621MPI compare (abs) #59 large positive > positive
622mbedtls_mpi_cmp_abs:"1230000000000000000":"7b":1
623
624MPI compare (abs) #60 large positive > positive
625mbedtls_mpi_cmp_abs:"1230000000000000000":"7b":1
626
627MPI compare (abs) #61 large positive > positive with leading zero limb
628mbedtls_mpi_cmp_abs:"1230000000000000000":"0000000000000000123":1
629
630MPI compare (abs) #62 large positive > positive with leading zero limb
631mbedtls_mpi_cmp_abs:"1230000000000000000":"0000000000000000123":1
632
633MPI compare (abs) #63 large positive == large positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]634mbedtls_mpi_cmp_abs:"1230000000000000000":"1230000000000000000":0
635
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]636MPI compare (abs) #64 large positive == large positive
637mbedtls_mpi_cmp_abs:"1230000000000000000":"1230000000000000000":0
638
639MPI compare (abs) #65 positive < positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]640mbedtls_mpi_cmp_abs:"2":"3":-1
641
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]642MPI compare (abs) #66 positive == positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]643mbedtls_mpi_cmp_abs:"2":"2":0
644
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]645MPI compare (abs) #67 positive < positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]646mbedtls_mpi_cmp_abs:"2b4":"2b5":-1
647
Gilles Peskineee78b6e2022-11-09 21:57:52 +0100[diff] [blame^]648MPI compare (abs) #68 positive < positive
Werner Lewis05998a02022-09-21 16:55:21 +0100[diff] [blame]649mbedtls_mpi_cmp_abs:"2b5":"2b6":-1
650
651# End of automatically generated file.