Changeset 6cebfef for src/Common/PassVisitor.impl.h

Timestamp:

Aug 13, 2021, 3:58:19 PM (3 years ago)

Author:

caparsons <caparson@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

de52331

Parents:

c9f9d4f

Message:

added mutex stmt monitor

File:

• src/Common/PassVisitor.impl.h (modified) (1 diff)

src/Common/PassVisitor.impl.h

@@ -1781 +1781 @@
 
 //--------------------------------------------------------------------------
+// MutexStmt
+template< typename pass_type >
+void PassVisitor< pass_type >::visit( MutexStmt * node ) {
+        VISIT_START( node );
+        // mutex statements introduce a level of scope (for the initialization)
+        maybeAccept_impl( node->mutexObjs, *this );
+        {
+                auto guard = makeFuncGuard( [this]() { indexerScopeEnter(); }, [this]() { indexerScopeLeave(); } );
+                node->stmt = visitStatement( node->stmt );
+        }
+        VISIT_END( node );
+}
+
+template< typename pass_type >
+void PassVisitor< pass_type >::visit( const MutexStmt * node ) {
+        VISIT_START( node );
+        maybeAccept_impl( node->mutexObjs, *this );
+        {
+                auto guard = makeFuncGuard( [this]() { indexerScopeEnter(); }, [this]() { indexerScopeLeave(); } );
+                visitStatement( node->stmt );
+        }
+        VISIT_END( node );
+}
+
+template< typename pass_type >
+Statement * PassVisitor< pass_type >::mutate( MutexStmt * node ) {
+        MUTATE_START( node );
+        maybeMutate_impl( node->mutexObjs, *this );
+        {
+                auto guard = makeFuncGuard( [this]() { indexerScopeEnter(); }, [this]() { indexerScopeLeave(); } );
+                node->stmt = mutateStatement( node->stmt );
+        }
+        MUTATE_END( Statement, node );
+}
+
+//--------------------------------------------------------------------------
 // ApplicationExpr
 template< typename pass_type >