This patch optimizes the performance of the is_compound trait by
dispatching to the new __is_arithmetic built-in trait.
libstdc++-v3/ChangeLog:
* include/std/type_traits (is_compound): Use __is_arithmetic
built-in trait.
(is_compound_v): Use is_fundamental_v instead.
Signed-off-by: Ken Matsui <[email protected]>
---
libstdc++-v3/include/std/type_traits | 11 ++++++++++-
1 file changed, 10 insertions(+), 1 deletion(-)
diff --git a/libstdc++-v3/include/std/type_traits
b/libstdc++-v3/include/std/type_traits
index cf24de2fcac..73d9a2b16fc 100644
--- a/libstdc++-v3/include/std/type_traits
+++ b/libstdc++-v3/include/std/type_traits
@@ -702,9 +702,18 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
{ };
/// is_compound
+#if __has_builtin(__is_arithmetic)
+ template<typename _Tp>
+ struct is_compound
+ : public __bool_constant<!(__is_arithmetic(_Tp)
+ || is_void<_Tp>::value
+ || is_null_pointer<_Tp>::value)>
+ { };
+#else
template<typename _Tp>
struct is_compound
: public __not_<is_fundamental<_Tp>>::type { };
+#endif
/// @cond undocumented
template<typename _Tp>
@@ -3234,7 +3243,7 @@ template <typename _Tp>
template <typename _Tp>
inline constexpr bool is_scalar_v = is_scalar<_Tp>::value;
template <typename _Tp>
- inline constexpr bool is_compound_v = is_compound<_Tp>::value;
+ inline constexpr bool is_compound_v = !is_fundamental_v<_Tp>;
template <typename _Tp>
inline constexpr bool is_member_pointer_v = is_member_pointer<_Tp>::value;
template <typename _Tp>
--
2.41.0
