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, UIntType a, UIntType c, UIntType m> 13bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// class linear_congruential_engine; 14bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 15bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// explicit linear_congruential_engine(result_type s = default_seed); 16bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 17bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <random> 18bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <sstream> 19bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <cassert> 20bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 21bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class T> 22bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid 23bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest1() 24bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 25bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant // c % m != 0 && s % m != 0 26bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant { 27bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::linear_congruential_engine<T, 2, 3, 7> E; 28bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant E e(5); 29bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::ostringstream os; 30bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant os << e; 31bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(os.str() == "5"); 32bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant } 33bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant { 34bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::linear_congruential_engine<T, 2, 3, 0> E; 35bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant E e(5); 36bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::ostringstream os; 37bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant os << e; 38bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(os.str() == "5"); 39bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant } 40bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant { 41bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::linear_congruential_engine<T, 2, 3, 4> E; 42bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant E e(5); 43bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::ostringstream os; 44bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant os << e; 45bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(os.str() == "1"); 46bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant } 47bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 48bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 49bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class T> 50bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid 51bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest2() 52bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 53bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant // c % m != 0 && s % m == 0 54bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant { 55bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::linear_congruential_engine<T, 2, 3, 7> E; 56bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant E e(7); 57bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::ostringstream os; 58bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant os << e; 59bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(os.str() == "0"); 60bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant } 61bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant { 62bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::linear_congruential_engine<T, 2, 3, 0> E; 63bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant E e(0); 64bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::ostringstream os; 65bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant os << e; 66bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(os.str() == "0"); 67bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant } 68bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant { 69bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::linear_congruential_engine<T, 2, 3, 4> E; 70bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant E e(4); 71bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::ostringstream os; 72bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant os << e; 73bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(os.str() == "0"); 74bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant } 75bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 76bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 77bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class T> 78bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid 79bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest3() 80bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 81bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant // c % m == 0 && s % m != 0 82bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant { 83bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::linear_congruential_engine<T, 2, 0, 7> E; 84bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant E e(3); 85bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::ostringstream os; 86bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant os << e; 87bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(os.str() == "3"); 88bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant } 89bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant { 90bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::linear_congruential_engine<T, 2, 0, 0> E; 91bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant E e(5); 92bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::ostringstream os; 93bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant os << e; 94bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(os.str() == "5"); 95bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant } 96bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant { 97bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::linear_congruential_engine<T, 2, 0, 4> E; 98bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant E e(7); 99bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::ostringstream os; 100bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant os << e; 101bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(os.str() == "3"); 102bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant } 103bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 104bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 105bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class T> 106bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid 107bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest4() 108bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 109bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant // c % m == 0 && s % m == 0 110bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant { 111bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::linear_congruential_engine<T, 2, 0, 7> E; 112bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant E e(7); 113bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::ostringstream os; 114bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant os << e; 115bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(os.str() == "1"); 116bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant } 117bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant { 118bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::linear_congruential_engine<T, 2, 0, 0> E; 119bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant E e(0); 120bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::ostringstream os; 121bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant os << e; 122bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(os.str() == "1"); 123bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant } 124bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant { 125bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant typedef std::linear_congruential_engine<T, 2, 0, 4> E; 126bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant E e(8); 127bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant std::ostringstream os; 128bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant os << e; 129bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(os.str() == "1"); 130bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant } 131bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 132bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 133bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main() 134bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 135bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test1<unsigned short>(); 136bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test1<unsigned int>(); 137bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test1<unsigned long>(); 138bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test1<unsigned long long>(); 139bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 140bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test2<unsigned short>(); 141bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test2<unsigned int>(); 142bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test2<unsigned long>(); 143bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test2<unsigned long long>(); 144bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 145bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test3<unsigned short>(); 146bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test3<unsigned int>(); 147bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test3<unsigned long>(); 148bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test3<unsigned long long>(); 149bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 150bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test4<unsigned short>(); 151bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test4<unsigned int>(); 152bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test4<unsigned long>(); 153bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test4<unsigned long long>(); 154bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 155