[PATCH] D132989: [InstSimplify] Odd - X ==/!= X -> false/true
Sanjay Patel via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Fri Sep 2 06:30:17 PDT 2022
spatel added a comment.
In D132989#3766811 <https://reviews.llvm.org/D132989#3766811>, @spatel wrote:
> The proof just shows that the transform is valid for any value with low-bit cleared.
Sorry - that was supposed to be "any value with low-bit set".
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D132989/new/
https://reviews.llvm.org/D132989
More information about the llvm-commits
mailing list