Changeset fc12f05 for src/main.cc

Timestamp:

Nov 13, 2023, 3:43:43 AM (23 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

25f2798

Parents:

0030b508 (diff), 2174191 (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/main.cc (modified) (17 diffs)

src/main.cc

@@ -10 +10 @@
 // Created On       : Fri May 15 23:12:02 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Sep 28 22:28:45 2023
-// Update Count     : 687
+// Last Modified On : Wed Nov  1 21:12:58 2023
+// Update Count     : 690
 //
 
@@ -29 +29 @@
 #include <string>                           // for char_traits, operator<<
 
-#include "AST/Convert.hpp"
 #include "AST/Pass.hpp"                     // for pass_visitor_stats
+#include "AST/Print.hpp"                    // for printAll
 #include "AST/TranslationUnit.hpp"          // for TranslationUnit
 #include "AST/Util.hpp"                     // for checkInvariants
@@ -39 +39 @@
 #include "CodeGen/Generate.h"               // for generate
 #include "CodeGen/LinkOnce.h"               // for translateLinkOnce
-#include "CodeTools/TrackLoc.h"             // for fillLocations
 #include "Common/CodeLocationTools.hpp"     // for forceFillCodeLocations
 #include "Common/DeclStats.hpp"             // for printDeclStats
@@ -65 +64 @@
 #include "ResolvExpr/EraseWith.hpp"         // for eraseWith
 #include "ResolvExpr/Resolver.h"            // for resolve
-#include "SynTree/LinkageSpec.h"            // for Spec, Cforall, Intrinsic
-#include "SynTree/Declaration.h"            // for Declaration
 #include "Tuples/Tuples.h"                  // for expandMemberTuples, expan...
 #include "Validate/Autogen.hpp"             // for autogenerateRoutines
@@ -94 +91 @@
         using namespace Stats::Counters;
         {
-                static auto group = build<CounterGroup>( "Pass Visitor" );
+                static auto group = build<CounterGroup>( "Pass Visitor Template" );
                 auto pass = build<CounterGroup>( name, group );
-                pass_visitor_stats.depth = 0;
-                pass_visitor_stats.avg = build<AverageCounter<double>>( "Average Depth", pass );
-                pass_visitor_stats.max = build<MaxCounter<double>>( "Max Depth", pass );
-        }
-        {
-                static auto group = build<CounterGroup>( "Syntax Node" );
-                auto pass = build<CounterGroup>( name, group );
-                BaseSyntaxNode::new_nodes = build<SimpleCounter>( "Allocs", pass );
+                ast::pass_visitor_stats.depth = 0;
+                ast::pass_visitor_stats.avg = build<AverageCounter<double>>( "Average Depth", pass );
+                ast::pass_visitor_stats.max = build<MaxCounter<double>>( "Max Depth", pass );
         }
 }
@@ -132 +124 @@
 
 static void parse_cmdline( int argc, char * argv[] );
-static void dump( list< Declaration * > & translationUnit, ostream & out = cout );
 static void dump( ast::TranslationUnit && transUnit, ostream & out = cout );
 
@@ -246 +237 @@
         FILE * input;                                                                           // use FILE rather than istream because yyin is FILE
         ostream * output = & cout;
-        list< Declaration * > translationUnit;
         ast::TranslationUnit transUnit;
 
@@ -260 +250 @@
 
         parse_cmdline( argc, argv );                                            // process command-line arguments
-        CodeGen::FixMain::setReplaceMain( !nomainp );
 
         if ( waiting_for_gdb ) {
@@ -290 +279 @@
 
                         // Read to gcc builtins, if not generating the cfa library
-                        FILE * gcc_builtins = fopen( (PreludeDirector + "/gcc-builtins.cf").c_str(), "r" );
+                        FILE * gcc_builtins = fopen( (PreludeDirector + "/gcc-builtins.cfa").c_str(), "r" );
                         assertf( gcc_builtins, "cannot open gcc-builtins.cf\n" );
                         parse( gcc_builtins, ast::Linkage::Compiler );
 
                         // read the extra prelude in, if not generating the cfa library
-                        FILE * extras = fopen( (PreludeDirector + "/extras.cf").c_str(), "r" );
+                        FILE * extras = fopen( (PreludeDirector + "/extras.cfa").c_str(), "r" );
                         assertf( extras, "cannot open extras.cf\n" );
                         parse( extras, ast::Linkage::BuiltinC );
@@ -306 +295 @@
 
                                 // Read to cfa builtins, if not generating the cfa library
-                                FILE * builtins = fopen( (PreludeDirector + "/builtins.cf").c_str(), "r" );
+                                FILE * builtins = fopen( (PreludeDirector + "/builtins.cfa").c_str(), "r" );
                                 assertf( builtins, "cannot open builtins.cf\n" );
                                 parse( builtins, ast::Linkage::BuiltinCFA );
@@ -319 +308 @@
 
                 Stats::Time::StopBlock();
-
-                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");
-                }
 
                 PASS( "Hoist Type Decls", Validate::hoistTypeDecls, transUnit );
@@ -409 +393 @@
                 PASS( "Translate Tries", ControlStruct::translateTries, transUnit );
                 PASS( "Gen Waitfor", Concurrency::generateWaitFor, transUnit );
+                PASS( "Fix Main Linkage", CodeGen::fixMainLinkage, transUnit, !nomainp );
 
                 // Needs to happen before tuple types are expanded.
@@ -427 +412 @@
                 PASS( "Link-Once", CodeGen::translateLinkOnce, transUnit );
 
-                translationUnit = convert( std::move( transUnit ) );
-
                 // Code has been lowered to C, now we can start generation.
 
-                DUMP( bcodegenp, translationUnit );
+                DUMP( bcodegenp, std::move( transUnit ) );
 
                 if ( optind < argc ) {                                                  // any commands after the flags and input file ? => output file name
@@ -437 +420 @@
                 } // if
 
-                CodeTools::fillLocations( translationUnit );
-                PASS( "Code Gen", CodeGen::generate, translationUnit, *output, ! genproto, prettycodegenp, true, linemarks );
-
-                CodeGen::FixMain::fix( translationUnit, *output,
-                                (PreludeDirector + "/bootloader.c").c_str() );
+                PASS( "Code Gen", CodeGen::generate, transUnit, *output, !genproto, prettycodegenp, true, linemarks, false );
+                CodeGen::fixMainInvoke( transUnit, *output, (PreludeDirector + "/bootloader.c").c_str() );
+
                 if ( output != &cout ) {
                         delete output;
@@ -448 +429 @@
                 if ( errorp ) {
                         cerr << "---AST at error:---" << endl;
-                        // We check which section the errors came from without looking at
-                        // transUnit because std::move means it could look like anything.
-                        if ( !translationUnit.empty() ) {
-                                dump( translationUnit, cerr );
-                        } else {
-                                dump( std::move( transUnit ), cerr );
-                        }
+                        dump( std::move( transUnit ), cerr );
                         cerr << endl << "---End of AST, begin error message:---\n" << endl;
                 } // if
@@ -480 +455 @@
         } // try
 
-        deleteAll( translationUnit );
         Stats::print();
         return EXIT_SUCCESS;
@@ -710 +684 @@
 } // parse_cmdline
 
-static bool notPrelude( Declaration * decl ) {
-        return ! LinkageSpec::isBuiltin( decl->get_linkage() );
-} // notPrelude
-
-static void dump( list< Declaration * > & translationUnit, ostream & out ) {
-        list< Declaration * > decls;
-
+static bool notPrelude( ast::ptr<ast::Decl> & decl ) {
+        return !decl->linkage.is_builtin;
+}
+
+static void dump( ast::TranslationUnit && unit, std::ostream & out ) {
+        // May filter out all prelude declarations.
         if ( genproto ) {
-                filter( translationUnit.begin(), translationUnit.end(), back_inserter( decls ), notPrelude );
+                std::list<ast::ptr<ast::Decl>> decls;
+                std::copy_if( unit.decls.begin(), unit.decls.end(),
+                        std::back_inserter( decls ), notPrelude );
+                decls.swap( unit.decls );
+        }
+
+        // May print as full dump or as code generation.
+        if ( codegenp ) {
+                CodeGen::generate( unit, out, !genproto, prettycodegenp, false, false, false );
         } else {
-                decls = translationUnit;
-        } // if
-
-        // depending on commandline options, either generate code or dump the AST
-        if ( codegenp ) {
-                CodeGen::generate( decls, out, ! genproto, prettycodegenp );
-        } else {
-                printAll( decls, out );
-        } // if
-        deleteAll( translationUnit );
-} // dump
-
-static void dump( ast::TranslationUnit && transUnit, ostream & out ) {
-        std::list< Declaration * > translationUnit = convert( std::move( transUnit ) );
-        dump( translationUnit, out );
+                ast::printAll( out, unit.decls );
+        }
 }