RPCSX/llvm
1
0
Fork 0
mirror of https://github.com/RPCSX/llvm.git synced 2024-12-02 08:46:23 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Let invoke return aggregate value.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@47425 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Devang Patel 2008-02-21 02:14:01 +00:00
parent bb4f8d4045
commit db71d63467
3 changed files with 14 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/VMCore/Value.cpp
View File

@ -34,7 +34,7 @@ static inline const Type *checkType(const Type *Ty) {
Value::Value(const Type *ty, unsigned scid)
: SubclassID(scid), SubclassData(0), Ty(checkType(ty)),
UseList(0), Name(0) {
if (isa<CallInst>(this))
if (isa<CallInst>(this) || isa<InvokeInst>(this))
assert((Ty->isFirstClassType() || Ty == Type::VoidTy ||
isa<OpaqueType>(ty) || Ty->getTypeID() == Type::StructTyID) &&
"invalid CallInst type!");

5
lib/VMCore/Verifier.cpp
View File

@ -1072,7 +1072,8 @@ void Verifier::visitInstruction(Instruction &I) {
// Check that the return value of the instruction is either void or a legal
// value type.
Assert1(I.getType() == Type::VoidTy || I.getType()->isFirstClassType()
|| (isa<CallInst>(I) && I.getType()->getTypeID() == Type::StructTyID),
|| ((isa<CallInst>(I) || isa<InvokeInst>(I))
&& I.getType()->getTypeID() == Type::StructTyID),
"Instruction returns a non-scalar type!", &I);
// Check that all uses of the instruction, if they are instructions
@ -1096,7 +1097,7 @@ void Verifier::visitInstruction(Instruction &I) {
if (isa<ReturnInst>(I) || isa<GetResultInst>(I))
Assert1(I.getOperand(i)->getType()->getTypeID() == Type::StructTyID,
"Invalid ReturnInst operands!", &I);
else if (isa<CallInst>(I)) {
else if (isa<CallInst>(I) || isa<InvokeInst>(I)) {
if (const PointerType *PT = dyn_cast<PointerType>
(I.getOperand(i)->getType())) {
const Type *ETy = PT->getElementType();

10
test/Assembler/2008-02-20-MultipleReturnValue.ll
View File

@ -10,3 +10,13 @@ define i8 @f2(i32 %p) {
%e = add i8 %d, 1
ret i8 %e
}
define i32 @f3(i32 %p) {
%c = invoke {i32, i8} @foo(i32 %p)
to label %L unwind label %L2
L:
%d = getresult {i32, i8} %c, 0
ret i32 %d
L2:
ret i32 0
}