Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/main.cc

    r09f34a84 r9e23b446  
    1010// Created On       : Fri May 15 23:12:02 2015
    1111// Last Modified By : Andrew Beach
    12 // Last Modified On : Thu Sep 15 13:58:00 2022
    13 // Update Count     : 678
     12// Last Modified On : Tue Jun  7 13:29:00 2022
     13// Update Count     : 674
    1414//
    1515
    … …  
    3838#include "CodeGen/Generate.h"               // for generate
    3939#include "CodeGen/LinkOnce.h"               // for translateLinkOnce
     40#include "CodeTools/DeclStats.h"            // for printDeclStats
     41#include "CodeTools/ResolvProtoDump.h"      // for dumpAsResolvProto
    4042#include "CodeTools/TrackLoc.h"             // for fillLocations
    4143#include "Common/CodeLocationTools.hpp"     // for forceFillCodeLocations
    … …  
    4345#include "Common/DeclStats.hpp"             // for printDeclStats
    4446#include "Common/ResolvProtoDump.hpp"       // for dumpAsResolverProto
    45 #include "Common/Stats.h"                   // for Stats
     47#include "Common/Stats.h"
     48#include "Common/PassVisitor.h"
     49#include "Common/SemanticError.h"           // for SemanticError
    4650#include "Common/UnimplementedError.h"      // for UnimplementedError
    4751#include "Common/utility.h"                 // for deleteAll, filter, printAll
    … …  
    4953#include "Concurrency/Waitfor.h"            // for generateWaitfor
    5054#include "ControlStruct/ExceptDecl.h"       // for translateExcept
    51 #include "ControlStruct/ExceptTranslate.h"  // for translateThrows, translat...
     55#include "ControlStruct/ExceptTranslate.h"  // for translateEHM
    5256#include "ControlStruct/FixLabels.hpp"      // for fixLabels
    5357#include "ControlStruct/HoistControlDecls.hpp" //  hoistControlDecls
     58#include "ControlStruct/Mutate.h"           // for mutate
    5459#include "GenPoly/Box.h"                    // for box
    5560#include "GenPoly/InstantiateGeneric.h"     // for instantiateGeneric
    … …  
    6166#include "Parser/ParseNode.h"               // for DeclarationNode, buildList
    6267#include "Parser/TypedefTable.h"            // for TypedefTable
     68#include "ResolvExpr/AlternativePrinter.h"  // for AlternativePrinter
    6369#include "ResolvExpr/CandidatePrinter.hpp"  // for printCandidates
    6470#include "ResolvExpr/Resolver.h"            // for resolve
     71#include "SymTab/Validate.h"                // for validate
     72#include "SymTab/ValidateType.h"            // for linkReferenceToTypes
    6573#include "SynTree/LinkageSpec.h"            // for Spec, Cforall, Intrinsic
    6674#include "SynTree/Declaration.h"            // for Declaration
     75#include "SynTree/Visitor.h"                // for acceptAll
    6776#include "Tuples/Tuples.h"                  // for expandMemberTuples, expan...
    6877#include "Validate/Autogen.hpp"             // for autogenerateRoutines
    6978#include "Validate/CompoundLiteral.hpp"     // for handleCompoundLiterals
    7079#include "Validate/EliminateTypedef.hpp"    // for eliminateTypedef
    71 #include "Validate/EnumAndPointerDecay.hpp" // for decayEnumsAndPointers
    7280#include "Validate/FindSpecialDecls.h"      // for findGlobalDecls
    7381#include "Validate/FixQualifiedTypes.hpp"   // for fixQualifiedTypes
    74 #include "Validate/FixReturnTypes.hpp"      // for fixReturnTypes
    7582#include "Validate/ForallPointerDecay.hpp"  // for decayForallPointers
    7683#include "Validate/GenericParameter.hpp"    // for fillGenericParameters, tr...
    7784#include "Validate/HoistStruct.hpp"         // for hoistStruct
    78 #include "Validate/HoistTypeDecls.hpp"      // for hoistTypeDecls
    7985#include "Validate/InitializerLength.hpp"   // for setLengthFromInitializer
    8086#include "Validate/LabelAddressFixer.hpp"   // for fixLabelAddresses
    81 #include "Validate/LinkReferenceToTypes.hpp" // for linkReferenceToTypes
    82 #include "Validate/ReplaceTypedef.hpp"      // for replaceTypedef
    8387#include "Validate/ReturnCheck.hpp"         // for checkReturnStatements
    84 #include "Validate/VerifyCtorDtorAssign.hpp" // for verifyCtorDtorAssign
    8588#include "Virtual/ExpandCasts.h"            // for expandCasts
    8689
    … …  
    321324                Stats::Time::StopBlock();
    322325
    323                 if (Stats::Counters::enabled) {
    324                         ast::pass_visitor_stats.avg = Stats::Counters::build<Stats::Counters::AverageCounter<double>>("Average Depth - New");
    325                         ast::pass_visitor_stats.max = Stats::Counters::build<Stats::Counters::MaxCounter<double>>("Max depth - New");
     326                PASS( "Translate Exception Declarations", ControlStruct::translateExcept( translationUnit ) );
     327                if ( exdeclp ) {
     328                        dump( translationUnit );
     329                        return EXIT_SUCCESS;
     330                } // if
     331
     332                // add the assignment statement after the initialization of a type parameter
     333                PASS( "Validate-A", SymTab::validate_A( translationUnit ) );
     334
     335                // Must happen before auto-gen, because it uses the sized flag.
     336                PASS( "Link Reference To Types", SymTab::linkReferenceToTypes( translationUnit ) );
     337
     338                CodeTools::fillLocations( translationUnit );
     339
     340                if( useNewAST ) {
     341                        CodeTools::fillLocations( translationUnit );
     342
     343                        if (Stats::Counters::enabled) {
     344                                ast::pass_visitor_stats.avg = Stats::Counters::build<Stats::Counters::AverageCounter<double>>("Average Depth - New");
     345                                ast::pass_visitor_stats.max = Stats::Counters::build<Stats::Counters::MaxCounter<double>>("Max depth - New");
     346                        }
     347                        auto transUnit = convert( move( translationUnit ) );
     348
     349                        forceFillCodeLocations( transUnit );
     350
     351                        // Must happen after Link References To Types,
     352                        // because aggregate members are accessed.
     353                        PASS( "Fix Qualified Types", Validate::fixQualifiedTypes( transUnit ) );
     354
     355                        PASS( "Hoist Struct", Validate::hoistStruct( transUnit ) );
     356                        PASS( "Eliminate Typedef", Validate::eliminateTypedef( transUnit ) );
     357
     358                        // Check as early as possible. Can't happen before
     359                        // LinkReferenceToType, observed failing when attempted
     360                        // before eliminateTypedef
     361                        PASS( "Validate Generic Parameters", Validate::fillGenericParameters( transUnit ) );
     362
     363                        PASS( "Translate Dimensions", Validate::translateDimensionParameters( transUnit ) );
     364                        PASS( "Check Function Returns", Validate::checkReturnStatements( transUnit ) );
     365
     366                        // Must happen before Autogen.
     367                        PASS( "Fix Return Statements", InitTweak::fixReturnStatements( transUnit ) );
     368
     369                        PASS( "Implement Concurrent Keywords", Concurrency::implementKeywords( transUnit ) );
     370
     371                        // Must be after implement concurrent keywords; because uniqueIds
     372                        //   must be set on declaration before resolution.
     373                        // Must happen before autogen routines are added.
     374                        PASS( "Forall Pointer Decay", Validate::decayForallPointers( transUnit ) );
     375
     376                        // Must happen before autogen routines are added.
     377                        PASS( "Hoist Control Declarations", ControlStruct::hoistControlDecls( transUnit ) );
     378
     379                        // Must be after enum and pointer decay.
     380                        // Must be before compound literals.
     381                        PASS( "Generate Autogen Routines", Validate::autogenerateRoutines( transUnit ) );
     382
     383                        PASS( "Implement Mutex", Concurrency::implementMutex( transUnit ) );
     384                        PASS( "Implement Thread Start", Concurrency::implementThreadStarter( transUnit ) );
     385                        PASS( "Compound Literal", Validate::handleCompoundLiterals( transUnit ) );
     386                        PASS( "Set Length From Initializer", Validate::setLengthFromInitializer( transUnit ) );
     387                        PASS( "Find Global Decls", Validate::findGlobalDecls( transUnit ) );
     388                        PASS( "Fix Label Address", Validate::fixLabelAddresses( transUnit ) );
     389
     390                        if ( symtabp ) {
     391                                return EXIT_SUCCESS;
     392                        } // if
     393
     394                        if ( expraltp ) {
     395                                ResolvExpr::printCandidates( transUnit );
     396                                return EXIT_SUCCESS;
     397                        } // if
     398
     399                        if ( validp ) {
     400                                dump( move( transUnit ) );
     401                                return EXIT_SUCCESS;
     402                        } // if
     403
     404                        PASS( "Translate Throws", ControlStruct::translateThrows( transUnit ) );
     405                        PASS( "Fix Labels", ControlStruct::fixLabels( transUnit ) );
     406                        PASS( "Fix Names", CodeGen::fixNames( transUnit ) );
     407                        PASS( "Gen Init", InitTweak::genInit( transUnit ) );
     408                        PASS( "Expand Member Tuples" , Tuples::expandMemberTuples( transUnit ) );
     409
     410                        if ( libcfap ) {
     411                                // Generate the bodies of cfa library functions.
     412                                LibCfa::makeLibCfa( transUnit );
     413                        } // if
     414
     415                        if ( declstatsp ) {
     416                                printDeclStats( transUnit );
     417                                return EXIT_SUCCESS;
     418                        } // if
     419
     420                        if ( bresolvep ) {
     421                                dump( move( transUnit ) );
     422                                return EXIT_SUCCESS;
     423                        } // if
     424
     425                        if ( resolvprotop ) {
     426                                dumpAsResolverProto( transUnit );
     427                                return EXIT_SUCCESS;
     428                        } // if
     429
     430                        PASS( "Resolve", ResolvExpr::resolve( transUnit ) );
     431                        if ( exprp ) {
     432                                dump( move( transUnit ) );
     433                                return EXIT_SUCCESS;
     434                        } // if
     435
     436                        forceFillCodeLocations( transUnit );
     437
     438                        PASS( "Fix Init", InitTweak::fix(transUnit, buildingLibrary()));
     439
     440                        // fix ObjectDecl - replaces ConstructorInit nodes
     441                        if ( ctorinitp ) {
     442                                dump( move( transUnit ) );
     443                                return EXIT_SUCCESS;
     444                        } // if
     445
     446                        // Currently not working due to unresolved issues with UniqueExpr
     447                        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
     448
     449                        PASS( "Translate Tries", ControlStruct::translateTries( transUnit ) );
     450                        PASS( "Gen Waitfor", Concurrency::generateWaitFor( transUnit ) );
     451                        PASS( "Convert Specializations",  GenPoly::convertSpecializations( transUnit ) ); // needs to happen before tuple types are expanded
     452
     453
     454                        translationUnit = convert( move( transUnit ) );
     455                } else {
     456                        PASS( "Validate-B", SymTab::validate_B( translationUnit ) );
     457                        PASS( "Validate-C", SymTab::validate_C( translationUnit ) );
     458                        PASS( "Validate-D", SymTab::validate_D( translationUnit ) );
     459                        PASS( "Validate-E", SymTab::validate_E( translationUnit ) );
     460                        PASS( "Validate-F", SymTab::validate_F( translationUnit ) );
     461
     462                        if ( symtabp ) {
     463                                deleteAll( translationUnit );
     464                                return EXIT_SUCCESS;
     465                        } // if
     466
     467                        if ( expraltp ) {
     468                                PassVisitor<ResolvExpr::AlternativePrinter> printer( cout );
     469                                acceptAll( translationUnit, printer );
     470                                return EXIT_SUCCESS;
     471                        } // if
     472
     473                        if ( validp ) {
     474                                dump( translationUnit );
     475                                return EXIT_SUCCESS;
     476                        } // if
     477
     478                        PASS( "Translate Throws", ControlStruct::translateThrows( translationUnit ) );
     479                        PASS( "Fix Labels", ControlStruct::fixLabels( translationUnit ) );
     480                        PASS( "Fix Names", CodeGen::fixNames( translationUnit ) );
     481                        PASS( "Gen Init", InitTweak::genInit( translationUnit ) );
     482                        PASS( "Expand Member Tuples" , Tuples::expandMemberTuples( translationUnit ) );
     483
     484                        if ( libcfap ) {
     485                                // Generate the bodies of cfa library functions.
     486                                LibCfa::makeLibCfa( translationUnit );
     487                        } // if
     488
     489                        if ( declstatsp ) {
     490                                CodeTools::printDeclStats( translationUnit );
     491                                deleteAll( translationUnit );
     492                                return EXIT_SUCCESS;
     493                        } // if
     494
     495                        if ( bresolvep ) {
     496                                dump( translationUnit );
     497                                return EXIT_SUCCESS;
     498                        } // if
     499
     500                        CodeTools::fillLocations( translationUnit );
     501
     502                        if ( resolvprotop ) {
     503                                CodeTools::dumpAsResolvProto( translationUnit );
     504                                return EXIT_SUCCESS;
     505                        } // if
     506
     507                        PASS( "Resolve", ResolvExpr::resolve( translationUnit ) );
     508                        if ( exprp ) {
     509                                dump( translationUnit );
     510                                return EXIT_SUCCESS;
     511                        }
     512
     513                        PASS( "Fix Init", InitTweak::fix( translationUnit, buildingLibrary() ) );
     514
     515                        // fix ObjectDecl - replaces ConstructorInit nodes
     516                        if ( ctorinitp ) {
     517                                dump ( translationUnit );
     518                                return EXIT_SUCCESS;
     519                        } // if
     520
     521                        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
     522                        PASS( "Translate Tries", ControlStruct::translateTries( translationUnit ) );
     523                        PASS( "Gen Waitfor", Concurrency::generateWaitFor( translationUnit ) );
     524                        PASS( "Convert Specializations",  GenPoly::convertSpecializations( translationUnit ) ); // needs to happen before tuple types are expanded
     525
    326526                }
    327                 auto transUnit = convert( std::move( translationUnit ) );
    328 
    329                 forceFillCodeLocations( transUnit );
    330 
    331                 PASS( "Translate Exception Declarations", ControlStruct::translateExcept( transUnit ) );
    332                 if ( exdeclp ) {
    333                         dump( std::move( transUnit ) );
     527
     528
     529                // PASS( "Convert Specializations",  GenPoly::convertSpecializations( translationUnit ) ); // needs to happen before tuple types are expanded
     530
     531                PASS( "Expand Tuples", Tuples::expandTuples( translationUnit ) ); // xxx - is this the right place for this?
     532
     533                if ( tuplep ) {
     534                        dump( translationUnit );
    334535                        return EXIT_SUCCESS;
    335                 }
    336 
    337                 PASS( "Verify Ctor, Dtor & Assign", Validate::verifyCtorDtorAssign( transUnit ) );
    338                 PASS( "Hoist Type Decls", Validate::hoistTypeDecls( transUnit ) );
    339                 // Hoist Type Decls pulls some declarations out of contexts where
    340                 // locations are not tracked. Perhaps they should be, but for now
    341                 // the full fill solves it.
    342                 forceFillCodeLocations( transUnit );
    343 
    344                 PASS( "Replace Typedefs", Validate::replaceTypedef( transUnit ) );
    345                 PASS( "Fix Return Types", Validate::fixReturnTypes( transUnit ) );
    346                 PASS( "Enum and Pointer Decay", Validate::decayEnumsAndPointers( transUnit ) );
    347 
    348                 PASS( "Link Reference To Types", Validate::linkReferenceToTypes( transUnit ) );
    349 
    350                 PASS( "Fix Qualified Types", Validate::fixQualifiedTypes( transUnit ) );
    351                 PASS( "Hoist Struct", Validate::hoistStruct( transUnit ) );
    352                 PASS( "Eliminate Typedef", Validate::eliminateTypedef( transUnit ) );
    353                 PASS( "Validate Generic Parameters", Validate::fillGenericParameters( transUnit ) );
    354                 PASS( "Translate Dimensions", Validate::translateDimensionParameters( transUnit ) );
    355                 PASS( "Check Function Returns", Validate::checkReturnStatements( transUnit ) );
    356                 PASS( "Fix Return Statements", InitTweak::fixReturnStatements( transUnit ) );
    357                 PASS( "Implement Concurrent Keywords", Concurrency::implementKeywords( transUnit ) );
    358                 PASS( "Forall Pointer Decay", Validate::decayForallPointers( transUnit ) );
    359                 PASS( "Hoist Control Declarations", ControlStruct::hoistControlDecls( transUnit ) );
    360 
    361                 PASS( "Generate Autogen Routines", Validate::autogenerateRoutines( transUnit ) );
    362 
    363                 PASS( "Implement Mutex", Concurrency::implementMutex( transUnit ) );
    364                 PASS( "Implement Thread Start", Concurrency::implementThreadStarter( transUnit ) );
    365                 PASS( "Compound Literal", Validate::handleCompoundLiterals( transUnit ) );
    366                 PASS( "Set Length From Initializer", Validate::setLengthFromInitializer( transUnit ) );
    367                 PASS( "Find Global Decls", Validate::findGlobalDecls( transUnit ) );
    368                 PASS( "Fix Label Address", Validate::fixLabelAddresses( transUnit ) );
    369 
    370                 if ( symtabp ) {
    371                         return EXIT_SUCCESS;
    372                 } // if
    373 
    374                 if ( expraltp ) {
    375                         ResolvExpr::printCandidates( transUnit );
    376                         return EXIT_SUCCESS;
    377                 } // if
    378 
    379                 if ( validp ) {
    380                         dump( std::move( transUnit ) );
    381                         return EXIT_SUCCESS;
    382                 } // if
    383 
    384                 PASS( "Translate Throws", ControlStruct::translateThrows( transUnit ) );
    385                 PASS( "Fix Labels", ControlStruct::fixLabels( transUnit ) );
    386                 PASS( "Fix Names", CodeGen::fixNames( transUnit ) );
    387                 PASS( "Gen Init", InitTweak::genInit( transUnit ) );
    388                 PASS( "Expand Member Tuples" , Tuples::expandMemberTuples( transUnit ) );
    389 
    390                 if ( libcfap ) {
    391                         // Generate the bodies of cfa library functions.
    392                         LibCfa::makeLibCfa( transUnit );
    393                 } // if
    394 
    395                 if ( declstatsp ) {
    396                         printDeclStats( transUnit );
    397                         return EXIT_SUCCESS;
    398                 } // if
    399 
    400                 if ( bresolvep ) {
    401                         dump( std::move( transUnit ) );
    402                         return EXIT_SUCCESS;
    403                 } // if
    404 
    405                 if ( resolvprotop ) {
    406                         dumpAsResolverProto( transUnit );
    407                         return EXIT_SUCCESS;
    408                 } // if
    409 
    410                 PASS( "Resolve", ResolvExpr::resolve( transUnit ) );
    411                 if ( exprp ) {
    412                         dump( std::move( transUnit ) );
    413                         return EXIT_SUCCESS;
    414                 } // if
    415 
    416                 forceFillCodeLocations( transUnit );
    417 
    418                 PASS( "Fix Init", InitTweak::fix(transUnit, buildingLibrary()));
    419 
    420                 // fix ObjectDecl - replaces ConstructorInit nodes
    421                 if ( ctorinitp ) {
    422                         dump( std::move( transUnit ) );
    423                         return EXIT_SUCCESS;
    424                 } // if
    425 
    426                 // Currently not working due to unresolved issues with UniqueExpr
    427                 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
    428 
    429                 PASS( "Translate Tries", ControlStruct::translateTries( transUnit ) );
    430                 PASS( "Gen Waitfor", Concurrency::generateWaitFor( transUnit ) );
    431 
    432                 // Needs to happen before tuple types are expanded.
    433                 PASS( "Convert Specializations",  GenPoly::convertSpecializations( transUnit ) );
    434 
    435                 PASS( "Expand Tuples", Tuples::expandTuples( transUnit ) );
    436 
    437                 if ( tuplep ) {
    438                         dump( std::move( transUnit ) );
    439                         return EXIT_SUCCESS;
    440                 } // if
    441 
    442                 // Must come after Translate Tries.
    443                 PASS( "Virtual Expand Casts", Virtual::expandCasts( transUnit ) );
    444 
    445                 PASS( "Instantiate Generics", GenPoly::instantiateGeneric( transUnit ) );
    446 
    447                 translationUnit = convert( std::move( transUnit ) );
    448 
     536                } // if
     537
     538                PASS( "Virtual Expand Casts", Virtual::expandCasts( translationUnit ) ); // Must come after translateEHM
     539
     540                PASS( "Instantiate Generics", GenPoly::instantiateGeneric( translationUnit ) );
    449541                if ( genericsp ) {
    450542                        dump( translationUnit );
    … …  
    529621
    530622
    531 static const char optstring[] = ":c:ghlLmNnpdP:S:twW:D:";
     623static const char optstring[] = ":c:ghlLmNnpdOAP:S:twW:D:";
    532624
    533625enum { PreludeDir = 128 };
    … …  
    543635        { "prototypes", no_argument, nullptr, 'p' },
    544636        { "deterministic-out", no_argument, nullptr, 'd' },
     637        { "old-ast", no_argument, nullptr, 'O'},
     638        { "new-ast", no_argument, nullptr, 'A'},
    545639        { "print", required_argument, nullptr, 'P' },
    546640        { "prelude-dir", required_argument, nullptr, PreludeDir },
    … …  
    564658        "do not generate prelude prototypes => prelude not printed", // -p
    565659        "only print deterministic output",                  // -d
     660        "Use the old-ast",                                                                      // -O
     661        "Use the new-ast",                                                                      // -A
    566662        "print",                                                                                        // -P
    567663        "<directory> prelude directory for debug/nodebug",      // no flag
    … …  
    672768                        deterministic_output = true;
    673769                        break;
     770                  case 'O':                                     // don't print non-deterministic output
     771                        useNewAST = false;
     772                        break;
     773                  case 'A':                                     // don't print non-deterministic output
     774                        useNewAST = true;
     775                        break;
    674776                  case 'P':                                                                             // print options
    675777                        for ( int i = 0;; i += 1 ) {
    … …  
    788890
    789891static void dump( ast::TranslationUnit && transUnit, ostream & out ) {
    790         std::list< Declaration * > translationUnit = convert( std::move( transUnit ) );
     892        std::list< Declaration * > translationUnit = convert( move( transUnit ) );
    791893        dump( translationUnit, out );
    792894}
Note: See TracChangeset for help on using the changeset viewer.