777 	uint64_t t1[5], t2[5], t3[5], t4[5];  in p256_double()  local
815 	f256_montymul(t4, P->y, P->z);  in p256_double()
816 	f256_add(P->z, t4, t4);  in p256_double()
825 	f256_montysquare(t4, t3);  in p256_double()
826 	f256_add(t4, t4, t4);  in p256_double()
827 	f256_sub(P->y, P->y, t4);  in p256_double()
879 	uint64_t t1[5], t2[5], t3[5], t4[5], t5[5], t6[5], t7[5], tt;  in p256_add()  local
887 	f256_montymul(t4, P2->z, t3);  in p256_add()
888 	f256_montymul(t3, P1->y, t4);  in p256_add()
893 	f256_montysquare(t4, P1->z);  in p256_add()
894 	f256_montymul(t2, P2->x, t4);  in p256_add()
895 	f256_montymul(t5, P1->z, t4);  in p256_add()
896 	f256_montymul(t4, P2->y, t5);  in p256_add()
904 	f256_sub(t4, t4, t3);  in p256_add()
905 	f256_final_reduce(t4);  in p256_add()
906 	tt = t4[0] | t4[1] | t4[2] | t4[3] | t4[4];  in p256_add()
920 	f256_montysquare(P1->x, t4);  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
1003 	f256_montysquare(t4, P1->z);  in p256_add_mixed()
1004 	f256_montymul(t2, P2->x, t4);  in p256_add_mixed()
1005 	f256_montymul(t5, P1->z, t4);  in p256_add_mixed()
1006 	f256_montymul(t4, P2->y, t5);  in p256_add_mixed()
1014 	f256_sub(t4, t4, t3);  in p256_add_mixed()
1015 	f256_final_reduce(t4);  in p256_add_mixed()
1016 	tt = t4[0] | t4[1] | t4[2] | t4[3] | t4[4];  in p256_add_mixed()
1030 	f256_montysquare(P1->x, t4);  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;
1126 	f256_montysquare(t4, P1->z);
1127 	f256_montymul(t2, P2->x, t4);
1128 	f256_montymul(t5, P1->z, t4);
1129 	f256_montymul(t4, P2->y, t5);
1136 	f256_sub(t4, t4, t3);
1143 	f256_final_reduce(t4);
1145 		| t4[0] | t4[1] | t4[2] | t4[3] | t4[4];
1158 	f256_montysquare(P1->x, t4);
1167 	f256_montymul(P1->y, t4, t6);
1197 	f256_montysquare(t4, P2->x);
1198 	f256_sub(t4, t4, F256_R);
1199 	f256_add(t5, t4, t4);
1200 	f256_add(t4, t4, t5);
1205 	f256_montysquare(t5, t4);
1213 	f256_montymul(t6, t6, t4);