From 5cbf31668639efa02b8b5261dba9942143729693 Mon Sep 17 00:00:00 2001 From: Zhou Sheng Date: Thu, 7 Jun 2007 06:12:03 +0000 Subject: [PATCH] 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 --- lib/VMCore/Verifier.cpp | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp index 7e92eb303d7..ef7b3f8dbbc 100644 --- a/lib/VMCore/Verifier.cpp +++ b/lib/VMCore/Verifier.cpp @@ -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(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(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: -- 2.34.1