[llvm] [GlobalISel] Combine (X == 0) & (Y == 0) -> (X | Y) == 0 (PR #71949)

Matt Arsenault via llvm-commits llvm-commits at lists.llvm.org
Tue Feb 27 08:04:42 PST 2024


arsenm wrote:

> Very recently got merged this #82733, which will insert G_FREEZE before the G_OR (https://godbolt.org/z/dcr83rfM6) causing now the above patterns not to work on cases like in `cmp-chains.ll`, losing those opt opportunities. I am not sure if G_FREEZE should be incorporated into the pattern or not.

You can try the equivalent transform in alive2 on the IR to see if it's valid 

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


More information about the llvm-commits mailing list