efriedma added inline comments. ================ Comment at: lib/Analysis/ScalarEvolution.cpp:2947 + if (RHSC->getValue()->equalsInt(1)) + return LHS; // X urem 1 --> X + ---------------- "X urem 1 --> X"???? https://reviews.llvm.org/D34598