Changeset d3aa64f for src/AST/Pass.impl.hpp
- Timestamp:
- Aug 31, 2020, 6:55:22 PM (4 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 25a1cb0, 68f0c4e
- Parents:
- 49a980b
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/AST/Pass.impl.hpp
r49a980b rd3aa64f 21 21 22 22 #include "AST/TypeSubstitution.hpp" 23 // #include "AST/Copy.hpp" 23 24 24 25 #define VISIT_START( node ) \ … … 57 58 58 59 namespace ast { 60 template<typename node_t> 61 node_t * shallowCopy( const node_t * node ); 62 59 63 namespace __pass { 60 64 // Check if this is either a null pointer or a pointer to an empty container … … 62 66 static inline bool empty( T * ptr ) { 63 67 return !ptr || ptr->empty(); 68 } 69 70 template< typename core_t, typename node_t > 71 static inline node_t* mutate(const node_t *node) { 72 return std::is_base_of<PureVisitor, core_t>::value ? ::ast::shallowCopy(node) : ::ast::mutate(node); 64 73 } 65 74 … … 320 329 321 330 if( __pass::differs(old_val, new_val) ) { 322 auto new_parent = mutate(parent); 331 // auto new_parent = mutate(parent); 332 auto new_parent = __pass::mutate<core_t>(parent); 323 333 new_parent->*child = new_val; 324 334 parent = new_parent; … … 334 344 if ( node->forall.empty() ) return; 335 345 336 node_t * mut = mutate( node );346 node_t * mut = __pass::mutate<core_t>( node ); 337 347 mut->forall = subs->clone( node->forall, *this ); 338 348 node = mut; … … 894 904 895 905 if(mutated) { 896 auto n = mutate(node);906 auto n = __pass::mutate<core_t>(node); 897 907 n->clauses = std::move( new_clauses ); 898 908 node = n; … … 904 914 auto nval = call_accept( node->field ); \ 905 915 if(nval != node->field ) { \ 906 auto nparent = mutate(node); \916 auto nparent = __pass::mutate<core_t>(node); \ 907 917 nparent->field = nval; \ 908 918 node = nparent; \ … … 1610 1620 1611 1621 if(mutated) { 1612 auto n = mutate(node);1622 auto n = __pass::mutate<core_t>(node); 1613 1623 n->associations = std::move( new_kids ); 1614 1624 node = n; … … 1940 1950 } 1941 1951 if (mutated) { 1942 auto new_node = mutate( node );1952 auto new_node = __pass::mutate<core_t>( node ); 1943 1953 new_node->typeEnv.swap( new_map ); 1944 1954 node = new_node; … … 1956 1966 } 1957 1967 if (mutated) { 1958 auto new_node = mutate( node );1968 auto new_node = __pass::mutate<core_t>( node ); 1959 1969 new_node->varEnv.swap( new_map ); 1960 1970 node = new_node;
Note: See TracChangeset
for help on using the changeset viewer.