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

csret functions can be varargs (as can target cc's). Verify restrictions on

Browse Source 
csret functions.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@28405 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner
2006-05-19 21:25:17 +00:00
parent 91b18484ae
commit 80105ddf51
1 changed files with 18 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
lib/VMCore/Verifier.cpp
View File

@@ -302,9 +302,6 @@ void Verifier::verifySymbolTable(SymbolTable &ST) {
// visitFunction - Verify that a function is ok. // visitFunction - Verify that a function is ok.
// //
void Verifier::visitFunction(Function &F) { void Verifier::visitFunction(Function &F) {
Assert1(!F.isVarArg() || F.getCallingConv() == CallingConv::C,
"Varargs functions must have C calling conventions!", &F);
// Check function arguments. // Check function arguments.
const FunctionType *FT = F.getFunctionType(); const FunctionType *FT = F.getFunctionType();
unsigned NumArgs = F.getArgumentList().size(); unsigned NumArgs = F.getArgumentList().size();
@@ -316,6 +313,24 @@ void Verifier::visitFunction(Function &F) {
F.getReturnType() == Type::VoidTy, F.getReturnType() == Type::VoidTy,
"Functions cannot return aggregate values!", &F); "Functions cannot return aggregate values!", &F);
// Check that this function meets the restrictions on this calling convention.
switch (F.getCallingConv()) {
default:
break;
case CallingConv::C:
break;
case CallingConv::CSRet:
Assert1(FT->getReturnType() == Type::VoidTy &&
FT->getNumParams() > 0 && isa<PointerType>(FT->getParamType(0)),
"Invalid struct-return function!", &F);
break;
case CallingConv::Fast:
case CallingConv::Cold:
Assert1(!F.isVarArg(),
"Varargs functions must have C calling conventions!", &F);
break;
}
// Check that the argument values match the function type for this function... // Check that the argument values match the function type for this function...
unsigned i = 0; unsigned i = 0;
for (Function::arg_iterator I = F.arg_begin(), E = F.arg_end(); I != E; ++I, ++i) { for (Function::arg_iterator I = F.arg_begin(), E = F.arg_end(); I != E; ++I, ++i) {