Changeset 0c327ce for src/AST

Timestamp:

Jul 12, 2024, 3:30:06 PM (5 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

76b507d

Parents:

9c447e2

Message:

1. Add bound check to Serial function: now compiler generates the unchecked functions in ImplementEnumFunc?, and enum.hfa implements the bound check on top. Todo: Wrapped the checked version into a trait; 2. countof is now works on any type that implement Countof(). Because Countof() is implemented in enum.hfa for all CfaEnum?, we can call countof on { T | CfaEnum?(T) }

Location:

src/AST

Files:

• Expr.cpp (modified) (1 diff)
• Expr.hpp (modified) (1 diff)
• Pass.impl.hpp (modified) (1 diff)
• Print.cpp (modified) (1 diff)

src/AST/Expr.cpp

@@ -284 +284 @@
 // --- CountExpr
 
+CountExpr::CountExpr( const CodeLocation & loc, const Expr * e )
+: Expr( loc, new BasicType( BasicKind::LongUnsignedInt) ), expr(e), type( nullptr ) {}
+
 CountExpr::CountExpr( const CodeLocation & loc, const Type * t )
-: Expr( loc, new BasicType( BasicKind::LongUnsignedInt) ), type( t ) {}
+: Expr( loc, new BasicType( BasicKind::LongUnsignedInt) ), expr(nullptr), type( t ) {}
 
 // --- AlignofExpr

src/AST/Expr.hpp

@@ -496 +496 @@
 class CountExpr final : public Expr {
 public:
+        ptr<Expr> expr;
         ptr<Type> type;
 
+        CountExpr( const CodeLocation & loc, const Expr * t );
         CountExpr( const CodeLocation & loc, const Type * t );
 

src/AST/Pass.impl.hpp

@@ -1339 +1339 @@
                         maybe_accept( node, &CountExpr::result );
                 }
-                maybe_accept( node, &CountExpr::type );
+                if ( node->type ) {
+                        maybe_accept( node, &CountExpr::type );
+                } else {
+                        maybe_accept( node, &CountExpr::expr );
+                }
         }
         VISIT_END( Expr, node );

src/AST/Print.cpp

@@ -1146 +1146 @@
                 os << "Count Expression on: ";
                 ++indent;
-                node->type->accept( *this );
+                if ( node->type ) node->type->accept( *this );
+                else safe_print( node->expr );
                 --indent;
                 postprint( node );