X-Git-Url: https://git.distorted.org.uk/u/mdw/catacomb/blobdiff_plain/e75d775e7c8dd58f06e699371f44928535a59c44..f4535c6454395e6d56ce0091a07b6d4f7d54a47f:/tests/mp diff --git a/tests/mp b/tests/mp index ed5e3b8..c8be382 100644 --- a/tests/mp +++ b/tests/mp @@ -1,6 +1,6 @@ # Test vectors for MP functions # -# $Id: mp,v 1.7 2000/07/15 10:03:13 mdw Exp $ +# $Id$ add { 5 4 9; 5 -4 1; -5 4 -1; -5 -4 -9; @@ -19,6 +19,77 @@ mul { div { 9 4 2 1; -9 4 -3 3; 9 -4 -3 -3; -9 -4 2 -1; + -3 6277101735386680763835789423207666416083908700390324961279 + -1 6277101735386680763835789423207666416083908700390324961276; + 3131675836296406071791252329528905062261497366991742517193 + 1110875761630725856340142297645383444629395595869672555585 + 2 909924313034954359110967734238138173002706175252397406023; + 3131675836296406071791252329528905062261497366991742517193 + 53 + 59088223326347284373419855274130284193613157867768726739 26; + 1552518092300708935130918131258481755631334049434514313202351194902966239949102107258669453876591642442910007680288864229150803718918046342632727613031282983744380820890196288509170691316593175367469551763119843371637221007210577919 + 776259046150354467565459065629240877815667024717257156601175597451483119974551053629334726938295821221455003840144432114575401859459023171316363806515641491872190410445098144254585345658296587683734775881559921685818610503605288959 + 2 1; +} + +exp { + 4 0 1; + 4 1 4; + 7 2 49; + 3 564 124849745640593184256214502788000232711984346194239284918599169775251467106591187580476305077269760425019686159071753053924227569816588462643229463821875763427430576080998505780547826368760514503807579784278708008217584939464444237989070811887584423210788916656247499281; +} + +bin2c { + and 5 3 1; + or 5 3 7; + xor 5 3 6; + 1111 0 0 -1; + or 45 -7 -3; + xor 0x343cd5 -0x6a49c -0x32984f; +} + +lsr2c { + -1 5 -1; + 1 5 0; + -6 2 -2; + 5 0 5; + -4 0 -4; + 7 2 1; + -7 2 -2; + -7 20 -1; +} + +lsl2c { + -1 5 -32; + 5 0 5; + -4 0 -4; + 7 2 28; + -7 2 -28; + 0xc0000000 1 0x180000000; + -0xc0000000 1 -0x180000000; + -1 32 -0x100000000; +} + +setbit { + 0 40 0x10000000000; + 0x87348 40 0x10000087348; + 5 1 7; + 7 1 7; + -3 1 -1; +} + +clrbit { + 0x10000000000 40 0; + 0x87348 40 0x87348; + 5 1 5; + 7 1 5; + -1 1 -3; +} + +neg { + 0 0; + 15 -15; + -15 15; } odd { @@ -49,19 +120,19 @@ sqrt { gcd { # --- Simple tests --- - 16 12 4 -2 3; + 16 12 4 -11 15; 12 16 4 -1 1; - 693 609 21 -181 206; + 693 609 21 -7 8; 4398082908043 90980984098081324 1 -32483863573352089 1570292150447; # --- Negative argument tests --- - 16 -12 4 -2 -3; - -16 12 4 2 3; + 16 -12 4 -11 -15; + -16 12 4 11 15; -12 -16 4 1 -1; -12 16 4 1 1; - -693 609 21 181 206; - 693 -609 21 -181 -206; + -693 609 21 7 8; + 693 -609 21 -7 -8; # --- Zero argument tests --- @@ -74,13 +145,13 @@ gcd { # --- Random number tests --- 829561629303257626084392170900075 32498098450983560651904114638965 - 5 -22841190347053190672253237276815 583054885752979049202923618992482; + 5 -29340810037249902802634060204608 748967211613630574419802053172497; 5509672937670943767152343650729669537671508 398326674296699796695672966992514673531 17 - -191606556147997561067126486929677861359 - 2650310725368604614586643627755316700713319; + -4158709420138833210339208344965073815 + 57523460582278135926717203882531035926727; 324098408098290809832490802984098208098324 23430980840982340982098409823089098443 @@ -134,6 +205,7 @@ jacobi { } modsqrt { + 1 3 1; 4 5 3; 9775592058107450692 13391974640168007623 3264570455655810730; 8155671698868891620 10189552848261357803 2073812183305821596;