186d7f5d3SJohn Marino /* mpn_random -- Generate random numbers.
286d7f5d3SJohn Marino
386d7f5d3SJohn Marino Copyright 2001, 2002 Free Software Foundation, Inc.
486d7f5d3SJohn Marino
586d7f5d3SJohn Marino This file is part of the GNU MP Library.
686d7f5d3SJohn Marino
786d7f5d3SJohn Marino The GNU MP Library is free software; you can redistribute it and/or modify
886d7f5d3SJohn Marino it under the terms of the GNU Lesser General Public License as published by
986d7f5d3SJohn Marino the Free Software Foundation; either version 3 of the License, or (at your
1086d7f5d3SJohn Marino option) any later version.
1186d7f5d3SJohn Marino
1286d7f5d3SJohn Marino The GNU MP Library is distributed in the hope that it will be useful, but
1386d7f5d3SJohn Marino WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
1486d7f5d3SJohn Marino or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
1586d7f5d3SJohn Marino License for more details.
1686d7f5d3SJohn Marino
1786d7f5d3SJohn Marino You should have received a copy of the GNU Lesser General Public License
1886d7f5d3SJohn Marino along with the GNU MP Library. If not, see http://www.gnu.org/licenses/. */
1986d7f5d3SJohn Marino
2086d7f5d3SJohn Marino #include "gmp.h"
2186d7f5d3SJohn Marino #include "gmp-impl.h"
2286d7f5d3SJohn Marino
2386d7f5d3SJohn Marino void
mpn_random(mp_ptr ptr,mp_size_t size)2486d7f5d3SJohn Marino mpn_random (mp_ptr ptr, mp_size_t size)
2586d7f5d3SJohn Marino {
2686d7f5d3SJohn Marino gmp_randstate_ptr rands;
2786d7f5d3SJohn Marino
2886d7f5d3SJohn Marino /* FIXME: Is size==0 supposed to be allowed? */
2986d7f5d3SJohn Marino ASSERT (size >= 0);
3086d7f5d3SJohn Marino
3186d7f5d3SJohn Marino if (size == 0)
3286d7f5d3SJohn Marino return;
3386d7f5d3SJohn Marino
3486d7f5d3SJohn Marino rands = RANDS;
3586d7f5d3SJohn Marino _gmp_rand (ptr, rands, size * GMP_NUMB_BITS);
3686d7f5d3SJohn Marino
3786d7f5d3SJohn Marino /* Make sure the most significant limb is non-zero. */
3886d7f5d3SJohn Marino while (ptr[size-1] == 0)
3986d7f5d3SJohn Marino _gmp_rand (&ptr[size-1], rands, GMP_NUMB_BITS);
4086d7f5d3SJohn Marino }
41