https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80198
--- Comment #12 from Jeffrey A. Law <law at redhat dot com> --- Given that B and A have the same cost to compute, DOM, per design decision, leaves them alone. It makes no attempt to canonicalize on one or the other. While we know there's an equivalence between A and B, we have no information to guide selection of one over the other.
