Revert "[InstCombine] Support gep nuw in icmp folds" (#118698)
[llvm-project.git] / llvm / test / CodeGen / RISCV / rvv / fixed-vectors-masked-store-int.ll
blobc3b10db115bae5aebd5e03452b9332ea4766716b
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
2 ; RUN: llc -mtriple=riscv32 -mattr=+v -verify-machineinstrs < %s | FileCheck %s
3 ; RUN: llc -mtriple=riscv64 -mattr=+v -verify-machineinstrs < %s | FileCheck %s
5 define void @masked_store_v1i8(<1 x i8> %val, ptr %a, <1 x i1> %mask) {
6 ; CHECK-LABEL: masked_store_v1i8:
7 ; CHECK:       # %bb.0:
8 ; CHECK-NEXT:    vsetivli zero, 1, e8, mf8, ta, ma
9 ; CHECK-NEXT:    vse8.v v8, (a0), v0.t
10 ; CHECK-NEXT:    ret
11   call void @llvm.masked.store.v1i8.p0(<1 x i8> %val, ptr %a, i32 8, <1 x i1> %mask)
12   ret void
15 define void @masked_store_v1i16(<1 x i16> %val, ptr %a, <1 x i1> %mask) {
16 ; CHECK-LABEL: masked_store_v1i16:
17 ; CHECK:       # %bb.0:
18 ; CHECK-NEXT:    vsetivli zero, 1, e16, mf4, ta, ma
19 ; CHECK-NEXT:    vse16.v v8, (a0), v0.t
20 ; CHECK-NEXT:    ret
21   call void @llvm.masked.store.v1i16.p0(<1 x i16> %val, ptr %a, i32 8, <1 x i1> %mask)
22   ret void
25 define void @masked_store_v1i32(<1 x i32> %val, ptr %a, <1 x i1> %mask) {
26 ; CHECK-LABEL: masked_store_v1i32:
27 ; CHECK:       # %bb.0:
28 ; CHECK-NEXT:    vsetivli zero, 1, e32, mf2, ta, ma
29 ; CHECK-NEXT:    vse32.v v8, (a0), v0.t
30 ; CHECK-NEXT:    ret
31   call void @llvm.masked.store.v1i32.p0(<1 x i32> %val, ptr %a, i32 8, <1 x i1> %mask)
32   ret void
35 define void @masked_store_v1i64(<1 x i64> %val, ptr %a, <1 x i1> %mask) {
36 ; CHECK-LABEL: masked_store_v1i64:
37 ; CHECK:       # %bb.0:
38 ; CHECK-NEXT:    vsetivli zero, 1, e64, m1, ta, ma
39 ; CHECK-NEXT:    vse64.v v8, (a0), v0.t
40 ; CHECK-NEXT:    ret
41   call void @llvm.masked.store.v1i64.p0(<1 x i64> %val, ptr %a, i32 8, <1 x i1> %mask)
42   ret void
45 define void @masked_store_v2i8(<2 x i8> %val, ptr %a, <2 x i1> %mask) {
46 ; CHECK-LABEL: masked_store_v2i8:
47 ; CHECK:       # %bb.0:
48 ; CHECK-NEXT:    vsetivli zero, 2, e8, mf8, ta, ma
49 ; CHECK-NEXT:    vse8.v v8, (a0), v0.t
50 ; CHECK-NEXT:    ret
51   call void @llvm.masked.store.v2i8.p0(<2 x i8> %val, ptr %a, i32 8, <2 x i1> %mask)
52   ret void
55 define void @masked_store_v2i16(<2 x i16> %val, ptr %a, <2 x i1> %mask) {
56 ; CHECK-LABEL: masked_store_v2i16:
57 ; CHECK:       # %bb.0:
58 ; CHECK-NEXT:    vsetivli zero, 2, e16, mf4, ta, ma
59 ; CHECK-NEXT:    vse16.v v8, (a0), v0.t
60 ; CHECK-NEXT:    ret
61   call void @llvm.masked.store.v2i16.p0(<2 x i16> %val, ptr %a, i32 8, <2 x i1> %mask)
62   ret void
65 define void @masked_store_v2i32(<2 x i32> %val, ptr %a, <2 x i1> %mask) {
66 ; CHECK-LABEL: masked_store_v2i32:
67 ; CHECK:       # %bb.0:
68 ; CHECK-NEXT:    vsetivli zero, 2, e32, mf2, ta, ma
69 ; CHECK-NEXT:    vse32.v v8, (a0), v0.t
70 ; CHECK-NEXT:    ret
71   call void @llvm.masked.store.v2i32.p0(<2 x i32> %val, ptr %a, i32 8, <2 x i1> %mask)
72   ret void
75 define void @masked_store_v2i64(<2 x i64> %val, ptr %a, <2 x i1> %mask) {
76 ; CHECK-LABEL: masked_store_v2i64:
77 ; CHECK:       # %bb.0:
78 ; CHECK-NEXT:    vsetivli zero, 2, e64, m1, ta, ma
79 ; CHECK-NEXT:    vse64.v v8, (a0), v0.t
80 ; CHECK-NEXT:    ret
81   call void @llvm.masked.store.v2i64.p0(<2 x i64> %val, ptr %a, i32 8, <2 x i1> %mask)
82   ret void
85 define void @masked_store_v4i8(<4 x i8> %val, ptr %a, <4 x i1> %mask) {
86 ; CHECK-LABEL: masked_store_v4i8:
87 ; CHECK:       # %bb.0:
88 ; CHECK-NEXT:    vsetivli zero, 4, e8, mf4, ta, ma
89 ; CHECK-NEXT:    vse8.v v8, (a0), v0.t
90 ; CHECK-NEXT:    ret
91   call void @llvm.masked.store.v4i8.p0(<4 x i8> %val, ptr %a, i32 8, <4 x i1> %mask)
92   ret void
95 define void @masked_store_v4i16(<4 x i16> %val, ptr %a, <4 x i1> %mask) {
96 ; CHECK-LABEL: masked_store_v4i16:
97 ; CHECK:       # %bb.0:
98 ; CHECK-NEXT:    vsetivli zero, 4, e16, mf2, ta, ma
99 ; CHECK-NEXT:    vse16.v v8, (a0), v0.t
100 ; CHECK-NEXT:    ret
101   call void @llvm.masked.store.v4i16.p0(<4 x i16> %val, ptr %a, i32 8, <4 x i1> %mask)
102   ret void
105 define void @masked_store_v4i32(<4 x i32> %val, ptr %a, <4 x i1> %mask) {
106 ; CHECK-LABEL: masked_store_v4i32:
107 ; CHECK:       # %bb.0:
108 ; CHECK-NEXT:    vsetivli zero, 4, e32, m1, ta, ma
109 ; CHECK-NEXT:    vse32.v v8, (a0), v0.t
110 ; CHECK-NEXT:    ret
111   call void @llvm.masked.store.v4i32.p0(<4 x i32> %val, ptr %a, i32 8, <4 x i1> %mask)
112   ret void
115 define void @masked_store_v4i64(<4 x i64> %val, ptr %a, <4 x i1> %mask) {
116 ; CHECK-LABEL: masked_store_v4i64:
117 ; CHECK:       # %bb.0:
118 ; CHECK-NEXT:    vsetivli zero, 4, e64, m2, ta, ma
119 ; CHECK-NEXT:    vse64.v v8, (a0), v0.t
120 ; CHECK-NEXT:    ret
121   call void @llvm.masked.store.v4i64.p0(<4 x i64> %val, ptr %a, i32 8, <4 x i1> %mask)
122   ret void
125 define void @masked_store_v8i8(<8 x i8> %val, ptr %a, <8 x i1> %mask) {
126 ; CHECK-LABEL: masked_store_v8i8:
127 ; CHECK:       # %bb.0:
128 ; CHECK-NEXT:    vsetivli zero, 8, e8, mf2, ta, ma
129 ; CHECK-NEXT:    vse8.v v8, (a0), v0.t
130 ; CHECK-NEXT:    ret
131   call void @llvm.masked.store.v8i8.p0(<8 x i8> %val, ptr %a, i32 8, <8 x i1> %mask)
132   ret void
135 define void @masked_store_v8i16(<8 x i16> %val, ptr %a, <8 x i1> %mask) {
136 ; CHECK-LABEL: masked_store_v8i16:
137 ; CHECK:       # %bb.0:
138 ; CHECK-NEXT:    vsetivli zero, 8, e16, m1, ta, ma
139 ; CHECK-NEXT:    vse16.v v8, (a0), v0.t
140 ; CHECK-NEXT:    ret
141   call void @llvm.masked.store.v8i16.p0(<8 x i16> %val, ptr %a, i32 8, <8 x i1> %mask)
142   ret void
145 define void @masked_store_v8i32(<8 x i32> %val, ptr %a, <8 x i1> %mask) {
146 ; CHECK-LABEL: masked_store_v8i32:
147 ; CHECK:       # %bb.0:
148 ; CHECK-NEXT:    vsetivli zero, 8, e32, m2, ta, ma
149 ; CHECK-NEXT:    vse32.v v8, (a0), v0.t
150 ; CHECK-NEXT:    ret
151   call void @llvm.masked.store.v8i32.p0(<8 x i32> %val, ptr %a, i32 8, <8 x i1> %mask)
152   ret void
155 define void @masked_store_v8i64(<8 x i64> %val, ptr %a, <8 x i1> %mask) {
156 ; CHECK-LABEL: masked_store_v8i64:
157 ; CHECK:       # %bb.0:
158 ; CHECK-NEXT:    vsetivli zero, 8, e64, m4, ta, ma
159 ; CHECK-NEXT:    vse64.v v8, (a0), v0.t
160 ; CHECK-NEXT:    ret
161   call void @llvm.masked.store.v8i64.p0(<8 x i64> %val, ptr %a, i32 8, <8 x i1> %mask)
162   ret void
165 define void @masked_store_v16i8(<16 x i8> %val, ptr %a, <16 x i1> %mask) {
166 ; CHECK-LABEL: masked_store_v16i8:
167 ; CHECK:       # %bb.0:
168 ; CHECK-NEXT:    vsetivli zero, 16, e8, m1, ta, ma
169 ; CHECK-NEXT:    vse8.v v8, (a0), v0.t
170 ; CHECK-NEXT:    ret
171   call void @llvm.masked.store.v16i8.p0(<16 x i8> %val, ptr %a, i32 8, <16 x i1> %mask)
172   ret void
175 define void @masked_store_v16i16(<16 x i16> %val, ptr %a, <16 x i1> %mask) {
176 ; CHECK-LABEL: masked_store_v16i16:
177 ; CHECK:       # %bb.0:
178 ; CHECK-NEXT:    vsetivli zero, 16, e16, m2, ta, ma
179 ; CHECK-NEXT:    vse16.v v8, (a0), v0.t
180 ; CHECK-NEXT:    ret
181   call void @llvm.masked.store.v16i16.p0(<16 x i16> %val, ptr %a, i32 8, <16 x i1> %mask)
182   ret void
185 define void @masked_store_v16i32(<16 x i32> %val, ptr %a, <16 x i1> %mask) {
186 ; CHECK-LABEL: masked_store_v16i32:
187 ; CHECK:       # %bb.0:
188 ; CHECK-NEXT:    vsetivli zero, 16, e32, m4, ta, ma
189 ; CHECK-NEXT:    vse32.v v8, (a0), v0.t
190 ; CHECK-NEXT:    ret
191   call void @llvm.masked.store.v16i32.p0(<16 x i32> %val, ptr %a, i32 8, <16 x i1> %mask)
192   ret void
195 define void @masked_store_v16i64(<16 x i64> %val, ptr %a, <16 x i1> %mask) {
196 ; CHECK-LABEL: masked_store_v16i64:
197 ; CHECK:       # %bb.0:
198 ; CHECK-NEXT:    vsetivli zero, 16, e64, m8, ta, ma
199 ; CHECK-NEXT:    vse64.v v8, (a0), v0.t
200 ; CHECK-NEXT:    ret
201   call void @llvm.masked.store.v16i64.p0(<16 x i64> %val, ptr %a, i32 8, <16 x i1> %mask)
202   ret void
205 define void @masked_store_v32i8(<32 x i8> %val, ptr %a, <32 x i1> %mask) {
206 ; CHECK-LABEL: masked_store_v32i8:
207 ; CHECK:       # %bb.0:
208 ; CHECK-NEXT:    li a1, 32
209 ; CHECK-NEXT:    vsetvli zero, a1, e8, m2, ta, ma
210 ; CHECK-NEXT:    vse8.v v8, (a0), v0.t
211 ; CHECK-NEXT:    ret
212   call void @llvm.masked.store.v32i8.p0(<32 x i8> %val, ptr %a, i32 8, <32 x i1> %mask)
213   ret void
216 define void @masked_store_v32i16(<32 x i16> %val, ptr %a, <32 x i1> %mask) {
217 ; CHECK-LABEL: masked_store_v32i16:
218 ; CHECK:       # %bb.0:
219 ; CHECK-NEXT:    li a1, 32
220 ; CHECK-NEXT:    vsetvli zero, a1, e16, m4, ta, ma
221 ; CHECK-NEXT:    vse16.v v8, (a0), v0.t
222 ; CHECK-NEXT:    ret
223   call void @llvm.masked.store.v32i16.p0(<32 x i16> %val, ptr %a, i32 8, <32 x i1> %mask)
224   ret void
227 define void @masked_store_v32i32(<32 x i32> %val, ptr %a, <32 x i1> %mask) {
228 ; CHECK-LABEL: masked_store_v32i32:
229 ; CHECK:       # %bb.0:
230 ; CHECK-NEXT:    li a1, 32
231 ; CHECK-NEXT:    vsetvli zero, a1, e32, m8, ta, ma
232 ; CHECK-NEXT:    vse32.v v8, (a0), v0.t
233 ; CHECK-NEXT:    ret
234   call void @llvm.masked.store.v32i32.p0(<32 x i32> %val, ptr %a, i32 8, <32 x i1> %mask)
235   ret void
238 define void @masked_store_v32i64(<32 x i64> %val, ptr %a, <32 x i1> %mask) {
239 ; CHECK-LABEL: masked_store_v32i64:
240 ; CHECK:       # %bb.0:
241 ; CHECK-NEXT:    vsetivli zero, 16, e64, m8, ta, ma
242 ; CHECK-NEXT:    vse64.v v8, (a0), v0.t
243 ; CHECK-NEXT:    vsetivli zero, 2, e8, mf4, ta, ma
244 ; CHECK-NEXT:    vslidedown.vi v0, v0, 2
245 ; CHECK-NEXT:    addi a0, a0, 128
246 ; CHECK-NEXT:    vsetivli zero, 16, e64, m8, ta, ma
247 ; CHECK-NEXT:    vse64.v v16, (a0), v0.t
248 ; CHECK-NEXT:    ret
249   call void @llvm.masked.store.v32i64.p0(<32 x i64> %val, ptr %a, i32 8, <32 x i1> %mask)
250   ret void
253 define void @masked_store_v64i8(<64 x i8> %val, ptr %a, <64 x i1> %mask) {
254 ; CHECK-LABEL: masked_store_v64i8:
255 ; CHECK:       # %bb.0:
256 ; CHECK-NEXT:    li a1, 64
257 ; CHECK-NEXT:    vsetvli zero, a1, e8, m4, ta, ma
258 ; CHECK-NEXT:    vse8.v v8, (a0), v0.t
259 ; CHECK-NEXT:    ret
260   call void @llvm.masked.store.v64i8.p0(<64 x i8> %val, ptr %a, i32 8, <64 x i1> %mask)
261   ret void
264 define void @masked_store_v64i16(<64 x i16> %val, ptr %a, <64 x i1> %mask) {
265 ; CHECK-LABEL: masked_store_v64i16:
266 ; CHECK:       # %bb.0:
267 ; CHECK-NEXT:    li a1, 64
268 ; CHECK-NEXT:    vsetvli zero, a1, e16, m8, ta, ma
269 ; CHECK-NEXT:    vse16.v v8, (a0), v0.t
270 ; CHECK-NEXT:    ret
271   call void @llvm.masked.store.v64i16.p0(<64 x i16> %val, ptr %a, i32 8, <64 x i1> %mask)
272   ret void
275 define void @masked_store_v64i32(<64 x i32> %val, ptr %a, <64 x i1> %mask) {
276 ; CHECK-LABEL: masked_store_v64i32:
277 ; CHECK:       # %bb.0:
278 ; CHECK-NEXT:    li a1, 32
279 ; CHECK-NEXT:    vsetivli zero, 4, e8, mf2, ta, ma
280 ; CHECK-NEXT:    vslidedown.vi v24, v0, 4
281 ; CHECK-NEXT:    vsetvli zero, a1, e32, m8, ta, ma
282 ; CHECK-NEXT:    vse32.v v8, (a0), v0.t
283 ; CHECK-NEXT:    addi a0, a0, 128
284 ; CHECK-NEXT:    vmv1r.v v0, v24
285 ; CHECK-NEXT:    vse32.v v16, (a0), v0.t
286 ; CHECK-NEXT:    ret
287   call void @llvm.masked.store.v64i32.p0(<64 x i32> %val, ptr %a, i32 8, <64 x i1> %mask)
288   ret void
291 define void @masked_store_v128i8(<128 x i8> %val, ptr %a, <128 x i1> %mask) {
292 ; CHECK-LABEL: masked_store_v128i8:
293 ; CHECK:       # %bb.0:
294 ; CHECK-NEXT:    li a1, 128
295 ; CHECK-NEXT:    vsetvli zero, a1, e8, m8, ta, ma
296 ; CHECK-NEXT:    vse8.v v8, (a0), v0.t
297 ; CHECK-NEXT:    ret
298   call void @llvm.masked.store.v128i8.p0(<128 x i8> %val, ptr %a, i32 8, <128 x i1> %mask)
299   ret void
302 define void @masked_store_v128i16(<128 x i16> %val, ptr %a, <128 x i1> %mask) {
303 ; CHECK-LABEL: masked_store_v128i16:
304 ; CHECK:       # %bb.0:
305 ; CHECK-NEXT:    li a1, 64
306 ; CHECK-NEXT:    vsetivli zero, 8, e8, m1, ta, ma
307 ; CHECK-NEXT:    vslidedown.vi v24, v0, 8
308 ; CHECK-NEXT:    vsetvli zero, a1, e16, m8, ta, ma
309 ; CHECK-NEXT:    vse16.v v8, (a0), v0.t
310 ; CHECK-NEXT:    addi a0, a0, 128
311 ; CHECK-NEXT:    vmv1r.v v0, v24
312 ; CHECK-NEXT:    vse16.v v16, (a0), v0.t
313 ; CHECK-NEXT:    ret
314   call void @llvm.masked.store.v128i16.p0(<128 x i16> %val, ptr %a, i32 8, <128 x i1> %mask)
315   ret void
318 define void @masked_store_v256i8(<256 x i8> %val, ptr %a, <256 x i1> %mask) {
319 ; CHECK-LABEL: masked_store_v256i8:
320 ; CHECK:       # %bb.0:
321 ; CHECK-NEXT:    li a2, 128
322 ; CHECK-NEXT:    vsetvli zero, a2, e8, m8, ta, ma
323 ; CHECK-NEXT:    vlm.v v24, (a1)
324 ; CHECK-NEXT:    addi a1, a0, 128
325 ; CHECK-NEXT:    vse8.v v8, (a0), v0.t
326 ; CHECK-NEXT:    vmv1r.v v0, v24
327 ; CHECK-NEXT:    vse8.v v16, (a1), v0.t
328 ; CHECK-NEXT:    ret
329   call void @llvm.masked.store.v256i8.p0(<256 x i8> %val, ptr %a, i32 8, <256 x i1> %mask)
330   ret void