Lines Matching defs:ftmp3
1240 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, ftmp6, x_out, y_out, z_out;
1266 /* u1 = ftmp3 = x1*z2z2 */
1268 felem_reduce(ftmp3, tmp);
1269 /* ftmp3[i] < 2^101 */
1298 /* u1 = ftmp3 = x1*z2z2 */
1299 felem_assign(ftmp3, x1);
1300 /* ftmp3[i] < 2^106 */
1317 felem_diff_zero107(ftmp4, ftmp3);
1380 felem_mul(tmp, ftmp3, ftmp);
1386 felem_assign(ftmp3, ftmp4);
1394 felem_diff_zero107(ftmp3, x_out);
1395 /* ftmp3[i] < 2^107 + 2^101 < 2^108 */
1396 felem_small_mul(tmp, small1, ftmp3);