diff options
| -rw-r--r-- | lib/VMCore/Verifier.cpp | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp index 86413ed620..43ecf65f7e 100644 --- a/lib/VMCore/Verifier.cpp +++ b/lib/VMCore/Verifier.cpp @@ -1395,8 +1395,18 @@ bool Verifier::PerformTypeCheck(Intrinsic::ID ID, Function *F, const Type *Ty, if (VT < 0) { int Match = ~VT; - if (Match == 0) { - if (Ty != FTy->getReturnType()) { + const Type *RetTy = FTy->getReturnType(); + const StructType *ST = cast<StructType>(RetTy); + unsigned NumRets = 1; + + if (ST) + NumRets = ST->getNumElements(); + + if (Match <= static_cast<int>(NumRets - 1)) { + if (ST) + RetTy = ST->getElementType(Match); + + if (Ty != RetTy) { CheckFailed("Intrinsic parameter #" + utostr(ArgNo - 1) + " does not " "match return type.", F); return false; |