From: Jonathan Wakely <jwakely@redhat.com>
To: Patrick Palka <ppalka@redhat.com>
Cc: Ken Matsui <kmatsui@gcc.gnu.org>,
gcc-patches@gcc.gnu.org, libstdc++@gcc.gnu.org
Subject: Re: [PATCH] libstdc++: Use _GLIBCXX_USE_BUILTIN_TRAIT for is_same
Date: Fri, 9 Feb 2024 18:06:29 +0000 [thread overview]
Message-ID: <CACb0b4=wtTFKgT1iSi_+-aKFL4q-2PqcS7Wf2dRTMco0M8roHg@mail.gmail.com> (raw)
In-Reply-To: <2bed5693-733f-d4b0-791c-e311df9a74d5@idea>
[-- Attachment #1: Type: text/plain, Size: 2800 bytes --]
On Fri, 9 Feb 2024 at 16:02, Patrick Palka <ppalka@redhat.com> wrote:
> On Thu, 8 Feb 2024, Ken Matsui wrote:
>
> > Since is_same has a fallback native implementation, and
> > _GLIBCXX_HAVE_BUILTIN_IS_SAME does not support toggling which
> > implementation to use, we remove the _GLIBCXX_HAVE_BUILTIN_IS_SAME
> > definition and use _GLIBCXX_USE_BUILTIN_TRAIT instead.
> >
> > libstdc++-v3/ChangeLog:
> >
> > * include/bits/c++config (_GLIBCXX_HAVE_BUILTIN_IS_SAME):
> > Removed.
> > * include/std/type_traits (is_same): Use
> > _GLIBCXX_USE_BUILTIN_TRAIT instead of
> > _GLIBCXX_HAVE_BUILTIN_IS_SAME.
> > (is_same_v): Likewise.
>
> LGTM
>
Me too, OK for trunk, thanks.
+Reviewed-by: Jonathan Wakely <jwakely@redhat.com>
>
> >
> > Signed-off-by: Ken Matsui <kmatsui@gcc.gnu.org>
> > ---
> > libstdc++-v3/include/bits/c++config | 4 ----
> > libstdc++-v3/include/std/type_traits | 9 +++++----
> > 2 files changed, 5 insertions(+), 8 deletions(-)
> >
> > diff --git a/libstdc++-v3/include/bits/c++config
> b/libstdc++-v3/include/bits/c++config
> > index ad07ce92d5f..b57e3f338e9 100644
> > --- a/libstdc++-v3/include/bits/c++config
> > +++ b/libstdc++-v3/include/bits/c++config
> > @@ -845,10 +845,6 @@ namespace __gnu_cxx
> > # define _GLIBCXX_HAVE_BUILTIN_IS_AGGREGATE 1
> > #endif
> >
> > -#if _GLIBCXX_HAS_BUILTIN(__is_same)
> > -# define _GLIBCXX_HAVE_BUILTIN_IS_SAME 1
> > -#endif
> > -
> > #if _GLIBCXX_HAS_BUILTIN(__builtin_launder)
> > # define _GLIBCXX_HAVE_BUILTIN_LAUNDER 1
> > #endif
> > diff --git a/libstdc++-v3/include/std/type_traits
> b/libstdc++-v3/include/std/type_traits
> > index a9bb2806ca9..21402fd8c13 100644
> > --- a/libstdc++-v3/include/std/type_traits
> > +++ b/libstdc++-v3/include/std/type_traits
> > @@ -1470,16 +1470,17 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
> > // Type relations.
> >
> > /// is_same
> > +#if _GLIBCXX_USE_BUILTIN_TRAIT(__is_same)
> > template<typename _Tp, typename _Up>
> > struct is_same
> > -#ifdef _GLIBCXX_HAVE_BUILTIN_IS_SAME
> > : public __bool_constant<__is_same(_Tp, _Up)>
> > + { };
> > #else
> > + template<typename _Tp, typename _Up>
> > + struct is_same
> > : public false_type
> > -#endif
> > { };
> >
> > -#ifndef _GLIBCXX_HAVE_BUILTIN_IS_SAME
> > template<typename _Tp>
> > struct is_same<_Tp, _Tp>
> > : public true_type
> > @@ -3496,7 +3497,7 @@ template <typename _Tp>
> > template <typename _Tp, unsigned _Idx>
> > inline constexpr size_t extent_v<_Tp[], _Idx> = extent_v<_Tp, _Idx -
> 1>;
> >
> > -#ifdef _GLIBCXX_HAVE_BUILTIN_IS_SAME
> > +#if _GLIBCXX_USE_BUILTIN_TRAIT(__is_same)
> > template <typename _Tp, typename _Up>
> > inline constexpr bool is_same_v = __is_same(_Tp, _Up);
> > #else
> > --
> > 2.43.0
> >
> >
>
>
prev parent reply other threads:[~2024-02-09 18:06 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-02-08 10:20 Ken Matsui
2024-02-09 16:01 ` Patrick Palka
2024-02-09 18:06 ` Jonathan Wakely [this message]
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='CACb0b4=wtTFKgT1iSi_+-aKFL4q-2PqcS7Wf2dRTMco0M8roHg@mail.gmail.com' \
--to=jwakely@redhat.com \
--cc=gcc-patches@gcc.gnu.org \
--cc=kmatsui@gcc.gnu.org \
--cc=libstdc++@gcc.gnu.org \
--cc=ppalka@redhat.com \
/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).