diff options
| author | Reid Spencer <rspencer@reidspencer.com> | 2007-08-05 20:06:04 +0000 |
|---|---|---|
| committer | Reid Spencer <rspencer@reidspencer.com> | 2007-08-05 20:06:04 +0000 |
| commit | 181b6c9cb5def44658d15848e34c5c45d973f065 (patch) | |
| tree | 5831fafbe745d7f588731089d6b26c6468e315b9 /lib/VMCore | |
| parent | 0713ca4255ec38b367dc6d2c68446db026b54e52 (diff) | |
| download | external_llvm-181b6c9cb5def44658d15848e34c5c45d973f065.zip external_llvm-181b6c9cb5def44658d15848e34c5c45d973f065.tar.gz external_llvm-181b6c9cb5def44658d15848e34c5c45d973f065.tar.bz2 | |
Fix minor doxygen nits.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@40854 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/VMCore')
| -rw-r--r-- | lib/VMCore/Verifier.cpp | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp index 86a72c4..c01f0fe 100644 --- a/lib/VMCore/Verifier.cpp +++ b/lib/VMCore/Verifier.cpp @@ -370,6 +370,9 @@ void Verifier::visitFunction(Function &F) { ParamAttr::ByVal | ParamAttr::InReg | ParamAttr::Nest | ParamAttr::StructRet; + const uint16_t MutuallyIncompatible2 = + ParamAttr::ZExt | ParamAttr::SExt; + const uint16_t IntegerTypeOnly = ParamAttr::SExt | ParamAttr::ZExt; @@ -386,6 +389,9 @@ void Verifier::visitFunction(Function &F) { uint16_t RetI = Attrs->getParamAttrs(0) & ReturnIncompatible; Assert1(!RetI, "Attribute " + Attrs->getParamAttrsText(RetI) + "should not apply to functions!", &F); + uint16_t MutI = Attrs->getParamAttrs(0) & MutuallyIncompatible2; + Assert1(MutI != MutuallyIncompatible2, "Attributes" + + Attrs->getParamAttrsText(MutI) + "are incompatible!", &F); for (FunctionType::param_iterator I = FT->param_begin(), E = FT->param_end(); I != E; ++I, ++Idx) { @@ -400,6 +406,10 @@ void Verifier::visitFunction(Function &F) { Assert1(!(MutI & (MutI - 1)), "Attributes " + Attrs->getParamAttrsText(MutI) + "are incompatible!", &F); + uint16_t MutI2 = Attr & MutuallyIncompatible2; + Assert1(MutI2 != MutuallyIncompatible2, "Attributes" + + Attrs->getParamAttrsText(MutI2) + "are incompatible!", &F); + uint16_t IType = Attr & IntegerTypeOnly; Assert1(!IType || FT->getParamType(Idx-1)->isInteger(), "Attribute " + Attrs->getParamAttrsText(IType) + |