[llvm] [InstCombine] simplify `(X * C0) / (X * C1)` into `C0 / C1`. (PR #73204)
    via llvm-commits 
    llvm-commits at lists.llvm.org
       
    Wed Nov 22 22:08:08 PST 2023
    
    
  
================
@@ -1207,6 +1207,18 @@ Instruction *InstCombinerImpl::commonIDivTransforms(BinaryOperator &I) {
     }
   }
 
+  // (X * C0) / (X * C1) --> C0 / C1
+  Constant *C0, *C1;
+  if (match(Op0, m_c_Mul(m_Value(X), m_Constant(C0))) &&
----------------
goldsteinn wrote:
Only need `c1 != -1`: https://alive2.llvm.org/ce/z/sCUfTK
https://github.com/llvm/llvm-project/pull/73204
    
    
More information about the llvm-commits
mailing list