ceph/src/boost/libs/safe_numerics/test/test_add_native_constexpr.cpp

   1 //  Copyright (c) 2019 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 <boost/safe_numerics/safe_integer.hpp>
   8 #include <boost/safe_numerics/native.hpp>
   9
  10 #include "test_add_native_results.hpp"
  11
  12 template <class T>
  13 using safe_t = boost::safe_numerics::safe<
  14     T,
  15     boost::safe_numerics::native
  16 >;
  17
  18 #include "test_add_constexpr.hpp"
  19
  20 using namespace boost::mp11;
  21
  22 template<typename First, typename Second>
  23 struct test_pair {
  24     static const std::size_t i = First();
  25     static const std::size_t j = Second();
  26     constexpr static const bool value = test_add_constexpr(
  27         mp_at_c<test_values, i>()(),
  28         mp_at_c<test_values, j>()(),
  29         test_addition_native_result[i][j]
  30     );
  31 };
  32
  33 #include <boost/mp11/list.hpp>
  34 #include <boost/mp11/algorithm.hpp>
  35 #include "check_symmetry.hpp"
  36
  37 int main(){
  38     using namespace boost::mp11;
  39
  40     // sanity check on test matrix - should be symetrical
  41     check_symmetry(test_addition_native_result);
  42
  43     using value_indices = mp_iota_c<mp_size<test_values>::value>;
  44
  45     static_assert(
  46         mp_all_of<
  47             mp_product<
  48                 test_pair,
  49                 value_indices,
  50                 value_indices
  51             >,
  52             mp_to_bool
  53         >(),
  54         "all values for all integer types correctly added"
  55     );
  56     return 0;
  57 }