diff options
| author | Duncan Sands <baldrick@free.fr> | 2008-04-07 13:39:11 +0000 |
|---|---|---|
| committer | Duncan Sands <baldrick@free.fr> | 2008-04-07 13:39:11 +0000 |
| commit | bf3073cb4a6c6cdc2202d1e8ef7d27a9b9d4cbae (patch) | |
| tree | ec8a5ad151a0fabb4238ccccf71c13fbe302911b /lib/VMCore/Verifier.cpp | |
| parent | 05650fd0ba74ad3356d1bc5d1f07ff194b16b82e (diff) | |
| download | external_llvm-bf3073cb4a6c6cdc2202d1e8ef7d27a9b9d4cbae.zip external_llvm-bf3073cb4a6c6cdc2202d1e8ef7d27a9b9d4cbae.tar.gz external_llvm-bf3073cb4a6c6cdc2202d1e8ef7d27a9b9d4cbae.tar.bz2 | |
Make sure that intrinsics automagically get the
right parameter attributes no matter how they
are obtained.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@49335 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/VMCore/Verifier.cpp')
| -rw-r--r-- | lib/VMCore/Verifier.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp index 7ec0cf3..5b8aa76 100644 --- a/lib/VMCore/Verifier.cpp +++ b/lib/VMCore/Verifier.cpp @@ -1452,6 +1452,10 @@ void Verifier::VerifyIntrinsicPrototype(Intrinsic::ID ID, F->getName().substr(Name.length()) + "'. It should be '" + Suffix + "'", F); } + + // Check parameter attributes. + Assert1(F->getParamAttrs() == Intrinsic::getParamAttrs(ID), + "Intrinsic has wrong parameter attributes!", F); } |