r229902 - in /trunk/gcc: ChangeLog cfg-flags.de...

[law@gcc.gnu.org]

Author: law
Date: Fri Nov  6 23:26:20 2015
New Revision: 229902

URL: https://gcc.gnu.org/viewcvs?rev=229902&root=gcc&view=rev
Log:
[PATCH] Allow vrp to thread across backedges using FSM threader

	* cfg-flags.def (IGNORE): New edge flag.
	* tree-vrp.c (identify_jump_threads): Mark and clear edges
	scheduled for removal with EDGE_IGNORE around call into
	jump threader.  Do no thread across edges with EDGE_IGNORE,
	but do allow threading across those with EDGE_DFS_BACK.

	* gcc.dg/tree-ssa/ssa-dom-thread-7.c: Adjust to look for
	realized jump threads.
	* gcc.dg/tree-ssa-pr66752-3.c: Look in vrp1 dump for jump
	threads rather than dom1 dump.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cfg-flags.def
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr66752-3.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-thread-7.c
    trunk/gcc/tree-vrp.c