public inbox for gcc@gcc.gnu.org
 help / color / mirror / Atom feed
From: Jakub Jelinek <jakub@redhat.com>
To: Ulrich Drepper <drepper@gmail.com>
Cc: gcc@gcc.gnu.org
Subject: Re: asm in inline function invalidating function attributes?
Date: Mon, 17 Oct 2011 04:08:00 -0000	[thread overview]
Message-ID: <20111016183837.GW27949@sunsite.ms.mff.cuni.cz> (raw)
In-Reply-To: <CAOPLpQc7=Qj=eR8ijiNiYcjNu2err+FfBDmy5LSJ0b7XJkyXUw@mail.gmail.com>

On Sat, Oct 15, 2011 at 05:52:03PM -0400, Ulrich Drepper wrote:
> I think gcc should allow the programmer to tell it something about a
> function return value even if the function is inlined and the compiler
> can see all the code.  Consider the code below.

If this is about e.g.
2011-09-14  Ulrich Drepper  <drepper@gmail.com>

	* sysdeps/x86_64/fpu/bits/mathinline.h (__MATH_INLINE): Use
	__extern_always_inline.
	Define lrint{f,} and llrint{f,} for 64-bit and in some situations for
 	32-bit.
then I'd say these inlines are the wrong direction, gcc (tried 4.6/trunk
only) has lrint{,f,l} builtin, and for -ffast-math it will optimize it into
cvtsd2siq etc. (both for -m64 and for -m32 -msse2 -mfmath=sse). 
It will be handled as const, and furthermore gcc will constant fold it
(lrint (7.5) will be resolved at compile time).

	Jakub

  parent reply	other threads:[~2011-10-16 18:38 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-10-16  3:29 Ulrich Drepper
2011-10-16 18:52 ` Richard Guenther
2011-10-16 23:37   ` Ulrich Drepper
2011-10-17  8:53     ` Andi Kleen
2011-10-17 11:11       ` Richard Guenther
2011-10-17 16:20         ` Ulrich Drepper
2011-10-17 16:28         ` Andi Kleen
2011-10-17  4:08 ` Jakub Jelinek [this message]
2011-10-17  6:57   ` Ulrich Drepper

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=20111016183837.GW27949@sunsite.ms.mff.cuni.cz \
    --to=jakub@redhat.com \
    --cc=drepper@gmail.com \
    --cc=gcc@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).