Lines Matching defs:ftmp5
1240 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, ftmp6, x_out, y_out, z_out;
1271 /* ftmp5 = z1 + z2 */
1272 felem_assign(ftmp5, z1);
1273 felem_small_sum(ftmp5, z2);
1274 /* ftmp5[i] < 2^107 */
1276 /* ftmp5 = (z1 + z2)**2 - (z1z1 + z2z2) = 2z1z2 */
1277 felem_square(tmp, ftmp5);
1278 felem_reduce(ftmp5, tmp);
1282 felem_diff(ftmp5, ftmp2);
1283 /* ftmp5[i] < 2^105 + 2^101 < 2^106 */
1302 /* ftmp5 = 2z1z2 */
1303 felem_assign(ftmp5, z1);
1304 felem_scalar(ftmp5, 2);
1305 /* ftmp5[i] < 2*2^106 = 2^107 */
1323 /* z_out = ftmp5 * h */
1324 felem_small_mul(tmp, small4, ftmp5);
1334 felem_reduce(ftmp5, tmp);
1336 /* r = ftmp5 = (s2 - s1)*2 */
1337 felem_diff_zero107(ftmp5, ftmp6);
1338 /* ftmp5[i] < 2^107 + 2^107 = 2^108 */
1339 felem_scalar(ftmp5, 2);
1340 /* ftmp5[i] < 2^109 */
1341 felem_shrink(small1, ftmp5);