Lines Matching defs:ftmp3
1251 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, ftmp6, x_out, y_out, z_out;
1276 /* u1 = ftmp3 = x1*z2z2 */
1278 felem_reduce(ftmp3, tmp);
1279 /* ftmp3[i] < 2^101 */
1308 /* u1 = ftmp3 = x1*z2z2 */
1309 felem_assign(ftmp3, x1);
1310 /* ftmp3[i] < 2^106 */
1327 felem_diff_zero107(ftmp4, ftmp3);
1371 felem_mul(tmp, ftmp3, ftmp);
1377 felem_assign(ftmp3, ftmp4);
1385 felem_diff_zero107(ftmp3, x_out);
1386 /* ftmp3[i] < 2^107 + 2^101 < 2^108 */
1387 felem_small_mul(tmp, small1, ftmp3);