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

[Hongyu Chen 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
 }
+
----------------
XChy wrote:

If I don't miss something, the implementation is incorrect on types like `<8 x i1>`, as you will create `mul i1 %0, 8`. Please add some testcases for it.

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