[Bug tree-optimization/68583] [5/6 Regression] Missed if-conversion

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Wed Dec  9 13:30:41 2015
New Revision: 231453

URL: https://gcc.gnu.org/viewcvs?rev=231453&root=gcc&view=rev
Log:
2015-12-09  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/68583
        * tree-if-conv.c (if_convertible_phi_p): Drop
        flag_tree_loop_if_convert_stores check in favor of the
        existing any_mask_load_store check.
        (insert_gimplified_predicates): Likewise.
        (combine_blocks): Likewise.
        (tree_if_conversion): Likewise.
        (ifcvt_memrefs_wont_trap): Properly check
        flag_tree_loop_if_convert_stores in all places that can end
        up introducing store-data-races.
        (if_convertible_gimple_assign_stmt_p): Remove restriction
        on flag_tree_loop_if_convert_stores for stores we can if-convert
        without introducing store-data-races.  Force versioning for
        all if-converted stores.

        * gcc.dg/tree-ssa/ifc-pr68583.c: New testcase.
        * gcc.dg/vect/vect-72.c: Adjust.
        * gcc.dg/vect/vect-cselim-2.c: Likewise.
        * gcc.dg/vect/vect-strided-store-a-u8-i2.c: Likewise.

Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ifc-pr68583.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/vect/vect-72.c
    trunk/gcc/testsuite/gcc.dg/vect/vect-cselim-2.c
    trunk/gcc/testsuite/gcc.dg/vect/vect-strided-store-a-u8-i2.c
    trunk/gcc/tree-if-conv.c