/*
    Copyright (C) 2009, 2011 William Hart

    This file is part of FLINT.

    FLINT is free software: you can redistribute it and/or modify it under
    the terms of the GNU Lesser General Public License (LGPL) as published
    by the Free Software Foundation; either version 3 of the License, or
    (at your option) any later version.  See <https://www.gnu.org/licenses/>.
*/

#include "flint.h"
#include "ulong_extras.h"
#include "mpn_extras.h"
#include "fft.h"

int
main(void)
{
    flint_bitcnt_t depth, w;
    mp_size_t iters;
    double truncation;

    FLINT_TEST_INIT(state);

    flint_printf("mul_truncate_sqrt2....");
    fflush(stdout);


    _flint_rand_init_gmp(state);

    depth = 13;
    w = 1;
    iters = 1;
    truncation = 1.0;

    {
       mp_size_t n = (UWORD(1)<<depth);
       flint_bitcnt_t bits1 = (n*w - (depth + 1))/2;
       flint_bitcnt_t bits = 2*n*bits1;
       mp_size_t int_limbs = ((mp_size_t)(truncation*bits))/FLINT_BITS;
       mp_size_t j;
       mp_limb_t * i1, *i2, *r1; /* , *r2; */

       flint_printf("limbs = %wd\n", int_limbs);

       i1 = flint_malloc(6*int_limbs*sizeof(mp_limb_t));
       i2 = i1 + int_limbs;
       r1 = i2 + int_limbs;
       /* r2 = r1 + 2*int_limbs; */

       flint_mpn_urandomb(i1, state->gmp_state, int_limbs*FLINT_BITS);
       flint_mpn_urandomb(i2, state->gmp_state, int_limbs*FLINT_BITS);

       /* mpn_mul(r2, i1, int_limbs, i2, int_limbs); */
       for (j = 0; j < iters; j++)
          mul_truncate_sqrt2(r1, i1, int_limbs, i2, int_limbs, depth, w);

       flint_free(i1);
    }

    flint_randclear(state);

    flint_printf("done\n");
    return 0;
}
