[llvm] [InstCombine] Simplifiy `(-x * y * -x)` into `(x * y * x)` (PR #72953)

[Nikita Popov via llvm-commits]

================
@@ -351,19 +351,25 @@ Instruction *InstCombinerImpl::visitMul(BinaryOperator &I) {
   // X * -Y --> -(X * Y)
   if (match(&I, m_c_Mul(m_OneUse(m_Neg(m_Value(X))), m_Value(Y))))
     return BinaryOperator::CreateNeg(Builder.CreateMul(X, Y));
-
-  // -X * Y * -X --> X * Y * X
-  if (match(&I, m_Mul(m_c_Mul(m_Value(Y), m_Neg(m_Value(X))),
-                      m_Neg(m_Deferred(X))))) {
-    if (X == Y) {
-      Value *MulXY = Builder.CreateMul(X, Y);
-      bool BO0HasNSW = cast<OverflowingBinaryOperator>(Op0)->hasNoSignedWrap();
-      cast<BinaryOperator>(MulXY)->setHasNoSignedWrap(BO0HasNSW);
-      auto *Mul = BinaryOperator::CreateMul(X, MulXY);
-      Mul->setHasNoSignedWrap(HasNSW);
-      return Mul;
+  // (-X * Y) * -X --> (X * Y) * X
+  // (-X << Y) * -X --> (X << Y) * X
+  {
+    bool IsShl = false;
+    if ((match(Op0, m_c_Mul(m_Neg(m_Value(X)), m_Value(Y))) ||
+         (match(Op0, m_Shl(m_Neg(m_Value(X)), m_Value(Y))) &&
+          (IsShl = true))) &&
+        match(Op1, m_Neg(m_Specific(X)))) {
+      auto OB0HasNSW = cast<OverflowingBinaryOperator>(Op0)->hasNoSignedWrap();
+      if (Value *NegOp0 = Negator::Negate(
+              true,
----------------
nikic wrote:

This should be `false` I believe.

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