Changeset 01aeade for translator/GenPoly/CopyParams.cc

Timestamp:

May 19, 2015, 7:57:09 AM (9 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

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

Children:

a08ba92

Parents:

51587aa

Message:

licencing: fifth groups of files

File:

• translator/GenPoly/CopyParams.cc (modified) (2 diffs)

translator/GenPoly/CopyParams.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// XXX.cc -- 
+// CopyParams.cc -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : 
-// Last Modified On : 
-// Update Count     : 0
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Tue May 19 07:33:31 2015
+// Update Count     : 1
 //
+
 #include <set>
 #include <map>
@@ -24 +25 @@
 #include "UniqueName.h"
 
+namespace GenPoly {
+        class CopyParams : public Visitor {
+          public:
+                CopyParams();
+  
+                virtual void visit( FunctionDecl *funcDecl );
+                virtual void visit( AddressExpr *addrExpr );
 
-namespace GenPoly {
-    class CopyParams : public Visitor {
-      public:
-        CopyParams();
-  
-        virtual void visit( FunctionDecl *funcDecl );
-        virtual void visit( AddressExpr *addrExpr );
+          private:
+                std::set< UniqueId > modVars;
+                UniqueName namer;
+        };
 
-      private:
-        std::set< UniqueId > modVars;
-        UniqueName namer;
-    };
+        void copyParams( std::list< Declaration* > &translationUnit ) {
+                CopyParams copier;
+                acceptAll( translationUnit, copier );
+        }
 
-    void copyParams( std::list< Declaration* > &translationUnit ) {
-        CopyParams copier;
-        acceptAll( translationUnit, copier );
-    }
+        CopyParams::CopyParams() : namer( "_cp" ) {}
 
-    CopyParams::CopyParams() : namer( "_cp" ) {}
+        static const std::list< Label > noLabels;
 
-    static const std::list< Label > noLabels;
+        void CopyParams::visit( FunctionDecl *funcDecl ) {
+                if ( funcDecl->get_statements() ) {
+                        funcDecl->get_statements()->accept( *this );
+        
+                        if ( ! modVars.empty() ) {
+                                std::map< std::string, DeclarationWithType* > assignOps;
+                                // assume the assignment operator is the first assert param after any "type" parameter
+                                for ( std::list< TypeDecl* >::const_iterator tyVar = funcDecl->get_functionType()->get_forall().begin(); tyVar != funcDecl->get_functionType()->get_forall().end(); ++tyVar ) {
+                                        if ( (*tyVar)->get_kind() == TypeDecl::Any ) {
+                                                assert( !(*tyVar)->get_assertions().empty() );
+                                                assignOps[ (*tyVar)->get_name() ] = (*tyVar)->get_assertions().front();
+                                        } // if
+                                } // for
+                                for ( std::list< DeclarationWithType* >::iterator param = funcDecl->get_functionType()->get_parameters().begin(); param != funcDecl->get_functionType()->get_parameters().end(); ++param ) {
+                                        std::set< UniqueId >::const_iterator var = modVars.find( (*param)->get_uniqueId() );
+                                        if ( var != modVars.end() ) {
+                                                TypeInstType *typeInst = dynamic_cast< TypeInstType* >( (*param)->get_type() );
+                                                assert( typeInst );
+                                                std::map< std::string, DeclarationWithType* >::const_iterator assignOp = assignOps.find( typeInst->get_name() );
+                                                if ( assignOp != assignOps.end() ) {
+                                                        DeclarationWithType *oldParam = *param;
+                                                        *param = (*param)->clone();
+                                                        (*param)->set_mangleName( namer.newName( (*param)->get_mangleName() ) );
+                                                        ApplicationExpr *assign = new ApplicationExpr( new VariableExpr( assignOp->second ) );
+                                                        assign->get_args().push_back( new VariableExpr( oldParam ) );
+                                                        assign->get_args().push_back( new VariableExpr( *param ) );
+                                                        funcDecl->get_statements()->get_kids().push_front( new ExprStmt( noLabels, assign ) );
+                                                        funcDecl->get_statements()->get_kids().push_front( new DeclStmt( noLabels, oldParam ) );
+                                                } // if
+                                                modVars.erase( var );
+                                        } // if
+                                } // for
+                        } // if
+                } // if
+        }
 
-    void CopyParams::visit( FunctionDecl *funcDecl ) {
-        if ( funcDecl->get_statements() ) {
-            funcDecl->get_statements()->accept( *this );
-    
-            if ( ! modVars.empty() ) {
-                std::map< std::string, DeclarationWithType* > assignOps;
-                // assume the assignment operator is the first assert param after any "type" parameter
-                for ( std::list< TypeDecl* >::const_iterator tyVar = funcDecl->get_functionType()->get_forall().begin(); tyVar != funcDecl->get_functionType()->get_forall().end(); ++tyVar ) {
-                    if ( (*tyVar)->get_kind() == TypeDecl::Any ) {
-                        assert( !(*tyVar)->get_assertions().empty() );
-                        assignOps[ (*tyVar)->get_name() ] = (*tyVar)->get_assertions().front();
-                    } // if
-                } // for
-                for ( std::list< DeclarationWithType* >::iterator param = funcDecl->get_functionType()->get_parameters().begin(); param != funcDecl->get_functionType()->get_parameters().end(); ++param ) {
-                    std::set< UniqueId >::const_iterator var = modVars.find( (*param)->get_uniqueId() );
-                    if ( var != modVars.end() ) {
-                        TypeInstType *typeInst = dynamic_cast< TypeInstType* >( (*param)->get_type() );
-                        assert( typeInst );
-                        std::map< std::string, DeclarationWithType* >::const_iterator assignOp = assignOps.find( typeInst->get_name() );
-                        if ( assignOp != assignOps.end() ) {
-                            DeclarationWithType *oldParam = *param;
-                            *param = (*param)->clone();
-                            (*param)->set_mangleName( namer.newName( (*param)->get_mangleName() ) );
-                            ApplicationExpr *assign = new ApplicationExpr( new VariableExpr( assignOp->second ) );
-                            assign->get_args().push_back( new VariableExpr( oldParam ) );
-                            assign->get_args().push_back( new VariableExpr( *param ) );
-                            funcDecl->get_statements()->get_kids().push_front( new ExprStmt( noLabels, assign ) );
-                            funcDecl->get_statements()->get_kids().push_front( new DeclStmt( noLabels, oldParam ) );
+        // this test is insufficient because it is possible for values to be modified by being passed to other polymorphic
+        // routines (e.g., assignment operators) without having their addresses explicitly taken. Some thought is needed to
+        // make sure that all of the correct cases are identified where copies are necessary.
+        //
+        // As a temporary measure, for correctness at the expense of performance, ignore the modVars list entirely and copy
+        // every parameter of TypeInstType* when visiting the FunctionDecl.
+        void CopyParams::visit( AddressExpr *addrExpr ) {
+                if ( VariableExpr *varExpr = dynamic_cast< VariableExpr* >( addrExpr->get_arg() ) ) {
+                        if ( dynamic_cast< TypeInstType* >( varExpr->get_var()->get_type() ) ) {
+                                modVars.insert( varExpr->get_var()->get_uniqueId() );
                         } // if
-                        modVars.erase( var );
-                    } // if
-                } // for
-            } // if
-        } // if
-    }
+                } // if
+        }
+} // namespace GenPoly
 
-    // this test is insufficient because it is possible for values to be modified by being passed to other polymorphic
-    // routines (e.g., assignment operators) without having their addresses explicitly taken. Some thought is needed to
-    // make sure that all of the correct cases are identified where copies are necessary.
-    //
-    // As a temporary measure, for correctness at the expense of performance, ignore the modVars list entirely and copy
-    // every parameter of TypeInstType* when visiting the FunctionDecl.
-    void CopyParams::visit( AddressExpr *addrExpr ) {
-        if ( VariableExpr *varExpr = dynamic_cast< VariableExpr* >( addrExpr->get_arg() ) ) {
-            if ( dynamic_cast< TypeInstType* >( varExpr->get_var()->get_type() ) ) {
-                modVars.insert( varExpr->get_var()->get_uniqueId() );
-            } // if
-        } // if
-    }
-} // namespace GenPoly
 // Local Variables: //
 // tab-width: 4 //