[PATCH] D122942: [InstCombine] Fold srem(X, PowerOf2) == C into (X & Mask) == C for positive C

Roman Lebedev via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Apr 1 15:56:10 PDT 2022


lebedev.ri requested changes to this revision.
lebedev.ri added a comment.
This revision now requires changes to proceed.

Please do post the proofs too.

Is there some other precondition missing?
https://alive2.llvm.org/ce/z/C8EscG


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D122942/new/

https://reviews.llvm.org/D122942



More information about the llvm-commits mailing list