test/std/numerics/rand/rand.adapt/rand.adapt.disc/values.pass.cpp

   1 //===----------------------------------------------------------------------===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is dual licensed under the MIT and the University of Illinois Open
   6 // Source Licenses. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9
  10 // <random>
  11
  12 // template<class Engine, size_t p, size_t r>
  13 // class discard_block_engine
  14 // {
  15 // public:
  16 //     // types
  17 //     typedef typename Engine::result_type result_type;
  18 //
  19 //     // engine characteristics
  20 //     static constexpr size_t block_size = p;
  21 //     static constexpr size_t used_block = r;
  22 //     static constexpr result_type min() { return Engine::min(); }
  23 //     static constexpr result_type max() { return Engine::max(); }
  24
  25 #include <random>
  26 #include <type_traits>
  27 #include <cassert>
  28
  29 template <class _Tp>
  30 void where(const _Tp &) {}
  31
  32 void
  33 test1()
  34 {
  35     typedef std::ranlux24 E;
  36     static_assert((E::block_size == 223), "");
  37     static_assert((E::used_block == 23), "");
  38 #if TEST_STD_VER >= 11
  39     static_assert((E::min() == 0), "");
  40     static_assert((E::max() == 0xFFFFFF), "");
  41 #else
  42     assert((E::min() == 0));
  43     assert((E::max() == 0xFFFFFF));
  44 #endif
  45     where(E::block_size);
  46     where(E::used_block);
  47 }
  48
  49 void
  50 test2()
  51 {
  52     typedef std::ranlux48 E;
  53     static_assert((E::block_size == 389), "");
  54     static_assert((E::used_block == 11), "");
  55 #if TEST_STD_VER >= 11
  56     static_assert((E::min() == 0), "");
  57     static_assert((E::max() == 0xFFFFFFFFFFFFull), "");
  58 #else
  59     assert((E::min() == 0));
  60     assert((E::max() == 0xFFFFFFFFFFFFull));
  61 #endif
  62     where(E::block_size);
  63     where(E::used_block);
  64 }
  65
  66 int main()
  67 {
  68     test1();
  69     test2();
  70 }