[Bug tree-optimization/56625] After if-conversion vectorizer doesn't recognize similar loads

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

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

--- Comment #3 from amker at gcc dot gnu.org ---
Author: amker
Date: Wed Apr 20 15:41:45 2016
New Revision: 235289

URL: https://gcc.gnu.org/viewcvs?rev=235289&root=gcc&view=rev
Log:
        PR tree-optimization/56625
        PR tree-optimization/69489
        * tree-data-ref.h (DR_INNERMOST): New macro.
        * tree-if-conv.c (innermost_loop_behavior_hash): New class for
        hashing struct innermost_loop_behavior.
        (ref_DR_map): Remove.
        (innermost_DR_map): New map.
        (baseref_DR_map): Revise comment.
        (hash_memrefs_baserefs_and_store_DRs_read_written_info): Store DR
        to innermost_DR_map accroding to its innermost loop behavior.
        (ifcvt_memrefs_wont_trap): Get DR from innermost_DR_map according
        to its innermost loop behavior.
        (if_convertible_loop_p_1): Remove intialization for ref_DR_map.
        Add initialization for innermost_DR_map.  Record memory reference
        in DR_BASE_ADDRESS if the reference is compound one or it doesn't
        have innermost loop behavior.
        (if_convertible_loop_p): Remove release for ref_DR_map.  Release
        innermost_DR_map.

        gcc/testsuite/ChangeLog
        PR tree-optimization/56625
        PR tree-optimization/69489
        * gcc.dg/vect/pr56625.c: New test.
        * gcc.dg/tree-ssa/ifc-pr69489-1.c: New test.


Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ifc-pr69489-1.c
    trunk/gcc/testsuite/gcc.dg/vect/pr56625.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-data-ref.h
    trunk/gcc/tree-if-conv.c