// Range v3 library
//
//  Copyright Eric Niebler 2019-present
//
//  Use, modification and distribution is subject to 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)
//
// Project home: https://github.com/ericniebler/range-v3

#include <range/v3/iterator/diffmax_t.hpp>
#include "../simple_test.hpp"
#include "../test_utils.hpp"

#include <iomanip>
#include <functional>
using ranges::detail::diffmax_t;

template<template<typename> class Op>
void check_1(std::ptrdiff_t a, std::ptrdiff_t b)
{
    // std::cout << std::dec;
    // std::cout << a << "&" << b << " == " << (a&b) << std::endl;
    // std::cout << std::hex;
    // std::cout << a << "&" << b << " == " << (a&b) << std::endl;
    CHECK(Op<diffmax_t>{}(a, b) == Op<std::ptrdiff_t>{}(a, b));
}
template<>
void check_1<std::divides>(std::ptrdiff_t a, std::ptrdiff_t b)
{
    if(b)
        CHECK(std::divides<diffmax_t>{}(a, b) == std::divides<std::ptrdiff_t>{}(a, b));
}
template<>
void check_1<std::modulus>(std::ptrdiff_t a, std::ptrdiff_t b)
{
    if(b)
        CHECK(std::modulus<diffmax_t>{}(a, b) == std::modulus<std::ptrdiff_t>{}(a, b));
}

template<template<typename> class Op>
void check()
{
    check_1<Op>(0, 0);
    check_1<Op>(-1, 0);
    check_1<Op>(0, -1);
    check_1<Op>(1, 0);
    check_1<Op>(0, 1);
    check_1<Op>(1, 1);
    check_1<Op>(-1, -1);
    check_1<Op>(-5, -4);
    check_1<Op>(-4, -5);
    check_1<Op>(5, -4);
    check_1<Op>(-4, 5);
    check_1<Op>(-5, 4);
    check_1<Op>(4, -5);
}

int main()
{
    check<std::plus>();
    check<std::minus>();
    check<std::multiplies>();
    check<std::divides>();
    check<std::modulus>();
    check<std::bit_and>();
    check<std::bit_or>();
    check<std::bit_xor>();

    return test_result();
}