[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