================ @@ -1284,6 +1284,14 @@ Instruction *InstCombinerImpl::visitLShr(BinaryOperator &I) { return NewSub; } + // Fold (X + Y) / 2 --> (X & Y & 1) iff (X u<= 1) && (Y u<= 1) ---------------- dtcxzyw wrote: It looks unrelated. Don't worry :) https://github.com/llvm/llvm-project/pull/95684