[llvm] [InstCombine] Simplify `(X / C0) * C1 + (X % C0) * C2` to `(X / C0) * (C1 - C2 * C0) + X * C2` (PR #76285)

[via llvm-commits]

================
@@ -3872,6 +3872,10 @@ Instruction *InstCombinerImpl::visitOr(BinaryOperator &I) {
     }
   }
 
+  if (cast<PossiblyDisjointInst>(I).isDisjoint())
----------------
goldsteinn wrote:

a less ugly way at least would be use `m_AddLike` matcher. But I agree with nikic.

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