Changes in src/Virtual/Tables.cc [69c5c00:b583113]

File:

• src/Virtual/Tables.cc (modified) (8 diffs)

src/Virtual/Tables.cc

@@ -10 +10 @@
 // Created On       : Mon Aug 31 11:11:00 2020
 // Last Modified By : Andrew Beach
-// Last Modified On : Tue Sep  3 14:56:00 2020
-// Update Count     : 0
+// Last Modified On : Wed Apr 21 15:36:00 2021
+// Update Count     : 2
 //
 
@@ -22 +22 @@
 namespace Virtual {
 
+std::string typeIdType( std::string const & type_name ) {
+        return "__cfatid_struct_" + type_name;
+}
+
+std::string typeIdName( std::string const & type_name ) {
+        return "__cfatid_" + type_name;
+}
+
+static std::string typeIdTypeToInstance( std::string const & type_name ) {
+        return typeIdName(type_name.substr(16));
+}
+
 std::string vtableTypeName( std::string const & name ) {
         return name + "_vtable";
 }
 
+std::string baseTypeName( std::string const & vtable_type_name ) {
+        return vtable_type_name.substr(0, vtable_type_name.size() - 7);
+}
+
 std::string instanceName( std::string const & name ) {
         return std::string("_") + name + "_instance";
@@ -32 +48 @@
 std::string vtableInstanceName( std::string const & name ) {
         return instanceName( vtableTypeName( name ) );
+}
+
+std::string concurrentDefaultVTableName() {
+        return "_default_vtable";
 }
 
@@ -41 +61 @@
 
 static ObjectDecl * makeVtableDeclaration(
+                std::string const & name,
                 StructInstType * type, Initializer * init ) {
-        std::string const & name = instanceName( type->name );
         Type::StorageClasses storage = noStorageClasses;
         if ( nullptr == init ) {
@@ -57 +77 @@
 }
 
-ObjectDecl * makeVtableForward( StructInstType * type ) {
+ObjectDecl * makeVtableForward( std::string const & name, StructInstType * type ) {
         assert( type );
-        return makeVtableDeclaration( type, nullptr );
+        return makeVtableDeclaration( name, type, nullptr );
 }
 
 ObjectDecl * makeVtableInstance(
-                StructInstType * vtableType, Type * objectType, Initializer * init ) {
+                std::string const & name, StructInstType * vtableType,
+                Type * objectType, Initializer * init ) {
         assert( vtableType );
         assert( objectType );
@@ -81 +102 @@
                                 inits.push_back(
                                                 new SingleInit( new AddressExpr( new NameExpr( parentInstance ) ) ) );
+                        } else if ( std::string( "__cfavir_typeid" ) == field->name ) {
+                                std::string const & baseType = baseTypeName( vtableType->name );
+                                std::string const & typeId = typeIdName( baseType );
+                                inits.push_back( new SingleInit( new AddressExpr( new NameExpr( typeId ) ) ) );
                         } else if ( std::string( "size" ) == field->name ) {
                                 inits.push_back( new SingleInit( new SizeofExpr( objectType->clone() ) ) );
@@ -95 +120 @@
                 assert(false);
         }
-        return makeVtableDeclaration( vtableType, init );
+        return makeVtableDeclaration( name, vtableType, init );
 }
 
@@ -147 +172 @@
 }
 
-}
+Attribute * linkonce( const std::string & subsection ) {
+        const std::string section = ".gnu.linkonce." + subsection;
+        return new Attribute( "section", {
+                new ConstantExpr( Constant::from_string( section ) ),
+        } );
+}
+
+ObjectDecl * makeTypeIdInstance( StructInstType const * typeIdType ) {
+        assert( typeIdType );
+        StructInstType * type = typeIdType->clone();
+        type->tq.is_const = true;
+        std::string const & typeid_name = typeIdTypeToInstance( typeIdType->name );
+        return new ObjectDecl(
+                typeid_name,
+                noStorageClasses,
+                LinkageSpec::Cforall,
+                /* bitfieldWidth */ nullptr,
+                type,
+                new ListInit( { new SingleInit(
+                        new AddressExpr( new NameExpr( "__cfatid_exception_t" ) )
+                        ) } ),
+                { linkonce( typeid_name ) },
+                noFuncSpecifiers
+        );
+}
+
+}