add support for Object.RTTypeid template

dlang · Jul 16, 2022 · 71ab36b · 71ab36b
1 parent a0faedf
commit 71ab36b
Show file tree

Hide file tree

Showing 4 changed files with 52 additions and 10 deletions.
diff --git a/compiler/src/dmd/dsymbolsem.d b/compiler/src/dmd/dsymbolsem.d
@@ -2533,6 +2533,9 @@ private extern(C++) final class DsymbolSemanticVisitor : Visitor
         {
             if (tempdecl.ident == Id.RTInfo)
                 Type.rtinfo = tempdecl;
+
+            if (tempdecl.ident == Id.RTTypeid)
+                Type.rttypeid = tempdecl;
         }
 
         /* Remember Scope for later instantiations, but make

diff --git a/compiler/src/dmd/id.d b/compiler/src/dmd/id.d
@@ -107,6 +107,7 @@ immutable Msgtable[] msgtable =
     { "outer" },
     { "Exception" },
     { "RTInfo" },
+    { "RTTypeid" },
     { "Throwable" },
     { "Error" },
     { "withSym", "__withSym" },

diff --git a/compiler/src/dmd/mtype.d b/compiler/src/dmd/mtype.d
@@ -422,6 +422,7 @@ extern (C++) abstract class Type : ASTNode
     extern (C++) __gshared ClassDeclaration typeinfowild;
 
     extern (C++) __gshared TemplateDeclaration rtinfo;
+    extern (C++) __gshared TemplateDeclaration rttypeid;
 
     extern (C++) __gshared Type[TMAX] basic;
 

diff --git a/compiler/src/dmd/typinf.d b/compiler/src/dmd/typinf.d
@@ -12,16 +12,22 @@
 module dmd.typinf;
 
 import dmd.astenums;
+import dmd.arraytypes;
 import dmd.declaration;
 import dmd.dmodule;
 import dmd.dscope;
 import dmd.dclass;
 import dmd.dstruct;
+import dmd.dsymbolsem;
+import dmd.dtemplate;
 import dmd.errors;
 import dmd.expression;
+import dmd.expressionsem;
 import dmd.globals;
 import dmd.gluelayer;
 import dmd.mtype;
+import dmd.semantic2;
+import dmd.semantic3;
 import dmd.visitor;
 import core.stdc.stdio;
 
@@ -62,16 +68,47 @@ extern (C++) void genTypeInfo(Expression e, const ref Loc loc, Type torig, Scope
     Type t = torig.merge2(); // do this since not all Type's are merge'd
     if (!t.vtinfo)
     {
-        if (t.isShared()) // does both 'shared' and 'shared const'
-            t.vtinfo = TypeInfoSharedDeclaration.create(t);
-        else if (t.isConst())
-            t.vtinfo = TypeInfoConstDeclaration.create(t);
-        else if (t.isImmutable())
-            t.vtinfo = TypeInfoInvariantDeclaration.create(t);
-        else if (t.isWild())
-            t.vtinfo = TypeInfoWildDeclaration.create(t);
-        else
-            t.vtinfo = getTypeInfoDeclaration(t);
+        if (Type.rttypeid)
+        {
+            // Evaluate: RTTypeid!t
+            auto tiargs = new Objects();
+            tiargs.push(t);
+            auto ti = new TemplateInstance(loc, Type.rttypeid, tiargs);
+
+            Scope* sc3 = ti.tempdecl._scope.startCTFE();
+            sc3.tinst = sc.tinst;
+            sc3.minst = sc.minst;
+            ti.dsymbolSemantic(sc3);
+            ti.semantic2(sc3);
+            ti.semantic3(sc3);
+            auto ex = symbolToExp(ti.toAlias(), Loc.initial, sc3, false);
+
+            sc3.endCTFE();
+
+            ex = ex.ctfeInterpret();
+            t.vtinfo = cast(TypeInfoDeclaration) ex.isVarExp();
+            /* Save this for when RTTypeid is fully operational
+            if (!t.vtinfo)
+            {
+                .error(loc, "`object.RTTypeid!T` did not return a TypeInfo variable");
+                fatal();
+            }
+            */
+        }
+
+        if (!t.vtinfo)
+        {
+            if (t.isShared()) // does both 'shared' and 'shared const'
+                t.vtinfo = TypeInfoSharedDeclaration.create(t);
+            else if (t.isConst())
+                t.vtinfo = TypeInfoConstDeclaration.create(t);
+            else if (t.isImmutable())
+                t.vtinfo = TypeInfoInvariantDeclaration.create(t);
+            else if (t.isWild())
+                t.vtinfo = TypeInfoWildDeclaration.create(t);
+            else
+                t.vtinfo = getTypeInfoDeclaration(t);
+        }
         assert(t.vtinfo);
 
         // ClassInfos are generated as part of ClassDeclaration codegen