diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2022-05-16 21:39:30 -0400 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2022-05-17 11:43:32 -0400 |
| commit | 6101a276c34b94f692206739d98aa7faf2e7b2ad (patch) | |
| tree | f975c63b58602ab3f43a3c365cd044b561e5e906 /gcc/value-relation.cc | |
| parent | 61a6923e8917b6efcf349515a00a485dfd5b42e4 (diff) | |
| download | gcc-6101a276c34b94f692206739d98aa7faf2e7b2ad.zip gcc-6101a276c34b94f692206739d98aa7faf2e7b2ad.tar.gz gcc-6101a276c34b94f692206739d98aa7faf2e7b2ad.tar.bz2 | |
Check for equivalence after merging relations.
When registering a relation, we need to merge with any existing relation
before checking if it was an equivalence... otherwise it was not being
handled properly.
gcc/
PR tree-optimization/105458
* value-relation.cc (path_oracle::register_relation): Merge, then check
for equivalence.
gcc/testsuite/
* gcc.dg/pr105458.c: New.
Diffstat (limited to 'gcc/value-relation.cc')
| -rw-r--r-- | gcc/value-relation.cc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/value-relation.cc b/gcc/value-relation.cc index a935651..85d159f 100644 --- a/gcc/value-relation.cc +++ b/gcc/value-relation.cc @@ -1384,16 +1384,16 @@ path_oracle::register_relation (basic_block bb, relation_kind k, tree ssa1, fprintf (dump_file, " (root: bb%d)\n", bb->index); } + relation_kind curr = query_relation (bb, ssa1, ssa2); + if (curr != VREL_VARYING) + k = relation_intersect (curr, k); + if (k == VREL_EQ) { register_equiv (bb, ssa1, ssa2); return; } - relation_kind curr = query_relation (bb, ssa1, ssa2); - if (curr != VREL_VARYING) - k = relation_intersect (curr, k); - bitmap_set_bit (m_relations.m_names, SSA_NAME_VERSION (ssa1)); bitmap_set_bit (m_relations.m_names, SSA_NAME_VERSION (ssa2)); relation_chain *ptr = (relation_chain *) obstack_alloc (&m_chain_obstack, |