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

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

Please attach alive2 proof.
This transform is incorrect when both the divisor and dividend are equal to `INT_MIN`.
Alive2: https://alive2.llvm.org/ce/z/VBRrGU

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