/*################################################################################
  ##
  ##   Copyright (C) 2016-2024 Keith O'Hara
  ##
  ##   This file is part of the GCE-Math C++ library.
  ##
  ##   Licensed under the Apache License, Version 2.0 (the "License");
  ##   you may not use this file except in compliance with the License.
  ##   You may obtain a copy of the License at
  ##
  ##       http://www.apache.org/licenses/LICENSE-2.0
  ##
  ##   Unless required by applicable law or agreed to in writing, software
  ##   distributed under the License is distributed on an "AS IS" BASIS,
  ##   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  ##   See the License for the specific language governing permissions and
  ##   limitations under the License.
  ##
  ################################################################################*/

#ifndef _gcem_trunc_HPP
#define _gcem_trunc_HPP

#include <cmath>
#include <type_traits>

namespace gcem
{

namespace internal
{

template<typename T>
constexpr
T
trunc_int(const T x)
noexcept
{
    return( T(static_cast<llint_t>(x)) );
}

template<typename T>
constexpr
T
trunc_check_internal(const T x)
noexcept
{
    return x;
}

template<>
constexpr
float
trunc_check_internal<float>(const float x)
noexcept
{
    return( abs(x) >= 8388608.f ? \
            // if
                x : \
            // else
                trunc_int(x) );
}

template<>
constexpr
double
trunc_check_internal<double>(const double x)
noexcept
{
    return( abs(x) >= 4503599627370496. ? \
            // if
                x : \
            // else
                trunc_int(x) );
}

template<>
constexpr
long double
trunc_check_internal<long double>(const long double x)
noexcept
{
    return( abs(x) >= 9223372036854775808.l ? \
            // if
                x : \
            // else
                ((long double)static_cast<ullint_t>(abs(x))) * sgn(x) );
}

template<typename T>
constexpr
T
trunc_check(const T x)
noexcept
{
    return( // NaN check
            is_nan(x) ? \
                GCLIM<T>::quiet_NaN() :
            // +/- infinite
            !is_finite(x) ? \
                x :
            // signed-zero cases
            GCLIM<T>::min() > abs(x) ? \
                x :
            // else
                trunc_check_internal(x) );
}

}

/**
 * Compile-time trunc function
 *
 * @param x a real-valued input.
 * @return computes the trunc-value of the input, essentially returning the integer part of the input.
 */

template<typename T>
constexpr
return_t<T>
trunc(const T x)
noexcept
{
  if (std::is_constant_evaluated()) {
    return internal::trunc_check( static_cast<return_t<T>>(x) );
  } else {
    return std::trunc(x);
  }
}

}

#endif
