| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py | 
 | ; RUN: llc -mtriple=aarch64 -mattr=+sve,+dotprod < %s | FileCheck %s | 
 |  | 
 | define i32 @test(<vscale x 32 x i8> %bin.rdx, <vscale x 32 x i8> %bin.rdx2)  { | 
 | ; CHECK-LABEL: test: | 
 | ; CHECK:       // %bb.0: | 
 | ; CHECK-NEXT:    sunpklo z4.h, z2.b | 
 | ; CHECK-NEXT:    sunpklo z5.h, z0.b | 
 | ; CHECK-NEXT:    sunpkhi z0.h, z0.b | 
 | ; CHECK-NEXT:    sunpkhi z2.h, z2.b | 
 | ; CHECK-NEXT:    sunpklo z6.h, z1.b | 
 | ; CHECK-NEXT:    sunpkhi z1.h, z1.b | 
 | ; CHECK-NEXT:    sunpklo z7.h, z3.b | 
 | ; CHECK-NEXT:    sunpkhi z3.h, z3.b | 
 | ; CHECK-NEXT:    ptrue p0.s | 
 | ; CHECK-NEXT:    sunpkhi z24.s, z5.h | 
 | ; CHECK-NEXT:    sunpklo z5.s, z5.h | 
 | ; CHECK-NEXT:    sunpklo z25.s, z4.h | 
 | ; CHECK-NEXT:    sunpklo z26.s, z0.h | 
 | ; CHECK-NEXT:    sunpkhi z4.s, z4.h | 
 | ; CHECK-NEXT:    sunpklo z27.s, z2.h | 
 | ; CHECK-NEXT:    sunpkhi z0.s, z0.h | 
 | ; CHECK-NEXT:    sunpkhi z2.s, z2.h | 
 | ; CHECK-NEXT:    sunpklo z28.s, z6.h | 
 | ; CHECK-NEXT:    sunpkhi z6.s, z6.h | 
 | ; CHECK-NEXT:    mul z5.s, p0/m, z5.s, z25.s | 
 | ; CHECK-NEXT:    sunpkhi z25.s, z1.h | 
 | ; CHECK-NEXT:    sunpklo z1.s, z1.h | 
 | ; CHECK-NEXT:    mul z26.s, p0/m, z26.s, z27.s | 
 | ; CHECK-NEXT:    mul z4.s, p0/m, z4.s, z24.s | 
 | ; CHECK-NEXT:    sunpkhi z24.s, z3.h | 
 | ; CHECK-NEXT:    mul z0.s, p0/m, z0.s, z2.s | 
 | ; CHECK-NEXT:    sunpkhi z2.s, z7.h | 
 | ; CHECK-NEXT:    sunpklo z7.s, z7.h | 
 | ; CHECK-NEXT:    sunpklo z3.s, z3.h | 
 | ; CHECK-NEXT:    mla z0.s, p0/m, z25.s, z24.s | 
 | ; CHECK-NEXT:    mad z2.s, p0/m, z6.s, z4.s | 
 | ; CHECK-NEXT:    mad z1.s, p0/m, z3.s, z26.s | 
 | ; CHECK-NEXT:    movprfx z3, z5 | 
 | ; CHECK-NEXT:    mla z3.s, p0/m, z28.s, z7.s | 
 | ; CHECK-NEXT:    add z0.s, z2.s, z0.s | 
 | ; CHECK-NEXT:    add z1.s, z3.s, z1.s | 
 | ; CHECK-NEXT:    add z0.s, z1.s, z0.s | 
 | ; CHECK-NEXT:    uaddv d0, p0, z0.s | 
 | ; CHECK-NEXT:    fmov x0, d0 | 
 | ; CHECK-NEXT:    // kill: def $w0 killed $w0 killed $x0 | 
 | ; CHECK-NEXT:    ret | 
 |   %a = sext <vscale x 32 x i8> %bin.rdx to <vscale x 32 x i32> | 
 |   %b = sext <vscale x 32 x i8> %bin.rdx2 to <vscale x 32 x i32> | 
 |   %c = mul <vscale x 32 x i32> %a, %b | 
 |   %r = call i32 @llvm.vector.reduce.add.nxv32i32(<vscale x 32 x i32> %c) | 
 |   ret i32 %r | 
 | } | 
 | declare i32 @llvm.vector.reduce.add.nxv32i32(<vscale x 32 x i32> ) |