This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH][PR 57371] Remove useless floating point casts in comparisons
- From: Yuri Gribov <tetra2005 at gmail dot com>
- To: GCC Patches <gcc-patches at gcc dot gnu dot org>
- Cc: Joseph Myers <joseph at codesourcery dot com>, glisse at gcc dot gnu dot org
- Date: Mon, 3 Jul 2017 06:58:52 +0100
- Subject: Re: [PATCH][PR 57371] Remove useless floating point casts in comparisons
- Authentication-results: sourceware.org; auth=none
- References: <CAJOtW+7QqBUzHRpSjOaAtxNa3YdX2woo3Rq_BKdhejm=g3TO2Q@mail.gmail.com>
On Sun, Jul 2, 2017 at 6:03 PM, Yuri Gribov <tetra2005@gmail.com> wrote:
> Hi all,
>
> This is initial patch for
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57371 . Per Joseph's
> suggestion it optimizes
> (float)lhs CMP rhs
> (double)lhs CMP rhs
> to
> lhs CMP (typeof(x))rhs
> whenever typeof(x) can be precisely represented by floating-point type
> (e.g. short by float or int by double) and rhs can be precisely
> represented by typeof(x).
>
> Bootstrapped/regtested on x64. Ok for trunk?
Seems my understanding of real_to_integer was too naive. I'll fix the
patch and send updated variant.
-Y