https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80198
--- Comment #10 from Jeffrey A. Law <law at redhat dot com> --- Yea. The code that was recording NAME = NAME conditional equivalences was largely disabled back in August. They'll only be recorded now if one name is cheaper to compute than the other. So if the conditional equivalences are still a problem with this BZ, then we need to look at the costing of the SSA_NAME's defining statement.