[Bug c/46076] [4.6/4.7 regression] constant propagation and compile-time math no longer happening versus 4.4 and 4.5

[rguenth at gcc dot gnu.org]

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

--- Comment #24 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-04-12 10:44:20 UTC ---
Author: rguenth
Date: Tue Apr 12 10:44:15 2011
New Revision: 172310

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

    PR tree-optimization/46076
    * gimple.h (struct gimple_statement_call): Add fntype field.
    (gimple_call_fntype): Adjust.
    (gimple_call_set_fntype): New function.
    * gimple.c (gimple_build_call_1): Set the call function type.
    * gimplify.c (gimplify_call_expr): Preserve the function
    type the frontend used for the call.
    (gimplify_modify_expr): Likewise.
    * lto-streamer-in.c (input_gimple_stmt): Input the call stmts
    function type.
    * lto-streamer-out.c (output_gimple_stmt): Output the call stmts
    function type.
    * tree-ssa.c (useless_type_conversion_p): Function pointer
    conversions are useless.

    * gcc.dg/tree-ssa/pr46076.c: Un-XFAIL.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimple.c
    trunk/gcc/gimple.h
    trunk/gcc/gimplify.c
    trunk/gcc/lto-streamer-in.c
    trunk/gcc/lto-streamer-out.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr46076.c
    trunk/gcc/tree-ssa.c