From: Richard Guenther <richard.guenther@gmail.com>
To: Jakub Jelinek <jakub@redhat.com>
Cc: gcc-patches@gcc.gnu.org
Subject: Re: [PATCH] Fix simplify_const_unary_operation (PR debug/48204)
Date: Thu, 24 Mar 2011 10:02:00 -0000 [thread overview]
Message-ID: <AANLkTinB17Z3xUE3Xdyfb5fki1_Ma2AX0dbad7tcxWn-@mail.gmail.com> (raw)
In-Reply-To: <20110323201133.GT18914@tyan-ft48-01.lab.bos.redhat.com>
On Wed, Mar 23, 2011 at 9:11 PM, Jakub Jelinek <jakub@redhat.com> wrote:
> Hi!
>
> simplify_const_unary_operation assumes it doesn't have to change anything
> in REAL_VALUE_TYPE for FLOAT_EXTEND, which is wrong when FLOAT_EXTENDing
> e.g. from SFmode to DDmode or SDmode to DFmode, where the number
> needs to be converted from binary to decimal or vice versa.
>
> Fixed thusly, bootstrapped/regtested on x86_64-linux and i686-linux,
> ok for trunk/4.6.1?
Ok.
Thanks,
Richard.
> 2011-03-23 Jakub Jelinek <jakub@redhat.com>
>
> PR debug/48204
> * simplify-rtx.c (simplify_const_unary_operation): Call
> real_convert when changing mode class with FLOAT_EXTEND.
>
> * gcc.dg/dfp/pr48204.c: New test.
>
> --- gcc/simplify-rtx.c.jj 2011-03-21 13:00:09.000000000 +0100
> +++ gcc/simplify-rtx.c 2011-03-23 16:39:13.000000000 +0100
> @@ -1526,7 +1526,8 @@ simplify_const_unary_operation (enum rtx
> }
>
> else if (GET_CODE (op) == CONST_DOUBLE
> - && SCALAR_FLOAT_MODE_P (mode))
> + && SCALAR_FLOAT_MODE_P (mode)
> + && SCALAR_FLOAT_MODE_P (GET_MODE (op)))
> {
> REAL_VALUE_TYPE d, t;
> REAL_VALUE_FROM_CONST_DOUBLE (d, op);
> @@ -1549,7 +1550,10 @@ simplify_const_unary_operation (enum rtx
> d = real_value_truncate (mode, d);
> break;
> case FLOAT_EXTEND:
> - /* All this does is change the mode. */
> + /* All this does is change the mode, unless changing
> + mode class. */
> + if (GET_MODE_CLASS (mode) != GET_MODE_CLASS (GET_MODE (op)))
> + real_convert (&d, mode, &d);
> break;
> case FIX:
> real_arithmetic (&d, FIX_TRUNC_EXPR, &d, NULL);
> --- gcc/testsuite/gcc.dg/dfp/pr48204.c.jj 2011-03-23 16:44:09.000000000 +0100
> +++ gcc/testsuite/gcc.dg/dfp/pr48204.c 2011-03-23 16:43:35.000000000 +0100
> @@ -0,0 +1,10 @@
> +/* PR debug/48204 */
> +/* { dg-do compile } */
> +/* { dg-options "-O -fno-tree-ccp -fno-tree-dominator-opts -fno-tree-fre -g" } */
> +
> +void
> +foo (void)
> +{
> + float cf = 3.0f;
> + _Decimal64 d64 = cf;
> +}
>
> Jakub
>
prev parent reply other threads:[~2011-03-24 10:02 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-03-23 20:11 Jakub Jelinek
2011-03-24 10:02 ` Richard Guenther [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=AANLkTinB17Z3xUE3Xdyfb5fki1_Ma2AX0dbad7tcxWn-@mail.gmail.com \
--to=richard.guenther@gmail.com \
--cc=gcc-patches@gcc.gnu.org \
--cc=jakub@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).