From 6da09c01b3e34baae224185b52fe8c4ad0bdaec4 Mon Sep 17 00:00:00 2001
From: Tomas Lindquist Olsen <tomas.l.olsen@gmail.com>
Date: Sun, 18 Nov 2007 08:25:07 +0100
Subject: [PATCH] [svn r107] Getting .classinfo on a class instance now works
 (classinfo is stored in vtable)

---
 dmd/mtype.c              | 23 ++++++++++++++++++++---
 gen/classes.cpp          | 36 +++++++++++++++++++++++++++---------
 gen/irstate.cpp          | 10 +---------
 gen/irstate.h            |  1 -
 gen/tollvm.cpp           | 18 ++++++++----------
 gen/toobj.cpp            | 10 ++++++++++
 llvmdc.kdevelop.filelist |  1 +
 test/classinfo2.d        | 17 +++++++++++++++++
 8 files changed, 84 insertions(+), 32 deletions(-)
 create mode 100644 test/classinfo2.d

diff --git a/dmd/mtype.c b/dmd/mtype.c
index f778f11e..e74f6b6c 100644
--- a/dmd/mtype.c
+++ b/dmd/mtype.c
@@ -4502,9 +4502,24 @@ L1:
 		e->type = t;	// do this so we don't get redundant dereference
 	    }
 	    else
-	    {	/* For class objects, the classinfo reference is the first
-		 * entry in the vtbl[]
-		 */
+	    {
+        /* For class objects, the classinfo reference is the first
+         * entry in the vtbl[]
+         */
+#if IN_LLVM
+
+        e = e->castTo(sc, t->pointerTo()->pointerTo());
+        e = new PtrExp(e->loc, e);
+        e->type = t->pointerTo();
+        e = new PtrExp(e->loc, e);
+        e->type = t;
+        if (sym->isInterfaceDeclaration())
+        {
+            assert(0 && "No interfaces yet!");
+        }
+
+#else
+
 		e = new PtrExp(e->loc, e);
 		e->type = t->pointerTo();
 		if (sym->isInterfaceDeclaration())
@@ -4526,6 +4541,8 @@ L1:
 		    e->type = t->pointerTo();
 		}
 		e = new PtrExp(e->loc, e, t);
+
+#endif
 	    }
 	    return e;
 	}
diff --git a/gen/classes.cpp b/gen/classes.cpp
index 99e6b9a5..e3010221 100644
--- a/gen/classes.cpp
+++ b/gen/classes.cpp
@@ -46,6 +46,10 @@ void DtoResolveClass(ClassDeclaration* cd)
     if (cd->baseClass) {
         DtoResolveClass(cd->baseClass);
     }
+    // resolve typeinfo
+    //DtoResolveClass(ClassDeclaration::typeinfo);
+    // resolve classinfo
+    //DtoResolveClass(ClassDeclaration::classinfo);
 
     Logger::println("DtoResolveClass(%s)", cd->toPrettyChars());
     LOG_SCOPE;
@@ -89,7 +93,10 @@ void DtoResolveClass(ClassDeclaration* cd)
     llvm::cast<llvm::OpaqueType>(spa.get())->refineAbstractTypeTo(structtype);
     structtype = isaStruct(spa.get());
 
-    ts->llvmType = new llvm::PATypeHolder(structtype);
+    if (!ts->llvmType)
+        ts->llvmType = new llvm::PATypeHolder(structtype);
+    else
+        *ts->llvmType = structtype;
 
     bool needs_definition = false;
     if (cd->parent->isModule()) {
@@ -118,7 +125,17 @@ void DtoResolveClass(ClassDeclaration* cd)
             sinits_ty.push_back(fpty);
         }
         else if (ClassDeclaration* cd = dsym->isClassDeclaration()) {
-            const llvm::Type* cty = llvm::PointerType::get(llvm::Type::Int8Ty);
+            //Logger::println("*** ClassDeclaration in vtable: %s", cd->toChars());
+            const llvm::Type* cinfoty;
+            if (cd != ClassDeclaration::classinfo) {
+                cd = ClassDeclaration::classinfo;
+                DtoResolveClass(cd);
+                cinfoty = cd->type->llvmType->get();
+            }
+            else {
+                cinfoty = ts->llvmType->get();
+            }
+            const llvm::Type* cty = llvm::PointerType::get(cd->type->llvmType->get());
             sinits_ty.push_back(cty);
         }
         else
@@ -192,6 +209,9 @@ void DtoDeclareClass(ClassDeclaration* cd)
     gIR->constInitList.push_back(cd);
     if (needs_definition)
         gIR->defineList.push_back(cd);
+
+    // classinfo
+    DtoDeclareClassInfo(cd);
 }
 
 //////////////////////////////////////////////////////////////////////////////////////////
@@ -236,7 +256,7 @@ void DtoConstInitClass(ClassDeclaration* cd)
     const llvm::StructType* structtype = isaStruct(ts->llvmType->get());
 
     // generate initializer
-    Logger::cout() << cd->toPrettyChars() << " | " << *structtype << '\n';
+    /*Logger::cout() << cd->toPrettyChars() << " | " << *structtype << '\n';
 
     for(size_t i=0; i<structtype->getNumElements(); ++i) {
         Logger::cout() << "s#" << i << " = " << *structtype->getElementType(i) << '\n';
@@ -244,7 +264,7 @@ void DtoConstInitClass(ClassDeclaration* cd)
 
     for(size_t i=0; i<fieldinits.size(); ++i) {
         Logger::cout() << "i#" << i << " = " << *fieldinits[i]->getType() << '\n';
-    }
+    }*/
 
     llvm::Constant* _init = llvm::ConstantStruct::get(structtype, fieldinits);
     assert(_init);
@@ -265,9 +285,9 @@ void DtoConstInitClass(ClassDeclaration* cd)
             llvm::Constant* c = llvm::cast<llvm::Constant>(fd->llvmValue);
             sinits.push_back(c);
         }
-        else if (ClassDeclaration* cd = dsym->isClassDeclaration()) {
-            const llvm::Type* cty = llvm::PointerType::get(llvm::Type::Int8Ty);
-            llvm::Constant* c = llvm::Constant::getNullValue(cty);
+        else if (ClassDeclaration* cd2 = dsym->isClassDeclaration()) {
+            assert(cd->llvmClass);
+            llvm::Constant* c = cd->llvmClass;
             sinits.push_back(c);
         }
         else
@@ -288,8 +308,6 @@ void DtoConstInitClass(ClassDeclaration* cd)
 
     gIR->classes.pop_back();
     gIR->structs.pop_back();
-
-    DtoDeclareClassInfo(cd);
 }
 
 //////////////////////////////////////////////////////////////////////////////////////////
diff --git a/gen/irstate.cpp b/gen/irstate.cpp
index 93e42c43..3d74b4a0 100644
--- a/gen/irstate.cpp
+++ b/gen/irstate.cpp
@@ -105,16 +105,8 @@ bool IRState::scopereturned()
 
 //////////////////////////////////////////////////////////////////////////////////////////
 
-IRStruct::IRStruct()
- : recty(llvm::OpaqueType::get())
-{
-    type = 0;
-    defined = false;
-    constinited = false;
-}
-
 IRStruct::IRStruct(Type* t)
- : recty(llvm::OpaqueType::get())
+ : recty((t->llvmType != NULL) ? *t->llvmType : llvm::OpaqueType::get())
 {
     type = t;
     defined = false;
diff --git a/gen/irstate.h b/gen/irstate.h
index e64a4f27..2c6d9f44 100644
--- a/gen/irstate.h
+++ b/gen/irstate.h
@@ -56,7 +56,6 @@ struct IRStruct : Object
     typedef std::vector<VarDeclaration*> VarDeclVector;
 
 public:
-    IRStruct();
     IRStruct(Type*);
 
     Type* type;
diff --git a/gen/tollvm.cpp b/gen/tollvm.cpp
index 478e4aa8..f38db93a 100644
--- a/gen/tollvm.cpp
+++ b/gen/tollvm.cpp
@@ -111,12 +111,11 @@ const llvm::Type* DtoType(Type* t)
                     }
                 }
             }
-
-            // forward declaration
-            TypeStruct* ts = (TypeStruct*)t;
-            assert(ts->sym);
-            DtoResolveDsymbol(ts->sym);
         }
+
+        TypeStruct* ts = (TypeStruct*)t;
+        assert(ts->sym);
+        DtoResolveDsymbol(ts->sym);
         return t->llvmType->get();
     }
 
@@ -134,12 +133,11 @@ const llvm::Type* DtoType(Type* t)
                     }
                 }
             }
-
-            // forward declaration
-            TypeClass* tc = (TypeClass*)t;
-            assert(tc->sym);
-            DtoResolveDsymbol(tc->sym);
         }
+
+        TypeClass* tc = (TypeClass*)t;
+        assert(tc->sym);
+        DtoResolveDsymbol(tc->sym);
         return llvm::PointerType::get(t->llvmType->get());
     }
 
diff --git a/gen/toobj.cpp b/gen/toobj.cpp
index 57cd1cd7..29a97e28 100644
--- a/gen/toobj.cpp
+++ b/gen/toobj.cpp
@@ -85,6 +85,16 @@ Module::genobjfile()
         ir.dmodule->llvmCompileUnit = DtoDwarfCompileUnit(this,true);
     }
 
+    // start out by providing opaque for the built-in class types
+    if (!ClassDeclaration::object->type->llvmType)
+        ClassDeclaration::object->type->llvmType = new llvm::PATypeHolder(llvm::OpaqueType::get());
+
+    if (!Type::typeinfo->type->llvmType)
+        Type::typeinfo->type->llvmType = new llvm::PATypeHolder(llvm::OpaqueType::get());
+
+    if (!ClassDeclaration::classinfo->type->llvmType)
+        ClassDeclaration::classinfo->type->llvmType = new llvm::PATypeHolder(llvm::OpaqueType::get());
+
     // process module members
     for (int k=0; k < members->dim; k++) {
         Dsymbol* dsym = (Dsymbol*)(members->data[k]);
diff --git a/llvmdc.kdevelop.filelist b/llvmdc.kdevelop.filelist
index 6c84df3f..c3abd396 100644
--- a/llvmdc.kdevelop.filelist
+++ b/llvmdc.kdevelop.filelist
@@ -314,6 +314,7 @@ test/classes6.d
 test/classes7.d
 test/classes8.d
 test/classinfo1.d
+test/classinfo2.d
 test/comma.d
 test/complex1.d
 test/cond.d
diff --git a/test/classinfo2.d b/test/classinfo2.d
new file mode 100644
index 00000000..338cd8af
--- /dev/null
+++ b/test/classinfo2.d
@@ -0,0 +1,17 @@
+module classinfo2;
+
+class C
+{
+}
+
+class D : C
+{
+}
+
+void main()
+{
+    D d;
+    d = new D;
+    ClassInfo ci = d.classinfo;
+    assert(ci is D.classinfo);
+}