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

[Gábor Spaits 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
 }
+
----------------
spaits wrote:

@XChy I still will do what you have recommendet. There is a chance that Alive2 is wrong here. We can't go wrong with that extra safety check.

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