762 	uint32_t t1[9], t2[9], t3[9], t4[9];  in p256_double()  local
800 	mul_f256(t4, Q->y, Q->z);  in p256_double()
801 	add_f256(Q->z, t4, t4);  in p256_double()
809 	square_f256(t4, t3);  in p256_double()
810 	add_f256(t4, t4, t4);  in p256_double()
811 	sub_f256(Q->y, Q->y, t4);  in p256_double()
861 	uint32_t t1[9], t2[9], t3[9], t4[9], t5[9], t6[9], t7[9];  in p256_add()  local
870 	mul_f256(t4, P2->z, t3);  in p256_add()
871 	mul_f256(t3, P1->y, t4);  in p256_add()
874 	 * Compute u2 = x2*z1^2 (in t2) and s2 = y2*z1^3 (in t4).  in p256_add()
876 	square_f256(t4, P1->z);  in p256_add()
877 	mul_f256(t2, P2->x, t4);  in p256_add()
878 	mul_f256(t5, P1->z, t4);  in p256_add()
879 	mul_f256(t4, P2->y, t5);  in p256_add()
882 	 * Compute h = h2 - u1 (in t2) and r = s2 - s1 (in t4).  in p256_add()
887 	sub_f256(t4, t4, t3);  in p256_add()
888 	reduce_final_f256(t4);  in p256_add()
891 		ret |= t4[i];  in p256_add()
905 	square_f256(P1->x, t4);  in p256_add()
914 	mul_f256(P1->y, t4, t6);  in p256_add()
972 	uint32_t t1[9], t2[9], t3[9], t4[9], t5[9], t6[9], t7[9];  in p256_add_mixed()  local
983 	 * Compute u2 = x2*z1^2 (in t2) and s2 = y2*z1^3 (in t4).  in p256_add_mixed()
985 	square_f256(t4, P1->z);  in p256_add_mixed()
986 	mul_f256(t2, P2->x, t4);  in p256_add_mixed()
987 	mul_f256(t5, P1->z, t4);  in p256_add_mixed()
988 	mul_f256(t4, P2->y, t5);  in p256_add_mixed()
991 	 * Compute h = h2 - u1 (in t2) and r = s2 - s1 (in t4).  in p256_add_mixed()
996 	sub_f256(t4, t4, t3);  in p256_add_mixed()
997 	reduce_final_f256(t4);  in p256_add_mixed()
1000 		ret |= t4[i];  in p256_add_mixed()
1014 	square_f256(P1->x, t4);  in p256_add_mixed()
1023 	mul_f256(P1->y, t4, t6);  in p256_add_mixed()