diff options
| author | Duncan Sands <baldrick@free.fr> | 2007-07-27 16:45:18 +0000 |
|---|---|---|
| committer | Duncan Sands <baldrick@free.fr> | 2007-07-27 16:45:18 +0000 |
| commit | 5d49bcdce099d67e17c21fd37a09c24d36797629 (patch) | |
| tree | 2f0968e07fd01199b503c3956c8b9af30c9cc9ae /llvm/lib/VMCore/Verifier.cpp | |
| parent | 07c906623861576abc9b94a2285124a236272a32 (diff) | |
| download | bcm5719-llvm-5d49bcdce099d67e17c21fd37a09c24d36797629.tar.gz bcm5719-llvm-5d49bcdce099d67e17c21fd37a09c24d36797629.zip | |
It seems logical that InReg should be incompatible
with StructReturn and ByVal, so make it so.
llvm-svn: 40554
Diffstat (limited to 'llvm/lib/VMCore/Verifier.cpp')
| -rw-r--r-- | llvm/lib/VMCore/Verifier.cpp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/llvm/lib/VMCore/Verifier.cpp b/llvm/lib/VMCore/Verifier.cpp index 7dc46478968..6d4aa986f71 100644 --- a/llvm/lib/VMCore/Verifier.cpp +++ b/llvm/lib/VMCore/Verifier.cpp @@ -365,7 +365,8 @@ void Verifier::visitFunction(Function &F) { ParamAttr::NoReturn | ParamAttr::NoUnwind; const uint16_t MutuallyIncompatible = - ParamAttr::ByVal | ParamAttr::Nest | ParamAttr::StructRet; + ParamAttr::ByVal | ParamAttr::InReg | + ParamAttr::Nest | ParamAttr::StructRet; const uint16_t IntegerTypeOnly = ParamAttr::SExt | ParamAttr::ZExt; @@ -417,8 +418,6 @@ void Verifier::visitFunction(Function &F) { if (Attrs->paramHasAttr(Idx, ParamAttr::Nest)) { Assert1(!SawNest, "More than one parameter has attribute nest!", &F); SawNest = true; - Assert1(!Attrs->paramHasAttr(Idx, ParamAttr::InReg), - "Attributes nest and inreg are incompatible!", &F); } if (Attrs->paramHasAttr(Idx, ParamAttr::StructRet)) { |
