Changeset 9d264e18 for src

Timestamp:

Nov 12, 2020, 1:29:43 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

b5344a3

Parents:

d6ad99e (diff), 8ca26d5 (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

Location:

src

Files:

• AST/Convert.cpp (modified) (3 diffs)
• AST/Pass.impl.hpp (modified) (1 diff)
• AST/Pass.proto.hpp (modified) (1 diff)
• InitTweak/GenInit.cc (modified) (1 diff)
• ResolvExpr/Resolver.cc (modified) (2 diffs)
• main.cc (modified) (1 diff)

src/AST/Convert.cpp ¶

@@ -9 +9 @@
 // Author           : Thierry Delisle
 // Created On       : Thu May 09 15::37::05 2019
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Dec 11 21:39:32 2019
-// Update Count     : 33
+// Last Modified By : Andrew Beach
+// Last Modified On : Thr Nov 12 10:07:00 2020
+// Update Count     : 34
 //
 
@@ -187 +187 @@
                 auto init = get<Initializer>().accept1( node->init );
                 decl->init = init;
-                
+
                 this->node = decl;
                 return nullptr;
@@ -2812 +2812 @@
         }
         deleteAll(translationUnit);
+
+        // Load the local static varables into the global store.
+        unit.global.sizeType = ast::sizeType;
+        unit.global.dereference = ast::dereferenceOperator;
+        unit.global.dtorStruct = ast::dtorStruct;
+        unit.global.dtorDestroy = ast::dtorStructDestroy;
+
         return unit;
 }

src/AST/Pass.impl.hpp ¶

@@ -423 +423 @@
                 }
                 catch( SemanticErrorException &e ) {
-                        if (__pass::onError (visitor.core, *i, 0))
+                        if (__pass::on_error (visitor.core, *i, 0))
                                 errors.append( e );
                 }

src/AST/Pass.proto.hpp ¶

@@ -270 +270 @@
 
         template< typename core_t >
-        static bool onError (core_t &, ptr<Decl> &, long) { return true; }
-
-        template< typename core_t >
-        static auto onError (core_t & core, ptr<Decl> & decl, int) -> decltype(core.onError(decl)) {
-                return core.onError(decl); 
+        static bool on_error (core_t &, ptr<Decl> &, long) { return true; }
+
+        template< typename core_t >
+        static auto on_error (core_t & core, ptr<Decl> & decl, int) -> decltype(core.on_error(decl)) {
+                return core.on_error(decl); 
         }
 

src/InitTweak/GenInit.cc ¶

@@ -202 +202 @@
                         }
                         // don't need to hoist dimension if it's definitely pure - only need to if there's potential for side effects.
-                        // xxx - hoisting has no side effects anyways, so don't skip since we delay resolve     
-                        // only skip in the most trivial case, which does not require resolve
-                        if (dynamic_cast<ConstantExpr *>(arrayType->dimension)) return;
-                        // if ( ! Tuples::maybeImpure( arrayType->dimension ) ) return;
+                        // xxx - hoisting has no side effects anyways, so don't skip since we delay resolve
+                        // still try to detect constant expressions
+                        if ( ! Tuples::maybeImpure( arrayType->dimension ) ) return;
 
                         ObjectDecl * arrayDimension = new ObjectDecl( dimensionName.newName(), storageClasses, LinkageSpec::C, 0, Validate::SizeType->clone(), new SingleInit( arrayType->get_dimension() ) );

src/ResolvExpr/Resolver.cc ¶

@@ -1289 +1289 @@
                 void beginScope() { managedTypes.beginScope(); }
                 void endScope() { managedTypes.endScope(); }
-                bool onError(ast::ptr<ast::Decl> & decl);
+                bool on_error(ast::ptr<ast::Decl> & decl);
         };
         // size_t Resolver_new::traceId = Stats::Heap::new_stacktrace_id("Resolver");
@@ -2068 +2068 @@
 
         // suppress error on autogen functions and mark invalid autogen as deleted.
-        bool Resolver_new::onError(ast::ptr<ast::Decl> & decl) {
+        bool Resolver_new::on_error(ast::ptr<ast::Decl> & decl) {
                 if (auto functionDecl = decl.as<ast::FunctionDecl>()) {
                         // xxx - can intrinsic gen ever fail?

src/main.cc ¶

@@ -341 +341 @@
 
                 if( useNewAST) {
+                        if (Stats::Counters::enabled) {
+                                ast::pass_visitor_stats.avg = Stats::Counters::build<Stats::Counters::AverageCounter<double>>("Average Depth - New");
+                                ast::pass_visitor_stats.max = Stats::Counters::build<Stats::Counters::MaxCounter<double>>("Max depth - New");
+                        }
                         auto transUnit = convert( move( translationUnit ) );
                         PASS( "Resolve", ResolvExpr::resolve( transUnit ) );