[Bug tree-optimization/52448] [4.6/4.7/4.8 Regression] cselim broken with calls

[matz at gcc dot gnu.org]

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

--- Comment #9 from Michael Matz <matz at gcc dot gnu.org> 2013-02-08 12:31:28 UTC ---
Author: matz
Date: Fri Feb  8 12:31:19 2013
New Revision: 195883

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=195883
Log:
    PR tree-optimization/52448

    * tree-ssa-phiopt.c (struct name_to_bb): Add phase member.
    (nt_call_phase): New static.
    (add_or_mark_expr): Only mark accesses with newer phase than any
    call seen.
    (nonfreeing_call_p): New.
    (nt_init_block): Update nt_call_phase, mark blocks as visited.
    (nt_fini_block): Keep blocks marked as visited.
    (get_non_trapping): Initialize nt_call_phase, and reset aux pointer.

testsuite/
    PR tree-optimization/52448
    * gcc.dg/pr52448.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr52448.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-phiopt.c