Changeset b6838214 for src/Common

Timestamp:

Jan 23, 2018, 5:46:43 PM (8 years ago)

Author:

Alan Kennedy <afakenne@…>

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:

258e6ad5

Parents:

b158d8f (diff), 15d248e (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

add context switch for ARM

Location:

src/Common

Files:

• PassVisitor.h (modified) (4 diffs)
• PassVisitor.impl.h (modified) (3 diffs)

src/Common/PassVisitor.h

@@ -19 +19 @@
 #include "SynTree/Expression.h"
 #include "SynTree/Constant.h"
-#include "SynTree/TypeSubstitution.h"
+
+class TypeSubstitution;
 
 #include "PassVisitor.proto.h"
@@ -118 +119 @@
         virtual void visit( StmtExpr *  stmtExpr ) override final;
         virtual void visit( UniqueExpr *  uniqueExpr ) override final;
+        virtual void visit( UntypedInitExpr *  initExpr ) override final;
+        virtual void visit( InitExpr *  initExpr ) override final;
 
         virtual void visit( VoidType * basicType ) override final;
@@ -210 +213 @@
         virtual Expression * mutate( StmtExpr *  stmtExpr ) override final;
         virtual Expression * mutate( UniqueExpr *  uniqueExpr ) override final;
+        virtual Expression * mutate( UntypedInitExpr *  initExpr ) override final;
+        virtual Expression * mutate( InitExpr *  initExpr ) override final;
 
         virtual Type * mutate( VoidType * basicType ) override final;
@@ -403 +408 @@
 };
 
+#include "SynTree/TypeSubstitution.h"
 #include "PassVisitor.impl.h"

src/Common/PassVisitor.impl.h

@@ -62 +62 @@
 
 template< typename pass_type >
-static inline void acceptAll( std::list< Declaration* > &decls, PassVisitor< pass_type >& visitor ) {
+inline void acceptAll( std::list< Declaration* > &decls, PassVisitor< pass_type >& visitor ) {
         DeclList_t* beforeDecls = visitor.get_beforeDecls();
         DeclList_t* afterDecls  = visitor.get_afterDecls();
@@ -90 +90 @@
 
 template< typename pass_type >
-static inline void mutateAll( std::list< Declaration* > &decls, PassVisitor< pass_type >& mutator ) {
+inline void mutateAll( std::list< Declaration* > &decls, PassVisitor< pass_type >& mutator ) {
         DeclList_t* beforeDecls = mutator.get_beforeDecls();
         DeclList_t* afterDecls  = mutator.get_afterDecls();
@@ -1853 +1853 @@
 }
 
+//--------------------------------------------------------------------------
+// UntypedInitExpr
+template< typename pass_type >
+void PassVisitor< pass_type >::visit( UntypedInitExpr * node ) {
+        VISIT_START( node );
+
+        indexerScopedAccept( node->result, *this );
+        maybeAccept_impl   ( node->expr  , *this );
+        // not currently visiting initAlts, but this doesn't matter since this node is only used in the resolver.
+
+        VISIT_END( node );
+}
+
+template< typename pass_type >
+Expression * PassVisitor< pass_type >::mutate( UntypedInitExpr * node ) {
+        MUTATE_START( node );
+
+        indexerScopedMutate( node->env   , *this );
+        indexerScopedMutate( node->result, *this );
+        maybeMutate_impl   ( node->expr  , *this );
+        // not currently visiting initAlts, but this doesn't matter since this node is only used in the resolver.
+
+        MUTATE_END( Expression, node );
+}
+
+//--------------------------------------------------------------------------
+// InitExpr
+template< typename pass_type >
+void PassVisitor< pass_type >::visit( InitExpr * node ) {
+        VISIT_START( node );
+
+        indexerScopedAccept( node->result, *this );
+        maybeAccept_impl   ( node->expr  , *this );
+        maybeAccept_impl   ( node->designation, *this );
+
+        VISIT_END( node );
+}
+
+template< typename pass_type >
+Expression * PassVisitor< pass_type >::mutate( InitExpr * node ) {
+        MUTATE_START( node );
+
+        indexerScopedMutate( node->env   , *this );
+        indexerScopedMutate( node->result, *this );
+        maybeMutate_impl   ( node->expr  , *this );
+        maybeMutate_impl   ( node->designation, *this );
+
+        MUTATE_END( Expression, node );
+}
+
 template< typename pass_type >
 void PassVisitor< pass_type >::visit( VoidType * node ) {