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

Dávid Ferenc Szabó via llvm-commits llvm-commits at lists.llvm.org
Thu Feb 29 00:43:23 PST 2024


dfszabo 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

Indee

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


More information about the llvm-commits mailing list