[clang] [llvm] [InstCombine] Reassociate nested add/sub with constant (PR #191022)

Max Graey via cfe-commits cfe-commits at lists.llvm.org
Thu Apr 9 10:01:25 PDT 2026


================
@@ -1523,6 +1523,34 @@ static Instruction *foldBoxMultiply(BinaryOperator &I) {
   return nullptr;
 }
 
+/// Canonicalize a nested add/sub with a constant on the inner RHS by
+/// sinking the constant to the outer RHS.
+/// (X +/- C) +/- Y  ->  (X +/- Y) +/- C
----------------
MaxGraey wrote:

That could very well be the case. It seems that `LoopInfo` isn't being passed even to InstCombineVectorOps. How is this usually checked?

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


More information about the cfe-commits mailing list