From: Jonathan Wakely <jwakely@redhat.com>
To: Ken Matsui <kmatsui@gcc.gnu.org>
Cc: gcc-patches@gcc.gnu.org, libstdc++@gcc.gnu.org
Subject: Re: [PATCH v4 2/2] libstdc++: use new built-in trait __is_unsigned
Date: Wed, 12 Jul 2023 11:04:41 +0100 [thread overview]
Message-ID: <CACb0b4nEsaf+uz6qQz4FkxA3M7JGA3MkEZ7zfoKaZ8J0kV1STQ@mail.gmail.com> (raw)
In-Reply-To: <20230708111308.92402-2-kmatsui@gcc.gnu.org>
On Sat, 8 Jul 2023 at 12:14, Ken Matsui via Libstdc++
<libstdc++@gcc.gnu.org> wrote:
>
> This patch lets libstdc++ use new built-in trait __is_unsigned.
>
> libstdc++-v3/ChangeLog:
>
> * include/std/type_traits (is_unsigned): Use __is_unsigned built-in
> trait.
> (is_unsigned_v): Likewise.
>
> Signed-off-by: Ken Matsui <kmatsui@gcc.gnu.org>
OK for trunk after the front-end implementation of __is_unsigned is committed.
> ---
> libstdc++-v3/include/std/type_traits | 13 +++++++++++++
> 1 file changed, 13 insertions(+)
>
> diff --git a/libstdc++-v3/include/std/type_traits b/libstdc++-v3/include/std/type_traits
> index 0e7a9c9c7f3..7eeb0da7a27 100644
> --- a/libstdc++-v3/include/std/type_traits
> +++ b/libstdc++-v3/include/std/type_traits
> @@ -884,10 +884,17 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
> { };
>
> /// is_unsigned
> +#if __has_builtin(__is_unsigned)
> + template<typename _Tp>
> + struct is_unsigned
> + : public __bool_constant<__is_unsigned(_Tp)>
> + { };
> +#else
> template<typename _Tp>
> struct is_unsigned
> : public __and_<is_arithmetic<_Tp>, __not_<is_signed<_Tp>>>::type
> { };
> +#endif
>
> /// @cond undocumented
> template<typename _Tp, typename _Up = _Tp&&>
> @@ -3242,8 +3249,14 @@ template <typename _Tp>
>
> template <typename _Tp>
> inline constexpr bool is_signed_v = is_signed<_Tp>::value;
> +
> +#if __has_builtin(__is_unsigned)
> +template <typename _Tp>
> + inline constexpr bool is_unsigned_v = __is_unsigned(_Tp);
> +#else
> template <typename _Tp>
> inline constexpr bool is_unsigned_v = is_unsigned<_Tp>::value;
> +#endif
>
> template <typename _Tp, typename... _Args>
> inline constexpr bool is_constructible_v = __is_constructible(_Tp, _Args...);
> --
> 2.41.0
>
next prev parent reply other threads:[~2023-07-12 10:04 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-03-21 16:39 [PATCH 1/2] c++: implement __is_unsigned built-in trait Ken Matsui
2023-03-21 16:39 ` [PATCH 2/2] libstdc++: use new built-in trait __is_unsigned Ken Matsui
2023-03-21 16:44 ` Jonathan Wakely
2023-03-21 17:02 ` Ken Matsui
2023-03-23 0:42 ` [PATCH v2 " Ken Matsui
2023-03-21 17:08 ` Ken Matsui
2023-03-21 16:42 ` [PATCH 1/2] c++: implement __is_unsigned built-in trait Jonathan Wakely
2023-03-23 0:41 ` [PATCH v2 " Ken Matsui
2023-07-08 5:54 ` [PATCH v3 " Ken Matsui
2023-07-08 11:13 ` [PATCH v4 " Ken Matsui
2023-07-08 11:13 ` [PATCH v4 2/2] libstdc++: use new built-in trait __is_unsigned Ken Matsui
2023-07-12 10:04 ` Jonathan Wakely [this message]
2023-07-08 11:25 ` [PATCH v4 1/2] c++: implement __is_unsigned built-in trait Ken Matsui
2023-09-04 15:00 ` [PING][PATCH " Ken Matsui
2023-03-21 17:06 ` [PATCH v2 " Ken Matsui
2023-03-22 21:23 ` Ken Matsui
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CACb0b4nEsaf+uz6qQz4FkxA3M7JGA3MkEZ7zfoKaZ8J0kV1STQ@mail.gmail.com \
--to=jwakely@redhat.com \
--cc=gcc-patches@gcc.gnu.org \
--cc=kmatsui@gcc.gnu.org \
--cc=libstdc++@gcc.gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).