//	Distributed under the Boost Software License Version 1.0 https://www.boost.org/LICENSE_1_0.txt
//	Copyright Gero Peterhoff

#ifndef BOOST_TYPE_TRAITS_IS_NATIVE_HPP
#define BOOST_TYPE_TRAITS_IS_NATIVE_HPP

#include <cstdint>
#include <type_traits>
#include <boost/config/config_float.hpp>
#include <boost/config/config_integer.hpp>



namespace boost
{
template <typename Type> struct is_native						: public std::false_type{};
template <typename Type> struct is_native<volatile const Type>	: public is_native<Type>{};
template <typename Type> struct is_native<volatile Type>		: public is_native<Type>{};
template <typename Type> struct is_native<const Type>			: public is_native<Type>{};


#if !defined(BOOST_NO_INT128_T)
template <> struct is_native<boost::uint128_t>	: public std::integral_constant<bool, (__WORDSIZE >= 128)>{};
template <> struct is_native<boost::int128_t>	: public std::integral_constant<bool, (__WORDSIZE >= 128)>{};
#endif

#if !defined(BOOST_NO_INT64_T)
template <> struct is_native<uint64_t>	: public std::integral_constant<bool, (__WORDSIZE >= 64)>{};
template <> struct is_native<int64_t>	: public std::integral_constant<bool, (__WORDSIZE >= 64)>{};
#endif

#if !defined(BOOST_NO_INT32_T)
template <> struct is_native<uint32_t>	: public std::integral_constant<bool, (__WORDSIZE >= 32)>{};
template <> struct is_native<int32_t>	: public std::integral_constant<bool, (__WORDSIZE >= 32)>{};
#endif

#if !defined(BOOST_NO_INT16_T)
template <> struct is_native<uint16_t>	: public std::integral_constant<bool, (__WORDSIZE >= 16)>{};
template <> struct is_native<int16_t>	: public std::integral_constant<bool, (__WORDSIZE >= 16)>{};
#endif

#if !defined(BOOST_NO_INT8_T)
template <> struct is_native<uint8_t>	: public std::integral_constant<bool, (__WORDSIZE >= 8)>{};
template <> struct is_native<int8_t>	: public std::integral_constant<bool, (__WORDSIZE >= 8)>{};
#endif




#if !defined(BOOST_NO_FLOAT128_T)
template <> struct is_native<boost::float128_t>	: public std::integral_constant
<
	bool,
	//	todo correct/complete ?
	//	todo riscv Q subset
	#if defined(BOOST_ARCH_Z_AVAILABLE)			||	\
		defined(BOOST_ARCH_PARISC_AVAILABLE)	||	\
		defined(BOOST_ARCH_SYS390_AVAILABLE)	||	\
		defined(BOOST_ARCH_RISCV_AVAILABLE)		||	\
		(defined(BOOST_ARCH_SPARC_AVAILABLE) && (BOOST_ARCH_SPARC >= 8))
		true
	#else
		false
	#endif
>	{};
#endif

#if !defined(BOOST_NO_FLOAT80_T)
template <> struct is_native<boost::float80_t>	: public std::integral_constant
<
	bool,
	//	todo only x86-HW ?
	#if defined(BOOST_ARCH_X86_AVAILABLE)
		true
	#else
		false
	#endif
>	{};
#endif

#if !defined(BOOST_NO_FLOAT64_T)
template <> struct is_native<boost::float64_t>	: public std::integral_constant<bool, true>{};
#endif

#if !defined(BOOST_NO_FLOAT32_T)
template <> struct is_native<boost::float32_t>	: public std::integral_constant<bool, true>{};
#endif

#if !defined(BOOST_NO_FLOAT16_T)
template <> struct is_native<boost::float16_t>	: public std::integral_constant<bool, true>{};
#endif



#if defined(__STDCPP_FLOAT128_T__)
template <> struct is_native<std::float128_t>	: public std::integral_constant
<
	bool,
	//	todo correct/complete ?
	//	todo riscv Q subset
	#if defined(BOOST_ARCH_Z_AVAILABLE)			||	\
		defined(BOOST_ARCH_PARISC_AVAILABLE)	||	\
		defined(BOOST_ARCH_SYS390_AVAILABLE)	||	\
		defined(BOOST_ARCH_RISCV_AVAILABLE)		||	\
		(defined(BOOST_ARCH_SPARC_AVAILABLE) && (BOOST_ARCH_SPARC >= 8))
		true
	#else
		false
	#endif
>	{};
#endif

#if defined(__STDCPP_FLOAT32_T__)
template <> struct is_native<std::float64_t>	: public std::integral_constant<bool, true>{};
#endif

#if defined(__STDCPP_FLOAT32_T__)
template <> struct is_native<std::float32_t>	: public std::integral_constant<bool, true>{};
#endif

#if defined(__STDCPP_BFLOAT16_T__)
template <> struct is_native<std::bfloat16_t>	: public std::integral_constant
<
	bool,
	//	todo no known HW
	//	__AVX512BF16__ contains only conversions and no arithmetic operations
	//	https://www.intel.com/content/www/us/en/docs/intrinsics-guide/index.html#avx512techs=AVX512_BF16
	false
>	{};
#endif

#if defined(__STDCPP_FLOAT16_T__)
template <> struct is_native<std::float16_t>	: public std::integral_constant
<
	bool,
	//	todo correct/complete ?
	//	https://www.intel.com/content/www/us/en/docs/intrinsics-guide/index.html#avx512techs=AVX512_FP16
	#if defined(__AVX512FP16__)	|| \
		(defined(BOOST_ARCH_ARM_AVAILABLE) && (BOOST_ARCH_ARM >= 8))
		true
	#else
		false
	#endif
>	{};
#endif



#if defined(__cpp_unicode_characters)
template <> struct is_native<char32_t>	: public std::integral_constant<bool, (__WORDSIZE >= 32)>{};
template <> struct is_native<char16_t>	: public std::integral_constant<bool, (__WORDSIZE >= 16)>{};
#endif

#if defined(__cpp_char8_t)
template <> struct is_native<char8_t>	: public std::integral_constant<bool, (__WORDSIZE >= 8)>{};
#endif

template <> struct is_native<wchar_t>	: public std::integral_constant
<
	bool,
	(sizeof(wchar_t) == 4) ? (__WORDSIZE >= 32) : (__WORDSIZE >= 16)
>	{};

template <> struct is_native<char>		: public std::integral_constant<bool, (__WORDSIZE >= 8)>{};



#if !defined(BOOST_NO_CXX17_INLINE_VARIABLES)
template <typename Type> inline constexpr bool is_native_v = is_native<Type>::value;
#endif
}	//	boost

#endif	//	BOOST_TYPE_TRAITS_IS_NATIVE_HPP