diff options
author | Richard Osborne <richard@xmos.com> | 2014-02-27 14:00:40 +0000 |
---|---|---|
committer | Richard Osborne <richard@xmos.com> | 2014-02-27 14:00:40 +0000 |
commit | ad4ffce35ffe77b25f4a670823225a9151725630 (patch) | |
tree | acb7e0d50d078b14eec5a10372aa88e50da337aa /test/CodeGen/XCore | |
parent | 6257ef873272c6a09638a80872dfce65a7946fb6 (diff) | |
download | llvm-ad4ffce35ffe77b25f4a670823225a9151725630.tar.gz llvm-ad4ffce35ffe77b25f4a670823225a9151725630.tar.bz2 llvm-ad4ffce35ffe77b25f4a670823225a9151725630.tar.xz |
[XCore] Support functions returning more than 4 words.
Summary:
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.
Reviewers: robertlytton
Reviewed By: robertlytton
CC: llvm-commits
Differential Revision: http://llvm-reviews.chandlerc.com/D2889
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@202397 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/XCore')
-rw-r--r-- | test/CodeGen/XCore/bigstructret.ll | 39 |
1 files changed, 35 insertions, 4 deletions
diff --git a/test/CodeGen/XCore/bigstructret.ll b/test/CodeGen/XCore/bigstructret.ll index 877c57140a..567b372091 100644 --- a/test/CodeGen/XCore/bigstructret.ll +++ b/test/CodeGen/XCore/bigstructret.ll @@ -3,8 +3,8 @@ %0 = type { i32, i32, i32, i32 } %1 = type { i32, i32, i32, i32, i32 } -; Structs of 4 words can be returned in registers -define internal fastcc %0 @ReturnBigStruct() nounwind readnone { +; 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 @@ -19,8 +19,39 @@ entry: ; CHECK: ldc r3, 24601 ; CHECK: retsp 0 -; Structs bigger than 4 words are returned via a hidden hidden sret-parameter -define internal fastcc %1 @ReturnBigStruct2() nounwind readnone { +; 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 |