bn_sqr.c 7.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294
  1. /* crypto/bn/bn_sqr.c */
  2. /* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
  3. * All rights reserved.
  4. *
  5. * This package is an SSL implementation written
  6. * by Eric Young (eay@cryptsoft.com).
  7. * The implementation was written so as to conform with Netscapes SSL.
  8. *
  9. * This library is free for commercial and non-commercial use as long as
  10. * the following conditions are aheared to. The following conditions
  11. * apply to all code found in this distribution, be it the RC4, RSA,
  12. * lhash, DES, etc., code; not just the SSL code. The SSL documentation
  13. * included with this distribution is covered by the same copyright terms
  14. * except that the holder is Tim Hudson (tjh@cryptsoft.com).
  15. *
  16. * Copyright remains Eric Young's, and as such any Copyright notices in
  17. * the code are not to be removed.
  18. * If this package is used in a product, Eric Young should be given attribution
  19. * as the author of the parts of the library used.
  20. * This can be in the form of a textual message at program startup or
  21. * in documentation (online or textual) provided with the package.
  22. *
  23. * Redistribution and use in source and binary forms, with or without
  24. * modification, are permitted provided that the following conditions
  25. * are met:
  26. * 1. Redistributions of source code must retain the copyright
  27. * notice, this list of conditions and the following disclaimer.
  28. * 2. Redistributions in binary form must reproduce the above copyright
  29. * notice, this list of conditions and the following disclaimer in the
  30. * documentation and/or other materials provided with the distribution.
  31. * 3. All advertising materials mentioning features or use of this software
  32. * must display the following acknowledgement:
  33. * "This product includes cryptographic software written by
  34. * Eric Young (eay@cryptsoft.com)"
  35. * The word 'cryptographic' can be left out if the rouines from the library
  36. * being used are not cryptographic related :-).
  37. * 4. If you include any Windows specific code (or a derivative thereof) from
  38. * the apps directory (application code) you must include an acknowledgement:
  39. * "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
  40. *
  41. * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
  42. * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  43. * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  44. * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
  45. * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  46. * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  47. * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  48. * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  49. * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  50. * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  51. * SUCH DAMAGE.
  52. *
  53. * The licence and distribution terms for any publically available version or
  54. * derivative of this code cannot be changed. i.e. this code cannot simply be
  55. * copied and put under another distribution licence
  56. * [including the GNU Public Licence.]
  57. */
  58. #include <stdio.h>
  59. #include "cryptlib.h"
  60. #include "bn_lcl.h"
  61. /* r must not be a */
  62. /* I've just gone over this and it is now %20 faster on x86 - eay - 27 Jun 96 */
  63. int BN_sqr(BIGNUM *r, const BIGNUM *a, BN_CTX *ctx)
  64. {
  65. int max,al;
  66. int ret = 0;
  67. BIGNUM *tmp,*rr;
  68. #ifdef BN_COUNT
  69. fprintf(stderr,"BN_sqr %d * %d\n",a->top,a->top);
  70. #endif
  71. bn_check_top(a);
  72. al=a->top;
  73. if (al <= 0)
  74. {
  75. r->top=0;
  76. return 1;
  77. }
  78. BN_CTX_start(ctx);
  79. rr=(a != r) ? r : BN_CTX_get(ctx);
  80. tmp=BN_CTX_get(ctx);
  81. if (!rr || !tmp) goto err;
  82. max = 2 * al; /* Non-zero (from above) */
  83. if (bn_wexpand(rr,max) == NULL) goto err;
  84. if (al == 4)
  85. {
  86. #ifndef BN_SQR_COMBA
  87. BN_ULONG t[8];
  88. bn_sqr_normal(rr->d,a->d,4,t);
  89. #else
  90. bn_sqr_comba4(rr->d,a->d);
  91. #endif
  92. }
  93. else if (al == 8)
  94. {
  95. #ifndef BN_SQR_COMBA
  96. BN_ULONG t[16];
  97. bn_sqr_normal(rr->d,a->d,8,t);
  98. #else
  99. bn_sqr_comba8(rr->d,a->d);
  100. #endif
  101. }
  102. else
  103. {
  104. #if defined(BN_RECURSION)
  105. if (al < BN_SQR_RECURSIVE_SIZE_NORMAL)
  106. {
  107. BN_ULONG t[BN_SQR_RECURSIVE_SIZE_NORMAL*2];
  108. bn_sqr_normal(rr->d,a->d,al,t);
  109. }
  110. else
  111. {
  112. int j,k;
  113. j=BN_num_bits_word((BN_ULONG)al);
  114. j=1<<(j-1);
  115. k=j+j;
  116. if (al == j)
  117. {
  118. if (bn_wexpand(tmp,k*2) == NULL) goto err;
  119. bn_sqr_recursive(rr->d,a->d,al,tmp->d);
  120. }
  121. else
  122. {
  123. if (bn_wexpand(tmp,max) == NULL) goto err;
  124. bn_sqr_normal(rr->d,a->d,al,tmp->d);
  125. }
  126. }
  127. #else
  128. if (bn_wexpand(tmp,max) == NULL) goto err;
  129. bn_sqr_normal(rr->d,a->d,al,tmp->d);
  130. #endif
  131. }
  132. rr->neg=0;
  133. /* If the most-significant half of the top word of 'a' is zero, then
  134. * the square of 'a' will max-1 words. */
  135. if(a->d[al - 1] == (a->d[al - 1] & BN_MASK2l))
  136. rr->top = max - 1;
  137. else
  138. rr->top = max;
  139. if (rr != r) BN_copy(r,rr);
  140. ret = 1;
  141. err:
  142. bn_check_top(rr);
  143. bn_check_top(tmp);
  144. BN_CTX_end(ctx);
  145. return(ret);
  146. }
  147. /* tmp must have 2*n words */
  148. void bn_sqr_normal(BN_ULONG *r, const BN_ULONG *a, int n, BN_ULONG *tmp)
  149. {
  150. int i,j,max;
  151. const BN_ULONG *ap;
  152. BN_ULONG *rp;
  153. max=n*2;
  154. ap=a;
  155. rp=r;
  156. rp[0]=rp[max-1]=0;
  157. rp++;
  158. j=n;
  159. if (--j > 0)
  160. {
  161. ap++;
  162. rp[j]=bn_mul_words(rp,ap,j,ap[-1]);
  163. rp+=2;
  164. }
  165. for (i=n-2; i>0; i--)
  166. {
  167. j--;
  168. ap++;
  169. rp[j]=bn_mul_add_words(rp,ap,j,ap[-1]);
  170. rp+=2;
  171. }
  172. bn_add_words(r,r,r,max);
  173. /* There will not be a carry */
  174. bn_sqr_words(tmp,a,n);
  175. bn_add_words(r,r,tmp,max);
  176. }
  177. #ifdef BN_RECURSION
  178. /* r is 2*n words in size,
  179. * a and b are both n words in size. (There's not actually a 'b' here ...)
  180. * n must be a power of 2.
  181. * We multiply and return the result.
  182. * t must be 2*n words in size
  183. * We calculate
  184. * a[0]*b[0]
  185. * a[0]*b[0]+a[1]*b[1]+(a[0]-a[1])*(b[1]-b[0])
  186. * a[1]*b[1]
  187. */
  188. void bn_sqr_recursive(BN_ULONG *r, const BN_ULONG *a, int n2, BN_ULONG *t)
  189. {
  190. int n=n2/2;
  191. int zero,c1;
  192. BN_ULONG ln,lo,*p;
  193. #ifdef BN_COUNT
  194. fprintf(stderr," bn_sqr_recursive %d * %d\n",n2,n2);
  195. #endif
  196. if (n2 == 4)
  197. {
  198. #ifndef BN_SQR_COMBA
  199. bn_sqr_normal(r,a,4,t);
  200. #else
  201. bn_sqr_comba4(r,a);
  202. #endif
  203. return;
  204. }
  205. else if (n2 == 8)
  206. {
  207. #ifndef BN_SQR_COMBA
  208. bn_sqr_normal(r,a,8,t);
  209. #else
  210. bn_sqr_comba8(r,a);
  211. #endif
  212. return;
  213. }
  214. if (n2 < BN_SQR_RECURSIVE_SIZE_NORMAL)
  215. {
  216. bn_sqr_normal(r,a,n2,t);
  217. return;
  218. }
  219. /* r=(a[0]-a[1])*(a[1]-a[0]) */
  220. c1=bn_cmp_words(a,&(a[n]),n);
  221. zero=0;
  222. if (c1 > 0)
  223. bn_sub_words(t,a,&(a[n]),n);
  224. else if (c1 < 0)
  225. bn_sub_words(t,&(a[n]),a,n);
  226. else
  227. zero=1;
  228. /* The result will always be negative unless it is zero */
  229. p= &(t[n2*2]);
  230. if (!zero)
  231. bn_sqr_recursive(&(t[n2]),t,n,p);
  232. else
  233. memset(&(t[n2]),0,n2*sizeof(BN_ULONG));
  234. bn_sqr_recursive(r,a,n,p);
  235. bn_sqr_recursive(&(r[n2]),&(a[n]),n,p);
  236. /* t[32] holds (a[0]-a[1])*(a[1]-a[0]), it is negative or zero
  237. * r[10] holds (a[0]*b[0])
  238. * r[32] holds (b[1]*b[1])
  239. */
  240. c1=(int)(bn_add_words(t,r,&(r[n2]),n2));
  241. /* t[32] is negative */
  242. c1-=(int)(bn_sub_words(&(t[n2]),t,&(t[n2]),n2));
  243. /* t[32] holds (a[0]-a[1])*(a[1]-a[0])+(a[0]*a[0])+(a[1]*a[1])
  244. * r[10] holds (a[0]*a[0])
  245. * r[32] holds (a[1]*a[1])
  246. * c1 holds the carry bits
  247. */
  248. c1+=(int)(bn_add_words(&(r[n]),&(r[n]),&(t[n2]),n2));
  249. if (c1)
  250. {
  251. p= &(r[n+n2]);
  252. lo= *p;
  253. ln=(lo+c1)&BN_MASK2;
  254. *p=ln;
  255. /* The overflow will stop before we over write
  256. * words we should not overwrite */
  257. if (ln < (BN_ULONG)c1)
  258. {
  259. do {
  260. p++;
  261. lo= *p;
  262. ln=(lo+1)&BN_MASK2;
  263. *p=ln;
  264. } while (ln == 0);
  265. }
  266. }
  267. }
  268. #endif