[Bug tree-optimization/80237] float to double conversion is not optimized away

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80237

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Fri Apr 21 08:17:23 2017
New Revision: 247049

URL: https://gcc.gnu.org/viewcvs?rev=247049&root=gcc&view=rev
Log:
2017-04-21  Richard Biener  <rguent...@suse.de>

        PR tree-optimization/80237
        * tree-ssa-pre.c (find_leader_in_sets): Add third set argument,
        defaulted to NULL.
        (phi_translate_1): Also allow a leader in AVAIL_OUT of pred
        for a simplified result.

        * gcc.dg/tree-ssa/tailcall-9.c: New testcase.
        * gcc.dg/tree-ssa/ldist-pr45948.c: Remove undefined behavior,
        adjust expected optimizations.

Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/tailcall-9.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ldist-pr45948.c
    trunk/gcc/tree-ssa-pre.c