[Bug rtl-optimization/62030] wrong code due to ifcvt merging two stores which have different aliasing sets

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

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

--- Comment #7 from vries at gcc dot gnu.org ---
Author: vries
Date: Thu Aug 14 16:13:59 2014
New Revision: 213970

URL: https://gcc.gnu.org/viewcvs?rev=213970&root=gcc&view=rev
Log:
Fix if-conversion pass for dead type-unsafe code

2014-08-14  Tom de Vries  <tom@codesourcery.com>

    PR rtl-optimization/62004
    PR rtl-optimization/62030
    * ifcvt.c (rtx_interchangeable_p): New function.
    (noce_try_move, noce_process_if_block): Use rtx_interchangeable_p.
    * emit-rtl.c (mem_attrs_eq_p): Remove static.
    * emit-rtl.h (mem_attrs_eq_p): Declare.

    * gcc.dg/pr62004.c: New test.
    * gcc.dg/pr62030.c: Same.
    * gcc.target/mips/pr62030-octeon.c: Same.

Added:
    trunk/gcc/testsuite/gcc.dg/pr62004.c
    trunk/gcc/testsuite/gcc.dg/pr62030.c
    trunk/gcc/testsuite/gcc.target/mips/pr62030-octeon.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/emit-rtl.h
    trunk/gcc/ifcvt.c
    trunk/gcc/testsuite/ChangeLog