]>
Commit | Line | Data |
---|---|---|
92f5a8d4 TL |
1 | // Copyright (c) 2012 Robert Ramey |
2 | // | |
3 | // Distributed under the Boost Software License, Version 1.0. (See | |
4 | // accompanying file LICENSE_1_0.txt or copy at | |
5 | // http://www.boost.org/LICENSE_1_0.txt) | |
6 | ||
7 | #include <iostream> | |
8 | ||
9 | #include <boost/safe_numerics/safe_integer.hpp> | |
10 | #include <boost/safe_numerics/native.hpp> | |
11 | #include "test_add_native_results.hpp" | |
12 | ||
13 | template <class T> | |
14 | using safe_t = boost::safe_numerics::safe< | |
15 | T, | |
16 | boost::safe_numerics::native | |
17 | >; | |
18 | #include "test_add.hpp" | |
19 | ||
20 | #include <boost/mp11/list.hpp> | |
21 | #include <boost/mp11/algorithm.hpp> | |
22 | #include <boost/core/demangle.hpp> | |
23 | ||
24 | using namespace boost::mp11; | |
25 | ||
26 | template<typename L> | |
27 | struct test { | |
28 | static_assert(mp_is_list<L>(), "must be a list of integral constants"); | |
29 | bool m_error; | |
30 | test(bool b = true) : m_error(b) {} | |
31 | operator bool(){ | |
32 | return m_error; | |
33 | } | |
34 | template<typename T> | |
35 | void operator()(const T &){ | |
36 | static_assert(mp_is_list<T>(), "must be a list of two integral constants"); | |
37 | constexpr size_t i1 = mp_first<T>(); // index of first argument | |
38 | constexpr size_t i2 = mp_second<T>();// index of second argument | |
39 | std::cout << i1 << ',' << i2 << ','; | |
40 | using T1 = typename mp_at_c<L, i1>::value_type; | |
41 | using T2 = typename mp_at_c<L, i2>::value_type; | |
42 | m_error &= test_add( | |
43 | mp_at_c<L, i1>()(), // value of first argument | |
44 | mp_at_c<L, i2>()(), // value of second argument | |
45 | boost::core::demangle(typeid(T1).name()).c_str(), | |
46 | boost::core::demangle(typeid(T2).name()).c_str(), | |
47 | test_addition_native_result[i1][i2] | |
48 | ); | |
49 | } | |
50 | }; | |
51 | ||
52 | #include "check_symmetry.hpp" | |
53 | ||
54 | int main(){ | |
f67539c2 TL |
55 | static_assert( |
56 | check_symmetry(test_addition_native_result), | |
57 | "sanity check on test matrix - should be symmetrical" | |
58 | ); | |
92f5a8d4 TL |
59 | |
60 | test<test_values> rval(true); | |
61 | ||
62 | using value_indices = mp_iota_c<mp_size<test_values>::value>; | |
63 | mp_for_each< | |
64 | mp_product<mp_list, value_indices, value_indices> | |
65 | >(rval); | |
66 | ||
67 | std::cout << (rval ? "success!" : "failure") << std::endl; | |
68 | return ! rval ; | |
69 | } |