]>
git.proxmox.com Git - ceph.git/blob - ceph/src/boost/libs/mp11/test/mp_rotate_right.cpp
2 // Copyright 2015 Peter Dimov.
4 // Distributed under the Boost Software License, Version 1.0.
6 // See accompanying file LICENSE_1_0.txt or copy at
7 // http://www.boost.org/LICENSE_1_0.txt
10 #include <boost/mp11/algorithm.hpp>
11 #include <boost/mp11/list.hpp>
12 #include <boost/mp11/integral.hpp>
13 #include <boost/core/lightweight_test_trait.hpp>
14 #include <type_traits>
26 using boost::mp11::mp_list
;
27 using boost::mp11::mp_rotate_right
;
28 using boost::mp11::mp_rotate_right_c
;
29 using boost::mp11::mp_size_t
;
34 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L1
, 0>, L1
>));
35 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L1
, 1>, L1
>));
36 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L1
, 2>, L1
>));
37 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L1
, 3>, L1
>));
38 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L1
, 4>, L1
>));
40 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L1
, mp_size_t
<0>>, L1
>));
41 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L1
, mp_size_t
<1>>, L1
>));
42 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L1
, mp_size_t
<2>>, L1
>));
43 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L1
, mp_size_t
<3>>, L1
>));
44 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L1
, mp_size_t
<4>>, L1
>));
46 using L2
= mp_list
<X1
, X2
, X3
, X4
, X5
>;
48 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L2
, 0>, mp_list
<X1
, X2
, X3
, X4
, X5
>>));
49 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L2
, 1>, mp_list
<X5
, X1
, X2
, X3
, X4
>>));
50 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L2
, 2>, mp_list
<X4
, X5
, X1
, X2
, X3
>>));
51 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L2
, 3>, mp_list
<X3
, X4
, X5
, X1
, X2
>>));
52 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L2
, 4>, mp_list
<X2
, X3
, X4
, X5
, X1
>>));
53 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L2
, 5>, mp_list
<X1
, X2
, X3
, X4
, X5
>>));
54 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L2
, 6>, mp_list
<X5
, X1
, X2
, X3
, X4
>>));
55 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L2
, 7>, mp_list
<X4
, X5
, X1
, X2
, X3
>>));
56 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L2
, 8>, mp_list
<X3
, X4
, X5
, X1
, X2
>>));
57 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L2
, 9>, mp_list
<X2
, X3
, X4
, X5
, X1
>>));
58 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L2
, 10>, mp_list
<X1
, X2
, X3
, X4
, X5
>>));
60 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L2
, mp_size_t
<0>>, mp_list
<X1
, X2
, X3
, X4
, X5
>>));
61 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L2
, mp_size_t
<1>>, mp_list
<X5
, X1
, X2
, X3
, X4
>>));
62 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L2
, mp_size_t
<2>>, mp_list
<X4
, X5
, X1
, X2
, X3
>>));
63 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L2
, mp_size_t
<3>>, mp_list
<X3
, X4
, X5
, X1
, X2
>>));
64 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L2
, mp_size_t
<4>>, mp_list
<X2
, X3
, X4
, X5
, X1
>>));
65 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L2
, mp_size_t
<5>>, mp_list
<X1
, X2
, X3
, X4
, X5
>>));
66 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L2
, mp_size_t
<6>>, mp_list
<X5
, X1
, X2
, X3
, X4
>>));
67 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L2
, mp_size_t
<7>>, mp_list
<X4
, X5
, X1
, X2
, X3
>>));
68 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L2
, mp_size_t
<8>>, mp_list
<X3
, X4
, X5
, X1
, X2
>>));
69 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L2
, mp_size_t
<9>>, mp_list
<X2
, X3
, X4
, X5
, X1
>>));
70 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L2
, mp_size_t
<10>>, mp_list
<X1
, X2
, X3
, X4
, X5
>>));
74 using L1
= std::tuple
<>;
76 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L1
, 0>, L1
>));
77 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L1
, 1>, L1
>));
78 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L1
, 2>, L1
>));
79 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L1
, 3>, L1
>));
80 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L1
, 4>, L1
>));
82 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L1
, mp_size_t
<0>>, L1
>));
83 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L1
, mp_size_t
<1>>, L1
>));
84 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L1
, mp_size_t
<2>>, L1
>));
85 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L1
, mp_size_t
<3>>, L1
>));
86 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L1
, mp_size_t
<4>>, L1
>));
88 using L2
= std::tuple
<X1
, X2
, X3
, X4
, X5
>;
90 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L2
, 0>, std::tuple
<X1
, X2
, X3
, X4
, X5
>>));
91 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L2
, 1>, std::tuple
<X5
, X1
, X2
, X3
, X4
>>));
92 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L2
, 2>, std::tuple
<X4
, X5
, X1
, X2
, X3
>>));
93 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L2
, 3>, std::tuple
<X3
, X4
, X5
, X1
, X2
>>));
94 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L2
, 4>, std::tuple
<X2
, X3
, X4
, X5
, X1
>>));
95 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L2
, 5>, std::tuple
<X1
, X2
, X3
, X4
, X5
>>));
96 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L2
, 6>, std::tuple
<X5
, X1
, X2
, X3
, X4
>>));
97 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L2
, 7>, std::tuple
<X4
, X5
, X1
, X2
, X3
>>));
98 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L2
, 8>, std::tuple
<X3
, X4
, X5
, X1
, X2
>>));
99 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L2
, 9>, std::tuple
<X2
, X3
, X4
, X5
, X1
>>));
100 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L2
, 10>, std::tuple
<X1
, X2
, X3
, X4
, X5
>>));
102 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L2
, mp_size_t
<0>>, std::tuple
<X1
, X2
, X3
, X4
, X5
>>));
103 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L2
, mp_size_t
<1>>, std::tuple
<X5
, X1
, X2
, X3
, X4
>>));
104 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L2
, mp_size_t
<2>>, std::tuple
<X4
, X5
, X1
, X2
, X3
>>));
105 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L2
, mp_size_t
<3>>, std::tuple
<X3
, X4
, X5
, X1
, X2
>>));
106 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L2
, mp_size_t
<4>>, std::tuple
<X2
, X3
, X4
, X5
, X1
>>));
107 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L2
, mp_size_t
<5>>, std::tuple
<X1
, X2
, X3
, X4
, X5
>>));
108 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L2
, mp_size_t
<6>>, std::tuple
<X5
, X1
, X2
, X3
, X4
>>));
109 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L2
, mp_size_t
<7>>, std::tuple
<X4
, X5
, X1
, X2
, X3
>>));
110 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L2
, mp_size_t
<8>>, std::tuple
<X3
, X4
, X5
, X1
, X2
>>));
111 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L2
, mp_size_t
<9>>, std::tuple
<X2
, X3
, X4
, X5
, X1
>>));
112 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L2
, mp_size_t
<10>>, std::tuple
<X1
, X2
, X3
, X4
, X5
>>));
116 using L1
= std::pair
<X1
, X2
>;
118 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L1
, 0>, L1
>));
119 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L1
, 2>, L1
>));
120 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L1
, 4>, L1
>));
122 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L1
, 1>, std::pair
<X2
, X1
>>));
123 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L1
, 3>, std::pair
<X2
, X1
>>));
124 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right_c
<L1
, 5>, std::pair
<X2
, X1
>>));
126 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L1
, mp_size_t
<0>>, L1
>));
127 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L1
, mp_size_t
<2>>, L1
>));
128 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L1
, mp_size_t
<4>>, L1
>));
130 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L1
, mp_size_t
<1>>, std::pair
<X2
, X1
>>));
131 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L1
, mp_size_t
<3>>, std::pair
<X2
, X1
>>));
132 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rotate_right
<L1
, mp_size_t
<5>>, std::pair
<X2
, X1
>>));
135 return boost::report_errors();