[PATCH] D154953: [InstSimplify] Remove the remainder loop if we know the mask is always true

[Noah Goldstein via Phabricator via llvm-commits]

goldstein.w.n added a comment.

In D154953#4549538 <https://reviews.llvm.org/D154953#4549538>, @nikic wrote:

>> proofs： https://alive2.llvm.org/ce/z/FkTMoy
>
> These proofs are for a different transform (urem x) than what was implemented (and x - 1).

sorry :(

Figured was okay as `urem` by pow2 == `and`  by mask.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D154953