Last of the major pieces to NewGVN - yay!

Description

Last of the major pieces to NewGVN - yay!

Summary:
NewGVN: Handle equivalence between phi of ops and op of phis.

This makes our GVN mostly-complete. It would be complete, modulo some
deliberate choices we make. This means it detects roughly all herband
equivalences in polynomial time, including cases notoriously hard for
other GVN's to detect. It also detects a very large swath of the
cases we currently rely on instcombine to detect that involve folding
upwards through phis.

Fixes PR 31125, 31463, PR 31868

Reviewers: davide

Subscribers: Prazek, llvm-commits

Differential Revision: https://reviews.llvm.org/D32151

Details

Committed
dannybFri, May 19, 12:01 PM
Differential Revision
D32151: Last of the major pieces to NewGVN - yay!
Parents
rL303443: NewGVN: Get rid of most dominating leader check
Branches
Unknown
Tags
Unknown