maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Add assert to check if the attributes ZExt/SExt, NoAlias are apply to the 

correct type of parameters.

llvm-svn: 37486
This commit is contained in:
Zhou Sheng 2007-06-07 06:12:03 +00:00
parent be9859eea2
commit 0ae22e99c8
1 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
llvm/lib/VMCore/Verifier.cpp
View File

@ -46,6 +46,7 @@
#include "llvm/Pass.h"
#include "llvm/Module.h"
#include "llvm/ModuleProvider.h"
#include "llvm/ParameterAttributes.h"
#include "llvm/DerivedTypes.h"
#include "llvm/InlineAsm.h"
#include "llvm/Instructions.h"
@ -358,6 +359,20 @@ void Verifier::visitFunction(Function &F) {
FT->getNumParams() > 0 && isa<PointerType>(FT->getParamType(0))),
"Invalid struct-return function!", &F);
if (const ParamAttrsList *Attrs = FT->getParamAttrs()) {
unsigned Idx = 1;
for (FunctionType::param_iterator I = FT->param_begin(),
E = FT->param_end(); I != E; ++I, ++Idx) {
if (Attrs->paramHasAttr(Idx, ParamAttr::ZExt) ||
Attrs->paramHasAttr(Idx, ParamAttr::SExt))
Assert1(FT->getParamType(Idx-1)->isInteger(),
"Attribute ZExt should only apply to Integer type!", &F);
if (Attrs->paramHasAttr(Idx, ParamAttr::NoAlias))
Assert1(isa<PointerType>(FT->getParamType(Idx-1)),
"Attribute NoAlias should only apply to Pointer type!", &F);
}
}
// Check that this function meets the restrictions on this calling convention.
switch (F.getCallingConv()) {
default: