Lines Matching refs:ftmp5
1109 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, ftmp6, x_out, y_out, z_out;
1139 /* ftmp5 = z1 + z2 */
1140 felem_assign(ftmp5, z1);
1141 felem_small_sum(ftmp5, z2);
1142 /* ftmp5[i] < 2^107 */
1144 /* ftmp5 = (z1 + z2)**2 - (z1z1 + z2z2) = 2z1z2 */
1145 felem_square(tmp, ftmp5);
1146 felem_reduce(ftmp5, tmp);
1150 felem_diff(ftmp5, ftmp2);
1151 /* ftmp5[i] < 2^105 + 2^101 < 2^106 */
1168 /* ftmp5 = 2z1z2 */
1169 felem_assign(ftmp5, z1);
1170 felem_scalar(ftmp5, 2);
1171 /* ftmp5[i] < 2*2^106 = 2^107 */
1189 /* z_out = ftmp5 * h */
1190 felem_small_mul(tmp, small4, ftmp5);
1200 felem_reduce(ftmp5, tmp);
1202 /* r = ftmp5 = (s2 - s1)*2 */
1203 felem_diff_zero107(ftmp5, ftmp6);
1204 /* ftmp5[i] < 2^107 + 2^107 = 2^108 */
1205 felem_scalar(ftmp5, 2);
1206 /* ftmp5[i] < 2^109 */
1207 felem_shrink(small1, ftmp5);
