This is an archive of the discontinued LLVM Phabricator instance.

Differential D126469

[libc++] Use __enable_if_t and is_integral in cstddef
ClosedPublic

Authored by philnik on May 26 2022, 7:20 AM.

Details

Reviewers
ldionne
Mordante
var-const
Group Reviewers
Restricted Project
Commits
rG7e69bd9bf00e: [libc++] Use __enable_if_t and is_integral in cstddef

Diff Detail

Event Timeline

philnik created this revision.May 26 2022, 7:20 AM
Herald added a project: Restricted Project. · View Herald TranscriptMay 26 2022, 7:20 AM
philnik requested review of this revision.May 26 2022, 7:20 AM
Herald added a project: Restricted Project. · View Herald TranscriptMay 26 2022, 7:20 AM
Herald added a reviewer: Restricted Project. · View Herald Transcript
Herald added a subscriber: libcxx-commits. · View Herald Transcript
Harbormaster completed remote builds in B166470: Diff 432278.May 26 2022, 7:42 AM
ldionne accepted this revision.May 27 2022, 1:47 PM
This revision is now accepted and ready to land.May 27 2022, 1:47 PM
ldionne added a comment.May 27 2022, 1:48 PM

Oops, but the CI is failing due to a circular dependency.

philnik updated this revision to Diff 432718.May 28 2022, 6:23 AM
  • Try to fix CI
Harbormaster completed remote builds in B166768: Diff 432718.May 28 2022, 9:50 AM
This revision was landed with ongoing or failed builds.May 29 2022, 3:05 AM
Closed by commit rG7e69bd9bf00e: [libc++] Use __enable_if_t and is_integral in cstddef (authored by philnik). · Explain Why
This revision was automatically updated to reflect the committed changes.
philnik added a commit: rG7e69bd9bf00e: [libc++] Use __enable_if_t and is_integral in cstddef.
philnik mentioned this in D126610: [libc++] Implement ranges::adjacent_find.Jun 6 2022, 5:15 AM

Revision Contents

PathSize
libcxx/
include/
__type_traits/
1 line
11 lines

Diff 432777

libcxx/include/__type_traits/enable_if.h

//===----------------------------------------------------------------------===// //===----------------------------------------------------------------------===//
// //
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information. // See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
// //
//===----------------------------------------------------------------------===// //===----------------------------------------------------------------------===//
#ifndef _LIBCPP___TYPE_TRAITS_ENABLE_IF_H #ifndef _LIBCPP___TYPE_TRAITS_ENABLE_IF_H
#define _LIBCPP___TYPE_TRAITS_ENABLE_IF_H #define _LIBCPP___TYPE_TRAITS_ENABLE_IF_H
#include <__config> #include <__config>
#include <cstddef>
#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
# pragma GCC system_header # pragma GCC system_header
#endif #endif
_LIBCPP_BEGIN_NAMESPACE_STD _LIBCPP_BEGIN_NAMESPACE_STD
template <bool, class _Tp = void> struct _LIBCPP_TEMPLATE_VIS enable_if {}; template <bool, class _Tp = void> struct _LIBCPP_TEMPLATE_VIS enable_if {};
Show All 11 Lines

libcxx/include/cstddef

Show All 29 LinesTypes:
byte // C++17 byte // C++17
} // std } // std
*/ */
#include <__assert> // all public C++ headers provide the assertion handler #include <__assert> // all public C++ headers provide the assertion handler
#include <__config> #include <__config>
#include <__type_traits/enable_if.h>
#include <__type_traits/integral_constant.h>
#include <__type_traits/is_integral.h> #include <__type_traits/is_integral.h>
#include <stddef.h> #include <stddef.h>
#include <version> #include <version>
#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
# pragma GCC system_header # pragma GCC system_header
#endif #endif
Show All 9 Lines
_LIBCPP_END_NAMESPACE_STD _LIBCPP_END_NAMESPACE_STD
#if _LIBCPP_STD_VER > 14 #if _LIBCPP_STD_VER > 14
namespace std // purposefully not versioned namespace std // purposefully not versioned
{ {
enum class byte : unsigned char {}; enum class byte : unsigned char {};
template <bool> struct __enable_if_integral_imp {};
template <> struct __enable_if_integral_imp<true> { using type = byte; };
template <class _Tp> using _EnableByteOverload = typename __enable_if_integral_imp<__libcpp_is_integral<_Tp>::value>::type;
constexpr byte operator| (byte __lhs, byte __rhs) noexcept constexpr byte operator| (byte __lhs, byte __rhs) noexcept
{ {
return static_cast<byte>( return static_cast<byte>(
static_cast<unsigned char>( static_cast<unsigned char>(
static_cast<unsigned int>(__lhs) | static_cast<unsigned int>(__rhs) static_cast<unsigned int>(__lhs) | static_cast<unsigned int>(__rhs)
)); ));
} }
Show All 24 Lines
constexpr byte operator~ (byte __b) noexcept constexpr byte operator~ (byte __b) noexcept
{ {
return static_cast<byte>( return static_cast<byte>(
static_cast<unsigned char>( static_cast<unsigned char>(
~static_cast<unsigned int>(__b) ~static_cast<unsigned int>(__b)
)); ));
} }
template <class _Tp>
using _EnableByteOverload = __enable_if_t<is_integral<_Tp>::value, byte>;
template <class _Integer> template <class _Integer>
constexpr _EnableByteOverload<_Integer> & constexpr _EnableByteOverload<_Integer> &
operator<<=(byte& __lhs, _Integer __shift) noexcept operator<<=(byte& __lhs, _Integer __shift) noexcept
{ return __lhs = __lhs << __shift; } { return __lhs = __lhs << __shift; }
template <class _Integer> template <class _Integer>
constexpr _EnableByteOverload<_Integer> constexpr _EnableByteOverload<_Integer>
operator<< (byte __lhs, _Integer __shift) noexcept operator<< (byte __lhs, _Integer __shift) noexcept
Show All 21 Lines