[llvm] [InstCombine] Simplification for (-a * b) / (a * b). (PR #71768)

[Nikita Popov via llvm-commits]

nikic wrote:

I think the transform you actually want to implement is this one: https://alive2.llvm.org/ce/z/PBjgSM

The cases from https://github.com/llvm/llvm-project/issues/69574 lack the nsw flag, and this is the variant of the transform that doesn't need nsw.

https://github.com/llvm/llvm-project/pull/71768