 b64f8b07c1
			
		
	
	b64f8b07c1
	
	
	
		
			
			git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@119395 91177308-0d34-0410-b5e6-96231b3b80d8
		
			
				
	
	
		
			60 lines
		
	
	
		
			1.6 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
			
		
		
	
	
			60 lines
		
	
	
		
			1.6 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
| //===----------------------------------------------------------------------===//
 | |
| //
 | |
| //                     The LLVM Compiler Infrastructure
 | |
| //
 | |
| // This file is dual licensed under the MIT and the University of Illinois Open
 | |
| // Source Licenses. See LICENSE.TXT for details.
 | |
| //
 | |
| //===----------------------------------------------------------------------===//
 | |
| 
 | |
| // <random>
 | |
| 
 | |
| // template<class UIntType, size_t w, size_t s, size_t r>
 | |
| // class subtract_with_carry_engine
 | |
| // {
 | |
| // public:
 | |
| //     // types
 | |
| //     typedef UIntType result_type;
 | |
| //
 | |
| //     // engine characteristics
 | |
| //     static constexpr size_t word_size = w;
 | |
| //     static constexpr size_t short_lag = s;
 | |
| //     static constexpr size_t long_lag = r;
 | |
| //     static constexpr result_type min() { return 0; }
 | |
| //     static constexpr result_type max() { return m-1; }
 | |
| //     static constexpr result_type default_seed = 19780503u;
 | |
| 
 | |
| #include <random>
 | |
| #include <type_traits>
 | |
| #include <cassert>
 | |
| 
 | |
| void
 | |
| test1()
 | |
| {
 | |
|     typedef std::ranlux24_base E;
 | |
|     static_assert((E::word_size == 24), "");
 | |
|     static_assert((E::short_lag == 10), "");
 | |
|     static_assert((E::long_lag == 24), "");
 | |
|     /*static_*/assert((E::min() == 0)/*, ""*/);
 | |
|     /*static_*/assert((E::max() == 0xFFFFFF)/*, ""*/);
 | |
|     static_assert((E::default_seed == 19780503u), "");
 | |
| }
 | |
| 
 | |
| void
 | |
| test2()
 | |
| {
 | |
|     typedef std::ranlux48_base E;
 | |
|     static_assert((E::word_size == 48), "");
 | |
|     static_assert((E::short_lag == 5), "");
 | |
|     static_assert((E::long_lag == 12), "");
 | |
|     /*static_*/assert((E::min() == 0)/*, ""*/);
 | |
|     /*static_*/assert((E::max() == 0xFFFFFFFFFFFFull)/*, ""*/);
 | |
|     static_assert((E::default_seed == 19780503u), "");
 | |
| }
 | |
| 
 | |
| int main()
 | |
| {
 | |
|     test1();
 | |
|     test2();
 | |
| }
 |