Lines Matching defs:tmp2
495 limb tmp0, tmp1, tmp2;
498 tmp2 = 2 * in[2];
501 out[2] = ((widelimb) in[0]) * tmp2 + ((widelimb) in[1]) * in[1];
502 out[3] = ((widelimb) in[3]) * tmp0 + ((widelimb) in[1]) * tmp2;
504 out[5] = ((widelimb) in[3]) * tmp2;
822 widefelem tmp, tmp2;
880 felem_square(tmp2, gamma);
881 /* tmp2[i] < 4 * 2^57 * 2^57 = 2^116 */
882 widefelem_scalar(tmp2, 8);
883 /* tmp2[i] < 8 * 2^116 = 2^119 */
884 widefelem_diff(tmp, tmp2);
913 widefelem tmp, tmp2;
927 felem_mul(tmp2, ftmp4, y1);
928 felem_reduce(ftmp4, tmp2);
931 felem_mul(tmp2, ftmp2, x1);
932 felem_reduce(ftmp2, tmp2);
1041 /* tmp2 = (z1^3*y2 - z2^3*y1)^2 */
1042 felem_square(tmp2, ftmp3);
1043 /* tmp2[i] < 4 * 2^57 * 2^57 < 2^116 */
1045 /* tmp2 = (z1^3*y2 - z2^3*y1)^2 - (z1^2*x2 - z2^2*x1)^3 */
1046 felem_diff_128_64(tmp2, ftmp5);
1047 /* tmp2[i] < 2^116 + 2^64 + 8 < 2^117 */
1058 felem_diff_128_64(tmp2, ftmp5);
1059 /* tmp2[i] < 2^117 + 2^64 + 8 < 2^118 */
1060 felem_reduce(x_out, tmp2);
1067 * tmp2 = (z1^3*y2 - z2^3*y1)*(z2^2*x1*(z1^2*x2 - z2^2*x1)^2 - x_out)
1069 felem_mul(tmp2, ftmp3, ftmp2);
1070 /* tmp2[i] < 4 * 2^57 * 2^59 = 2^118 */
1076 widefelem_diff(tmp2, tmp);
1077 /* tmp2[i] < 2^118 + 2^120 < 2^121 */
1078 felem_reduce(y_out, tmp2);