[PATCH] D79319: [InstCombine] Fold (mul(abs(x), abs(x))) -> (mul(x, x)) (PR39476)

[Craig Topper via Phabricator via llvm-commits]

craig.topper added a comment.

SPF_ABS doesn't check the nsw flag on the negation subtract, but all the tests and the Alive proofs have nsw. It look like its still valid without the nsw so just wanted to mention it.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D79319