Blame - tests/suites/test_suite_bignum.generated.data - mirror/mbed-tls.git

blob: 6badd0b013a9176e3894bb1d0113356e95577561 [file] [log] [blame]

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