diff options
| author | Anton Korobeynikov <asl@math.spbu.ru> | 2006-09-14 18:23:27 +0000 |
|---|---|---|
| committer | Anton Korobeynikov <asl@math.spbu.ru> | 2006-09-14 18:23:27 +0000 |
| commit | b74ed07bfd3af42331b1964c24c39912610a08f4 (patch) | |
| tree | 23784905a2ba3e6ebe644e62b54658950cbf8fa1 /lib/VMCore/Verifier.cpp | |
| parent | a17cf0a7e2d9aa6d9bb6f9461a6fa8a9ac02bab4 (diff) | |
| download | llvm-b74ed07bfd3af42331b1964c24c39912610a08f4.tar.gz llvm-b74ed07bfd3af42331b1964c24c39912610a08f4.tar.bz2 llvm-b74ed07bfd3af42331b1964c24c39912610a08f4.tar.xz | |
Adding dllimport, dllexport and external weak linkage types.
DLL* linkages got full (I hope) codegeneration support in C & both x86
assembler backends.
External weak linkage added for future use, we don't provide any
codegeneration, etc. support for it.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@30374 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/VMCore/Verifier.cpp')
| -rw-r--r-- | lib/VMCore/Verifier.cpp | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp index 606a43f075..cbef68b7dc 100644 --- a/lib/VMCore/Verifier.cpp +++ b/lib/VMCore/Verifier.cpp @@ -257,8 +257,16 @@ namespace { // Anonymous namespace for class void Verifier::visitGlobalValue(GlobalValue &GV) { - Assert1(!GV.isExternal() || GV.hasExternalLinkage(), - "Global is external, but doesn't have external linkage!", &GV); + Assert1(!GV.isExternal() || + GV.hasExternalLinkage() || + GV.hasDLLImportLinkage() || + GV.hasExternalWeakLinkage(), + "Global is external, but doesn't have external or dllimport or weak linkage!", + &GV); + + Assert1(!GV.hasDLLImportLinkage() || GV.isExternal(), + "Global is marked as dllimport, but not external", &GV); + Assert1(!GV.hasAppendingLinkage() || isa<GlobalVariable>(GV), "Only global variables can have appending linkage!", &GV); |