diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2023-10-12 17:06:36 -0400 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2023-10-13 09:13:10 -0400 |
| commit | 8be20f3b0bded7f9b690b27cbee58b283dbe827b (patch) | |
| tree | d94a1359919d152e62fe4f9055b418621c2a9858 | |
| parent | 3179ad72f67f31824c444ef30ef171ad7495d274 (diff) | |
| download | gcc-8be20f3b0bded7f9b690b27cbee58b283dbe827b.zip gcc-8be20f3b0bded7f9b690b27cbee58b283dbe827b.tar.gz gcc-8be20f3b0bded7f9b690b27cbee58b283dbe827b.tar.bz2 | |
Do not add partial equivalences with no uses.
PR tree-optimization/111622
* value-relation.cc (equiv_oracle::add_partial_equiv): Do not
register a partial equivalence if an operand has no uses.
| -rw-r--r-- | gcc/value-relation.cc | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/value-relation.cc b/gcc/value-relation.cc index 0326fe7..c0f513a 100644 --- a/gcc/value-relation.cc +++ b/gcc/value-relation.cc @@ -392,6 +392,9 @@ equiv_oracle::add_partial_equiv (relation_kind r, tree op1, tree op2) // In either case, if PE2 has an entry, we simply do nothing. if (pe2.members) return; + // If there are no uses of op2, do not register. + if (has_zero_uses (op2)) + return; // PE1 is the LHS and already has members, so everything in the set // should be a slice of PE2 rather than PE1. pe2.code = pe_min (r, pe1.code); @@ -409,6 +412,9 @@ equiv_oracle::add_partial_equiv (relation_kind r, tree op1, tree op2) } if (pe2.members) { + // If there are no uses of op1, do not register. + if (has_zero_uses (op1)) + return; pe1.ssa_base = pe2.ssa_base; // If pe2 is a 16 bit value, but only an 8 bit copy, we can't be any // more than an 8 bit equivalence here, so choose MIN value. @@ -418,6 +424,9 @@ equiv_oracle::add_partial_equiv (relation_kind r, tree op1, tree op2) } else { + // If there are no uses of either operand, do not register. + if (has_zero_uses (op1) || has_zero_uses (op2)) + return; // Neither name has an entry, simply create op1 as slice of op2. pe2.code = bits_to_pe (TYPE_PRECISION (TREE_TYPE (op2))); if (pe2.code == VREL_VARYING) |