Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/main.cc

    r3c0d4cd ra2dbcff1  
    1010// Created On       : Fri May 15 23:12:02 2015
    1111// Last Modified By : Peter A. Buhr
    12 // Last Modified On : Sat Feb 16 09:14:04 2019
    13 // Update Count     : 500
     12// Last Modified On : Wed Jun  6 15:51:47 2018
     13// Update Count     : 498
    1414//
    1515
    … …  
    3737#include "CodeTools/TrackLoc.h"             // for fillLocations
    3838#include "Common/CompilerError.h"           // for CompilerError
    39 #include "Common/Stats.h"
     39#include "Common/Heap.h"
    4040#include "Common/PassVisitor.h"
    4141#include "Common/SemanticError.h"           // for SemanticError
    … …  
    6565using namespace std;
    6666
    67 
    68 void NewPass(const char * const name) {
    69         Stats::Heap::newPass(name);
    70         using namespace Stats::Counters;
    71         static auto pass_visitor_group = build<CounterGroup>("Pass Visitor");
    72         auto pass = build<CounterGroup>(name, pass_visitor_group);
    73         pass_visitor_stats.depth = 0;
    74         pass_visitor_stats.avg = build<AverageCounter<double>>("Average Depth", pass);
    75         pass_visitor_stats.max = build<MaxCounter<double>>("Max Depth", pass);
    76 }
    77 
    78 #define PASS(name, pass)                  \
     67#define PASS(name, pass)                   \
    7968        if ( errorp ) { cerr << name << endl; } \
    80         NewPass(name);                          \
    81         Stats::Time::StartBlock(name);          \
    82         pass;                                   \
    83         Stats::Time::StopBlock();
     69        HeapStats::newPass(name);               \
     70        pass;
    8471
    8572LinkageSpec::Spec linkage = LinkageSpec::Cforall;
    … …  
    155142        backtrace( 6 );                                                                         // skip first 6 stack frames
    156143        signal( SIGABRT, SIG_DFL);                                                      // reset default signal handler
    157                 raise( SIGABRT );                                                                       // reraise SIGABRT
     144    raise( SIGABRT );                                                                   // reraise SIGABRT
    158145} // sigAbortHandler
    159146
    … …  
    161148int main( int argc, char * argv[] ) {
    162149        FILE * input;                                                                           // use FILE rather than istream because yyin is FILE
    163         ostream * output = & cout;
    164         const char * filename = nullptr;
     150        ostream *output = & cout;
     151        const char *filename = nullptr;
    165152        list< Declaration * > translationUnit;
    166153
    … …  
    194181                } // if
    195182
    196                 Stats::Time::StartGlobal();
    197                 NewPass("Parse");
    198                 Stats::Time::StartBlock("Parse");
    199 
    200183                // read in the builtins, extras, and the prelude
    201184                if ( ! nopreludep ) {                                                   // include gcc builtins
    … …  
    248231                // works okay for now.
    249232                CodeTools::fillLocations( translationUnit );
    250                 Stats::Time::StopBlock();
    251233
    252234                // add the assignment statement after the initialization of a type parameter
    253                 PASS( "Validate", SymTab::validate( translationUnit, symtabp ) );
     235                PASS( "validate", SymTab::validate( translationUnit, symtabp ) );
    254236                if ( symtabp ) {
    255237                        deleteAll( translationUnit );
    … …  
    268250                } // if
    269251
    270                 PASS( "Fix Labels", ControlStruct::fixLabels( translationUnit ) );
    271                 PASS( "Fix Names", CodeGen::fixNames( translationUnit ) );
    272                 PASS( "Gen Init", InitTweak::genInit( translationUnit ) );
    273                 PASS( "Expand Member Tuples" , Tuples::expandMemberTuples( translationUnit ) );
     252                PASS( "fixLabels", ControlStruct::fixLabels( translationUnit ) );
     253                PASS( "fixNames", CodeGen::fixNames( translationUnit ) );
     254                PASS( "genInit", InitTweak::genInit( translationUnit ) );
     255                PASS( "expandMemberTuples" , Tuples::expandMemberTuples( translationUnit ) );
    274256                if ( libcfap ) {
    275257                        // generate the bodies of cfa library functions
    … …  
    295277                }
    296278
    297                 PASS( "Resolve", ResolvExpr::resolve( translationUnit ) );
     279                PASS( "resolve", ResolvExpr::resolve( translationUnit ) );
    298280                if ( exprp ) {
    299281                        dump( translationUnit );
    … …  
    302284
    303285                // fix ObjectDecl - replaces ConstructorInit nodes
    304                 PASS( "Fix Init", InitTweak::fix( translationUnit, buildingLibrary() ) );
     286                PASS( "fixInit", InitTweak::fix( translationUnit, buildingLibrary() ) );
    305287                if ( ctorinitp ) {
    306288                        dump ( translationUnit );
    … …  
    308290                } // if
    309291
    310                 PASS( "Expand Unique Expr", 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
    311 
    312                 PASS( "Translate EHM" , ControlStruct::translateEHM( translationUnit ) );
    313 
    314                 PASS( "Gen Waitfor" , Concurrency::generateWaitFor( translationUnit ) );
    315 
    316                 PASS( "Convert Specializations",  GenPoly::convertSpecializations( translationUnit ) ); // needs to happen before tuple types are expanded
    317 
    318                 PASS( "Expand Tuples", Tuples::expandTuples( translationUnit ) ); // xxx - is this the right place for this?
     292                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
     293
     294                PASS( "translateEHM" , ControlStruct::translateEHM( translationUnit ) );
     295
     296                PASS( "generateWaitfor" , Concurrency::generateWaitFor( translationUnit ) );
     297
     298                PASS( "convertSpecializations",  GenPoly::convertSpecializations( translationUnit ) ); // needs to happen before tuple types are expanded
     299
     300                PASS( "expandTuples", Tuples::expandTuples( translationUnit ) ); // xxx - is this the right place for this?
    319301
    320302                if ( tuplep ) {
    … …  
    323305                }
    324306
    325                 PASS( "Virtual Expand Casts", Virtual::expandCasts( translationUnit ) ); // Must come after translateEHM
    326 
    327                 PASS( "Instantiate Generics", GenPoly::instantiateGeneric( translationUnit ) );
     307                PASS( "virtual expandCasts", Virtual::expandCasts( translationUnit ) ); // Must come after translateEHM
     308
     309                PASS( "instantiateGenerics", GenPoly::instantiateGeneric( translationUnit ) );
    328310                if ( genericsp ) {
    329311                        dump( translationUnit );
    330312                        return 0;
    331313                }
    332                 PASS( "Convert L-Value", GenPoly::convertLvalue( translationUnit ) );
     314                PASS( "convertLvalue", GenPoly::convertLvalue( translationUnit ) );
    333315
    334316
    … …  
    337319                        return 0;
    338320                } // if
    339                 PASS( "Box", GenPoly::box( translationUnit ) );
     321                PASS( "box", GenPoly::box( translationUnit ) );
    340322
    341323                if ( bcodegenp ) {
    … …  
    349331
    350332                CodeTools::fillLocations( translationUnit );
    351                 PASS( "Code Gen", CodeGen::generate( translationUnit, *output, ! noprotop, prettycodegenp, true, linemarks ) );
     333                PASS( "codegen", CodeGen::generate( translationUnit, *output, ! noprotop, prettycodegenp, true, linemarks ) );
    352334
    353335                CodeGen::FixMain::fix( *output, (PreludeDirector + "/bootloader.c").c_str() );
    … …  
    389371                        }
    390372                } catch(const std::exception& e) {
    391                         std::cerr << "Uncaught Exception \"" << e.what() << "\"\n";
     373                        std::cerr << "Unaught Exception \"" << e.what() << "\"\n";
    392374                }
    393375                return 1;
    … …  
    395377
    396378        deleteAll( translationUnit );
    397         Stats::print();
    398 
     379        if(!libcfap && !treep) HeapStats::printStats();
    399380        return 0;
    400381} // main
    401382
    402383void parse_cmdline( int argc, char * argv[], const char *& filename ) {
    403         enum { Ast, Bbox, Bresolver, CtorInitFix, DeclStats, Expr, ExprAlt, Grammar, LibCFA, Linemarks, Nolinemarks, Nopreamble, Parse, PreludeDir, Prototypes, Resolver, ResolvProto, Stats, Symbol, Tree, TupleExpansion, Validate};
     384        enum { Ast, Bbox, Bresolver, CtorInitFix, DeclStats, Expr, ExprAlt, Grammar, LibCFA, Linemarks, Nolinemarks, Nopreamble, Parse, PreludeDir, Prototypes, Resolver, ResolvProto, Symbol, Tree, TupleExpansion, Validate, };
    404385
    405386        static struct option long_opts[] = {
    … …  
    421402                { "resolver", no_argument, 0, Resolver },
    422403                { "resolv-proto", no_argument, 0, ResolvProto },
    423                 { "stats", required_argument, 0, Stats },
    424404                { "symbol", no_argument, 0, Symbol },
    425405                { "tree", no_argument, 0, Tree },
    … …  
    436416        while ( (c = getopt_long( argc, argv, "abBcCdefgGlLmnNpqrRstTvwW:yzZD:F:", long_opts, &long_index )) != -1 ) {
    437417                switch ( c ) {
    438                         case Ast:
    439                         case 'a':                                                                               // dump AST
     418                  case Ast:
     419                  case 'a':                                                                             // dump AST
    440420                        astp = true;
    441421                        break;
    442                         case Bresolver:
    443                         case 'b':                                                                               // print before resolver steps
     422                  case Bresolver:
     423                  case 'b':                                                                             // print before resolver steps
    444424                        bresolvep = true;
    445425                        break;
    446                         case 'B':                                                                               // print before box steps
     426                  case 'B':                                                                             // print before box steps
    447427                        bboxp = true;
    448428                        break;
    449                         case CtorInitFix:
    450                         case 'c':                                                                               // print after constructors and destructors are replaced
     429                  case CtorInitFix:
     430                  case 'c':                                                                             // print after constructors and destructors are replaced
    451431                        ctorinitp = true;
    452432                        break;
    453                         case 'C':                                                                               // print before code generation
     433                  case 'C':                                                                             // print before code generation
    454434                        bcodegenp = true;
    455435                        break;
    456                         case DeclStats:
    457                         case 'd':
    458                                 declstatsp = true;
    459                         break;
    460                         case Expr:
    461                         case 'e':                                                                               // dump AST after expression analysis
     436                  case DeclStats:
     437                  case 'd':
     438                    declstatsp = true;
     439                        break;
     440                  case Expr:
     441                  case 'e':                                                                             // dump AST after expression analysis
    462442                        exprp = true;
    463443                        break;
    464                         case ExprAlt:
    465                         case 'f':                                                                               // print alternatives for expressions
     444                  case ExprAlt:
     445                  case 'f':                                                                             // print alternatives for expressions
    466446                        expraltp = true;
    467447                        break;
    468                         case Grammar:
    469                         case 'g':                                                                               // bison debugging info (grammar rules)
     448                  case Grammar:
     449                  case 'g':                                                                             // bison debugging info (grammar rules)
    470450                        yydebug = true;
    471451                        break;
    472                         case 'G':                                                                               // dump AST after instantiate generics
     452                  case 'G':                                                                             // dump AST after instantiate generics
    473453                        genericsp = true;
    474454                        break;
    475                         case LibCFA:
    476                         case 'l':                                                                               // generate libcfa.c
     455                  case LibCFA:
     456                  case 'l':                                                                             // generate libcfa.c
    477457                        libcfap = true;
    478458                        break;
    479                         case Linemarks:
    480                         case 'L':                                                                               // print lines marks
     459                  case Linemarks:
     460                  case 'L':                                                                             // print lines marks
    481461                        linemarks = true;
    482462                        break;
    483                         case Nopreamble:
    484                         case 'n':                                                                               // do not read preamble
     463                  case Nopreamble:
     464                  case 'n':                                                                             // do not read preamble
    485465                        nopreludep = true;
    486466                        break;
    487                         case Nolinemarks:
    488                         case 'N':                                                                               // suppress line marks
     467                  case Nolinemarks:
     468                  case 'N':                                                                             // suppress line marks
    489469                        linemarks = false;
    490470                        break;
    491                         case Prototypes:
    492                         case 'p':                                                                               // generate prototypes for preamble functions
     471                  case Prototypes:
     472                  case 'p':                                                                             // generate prototypes for preamble functions
    493473                        noprotop = true;
    494474                        break;
    495                         case PreludeDir:
    496                                 PreludeDirector = optarg;
    497                         break;
    498                         case 'm':                                                                               // don't replace the main
    499                                 nomainp = true;
    500                         break;
    501                         case Parse:
    502                         case 'q':                                                                               // dump parse tree
     475                  case PreludeDir:
     476                        PreludeDirector = optarg;
     477                        break;
     478                  case 'm':                                                                             // don't replace the main
     479                        nomainp = true;
     480                        break;
     481                  case Parse:
     482                  case 'q':                                                                             // dump parse tree
    503483                        parsep = true;
    504484                        break;
    505                         case Resolver:
    506                         case 'r':                                                                               // print resolver steps
     485                  case Resolver:
     486                  case 'r':                                                                             // print resolver steps
    507487                        resolvep = true;
    508488                        break;
    509                         case 'R':                                                                               // dump resolv-proto instance
     489                  case 'R':                                                                             // dump resolv-proto instance
    510490                        resolvprotop = true;
    511491                        break;
    512                         case Stats:
    513                                 Stats::parse_params(optarg);
    514                         break;
    515                         case Symbol:
    516                         case 's':                                                                               // print symbol table events
     492                  case Symbol:
     493                  case 's':                                                                             // print symbol table events
    517494                        symtabp = true;
    518495                        break;
    519                         case Tree:
    520                         case 't':                                                                               // build in tree
     496                  case Tree:
     497                  case 't':                                                                             // build in tree
    521498                        treep = true;
    522499                        break;
    523                         case TupleExpansion:
    524                         case 'T':                                                                               // print after tuple expansion
     500                  case TupleExpansion:
     501                  case 'T':                                                                             // print after tuple expansion
    525502                        tuplep = true;
    526503                        break;
    527                         case 'v':                                                                               // dump AST after decl validation pass
     504                  case 'v':                                                                             // dump AST after decl validation pass
    528505                        validp = true;
    529506                        break;
    530                         case 'w':
     507                  case 'w':
    531508                        Wsuppress = true;
    532509                        break;
    533                         case 'W':
     510                  case 'W':
    534511                        if ( strcmp( optarg, "all" ) == 0 ) {
    535512                                SemanticWarning_EnableAll();
    … …  
    548525                        } // if
    549526                        break;
    550                         case 'y':                                                                               // dump AST on error
     527                  case 'y':                                                                             // dump AST on error
    551528                        errorp = true;
    552529                        break;
    553                         case 'z':                                                                               // dump as codegen rather than AST
     530                  case 'z':                                                                             // dump as codegen rather than AST
    554531                        codegenp = true;
    555532                        break;
    … …  
    557534                        prettycodegenp = true;
    558535                        break;
    559                         case 'D':                                                                               // ignore -Dxxx
    560                         break;
    561                         case 'F':                                                                               // source file-name without suffix
     536                  case 'D':                                                                             // ignore -Dxxx
     537                        break;
     538                  case 'F':                                                                             // source file-name without suffix
    562539                        filename = optarg;
    563540                        break;
    564                         case '?':
     541                  case '?':
    565542                        if ( optopt ) {                                                         // short option ?
    566543                                assertf( false, "Unknown option: -%c\n", (char)optopt );
    … …  
    571548                                __attribute__((fallthrough));
    572549                        #endif
    573                         default:
     550                  default:
    574551                        abort();
    575552                } // switch
Note: See TracChangeset for help on using the changeset viewer.