Lines Matching refs:r
217 ec_GFp_add(const mp_int *a, const mp_int *b, mp_int *r,
220 /* PRE: 0 <= a, b < p = meth->irr POST: 0 <= r < p, r = a + b (mod p) */
223 if ((res = mp_add(a, b, r)) != MP_OKAY) {
226 if (mp_cmp(r, &meth->irr) >= 0) {
227 return mp_sub(r, &meth->irr, r);
234 ec_GFp_neg(const mp_int *a, mp_int *r, const GFMethod *meth)
236 /* PRE: 0 <= a < p = meth->irr POST: 0 <= r < p, r = -a (mod p) */
239 mp_zero(r);
242 return mp_sub(&meth->irr, a, r);
247 ec_GFp_sub(const mp_int *a, const mp_int *b, mp_int *r,
252 /* PRE: 0 <= a, b < p = meth->irr POST: 0 <= r < p, r = a - b (mod p) */
253 res = mp_sub(a, b, r);
255 MP_CHECKOK(mp_sub(b, a, r));
256 if (mp_cmp_z(r) < 0) {
257 MP_CHECKOK(mp_add(r, &meth->irr, r));
259 MP_CHECKOK(ec_GFp_neg(r, r, meth));
261 if (mp_cmp_z(r) < 0) {
262 MP_CHECKOK(mp_add(r, &meth->irr, r));
272 ec_GFp_add_3(const mp_int *a, const mp_int *b, mp_int *r,
308 : "=r"(r0), "=r"(r1), "=r"(r2), "=r"(carry)
309 : "r" (a0), "r" (a1), "r" (a2),
314 MP_CHECKOK(s_mp_pad(r, 3));
315 MP_DIGIT(r, 2) = r2;
316 MP_DIGIT(r, 1) = r1;
317 MP_DIGIT(r, 0) = r0;
318 MP_SIGN(r) = MP_ZPOS;
319 MP_USED(r) = 3;
325 ((r2 == a2) && mp_cmp(r,&meth->irr) != MP_LT)) {
337 : "=r"(r0), "=r"(r1), "=r"(r2)
338 : "r" (a0), "r" (a1), "r" (a2),
342 MP_DIGIT(r, 2) = r2;
343 MP_DIGIT(r, 1) = r1;
344 MP_DIGIT(r, 0) = r0;
347 s_mp_clamp(r);
355 ec_GFp_add_4(const mp_int *a, const mp_int *b, mp_int *r,
397 : "=r"(r0), "=r"(r1), "=r"(r2), "=r"(r3), "=r"(carry)
398 : "r" (a0), "r" (a1), "r" (a2), "r" (a3),
403 MP_CHECKOK(s_mp_pad(r, 4));
404 MP_DIGIT(r, 3) = r3;
405 MP_DIGIT(r, 2) = r2;
406 MP_DIGIT(r, 1) = r1;
407 MP_DIGIT(r, 0) = r0;
408 MP_SIGN(r) = MP_ZPOS;
409 MP_USED(r) = 4;
415 ((r3 == a3) && mp_cmp(r,&meth->irr) != MP_LT)) {
430 : "=r"(r0), "=r"(r1), "=r"(r2), "=r"(r3)
431 : "r" (a0), "r" (a1), "r" (a2), "r" (a3),
435 MP_DIGIT(r, 3) = r3;
436 MP_DIGIT(r, 2) = r2;
437 MP_DIGIT(r, 1) = r1;
438 MP_DIGIT(r, 0) = r0;
441 s_mp_clamp(r);
449 ec_GFp_add_5(const mp_int *a, const mp_int *b, mp_int *r,
488 MP_CHECKOK(s_mp_pad(r, 5));
489 MP_DIGIT(r, 4) = r4;
490 MP_DIGIT(r, 3) = r3;
491 MP_DIGIT(r, 2) = r2;
492 MP_DIGIT(r, 1) = r1;
493 MP_DIGIT(r, 0) = r0;
494 MP_SIGN(r) = MP_ZPOS;
495 MP_USED(r) = 5;
501 ((r4 == a4) && mp_cmp(r,&meth->irr) != MP_LT)) {
511 MP_DIGIT(r, 4) = r4;
512 MP_DIGIT(r, 3) = r3;
513 MP_DIGIT(r, 2) = r2;
514 MP_DIGIT(r, 1) = r1;
515 MP_DIGIT(r, 0) = r0;
518 s_mp_clamp(r);
526 ec_GFp_add_6(const mp_int *a, const mp_int *b, mp_int *r,
570 MP_CHECKOK(s_mp_pad(r, 6));
571 MP_DIGIT(r, 5) = r5;
572 MP_DIGIT(r, 4) = r4;
573 MP_DIGIT(r, 3) = r3;
574 MP_DIGIT(r, 2) = r2;
575 MP_DIGIT(r, 1) = r1;
576 MP_DIGIT(r, 0) = r0;
577 MP_SIGN(r) = MP_ZPOS;
578 MP_USED(r) = 6;
584 ((r5 == a5) && mp_cmp(r,&meth->irr) != MP_LT)) {
596 MP_DIGIT(r, 5) = r5;
597 MP_DIGIT(r, 4) = r4;
598 MP_DIGIT(r, 3) = r3;
599 MP_DIGIT(r, 2) = r2;
600 MP_DIGIT(r, 1) = r1;
601 MP_DIGIT(r, 0) = r0;
604 s_mp_clamp(r);
617 ec_GFp_sub_3(const mp_int *a, const mp_int *b, mp_int *r,
653 : "=r"(r0), "=r"(r1), "=r"(r2), "=r" (borrow)
654 : "r" (b0), "r" (b1), "r" (b2),
674 : "=r"(r0), "=r"(r1), "=r"(r2)
675 : "r" (b0), "r" (b1), "r" (b2),
684 MP_CHECKOK(s_mp_pad(r, 4));
687 MP_CHECKOK(s_mp_pad(r, 3));
688 MP_DIGIT(r, 2) = r2;
689 MP_DIGIT(r, 1) = r1;
690 MP_DIGIT(r, 0) = r0;
691 MP_SIGN(r) = MP_ZPOS;
692 MP_USED(r) = 3;
693 s_mp_clamp(r);
701 ec_GFp_sub_4(const mp_int *a, const mp_int *b, mp_int *r,
743 : "=r"(r0), "=r"(r1), "=r"(r2), "=r"(r3), "=r" (borrow)
744 : "r" (b0), "r" (b1), "r" (b2), "r" (b3),
767 : "=r"(r0), "=r"(r1), "=r"(r2), "=r"(r3)
768 : "r" (b0), "r" (b1), "r" (b2), "r" (b3),
776 MP_CHECKOK(s_mp_pad(r, 4));
779 MP_CHECKOK(s_mp_pad(r, 4));
780 MP_DIGIT(r, 3) = r3;
781 MP_DIGIT(r, 2) = r2;
782 MP_DIGIT(r, 1) = r1;
783 MP_DIGIT(r, 0) = r0;
784 MP_SIGN(r) = MP_ZPOS;
785 MP_USED(r) = 4;
786 s_mp_clamp(r);
794 ec_GFp_sub_5(const mp_int *a, const mp_int *b, mp_int *r,
846 MP_CHECKOK(s_mp_pad(r, 5));
847 MP_DIGIT(r, 4) = r4;
848 MP_DIGIT(r, 3) = r3;
849 MP_DIGIT(r, 2) = r2;
850 MP_DIGIT(r, 1) = r1;
851 MP_DIGIT(r, 0) = r0;
852 MP_SIGN(r) = MP_ZPOS;
853 MP_USED(r) = 5;
854 s_mp_clamp(r);
862 ec_GFp_sub_6(const mp_int *a, const mp_int *b, mp_int *r,
922 MP_CHECKOK(s_mp_pad(r, 6));
923 MP_DIGIT(r, 5) = r5;
924 MP_DIGIT(r, 4) = r4;
925 MP_DIGIT(r, 3) = r3;
926 MP_DIGIT(r, 2) = r2;
927 MP_DIGIT(r, 1) = r1;
928 MP_DIGIT(r, 0) = r0;
929 MP_SIGN(r) = MP_ZPOS;
930 MP_USED(r) = 6;
931 s_mp_clamp(r);
940 ec_GFp_mod(const mp_int *a, mp_int *r, const GFMethod *meth)
942 return mp_mod(a, &meth->irr, r);
947 ec_GFp_mul(const mp_int *a, const mp_int *b, mp_int *r,
950 return mp_mulmod(a, b, &meth->irr, r);
955 ec_GFp_sqr(const mp_int *a, mp_int *r, const GFMethod *meth)
957 return mp_sqrmod(a, &meth->irr, r);
963 ec_GFp_div(const mp_int *a, const mp_int *b, mp_int *r,
971 return mp_invmod(b, &meth->irr, r);
977 MP_CHECKOK(mp_mulmod(a, &t, &meth->irr, r));
988 ec_GF2m_add(const mp_int *a, const mp_int *b, mp_int *r,
991 return mp_badd(a, b, r);
997 ec_GF2m_neg(const mp_int *a, mp_int *r, const GFMethod *meth)
999 if (a == r) {
1002 return mp_copy(a, r);
1008 ec_GF2m_mod(const mp_int *a, mp_int *r, const GFMethod *meth)
1010 return mp_bmod(a, meth->irr_arr, r);
1015 ec_GF2m_mul(const mp_int *a, const mp_int *b, mp_int *r,
1018 return mp_bmulmod(a, b, meth->irr_arr, r);
1023 ec_GF2m_sqr(const mp_int *a, mp_int *r, const GFMethod *meth)
1025 return mp_bsqrmod(a, meth->irr_arr, r);
1031 ec_GF2m_div(const mp_int *a, const mp_int *b, mp_int *r,
1043 MP_CHECKOK(mp_bdivmod(&t, b, &meth->irr, meth->irr_arr, r));
1048 return mp_bdivmod(a, b, &meth->irr, meth->irr_arr, r);