1 // NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 2
2 // REQUIRES: riscv-registered-target
3 // RUN: %clang_cc1 -triple riscv64 -target-feature +v -disable-O0-optnone \
4 // RUN: -emit-llvm %s -o - | opt -S -passes=mem2reg | \
5 // RUN: FileCheck --check-prefix=CHECK-RV64 %s
6
7 #include <riscv_vector.h>
8
9 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_i8mf8_i8m1
10 // CHECK-RV64-SAME: (<vscale x 1 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0:[0-9]+]] {
11 // CHECK-RV64-NEXT: entry:
12 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.nxv8i8.nxv1i8.i64(<vscale x 8 x i8> poison, <vscale x 1 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], i64 [[VL]])
13 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
14 //
test_vredsum_vs_i8mf8_i8m1(vint8mf8_t vector,vint8m1_t scalar,size_t vl)15 vint8m1_t test_vredsum_vs_i8mf8_i8m1(vint8mf8_t vector, vint8m1_t scalar, size_t vl) {
16 return __riscv_vredsum(vector, scalar, vl);
17 }
18
19 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_i8mf4_i8m1
20 // CHECK-RV64-SAME: (<vscale x 2 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
21 // CHECK-RV64-NEXT: entry:
22 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.nxv8i8.nxv2i8.i64(<vscale x 8 x i8> poison, <vscale x 2 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], i64 [[VL]])
23 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
24 //
test_vredsum_vs_i8mf4_i8m1(vint8mf4_t vector,vint8m1_t scalar,size_t vl)25 vint8m1_t test_vredsum_vs_i8mf4_i8m1(vint8mf4_t vector, vint8m1_t scalar, size_t vl) {
26 return __riscv_vredsum(vector, scalar, vl);
27 }
28
29 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_i8mf2_i8m1
30 // CHECK-RV64-SAME: (<vscale x 4 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
31 // CHECK-RV64-NEXT: entry:
32 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.nxv8i8.nxv4i8.i64(<vscale x 8 x i8> poison, <vscale x 4 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], i64 [[VL]])
33 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
34 //
test_vredsum_vs_i8mf2_i8m1(vint8mf2_t vector,vint8m1_t scalar,size_t vl)35 vint8m1_t test_vredsum_vs_i8mf2_i8m1(vint8mf2_t vector, vint8m1_t scalar, size_t vl) {
36 return __riscv_vredsum(vector, scalar, vl);
37 }
38
39 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_i8m1_i8m1
40 // CHECK-RV64-SAME: (<vscale x 8 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
41 // CHECK-RV64-NEXT: entry:
42 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.nxv8i8.nxv8i8.i64(<vscale x 8 x i8> poison, <vscale x 8 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], i64 [[VL]])
43 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
44 //
test_vredsum_vs_i8m1_i8m1(vint8m1_t vector,vint8m1_t scalar,size_t vl)45 vint8m1_t test_vredsum_vs_i8m1_i8m1(vint8m1_t vector, vint8m1_t scalar, size_t vl) {
46 return __riscv_vredsum(vector, scalar, vl);
47 }
48
49 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_i8m2_i8m1
50 // CHECK-RV64-SAME: (<vscale x 16 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
51 // CHECK-RV64-NEXT: entry:
52 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.nxv8i8.nxv16i8.i64(<vscale x 8 x i8> poison, <vscale x 16 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], i64 [[VL]])
53 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
54 //
test_vredsum_vs_i8m2_i8m1(vint8m2_t vector,vint8m1_t scalar,size_t vl)55 vint8m1_t test_vredsum_vs_i8m2_i8m1(vint8m2_t vector, vint8m1_t scalar, size_t vl) {
56 return __riscv_vredsum(vector, scalar, vl);
57 }
58
59 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_i8m4_i8m1
60 // CHECK-RV64-SAME: (<vscale x 32 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
61 // CHECK-RV64-NEXT: entry:
62 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.nxv8i8.nxv32i8.i64(<vscale x 8 x i8> poison, <vscale x 32 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], i64 [[VL]])
63 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
64 //
test_vredsum_vs_i8m4_i8m1(vint8m4_t vector,vint8m1_t scalar,size_t vl)65 vint8m1_t test_vredsum_vs_i8m4_i8m1(vint8m4_t vector, vint8m1_t scalar, size_t vl) {
66 return __riscv_vredsum(vector, scalar, vl);
67 }
68
69 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_i8m8_i8m1
70 // CHECK-RV64-SAME: (<vscale x 64 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
71 // CHECK-RV64-NEXT: entry:
72 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.nxv8i8.nxv64i8.i64(<vscale x 8 x i8> poison, <vscale x 64 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], i64 [[VL]])
73 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
74 //
test_vredsum_vs_i8m8_i8m1(vint8m8_t vector,vint8m1_t scalar,size_t vl)75 vint8m1_t test_vredsum_vs_i8m8_i8m1(vint8m8_t vector, vint8m1_t scalar, size_t vl) {
76 return __riscv_vredsum(vector, scalar, vl);
77 }
78
79 // CHECK-RV64-LABEL: define dso_local <vscale x 4 x i16> @test_vredsum_vs_i16mf4_i16m1
80 // CHECK-RV64-SAME: (<vscale x 1 x i16> [[VECTOR:%.*]], <vscale x 4 x i16> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
81 // CHECK-RV64-NEXT: entry:
82 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 4 x i16> @llvm.riscv.vredsum.nxv4i16.nxv1i16.i64(<vscale x 4 x i16> poison, <vscale x 1 x i16> [[VECTOR]], <vscale x 4 x i16> [[SCALAR]], i64 [[VL]])
83 // CHECK-RV64-NEXT: ret <vscale x 4 x i16> [[TMP0]]
84 //
test_vredsum_vs_i16mf4_i16m1(vint16mf4_t vector,vint16m1_t scalar,size_t vl)85 vint16m1_t test_vredsum_vs_i16mf4_i16m1(vint16mf4_t vector, vint16m1_t scalar, size_t vl) {
86 return __riscv_vredsum(vector, scalar, vl);
87 }
88
89 // CHECK-RV64-LABEL: define dso_local <vscale x 4 x i16> @test_vredsum_vs_i16mf2_i16m1
90 // CHECK-RV64-SAME: (<vscale x 2 x i16> [[VECTOR:%.*]], <vscale x 4 x i16> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
91 // CHECK-RV64-NEXT: entry:
92 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 4 x i16> @llvm.riscv.vredsum.nxv4i16.nxv2i16.i64(<vscale x 4 x i16> poison, <vscale x 2 x i16> [[VECTOR]], <vscale x 4 x i16> [[SCALAR]], i64 [[VL]])
93 // CHECK-RV64-NEXT: ret <vscale x 4 x i16> [[TMP0]]
94 //
test_vredsum_vs_i16mf2_i16m1(vint16mf2_t vector,vint16m1_t scalar,size_t vl)95 vint16m1_t test_vredsum_vs_i16mf2_i16m1(vint16mf2_t vector, vint16m1_t scalar, size_t vl) {
96 return __riscv_vredsum(vector, scalar, vl);
97 }
98
99 // CHECK-RV64-LABEL: define dso_local <vscale x 4 x i16> @test_vredsum_vs_i16m1_i16m1
100 // CHECK-RV64-SAME: (<vscale x 4 x i16> [[VECTOR:%.*]], <vscale x 4 x i16> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
101 // CHECK-RV64-NEXT: entry:
102 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 4 x i16> @llvm.riscv.vredsum.nxv4i16.nxv4i16.i64(<vscale x 4 x i16> poison, <vscale x 4 x i16> [[VECTOR]], <vscale x 4 x i16> [[SCALAR]], i64 [[VL]])
103 // CHECK-RV64-NEXT: ret <vscale x 4 x i16> [[TMP0]]
104 //
test_vredsum_vs_i16m1_i16m1(vint16m1_t vector,vint16m1_t scalar,size_t vl)105 vint16m1_t test_vredsum_vs_i16m1_i16m1(vint16m1_t vector, vint16m1_t scalar, size_t vl) {
106 return __riscv_vredsum(vector, scalar, vl);
107 }
108
109 // CHECK-RV64-LABEL: define dso_local <vscale x 4 x i16> @test_vredsum_vs_i16m2_i16m1
110 // CHECK-RV64-SAME: (<vscale x 8 x i16> [[VECTOR:%.*]], <vscale x 4 x i16> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
111 // CHECK-RV64-NEXT: entry:
112 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 4 x i16> @llvm.riscv.vredsum.nxv4i16.nxv8i16.i64(<vscale x 4 x i16> poison, <vscale x 8 x i16> [[VECTOR]], <vscale x 4 x i16> [[SCALAR]], i64 [[VL]])
113 // CHECK-RV64-NEXT: ret <vscale x 4 x i16> [[TMP0]]
114 //
test_vredsum_vs_i16m2_i16m1(vint16m2_t vector,vint16m1_t scalar,size_t vl)115 vint16m1_t test_vredsum_vs_i16m2_i16m1(vint16m2_t vector, vint16m1_t scalar, size_t vl) {
116 return __riscv_vredsum(vector, scalar, vl);
117 }
118
119 // CHECK-RV64-LABEL: define dso_local <vscale x 4 x i16> @test_vredsum_vs_i16m4_i16m1
120 // CHECK-RV64-SAME: (<vscale x 16 x i16> [[VECTOR:%.*]], <vscale x 4 x i16> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
121 // CHECK-RV64-NEXT: entry:
122 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 4 x i16> @llvm.riscv.vredsum.nxv4i16.nxv16i16.i64(<vscale x 4 x i16> poison, <vscale x 16 x i16> [[VECTOR]], <vscale x 4 x i16> [[SCALAR]], i64 [[VL]])
123 // CHECK-RV64-NEXT: ret <vscale x 4 x i16> [[TMP0]]
124 //
test_vredsum_vs_i16m4_i16m1(vint16m4_t vector,vint16m1_t scalar,size_t vl)125 vint16m1_t test_vredsum_vs_i16m4_i16m1(vint16m4_t vector, vint16m1_t scalar, size_t vl) {
126 return __riscv_vredsum(vector, scalar, vl);
127 }
128
129 // CHECK-RV64-LABEL: define dso_local <vscale x 4 x i16> @test_vredsum_vs_i16m8_i16m1
130 // CHECK-RV64-SAME: (<vscale x 32 x i16> [[VECTOR:%.*]], <vscale x 4 x i16> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
131 // CHECK-RV64-NEXT: entry:
132 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 4 x i16> @llvm.riscv.vredsum.nxv4i16.nxv32i16.i64(<vscale x 4 x i16> poison, <vscale x 32 x i16> [[VECTOR]], <vscale x 4 x i16> [[SCALAR]], i64 [[VL]])
133 // CHECK-RV64-NEXT: ret <vscale x 4 x i16> [[TMP0]]
134 //
test_vredsum_vs_i16m8_i16m1(vint16m8_t vector,vint16m1_t scalar,size_t vl)135 vint16m1_t test_vredsum_vs_i16m8_i16m1(vint16m8_t vector, vint16m1_t scalar, size_t vl) {
136 return __riscv_vredsum(vector, scalar, vl);
137 }
138
139 // CHECK-RV64-LABEL: define dso_local <vscale x 2 x i32> @test_vredsum_vs_i32mf2_i32m1
140 // CHECK-RV64-SAME: (<vscale x 1 x i32> [[VECTOR:%.*]], <vscale x 2 x i32> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
141 // CHECK-RV64-NEXT: entry:
142 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 2 x i32> @llvm.riscv.vredsum.nxv2i32.nxv1i32.i64(<vscale x 2 x i32> poison, <vscale x 1 x i32> [[VECTOR]], <vscale x 2 x i32> [[SCALAR]], i64 [[VL]])
143 // CHECK-RV64-NEXT: ret <vscale x 2 x i32> [[TMP0]]
144 //
test_vredsum_vs_i32mf2_i32m1(vint32mf2_t vector,vint32m1_t scalar,size_t vl)145 vint32m1_t test_vredsum_vs_i32mf2_i32m1(vint32mf2_t vector, vint32m1_t scalar, size_t vl) {
146 return __riscv_vredsum(vector, scalar, vl);
147 }
148
149 // CHECK-RV64-LABEL: define dso_local <vscale x 2 x i32> @test_vredsum_vs_i32m1_i32m1
150 // CHECK-RV64-SAME: (<vscale x 2 x i32> [[VECTOR:%.*]], <vscale x 2 x i32> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
151 // CHECK-RV64-NEXT: entry:
152 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 2 x i32> @llvm.riscv.vredsum.nxv2i32.nxv2i32.i64(<vscale x 2 x i32> poison, <vscale x 2 x i32> [[VECTOR]], <vscale x 2 x i32> [[SCALAR]], i64 [[VL]])
153 // CHECK-RV64-NEXT: ret <vscale x 2 x i32> [[TMP0]]
154 //
test_vredsum_vs_i32m1_i32m1(vint32m1_t vector,vint32m1_t scalar,size_t vl)155 vint32m1_t test_vredsum_vs_i32m1_i32m1(vint32m1_t vector, vint32m1_t scalar, size_t vl) {
156 return __riscv_vredsum(vector, scalar, vl);
157 }
158
159 // CHECK-RV64-LABEL: define dso_local <vscale x 2 x i32> @test_vredsum_vs_i32m2_i32m1
160 // CHECK-RV64-SAME: (<vscale x 4 x i32> [[VECTOR:%.*]], <vscale x 2 x i32> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
161 // CHECK-RV64-NEXT: entry:
162 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 2 x i32> @llvm.riscv.vredsum.nxv2i32.nxv4i32.i64(<vscale x 2 x i32> poison, <vscale x 4 x i32> [[VECTOR]], <vscale x 2 x i32> [[SCALAR]], i64 [[VL]])
163 // CHECK-RV64-NEXT: ret <vscale x 2 x i32> [[TMP0]]
164 //
test_vredsum_vs_i32m2_i32m1(vint32m2_t vector,vint32m1_t scalar,size_t vl)165 vint32m1_t test_vredsum_vs_i32m2_i32m1(vint32m2_t vector, vint32m1_t scalar, size_t vl) {
166 return __riscv_vredsum(vector, scalar, vl);
167 }
168
169 // CHECK-RV64-LABEL: define dso_local <vscale x 2 x i32> @test_vredsum_vs_i32m4_i32m1
170 // CHECK-RV64-SAME: (<vscale x 8 x i32> [[VECTOR:%.*]], <vscale x 2 x i32> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
171 // CHECK-RV64-NEXT: entry:
172 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 2 x i32> @llvm.riscv.vredsum.nxv2i32.nxv8i32.i64(<vscale x 2 x i32> poison, <vscale x 8 x i32> [[VECTOR]], <vscale x 2 x i32> [[SCALAR]], i64 [[VL]])
173 // CHECK-RV64-NEXT: ret <vscale x 2 x i32> [[TMP0]]
174 //
test_vredsum_vs_i32m4_i32m1(vint32m4_t vector,vint32m1_t scalar,size_t vl)175 vint32m1_t test_vredsum_vs_i32m4_i32m1(vint32m4_t vector, vint32m1_t scalar, size_t vl) {
176 return __riscv_vredsum(vector, scalar, vl);
177 }
178
179 // CHECK-RV64-LABEL: define dso_local <vscale x 2 x i32> @test_vredsum_vs_i32m8_i32m1
180 // CHECK-RV64-SAME: (<vscale x 16 x i32> [[VECTOR:%.*]], <vscale x 2 x i32> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
181 // CHECK-RV64-NEXT: entry:
182 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 2 x i32> @llvm.riscv.vredsum.nxv2i32.nxv16i32.i64(<vscale x 2 x i32> poison, <vscale x 16 x i32> [[VECTOR]], <vscale x 2 x i32> [[SCALAR]], i64 [[VL]])
183 // CHECK-RV64-NEXT: ret <vscale x 2 x i32> [[TMP0]]
184 //
test_vredsum_vs_i32m8_i32m1(vint32m8_t vector,vint32m1_t scalar,size_t vl)185 vint32m1_t test_vredsum_vs_i32m8_i32m1(vint32m8_t vector, vint32m1_t scalar, size_t vl) {
186 return __riscv_vredsum(vector, scalar, vl);
187 }
188
189 // CHECK-RV64-LABEL: define dso_local <vscale x 1 x i64> @test_vredsum_vs_i64m1_i64m1
190 // CHECK-RV64-SAME: (<vscale x 1 x i64> [[VECTOR:%.*]], <vscale x 1 x i64> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
191 // CHECK-RV64-NEXT: entry:
192 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 1 x i64> @llvm.riscv.vredsum.nxv1i64.nxv1i64.i64(<vscale x 1 x i64> poison, <vscale x 1 x i64> [[VECTOR]], <vscale x 1 x i64> [[SCALAR]], i64 [[VL]])
193 // CHECK-RV64-NEXT: ret <vscale x 1 x i64> [[TMP0]]
194 //
test_vredsum_vs_i64m1_i64m1(vint64m1_t vector,vint64m1_t scalar,size_t vl)195 vint64m1_t test_vredsum_vs_i64m1_i64m1(vint64m1_t vector, vint64m1_t scalar, size_t vl) {
196 return __riscv_vredsum(vector, scalar, vl);
197 }
198
199 // CHECK-RV64-LABEL: define dso_local <vscale x 1 x i64> @test_vredsum_vs_i64m2_i64m1
200 // CHECK-RV64-SAME: (<vscale x 2 x i64> [[VECTOR:%.*]], <vscale x 1 x i64> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
201 // CHECK-RV64-NEXT: entry:
202 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 1 x i64> @llvm.riscv.vredsum.nxv1i64.nxv2i64.i64(<vscale x 1 x i64> poison, <vscale x 2 x i64> [[VECTOR]], <vscale x 1 x i64> [[SCALAR]], i64 [[VL]])
203 // CHECK-RV64-NEXT: ret <vscale x 1 x i64> [[TMP0]]
204 //
test_vredsum_vs_i64m2_i64m1(vint64m2_t vector,vint64m1_t scalar,size_t vl)205 vint64m1_t test_vredsum_vs_i64m2_i64m1(vint64m2_t vector, vint64m1_t scalar, size_t vl) {
206 return __riscv_vredsum(vector, scalar, vl);
207 }
208
209 // CHECK-RV64-LABEL: define dso_local <vscale x 1 x i64> @test_vredsum_vs_i64m4_i64m1
210 // CHECK-RV64-SAME: (<vscale x 4 x i64> [[VECTOR:%.*]], <vscale x 1 x i64> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
211 // CHECK-RV64-NEXT: entry:
212 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 1 x i64> @llvm.riscv.vredsum.nxv1i64.nxv4i64.i64(<vscale x 1 x i64> poison, <vscale x 4 x i64> [[VECTOR]], <vscale x 1 x i64> [[SCALAR]], i64 [[VL]])
213 // CHECK-RV64-NEXT: ret <vscale x 1 x i64> [[TMP0]]
214 //
test_vredsum_vs_i64m4_i64m1(vint64m4_t vector,vint64m1_t scalar,size_t vl)215 vint64m1_t test_vredsum_vs_i64m4_i64m1(vint64m4_t vector, vint64m1_t scalar, size_t vl) {
216 return __riscv_vredsum(vector, scalar, vl);
217 }
218
219 // CHECK-RV64-LABEL: define dso_local <vscale x 1 x i64> @test_vredsum_vs_i64m8_i64m1
220 // CHECK-RV64-SAME: (<vscale x 8 x i64> [[VECTOR:%.*]], <vscale x 1 x i64> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
221 // CHECK-RV64-NEXT: entry:
222 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 1 x i64> @llvm.riscv.vredsum.nxv1i64.nxv8i64.i64(<vscale x 1 x i64> poison, <vscale x 8 x i64> [[VECTOR]], <vscale x 1 x i64> [[SCALAR]], i64 [[VL]])
223 // CHECK-RV64-NEXT: ret <vscale x 1 x i64> [[TMP0]]
224 //
test_vredsum_vs_i64m8_i64m1(vint64m8_t vector,vint64m1_t scalar,size_t vl)225 vint64m1_t test_vredsum_vs_i64m8_i64m1(vint64m8_t vector, vint64m1_t scalar, size_t vl) {
226 return __riscv_vredsum(vector, scalar, vl);
227 }
228
229 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_u8mf8_u8m1
230 // CHECK-RV64-SAME: (<vscale x 1 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
231 // CHECK-RV64-NEXT: entry:
232 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.nxv8i8.nxv1i8.i64(<vscale x 8 x i8> poison, <vscale x 1 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], i64 [[VL]])
233 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
234 //
test_vredsum_vs_u8mf8_u8m1(vuint8mf8_t vector,vuint8m1_t scalar,size_t vl)235 vuint8m1_t test_vredsum_vs_u8mf8_u8m1(vuint8mf8_t vector, vuint8m1_t scalar, size_t vl) {
236 return __riscv_vredsum(vector, scalar, vl);
237 }
238
239 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_u8mf4_u8m1
240 // CHECK-RV64-SAME: (<vscale x 2 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
241 // CHECK-RV64-NEXT: entry:
242 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.nxv8i8.nxv2i8.i64(<vscale x 8 x i8> poison, <vscale x 2 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], i64 [[VL]])
243 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
244 //
test_vredsum_vs_u8mf4_u8m1(vuint8mf4_t vector,vuint8m1_t scalar,size_t vl)245 vuint8m1_t test_vredsum_vs_u8mf4_u8m1(vuint8mf4_t vector, vuint8m1_t scalar, size_t vl) {
246 return __riscv_vredsum(vector, scalar, vl);
247 }
248
249 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_u8mf2_u8m1
250 // CHECK-RV64-SAME: (<vscale x 4 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
251 // CHECK-RV64-NEXT: entry:
252 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.nxv8i8.nxv4i8.i64(<vscale x 8 x i8> poison, <vscale x 4 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], i64 [[VL]])
253 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
254 //
test_vredsum_vs_u8mf2_u8m1(vuint8mf2_t vector,vuint8m1_t scalar,size_t vl)255 vuint8m1_t test_vredsum_vs_u8mf2_u8m1(vuint8mf2_t vector, vuint8m1_t scalar, size_t vl) {
256 return __riscv_vredsum(vector, scalar, vl);
257 }
258
259 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_u8m1_u8m1
260 // CHECK-RV64-SAME: (<vscale x 8 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
261 // CHECK-RV64-NEXT: entry:
262 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.nxv8i8.nxv8i8.i64(<vscale x 8 x i8> poison, <vscale x 8 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], i64 [[VL]])
263 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
264 //
test_vredsum_vs_u8m1_u8m1(vuint8m1_t vector,vuint8m1_t scalar,size_t vl)265 vuint8m1_t test_vredsum_vs_u8m1_u8m1(vuint8m1_t vector, vuint8m1_t scalar, size_t vl) {
266 return __riscv_vredsum(vector, scalar, vl);
267 }
268
269 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_u8m2_u8m1
270 // CHECK-RV64-SAME: (<vscale x 16 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
271 // CHECK-RV64-NEXT: entry:
272 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.nxv8i8.nxv16i8.i64(<vscale x 8 x i8> poison, <vscale x 16 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], i64 [[VL]])
273 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
274 //
test_vredsum_vs_u8m2_u8m1(vuint8m2_t vector,vuint8m1_t scalar,size_t vl)275 vuint8m1_t test_vredsum_vs_u8m2_u8m1(vuint8m2_t vector, vuint8m1_t scalar, size_t vl) {
276 return __riscv_vredsum(vector, scalar, vl);
277 }
278
279 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_u8m4_u8m1
280 // CHECK-RV64-SAME: (<vscale x 32 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
281 // CHECK-RV64-NEXT: entry:
282 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.nxv8i8.nxv32i8.i64(<vscale x 8 x i8> poison, <vscale x 32 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], i64 [[VL]])
283 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
284 //
test_vredsum_vs_u8m4_u8m1(vuint8m4_t vector,vuint8m1_t scalar,size_t vl)285 vuint8m1_t test_vredsum_vs_u8m4_u8m1(vuint8m4_t vector, vuint8m1_t scalar, size_t vl) {
286 return __riscv_vredsum(vector, scalar, vl);
287 }
288
289 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_u8m8_u8m1
290 // CHECK-RV64-SAME: (<vscale x 64 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
291 // CHECK-RV64-NEXT: entry:
292 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.nxv8i8.nxv64i8.i64(<vscale x 8 x i8> poison, <vscale x 64 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], i64 [[VL]])
293 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
294 //
test_vredsum_vs_u8m8_u8m1(vuint8m8_t vector,vuint8m1_t scalar,size_t vl)295 vuint8m1_t test_vredsum_vs_u8m8_u8m1(vuint8m8_t vector, vuint8m1_t scalar, size_t vl) {
296 return __riscv_vredsum(vector, scalar, vl);
297 }
298
299 // CHECK-RV64-LABEL: define dso_local <vscale x 4 x i16> @test_vredsum_vs_u16mf4_u16m1
300 // CHECK-RV64-SAME: (<vscale x 1 x i16> [[VECTOR:%.*]], <vscale x 4 x i16> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
301 // CHECK-RV64-NEXT: entry:
302 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 4 x i16> @llvm.riscv.vredsum.nxv4i16.nxv1i16.i64(<vscale x 4 x i16> poison, <vscale x 1 x i16> [[VECTOR]], <vscale x 4 x i16> [[SCALAR]], i64 [[VL]])
303 // CHECK-RV64-NEXT: ret <vscale x 4 x i16> [[TMP0]]
304 //
test_vredsum_vs_u16mf4_u16m1(vuint16mf4_t vector,vuint16m1_t scalar,size_t vl)305 vuint16m1_t test_vredsum_vs_u16mf4_u16m1(vuint16mf4_t vector, vuint16m1_t scalar, size_t vl) {
306 return __riscv_vredsum(vector, scalar, vl);
307 }
308
309 // CHECK-RV64-LABEL: define dso_local <vscale x 4 x i16> @test_vredsum_vs_u16mf2_u16m1
310 // CHECK-RV64-SAME: (<vscale x 2 x i16> [[VECTOR:%.*]], <vscale x 4 x i16> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
311 // CHECK-RV64-NEXT: entry:
312 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 4 x i16> @llvm.riscv.vredsum.nxv4i16.nxv2i16.i64(<vscale x 4 x i16> poison, <vscale x 2 x i16> [[VECTOR]], <vscale x 4 x i16> [[SCALAR]], i64 [[VL]])
313 // CHECK-RV64-NEXT: ret <vscale x 4 x i16> [[TMP0]]
314 //
test_vredsum_vs_u16mf2_u16m1(vuint16mf2_t vector,vuint16m1_t scalar,size_t vl)315 vuint16m1_t test_vredsum_vs_u16mf2_u16m1(vuint16mf2_t vector, vuint16m1_t scalar, size_t vl) {
316 return __riscv_vredsum(vector, scalar, vl);
317 }
318
319 // CHECK-RV64-LABEL: define dso_local <vscale x 4 x i16> @test_vredsum_vs_u16m1_u16m1
320 // CHECK-RV64-SAME: (<vscale x 4 x i16> [[VECTOR:%.*]], <vscale x 4 x i16> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
321 // CHECK-RV64-NEXT: entry:
322 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 4 x i16> @llvm.riscv.vredsum.nxv4i16.nxv4i16.i64(<vscale x 4 x i16> poison, <vscale x 4 x i16> [[VECTOR]], <vscale x 4 x i16> [[SCALAR]], i64 [[VL]])
323 // CHECK-RV64-NEXT: ret <vscale x 4 x i16> [[TMP0]]
324 //
test_vredsum_vs_u16m1_u16m1(vuint16m1_t vector,vuint16m1_t scalar,size_t vl)325 vuint16m1_t test_vredsum_vs_u16m1_u16m1(vuint16m1_t vector, vuint16m1_t scalar, size_t vl) {
326 return __riscv_vredsum(vector, scalar, vl);
327 }
328
329 // CHECK-RV64-LABEL: define dso_local <vscale x 4 x i16> @test_vredsum_vs_u16m2_u16m1
330 // CHECK-RV64-SAME: (<vscale x 8 x i16> [[VECTOR:%.*]], <vscale x 4 x i16> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
331 // CHECK-RV64-NEXT: entry:
332 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 4 x i16> @llvm.riscv.vredsum.nxv4i16.nxv8i16.i64(<vscale x 4 x i16> poison, <vscale x 8 x i16> [[VECTOR]], <vscale x 4 x i16> [[SCALAR]], i64 [[VL]])
333 // CHECK-RV64-NEXT: ret <vscale x 4 x i16> [[TMP0]]
334 //
test_vredsum_vs_u16m2_u16m1(vuint16m2_t vector,vuint16m1_t scalar,size_t vl)335 vuint16m1_t test_vredsum_vs_u16m2_u16m1(vuint16m2_t vector, vuint16m1_t scalar, size_t vl) {
336 return __riscv_vredsum(vector, scalar, vl);
337 }
338
339 // CHECK-RV64-LABEL: define dso_local <vscale x 4 x i16> @test_vredsum_vs_u16m4_u16m1
340 // CHECK-RV64-SAME: (<vscale x 16 x i16> [[VECTOR:%.*]], <vscale x 4 x i16> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
341 // CHECK-RV64-NEXT: entry:
342 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 4 x i16> @llvm.riscv.vredsum.nxv4i16.nxv16i16.i64(<vscale x 4 x i16> poison, <vscale x 16 x i16> [[VECTOR]], <vscale x 4 x i16> [[SCALAR]], i64 [[VL]])
343 // CHECK-RV64-NEXT: ret <vscale x 4 x i16> [[TMP0]]
344 //
test_vredsum_vs_u16m4_u16m1(vuint16m4_t vector,vuint16m1_t scalar,size_t vl)345 vuint16m1_t test_vredsum_vs_u16m4_u16m1(vuint16m4_t vector, vuint16m1_t scalar, size_t vl) {
346 return __riscv_vredsum(vector, scalar, vl);
347 }
348
349 // CHECK-RV64-LABEL: define dso_local <vscale x 4 x i16> @test_vredsum_vs_u16m8_u16m1
350 // CHECK-RV64-SAME: (<vscale x 32 x i16> [[VECTOR:%.*]], <vscale x 4 x i16> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
351 // CHECK-RV64-NEXT: entry:
352 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 4 x i16> @llvm.riscv.vredsum.nxv4i16.nxv32i16.i64(<vscale x 4 x i16> poison, <vscale x 32 x i16> [[VECTOR]], <vscale x 4 x i16> [[SCALAR]], i64 [[VL]])
353 // CHECK-RV64-NEXT: ret <vscale x 4 x i16> [[TMP0]]
354 //
test_vredsum_vs_u16m8_u16m1(vuint16m8_t vector,vuint16m1_t scalar,size_t vl)355 vuint16m1_t test_vredsum_vs_u16m8_u16m1(vuint16m8_t vector, vuint16m1_t scalar, size_t vl) {
356 return __riscv_vredsum(vector, scalar, vl);
357 }
358
359 // CHECK-RV64-LABEL: define dso_local <vscale x 2 x i32> @test_vredsum_vs_u32mf2_u32m1
360 // CHECK-RV64-SAME: (<vscale x 1 x i32> [[VECTOR:%.*]], <vscale x 2 x i32> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
361 // CHECK-RV64-NEXT: entry:
362 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 2 x i32> @llvm.riscv.vredsum.nxv2i32.nxv1i32.i64(<vscale x 2 x i32> poison, <vscale x 1 x i32> [[VECTOR]], <vscale x 2 x i32> [[SCALAR]], i64 [[VL]])
363 // CHECK-RV64-NEXT: ret <vscale x 2 x i32> [[TMP0]]
364 //
test_vredsum_vs_u32mf2_u32m1(vuint32mf2_t vector,vuint32m1_t scalar,size_t vl)365 vuint32m1_t test_vredsum_vs_u32mf2_u32m1(vuint32mf2_t vector, vuint32m1_t scalar, size_t vl) {
366 return __riscv_vredsum(vector, scalar, vl);
367 }
368
369 // CHECK-RV64-LABEL: define dso_local <vscale x 2 x i32> @test_vredsum_vs_u32m1_u32m1
370 // CHECK-RV64-SAME: (<vscale x 2 x i32> [[VECTOR:%.*]], <vscale x 2 x i32> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
371 // CHECK-RV64-NEXT: entry:
372 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 2 x i32> @llvm.riscv.vredsum.nxv2i32.nxv2i32.i64(<vscale x 2 x i32> poison, <vscale x 2 x i32> [[VECTOR]], <vscale x 2 x i32> [[SCALAR]], i64 [[VL]])
373 // CHECK-RV64-NEXT: ret <vscale x 2 x i32> [[TMP0]]
374 //
test_vredsum_vs_u32m1_u32m1(vuint32m1_t vector,vuint32m1_t scalar,size_t vl)375 vuint32m1_t test_vredsum_vs_u32m1_u32m1(vuint32m1_t vector, vuint32m1_t scalar, size_t vl) {
376 return __riscv_vredsum(vector, scalar, vl);
377 }
378
379 // CHECK-RV64-LABEL: define dso_local <vscale x 2 x i32> @test_vredsum_vs_u32m2_u32m1
380 // CHECK-RV64-SAME: (<vscale x 4 x i32> [[VECTOR:%.*]], <vscale x 2 x i32> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
381 // CHECK-RV64-NEXT: entry:
382 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 2 x i32> @llvm.riscv.vredsum.nxv2i32.nxv4i32.i64(<vscale x 2 x i32> poison, <vscale x 4 x i32> [[VECTOR]], <vscale x 2 x i32> [[SCALAR]], i64 [[VL]])
383 // CHECK-RV64-NEXT: ret <vscale x 2 x i32> [[TMP0]]
384 //
test_vredsum_vs_u32m2_u32m1(vuint32m2_t vector,vuint32m1_t scalar,size_t vl)385 vuint32m1_t test_vredsum_vs_u32m2_u32m1(vuint32m2_t vector, vuint32m1_t scalar, size_t vl) {
386 return __riscv_vredsum(vector, scalar, vl);
387 }
388
389 // CHECK-RV64-LABEL: define dso_local <vscale x 2 x i32> @test_vredsum_vs_u32m4_u32m1
390 // CHECK-RV64-SAME: (<vscale x 8 x i32> [[VECTOR:%.*]], <vscale x 2 x i32> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
391 // CHECK-RV64-NEXT: entry:
392 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 2 x i32> @llvm.riscv.vredsum.nxv2i32.nxv8i32.i64(<vscale x 2 x i32> poison, <vscale x 8 x i32> [[VECTOR]], <vscale x 2 x i32> [[SCALAR]], i64 [[VL]])
393 // CHECK-RV64-NEXT: ret <vscale x 2 x i32> [[TMP0]]
394 //
test_vredsum_vs_u32m4_u32m1(vuint32m4_t vector,vuint32m1_t scalar,size_t vl)395 vuint32m1_t test_vredsum_vs_u32m4_u32m1(vuint32m4_t vector, vuint32m1_t scalar, size_t vl) {
396 return __riscv_vredsum(vector, scalar, vl);
397 }
398
399 // CHECK-RV64-LABEL: define dso_local <vscale x 2 x i32> @test_vredsum_vs_u32m8_u32m1
400 // CHECK-RV64-SAME: (<vscale x 16 x i32> [[VECTOR:%.*]], <vscale x 2 x i32> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
401 // CHECK-RV64-NEXT: entry:
402 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 2 x i32> @llvm.riscv.vredsum.nxv2i32.nxv16i32.i64(<vscale x 2 x i32> poison, <vscale x 16 x i32> [[VECTOR]], <vscale x 2 x i32> [[SCALAR]], i64 [[VL]])
403 // CHECK-RV64-NEXT: ret <vscale x 2 x i32> [[TMP0]]
404 //
test_vredsum_vs_u32m8_u32m1(vuint32m8_t vector,vuint32m1_t scalar,size_t vl)405 vuint32m1_t test_vredsum_vs_u32m8_u32m1(vuint32m8_t vector, vuint32m1_t scalar, size_t vl) {
406 return __riscv_vredsum(vector, scalar, vl);
407 }
408
409 // CHECK-RV64-LABEL: define dso_local <vscale x 1 x i64> @test_vredsum_vs_u64m1_u64m1
410 // CHECK-RV64-SAME: (<vscale x 1 x i64> [[VECTOR:%.*]], <vscale x 1 x i64> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
411 // CHECK-RV64-NEXT: entry:
412 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 1 x i64> @llvm.riscv.vredsum.nxv1i64.nxv1i64.i64(<vscale x 1 x i64> poison, <vscale x 1 x i64> [[VECTOR]], <vscale x 1 x i64> [[SCALAR]], i64 [[VL]])
413 // CHECK-RV64-NEXT: ret <vscale x 1 x i64> [[TMP0]]
414 //
test_vredsum_vs_u64m1_u64m1(vuint64m1_t vector,vuint64m1_t scalar,size_t vl)415 vuint64m1_t test_vredsum_vs_u64m1_u64m1(vuint64m1_t vector, vuint64m1_t scalar, size_t vl) {
416 return __riscv_vredsum(vector, scalar, vl);
417 }
418
419 // CHECK-RV64-LABEL: define dso_local <vscale x 1 x i64> @test_vredsum_vs_u64m2_u64m1
420 // CHECK-RV64-SAME: (<vscale x 2 x i64> [[VECTOR:%.*]], <vscale x 1 x i64> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
421 // CHECK-RV64-NEXT: entry:
422 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 1 x i64> @llvm.riscv.vredsum.nxv1i64.nxv2i64.i64(<vscale x 1 x i64> poison, <vscale x 2 x i64> [[VECTOR]], <vscale x 1 x i64> [[SCALAR]], i64 [[VL]])
423 // CHECK-RV64-NEXT: ret <vscale x 1 x i64> [[TMP0]]
424 //
test_vredsum_vs_u64m2_u64m1(vuint64m2_t vector,vuint64m1_t scalar,size_t vl)425 vuint64m1_t test_vredsum_vs_u64m2_u64m1(vuint64m2_t vector, vuint64m1_t scalar, size_t vl) {
426 return __riscv_vredsum(vector, scalar, vl);
427 }
428
429 // CHECK-RV64-LABEL: define dso_local <vscale x 1 x i64> @test_vredsum_vs_u64m4_u64m1
430 // CHECK-RV64-SAME: (<vscale x 4 x i64> [[VECTOR:%.*]], <vscale x 1 x i64> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
431 // CHECK-RV64-NEXT: entry:
432 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 1 x i64> @llvm.riscv.vredsum.nxv1i64.nxv4i64.i64(<vscale x 1 x i64> poison, <vscale x 4 x i64> [[VECTOR]], <vscale x 1 x i64> [[SCALAR]], i64 [[VL]])
433 // CHECK-RV64-NEXT: ret <vscale x 1 x i64> [[TMP0]]
434 //
test_vredsum_vs_u64m4_u64m1(vuint64m4_t vector,vuint64m1_t scalar,size_t vl)435 vuint64m1_t test_vredsum_vs_u64m4_u64m1(vuint64m4_t vector, vuint64m1_t scalar, size_t vl) {
436 return __riscv_vredsum(vector, scalar, vl);
437 }
438
439 // CHECK-RV64-LABEL: define dso_local <vscale x 1 x i64> @test_vredsum_vs_u64m8_u64m1
440 // CHECK-RV64-SAME: (<vscale x 8 x i64> [[VECTOR:%.*]], <vscale x 1 x i64> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
441 // CHECK-RV64-NEXT: entry:
442 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 1 x i64> @llvm.riscv.vredsum.nxv1i64.nxv8i64.i64(<vscale x 1 x i64> poison, <vscale x 8 x i64> [[VECTOR]], <vscale x 1 x i64> [[SCALAR]], i64 [[VL]])
443 // CHECK-RV64-NEXT: ret <vscale x 1 x i64> [[TMP0]]
444 //
test_vredsum_vs_u64m8_u64m1(vuint64m8_t vector,vuint64m1_t scalar,size_t vl)445 vuint64m1_t test_vredsum_vs_u64m8_u64m1(vuint64m8_t vector, vuint64m1_t scalar, size_t vl) {
446 return __riscv_vredsum(vector, scalar, vl);
447 }
448
449 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_i8mf8_i8m1_m
450 // CHECK-RV64-SAME: (<vscale x 1 x i1> [[MASK:%.*]], <vscale x 1 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
451 // CHECK-RV64-NEXT: entry:
452 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.mask.nxv8i8.nxv1i8.i64(<vscale x 8 x i8> poison, <vscale x 1 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], <vscale x 1 x i1> [[MASK]], i64 [[VL]])
453 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
454 //
test_vredsum_vs_i8mf8_i8m1_m(vbool64_t mask,vint8mf8_t vector,vint8m1_t scalar,size_t vl)455 vint8m1_t test_vredsum_vs_i8mf8_i8m1_m(vbool64_t mask, vint8mf8_t vector, vint8m1_t scalar, size_t vl) {
456 return __riscv_vredsum(mask, vector, scalar, vl);
457 }
458
459 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_i8mf4_i8m1_m
460 // CHECK-RV64-SAME: (<vscale x 2 x i1> [[MASK:%.*]], <vscale x 2 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
461 // CHECK-RV64-NEXT: entry:
462 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.mask.nxv8i8.nxv2i8.i64(<vscale x 8 x i8> poison, <vscale x 2 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], <vscale x 2 x i1> [[MASK]], i64 [[VL]])
463 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
464 //
test_vredsum_vs_i8mf4_i8m1_m(vbool32_t mask,vint8mf4_t vector,vint8m1_t scalar,size_t vl)465 vint8m1_t test_vredsum_vs_i8mf4_i8m1_m(vbool32_t mask, vint8mf4_t vector, vint8m1_t scalar, size_t vl) {
466 return __riscv_vredsum(mask, vector, scalar, vl);
467 }
468
469 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_i8mf2_i8m1_m
470 // CHECK-RV64-SAME: (<vscale x 4 x i1> [[MASK:%.*]], <vscale x 4 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
471 // CHECK-RV64-NEXT: entry:
472 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.mask.nxv8i8.nxv4i8.i64(<vscale x 8 x i8> poison, <vscale x 4 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], <vscale x 4 x i1> [[MASK]], i64 [[VL]])
473 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
474 //
test_vredsum_vs_i8mf2_i8m1_m(vbool16_t mask,vint8mf2_t vector,vint8m1_t scalar,size_t vl)475 vint8m1_t test_vredsum_vs_i8mf2_i8m1_m(vbool16_t mask, vint8mf2_t vector, vint8m1_t scalar, size_t vl) {
476 return __riscv_vredsum(mask, vector, scalar, vl);
477 }
478
479 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_i8m1_i8m1_m
480 // CHECK-RV64-SAME: (<vscale x 8 x i1> [[MASK:%.*]], <vscale x 8 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
481 // CHECK-RV64-NEXT: entry:
482 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.mask.nxv8i8.nxv8i8.i64(<vscale x 8 x i8> poison, <vscale x 8 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], <vscale x 8 x i1> [[MASK]], i64 [[VL]])
483 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
484 //
test_vredsum_vs_i8m1_i8m1_m(vbool8_t mask,vint8m1_t vector,vint8m1_t scalar,size_t vl)485 vint8m1_t test_vredsum_vs_i8m1_i8m1_m(vbool8_t mask, vint8m1_t vector, vint8m1_t scalar, size_t vl) {
486 return __riscv_vredsum(mask, vector, scalar, vl);
487 }
488
489 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_i8m2_i8m1_m
490 // CHECK-RV64-SAME: (<vscale x 16 x i1> [[MASK:%.*]], <vscale x 16 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
491 // CHECK-RV64-NEXT: entry:
492 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.mask.nxv8i8.nxv16i8.i64(<vscale x 8 x i8> poison, <vscale x 16 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], <vscale x 16 x i1> [[MASK]], i64 [[VL]])
493 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
494 //
test_vredsum_vs_i8m2_i8m1_m(vbool4_t mask,vint8m2_t vector,vint8m1_t scalar,size_t vl)495 vint8m1_t test_vredsum_vs_i8m2_i8m1_m(vbool4_t mask, vint8m2_t vector, vint8m1_t scalar, size_t vl) {
496 return __riscv_vredsum(mask, vector, scalar, vl);
497 }
498
499 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_i8m4_i8m1_m
500 // CHECK-RV64-SAME: (<vscale x 32 x i1> [[MASK:%.*]], <vscale x 32 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
501 // CHECK-RV64-NEXT: entry:
502 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.mask.nxv8i8.nxv32i8.i64(<vscale x 8 x i8> poison, <vscale x 32 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], <vscale x 32 x i1> [[MASK]], i64 [[VL]])
503 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
504 //
test_vredsum_vs_i8m4_i8m1_m(vbool2_t mask,vint8m4_t vector,vint8m1_t scalar,size_t vl)505 vint8m1_t test_vredsum_vs_i8m4_i8m1_m(vbool2_t mask, vint8m4_t vector, vint8m1_t scalar, size_t vl) {
506 return __riscv_vredsum(mask, vector, scalar, vl);
507 }
508
509 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_i8m8_i8m1_m
510 // CHECK-RV64-SAME: (<vscale x 64 x i1> [[MASK:%.*]], <vscale x 64 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
511 // CHECK-RV64-NEXT: entry:
512 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.mask.nxv8i8.nxv64i8.i64(<vscale x 8 x i8> poison, <vscale x 64 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], <vscale x 64 x i1> [[MASK]], i64 [[VL]])
513 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
514 //
test_vredsum_vs_i8m8_i8m1_m(vbool1_t mask,vint8m8_t vector,vint8m1_t scalar,size_t vl)515 vint8m1_t test_vredsum_vs_i8m8_i8m1_m(vbool1_t mask, vint8m8_t vector, vint8m1_t scalar, size_t vl) {
516 return __riscv_vredsum(mask, vector, scalar, vl);
517 }
518
519 // CHECK-RV64-LABEL: define dso_local <vscale x 4 x i16> @test_vredsum_vs_i16mf4_i16m1_m
520 // CHECK-RV64-SAME: (<vscale x 1 x i1> [[MASK:%.*]], <vscale x 1 x i16> [[VECTOR:%.*]], <vscale x 4 x i16> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
521 // CHECK-RV64-NEXT: entry:
522 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 4 x i16> @llvm.riscv.vredsum.mask.nxv4i16.nxv1i16.i64(<vscale x 4 x i16> poison, <vscale x 1 x i16> [[VECTOR]], <vscale x 4 x i16> [[SCALAR]], <vscale x 1 x i1> [[MASK]], i64 [[VL]])
523 // CHECK-RV64-NEXT: ret <vscale x 4 x i16> [[TMP0]]
524 //
test_vredsum_vs_i16mf4_i16m1_m(vbool64_t mask,vint16mf4_t vector,vint16m1_t scalar,size_t vl)525 vint16m1_t test_vredsum_vs_i16mf4_i16m1_m(vbool64_t mask, vint16mf4_t vector, vint16m1_t scalar, size_t vl) {
526 return __riscv_vredsum(mask, vector, scalar, vl);
527 }
528
529 // CHECK-RV64-LABEL: define dso_local <vscale x 4 x i16> @test_vredsum_vs_i16mf2_i16m1_m
530 // CHECK-RV64-SAME: (<vscale x 2 x i1> [[MASK:%.*]], <vscale x 2 x i16> [[VECTOR:%.*]], <vscale x 4 x i16> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
531 // CHECK-RV64-NEXT: entry:
532 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 4 x i16> @llvm.riscv.vredsum.mask.nxv4i16.nxv2i16.i64(<vscale x 4 x i16> poison, <vscale x 2 x i16> [[VECTOR]], <vscale x 4 x i16> [[SCALAR]], <vscale x 2 x i1> [[MASK]], i64 [[VL]])
533 // CHECK-RV64-NEXT: ret <vscale x 4 x i16> [[TMP0]]
534 //
test_vredsum_vs_i16mf2_i16m1_m(vbool32_t mask,vint16mf2_t vector,vint16m1_t scalar,size_t vl)535 vint16m1_t test_vredsum_vs_i16mf2_i16m1_m(vbool32_t mask, vint16mf2_t vector, vint16m1_t scalar, size_t vl) {
536 return __riscv_vredsum(mask, vector, scalar, vl);
537 }
538
539 // CHECK-RV64-LABEL: define dso_local <vscale x 4 x i16> @test_vredsum_vs_i16m1_i16m1_m
540 // CHECK-RV64-SAME: (<vscale x 4 x i1> [[MASK:%.*]], <vscale x 4 x i16> [[VECTOR:%.*]], <vscale x 4 x i16> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
541 // CHECK-RV64-NEXT: entry:
542 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 4 x i16> @llvm.riscv.vredsum.mask.nxv4i16.nxv4i16.i64(<vscale x 4 x i16> poison, <vscale x 4 x i16> [[VECTOR]], <vscale x 4 x i16> [[SCALAR]], <vscale x 4 x i1> [[MASK]], i64 [[VL]])
543 // CHECK-RV64-NEXT: ret <vscale x 4 x i16> [[TMP0]]
544 //
test_vredsum_vs_i16m1_i16m1_m(vbool16_t mask,vint16m1_t vector,vint16m1_t scalar,size_t vl)545 vint16m1_t test_vredsum_vs_i16m1_i16m1_m(vbool16_t mask, vint16m1_t vector, vint16m1_t scalar, size_t vl) {
546 return __riscv_vredsum(mask, vector, scalar, vl);
547 }
548
549 // CHECK-RV64-LABEL: define dso_local <vscale x 4 x i16> @test_vredsum_vs_i16m2_i16m1_m
550 // CHECK-RV64-SAME: (<vscale x 8 x i1> [[MASK:%.*]], <vscale x 8 x i16> [[VECTOR:%.*]], <vscale x 4 x i16> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
551 // CHECK-RV64-NEXT: entry:
552 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 4 x i16> @llvm.riscv.vredsum.mask.nxv4i16.nxv8i16.i64(<vscale x 4 x i16> poison, <vscale x 8 x i16> [[VECTOR]], <vscale x 4 x i16> [[SCALAR]], <vscale x 8 x i1> [[MASK]], i64 [[VL]])
553 // CHECK-RV64-NEXT: ret <vscale x 4 x i16> [[TMP0]]
554 //
test_vredsum_vs_i16m2_i16m1_m(vbool8_t mask,vint16m2_t vector,vint16m1_t scalar,size_t vl)555 vint16m1_t test_vredsum_vs_i16m2_i16m1_m(vbool8_t mask, vint16m2_t vector, vint16m1_t scalar, size_t vl) {
556 return __riscv_vredsum(mask, vector, scalar, vl);
557 }
558
559 // CHECK-RV64-LABEL: define dso_local <vscale x 4 x i16> @test_vredsum_vs_i16m4_i16m1_m
560 // CHECK-RV64-SAME: (<vscale x 16 x i1> [[MASK:%.*]], <vscale x 16 x i16> [[VECTOR:%.*]], <vscale x 4 x i16> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
561 // CHECK-RV64-NEXT: entry:
562 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 4 x i16> @llvm.riscv.vredsum.mask.nxv4i16.nxv16i16.i64(<vscale x 4 x i16> poison, <vscale x 16 x i16> [[VECTOR]], <vscale x 4 x i16> [[SCALAR]], <vscale x 16 x i1> [[MASK]], i64 [[VL]])
563 // CHECK-RV64-NEXT: ret <vscale x 4 x i16> [[TMP0]]
564 //
test_vredsum_vs_i16m4_i16m1_m(vbool4_t mask,vint16m4_t vector,vint16m1_t scalar,size_t vl)565 vint16m1_t test_vredsum_vs_i16m4_i16m1_m(vbool4_t mask, vint16m4_t vector, vint16m1_t scalar, size_t vl) {
566 return __riscv_vredsum(mask, vector, scalar, vl);
567 }
568
569 // CHECK-RV64-LABEL: define dso_local <vscale x 4 x i16> @test_vredsum_vs_i16m8_i16m1_m
570 // CHECK-RV64-SAME: (<vscale x 32 x i1> [[MASK:%.*]], <vscale x 32 x i16> [[VECTOR:%.*]], <vscale x 4 x i16> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
571 // CHECK-RV64-NEXT: entry:
572 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 4 x i16> @llvm.riscv.vredsum.mask.nxv4i16.nxv32i16.i64(<vscale x 4 x i16> poison, <vscale x 32 x i16> [[VECTOR]], <vscale x 4 x i16> [[SCALAR]], <vscale x 32 x i1> [[MASK]], i64 [[VL]])
573 // CHECK-RV64-NEXT: ret <vscale x 4 x i16> [[TMP0]]
574 //
test_vredsum_vs_i16m8_i16m1_m(vbool2_t mask,vint16m8_t vector,vint16m1_t scalar,size_t vl)575 vint16m1_t test_vredsum_vs_i16m8_i16m1_m(vbool2_t mask, vint16m8_t vector, vint16m1_t scalar, size_t vl) {
576 return __riscv_vredsum(mask, vector, scalar, vl);
577 }
578
579 // CHECK-RV64-LABEL: define dso_local <vscale x 2 x i32> @test_vredsum_vs_i32mf2_i32m1_m
580 // CHECK-RV64-SAME: (<vscale x 1 x i1> [[MASK:%.*]], <vscale x 1 x i32> [[VECTOR:%.*]], <vscale x 2 x i32> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
581 // CHECK-RV64-NEXT: entry:
582 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 2 x i32> @llvm.riscv.vredsum.mask.nxv2i32.nxv1i32.i64(<vscale x 2 x i32> poison, <vscale x 1 x i32> [[VECTOR]], <vscale x 2 x i32> [[SCALAR]], <vscale x 1 x i1> [[MASK]], i64 [[VL]])
583 // CHECK-RV64-NEXT: ret <vscale x 2 x i32> [[TMP0]]
584 //
test_vredsum_vs_i32mf2_i32m1_m(vbool64_t mask,vint32mf2_t vector,vint32m1_t scalar,size_t vl)585 vint32m1_t test_vredsum_vs_i32mf2_i32m1_m(vbool64_t mask, vint32mf2_t vector, vint32m1_t scalar, size_t vl) {
586 return __riscv_vredsum(mask, vector, scalar, vl);
587 }
588
589 // CHECK-RV64-LABEL: define dso_local <vscale x 2 x i32> @test_vredsum_vs_i32m1_i32m1_m
590 // CHECK-RV64-SAME: (<vscale x 2 x i1> [[MASK:%.*]], <vscale x 2 x i32> [[VECTOR:%.*]], <vscale x 2 x i32> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
591 // CHECK-RV64-NEXT: entry:
592 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 2 x i32> @llvm.riscv.vredsum.mask.nxv2i32.nxv2i32.i64(<vscale x 2 x i32> poison, <vscale x 2 x i32> [[VECTOR]], <vscale x 2 x i32> [[SCALAR]], <vscale x 2 x i1> [[MASK]], i64 [[VL]])
593 // CHECK-RV64-NEXT: ret <vscale x 2 x i32> [[TMP0]]
594 //
test_vredsum_vs_i32m1_i32m1_m(vbool32_t mask,vint32m1_t vector,vint32m1_t scalar,size_t vl)595 vint32m1_t test_vredsum_vs_i32m1_i32m1_m(vbool32_t mask, vint32m1_t vector, vint32m1_t scalar, size_t vl) {
596 return __riscv_vredsum(mask, vector, scalar, vl);
597 }
598
599 // CHECK-RV64-LABEL: define dso_local <vscale x 2 x i32> @test_vredsum_vs_i32m2_i32m1_m
600 // CHECK-RV64-SAME: (<vscale x 4 x i1> [[MASK:%.*]], <vscale x 4 x i32> [[VECTOR:%.*]], <vscale x 2 x i32> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
601 // CHECK-RV64-NEXT: entry:
602 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 2 x i32> @llvm.riscv.vredsum.mask.nxv2i32.nxv4i32.i64(<vscale x 2 x i32> poison, <vscale x 4 x i32> [[VECTOR]], <vscale x 2 x i32> [[SCALAR]], <vscale x 4 x i1> [[MASK]], i64 [[VL]])
603 // CHECK-RV64-NEXT: ret <vscale x 2 x i32> [[TMP0]]
604 //
test_vredsum_vs_i32m2_i32m1_m(vbool16_t mask,vint32m2_t vector,vint32m1_t scalar,size_t vl)605 vint32m1_t test_vredsum_vs_i32m2_i32m1_m(vbool16_t mask, vint32m2_t vector, vint32m1_t scalar, size_t vl) {
606 return __riscv_vredsum(mask, vector, scalar, vl);
607 }
608
609 // CHECK-RV64-LABEL: define dso_local <vscale x 2 x i32> @test_vredsum_vs_i32m4_i32m1_m
610 // CHECK-RV64-SAME: (<vscale x 8 x i1> [[MASK:%.*]], <vscale x 8 x i32> [[VECTOR:%.*]], <vscale x 2 x i32> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
611 // CHECK-RV64-NEXT: entry:
612 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 2 x i32> @llvm.riscv.vredsum.mask.nxv2i32.nxv8i32.i64(<vscale x 2 x i32> poison, <vscale x 8 x i32> [[VECTOR]], <vscale x 2 x i32> [[SCALAR]], <vscale x 8 x i1> [[MASK]], i64 [[VL]])
613 // CHECK-RV64-NEXT: ret <vscale x 2 x i32> [[TMP0]]
614 //
test_vredsum_vs_i32m4_i32m1_m(vbool8_t mask,vint32m4_t vector,vint32m1_t scalar,size_t vl)615 vint32m1_t test_vredsum_vs_i32m4_i32m1_m(vbool8_t mask, vint32m4_t vector, vint32m1_t scalar, size_t vl) {
616 return __riscv_vredsum(mask, vector, scalar, vl);
617 }
618
619 // CHECK-RV64-LABEL: define dso_local <vscale x 2 x i32> @test_vredsum_vs_i32m8_i32m1_m
620 // CHECK-RV64-SAME: (<vscale x 16 x i1> [[MASK:%.*]], <vscale x 16 x i32> [[VECTOR:%.*]], <vscale x 2 x i32> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
621 // CHECK-RV64-NEXT: entry:
622 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 2 x i32> @llvm.riscv.vredsum.mask.nxv2i32.nxv16i32.i64(<vscale x 2 x i32> poison, <vscale x 16 x i32> [[VECTOR]], <vscale x 2 x i32> [[SCALAR]], <vscale x 16 x i1> [[MASK]], i64 [[VL]])
623 // CHECK-RV64-NEXT: ret <vscale x 2 x i32> [[TMP0]]
624 //
test_vredsum_vs_i32m8_i32m1_m(vbool4_t mask,vint32m8_t vector,vint32m1_t scalar,size_t vl)625 vint32m1_t test_vredsum_vs_i32m8_i32m1_m(vbool4_t mask, vint32m8_t vector, vint32m1_t scalar, size_t vl) {
626 return __riscv_vredsum(mask, vector, scalar, vl);
627 }
628
629 // CHECK-RV64-LABEL: define dso_local <vscale x 1 x i64> @test_vredsum_vs_i64m1_i64m1_m
630 // CHECK-RV64-SAME: (<vscale x 1 x i1> [[MASK:%.*]], <vscale x 1 x i64> [[VECTOR:%.*]], <vscale x 1 x i64> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
631 // CHECK-RV64-NEXT: entry:
632 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 1 x i64> @llvm.riscv.vredsum.mask.nxv1i64.nxv1i64.i64(<vscale x 1 x i64> poison, <vscale x 1 x i64> [[VECTOR]], <vscale x 1 x i64> [[SCALAR]], <vscale x 1 x i1> [[MASK]], i64 [[VL]])
633 // CHECK-RV64-NEXT: ret <vscale x 1 x i64> [[TMP0]]
634 //
test_vredsum_vs_i64m1_i64m1_m(vbool64_t mask,vint64m1_t vector,vint64m1_t scalar,size_t vl)635 vint64m1_t test_vredsum_vs_i64m1_i64m1_m(vbool64_t mask, vint64m1_t vector, vint64m1_t scalar, size_t vl) {
636 return __riscv_vredsum(mask, vector, scalar, vl);
637 }
638
639 // CHECK-RV64-LABEL: define dso_local <vscale x 1 x i64> @test_vredsum_vs_i64m2_i64m1_m
640 // CHECK-RV64-SAME: (<vscale x 2 x i1> [[MASK:%.*]], <vscale x 2 x i64> [[VECTOR:%.*]], <vscale x 1 x i64> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
641 // CHECK-RV64-NEXT: entry:
642 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 1 x i64> @llvm.riscv.vredsum.mask.nxv1i64.nxv2i64.i64(<vscale x 1 x i64> poison, <vscale x 2 x i64> [[VECTOR]], <vscale x 1 x i64> [[SCALAR]], <vscale x 2 x i1> [[MASK]], i64 [[VL]])
643 // CHECK-RV64-NEXT: ret <vscale x 1 x i64> [[TMP0]]
644 //
test_vredsum_vs_i64m2_i64m1_m(vbool32_t mask,vint64m2_t vector,vint64m1_t scalar,size_t vl)645 vint64m1_t test_vredsum_vs_i64m2_i64m1_m(vbool32_t mask, vint64m2_t vector, vint64m1_t scalar, size_t vl) {
646 return __riscv_vredsum(mask, vector, scalar, vl);
647 }
648
649 // CHECK-RV64-LABEL: define dso_local <vscale x 1 x i64> @test_vredsum_vs_i64m4_i64m1_m
650 // CHECK-RV64-SAME: (<vscale x 4 x i1> [[MASK:%.*]], <vscale x 4 x i64> [[VECTOR:%.*]], <vscale x 1 x i64> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
651 // CHECK-RV64-NEXT: entry:
652 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 1 x i64> @llvm.riscv.vredsum.mask.nxv1i64.nxv4i64.i64(<vscale x 1 x i64> poison, <vscale x 4 x i64> [[VECTOR]], <vscale x 1 x i64> [[SCALAR]], <vscale x 4 x i1> [[MASK]], i64 [[VL]])
653 // CHECK-RV64-NEXT: ret <vscale x 1 x i64> [[TMP0]]
654 //
test_vredsum_vs_i64m4_i64m1_m(vbool16_t mask,vint64m4_t vector,vint64m1_t scalar,size_t vl)655 vint64m1_t test_vredsum_vs_i64m4_i64m1_m(vbool16_t mask, vint64m4_t vector, vint64m1_t scalar, size_t vl) {
656 return __riscv_vredsum(mask, vector, scalar, vl);
657 }
658
659 // CHECK-RV64-LABEL: define dso_local <vscale x 1 x i64> @test_vredsum_vs_i64m8_i64m1_m
660 // CHECK-RV64-SAME: (<vscale x 8 x i1> [[MASK:%.*]], <vscale x 8 x i64> [[VECTOR:%.*]], <vscale x 1 x i64> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
661 // CHECK-RV64-NEXT: entry:
662 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 1 x i64> @llvm.riscv.vredsum.mask.nxv1i64.nxv8i64.i64(<vscale x 1 x i64> poison, <vscale x 8 x i64> [[VECTOR]], <vscale x 1 x i64> [[SCALAR]], <vscale x 8 x i1> [[MASK]], i64 [[VL]])
663 // CHECK-RV64-NEXT: ret <vscale x 1 x i64> [[TMP0]]
664 //
test_vredsum_vs_i64m8_i64m1_m(vbool8_t mask,vint64m8_t vector,vint64m1_t scalar,size_t vl)665 vint64m1_t test_vredsum_vs_i64m8_i64m1_m(vbool8_t mask, vint64m8_t vector, vint64m1_t scalar, size_t vl) {
666 return __riscv_vredsum(mask, vector, scalar, vl);
667 }
668
669 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_u8mf8_u8m1_m
670 // CHECK-RV64-SAME: (<vscale x 1 x i1> [[MASK:%.*]], <vscale x 1 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
671 // CHECK-RV64-NEXT: entry:
672 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.mask.nxv8i8.nxv1i8.i64(<vscale x 8 x i8> poison, <vscale x 1 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], <vscale x 1 x i1> [[MASK]], i64 [[VL]])
673 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
674 //
test_vredsum_vs_u8mf8_u8m1_m(vbool64_t mask,vuint8mf8_t vector,vuint8m1_t scalar,size_t vl)675 vuint8m1_t test_vredsum_vs_u8mf8_u8m1_m(vbool64_t mask, vuint8mf8_t vector, vuint8m1_t scalar, size_t vl) {
676 return __riscv_vredsum(mask, vector, scalar, vl);
677 }
678
679 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_u8mf4_u8m1_m
680 // CHECK-RV64-SAME: (<vscale x 2 x i1> [[MASK:%.*]], <vscale x 2 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
681 // CHECK-RV64-NEXT: entry:
682 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.mask.nxv8i8.nxv2i8.i64(<vscale x 8 x i8> poison, <vscale x 2 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], <vscale x 2 x i1> [[MASK]], i64 [[VL]])
683 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
684 //
test_vredsum_vs_u8mf4_u8m1_m(vbool32_t mask,vuint8mf4_t vector,vuint8m1_t scalar,size_t vl)685 vuint8m1_t test_vredsum_vs_u8mf4_u8m1_m(vbool32_t mask, vuint8mf4_t vector, vuint8m1_t scalar, size_t vl) {
686 return __riscv_vredsum(mask, vector, scalar, vl);
687 }
688
689 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_u8mf2_u8m1_m
690 // CHECK-RV64-SAME: (<vscale x 4 x i1> [[MASK:%.*]], <vscale x 4 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
691 // CHECK-RV64-NEXT: entry:
692 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.mask.nxv8i8.nxv4i8.i64(<vscale x 8 x i8> poison, <vscale x 4 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], <vscale x 4 x i1> [[MASK]], i64 [[VL]])
693 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
694 //
test_vredsum_vs_u8mf2_u8m1_m(vbool16_t mask,vuint8mf2_t vector,vuint8m1_t scalar,size_t vl)695 vuint8m1_t test_vredsum_vs_u8mf2_u8m1_m(vbool16_t mask, vuint8mf2_t vector, vuint8m1_t scalar, size_t vl) {
696 return __riscv_vredsum(mask, vector, scalar, vl);
697 }
698
699 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_u8m1_u8m1_m
700 // CHECK-RV64-SAME: (<vscale x 8 x i1> [[MASK:%.*]], <vscale x 8 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
701 // CHECK-RV64-NEXT: entry:
702 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.mask.nxv8i8.nxv8i8.i64(<vscale x 8 x i8> poison, <vscale x 8 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], <vscale x 8 x i1> [[MASK]], i64 [[VL]])
703 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
704 //
test_vredsum_vs_u8m1_u8m1_m(vbool8_t mask,vuint8m1_t vector,vuint8m1_t scalar,size_t vl)705 vuint8m1_t test_vredsum_vs_u8m1_u8m1_m(vbool8_t mask, vuint8m1_t vector, vuint8m1_t scalar, size_t vl) {
706 return __riscv_vredsum(mask, vector, scalar, vl);
707 }
708
709 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_u8m2_u8m1_m
710 // CHECK-RV64-SAME: (<vscale x 16 x i1> [[MASK:%.*]], <vscale x 16 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
711 // CHECK-RV64-NEXT: entry:
712 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.mask.nxv8i8.nxv16i8.i64(<vscale x 8 x i8> poison, <vscale x 16 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], <vscale x 16 x i1> [[MASK]], i64 [[VL]])
713 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
714 //
test_vredsum_vs_u8m2_u8m1_m(vbool4_t mask,vuint8m2_t vector,vuint8m1_t scalar,size_t vl)715 vuint8m1_t test_vredsum_vs_u8m2_u8m1_m(vbool4_t mask, vuint8m2_t vector, vuint8m1_t scalar, size_t vl) {
716 return __riscv_vredsum(mask, vector, scalar, vl);
717 }
718
719 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_u8m4_u8m1_m
720 // CHECK-RV64-SAME: (<vscale x 32 x i1> [[MASK:%.*]], <vscale x 32 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
721 // CHECK-RV64-NEXT: entry:
722 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.mask.nxv8i8.nxv32i8.i64(<vscale x 8 x i8> poison, <vscale x 32 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], <vscale x 32 x i1> [[MASK]], i64 [[VL]])
723 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
724 //
test_vredsum_vs_u8m4_u8m1_m(vbool2_t mask,vuint8m4_t vector,vuint8m1_t scalar,size_t vl)725 vuint8m1_t test_vredsum_vs_u8m4_u8m1_m(vbool2_t mask, vuint8m4_t vector, vuint8m1_t scalar, size_t vl) {
726 return __riscv_vredsum(mask, vector, scalar, vl);
727 }
728
729 // CHECK-RV64-LABEL: define dso_local <vscale x 8 x i8> @test_vredsum_vs_u8m8_u8m1_m
730 // CHECK-RV64-SAME: (<vscale x 64 x i1> [[MASK:%.*]], <vscale x 64 x i8> [[VECTOR:%.*]], <vscale x 8 x i8> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
731 // CHECK-RV64-NEXT: entry:
732 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 8 x i8> @llvm.riscv.vredsum.mask.nxv8i8.nxv64i8.i64(<vscale x 8 x i8> poison, <vscale x 64 x i8> [[VECTOR]], <vscale x 8 x i8> [[SCALAR]], <vscale x 64 x i1> [[MASK]], i64 [[VL]])
733 // CHECK-RV64-NEXT: ret <vscale x 8 x i8> [[TMP0]]
734 //
test_vredsum_vs_u8m8_u8m1_m(vbool1_t mask,vuint8m8_t vector,vuint8m1_t scalar,size_t vl)735 vuint8m1_t test_vredsum_vs_u8m8_u8m1_m(vbool1_t mask, vuint8m8_t vector, vuint8m1_t scalar, size_t vl) {
736 return __riscv_vredsum(mask, vector, scalar, vl);
737 }
738
739 // CHECK-RV64-LABEL: define dso_local <vscale x 4 x i16> @test_vredsum_vs_u16mf4_u16m1_m
740 // CHECK-RV64-SAME: (<vscale x 1 x i1> [[MASK:%.*]], <vscale x 1 x i16> [[VECTOR:%.*]], <vscale x 4 x i16> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
741 // CHECK-RV64-NEXT: entry:
742 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 4 x i16> @llvm.riscv.vredsum.mask.nxv4i16.nxv1i16.i64(<vscale x 4 x i16> poison, <vscale x 1 x i16> [[VECTOR]], <vscale x 4 x i16> [[SCALAR]], <vscale x 1 x i1> [[MASK]], i64 [[VL]])
743 // CHECK-RV64-NEXT: ret <vscale x 4 x i16> [[TMP0]]
744 //
test_vredsum_vs_u16mf4_u16m1_m(vbool64_t mask,vuint16mf4_t vector,vuint16m1_t scalar,size_t vl)745 vuint16m1_t test_vredsum_vs_u16mf4_u16m1_m(vbool64_t mask, vuint16mf4_t vector, vuint16m1_t scalar, size_t vl) {
746 return __riscv_vredsum(mask, vector, scalar, vl);
747 }
748
749 // CHECK-RV64-LABEL: define dso_local <vscale x 4 x i16> @test_vredsum_vs_u16mf2_u16m1_m
750 // CHECK-RV64-SAME: (<vscale x 2 x i1> [[MASK:%.*]], <vscale x 2 x i16> [[VECTOR:%.*]], <vscale x 4 x i16> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
751 // CHECK-RV64-NEXT: entry:
752 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 4 x i16> @llvm.riscv.vredsum.mask.nxv4i16.nxv2i16.i64(<vscale x 4 x i16> poison, <vscale x 2 x i16> [[VECTOR]], <vscale x 4 x i16> [[SCALAR]], <vscale x 2 x i1> [[MASK]], i64 [[VL]])
753 // CHECK-RV64-NEXT: ret <vscale x 4 x i16> [[TMP0]]
754 //
test_vredsum_vs_u16mf2_u16m1_m(vbool32_t mask,vuint16mf2_t vector,vuint16m1_t scalar,size_t vl)755 vuint16m1_t test_vredsum_vs_u16mf2_u16m1_m(vbool32_t mask, vuint16mf2_t vector, vuint16m1_t scalar, size_t vl) {
756 return __riscv_vredsum(mask, vector, scalar, vl);
757 }
758
759 // CHECK-RV64-LABEL: define dso_local <vscale x 4 x i16> @test_vredsum_vs_u16m1_u16m1_m
760 // CHECK-RV64-SAME: (<vscale x 4 x i1> [[MASK:%.*]], <vscale x 4 x i16> [[VECTOR:%.*]], <vscale x 4 x i16> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
761 // CHECK-RV64-NEXT: entry:
762 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 4 x i16> @llvm.riscv.vredsum.mask.nxv4i16.nxv4i16.i64(<vscale x 4 x i16> poison, <vscale x 4 x i16> [[VECTOR]], <vscale x 4 x i16> [[SCALAR]], <vscale x 4 x i1> [[MASK]], i64 [[VL]])
763 // CHECK-RV64-NEXT: ret <vscale x 4 x i16> [[TMP0]]
764 //
test_vredsum_vs_u16m1_u16m1_m(vbool16_t mask,vuint16m1_t vector,vuint16m1_t scalar,size_t vl)765 vuint16m1_t test_vredsum_vs_u16m1_u16m1_m(vbool16_t mask, vuint16m1_t vector, vuint16m1_t scalar, size_t vl) {
766 return __riscv_vredsum(mask, vector, scalar, vl);
767 }
768
769 // CHECK-RV64-LABEL: define dso_local <vscale x 4 x i16> @test_vredsum_vs_u16m2_u16m1_m
770 // CHECK-RV64-SAME: (<vscale x 8 x i1> [[MASK:%.*]], <vscale x 8 x i16> [[VECTOR:%.*]], <vscale x 4 x i16> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
771 // CHECK-RV64-NEXT: entry:
772 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 4 x i16> @llvm.riscv.vredsum.mask.nxv4i16.nxv8i16.i64(<vscale x 4 x i16> poison, <vscale x 8 x i16> [[VECTOR]], <vscale x 4 x i16> [[SCALAR]], <vscale x 8 x i1> [[MASK]], i64 [[VL]])
773 // CHECK-RV64-NEXT: ret <vscale x 4 x i16> [[TMP0]]
774 //
test_vredsum_vs_u16m2_u16m1_m(vbool8_t mask,vuint16m2_t vector,vuint16m1_t scalar,size_t vl)775 vuint16m1_t test_vredsum_vs_u16m2_u16m1_m(vbool8_t mask, vuint16m2_t vector, vuint16m1_t scalar, size_t vl) {
776 return __riscv_vredsum(mask, vector, scalar, vl);
777 }
778
779 // CHECK-RV64-LABEL: define dso_local <vscale x 4 x i16> @test_vredsum_vs_u16m4_u16m1_m
780 // CHECK-RV64-SAME: (<vscale x 16 x i1> [[MASK:%.*]], <vscale x 16 x i16> [[VECTOR:%.*]], <vscale x 4 x i16> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
781 // CHECK-RV64-NEXT: entry:
782 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 4 x i16> @llvm.riscv.vredsum.mask.nxv4i16.nxv16i16.i64(<vscale x 4 x i16> poison, <vscale x 16 x i16> [[VECTOR]], <vscale x 4 x i16> [[SCALAR]], <vscale x 16 x i1> [[MASK]], i64 [[VL]])
783 // CHECK-RV64-NEXT: ret <vscale x 4 x i16> [[TMP0]]
784 //
test_vredsum_vs_u16m4_u16m1_m(vbool4_t mask,vuint16m4_t vector,vuint16m1_t scalar,size_t vl)785 vuint16m1_t test_vredsum_vs_u16m4_u16m1_m(vbool4_t mask, vuint16m4_t vector, vuint16m1_t scalar, size_t vl) {
786 return __riscv_vredsum(mask, vector, scalar, vl);
787 }
788
789 // CHECK-RV64-LABEL: define dso_local <vscale x 4 x i16> @test_vredsum_vs_u16m8_u16m1_m
790 // CHECK-RV64-SAME: (<vscale x 32 x i1> [[MASK:%.*]], <vscale x 32 x i16> [[VECTOR:%.*]], <vscale x 4 x i16> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
791 // CHECK-RV64-NEXT: entry:
792 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 4 x i16> @llvm.riscv.vredsum.mask.nxv4i16.nxv32i16.i64(<vscale x 4 x i16> poison, <vscale x 32 x i16> [[VECTOR]], <vscale x 4 x i16> [[SCALAR]], <vscale x 32 x i1> [[MASK]], i64 [[VL]])
793 // CHECK-RV64-NEXT: ret <vscale x 4 x i16> [[TMP0]]
794 //
test_vredsum_vs_u16m8_u16m1_m(vbool2_t mask,vuint16m8_t vector,vuint16m1_t scalar,size_t vl)795 vuint16m1_t test_vredsum_vs_u16m8_u16m1_m(vbool2_t mask, vuint16m8_t vector, vuint16m1_t scalar, size_t vl) {
796 return __riscv_vredsum(mask, vector, scalar, vl);
797 }
798
799 // CHECK-RV64-LABEL: define dso_local <vscale x 2 x i32> @test_vredsum_vs_u32mf2_u32m1_m
800 // CHECK-RV64-SAME: (<vscale x 1 x i1> [[MASK:%.*]], <vscale x 1 x i32> [[VECTOR:%.*]], <vscale x 2 x i32> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
801 // CHECK-RV64-NEXT: entry:
802 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 2 x i32> @llvm.riscv.vredsum.mask.nxv2i32.nxv1i32.i64(<vscale x 2 x i32> poison, <vscale x 1 x i32> [[VECTOR]], <vscale x 2 x i32> [[SCALAR]], <vscale x 1 x i1> [[MASK]], i64 [[VL]])
803 // CHECK-RV64-NEXT: ret <vscale x 2 x i32> [[TMP0]]
804 //
test_vredsum_vs_u32mf2_u32m1_m(vbool64_t mask,vuint32mf2_t vector,vuint32m1_t scalar,size_t vl)805 vuint32m1_t test_vredsum_vs_u32mf2_u32m1_m(vbool64_t mask, vuint32mf2_t vector, vuint32m1_t scalar, size_t vl) {
806 return __riscv_vredsum(mask, vector, scalar, vl);
807 }
808
809 // CHECK-RV64-LABEL: define dso_local <vscale x 2 x i32> @test_vredsum_vs_u32m1_u32m1_m
810 // CHECK-RV64-SAME: (<vscale x 2 x i1> [[MASK:%.*]], <vscale x 2 x i32> [[VECTOR:%.*]], <vscale x 2 x i32> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
811 // CHECK-RV64-NEXT: entry:
812 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 2 x i32> @llvm.riscv.vredsum.mask.nxv2i32.nxv2i32.i64(<vscale x 2 x i32> poison, <vscale x 2 x i32> [[VECTOR]], <vscale x 2 x i32> [[SCALAR]], <vscale x 2 x i1> [[MASK]], i64 [[VL]])
813 // CHECK-RV64-NEXT: ret <vscale x 2 x i32> [[TMP0]]
814 //
test_vredsum_vs_u32m1_u32m1_m(vbool32_t mask,vuint32m1_t vector,vuint32m1_t scalar,size_t vl)815 vuint32m1_t test_vredsum_vs_u32m1_u32m1_m(vbool32_t mask, vuint32m1_t vector, vuint32m1_t scalar, size_t vl) {
816 return __riscv_vredsum(mask, vector, scalar, vl);
817 }
818
819 // CHECK-RV64-LABEL: define dso_local <vscale x 2 x i32> @test_vredsum_vs_u32m2_u32m1_m
820 // CHECK-RV64-SAME: (<vscale x 4 x i1> [[MASK:%.*]], <vscale x 4 x i32> [[VECTOR:%.*]], <vscale x 2 x i32> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
821 // CHECK-RV64-NEXT: entry:
822 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 2 x i32> @llvm.riscv.vredsum.mask.nxv2i32.nxv4i32.i64(<vscale x 2 x i32> poison, <vscale x 4 x i32> [[VECTOR]], <vscale x 2 x i32> [[SCALAR]], <vscale x 4 x i1> [[MASK]], i64 [[VL]])
823 // CHECK-RV64-NEXT: ret <vscale x 2 x i32> [[TMP0]]
824 //
test_vredsum_vs_u32m2_u32m1_m(vbool16_t mask,vuint32m2_t vector,vuint32m1_t scalar,size_t vl)825 vuint32m1_t test_vredsum_vs_u32m2_u32m1_m(vbool16_t mask, vuint32m2_t vector, vuint32m1_t scalar, size_t vl) {
826 return __riscv_vredsum(mask, vector, scalar, vl);
827 }
828
829 // CHECK-RV64-LABEL: define dso_local <vscale x 2 x i32> @test_vredsum_vs_u32m4_u32m1_m
830 // CHECK-RV64-SAME: (<vscale x 8 x i1> [[MASK:%.*]], <vscale x 8 x i32> [[VECTOR:%.*]], <vscale x 2 x i32> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
831 // CHECK-RV64-NEXT: entry:
832 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 2 x i32> @llvm.riscv.vredsum.mask.nxv2i32.nxv8i32.i64(<vscale x 2 x i32> poison, <vscale x 8 x i32> [[VECTOR]], <vscale x 2 x i32> [[SCALAR]], <vscale x 8 x i1> [[MASK]], i64 [[VL]])
833 // CHECK-RV64-NEXT: ret <vscale x 2 x i32> [[TMP0]]
834 //
test_vredsum_vs_u32m4_u32m1_m(vbool8_t mask,vuint32m4_t vector,vuint32m1_t scalar,size_t vl)835 vuint32m1_t test_vredsum_vs_u32m4_u32m1_m(vbool8_t mask, vuint32m4_t vector, vuint32m1_t scalar, size_t vl) {
836 return __riscv_vredsum(mask, vector, scalar, vl);
837 }
838
839 // CHECK-RV64-LABEL: define dso_local <vscale x 2 x i32> @test_vredsum_vs_u32m8_u32m1_m
840 // CHECK-RV64-SAME: (<vscale x 16 x i1> [[MASK:%.*]], <vscale x 16 x i32> [[VECTOR:%.*]], <vscale x 2 x i32> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
841 // CHECK-RV64-NEXT: entry:
842 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 2 x i32> @llvm.riscv.vredsum.mask.nxv2i32.nxv16i32.i64(<vscale x 2 x i32> poison, <vscale x 16 x i32> [[VECTOR]], <vscale x 2 x i32> [[SCALAR]], <vscale x 16 x i1> [[MASK]], i64 [[VL]])
843 // CHECK-RV64-NEXT: ret <vscale x 2 x i32> [[TMP0]]
844 //
test_vredsum_vs_u32m8_u32m1_m(vbool4_t mask,vuint32m8_t vector,vuint32m1_t scalar,size_t vl)845 vuint32m1_t test_vredsum_vs_u32m8_u32m1_m(vbool4_t mask, vuint32m8_t vector, vuint32m1_t scalar, size_t vl) {
846 return __riscv_vredsum(mask, vector, scalar, vl);
847 }
848
849 // CHECK-RV64-LABEL: define dso_local <vscale x 1 x i64> @test_vredsum_vs_u64m1_u64m1_m
850 // CHECK-RV64-SAME: (<vscale x 1 x i1> [[MASK:%.*]], <vscale x 1 x i64> [[VECTOR:%.*]], <vscale x 1 x i64> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
851 // CHECK-RV64-NEXT: entry:
852 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 1 x i64> @llvm.riscv.vredsum.mask.nxv1i64.nxv1i64.i64(<vscale x 1 x i64> poison, <vscale x 1 x i64> [[VECTOR]], <vscale x 1 x i64> [[SCALAR]], <vscale x 1 x i1> [[MASK]], i64 [[VL]])
853 // CHECK-RV64-NEXT: ret <vscale x 1 x i64> [[TMP0]]
854 //
test_vredsum_vs_u64m1_u64m1_m(vbool64_t mask,vuint64m1_t vector,vuint64m1_t scalar,size_t vl)855 vuint64m1_t test_vredsum_vs_u64m1_u64m1_m(vbool64_t mask, vuint64m1_t vector, vuint64m1_t scalar, size_t vl) {
856 return __riscv_vredsum(mask, vector, scalar, vl);
857 }
858
859 // CHECK-RV64-LABEL: define dso_local <vscale x 1 x i64> @test_vredsum_vs_u64m2_u64m1_m
860 // CHECK-RV64-SAME: (<vscale x 2 x i1> [[MASK:%.*]], <vscale x 2 x i64> [[VECTOR:%.*]], <vscale x 1 x i64> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
861 // CHECK-RV64-NEXT: entry:
862 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 1 x i64> @llvm.riscv.vredsum.mask.nxv1i64.nxv2i64.i64(<vscale x 1 x i64> poison, <vscale x 2 x i64> [[VECTOR]], <vscale x 1 x i64> [[SCALAR]], <vscale x 2 x i1> [[MASK]], i64 [[VL]])
863 // CHECK-RV64-NEXT: ret <vscale x 1 x i64> [[TMP0]]
864 //
test_vredsum_vs_u64m2_u64m1_m(vbool32_t mask,vuint64m2_t vector,vuint64m1_t scalar,size_t vl)865 vuint64m1_t test_vredsum_vs_u64m2_u64m1_m(vbool32_t mask, vuint64m2_t vector, vuint64m1_t scalar, size_t vl) {
866 return __riscv_vredsum(mask, vector, scalar, vl);
867 }
868
869 // CHECK-RV64-LABEL: define dso_local <vscale x 1 x i64> @test_vredsum_vs_u64m4_u64m1_m
870 // CHECK-RV64-SAME: (<vscale x 4 x i1> [[MASK:%.*]], <vscale x 4 x i64> [[VECTOR:%.*]], <vscale x 1 x i64> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
871 // CHECK-RV64-NEXT: entry:
872 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 1 x i64> @llvm.riscv.vredsum.mask.nxv1i64.nxv4i64.i64(<vscale x 1 x i64> poison, <vscale x 4 x i64> [[VECTOR]], <vscale x 1 x i64> [[SCALAR]], <vscale x 4 x i1> [[MASK]], i64 [[VL]])
873 // CHECK-RV64-NEXT: ret <vscale x 1 x i64> [[TMP0]]
874 //
test_vredsum_vs_u64m4_u64m1_m(vbool16_t mask,vuint64m4_t vector,vuint64m1_t scalar,size_t vl)875 vuint64m1_t test_vredsum_vs_u64m4_u64m1_m(vbool16_t mask, vuint64m4_t vector, vuint64m1_t scalar, size_t vl) {
876 return __riscv_vredsum(mask, vector, scalar, vl);
877 }
878
879 // CHECK-RV64-LABEL: define dso_local <vscale x 1 x i64> @test_vredsum_vs_u64m8_u64m1_m
880 // CHECK-RV64-SAME: (<vscale x 8 x i1> [[MASK:%.*]], <vscale x 8 x i64> [[VECTOR:%.*]], <vscale x 1 x i64> [[SCALAR:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
881 // CHECK-RV64-NEXT: entry:
882 // CHECK-RV64-NEXT: [[TMP0:%.*]] = call <vscale x 1 x i64> @llvm.riscv.vredsum.mask.nxv1i64.nxv8i64.i64(<vscale x 1 x i64> poison, <vscale x 8 x i64> [[VECTOR]], <vscale x 1 x i64> [[SCALAR]], <vscale x 8 x i1> [[MASK]], i64 [[VL]])
883 // CHECK-RV64-NEXT: ret <vscale x 1 x i64> [[TMP0]]
884 //
test_vredsum_vs_u64m8_u64m1_m(vbool8_t mask,vuint64m8_t vector,vuint64m1_t scalar,size_t vl)885 vuint64m1_t test_vredsum_vs_u64m8_u64m1_m(vbool8_t mask, vuint64m8_t vector, vuint64m1_t scalar, size_t vl) {
886 return __riscv_vredsum(mask, vector, scalar, vl);
887 }
888
889