[Bug tree-optimization/49715] Could do more efficient unsigned-to-float to conversions based on range information

["rguenth at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49715

--- Comment #5 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-07-25 08:30:50 UTC ---
Author: rguenth
Date: Mon Jul 25 08:30:46 2011
New Revision: 176735

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=176735
Log:
2011-07-25  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/49715
    * tree-vrp.c: Include expr.h and optabs.h.
    (range_fits_type_): New function.
    (simplify_float_conversion_using_ranges): Likewise.
    (simplify_stmt_using_ranges): Call it.
    * Makefile.in (tree-vrp.o): Add $(EXPR_H) and $(OPTABS_H) dependencies.
    * optabs.c (can_float_p): Export.
    * optabs.h (can_float_p): Declare.

    * gcc.target/i386/pr49715-1.c: New testcase.
    * gcc.target/i386/pr49715-2.c: Likewise.

Added:
    trunk/gcc/testsuite/gcc.target/i386/pr49715-1.c
    trunk/gcc/testsuite/gcc.target/i386/pr49715-2.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/Makefile.in
    trunk/gcc/optabs.c
    trunk/gcc/optabs.h
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c