mirror of
https://github.com/RPCS3/llvm.git
synced 2024-12-09 20:54:10 +00:00
Add assert to check if the attributes ZExt/SExt, NoAlias are apply to the
correct type of parameters. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37486 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
d4de6d91b2
commit
5cbf316686
@ -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:
|
||||
|
Loading…
Reference in New Issue
Block a user