diff options
| author | David Robillard <d@drobilla.net> | 2011-05-14 06:51:51 +0000 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2011-05-14 06:51:51 +0000 |
| commit | 6cbeccf2ca0df91e5b71ccdbfcf412535f0c1179 (patch) | |
| tree | 2df6d87917144977b63b5a7d1762b724b1832bab /src/llvm.cpp | |
| parent | b4745f2217a735b3b5ea2a163f79a90f1457a59f (diff) | |
| download | resp-6cbeccf2ca0df91e5b71ccdbfcf412535f0c1179.tar.gz resp-6cbeccf2ca0df91e5b71ccdbfcf412535f0c1179.tar.bz2 resp-6cbeccf2ca0df91e5b71ccdbfcf412535f0c1179.zip | |
Use recursive types in IR rather than fugly __REC kludge.
git-svn-id: http://svn.drobilla.net/resp/trunk@420 ad02d1e2-f140-0410-9f75-f8b11f17cedd
Diffstat (limited to 'src/llvm.cpp')
| -rw-r--r-- | src/llvm.cpp | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/llvm.cpp b/src/llvm.cpp index 68a2a83..a0b635b 100644 --- a/src/llvm.cpp +++ b/src/llvm.cpp @@ -121,6 +121,7 @@ private: CType objectT; PATypeHolder* opaqueT; + std::string opaqueName; typedef std::map<const std::string, const Type*> CTypes; CTypes compiledTypes; @@ -186,7 +187,10 @@ LLVMEngine::llType(const AST* t, const char* name) if (sym == "String") return PointerType::get(Type::getInt8Ty(context), 0); if (sym == "Symbol") return PointerType::get(Type::getInt8Ty(context), 0); if (sym == "Expr") return PointerType::get(Type::getInt8Ty(context), 0); - if (sym == "__REC") { if (!opaqueT) throw; return *opaqueT;} + if (sym == opaqueName) { + THROW_IF(!opaqueT, t->loc, "Broken recursive type"); + return *opaqueT; + } CTypes::const_iterator i = compiledTypes.find(sym); if (i != compiledTypes.end()) @@ -199,7 +203,8 @@ LLVMEngine::llType(const AST* t, const char* name) // Define opaque type to stand for name in recursive type body if (name) { THROW_IF(opaqueT, t->loc, "Nested recursive types"); - opaqueT = new PATypeHolder(OpaqueType::get(context)); + opaqueT = new PATypeHolder(OpaqueType::get(context)); + opaqueName = name; } const Type* ret; @@ -247,6 +252,7 @@ LLVMEngine::llType(const AST* t, const char* name) ((OpaqueType*)opaqueT->get())->refineAbstractTypeTo(ptrT); ptrT = cast<PointerType>(opaqueT->get()); // update potentially invalidated type opaqueT = NULL; + opaqueName = ""; module->addTypeName(name, retT.get()); } |