15a83710eSEric Fiselier //===----------------------------------------------------------------------===//
25a83710eSEric Fiselier //
357b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
457b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
557b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
65a83710eSEric Fiselier //
75a83710eSEric Fiselier //===----------------------------------------------------------------------===//
85a83710eSEric Fiselier
95a83710eSEric Fiselier // <random>
105a83710eSEric Fiselier
115a83710eSEric Fiselier // template<class Engine, size_t w, class UIntType>
125a83710eSEric Fiselier // class independent_bits_engine
135a83710eSEric Fiselier
145a83710eSEric Fiselier // result_type operator()();
155a83710eSEric Fiselier
165a83710eSEric Fiselier #include <random>
175a83710eSEric Fiselier #include <cassert>
185a83710eSEric Fiselier
196b425407SEric Fiselier #include "test_macros.h"
206b425407SEric Fiselier
215a83710eSEric Fiselier template <class UIntType, UIntType Min, UIntType Max>
225a83710eSEric Fiselier class rand1
235a83710eSEric Fiselier {
245a83710eSEric Fiselier public:
255a83710eSEric Fiselier // types
265a83710eSEric Fiselier typedef UIntType result_type;
275a83710eSEric Fiselier
285a83710eSEric Fiselier private:
295a83710eSEric Fiselier result_type x_;
305a83710eSEric Fiselier
315a83710eSEric Fiselier static_assert(Min < Max, "rand1 invalid parameters");
325a83710eSEric Fiselier public:
335a83710eSEric Fiselier
346b425407SEric Fiselier #if TEST_STD_VER < 11 && defined(_LIBCPP_VERSION)
355a83710eSEric Fiselier // Workaround for lack of constexpr in C++03
365a83710eSEric Fiselier static const result_type _Min = Min;
375a83710eSEric Fiselier static const result_type _Max = Max;
385a83710eSEric Fiselier #endif
395a83710eSEric Fiselier
min()406b425407SEric Fiselier static TEST_CONSTEXPR result_type min() {return Min;}
max()416b425407SEric Fiselier static TEST_CONSTEXPR result_type max() {return Max;}
425a83710eSEric Fiselier
rand1(result_type sd=Min)435a83710eSEric Fiselier explicit rand1(result_type sd = Min) : x_(sd)
445a83710eSEric Fiselier {
455a83710eSEric Fiselier if (x_ > Max)
465a83710eSEric Fiselier x_ = Max;
475a83710eSEric Fiselier }
485a83710eSEric Fiselier
operator ()()495a83710eSEric Fiselier result_type operator()()
505a83710eSEric Fiselier {
515a83710eSEric Fiselier result_type r = x_;
525a83710eSEric Fiselier if (x_ < Max)
535a83710eSEric Fiselier ++x_;
545a83710eSEric Fiselier else
555a83710eSEric Fiselier x_ = Min;
565a83710eSEric Fiselier return r;
575a83710eSEric Fiselier }
585a83710eSEric Fiselier };
595a83710eSEric Fiselier
605a83710eSEric Fiselier void
test1()615a83710eSEric Fiselier test1()
625a83710eSEric Fiselier {
635a83710eSEric Fiselier typedef std::independent_bits_engine<rand1<unsigned, 0, 10>, 16, unsigned> E;
645a83710eSEric Fiselier
655a83710eSEric Fiselier E e;
665a83710eSEric Fiselier assert(e() == 6958);
675a83710eSEric Fiselier }
685a83710eSEric Fiselier
695a83710eSEric Fiselier void
test2()705a83710eSEric Fiselier test2()
715a83710eSEric Fiselier {
725a83710eSEric Fiselier typedef std::independent_bits_engine<rand1<unsigned, 0, 100>, 16, unsigned> E;
735a83710eSEric Fiselier
745a83710eSEric Fiselier E e;
755a83710eSEric Fiselier assert(e() == 66);
765a83710eSEric Fiselier }
775a83710eSEric Fiselier
785a83710eSEric Fiselier void
test3()795a83710eSEric Fiselier test3()
805a83710eSEric Fiselier {
815a83710eSEric Fiselier typedef std::independent_bits_engine<rand1<unsigned, 0, 0xFFFFFFFF>, 32, unsigned> E;
825a83710eSEric Fiselier
835a83710eSEric Fiselier E e(5);
845a83710eSEric Fiselier assert(e() == 5);
855a83710eSEric Fiselier }
865a83710eSEric Fiselier
875a83710eSEric Fiselier void
test4()885a83710eSEric Fiselier test4()
895a83710eSEric Fiselier {
905a83710eSEric Fiselier typedef std::independent_bits_engine<rand1<unsigned, 0, 0xFFFFFFFF>, 7, unsigned> E;
915a83710eSEric Fiselier
925a83710eSEric Fiselier E e(129);
935a83710eSEric Fiselier assert(e() == 1);
945a83710eSEric Fiselier }
955a83710eSEric Fiselier
965a83710eSEric Fiselier void
test5()975a83710eSEric Fiselier test5()
985a83710eSEric Fiselier {
995a83710eSEric Fiselier typedef std::independent_bits_engine<rand1<unsigned, 2, 3>, 1, unsigned> E;
1005a83710eSEric Fiselier
1015a83710eSEric Fiselier E e(6);
1025a83710eSEric Fiselier assert(e() == 1);
1035a83710eSEric Fiselier }
1045a83710eSEric Fiselier
1055a83710eSEric Fiselier void
test6()1065a83710eSEric Fiselier test6()
1075a83710eSEric Fiselier {
1085a83710eSEric Fiselier typedef std::independent_bits_engine<rand1<unsigned, 2, 3>, 11, unsigned> E;
1095a83710eSEric Fiselier
1105a83710eSEric Fiselier E e(6);
1115a83710eSEric Fiselier assert(e() == 1365);
1125a83710eSEric Fiselier }
1135a83710eSEric Fiselier
1145a83710eSEric Fiselier void
test7()1155a83710eSEric Fiselier test7()
1165a83710eSEric Fiselier {
1175a83710eSEric Fiselier typedef std::independent_bits_engine<rand1<unsigned, 2, 3>, 32, unsigned> E;
1185a83710eSEric Fiselier
1195a83710eSEric Fiselier E e(6);
1205a83710eSEric Fiselier assert(e() == 2863311530u);
1215a83710eSEric Fiselier }
1225a83710eSEric Fiselier
1235a83710eSEric Fiselier void
test8()1245a83710eSEric Fiselier test8()
1255a83710eSEric Fiselier {
1265a83710eSEric Fiselier typedef std::independent_bits_engine<std::mt19937, 64, unsigned long long> E;
1275a83710eSEric Fiselier
1285a83710eSEric Fiselier E e(6);
1295a83710eSEric Fiselier assert(e() == 16470362623952407241ull);
1305a83710eSEric Fiselier }
1315a83710eSEric Fiselier
main(int,char **)132*2df59c50SJF Bastien int main(int, char**)
1335a83710eSEric Fiselier {
1345a83710eSEric Fiselier test1();
1355a83710eSEric Fiselier test2();
1365a83710eSEric Fiselier test3();
1375a83710eSEric Fiselier test4();
1385a83710eSEric Fiselier test5();
1395a83710eSEric Fiselier test6();
1405a83710eSEric Fiselier test7();
1415a83710eSEric Fiselier test8();
142*2df59c50SJF Bastien
143*2df59c50SJF Bastien return 0;
1445a83710eSEric Fiselier }
145