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

Florian Hahn via llvm-commits llvm-commits at lists.llvm.org
Thu Oct 3 07:33:32 PDT 2024

Previous message: [llvm] [InstCombine] Fold (X==Z) ? (Y==Z) : (!(Y==Z) && X==Y) --> X==Y (PR #108619)
Next message: [llvm] [InstCombine] Fold (X==Z) ? (Y==Z) : (!(Y==Z) && X==Y) --> X==Y (PR #108619)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

fhahn wrote:

Looks like the alive2 proof in the description has been updated, thanks!

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

Previous message: [llvm] [InstCombine] Fold (X==Z) ? (Y==Z) : (!(Y==Z) && X==Y) --> X==Y (PR #108619)
Next message: [llvm] [InstCombine] Fold (X==Z) ? (Y==Z) : (!(Y==Z) && X==Y) --> X==Y (PR #108619)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list