[Bug tree-optimization/59387] [4.9 Regression] wrong code (hangs) at -Os on x86_64-linux-gnu

[jakub at gcc dot gnu.org]

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

--- Comment #10 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Mon Jan 13 19:14:03 2014
New Revision: 206583

URL: http://gcc.gnu.org/viewcvs?rev=206583&root=gcc&view=rev
Log:
    PR tree-optimization/59387
    * tree-scalar-evolution.c: Include gimple-fold.h and gimplify-me.h.
    (scev_const_prop): If folded_casts and type has undefined overflow,
    use force_gimple_operand instead of force_gimple_operand_gsi and
    for each added stmt if it is assign with
    arith_code_with_undefined_signed_overflow, call
    rewrite_to_defined_overflow.
    * tree-ssa-loop-im.c: Don't include gimplify-me.h, include
    gimple-fold.h instead.
    (arith_code_with_undefined_signed_overflow,
    rewrite_to_defined_overflow): Moved to ...
    * gimple-fold.c (arith_code_with_undefined_signed_overflow,
    rewrite_to_defined_overflow): ... here.  No longer static.
    Include gimplify-me.h.
    * gimple-fold.h (arith_code_with_undefined_signed_overflow,
    rewrite_to_defined_overflow): New prototypes.

    * gcc.c-torture/execute/pr59387.c: New test.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimple-fold.c
    trunk/gcc/gimple-fold.h
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-scalar-evolution.c
    trunk/gcc/tree-ssa-loop-im.c