[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