[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#4518239 <https://reviews.llvm.org/D154953#4518239>, @Allen wrote:

> I don't add alive2 because vscale is not supported, https://github.com/AliveToolkit/alive2/issues/923

The patch doesn't rely on alive2, just on the power of 2 nature of the arguments.
You can use: https://alive2.llvm.org/ce/z/FkTMoy + adding the srem versions.


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

https://reviews.llvm.org/D154953