[llvm] [InstCombine] Transform `vector.reduce.add` and `splat` into multiplication (PR #161020)

[Nikita Popov via llvm-commits]

================
@@ -308,3 +308,93 @@ define i32 @diff_of_sums_type_mismatch2(<8 x i32> %v0, <4 x i32> %v1) {
   %r = sub i32 %r0, %r1
   ret i32 %r
 }
+
----------------
nikic wrote:

alive2 is correct. It is fine for the multiplication to overflow. It will match the overflow behavior of the original adds.

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