Changeset 660665f for src/Common/PassVisitor.impl.h

Timestamp:

Jun 29, 2021, 5:35: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:

dcad80a

Parents:

5a46e09 (diff), d02e547 (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:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/Common/PassVisitor.impl.h (modified) (17 diffs)

src/Common/PassVisitor.impl.h

@@ -636 +636 @@
                 maybeAccept_impl( node->parameters, *this );
                 maybeAccept_impl( node->members   , *this );
+                maybeAccept_impl( node->attributes, *this );
         }
 
@@ -656 +657 @@
                 maybeAccept_impl( node->parameters, *this );
                 maybeAccept_impl( node->members   , *this );
+                maybeAccept_impl( node->attributes, *this );
         }
 
@@ -676 +678 @@
                 maybeMutate_impl( node->parameters, *this );
                 maybeMutate_impl( node->members   , *this );
+                maybeMutate_impl( node->attributes, *this );
         }
 
@@ -697 +700 @@
                 maybeAccept_impl( node->parameters, *this );
                 maybeAccept_impl( node->members   , *this );
+                maybeAccept_impl( node->attributes, *this );
         }
 
@@ -714 +718 @@
                 maybeAccept_impl( node->parameters, *this );
                 maybeAccept_impl( node->members   , *this );
+                maybeAccept_impl( node->attributes, *this );
         }
 
@@ -732 +737 @@
                 maybeMutate_impl( node->parameters, *this );
                 maybeMutate_impl( node->members   , *this );
+                maybeMutate_impl( node->attributes, *this );
         }
 
@@ -750 +756 @@
         maybeAccept_impl( node->parameters, *this );
         maybeAccept_impl( node->members   , *this );
+        maybeAccept_impl( node->attributes, *this );
 
         VISIT_END( node );
@@ -763 +770 @@
         maybeAccept_impl( node->parameters, *this );
         maybeAccept_impl( node->members   , *this );
+        maybeAccept_impl( node->attributes, *this );
 
         VISIT_END( node );
@@ -776 +784 @@
         maybeMutate_impl( node->parameters, *this );
         maybeMutate_impl( node->members   , *this );
+        maybeMutate_impl( node->attributes, *this );
 
         MUTATE_END( Declaration, node );
@@ -790 +799 @@
                 maybeAccept_impl( node->parameters, *this );
                 maybeAccept_impl( node->members   , *this );
+                maybeAccept_impl( node->attributes, *this );
         }
 
@@ -805 +815 @@
                 maybeAccept_impl( node->parameters, *this );
                 maybeAccept_impl( node->members   , *this );
+                maybeAccept_impl( node->attributes, *this );
         }
 
@@ -820 +831 @@
                 maybeMutate_impl( node->parameters, *this );
                 maybeMutate_impl( node->members   , *this );
+                maybeMutate_impl( node->attributes, *this );
         }
 
@@ -2507 +2519 @@
 
 //--------------------------------------------------------------------------
+// DimensionExpr
+template< typename pass_type >
+void PassVisitor< pass_type >::visit( DimensionExpr * node ) {
+        VISIT_START( node );
+
+        indexerScopedAccept( node->result, *this );
+
+        VISIT_END( node );
+}
+
+template< typename pass_type >
+void PassVisitor< pass_type >::visit( const DimensionExpr * node ) {
+        VISIT_START( node );
+
+        indexerScopedAccept( node->result, *this );
+
+        VISIT_END( node );
+}
+
+template< typename pass_type >
+Expression * PassVisitor< pass_type >::mutate( DimensionExpr * node ) {
+        MUTATE_START( node );
+
+        indexerScopedMutate( node->env   , *this );
+        indexerScopedMutate( node->result, *this );
+
+        MUTATE_END( Expression, node );
+}
+
+//--------------------------------------------------------------------------
 // AsmExpr
 template< typename pass_type >
@@ -3145 +3187 @@
 
         maybeAccept_impl( node->forall, *this );
-        // xxx - should PointerType visit/mutate dimension?
+        maybeAccept_impl( node->dimension, *this );
         maybeAccept_impl( node->base, *this );
 
@@ -3156 +3198 @@
 
         maybeAccept_impl( node->forall, *this );
-        // xxx - should PointerType visit/mutate dimension?
+        maybeAccept_impl( node->dimension, *this );
         maybeAccept_impl( node->base, *this );
 
@@ -3167 +3209 @@
 
         maybeMutate_impl( node->forall, *this );
-        // xxx - should PointerType visit/mutate dimension?
+        maybeMutate_impl( node->dimension, *this );
         maybeMutate_impl( node->base, *this );
 
@@ -3856 +3898 @@
 
 //--------------------------------------------------------------------------
-// Attribute
+// Constant
 template< typename pass_type >
 void PassVisitor< pass_type >::visit( Constant * node ) {