Changes in src/main.cc [bd06384:4990812]

File:

• src/main.cc (modified) (22 diffs)

src/main.cc

@@ -1 @@
-
 //
 // Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
@@ -11 +10 @@
 // Created On       : Fri May 15 23:12:02 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Oct 31 12:22:40 2017
-// Update Count     : 445
+// Last Modified On : Mon May  7 14:35:57 2018
+// Update Count     : 492
 //
 
@@ -35 +34 @@
 #include "CodeTools/DeclStats.h"            // for printDeclStats
 #include "CodeTools/TrackLoc.h"             // for fillLocations
+#include "Common/CompilerError.h"           // for CompilerError
+#include "Common/Heap.h"
 #include "Common/PassVisitor.h"
-#include "Common/CompilerError.h"           // for CompilerError
-#include "Common/GC.h"                                          // for GC
 #include "Common/SemanticError.h"           // for SemanticError
 #include "Common/UnimplementedError.h"      // for UnimplementedError
@@ -58 +57 @@
 #include "SymTab/Validate.h"                // for validate
 #include "SynTree/Declaration.h"            // for Declaration
-#include "SynTree/GcTracer.h"               // for GC << TranslationUnit
 #include "SynTree/Visitor.h"                // for acceptAll
 #include "Tuples/Tuples.h"                  // for expandMemberTuples, expan...
@@ -65 +63 @@
 using namespace std;
 
-#define OPTPRINT(x) if ( errorp ) cerr << x << endl;
+#define PASS(name, pass)                   \
+        if ( errorp ) { cerr << name << endl; } \
+        HeapStats::newPass(name);               \
+        pass;
 
 LinkageSpec::Spec linkage = LinkageSpec::Cforall;
@@ -176 +177 @@
         signal( SIGABRT, sigAbortHandler );
 
+        // std::cout << "main" << std::endl;
+        // for ( int i = 0; i < argc; i += 1 ) {
+        //      std::cout << '\t' << argv[i] << std::endl;
+        // } // for
+
         parse_cmdline( argc, argv, filename );                          // process command-line arguments
         CodeGen::FixMain::setReplaceMain( !nomainp );
@@ -234 +240 @@
                 delete parseTree;
                 parseTree = nullptr;
-                collect( translationUnit );
 
                 if ( astp ) {
@@ -242 +247 @@
 
                 // add the assignment statement after the initialization of a type parameter
-                OPTPRINT( "validate" )
-                SymTab::validate( translationUnit, symtabp );
-                if ( symtabp ) return 0;
-                collect( translationUnit );
+                PASS( "validate", SymTab::validate( translationUnit, symtabp ) );
+                if ( symtabp ) {
+                        deleteAll( translationUnit );
+                        return 0;
+                } // if
 
                 if ( expraltp ) {
@@ -258 +264 @@
                 } // if
 
-                OPTPRINT( "mutate" )
-                ControlStruct::mutate( translationUnit );
-                OPTPRINT( "fixNames" )
-                CodeGen::fixNames( translationUnit );
-                OPTPRINT( "genInit" )
-                InitTweak::genInit( translationUnit );
-                OPTPRINT( "expandMemberTuples" );
-                Tuples::expandMemberTuples( translationUnit );
-                collect( translationUnit );
+                PASS( "mutate", ControlStruct::mutate( translationUnit ) );
+                PASS( "fixNames", CodeGen::fixNames( translationUnit ) );
+                PASS( "genInit", InitTweak::genInit( translationUnit ) );
+                PASS( "expandMemberTuples" , Tuples::expandMemberTuples( translationUnit ) );
                 if ( libcfap ) {
                         // generate the bodies of cfa library functions
@@ -274 +275 @@
                 if ( declstatsp ) {
                         CodeTools::printDeclStats( translationUnit );
+                        deleteAll( translationUnit );
                         return 0;
                 }
@@ -284 +286 @@
                 CodeTools::fillLocations( translationUnit );
 
-                OPTPRINT( "resolve" )
-                ResolvExpr::resolve( translationUnit );
-                collect( translationUnit );
+                PASS( "resolve", ResolvExpr::resolve( translationUnit ) );
                 if ( exprp ) {
                         dump( translationUnit );
@@ -293 +293 @@
 
                 // fix ObjectDecl - replaces ConstructorInit nodes
-                OPTPRINT( "fixInit" )
-                InitTweak::fix( translationUnit, filename, libcfap || treep );
-                collect( translationUnit );
+                PASS( "fixInit", InitTweak::fix( translationUnit, filename, libcfap || treep ) );
                 if ( ctorinitp ) {
                         dump ( translationUnit );
@@ -301 +299 @@
                 } // if
 
-                OPTPRINT( "expandUniqueExpr" ); // xxx - is this the right place for this? want to expand ASAP so that subsequent passes don't need to worry about double-visiting a unique expr - needs to go after InitTweak::fix so that copy constructed return declarations are reused
+                PASS( "expandUniqueExpr", Tuples::expandUniqueExpr( translationUnit ) ); // xxx - is this the right place for this? want to expand ASAP so tha, sequent passes don't need to worry about double-visiting a unique expr - needs to go after InitTweak::fix so that copy constructed return declarations are reused
                 Tuples::expandUniqueExpr( translationUnit );
 
-                OPTPRINT( "translateEHM" );
-                ControlStruct::translateEHM( translationUnit );
-
-                OPTPRINT( "generateWaitfor" );
-                Concurrency::generateWaitFor( translationUnit );
-
-                OPTPRINT( "convertSpecializations" ) // needs to happen before tuple types are expanded
-                GenPoly::convertSpecializations( translationUnit );
-
-                OPTPRINT( "expandTuples" ); // xxx - is this the right place for this?
-                Tuples::expandTuples( translationUnit );
-                collect( translationUnit );
+                PASS( "translateEHM" , ControlStruct::translateEHM( translationUnit ) );
+
+                PASS( "generateWaitfor" , Concurrency::generateWaitFor( translationUnit ) );
+
+                PASS( "convertSpecializations",  GenPoly::convertSpecializations( translationUnit ) ); // needs to happen before tuple types are expanded
+
+                PASS( "expandTuples", Tuples::expandTuples( translationUnit ) ); // xxx - is this the right place for this?
+
                 if ( tuplep ) {
                         dump( translationUnit );
@@ -321 +315 @@
                 }
 
-                OPTPRINT( "virtual expandCasts" ) // Must come after translateEHM
-                Virtual::expandCasts( translationUnit );
-
-                OPTPRINT("instantiateGenerics")
-                GenPoly::instantiateGeneric( translationUnit );
-                collect( translationUnit );
+                PASS( "virtual expandCasts", Virtual::expandCasts( translationUnit ) ); // Must come after translateEHM
+
+                PASS( "instantiateGenerics", GenPoly::instantiateGeneric( translationUnit ) );
                 if ( genericsp ) {
                         dump( translationUnit );
                         return 0;
                 }
-
-                OPTPRINT( "convertLvalue" )
-                GenPoly::convertLvalue( translationUnit );
-                collect( translationUnit );
+                PASS( "convertLvalue", GenPoly::convertLvalue( translationUnit ) );
+
+
                 if ( bboxp ) {
                         dump( translationUnit );
                         return 0;
                 } // if
-
-                OPTPRINT( "box" )
-                GenPoly::box( translationUnit );
-                collect( translationUnit );
+                PASS( "box", GenPoly::box( translationUnit ) );
+
                 if ( bcodegenp ) {
                         dump( translationUnit );
@@ -353 +341 @@
 
                 CodeTools::fillLocations( translationUnit );
-                OPTPRINT( "codegen" )
-                CodeGen::generate( translationUnit, *output, ! noprotop, prettycodegenp, true, linemarks );
+                PASS( "codegen", CodeGen::generate( translationUnit, *output, ! noprotop, prettycodegenp, true, linemarks ) );
 
                 CodeGen::FixMain::fix( *output, treep ? "../prelude/bootloader.c" : CFA_LIBDIR "/bootloader.c" );
-                OPTPRINT( "end" )
-
                 if ( output != &cout ) {
                         delete output;
@@ -386 +371 @@
                 } // if
                 return 1;
-        } // try
-
+        } catch(...) {
+                std::exception_ptr eptr = std::current_exception();
+                try {
+                        if (eptr) {
+                                std::rethrow_exception(eptr);
+                        }
+                        else {
+                                std::cerr << "Exception Uncaught and Unkown" << std::endl;
+                        }
+                } catch(const std::exception& e) {
+                        std::cerr << "Unaught Exception \"" << e.what() << "\"\n";
+                }
+                return 1;
+        }// try
+
+        deleteAll( translationUnit );
+        if(!libcfap && !treep) HeapStats::printStats();
         return 0;
 } // main
@@ -420 +420 @@
         opterr = 0;                                                                                     // (global) prevent getopt from printing error messages
 
+        bool Wsuppress = false, Werror = false;
         int c;
-        while ( (c = getopt_long( argc, argv, "abBcCdefgGlLmnNpqrstTvyzZD:F:", long_opts, &long_index )) != -1 ) {
+        while ( (c = getopt_long( argc, argv, "abBcCdefgGlLmnNpqrstTvwW:yzZD:F:", long_opts, &long_index )) != -1 ) {
                 switch ( c ) {
                   case Ast:
@@ -457 +458 @@
                         yydebug = true;
                         break;
-                  case 'G':                   // dump AST after instantiate generics
+                  case 'G':                                                                             // dump AST after instantiate generics
                         genericsp = true;
                         break;
@@ -505 +506 @@
                   case 'v':                                                                             // dump AST after decl validation pass
                         validp = true;
+                        break;
+                  case 'w':
+                        Wsuppress = true;
+                        break;
+                  case 'W':
+                        if ( strcmp( optarg, "all" ) == 0 ) {
+                                SemanticWarning_EnableAll();
+                        } else if ( strcmp( optarg, "error" ) == 0 ) {
+                                Werror = true;
+                        } else {
+                                char * warning = optarg;
+                                Severity s;
+                                if ( strncmp( optarg, "no-", 3 ) == 0 ) {
+                                        warning += 3;
+                                        s = Severity::Suppress;
+                                } else {
+                                        s = Severity::Warn;
+                                } // if
+                                SemanticWarning_Set( warning, s );
+                        } // if
                         break;
                   case 'y':                                                                             // dump AST on error
@@ -526 +547 @@
                                 assertf( false, "Unknown option: %s\n", argv[optind - 1] );
                         } // if
-                        #if __GNUC__ < 7
-                        #else
+                        #if defined(__GNUC__) && __GNUC__ >= 7
                                 __attribute__((fallthrough));
                         #endif
@@ -534 +554 @@
                 } // switch
         } // while
+
+        if ( Werror ) {
+                SemanticWarning_WarningAsError();
+        } // if
+        if ( Wsuppress ) {
+                SemanticWarning_SuppressAll();
+        } // if
+        // for ( const auto w : WarningFormats ) {
+        //      cout << w.name << ' ' << (int)w.severity << endl;
+        // } // for
 } // parse_cmdline
 
@@ -572 +602 @@
                 printAll( decls, out );
         }
+        deleteAll( translationUnit );
 } // dump