Changeset b110bcc for src/main.cc


Ignore:
Timestamp:
Apr 21, 2023, 5:36:12 PM (2 years ago)
Author:
JiadaL <j82liang@…>
Branches:
ADT, master
Children:
28f8f15, 6e4c44d
Parents:
2ed94a9 (diff), 699a97d (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:
1 edited

Legend:

Unmodified
Added
Removed

  • src/main.cc

    r2ed94a9 rb110bcc  
    99// Author           : Peter Buhr and Rob Schluntz
    1010// Created On       : Fri May 15 23:12:02 2015
    11 // Last Modified By : Andrew Beach
    12 // Last Modified On : Wed Oct  5 12:06:00 2022
    13 // Update Count     : 679
     11// Last Modified By : Peter A. Buhr
     12// Last Modified On : Mon Apr 10 21:12:17 2023
     13// Update Count     : 682
    1414//
    1515
    … …  
    3232
    3333#include "AST/Convert.hpp"
     34#include "AST/Util.hpp"                     // for checkInvariants
    3435#include "CompilationState.h"
    3536#include "../config.h"                      // for CFA_LIBDIR
    … …  
    4041#include "CodeTools/TrackLoc.h"             // for fillLocations
    4142#include "Common/CodeLocationTools.hpp"     // for forceFillCodeLocations
    42 #include "Common/CompilerError.h"           // for CompilerError
    4343#include "Common/DeclStats.hpp"             // for printDeclStats
    4444#include "Common/ResolvProtoDump.hpp"       // for dumpAsResolverProto
    4545#include "Common/Stats.h"                   // for Stats
    46 #include "Common/UnimplementedError.h"      // for UnimplementedError
    4746#include "Common/utility.h"                 // for deleteAll, filter, printAll
    4847#include "Concurrency/Actors.hpp"           // for implementActors
    … …  
    8483#include "Validate/VerifyCtorDtorAssign.hpp" // for verifyCtorDtorAssign
    8584#include "Virtual/ExpandCasts.h"            // for expandCasts
     85#include "Virtual/VirtualDtor.hpp"           // for implementVirtDtors
    8686
    8787static void NewPass( const char * const name ) {
    … …  
    102102}
    103103
    104 #define PASS( name, pass )                  \
     104// Helpers for checkInvariant:
     105void checkInvariants( std::list< Declaration * > & ) {}
     106using ast::checkInvariants;
     107
     108#define PASS( name, pass, unit, ... )       \
    105109        if ( errorp ) { cerr << name << endl; } \
    106110        NewPass(name);                          \
    107111        Stats::Time::StartBlock(name);          \
    108         pass;                                   \
    109         Stats::Time::StopBlock();
     112        pass(unit,##__VA_ARGS__);               \
     113        Stats::Time::StopBlock();               \
     114        if ( invariant ) {                      \
     115                checkInvariants(unit);              \
     116        }
     117
     118#define DUMP( cond, unit )                  \
     119        if ( cond ) {                           \
     120                dump(unit);                         \
     121                return EXIT_SUCCESS;                \
     122        }
    110123
    111124static bool waiting_for_gdb = false;                                    // flag to set cfa-cpp to wait for gdb on start
    … …  
    274287                        FILE * gcc_builtins = fopen( (PreludeDirector + "/gcc-builtins.cf").c_str(), "r" );
    275288                        assertf( gcc_builtins, "cannot open gcc-builtins.cf\n" );
    276                         parse( gcc_builtins, LinkageSpec::Compiler );
     289                        parse( gcc_builtins, ast::Linkage::Compiler );
    277290
    278291                        // read the extra prelude in, if not generating the cfa library
    279292                        FILE * extras = fopen( (PreludeDirector + "/extras.cf").c_str(), "r" );
    280293                        assertf( extras, "cannot open extras.cf\n" );
    281                         parse( extras, LinkageSpec::BuiltinC );
     294                        parse( extras, ast::Linkage::BuiltinC );
    282295
    283296                        if ( ! libcfap ) {
    … …  
    285298                                FILE * prelude = fopen( (PreludeDirector + "/prelude.cfa").c_str(), "r" );
    286299                                assertf( prelude, "cannot open prelude.cfa\n" );
    287                                 parse( prelude, LinkageSpec::Intrinsic );
     300                                parse( prelude, ast::Linkage::Intrinsic );
    288301
    289302                                // Read to cfa builtins, if not generating the cfa library
    290303                                FILE * builtins = fopen( (PreludeDirector + "/builtins.cf").c_str(), "r" );
    291304                                assertf( builtins, "cannot open builtins.cf\n" );
    292                                 parse( builtins, LinkageSpec::BuiltinCFA );
    293                         } // if
    294                 } // if
    295 
    296                 parse( input, libcfap ? LinkageSpec::Intrinsic : LinkageSpec::Cforall, yydebug );
     305                                parse( builtins, ast::Linkage::BuiltinCFA );
     306                        } // if
     307                } // if
     308
     309                parse( input, libcfap ? ast::Linkage::Intrinsic : ast::Linkage::Cforall, yydebug );
    297310
    298311                transUnit = buildUnit();
    299312
    300                 if ( astp ) {
    301                         dump( std::move( transUnit ) );
    302                         return EXIT_SUCCESS;
    303                 } // if
     313                DUMP( astp, std::move( transUnit ) );
    304314
    305315                Stats::Time::StopBlock();
    … …  
    310320                }
    311321
    312                 PASS( "Hoist Type Decls", Validate::hoistTypeDecls( transUnit ) );
    313                 // Hoist Type Decls pulls some declarations out of contexts where
    314                 // locations are not tracked. Perhaps they should be, but for now
    315                 // the full fill solves it.
    316                 forceFillCodeLocations( transUnit );
    317 
    318                 PASS( "Translate Exception Declarations", ControlStruct::translateExcept( transUnit ) );
    319                 if ( exdeclp ) {
    320                         dump( std::move( transUnit ) );
    321                         return EXIT_SUCCESS;
    322                 }
    323 
    324                 PASS( "Verify Ctor, Dtor & Assign", Validate::verifyCtorDtorAssign( transUnit ) );
    325                 PASS( "Replace Typedefs", Validate::replaceTypedef( transUnit ) );
    326                 PASS( "Fix Return Types", Validate::fixReturnTypes( transUnit ) );
    327                 PASS( "Enum and Pointer Decay", Validate::decayEnumsAndPointers( transUnit ) );
    328 
    329                 PASS( "Link Reference To Types", Validate::linkReferenceToTypes( transUnit ) );
    330 
    331                 PASS( "Fix Qualified Types", Validate::fixQualifiedTypes( transUnit ) );
    332                 PASS( "Hoist Struct", Validate::hoistStruct( transUnit ) );
    333                 PASS( "Eliminate Typedef", Validate::eliminateTypedef( transUnit ) );
    334                 PASS( "Validate Generic Parameters", Validate::fillGenericParameters( transUnit ) );
    335                 PASS( "Translate Dimensions", Validate::translateDimensionParameters( transUnit ) );
    336                 PASS( "Check Function Returns", Validate::checkReturnStatements( transUnit ) );
    337                 PASS( "Fix Return Statements", InitTweak::fixReturnStatements( transUnit ) );
    338                 PASS( "Implement Concurrent Keywords", Concurrency::implementKeywords( transUnit ) );
    339                 PASS( "Forall Pointer Decay", Validate::decayForallPointers( transUnit ) );
    340                 PASS( "Hoist Control Declarations", ControlStruct::hoistControlDecls( transUnit ) );
    341 
    342                 PASS( "Generate Autogen Routines", Validate::autogenerateRoutines( transUnit ) );
    343 
    344         PASS( "Implement Actors", Concurrency::implementActors( transUnit ) );
    345 
    346                 PASS( "Implement Mutex", Concurrency::implementMutex( transUnit ) );
    347                 PASS( "Implement Thread Start", Concurrency::implementThreadStarter( transUnit ) );
    348                 PASS( "Compound Literal", Validate::handleCompoundLiterals( transUnit ) );
    349                 PASS( "Set Length From Initializer", Validate::setLengthFromInitializer( transUnit ) );
    350                 PASS( "Find Global Decls", Validate::findGlobalDecls( transUnit ) );
    351                 PASS( "Fix Label Address", Validate::fixLabelAddresses( transUnit ) );
     322                PASS( "Hoist Type Decls", Validate::hoistTypeDecls, transUnit );
     323
     324                PASS( "Translate Exception Declarations", ControlStruct::translateExcept, transUnit );
     325                DUMP( exdeclp, std::move( transUnit ) );
     326                PASS( "Verify Ctor, Dtor & Assign", Validate::verifyCtorDtorAssign, transUnit );
     327                PASS( "Replace Typedefs", Validate::replaceTypedef, transUnit );
     328                PASS( "Fix Return Types", Validate::fixReturnTypes, transUnit );
     329                PASS( "Enum and Pointer Decay", Validate::decayEnumsAndPointers, transUnit );
     330
     331                PASS( "Link Reference To Types", Validate::linkReferenceToTypes, transUnit );
     332
     333                PASS( "Fix Qualified Types", Validate::fixQualifiedTypes, transUnit );
     334                PASS( "Hoist Struct", Validate::hoistStruct, transUnit );
     335                PASS( "Eliminate Typedef", Validate::eliminateTypedef, transUnit );
     336                PASS( "Validate Generic Parameters", Validate::fillGenericParameters, transUnit );
     337                PASS( "Translate Dimensions", Validate::translateDimensionParameters, transUnit );
     338                PASS( "Check Function Returns", Validate::checkReturnStatements, transUnit );
     339                PASS( "Fix Return Statements", InitTweak::fixReturnStatements, transUnit );
     340                PASS( "Implement Concurrent Keywords", Concurrency::implementKeywords, transUnit );
     341                PASS( "Forall Pointer Decay", Validate::decayForallPointers, transUnit );
     342                PASS( "Hoist Control Declarations", ControlStruct::hoistControlDecls, transUnit );
     343
     344                PASS( "Generate Autogen Routines", Validate::autogenerateRoutines, transUnit );
     345
     346                PASS( "Implement Actors", Concurrency::implementActors, transUnit );
     347                PASS( "Implement Virtual Destructors", Virtual::implementVirtDtors, transUnit );
     348                PASS( "Implement Mutex", Concurrency::implementMutex, transUnit );
     349                PASS( "Implement Thread Start", Concurrency::implementThreadStarter, transUnit );
     350                PASS( "Compound Literal", Validate::handleCompoundLiterals, transUnit );
     351                PASS( "Set Length From Initializer", Validate::setLengthFromInitializer, transUnit );
     352                PASS( "Find Global Decls", Validate::findGlobalDecls, transUnit );
     353                PASS( "Fix Label Address", Validate::fixLabelAddresses, transUnit );
    352354
    353355                if ( symtabp ) {
    … …  
    360362                } // if
    361363
    362                 if ( validp ) {
    363                         dump( std::move( transUnit ) );
    364                         return EXIT_SUCCESS;
    365                 } // if
    366 
    367                 PASS( "Translate Throws", ControlStruct::translateThrows( transUnit ) );
    368                 PASS( "Fix Labels", ControlStruct::fixLabels( transUnit ) );
    369                 PASS( "Fix Names", CodeGen::fixNames( transUnit ) );
    370                 PASS( "Gen Init", InitTweak::genInit( transUnit ) );
    371                 PASS( "Expand Member Tuples" , Tuples::expandMemberTuples( transUnit ) );
     364                DUMP( validp, std::move( transUnit ) );
     365
     366                PASS( "Translate Throws", ControlStruct::translateThrows, transUnit );
     367                PASS( "Fix Labels", ControlStruct::fixLabels, transUnit );
     368                PASS( "Fix Names", CodeGen::fixNames, transUnit );
     369                PASS( "Gen Init", InitTweak::genInit, transUnit );
     370                PASS( "Expand Member Tuples" , Tuples::expandMemberTuples, transUnit );
    372371
    373372                if ( libcfap ) {
    … …  
    381380                } // if
    382381
    383                 if ( bresolvep ) {
    384                         dump( std::move( transUnit ) );
    385                         return EXIT_SUCCESS;
    386                 } // if
     382                DUMP( bresolvep, std::move( transUnit ) );
    387383
    388384                if ( resolvprotop ) {
    … …  
    391387                } // if
    392388
    393                 PASS( "Resolve", ResolvExpr::resolve( transUnit ) );
    394                 if ( exprp ) {
    395                         dump( std::move( transUnit ) );
    396                         return EXIT_SUCCESS;
    397                 } // if
    398 
    399                 forceFillCodeLocations( transUnit );
    400 
    401                 PASS( "Fix Init", InitTweak::fix(transUnit, buildingLibrary()));
     389                PASS( "Resolve", ResolvExpr::resolve, transUnit );
     390                DUMP( exprp, std::move( transUnit ) );
     391
     392                PASS( "Fix Init", InitTweak::fix, transUnit, buildingLibrary() );
    402393
    403394                // fix ObjectDecl - replaces ConstructorInit nodes
    404                 if ( ctorinitp ) {
    405                         dump( std::move( transUnit ) );
    406                         return EXIT_SUCCESS;
    407                 } // if
     395                DUMP( ctorinitp, std::move( transUnit ) );
    408396
    409397                // Currently not working due to unresolved issues with UniqueExpr
    410                 PASS( "Expand Unique Expr", Tuples::expandUniqueExpr( transUnit ) ); // 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
    411 
    412                 PASS( "Translate Tries", ControlStruct::translateTries( transUnit ) );
    413                 PASS( "Gen Waitfor", Concurrency::generateWaitFor( transUnit ) );
     398                PASS( "Expand Unique Expr", Tuples::expandUniqueExpr, transUnit ); // 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
     399
     400                PASS( "Translate Tries", ControlStruct::translateTries, transUnit );
     401                PASS( "Gen Waitfor", Concurrency::generateWaitFor, transUnit );
    414402
    415403                // Needs to happen before tuple types are expanded.
    416                 PASS( "Convert Specializations",  GenPoly::convertSpecializations( transUnit ) );
    417 
    418                 PASS( "Expand Tuples", Tuples::expandTuples( transUnit ) );
    419 
    420                 if ( tuplep ) {
    421                         dump( std::move( transUnit ) );
    422                         return EXIT_SUCCESS;
    423                 } // if
     404                PASS( "Convert Specializations",  GenPoly::convertSpecializations, transUnit );
     405
     406                PASS( "Expand Tuples", Tuples::expandTuples, transUnit );
     407                DUMP( tuplep, std::move( transUnit ) );
    424408
    425409                // Must come after Translate Tries.
    426                 PASS( "Virtual Expand Casts", Virtual::expandCasts( transUnit ) );
    427 
    428                 PASS( "Instantiate Generics", GenPoly::instantiateGeneric( transUnit ) );
    429                 if ( genericsp ) {
    430                         dump( std::move( transUnit ) );
    431                         return EXIT_SUCCESS;
    432                 } // if
    433 
    434                 PASS( "Convert L-Value", GenPoly::convertLvalue( transUnit ) );
     410                PASS( "Virtual Expand Casts", Virtual::expandCasts, transUnit );
     411
     412                PASS( "Instantiate Generics", GenPoly::instantiateGeneric, transUnit );
     413                DUMP( genericsp, std::move( transUnit ) );
     414
     415                PASS( "Convert L-Value", GenPoly::convertLvalue, transUnit );
    435416
    436417                translationUnit = convert( std::move( transUnit ) );
    437418
    438                 if ( bboxp ) {
    439                         dump( translationUnit );
    440                         return EXIT_SUCCESS;
    441                 } // if
    442                 PASS( "Box", GenPoly::box( translationUnit ) );
    443 
    444                 PASS( "Link-Once", CodeGen::translateLinkOnce( translationUnit ) );
     419                DUMP( bboxp, translationUnit );
     420                PASS( "Box", GenPoly::box, translationUnit );
     421
     422                PASS( "Link-Once", CodeGen::translateLinkOnce, translationUnit );
    445423
    446424                // Code has been lowered to C, now we can start generation.
    447425
    448                 if ( bcodegenp ) {
    449                         dump( translationUnit );
    450                         return EXIT_SUCCESS;
    451                 } // if
     426                DUMP( bcodegenp, translationUnit );
    452427
    453428                if ( optind < argc ) {                                                  // any commands after the flags and input file ? => output file name
    … …  
    456431
    457432                CodeTools::fillLocations( translationUnit );
    458                 PASS( "Code Gen", CodeGen::generate( translationUnit, *output, ! genproto, prettycodegenp, true, linemarks ) );
     433                PASS( "Code Gen", CodeGen::generate, translationUnit, *output, ! genproto, prettycodegenp, true, linemarks );
    459434
    460435                CodeGen::FixMain::fix( translationUnit, *output,
    … …  
    476451                } // if
    477452                e.print();
    478                 if ( output != &cout ) {
    479                         delete output;
    480                 } // if
    481                 return EXIT_FAILURE;
    482         } catch ( UnimplementedError & e ) {
    483                 cout << "Sorry, " << e.get_what() << " is not currently implemented" << endl;
    484                 if ( output != &cout ) {
    485                         delete output;
    486                 } // if
    487                 return EXIT_FAILURE;
    488         } catch ( CompilerError & e ) {
    489                 cerr << "Compiler Error: " << e.get_what() << endl;
    490                 cerr << "(please report bugs to [REDACTED])" << endl;
    491453                if ( output != &cout ) {
    492454                        delete output;
    … …  
    517479
    518480
    519 static const char optstring[] = ":c:ghlLmNnpdP:S:twW:D:";
     481static const char optstring[] = ":c:ghilLmNnpdP:S:twW:D:";
    520482
    521483enum { PreludeDir = 128 };
    … …  
    524486        { "gdb", no_argument, nullptr, 'g' },
    525487        { "help", no_argument, nullptr, 'h' },
     488        { "invariant", no_argument, nullptr, 'i' },
    526489        { "libcfa", no_argument, nullptr, 'l' },
    527490        { "linemarks", no_argument, nullptr, 'L' },
    528         { "no-main", no_argument, 0, 'm' },
     491        { "no-main", no_argument, nullptr, 'm' },
    529492        { "no-linemarks", no_argument, nullptr, 'N' },
    530493        { "no-prelude", no_argument, nullptr, 'n' },
    … …  
    545508        "wait for gdb to attach",                                                       // -g
    546509        "print translator help message",                                        // -h
     510        "invariant checking during AST passes",                         // -i
    547511        "generate libcfa.c",                                                            // -l
    548512        "generate line marks",                                                          // -L
    … …  
    638602                        usage( argv );                                                          // no return
    639603                        break;
     604                  case 'i':                                                                             // invariant checking
     605                        invariant = true;
     606                        break;
    640607                  case 'l':                                                                             // generate libcfa.c
    641608                        libcfap = true;
Note: See TracChangeset for help on using the changeset viewer.