EQ2EMu/EQ2/source/depends/boost_1_72_0/libs/safe_numerics/test/test_checked_left_shift_constexpr.cpp

//  Copyright (c) 2018 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 <boost/safe_numerics/checked_result.hpp>
#include <boost/safe_numerics/checked_result_operations.hpp>
#include <boost/safe_numerics/checked_integer.hpp>

template<class T>
constexpr bool test_checked_left_shift(
    const T & v1,
    const T & v2,
    char expected_result
){
    using namespace boost::safe_numerics;
    const T result = v1 << v2;
    switch(expected_result){
    case '.':
        return ! result.exception();
    case '-':
        return safe_numerics_error::negative_overflow_error == result.m_e;
    case '+':
        return safe_numerics_error::positive_overflow_error == result.m_e;
    case '!':
        return safe_numerics_error::range_error == result.m_e;
    case 'n':   // n negative_shift
        return safe_numerics_error::negative_shift == result.m_e;
    case 's':   // s negative_value_shift
        return safe_numerics_error::negative_value_shift == result.m_e;
    case 'l':   // l shift_too_large
        return safe_numerics_error::shift_too_large == result.m_e;
    default:
        assert(false);
    }
    return false;
}

#include "test_checked_left_shift.hpp"

template<typename T, typename First, typename Second>
struct test_signed_pair {
    static const std::size_t i = First();
    static const std::size_t j = Second();
    // note: is constexpr really required here?  compilers disagree!
    constexpr static const bool value = test_checked_left_shift(
        signed_values<T>[i],
        signed_values<T>[j],
        signed_left_shift_results[i][j]
    );
};

template<typename T, typename First, typename Second>
struct test_unsigned_pair {
    static const std::size_t i = First();
    static const std::size_t j = Second();
    // note: is constexpr really required here?  compilers disagree!
    constexpr static const bool value = test_checked_left_shift(
        unsigned_values<T>[i],
        unsigned_values<T>[j],
        unsigned_left_shift_results[i][j]
    );
};

#include <boost/mp11/algorithm.hpp>

int main(){
    using namespace boost::mp11;

    static_assert(
        mp_all_of<
            mp_product<
                test_signed_pair,
                signed_test_types,
                signed_value_indices, signed_value_indices
            >,
            mp_to_bool
        >(),
        "all values for all signed types correctly shifted"
    );

    static_assert(
        mp_all_of<
            mp_product<
                test_unsigned_pair,
                unsigned_test_types,
                unsigned_value_indices, unsigned_value_indices
            >,
            mp_to_bool
        >(),
        "all values for all unsigned types correctly shifted"
    );

    return 0;
}