Changeset 17cd4eb for translator/GenPoly/CopyParams.cc

Timestamp:

Jan 7, 2015, 6:04:42 PM (10 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:

0b8cd722

Parents:

d9a0e76

Message:

fixed restrict, fixed parameter copy, introduced name table for types, changed variable after to string

File:

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

translator/GenPoly/CopyParams.cc

@@ -1 @@
-/*
- * This file is part of the Cforall project
- *
- * $Id: CopyParams.cc,v 1.3 2005/08/29 20:14:13 rcbilson Exp $
- *
- */
-
 #include <set>
 #include <map>
@@ -19 +12 @@
 
 namespace GenPoly {
+    class CopyParams : public Visitor {
+      public:
+        CopyParams();
+  
+        virtual void visit( FunctionDecl *funcDecl );
+        virtual void visit( AddressExpr *addrExpr );
 
-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 that 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();
-        }
-      }
-      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_name( namer.newName() );
-            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 ) );
-          }
-          modVars.erase( var );
-        }
-      }
+    // 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
     }
-  }
-}
-
-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() );
-    }
-  }
-}
-
 } // namespace GenPoly