[llvm] [InstCombine] Fold (X==Z) ? (Y==Z) : (!(Y==Z) && X==Y) --> X==Y (PR #108619)

via llvm-commits llvm-commits at lists.llvm.org
Fri Sep 27 09:29:01 PDT 2024


goldsteinn wrote:

This could (but doesn't) work for cases where the compare ops are inverted for example:
https://alive2.llvm.org/ce/z/6BD9mt

Since this is motivated by a pretty specific case where we always get equal expressions I'm not sure this is an issue worth fixing given the extra code complexity required to do so.

https://github.com/llvm/llvm-project/pull/108619


More information about the llvm-commits mailing list