mirror of
https://github.com/llvm-mirror/libcxx.git
synced 2025-10-24 12:02:36 +08:00
2917004aed
In C++11 mode and newer, use real static_asserts. In C++03 mode, min() and max() aren't constexpr, so use plain asserts. One test triggers MSVC's warning C4310 "cast truncates constant value". The code is valid, and yet the warning is valid, so I'm silencing it through push-disable-pop. git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@287391 91177308-0d34-0410-b5e6-96231b3b80d8
94 lines
2.4 KiB
C++
94 lines
2.4 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, UIntType a, UIntType c, UIntType m>
|
|
// class linear_congruential_engine
|
|
// {
|
|
// public:
|
|
// engine characteristics
|
|
// static constexpr result_type multiplier = a;
|
|
// static constexpr result_type increment = c;
|
|
// static constexpr result_type modulus = m;
|
|
// static constexpr result_type min() { return c == 0u ? 1u: 0u;}
|
|
// static constexpr result_type max() { return m - 1u;}
|
|
// static constexpr result_type default_seed = 1u;
|
|
|
|
#include <random>
|
|
#include <type_traits>
|
|
#include <cassert>
|
|
|
|
template <class _Tp>
|
|
void where(const _Tp &) {}
|
|
|
|
template <class T, T a, T c, T m>
|
|
void
|
|
test1()
|
|
{
|
|
typedef std::linear_congruential_engine<T, a, c, m> LCE;
|
|
typedef typename LCE::result_type result_type;
|
|
static_assert((LCE::multiplier == a), "");
|
|
static_assert((LCE::increment == c), "");
|
|
static_assert((LCE::modulus == m), "");
|
|
#if TEST_STD_VER >= 11
|
|
static_assert((LCE::min() == (c == 0u ? 1u: 0u)), "");
|
|
#else
|
|
assert((LCE::min() == (c == 0u ? 1u: 0u)));
|
|
#endif
|
|
|
|
#ifdef _MSC_VER
|
|
#pragma warning(push)
|
|
#pragma warning(disable: 4310) // cast truncates constant value
|
|
#endif // _MSC_VER
|
|
|
|
#if TEST_STD_VER >= 11
|
|
static_assert((LCE::max() == result_type(m - 1u)), "");
|
|
#else
|
|
assert((LCE::max() == result_type(m - 1u)));
|
|
#endif
|
|
|
|
#ifdef _MSC_VER
|
|
#pragma warning(pop)
|
|
#endif // _MSC_VER
|
|
|
|
static_assert((LCE::default_seed == 1), "");
|
|
where(LCE::multiplier);
|
|
where(LCE::increment);
|
|
where(LCE::modulus);
|
|
where(LCE::default_seed);
|
|
}
|
|
|
|
template <class T>
|
|
void
|
|
test()
|
|
{
|
|
test1<T, 0, 0, 0>();
|
|
test1<T, 0, 1, 2>();
|
|
test1<T, 1, 1, 2>();
|
|
const T M(~0);
|
|
test1<T, 0, 0, M>();
|
|
test1<T, 0, M-2, M>();
|
|
test1<T, 0, M-1, M>();
|
|
test1<T, M-2, 0, M>();
|
|
test1<T, M-2, M-2, M>();
|
|
test1<T, M-2, M-1, M>();
|
|
test1<T, M-1, 0, M>();
|
|
test1<T, M-1, M-2, M>();
|
|
test1<T, M-1, M-1, M>();
|
|
}
|
|
|
|
int main()
|
|
{
|
|
test<unsigned short>();
|
|
test<unsigned int>();
|
|
test<unsigned long>();
|
|
test<unsigned long long>();
|
|
}
|