15c87c606SMark Murray /* 25c87c606SMark Murray * x86_64 BIGNUM accelerator version 0.1, December 2002. 35c87c606SMark Murray * 45c87c606SMark Murray * Implemented by Andy Polyakov <appro@fy.chalmers.se> for the OpenSSL 55c87c606SMark Murray * project. 65c87c606SMark Murray * 75c87c606SMark Murray * Rights for redistribution and usage in source and binary forms are 85c87c606SMark Murray * granted according to the OpenSSL license. Warranty of any kind is 95c87c606SMark Murray * disclaimed. 105c87c606SMark Murray * 115c87c606SMark Murray * Q. Version 0.1? It doesn't sound like Andy, he used to assign real 125c87c606SMark Murray * versions, like 1.0... 135c87c606SMark Murray * A. Well, that's because this code is basically a quick-n-dirty 145c87c606SMark Murray * proof-of-concept hack. As you can see it's implemented with 155c87c606SMark Murray * inline assembler, which means that you're bound to GCC and that 165c87c606SMark Murray * there must be a room for fine-tuning. 175c87c606SMark Murray * 185c87c606SMark Murray * Q. Why inline assembler? 195c87c606SMark Murray * A. x86_64 features own ABI I'm not familiar with. Which is why 205c87c606SMark Murray * I decided to let the compiler take care of subroutine 215c87c606SMark Murray * prologue/epilogue as well as register allocation. 225c87c606SMark Murray * 235c87c606SMark Murray * Q. How much faster does it get? 245c87c606SMark Murray * A. Unfortunately people sitting on x86_64 hardware are prohibited 255c87c606SMark Murray * to disclose the performance numbers, so they (SuSE labs to be 265c87c606SMark Murray * specific) wouldn't tell me. However! Very similar coding technique 275c87c606SMark Murray * (reaching out for 128-bit result from 64x64-bit multiplication) 285c87c606SMark Murray * results in >3 times performance improvement on MIPS and I see no 295c87c606SMark Murray * reason why gain on x86_64 would be so much different:-) 305c87c606SMark Murray */ 315c87c606SMark Murray 325c87c606SMark Murray #define BN_ULONG unsigned long 335c87c606SMark Murray 345c87c606SMark Murray /* 355c87c606SMark Murray * "m"(a), "+m"(r) is the way to favor DirectPath �-code; 365c87c606SMark Murray * "g"(0) let the compiler to decide where does it 375c87c606SMark Murray * want to keep the value of zero; 385c87c606SMark Murray */ 395c87c606SMark Murray #define mul_add(r,a,word,carry) do { \ 405c87c606SMark Murray register BN_ULONG high,low; \ 415c87c606SMark Murray asm ("mulq %3" \ 425c87c606SMark Murray : "=a"(low),"=d"(high) \ 435c87c606SMark Murray : "a"(word),"m"(a) \ 445c87c606SMark Murray : "cc"); \ 455c87c606SMark Murray asm ("addq %2,%0; adcq %3,%1" \ 465c87c606SMark Murray : "+r"(carry),"+d"(high)\ 475c87c606SMark Murray : "a"(low),"g"(0) \ 485c87c606SMark Murray : "cc"); \ 495c87c606SMark Murray asm ("addq %2,%0; adcq %3,%1" \ 505c87c606SMark Murray : "+m"(r),"+d"(high) \ 515c87c606SMark Murray : "r"(carry),"g"(0) \ 525c87c606SMark Murray : "cc"); \ 535c87c606SMark Murray carry=high; \ 545c87c606SMark Murray } while (0) 555c87c606SMark Murray 565c87c606SMark Murray #define mul(r,a,word,carry) do { \ 575c87c606SMark Murray register BN_ULONG high,low; \ 585c87c606SMark Murray asm ("mulq %3" \ 595c87c606SMark Murray : "=a"(low),"=d"(high) \ 605c87c606SMark Murray : "a"(word),"g"(a) \ 615c87c606SMark Murray : "cc"); \ 625c87c606SMark Murray asm ("addq %2,%0; adcq %3,%1" \ 635c87c606SMark Murray : "+r"(carry),"+d"(high)\ 645c87c606SMark Murray : "a"(low),"g"(0) \ 655c87c606SMark Murray : "cc"); \ 665c87c606SMark Murray (r)=carry, carry=high; \ 675c87c606SMark Murray } while (0) 685c87c606SMark Murray 695c87c606SMark Murray #define sqr(r0,r1,a) \ 705c87c606SMark Murray asm ("mulq %2" \ 715c87c606SMark Murray : "=a"(r0),"=d"(r1) \ 725c87c606SMark Murray : "a"(a) \ 735c87c606SMark Murray : "cc"); 745c87c606SMark Murray 755c87c606SMark Murray BN_ULONG bn_mul_add_words(BN_ULONG *rp, BN_ULONG *ap, int num, BN_ULONG w) 765c87c606SMark Murray { 775c87c606SMark Murray BN_ULONG c1=0; 785c87c606SMark Murray 795c87c606SMark Murray if (num <= 0) return(c1); 805c87c606SMark Murray 815c87c606SMark Murray while (num&~3) 825c87c606SMark Murray { 835c87c606SMark Murray mul_add(rp[0],ap[0],w,c1); 845c87c606SMark Murray mul_add(rp[1],ap[1],w,c1); 855c87c606SMark Murray mul_add(rp[2],ap[2],w,c1); 865c87c606SMark Murray mul_add(rp[3],ap[3],w,c1); 875c87c606SMark Murray ap+=4; rp+=4; num-=4; 885c87c606SMark Murray } 895c87c606SMark Murray if (num) 905c87c606SMark Murray { 915c87c606SMark Murray mul_add(rp[0],ap[0],w,c1); if (--num==0) return c1; 925c87c606SMark Murray mul_add(rp[1],ap[1],w,c1); if (--num==0) return c1; 935c87c606SMark Murray mul_add(rp[2],ap[2],w,c1); return c1; 945c87c606SMark Murray } 955c87c606SMark Murray 965c87c606SMark Murray return(c1); 975c87c606SMark Murray } 985c87c606SMark Murray 995c87c606SMark Murray BN_ULONG bn_mul_words(BN_ULONG *rp, BN_ULONG *ap, int num, BN_ULONG w) 1005c87c606SMark Murray { 1015c87c606SMark Murray BN_ULONG c1=0; 1025c87c606SMark Murray 1035c87c606SMark Murray if (num <= 0) return(c1); 1045c87c606SMark Murray 1055c87c606SMark Murray while (num&~3) 1065c87c606SMark Murray { 1075c87c606SMark Murray mul(rp[0],ap[0],w,c1); 1085c87c606SMark Murray mul(rp[1],ap[1],w,c1); 1095c87c606SMark Murray mul(rp[2],ap[2],w,c1); 1105c87c606SMark Murray mul(rp[3],ap[3],w,c1); 1115c87c606SMark Murray ap+=4; rp+=4; num-=4; 1125c87c606SMark Murray } 1135c87c606SMark Murray if (num) 1145c87c606SMark Murray { 1155c87c606SMark Murray mul(rp[0],ap[0],w,c1); if (--num == 0) return c1; 1165c87c606SMark Murray mul(rp[1],ap[1],w,c1); if (--num == 0) return c1; 1175c87c606SMark Murray mul(rp[2],ap[2],w,c1); 1185c87c606SMark Murray } 1195c87c606SMark Murray return(c1); 1205c87c606SMark Murray } 1215c87c606SMark Murray 1225c87c606SMark Murray void bn_sqr_words(BN_ULONG *r, BN_ULONG *a, int n) 1235c87c606SMark Murray { 1245c87c606SMark Murray if (n <= 0) return; 1255c87c606SMark Murray 1265c87c606SMark Murray while (n&~3) 1275c87c606SMark Murray { 1285c87c606SMark Murray sqr(r[0],r[1],a[0]); 1295c87c606SMark Murray sqr(r[2],r[3],a[1]); 1305c87c606SMark Murray sqr(r[4],r[5],a[2]); 1315c87c606SMark Murray sqr(r[6],r[7],a[3]); 1325c87c606SMark Murray a+=4; r+=8; n-=4; 1335c87c606SMark Murray } 1345c87c606SMark Murray if (n) 1355c87c606SMark Murray { 1365c87c606SMark Murray sqr(r[0],r[1],a[0]); if (--n == 0) return; 1375c87c606SMark Murray sqr(r[2],r[3],a[1]); if (--n == 0) return; 1385c87c606SMark Murray sqr(r[4],r[5],a[2]); 1395c87c606SMark Murray } 1405c87c606SMark Murray } 1415c87c606SMark Murray 1425c87c606SMark Murray BN_ULONG bn_div_words(BN_ULONG h, BN_ULONG l, BN_ULONG d) 1435c87c606SMark Murray { BN_ULONG ret,waste; 1445c87c606SMark Murray 1455c87c606SMark Murray asm ("divq %3" 1465c87c606SMark Murray : "=a"(ret),"=d"(waste) 1475c87c606SMark Murray : "a"(l),"d"(h),"g"(d) 1485c87c606SMark Murray : "cc"); 1495c87c606SMark Murray 1505c87c606SMark Murray return ret; 1515c87c606SMark Murray } 1525c87c606SMark Murray 1535c87c606SMark Murray BN_ULONG bn_add_words (BN_ULONG *rp, BN_ULONG *ap, BN_ULONG *bp,int n) 1545c87c606SMark Murray { BN_ULONG ret,i; 1555c87c606SMark Murray 1565c87c606SMark Murray if (n <= 0) return 0; 1575c87c606SMark Murray 1585c87c606SMark Murray asm ( 1595c87c606SMark Murray " subq %2,%2 \n" 1605c87c606SMark Murray ".align 16 \n" 1615c87c606SMark Murray "1: movq (%4,%2,8),%0 \n" 1625c87c606SMark Murray " adcq (%5,%2,8),%0 \n" 1635c87c606SMark Murray " movq %0,(%3,%2,8) \n" 1645c87c606SMark Murray " leaq 1(%2),%2 \n" 1655c87c606SMark Murray " loop 1b \n" 1665c87c606SMark Murray " sbbq %0,%0 \n" 1675c87c606SMark Murray : "+a"(ret),"+c"(n),"+r"(i) 1685c87c606SMark Murray : "r"(rp),"r"(ap),"r"(bp) 1695c87c606SMark Murray : "cc" 1705c87c606SMark Murray ); 1715c87c606SMark Murray 1725c87c606SMark Murray return ret&1; 1735c87c606SMark Murray } 1745c87c606SMark Murray 1755c87c606SMark Murray #ifndef SIMICS 1765c87c606SMark Murray BN_ULONG bn_sub_words (BN_ULONG *rp, BN_ULONG *ap, BN_ULONG *bp,int n) 1775c87c606SMark Murray { BN_ULONG ret,i; 1785c87c606SMark Murray 1795c87c606SMark Murray if (n <= 0) return 0; 1805c87c606SMark Murray 1815c87c606SMark Murray asm ( 1825c87c606SMark Murray " subq %2,%2 \n" 1835c87c606SMark Murray ".align 16 \n" 1845c87c606SMark Murray "1: movq (%4,%2,8),%0 \n" 1855c87c606SMark Murray " sbbq (%5,%2,8),%0 \n" 1865c87c606SMark Murray " movq %0,(%3,%2,8) \n" 1875c87c606SMark Murray " leaq 1(%2),%2 \n" 1885c87c606SMark Murray " loop 1b \n" 1895c87c606SMark Murray " sbbq %0,%0 \n" 1905c87c606SMark Murray : "+a"(ret),"+c"(n),"+r"(i) 1915c87c606SMark Murray : "r"(rp),"r"(ap),"r"(bp) 1925c87c606SMark Murray : "cc" 1935c87c606SMark Murray ); 1945c87c606SMark Murray 1955c87c606SMark Murray return ret&1; 1965c87c606SMark Murray } 1975c87c606SMark Murray #else 1985c87c606SMark Murray /* Simics 1.4<7 has buggy sbbq:-( */ 1995c87c606SMark Murray #define BN_MASK2 0xffffffffffffffffL 2005c87c606SMark Murray BN_ULONG bn_sub_words(BN_ULONG *r, BN_ULONG *a, BN_ULONG *b, int n) 2015c87c606SMark Murray { 2025c87c606SMark Murray BN_ULONG t1,t2; 2035c87c606SMark Murray int c=0; 2045c87c606SMark Murray 2055c87c606SMark Murray if (n <= 0) return((BN_ULONG)0); 2065c87c606SMark Murray 2075c87c606SMark Murray for (;;) 2085c87c606SMark Murray { 2095c87c606SMark Murray t1=a[0]; t2=b[0]; 2105c87c606SMark Murray r[0]=(t1-t2-c)&BN_MASK2; 2115c87c606SMark Murray if (t1 != t2) c=(t1 < t2); 2125c87c606SMark Murray if (--n <= 0) break; 2135c87c606SMark Murray 2145c87c606SMark Murray t1=a[1]; t2=b[1]; 2155c87c606SMark Murray r[1]=(t1-t2-c)&BN_MASK2; 2165c87c606SMark Murray if (t1 != t2) c=(t1 < t2); 2175c87c606SMark Murray if (--n <= 0) break; 2185c87c606SMark Murray 2195c87c606SMark Murray t1=a[2]; t2=b[2]; 2205c87c606SMark Murray r[2]=(t1-t2-c)&BN_MASK2; 2215c87c606SMark Murray if (t1 != t2) c=(t1 < t2); 2225c87c606SMark Murray if (--n <= 0) break; 2235c87c606SMark Murray 2245c87c606SMark Murray t1=a[3]; t2=b[3]; 2255c87c606SMark Murray r[3]=(t1-t2-c)&BN_MASK2; 2265c87c606SMark Murray if (t1 != t2) c=(t1 < t2); 2275c87c606SMark Murray if (--n <= 0) break; 2285c87c606SMark Murray 2295c87c606SMark Murray a+=4; 2305c87c606SMark Murray b+=4; 2315c87c606SMark Murray r+=4; 2325c87c606SMark Murray } 2335c87c606SMark Murray return(c); 2345c87c606SMark Murray } 2355c87c606SMark Murray #endif 2365c87c606SMark Murray 2375c87c606SMark Murray /* mul_add_c(a,b,c0,c1,c2) -- c+=a*b for three word number c=(c2,c1,c0) */ 2385c87c606SMark Murray /* mul_add_c2(a,b,c0,c1,c2) -- c+=2*a*b for three word number c=(c2,c1,c0) */ 2395c87c606SMark Murray /* sqr_add_c(a,i,c0,c1,c2) -- c+=a[i]^2 for three word number c=(c2,c1,c0) */ 2405c87c606SMark Murray /* sqr_add_c2(a,i,c0,c1,c2) -- c+=2*a[i]*a[j] for three word number c=(c2,c1,c0) */ 2415c87c606SMark Murray 2425c87c606SMark Murray #if 0 2435c87c606SMark Murray /* original macros are kept for reference purposes */ 2445c87c606SMark Murray #define mul_add_c(a,b,c0,c1,c2) { \ 2455c87c606SMark Murray BN_ULONG ta=(a),tb=(b); \ 2465c87c606SMark Murray t1 = ta * tb; \ 2475c87c606SMark Murray t2 = BN_UMULT_HIGH(ta,tb); \ 2485c87c606SMark Murray c0 += t1; t2 += (c0<t1)?1:0; \ 2495c87c606SMark Murray c1 += t2; c2 += (c1<t2)?1:0; \ 2505c87c606SMark Murray } 2515c87c606SMark Murray 2525c87c606SMark Murray #define mul_add_c2(a,b,c0,c1,c2) { \ 2535c87c606SMark Murray BN_ULONG ta=(a),tb=(b),t0; \ 2545c87c606SMark Murray t1 = BN_UMULT_HIGH(ta,tb); \ 2555c87c606SMark Murray t0 = ta * tb; \ 2565c87c606SMark Murray t2 = t1+t1; c2 += (t2<t1)?1:0; \ 2575c87c606SMark Murray t1 = t0+t0; t2 += (t1<t0)?1:0; \ 2585c87c606SMark Murray c0 += t1; t2 += (c0<t1)?1:0; \ 2595c87c606SMark Murray c1 += t2; c2 += (c1<t2)?1:0; \ 2605c87c606SMark Murray } 2615c87c606SMark Murray #else 2625c87c606SMark Murray #define mul_add_c(a,b,c0,c1,c2) do { \ 2635c87c606SMark Murray asm ("mulq %3" \ 2645c87c606SMark Murray : "=a"(t1),"=d"(t2) \ 2655c87c606SMark Murray : "a"(a),"m"(b) \ 2665c87c606SMark Murray : "cc"); \ 2675c87c606SMark Murray asm ("addq %2,%0; adcq %3,%1" \ 2685c87c606SMark Murray : "+r"(c0),"+d"(t2) \ 2695c87c606SMark Murray : "a"(t1),"g"(0) \ 2705c87c606SMark Murray : "cc"); \ 2715c87c606SMark Murray asm ("addq %2,%0; adcq %3,%1" \ 2725c87c606SMark Murray : "+r"(c1),"+r"(c2) \ 2735c87c606SMark Murray : "d"(t2),"g"(0) \ 2745c87c606SMark Murray : "cc"); \ 2755c87c606SMark Murray } while (0) 2765c87c606SMark Murray 2775c87c606SMark Murray #define sqr_add_c(a,i,c0,c1,c2) do { \ 2785c87c606SMark Murray asm ("mulq %2" \ 2795c87c606SMark Murray : "=a"(t1),"=d"(t2) \ 2805c87c606SMark Murray : "a"(a[i]) \ 2815c87c606SMark Murray : "cc"); \ 2825c87c606SMark Murray asm ("addq %2,%0; adcq %3,%1" \ 2835c87c606SMark Murray : "+r"(c0),"+d"(t2) \ 2845c87c606SMark Murray : "a"(t1),"g"(0) \ 2855c87c606SMark Murray : "cc"); \ 2865c87c606SMark Murray asm ("addq %2,%0; adcq %3,%1" \ 2875c87c606SMark Murray : "+r"(c1),"+r"(c2) \ 2885c87c606SMark Murray : "d"(t2),"g"(0) \ 2895c87c606SMark Murray : "cc"); \ 2905c87c606SMark Murray } while (0) 2915c87c606SMark Murray 2925c87c606SMark Murray #define mul_add_c2(a,b,c0,c1,c2) do { \ 2935c87c606SMark Murray asm ("mulq %3" \ 2945c87c606SMark Murray : "=a"(t1),"=d"(t2) \ 2955c87c606SMark Murray : "a"(a),"m"(b) \ 2965c87c606SMark Murray : "cc"); \ 2975c87c606SMark Murray asm ("addq %0,%0; adcq %2,%1" \ 2985c87c606SMark Murray : "+d"(t2),"+r"(c2) \ 2995c87c606SMark Murray : "g"(0) \ 3005c87c606SMark Murray : "cc"); \ 3015c87c606SMark Murray asm ("addq %0,%0; adcq %2,%1" \ 3025c87c606SMark Murray : "+a"(t1),"+d"(t2) \ 3035c87c606SMark Murray : "g"(0) \ 3045c87c606SMark Murray : "cc"); \ 3055c87c606SMark Murray asm ("addq %2,%0; adcq %3,%1" \ 3065c87c606SMark Murray : "+r"(c0),"+d"(t2) \ 3075c87c606SMark Murray : "a"(t1),"g"(0) \ 3085c87c606SMark Murray : "cc"); \ 3095c87c606SMark Murray asm ("addq %2,%0; adcq %3,%1" \ 3105c87c606SMark Murray : "+r"(c1),"+r"(c2) \ 3115c87c606SMark Murray : "d"(t2),"g"(0) \ 3125c87c606SMark Murray : "cc"); \ 3135c87c606SMark Murray } while (0) 3145c87c606SMark Murray #endif 3155c87c606SMark Murray 3165c87c606SMark Murray #define sqr_add_c2(a,i,j,c0,c1,c2) \ 3175c87c606SMark Murray mul_add_c2((a)[i],(a)[j],c0,c1,c2) 3185c87c606SMark Murray 3195c87c606SMark Murray void bn_mul_comba8(BN_ULONG *r, BN_ULONG *a, BN_ULONG *b) 3205c87c606SMark Murray { 3215c87c606SMark Murray BN_ULONG bl,bh; 3225c87c606SMark Murray BN_ULONG t1,t2; 3235c87c606SMark Murray BN_ULONG c1,c2,c3; 3245c87c606SMark Murray 3255c87c606SMark Murray c1=0; 3265c87c606SMark Murray c2=0; 3275c87c606SMark Murray c3=0; 3285c87c606SMark Murray mul_add_c(a[0],b[0],c1,c2,c3); 3295c87c606SMark Murray r[0]=c1; 3305c87c606SMark Murray c1=0; 3315c87c606SMark Murray mul_add_c(a[0],b[1],c2,c3,c1); 3325c87c606SMark Murray mul_add_c(a[1],b[0],c2,c3,c1); 3335c87c606SMark Murray r[1]=c2; 3345c87c606SMark Murray c2=0; 3355c87c606SMark Murray mul_add_c(a[2],b[0],c3,c1,c2); 3365c87c606SMark Murray mul_add_c(a[1],b[1],c3,c1,c2); 3375c87c606SMark Murray mul_add_c(a[0],b[2],c3,c1,c2); 3385c87c606SMark Murray r[2]=c3; 3395c87c606SMark Murray c3=0; 3405c87c606SMark Murray mul_add_c(a[0],b[3],c1,c2,c3); 3415c87c606SMark Murray mul_add_c(a[1],b[2],c1,c2,c3); 3425c87c606SMark Murray mul_add_c(a[2],b[1],c1,c2,c3); 3435c87c606SMark Murray mul_add_c(a[3],b[0],c1,c2,c3); 3445c87c606SMark Murray r[3]=c1; 3455c87c606SMark Murray c1=0; 3465c87c606SMark Murray mul_add_c(a[4],b[0],c2,c3,c1); 3475c87c606SMark Murray mul_add_c(a[3],b[1],c2,c3,c1); 3485c87c606SMark Murray mul_add_c(a[2],b[2],c2,c3,c1); 3495c87c606SMark Murray mul_add_c(a[1],b[3],c2,c3,c1); 3505c87c606SMark Murray mul_add_c(a[0],b[4],c2,c3,c1); 3515c87c606SMark Murray r[4]=c2; 3525c87c606SMark Murray c2=0; 3535c87c606SMark Murray mul_add_c(a[0],b[5],c3,c1,c2); 3545c87c606SMark Murray mul_add_c(a[1],b[4],c3,c1,c2); 3555c87c606SMark Murray mul_add_c(a[2],b[3],c3,c1,c2); 3565c87c606SMark Murray mul_add_c(a[3],b[2],c3,c1,c2); 3575c87c606SMark Murray mul_add_c(a[4],b[1],c3,c1,c2); 3585c87c606SMark Murray mul_add_c(a[5],b[0],c3,c1,c2); 3595c87c606SMark Murray r[5]=c3; 3605c87c606SMark Murray c3=0; 3615c87c606SMark Murray mul_add_c(a[6],b[0],c1,c2,c3); 3625c87c606SMark Murray mul_add_c(a[5],b[1],c1,c2,c3); 3635c87c606SMark Murray mul_add_c(a[4],b[2],c1,c2,c3); 3645c87c606SMark Murray mul_add_c(a[3],b[3],c1,c2,c3); 3655c87c606SMark Murray mul_add_c(a[2],b[4],c1,c2,c3); 3665c87c606SMark Murray mul_add_c(a[1],b[5],c1,c2,c3); 3675c87c606SMark Murray mul_add_c(a[0],b[6],c1,c2,c3); 3685c87c606SMark Murray r[6]=c1; 3695c87c606SMark Murray c1=0; 3705c87c606SMark Murray mul_add_c(a[0],b[7],c2,c3,c1); 3715c87c606SMark Murray mul_add_c(a[1],b[6],c2,c3,c1); 3725c87c606SMark Murray mul_add_c(a[2],b[5],c2,c3,c1); 3735c87c606SMark Murray mul_add_c(a[3],b[4],c2,c3,c1); 3745c87c606SMark Murray mul_add_c(a[4],b[3],c2,c3,c1); 3755c87c606SMark Murray mul_add_c(a[5],b[2],c2,c3,c1); 3765c87c606SMark Murray mul_add_c(a[6],b[1],c2,c3,c1); 3775c87c606SMark Murray mul_add_c(a[7],b[0],c2,c3,c1); 3785c87c606SMark Murray r[7]=c2; 3795c87c606SMark Murray c2=0; 3805c87c606SMark Murray mul_add_c(a[7],b[1],c3,c1,c2); 3815c87c606SMark Murray mul_add_c(a[6],b[2],c3,c1,c2); 3825c87c606SMark Murray mul_add_c(a[5],b[3],c3,c1,c2); 3835c87c606SMark Murray mul_add_c(a[4],b[4],c3,c1,c2); 3845c87c606SMark Murray mul_add_c(a[3],b[5],c3,c1,c2); 3855c87c606SMark Murray mul_add_c(a[2],b[6],c3,c1,c2); 3865c87c606SMark Murray mul_add_c(a[1],b[7],c3,c1,c2); 3875c87c606SMark Murray r[8]=c3; 3885c87c606SMark Murray c3=0; 3895c87c606SMark Murray mul_add_c(a[2],b[7],c1,c2,c3); 3905c87c606SMark Murray mul_add_c(a[3],b[6],c1,c2,c3); 3915c87c606SMark Murray mul_add_c(a[4],b[5],c1,c2,c3); 3925c87c606SMark Murray mul_add_c(a[5],b[4],c1,c2,c3); 3935c87c606SMark Murray mul_add_c(a[6],b[3],c1,c2,c3); 3945c87c606SMark Murray mul_add_c(a[7],b[2],c1,c2,c3); 3955c87c606SMark Murray r[9]=c1; 3965c87c606SMark Murray c1=0; 3975c87c606SMark Murray mul_add_c(a[7],b[3],c2,c3,c1); 3985c87c606SMark Murray mul_add_c(a[6],b[4],c2,c3,c1); 3995c87c606SMark Murray mul_add_c(a[5],b[5],c2,c3,c1); 4005c87c606SMark Murray mul_add_c(a[4],b[6],c2,c3,c1); 4015c87c606SMark Murray mul_add_c(a[3],b[7],c2,c3,c1); 4025c87c606SMark Murray r[10]=c2; 4035c87c606SMark Murray c2=0; 4045c87c606SMark Murray mul_add_c(a[4],b[7],c3,c1,c2); 4055c87c606SMark Murray mul_add_c(a[5],b[6],c3,c1,c2); 4065c87c606SMark Murray mul_add_c(a[6],b[5],c3,c1,c2); 4075c87c606SMark Murray mul_add_c(a[7],b[4],c3,c1,c2); 4085c87c606SMark Murray r[11]=c3; 4095c87c606SMark Murray c3=0; 4105c87c606SMark Murray mul_add_c(a[7],b[5],c1,c2,c3); 4115c87c606SMark Murray mul_add_c(a[6],b[6],c1,c2,c3); 4125c87c606SMark Murray mul_add_c(a[5],b[7],c1,c2,c3); 4135c87c606SMark Murray r[12]=c1; 4145c87c606SMark Murray c1=0; 4155c87c606SMark Murray mul_add_c(a[6],b[7],c2,c3,c1); 4165c87c606SMark Murray mul_add_c(a[7],b[6],c2,c3,c1); 4175c87c606SMark Murray r[13]=c2; 4185c87c606SMark Murray c2=0; 4195c87c606SMark Murray mul_add_c(a[7],b[7],c3,c1,c2); 4205c87c606SMark Murray r[14]=c3; 4215c87c606SMark Murray r[15]=c1; 4225c87c606SMark Murray } 4235c87c606SMark Murray 4245c87c606SMark Murray void bn_mul_comba4(BN_ULONG *r, BN_ULONG *a, BN_ULONG *b) 4255c87c606SMark Murray { 4265c87c606SMark Murray BN_ULONG bl,bh; 4275c87c606SMark Murray BN_ULONG t1,t2; 4285c87c606SMark Murray BN_ULONG c1,c2,c3; 4295c87c606SMark Murray 4305c87c606SMark Murray c1=0; 4315c87c606SMark Murray c2=0; 4325c87c606SMark Murray c3=0; 4335c87c606SMark Murray mul_add_c(a[0],b[0],c1,c2,c3); 4345c87c606SMark Murray r[0]=c1; 4355c87c606SMark Murray c1=0; 4365c87c606SMark Murray mul_add_c(a[0],b[1],c2,c3,c1); 4375c87c606SMark Murray mul_add_c(a[1],b[0],c2,c3,c1); 4385c87c606SMark Murray r[1]=c2; 4395c87c606SMark Murray c2=0; 4405c87c606SMark Murray mul_add_c(a[2],b[0],c3,c1,c2); 4415c87c606SMark Murray mul_add_c(a[1],b[1],c3,c1,c2); 4425c87c606SMark Murray mul_add_c(a[0],b[2],c3,c1,c2); 4435c87c606SMark Murray r[2]=c3; 4445c87c606SMark Murray c3=0; 4455c87c606SMark Murray mul_add_c(a[0],b[3],c1,c2,c3); 4465c87c606SMark Murray mul_add_c(a[1],b[2],c1,c2,c3); 4475c87c606SMark Murray mul_add_c(a[2],b[1],c1,c2,c3); 4485c87c606SMark Murray mul_add_c(a[3],b[0],c1,c2,c3); 4495c87c606SMark Murray r[3]=c1; 4505c87c606SMark Murray c1=0; 4515c87c606SMark Murray mul_add_c(a[3],b[1],c2,c3,c1); 4525c87c606SMark Murray mul_add_c(a[2],b[2],c2,c3,c1); 4535c87c606SMark Murray mul_add_c(a[1],b[3],c2,c3,c1); 4545c87c606SMark Murray r[4]=c2; 4555c87c606SMark Murray c2=0; 4565c87c606SMark Murray mul_add_c(a[2],b[3],c3,c1,c2); 4575c87c606SMark Murray mul_add_c(a[3],b[2],c3,c1,c2); 4585c87c606SMark Murray r[5]=c3; 4595c87c606SMark Murray c3=0; 4605c87c606SMark Murray mul_add_c(a[3],b[3],c1,c2,c3); 4615c87c606SMark Murray r[6]=c1; 4625c87c606SMark Murray r[7]=c2; 4635c87c606SMark Murray } 4645c87c606SMark Murray 4655c87c606SMark Murray void bn_sqr_comba8(BN_ULONG *r, BN_ULONG *a) 4665c87c606SMark Murray { 4675c87c606SMark Murray BN_ULONG bl,bh; 4685c87c606SMark Murray BN_ULONG t1,t2; 4695c87c606SMark Murray BN_ULONG c1,c2,c3; 4705c87c606SMark Murray 4715c87c606SMark Murray c1=0; 4725c87c606SMark Murray c2=0; 4735c87c606SMark Murray c3=0; 4745c87c606SMark Murray sqr_add_c(a,0,c1,c2,c3); 4755c87c606SMark Murray r[0]=c1; 4765c87c606SMark Murray c1=0; 4775c87c606SMark Murray sqr_add_c2(a,1,0,c2,c3,c1); 4785c87c606SMark Murray r[1]=c2; 4795c87c606SMark Murray c2=0; 4805c87c606SMark Murray sqr_add_c(a,1,c3,c1,c2); 4815c87c606SMark Murray sqr_add_c2(a,2,0,c3,c1,c2); 4825c87c606SMark Murray r[2]=c3; 4835c87c606SMark Murray c3=0; 4845c87c606SMark Murray sqr_add_c2(a,3,0,c1,c2,c3); 4855c87c606SMark Murray sqr_add_c2(a,2,1,c1,c2,c3); 4865c87c606SMark Murray r[3]=c1; 4875c87c606SMark Murray c1=0; 4885c87c606SMark Murray sqr_add_c(a,2,c2,c3,c1); 4895c87c606SMark Murray sqr_add_c2(a,3,1,c2,c3,c1); 4905c87c606SMark Murray sqr_add_c2(a,4,0,c2,c3,c1); 4915c87c606SMark Murray r[4]=c2; 4925c87c606SMark Murray c2=0; 4935c87c606SMark Murray sqr_add_c2(a,5,0,c3,c1,c2); 4945c87c606SMark Murray sqr_add_c2(a,4,1,c3,c1,c2); 4955c87c606SMark Murray sqr_add_c2(a,3,2,c3,c1,c2); 4965c87c606SMark Murray r[5]=c3; 4975c87c606SMark Murray c3=0; 4985c87c606SMark Murray sqr_add_c(a,3,c1,c2,c3); 4995c87c606SMark Murray sqr_add_c2(a,4,2,c1,c2,c3); 5005c87c606SMark Murray sqr_add_c2(a,5,1,c1,c2,c3); 5015c87c606SMark Murray sqr_add_c2(a,6,0,c1,c2,c3); 5025c87c606SMark Murray r[6]=c1; 5035c87c606SMark Murray c1=0; 5045c87c606SMark Murray sqr_add_c2(a,7,0,c2,c3,c1); 5055c87c606SMark Murray sqr_add_c2(a,6,1,c2,c3,c1); 5065c87c606SMark Murray sqr_add_c2(a,5,2,c2,c3,c1); 5075c87c606SMark Murray sqr_add_c2(a,4,3,c2,c3,c1); 5085c87c606SMark Murray r[7]=c2; 5095c87c606SMark Murray c2=0; 5105c87c606SMark Murray sqr_add_c(a,4,c3,c1,c2); 5115c87c606SMark Murray sqr_add_c2(a,5,3,c3,c1,c2); 5125c87c606SMark Murray sqr_add_c2(a,6,2,c3,c1,c2); 5135c87c606SMark Murray sqr_add_c2(a,7,1,c3,c1,c2); 5145c87c606SMark Murray r[8]=c3; 5155c87c606SMark Murray c3=0; 5165c87c606SMark Murray sqr_add_c2(a,7,2,c1,c2,c3); 5175c87c606SMark Murray sqr_add_c2(a,6,3,c1,c2,c3); 5185c87c606SMark Murray sqr_add_c2(a,5,4,c1,c2,c3); 5195c87c606SMark Murray r[9]=c1; 5205c87c606SMark Murray c1=0; 5215c87c606SMark Murray sqr_add_c(a,5,c2,c3,c1); 5225c87c606SMark Murray sqr_add_c2(a,6,4,c2,c3,c1); 5235c87c606SMark Murray sqr_add_c2(a,7,3,c2,c3,c1); 5245c87c606SMark Murray r[10]=c2; 5255c87c606SMark Murray c2=0; 5265c87c606SMark Murray sqr_add_c2(a,7,4,c3,c1,c2); 5275c87c606SMark Murray sqr_add_c2(a,6,5,c3,c1,c2); 5285c87c606SMark Murray r[11]=c3; 5295c87c606SMark Murray c3=0; 5305c87c606SMark Murray sqr_add_c(a,6,c1,c2,c3); 5315c87c606SMark Murray sqr_add_c2(a,7,5,c1,c2,c3); 5325c87c606SMark Murray r[12]=c1; 5335c87c606SMark Murray c1=0; 5345c87c606SMark Murray sqr_add_c2(a,7,6,c2,c3,c1); 5355c87c606SMark Murray r[13]=c2; 5365c87c606SMark Murray c2=0; 5375c87c606SMark Murray sqr_add_c(a,7,c3,c1,c2); 5385c87c606SMark Murray r[14]=c3; 5395c87c606SMark Murray r[15]=c1; 5405c87c606SMark Murray } 5415c87c606SMark Murray 5425c87c606SMark Murray void bn_sqr_comba4(BN_ULONG *r, BN_ULONG *a) 5435c87c606SMark Murray { 5445c87c606SMark Murray BN_ULONG bl,bh; 5455c87c606SMark Murray BN_ULONG t1,t2; 5465c87c606SMark Murray BN_ULONG c1,c2,c3; 5475c87c606SMark Murray 5485c87c606SMark Murray c1=0; 5495c87c606SMark Murray c2=0; 5505c87c606SMark Murray c3=0; 5515c87c606SMark Murray sqr_add_c(a,0,c1,c2,c3); 5525c87c606SMark Murray r[0]=c1; 5535c87c606SMark Murray c1=0; 5545c87c606SMark Murray sqr_add_c2(a,1,0,c2,c3,c1); 5555c87c606SMark Murray r[1]=c2; 5565c87c606SMark Murray c2=0; 5575c87c606SMark Murray sqr_add_c(a,1,c3,c1,c2); 5585c87c606SMark Murray sqr_add_c2(a,2,0,c3,c1,c2); 5595c87c606SMark Murray r[2]=c3; 5605c87c606SMark Murray c3=0; 5615c87c606SMark Murray sqr_add_c2(a,3,0,c1,c2,c3); 5625c87c606SMark Murray sqr_add_c2(a,2,1,c1,c2,c3); 5635c87c606SMark Murray r[3]=c1; 5645c87c606SMark Murray c1=0; 5655c87c606SMark Murray sqr_add_c(a,2,c2,c3,c1); 5665c87c606SMark Murray sqr_add_c2(a,3,1,c2,c3,c1); 5675c87c606SMark Murray r[4]=c2; 5685c87c606SMark Murray c2=0; 5695c87c606SMark Murray sqr_add_c2(a,3,2,c3,c1,c2); 5705c87c606SMark Murray r[5]=c3; 5715c87c606SMark Murray c3=0; 5725c87c606SMark Murray sqr_add_c(a,3,c1,c2,c3); 5735c87c606SMark Murray r[6]=c1; 5745c87c606SMark Murray r[7]=c2; 5755c87c606SMark Murray } 576