Lines Matching refs:t01
251 uint64_t *t01;
265 t01 = buf + (uint32_t)5U;
268 Hacl_Bignum_Fmul_fmul(b1, t01, b1);
269 Hacl_Bignum_Fsquare_fsquare_times(t01, b1, (uint32_t)10U);
270 Hacl_Bignum_Fmul_fmul(c0, t01, b1);
271 Hacl_Bignum_Fsquare_fsquare_times(t01, c0, (uint32_t)20U);
272 Hacl_Bignum_Fmul_fmul(t01, t01, c0);
273 Hacl_Bignum_Fsquare_fsquare_times_inplace(t01, (uint32_t)10U);
274 Hacl_Bignum_Fmul_fmul(b1, t01, b1);
275 Hacl_Bignum_Fsquare_fsquare_times(t01, b1, (uint32_t)50U);