//===-- Conversion between floating-point types -----------------*- C++ -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

#ifndef LLVM_LIBC_SRC___SUPPORT_FPUTIL_CAST_H
#define LLVM_LIBC_SRC___SUPPORT_FPUTIL_CAST_H

#include "FPBits.h"
#include "dyadic_float.h"
#include "hdr/fenv_macros.h"
#include "src/__support/CPP/algorithm.h"
#include "src/__support/CPP/type_traits.h"
#include "src/__support/macros/properties/types.h"

namespace LIBC_NAMESPACE::fputil {

template <typename OutType, typename InType>
LIBC_INLINE constexpr cpp::enable_if_t<cpp::is_floating_point_v<OutType> &&
                                           cpp::is_floating_point_v<InType>,
                                       OutType>
cast(InType x) {
#if defined(LIBC_TYPES_HAS_FLOAT16) && !defined(__LIBC_USE_FLOAT16_CONVERSION)
  if constexpr (cpp::is_same_v<OutType, float16> ||
                cpp::is_same_v<InType, float16>) {
    using InFPBits = FPBits<InType>;
    using InStorageType = typename InFPBits::StorageType;
    using OutFPBits = FPBits<OutType>;
    using OutStorageType = typename OutFPBits::StorageType;

    InFPBits x_bits(x);

    if (x_bits.is_nan()) {
      if (x_bits.is_signaling_nan()) {
        raise_except_if_required(FE_INVALID);
        return OutFPBits::quiet_nan().get_val();
      }

      InStorageType x_mant = x_bits.get_mantissa();
      if (InFPBits::FRACTION_LEN > OutFPBits::FRACTION_LEN)
        x_mant >>= InFPBits::FRACTION_LEN - OutFPBits::FRACTION_LEN;
      return OutFPBits::quiet_nan(x_bits.sign(),
                                  static_cast<OutStorageType>(x_mant))
          .get_val();
    }

    if (x_bits.is_inf())
      return OutFPBits::inf(x_bits.sign()).get_val();

    constexpr size_t MAX_FRACTION_LEN =
        cpp::max(OutFPBits::FRACTION_LEN, InFPBits::FRACTION_LEN);
    DyadicFloat<cpp::bit_ceil(MAX_FRACTION_LEN)> xd(x);
    return xd.template as<OutType, /*ShouldSignalExceptions=*/true>();
  }
#endif

  return static_cast<OutType>(x);
}

} // namespace LIBC_NAMESPACE::fputil

#endif // LLVM_LIBC_SRC___SUPPORT_FPUTIL_CAST_H