Changes in src/main.cc [ebcc940:3c0d4cd]
- File:
-
- 1 edited
-
src/main.cc (modified) (16 diffs)
Legend:
- Unmodified
- Added
- Removed
-
src/main.cc
rebcc940 r3c0d4cd 65 65 using namespace std; 66 66 67 #define PASS(name, pass) \ 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) \ 68 79 if ( errorp ) { cerr << name << endl; } \ 69 Stats::Heap::newPass(name); \ 70 pass; 80 NewPass(name); \ 81 Stats::Time::StartBlock(name); \ 82 pass; \ 83 Stats::Time::StopBlock(); 71 84 72 85 LinkageSpec::Spec linkage = LinkageSpec::Cforall; … … 142 155 backtrace( 6 ); // skip first 6 stack frames 143 156 signal( SIGABRT, SIG_DFL); // reset default signal handler 144 157 raise( SIGABRT ); // reraise SIGABRT 145 158 } // sigAbortHandler 146 159 … … 181 194 } // if 182 195 196 Stats::Time::StartGlobal(); 197 NewPass("Parse"); 198 Stats::Time::StartBlock("Parse"); 199 183 200 // read in the builtins, extras, and the prelude 184 201 if ( ! nopreludep ) { // include gcc builtins … … 231 248 // works okay for now. 232 249 CodeTools::fillLocations( translationUnit ); 250 Stats::Time::StopBlock(); 233 251 234 252 // add the assignment statement after the initialization of a type parameter 235 PASS( " validate", SymTab::validate( translationUnit, symtabp ) );253 PASS( "Validate", SymTab::validate( translationUnit, symtabp ) ); 236 254 if ( symtabp ) { 237 255 deleteAll( translationUnit ); … … 250 268 } // if 251 269 252 PASS( " fixLabels", ControlStruct::fixLabels( translationUnit ) );253 PASS( " fixNames", CodeGen::fixNames( translationUnit ) );254 PASS( " genInit", InitTweak::genInit( translationUnit ) );255 PASS( " expandMemberTuples" , Tuples::expandMemberTuples( translationUnit ) );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 ) ); 256 274 if ( libcfap ) { 257 275 // generate the bodies of cfa library functions … … 277 295 } 278 296 279 PASS( " resolve", ResolvExpr::resolve( translationUnit ) );297 PASS( "Resolve", ResolvExpr::resolve( translationUnit ) ); 280 298 if ( exprp ) { 281 299 dump( translationUnit ); … … 284 302 285 303 // fix ObjectDecl - replaces ConstructorInit nodes 286 PASS( " fixInit", InitTweak::fix( translationUnit, buildingLibrary() ) );304 PASS( "Fix Init", InitTweak::fix( translationUnit, buildingLibrary() ) ); 287 305 if ( ctorinitp ) { 288 306 dump ( translationUnit ); … … 290 308 } // if 291 309 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 reused293 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 expanded299 300 PASS( " expandTuples", Tuples::expandTuples( translationUnit ) ); // xxx - is this the right place for this?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? 301 319 302 320 if ( tuplep ) { … … 305 323 } 306 324 307 PASS( " virtual expandCasts", Virtual::expandCasts( translationUnit ) ); // Must come after translateEHM308 309 PASS( " instantiateGenerics", GenPoly::instantiateGeneric( translationUnit ) );325 PASS( "Virtual Expand Casts", Virtual::expandCasts( translationUnit ) ); // Must come after translateEHM 326 327 PASS( "Instantiate Generics", GenPoly::instantiateGeneric( translationUnit ) ); 310 328 if ( genericsp ) { 311 329 dump( translationUnit ); 312 330 return 0; 313 331 } 314 PASS( " convertLvalue", GenPoly::convertLvalue( translationUnit ) );332 PASS( "Convert L-Value", GenPoly::convertLvalue( translationUnit ) ); 315 333 316 334 … … 319 337 return 0; 320 338 } // if 321 PASS( " box", GenPoly::box( translationUnit ) );339 PASS( "Box", GenPoly::box( translationUnit ) ); 322 340 323 341 if ( bcodegenp ) { … … 331 349 332 350 CodeTools::fillLocations( translationUnit ); 333 PASS( " codegen", CodeGen::generate( translationUnit, *output, ! noprotop, prettycodegenp, true, linemarks ) );351 PASS( "Code Gen", CodeGen::generate( translationUnit, *output, ! noprotop, prettycodegenp, true, linemarks ) ); 334 352 335 353 CodeGen::FixMain::fix( *output, (PreludeDirector + "/bootloader.c").c_str() ); … … 377 395 378 396 deleteAll( translationUnit ); 379 if(!libcfap && !treep) { 380 if(stats_counters) Stats::Counters::print(); 381 if(stats_heap) Stats::Heap::print(); 382 } 397 Stats::print(); 383 398 384 399 return 0; … … 421 436 while ( (c = getopt_long( argc, argv, "abBcCdefgGlLmnNpqrRstTvwW:yzZD:F:", long_opts, &long_index )) != -1 ) { 422 437 switch ( c ) { 423 424 438 case Ast: 439 case 'a': // dump AST 425 440 astp = true; 426 441 break; 427 428 442 case Bresolver: 443 case 'b': // print before resolver steps 429 444 bresolvep = true; 430 445 break; 431 446 case 'B': // print before box steps 432 447 bboxp = true; 433 448 break; 434 435 449 case CtorInitFix: 450 case 'c': // print after constructors and destructors are replaced 436 451 ctorinitp = true; 437 452 break; 438 453 case 'C': // print before code generation 439 454 bcodegenp = true; 440 455 break; 441 442 443 444 break; 445 446 456 case DeclStats: 457 case 'd': 458 declstatsp = true; 459 break; 460 case Expr: 461 case 'e': // dump AST after expression analysis 447 462 exprp = true; 448 463 break; 449 450 464 case ExprAlt: 465 case 'f': // print alternatives for expressions 451 466 expraltp = true; 452 467 break; 453 454 468 case Grammar: 469 case 'g': // bison debugging info (grammar rules) 455 470 yydebug = true; 456 471 break; 457 472 case 'G': // dump AST after instantiate generics 458 473 genericsp = true; 459 474 break; 460 461 475 case LibCFA: 476 case 'l': // generate libcfa.c 462 477 libcfap = true; 463 478 break; 464 465 479 case Linemarks: 480 case 'L': // print lines marks 466 481 linemarks = true; 467 482 break; 468 469 483 case Nopreamble: 484 case 'n': // do not read preamble 470 485 nopreludep = true; 471 486 break; 472 473 487 case Nolinemarks: 488 case 'N': // suppress line marks 474 489 linemarks = false; 475 490 break; 476 477 491 case Prototypes: 492 case 'p': // generate prototypes for preamble functions 478 493 noprotop = true; 479 494 break; 480 481 482 break; 483 484 485 break; 486 487 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 488 503 parsep = true; 489 504 break; 490 491 505 case Resolver: 506 case 'r': // print resolver steps 492 507 resolvep = true; 493 508 break; 494 509 case 'R': // dump resolv-proto instance 495 510 resolvprotop = true; 496 511 break; 497 case Stats: 498 { 499 std::stringstream ss(optarg); 500 while(ss.good()) { 501 std::string substr; 502 getline( ss, substr, ',' ); 503 if(substr == "counters") { 504 stats_counters = true; 505 } else if(substr == "heap") { 506 stats_heap = true; 507 } else if(substr == "none") { 508 stats_counters = false; 509 stats_heap = false; 510 } else { 511 std::cerr << "Ignoring unknown statistic " << substr << std::endl; 512 } 513 } 514 515 } 516 break; 517 case Symbol: 518 case 's': // print symbol table events 512 case Stats: 513 Stats::parse_params(optarg); 514 break; 515 case Symbol: 516 case 's': // print symbol table events 519 517 symtabp = true; 520 518 break; 521 522 519 case Tree: 520 case 't': // build in tree 523 521 treep = true; 524 522 break; 525 526 523 case TupleExpansion: 524 case 'T': // print after tuple expansion 527 525 tuplep = true; 528 526 break; 529 527 case 'v': // dump AST after decl validation pass 530 528 validp = true; 531 529 break; 532 530 case 'w': 533 531 Wsuppress = true; 534 532 break; 535 533 case 'W': 536 534 if ( strcmp( optarg, "all" ) == 0 ) { 537 535 SemanticWarning_EnableAll(); … … 550 548 } // if 551 549 break; 552 550 case 'y': // dump AST on error 553 551 errorp = true; 554 552 break; 555 553 case 'z': // dump as codegen rather than AST 556 554 codegenp = true; 557 555 break; … … 559 557 prettycodegenp = true; 560 558 break; 561 562 break; 563 559 case 'D': // ignore -Dxxx 560 break; 561 case 'F': // source file-name without suffix 564 562 filename = optarg; 565 563 break; 566 564 case '?': 567 565 if ( optopt ) { // short option ? 568 566 assertf( false, "Unknown option: -%c\n", (char)optopt ); … … 573 571 __attribute__((fallthrough)); 574 572 #endif 575 573 default: 576 574 abort(); 577 575 } // switch
Note:
See TracChangeset
for help on using the changeset viewer.
