xref: /llvm-project/llvm/test/CodeGen/RISCV/rvv/rv32-spill-vector-csr.ll (revision b6c0f1bfa79a3a32d841ac5ab1f94c3aee3b5d90)
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc -mtriple=riscv32 -mattr=+v,+d -O0 < %s \
3; RUN:    | FileCheck --check-prefix=SPILL-O0 %s
4; RUN: llc -mtriple=riscv32 -mattr=+v,+d -O2 < %s \
5; RUN:    | FileCheck --check-prefix=SPILL-O2 %s
6; RUN: llc -mtriple=riscv32 -mattr=+v,+d,+zcmp -O2 < %s \
7; RUN:    | FileCheck --check-prefix=SPILL-O2-ZCMP %s
8
9@.str = private unnamed_addr constant [6 x i8] c"hello\00", align 1
10
11define <vscale x 1 x double> @foo(<vscale x 1 x double> %a, <vscale x 1 x double> %b, <vscale x 1 x double> %c, i32 %gvl) nounwind
12; SPILL-O0-LABEL: foo:
13; SPILL-O0:       # %bb.0:
14; SPILL-O0-NEXT:    addi sp, sp, -32
15; SPILL-O0-NEXT:    sw ra, 28(sp) # 4-byte Folded Spill
16; SPILL-O0-NEXT:    csrr a1, vlenb
17; SPILL-O0-NEXT:    slli a1, a1, 1
18; SPILL-O0-NEXT:    sub sp, sp, a1
19; SPILL-O0-NEXT:    sw a0, 8(sp) # 4-byte Folded Spill
20; SPILL-O0-NEXT:    vsetivli zero, 1, e8, m1, ta, ma
21; SPILL-O0-NEXT:    vmv1r.v v10, v9
22; SPILL-O0-NEXT:    vmv1r.v v9, v8
23; SPILL-O0-NEXT:    csrr a1, vlenb
24; SPILL-O0-NEXT:    add a1, sp, a1
25; SPILL-O0-NEXT:    addi a1, a1, 16
26; SPILL-O0-NEXT:    vs1r.v v9, (a1) # Unknown-size Folded Spill
27; SPILL-O0-NEXT:    # implicit-def: $v8
28; SPILL-O0-NEXT:    vsetvli zero, a0, e64, m1, tu, ma
29; SPILL-O0-NEXT:    vfadd.vv v8, v9, v10
30; SPILL-O0-NEXT:    addi a0, sp, 16
31; SPILL-O0-NEXT:    vs1r.v v8, (a0) # Unknown-size Folded Spill
32; SPILL-O0-NEXT:    lui a0, %hi(.L.str)
33; SPILL-O0-NEXT:    addi a0, a0, %lo(.L.str)
34; SPILL-O0-NEXT:    call puts
35; SPILL-O0-NEXT:    addi a1, sp, 16
36; SPILL-O0-NEXT:    vl1r.v v10, (a1) # Unknown-size Folded Reload
37; SPILL-O0-NEXT:    csrr a1, vlenb
38; SPILL-O0-NEXT:    add a1, sp, a1
39; SPILL-O0-NEXT:    addi a1, a1, 16
40; SPILL-O0-NEXT:    vl1r.v v9, (a1) # Unknown-size Folded Reload
41; SPILL-O0-NEXT:    # kill: def $x11 killed $x10
42; SPILL-O0-NEXT:    lw a0, 8(sp) # 4-byte Folded Reload
43; SPILL-O0-NEXT:    # implicit-def: $v8
44; SPILL-O0-NEXT:    vsetvli zero, a0, e64, m1, tu, ma
45; SPILL-O0-NEXT:    vfadd.vv v8, v9, v10
46; SPILL-O0-NEXT:    csrr a0, vlenb
47; SPILL-O0-NEXT:    slli a0, a0, 1
48; SPILL-O0-NEXT:    add sp, sp, a0
49; SPILL-O0-NEXT:    lw ra, 28(sp) # 4-byte Folded Reload
50; SPILL-O0-NEXT:    addi sp, sp, 32
51; SPILL-O0-NEXT:    ret
52;
53; SPILL-O2-LABEL: foo:
54; SPILL-O2:       # %bb.0:
55; SPILL-O2-NEXT:    addi sp, sp, -32
56; SPILL-O2-NEXT:    sw ra, 28(sp) # 4-byte Folded Spill
57; SPILL-O2-NEXT:    sw s0, 24(sp) # 4-byte Folded Spill
58; SPILL-O2-NEXT:    csrr a1, vlenb
59; SPILL-O2-NEXT:    slli a1, a1, 1
60; SPILL-O2-NEXT:    sub sp, sp, a1
61; SPILL-O2-NEXT:    mv s0, a0
62; SPILL-O2-NEXT:    addi a1, sp, 16
63; SPILL-O2-NEXT:    vs1r.v v8, (a1) # Unknown-size Folded Spill
64; SPILL-O2-NEXT:    vsetvli zero, a0, e64, m1, ta, ma
65; SPILL-O2-NEXT:    vfadd.vv v9, v8, v9
66; SPILL-O2-NEXT:    csrr a0, vlenb
67; SPILL-O2-NEXT:    add a0, sp, a0
68; SPILL-O2-NEXT:    addi a0, a0, 16
69; SPILL-O2-NEXT:    vs1r.v v9, (a0) # Unknown-size Folded Spill
70; SPILL-O2-NEXT:    lui a0, %hi(.L.str)
71; SPILL-O2-NEXT:    addi a0, a0, %lo(.L.str)
72; SPILL-O2-NEXT:    call puts
73; SPILL-O2-NEXT:    csrr a0, vlenb
74; SPILL-O2-NEXT:    add a0, sp, a0
75; SPILL-O2-NEXT:    addi a0, a0, 16
76; SPILL-O2-NEXT:    vl1r.v v8, (a0) # Unknown-size Folded Reload
77; SPILL-O2-NEXT:    addi a0, sp, 16
78; SPILL-O2-NEXT:    vl1r.v v9, (a0) # Unknown-size Folded Reload
79; SPILL-O2-NEXT:    vsetvli zero, s0, e64, m1, ta, ma
80; SPILL-O2-NEXT:    vfadd.vv v8, v9, v8
81; SPILL-O2-NEXT:    csrr a0, vlenb
82; SPILL-O2-NEXT:    slli a0, a0, 1
83; SPILL-O2-NEXT:    add sp, sp, a0
84; SPILL-O2-NEXT:    lw ra, 28(sp) # 4-byte Folded Reload
85; SPILL-O2-NEXT:    lw s0, 24(sp) # 4-byte Folded Reload
86; SPILL-O2-NEXT:    addi sp, sp, 32
87; SPILL-O2-NEXT:    ret
88;
89; SPILL-O2-ZCMP-LABEL: foo:
90; SPILL-O2-ZCMP:       # %bb.0:
91; SPILL-O2-ZCMP-NEXT:    cm.push {ra, s0}, -32
92; SPILL-O2-ZCMP-NEXT:    csrr a1, vlenb
93; SPILL-O2-ZCMP-NEXT:    slli a1, a1, 1
94; SPILL-O2-ZCMP-NEXT:    sub sp, sp, a1
95; SPILL-O2-ZCMP-NEXT:    mv s0, a0
96; SPILL-O2-ZCMP-NEXT:    addi a1, sp, 16
97; SPILL-O2-ZCMP-NEXT:    vs1r.v v8, (a1) # Unknown-size Folded Spill
98; SPILL-O2-ZCMP-NEXT:    vsetvli zero, a0, e64, m1, ta, ma
99; SPILL-O2-ZCMP-NEXT:    vfadd.vv v9, v8, v9
100; SPILL-O2-ZCMP-NEXT:    csrr a0, vlenb
101; SPILL-O2-ZCMP-NEXT:    add a0, a0, sp
102; SPILL-O2-ZCMP-NEXT:    addi a0, a0, 16
103; SPILL-O2-ZCMP-NEXT:    vs1r.v v9, (a0) # Unknown-size Folded Spill
104; SPILL-O2-ZCMP-NEXT:    lui a0, %hi(.L.str)
105; SPILL-O2-ZCMP-NEXT:    addi a0, a0, %lo(.L.str)
106; SPILL-O2-ZCMP-NEXT:    call puts
107; SPILL-O2-ZCMP-NEXT:    csrr a0, vlenb
108; SPILL-O2-ZCMP-NEXT:    add a0, a0, sp
109; SPILL-O2-ZCMP-NEXT:    addi a0, a0, 16
110; SPILL-O2-ZCMP-NEXT:    vl1r.v v8, (a0) # Unknown-size Folded Reload
111; SPILL-O2-ZCMP-NEXT:    addi a0, sp, 16
112; SPILL-O2-ZCMP-NEXT:    vl1r.v v9, (a0) # Unknown-size Folded Reload
113; SPILL-O2-ZCMP-NEXT:    vsetvli zero, s0, e64, m1, ta, ma
114; SPILL-O2-ZCMP-NEXT:    vfadd.vv v8, v9, v8
115; SPILL-O2-ZCMP-NEXT:    csrr a0, vlenb
116; SPILL-O2-ZCMP-NEXT:    slli a0, a0, 1
117; SPILL-O2-ZCMP-NEXT:    add sp, sp, a0
118; SPILL-O2-ZCMP-NEXT:    cm.popret {ra, s0}, 32
119{
120   %x = call <vscale x 1 x double> @llvm.riscv.vfadd.nxv1f64.nxv1f64(<vscale x 1 x double> undef, <vscale x 1 x double> %a, <vscale x 1 x double> %b, i32 7, i32 %gvl)
121   %call = call signext i32 @puts(ptr @.str)
122   %z = call <vscale x 1 x double> @llvm.riscv.vfadd.nxv1f64.nxv1f64(<vscale x 1 x double> undef, <vscale x 1 x double> %a, <vscale x 1 x double> %x, i32 7, i32 %gvl)
123   ret <vscale x 1 x double> %z
124}
125
126declare <vscale x 1 x double> @llvm.riscv.vfadd.nxv1f64.nxv1f64(<vscale x 1 x double> %passthru, <vscale x 1 x double> %a, <vscale x 1 x double> %b, i32, i32 %gvl)
127declare i32 @puts(ptr);
128