60 lines
1.5 KiB
C++
60 lines
1.5 KiB
C++
// Copyright (c) 2019 Robert Ramey
|
|
//
|
|
// Distributed under the Boost Software License, Version 1.0. (See
|
|
// accompanying file LICENSE_1_0.txt or copy at
|
|
// http://www.boost.org/LICENSE_1_0.txt)
|
|
|
|
#include <iostream
|
|
|
|
#include <boost/safe_numerics/safe_integer.hpp>
|
|
#include <boost/safe_numerics/native.hpp>
|
|
|
|
#include "test_add_native_results.hpp"
|
|
|
|
template <class T>
|
|
using safe_t = boost::safe_numerics::safe<
|
|
T,
|
|
boost::safe_numerics::native
|
|
>;
|
|
|
|
#include "test_add_constexpr.hpp"
|
|
|
|
using namespace boost::mp11;
|
|
|
|
template<typename First, typename Second>
|
|
struct test_pair {
|
|
static const std::size_t i = First();
|
|
static const std::size_t j = Second();
|
|
constexpr static const bool value = test_add_constexpr(
|
|
typename boost::mp11::mp_at_c<test_values, i>()(),
|
|
typename boost::mp11::mp_at_c<test_values, j>()(),
|
|
test_addition_native_result[i][j]
|
|
);
|
|
};
|
|
|
|
#include <boost/mp11/list.hpp>
|
|
#include <boost/mp11/algorithm.hpp>
|
|
#include "check_symmetry.hpp"
|
|
|
|
int main(){
|
|
using namespace boost::mp11;
|
|
|
|
// sanity check on test matrix - should be symetrical
|
|
check_symmetry(test_addition_native_result);
|
|
|
|
using value_indices = mp_iota_c<mp_size<test_values>::value>;
|
|
|
|
static_assert(
|
|
mp_all_of<
|
|
mp_product<
|
|
test_pair,
|
|
value_indices,
|
|
value_indices
|
|
>,
|
|
mp_to_bool
|
|
>(),
|
|
"all values for all integer types correctly added"
|
|
);
|
|
return 0;
|
|
}
|