diff options
author | Jeff Law <law@gcc.gnu.org> | 2015-11-06 16:26:20 -0700 |
---|---|---|
committer | Jeff Law <law@gcc.gnu.org> | 2015-11-06 16:26:20 -0700 |
commit | b9e59e4f11bc85b72167f93d1f356ff77074af01 (patch) | |
tree | 7996214e64ec8ce0a80f2a8768057c4e391c0fe0 /gcc/graphite-optimize-isl.c | |
parent | a6fa947e8261399636817b840fd0fc7c202742e6 (diff) | |
download | gcc-b9e59e4f11bc85b72167f93d1f356ff77074af01.zip gcc-b9e59e4f11bc85b72167f93d1f356ff77074af01.tar.gz gcc-b9e59e4f11bc85b72167f93d1f356ff77074af01.tar.bz2 |
[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.
From-SVN: r229902
Diffstat (limited to 'gcc/graphite-optimize-isl.c')
0 files changed, 0 insertions, 0 deletions