2018-11-26 16:20:40 +00:00
|
|
|
#pragma once
|
|
|
|
|
2020-07-20 01:03:46 +00:00
|
|
|
#include <cmath>
|
2018-11-26 16:20:40 +00:00
|
|
|
#include <type_traits>
|
|
|
|
#include <Common/Exception.h>
|
2021-01-31 10:23:50 +00:00
|
|
|
#include <Common/NaNUtils.h>
|
2018-11-26 16:20:40 +00:00
|
|
|
#include <DataTypes/NumberTraits.h>
|
|
|
|
|
2022-03-12 18:05:50 +00:00
|
|
|
#include "config_core.h"
|
2021-10-27 23:10:39 +00:00
|
|
|
#include <Common/config.h>
|
2018-11-26 16:20:40 +00:00
|
|
|
|
2021-02-14 20:57:25 +00:00
|
|
|
|
2018-11-26 16:20:40 +00:00
|
|
|
namespace DB
|
|
|
|
{
|
|
|
|
|
|
|
|
namespace ErrorCodes
|
|
|
|
{
|
|
|
|
extern const int ILLEGAL_DIVISION;
|
|
|
|
}
|
|
|
|
|
|
|
|
#pragma GCC diagnostic push
|
|
|
|
#pragma GCC diagnostic ignored "-Wsign-compare"
|
|
|
|
|
|
|
|
template <typename A, typename B>
|
|
|
|
inline void throwIfDivisionLeadsToFPE(A a, B b)
|
|
|
|
{
|
|
|
|
/// Is it better to use siglongjmp instead of checks?
|
|
|
|
|
|
|
|
if (unlikely(b == 0))
|
|
|
|
throw Exception("Division by zero", ErrorCodes::ILLEGAL_DIVISION);
|
|
|
|
|
|
|
|
/// http://avva.livejournal.com/2548306.html
|
2019-11-02 05:55:06 +00:00
|
|
|
if (unlikely(is_signed_v<A> && is_signed_v<B> && a == std::numeric_limits<A>::min() && b == -1))
|
2018-11-26 16:20:40 +00:00
|
|
|
throw Exception("Division of minimal signed number by minus one", ErrorCodes::ILLEGAL_DIVISION);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename A, typename B>
|
|
|
|
inline bool divisionLeadsToFPE(A a, B b)
|
|
|
|
{
|
|
|
|
if (unlikely(b == 0))
|
|
|
|
return true;
|
|
|
|
|
2019-11-02 05:55:06 +00:00
|
|
|
if (unlikely(is_signed_v<A> && is_signed_v<B> && a == std::numeric_limits<A>::min() && b == -1))
|
2018-11-26 16:20:40 +00:00
|
|
|
return true;
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2020-06-27 22:32:43 +00:00
|
|
|
template <typename A, typename B>
|
|
|
|
inline auto checkedDivision(A a, B b)
|
|
|
|
{
|
|
|
|
throwIfDivisionLeadsToFPE(a, b);
|
2020-08-19 11:52:17 +00:00
|
|
|
|
2020-09-01 09:54:50 +00:00
|
|
|
if constexpr (is_big_int_v<A> && std::is_floating_point_v<B>)
|
2021-01-26 19:04:03 +00:00
|
|
|
return static_cast<B>(a) / b;
|
2020-09-01 09:54:50 +00:00
|
|
|
else if constexpr (is_big_int_v<B> && std::is_floating_point_v<A>)
|
2021-01-26 19:04:03 +00:00
|
|
|
return a / static_cast<A>(b);
|
2020-09-01 09:54:50 +00:00
|
|
|
else if constexpr (is_big_int_v<A> && is_big_int_v<B>)
|
2020-08-19 11:52:17 +00:00
|
|
|
return static_cast<A>(a / b);
|
|
|
|
else if constexpr (!is_big_int_v<A> && is_big_int_v<B>)
|
|
|
|
return static_cast<A>(B(a) / b);
|
|
|
|
else
|
|
|
|
return a / b;
|
2020-06-27 22:32:43 +00:00
|
|
|
}
|
|
|
|
|
2018-11-26 16:20:40 +00:00
|
|
|
|
|
|
|
#pragma GCC diagnostic pop
|
|
|
|
|
|
|
|
template <typename A, typename B>
|
|
|
|
struct DivideIntegralImpl
|
|
|
|
{
|
|
|
|
using ResultType = typename NumberTraits::ResultOfIntegerDivision<A, B>::Type;
|
2020-02-14 07:11:37 +00:00
|
|
|
static const constexpr bool allow_fixed_string = false;
|
2021-08-30 06:37:23 +00:00
|
|
|
static const constexpr bool allow_string_integer = false;
|
2018-11-26 16:20:40 +00:00
|
|
|
|
|
|
|
template <typename Result = ResultType>
|
|
|
|
static inline Result apply(A a, B b)
|
|
|
|
{
|
2020-09-01 09:54:50 +00:00
|
|
|
using CastA = std::conditional_t<is_big_int_v<B> && std::is_same_v<A, UInt8>, uint8_t, A>;
|
|
|
|
using CastB = std::conditional_t<is_big_int_v<A> && std::is_same_v<B, UInt8>, uint8_t, B>;
|
|
|
|
|
2019-07-31 18:04:24 +00:00
|
|
|
/// Otherwise overflow may occur due to integer promotion. Example: int8_t(-1) / uint64_t(2).
|
|
|
|
/// NOTE: overflow is still possible when dividing large signed number to large unsigned number or vice-versa. But it's less harmful.
|
2021-09-10 11:49:22 +00:00
|
|
|
if constexpr (is_integer<A> && is_integer<B> && (is_signed_v<A> || is_signed_v<B>))
|
2020-08-19 11:52:17 +00:00
|
|
|
{
|
2020-09-04 13:33:02 +00:00
|
|
|
using SignedCastA = make_signed_t<CastA>;
|
|
|
|
using SignedCastB = std::conditional_t<sizeof(A) <= sizeof(B), make_signed_t<CastB>, SignedCastA>;
|
|
|
|
|
2021-01-26 19:04:03 +00:00
|
|
|
return static_cast<Result>(checkedDivision(static_cast<SignedCastA>(a), static_cast<SignedCastB>(b)));
|
2020-08-19 11:52:17 +00:00
|
|
|
}
|
2019-07-31 01:05:33 +00:00
|
|
|
else
|
2021-01-31 10:23:50 +00:00
|
|
|
{
|
2021-02-14 20:57:25 +00:00
|
|
|
/// Comparisons are not strict to avoid rounding issues when operand is implicitly casted to float.
|
|
|
|
|
2021-02-01 04:52:18 +00:00
|
|
|
if constexpr (std::is_floating_point_v<A>)
|
2021-02-14 20:57:25 +00:00
|
|
|
if (isNaN(a) || a >= std::numeric_limits<CastA>::max() || a <= std::numeric_limits<CastA>::lowest())
|
2021-02-01 04:52:18 +00:00
|
|
|
throw Exception("Cannot perform integer division on infinite or too large floating point numbers",
|
|
|
|
ErrorCodes::ILLEGAL_DIVISION);
|
|
|
|
|
|
|
|
if constexpr (std::is_floating_point_v<B>)
|
2021-02-14 20:57:25 +00:00
|
|
|
if (isNaN(b) || b >= std::numeric_limits<CastB>::max() || b <= std::numeric_limits<CastB>::lowest())
|
2021-02-01 04:52:18 +00:00
|
|
|
throw Exception("Cannot perform integer division on infinite or too large floating point numbers",
|
|
|
|
ErrorCodes::ILLEGAL_DIVISION);
|
2021-01-31 10:23:50 +00:00
|
|
|
|
2021-02-14 03:11:12 +00:00
|
|
|
auto res = checkedDivision(CastA(a), CastB(b));
|
|
|
|
|
|
|
|
if constexpr (std::is_floating_point_v<decltype(res)>)
|
2021-03-10 15:04:34 +00:00
|
|
|
if (isNaN(res) || res >= static_cast<double>(std::numeric_limits<Result>::max()) || res <= std::numeric_limits<Result>::lowest())
|
2021-02-14 03:11:12 +00:00
|
|
|
throw Exception("Cannot perform integer division, because it will produce infinite or too large number",
|
|
|
|
ErrorCodes::ILLEGAL_DIVISION);
|
|
|
|
|
|
|
|
return static_cast<Result>(res);
|
2021-01-31 10:23:50 +00:00
|
|
|
}
|
2018-11-26 16:20:40 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#if USE_EMBEDDED_COMPILER
|
|
|
|
static constexpr bool compilable = false; /// don't know how to throw from LLVM IR
|
|
|
|
#endif
|
|
|
|
};
|
|
|
|
|
2020-02-25 09:45:23 +00:00
|
|
|
template <typename A, typename B>
|
|
|
|
struct ModuloImpl
|
|
|
|
{
|
|
|
|
using ResultType = typename NumberTraits::ResultOfModulo<A, B>::Type;
|
2020-08-19 11:52:17 +00:00
|
|
|
using IntegerAType = typename NumberTraits::ToInteger<A>::Type;
|
|
|
|
using IntegerBType = typename NumberTraits::ToInteger<B>::Type;
|
|
|
|
|
2020-02-25 09:45:23 +00:00
|
|
|
static const constexpr bool allow_fixed_string = false;
|
2021-08-30 06:37:23 +00:00
|
|
|
static const constexpr bool allow_string_integer = false;
|
2020-02-25 09:45:23 +00:00
|
|
|
|
|
|
|
template <typename Result = ResultType>
|
|
|
|
static inline Result apply(A a, B b)
|
|
|
|
{
|
2020-07-20 01:03:46 +00:00
|
|
|
if constexpr (std::is_floating_point_v<ResultType>)
|
|
|
|
{
|
2020-07-21 10:20:09 +00:00
|
|
|
/// This computation is similar to `fmod` but the latter is not inlined and has 40 times worse performance.
|
2021-01-26 19:04:03 +00:00
|
|
|
return static_cast<ResultType>(a) - trunc(static_cast<ResultType>(a) / static_cast<ResultType>(b)) * static_cast<ResultType>(b);
|
2020-07-20 01:03:46 +00:00
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2021-02-01 04:52:18 +00:00
|
|
|
if constexpr (std::is_floating_point_v<A>)
|
2021-02-01 07:11:41 +00:00
|
|
|
if (isNaN(a) || a > std::numeric_limits<IntegerAType>::max() || a < std::numeric_limits<IntegerAType>::lowest())
|
2021-02-01 04:52:18 +00:00
|
|
|
throw Exception("Cannot perform integer division on infinite or too large floating point numbers",
|
|
|
|
ErrorCodes::ILLEGAL_DIVISION);
|
|
|
|
|
|
|
|
if constexpr (std::is_floating_point_v<B>)
|
2021-02-01 07:11:41 +00:00
|
|
|
if (isNaN(b) || b > std::numeric_limits<IntegerBType>::max() || b < std::numeric_limits<IntegerBType>::lowest())
|
2021-02-01 04:52:18 +00:00
|
|
|
throw Exception("Cannot perform integer division on infinite or too large floating point numbers",
|
|
|
|
ErrorCodes::ILLEGAL_DIVISION);
|
2021-01-31 10:23:50 +00:00
|
|
|
|
2020-08-19 11:52:17 +00:00
|
|
|
throwIfDivisionLeadsToFPE(IntegerAType(a), IntegerBType(b));
|
|
|
|
|
2020-09-01 09:54:50 +00:00
|
|
|
if constexpr (is_big_int_v<IntegerAType> || is_big_int_v<IntegerBType>)
|
|
|
|
{
|
|
|
|
using CastA = std::conditional_t<std::is_same_v<IntegerAType, UInt8>, uint8_t, IntegerAType>;
|
|
|
|
using CastB = std::conditional_t<std::is_same_v<IntegerBType, UInt8>, uint8_t, IntegerBType>;
|
|
|
|
|
|
|
|
CastA int_a(a);
|
|
|
|
CastB int_b(b);
|
|
|
|
|
|
|
|
if constexpr (is_big_int_v<IntegerBType> && sizeof(IntegerAType) <= sizeof(IntegerBType))
|
2021-01-26 19:04:03 +00:00
|
|
|
return static_cast<Result>(static_cast<CastB>(int_a) % int_b);
|
2020-09-01 09:54:50 +00:00
|
|
|
else
|
2021-01-26 19:04:03 +00:00
|
|
|
return static_cast<Result>(int_a % static_cast<CastA>(int_b));
|
2020-09-01 09:54:50 +00:00
|
|
|
}
|
2020-08-19 11:52:17 +00:00
|
|
|
else
|
|
|
|
return IntegerAType(a) % IntegerBType(b);
|
2020-07-20 01:03:46 +00:00
|
|
|
}
|
2020-02-25 09:45:23 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#if USE_EMBEDDED_COMPILER
|
|
|
|
static constexpr bool compilable = false; /// don't know how to throw from LLVM IR
|
|
|
|
#endif
|
|
|
|
};
|
|
|
|
|
2021-05-15 18:45:19 +00:00
|
|
|
template <typename A, typename B>
|
|
|
|
struct ModuloLegacyImpl : ModuloImpl<A, B>
|
|
|
|
{
|
|
|
|
using ResultType = typename NumberTraits::ResultOfModuloLegacy<A, B>::Type;
|
|
|
|
};
|
|
|
|
|
2018-11-26 16:20:40 +00:00
|
|
|
}
|