[PATCH] D132989: [InstSimplify] Odd - X ==/!= X -> false/true

Liao Chunyu via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Sep 1 20:35:19 PDT 2022


liaolucy added a comment.



> I think we can generalize the transform at least in one direction - the constant does not have to be 1:
> https://alive2.llvm.org/ce/z/bPYNJT
> (not sure if there's some other relationship for non-equality predicates)

I am trying to understand the example, get odd constant value from more instructions(>1), I don't know how to implement it, any suggestions?


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