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

[Allen zhong via Phabricator via llvm-commits]

Allen reopened this revision.
Allen marked an inline comment as done.
Allen added inline comments.


================
Comment at: llvm/lib/Analysis/InstructionSimplify.cpp:2146
+    }
+  }
+
----------------
nikic wrote:
> I don't think this second fold should be added. This is something that can be handled via simple range propagation. In fact, IPSCCP does handle this already. We could make CVP handle it as well, if we wanted.
Thanks, I'll try this with CVP , and now adopt the 2nd fold


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

https://reviews.llvm.org/D154953