; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py
; RUN: opt < %s -S -mtriple=thumbv8.1m.main-none-eabi -mattr=+mve.fp -passes="print<cost-model>" 2>&1 -disable-output | FileCheck %s
target datalayout = "e-m:e-p:32:32-Fi8-i64:64-v128:64:128-a:0:32-n32-S64"
define void @add_i8() {
; CHECK-LABEL: 'add_i8'
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a0 = call i8 @llvm.vector.reduce.add.v1i8(<1 x i8> undef)
; CHECK-NEXT: Cost Model: Found an estimated cost of 54 for instruction: %a1 = call i8 @llvm.vector.reduce.add.v2i8(<2 x i8> undef)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a2 = call i8 @llvm.vector.reduce.add.v4i8(<4 x i8> undef)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a3 = call i8 @llvm.vector.reduce.add.v8i8(<8 x i8> undef)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a4 = call i8 @llvm.vector.reduce.add.v16i8(<16 x i8> undef)
; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret void
;
%a0 = call i8 @llvm.vector.reduce.add.v1i8(<1 x i8> undef)
%a1 = call i8 @llvm.vector.reduce.add.v2i8(<2 x i8> undef)
%a2 = call i8 @llvm.vector.reduce.add.v4i8(<4 x i8> undef)
%a3 = call i8 @llvm.vector.reduce.add.v8i8(<8 x i8> undef)
%a4 = call i8 @llvm.vector.reduce.add.v16i8(<16 x i8> undef)
ret void
}
define void @add_i16() {
; CHECK-LABEL: 'add_i16'
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a0za = zext <1 x i8> undef to <1 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a0z = call i16 @llvm.vector.reduce.add.v1i16(<1 x i16> %a0za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a0sa = sext <1 x i8> undef to <1 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a0s = call i16 @llvm.vector.reduce.add.v1i16(<1 x i16> %a0sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a1za = zext <2 x i8> undef to <2 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 54 for instruction: %a1z = call i16 @llvm.vector.reduce.add.v2i16(<2 x i16> %a1za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a1sa = sext <2 x i8> undef to <2 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 54 for instruction: %a1s = call i16 @llvm.vector.reduce.add.v2i16(<2 x i16> %a1sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a2za = zext <4 x i8> undef to <4 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a2z = call i16 @llvm.vector.reduce.add.v4i16(<4 x i16> %a2za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a2sa = sext <4 x i8> undef to <4 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a2s = call i16 @llvm.vector.reduce.add.v4i16(<4 x i16> %a2sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a3za = zext <8 x i8> undef to <8 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a3z = call i16 @llvm.vector.reduce.add.v8i16(<8 x i16> %a3za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a3sa = sext <8 x i8> undef to <8 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a3s = call i16 @llvm.vector.reduce.add.v8i16(<8 x i16> %a3sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 10 for instruction: %a4za = zext <16 x i8> undef to <16 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a4z = call i16 @llvm.vector.reduce.add.v16i16(<16 x i16> %a4za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 10 for instruction: %a4sa = sext <16 x i8> undef to <16 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a4s = call i16 @llvm.vector.reduce.add.v16i16(<16 x i16> %a4sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a5 = call i16 @llvm.vector.reduce.add.v1i16(<1 x i16> undef)
; CHECK-NEXT: Cost Model: Found an estimated cost of 54 for instruction: %a6 = call i16 @llvm.vector.reduce.add.v2i16(<2 x i16> undef)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a7 = call i16 @llvm.vector.reduce.add.v4i16(<4 x i16> undef)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a8 = call i16 @llvm.vector.reduce.add.v8i16(<8 x i16> undef)
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a9 = call i16 @llvm.vector.reduce.add.v16i16(<16 x i16> undef)
; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret void
;
%a0za = zext <1 x i8> undef to <1 x i16>
%a0z = call i16 @llvm.vector.reduce.add.v1i16(<1 x i16> %a0za)
%a0sa = sext <1 x i8> undef to <1 x i16>
%a0s = call i16 @llvm.vector.reduce.add.v1i16(<1 x i16> %a0sa)
%a1za = zext <2 x i8> undef to <2 x i16>
%a1z = call i16 @llvm.vector.reduce.add.v2i16(<2 x i16> %a1za)
%a1sa = sext <2 x i8> undef to <2 x i16>
%a1s = call i16 @llvm.vector.reduce.add.v2i16(<2 x i16> %a1sa)
%a2za = zext <4 x i8> undef to <4 x i16>
%a2z = call i16 @llvm.vector.reduce.add.v4i16(<4 x i16> %a2za)
%a2sa = sext <4 x i8> undef to <4 x i16>
%a2s = call i16 @llvm.vector.reduce.add.v4i16(<4 x i16> %a2sa)
%a3za = zext <8 x i8> undef to <8 x i16>
%a3z = call i16 @llvm.vector.reduce.add.v8i16(<8 x i16> %a3za)
%a3sa = sext <8 x i8> undef to <8 x i16>
%a3s = call i16 @llvm.vector.reduce.add.v8i16(<8 x i16> %a3sa)
%a4za = zext <16 x i8> undef to <16 x i16>
%a4z = call i16 @llvm.vector.reduce.add.v16i16(<16 x i16> %a4za)
%a4sa = sext <16 x i8> undef to <16 x i16>
%a4s = call i16 @llvm.vector.reduce.add.v16i16(<16 x i16> %a4sa)
%a5 = call i16 @llvm.vector.reduce.add.v1i16(<1 x i16> undef)
%a6 = call i16 @llvm.vector.reduce.add.v2i16(<2 x i16> undef)
%a7 = call i16 @llvm.vector.reduce.add.v4i16(<4 x i16> undef)
%a8 = call i16 @llvm.vector.reduce.add.v8i16(<8 x i16> undef)
%a9 = call i16 @llvm.vector.reduce.add.v16i16(<16 x i16> undef)
ret void
}
define void @add_i32() {
; CHECK-LABEL: 'add_i32'
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a0za = zext <1 x i8> undef to <1 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a0z = call i32 @llvm.vector.reduce.add.v1i32(<1 x i32> %a0za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a0sa = sext <1 x i8> undef to <1 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a0s = call i32 @llvm.vector.reduce.add.v1i32(<1 x i32> %a0sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a1za = zext <2 x i8> undef to <2 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 54 for instruction: %a1z = call i32 @llvm.vector.reduce.add.v2i32(<2 x i32> %a1za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a1sa = sext <2 x i8> undef to <2 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 54 for instruction: %a1s = call i32 @llvm.vector.reduce.add.v2i32(<2 x i32> %a1sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a2za = zext <4 x i8> undef to <4 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a2z = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %a2za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a2sa = sext <4 x i8> undef to <4 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a2s = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %a2sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 18 for instruction: %a3za = zext <8 x i8> undef to <8 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a3z = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %a3za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 18 for instruction: %a3sa = sext <8 x i8> undef to <8 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a3s = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %a3sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 74 for instruction: %a4za = zext <16 x i8> undef to <16 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a4z = call i32 @llvm.vector.reduce.add.v16i32(<16 x i32> %a4za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 74 for instruction: %a4sa = sext <16 x i8> undef to <16 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a4s = call i32 @llvm.vector.reduce.add.v16i32(<16 x i32> %a4sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a5za = zext <1 x i16> undef to <1 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a5z = call i32 @llvm.vector.reduce.add.v1i32(<1 x i32> %a5za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a5sa = sext <1 x i16> undef to <1 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a5s = call i32 @llvm.vector.reduce.add.v1i32(<1 x i32> %a5sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a6za = zext <2 x i16> undef to <2 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 54 for instruction: %a6z = call i32 @llvm.vector.reduce.add.v2i32(<2 x i32> %a6za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a6sa = sext <2 x i16> undef to <2 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 54 for instruction: %a6s = call i32 @llvm.vector.reduce.add.v2i32(<2 x i32> %a6sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a7za = zext <4 x i16> undef to <4 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a7z = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %a7za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a7sa = sext <4 x i16> undef to <4 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a7s = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %a7sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 10 for instruction: %a8za = zext <8 x i16> undef to <8 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a8z = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %a8za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 10 for instruction: %a8sa = sext <8 x i16> undef to <8 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a8s = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %a8sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 40 for instruction: %a9za = zext <16 x i16> undef to <16 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a9z = call i32 @llvm.vector.reduce.add.v16i32(<16 x i32> %a9za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 40 for instruction: %a9sa = sext <16 x i16> undef to <16 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a9s = call i32 @llvm.vector.reduce.add.v16i32(<16 x i32> %a9sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a10 = call i32 @llvm.vector.reduce.add.v1i32(<1 x i32> undef)
; CHECK-NEXT: Cost Model: Found an estimated cost of 54 for instruction: %a11 = call i32 @llvm.vector.reduce.add.v2i32(<2 x i32> undef)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a12 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> undef)
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a13 = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> undef)
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a14 = call i32 @llvm.vector.reduce.add.v16i32(<16 x i32> undef)
; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret void
;
%a0za = zext <1 x i8> undef to <1 x i32>
%a0z = call i32 @llvm.vector.reduce.add.v1i32(<1 x i32> %a0za)
%a0sa = sext <1 x i8> undef to <1 x i32>
%a0s = call i32 @llvm.vector.reduce.add.v1i32(<1 x i32> %a0sa)
%a1za = zext <2 x i8> undef to <2 x i32>
%a1z = call i32 @llvm.vector.reduce.add.v2i32(<2 x i32> %a1za)
%a1sa = sext <2 x i8> undef to <2 x i32>
%a1s = call i32 @llvm.vector.reduce.add.v2i32(<2 x i32> %a1sa)
%a2za = zext <4 x i8> undef to <4 x i32>
%a2z = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %a2za)
%a2sa = sext <4 x i8> undef to <4 x i32>
%a2s = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %a2sa)
%a3za = zext <8 x i8> undef to <8 x i32>
%a3z = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %a3za)
%a3sa = sext <8 x i8> undef to <8 x i32>
%a3s = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %a3sa)
%a4za = zext <16 x i8> undef to <16 x i32>
%a4z = call i32 @llvm.vector.reduce.add.v16i32(<16 x i32> %a4za)
%a4sa = sext <16 x i8> undef to <16 x i32>
%a4s = call i32 @llvm.vector.reduce.add.v16i32(<16 x i32> %a4sa)
%a5za = zext <1 x i16> undef to <1 x i32>
%a5z = call i32 @llvm.vector.reduce.add.v1i32(<1 x i32> %a5za)
%a5sa = sext <1 x i16> undef to <1 x i32>
%a5s = call i32 @llvm.vector.reduce.add.v1i32(<1 x i32> %a5sa)
%a6za = zext <2 x i16> undef to <2 x i32>
%a6z = call i32 @llvm.vector.reduce.add.v2i32(<2 x i32> %a6za)
%a6sa = sext <2 x i16> undef to <2 x i32>
%a6s = call i32 @llvm.vector.reduce.add.v2i32(<2 x i32> %a6sa)
%a7za = zext <4 x i16> undef to <4 x i32>
%a7z = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %a7za)
%a7sa = sext <4 x i16> undef to <4 x i32>
%a7s = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %a7sa)
%a8za = zext <8 x i16> undef to <8 x i32>
%a8z = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %a8za)
%a8sa = sext <8 x i16> undef to <8 x i32>
%a8s = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %a8sa)
%a9za = zext <16 x i16> undef to <16 x i32>
%a9z = call i32 @llvm.vector.reduce.add.v16i32(<16 x i32> %a9za)
%a9sa = sext <16 x i16> undef to <16 x i32>
%a9s = call i32 @llvm.vector.reduce.add.v16i32(<16 x i32> %a9sa)
%a10 = call i32 @llvm.vector.reduce.add.v1i32(<1 x i32> undef)
%a11 = call i32 @llvm.vector.reduce.add.v2i32(<2 x i32> undef)
%a12 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> undef)
%a13 = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> undef)
%a14 = call i32 @llvm.vector.reduce.add.v16i32(<16 x i32> undef)
ret void
}
define void @add_i64() {
; CHECK-LABEL: 'add_i64'
; CHECK-NEXT: Cost Model: Found an estimated cost of 34 for instruction: %a0za = zext <1 x i8> undef to <1 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a0z = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a0za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 34 for instruction: %a0sa = sext <1 x i8> undef to <1 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a0s = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a0sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a1za = zext <2 x i8> undef to <2 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 108 for instruction: %a1z = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a1za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 20 for instruction: %a1sa = sext <2 x i8> undef to <2 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 108 for instruction: %a1s = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a1sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 18 for instruction: %a2za = zext <4 x i8> undef to <4 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 208 for instruction: %a2z = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a2za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 82 for instruction: %a2sa = sext <4 x i8> undef to <4 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 208 for instruction: %a2s = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a2sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 74 for instruction: %a3za = zext <8 x i8> undef to <8 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 408 for instruction: %a3z = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a3za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 330 for instruction: %a3sa = sext <8 x i8> undef to <8 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 408 for instruction: %a3s = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a3sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 298 for instruction: %a4za = zext <16 x i8> undef to <16 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 808 for instruction: %a4z = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a4za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 1322 for instruction: %a4sa = sext <16 x i8> undef to <16 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 808 for instruction: %a4s = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a4sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 34 for instruction: %a5za = zext <1 x i16> undef to <1 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a5z = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a5za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 36 for instruction: %a5sa = sext <1 x i16> undef to <1 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a5s = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a5sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a6za = zext <2 x i16> undef to <2 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 108 for instruction: %a6z = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a6za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 20 for instruction: %a6sa = sext <2 x i16> undef to <2 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 108 for instruction: %a6s = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a6sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 18 for instruction: %a7za = zext <4 x i16> undef to <4 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 208 for instruction: %a7z = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a7za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 82 for instruction: %a7sa = sext <4 x i16> undef to <4 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 208 for instruction: %a7s = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a7sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 74 for instruction: %a8za = zext <8 x i16> undef to <8 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 408 for instruction: %a8z = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a8za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 330 for instruction: %a8sa = sext <8 x i16> undef to <8 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 408 for instruction: %a8s = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a8sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 296 for instruction: %a9za = zext <16 x i16> undef to <16 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 808 for instruction: %a9z = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a9za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 1320 for instruction: %a9sa = sext <16 x i16> undef to <16 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 808 for instruction: %a9s = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a9sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 34 for instruction: %a10za = zext <1 x i32> undef to <1 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a10z = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a10za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 34 for instruction: %a10sa = sext <1 x i32> undef to <1 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a10s = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a10sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a11za = zext <2 x i32> undef to <2 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 108 for instruction: %a11z = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a11za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 16 for instruction: %a11sa = sext <2 x i32> undef to <2 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 108 for instruction: %a11s = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a11sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 18 for instruction: %a12za = zext <4 x i32> undef to <4 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 208 for instruction: %a12z = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a12za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 66 for instruction: %a12sa = sext <4 x i32> undef to <4 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 208 for instruction: %a12s = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a12sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 72 for instruction: %a13za = zext <8 x i32> undef to <8 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 408 for instruction: %a13z = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a13za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 264 for instruction: %a13sa = sext <8 x i32> undef to <8 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 408 for instruction: %a13s = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a13sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 288 for instruction: %a14za = zext <16 x i32> undef to <16 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 808 for instruction: %a14z = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a14za)
; CHECK-NEXT: Cost Model: Found an estimated cost of 1056 for instruction: %a14sa = sext <16 x i32> undef to <16 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 808 for instruction: %a14s = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a14sa)
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a15 = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> undef)
; CHECK-NEXT: Cost Model: Found an estimated cost of 108 for instruction: %a16 = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> undef)
; CHECK-NEXT: Cost Model: Found an estimated cost of 208 for instruction: %a17 = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> undef)
; CHECK-NEXT: Cost Model: Found an estimated cost of 408 for instruction: %a18 = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> undef)
; CHECK-NEXT: Cost Model: Found an estimated cost of 808 for instruction: %a19 = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> undef)
; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret void
;
%a0za = zext <1 x i8> undef to <1 x i64>
%a0z = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a0za)
%a0sa = sext <1 x i8> undef to <1 x i64>
%a0s = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a0sa)
%a1za = zext <2 x i8> undef to <2 x i64>
%a1z = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a1za)
%a1sa = sext <2 x i8> undef to <2 x i64>
%a1s = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a1sa)
%a2za = zext <4 x i8> undef to <4 x i64>
%a2z = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a2za)
%a2sa = sext <4 x i8> undef to <4 x i64>
%a2s = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a2sa)
%a3za = zext <8 x i8> undef to <8 x i64>
%a3z = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a3za)
%a3sa = sext <8 x i8> undef to <8 x i64>
%a3s = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a3sa)
%a4za = zext <16 x i8> undef to <16 x i64>
%a4z = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a4za)
%a4sa = sext <16 x i8> undef to <16 x i64>
%a4s = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a4sa)
%a5za = zext <1 x i16> undef to <1 x i64>
%a5z = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a5za)
%a5sa = sext <1 x i16> undef to <1 x i64>
%a5s = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a5sa)
%a6za = zext <2 x i16> undef to <2 x i64>
%a6z = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a6za)
%a6sa = sext <2 x i16> undef to <2 x i64>
%a6s = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a6sa)
%a7za = zext <4 x i16> undef to <4 x i64>
%a7z = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a7za)
%a7sa = sext <4 x i16> undef to <4 x i64>
%a7s = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a7sa)
%a8za = zext <8 x i16> undef to <8 x i64>
%a8z = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a8za)
%a8sa = sext <8 x i16> undef to <8 x i64>
%a8s = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a8sa)
%a9za = zext <16 x i16> undef to <16 x i64>
%a9z = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a9za)
%a9sa = sext <16 x i16> undef to <16 x i64>
%a9s = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a9sa)
%a10za = zext <1 x i32> undef to <1 x i64>
%a10z = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a10za)
%a10sa = sext <1 x i32> undef to <1 x i64>
%a10s = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a10sa)
%a11za = zext <2 x i32> undef to <2 x i64>
%a11z = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a11za)
%a11sa = sext <2 x i32> undef to <2 x i64>
%a11s = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a11sa)
%a12za = zext <4 x i32> undef to <4 x i64>
%a12z = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a12za)
%a12sa = sext <4 x i32> undef to <4 x i64>
%a12s = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a12sa)
%a13za = zext <8 x i32> undef to <8 x i64>
%a13z = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a13za)
%a13sa = sext <8 x i32> undef to <8 x i64>
%a13s = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a13sa)
%a14za = zext <16 x i32> undef to <16 x i64>
%a14z = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a14za)
%a14sa = sext <16 x i32> undef to <16 x i64>
%a14s = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a14sa)
%a15 = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> undef)
%a16 = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> undef)
%a17 = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> undef)
%a18 = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> undef)
%a19 = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> undef)
ret void
}
define void @mla_i8() {
; CHECK-LABEL: 'mla_i8'
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a0m = mul <1 x i8> undef, undef
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a0 = call i8 @llvm.vector.reduce.add.v1i8(<1 x i8> %a0m)
; CHECK-NEXT: Cost Model: Found an estimated cost of 10 for instruction: %a1m = mul <2 x i8> undef, undef
; CHECK-NEXT: Cost Model: Found an estimated cost of 54 for instruction: %a1 = call i8 @llvm.vector.reduce.add.v2i8(<2 x i8> %a1m)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a2m = mul <4 x i8> undef, undef
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a2 = call i8 @llvm.vector.reduce.add.v4i8(<4 x i8> %a2m)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a3m = mul <8 x i8> undef, undef
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a3 = call i8 @llvm.vector.reduce.add.v8i8(<8 x i8> %a3m)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a4m = mul <16 x i8> undef, undef
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a4 = call i8 @llvm.vector.reduce.add.v16i8(<16 x i8> %a4m)
; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret void
;
%a0m = mul <1 x i8> undef, undef
%a0 = call i8 @llvm.vector.reduce.add.v1i8(<1 x i8> %a0m)
%a1m = mul <2 x i8> undef, undef
%a1 = call i8 @llvm.vector.reduce.add.v2i8(<2 x i8> %a1m)
%a2m = mul <4 x i8> undef, undef
%a2 = call i8 @llvm.vector.reduce.add.v4i8(<4 x i8> %a2m)
%a3m = mul <8 x i8> undef, undef
%a3 = call i8 @llvm.vector.reduce.add.v8i8(<8 x i8> %a3m)
%a4m = mul <16 x i8> undef, undef
%a4 = call i8 @llvm.vector.reduce.add.v16i8(<16 x i8> %a4m)
ret void
}
define void @mla_i16() {
; CHECK-LABEL: 'mla_i16'
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a0za = zext <1 x i8> undef to <1 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a0zb = zext <1 x i8> undef to <1 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a0zm = mul <1 x i16> %a0za, %a0zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a0z = call i16 @llvm.vector.reduce.add.v1i16(<1 x i16> %a0zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a0sa = sext <1 x i8> undef to <1 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a0sb = sext <1 x i8> undef to <1 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a0sm = mul <1 x i16> %a0sa, %a0sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a0s = call i16 @llvm.vector.reduce.add.v1i16(<1 x i16> %a0sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a1za = zext <2 x i8> undef to <2 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a1zb = zext <2 x i8> undef to <2 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 26 for instruction: %a1zm = mul <2 x i16> %a1za, %a1zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 54 for instruction: %a1z = call i16 @llvm.vector.reduce.add.v2i16(<2 x i16> %a1zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a1sa = sext <2 x i8> undef to <2 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a1sb = sext <2 x i8> undef to <2 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 26 for instruction: %a1sm = mul <2 x i16> %a1sa, %a1sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 54 for instruction: %a1s = call i16 @llvm.vector.reduce.add.v2i16(<2 x i16> %a1sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a2za = zext <4 x i8> undef to <4 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a2zb = zext <4 x i8> undef to <4 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a2zm = mul <4 x i16> %a2za, %a2zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a2z = call i16 @llvm.vector.reduce.add.v4i16(<4 x i16> %a2zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a2sa = sext <4 x i8> undef to <4 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a2sb = sext <4 x i8> undef to <4 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a2sm = mul <4 x i16> %a2sa, %a2sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a2s = call i16 @llvm.vector.reduce.add.v4i16(<4 x i16> %a2sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a3za = zext <8 x i8> undef to <8 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a3zb = zext <8 x i8> undef to <8 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a3zm = mul <8 x i16> %a3za, %a3zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a3z = call i16 @llvm.vector.reduce.add.v8i16(<8 x i16> %a3zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a3sa = sext <8 x i8> undef to <8 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a3sb = sext <8 x i8> undef to <8 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a3sm = mul <8 x i16> %a3sa, %a3sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a3s = call i16 @llvm.vector.reduce.add.v8i16(<8 x i16> %a3sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 10 for instruction: %a4za = zext <16 x i8> undef to <16 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 10 for instruction: %a4zb = zext <16 x i8> undef to <16 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a4zm = mul <16 x i16> %a4za, %a4zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a4z = call i16 @llvm.vector.reduce.add.v16i16(<16 x i16> %a4zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 10 for instruction: %a4sa = sext <16 x i8> undef to <16 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 10 for instruction: %a4sb = sext <16 x i8> undef to <16 x i16>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a4sm = mul <16 x i16> %a4sa, %a4sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a4s = call i16 @llvm.vector.reduce.add.v16i16(<16 x i16> %a4sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a5m = mul <1 x i16> undef, undef
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a5 = call i16 @llvm.vector.reduce.add.v1i16(<1 x i16> %a5m)
; CHECK-NEXT: Cost Model: Found an estimated cost of 10 for instruction: %a6m = mul <2 x i16> undef, undef
; CHECK-NEXT: Cost Model: Found an estimated cost of 54 for instruction: %a6 = call i16 @llvm.vector.reduce.add.v2i16(<2 x i16> %a6m)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a7m = mul <4 x i16> undef, undef
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a7 = call i16 @llvm.vector.reduce.add.v4i16(<4 x i16> %a7m)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a8m = mul <8 x i16> undef, undef
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a8 = call i16 @llvm.vector.reduce.add.v8i16(<8 x i16> %a8m)
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a9m = mul <16 x i16> undef, undef
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a9 = call i16 @llvm.vector.reduce.add.v16i16(<16 x i16> %a9m)
; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret void
;
%a0za = zext <1 x i8> undef to <1 x i16>
%a0zb = zext <1 x i8> undef to <1 x i16>
%a0zm = mul <1 x i16> %a0za, %a0zb
%a0z = call i16 @llvm.vector.reduce.add.v1i16(<1 x i16> %a0zm)
%a0sa = sext <1 x i8> undef to <1 x i16>
%a0sb = sext <1 x i8> undef to <1 x i16>
%a0sm = mul <1 x i16> %a0sa, %a0sb
%a0s = call i16 @llvm.vector.reduce.add.v1i16(<1 x i16> %a0sm)
%a1za = zext <2 x i8> undef to <2 x i16>
%a1zb = zext <2 x i8> undef to <2 x i16>
%a1zm = mul <2 x i16> %a1za, %a1zb
%a1z = call i16 @llvm.vector.reduce.add.v2i16(<2 x i16> %a1zm)
%a1sa = sext <2 x i8> undef to <2 x i16>
%a1sb = sext <2 x i8> undef to <2 x i16>
%a1sm = mul <2 x i16> %a1sa, %a1sb
%a1s = call i16 @llvm.vector.reduce.add.v2i16(<2 x i16> %a1sm)
%a2za = zext <4 x i8> undef to <4 x i16>
%a2zb = zext <4 x i8> undef to <4 x i16>
%a2zm = mul <4 x i16> %a2za, %a2zb
%a2z = call i16 @llvm.vector.reduce.add.v4i16(<4 x i16> %a2zm)
%a2sa = sext <4 x i8> undef to <4 x i16>
%a2sb = sext <4 x i8> undef to <4 x i16>
%a2sm = mul <4 x i16> %a2sa, %a2sb
%a2s = call i16 @llvm.vector.reduce.add.v4i16(<4 x i16> %a2sm)
%a3za = zext <8 x i8> undef to <8 x i16>
%a3zb = zext <8 x i8> undef to <8 x i16>
%a3zm = mul <8 x i16> %a3za, %a3zb
%a3z = call i16 @llvm.vector.reduce.add.v8i16(<8 x i16> %a3zm)
%a3sa = sext <8 x i8> undef to <8 x i16>
%a3sb = sext <8 x i8> undef to <8 x i16>
%a3sm = mul <8 x i16> %a3sa, %a3sb
%a3s = call i16 @llvm.vector.reduce.add.v8i16(<8 x i16> %a3sm)
%a4za = zext <16 x i8> undef to <16 x i16>
%a4zb = zext <16 x i8> undef to <16 x i16>
%a4zm = mul <16 x i16> %a4za, %a4zb
%a4z = call i16 @llvm.vector.reduce.add.v16i16(<16 x i16> %a4zm)
%a4sa = sext <16 x i8> undef to <16 x i16>
%a4sb = sext <16 x i8> undef to <16 x i16>
%a4sm = mul <16 x i16> %a4sa, %a4sb
%a4s = call i16 @llvm.vector.reduce.add.v16i16(<16 x i16> %a4sm)
%a5m = mul <1 x i16> undef, undef
%a5 = call i16 @llvm.vector.reduce.add.v1i16(<1 x i16> %a5m)
%a6m = mul <2 x i16> undef, undef
%a6 = call i16 @llvm.vector.reduce.add.v2i16(<2 x i16> %a6m)
%a7m = mul <4 x i16> undef, undef
%a7 = call i16 @llvm.vector.reduce.add.v4i16(<4 x i16> %a7m)
%a8m = mul <8 x i16> undef, undef
%a8 = call i16 @llvm.vector.reduce.add.v8i16(<8 x i16> %a8m)
%a9m = mul <16 x i16> undef, undef
%a9 = call i16 @llvm.vector.reduce.add.v16i16(<16 x i16> %a9m)
ret void
}
define void @mla_i32() {
; CHECK-LABEL: 'mla_i32'
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a0za = zext <1 x i8> undef to <1 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a0zb = zext <1 x i8> undef to <1 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a0zm = mul <1 x i32> %a0za, %a0zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a0z = call i32 @llvm.vector.reduce.add.v1i32(<1 x i32> %a0zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a0sa = sext <1 x i8> undef to <1 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a0sb = sext <1 x i8> undef to <1 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a0sm = mul <1 x i32> %a0sa, %a0sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a0s = call i32 @llvm.vector.reduce.add.v1i32(<1 x i32> %a0sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a1za = zext <2 x i8> undef to <2 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a1zb = zext <2 x i8> undef to <2 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 26 for instruction: %a1zm = mul <2 x i32> %a1za, %a1zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 54 for instruction: %a1z = call i32 @llvm.vector.reduce.add.v2i32(<2 x i32> %a1zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a1sa = sext <2 x i8> undef to <2 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a1sb = sext <2 x i8> undef to <2 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 26 for instruction: %a1sm = mul <2 x i32> %a1sa, %a1sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 54 for instruction: %a1s = call i32 @llvm.vector.reduce.add.v2i32(<2 x i32> %a1sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a2za = zext <4 x i8> undef to <4 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a2zb = zext <4 x i8> undef to <4 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a2zm = mul <4 x i32> %a2za, %a2zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a2z = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %a2zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a2sa = sext <4 x i8> undef to <4 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a2sb = sext <4 x i8> undef to <4 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a2sm = mul <4 x i32> %a2sa, %a2sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a2s = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %a2sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 18 for instruction: %a3za = zext <8 x i8> undef to <8 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 18 for instruction: %a3zb = zext <8 x i8> undef to <8 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a3zm = mul <8 x i32> %a3za, %a3zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a3z = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %a3zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 18 for instruction: %a3sa = sext <8 x i8> undef to <8 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 18 for instruction: %a3sb = sext <8 x i8> undef to <8 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a3sm = mul <8 x i32> %a3sa, %a3sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a3s = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %a3sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 74 for instruction: %a4za = zext <16 x i8> undef to <16 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 74 for instruction: %a4zb = zext <16 x i8> undef to <16 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a4zm = mul <16 x i32> %a4za, %a4zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a4z = call i32 @llvm.vector.reduce.add.v16i32(<16 x i32> %a4zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 74 for instruction: %a4sa = sext <16 x i8> undef to <16 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 74 for instruction: %a4sb = sext <16 x i8> undef to <16 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a4sm = mul <16 x i32> %a4sa, %a4sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a4s = call i32 @llvm.vector.reduce.add.v16i32(<16 x i32> %a4sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a5za = zext <1 x i16> undef to <1 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a5zb = zext <1 x i16> undef to <1 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a5zm = mul <1 x i32> %a5za, %a5zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a5z = call i32 @llvm.vector.reduce.add.v1i32(<1 x i32> %a5zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a5sa = sext <1 x i16> undef to <1 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a5sb = sext <1 x i16> undef to <1 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a5sm = mul <1 x i32> %a5sa, %a5sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a5s = call i32 @llvm.vector.reduce.add.v1i32(<1 x i32> %a5sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a6za = zext <2 x i16> undef to <2 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a6zb = zext <2 x i16> undef to <2 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 26 for instruction: %a6zm = mul <2 x i32> %a6za, %a6zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 54 for instruction: %a6z = call i32 @llvm.vector.reduce.add.v2i32(<2 x i32> %a6zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a6sa = sext <2 x i16> undef to <2 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a6sb = sext <2 x i16> undef to <2 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 26 for instruction: %a6sm = mul <2 x i32> %a6sa, %a6sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 54 for instruction: %a6s = call i32 @llvm.vector.reduce.add.v2i32(<2 x i32> %a6sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a7za = zext <4 x i16> undef to <4 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a7zb = zext <4 x i16> undef to <4 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a7zm = mul <4 x i32> %a7za, %a7zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a7z = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %a7zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a7sa = sext <4 x i16> undef to <4 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a7sb = sext <4 x i16> undef to <4 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a7sm = mul <4 x i32> %a7sa, %a7sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a7s = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %a7sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 10 for instruction: %a8za = zext <8 x i16> undef to <8 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 10 for instruction: %a8zb = zext <8 x i16> undef to <8 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a8zm = mul <8 x i32> %a8za, %a8zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a8z = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %a8zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 10 for instruction: %a8sa = sext <8 x i16> undef to <8 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 10 for instruction: %a8sb = sext <8 x i16> undef to <8 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a8sm = mul <8 x i32> %a8sa, %a8sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a8s = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %a8sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 40 for instruction: %a9za = zext <16 x i16> undef to <16 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 40 for instruction: %a9zb = zext <16 x i16> undef to <16 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a9zm = mul <16 x i32> %a9za, %a9zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a9z = call i32 @llvm.vector.reduce.add.v16i32(<16 x i32> %a9zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 40 for instruction: %a9sa = sext <16 x i16> undef to <16 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 40 for instruction: %a9sb = sext <16 x i16> undef to <16 x i32>
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a9sm = mul <16 x i32> %a9sa, %a9sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a9s = call i32 @llvm.vector.reduce.add.v16i32(<16 x i32> %a9sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a10m = mul <1 x i32> undef, undef
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a10 = call i32 @llvm.vector.reduce.add.v1i32(<1 x i32> %a10m)
; CHECK-NEXT: Cost Model: Found an estimated cost of 10 for instruction: %a11m = mul <2 x i32> undef, undef
; CHECK-NEXT: Cost Model: Found an estimated cost of 54 for instruction: %a11 = call i32 @llvm.vector.reduce.add.v2i32(<2 x i32> %a11m)
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a12m = mul <4 x i32> undef, undef
; CHECK-NEXT: Cost Model: Found an estimated cost of 2 for instruction: %a12 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %a12m)
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a13m = mul <8 x i32> undef, undef
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a13 = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %a13m)
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a14m = mul <16 x i32> undef, undef
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a14 = call i32 @llvm.vector.reduce.add.v16i32(<16 x i32> %a14m)
; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret void
;
%a0za = zext <1 x i8> undef to <1 x i32>
%a0zb = zext <1 x i8> undef to <1 x i32>
%a0zm = mul <1 x i32> %a0za, %a0zb
%a0z = call i32 @llvm.vector.reduce.add.v1i32(<1 x i32> %a0zm)
%a0sa = sext <1 x i8> undef to <1 x i32>
%a0sb = sext <1 x i8> undef to <1 x i32>
%a0sm = mul <1 x i32> %a0sa, %a0sb
%a0s = call i32 @llvm.vector.reduce.add.v1i32(<1 x i32> %a0sm)
%a1za = zext <2 x i8> undef to <2 x i32>
%a1zb = zext <2 x i8> undef to <2 x i32>
%a1zm = mul <2 x i32> %a1za, %a1zb
%a1z = call i32 @llvm.vector.reduce.add.v2i32(<2 x i32> %a1zm)
%a1sa = sext <2 x i8> undef to <2 x i32>
%a1sb = sext <2 x i8> undef to <2 x i32>
%a1sm = mul <2 x i32> %a1sa, %a1sb
%a1s = call i32 @llvm.vector.reduce.add.v2i32(<2 x i32> %a1sm)
%a2za = zext <4 x i8> undef to <4 x i32>
%a2zb = zext <4 x i8> undef to <4 x i32>
%a2zm = mul <4 x i32> %a2za, %a2zb
%a2z = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %a2zm)
%a2sa = sext <4 x i8> undef to <4 x i32>
%a2sb = sext <4 x i8> undef to <4 x i32>
%a2sm = mul <4 x i32> %a2sa, %a2sb
%a2s = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %a2sm)
%a3za = zext <8 x i8> undef to <8 x i32>
%a3zb = zext <8 x i8> undef to <8 x i32>
%a3zm = mul <8 x i32> %a3za, %a3zb
%a3z = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %a3zm)
%a3sa = sext <8 x i8> undef to <8 x i32>
%a3sb = sext <8 x i8> undef to <8 x i32>
%a3sm = mul <8 x i32> %a3sa, %a3sb
%a3s = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %a3sm)
%a4za = zext <16 x i8> undef to <16 x i32>
%a4zb = zext <16 x i8> undef to <16 x i32>
%a4zm = mul <16 x i32> %a4za, %a4zb
%a4z = call i32 @llvm.vector.reduce.add.v16i32(<16 x i32> %a4zm)
%a4sa = sext <16 x i8> undef to <16 x i32>
%a4sb = sext <16 x i8> undef to <16 x i32>
%a4sm = mul <16 x i32> %a4sa, %a4sb
%a4s = call i32 @llvm.vector.reduce.add.v16i32(<16 x i32> %a4sm)
%a5za = zext <1 x i16> undef to <1 x i32>
%a5zb = zext <1 x i16> undef to <1 x i32>
%a5zm = mul <1 x i32> %a5za, %a5zb
%a5z = call i32 @llvm.vector.reduce.add.v1i32(<1 x i32> %a5zm)
%a5sa = sext <1 x i16> undef to <1 x i32>
%a5sb = sext <1 x i16> undef to <1 x i32>
%a5sm = mul <1 x i32> %a5sa, %a5sb
%a5s = call i32 @llvm.vector.reduce.add.v1i32(<1 x i32> %a5sm)
%a6za = zext <2 x i16> undef to <2 x i32>
%a6zb = zext <2 x i16> undef to <2 x i32>
%a6zm = mul <2 x i32> %a6za, %a6zb
%a6z = call i32 @llvm.vector.reduce.add.v2i32(<2 x i32> %a6zm)
%a6sa = sext <2 x i16> undef to <2 x i32>
%a6sb = sext <2 x i16> undef to <2 x i32>
%a6sm = mul <2 x i32> %a6sa, %a6sb
%a6s = call i32 @llvm.vector.reduce.add.v2i32(<2 x i32> %a6sm)
%a7za = zext <4 x i16> undef to <4 x i32>
%a7zb = zext <4 x i16> undef to <4 x i32>
%a7zm = mul <4 x i32> %a7za, %a7zb
%a7z = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %a7zm)
%a7sa = sext <4 x i16> undef to <4 x i32>
%a7sb = sext <4 x i16> undef to <4 x i32>
%a7sm = mul <4 x i32> %a7sa, %a7sb
%a7s = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %a7sm)
%a8za = zext <8 x i16> undef to <8 x i32>
%a8zb = zext <8 x i16> undef to <8 x i32>
%a8zm = mul <8 x i32> %a8za, %a8zb
%a8z = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %a8zm)
%a8sa = sext <8 x i16> undef to <8 x i32>
%a8sb = sext <8 x i16> undef to <8 x i32>
%a8sm = mul <8 x i32> %a8sa, %a8sb
%a8s = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %a8sm)
%a9za = zext <16 x i16> undef to <16 x i32>
%a9zb = zext <16 x i16> undef to <16 x i32>
%a9zm = mul <16 x i32> %a9za, %a9zb
%a9z = call i32 @llvm.vector.reduce.add.v16i32(<16 x i32> %a9zm)
%a9sa = sext <16 x i16> undef to <16 x i32>
%a9sb = sext <16 x i16> undef to <16 x i32>
%a9sm = mul <16 x i32> %a9sa, %a9sb
%a9s = call i32 @llvm.vector.reduce.add.v16i32(<16 x i32> %a9sm)
%a10m = mul <1 x i32> undef, undef
%a10 = call i32 @llvm.vector.reduce.add.v1i32(<1 x i32> %a10m)
%a11m = mul <2 x i32> undef, undef
%a11 = call i32 @llvm.vector.reduce.add.v2i32(<2 x i32> %a11m)
%a12m = mul <4 x i32> undef, undef
%a12 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %a12m)
%a13m = mul <8 x i32> undef, undef
%a13 = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> %a13m)
%a14m = mul <16 x i32> undef, undef
%a14 = call i32 @llvm.vector.reduce.add.v16i32(<16 x i32> %a14m)
ret void
}
define void @mla_i64() {
; CHECK-LABEL: 'mla_i64'
; CHECK-NEXT: Cost Model: Found an estimated cost of 34 for instruction: %a0za = zext <1 x i8> undef to <1 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 34 for instruction: %a0zb = zext <1 x i8> undef to <1 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a0zm = mul <1 x i64> %a0za, %a0zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a0z = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a0zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 34 for instruction: %a0sa = sext <1 x i8> undef to <1 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 34 for instruction: %a0sb = sext <1 x i8> undef to <1 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a0sm = mul <1 x i64> %a0sa, %a0sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a0s = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a0sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a1za = zext <2 x i8> undef to <2 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a1zb = zext <2 x i8> undef to <2 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 52 for instruction: %a1zm = mul <2 x i64> %a1za, %a1zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 108 for instruction: %a1z = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a1zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 20 for instruction: %a1sa = sext <2 x i8> undef to <2 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 20 for instruction: %a1sb = sext <2 x i8> undef to <2 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 52 for instruction: %a1sm = mul <2 x i64> %a1sa, %a1sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 108 for instruction: %a1s = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a1sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 18 for instruction: %a2za = zext <4 x i8> undef to <4 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 18 for instruction: %a2zb = zext <4 x i8> undef to <4 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 104 for instruction: %a2zm = mul <4 x i64> %a2za, %a2zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 208 for instruction: %a2z = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a2zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 82 for instruction: %a2sa = sext <4 x i8> undef to <4 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 82 for instruction: %a2sb = sext <4 x i8> undef to <4 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 104 for instruction: %a2sm = mul <4 x i64> %a2sa, %a2sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 208 for instruction: %a2s = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a2sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 74 for instruction: %a3za = zext <8 x i8> undef to <8 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 74 for instruction: %a3zb = zext <8 x i8> undef to <8 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 208 for instruction: %a3zm = mul <8 x i64> %a3za, %a3zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 408 for instruction: %a3z = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a3zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 330 for instruction: %a3sa = sext <8 x i8> undef to <8 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 330 for instruction: %a3sb = sext <8 x i8> undef to <8 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 208 for instruction: %a3sm = mul <8 x i64> %a3sa, %a3sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 408 for instruction: %a3s = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a3sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 298 for instruction: %a4za = zext <16 x i8> undef to <16 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 298 for instruction: %a4zb = zext <16 x i8> undef to <16 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 416 for instruction: %a4zm = mul <16 x i64> %a4za, %a4zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 808 for instruction: %a4z = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a4zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 1322 for instruction: %a4sa = sext <16 x i8> undef to <16 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 1322 for instruction: %a4sb = sext <16 x i8> undef to <16 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 416 for instruction: %a4sm = mul <16 x i64> %a4sa, %a4sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 808 for instruction: %a4s = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a4sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 34 for instruction: %a5za = zext <1 x i16> undef to <1 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 34 for instruction: %a5zb = zext <1 x i16> undef to <1 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a5zm = mul <1 x i64> %a5za, %a5zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a5z = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a5zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 36 for instruction: %a5sa = sext <1 x i16> undef to <1 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 36 for instruction: %a5sb = sext <1 x i16> undef to <1 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a5sm = mul <1 x i64> %a5sa, %a5sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a5s = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a5sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a6za = zext <2 x i16> undef to <2 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a6zb = zext <2 x i16> undef to <2 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 52 for instruction: %a6zm = mul <2 x i64> %a6za, %a6zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 108 for instruction: %a6z = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a6zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 20 for instruction: %a6sa = sext <2 x i16> undef to <2 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 20 for instruction: %a6sb = sext <2 x i16> undef to <2 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 52 for instruction: %a6sm = mul <2 x i64> %a6sa, %a6sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 108 for instruction: %a6s = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a6sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 18 for instruction: %a7za = zext <4 x i16> undef to <4 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 18 for instruction: %a7zb = zext <4 x i16> undef to <4 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 104 for instruction: %a7zm = mul <4 x i64> %a7za, %a7zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 208 for instruction: %a7z = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a7zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 82 for instruction: %a7sa = sext <4 x i16> undef to <4 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 82 for instruction: %a7sb = sext <4 x i16> undef to <4 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 104 for instruction: %a7sm = mul <4 x i64> %a7sa, %a7sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 208 for instruction: %a7s = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a7sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 74 for instruction: %a8za = zext <8 x i16> undef to <8 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 74 for instruction: %a8zb = zext <8 x i16> undef to <8 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 208 for instruction: %a8zm = mul <8 x i64> %a8za, %a8zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 408 for instruction: %a8z = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a8zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 330 for instruction: %a8sa = sext <8 x i16> undef to <8 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 330 for instruction: %a8sb = sext <8 x i16> undef to <8 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 208 for instruction: %a8sm = mul <8 x i64> %a8sa, %a8sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 408 for instruction: %a8s = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a8sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 296 for instruction: %a9za = zext <16 x i16> undef to <16 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 296 for instruction: %a9zb = zext <16 x i16> undef to <16 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 416 for instruction: %a9zm = mul <16 x i64> %a9za, %a9zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 808 for instruction: %a9z = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a9zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 1320 for instruction: %a9sa = sext <16 x i16> undef to <16 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 1320 for instruction: %a9sb = sext <16 x i16> undef to <16 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 416 for instruction: %a9sm = mul <16 x i64> %a9sa, %a9sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 808 for instruction: %a9s = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a9sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 34 for instruction: %a10za = zext <1 x i32> undef to <1 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 34 for instruction: %a10zb = zext <1 x i32> undef to <1 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a10zm = mul <1 x i64> %a10za, %a10zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a10z = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a10zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 34 for instruction: %a10sa = sext <1 x i32> undef to <1 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 34 for instruction: %a10sb = sext <1 x i32> undef to <1 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a10sm = mul <1 x i64> %a10sa, %a10sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a10s = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a10sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a11za = zext <2 x i32> undef to <2 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a11zb = zext <2 x i32> undef to <2 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 52 for instruction: %a11zm = mul <2 x i64> %a11za, %a11zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 108 for instruction: %a11z = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a11zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 16 for instruction: %a11sa = sext <2 x i32> undef to <2 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 16 for instruction: %a11sb = sext <2 x i32> undef to <2 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 52 for instruction: %a11sm = mul <2 x i64> %a11sa, %a11sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 108 for instruction: %a11s = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a11sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 18 for instruction: %a12za = zext <4 x i32> undef to <4 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 18 for instruction: %a12zb = zext <4 x i32> undef to <4 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 104 for instruction: %a12zm = mul <4 x i64> %a12za, %a12zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 208 for instruction: %a12z = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a12zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 66 for instruction: %a12sa = sext <4 x i32> undef to <4 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 66 for instruction: %a12sb = sext <4 x i32> undef to <4 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 104 for instruction: %a12sm = mul <4 x i64> %a12sa, %a12sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 208 for instruction: %a12s = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a12sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 72 for instruction: %a13za = zext <8 x i32> undef to <8 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 72 for instruction: %a13zb = zext <8 x i32> undef to <8 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 208 for instruction: %a13zm = mul <8 x i64> %a13za, %a13zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 408 for instruction: %a13z = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a13zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 264 for instruction: %a13sa = sext <8 x i32> undef to <8 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 264 for instruction: %a13sb = sext <8 x i32> undef to <8 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 208 for instruction: %a13sm = mul <8 x i64> %a13sa, %a13sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 408 for instruction: %a13s = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a13sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 288 for instruction: %a14za = zext <16 x i32> undef to <16 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 288 for instruction: %a14zb = zext <16 x i32> undef to <16 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 416 for instruction: %a14zm = mul <16 x i64> %a14za, %a14zb
; CHECK-NEXT: Cost Model: Found an estimated cost of 808 for instruction: %a14z = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a14zm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 1056 for instruction: %a14sa = sext <16 x i32> undef to <16 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 1056 for instruction: %a14sb = sext <16 x i32> undef to <16 x i64>
; CHECK-NEXT: Cost Model: Found an estimated cost of 416 for instruction: %a14sm = mul <16 x i64> %a14sa, %a14sb
; CHECK-NEXT: Cost Model: Found an estimated cost of 808 for instruction: %a14s = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a14sm)
; CHECK-NEXT: Cost Model: Found an estimated cost of 4 for instruction: %a15m = mul <1 x i64> undef, undef
; CHECK-NEXT: Cost Model: Found an estimated cost of 8 for instruction: %a15 = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a15m)
; CHECK-NEXT: Cost Model: Found an estimated cost of 20 for instruction: %a16m = mul <2 x i64> undef, undef
; CHECK-NEXT: Cost Model: Found an estimated cost of 108 for instruction: %a16 = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a16m)
; CHECK-NEXT: Cost Model: Found an estimated cost of 40 for instruction: %a17m = mul <4 x i64> undef, undef
; CHECK-NEXT: Cost Model: Found an estimated cost of 208 for instruction: %a17 = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a17m)
; CHECK-NEXT: Cost Model: Found an estimated cost of 80 for instruction: %a18m = mul <8 x i64> undef, undef
; CHECK-NEXT: Cost Model: Found an estimated cost of 408 for instruction: %a18 = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a18m)
; CHECK-NEXT: Cost Model: Found an estimated cost of 160 for instruction: %a19m = mul <16 x i64> undef, undef
; CHECK-NEXT: Cost Model: Found an estimated cost of 808 for instruction: %a19 = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a19m)
; CHECK-NEXT: Cost Model: Found an estimated cost of 0 for instruction: ret void
;
%a0za = zext <1 x i8> undef to <1 x i64>
%a0zb = zext <1 x i8> undef to <1 x i64>
%a0zm = mul <1 x i64> %a0za, %a0zb
%a0z = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a0zm)
%a0sa = sext <1 x i8> undef to <1 x i64>
%a0sb = sext <1 x i8> undef to <1 x i64>
%a0sm = mul <1 x i64> %a0sa, %a0sb
%a0s = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a0sm)
%a1za = zext <2 x i8> undef to <2 x i64>
%a1zb = zext <2 x i8> undef to <2 x i64>
%a1zm = mul <2 x i64> %a1za, %a1zb
%a1z = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a1zm)
%a1sa = sext <2 x i8> undef to <2 x i64>
%a1sb = sext <2 x i8> undef to <2 x i64>
%a1sm = mul <2 x i64> %a1sa, %a1sb
%a1s = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a1sm)
%a2za = zext <4 x i8> undef to <4 x i64>
%a2zb = zext <4 x i8> undef to <4 x i64>
%a2zm = mul <4 x i64> %a2za, %a2zb
%a2z = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a2zm)
%a2sa = sext <4 x i8> undef to <4 x i64>
%a2sb = sext <4 x i8> undef to <4 x i64>
%a2sm = mul <4 x i64> %a2sa, %a2sb
%a2s = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a2sm)
%a3za = zext <8 x i8> undef to <8 x i64>
%a3zb = zext <8 x i8> undef to <8 x i64>
%a3zm = mul <8 x i64> %a3za, %a3zb
%a3z = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a3zm)
%a3sa = sext <8 x i8> undef to <8 x i64>
%a3sb = sext <8 x i8> undef to <8 x i64>
%a3sm = mul <8 x i64> %a3sa, %a3sb
%a3s = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a3sm)
%a4za = zext <16 x i8> undef to <16 x i64>
%a4zb = zext <16 x i8> undef to <16 x i64>
%a4zm = mul <16 x i64> %a4za, %a4zb
%a4z = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a4zm)
%a4sa = sext <16 x i8> undef to <16 x i64>
%a4sb = sext <16 x i8> undef to <16 x i64>
%a4sm = mul <16 x i64> %a4sa, %a4sb
%a4s = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a4sm)
%a5za = zext <1 x i16> undef to <1 x i64>
%a5zb = zext <1 x i16> undef to <1 x i64>
%a5zm = mul <1 x i64> %a5za, %a5zb
%a5z = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a5zm)
%a5sa = sext <1 x i16> undef to <1 x i64>
%a5sb = sext <1 x i16> undef to <1 x i64>
%a5sm = mul <1 x i64> %a5sa, %a5sb
%a5s = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a5sm)
%a6za = zext <2 x i16> undef to <2 x i64>
%a6zb = zext <2 x i16> undef to <2 x i64>
%a6zm = mul <2 x i64> %a6za, %a6zb
%a6z = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a6zm)
%a6sa = sext <2 x i16> undef to <2 x i64>
%a6sb = sext <2 x i16> undef to <2 x i64>
%a6sm = mul <2 x i64> %a6sa, %a6sb
%a6s = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a6sm)
%a7za = zext <4 x i16> undef to <4 x i64>
%a7zb = zext <4 x i16> undef to <4 x i64>
%a7zm = mul <4 x i64> %a7za, %a7zb
%a7z = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a7zm)
%a7sa = sext <4 x i16> undef to <4 x i64>
%a7sb = sext <4 x i16> undef to <4 x i64>
%a7sm = mul <4 x i64> %a7sa, %a7sb
%a7s = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a7sm)
%a8za = zext <8 x i16> undef to <8 x i64>
%a8zb = zext <8 x i16> undef to <8 x i64>
%a8zm = mul <8 x i64> %a8za, %a8zb
%a8z = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a8zm)
%a8sa = sext <8 x i16> undef to <8 x i64>
%a8sb = sext <8 x i16> undef to <8 x i64>
%a8sm = mul <8 x i64> %a8sa, %a8sb
%a8s = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a8sm)
%a9za = zext <16 x i16> undef to <16 x i64>
%a9zb = zext <16 x i16> undef to <16 x i64>
%a9zm = mul <16 x i64> %a9za, %a9zb
%a9z = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a9zm)
%a9sa = sext <16 x i16> undef to <16 x i64>
%a9sb = sext <16 x i16> undef to <16 x i64>
%a9sm = mul <16 x i64> %a9sa, %a9sb
%a9s = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a9sm)
%a10za = zext <1 x i32> undef to <1 x i64>
%a10zb = zext <1 x i32> undef to <1 x i64>
%a10zm = mul <1 x i64> %a10za, %a10zb
%a10z = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a10zm)
%a10sa = sext <1 x i32> undef to <1 x i64>
%a10sb = sext <1 x i32> undef to <1 x i64>
%a10sm = mul <1 x i64> %a10sa, %a10sb
%a10s = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a10sm)
%a11za = zext <2 x i32> undef to <2 x i64>
%a11zb = zext <2 x i32> undef to <2 x i64>
%a11zm = mul <2 x i64> %a11za, %a11zb
%a11z = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a11zm)
%a11sa = sext <2 x i32> undef to <2 x i64>
%a11sb = sext <2 x i32> undef to <2 x i64>
%a11sm = mul <2 x i64> %a11sa, %a11sb
%a11s = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a11sm)
%a12za = zext <4 x i32> undef to <4 x i64>
%a12zb = zext <4 x i32> undef to <4 x i64>
%a12zm = mul <4 x i64> %a12za, %a12zb
%a12z = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a12zm)
%a12sa = sext <4 x i32> undef to <4 x i64>
%a12sb = sext <4 x i32> undef to <4 x i64>
%a12sm = mul <4 x i64> %a12sa, %a12sb
%a12s = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a12sm)
%a13za = zext <8 x i32> undef to <8 x i64>
%a13zb = zext <8 x i32> undef to <8 x i64>
%a13zm = mul <8 x i64> %a13za, %a13zb
%a13z = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a13zm)
%a13sa = sext <8 x i32> undef to <8 x i64>
%a13sb = sext <8 x i32> undef to <8 x i64>
%a13sm = mul <8 x i64> %a13sa, %a13sb
%a13s = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a13sm)
%a14za = zext <16 x i32> undef to <16 x i64>
%a14zb = zext <16 x i32> undef to <16 x i64>
%a14zm = mul <16 x i64> %a14za, %a14zb
%a14z = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a14zm)
%a14sa = sext <16 x i32> undef to <16 x i64>
%a14sb = sext <16 x i32> undef to <16 x i64>
%a14sm = mul <16 x i64> %a14sa, %a14sb
%a14s = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a14sm)
%a15m = mul <1 x i64> undef, undef
%a15 = call i64 @llvm.vector.reduce.add.v1i64(<1 x i64> %a15m)
%a16m = mul <2 x i64> undef, undef
%a16 = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %a16m)
%a17m = mul <4 x i64> undef, undef
%a17 = call i64 @llvm.vector.reduce.add.v4i64(<4 x i64> %a17m)
%a18m = mul <8 x i64> undef, undef
%a18 = call i64 @llvm.vector.reduce.add.v8i64(<8 x i64> %a18m)
%a19m = mul <16 x i64> undef, undef
%a19 = call i64 @llvm.vector.reduce.add.v16i64(<16 x i64> %a19m)
ret void
}
declare i16 @llvm.vector.reduce.add.v16i16(<16 x i16>)
declare i16 @llvm.vector.reduce.add.v1i16(<1 x i16>)
declare i16 @llvm.vector.reduce.add.v2i16(<2 x i16>)
declare i16 @llvm.vector.reduce.add.v4i16(<4 x i16>)
declare i16 @llvm.vector.reduce.add.v8i16(<8 x i16>)
declare i32 @llvm.vector.reduce.add.v16i32(<16 x i32>)
declare i32 @llvm.vector.reduce.add.v1i32(<1 x i32>)
declare i32 @llvm.vector.reduce.add.v2i32(<2 x i32>)
declare i32 @llvm.vector.reduce.add.v4i32(<4 x i32>)
declare i32 @llvm.vector.reduce.add.v8i32(<8 x i32>)
declare i64 @llvm.vector.reduce.add.v16i64(<16 x i64>)
declare i64 @llvm.vector.reduce.add.v1i64(<1 x i64>)
declare i64 @llvm.vector.reduce.add.v2i64(<2 x i64>)
declare i64 @llvm.vector.reduce.add.v4i64(<4 x i64>)
declare i64 @llvm.vector.reduce.add.v8i64(<8 x i64>)
declare i8 @llvm.vector.reduce.add.v16i8(<16 x i8>)
declare i8 @llvm.vector.reduce.add.v1i8(<1 x i8>)
declare i8 @llvm.vector.reduce.add.v2i8(<2 x i8>)
declare i8 @llvm.vector.reduce.add.v4i8(<4 x i8>)
declare i8 @llvm.vector.reduce.add.v8i8(<8 x i8>)