1; RUN: llc -mtriple=riscv32 -stop-after finalize-isel < %s | FileCheck %s -check-prefix=RV32
2; RUN: llc -mtriple=riscv64 -stop-after finalize-isel < %s | FileCheck %s -check-prefix=RV64
3
4; FIXME: The stack location used to pass the parameter to the function has the
5; incorrect size and alignment for how we use it, and we clobber the stack.
6
7declare void @callee(<4 x i8> %v)
8
9define void @caller() {
10  ; RV32-LABEL: name: caller
11  ; RV32: stack:
12  ; RV32:     - { id: 0, name: '', type: default, offset: 0, size: 4, alignment: 4,
13  ; RV32-NEXT:    stack-id: default, callee-saved-register: '', callee-saved-restored: true,
14  ; RV32-NEXT:    debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
15  ; RV32: bb.0 (%ir-block.0):
16  ; RV32:   ADJCALLSTACKDOWN 0, 0, implicit-def dead $x2, implicit $x2
17  ; RV32:   [[ADDI:%[0-9]+]]:gpr = ADDI $x0, 7
18  ; RV32:   SW killed [[ADDI]], %stack.0, 12 :: (store 4 into %stack.0)
19  ; RV32:   [[ADDI1:%[0-9]+]]:gpr = ADDI $x0, 6
20  ; RV32:   SW killed [[ADDI1]], %stack.0, 8 :: (store 4 into %stack.0)
21  ; RV32:   [[ADDI2:%[0-9]+]]:gpr = ADDI $x0, 5
22  ; RV32:   SW killed [[ADDI2]], %stack.0, 4 :: (store 4 into %stack.0)
23  ; RV32:   [[ADDI3:%[0-9]+]]:gpr = ADDI $x0, 4
24  ; RV32:   SW killed [[ADDI3]], %stack.0, 0 :: (store 4 into %stack.0)
25  ; RV32:   [[ADDI4:%[0-9]+]]:gpr = ADDI %stack.0, 0
26  ; RV32:   $x10 = COPY [[ADDI4]]
27  ; RV32:   PseudoCALL target-flags(riscv-plt) @callee, csr_ilp32_lp64, implicit-def dead $x1, implicit $x10, implicit-def $x2
28  ; RV32:   ADJCALLSTACKUP 0, 0, implicit-def dead $x2, implicit $x2
29  ; RV32:   PseudoRET
30  ; RV64-LABEL: name: caller
31  ; RV64: stack:
32  ; RV64:     - { id: 0, name: '', type: default, offset: 0, size: 4, alignment: 4,
33  ; RV64-NEXT:    stack-id: default, callee-saved-register: '', callee-saved-restored: true,
34  ; RV64-NEXT:    debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
35  ; RV64: bb.0 (%ir-block.0):
36  ; RV64:   ADJCALLSTACKDOWN 0, 0, implicit-def dead $x2, implicit $x2
37  ; RV64:   [[ADDI:%[0-9]+]]:gpr = ADDI $x0, 7
38  ; RV64:   SD killed [[ADDI]], %stack.0, 24 :: (store 8 into %stack.0)
39  ; RV64:   [[ADDI1:%[0-9]+]]:gpr = ADDI $x0, 6
40  ; RV64:   SD killed [[ADDI1]], %stack.0, 16 :: (store 8 into %stack.0)
41  ; RV64:   [[ADDI2:%[0-9]+]]:gpr = ADDI $x0, 5
42  ; RV64:   SD killed [[ADDI2]], %stack.0, 8 :: (store 8 into %stack.0)
43  ; RV64:   [[ADDI3:%[0-9]+]]:gpr = ADDI $x0, 4
44  ; RV64:   SD killed [[ADDI3]], %stack.0, 0 :: (store 8 into %stack.0)
45  ; RV64:   [[ADDI4:%[0-9]+]]:gpr = ADDI %stack.0, 0
46  ; RV64:   $x10 = COPY [[ADDI4]]
47  ; RV64:   PseudoCALL target-flags(riscv-plt) @callee, csr_ilp32_lp64, implicit-def dead $x1, implicit $x10, implicit-def $x2
48  ; RV64:   ADJCALLSTACKUP 0, 0, implicit-def dead $x2, implicit $x2
49  ; RV64:   PseudoRET
50  call void @callee(<4 x i8> <i8 4, i8 5, i8 6, i8 7>)
51  ret void
52}
53