mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-23 02:29:18 +00:00
If a function returns a large struct by value return the first 4 words in registers and the rest on the stack in a location reserved by the caller. This is needed to support the xC language which supports functions returning an arbitrary number of return values. This is r202397 reapplied with a fix to avoid an uninitialized read of a member. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@202414 91177308-0d34-0410-b5e6-96231b3b80d8
75 lines
2.0 KiB
LLVM
75 lines
2.0 KiB
LLVM
; RUN: llc < %s -march=xcore | FileCheck %s
|
|
|
|
%0 = type { i32, i32, i32, i32 }
|
|
%1 = type { i32, i32, i32, i32, i32 }
|
|
|
|
; Structs of 4 words are returned in registers
|
|
define internal %0 @ReturnBigStruct() nounwind readnone {
|
|
entry:
|
|
%0 = insertvalue %0 zeroinitializer, i32 12, 0
|
|
%1 = insertvalue %0 %0, i32 24, 1
|
|
%2 = insertvalue %0 %1, i32 48, 2
|
|
%3 = insertvalue %0 %2, i32 24601, 3
|
|
ret %0 %3
|
|
}
|
|
; CHECK-LABEL: ReturnBigStruct:
|
|
; CHECK: ldc r0, 12
|
|
; CHECK: ldc r1, 24
|
|
; CHECK: ldc r2, 48
|
|
; CHECK: ldc r3, 24601
|
|
; CHECK: retsp 0
|
|
|
|
; Structs of more than 4 words are partially returned in memory so long as the
|
|
; function is not variadic.
|
|
define { i32, i32, i32, i32, i32} @f(i32, i32, i32, i32, i32) nounwind readnone {
|
|
; CHECK-LABEL: f:
|
|
; CHECK: ldc [[REGISTER:r[0-9]+]], 5
|
|
; CHECK-NEXT: stw [[REGISTER]], sp[2]
|
|
; CHECK-NEXT: retsp 0
|
|
body:
|
|
ret { i32, i32, i32, i32, i32} { i32 undef, i32 undef, i32 undef, i32 undef, i32 5}
|
|
}
|
|
|
|
@x = external global i32
|
|
@y = external global i32
|
|
|
|
; Check we call a function returning more than 4 words correctly.
|
|
define i32 @g() nounwind {
|
|
; CHECK-LABEL: g:
|
|
; CHECK: entsp 3
|
|
; CHECK: ldc [[REGISTER:r[0-9]+]], 0
|
|
; CHECK: stw [[REGISTER]], sp[1]
|
|
; CHECK: bl f
|
|
; CHECK-NEXT: ldw r0, sp[2]
|
|
; CHECK-NEXT: retsp 3
|
|
;
|
|
body:
|
|
%0 = call { i32, i32, i32, i32, i32 } @f(i32 0, i32 0, i32 0, i32 0, i32 0)
|
|
%1 = extractvalue { i32, i32, i32, i32, i32 } %0, 4
|
|
ret i32 %1
|
|
}
|
|
|
|
; Variadic functions return structs bigger than 4 words via a hidden
|
|
; sret-parameter
|
|
define internal %1 @ReturnBigStruct2(i32 %dummy, ...) nounwind readnone {
|
|
entry:
|
|
%0 = insertvalue %1 zeroinitializer, i32 12, 0
|
|
%1 = insertvalue %1 %0, i32 24, 1
|
|
%2 = insertvalue %1 %1, i32 48, 2
|
|
%3 = insertvalue %1 %2, i32 24601, 3
|
|
%4 = insertvalue %1 %3, i32 4321, 4
|
|
ret %1 %4
|
|
}
|
|
; CHECK-LABEL: ReturnBigStruct2:
|
|
; CHECK: ldc r1, 4321
|
|
; CHECK: stw r1, r0[4]
|
|
; CHECK: ldc r1, 24601
|
|
; CHECK: stw r1, r0[3]
|
|
; CHECK: ldc r1, 48
|
|
; CHECK: stw r1, r0[2]
|
|
; CHECK: ldc r1, 24
|
|
; CHECK: stw r1, r0[1]
|
|
; CHECK: ldc r1, 12
|
|
; CHECK: stw r1, r0[0]
|
|
; CHECK: retsp 0
|