Changeset 4ec9513 for src/AST

Timestamp:

Apr 13, 2022, 2:55:51 PM (3 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, enum, master, pthread-emulation, qualifiedEnum

Children:

365c8dcb

Parents:

6b06abe

Message:

Converted validate C, including adding DimensionExpr? to the new ast.

Location:

src/AST

Files:

• Convert.cpp (modified) (2 diffs)
• Expr.hpp (modified) (1 diff)
• Fwd.hpp (modified) (1 diff)
• Pass.hpp (modified) (1 diff)
• Pass.impl.hpp (modified) (3 diffs)
• Pass.proto.hpp (modified) (3 diffs)
• Print.cpp (modified) (1 diff)
• Visitor.hpp (modified) (1 diff)

src/AST/Convert.cpp ¶

@@ -951 +951 @@
         }
 
+        const ast::Expr * visit( const ast::DimensionExpr * node ) override final {
+                auto expr = visitBaseExpr( node, new DimensionExpr( node->name ) );
+                this->node = expr;
+                return nullptr;
+        }
+
         const ast::Expr * visit( const ast::AsmExpr * node ) override final {
                 auto expr = visitBaseExpr( node,
@@ -2463 +2469 @@
 
         virtual void visit( const DimensionExpr * old ) override final {
-                // DimensionExpr gets desugared away in Validate.
-                // As long as new-AST passes don't use it, this cheap-cheerful error
-                // detection helps ensure that these occurrences have been compiled
-                // away, as expected.  To move the DimensionExpr boundary downstream
-                // or move the new-AST translation boundary upstream, implement
-                // DimensionExpr in the new AST and implement a conversion.
-                (void) old;
-                assert(false && "DimensionExpr should not be present at new-AST boundary");
+                this->node = visitBaseExpr( old,
+                        new ast::DimensionExpr( old->location, old->name )
+                );
         }
 

src/AST/Expr.hpp ¶

@@ -604 +604 @@
 };
 
+class DimensionExpr final : public Expr {
+public:
+        std::string name;
+
+        DimensionExpr( const CodeLocation & loc, std::string name )
+        : Expr( loc ), name( name ) {}
+
+        const Expr * accept( Visitor & v ) const override { return v.visit( this ); }
+private:
+        DimensionExpr * clone() const override { return new DimensionExpr{ *this }; }
+        MUTATE_FRIEND
+};
+
 /// A GCC "asm constraint operand" used in an asm statement, e.g. `[output] "=f" (result)`.
 /// https://gcc.gnu.org/onlinedocs/gcc-4.7.1/gcc/Machine-Constraints.html#Machine-Constraints

src/AST/Fwd.hpp ¶

@@ -84 +84 @@
 class CommaExpr;
 class TypeExpr;
+class DimensionExpr;
 class AsmExpr;
 class ImplicitCopyCtorExpr;

src/AST/Pass.hpp ¶

@@ -184 +184 @@
         const ast::Expr *             visit( const ast::CommaExpr            * ) override final;
         const ast::Expr *             visit( const ast::TypeExpr             * ) override final;
+        const ast::Expr *             visit( const ast::DimensionExpr        * ) override final;
         const ast::Expr *             visit( const ast::AsmExpr              * ) override final;
         const ast::Expr *             visit( const ast::ImplicitCopyCtorExpr * ) override final;

src/AST/Pass.impl.hpp ¶

@@ -575 +575 @@
                         __pass::symtab::addId( core, 0, func );
                         if ( __visit_children() ) {
-                                // parameter declarations
+                                maybe_accept( node, &FunctionDecl::type_params );
+                                maybe_accept( node, &FunctionDecl::assertions );
                                 maybe_accept( node, &FunctionDecl::params );
                                 maybe_accept( node, &FunctionDecl::returns );
-                                // type params and assertions
-                                maybe_accept( node, &FunctionDecl::type_params );
-                                maybe_accept( node, &FunctionDecl::assertions );
+                                maybe_accept( node, &FunctionDecl::type );
                                 // First remember that we are now within a function.
                                 ValueGuard< bool > oldInFunction( inFunction );
@@ -1522 +1521 @@
 
 //--------------------------------------------------------------------------
+// DimensionExpr
+template< typename core_t >
+const ast::Expr * ast::Pass< core_t >::visit( const ast::DimensionExpr * node ) {
+        VISIT_START( node );
+
+        if ( __visit_children() ) {
+                guard_symtab guard { *this };
+                maybe_accept( node, &DimensionExpr::result );
+        }
+
+        VISIT_END( Expr, node );
+}
+
+//--------------------------------------------------------------------------
 // AsmExpr
 template< typename core_t >
@@ -1859 +1872 @@
 
         if ( __visit_children() ) {
-                // xxx - should PointerType visit/mutate dimension?
+                maybe_accept( node, &PointerType::dimension );
                 maybe_accept( node, &PointerType::base );
         }

src/AST/Pass.proto.hpp ¶

@@ -26 +26 @@
 
 struct PureVisitor;
+
+template<typename node_t>
+node_t * deepCopy( const node_t * localRoot );
 
 namespace __pass {
@@ -396 +399 @@
                 static inline auto addStructFwd( core_t & core, int, const ast::StructDecl * decl ) -> decltype( core.symtab.addStruct( decl ), void() ) {
                         ast::StructDecl * fwd = new ast::StructDecl( decl->location, decl->name );
-                        fwd->params = decl->params;
+                        for ( const auto & param : decl->params ) {
+                                fwd->params.push_back( deepCopy( param.get() ) );
+                        }
                         core.symtab.addStruct( fwd );
                 }
@@ -405 +410 @@
                 template<typename core_t>
                 static inline auto addUnionFwd( core_t & core, int, const ast::UnionDecl * decl ) -> decltype( core.symtab.addUnion( decl ), void() ) {
-                        UnionDecl * fwd = new UnionDecl( decl->location, decl->name );
-                        fwd->params = decl->params;
+                        ast::UnionDecl * fwd = new ast::UnionDecl( decl->location, decl->name );
+                        for ( const auto & param : decl->params ) {
+                                fwd->params.push_back( deepCopy( param.get() ) );
+                        }
                         core.symtab.addUnion( fwd );
                 }

src/AST/Print.cpp ¶

@@ -1101 +1101 @@
         }
 
+        virtual const ast::Expr * visit( const ast::DimensionExpr * node ) override final {
+                os << "Type-Sys Value: " << node->name;
+                postprint( node );
+
+                return node;
+        }
+
         virtual const ast::Expr * visit( const ast::AsmExpr * node ) override final {
                 os << "Asm Expression:" << endl;

src/AST/Visitor.hpp ¶

@@ -76 +76 @@
     virtual const ast::Expr *             visit( const ast::CommaExpr            * ) = 0;
     virtual const ast::Expr *             visit( const ast::TypeExpr             * ) = 0;
+    virtual const ast::Expr *             visit( const ast::DimensionExpr        * ) = 0;
     virtual const ast::Expr *             visit( const ast::AsmExpr              * ) = 0;
     virtual const ast::Expr *             visit( const ast::ImplicitCopyCtorExpr * ) = 0;