[Bug tree-optimization/48571] [4.5/4.6/4.7 Regression] Missed data-dependence for (bogus?) reconstructed array-refs

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

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

--- Comment #5 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-08-30 14:06:07 UTC ---
Author: rguenth
Date: Tue Aug 30 14:06:00 2011
New Revision: 178312

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

    PR middle-end/48571
    * gimple.h (maybe_fold_offset_to_address): Remove.
    (maybe_fold_offset_to_reference): Likewise.
    (maybe_fold_stmt_addition): Likewise.
    (may_propagate_address_into_dereference): Likewise.
    * tree-inline.c (remap_gimple_op_r): Do not reconstruct
    array references.
    * gimple-fold.c (canonicalize_constructor_val): Likewise.
    Canonicalize invariant POINTER_PLUS_EXPRs to invariant MEM_REF
    addresses instead.
    (may_propagate_address_into_dereference): Remove.
    (maybe_fold_offset_to_array_ref): Likewise.
    (maybe_fold_offset_to_reference): Likewise.
    (maybe_fold_offset_to_address): Likewise.
    (maybe_fold_stmt_addition): Likewise.
    (fold_gimple_assign): Do not reconstruct array references but
    instead canonicalize invariant POINTER_PLUS_EXPRs to invariant
    MEM_REF addresses.
    (gimple_fold_stmt_to_constant_1): Likewise.
    * tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Likewise.
    * gimplify.c (gimplify_conversion): Likewise.
    (gimplify_expr): Likewise.

    * gcc.c-torture/execute/pr48571-1.c: New testcase.
    * gcc.dg/tree-ssa/ssa-ccp-25.c: Remove.
    * gcc.dg/tree-ssa/ssa-ccp-26.c: Likewise.
    * gcc.dg/pr36902.c: XFAIL.

Added:
    trunk/gcc/testsuite/gcc.c-torture/execute/pr48571-1.c
Removed:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-25.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-26.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimple-fold.c
    trunk/gcc/gimple.h
    trunk/gcc/gimplify.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/pr36902.c
    trunk/gcc/tree-inline.c
    trunk/gcc/tree-ssa-forwprop.c