68 	mp_digit r0, r1, r2, r3, r4, r5, r6, r7;  in ec_GFp_nistp256_mod()  local
73 	mp_digit r0, r1, r2, r3;  in ec_GFp_nistp256_mod()  local
109 		r3 = MP_DIGIT(a,3);  in ec_GFp_nistp256_mod()
116 		MP_ADD_CARRY(r3, a11, r3, 0,     carry);  in ec_GFp_nistp256_mod()
122 		MP_ADD_CARRY(r3, a11, r3, 0,     carry);  in ec_GFp_nistp256_mod()
129 		MP_ADD_CARRY(r3, a12, r3, 0,     carry);  in ec_GFp_nistp256_mod()
139 		MP_ADD_CARRY(r3, a12, r3, carry, carry);  in ec_GFp_nistp256_mod()
153 		MP_ADD_CARRY(r3, a13, r3, carry, carry);  in ec_GFp_nistp256_mod()
163 		MP_SUB_BORROW(r3,   0, r3, carry, carry);  in ec_GFp_nistp256_mod()
173 		MP_SUB_BORROW(r3, a15, r3, carry, carry);  in ec_GFp_nistp256_mod()
183 		MP_SUB_BORROW(r3, a8,  r3, carry, carry);  in ec_GFp_nistp256_mod()
193 		MP_SUB_BORROW(r3, a9,  r3, carry, carry);  in ec_GFp_nistp256_mod()
206 			MP_ADD_CARRY(r3, -r8_d,        r3, carry, carry);  in ec_GFp_nistp256_mod()
220 			MP_SUB_BORROW(r3, -r8_d,        r3, carry, carry);  in ec_GFp_nistp256_mod()
237 		MP_DIGIT(r,3) = r3;  in ec_GFp_nistp256_mod()
245 			(r5 || r4 || r3 ||   in ec_GFp_nistp256_mod()
288 		r3 = MP_DIGIT(a,3);  in ec_GFp_nistp256_mod()
296 		MP_ADD_CARRY(r3, a7,        r3, carry, carry);  in ec_GFp_nistp256_mod()
300 		MP_ADD_CARRY(r3, a7,        r3, carry, carry);  in ec_GFp_nistp256_mod()
305 		MP_ADD_CARRY(r3, a7h,       r3, carry, carry);  in ec_GFp_nistp256_mod()
309 		MP_ADD_CARRY(r3, a7h,       r3, carry, carry);  in ec_GFp_nistp256_mod()
316 		MP_ADD_CARRY(r3, a7,        r3, carry, carry);  in ec_GFp_nistp256_mod()
322 		MP_ADD_CARRY(r3, a6h | a4l,     r3, carry, carry);  in ec_GFp_nistp256_mod()
328 		MP_SUB_BORROW(r3, (a4l>>32)|a5l,r3, carry, carry);  in ec_GFp_nistp256_mod()
334 		MP_SUB_BORROW(r3, a4h|(a5h<<32),r3, carry, carry);  in ec_GFp_nistp256_mod()
340 		MP_SUB_BORROW(r3, a6l,          r3, carry, carry);  in ec_GFp_nistp256_mod()
346 		MP_SUB_BORROW(r3, a6h<<32,      r3, carry, carry);  in ec_GFp_nistp256_mod()
356 			MP_ADD_CARRY(r3, r4l-r4_long-1,r3, carry, carry);  in ec_GFp_nistp256_mod()
367 			MP_SUB_BORROW(r3, r4l-r4_long-1,r3, carry, carry);  in ec_GFp_nistp256_mod()
377 		MP_DIGIT(r,3) = r3;  in ec_GFp_nistp256_mod()
383 		if ((r3 > 0xFFFFFFFF00000001ULL) ||  in ec_GFp_nistp256_mod()
384 			((r3 == 0xFFFFFFFF00000001ULL) &&   in ec_GFp_nistp256_mod()