xref: /llvm-project/llvm/test/CodeGen/RISCV/rvv/fixed-vectors-int-exttrunc.ll (revision ed242b54c9c2aa84a47f66af5b8497d93646b68d) 
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc -mtriple=riscv32 -mattr=+m,+v -riscv-v-vector-bits-min=128 -riscv-v-fixed-length-vector-lmul-max=8 -verify-machineinstrs < %s | FileCheck %s --check-prefixes=CHECK,LMULMAX8
3; RUN: llc -mtriple=riscv64 -mattr=+m,+v -riscv-v-vector-bits-min=128 -riscv-v-fixed-length-vector-lmul-max=8 -verify-machineinstrs < %s | FileCheck %s --check-prefixes=CHECK,LMULMAX8
4; RUN: llc -mtriple=riscv32 -mattr=+m,+v -riscv-v-vector-bits-min=128 -riscv-v-fixed-length-vector-lmul-max=2 -verify-machineinstrs < %s | FileCheck %s --check-prefixes=CHECK,LMULMAX2
5; RUN: llc -mtriple=riscv64 -mattr=+m,+v -riscv-v-vector-bits-min=128 -riscv-v-fixed-length-vector-lmul-max=2 -verify-machineinstrs < %s | FileCheck %s --check-prefixes=CHECK,LMULMAX2
6; RUN: llc -mtriple=riscv32 -mattr=+m,+v -riscv-v-vector-bits-min=128 -riscv-v-fixed-length-vector-lmul-max=1 -verify-machineinstrs < %s | FileCheck %s --check-prefixes=CHECK,LMULMAX1
7; RUN: llc -mtriple=riscv64 -mattr=+m,+v -riscv-v-vector-bits-min=128 -riscv-v-fixed-length-vector-lmul-max=1 -verify-machineinstrs < %s | FileCheck %s --check-prefixes=CHECK,LMULMAX1
8
9define void @sext_v4i8_v4i32(<4 x i8>* %x, <4 x i32>* %z) {
10; CHECK-LABEL: sext_v4i8_v4i32:
11; CHECK:       # %bb.0:
12; CHECK-NEXT:    vsetivli zero, 4, e8, mf4, ta, mu
13; CHECK-NEXT:    vle8.v v8, (a0)
14; CHECK-NEXT:    vsetvli zero, zero, e32, m1, ta, mu
15; CHECK-NEXT:    vsext.vf4 v9, v8
16; CHECK-NEXT:    vse32.v v9, (a1)
17; CHECK-NEXT:    ret
18  %a = load <4 x i8>, <4 x i8>* %x
19  %b = sext <4 x i8> %a to <4 x i32>
20  store <4 x i32> %b, <4 x i32>* %z
21  ret void
22}
23
24define void @zext_v4i8_v4i32(<4 x i8>* %x, <4 x i32>* %z) {
25; CHECK-LABEL: zext_v4i8_v4i32:
26; CHECK:       # %bb.0:
27; CHECK-NEXT:    vsetivli zero, 4, e8, mf4, ta, mu
28; CHECK-NEXT:    vle8.v v8, (a0)
29; CHECK-NEXT:    vsetvli zero, zero, e32, m1, ta, mu
30; CHECK-NEXT:    vzext.vf4 v9, v8
31; CHECK-NEXT:    vse32.v v9, (a1)
32; CHECK-NEXT:    ret
33  %a = load <4 x i8>, <4 x i8>* %x
34  %b = zext <4 x i8> %a to <4 x i32>
35  store <4 x i32> %b, <4 x i32>* %z
36  ret void
37}
38
39define void @sext_v8i8_v8i32(<8 x i8>* %x, <8 x i32>* %z) {
40; LMULMAX8-LABEL: sext_v8i8_v8i32:
41; LMULMAX8:       # %bb.0:
42; LMULMAX8-NEXT:    vsetivli zero, 8, e8, mf2, ta, mu
43; LMULMAX8-NEXT:    vle8.v v8, (a0)
44; LMULMAX8-NEXT:    vsetvli zero, zero, e32, m2, ta, mu
45; LMULMAX8-NEXT:    vsext.vf4 v10, v8
46; LMULMAX8-NEXT:    vse32.v v10, (a1)
47; LMULMAX8-NEXT:    ret
48;
49; LMULMAX2-LABEL: sext_v8i8_v8i32:
50; LMULMAX2:       # %bb.0:
51; LMULMAX2-NEXT:    vsetivli zero, 8, e8, mf2, ta, mu
52; LMULMAX2-NEXT:    vle8.v v8, (a0)
53; LMULMAX2-NEXT:    vsetvli zero, zero, e32, m2, ta, mu
54; LMULMAX2-NEXT:    vsext.vf4 v10, v8
55; LMULMAX2-NEXT:    vse32.v v10, (a1)
56; LMULMAX2-NEXT:    ret
57;
58; LMULMAX1-LABEL: sext_v8i8_v8i32:
59; LMULMAX1:       # %bb.0:
60; LMULMAX1-NEXT:    vsetivli zero, 8, e8, mf2, ta, mu
61; LMULMAX1-NEXT:    vle8.v v8, (a0)
62; LMULMAX1-NEXT:    vsetivli zero, 4, e8, mf2, ta, mu
63; LMULMAX1-NEXT:    vslidedown.vi v9, v8, 4
64; LMULMAX1-NEXT:    vsetivli zero, 4, e32, m1, ta, mu
65; LMULMAX1-NEXT:    vsext.vf4 v10, v9
66; LMULMAX1-NEXT:    vsext.vf4 v9, v8
67; LMULMAX1-NEXT:    addi a0, a1, 16
68; LMULMAX1-NEXT:    vse32.v v10, (a0)
69; LMULMAX1-NEXT:    vse32.v v9, (a1)
70; LMULMAX1-NEXT:    ret
71  %a = load <8 x i8>, <8 x i8>* %x
72  %b = sext <8 x i8> %a to <8 x i32>
73  store <8 x i32> %b, <8 x i32>* %z
74  ret void
75}
76
77define void @sext_v32i8_v32i32(<32 x i8>* %x, <32 x i32>* %z) {
78; LMULMAX8-LABEL: sext_v32i8_v32i32:
79; LMULMAX8:       # %bb.0:
80; LMULMAX8-NEXT:    li a2, 32
81; LMULMAX8-NEXT:    vsetvli zero, a2, e8, m2, ta, mu
82; LMULMAX8-NEXT:    vle8.v v8, (a0)
83; LMULMAX8-NEXT:    vsetvli zero, zero, e32, m8, ta, mu
84; LMULMAX8-NEXT:    vsext.vf4 v16, v8
85; LMULMAX8-NEXT:    vse32.v v16, (a1)
86; LMULMAX8-NEXT:    ret
87;
88; LMULMAX2-LABEL: sext_v32i8_v32i32:
89; LMULMAX2:       # %bb.0:
90; LMULMAX2-NEXT:    li a2, 32
91; LMULMAX2-NEXT:    vsetvli zero, a2, e8, m2, ta, mu
92; LMULMAX2-NEXT:    vle8.v v8, (a0)
93; LMULMAX2-NEXT:    vsetivli zero, 8, e8, m1, ta, mu
94; LMULMAX2-NEXT:    vslidedown.vi v10, v8, 8
95; LMULMAX2-NEXT:    vsetivli zero, 8, e32, m2, ta, mu
96; LMULMAX2-NEXT:    vsext.vf4 v12, v10
97; LMULMAX2-NEXT:    vsetivli zero, 16, e8, m2, ta, mu
98; LMULMAX2-NEXT:    vslidedown.vi v10, v8, 16
99; LMULMAX2-NEXT:    vsetivli zero, 8, e8, m1, ta, mu
100; LMULMAX2-NEXT:    vslidedown.vi v9, v10, 8
101; LMULMAX2-NEXT:    vsetivli zero, 8, e32, m2, ta, mu
102; LMULMAX2-NEXT:    vsext.vf4 v14, v9
103; LMULMAX2-NEXT:    vsext.vf4 v16, v8
104; LMULMAX2-NEXT:    vsext.vf4 v8, v10
105; LMULMAX2-NEXT:    addi a0, a1, 64
106; LMULMAX2-NEXT:    vse32.v v8, (a0)
107; LMULMAX2-NEXT:    vse32.v v16, (a1)
108; LMULMAX2-NEXT:    addi a0, a1, 96
109; LMULMAX2-NEXT:    vse32.v v14, (a0)
110; LMULMAX2-NEXT:    addi a0, a1, 32
111; LMULMAX2-NEXT:    vse32.v v12, (a0)
112; LMULMAX2-NEXT:    ret
113;
114; LMULMAX1-LABEL: sext_v32i8_v32i32:
115; LMULMAX1:       # %bb.0:
116; LMULMAX1-NEXT:    vsetivli zero, 16, e8, m1, ta, mu
117; LMULMAX1-NEXT:    addi a2, a0, 16
118; LMULMAX1-NEXT:    vle8.v v8, (a2)
119; LMULMAX1-NEXT:    vle8.v v9, (a0)
120; LMULMAX1-NEXT:    vsetivli zero, 4, e8, mf2, ta, mu
121; LMULMAX1-NEXT:    vslidedown.vi v10, v8, 4
122; LMULMAX1-NEXT:    vsetivli zero, 4, e32, m1, ta, mu
123; LMULMAX1-NEXT:    vsext.vf4 v11, v10
124; LMULMAX1-NEXT:    vsetivli zero, 8, e8, m1, ta, mu
125; LMULMAX1-NEXT:    vslidedown.vi v10, v8, 8
126; LMULMAX1-NEXT:    vsetivli zero, 4, e8, mf2, ta, mu
127; LMULMAX1-NEXT:    vslidedown.vi v12, v10, 4
128; LMULMAX1-NEXT:    vsetivli zero, 4, e32, m1, ta, mu
129; LMULMAX1-NEXT:    vsext.vf4 v13, v12
130; LMULMAX1-NEXT:    vsetivli zero, 4, e8, mf2, ta, mu
131; LMULMAX1-NEXT:    vslidedown.vi v12, v9, 4
132; LMULMAX1-NEXT:    vsetivli zero, 4, e32, m1, ta, mu
133; LMULMAX1-NEXT:    vsext.vf4 v14, v12
134; LMULMAX1-NEXT:    vsetivli zero, 8, e8, m1, ta, mu
135; LMULMAX1-NEXT:    vslidedown.vi v12, v9, 8
136; LMULMAX1-NEXT:    vsetivli zero, 4, e8, mf2, ta, mu
137; LMULMAX1-NEXT:    vslidedown.vi v15, v12, 4
138; LMULMAX1-NEXT:    vsetivli zero, 4, e32, m1, ta, mu
139; LMULMAX1-NEXT:    vsext.vf4 v16, v15
140; LMULMAX1-NEXT:    vsext.vf4 v15, v10
141; LMULMAX1-NEXT:    vsext.vf4 v10, v12
142; LMULMAX1-NEXT:    vsext.vf4 v12, v8
143; LMULMAX1-NEXT:    vsext.vf4 v8, v9
144; LMULMAX1-NEXT:    addi a0, a1, 32
145; LMULMAX1-NEXT:    vse32.v v10, (a0)
146; LMULMAX1-NEXT:    vse32.v v8, (a1)
147; LMULMAX1-NEXT:    addi a0, a1, 96
148; LMULMAX1-NEXT:    vse32.v v15, (a0)
149; LMULMAX1-NEXT:    addi a0, a1, 64
150; LMULMAX1-NEXT:    vse32.v v12, (a0)
151; LMULMAX1-NEXT:    addi a0, a1, 48
152; LMULMAX1-NEXT:    vse32.v v16, (a0)
153; LMULMAX1-NEXT:    addi a0, a1, 16
154; LMULMAX1-NEXT:    vse32.v v14, (a0)
155; LMULMAX1-NEXT:    addi a0, a1, 112
156; LMULMAX1-NEXT:    vse32.v v13, (a0)
157; LMULMAX1-NEXT:    addi a0, a1, 80
158; LMULMAX1-NEXT:    vse32.v v11, (a0)
159; LMULMAX1-NEXT:    ret
160  %a = load <32 x i8>, <32 x i8>* %x
161  %b = sext <32 x i8> %a to <32 x i32>
162  store <32 x i32> %b, <32 x i32>* %z
163  ret void
164}
165
166define void @trunc_v4i8_v4i32(<4 x i32>* %x, <4 x i8>* %z) {
167; CHECK-LABEL: trunc_v4i8_v4i32:
168; CHECK:       # %bb.0:
169; CHECK-NEXT:    vsetivli zero, 4, e32, m1, ta, mu
170; CHECK-NEXT:    vle32.v v8, (a0)
171; CHECK-NEXT:    vsetvli zero, zero, e16, mf2, ta, mu
172; CHECK-NEXT:    vncvt.x.x.w v8, v8
173; CHECK-NEXT:    vsetvli zero, zero, e8, mf4, ta, mu
174; CHECK-NEXT:    vncvt.x.x.w v8, v8
175; CHECK-NEXT:    vse8.v v8, (a1)
176; CHECK-NEXT:    ret
177  %a = load <4 x i32>, <4 x i32>* %x
178  %b = trunc <4 x i32> %a to <4 x i8>
179  store <4 x i8> %b, <4 x i8>* %z
180  ret void
181}
182
183define void @trunc_v8i8_v8i32(<8 x i32>* %x, <8 x i8>* %z) {
184; LMULMAX8-LABEL: trunc_v8i8_v8i32:
185; LMULMAX8:       # %bb.0:
186; LMULMAX8-NEXT:    vsetivli zero, 8, e32, m2, ta, mu
187; LMULMAX8-NEXT:    vle32.v v8, (a0)
188; LMULMAX8-NEXT:    vsetvli zero, zero, e16, m1, ta, mu
189; LMULMAX8-NEXT:    vncvt.x.x.w v10, v8
190; LMULMAX8-NEXT:    vsetvli zero, zero, e8, mf2, ta, mu
191; LMULMAX8-NEXT:    vncvt.x.x.w v8, v10
192; LMULMAX8-NEXT:    vse8.v v8, (a1)
193; LMULMAX8-NEXT:    ret
194;
195; LMULMAX2-LABEL: trunc_v8i8_v8i32:
196; LMULMAX2:       # %bb.0:
197; LMULMAX2-NEXT:    vsetivli zero, 8, e32, m2, ta, mu
198; LMULMAX2-NEXT:    vle32.v v8, (a0)
199; LMULMAX2-NEXT:    vsetvli zero, zero, e16, m1, ta, mu
200; LMULMAX2-NEXT:    vncvt.x.x.w v10, v8
201; LMULMAX2-NEXT:    vsetvli zero, zero, e8, mf2, ta, mu
202; LMULMAX2-NEXT:    vncvt.x.x.w v8, v10
203; LMULMAX2-NEXT:    vse8.v v8, (a1)
204; LMULMAX2-NEXT:    ret
205;
206; LMULMAX1-LABEL: trunc_v8i8_v8i32:
207; LMULMAX1:       # %bb.0:
208; LMULMAX1-NEXT:    vsetivli zero, 4, e32, m1, ta, mu
209; LMULMAX1-NEXT:    vle32.v v8, (a0)
210; LMULMAX1-NEXT:    addi a0, a0, 16
211; LMULMAX1-NEXT:    vle32.v v9, (a0)
212; LMULMAX1-NEXT:    vsetvli zero, zero, e16, mf2, ta, mu
213; LMULMAX1-NEXT:    vncvt.x.x.w v8, v8
214; LMULMAX1-NEXT:    vsetvli zero, zero, e8, mf4, ta, mu
215; LMULMAX1-NEXT:    vncvt.x.x.w v8, v8
216; LMULMAX1-NEXT:    vsetvli zero, zero, e16, mf2, ta, mu
217; LMULMAX1-NEXT:    vncvt.x.x.w v9, v9
218; LMULMAX1-NEXT:    vsetvli zero, zero, e8, mf4, ta, mu
219; LMULMAX1-NEXT:    vncvt.x.x.w v9, v9
220; LMULMAX1-NEXT:    vsetivli zero, 8, e8, mf2, ta, mu
221; LMULMAX1-NEXT:    vslideup.vi v8, v9, 4
222; LMULMAX1-NEXT:    vse8.v v8, (a1)
223; LMULMAX1-NEXT:    ret
224  %a = load <8 x i32>, <8 x i32>* %x
225  %b = trunc <8 x i32> %a to <8 x i8>
226  store <8 x i8> %b, <8 x i8>* %z
227  ret void
228}
229