procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Remove special-cased edges when solving copies

Browse source 
The following makes sure to remove the copy edges we ignore or
need to special-case only once.

	* tree-ssa-structalias.cc (solve_graph): Remove self-copy
	edges, remove edges from escaped after special-casing them.
This commit is contained in:
Richard Biener 2023-03-15 08:46:04 +01:00
parent 8366e6764e
commit 6702fdcdf8
1 changed files with 14 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
gcc/tree-ssa-structalias.cc
View file

@ -2873,19 +2873,22 @@ solve_graph (constraint_graph_t graph)
}
/* Don't try to propagate to ourselves. */
if (to == i)
continue;
bitmap tmp = get_varinfo (to)->solution;
bool flag = false;
/* If we propagate from ESCAPED use ESCAPED as
placeholder. */
{
to_remove = j;
continue;
}
/* Early node unification can lead to edges from
escaped - remove them. */
if (i == eff_escaped_id)
flag = bitmap_set_bit (tmp, escaped_id);
else
flag = bitmap_ior_into (tmp, pts);
{
to_remove = j;
if (bitmap_set_bit (get_varinfo (to)->solution,
escaped_id))
bitmap_set_bit (changed, to);
continue;
}
if (flag)
if (bitmap_ior_into (get_varinfo (to)->solution, pts))
bitmap_set_bit (changed, to);
}
if (to_remove != ~0U)