Commit 383e9ade authored by Richard Levitte's avatar Richard Levitte
Browse files

bntests.txt: add a couple of checks of possibly negative zero 



Reviewed-by: default avatarRich Salz <rsalz@openssl.org>
(Merged from https://github.com/openssl/openssl/pull/2335)
parent 24dc7fe0

test/bntests.txt

+9 −0
Original line number Diff line number Diff line
@@ -4643,6 +4643,10 @@ N = 64 
#

# These test vectors satisfy A / 2^N = RShift, rounding towards zero.













Rshift = 0













A = -1













N = 1



























RShift = 6ce746ffa7979ce10b751cd2308402a95d00d596cd97b36380















A = d9ce8dff4f2f39c216ea39a461080552ba01ab2d9b2f66c701















N = 1










@@ -5967,6 +5971,11 @@ B = -542fb814f45924aa09a16f2a6













# These test vectors satisfy Quotient = A / B, rounded towards zero, and















# Remainder = A - B * Quotient.



























Quotient = 0













Remainder = -1













A = -1













B = 2



























Quotient = 1















Remainder = 0















A = 8cdaaa7c422f3c2bb0ace2da7d7ff151e5bdefb23e6426cf3e6b21491e6e80e977bfa6c65931a8dee31fc7992c0c801d5d7c