[PATCH] D132412: [InstCombine] ease use constraint in tryFactorization()

[Allen zhong via Phabricator via llvm-commits]

Allen added inline comments.


================
Comment at: llvm/test/Transforms/InstCombine/sub.ll:2007
+; x * y - x --> (y - 1) * x
+; TODO: The mul could retain nsw.
+
----------------
sorry for the naive question, does the nsw of mul implies that of add? As you just say the mul could retain nsw. 


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

https://reviews.llvm.org/D132412