------- Comment #3 from rguenth at gcc dot gnu dot org 2008-03-14 17:06 ------- Subject: Bug 34172
Author: rguenth Date: Fri Mar 14 17:05:48 2008 New Revision: 133222 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=133222 Log: 2008-03-14 Richard Guenther <[EMAIL PROTECTED]> PR tree-optimization/34172 * tree-flow.h (refs_may_alias_p): Declare. (get_single_def_stmt): Likewise. (get_single_def_stmt_from_phi): Likewise. (get_single_def_stmt_with_phi): Likewise. * tree-dfa.c (refs_may_alias_p): New function. (get_single_def_stmt): Likewise. (get_single_def_stmt_from_phi): Likewise. (get_single_def_stmt_with_phi): Likewise. * tree-ssa-sccvn.c (get_def_ref_stmt_vuses): New function. (vn_reference_lookup_1): New helper function. (vn_reference_lookup): Walk the virtual use-def chain to continue searching for a match if the def does not alias the reference we are looking for. * gcc.dg/tree-ssa/ssa-fre-11.c: New testcase. * gcc.dg/tree-ssa/ssa-fre-12.c: Likewise. * gcc.dg/tree-ssa/ssa-fre-13.c: Likewise. * gcc.dg/tree-ssa/ssa-fre-14.c: Likewise. * gcc.dg/tree-ssa/ssa-fre-15.c: Likewise. * gcc.dg/tree-ssa/20031106-4.c: Remove XFAIL. Added: trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-11.c trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-12.c trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-13.c trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-14.c trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-fre-15.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/testsuite/gcc.dg/tree-ssa/20031106-4.c trunk/gcc/tree-dfa.c trunk/gcc/tree-flow.h trunk/gcc/tree-ssa-sccvn.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34172
