// Licensed to the Apache Software Foundation (ASF) under one
// or more contributor license agreements.  See the NOTICE file
// distributed with this work for additional information
// regarding copyright ownership.  The ASF licenses this file
// to you 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.
// This file is copied from
// https://github.com/ClickHouse/ClickHouse/blob/master/src/Functions/Minus.cpp
// and modified by Doris

#include "exprs/function/binary_arithmetic.h"
#include "exprs/function/simple_function_factory.h"

namespace doris {
// FE casts both children of decimal subtract to exactly the same type as the
// return type (TypeCoercionUtils#processDecimalV3BinaryArithmetic), so only
// same-width pairs are reachable at runtime. Keep a single type parameter so
// mixed-width instantiations cannot be registered again.
template <PrimitiveType Type>
struct MinusDecimalImpl {
    static_assert(is_decimal(Type));

    constexpr static bool need_replace_null_data_to_default = true;
    static constexpr auto name = "subtract";
    static constexpr PrimitiveType PTypeA = Type;
    static constexpr PrimitiveType PTypeB = Type;
    using ArgNativeTypeA = typename PrimitiveTypeTraits<Type>::CppType::NativeType;
    using ArgNativeTypeB = typename PrimitiveTypeTraits<Type>::CppType::NativeType;

    template <PrimitiveType Result>
        requires(is_decimal(Result) && Result != TYPE_DECIMALV2)
    static inline typename PrimitiveTypeTraits<Result>::CppType::NativeType apply(
            ArgNativeTypeA a, ArgNativeTypeB b) {
        return static_cast<typename PrimitiveTypeTraits<Result>::CppType::NativeType>(
                static_cast<typename PrimitiveTypeTraits<Result>::CppType::NativeType>(a) - b);
    }

    static inline DecimalV2Value apply(const DecimalV2Value& a, const DecimalV2Value& b) {
        return DecimalV2Value(a.value() - b.value());
    }

    /// Apply operation and check overflow. It's used for Decimal operations. @returns true if overflowed, false otherwise.
    template <PrimitiveType Result>
        requires(is_decimal(Result) && Result != TYPE_DECIMALV2)
    static inline bool apply(ArgNativeTypeA a, ArgNativeTypeB b,
                             typename PrimitiveTypeTraits<Result>::CppType::NativeType& c) {
        return common::sub_overflow(
                static_cast<typename PrimitiveTypeTraits<Result>::CppType::NativeType>(a),
                static_cast<typename PrimitiveTypeTraits<Result>::CppType::NativeType>(b), c);
    }
};

template <PrimitiveType Type>
struct MinusImpl {
    static constexpr auto name = "subtract";
    static constexpr PrimitiveType PType = Type;
    using Arg = typename PrimitiveTypeTraits<Type>::CppType;
    NO_SANITIZE_UNDEFINED static inline Arg apply(Arg a, Arg b) { return a - b; }
};

void register_function_minus(SimpleFunctionFactory& factory) {
    factory.register_function<
            FunctionPlusMinus<PlusMinusDecimalImpl<MinusDecimalImpl<TYPE_DECIMALV2>>>>();

    factory.register_function<
            FunctionPlusMinus<PlusMinusDecimalImpl<MinusDecimalImpl<TYPE_DECIMAL32>>>>();
    factory.register_function<
            FunctionPlusMinus<PlusMinusDecimalImpl<MinusDecimalImpl<TYPE_DECIMAL64>>>>();
    factory.register_function<
            FunctionPlusMinus<PlusMinusDecimalImpl<MinusDecimalImpl<TYPE_DECIMAL128I>>>>();
    factory.register_function<
            FunctionPlusMinus<PlusMinusDecimalImpl<MinusDecimalImpl<TYPE_DECIMAL256>>>>();

    factory.register_function<FunctionPlusMinus<PlusMinusIntegralImpl<MinusImpl<TYPE_TINYINT>>>>();
    factory.register_function<FunctionPlusMinus<PlusMinusIntegralImpl<MinusImpl<TYPE_SMALLINT>>>>();
    factory.register_function<FunctionPlusMinus<PlusMinusIntegralImpl<MinusImpl<TYPE_INT>>>>();
    factory.register_function<FunctionPlusMinus<PlusMinusIntegralImpl<MinusImpl<TYPE_BIGINT>>>>();
    factory.register_function<FunctionPlusMinus<PlusMinusIntegralImpl<MinusImpl<TYPE_LARGEINT>>>>();
    factory.register_function<FunctionPlusMinus<PlusMinusIntegralImpl<MinusImpl<TYPE_DOUBLE>>>>();
    factory.register_function<FunctionPlusMinus<PlusMinusIntegralImpl<MinusImpl<TYPE_FLOAT>>>>();
}
} // namespace doris