[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.

Can you add the alive2 links to the summary / commit message?



================
Comment at: llvm/lib/Analysis/ValueTracking.cpp:8420
+        match(BO.getOperand(0), m_VScale()) &&
+        match(BO.getOperand(1), m_APInt(C))) {
+      ConstantRange CR = getVScaleRange(CxtI->getFunction(),
----------------
Does `vscale` also enforce that `C` is within BitWidth range? Otherwise do we need a check here?


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

https://reviews.llvm.org/D154953