#define MPN_SQR_N_RECURSE(prodp, up, size, tspace) \ do { \ if ((size) < KARATSUBA_THRESHOLD) \
mpih_sqr_n_basecase(prodp, up, size); \ else \
mpih_sqr_n(prodp, up, size, tspace); \
} while (0);
/* Multiply the natural numbers u (pointed to by UP) and v (pointed to by VP), *bothwithSIZElimbs,andstoretheresultatPRODP.2*SIZElimbsare *alwaysstored.Returnthemostsignificantlimb. * *Argumentconstraints: *1.PRODP!=UPandPRODP!=VP,i.e.thedestination *mustbedistinctfromthemultiplierandthemultiplicand. * * *Handlesimplecaseswithtraditionalmultiplication. * *Thisisthemostcriticalcodeofmultiplication.Allmultipliesrely *onthis,bothsmallandhuge.Smallonesarrivehereimmediately.Huge *onesarrivehereasthisisthebasecaseforKaratsuba'srecursive *algorithmbelow.
*/
/* Multiply by the first limb in V separately, as the result can be
* stored (not added) to PROD. We also avoid a loop for zeroing. */
v_limb = vp[0]; if (v_limb <= 1) { if (v_limb == 1)
MPN_COPY(prodp, up, size); else
MPN_ZERO(prodp, size);
cy = 0;
} else
cy = mpihelp_mul_1(prodp, up, size, v_limb);
prodp[size] = cy;
prodp++;
/* For each iteration in the outer loop, multiply one limb from
* U with one limb from V, and add it to PROD. */ for (i = 1; i < size; i++) {
v_limb = vp[i]; if (v_limb <= 1) {
cy = 0; if (v_limb == 1)
cy = mpihelp_add_n(prodp, prodp, up, size);
} else
cy = mpihelp_addmul_1(prodp, up, size, v_limb);
prodp[size] = cy;
prodp++;
}
return cy;
}
staticvoid
mul_n(mpi_ptr_t prodp, mpi_ptr_t up, mpi_ptr_t vp,
mpi_size_t size, mpi_ptr_t tspace)
{ if (size & 1) { /* The size is odd, and the code below doesn't handle that. *Multiplytheleastsignificant(size-1)limbswitharecursive *call,andhandlethemostsignificantlimbofS1andS2 *separately. *AslightlyfasterwaytodothiswouldbetomaketheKaratsuba *codebelowbehaveasifthesizewereeven,andletitcheckfor *oddsizeintheend.I.e.,inessencemovethiscodetotheend. *Doingsowouldsaveusarecursivecall,andpotentiallymakethe *stackgrowalotless.
*/
mpi_size_t esize = size - 1; /* even size */
mpi_limb_t cy_limb;
/* Multiply by the first limb in V separately, as the result can be
* stored (not added) to PROD. We also avoid a loop for zeroing. */
v_limb = up[0]; if (v_limb <= 1) { if (v_limb == 1)
MPN_COPY(prodp, up, size); else
MPN_ZERO(prodp, size);
cy_limb = 0;
} else
cy_limb = mpihelp_mul_1(prodp, up, size, v_limb);
prodp[size] = cy_limb;
prodp++;
/* For each iteration in the outer loop, multiply one limb from
* U with one limb from V, and add it to PROD. */ for (i = 1; i < size; i++) {
v_limb = up[i]; if (v_limb <= 1) {
cy_limb = 0; if (v_limb == 1)
cy_limb = mpihelp_add_n(prodp, prodp, up, size);
} else
cy_limb = mpihelp_addmul_1(prodp, up, size, v_limb);
prodp[size] = cy_limb;
prodp++;
}
}
void
mpih_sqr_n(mpi_ptr_t prodp, mpi_ptr_t up, mpi_size_t size, mpi_ptr_t tspace)
{ if (size & 1) { /* The size is odd, and the code below doesn't handle that. *Multiplytheleastsignificant(size-1)limbswitharecursive *call,andhandlethemostsignificantlimbofS1andS2 *separately. *AslightlyfasterwaytodothiswouldbetomaketheKaratsuba *codebelowbehaveasifthesizewereeven,andletitcheckfor *oddsizeintheend.I.e.,inessencemovethiscodetotheend. *Doingsowouldsaveusarecursivecall,andpotentiallymakethe *stackgrowalotless.
*/
mpi_size_t esize = size - 1; /* even size */
mpi_limb_t cy_limb;
/* Product H. ________________ ________________ *|_____U1xU1____||____U0xU0_____| *PutresultinupperpartofPRODandpasslowpartofTSPACE *asnewTSPACE.
*/
MPN_SQR_N_RECURSE(prodp + size, up + hsize, hsize, tspace);
/* Product M. ________________ *|_(U1-U0)(U0-U1)_|
*/ if (mpihelp_cmp(up + hsize, up, hsize) >= 0)
mpihelp_sub_n(prodp, up + hsize, up, hsize); else
mpihelp_sub_n(prodp, up, up + hsize, hsize);
/* Read temporary operands from low part of PROD. *PutresultinlowpartofTSPACEusingupperpartofTSPACE
* as new TSPACE. */
MPN_SQR_N_RECURSE(tspace, prodp, hsize, tspace + size);
if (vsize < KARATSUBA_THRESHOLD) {
mpi_size_t i;
mpi_limb_t v_limb;
if (!vsize) {
*_result = 0; return0;
}
/* Multiply by the first limb in V separately, as the result can be
* stored (not added) to PROD. We also avoid a loop for zeroing. */
v_limb = vp[0]; if (v_limb <= 1) { if (v_limb == 1)
MPN_COPY(prodp, up, usize); else
MPN_ZERO(prodp, usize);
cy = 0;
} else
cy = mpihelp_mul_1(prodp, up, usize, v_limb);
prodp[usize] = cy;
prodp++;
/* For each iteration in the outer loop, multiply one limb from
* U with one limb from V, and add it to PROD. */ for (i = 1; i < vsize; i++) {
v_limb = vp[i]; if (v_limb <= 1) {
cy = 0; if (v_limb == 1)
cy = mpihelp_add_n(prodp, prodp, up,
usize);
} else
cy = mpihelp_addmul_1(prodp, up, usize, v_limb);
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.