r202660 - in /trunk/gcc: ChangeLog testsuite/Ch...

[law@gcc.gnu.org]

Author: law
Date: Tue Sep 17 17:27:41 2013
New Revision: 202660

URL: http://gcc.gnu.org/viewcvs?rev=202660&root=gcc&view=rev
Log:
	* gcc.c-torture/execute/pr58387.c: New test.

	* tree-ssa-dom.c (cprop_into_successor_phis): Also propagate
	edge implied equivalences into successor phis.
	* tree-ssa-threadupdate.c (phi_args_equal_on_edges): Moved into
	here from tree-ssa-threadedge.c.
	(mark_threaded_blocks): When threading through a joiner, if both
	successors of the joiner's clone reach the same block, verify the
	PHI arguments are equal.  If not, cancel the jump threading request.
	* tree-ssa-threadedge.c (phi_args_equal_on_edges): Moved into
	tree-ssa-threadupdate.c
	(thread_across_edge): Don't check PHI argument equality when
	threading through joiner block here.

Added:
    trunk/gcc/testsuite/gcc.c-torture/execute/pr58387.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-dom.c
    trunk/gcc/tree-ssa-threadedge.c
    trunk/gcc/tree-ssa-threadupdate.c