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

[chenglin.bi via Phabricator via llvm-commits]

bcl5980 added inline comments.


================
Comment at: llvm/test/Transforms/InstCombine/sub.ll:2007
+; x * y - x --> (y - 1) * x
+; TODO: The mul could retain nsw.
+
----------------
Allen wrote:
> sorry for the naive question, does the nsw of mul implies that of add? As you just say the mul could retain nsw. 
https://alive2.llvm.org/ce/z/WjpNoD
add pattern can't retain nsw. overflow comes from -1 * INT_MIN


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

https://reviews.llvm.org/D132412