Changes in src/GenPoly/FindFunction.cc [c97b448:4da152a]

File:

• src/GenPoly/FindFunction.cc (modified) (3 diffs)

src/GenPoly/FindFunction.cc

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Andrew Beach
-// Last Modified On : Fri Oct  7 17:05:20 2022
-// Update Count     : 7
+// Last Modified By : Rob Schluntz
+// Last Modified On : Fri Feb 05 12:22:20 2016
+// Update Count     : 6
 //
 
@@ -18 +18 @@
 #include <utility>                      // for pair
 
-#include "AST/Pass.hpp"                 // for Pass
-#include "AST/Type.hpp"
 #include "Common/PassVisitor.h"         // for PassVisitor
 #include "GenPoly/ErasableScopedMap.h"  // for ErasableScopedMap<>::iterator
@@ -91 +89 @@
                 handleForall( pointerType->get_forall() );
         }
-
-namespace {
-
-struct FindFunctionCore :
-                public ast::WithGuards,
-                public ast::WithShortCircuiting,
-                public ast::WithVisitorRef<FindFunctionCore> {
-        FindFunctionCore(
-                std::vector<ast::ptr<ast::FunctionType>> & functions,
-                const TypeVarMap & typeVars, FindFunctionPred predicate,
-                bool replaceMode );
-
-        void previsit( ast::FunctionType const * type );
-        ast::Type const * postvisit( ast::FunctionType const * type );
-        void previsit( ast::PointerType const * type );
-private:
-        void handleForall( const ast::FunctionType::ForallList & forall );
-
-        std::vector<ast::ptr<ast::FunctionType>> &functions;
-        TypeVarMap typeVars;
-        FindFunctionPred predicate;
-        bool replaceMode;
-};
-
-FindFunctionCore::FindFunctionCore(
-                std::vector<ast::ptr<ast::FunctionType>> & functions,
-                const TypeVarMap &typeVars, FindFunctionPred predicate,
-                bool replaceMode ) :
-        functions( functions ), typeVars( typeVars ),
-        predicate( predicate ), replaceMode( replaceMode ) {}
-
-void FindFunctionCore::handleForall( const ast::FunctionType::ForallList & forall ) {
-        for ( const ast::ptr<ast::TypeInstType> & td : forall ) {
-                TypeVarMap::iterator var = typeVars.find( *td );
-                if ( var != typeVars.end() ) {
-                        typeVars.erase( var->first );
-                } // if
-        } // for
-}
-
-void FindFunctionCore::previsit( ast::FunctionType const * type ) {
-        visit_children = false;
-        GuardScope( typeVars );
-        handleForall( type->forall );
-        //ast::accept_all( type->returns, *visitor );
-        // This might have to become ast::mutate_each with return.
-        ast::accept_each( type->returns, *visitor );
-}
-
-ast::Type const * FindFunctionCore::postvisit( ast::FunctionType const * type ) {
-        ast::Type const * ret = type;
-        if ( predicate( type, typeVars ) ) {
-                functions.push_back( type );
-                if ( replaceMode ) {
-                        // replace type parameters in function type with void*
-                        ret = scrubTypeVars( ast::deepCopy( type ), typeVars );
-                } // if
-        } // if
-        return ret;
-}
-
-void FindFunctionCore::previsit( ast::PointerType const * /*type*/ ) {
-        GuardScope( typeVars );
-        //handleForall( type->forall );
-}
-
-} // namespace
-
-void findFunction( const ast::Type * type,
-                std::vector<ast::ptr<ast::FunctionType>> & functions,
-                const TypeVarMap & typeVars, FindFunctionPred predicate ) {
-        ast::Pass<FindFunctionCore> pass( functions, typeVars, predicate, false );
-        type->accept( pass );
-        //(void)type;
-        //(void)functions;
-        //(void)typeVars;
-        //(void)predicate;
-}
-
-const ast::Type * findAndReplaceFunction( const ast::Type * type,
-                std::vector<ast::ptr<ast::FunctionType>> & functions,
-                const TypeVarMap & typeVars, FindFunctionPred predicate ) {
-        ast::Pass<FindFunctionCore> pass( functions, typeVars, predicate, true );
-        return type->accept( pass );
-        //(void)functions;
-        //(void)typeVars;
-        //(void)predicate;
-        //return type;
-}
-
 } // namespace GenPoly