Lines Matching refs:Hacl_Bignum_Fmul_fmul
115 inline static void Hacl_Bignum_Fmul_fmul(uint64_t *output, uint64_t *input, uint64_t *input2) in Hacl_Bignum_Fmul_fmul() function
260 Hacl_Bignum_Fmul_fmul(b0, t00, z); in Hacl_Bignum_Crecip_crecip()
261 Hacl_Bignum_Fmul_fmul(a0, b0, a0); in Hacl_Bignum_Crecip_crecip()
263 Hacl_Bignum_Fmul_fmul(b0, t00, b0); in Hacl_Bignum_Crecip_crecip()
268 Hacl_Bignum_Fmul_fmul(b1, t01, b1); in Hacl_Bignum_Crecip_crecip()
270 Hacl_Bignum_Fmul_fmul(c0, t01, b1); in Hacl_Bignum_Crecip_crecip()
272 Hacl_Bignum_Fmul_fmul(t01, t01, c0); in Hacl_Bignum_Crecip_crecip()
274 Hacl_Bignum_Fmul_fmul(b1, t01, b1); in Hacl_Bignum_Crecip_crecip()
280 Hacl_Bignum_Fmul_fmul(c, t0, b); in Hacl_Bignum_Crecip_crecip()
282 Hacl_Bignum_Fmul_fmul(t0, t0, c); in Hacl_Bignum_Crecip_crecip()
284 Hacl_Bignum_Fmul_fmul(t0, t0, b); in Hacl_Bignum_Crecip_crecip()
286 Hacl_Bignum_Fmul_fmul(out, t0, a); in Hacl_Bignum_Crecip_crecip()
367 Hacl_Bignum_Fmul_fmul(output, a, b); in Hacl_Bignum_fmul()