TrustedFirmware Git Browser
Code Review Sign In
review.trustedfirmware.org / mirror / mbed-tls / 666892792d98d68f45aac0e3ff3cfda2baa89a57 / . / tests / suites / test_suite_mpi.data
blob: 2a2cfce45ceeead942e767a3490ca9180451f65e [file] [log] [blame]
Manuel Pégourié-Gonnard770b5e12015-04-29 17:02:01 +0200[diff] [blame]1Arguments with no value
2mpi_null:
3
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]4Base test mpi_read_write_string #1
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]5mpi_read_write_string:10:"128":10:"128":100:0:0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]6
7Base test mpi_read_write_string #2
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]8mpi_read_write_string:10:"128":16:"80":100:0:0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]9
10Base test mpi_read_write_string #3 (Read zero)
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]11mpi_read_write_string:10:"0":10:"0":100:0:0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]12
13Base test mpi_read_write_string #3 (Negative decimal)
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]14mpi_read_write_string:10:"-23":10:"-23":100:0:0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]15
16Base test mpi_read_write_string #3 (Negative hex)
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]17mpi_read_write_string:16:"-20":10:"-32":100:0:0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]18
19Base test mpi_read_write_string #3 (Negative decimal)
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]20mpi_read_write_string:16:"-23":16:"-23":100:0:0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]21
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]22Test mpi_read_write_string #1 (Invalid character)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]23mpi_read_write_string:10:"a28":0:"":100:MBEDTLS_ERR_MPI_INVALID_CHARACTER:0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]24
25Test mpi_read_write_string #2 (Illegal input radix)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]26mpi_read_write_string:19:"a28":0:"":100:MBEDTLS_ERR_MPI_BAD_INPUT_DATA:0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]27
28Test mpi_read_write_string #3 (Buffer just fits)
29mpi_read_write_string:16:"-23":16:"-23":4:0:0
30
31Test mpi_read_write_string #4 (Buffer too small)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]32mpi_read_write_string:16:"-23":16:"-23":3:0:MBEDTLS_ERR_MPI_BUFFER_TOO_SMALL
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]33
34Test mpi_read_write_string #5 (Illegal output radix)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]35mpi_read_write_string:16:"-23":17:"-23":4:0:MBEDTLS_ERR_MPI_BAD_INPUT_DATA
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]36
37Test mpi_read_write_string #6 (Output radix of 15)
38mpi_read_write_string:10:"29":15:"1e":100:0:0
39
40Test mpi_read_write_string #7
41mpi_read_write_string:10:"56125680981752282334141896320372489490613963693556392520816017892111350604111697682705498319512049040516698827829292076808006940873974979584527073481012636016353913462376755556720019831187364993587901952757307830896531678727717924":16:"0941379d00fed1491fe15df284dfde4a142f68aa8d412023195cee66883e6290ffe703f4ea5963bf212713cee46b107c09182b5edcd955adac418bf4918e2889af48e1099d513830cec85c26ac1e158b52620e33ba8692f893efbb2f958b4424":200:0:0
Paul Bakkere896fea2009-07-06 06:40:23 +0000[diff] [blame]42
Paul Bakker6c343d72014-07-10 14:36:19 +0200[diff] [blame]43Test mpi_read_write_string #8 (Empty MPI -> hex)
44mpi_read_write_string:16:"":16:"00":4:0:0
45
46Test mpi_read_write_string #9 (Empty MPI -> dec)
47mpi_read_write_string:16:"":10:"0":4:0:0
48
Andres AGd1cc7f62017-01-06 13:17:35 +0000[diff] [blame]49Test mpi_write_string #10 (Negative hex with odd number of digits)
50mpi_read_write_string:16:"-1":16:"":3:0:MBEDTLS_ERR_MPI_BUFFER_TOO_SMALL
51
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]52Base test mbedtls_mpi_read_binary #1
53mbedtls_mpi_read_binary:"0941379d00fed1491fe15df284dfde4a142f68aa8d412023195cee66883e6290ffe703f4ea5963bf212713cee46b107c09182b5edcd955adac418bf4918e2889af48e1099d513830cec85c26ac1e158b52620e33ba8692f893efbb2f958b4424":10:"56125680981752282334141896320372489490613963693556392520816017892111350604111697682705498319512049040516698827829292076808006940873974979584527073481012636016353913462376755556720019831187364993587901952757307830896531678727717924"
Paul Bakkere896fea2009-07-06 06:40:23 +0000[diff] [blame]54
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]55Base test mbedtls_mpi_write_binary #1
56mbedtls_mpi_write_binary:10:"56125680981752282334141896320372489490613963693556392520816017892111350604111697682705498319512049040516698827829292076808006940873974979584527073481012636016353913462376755556720019831187364993587901952757307830896531678727717924":"0941379d00fed1491fe15df284dfde4a142f68aa8d412023195cee66883e6290ffe703f4ea5963bf212713cee46b107c09182b5edcd955adac418bf4918e2889af48e1099d513830cec85c26ac1e158b52620e33ba8692f893efbb2f958b4424":200:0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]57
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]58Test mbedtls_mpi_write_binary #1 (Buffer just fits)
59mbedtls_mpi_write_binary:16:"123123123123123123123123123":"0123123123123123123123123123":14:0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]60
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]61Test mbedtls_mpi_write_binary #2 (Buffer too small)
62mbedtls_mpi_write_binary:16:"123123123123123123123123123":"123123123123123123123123123":13:MBEDTLS_ERR_MPI_BUFFER_TOO_SMALL
Paul Bakkere896fea2009-07-06 06:40:23 +0000[diff] [blame]63
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]64Base test mbedtls_mpi_read_file #1
65mbedtls_mpi_read_file:10:"data_files/mpi_10":"01f55332c3a48b910f9942f6c914e58bef37a47ee45cb164a5b6b8d1006bf59a059c21449939ebebfdf517d2e1dbac88010d7b1f141e997bd6801ddaec9d05910f4f2de2b2c4d714e2c14a72fc7f17aa428d59c531627f09":0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]66
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]67Test mbedtls_mpi_read_file #1 (Empty file)
68mbedtls_mpi_read_file:10:"data_files/hash_file_4":"":MBEDTLS_ERR_MPI_FILE_IO_ERROR
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]69
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]70Test mbedtls_mpi_read_file #2 (Illegal input)
71mbedtls_mpi_read_file:10:"data_files/hash_file_3":"":0
Paul Bakkere896fea2009-07-06 06:40:23 +0000[diff] [blame]72
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]73Test mbedtls_mpi_read_file #3 (Input too big)
74mbedtls_mpi_read_file:10:"data_files/mpi_too_big":"":MBEDTLS_ERR_MPI_BUFFER_TOO_SMALL
Paul Bakkercb37aa52011-11-30 16:00:20 +0000[diff] [blame]75
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]76Base test mbedtls_mpi_write_file #1
77mbedtls_mpi_write_file:10:"56125680981752282334141896320372489490613963693556392520816017892111350604111697682705498319512049040516698827829292076808006940873974979584527073481012636016353913462376755556720019831187364993587901952757307830896531678727717924":16:"data_files/mpi_write"
Paul Bakkere896fea2009-07-06 06:40:23 +0000[diff] [blame]78
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]79Base test mbedtls_mpi_lsb #1
80mbedtls_mpi_lsb:10:"56125680981752282334141896320372489490613963693556392520816017892111350604111697682705498319512049040516698827829292076808006940873974979584527073481012636016353913462376755556720019831187364993587901952757307830896531678727717924":2
Paul Bakkere896fea2009-07-06 06:40:23 +0000[diff] [blame]81
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]82Base test mbedtls_mpi_lsb #2
83mbedtls_mpi_lsb:10:"24":3
Paul Bakkere896fea2009-07-06 06:40:23 +0000[diff] [blame]84
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]85Base test mbedtls_mpi_lsb #3
86mbedtls_mpi_lsb:16:"24":2
Paul Bakkere896fea2009-07-06 06:40:23 +0000[diff] [blame]87
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]88Base test mbedtls_mpi_lsb #4
89mbedtls_mpi_lsb:16:"2000":13
Paul Bakkere896fea2009-07-06 06:40:23 +0000[diff] [blame]90
Manuel Pégourié-Gonnardc0696c22015-06-18 16:47:17 +0200[diff] [blame]91Base test mbedtls_mpi_bitlen #1
92mbedtls_mpi_bitlen:10:"56125680981752282334141896320372489490613963693556392520816017892111350604111697682705498319512049040516698827829292076808006940873974979584527073481012636016353913462376755556720019831187364993587901952757307830896531678727717924":764
Paul Bakkere896fea2009-07-06 06:40:23 +0000[diff] [blame]93
Manuel Pégourié-Gonnardc0696c22015-06-18 16:47:17 +0200[diff] [blame]94Base test mbedtls_mpi_bitlen #2
95mbedtls_mpi_bitlen:10:"24":5
Paul Bakkere896fea2009-07-06 06:40:23 +0000[diff] [blame]96
Manuel Pégourié-Gonnardc0696c22015-06-18 16:47:17 +0200[diff] [blame]97Base test mbedtls_mpi_bitlen #3
98mbedtls_mpi_bitlen:10:"1":1
Paul Bakkere896fea2009-07-06 06:40:23 +0000[diff] [blame]99
Manuel Pégourié-Gonnardc0696c22015-06-18 16:47:17 +0200[diff] [blame]100Base test mbedtls_mpi_bitlen #4
101mbedtls_mpi_bitlen:10:"15":4
Paul Bakkere896fea2009-07-06 06:40:23 +0000[diff] [blame]102
Manuel Pégourié-Gonnardc0696c22015-06-18 16:47:17 +0200[diff] [blame]103Base test mbedtls_mpi_bitlen #5
104mbedtls_mpi_bitlen:10:"16":5
Paul Bakkere896fea2009-07-06 06:40:23 +0000[diff] [blame]105
Manuel Pégourié-Gonnardc0696c22015-06-18 16:47:17 +0200[diff] [blame]106Base test mbedtls_mpi_bitlen #6
107mbedtls_mpi_bitlen:10:"10":4
Paul Bakkere896fea2009-07-06 06:40:23 +0000[diff] [blame]108
Manuel Pégourié-Gonnardc0696c22015-06-18 16:47:17 +0200[diff] [blame]109Base test mbedtls_mpi_bitlen #7
110mbedtls_mpi_bitlen:10:"0":0
Paul Bakkere896fea2009-07-06 06:40:23 +0000[diff] [blame]111
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]112Base test mbedtls_mpi_cmp_int #1
113mbedtls_mpi_cmp_int:693:693:0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]114
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]115Base test mbedtls_mpi_cmp_int #2
116mbedtls_mpi_cmp_int:693:692:1
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]117
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]118Base test mbedtls_mpi_cmp_int #3
119mbedtls_mpi_cmp_int:693:694:-1
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]120
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]121Base test mbedtls_mpi_cmp_int (Negative values) #1
122mbedtls_mpi_cmp_int:-2:-2:0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]123
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]124Base test mbedtls_mpi_cmp_int (Negative values) #2
125mbedtls_mpi_cmp_int:-2:-3:1
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]126
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]127Base test mbedtls_mpi_cmp_int (Negative values) #3
128mbedtls_mpi_cmp_int:-2:-1:-1
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]129
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]130Base test mbedtls_mpi_cmp_mpi #1
131mbedtls_mpi_cmp_mpi:10:"693":10:"693":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]132
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]133Base test mbedtls_mpi_cmp_mpi #2
134mbedtls_mpi_cmp_mpi:10:"693":10:"692":1
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]135
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]136Base test mbedtls_mpi_cmp_mpi #3
137mbedtls_mpi_cmp_mpi:10:"693":10:"694":-1
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]138
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]139Base test mbedtls_mpi_cmp_mpi (Negative values) #1
140mbedtls_mpi_cmp_mpi:10:"-2":10:"-2":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]141
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]142Base test mbedtls_mpi_cmp_mpi (Negative values) #2
143mbedtls_mpi_cmp_mpi:10:"-2":10:"-3":1
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]144
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]145Base test mbedtls_mpi_cmp_mpi (Negative values) #3
146mbedtls_mpi_cmp_mpi:10:"-2":10:"-1":-1
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]147
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]148Base test mbedtls_mpi_cmp_mpi (Mixed values) #4
149mbedtls_mpi_cmp_mpi:10:"-3":10:"2":-1
Paul Bakker0c8f73b2012-03-22 14:08:57 +0000[diff] [blame]150
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]151Base test mbedtls_mpi_cmp_mpi (Mixed values) #5
152mbedtls_mpi_cmp_mpi:10:"2":10:"-3":1
Paul Bakker0c8f73b2012-03-22 14:08:57 +0000[diff] [blame]153
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]154Base test mbedtls_mpi_cmp_mpi (Mixed values) #6
155mbedtls_mpi_cmp_mpi:10:"-2":10:"31231231289798":-1
Paul Bakker0c8f73b2012-03-22 14:08:57 +0000[diff] [blame]156
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]157Base test mbedtls_mpi_cmp_abs #1
158mbedtls_mpi_cmp_abs:10:"693":10:"693":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]159
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]160Base test mbedtls_mpi_cmp_abs #2
161mbedtls_mpi_cmp_abs:10:"693":10:"692":1
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]162
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]163Base test mbedtls_mpi_cmp_abs #3
164mbedtls_mpi_cmp_abs:10:"693":10:"694":-1
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]165
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]166Base test mbedtls_mpi_cmp_abs (Negative values) #1
167mbedtls_mpi_cmp_abs:10:"-2":10:"-2":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]168
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]169Base test mbedtls_mpi_cmp_abs (Negative values) #2
170mbedtls_mpi_cmp_abs:10:"-2":10:"-3":-1
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]171
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]172Base test mbedtls_mpi_cmp_abs (Negative values) #3
173mbedtls_mpi_cmp_abs:10:"-2":10:"-1":1
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]174
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]175Base test mbedtls_mpi_cmp_abs (Zero and Zero) #4
176mbedtls_mpi_cmp_abs:10:"0":10:"0":0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]177
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]178Base test mbedtls_mpi_cmp_abs (Mix values) #1
179mbedtls_mpi_cmp_abs:10:"-2":10:"2":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]180
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]181Base test mbedtls_mpi_cmp_abs (Mix values) #2
182mbedtls_mpi_cmp_abs:10:"2":10:"-3":-1
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]183
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]184Base test mbedtls_mpi_cmp_abs (Mix values) #3
185mbedtls_mpi_cmp_abs:10:"-2":10:"1":1
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]186
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]187Base test mbedtls_mpi_copy #1
188mbedtls_mpi_copy:0:1500
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]189
Paul Bakkere896fea2009-07-06 06:40:23 +0000[diff] [blame]190Base test mpi_copy_self #1
191mpi_copy_self:14
192
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]193Base test mbedtls_mpi_swap #1
194mbedtls_mpi_swap:0:1500
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]195
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]196Test mbedtls_mpi_shrink #1
197mbedtls_mpi_shrink:2:2:4:4
Manuel Pégourié-Gonnard58681632013-11-21 10:39:37 +0100[diff] [blame]198
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]199Test mbedtls_mpi_shrink #2
200mbedtls_mpi_shrink:4:2:4:4
Manuel Pégourié-Gonnard58681632013-11-21 10:39:37 +0100[diff] [blame]201
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]202Test mbedtls_mpi_shrink #3
203mbedtls_mpi_shrink:8:2:4:4
Manuel Pégourié-Gonnard58681632013-11-21 10:39:37 +0100[diff] [blame]204
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]205Test mbedtls_mpi_shrink #4
206mbedtls_mpi_shrink:8:4:4:4
Manuel Pégourié-Gonnard58681632013-11-21 10:39:37 +0100[diff] [blame]207
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]208Test mbedtls_mpi_shrink #5
209mbedtls_mpi_shrink:8:6:4:6
Manuel Pégourié-Gonnard58681632013-11-21 10:39:37 +0100[diff] [blame]210
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]211Test mbedtls_mpi_shrink #6
212mbedtls_mpi_shrink:4:2:0:2
Manuel Pégourié-Gonnard58681632013-11-21 10:39:37 +0100[diff] [blame]213
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]214Test mbedtls_mpi_shrink #7
215mbedtls_mpi_shrink:4:1:0:1
Manuel Pégourié-Gonnard58681632013-11-21 10:39:37 +0100[diff] [blame]216
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]217Test mbedtls_mpi_shrink #8
218mbedtls_mpi_shrink:4:0:0:1
Manuel Pégourié-Gonnard58681632013-11-21 10:39:37 +0100[diff] [blame]219
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]220Test mbedtls_mpi_safe_cond_assign #1
221mbedtls_mpi_safe_cond_assign:+1:"01":+1:"02"
Manuel Pégourié-Gonnard71c2c212013-11-21 16:56:39 +0100[diff] [blame]222
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]223Test mbedtls_mpi_safe_cond_assign #2
224mbedtls_mpi_safe_cond_assign:+1:"FF000000000000000001":+1:"02"
Manuel Pégourié-Gonnard71c2c212013-11-21 16:56:39 +0100[diff] [blame]225
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]226Test mbedtls_mpi_safe_cond_assign #3
227mbedtls_mpi_safe_cond_assign:+1:"01":+1:"FF000000000000000002"
Manuel Pégourié-Gonnard3e3d2b82013-11-21 21:12:26 +0100[diff] [blame]228
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]229Test mbedtls_mpi_safe_cond_assign #4
230mbedtls_mpi_safe_cond_assign:+1:"01":-1:"02"
Manuel Pégourié-Gonnard3e3d2b82013-11-21 21:12:26 +0100[diff] [blame]231
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]232Test mbedtls_mpi_safe_cond_assign #5
233mbedtls_mpi_safe_cond_assign:-1:"01":+1:"02"
Manuel Pégourié-Gonnard3e3d2b82013-11-21 21:12:26 +0100[diff] [blame]234
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]235Test mbedtls_mpi_safe_cond_assign #6
236mbedtls_mpi_safe_cond_assign:-1:"01":-1:"02"
Manuel Pégourié-Gonnard71c2c212013-11-21 16:56:39 +0100[diff] [blame]237
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]238Test mbedtls_mpi_safe_cond_swap #1
239mbedtls_mpi_safe_cond_swap:+1:"01":+1:"02"
Manuel Pégourié-Gonnarda60fe892013-12-04 21:41:50 +0100[diff] [blame]240
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]241Test mbedtls_mpi_safe_cond_swap #2
242mbedtls_mpi_safe_cond_swap:+1:"FF000000000000000001":+1:"02"
Manuel Pégourié-Gonnarda60fe892013-12-04 21:41:50 +0100[diff] [blame]243
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]244Test mbedtls_mpi_safe_cond_swap #3
245mbedtls_mpi_safe_cond_swap:+1:"01":+1:"FF000000000000000002"
Manuel Pégourié-Gonnarda60fe892013-12-04 21:41:50 +0100[diff] [blame]246
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]247Test mbedtls_mpi_safe_cond_swap #4
248mbedtls_mpi_safe_cond_swap:+1:"01":-1:"02"
Manuel Pégourié-Gonnarda60fe892013-12-04 21:41:50 +0100[diff] [blame]249
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]250Test mbedtls_mpi_safe_cond_swap #5
251mbedtls_mpi_safe_cond_swap:-1:"01":+1:"02"
Manuel Pégourié-Gonnarda60fe892013-12-04 21:41:50 +0100[diff] [blame]252
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]253Test mbedtls_mpi_safe_cond_swap #6
254mbedtls_mpi_safe_cond_swap:-1:"01":-1:"02"
Manuel Pégourié-Gonnarda60fe892013-12-04 21:41:50 +0100[diff] [blame]255
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]256Base test mbedtls_mpi_add_abs #1
257mbedtls_mpi_add_abs:10:"12345678":10:"642531":10:"12988209"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]258
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]259Base test mbedtls_mpi_add_abs #2
260mbedtls_mpi_add_abs:10:"-12345678":10:"642531":10:"12988209"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]261
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]262Base test mbedtls_mpi_add_abs #3
263mbedtls_mpi_add_abs:10:"12345678":10:"-642531":10:"12988209"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]264
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]265Base test mbedtls_mpi_add_abs #4
266mbedtls_mpi_add_abs:10:"-12345678":10:"-642531":10:"12988209"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]267
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]268Test mbedtls_mpi_add_abs #1
269mbedtls_mpi_add_abs:10:"-643808006803554439230129854961492699151386107534013432918073439524138264842370630061369715394739134090922937332590384720397133335969549256322620979036686633213903952966175107096769180017646161851573147596390153":10:"56125680981752282333498088313568935051383833838594899821664631784577337171193624243181360054669678410455329112434552942717084003541384594864129940145043086760031292483340068923506115878221189886491132772739661669044958531131327771":10:"56125680981752282334141896320372489490613963693556392520816017892111350604111697682705498319512049040516698827829292076808006940873974979584527073481012636016353913462376755556720019831187364993587901952757307830896531678727717924"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]270
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]271Test mbedtls_mpi_add_abs #2 (add to first value)
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]272mpi_add_abs_add_first:10:"123123":10:"123123":10:"246246"
273
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]274Test mbedtls_mpi_add_abs #3 (add to second value)
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]275mpi_add_abs_add_second:10:"123123":10:"123123":10:"246246"
276
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]277Regression mbedtls_mpi_add_abs (add small to very large MPI with carry rollover)
278mbedtls_mpi_add_abs:16:"FFFFFFFFFFFFFFFFFFFFFFFFFFFFF8":16:"08":16:"1000000000000000000000000000000"
Paul Bakker17a97902012-09-17 08:44:35 +0000[diff] [blame]279
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]280Regression mbedtls_mpi_add_abs (add small to very large MPI with carry rollover)
281mbedtls_mpi_add_abs:16:"08":16:"FFFFFFFFFFFFFFFFFFFFFFFFFFFFF8":16:"1000000000000000000000000000000"
Paul Bakker17a97902012-09-17 08:44:35 +0000[diff] [blame]282
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]283Base test mbedtls_mpi_add_mpi #1
284mbedtls_mpi_add_mpi:10:"12345678":10:"642531":10:"12988209"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]285
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]286Base test mbedtls_mpi_add_mpi #2
287mbedtls_mpi_add_mpi:10:"-12345678":10:"642531":10:"-11703147"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]288
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]289Base test mbedtls_mpi_add_mpi #3
290mbedtls_mpi_add_mpi:10:"12345678":10:"-642531":10:"11703147"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]291
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]292Base test mbedtls_mpi_add_mpi #4
293mbedtls_mpi_add_mpi:10:"-12345678":10:"-642531":10:"-12988209"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]294
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]295Test mbedtls_mpi_add_mpi #1
296mbedtls_mpi_add_mpi:10:"203956878356401977405765866929034577280193993314348263094772646453283062722701277632936616063144088173312372882677123879538709400158306567338328279154499698366071906766440037074217117805690872792848149112022286332144876183376326512083574821647933992961249917319836219304274280243803104015000563790123":10:"531872289054204184185084734375133399408303613982130856645299464930952178606045848877129147820387996428175564228204785846141207532462936339834139412401975338705794646595487324365194792822189473092273993580587964571659678084484152603881094176995594813302284232006001752128168901293560051833646881436219":10:"735829167410606161590850601304167976688497607296479119740072111384235241328747126510065763883532084601487937110881909725679916932621242907172467691556475037071866553361927361439411910627880345885122142692610250903804554267860479115964668998643528806263534149325837971432443181537363155848647445226342"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]297
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]298Test mbedtls_mpi_add_mpi #2
299mbedtls_mpi_add_mpi:10:"643808006803554439230129854961492699151386107534013432918073439524138264842370630061369715394739134090922937332590384720397133335969549256322620979036686633213903952966175107096769180017646161851573147596390153":10:"56125680981752282333498088313568935051383833838594899821664631784577337171193624243181360054669678410455329112434552942717084003541384594864129940145043086760031292483340068923506115878221189886491132772739661669044958531131327771":10:"56125680981752282334141896320372489490613963693556392520816017892111350604111697682705498319512049040516698827829292076808006940873974979584527073481012636016353913462376755556720019831187364993587901952757307830896531678727717924"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]300
Janos Follath044a86b2015-10-25 10:58:03 +0100[diff] [blame]301Base test mbedtls_mpi_add_mpi inplace #1
302mbedtls_mpi_add_mpi_inplace:10:"12345678":10:"24691356"
303
304Test mbedtls_mpi_add_mpi inplace #2
305mbedtls_mpi_add_mpi_inplace:10:"643808006803554439230129854961492699151386107534013432918073439524138264842370630061369715394739134090922937332590384720397133335969549256322620979036686633213903952966175107096769180017646161851573147596390153":10:"1287616013607108878460259709922985398302772215068026865836146879048276529684741260122739430789478268181845874665180769440794266671939098512645241958073373266427807905932350214193538360035292323703146295192780306"
306
Janos Follath6c922682015-10-30 17:43:11 +0100[diff] [blame]307Test mbedtls_mpi_add_mpi inplace #3
308mbedtls_mpi_add_mpi_inplace:16:"ffffffffffffffffffffffffffffffff":16:"01fffffffffffffffffffffffffffffffe"
309
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]310Test mbedtls_mpi_add_int #1
311mbedtls_mpi_add_int:10:"2039568783564019774057658669290345772801939933143482630947726464532830627227012776329":9871232:10:"2039568783564019774057658669290345772801939933143482630947726464532830627227022647561"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]312
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]313Test mbedtls_mpi_add_int #2
314mbedtls_mpi_add_int:10:"2039568783564019774057658669290345772801939933143482630947726464532830627227012776329":-9871232:10:"2039568783564019774057658669290345772801939933143482630947726464532830627227002905097"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]315
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]316Base test mbedtls_mpi_sub_abs #1 (Test with larger second input)
317mbedtls_mpi_sub_abs:10:"5":10:"7":10:"0":MBEDTLS_ERR_MPI_NEGATIVE_VALUE
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]318
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]319Base test mbedtls_mpi_sub_abs #2 (Test with larger second input)
320mbedtls_mpi_sub_abs:10:"-5":10:"-7":10:"0":MBEDTLS_ERR_MPI_NEGATIVE_VALUE
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]321
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]322Base test mbedtls_mpi_sub_abs #3 (Test with larger second input)
323mbedtls_mpi_sub_abs:10:"-5":10:"7":10:"0":MBEDTLS_ERR_MPI_NEGATIVE_VALUE
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]324
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]325Base test mbedtls_mpi_sub_abs #4 (Test with larger second input)
326mbedtls_mpi_sub_abs:10:"5":10:"-7":10:"0":MBEDTLS_ERR_MPI_NEGATIVE_VALUE
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]327
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]328Base test mbedtls_mpi_sub_abs #1
329mbedtls_mpi_sub_abs:10:"7":10:"5":10:"2":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]330
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]331Base test mbedtls_mpi_sub_abs #2
332mbedtls_mpi_sub_abs:10:"-7":10:"-5":10:"2":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]333
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]334Base test mbedtls_mpi_sub_abs #3
335mbedtls_mpi_sub_abs:10:"-7":10:"5":10:"2":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]336
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]337Base test mbedtls_mpi_sub_abs #4
338mbedtls_mpi_sub_abs:10:"7":10:"-5":10:"2":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]339
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]340Test mbedtls_mpi_sub_abs #1
341mbedtls_mpi_sub_abs:16:"FFFFFFFFFF":16:"01":16:"FFFFFFFFFE":0
Paul Bakkerc847f072010-01-18 21:26:30 +0000[diff] [blame]342
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]343Test mbedtls_mpi_sub_abs #2
344mbedtls_mpi_sub_abs:16:"FFFFFFFFF0":16:"01":16:"FFFFFFFFEF":0
Paul Bakkerc847f072010-01-18 21:26:30 +0000[diff] [blame]345
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]346Test mbedtls_mpi_sub_abs #3
347mbedtls_mpi_sub_abs:16:"FF00000000":16:"0F00000000":16:"F000000000":0
Paul Bakkerc847f072010-01-18 21:26:30 +0000[diff] [blame]348
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]349Test mbedtls_mpi_sub_abs #4
350mbedtls_mpi_sub_abs:16:"FF00000000":16:"0F00000001":16:"EFFFFFFFFF":0
Paul Bakkerc847f072010-01-18 21:26:30 +0000[diff] [blame]351
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]352Base test mbedtls_mpi_sub_mpi #1 (Test with negative result)
353mbedtls_mpi_sub_mpi:10:"5":10:"7":10:"-2"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]354
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]355Base test mbedtls_mpi_sub_mpi #2 (Test with negative inputs)
356mbedtls_mpi_sub_mpi:10:"-5":10:"-7":10:"2"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]357
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]358Base test mbedtls_mpi_sub_mpi #3 (Test with negative base)
359mbedtls_mpi_sub_mpi:10:"-5":10:"7":10:"-12"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]360
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]361Base test mbedtls_mpi_sub_mpi #4 (Test with negative subtraction)
362mbedtls_mpi_sub_mpi:10:"5":10:"-7":10:"12"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]363
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]364Test mbedtls_mpi_sub_mpi #1
365mbedtls_mpi_sub_mpi:10:"531872289054204184185084734375133399408303613982130856645299464930952178606045848877129147820387996428175564228204785846141207532462936339834139412401975338705794646595487324365194792822189473092273993580587964571659678084484152603881094176995594813302284232006001752128168901293560051833646881436219":10:"203956878356401977405765866929034577280193993314348263094772646453283062722701277632936616063144088173312372882677123879538709400158306567338328279154499698366071906766440037074217117805690872792848149112022286332144876183376326512083574821647933992961249917319836219304274280243803104015000563790123":10:"327915410697802206779318867446098822128109620667782593550526818477669115883344571244192531757243908254863191345527661966602498132304629772495811133247475640339722739829047287290977675016498600299425844468565678239514801901107826091797519355347660820341034314686165532823894621049756947818646317646096"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]366
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]367Test mbedtls_mpi_sub_mpi #2 (Test for negative result)
368mbedtls_mpi_sub_mpi:10:"643808006803554439230129854961492699151386107534013432918073439524138264842370630061369715394739134090922937332590384720397133335969549256322620979036686633213903952966175107096769180017646161851573147596390153":10:"56125680981752282333498088313568935051383833838594899821664631784577337171193624243181360054669678410455329112434552942717084003541384594864129940145043086760031292483340068923506115878221189886491132772739661669044958531131327771":10:"-56125680981752282332854280306765380612153703983633407122513245677043323738275550803657221789827307780393959397039813808626161066208794210143732806809073537503708671504303382290292211925255014779394363592722015507193385383534937618"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]369
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]370Test mbedtls_mpi_sub_int #1
371mbedtls_mpi_sub_int:10:"2039568783564019774057658669290345772801939933143482630947726464532830627227012776329":-9871232:10:"2039568783564019774057658669290345772801939933143482630947726464532830627227022647561"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]372
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]373Test mbedtls_mpi_sub_int #2
374mbedtls_mpi_sub_int:10:"2039568783564019774057658669290345772801939933143482630947726464532830627227012776329":9871232:10:"2039568783564019774057658669290345772801939933143482630947726464532830627227002905097"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]375
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]376Test mbedtls_mpi_shift_l #1
377mbedtls_mpi_shift_l:10:"64":1:10:"128"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]378
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]379Test mbedtls_mpi_shift_l #2
380mbedtls_mpi_shift_l:10:"658385546911733550164516088405238961461880256029834598831972039469421755117818013653494814438931957316403111689187691446941406788869098983929874080332195117465344344350008880118042764943201875870917468833709791733282363323948005998269792207":37:10:"90487820548639020691922304619723076305400961610119884872723190678642804168382367856686134531865643066983017249846286450251272364365605022750900439437595355052945035915579216557330505438734955340526145476988250171181404966718289259743378883640981192704"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]381
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]382Test mbedtls_mpi_shift_r #1
383mbedtls_mpi_shift_r:10:"128":1:10:"64"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]384
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]385Test mbedtls_mpi_shift_r #2
386mbedtls_mpi_shift_r:10:"120815570979701484704906977000760567182871429114712069861589084706550626575967516787438008593490722779337547394120718248995900363209947025063336882559539208430319216688889117222633155838468458047056355241515415159736436403445579777425189969":45:10:"3433785053053426415343295076376096153094051405637175942660777670498379921354157795219578264137985649407981651226029903483433269093721578004287291678324982297860947730012217028349628999378309630601971640587504883789518896817457"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]387
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]388Test mbedtls_mpi_shift_r #4
389mbedtls_mpi_shift_r:16:"FFFFFFFFFFFFFFFF":63:16:"01"
Manuel Pégourié-Gonnarde44ec102012-11-17 12:42:51 +0100[diff] [blame]390
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]391Test mbedtls_mpi_shift_r #4
392mbedtls_mpi_shift_r:16:"FFFFFFFFFFFFFFFF":64:16:"00"
Manuel Pégourié-Gonnarde44ec102012-11-17 12:42:51 +0100[diff] [blame]393
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]394Test mbedtls_mpi_shift_r #6
395mbedtls_mpi_shift_r:16:"FFFFFFFFFFFFFFFF":65:16:"00"
Manuel Pégourié-Gonnarde44ec102012-11-17 12:42:51 +0100[diff] [blame]396
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]397Test mbedtls_mpi_shift_r #7
398mbedtls_mpi_shift_r:16:"FFFFFFFFFFFFFFFF":128:16:"00"
Manuel Pégourié-Gonnarde44ec102012-11-17 12:42:51 +0100[diff] [blame]399
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]400Base test mbedtls_mpi_mul_mpi #1
401mbedtls_mpi_mul_mpi:10:"5":10:"7":10:"35"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]402
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]403Base test mbedtls_mpi_mul_mpi #2
404mbedtls_mpi_mul_mpi:10:"-5":10:"7":10:"-35"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]405
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]406Base test mbedtls_mpi_mul_mpi #3
407mbedtls_mpi_mul_mpi:10:"5":10:"-7":10:"-35"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]408
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]409Base test mbedtls_mpi_mul_mpi #4
410mbedtls_mpi_mul_mpi:10:"-5":10:"-7":10:"35"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]411
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]412Test mbedtls_mpi_mul_mpi #1
413mbedtls_mpi_mul_mpi:10:"28911710017320205966167820725313234361535259163045867986277478145081076845846493521348693253530011243988160148063424837895971948244167867236923919506962312185829914482993478947657472351461336729641485069323635424692930278888923450060546465883490944265147851036817433970984747733020522259537":10:"16471581891701794764704009719057349996270239948993452268812975037240586099924712715366967486587417803753916334331355573776945238871512026832810626226164346328807407669366029926221415383560814338828449642265377822759768011406757061063524768140567867350208554439342320410551341675119078050953":10:"476221599179424887669515829231223263939342135681791605842540429321038144633323941248706405375723482912535192363845116154236465184147599697841273424891410002781967962186252583311115708128167171262206919514587899883547279647025952837516324649656913580411611297312678955801899536937577476819667861053063432906071315727948826276092545739432005962781562403795455162483159362585281248265005441715080197800335757871588045959754547836825977169125866324128449699877076762316768127816074587766799018626179199776188490087103869164122906791440101822594139648973454716256383294690817576188761"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]414
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]415Test mbedtls_mpi_mul_int #1
416mbedtls_mpi_mul_int:10:"2039568783564019774057658669290345772801939933143482630947726464532830627227012776329":9871232:10:"20133056642518226042310730101376278483547239130123806338055387803943342738063359782107667328":"=="
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]417
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]418Test mbedtls_mpi_mul_int #2 (Unsigned, thus failure)
419mbedtls_mpi_mul_int:10:"2039568783564019774057658669290345772801939933143482630947726464532830627227012776329":-9871232:10:"-20133056642518226042310730101376278483547239130123806338055387803943342738063359782107667328":"!="
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]420
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]421Test mbedtls_mpi_mul_int #3
422mbedtls_mpi_mul_int:10:"-2039568783564019774057658669290345772801939933143482630947726464532830627227012776329":9871232:10:"-20133056642518226042310730101376278483547239130123806338055387803943342738063359782107667328":"=="
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]423
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]424Test mbedtls_mpi_mul_int #4 (Unsigned, thus failure)
425mbedtls_mpi_mul_int:10:"-2039568783564019774057658669290345772801939933143482630947726464532830627227012776329":-9871232:10:"20133056642518226042310730101376278483547239130123806338055387803943342738063359782107667328":"!="
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]426
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]427Base test mbedtls_mpi_div_mpi #1
428mbedtls_mpi_div_mpi:10:"1000":10:"13":10:"76":10:"12":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]429
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]430Base test mbedtls_mpi_div_mpi #2 (Divide by zero)
431mbedtls_mpi_div_mpi:10:"1000":10:"0":10:"1":10:"1":MBEDTLS_ERR_MPI_DIVISION_BY_ZERO
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]432
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]433Base test mbedtls_mpi_div_mpi #3
434mbedtls_mpi_div_mpi:10:"1000":10:"-13":10:"-76":10:"12":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]435
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]436Test mbedtls_mpi_div_mpi #1
437mbedtls_mpi_div_mpi:10:"20133056642518226042310730101376278483547239130123806338055387803943342738063359782107667328":10:"34":10:"592148724779947824773845002981655249516095268533053127589864347174804198178334111238460803":10:"26":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]438
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]439Test mbedtls_mpi_div_mpi #2
440mbedtls_mpi_div_mpi:10:"476221599179424887669515829231223263939342135681791605842540429321038144633323941248706405375723482912535192363845116154236465184147599697841273424891410002781967962186252583311115708128167171262206919514587899883547279647025952837516324649656913580411611297312678955801899536937577476819667861053063432906071315727948826276092545739432005962781562403795455162483159362585281248265005441715080197800335757871588045959754547836825977169125866324128449699877076762316768127816074587766799018626179199776188490087103869164122906791440101822594139648973454716256383294690817576188762":10:"28911710017320205966167820725313234361535259163045867986277478145081076845846493521348693253530011243988160148063424837895971948244167867236923919506962312185829914482993478947657472351461336729641485069323635424692930278888923450060546465883490944265147851036817433970984747733020522259537":10:"16471581891701794764704009719057349996270239948993452268812975037240586099924712715366967486587417803753916334331355573776945238871512026832810626226164346328807407669366029926221415383560814338828449642265377822759768011406757061063524768140567867350208554439342320410551341675119078050953":10:"1":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]441
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]442Test mbedtls_mpi_div_mpi #3
443mbedtls_mpi_div_mpi:10:"1000":10:"7":10:"142":10:"6":0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]444
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]445Test mbedtls_mpi_div_mpi #4
446mbedtls_mpi_div_mpi:10:"777":10:"7":10:"111":10:"0":0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]447
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]448Base test mbedtls_mpi_div_int #1
449mbedtls_mpi_div_int:10:"1000":13:10:"76":10:"12":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]450
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]451Base test mbedtls_mpi_div_int #2 (Divide by zero)
452mbedtls_mpi_div_int:10:"1000":0:10:"1":10:"1":MBEDTLS_ERR_MPI_DIVISION_BY_ZERO
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]453
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]454Base test mbedtls_mpi_div_int #3
455mbedtls_mpi_div_int:10:"1000":-13:10:"-76":10:"12":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]456
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]457Test mbedtls_mpi_div_int #1
458mbedtls_mpi_div_int:10:"20133056642518226042310730101376278483547239130123806338055387803943342738063359782107667328":34:10:"592148724779947824773845002981655249516095268533053127589864347174804198178334111238460803":10:"26":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]459
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]460Test mbedtls_mpi_div_int #2
461mbedtls_mpi_div_int:10:"20133056642518226042310730101376278483547239130123806338055387803943342738063359782107667328":-34:10:"-592148724779947824773845002981655249516095268533053127589864347174804198178334111238460803":10:"26":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]462
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]463Base test mbedtls_mpi_mod_mpi #1
464mbedtls_mpi_mod_mpi:10:"1000":10:"13":10:"12":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]465
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]466Base test mbedtls_mpi_mod_mpi #2 (Divide by zero)
467mbedtls_mpi_mod_mpi:10:"1000":10:"0":10:"0":MBEDTLS_ERR_MPI_DIVISION_BY_ZERO
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]468
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]469Base test mbedtls_mpi_mod_mpi #3
470mbedtls_mpi_mod_mpi:10:"-1000":10:"13":10:"1":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]471
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]472Base test mbedtls_mpi_mod_mpi #4 (Negative modulo)
473mbedtls_mpi_mod_mpi:10:"1000":10:"-13":10:"-1":MBEDTLS_ERR_MPI_NEGATIVE_VALUE
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]474
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]475Base test mbedtls_mpi_mod_mpi #5 (Negative modulo)
476mbedtls_mpi_mod_mpi:10:"-1000":10:"-13":10:"-12":MBEDTLS_ERR_MPI_NEGATIVE_VALUE
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]477
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]478Base test mbedtls_mpi_mod_int #1
479mbedtls_mpi_mod_int:10:"1000":13:12:0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]480
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]481Base test mbedtls_mpi_mod_int #2 (Divide by zero)
482mbedtls_mpi_mod_int:10:"1000":0:0:MBEDTLS_ERR_MPI_DIVISION_BY_ZERO
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]483
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]484Base test mbedtls_mpi_mod_int #3
485mbedtls_mpi_mod_int:10:"-1000":13:1:0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]486
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]487Base test mbedtls_mpi_mod_int #4 (Negative modulo)
488mbedtls_mpi_mod_int:10:"1000":-13:0:MBEDTLS_ERR_MPI_NEGATIVE_VALUE
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]489
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]490Base test mbedtls_mpi_mod_int #5 (Negative modulo)
491mbedtls_mpi_mod_int:10:"-1000":-13:0:MBEDTLS_ERR_MPI_NEGATIVE_VALUE
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]492
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]493Base test mbedtls_mpi_mod_int #6 (By 1)
494mbedtls_mpi_mod_int:10:"1000":1:0:0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]495
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]496Base test mbedtls_mpi_mod_int #7 (By 2)
497mbedtls_mpi_mod_int:10:"1001":2:1:0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]498
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]499Base test mbedtls_mpi_mod_int #8 (By 2)
500mbedtls_mpi_mod_int:10:"1000":2:0:0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]501
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]502Base test mbedtls_mpi_exp_mod #1
503mbedtls_mpi_exp_mod:10:"23":10:"13":10:"29":10:"":10:"24":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]504
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]505Base test mbedtls_mpi_exp_mod #2 (Even N)
506mbedtls_mpi_exp_mod:10:"23":10:"13":10:"30":10:"":10:"0":MBEDTLS_ERR_MPI_BAD_INPUT_DATA
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]507
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]508Base test mbedtls_mpi_exp_mod #3 (Negative N)
509mbedtls_mpi_exp_mod:10:"23":10:"13":10:"-29":10:"":10:"0":MBEDTLS_ERR_MPI_BAD_INPUT_DATA
Paul Bakkerf6198c12012-05-16 08:02:29 +0000[diff] [blame]510
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]511Base test mbedtls_mpi_exp_mod #4 (Negative base)
512mbedtls_mpi_exp_mod:10:"-23":10:"13":10:"29":10:"":10:"5":0
Paul Bakkerf6198c12012-05-16 08:02:29 +0000[diff] [blame]513
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]514Base test mbedtls_mpi_exp_mod #5 (Negative exponent)
515mbedtls_mpi_exp_mod:10:"23":10:"-13":10:"29":10:"":10:"0":MBEDTLS_ERR_MPI_BAD_INPUT_DATA
Paul Bakkerf6198c12012-05-16 08:02:29 +0000[diff] [blame]516
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]517Base test mbedtls_mpi_exp_mod #7 (Negative base + exponent)
518mbedtls_mpi_exp_mod:10:"-23":10:"-13":10:"29":10:"":10:"0":MBEDTLS_ERR_MPI_BAD_INPUT_DATA
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]519
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]520Test mbedtls_mpi_exp_mod #1
521mbedtls_mpi_exp_mod:10:"433019240910377478217373572959560109819648647016096560523769010881172869083338285573756574557395862965095016483867813043663981946477698466501451832407592327356331263124555137732393938242285782144928753919588632679050799198937132922145084847":10:"5781538327977828897150909166778407659250458379645823062042492461576758526757490910073628008613977550546382774775570888130029763571528699574717583228939535960234464230882573615930384979100379102915657483866755371559811718767760594919456971354184113721":10:"583137007797276923956891216216022144052044091311388601652961409557516421612874571554415606746479105795833145583959622117418531166391184939066520869800857530421873250114773204354963864729386957427276448683092491947566992077136553066273207777134303397724679138833126700957":10:"":10:"114597449276684355144920670007147953232659436380163461553186940113929777196018164149703566472936578890991049344459204199888254907113495794730452699842273939581048142004834330369483813876618772578869083248061616444392091693787039636316845512292127097865026290173004860736":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]522
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]523Test mbedtls_mpi_exp_mod (Negative base)
Hanno Beckera4af1c42017-04-18 09:07:45 +0100[diff] [blame]524mbedtls_mpi_exp_mod:10:"-10000000000":10:"10000000000":10:"99999":10:"":10:"1":0
Paul Bakkerf6198c12012-05-16 08:02:29 +0000[diff] [blame]525
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]526Test mbedtls_mpi_exp_mod (Negative base)
527mbedtls_mpi_exp_mod:16:"-9f13012cd92aa72fb86ac8879d2fde4f7fd661aaae43a00971f081cc60ca277059d5c37e89652e2af2585d281d66ef6a9d38a117e9608e9e7574cd142dc55278838a2161dd56db9470d4c1da2d5df15a908ee2eb886aaa890f23be16de59386663a12f1afbb325431a3e835e3fd89b98b96a6f77382f458ef9a37e1f84a03045c8676ab55291a94c2228ea15448ee96b626b998":16:"40a54d1b9e86789f06d9607fb158672d64867665c73ee9abb545fc7a785634b354c7bae5b962ce8040cf45f2c1f3d3659b2ee5ede17534c8fc2ec85c815e8df1fe7048d12c90ee31b88a68a081f17f0d8ce5f4030521e9400083bcea73a429031d4ca7949c2000d597088e0c39a6014d8bf962b73bb2e8083bd0390a4e00b9b3":16:"eeaf0ab9adb38dd69c33f80afa8fc5e86072618775ff3c0b9ea2314c9c256576d674df7496ea81d3383b4813d692c6e0e0d5d8e250b98be48e495c1d6089dad15dc7d7b46154d6b6ce8ef4ad69b15d4982559b297bcf1885c529f566660e57ec68edbc3c05726cc02fd4cbf4976eaa9afd5138fe8376435b9fc61d2fc0eb06e3":16:"":16:"21acc7199e1b90f9b4844ffe12c19f00ec548c5d32b21c647d48b6015d8eb9ec9db05b4f3d44db4227a2b5659c1a7cceb9d5fa8fa60376047953ce7397d90aaeb7465e14e820734f84aa52ad0fc66701bcbb991d57715806a11531268e1e83dd48288c72b424a6287e9ce4e5cc4db0dd67614aecc23b0124a5776d36e5c89483":0
Paul Bakkerf6198c12012-05-16 08:02:29 +0000[diff] [blame]528
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]529Base test GCD #1
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]530mbedtls_mpi_gcd:10:"693":10:"609":10:"21"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]531
532Base test GCD #2
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]533mbedtls_mpi_gcd:10:"1764":10:"868":10:"28"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]534
535Base test GCD #3
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]536mbedtls_mpi_gcd:10:"768454923":10:"542167814":10:"1"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]537
538Test GCD #1
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]539mbedtls_mpi_gcd:10:"433019240910377478217373572959560109819648647016096560523769010881172869083338285573756574557395862965095016483867813043663981946477698466501451832407592327356331263124555137732393938242285782144928753919588632679050799198937132922145084847":10:"5781538327977828897150909166778407659250458379645823062042492461576758526757490910073628008613977550546382774775570888130029763571528699574717583228939535960234464230882573615930384979100379102915657483866755371559811718767760594919456971354184113721":10:"1"
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]540
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]541Base test mbedtls_mpi_inv_mod #1
542mbedtls_mpi_inv_mod:10:"3":10:"11":10:"4":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]543
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]544Base test mbedtls_mpi_inv_mod #2
545mbedtls_mpi_inv_mod:10:"3":10:"0":10:"0":MBEDTLS_ERR_MPI_BAD_INPUT_DATA
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]546
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]547Base test mbedtls_mpi_inv_mod #3
548mbedtls_mpi_inv_mod:10:"3":10:"-11":10:"4":MBEDTLS_ERR_MPI_BAD_INPUT_DATA
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]549
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]550Base test mbedtls_mpi_inv_mod #4
551mbedtls_mpi_inv_mod:10:"2":10:"4":10:"0":MBEDTLS_ERR_MPI_NOT_ACCEPTABLE
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]552
Hanno Becker4bcb4912017-04-18 15:49:39 +0100[diff] [blame]553Base test mbedtls_mpi_inv_mod #5
554mbedtls_mpi_inv_mod:10:"3":10:"1":10:"0":MBEDTLS_ERR_MPI_BAD_INPUT_DATA
555
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]556Test mbedtls_mpi_inv_mod #1
557mbedtls_mpi_inv_mod:16:"aa4df5cb14b4c31237f98bd1faf527c283c2d0f3eec89718664ba33f9762907c":16:"fffbbd660b94412ae61ead9c2906a344116e316a256fd387874c6c675b1d587d":16:"8d6a5c1d7adeae3e94b9bcd2c47e0d46e778bc8804a2cc25c02d775dc3d05b0c":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]558
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]559Base test mbedtls_mpi_is_prime #1
560depends_on:MBEDTLS_GENPRIME
561mbedtls_mpi_is_prime:10:"0":MBEDTLS_ERR_MPI_NOT_ACCEPTABLE
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]562
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]563Base test mbedtls_mpi_is_prime #2
564depends_on:MBEDTLS_GENPRIME
565mbedtls_mpi_is_prime:10:"1":MBEDTLS_ERR_MPI_NOT_ACCEPTABLE
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]566
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]567Base test mbedtls_mpi_is_prime #3
568depends_on:MBEDTLS_GENPRIME
569mbedtls_mpi_is_prime:10:"2":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]570
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]571Base test mbedtls_mpi_is_prime #4
572depends_on:MBEDTLS_GENPRIME
573mbedtls_mpi_is_prime:10:"3":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]574
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]575Base test mbedtls_mpi_is_prime #5
576depends_on:MBEDTLS_GENPRIME
577mbedtls_mpi_is_prime:10:"4":MBEDTLS_ERR_MPI_NOT_ACCEPTABLE
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]578
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]579Base test mbedtls_mpi_is_prime #6
580depends_on:MBEDTLS_GENPRIME
581mbedtls_mpi_is_prime:10:"5":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]582
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]583Base test mbedtls_mpi_is_prime #7
584depends_on:MBEDTLS_GENPRIME
585mbedtls_mpi_is_prime:10:"27":MBEDTLS_ERR_MPI_NOT_ACCEPTABLE
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]586
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]587Base test mbedtls_mpi_is_prime #8
588depends_on:MBEDTLS_GENPRIME
589mbedtls_mpi_is_prime:10:"47":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]590
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]591Test mbedtls_mpi_is_prime #1a
592depends_on:MBEDTLS_GENPRIME
593mbedtls_mpi_is_prime:10:"83726728883146151979668243326097049289208482987685965276439157162337476477581":MBEDTLS_ERR_MPI_NOT_ACCEPTABLE
Manuel Pégourié-Gonnard378fb4b2013-11-22 18:39:18 +0100[diff] [blame]594
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]595Test mbedtls_mpi_is_prime #1b
596depends_on:MBEDTLS_GENPRIME
597mbedtls_mpi_is_prime:10:"81248637410584921454869308488899267096530643632730258201256092582281263244641":MBEDTLS_ERR_MPI_NOT_ACCEPTABLE
Manuel Pégourié-Gonnard378fb4b2013-11-22 18:39:18 +0100[diff] [blame]598
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]599Test mbedtls_mpi_is_prime #2a
600depends_on:MBEDTLS_GENPRIME
601mbedtls_mpi_is_prime:10:"827131507221654563937832686696200995595835694437983658840870036586124168186967796809117749047430768825822857042432722828096779098498192459819306321073968735177531164565305635281198148032612029767584644305912099":0
Paul Bakker367dae42009-06-28 21:50:27 +0000[diff] [blame]602
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]603Test mbedtls_mpi_is_prime #2b
604depends_on:MBEDTLS_GENPRIME
605mbedtls_mpi_is_prime:10:"827131507221654563937832686696200995595835694437983658840870036586124168186967796809117749047430768825822857042432722828096779098498192459819306321073968735177531164565305635281198148032612029767584644305912001":MBEDTLS_ERR_MPI_NOT_ACCEPTABLE
Paul Bakkere896fea2009-07-06 06:40:23 +0000[diff] [blame]606
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]607Test mbedtls_mpi_is_prime #3
608depends_on:MBEDTLS_GENPRIME
609mbedtls_mpi_is_prime:10:"2833419889721787128217599":0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]610
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]611Test mbedtls_mpi_is_prime #4
612depends_on:MBEDTLS_GENPRIME
613mbedtls_mpi_is_prime:10:"195845982777569926302400511":0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]614
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]615Test mbedtls_mpi_is_prime #5
616depends_on:MBEDTLS_GENPRIME
617mbedtls_mpi_is_prime:10:"4776913109852041418248056622882488319":0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]618
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]619Test mbedtls_mpi_is_prime #5
620depends_on:MBEDTLS_GENPRIME
621mbedtls_mpi_is_prime:10:"768614336404564651":0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]622
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]623Test mbedtls_mpi_is_prime #6
624depends_on:MBEDTLS_GENPRIME
625mbedtls_mpi_is_prime:10:"201487636602438195784363":0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]626
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]627Test mbedtls_mpi_is_prime #7
628depends_on:MBEDTLS_GENPRIME
629mbedtls_mpi_is_prime:10:"845100400152152934331135470251":0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]630
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]631Test mbedtls_mpi_is_prime #8
632depends_on:MBEDTLS_GENPRIME
633mbedtls_mpi_is_prime:10:"56713727820156410577229101238628035243":0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]634
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]635Test mbedtls_mpi_is_prime #9
636depends_on:MBEDTLS_GENPRIME
637mbedtls_mpi_is_prime:10:"203956878356401977405765866929034577280193993314348263094772646453283062722701277632936616063144088173312372882677123879538709400158306567338328279154499698366071906766440037074217117805690872792848149112022286332144876183376326512083574821647933992961249917319836219304274280243803104015000563790123":0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]638
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]639Test mbedtls_mpi_is_prime #10
640depends_on:MBEDTLS_GENPRIME
641mbedtls_mpi_is_prime:10:"531872289054204184185084734375133399408303613982130856645299464930952178606045848877129147820387996428175564228204785846141207532462936339834139412401975338705794646595487324365194792822189473092273993580587964571659678084484152603881094176995594813302284232006001752128168901293560051833646881436219":0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]642
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]643Test mbedtls_mpi_is_prime #11
644depends_on:MBEDTLS_GENPRIME
645mbedtls_mpi_is_prime:10:"319705304701141539155720137200974664666792526059405792539680974929469783512821793995613718943171723765238853752439032835985158829038528214925658918372196742089464683960239919950882355844766055365179937610326127675178857306260955550407044463370239890187189750909036833976197804646589380690779463976173":0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]646
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]647Test mbedtls_mpi_is_prime #12
648depends_on:MBEDTLS_GENPRIME
649mbedtls_mpi_is_prime:10:"200603822195324642393516294012917598972967449320074999667103434371470616000652036570009912021332527788252300901905236578801044680456930305350440933538867383130165841118050781326291059830545891570648243241795871":0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]650
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]651Test mbedtls_mpi_is_prime #13
652depends_on:MBEDTLS_GENPRIME
653mbedtls_mpi_is_prime:10:"827131507221654563937832686696200995595835694437983658840870036586124168186967796809117749047430768825822857042432722828096779098498192459819306321073968735177531164565305635281198148032612029767584644305912099":0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]654
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]655Test mbedtls_mpi_is_prime #14
656depends_on:MBEDTLS_GENPRIME
657mbedtls_mpi_is_prime:10:"964274047248418797145090983157197980855078966882276492572788532954904112655338439361306213898569516593744267391754033306465125919199692703323878557833023573312685002670662846477592597659826113460619815244721311":0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]658
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]659Test mbedtls_mpi_is_prime #15
660depends_on:MBEDTLS_GENPRIME
661mbedtls_mpi_is_prime:10:"170141183460469231731687303715884105727":0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]662
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]663Test mbedtls_mpi_is_prime #16
664depends_on:MBEDTLS_GENPRIME
665mbedtls_mpi_is_prime:10:"2147483647":0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]666
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]667Test mbedtls_mpi_is_prime #17
668depends_on:MBEDTLS_GENPRIME
669mbedtls_mpi_is_prime:10:"961748941":0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]670
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]671Test mbedtls_mpi_is_prime #18
672depends_on:MBEDTLS_GENPRIME
673mbedtls_mpi_is_prime:10:"179424691":0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]674
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]675Test mbedtls_mpi_is_prime #19
676depends_on:MBEDTLS_GENPRIME
677mbedtls_mpi_is_prime:10:"32452867":0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]678
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]679Test mbedtls_mpi_is_prime #20
680depends_on:MBEDTLS_GENPRIME
681mbedtls_mpi_is_prime:10:"49979687":0
Paul Bakkerba48cb22009-07-12 11:01:32 +0000[diff] [blame]682
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]683Test mbedtls_mpi_gen_prime (Too small)
684depends_on:MBEDTLS_GENPRIME
685mbedtls_mpi_gen_prime:2:0:MBEDTLS_ERR_MPI_BAD_INPUT_DATA
Manuel Pégourié-Gonnard15f58a82014-06-16 17:12:40 +0200[diff] [blame]686
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]687Test mbedtls_mpi_gen_prime (OK, minimum size)
688depends_on:MBEDTLS_GENPRIME
689mbedtls_mpi_gen_prime:3:0:0
Manuel Pégourié-Gonnard15f58a82014-06-16 17:12:40 +0200[diff] [blame]690
Jethro Beekman66689272018-02-14 19:24:10 -0800[diff] [blame^]691Test mbedtls_mpi_gen_prime (corner case limb size -1 bits)
692depends_on:MBEDTLS_GENPRIME
693mbedtls_mpi_gen_prime:63:0:0
694
695Test mbedtls_mpi_gen_prime (corner case limb size)
696depends_on:MBEDTLS_GENPRIME
697mbedtls_mpi_gen_prime:64:0:0
698
699Test mbedtls_mpi_gen_prime (corner case limb size +1 bits)
700depends_on:MBEDTLS_GENPRIME
701mbedtls_mpi_gen_prime:65:0:0
702
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]703Test mbedtls_mpi_gen_prime (Larger)
704depends_on:MBEDTLS_GENPRIME
705mbedtls_mpi_gen_prime:128:0:0
Manuel Pégourié-Gonnard15f58a82014-06-16 17:12:40 +0200[diff] [blame]706
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]707Test mbedtls_mpi_gen_prime (Safe)
708depends_on:MBEDTLS_GENPRIME
709mbedtls_mpi_gen_prime:128:1:0
Manuel Pégourié-Gonnard15f58a82014-06-16 17:12:40 +0200[diff] [blame]710
Paul Bakker2f5947e2011-05-18 15:47:11 +0000[diff] [blame]711Test bit getting (Value bit 25)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]712mbedtls_mpi_get_bit:10:"49979687":25:1
Paul Bakker2f5947e2011-05-18 15:47:11 +0000[diff] [blame]713
714Test bit getting (Larger but same limb)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]715mbedtls_mpi_get_bit:10:"49979687":26:0
Paul Bakker2f5947e2011-05-18 15:47:11 +0000[diff] [blame]716
717Test bit getting (Larger and non-existing limb)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]718mbedtls_mpi_get_bit:10:"49979687":500:0
Paul Bakker2f5947e2011-05-18 15:47:11 +0000[diff] [blame]719
720Test bit getting (Value bit 24)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]721mbedtls_mpi_get_bit:10:"49979687":24:0
Paul Bakker2f5947e2011-05-18 15:47:11 +0000[diff] [blame]722
723Test bit getting (Value bit 23)
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]724mbedtls_mpi_get_bit:10:"49979687":23:1
Paul Bakker2f5947e2011-05-18 15:47:11 +0000[diff] [blame]725
726Test bit set (Change existing value with a 1)
Paul Bakkerec5ceb62016-07-14 12:47:07 +0100[diff] [blame]727mbedtls_mpi_set_bit:10:"49979687":24:1:10:"66756903":0
Paul Bakker2f5947e2011-05-18 15:47:11 +0000[diff] [blame]728
729Test bit set (Change existing value with a 0)
Paul Bakkerec5ceb62016-07-14 12:47:07 +0100[diff] [blame]730mbedtls_mpi_set_bit:10:"49979687":25:0:10:"16425255":0
Paul Bakker2f5947e2011-05-18 15:47:11 +0000[diff] [blame]731
732Test bit set (Add above existing limbs with a 0)
Paul Bakkerec5ceb62016-07-14 12:47:07 +0100[diff] [blame]733mbedtls_mpi_set_bit:10:"49979687":80:0:10:"49979687":0
Paul Bakker2f5947e2011-05-18 15:47:11 +0000[diff] [blame]734
735Test bit set (Add above existing limbs with a 1)
Paul Bakkerec5ceb62016-07-14 12:47:07 +0100[diff] [blame]736mbedtls_mpi_set_bit:10:"49979687":80:1:10:"1208925819614629224685863":0
Paul Bakker2f5947e2011-05-18 15:47:11 +0000[diff] [blame]737
Manuel Pégourié-Gonnard9a4a5ac2013-12-04 18:05:29 +0100[diff] [blame]738Test bit set (Bit index larger than 31 with a 0)
Paul Bakkerec5ceb62016-07-14 12:47:07 +0100[diff] [blame]739mbedtls_mpi_set_bit:16:"FFFFFFFFFFFFFFFF":32:0:16:"FFFFFFFEFFFFFFFF":0
Manuel Pégourié-Gonnard9a4a5ac2013-12-04 18:05:29 +0100[diff] [blame]740
741Test bit set (Bit index larger than 31 with a 1)
Paul Bakkerec5ceb62016-07-14 12:47:07 +0100[diff] [blame]742mbedtls_mpi_set_bit:16:"00":32:1:16:"0100000000":0
743
744Test bit set (Invalid bit value)
745mbedtls_mpi_set_bit:16:"00":5:2:16:"00":MBEDTLS_ERR_MPI_BAD_INPUT_DATA
Manuel Pégourié-Gonnard9a4a5ac2013-12-04 18:05:29 +0100[diff] [blame]746
Paul Bakkere896fea2009-07-06 06:40:23 +0000[diff] [blame]747MPI Selftest
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200[diff] [blame]748depends_on:MBEDTLS_SELF_TEST
Paul Bakkere896fea2009-07-06 06:40:23 +0000[diff] [blame]749mpi_selftest: