Changeset 6e50a6b for src/Common

Timestamp:

Jun 18, 2021, 12:20:59 PM (4 years ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

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

Children:

c7d8696a

Parents:

dcbfcbc

Message:

Implementing language-provided syntax for (array) dimensions.

Former z(i) and Z(N) macros are eliminated.

Location:

src/Common

Files:

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

src/Common/PassVisitor.h

@@ -167 +167 @@
         virtual void visit( TypeExpr * typeExpr ) override final;
         virtual void visit( const TypeExpr * typeExpr ) override final;
+        virtual void visit( DimensionExpr * dimensionExpr ) override final;
+        virtual void visit( const DimensionExpr * dimensionExpr ) override final;
         virtual void visit( AsmExpr * asmExpr ) override final;
         virtual void visit( const AsmExpr * asmExpr ) override final;
@@ -309 +311 @@
         virtual Expression * mutate( CommaExpr * commaExpr ) override final;
         virtual Expression * mutate( TypeExpr * typeExpr ) override final;
+        virtual Expression * mutate( DimensionExpr * dimensionExpr ) override final;
         virtual Expression * mutate( AsmExpr * asmExpr ) override final;
         virtual Expression * mutate( ImplicitCopyCtorExpr * impCpCtorExpr ) override final;
@@ -542 +545 @@
 class WithIndexer {
 protected:
-        WithIndexer() {}
+        WithIndexer( bool trackIdentifiers = true ) : indexer(trackIdentifiers) {}
         ~WithIndexer() {}
 

src/Common/PassVisitor.impl.h

@@ -2519 +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 >
@@ -3157 +3187 @@
 
         maybeAccept_impl( node->forall, *this );
-        // xxx - should PointerType visit/mutate dimension?
+        maybeAccept_impl( node->dimension, *this );
         maybeAccept_impl( node->base, *this );
 
@@ -3168 +3198 @@
 
         maybeAccept_impl( node->forall, *this );
-        // xxx - should PointerType visit/mutate dimension?
+        maybeAccept_impl( node->dimension, *this );
         maybeAccept_impl( node->base, *this );
 
@@ -3179 +3209 @@
 
         maybeMutate_impl( node->forall, *this );
-        // xxx - should PointerType visit/mutate dimension?
+        maybeMutate_impl( node->dimension, *this );
         maybeMutate_impl( node->base, *this );