OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Check if transitives need to be registered.

Browse Source 
Whenever a relation is added, register_transitive is always called.
If neither operand was in a relation before, or this is not a new
relation, then there is no need to register transitives.

	PR tree-optimization/106280
	* value-relation.cc (dom_oracle::register_relation): Register
	transitives only when it is possible for there to be one.
	(dom_oracle::set_one_relation): Return NULL if this is an
	existing relation.
This commit is contained in:
Andrew MacLeod 2022-07-14 12:35:55 -04:00
parent e9ee752bbe
commit 5e47c9333d
1 changed files with 10 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
gcc/value-relation.cc
View File

@ -967,8 +967,12 @@ dom_oracle::register_relation (basic_block bb, relation_kind k, tree op1,
equiv_oracle::register_relation (bb, k, op1, op2);
else
{
// if neither op1 nor op2 are in a relation before this is registered,
// there will be no transitive.
bool check = bitmap_bit_p (m_relation_set, SSA_NAME_VERSION (op1))
|| bitmap_bit_p (m_relation_set, SSA_NAME_VERSION (op2));
relation_chain *ptr = set_one_relation (bb, k, op1, op2);
if (ptr)
if (ptr && check)
register_transitives (bb, *ptr);
}
}
@ -1010,13 +1014,16 @@ dom_oracle::set_one_relation (basic_block bb, relation_kind k, tree op1,
// Check into whether we can simply replace the relation rather than
// intersecting it. THis may help with some optimistic iterative
// updating algorithms.
ptr->intersect (vr);
bool new_rel = ptr->intersect (vr);
if (dump_file && (dump_flags & TDF_DETAILS))
{
fprintf (dump_file, " to produce ");
ptr->dump (dump_file);
fprintf (dump_file, "\n");
fprintf (dump_file, " %s.\n", new_rel ? "Updated" : "No Change");
}
// If there was no change, return no record..
if (!new_rel)
return NULL;
}
else
{