================ @@ -1544,6 +1544,13 @@ Instruction *InstCombinerImpl::visitSDiv(BinaryOperator &I) { } } + // -(X * Y) / (X * Y) --> -1 ---------------- dtcxzyw wrote: Please move the logic into `isKnownNegation`. https://github.com/llvm/llvm-project/pull/71768