ghc/rts/gmp/urandom.h

   1 /* urandom.h -- define urandom returning a full unsigned long random value.
   2
   3 Copyright (C) 1995, 1996 Free Software Foundation, Inc.
   4
   5 This file is part of the GNU MP Library.
   6
   7 The GNU MP Library is free software; you can redistribute it and/or modify
   8 it under the terms of the GNU Library General Public License as published by
   9 the Free Software Foundation; either version 2 of the License, or (at your
  10 option) any later version.
  11
  12 The GNU MP Library is distributed in the hope that it will be useful, but
  13 WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
  14 or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Library General Public
  15 License for more details.
  16
  17 You should have received a copy of the GNU Library General Public License
  18 along with the GNU MP Library; see the file COPYING.LIB.  If not, write to
  19 the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
  20 MA 02111-1307, USA. */
  21
  22 #if defined (__hpux) || defined (__svr4__) || defined (__SVR4)
  23 /* HPUX lacks random().  */
  24 static inline unsigned long
  25 urandom ()
  26 {
  27   return mrand48 ();
  28 }
  29 #define __URANDOM
  30 #endif
  31
  32 #if defined(_WIN32) && !(defined(__CYGWIN__) || defined(__CYGWIN32__))
  33 /* MS CRT supplies just the poxy rand(), with an upper bound of 0x7fff */
  34 static inline unsigned long
  35 urandom ()
  36 {
  37   return rand () ^ (rand () << 16) ^ (rand() << 32);
  38 }
  39 #define __URANDOM
  40 #endif
  41
  42 #if defined (__alpha) && !defined (__URANDOM)
  43 /* DEC OSF/1 1.2 random() returns a double.  */
  44 long mrand48 ();
  45 static inline unsigned long
  46 urandom ()
  47 {
  48   return mrand48 () | (mrand48 () << 32);
  49 }
  50 #define __URANDOM
  51 #endif
  52
  53 #if BITS_PER_MP_LIMB == 32 && !defined (__URANDOM)
  54 long random ();
  55 static inline unsigned long
  56 urandom ()
  57 {
  58   /* random() returns 31 bits, we want 32.  */
  59   return random () ^ (random () << 1);
  60 }
  61 #define __URANDOM
  62 #endif
  63
  64 #if BITS_PER_MP_LIMB == 64 && !defined (__URANDOM)
  65 long random ();
  66 static inline unsigned long
  67 urandom ()
  68 {
  69   /* random() returns 31 bits, we want 64.  */
  70   return random () ^ (random () << 31) ^ (random () << 62);
  71 }
  72 #define __URANDOM
  73 #endif
  74