path relation oracle: Remove SSA's being killed from the equivalence list.
authorAldy Hernandez <aldyh@redhat.com>
Thu, 28 Oct 2021 13:54:27 +0000 (15:54 +0200)
committerAldy Hernandez <aldyh@redhat.com>
Thu, 28 Oct 2021 21:12:03 +0000 (23:12 +0200)
commit6ef9ad930945b0912747f186f58ef446e7bf29c2
treef8eba8329978af8f66513a7247125f36a8abe0e2
parent308531d148afa3fd77c0efc82a80b26300f9615a
path relation oracle: Remove SSA's being killed from the equivalence list.

Same thing as the relational change.  Walk any equivalences that have
been registered on the path, and remove the name being killed.  The
only reason we had added the equivalence with itself earlier is so we
wouldn't search any further in the equivalency list.  So if we are
removing all references to it, then we no longer need to add a "kill"
record.

Will push pending tests on x86-64 Linux.

Co-authored-by: Andrew MacLeod <amacleod@redhat.com>
gcc/ChangeLog:

* value-relation.cc (path_oracle::killing_def): Walk the
equivalency list and remove SSA from any equivalencies.
gcc/value-relation.cc