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 | 9d3e79107d4ea26fe64a30e9981897735df10952 (patch) | |
| tree | ed17ba3ae85c69b8de736dd0c490365f9f48e5f4 /lib/VMCore/Verifier.cpp | |
| parent | fdef00f1f7da225ad5d21f3148487e3547954a0c (diff) | |
| download | external_llvm-9d3e79107d4ea26fe64a30e9981897735df10952.zip external_llvm-9d3e79107d4ea26fe64a30e9981897735df10952.tar.gz external_llvm-9d3e79107d4ea26fe64a30e9981897735df10952.tar.bz2 | |
It seems logical that InReg should be incompatible
with StructReturn and ByVal, so make it so.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@40554 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/VMCore/Verifier.cpp')
| -rw-r--r-- | lib/VMCore/Verifier.cpp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp index 7dc4647..6d4aa98 100644 --- a/lib/VMCore/Verifier.cpp +++ b/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)) { |