1e71b7053SJung-uk Kim /* 2c9cf7b5cSJung-uk Kim * Copyright 2002-2018 The OpenSSL Project Authors. All Rights Reserved. 3e71b7053SJung-uk Kim * 4e71b7053SJung-uk Kim * Licensed under the OpenSSL license (the "License"). You may not use 5e71b7053SJung-uk Kim * this file except in compliance with the License. You can obtain a copy 6e71b7053SJung-uk Kim * in the file LICENSE in the source distribution or at 7e71b7053SJung-uk Kim * https://www.openssl.org/source/license.html 8e71b7053SJung-uk Kim */ 9e71b7053SJung-uk Kim 106a599222SSimon L. B. Nielsen #include "../bn_lcl.h" 111f13597dSJung-uk Kim #if !(defined(__GNUC__) && __GNUC__>=2) 12ed5d4f9aSSimon L. B. Nielsen # include "../bn_asm.c" /* kind of dirty hack for Sun Studio */ 13ed5d4f9aSSimon L. B. Nielsen #else 146f9291ceSJung-uk Kim /*- 155c87c606SMark Murray * x86_64 BIGNUM accelerator version 0.1, December 2002. 165c87c606SMark Murray * 17e71b7053SJung-uk Kim * Implemented by Andy Polyakov <appro@openssl.org> for the OpenSSL 185c87c606SMark Murray * project. 195c87c606SMark Murray * 205c87c606SMark Murray * Rights for redistribution and usage in source and binary forms are 215c87c606SMark Murray * granted according to the OpenSSL license. Warranty of any kind is 225c87c606SMark Murray * disclaimed. 235c87c606SMark Murray * 245c87c606SMark Murray * Q. Version 0.1? It doesn't sound like Andy, he used to assign real 255c87c606SMark Murray * versions, like 1.0... 265c87c606SMark Murray * A. Well, that's because this code is basically a quick-n-dirty 275c87c606SMark Murray * proof-of-concept hack. As you can see it's implemented with 285c87c606SMark Murray * inline assembler, which means that you're bound to GCC and that 293b4e3dcbSSimon L. B. Nielsen * there might be enough room for further improvement. 305c87c606SMark Murray * 315c87c606SMark Murray * Q. Why inline assembler? 323b4e3dcbSSimon L. B. Nielsen * A. x86_64 features own ABI which I'm not familiar with. This is 333b4e3dcbSSimon L. B. Nielsen * why I decided to let the compiler take care of subroutine 343b4e3dcbSSimon L. B. Nielsen * prologue/epilogue as well as register allocation. For reference. 353b4e3dcbSSimon L. B. Nielsen * Win64 implements different ABI for AMD64, different from Linux. 365c87c606SMark Murray * 375c87c606SMark Murray * Q. How much faster does it get? 383b4e3dcbSSimon L. B. Nielsen * A. 'apps/openssl speed rsa dsa' output with no-asm: 393b4e3dcbSSimon L. B. Nielsen * 403b4e3dcbSSimon L. B. Nielsen * sign verify sign/s verify/s 413b4e3dcbSSimon L. B. Nielsen * rsa 512 bits 0.0006s 0.0001s 1683.8 18456.2 423b4e3dcbSSimon L. B. Nielsen * rsa 1024 bits 0.0028s 0.0002s 356.0 6407.0 433b4e3dcbSSimon L. B. Nielsen * rsa 2048 bits 0.0172s 0.0005s 58.0 1957.8 443b4e3dcbSSimon L. B. Nielsen * rsa 4096 bits 0.1155s 0.0018s 8.7 555.6 453b4e3dcbSSimon L. B. Nielsen * sign verify sign/s verify/s 463b4e3dcbSSimon L. B. Nielsen * dsa 512 bits 0.0005s 0.0006s 2100.8 1768.3 473b4e3dcbSSimon L. B. Nielsen * dsa 1024 bits 0.0014s 0.0018s 692.3 559.2 483b4e3dcbSSimon L. B. Nielsen * dsa 2048 bits 0.0049s 0.0061s 204.7 165.0 493b4e3dcbSSimon L. B. Nielsen * 503b4e3dcbSSimon L. B. Nielsen * 'apps/openssl speed rsa dsa' output with this module: 513b4e3dcbSSimon L. B. Nielsen * 523b4e3dcbSSimon L. B. Nielsen * sign verify sign/s verify/s 533b4e3dcbSSimon L. B. Nielsen * rsa 512 bits 0.0004s 0.0000s 2767.1 33297.9 543b4e3dcbSSimon L. B. Nielsen * rsa 1024 bits 0.0012s 0.0001s 867.4 14674.7 553b4e3dcbSSimon L. B. Nielsen * rsa 2048 bits 0.0061s 0.0002s 164.0 5270.0 563b4e3dcbSSimon L. B. Nielsen * rsa 4096 bits 0.0384s 0.0006s 26.1 1650.8 573b4e3dcbSSimon L. B. Nielsen * sign verify sign/s verify/s 583b4e3dcbSSimon L. B. Nielsen * dsa 512 bits 0.0002s 0.0003s 4442.2 3786.3 593b4e3dcbSSimon L. B. Nielsen * dsa 1024 bits 0.0005s 0.0007s 1835.1 1497.4 603b4e3dcbSSimon L. B. Nielsen * dsa 2048 bits 0.0016s 0.0020s 620.4 504.6 613b4e3dcbSSimon L. B. Nielsen * 623b4e3dcbSSimon L. B. Nielsen * For the reference. IA-32 assembler implementation performs 633b4e3dcbSSimon L. B. Nielsen * very much like 64-bit code compiled with no-asm on the same 643b4e3dcbSSimon L. B. Nielsen * machine. 655c87c606SMark Murray */ 665c87c606SMark Murray 676a599222SSimon L. B. Nielsen # undef mul 686a599222SSimon L. B. Nielsen # undef mul_add 696a599222SSimon L. B. Nielsen 706f9291ceSJung-uk Kim /*- 7180815a77SJung-uk Kim * "m"(a), "+m"(r) is the way to favor DirectPath µ-code; 725c87c606SMark Murray * "g"(0) let the compiler to decide where does it 735c87c606SMark Murray * want to keep the value of zero; 745c87c606SMark Murray */ 755c87c606SMark Murray # define mul_add(r,a,word,carry) do { \ 765c87c606SMark Murray register BN_ULONG high,low; \ 775c87c606SMark Murray asm ("mulq %3" \ 785c87c606SMark Murray : "=a"(low),"=d"(high) \ 795c87c606SMark Murray : "a"(word),"m"(a) \ 805c87c606SMark Murray : "cc"); \ 815c87c606SMark Murray asm ("addq %2,%0; adcq %3,%1" \ 825c87c606SMark Murray : "+r"(carry),"+d"(high)\ 835c87c606SMark Murray : "a"(low),"g"(0) \ 845c87c606SMark Murray : "cc"); \ 855c87c606SMark Murray asm ("addq %2,%0; adcq %3,%1" \ 865c87c606SMark Murray : "+m"(r),"+d"(high) \ 875c87c606SMark Murray : "r"(carry),"g"(0) \ 885c87c606SMark Murray : "cc"); \ 895c87c606SMark Murray carry=high; \ 905c87c606SMark Murray } while (0) 915c87c606SMark Murray 925c87c606SMark Murray # define mul(r,a,word,carry) do { \ 935c87c606SMark Murray register BN_ULONG high,low; \ 945c87c606SMark Murray asm ("mulq %3" \ 955c87c606SMark Murray : "=a"(low),"=d"(high) \ 965c87c606SMark Murray : "a"(word),"g"(a) \ 975c87c606SMark Murray : "cc"); \ 985c87c606SMark Murray asm ("addq %2,%0; adcq %3,%1" \ 995c87c606SMark Murray : "+r"(carry),"+d"(high)\ 1005c87c606SMark Murray : "a"(low),"g"(0) \ 1015c87c606SMark Murray : "cc"); \ 1025c87c606SMark Murray (r)=carry, carry=high; \ 1035c87c606SMark Murray } while (0) 1047bded2dbSJung-uk Kim # undef sqr 1055c87c606SMark Murray # define sqr(r0,r1,a) \ 1065c87c606SMark Murray asm ("mulq %2" \ 1075c87c606SMark Murray : "=a"(r0),"=d"(r1) \ 1085c87c606SMark Murray : "a"(a) \ 1095c87c606SMark Murray : "cc"); 1105c87c606SMark Murray 1116f9291ceSJung-uk Kim BN_ULONG bn_mul_add_words(BN_ULONG *rp, const BN_ULONG *ap, int num, 1126f9291ceSJung-uk Kim BN_ULONG w) 1135c87c606SMark Murray { 1145c87c606SMark Murray BN_ULONG c1 = 0; 1155c87c606SMark Murray 1166f9291ceSJung-uk Kim if (num <= 0) 117e71b7053SJung-uk Kim return c1; 1185c87c606SMark Murray 1196f9291ceSJung-uk Kim while (num & ~3) { 1205c87c606SMark Murray mul_add(rp[0], ap[0], w, c1); 1215c87c606SMark Murray mul_add(rp[1], ap[1], w, c1); 1225c87c606SMark Murray mul_add(rp[2], ap[2], w, c1); 1235c87c606SMark Murray mul_add(rp[3], ap[3], w, c1); 1246f9291ceSJung-uk Kim ap += 4; 1256f9291ceSJung-uk Kim rp += 4; 1266f9291ceSJung-uk Kim num -= 4; 1275c87c606SMark Murray } 1286f9291ceSJung-uk Kim if (num) { 1296f9291ceSJung-uk Kim mul_add(rp[0], ap[0], w, c1); 1306f9291ceSJung-uk Kim if (--num == 0) 1316f9291ceSJung-uk Kim return c1; 1326f9291ceSJung-uk Kim mul_add(rp[1], ap[1], w, c1); 1336f9291ceSJung-uk Kim if (--num == 0) 1346f9291ceSJung-uk Kim return c1; 1356f9291ceSJung-uk Kim mul_add(rp[2], ap[2], w, c1); 1366f9291ceSJung-uk Kim return c1; 1375c87c606SMark Murray } 1385c87c606SMark Murray 139e71b7053SJung-uk Kim return c1; 1405c87c606SMark Murray } 1415c87c606SMark Murray 1426a599222SSimon L. B. Nielsen BN_ULONG bn_mul_words(BN_ULONG *rp, const BN_ULONG *ap, int num, BN_ULONG w) 1435c87c606SMark Murray { 1445c87c606SMark Murray BN_ULONG c1 = 0; 1455c87c606SMark Murray 1466f9291ceSJung-uk Kim if (num <= 0) 147e71b7053SJung-uk Kim return c1; 1485c87c606SMark Murray 1496f9291ceSJung-uk Kim while (num & ~3) { 1505c87c606SMark Murray mul(rp[0], ap[0], w, c1); 1515c87c606SMark Murray mul(rp[1], ap[1], w, c1); 1525c87c606SMark Murray mul(rp[2], ap[2], w, c1); 1535c87c606SMark Murray mul(rp[3], ap[3], w, c1); 1546f9291ceSJung-uk Kim ap += 4; 1556f9291ceSJung-uk Kim rp += 4; 1566f9291ceSJung-uk Kim num -= 4; 1575c87c606SMark Murray } 1586f9291ceSJung-uk Kim if (num) { 1596f9291ceSJung-uk Kim mul(rp[0], ap[0], w, c1); 1606f9291ceSJung-uk Kim if (--num == 0) 1616f9291ceSJung-uk Kim return c1; 1626f9291ceSJung-uk Kim mul(rp[1], ap[1], w, c1); 1636f9291ceSJung-uk Kim if (--num == 0) 1646f9291ceSJung-uk Kim return c1; 1655c87c606SMark Murray mul(rp[2], ap[2], w, c1); 1665c87c606SMark Murray } 167e71b7053SJung-uk Kim return c1; 1685c87c606SMark Murray } 1695c87c606SMark Murray 1706a599222SSimon L. B. Nielsen void bn_sqr_words(BN_ULONG *r, const BN_ULONG *a, int n) 1715c87c606SMark Murray { 1726f9291ceSJung-uk Kim if (n <= 0) 1736f9291ceSJung-uk Kim return; 1745c87c606SMark Murray 1756f9291ceSJung-uk Kim while (n & ~3) { 1765c87c606SMark Murray sqr(r[0], r[1], a[0]); 1775c87c606SMark Murray sqr(r[2], r[3], a[1]); 1785c87c606SMark Murray sqr(r[4], r[5], a[2]); 1795c87c606SMark Murray sqr(r[6], r[7], a[3]); 1806f9291ceSJung-uk Kim a += 4; 1816f9291ceSJung-uk Kim r += 8; 1826f9291ceSJung-uk Kim n -= 4; 1835c87c606SMark Murray } 1846f9291ceSJung-uk Kim if (n) { 1856f9291ceSJung-uk Kim sqr(r[0], r[1], a[0]); 1866f9291ceSJung-uk Kim if (--n == 0) 1876f9291ceSJung-uk Kim return; 1886f9291ceSJung-uk Kim sqr(r[2], r[3], a[1]); 1896f9291ceSJung-uk Kim if (--n == 0) 1906f9291ceSJung-uk Kim return; 1915c87c606SMark Murray sqr(r[4], r[5], a[2]); 1925c87c606SMark Murray } 1935c87c606SMark Murray } 1945c87c606SMark Murray 1955c87c606SMark Murray BN_ULONG bn_div_words(BN_ULONG h, BN_ULONG l, BN_ULONG d) 1966f9291ceSJung-uk Kim { 1976f9291ceSJung-uk Kim BN_ULONG ret, waste; 1985c87c606SMark Murray 1996f9291ceSJung-uk Kim asm("divq %4":"=a"(ret), "=d"(waste) 200aeb5019cSJung-uk Kim : "a"(l), "d"(h), "r"(d) 2015c87c606SMark Murray : "cc"); 2025c87c606SMark Murray 2035c87c606SMark Murray return ret; 2045c87c606SMark Murray } 2055c87c606SMark Murray 2066f9291ceSJung-uk Kim BN_ULONG bn_add_words(BN_ULONG *rp, const BN_ULONG *ap, const BN_ULONG *bp, 2076f9291ceSJung-uk Kim int n) 2086f9291ceSJung-uk Kim { 2097bded2dbSJung-uk Kim BN_ULONG ret; 2107bded2dbSJung-uk Kim size_t i = 0; 2115c87c606SMark Murray 2126f9291ceSJung-uk Kim if (n <= 0) 2136f9291ceSJung-uk Kim return 0; 2145c87c606SMark Murray 2157bded2dbSJung-uk Kim asm volatile (" subq %0,%0 \n" /* clear carry */ 2167bded2dbSJung-uk Kim " jmp 1f \n" 2171f13597dSJung-uk Kim ".p2align 4 \n" 2185c87c606SMark Murray "1: movq (%4,%2,8),%0 \n" 2195c87c606SMark Murray " adcq (%5,%2,8),%0 \n" 2205c87c606SMark Murray " movq %0,(%3,%2,8) \n" 2217bded2dbSJung-uk Kim " lea 1(%2),%2 \n" 222e71b7053SJung-uk Kim " dec %1 \n" 223e71b7053SJung-uk Kim " jnz 1b \n" 224e71b7053SJung-uk Kim " sbbq %0,%0 \n" 225e71b7053SJung-uk Kim :"=&r" (ret), "+c"(n), "+r"(i) 2265c87c606SMark Murray :"r"(rp), "r"(ap), "r"(bp) 2276f9291ceSJung-uk Kim :"cc", "memory"); 2285c87c606SMark Murray 2295c87c606SMark Murray return ret & 1; 2305c87c606SMark Murray } 2315c87c606SMark Murray 2325c87c606SMark Murray # ifndef SIMICS 2336f9291ceSJung-uk Kim BN_ULONG bn_sub_words(BN_ULONG *rp, const BN_ULONG *ap, const BN_ULONG *bp, 2346f9291ceSJung-uk Kim int n) 2356f9291ceSJung-uk Kim { 2367bded2dbSJung-uk Kim BN_ULONG ret; 2377bded2dbSJung-uk Kim size_t i = 0; 2385c87c606SMark Murray 2396f9291ceSJung-uk Kim if (n <= 0) 2406f9291ceSJung-uk Kim return 0; 2415c87c606SMark Murray 2427bded2dbSJung-uk Kim asm volatile (" subq %0,%0 \n" /* clear borrow */ 2437bded2dbSJung-uk Kim " jmp 1f \n" 2441f13597dSJung-uk Kim ".p2align 4 \n" 2455c87c606SMark Murray "1: movq (%4,%2,8),%0 \n" 2465c87c606SMark Murray " sbbq (%5,%2,8),%0 \n" 2475c87c606SMark Murray " movq %0,(%3,%2,8) \n" 2487bded2dbSJung-uk Kim " lea 1(%2),%2 \n" 249e71b7053SJung-uk Kim " dec %1 \n" 250e71b7053SJung-uk Kim " jnz 1b \n" 251e71b7053SJung-uk Kim " sbbq %0,%0 \n" 252e71b7053SJung-uk Kim :"=&r" (ret), "+c"(n), "+r"(i) 2535c87c606SMark Murray :"r"(rp), "r"(ap), "r"(bp) 2546f9291ceSJung-uk Kim :"cc", "memory"); 2555c87c606SMark Murray 2565c87c606SMark Murray return ret & 1; 2575c87c606SMark Murray } 2585c87c606SMark Murray # else 2595c87c606SMark Murray /* Simics 1.4<7 has buggy sbbq:-( */ 2605c87c606SMark Murray # define BN_MASK2 0xffffffffffffffffL 2615c87c606SMark Murray BN_ULONG bn_sub_words(BN_ULONG *r, BN_ULONG *a, BN_ULONG *b, int n) 2625c87c606SMark Murray { 2635c87c606SMark Murray BN_ULONG t1, t2; 2645c87c606SMark Murray int c = 0; 2655c87c606SMark Murray 2666f9291ceSJung-uk Kim if (n <= 0) 267e71b7053SJung-uk Kim return (BN_ULONG)0; 2685c87c606SMark Murray 2696f9291ceSJung-uk Kim for (;;) { 2706f9291ceSJung-uk Kim t1 = a[0]; 2716f9291ceSJung-uk Kim t2 = b[0]; 2725c87c606SMark Murray r[0] = (t1 - t2 - c) & BN_MASK2; 2736f9291ceSJung-uk Kim if (t1 != t2) 2746f9291ceSJung-uk Kim c = (t1 < t2); 2756f9291ceSJung-uk Kim if (--n <= 0) 2766f9291ceSJung-uk Kim break; 2775c87c606SMark Murray 2786f9291ceSJung-uk Kim t1 = a[1]; 2796f9291ceSJung-uk Kim t2 = b[1]; 2805c87c606SMark Murray r[1] = (t1 - t2 - c) & BN_MASK2; 2816f9291ceSJung-uk Kim if (t1 != t2) 2826f9291ceSJung-uk Kim c = (t1 < t2); 2836f9291ceSJung-uk Kim if (--n <= 0) 2846f9291ceSJung-uk Kim break; 2855c87c606SMark Murray 2866f9291ceSJung-uk Kim t1 = a[2]; 2876f9291ceSJung-uk Kim t2 = b[2]; 2885c87c606SMark Murray r[2] = (t1 - t2 - c) & BN_MASK2; 2896f9291ceSJung-uk Kim if (t1 != t2) 2906f9291ceSJung-uk Kim c = (t1 < t2); 2916f9291ceSJung-uk Kim if (--n <= 0) 2926f9291ceSJung-uk Kim break; 2935c87c606SMark Murray 2946f9291ceSJung-uk Kim t1 = a[3]; 2956f9291ceSJung-uk Kim t2 = b[3]; 2965c87c606SMark Murray r[3] = (t1 - t2 - c) & BN_MASK2; 2976f9291ceSJung-uk Kim if (t1 != t2) 2986f9291ceSJung-uk Kim c = (t1 < t2); 2996f9291ceSJung-uk Kim if (--n <= 0) 3006f9291ceSJung-uk Kim break; 3015c87c606SMark Murray 3025c87c606SMark Murray a += 4; 3035c87c606SMark Murray b += 4; 3045c87c606SMark Murray r += 4; 3055c87c606SMark Murray } 306e71b7053SJung-uk Kim return c; 3075c87c606SMark Murray } 3085c87c606SMark Murray # endif 3095c87c606SMark Murray 3105c87c606SMark Murray /* mul_add_c(a,b,c0,c1,c2) -- c+=a*b for three word number c=(c2,c1,c0) */ 3115c87c606SMark Murray /* mul_add_c2(a,b,c0,c1,c2) -- c+=2*a*b for three word number c=(c2,c1,c0) */ 3125c87c606SMark Murray /* sqr_add_c(a,i,c0,c1,c2) -- c+=a[i]^2 for three word number c=(c2,c1,c0) */ 3136f9291ceSJung-uk Kim /* 3146f9291ceSJung-uk Kim * sqr_add_c2(a,i,c0,c1,c2) -- c+=2*a[i]*a[j] for three word number 3156f9291ceSJung-uk Kim * c=(c2,c1,c0) 3166f9291ceSJung-uk Kim */ 3175c87c606SMark Murray 318751d2991SJung-uk Kim /* 319751d2991SJung-uk Kim * Keep in mind that carrying into high part of multiplication result 320751d2991SJung-uk Kim * can not overflow, because it cannot be all-ones. 321751d2991SJung-uk Kim */ 3225c87c606SMark Murray # if 0 3235c87c606SMark Murray /* original macros are kept for reference purposes */ 3247bded2dbSJung-uk Kim # define mul_add_c(a,b,c0,c1,c2) do { \ 3255c87c606SMark Murray BN_ULONG ta = (a), tb = (b); \ 3267bded2dbSJung-uk Kim BN_ULONG lo, hi; \ 3277bded2dbSJung-uk Kim BN_UMULT_LOHI(lo,hi,ta,tb); \ 3287bded2dbSJung-uk Kim c0 += lo; hi += (c0<lo)?1:0; \ 3297bded2dbSJung-uk Kim c1 += hi; c2 += (c1<hi)?1:0; \ 3307bded2dbSJung-uk Kim } while(0) 3315c87c606SMark Murray 3327bded2dbSJung-uk Kim # define mul_add_c2(a,b,c0,c1,c2) do { \ 3337bded2dbSJung-uk Kim BN_ULONG ta = (a), tb = (b); \ 3347bded2dbSJung-uk Kim BN_ULONG lo, hi, tt; \ 3357bded2dbSJung-uk Kim BN_UMULT_LOHI(lo,hi,ta,tb); \ 3367bded2dbSJung-uk Kim c0 += lo; tt = hi+((c0<lo)?1:0); \ 3377bded2dbSJung-uk Kim c1 += tt; c2 += (c1<tt)?1:0; \ 3387bded2dbSJung-uk Kim c0 += lo; hi += (c0<lo)?1:0; \ 3397bded2dbSJung-uk Kim c1 += hi; c2 += (c1<hi)?1:0; \ 3407bded2dbSJung-uk Kim } while(0) 3417bded2dbSJung-uk Kim 3427bded2dbSJung-uk Kim # define sqr_add_c(a,i,c0,c1,c2) do { \ 3437bded2dbSJung-uk Kim BN_ULONG ta = (a)[i]; \ 3447bded2dbSJung-uk Kim BN_ULONG lo, hi; \ 3457bded2dbSJung-uk Kim BN_UMULT_LOHI(lo,hi,ta,ta); \ 3467bded2dbSJung-uk Kim c0 += lo; hi += (c0<lo)?1:0; \ 3477bded2dbSJung-uk Kim c1 += hi; c2 += (c1<hi)?1:0; \ 3487bded2dbSJung-uk Kim } while(0) 3495c87c606SMark Murray # else 3505c87c606SMark Murray # define mul_add_c(a,b,c0,c1,c2) do { \ 3517bded2dbSJung-uk Kim BN_ULONG t1,t2; \ 3525c87c606SMark Murray asm ("mulq %3" \ 3535c87c606SMark Murray : "=a"(t1),"=d"(t2) \ 3545c87c606SMark Murray : "a"(a),"m"(b) \ 3555c87c606SMark Murray : "cc"); \ 3567bded2dbSJung-uk Kim asm ("addq %3,%0; adcq %4,%1; adcq %5,%2" \ 3577bded2dbSJung-uk Kim : "+r"(c0),"+r"(c1),"+r"(c2) \ 3587bded2dbSJung-uk Kim : "r"(t1),"r"(t2),"g"(0) \ 3595c87c606SMark Murray : "cc"); \ 3605c87c606SMark Murray } while (0) 3615c87c606SMark Murray 3625c87c606SMark Murray # define sqr_add_c(a,i,c0,c1,c2) do { \ 3637bded2dbSJung-uk Kim BN_ULONG t1,t2; \ 3645c87c606SMark Murray asm ("mulq %2" \ 3655c87c606SMark Murray : "=a"(t1),"=d"(t2) \ 3665c87c606SMark Murray : "a"(a[i]) \ 3675c87c606SMark Murray : "cc"); \ 3687bded2dbSJung-uk Kim asm ("addq %3,%0; adcq %4,%1; adcq %5,%2" \ 3697bded2dbSJung-uk Kim : "+r"(c0),"+r"(c1),"+r"(c2) \ 3707bded2dbSJung-uk Kim : "r"(t1),"r"(t2),"g"(0) \ 3715c87c606SMark Murray : "cc"); \ 3725c87c606SMark Murray } while (0) 3735c87c606SMark Murray 3745c87c606SMark Murray # define mul_add_c2(a,b,c0,c1,c2) do { \ 3757bded2dbSJung-uk Kim BN_ULONG t1,t2; \ 3765c87c606SMark Murray asm ("mulq %3" \ 3775c87c606SMark Murray : "=a"(t1),"=d"(t2) \ 3785c87c606SMark Murray : "a"(a),"m"(b) \ 3795c87c606SMark Murray : "cc"); \ 380751d2991SJung-uk Kim asm ("addq %3,%0; adcq %4,%1; adcq %5,%2" \ 381751d2991SJung-uk Kim : "+r"(c0),"+r"(c1),"+r"(c2) \ 382751d2991SJung-uk Kim : "r"(t1),"r"(t2),"g"(0) \ 3835c87c606SMark Murray : "cc"); \ 384751d2991SJung-uk Kim asm ("addq %3,%0; adcq %4,%1; adcq %5,%2" \ 385751d2991SJung-uk Kim : "+r"(c0),"+r"(c1),"+r"(c2) \ 386751d2991SJung-uk Kim : "r"(t1),"r"(t2),"g"(0) \ 3875c87c606SMark Murray : "cc"); \ 3885c87c606SMark Murray } while (0) 3895c87c606SMark Murray # endif 3905c87c606SMark Murray 3915c87c606SMark Murray # define sqr_add_c2(a,i,j,c0,c1,c2) \ 3925c87c606SMark Murray mul_add_c2((a)[i],(a)[j],c0,c1,c2) 3935c87c606SMark Murray 3945c87c606SMark Murray void bn_mul_comba8(BN_ULONG *r, BN_ULONG *a, BN_ULONG *b) 3955c87c606SMark Murray { 3965c87c606SMark Murray BN_ULONG c1, c2, c3; 3975c87c606SMark Murray 3985c87c606SMark Murray c1 = 0; 3995c87c606SMark Murray c2 = 0; 4005c87c606SMark Murray c3 = 0; 4015c87c606SMark Murray mul_add_c(a[0], b[0], c1, c2, c3); 4025c87c606SMark Murray r[0] = c1; 4035c87c606SMark Murray c1 = 0; 4045c87c606SMark Murray mul_add_c(a[0], b[1], c2, c3, c1); 4055c87c606SMark Murray mul_add_c(a[1], b[0], c2, c3, c1); 4065c87c606SMark Murray r[1] = c2; 4075c87c606SMark Murray c2 = 0; 4085c87c606SMark Murray mul_add_c(a[2], b[0], c3, c1, c2); 4095c87c606SMark Murray mul_add_c(a[1], b[1], c3, c1, c2); 4105c87c606SMark Murray mul_add_c(a[0], b[2], c3, c1, c2); 4115c87c606SMark Murray r[2] = c3; 4125c87c606SMark Murray c3 = 0; 4135c87c606SMark Murray mul_add_c(a[0], b[3], c1, c2, c3); 4145c87c606SMark Murray mul_add_c(a[1], b[2], c1, c2, c3); 4155c87c606SMark Murray mul_add_c(a[2], b[1], c1, c2, c3); 4165c87c606SMark Murray mul_add_c(a[3], b[0], c1, c2, c3); 4175c87c606SMark Murray r[3] = c1; 4185c87c606SMark Murray c1 = 0; 4195c87c606SMark Murray mul_add_c(a[4], b[0], c2, c3, c1); 4205c87c606SMark Murray mul_add_c(a[3], b[1], c2, c3, c1); 4215c87c606SMark Murray mul_add_c(a[2], b[2], c2, c3, c1); 4225c87c606SMark Murray mul_add_c(a[1], b[3], c2, c3, c1); 4235c87c606SMark Murray mul_add_c(a[0], b[4], c2, c3, c1); 4245c87c606SMark Murray r[4] = c2; 4255c87c606SMark Murray c2 = 0; 4265c87c606SMark Murray mul_add_c(a[0], b[5], c3, c1, c2); 4275c87c606SMark Murray mul_add_c(a[1], b[4], c3, c1, c2); 4285c87c606SMark Murray mul_add_c(a[2], b[3], c3, c1, c2); 4295c87c606SMark Murray mul_add_c(a[3], b[2], c3, c1, c2); 4305c87c606SMark Murray mul_add_c(a[4], b[1], c3, c1, c2); 4315c87c606SMark Murray mul_add_c(a[5], b[0], c3, c1, c2); 4325c87c606SMark Murray r[5] = c3; 4335c87c606SMark Murray c3 = 0; 4345c87c606SMark Murray mul_add_c(a[6], b[0], c1, c2, c3); 4355c87c606SMark Murray mul_add_c(a[5], b[1], c1, c2, c3); 4365c87c606SMark Murray mul_add_c(a[4], b[2], c1, c2, c3); 4375c87c606SMark Murray mul_add_c(a[3], b[3], c1, c2, c3); 4385c87c606SMark Murray mul_add_c(a[2], b[4], c1, c2, c3); 4395c87c606SMark Murray mul_add_c(a[1], b[5], c1, c2, c3); 4405c87c606SMark Murray mul_add_c(a[0], b[6], c1, c2, c3); 4415c87c606SMark Murray r[6] = c1; 4425c87c606SMark Murray c1 = 0; 4435c87c606SMark Murray mul_add_c(a[0], b[7], c2, c3, c1); 4445c87c606SMark Murray mul_add_c(a[1], b[6], c2, c3, c1); 4455c87c606SMark Murray mul_add_c(a[2], b[5], c2, c3, c1); 4465c87c606SMark Murray mul_add_c(a[3], b[4], c2, c3, c1); 4475c87c606SMark Murray mul_add_c(a[4], b[3], c2, c3, c1); 4485c87c606SMark Murray mul_add_c(a[5], b[2], c2, c3, c1); 4495c87c606SMark Murray mul_add_c(a[6], b[1], c2, c3, c1); 4505c87c606SMark Murray mul_add_c(a[7], b[0], c2, c3, c1); 4515c87c606SMark Murray r[7] = c2; 4525c87c606SMark Murray c2 = 0; 4535c87c606SMark Murray mul_add_c(a[7], b[1], c3, c1, c2); 4545c87c606SMark Murray mul_add_c(a[6], b[2], c3, c1, c2); 4555c87c606SMark Murray mul_add_c(a[5], b[3], c3, c1, c2); 4565c87c606SMark Murray mul_add_c(a[4], b[4], c3, c1, c2); 4575c87c606SMark Murray mul_add_c(a[3], b[5], c3, c1, c2); 4585c87c606SMark Murray mul_add_c(a[2], b[6], c3, c1, c2); 4595c87c606SMark Murray mul_add_c(a[1], b[7], c3, c1, c2); 4605c87c606SMark Murray r[8] = c3; 4615c87c606SMark Murray c3 = 0; 4625c87c606SMark Murray mul_add_c(a[2], b[7], c1, c2, c3); 4635c87c606SMark Murray mul_add_c(a[3], b[6], c1, c2, c3); 4645c87c606SMark Murray mul_add_c(a[4], b[5], c1, c2, c3); 4655c87c606SMark Murray mul_add_c(a[5], b[4], c1, c2, c3); 4665c87c606SMark Murray mul_add_c(a[6], b[3], c1, c2, c3); 4675c87c606SMark Murray mul_add_c(a[7], b[2], c1, c2, c3); 4685c87c606SMark Murray r[9] = c1; 4695c87c606SMark Murray c1 = 0; 4705c87c606SMark Murray mul_add_c(a[7], b[3], c2, c3, c1); 4715c87c606SMark Murray mul_add_c(a[6], b[4], c2, c3, c1); 4725c87c606SMark Murray mul_add_c(a[5], b[5], c2, c3, c1); 4735c87c606SMark Murray mul_add_c(a[4], b[6], c2, c3, c1); 4745c87c606SMark Murray mul_add_c(a[3], b[7], c2, c3, c1); 4755c87c606SMark Murray r[10] = c2; 4765c87c606SMark Murray c2 = 0; 4775c87c606SMark Murray mul_add_c(a[4], b[7], c3, c1, c2); 4785c87c606SMark Murray mul_add_c(a[5], b[6], c3, c1, c2); 4795c87c606SMark Murray mul_add_c(a[6], b[5], c3, c1, c2); 4805c87c606SMark Murray mul_add_c(a[7], b[4], c3, c1, c2); 4815c87c606SMark Murray r[11] = c3; 4825c87c606SMark Murray c3 = 0; 4835c87c606SMark Murray mul_add_c(a[7], b[5], c1, c2, c3); 4845c87c606SMark Murray mul_add_c(a[6], b[6], c1, c2, c3); 4855c87c606SMark Murray mul_add_c(a[5], b[7], c1, c2, c3); 4865c87c606SMark Murray r[12] = c1; 4875c87c606SMark Murray c1 = 0; 4885c87c606SMark Murray mul_add_c(a[6], b[7], c2, c3, c1); 4895c87c606SMark Murray mul_add_c(a[7], b[6], c2, c3, c1); 4905c87c606SMark Murray r[13] = c2; 4915c87c606SMark Murray c2 = 0; 4925c87c606SMark Murray mul_add_c(a[7], b[7], c3, c1, c2); 4935c87c606SMark Murray r[14] = c3; 4945c87c606SMark Murray r[15] = c1; 4955c87c606SMark Murray } 4965c87c606SMark Murray 4975c87c606SMark Murray void bn_mul_comba4(BN_ULONG *r, BN_ULONG *a, BN_ULONG *b) 4985c87c606SMark Murray { 4995c87c606SMark Murray BN_ULONG c1, c2, c3; 5005c87c606SMark Murray 5015c87c606SMark Murray c1 = 0; 5025c87c606SMark Murray c2 = 0; 5035c87c606SMark Murray c3 = 0; 5045c87c606SMark Murray mul_add_c(a[0], b[0], c1, c2, c3); 5055c87c606SMark Murray r[0] = c1; 5065c87c606SMark Murray c1 = 0; 5075c87c606SMark Murray mul_add_c(a[0], b[1], c2, c3, c1); 5085c87c606SMark Murray mul_add_c(a[1], b[0], c2, c3, c1); 5095c87c606SMark Murray r[1] = c2; 5105c87c606SMark Murray c2 = 0; 5115c87c606SMark Murray mul_add_c(a[2], b[0], c3, c1, c2); 5125c87c606SMark Murray mul_add_c(a[1], b[1], c3, c1, c2); 5135c87c606SMark Murray mul_add_c(a[0], b[2], c3, c1, c2); 5145c87c606SMark Murray r[2] = c3; 5155c87c606SMark Murray c3 = 0; 5165c87c606SMark Murray mul_add_c(a[0], b[3], c1, c2, c3); 5175c87c606SMark Murray mul_add_c(a[1], b[2], c1, c2, c3); 5185c87c606SMark Murray mul_add_c(a[2], b[1], c1, c2, c3); 5195c87c606SMark Murray mul_add_c(a[3], b[0], c1, c2, c3); 5205c87c606SMark Murray r[3] = c1; 5215c87c606SMark Murray c1 = 0; 5225c87c606SMark Murray mul_add_c(a[3], b[1], c2, c3, c1); 5235c87c606SMark Murray mul_add_c(a[2], b[2], c2, c3, c1); 5245c87c606SMark Murray mul_add_c(a[1], b[3], c2, c3, c1); 5255c87c606SMark Murray r[4] = c2; 5265c87c606SMark Murray c2 = 0; 5275c87c606SMark Murray mul_add_c(a[2], b[3], c3, c1, c2); 5285c87c606SMark Murray mul_add_c(a[3], b[2], c3, c1, c2); 5295c87c606SMark Murray r[5] = c3; 5305c87c606SMark Murray c3 = 0; 5315c87c606SMark Murray mul_add_c(a[3], b[3], c1, c2, c3); 5325c87c606SMark Murray r[6] = c1; 5335c87c606SMark Murray r[7] = c2; 5345c87c606SMark Murray } 5355c87c606SMark Murray 5366a599222SSimon L. B. Nielsen void bn_sqr_comba8(BN_ULONG *r, const BN_ULONG *a) 5375c87c606SMark Murray { 5385c87c606SMark Murray BN_ULONG c1, c2, c3; 5395c87c606SMark Murray 5405c87c606SMark Murray c1 = 0; 5415c87c606SMark Murray c2 = 0; 5425c87c606SMark Murray c3 = 0; 5435c87c606SMark Murray sqr_add_c(a, 0, c1, c2, c3); 5445c87c606SMark Murray r[0] = c1; 5455c87c606SMark Murray c1 = 0; 5465c87c606SMark Murray sqr_add_c2(a, 1, 0, c2, c3, c1); 5475c87c606SMark Murray r[1] = c2; 5485c87c606SMark Murray c2 = 0; 5495c87c606SMark Murray sqr_add_c(a, 1, c3, c1, c2); 5505c87c606SMark Murray sqr_add_c2(a, 2, 0, c3, c1, c2); 5515c87c606SMark Murray r[2] = c3; 5525c87c606SMark Murray c3 = 0; 5535c87c606SMark Murray sqr_add_c2(a, 3, 0, c1, c2, c3); 5545c87c606SMark Murray sqr_add_c2(a, 2, 1, c1, c2, c3); 5555c87c606SMark Murray r[3] = c1; 5565c87c606SMark Murray c1 = 0; 5575c87c606SMark Murray sqr_add_c(a, 2, c2, c3, c1); 5585c87c606SMark Murray sqr_add_c2(a, 3, 1, c2, c3, c1); 5595c87c606SMark Murray sqr_add_c2(a, 4, 0, c2, c3, c1); 5605c87c606SMark Murray r[4] = c2; 5615c87c606SMark Murray c2 = 0; 5625c87c606SMark Murray sqr_add_c2(a, 5, 0, c3, c1, c2); 5635c87c606SMark Murray sqr_add_c2(a, 4, 1, c3, c1, c2); 5645c87c606SMark Murray sqr_add_c2(a, 3, 2, c3, c1, c2); 5655c87c606SMark Murray r[5] = c3; 5665c87c606SMark Murray c3 = 0; 5675c87c606SMark Murray sqr_add_c(a, 3, c1, c2, c3); 5685c87c606SMark Murray sqr_add_c2(a, 4, 2, c1, c2, c3); 5695c87c606SMark Murray sqr_add_c2(a, 5, 1, c1, c2, c3); 5705c87c606SMark Murray sqr_add_c2(a, 6, 0, c1, c2, c3); 5715c87c606SMark Murray r[6] = c1; 5725c87c606SMark Murray c1 = 0; 5735c87c606SMark Murray sqr_add_c2(a, 7, 0, c2, c3, c1); 5745c87c606SMark Murray sqr_add_c2(a, 6, 1, c2, c3, c1); 5755c87c606SMark Murray sqr_add_c2(a, 5, 2, c2, c3, c1); 5765c87c606SMark Murray sqr_add_c2(a, 4, 3, c2, c3, c1); 5775c87c606SMark Murray r[7] = c2; 5785c87c606SMark Murray c2 = 0; 5795c87c606SMark Murray sqr_add_c(a, 4, c3, c1, c2); 5805c87c606SMark Murray sqr_add_c2(a, 5, 3, c3, c1, c2); 5815c87c606SMark Murray sqr_add_c2(a, 6, 2, c3, c1, c2); 5825c87c606SMark Murray sqr_add_c2(a, 7, 1, c3, c1, c2); 5835c87c606SMark Murray r[8] = c3; 5845c87c606SMark Murray c3 = 0; 5855c87c606SMark Murray sqr_add_c2(a, 7, 2, c1, c2, c3); 5865c87c606SMark Murray sqr_add_c2(a, 6, 3, c1, c2, c3); 5875c87c606SMark Murray sqr_add_c2(a, 5, 4, c1, c2, c3); 5885c87c606SMark Murray r[9] = c1; 5895c87c606SMark Murray c1 = 0; 5905c87c606SMark Murray sqr_add_c(a, 5, c2, c3, c1); 5915c87c606SMark Murray sqr_add_c2(a, 6, 4, c2, c3, c1); 5925c87c606SMark Murray sqr_add_c2(a, 7, 3, c2, c3, c1); 5935c87c606SMark Murray r[10] = c2; 5945c87c606SMark Murray c2 = 0; 5955c87c606SMark Murray sqr_add_c2(a, 7, 4, c3, c1, c2); 5965c87c606SMark Murray sqr_add_c2(a, 6, 5, c3, c1, c2); 5975c87c606SMark Murray r[11] = c3; 5985c87c606SMark Murray c3 = 0; 5995c87c606SMark Murray sqr_add_c(a, 6, c1, c2, c3); 6005c87c606SMark Murray sqr_add_c2(a, 7, 5, c1, c2, c3); 6015c87c606SMark Murray r[12] = c1; 6025c87c606SMark Murray c1 = 0; 6035c87c606SMark Murray sqr_add_c2(a, 7, 6, c2, c3, c1); 6045c87c606SMark Murray r[13] = c2; 6055c87c606SMark Murray c2 = 0; 6065c87c606SMark Murray sqr_add_c(a, 7, c3, c1, c2); 6075c87c606SMark Murray r[14] = c3; 6085c87c606SMark Murray r[15] = c1; 6095c87c606SMark Murray } 6105c87c606SMark Murray 6116a599222SSimon L. B. Nielsen void bn_sqr_comba4(BN_ULONG *r, const BN_ULONG *a) 6125c87c606SMark Murray { 6135c87c606SMark Murray BN_ULONG c1, c2, c3; 6145c87c606SMark Murray 6155c87c606SMark Murray c1 = 0; 6165c87c606SMark Murray c2 = 0; 6175c87c606SMark Murray c3 = 0; 6185c87c606SMark Murray sqr_add_c(a, 0, c1, c2, c3); 6195c87c606SMark Murray r[0] = c1; 6205c87c606SMark Murray c1 = 0; 6215c87c606SMark Murray sqr_add_c2(a, 1, 0, c2, c3, c1); 6225c87c606SMark Murray r[1] = c2; 6235c87c606SMark Murray c2 = 0; 6245c87c606SMark Murray sqr_add_c(a, 1, c3, c1, c2); 6255c87c606SMark Murray sqr_add_c2(a, 2, 0, c3, c1, c2); 6265c87c606SMark Murray r[2] = c3; 6275c87c606SMark Murray c3 = 0; 6285c87c606SMark Murray sqr_add_c2(a, 3, 0, c1, c2, c3); 6295c87c606SMark Murray sqr_add_c2(a, 2, 1, c1, c2, c3); 6305c87c606SMark Murray r[3] = c1; 6315c87c606SMark Murray c1 = 0; 6325c87c606SMark Murray sqr_add_c(a, 2, c2, c3, c1); 6335c87c606SMark Murray sqr_add_c2(a, 3, 1, c2, c3, c1); 6345c87c606SMark Murray r[4] = c2; 6355c87c606SMark Murray c2 = 0; 6365c87c606SMark Murray sqr_add_c2(a, 3, 2, c3, c1, c2); 6375c87c606SMark Murray r[5] = c3; 6385c87c606SMark Murray c3 = 0; 6395c87c606SMark Murray sqr_add_c(a, 3, c1, c2, c3); 6405c87c606SMark Murray r[6] = c1; 6415c87c606SMark Murray r[7] = c2; 6425c87c606SMark Murray } 643ed5d4f9aSSimon L. B. Nielsen #endif 644