1*37da2899SCharles.Forsyth #include <lib9.h>
2*37da2899SCharles.Forsyth #include <mp.h>
3*37da2899SCharles.Forsyth #include "dat.h"
4*37da2899SCharles.Forsyth
5*37da2899SCharles.Forsyth int loops = 1;
6*37da2899SCharles.Forsyth
7*37da2899SCharles.Forsyth long randomreg;
8*37da2899SCharles.Forsyth
9*37da2899SCharles.Forsyth void
srand(long seed)10*37da2899SCharles.Forsyth srand(long seed)
11*37da2899SCharles.Forsyth {
12*37da2899SCharles.Forsyth randomreg = seed;
13*37da2899SCharles.Forsyth }
14*37da2899SCharles.Forsyth
15*37da2899SCharles.Forsyth long
lrand(void)16*37da2899SCharles.Forsyth lrand(void)
17*37da2899SCharles.Forsyth {
18*37da2899SCharles.Forsyth randomreg = randomreg*104381 + 81761;
19*37da2899SCharles.Forsyth return randomreg;
20*37da2899SCharles.Forsyth }
21*37da2899SCharles.Forsyth
22*37da2899SCharles.Forsyth void
prng(uchar * p,int n)23*37da2899SCharles.Forsyth prng(uchar *p, int n)
24*37da2899SCharles.Forsyth {
25*37da2899SCharles.Forsyth while(n-- > 0)
26*37da2899SCharles.Forsyth *p++ = lrand();
27*37da2899SCharles.Forsyth }
28*37da2899SCharles.Forsyth
29*37da2899SCharles.Forsyth void
testconv(char * str)30*37da2899SCharles.Forsyth testconv(char *str)
31*37da2899SCharles.Forsyth {
32*37da2899SCharles.Forsyth mpint *b;
33*37da2899SCharles.Forsyth char *p;
34*37da2899SCharles.Forsyth
35*37da2899SCharles.Forsyth b = strtomp(str, nil, 16, nil);
36*37da2899SCharles.Forsyth
37*37da2899SCharles.Forsyth p = mptoa(b, 10, nil, 0);
38*37da2899SCharles.Forsyth print("%s = ", p);
39*37da2899SCharles.Forsyth strtomp(p, nil, 10, b);
40*37da2899SCharles.Forsyth free(p);
41*37da2899SCharles.Forsyth print("%B\n", b);
42*37da2899SCharles.Forsyth
43*37da2899SCharles.Forsyth p = mptoa(b, 16, nil, 0);
44*37da2899SCharles.Forsyth print("%s = ", p);
45*37da2899SCharles.Forsyth strtomp(p, nil, 16, b);
46*37da2899SCharles.Forsyth free(p);
47*37da2899SCharles.Forsyth print("%B\n", b);
48*37da2899SCharles.Forsyth
49*37da2899SCharles.Forsyth p = mptoa(b, 32, nil, 0);
50*37da2899SCharles.Forsyth print("%s = ", p);
51*37da2899SCharles.Forsyth strtomp(p, nil, 32, b);
52*37da2899SCharles.Forsyth free(p);
53*37da2899SCharles.Forsyth print("%B\n", b);
54*37da2899SCharles.Forsyth
55*37da2899SCharles.Forsyth p = mptoa(b, 64, nil, 0);
56*37da2899SCharles.Forsyth print("%s = ", p);
57*37da2899SCharles.Forsyth strtomp(p, nil, 64, b);
58*37da2899SCharles.Forsyth free(p);
59*37da2899SCharles.Forsyth print("%B\n", b);
60*37da2899SCharles.Forsyth
61*37da2899SCharles.Forsyth mpfree(b);
62*37da2899SCharles.Forsyth }
63*37da2899SCharles.Forsyth
64*37da2899SCharles.Forsyth void
testshift(char * str)65*37da2899SCharles.Forsyth testshift(char *str)
66*37da2899SCharles.Forsyth {
67*37da2899SCharles.Forsyth mpint *b1, *b2;
68*37da2899SCharles.Forsyth int i;
69*37da2899SCharles.Forsyth
70*37da2899SCharles.Forsyth b1 = strtomp(str, nil, 16, nil);
71*37da2899SCharles.Forsyth b2 = mpnew(0);
72*37da2899SCharles.Forsyth for(i = 0; i < 64; i++){
73*37da2899SCharles.Forsyth mpleft(b1, i, b2);
74*37da2899SCharles.Forsyth print("%2.2d %B\n", i, b2);
75*37da2899SCharles.Forsyth }
76*37da2899SCharles.Forsyth for(i = 0; i < 64; i++){
77*37da2899SCharles.Forsyth mpright(b2, i, b1);
78*37da2899SCharles.Forsyth print("%2.2d %B\n", i, b1);
79*37da2899SCharles.Forsyth }
80*37da2899SCharles.Forsyth mpfree(b1);
81*37da2899SCharles.Forsyth mpfree(b2);
82*37da2899SCharles.Forsyth }
83*37da2899SCharles.Forsyth
84*37da2899SCharles.Forsyth void
testaddsub(char * str)85*37da2899SCharles.Forsyth testaddsub(char *str)
86*37da2899SCharles.Forsyth {
87*37da2899SCharles.Forsyth mpint *b1, *b2;
88*37da2899SCharles.Forsyth int i;
89*37da2899SCharles.Forsyth
90*37da2899SCharles.Forsyth b1 = strtomp(str, nil, 16, nil);
91*37da2899SCharles.Forsyth b2 = mpnew(0);
92*37da2899SCharles.Forsyth for(i = 0; i < 16; i++){
93*37da2899SCharles.Forsyth mpadd(b1, b2, b2);
94*37da2899SCharles.Forsyth print("%2.2d %B\n", i, b2);
95*37da2899SCharles.Forsyth }
96*37da2899SCharles.Forsyth for(i = 0; i < 16; i++){
97*37da2899SCharles.Forsyth mpsub(b2, b1, b2);
98*37da2899SCharles.Forsyth print("%2.2d %B\n", i, b2);
99*37da2899SCharles.Forsyth }
100*37da2899SCharles.Forsyth mpfree(b1);
101*37da2899SCharles.Forsyth mpfree(b2);
102*37da2899SCharles.Forsyth }
103*37da2899SCharles.Forsyth
104*37da2899SCharles.Forsyth void
testvecdigmuladd(char * str,mpdigit d)105*37da2899SCharles.Forsyth testvecdigmuladd(char *str, mpdigit d)
106*37da2899SCharles.Forsyth {
107*37da2899SCharles.Forsyth mpint *b, *b2;
108*37da2899SCharles.Forsyth int i;
109*37da2899SCharles.Forsyth vlong now;
110*37da2899SCharles.Forsyth
111*37da2899SCharles.Forsyth b = strtomp(str, nil, 16, nil);
112*37da2899SCharles.Forsyth b2 = mpnew(0);
113*37da2899SCharles.Forsyth
114*37da2899SCharles.Forsyth mpbits(b2, (b->top+1)*Dbits);
115*37da2899SCharles.Forsyth now = nsec();
116*37da2899SCharles.Forsyth for(i = 0; i < loops; i++){
117*37da2899SCharles.Forsyth memset(b2->p, 0, b2->top*Dbytes);
118*37da2899SCharles.Forsyth mpvecdigmuladd(b->p, b->top, d, b2->p);
119*37da2899SCharles.Forsyth }
120*37da2899SCharles.Forsyth if(loops > 1)
121*37da2899SCharles.Forsyth print("%lld ns for a %d*%d vecdigmul\n", (nsec()-now)/loops, b->top*Dbits, Dbits);
122*37da2899SCharles.Forsyth mpnorm(b2);
123*37da2899SCharles.Forsyth print("0 + %B * %ux = %B\n", b, d, b2);
124*37da2899SCharles.Forsyth
125*37da2899SCharles.Forsyth mpfree(b);
126*37da2899SCharles.Forsyth mpfree(b2);
127*37da2899SCharles.Forsyth }
128*37da2899SCharles.Forsyth
129*37da2899SCharles.Forsyth void
testvecdigmulsub(char * str,mpdigit d)130*37da2899SCharles.Forsyth testvecdigmulsub(char *str, mpdigit d)
131*37da2899SCharles.Forsyth {
132*37da2899SCharles.Forsyth mpint *b, *b2;
133*37da2899SCharles.Forsyth int i;
134*37da2899SCharles.Forsyth vlong now;
135*37da2899SCharles.Forsyth
136*37da2899SCharles.Forsyth b = strtomp(str, nil, 16, nil);
137*37da2899SCharles.Forsyth b2 = mpnew(0);
138*37da2899SCharles.Forsyth
139*37da2899SCharles.Forsyth mpbits(b2, (b->top+1)*Dbits);
140*37da2899SCharles.Forsyth now = nsec();
141*37da2899SCharles.Forsyth for(i = 0; i < loops; i++){
142*37da2899SCharles.Forsyth memset(b2->p, 0, b2->top*Dbytes);
143*37da2899SCharles.Forsyth mpvecdigmulsub(b->p, b->top, d, b2->p);
144*37da2899SCharles.Forsyth }
145*37da2899SCharles.Forsyth if(loops > 1)
146*37da2899SCharles.Forsyth print("%lld ns for a %d*%d vecdigmul\n", (nsec()-now)/loops, b->top*Dbits, Dbits);
147*37da2899SCharles.Forsyth mpnorm(b2);
148*37da2899SCharles.Forsyth print("0 - %B * %ux = %B\n", b, d, b2);
149*37da2899SCharles.Forsyth
150*37da2899SCharles.Forsyth mpfree(b);
151*37da2899SCharles.Forsyth mpfree(b2);
152*37da2899SCharles.Forsyth }
153*37da2899SCharles.Forsyth
154*37da2899SCharles.Forsyth void
testmul(char * str)155*37da2899SCharles.Forsyth testmul(char *str)
156*37da2899SCharles.Forsyth {
157*37da2899SCharles.Forsyth mpint *b, *b1, *b2;
158*37da2899SCharles.Forsyth vlong now;
159*37da2899SCharles.Forsyth int i;
160*37da2899SCharles.Forsyth
161*37da2899SCharles.Forsyth b = strtomp(str, nil, 16, nil);
162*37da2899SCharles.Forsyth b1 = mpcopy(b);
163*37da2899SCharles.Forsyth b2 = mpnew(0);
164*37da2899SCharles.Forsyth
165*37da2899SCharles.Forsyth now = nsec();
166*37da2899SCharles.Forsyth for(i = 0; i < loops; i++)
167*37da2899SCharles.Forsyth mpmul(b, b1, b2);
168*37da2899SCharles.Forsyth if(loops > 1)
169*37da2899SCharles.Forsyth print("%lld µs for a %d*%d mult\n", (nsec()-now)/(loops*1000),
170*37da2899SCharles.Forsyth b->top*Dbits, b1->top*Dbits);
171*37da2899SCharles.Forsyth print("%B * %B = %B\n", b, b1, b2);
172*37da2899SCharles.Forsyth
173*37da2899SCharles.Forsyth mpfree(b);
174*37da2899SCharles.Forsyth mpfree(b1);
175*37da2899SCharles.Forsyth mpfree(b2);
176*37da2899SCharles.Forsyth }
177*37da2899SCharles.Forsyth
178*37da2899SCharles.Forsyth void
testmul2(mpint * b,mpint * b1)179*37da2899SCharles.Forsyth testmul2(mpint *b, mpint *b1)
180*37da2899SCharles.Forsyth {
181*37da2899SCharles.Forsyth mpint *b2;
182*37da2899SCharles.Forsyth vlong now;
183*37da2899SCharles.Forsyth int i;
184*37da2899SCharles.Forsyth
185*37da2899SCharles.Forsyth b2 = mpnew(0);
186*37da2899SCharles.Forsyth
187*37da2899SCharles.Forsyth now = nsec();
188*37da2899SCharles.Forsyth for(i = 0; i < loops; i++)
189*37da2899SCharles.Forsyth mpmul(b, b1, b2);
190*37da2899SCharles.Forsyth if(loops > 1)
191*37da2899SCharles.Forsyth print("%lld µs for a %d*%d mult\n", (nsec()-now)/(loops*1000), b->top*Dbits, b1->top*Dbits);
192*37da2899SCharles.Forsyth print("%B * ", b);
193*37da2899SCharles.Forsyth print("%B = ", b1);
194*37da2899SCharles.Forsyth print("%B\n", b2);
195*37da2899SCharles.Forsyth
196*37da2899SCharles.Forsyth mpfree(b2);
197*37da2899SCharles.Forsyth }
198*37da2899SCharles.Forsyth
199*37da2899SCharles.Forsyth void
testdigdiv(char * str,mpdigit d)200*37da2899SCharles.Forsyth testdigdiv(char *str, mpdigit d)
201*37da2899SCharles.Forsyth {
202*37da2899SCharles.Forsyth mpint *b;
203*37da2899SCharles.Forsyth mpdigit q;
204*37da2899SCharles.Forsyth int i;
205*37da2899SCharles.Forsyth vlong now;
206*37da2899SCharles.Forsyth
207*37da2899SCharles.Forsyth b = strtomp(str, nil, 16, nil);
208*37da2899SCharles.Forsyth now = nsec();
209*37da2899SCharles.Forsyth for(i = 0; i < loops; i++)
210*37da2899SCharles.Forsyth mpdigdiv(b->p, d, &q);
211*37da2899SCharles.Forsyth if(loops > 1)
212*37da2899SCharles.Forsyth print("%lld ns for a %d / %d div\n", (nsec()-now)/loops, 2*Dbits, Dbits);
213*37da2899SCharles.Forsyth print("%B / %ux = %ux\n", b, d, q);
214*37da2899SCharles.Forsyth mpfree(b);
215*37da2899SCharles.Forsyth }
216*37da2899SCharles.Forsyth
217*37da2899SCharles.Forsyth void
testdiv(mpint * x,mpint * y)218*37da2899SCharles.Forsyth testdiv(mpint *x, mpint *y)
219*37da2899SCharles.Forsyth {
220*37da2899SCharles.Forsyth mpint *b2, *b3;
221*37da2899SCharles.Forsyth vlong now;
222*37da2899SCharles.Forsyth int i;
223*37da2899SCharles.Forsyth
224*37da2899SCharles.Forsyth b2 = mpnew(0);
225*37da2899SCharles.Forsyth b3 = mpnew(0);
226*37da2899SCharles.Forsyth now = nsec();
227*37da2899SCharles.Forsyth for(i = 0; i < loops; i++)
228*37da2899SCharles.Forsyth mpdiv(x, y, b2, b3);
229*37da2899SCharles.Forsyth if(loops > 1)
230*37da2899SCharles.Forsyth print("%lld µs for a %d/%d div\n", (nsec()-now)/(1000*loops),
231*37da2899SCharles.Forsyth x->top*Dbits, y->top*Dbits);
232*37da2899SCharles.Forsyth print("%B / %B = %B %B\n", x, y, b2, b3);
233*37da2899SCharles.Forsyth mpfree(b2);
234*37da2899SCharles.Forsyth mpfree(b3);
235*37da2899SCharles.Forsyth }
236*37da2899SCharles.Forsyth
237*37da2899SCharles.Forsyth void
testmod(mpint * x,mpint * y)238*37da2899SCharles.Forsyth testmod(mpint *x, mpint *y)
239*37da2899SCharles.Forsyth {
240*37da2899SCharles.Forsyth mpint *r;
241*37da2899SCharles.Forsyth vlong now;
242*37da2899SCharles.Forsyth int i;
243*37da2899SCharles.Forsyth
244*37da2899SCharles.Forsyth r = mpnew(0);
245*37da2899SCharles.Forsyth now = nsec();
246*37da2899SCharles.Forsyth for(i = 0; i < loops; i++)
247*37da2899SCharles.Forsyth mpmod(x, y, r);
248*37da2899SCharles.Forsyth if(loops > 1)
249*37da2899SCharles.Forsyth print("%lld µs for a %d/%d mod\n", (nsec()-now)/(1000*loops),
250*37da2899SCharles.Forsyth x->top*Dbits, y->top*Dbits);
251*37da2899SCharles.Forsyth print("%B mod %B = %B\n", x, y, r);
252*37da2899SCharles.Forsyth mpfree(r);
253*37da2899SCharles.Forsyth }
254*37da2899SCharles.Forsyth
255*37da2899SCharles.Forsyth void
testinvert(mpint * x,mpint * y)256*37da2899SCharles.Forsyth testinvert(mpint *x, mpint *y)
257*37da2899SCharles.Forsyth {
258*37da2899SCharles.Forsyth mpint *r, *d1, *d2;
259*37da2899SCharles.Forsyth vlong now;
260*37da2899SCharles.Forsyth int i;
261*37da2899SCharles.Forsyth
262*37da2899SCharles.Forsyth r = mpnew(0);
263*37da2899SCharles.Forsyth d1 = mpnew(0);
264*37da2899SCharles.Forsyth d2 = mpnew(0);
265*37da2899SCharles.Forsyth now = nsec();
266*37da2899SCharles.Forsyth mpextendedgcd(x, y, r, d1, d2);
267*37da2899SCharles.Forsyth mpdiv(x, r, x, d1);
268*37da2899SCharles.Forsyth mpdiv(y, r, y, d1);
269*37da2899SCharles.Forsyth for(i = 0; i < loops; i++)
270*37da2899SCharles.Forsyth mpinvert(x, y, r);
271*37da2899SCharles.Forsyth if(loops > 1)
272*37da2899SCharles.Forsyth print("%lld µs for a %d in %d invert\n", (nsec()-now)/(1000*loops),
273*37da2899SCharles.Forsyth x->top*Dbits, y->top*Dbits);
274*37da2899SCharles.Forsyth print("%B**-1 mod %B = %B\n", x, y, r);
275*37da2899SCharles.Forsyth mpmul(r, x, d1);
276*37da2899SCharles.Forsyth mpmod(d1, y, d2);
277*37da2899SCharles.Forsyth print("%B*%B mod %B = %B\n", x, r, y, d2);
278*37da2899SCharles.Forsyth mpfree(r);
279*37da2899SCharles.Forsyth mpfree(d1);
280*37da2899SCharles.Forsyth mpfree(d2);
281*37da2899SCharles.Forsyth }
282*37da2899SCharles.Forsyth
283*37da2899SCharles.Forsyth void
testsub1(char * a,char * b)284*37da2899SCharles.Forsyth testsub1(char *a, char *b)
285*37da2899SCharles.Forsyth {
286*37da2899SCharles.Forsyth mpint *b1, *b2, *b3;
287*37da2899SCharles.Forsyth
288*37da2899SCharles.Forsyth b1 = strtomp(a, nil, 16, nil);
289*37da2899SCharles.Forsyth b2 = strtomp(b, nil, 16, nil);
290*37da2899SCharles.Forsyth b3 = mpnew(0);
291*37da2899SCharles.Forsyth mpsub(b1, b2, b3);
292*37da2899SCharles.Forsyth print("%B - %B = %B\n", b1, b2, b3);
293*37da2899SCharles.Forsyth }
294*37da2899SCharles.Forsyth
295*37da2899SCharles.Forsyth void
testmul1(char * a,char * b)296*37da2899SCharles.Forsyth testmul1(char *a, char *b)
297*37da2899SCharles.Forsyth {
298*37da2899SCharles.Forsyth mpint *b1, *b2, *b3;
299*37da2899SCharles.Forsyth
300*37da2899SCharles.Forsyth b1 = strtomp(a, nil, 16, nil);
301*37da2899SCharles.Forsyth b2 = strtomp(b, nil, 16, nil);
302*37da2899SCharles.Forsyth b3 = mpnew(0);
303*37da2899SCharles.Forsyth mpmul(b1, b2, b3);
304*37da2899SCharles.Forsyth print("%B * %B = %B\n", b1, b2, b3);
305*37da2899SCharles.Forsyth }
306*37da2899SCharles.Forsyth
307*37da2899SCharles.Forsyth void
testexp(char * base,char * exp,char * mod)308*37da2899SCharles.Forsyth testexp(char *base, char *exp, char *mod)
309*37da2899SCharles.Forsyth {
310*37da2899SCharles.Forsyth mpint *b, *e, *m, *res;
311*37da2899SCharles.Forsyth int i;
312*37da2899SCharles.Forsyth uvlong now;
313*37da2899SCharles.Forsyth
314*37da2899SCharles.Forsyth b = strtomp(base, nil, 16, nil);
315*37da2899SCharles.Forsyth e = strtomp(exp, nil, 16, nil);
316*37da2899SCharles.Forsyth res = mpnew(0);
317*37da2899SCharles.Forsyth if(mod != nil)
318*37da2899SCharles.Forsyth m = strtomp(mod, nil, 16, nil);
319*37da2899SCharles.Forsyth else
320*37da2899SCharles.Forsyth m = nil;
321*37da2899SCharles.Forsyth now = nsec();
322*37da2899SCharles.Forsyth for(i = 0; i < loops; i++)
323*37da2899SCharles.Forsyth mpexp(b, e, m, res);
324*37da2899SCharles.Forsyth if(loops > 1)
325*37da2899SCharles.Forsyth print("%ulldµs for a %d to the %d bit exp\n", (nsec()-now)/(loops*1000),
326*37da2899SCharles.Forsyth b->top*Dbits, e->top*Dbits);
327*37da2899SCharles.Forsyth if(m != nil)
328*37da2899SCharles.Forsyth print("%B ^ %B mod %B == %B\n", b, e, m, res);
329*37da2899SCharles.Forsyth else
330*37da2899SCharles.Forsyth print("%B ^ %B == %B\n", b, e, res);
331*37da2899SCharles.Forsyth mpfree(b);
332*37da2899SCharles.Forsyth mpfree(e);
333*37da2899SCharles.Forsyth mpfree(res);
334*37da2899SCharles.Forsyth if(m != nil)
335*37da2899SCharles.Forsyth mpfree(m);
336*37da2899SCharles.Forsyth }
337*37da2899SCharles.Forsyth
338*37da2899SCharles.Forsyth void
testgcd(void)339*37da2899SCharles.Forsyth testgcd(void)
340*37da2899SCharles.Forsyth {
341*37da2899SCharles.Forsyth mpint *a, *b, *d, *x, *y, *t1, *t2;
342*37da2899SCharles.Forsyth int i;
343*37da2899SCharles.Forsyth uvlong now, then;
344*37da2899SCharles.Forsyth uvlong etime;
345*37da2899SCharles.Forsyth
346*37da2899SCharles.Forsyth d = mpnew(0);
347*37da2899SCharles.Forsyth x = mpnew(0);
348*37da2899SCharles.Forsyth y = mpnew(0);
349*37da2899SCharles.Forsyth t1 = mpnew(0);
350*37da2899SCharles.Forsyth t2 = mpnew(0);
351*37da2899SCharles.Forsyth
352*37da2899SCharles.Forsyth etime = 0;
353*37da2899SCharles.Forsyth
354*37da2899SCharles.Forsyth a = strtomp("4EECAB3E04C4E6BC1F49D438731450396BF272B4D7B08F91C38E88ADCD281699889AFF872E2204C80CCAA8E460797103DE539D5DF8335A9B20C0B44886384F134C517287202FCA914D8A5096446B40CD861C641EF9C2730CB057D7B133F4C2B16BBD3D75FDDBD9151AAF0F9144AAA473AC93CF945DBFE0859FB685D5CBD0A8B3", nil, 16, nil);
355*37da2899SCharles.Forsyth b = strtomp("C41CFBE4D4846F67A3DF7DE9921A49D3B42DC33728427AB159CEC8CBBDB12B5F0C244F1A734AEB9840804EA3C25036AD1B61AFF3ABBC247CD4B384224567A863A6F020E7EE9795554BCD08ABAD7321AF27E1E92E3DB1C6E7E94FAAE590AE9C48F96D93D178E809401ABE8A534A1EC44359733475A36A70C7B425125062B1142D", nil, 16, nil);
356*37da2899SCharles.Forsyth mpextendedgcd(a, b, d, x, y);
357*37da2899SCharles.Forsyth print("gcd %B*%B+%B*%B = %B?\n", a, x, b, y, d);
358*37da2899SCharles.Forsyth mpfree(a);
359*37da2899SCharles.Forsyth mpfree(b);
360*37da2899SCharles.Forsyth
361*37da2899SCharles.Forsyth for(i = 0; i < loops; i++){
362*37da2899SCharles.Forsyth a = mprand(2048, prng, nil);
363*37da2899SCharles.Forsyth b = mprand(2048, prng, nil);
364*37da2899SCharles.Forsyth then = nsec();
365*37da2899SCharles.Forsyth mpextendedgcd(a, b, d, x, y);
366*37da2899SCharles.Forsyth now = nsec();
367*37da2899SCharles.Forsyth etime += now-then;
368*37da2899SCharles.Forsyth mpmul(a, x, t1);
369*37da2899SCharles.Forsyth mpmul(b, y, t2);
370*37da2899SCharles.Forsyth mpadd(t1, t2, t2);
371*37da2899SCharles.Forsyth if(mpcmp(d, t2) != 0)
372*37da2899SCharles.Forsyth print("%d gcd %B*%B+%B*%B != %B\n", i, a, x, b, y, d);
373*37da2899SCharles.Forsyth // else
374*37da2899SCharles.Forsyth // print("%d euclid %B*%B+%B*%B == %B\n", i, a, x, b, y, d);
375*37da2899SCharles.Forsyth mpfree(a);
376*37da2899SCharles.Forsyth mpfree(b);
377*37da2899SCharles.Forsyth }
378*37da2899SCharles.Forsyth
379*37da2899SCharles.Forsyth mpfree(x);
380*37da2899SCharles.Forsyth mpfree(y);
381*37da2899SCharles.Forsyth mpfree(d);
382*37da2899SCharles.Forsyth mpfree(t1);
383*37da2899SCharles.Forsyth mpfree(t2);
384*37da2899SCharles.Forsyth
385*37da2899SCharles.Forsyth if(loops > 1)
386*37da2899SCharles.Forsyth print("binary %llud\n", etime);
387*37da2899SCharles.Forsyth }
388*37da2899SCharles.Forsyth
389*37da2899SCharles.Forsyth extern int _unnormalizedwarning = 1;
390*37da2899SCharles.Forsyth
391*37da2899SCharles.Forsyth void
main(int argc,char ** argv)392*37da2899SCharles.Forsyth main(int argc, char **argv)
393*37da2899SCharles.Forsyth {
394*37da2899SCharles.Forsyth mpint *x, *y;
395*37da2899SCharles.Forsyth
396*37da2899SCharles.Forsyth ARGBEGIN{
397*37da2899SCharles.Forsyth case 'n':
398*37da2899SCharles.Forsyth loops = atoi(ARGF());
399*37da2899SCharles.Forsyth break;
400*37da2899SCharles.Forsyth }ARGEND;
401*37da2899SCharles.Forsyth
402*37da2899SCharles.Forsyth fmtinstall('B', mpfmt);
403*37da2899SCharles.Forsyth fmtinstall('Q', mpfmt);
404*37da2899SCharles.Forsyth srand(0);
405*37da2899SCharles.Forsyth mpsetminbits(2*Dbits);
406*37da2899SCharles.Forsyth testshift("1111111111111111");
407*37da2899SCharles.Forsyth testaddsub("fffffffffffffffff");
408*37da2899SCharles.Forsyth testdigdiv("1234567812345678", 0x76543218);
409*37da2899SCharles.Forsyth testdigdiv("1ffff", 0xffff);
410*37da2899SCharles.Forsyth testdigdiv("ffff", 0xffff);
411*37da2899SCharles.Forsyth testdigdiv("fff", 0xffff);
412*37da2899SCharles.Forsyth testdigdiv("effffffff", 0xffff);
413*37da2899SCharles.Forsyth testdigdiv("ffffffff", 0x1);
414*37da2899SCharles.Forsyth testdigdiv("ffffffff", 0);
415*37da2899SCharles.Forsyth testdigdiv("200000000", 2);
416*37da2899SCharles.Forsyth testdigdiv("ffffff00fffffff1", 0xfffffff1);
417*37da2899SCharles.Forsyth testvecdigmuladd("fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff", 2);
418*37da2899SCharles.Forsyth testconv("0");
419*37da2899SCharles.Forsyth testconv("-abc0123456789abcedf");
420*37da2899SCharles.Forsyth testconv("abc0123456789abcedf");
421*37da2899SCharles.Forsyth testvecdigmulsub("fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff", 2);
422*37da2899SCharles.Forsyth testsub1("1FFFFFFFE00000000", "FFFFFFFE00000001");
423*37da2899SCharles.Forsyth testmul1("ffffffff", "f");
424*37da2899SCharles.Forsyth testmul("ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff");
425*37da2899SCharles.Forsyth testmul1("100000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000030000000000000000000000000000000000000000000000000000000400000000000000000000000000000000000000000000000000000004FFFFFFFFFFFFFFFE0000000200000000000000000000000000000003FFFFFFFFFFFFFFFE0000000200000000000000000000000000000002FFFFFFFFFFFFFFFE0000000200000000000000000000000000000001FFFFFFFFFFFFFFFE0000000200000000000000000000000000000000FFFFFFFFFFFFFFFE0000000200000000FFFFFFFE00000001", "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF");
426*37da2899SCharles.Forsyth testmul1("1000000000000000000000001000000000000000000000001000000000000000000000001000000000000000000000001000000000000000000000001000000000000000000000001000000000000000000000001", "1000000000000000000000001000000000000000000000001000000000000000000000001000000000000000000000001000000000000000000000001000000000000000000000001000000000000000000000001");
427*37da2899SCharles.Forsyth testmul1("1000000000000000000000001000000000000000000000001000000000000000000000001000000000000000000000001000000000000000000000001000000000000000000000001000000000000000000000001", "1000000000000000000000001000000000000000000000001000000000000000000000001000000000000000000000001000000000000000000000001000000000000000000000001000000000000000000000001");
428*37da2899SCharles.Forsyth testmul1("FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000");
429*37da2899SCharles.Forsyth x = mprand(256, prng, nil);
430*37da2899SCharles.Forsyth y = mprand(128, prng, nil);
431*37da2899SCharles.Forsyth testdiv(x, y);
432*37da2899SCharles.Forsyth x = mprand(2048, prng, nil);
433*37da2899SCharles.Forsyth y = mprand(1024, prng, nil);
434*37da2899SCharles.Forsyth testdiv(x, y);
435*37da2899SCharles.Forsyth // x = mprand(4*1024, prng, nil);
436*37da2899SCharles.Forsyth // y = mprand(4*1024, prng, nil);
437*37da2899SCharles.Forsyth // testmul2(x, y);
438*37da2899SCharles.Forsyth testsub1("677132C9", "-A26559B6");
439*37da2899SCharles.Forsyth testgcd();
440*37da2899SCharles.Forsyth x = mprand(512, prng, nil);
441*37da2899SCharles.Forsyth x->sign = -1;
442*37da2899SCharles.Forsyth y = mprand(256, prng, nil);
443*37da2899SCharles.Forsyth testdiv(x, y);
444*37da2899SCharles.Forsyth testmod(x, y);
445*37da2899SCharles.Forsyth x->sign = 1;
446*37da2899SCharles.Forsyth testinvert(y, x);
447*37da2899SCharles.Forsyth testexp("111111111", "222", "1000000000000000000000");
448*37da2899SCharles.Forsyth testexp("ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff", "ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff", "100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000");
449*37da2899SCharles.Forsyth #ifdef asdf
450*37da2899SCharles.Forsyth #endif adsf
451*37da2899SCharles.Forsyth print("done\n");
452*37da2899SCharles.Forsyth exits(0);
453*37da2899SCharles.Forsyth }
454