879 	uint64_t t1[5], t2[5], t3[5], t4[5], t5[5], t6[5], t7[5], tt;  in p256_add()  local
914 	f256_montymul(t6, t1, t7);  in p256_add()
922 	f256_sub(P1->x, P1->x, t6);  in p256_add()
923 	f256_sub(P1->x, P1->x, t6);  in p256_add()
928 	f256_sub(t6, t6, P1->x);  in p256_add()
929 	f256_montymul(P1->y, t4, t6);  in p256_add()
991 	uint64_t t1[5], t2[5], t3[5], t4[5], t5[5], t6[5], t7[5], tt;  in p256_add_mixed()  local
1024 	f256_montymul(t6, t1, t7);  in p256_add_mixed()
1032 	f256_sub(P1->x, P1->x, t6);  in p256_add_mixed()
1033 	f256_sub(P1->x, P1->x, t6);  in p256_add_mixed()
1038 	f256_sub(t6, t6, P1->x);  in p256_add_mixed()
1039 	f256_montymul(P1->y, t4, t6);  in p256_add_mixed()
1108 	uint64_t t1[5], t2[5], t3[5], t4[5], t5[5], t6[5], t7[5], tt, zz;
1152 	f256_montymul(t6, t1, t7);
1160 	f256_sub(P1->x, P1->x, t6);
1161 	f256_sub(P1->x, P1->x, t6);
1166 	f256_sub(t6, t6, P1->x);
1167 	f256_montymul(P1->y, t4, t6);
1212 	f256_sub(t6, t3, t5);
1213 	f256_montymul(t6, t6, t4);
1215 	f256_sub(t6, t6, t7);
1216 	f256_sub(t6, t6, t7);
1224 		P1->y[i] |= tt & t6[i];