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


================
Comment at: llvm/lib/Analysis/InstructionSimplify.cpp:2138
+  if (match(Op1, m_Power2(PowerC)) &&
+      match(Op0, m_Xor(m_Value(Shift), m_AllOnes())) &&
+      match(Shift, m_Shl(m_AllOnes(), m_Value(X)))) {
----------------
`m_Not` instead of `m_Xor(v, -1)`.

Also the comment doesn't quite match the codes.


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

https://reviews.llvm.org/D154953