Gilles Peskine 997be0aba3 Fix multiplication with negative result and a low-order 0 limb
Fix a bug introduced in "Fix multiplication producing a negative zero" that
caused the sign to be forced to +1 when A > 0, B < 0 and B's low-order limb
is 0.

Add a non-regression test. More generally, systematically test combinations
of leading zeros, trailing zeros and signs.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
2021-06-22 12:47:21 +02:00
..
2021-03-10 12:52:37 +00:00
2021-03-10 12:52:37 +00:00
2021-05-25 09:23:10 +02:00
2021-03-04 14:34:50 +00:00
2021-03-10 12:52:37 +00:00
2021-05-27 14:39:53 +02:00
2021-06-08 16:45:41 +02:00
2021-06-17 21:46:29 +02:00
2021-06-01 10:02:13 +08:00
2021-06-08 16:45:41 +02:00
2021-06-08 16:45:41 +02:00
2021-06-16 10:34:25 +02:00
2021-04-07 12:45:35 +01:00
2021-03-29 14:20:18 +01:00
2021-04-07 12:45:35 +01:00
2021-03-29 14:20:18 +01:00
2021-04-07 12:45:35 +01:00
2021-04-07 12:45:35 +01:00
2021-06-16 10:34:25 +02:00
2021-03-10 12:52:37 +00:00
2021-06-08 16:45:41 +02:00
2021-06-17 09:38:38 +02:00
2021-04-15 11:19:47 +01:00
2021-05-13 11:19:01 +02:00
2020-11-25 13:10:50 +01:00
2020-11-25 13:10:50 +01:00
2021-05-27 14:40:40 +02:00
2021-06-08 16:45:41 +02:00
2021-06-08 16:45:41 +02:00
2021-06-08 16:45:41 +02:00
2021-06-08 16:45:41 +02:00
2021-06-18 12:59:38 +02:00
2021-06-08 16:45:41 +02:00