Changeset a40d503 for src/SymTab/Indexer.cc

Timestamp:

Dec 1, 2017, 5:12:03 PM (7 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

e4bc986

Parents:

3ca540f

Message:

Add base expression to Indexer MangleTable? and implement WithStmt? functionality

File:

• src/SymTab/Indexer.cc (modified) (15 diffs)

src/SymTab/Indexer.cc

@@ -40 +40 @@
 
 namespace SymTab {
-        typedef std::unordered_map< std::string, DeclarationWithType* > MangleTable;
+        std::ostream & operator<<( std::ostream & out, const Indexer::IdData & data ) {
+                return out << "(" << data.id << "," << data.baseExpr << ")";
+        }
+
+        typedef std::unordered_map< std::string, Indexer::IdData > MangleTable;
         typedef std::unordered_map< std::string, MangleTable > IdTable;
         typedef std::unordered_map< std::string, NamedTypeDecl* > TypeTable;
@@ -97 +101 @@
         }
 
-        void Indexer::removeSpecialOverrides( const std::string &id, std::list< DeclarationWithType * > & out ) const {
+        void Indexer::removeSpecialOverrides( const std::string &id, std::list< IdData > & out ) const {
                 // only need to perform this step for constructors, destructors, and assignment functions
                 if ( ! CodeGen::isCtorDtorAssign( id ) ) return;
@@ -104 +108 @@
                 struct ValueType {
                         struct DeclBall {
-                                FunctionDecl * decl;
+                                IdData decl;
                                 bool isUserDefinedFunc; // properties for this particular decl
                                 bool isDefaultCtor;
@@ -120 +124 @@
                         // another FunctionDecl for the current type was found - determine
                         // if it has special properties and update data structure accordingly
-                        ValueType & operator+=( FunctionDecl * function ) {
+                        ValueType & operator+=( IdData data ) {
+                                DeclarationWithType * function = data.id;
                                 bool isUserDefinedFunc = ! LinkageSpec::isOverridable( function->get_linkage() );
                                 bool isDefaultCtor = InitTweak::isDefaultConstructor( function );
                                 bool isDtor = InitTweak::isDestructor( function );
                                 bool isCopyFunc = InitTweak::isCopyFunction( function, function->get_name() );
-                                decls.push_back( DeclBall{ function, isUserDefinedFunc, isDefaultCtor, isDtor, isCopyFunc } );
+                                decls.push_back( DeclBall{ data, isUserDefinedFunc, isDefaultCtor, isDtor, isCopyFunc } );
                                 existsUserDefinedFunc = existsUserDefinedFunc || isUserDefinedFunc;
                                 existsUserDefinedCtor = existsUserDefinedCtor || (isUserDefinedFunc && CodeGen::isConstructor( function->get_name() ) );
@@ -135 +140 @@
                 }; // ValueType
 
-                std::list< DeclarationWithType * > copy;
+                std::list< IdData > copy;
                 copy.splice( copy.end(), out );
 
                 // organize discovered declarations by type
                 std::unordered_map< std::string, ValueType > funcMap;
-                for ( DeclarationWithType * decl : copy ) {
-                        if ( FunctionDecl * function = dynamic_cast< FunctionDecl * >( decl ) ) {
+                for ( auto decl : copy ) {
+                        if ( FunctionDecl * function = dynamic_cast< FunctionDecl * >( decl.id ) ) {
                                 std::list< DeclarationWithType * > & params = function->get_functionType()->get_parameters();
                                 assert( ! params.empty() );
@@ -147 +152 @@
                                 Type * base = InitTweak::getPointerBase( params.front()->get_type() );
                                 assert( base );
-                                funcMap[ Mangler::mangle( base ) ] += function;
+                                funcMap[ Mangler::mangle( base ) ] += decl;
                         } else {
                                 out.push_back( decl );
@@ -164 +169 @@
                                 bool noUserDefinedFunc = ! val.existsUserDefinedFunc;
                                 bool isUserDefinedFunc = ball.isUserDefinedFunc;
-                                bool isAcceptableDefaultCtor = (! val.existsUserDefinedCtor || (! val.existsUserDefinedDefaultCtor && ball.decl->get_linkage() == LinkageSpec::Intrinsic)) && ball.isDefaultCtor; // allow default constructors only when no user-defined constructors exist, except in the case of intrinsics, which require exact overrides
+                                bool isAcceptableDefaultCtor = (! val.existsUserDefinedCtor || (! val.existsUserDefinedDefaultCtor && ball.decl.id->get_linkage() == LinkageSpec::Intrinsic)) && ball.isDefaultCtor; // allow default constructors only when no user-defined constructors exist, except in the case of intrinsics, which require exact overrides
                                 bool isAcceptableCopyFunc = ! val.existsUserDefinedCopyFunc && ball.isCopyFunc; // handles copy ctor and assignment operator
                                 bool isAcceptableDtor = ! val.existsUserDefinedDtor && ball.isDtor;
@@ -219 +224 @@
         }
 
-        void Indexer::lookupId( const std::string &id, std::list< DeclarationWithType* > &out ) const {
+        void Indexer::lookupId( const std::string &id, std::list< IdData > &out ) const {
                 std::unordered_set< std::string > foundMangleNames;
 
@@ -289 +294 @@
                         const MangleTable &mangleTable = decls->second;
                         MangleTable::const_iterator decl = mangleTable.find( mangleName );
-                        if ( decl != mangleTable.end() ) return decl->second;
+                        if ( decl != mangleTable.end() ) return decl->second.id;
                 }
 
@@ -304 +309 @@
                         for ( MangleTable::const_iterator decl = mangleTable.begin(); decl != mangleTable.end(); ++decl ) {
                                 // check for C decls with the same name, skipping those with a compatible type (by mangleName)
-                                if ( ! LinkageSpec::isMangled( decl->second->get_linkage() ) && decl->first != mangleName ) return true;
+                                if ( ! LinkageSpec::isMangled( decl->second.id->get_linkage() ) && decl->first != mangleName ) return true;
                         }
                 }
@@ -321 +326 @@
                                 // check for C decls with the same name, skipping
                                 // those with an incompatible type (by mangleName)
-                                if ( ! LinkageSpec::isMangled( decl->second->get_linkage() ) && decl->first == mangleName ) return true;
+                                if ( ! LinkageSpec::isMangled( decl->second.id->get_linkage() ) && decl->first == mangleName ) return true;
                         }
                 }
@@ -403 +408 @@
         }
 
-        void Indexer::addId( DeclarationWithType *decl ) {
+        void Indexer::addId( DeclarationWithType *decl, Expression * baseExpr ) {
                 debugPrint( "Adding Id " << decl->name << std::endl );
                 makeWritable();
@@ -439 +444 @@
 
                 // add to indexer
-                tables->idTable[ name ][ mangleName ] = decl;
+                tables->idTable[ name ][ mangleName ] = { decl, baseExpr };
                 ++tables->size;
         }
@@ -573 +578 @@
                                 assertf( aggr, "WithStmt expr has non-aggregate type: %s", toString( expr->result ).c_str() );
 
-                                // xxx - this is wrong, needs to somehow hook up chain of objects
                                 for ( Declaration * decl : aggr->members ) {
                                         if ( DeclarationWithType * dwt = dynamic_cast< DeclarationWithType * >( decl ) ) {
-                                                addId( dwt );
+                                                addId( dwt, expr );
                                         }
                                 }
@@ -661 +665 @@
 
         }
+
+        Expression * Indexer::IdData::combine() const {
+                if ( baseExpr ) {
+                        Expression * base = baseExpr->clone();
+                        Expression * ret = new MemberExpr( id, base );
+                        // xxx - this introduces hidden environments, for now remove them.
+                        // std::swap( base->env, ret->env );
+                        delete base->env;
+                        base->env = nullptr;
+                        return ret;
+                } else {
+                        return new VariableExpr( id );
+                }
+        }
 } // namespace SymTab