From: Joseph Myers <joseph@codesourcery.com>
To: Jakub Jelinek <jakub@redhat.com>
Cc: Richard Biener <rguenther@suse.de>,
Jason Merrill <jason@redhat.com>, <gcc-patches@gcc.gnu.org>
Subject: Re: [PATCH] Add type-generic clz/ctz/clrsb/ffs/parity/popcount builtins [PR111309]
Date: Mon, 13 Nov 2023 23:45:04 +0000 [thread overview]
Message-ID: <8e80ec1d-ef19-86d5-9253-e490fc6cedab@codesourcery.com> (raw)
In-Reply-To: <ZU3zi4bL5zQ0kAFR@tucnak>
On Fri, 10 Nov 2023, Jakub Jelinek wrote:
> > Besides the above question I'd say OK (I assume Josephs reply is a
> > general ack from his side).
>
> Joseph, what are your thoughts on the above?
It's correct not to promote, since that matches the semantics of the
standard type-generic macros. (I did suggest in WG14 that the
type-generic macros might make more sense in the cases of functions that
are genuinely just functions of their integer argument and not of its
type, such as population count, than for functions where the result for a
given integer argument depends on the width of its type and not just the
integer value, or that passing an explicit width argument might be
appropriate for type-generic macros in cases where the width matters, but
WG14 wanted all the type-generic macros as-is.)
--
Joseph S. Myers
joseph@codesourcery.com
next prev parent reply other threads:[~2023-11-13 23:45 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-11-09 15:02 Jakub Jelinek
2023-11-09 21:43 ` Joseph Myers
2023-11-10 8:09 ` Richard Biener
2023-11-10 9:10 ` Jakub Jelinek
2023-11-10 9:19 ` Richard Biener
2023-11-10 9:44 ` Jakub Jelinek
2023-11-11 8:18 ` Jakub Jelinek
2023-11-13 23:45 ` Joseph Myers [this message]
2023-12-16 5:51 ` Andrew Pinski
2023-12-16 8:36 ` Jakub Jelinek
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=8e80ec1d-ef19-86d5-9253-e490fc6cedab@codesourcery.com \
--to=joseph@codesourcery.com \
--cc=gcc-patches@gcc.gnu.org \
--cc=jakub@redhat.com \
--cc=jason@redhat.com \
--cc=rguenther@suse.de \
/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).