From: "Richard Guenther" <richard.guenther@gmail.com>
To: "Mark Mitchell" <mark@codesourcery.com>
Cc: trevor_smigiel@playstation.sony.com,
"Hans-Peter Nilsson" <hp@bitrange.com>, gcc <gcc@gcc.gnu.org>,
Russell_Olsen@playstation.sony.com,
Andrew_Pinski@playstation.sony.com,
"Mark Mendell" <mendell@ca.ibm.com>
Subject: Re: __builtin_expect for indirect function calls
Date: Sat, 05 Jan 2008 10:40:00 -0000 [thread overview]
Message-ID: <84fc9c000801050240l6918b59dpd519dea81ddd3ad@mail.gmail.com> (raw)
In-Reply-To: <477F190B.2000807@codesourcery.com>
On Jan 5, 2008 6:43 AM, Mark Mitchell <mark@codesourcery.com> wrote:
> trevor_smigiel@playstation.sony.com wrote:
>
> > Currently, the prototype for __builtin_expect is
> >
> > long __builtin_expect (long expression, long constant);
> >
> > Extending it to functions would change it to
> >
> > T __builtin_expect (T expression, T expected);
>
> Yes, it really makes more sense for __builtin_expect to be polymorphic
> in this way anyhow. I consider it a design wart that it's defined in
> terms of "long". (For example, this means you can't use it for "long
> long"!)
>
> > Rather than the above definition, we could choose not to inspect the
> > context and just say:
> > * T is the type of 'expression'
> > * 'expected' is allowed to be a non-constant
> >
> > In this case I think there would only be compatibility issues with
> > unusual uses of __builtin_expect, for example, if it was being used in a
> > function argument and its type effected overload resolution.
>
> I think this is the abstractly right approach. However, you're right
> that there are backwards-compatibility issues. Another issue is that on
> platforms where "long" and "int" do not have the same width, something like:
>
> sizeof(__builtin_expect(1, 1))
>
> will change its value. And, the current prototype is documented in the
> manual.
>
> What do people think? Do we have the leeway to change this? Or should
> we add __builtin_expect2? Or add an -fno-polymorphic-builtin-expect?
> Or...?
I think we should simply make __builtin_expect polymorphic, but make sure
to promote integral arguments with rank less than long to long.
Richard.
next prev parent reply other threads:[~2008-01-05 10:40 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-12-18 0:52 trevor_smigiel
2007-12-18 2:27 ` Jonathan Adamczewski
2007-12-22 3:42 ` Hans-Peter Nilsson
2007-12-26 19:10 ` Mark Mitchell
2008-01-03 23:36 ` trevor_smigiel
2008-01-05 5:44 ` Mark Mitchell
2008-01-05 10:40 ` Richard Guenther [this message]
2008-01-06 19:44 ` Mark Mitchell
2008-01-07 21:15 ` Mark Mendell
2008-01-08 15:36 ` Dave Korn
2008-01-08 15:51 ` Dave Korn
2008-01-03 23:46 ` trevor_smigiel
2008-01-06 20:42 Ross Ridge
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=84fc9c000801050240l6918b59dpd519dea81ddd3ad@mail.gmail.com \
--to=richard.guenther@gmail.com \
--cc=Andrew_Pinski@playstation.sony.com \
--cc=Russell_Olsen@playstation.sony.com \
--cc=gcc@gcc.gnu.org \
--cc=hp@bitrange.com \
--cc=mark@codesourcery.com \
--cc=mendell@ca.ibm.com \
--cc=trevor_smigiel@playstation.sony.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).