1bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===// 2bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 3f5256e16dfc425c1d466f6308d4026d529ce9e0bHoward Hinnant// The LLVM Compiler Infrastructure 4bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open 6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details. 7bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 8bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===// 9bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 10bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// <random> 11bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 12bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// template<class UIntType, size_t w, size_t s, size_t r> 13bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// class subtract_with_carry_engine 14bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// { 15bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// public: 16bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// // types 17bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// typedef UIntType result_type; 180e20cae1a5be18fba591cd884aa2a389b66a3f49Howard Hinnant// 19bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// // engine characteristics 20bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// static constexpr size_t word_size = w; 21bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// static constexpr size_t short_lag = s; 22bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// static constexpr size_t long_lag = r; 23bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// static constexpr result_type min() { return 0; } 24bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// static constexpr result_type max() { return m-1; } 25bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// static constexpr result_type default_seed = 19780503u; 26bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 27bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <random> 28bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <type_traits> 29bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <cassert> 30bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 310a69fa14d2f0521e45a72068c14fe573b140d48bHoward Hinnanttemplate <class _Tp> 320a69fa14d2f0521e45a72068c14fe573b140d48bHoward Hinnantvoid where(const _Tp &) {} 330a69fa14d2f0521e45a72068c14fe573b140d48bHoward Hinnant 34bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid 35bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest1() 36bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 37bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::ranlux24_base E; 38bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((E::word_size == 24), ""); 39bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((E::short_lag == 10), ""); 40bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((E::long_lag == 24), ""); 41bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant /*static_*/assert((E::min() == 0)/*, ""*/); 42bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant /*static_*/assert((E::max() == 0xFFFFFF)/*, ""*/); 43bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((E::default_seed == 19780503u), ""); 440a69fa14d2f0521e45a72068c14fe573b140d48bHoward Hinnant where(E::word_size); 450a69fa14d2f0521e45a72068c14fe573b140d48bHoward Hinnant where(E::short_lag); 460a69fa14d2f0521e45a72068c14fe573b140d48bHoward Hinnant where(E::long_lag); 470a69fa14d2f0521e45a72068c14fe573b140d48bHoward Hinnant where(E::default_seed); 48bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 49bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 50bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid 51bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest2() 52bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 53bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::ranlux48_base E; 54bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((E::word_size == 48), ""); 55bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((E::short_lag == 5), ""); 56bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((E::long_lag == 12), ""); 57bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant /*static_*/assert((E::min() == 0)/*, ""*/); 58bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant /*static_*/assert((E::max() == 0xFFFFFFFFFFFFull)/*, ""*/); 59bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant static_assert((E::default_seed == 19780503u), ""); 600a69fa14d2f0521e45a72068c14fe573b140d48bHoward Hinnant where(E::word_size); 610a69fa14d2f0521e45a72068c14fe573b140d48bHoward Hinnant where(E::short_lag); 620a69fa14d2f0521e45a72068c14fe573b140d48bHoward Hinnant where(E::long_lag); 630a69fa14d2f0521e45a72068c14fe573b140d48bHoward Hinnant where(E::default_seed); 64bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 65bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 66bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main() 67bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 68bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test1(); 69bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test2(); 70bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 71