6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-01-19 04:32:19 +00:00
Code Issues Projects Releases Wiki Activity

Change the Verifier to support returning first class aggregrates.

Browse Source 
Add a testcase for functions returning first class aggregrates.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52002 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Matthijs Kooijman 2008-06-05 14:00:36 +00:00
parent b499c86331
commit 411e6a5efb
2 changed files with 26 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
lib/VMCore/Verifier.cpp
View File

@ -594,7 +594,10 @@ void Verifier::visitReturnInst(ReturnInst &RI) {
Assert2(N == 0,
"Found return instr that returns void in Function of non-void "
"return type!", &RI, F->getReturnType());
else if (const StructType *STy = dyn_cast<StructType>(F->getReturnType())) {
else if (N > 1) {
const StructType *STy = dyn_cast<StructType>(F->getReturnType());
Assert2(STy, "Return instr with multiple values, but return type is not "
"a struct", &RI, F->getReturnType());
Assert2(STy->getNumElements() == N,
"Incorrect number of return values in ret instruction!",
&RI, F->getReturnType());

22
test/Assembler/AggregrateReturn.ll Normal file
View File

@ -0,0 +1,22 @@
; RUN: llvm-as < %s | llvm-dis
define { i32, i32 } @foo() {
%res = insertvalue { i32, i32 } undef, i32 0, 0
%res2 = insertvalue { i32, i32 } %res, i32 1, 1
ret { i32, i32 } %res2
}
define [ 2 x i32 ] @bar() {
%res = insertvalue [ 2 x i32 ] undef, i32 0, 0
%res2 = insertvalue [ 2 x i32 ] %res, i32 1, 1
ret [ 2 x i32 ] %res2
}
define i32 @main() {
%a = call { i32, i32 }()* @foo ()
%b = call [ 2 x i32 ]()* @bar ()
%a.0 = extractvalue { i32, i32 } %a, 0
%b.1 = extractvalue [ 2 x i32 ] %b, 1
%r = add i32 %a.0, %b.1
ret i32 %r
}