bn_mul.h 29 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738
  1. /**
  2. * \file bn_mul.h
  3. *
  4. * \brief Multi-precision integer library
  5. *
  6. * Copyright (C) 2006-2010, Brainspark B.V.
  7. *
  8. * This file is part of PolarSSL (http://www.polarssl.org)
  9. * Lead Maintainer: Paul Bakker <polarssl_maintainer at polarssl.org>
  10. *
  11. * All rights reserved.
  12. *
  13. * This program is free software; you can redistribute it and/or modify
  14. * it under the terms of the GNU General Public License as published by
  15. * the Free Software Foundation; either version 2 of the License, or
  16. * (at your option) any later version.
  17. *
  18. * This program is distributed in the hope that it will be useful,
  19. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  20. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  21. * GNU General Public License for more details.
  22. *
  23. * You should have received a copy of the GNU General Public License along
  24. * with this program; if not, write to the Free Software Foundation, Inc.,
  25. * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  26. */
  27. /*
  28. * Multiply source vector [s] with b, add result
  29. * to destination vector [d] and set carry c.
  30. *
  31. * Currently supports:
  32. *
  33. * . IA-32 (386+) . AMD64 / EM64T
  34. * . IA-32 (SSE2) . Motorola 68000
  35. * . PowerPC, 32-bit . MicroBlaze
  36. * . PowerPC, 64-bit . TriCore
  37. * . SPARC v8 . ARM v3+
  38. * . Alpha . MIPS32
  39. * . C, longlong . C, generic
  40. */
  41. #ifndef POLARSSL_BN_MUL_H
  42. #define POLARSSL_BN_MUL_H
  43. #include "config.h"
  44. #if defined(POLARSSL_HAVE_ASM)
  45. #if defined(__GNUC__)
  46. #if defined(__i386__)
  47. #define MULADDC_INIT \
  48. asm( " \
  49. movl %%ebx, %0; \
  50. movl %5, %%esi; \
  51. movl %6, %%edi; \
  52. movl %7, %%ecx; \
  53. movl %8, %%ebx; \
  54. "
  55. #define MULADDC_CORE \
  56. " \
  57. lodsl; \
  58. mull %%ebx; \
  59. addl %%ecx, %%eax; \
  60. adcl $0, %%edx; \
  61. addl (%%edi), %%eax; \
  62. adcl $0, %%edx; \
  63. movl %%edx, %%ecx; \
  64. stosl; \
  65. "
  66. #if defined(POLARSSL_HAVE_SSE2)
  67. #define MULADDC_HUIT \
  68. " \
  69. movd %%ecx, %%mm1; \
  70. movd %%ebx, %%mm0; \
  71. movd (%%edi), %%mm3; \
  72. paddq %%mm3, %%mm1; \
  73. movd (%%esi), %%mm2; \
  74. pmuludq %%mm0, %%mm2; \
  75. movd 4(%%esi), %%mm4; \
  76. pmuludq %%mm0, %%mm4; \
  77. movd 8(%%esi), %%mm6; \
  78. pmuludq %%mm0, %%mm6; \
  79. movd 12(%%esi), %%mm7; \
  80. pmuludq %%mm0, %%mm7; \
  81. paddq %%mm2, %%mm1; \
  82. movd 4(%%edi), %%mm3; \
  83. paddq %%mm4, %%mm3; \
  84. movd 8(%%edi), %%mm5; \
  85. paddq %%mm6, %%mm5; \
  86. movd 12(%%edi), %%mm4; \
  87. paddq %%mm4, %%mm7; \
  88. movd %%mm1, (%%edi); \
  89. movd 16(%%esi), %%mm2; \
  90. pmuludq %%mm0, %%mm2; \
  91. psrlq $32, %%mm1; \
  92. movd 20(%%esi), %%mm4; \
  93. pmuludq %%mm0, %%mm4; \
  94. paddq %%mm3, %%mm1; \
  95. movd 24(%%esi), %%mm6; \
  96. pmuludq %%mm0, %%mm6; \
  97. movd %%mm1, 4(%%edi); \
  98. psrlq $32, %%mm1; \
  99. movd 28(%%esi), %%mm3; \
  100. pmuludq %%mm0, %%mm3; \
  101. paddq %%mm5, %%mm1; \
  102. movd 16(%%edi), %%mm5; \
  103. paddq %%mm5, %%mm2; \
  104. movd %%mm1, 8(%%edi); \
  105. psrlq $32, %%mm1; \
  106. paddq %%mm7, %%mm1; \
  107. movd 20(%%edi), %%mm5; \
  108. paddq %%mm5, %%mm4; \
  109. movd %%mm1, 12(%%edi); \
  110. psrlq $32, %%mm1; \
  111. paddq %%mm2, %%mm1; \
  112. movd 24(%%edi), %%mm5; \
  113. paddq %%mm5, %%mm6; \
  114. movd %%mm1, 16(%%edi); \
  115. psrlq $32, %%mm1; \
  116. paddq %%mm4, %%mm1; \
  117. movd 28(%%edi), %%mm5; \
  118. paddq %%mm5, %%mm3; \
  119. movd %%mm1, 20(%%edi); \
  120. psrlq $32, %%mm1; \
  121. paddq %%mm6, %%mm1; \
  122. movd %%mm1, 24(%%edi); \
  123. psrlq $32, %%mm1; \
  124. paddq %%mm3, %%mm1; \
  125. movd %%mm1, 28(%%edi); \
  126. addl $32, %%edi; \
  127. addl $32, %%esi; \
  128. psrlq $32, %%mm1; \
  129. movd %%mm1, %%ecx; \
  130. "
  131. #define MULADDC_STOP \
  132. " \
  133. emms; \
  134. movl %4, %%ebx; \
  135. movl %%ecx, %1; \
  136. movl %%edi, %2; \
  137. movl %%esi, %3; \
  138. " \
  139. : "=m" (t), "=m" (c), "=m" (d), "=m" (s) \
  140. : "m" (t), "m" (s), "m" (d), "m" (c), "m" (b) \
  141. : "eax", "ecx", "edx", "esi", "edi" \
  142. );
  143. #else
  144. #define MULADDC_STOP \
  145. " \
  146. movl %4, %%ebx; \
  147. movl %%ecx, %1; \
  148. movl %%edi, %2; \
  149. movl %%esi, %3; \
  150. " \
  151. : "=m" (t), "=m" (c), "=m" (d), "=m" (s) \
  152. : "m" (t), "m" (s), "m" (d), "m" (c), "m" (b) \
  153. : "eax", "ecx", "edx", "esi", "edi" \
  154. );
  155. #endif /* SSE2 */
  156. #endif /* i386 */
  157. #if defined(__amd64__) || defined (__x86_64__)
  158. #define MULADDC_INIT \
  159. asm( "movq %0, %%rsi " :: "m" (s)); \
  160. asm( "movq %0, %%rdi " :: "m" (d)); \
  161. asm( "movq %0, %%rcx " :: "m" (c)); \
  162. asm( "movq %0, %%rbx " :: "m" (b)); \
  163. asm( "xorq %r8, %r8 " );
  164. #define MULADDC_CORE \
  165. asm( "movq (%rsi),%rax " ); \
  166. asm( "mulq %rbx " ); \
  167. asm( "addq $8, %rsi " ); \
  168. asm( "addq %rcx, %rax " ); \
  169. asm( "movq %r8, %rcx " ); \
  170. asm( "adcq $0, %rdx " ); \
  171. asm( "nop " ); \
  172. asm( "addq %rax, (%rdi) " ); \
  173. asm( "adcq %rdx, %rcx " ); \
  174. asm( "addq $8, %rdi " );
  175. #define MULADDC_STOP \
  176. asm( "movq %%rcx, %0 " : "=m" (c)); \
  177. asm( "movq %%rdi, %0 " : "=m" (d)); \
  178. asm( "movq %%rsi, %0 " : "=m" (s) :: \
  179. "rax", "rcx", "rdx", "rbx", "rsi", "rdi", "r8" );
  180. #endif /* AMD64 */
  181. #if defined(__mc68020__) || defined(__mcpu32__)
  182. #define MULADDC_INIT \
  183. asm( "movl %0, %%a2 " :: "m" (s)); \
  184. asm( "movl %0, %%a3 " :: "m" (d)); \
  185. asm( "movl %0, %%d3 " :: "m" (c)); \
  186. asm( "movl %0, %%d2 " :: "m" (b)); \
  187. asm( "moveq #0, %d0 " );
  188. #define MULADDC_CORE \
  189. asm( "movel %a2@+, %d1 " ); \
  190. asm( "mulul %d2, %d4:%d1 " ); \
  191. asm( "addl %d3, %d1 " ); \
  192. asm( "addxl %d0, %d4 " ); \
  193. asm( "moveq #0, %d3 " ); \
  194. asm( "addl %d1, %a3@+ " ); \
  195. asm( "addxl %d4, %d3 " );
  196. #define MULADDC_STOP \
  197. asm( "movl %%d3, %0 " : "=m" (c)); \
  198. asm( "movl %%a3, %0 " : "=m" (d)); \
  199. asm( "movl %%a2, %0 " : "=m" (s) :: \
  200. "d0", "d1", "d2", "d3", "d4", "a2", "a3" );
  201. #define MULADDC_HUIT \
  202. asm( "movel %a2@+, %d1 " ); \
  203. asm( "mulul %d2, %d4:%d1 " ); \
  204. asm( "addxl %d3, %d1 " ); \
  205. asm( "addxl %d0, %d4 " ); \
  206. asm( "addl %d1, %a3@+ " ); \
  207. asm( "movel %a2@+, %d1 " ); \
  208. asm( "mulul %d2, %d3:%d1 " ); \
  209. asm( "addxl %d4, %d1 " ); \
  210. asm( "addxl %d0, %d3 " ); \
  211. asm( "addl %d1, %a3@+ " ); \
  212. asm( "movel %a2@+, %d1 " ); \
  213. asm( "mulul %d2, %d4:%d1 " ); \
  214. asm( "addxl %d3, %d1 " ); \
  215. asm( "addxl %d0, %d4 " ); \
  216. asm( "addl %d1, %a3@+ " ); \
  217. asm( "movel %a2@+, %d1 " ); \
  218. asm( "mulul %d2, %d3:%d1 " ); \
  219. asm( "addxl %d4, %d1 " ); \
  220. asm( "addxl %d0, %d3 " ); \
  221. asm( "addl %d1, %a3@+ " ); \
  222. asm( "movel %a2@+, %d1 " ); \
  223. asm( "mulul %d2, %d4:%d1 " ); \
  224. asm( "addxl %d3, %d1 " ); \
  225. asm( "addxl %d0, %d4 " ); \
  226. asm( "addl %d1, %a3@+ " ); \
  227. asm( "movel %a2@+, %d1 " ); \
  228. asm( "mulul %d2, %d3:%d1 " ); \
  229. asm( "addxl %d4, %d1 " ); \
  230. asm( "addxl %d0, %d3 " ); \
  231. asm( "addl %d1, %a3@+ " ); \
  232. asm( "movel %a2@+, %d1 " ); \
  233. asm( "mulul %d2, %d4:%d1 " ); \
  234. asm( "addxl %d3, %d1 " ); \
  235. asm( "addxl %d0, %d4 " ); \
  236. asm( "addl %d1, %a3@+ " ); \
  237. asm( "movel %a2@+, %d1 " ); \
  238. asm( "mulul %d2, %d3:%d1 " ); \
  239. asm( "addxl %d4, %d1 " ); \
  240. asm( "addxl %d0, %d3 " ); \
  241. asm( "addl %d1, %a3@+ " ); \
  242. asm( "addxl %d0, %d3 " );
  243. #endif /* MC68000 */
  244. #if defined(__powerpc__) || defined(__ppc__)
  245. #if defined(__powerpc64__) || defined(__ppc64__)
  246. #if defined(__MACH__) && defined(__APPLE__)
  247. #define MULADDC_INIT \
  248. asm( "ld r3, %0 " :: "m" (s)); \
  249. asm( "ld r4, %0 " :: "m" (d)); \
  250. asm( "ld r5, %0 " :: "m" (c)); \
  251. asm( "ld r6, %0 " :: "m" (b)); \
  252. asm( "addi r3, r3, -8 " ); \
  253. asm( "addi r4, r4, -8 " ); \
  254. asm( "addic r5, r5, 0 " );
  255. #define MULADDC_CORE \
  256. asm( "ldu r7, 8(r3) " ); \
  257. asm( "mulld r8, r7, r6 " ); \
  258. asm( "mulhdu r9, r7, r6 " ); \
  259. asm( "adde r8, r8, r5 " ); \
  260. asm( "ld r7, 8(r4) " ); \
  261. asm( "addze r5, r9 " ); \
  262. asm( "addc r8, r8, r7 " ); \
  263. asm( "stdu r8, 8(r4) " );
  264. #define MULADDC_STOP \
  265. asm( "addze r5, r5 " ); \
  266. asm( "addi r4, r4, 8 " ); \
  267. asm( "addi r3, r3, 8 " ); \
  268. asm( "std r5, %0 " : "=m" (c)); \
  269. asm( "std r4, %0 " : "=m" (d)); \
  270. asm( "std r3, %0 " : "=m" (s) :: \
  271. "r3", "r4", "r5", "r6", "r7", "r8", "r9" );
  272. #else
  273. #define MULADDC_INIT \
  274. asm( "ld %%r3, %0 " :: "m" (s)); \
  275. asm( "ld %%r4, %0 " :: "m" (d)); \
  276. asm( "ld %%r5, %0 " :: "m" (c)); \
  277. asm( "ld %%r6, %0 " :: "m" (b)); \
  278. asm( "addi %r3, %r3, -8 " ); \
  279. asm( "addi %r4, %r4, -8 " ); \
  280. asm( "addic %r5, %r5, 0 " );
  281. #define MULADDC_CORE \
  282. asm( "ldu %r7, 8(%r3) " ); \
  283. asm( "mulld %r8, %r7, %r6 " ); \
  284. asm( "mulhdu %r9, %r7, %r6 " ); \
  285. asm( "adde %r8, %r8, %r5 " ); \
  286. asm( "ld %r7, 8(%r4) " ); \
  287. asm( "addze %r5, %r9 " ); \
  288. asm( "addc %r8, %r8, %r7 " ); \
  289. asm( "stdu %r8, 8(%r4) " );
  290. #define MULADDC_STOP \
  291. asm( "addze %r5, %r5 " ); \
  292. asm( "addi %r4, %r4, 8 " ); \
  293. asm( "addi %r3, %r3, 8 " ); \
  294. asm( "std %%r5, %0 " : "=m" (c)); \
  295. asm( "std %%r4, %0 " : "=m" (d)); \
  296. asm( "std %%r3, %0 " : "=m" (s) :: \
  297. "r3", "r4", "r5", "r6", "r7", "r8", "r9" );
  298. #endif
  299. #else /* PPC32 */
  300. #if defined(__MACH__) && defined(__APPLE__)
  301. #define MULADDC_INIT \
  302. asm( "lwz r3, %0 " :: "m" (s)); \
  303. asm( "lwz r4, %0 " :: "m" (d)); \
  304. asm( "lwz r5, %0 " :: "m" (c)); \
  305. asm( "lwz r6, %0 " :: "m" (b)); \
  306. asm( "addi r3, r3, -4 " ); \
  307. asm( "addi r4, r4, -4 " ); \
  308. asm( "addic r5, r5, 0 " );
  309. #define MULADDC_CORE \
  310. asm( "lwzu r7, 4(r3) " ); \
  311. asm( "mullw r8, r7, r6 " ); \
  312. asm( "mulhwu r9, r7, r6 " ); \
  313. asm( "adde r8, r8, r5 " ); \
  314. asm( "lwz r7, 4(r4) " ); \
  315. asm( "addze r5, r9 " ); \
  316. asm( "addc r8, r8, r7 " ); \
  317. asm( "stwu r8, 4(r4) " );
  318. #define MULADDC_STOP \
  319. asm( "addze r5, r5 " ); \
  320. asm( "addi r4, r4, 4 " ); \
  321. asm( "addi r3, r3, 4 " ); \
  322. asm( "stw r5, %0 " : "=m" (c)); \
  323. asm( "stw r4, %0 " : "=m" (d)); \
  324. asm( "stw r3, %0 " : "=m" (s) :: \
  325. "r3", "r4", "r5", "r6", "r7", "r8", "r9" );
  326. #else
  327. #define MULADDC_INIT \
  328. asm( "lwz %%r3, %0 " :: "m" (s)); \
  329. asm( "lwz %%r4, %0 " :: "m" (d)); \
  330. asm( "lwz %%r5, %0 " :: "m" (c)); \
  331. asm( "lwz %%r6, %0 " :: "m" (b)); \
  332. asm( "addi %r3, %r3, -4 " ); \
  333. asm( "addi %r4, %r4, -4 " ); \
  334. asm( "addic %r5, %r5, 0 " );
  335. #define MULADDC_CORE \
  336. asm( "lwzu %r7, 4(%r3) " ); \
  337. asm( "mullw %r8, %r7, %r6 " ); \
  338. asm( "mulhwu %r9, %r7, %r6 " ); \
  339. asm( "adde %r8, %r8, %r5 " ); \
  340. asm( "lwz %r7, 4(%r4) " ); \
  341. asm( "addze %r5, %r9 " ); \
  342. asm( "addc %r8, %r8, %r7 " ); \
  343. asm( "stwu %r8, 4(%r4) " );
  344. #define MULADDC_STOP \
  345. asm( "addze %r5, %r5 " ); \
  346. asm( "addi %r4, %r4, 4 " ); \
  347. asm( "addi %r3, %r3, 4 " ); \
  348. asm( "stw %%r5, %0 " : "=m" (c)); \
  349. asm( "stw %%r4, %0 " : "=m" (d)); \
  350. asm( "stw %%r3, %0 " : "=m" (s) :: \
  351. "r3", "r4", "r5", "r6", "r7", "r8", "r9" );
  352. #endif
  353. #endif /* PPC32 */
  354. #endif /* PPC64 */
  355. #if defined(__sparc__)
  356. #define MULADDC_INIT \
  357. asm( "ld %0, %%o0 " :: "m" (s)); \
  358. asm( "ld %0, %%o1 " :: "m" (d)); \
  359. asm( "ld %0, %%o2 " :: "m" (c)); \
  360. asm( "ld %0, %%o3 " :: "m" (b));
  361. #define MULADDC_CORE \
  362. asm( "ld [%o0], %o4 " ); \
  363. asm( "inc 4, %o0 " ); \
  364. asm( "ld [%o1], %o5 " ); \
  365. asm( "umul %o3, %o4, %o4 " ); \
  366. asm( "addcc %o4, %o2, %o4 " ); \
  367. asm( "rd %y, %g1 " ); \
  368. asm( "addx %g1, 0, %g1 " ); \
  369. asm( "addcc %o4, %o5, %o4 " ); \
  370. asm( "st %o4, [%o1] " ); \
  371. asm( "addx %g1, 0, %o2 " ); \
  372. asm( "inc 4, %o1 " );
  373. #define MULADDC_STOP \
  374. asm( "st %%o2, %0 " : "=m" (c)); \
  375. asm( "st %%o1, %0 " : "=m" (d)); \
  376. asm( "st %%o0, %0 " : "=m" (s) :: \
  377. "g1", "o0", "o1", "o2", "o3", "o4", "o5" );
  378. #endif /* SPARCv8 */
  379. #if defined(__microblaze__) || defined(microblaze)
  380. #define MULADDC_INIT \
  381. asm( "lwi r3, %0 " :: "m" (s)); \
  382. asm( "lwi r4, %0 " :: "m" (d)); \
  383. asm( "lwi r5, %0 " :: "m" (c)); \
  384. asm( "lwi r6, %0 " :: "m" (b)); \
  385. asm( "andi r7, r6, 0xffff" ); \
  386. asm( "bsrli r6, r6, 16 " );
  387. #define MULADDC_CORE \
  388. asm( "lhui r8, r3, 0 " ); \
  389. asm( "addi r3, r3, 2 " ); \
  390. asm( "lhui r9, r3, 0 " ); \
  391. asm( "addi r3, r3, 2 " ); \
  392. asm( "mul r10, r9, r6 " ); \
  393. asm( "mul r11, r8, r7 " ); \
  394. asm( "mul r12, r9, r7 " ); \
  395. asm( "mul r13, r8, r6 " ); \
  396. asm( "bsrli r8, r10, 16 " ); \
  397. asm( "bsrli r9, r11, 16 " ); \
  398. asm( "add r13, r13, r8 " ); \
  399. asm( "add r13, r13, r9 " ); \
  400. asm( "bslli r10, r10, 16 " ); \
  401. asm( "bslli r11, r11, 16 " ); \
  402. asm( "add r12, r12, r10 " ); \
  403. asm( "addc r13, r13, r0 " ); \
  404. asm( "add r12, r12, r11 " ); \
  405. asm( "addc r13, r13, r0 " ); \
  406. asm( "lwi r10, r4, 0 " ); \
  407. asm( "add r12, r12, r10 " ); \
  408. asm( "addc r13, r13, r0 " ); \
  409. asm( "add r12, r12, r5 " ); \
  410. asm( "addc r5, r13, r0 " ); \
  411. asm( "swi r12, r4, 0 " ); \
  412. asm( "addi r4, r4, 4 " );
  413. #define MULADDC_STOP \
  414. asm( "swi r5, %0 " : "=m" (c)); \
  415. asm( "swi r4, %0 " : "=m" (d)); \
  416. asm( "swi r3, %0 " : "=m" (s) :: \
  417. "r3", "r4" , "r5" , "r6" , "r7" , "r8" , \
  418. "r9", "r10", "r11", "r12", "r13" );
  419. #endif /* MicroBlaze */
  420. #if defined(__tricore__)
  421. #define MULADDC_INIT \
  422. asm( "ld.a %%a2, %0 " :: "m" (s)); \
  423. asm( "ld.a %%a3, %0 " :: "m" (d)); \
  424. asm( "ld.w %%d4, %0 " :: "m" (c)); \
  425. asm( "ld.w %%d1, %0 " :: "m" (b)); \
  426. asm( "xor %d5, %d5 " );
  427. #define MULADDC_CORE \
  428. asm( "ld.w %d0, [%a2+] " ); \
  429. asm( "madd.u %e2, %e4, %d0, %d1 " ); \
  430. asm( "ld.w %d0, [%a3] " ); \
  431. asm( "addx %d2, %d2, %d0 " ); \
  432. asm( "addc %d3, %d3, 0 " ); \
  433. asm( "mov %d4, %d3 " ); \
  434. asm( "st.w [%a3+], %d2 " );
  435. #define MULADDC_STOP \
  436. asm( "st.w %0, %%d4 " : "=m" (c)); \
  437. asm( "st.a %0, %%a3 " : "=m" (d)); \
  438. asm( "st.a %0, %%a2 " : "=m" (s) :: \
  439. "d0", "d1", "e2", "d4", "a2", "a3" );
  440. #endif /* TriCore */
  441. #if defined(__arm__)
  442. #define MULADDC_INIT \
  443. asm( "ldr r0, %0 " :: "m" (s)); \
  444. asm( "ldr r1, %0 " :: "m" (d)); \
  445. asm( "ldr r2, %0 " :: "m" (c)); \
  446. asm( "ldr r3, %0 " :: "m" (b));
  447. #define MULADDC_CORE \
  448. asm( "ldr r4, [r0], #4 " ); \
  449. asm( "mov r5, #0 " ); \
  450. asm( "ldr r6, [r1] " ); \
  451. asm( "umlal r2, r5, r3, r4 " ); \
  452. asm( "adds r7, r6, r2 " ); \
  453. asm( "adc r2, r5, #0 " ); \
  454. asm( "str r7, [r1], #4 " );
  455. #define MULADDC_STOP \
  456. asm( "str r2, %0 " : "=m" (c)); \
  457. asm( "str r1, %0 " : "=m" (d)); \
  458. asm( "str r0, %0 " : "=m" (s) :: \
  459. "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7" );
  460. #endif /* ARMv3 */
  461. #if defined(__alpha__)
  462. #define MULADDC_INIT \
  463. asm( "ldq $1, %0 " :: "m" (s)); \
  464. asm( "ldq $2, %0 " :: "m" (d)); \
  465. asm( "ldq $3, %0 " :: "m" (c)); \
  466. asm( "ldq $4, %0 " :: "m" (b));
  467. #define MULADDC_CORE \
  468. asm( "ldq $6, 0($1) " ); \
  469. asm( "addq $1, 8, $1 " ); \
  470. asm( "mulq $6, $4, $7 " ); \
  471. asm( "umulh $6, $4, $6 " ); \
  472. asm( "addq $7, $3, $7 " ); \
  473. asm( "cmpult $7, $3, $3 " ); \
  474. asm( "ldq $5, 0($2) " ); \
  475. asm( "addq $7, $5, $7 " ); \
  476. asm( "cmpult $7, $5, $5 " ); \
  477. asm( "stq $7, 0($2) " ); \
  478. asm( "addq $2, 8, $2 " ); \
  479. asm( "addq $6, $3, $3 " ); \
  480. asm( "addq $5, $3, $3 " );
  481. #define MULADDC_STOP \
  482. asm( "stq $3, %0 " : "=m" (c)); \
  483. asm( "stq $2, %0 " : "=m" (d)); \
  484. asm( "stq $1, %0 " : "=m" (s) :: \
  485. "$1", "$2", "$3", "$4", "$5", "$6", "$7" );
  486. #endif /* Alpha */
  487. #if defined(__mips__)
  488. #define MULADDC_INIT \
  489. asm( "lw $10, %0 " :: "m" (s)); \
  490. asm( "lw $11, %0 " :: "m" (d)); \
  491. asm( "lw $12, %0 " :: "m" (c)); \
  492. asm( "lw $13, %0 " :: "m" (b));
  493. #define MULADDC_CORE \
  494. asm( "lw $14, 0($10) " ); \
  495. asm( "multu $13, $14 " ); \
  496. asm( "addi $10, $10, 4 " ); \
  497. asm( "mflo $14 " ); \
  498. asm( "mfhi $9 " ); \
  499. asm( "addu $14, $12, $14 " ); \
  500. asm( "lw $15, 0($11) " ); \
  501. asm( "sltu $12, $14, $12 " ); \
  502. asm( "addu $15, $14, $15 " ); \
  503. asm( "sltu $14, $15, $14 " ); \
  504. asm( "addu $12, $12, $9 " ); \
  505. asm( "sw $15, 0($11) " ); \
  506. asm( "addu $12, $12, $14 " ); \
  507. asm( "addi $11, $11, 4 " );
  508. #define MULADDC_STOP \
  509. asm( "sw $12, %0 " : "=m" (c)); \
  510. asm( "sw $11, %0 " : "=m" (d)); \
  511. asm( "sw $10, %0 " : "=m" (s) :: \
  512. "$9", "$10", "$11", "$12", "$13", "$14", "$15" );
  513. #endif /* MIPS */
  514. #endif /* GNUC */
  515. #if (defined(_MSC_VER) && defined(_M_IX86)) || defined(__WATCOMC__)
  516. #define MULADDC_INIT \
  517. __asm mov esi, s \
  518. __asm mov edi, d \
  519. __asm mov ecx, c \
  520. __asm mov ebx, b
  521. #define MULADDC_CORE \
  522. __asm lodsd \
  523. __asm mul ebx \
  524. __asm add eax, ecx \
  525. __asm adc edx, 0 \
  526. __asm add eax, [edi] \
  527. __asm adc edx, 0 \
  528. __asm mov ecx, edx \
  529. __asm stosd
  530. #if defined(POLARSSL_HAVE_SSE2)
  531. #define EMIT __asm _emit
  532. #define MULADDC_HUIT \
  533. EMIT 0x0F EMIT 0x6E EMIT 0xC9 \
  534. EMIT 0x0F EMIT 0x6E EMIT 0xC3 \
  535. EMIT 0x0F EMIT 0x6E EMIT 0x1F \
  536. EMIT 0x0F EMIT 0xD4 EMIT 0xCB \
  537. EMIT 0x0F EMIT 0x6E EMIT 0x16 \
  538. EMIT 0x0F EMIT 0xF4 EMIT 0xD0 \
  539. EMIT 0x0F EMIT 0x6E EMIT 0x66 EMIT 0x04 \
  540. EMIT 0x0F EMIT 0xF4 EMIT 0xE0 \
  541. EMIT 0x0F EMIT 0x6E EMIT 0x76 EMIT 0x08 \
  542. EMIT 0x0F EMIT 0xF4 EMIT 0xF0 \
  543. EMIT 0x0F EMIT 0x6E EMIT 0x7E EMIT 0x0C \
  544. EMIT 0x0F EMIT 0xF4 EMIT 0xF8 \
  545. EMIT 0x0F EMIT 0xD4 EMIT 0xCA \
  546. EMIT 0x0F EMIT 0x6E EMIT 0x5F EMIT 0x04 \
  547. EMIT 0x0F EMIT 0xD4 EMIT 0xDC \
  548. EMIT 0x0F EMIT 0x6E EMIT 0x6F EMIT 0x08 \
  549. EMIT 0x0F EMIT 0xD4 EMIT 0xEE \
  550. EMIT 0x0F EMIT 0x6E EMIT 0x67 EMIT 0x0C \
  551. EMIT 0x0F EMIT 0xD4 EMIT 0xFC \
  552. EMIT 0x0F EMIT 0x7E EMIT 0x0F \
  553. EMIT 0x0F EMIT 0x6E EMIT 0x56 EMIT 0x10 \
  554. EMIT 0x0F EMIT 0xF4 EMIT 0xD0 \
  555. EMIT 0x0F EMIT 0x73 EMIT 0xD1 EMIT 0x20 \
  556. EMIT 0x0F EMIT 0x6E EMIT 0x66 EMIT 0x14 \
  557. EMIT 0x0F EMIT 0xF4 EMIT 0xE0 \
  558. EMIT 0x0F EMIT 0xD4 EMIT 0xCB \
  559. EMIT 0x0F EMIT 0x6E EMIT 0x76 EMIT 0x18 \
  560. EMIT 0x0F EMIT 0xF4 EMIT 0xF0 \
  561. EMIT 0x0F EMIT 0x7E EMIT 0x4F EMIT 0x04 \
  562. EMIT 0x0F EMIT 0x73 EMIT 0xD1 EMIT 0x20 \
  563. EMIT 0x0F EMIT 0x6E EMIT 0x5E EMIT 0x1C \
  564. EMIT 0x0F EMIT 0xF4 EMIT 0xD8 \
  565. EMIT 0x0F EMIT 0xD4 EMIT 0xCD \
  566. EMIT 0x0F EMIT 0x6E EMIT 0x6F EMIT 0x10 \
  567. EMIT 0x0F EMIT 0xD4 EMIT 0xD5 \
  568. EMIT 0x0F EMIT 0x7E EMIT 0x4F EMIT 0x08 \
  569. EMIT 0x0F EMIT 0x73 EMIT 0xD1 EMIT 0x20 \
  570. EMIT 0x0F EMIT 0xD4 EMIT 0xCF \
  571. EMIT 0x0F EMIT 0x6E EMIT 0x6F EMIT 0x14 \
  572. EMIT 0x0F EMIT 0xD4 EMIT 0xE5 \
  573. EMIT 0x0F EMIT 0x7E EMIT 0x4F EMIT 0x0C \
  574. EMIT 0x0F EMIT 0x73 EMIT 0xD1 EMIT 0x20 \
  575. EMIT 0x0F EMIT 0xD4 EMIT 0xCA \
  576. EMIT 0x0F EMIT 0x6E EMIT 0x6F EMIT 0x18 \
  577. EMIT 0x0F EMIT 0xD4 EMIT 0xF5 \
  578. EMIT 0x0F EMIT 0x7E EMIT 0x4F EMIT 0x10 \
  579. EMIT 0x0F EMIT 0x73 EMIT 0xD1 EMIT 0x20 \
  580. EMIT 0x0F EMIT 0xD4 EMIT 0xCC \
  581. EMIT 0x0F EMIT 0x6E EMIT 0x6F EMIT 0x1C \
  582. EMIT 0x0F EMIT 0xD4 EMIT 0xDD \
  583. EMIT 0x0F EMIT 0x7E EMIT 0x4F EMIT 0x14 \
  584. EMIT 0x0F EMIT 0x73 EMIT 0xD1 EMIT 0x20 \
  585. EMIT 0x0F EMIT 0xD4 EMIT 0xCE \
  586. EMIT 0x0F EMIT 0x7E EMIT 0x4F EMIT 0x18 \
  587. EMIT 0x0F EMIT 0x73 EMIT 0xD1 EMIT 0x20 \
  588. EMIT 0x0F EMIT 0xD4 EMIT 0xCB \
  589. EMIT 0x0F EMIT 0x7E EMIT 0x4F EMIT 0x1C \
  590. EMIT 0x83 EMIT 0xC7 EMIT 0x20 \
  591. EMIT 0x83 EMIT 0xC6 EMIT 0x20 \
  592. EMIT 0x0F EMIT 0x73 EMIT 0xD1 EMIT 0x20 \
  593. EMIT 0x0F EMIT 0x7E EMIT 0xC9
  594. #define MULADDC_STOP \
  595. EMIT 0x0F EMIT 0x77 \
  596. __asm mov c, ecx \
  597. __asm mov d, edi \
  598. __asm mov s, esi \
  599. #else
  600. #define MULADDC_STOP \
  601. __asm mov c, ecx \
  602. __asm mov d, edi \
  603. __asm mov s, esi \
  604. #endif /* SSE2 */
  605. #endif /* MSVC */
  606. #endif /* POLARSSL_HAVE_ASM */
  607. #if !defined(MULADDC_CORE)
  608. #if defined(POLARSSL_HAVE_LONGLONG)
  609. #define MULADDC_INIT \
  610. { \
  611. t_udbl r; \
  612. t_uint r0, r1;
  613. #define MULADDC_CORE \
  614. r = *(s++) * (t_udbl) b; \
  615. r0 = r; \
  616. r1 = r >> biL; \
  617. r0 += c; r1 += (r0 < c); \
  618. r0 += *d; r1 += (r0 < *d); \
  619. c = r1; *(d++) = r0;
  620. #define MULADDC_STOP \
  621. }
  622. #else
  623. #define MULADDC_INIT \
  624. { \
  625. t_uint s0, s1, b0, b1; \
  626. t_uint r0, r1, rx, ry; \
  627. b0 = ( b << biH ) >> biH; \
  628. b1 = ( b >> biH );
  629. #define MULADDC_CORE \
  630. s0 = ( *s << biH ) >> biH; \
  631. s1 = ( *s >> biH ); s++; \
  632. rx = s0 * b1; r0 = s0 * b0; \
  633. ry = s1 * b0; r1 = s1 * b1; \
  634. r1 += ( rx >> biH ); \
  635. r1 += ( ry >> biH ); \
  636. rx <<= biH; ry <<= biH; \
  637. r0 += rx; r1 += (r0 < rx); \
  638. r0 += ry; r1 += (r0 < ry); \
  639. r0 += c; r1 += (r0 < c); \
  640. r0 += *d; r1 += (r0 < *d); \
  641. c = r1; *(d++) = r0;
  642. #define MULADDC_STOP \
  643. }
  644. #endif /* C (generic) */
  645. #endif /* C (longlong) */
  646. #endif /* bn_mul.h */