Changeset b038fe4 for src/CodeGen/CodeGenerator.cc
- Timestamp:
- May 9, 2019, 4:48:12 PM (5 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 292d599
- Parents:
- 63364d8 (diff), 02af79b0 (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. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/CodeGen/CodeGenerator.cc
r63364d8 rb038fe4 9 9 // Author : Richard C. Bilson 10 10 // Created On : Mon May 18 07:44:20 2015 11 // Last Modified By : Peter A. Buhr12 // Last Modified On : Sat May 5 09:08:32 201813 // Update Count : 49 411 // Last Modified By : Andrew Beach 12 // Last Modified On : Thr May 2 10:47:00 2019 13 // Update Count : 497 14 14 // 15 15 #include "CodeGenerator.h" … … 83 83 void CodeGenerator::updateLocation( CodeLocation const & to ) { 84 84 // skip if linemarks shouldn't appear or if codelocation is unset 85 if ( ! lineMarks || to.isUnset() ) return;85 if ( !options.lineMarks || to.isUnset() ) return; 86 86 87 87 if ( currentLocation.followedBy( to, 0 ) ) { … … 116 116 } 117 117 118 CodeGenerator::CodeGenerator( std::ostream & os, bool pretty, bool genC, bool lineMarks, bool printExprTypes ) : indent( CodeGenerator::tabsize ), output( os ), printLabels( *this ), pretty( pretty ), genC( genC ), lineMarks( lineMarks ), printExprTypes( printExprTypes ), endl( *this ) {} 118 CodeGenerator::CodeGenerator( std::ostream & os, bool pretty, bool genC, bool lineMarks, bool printExprTypes ) : indent( CodeGenerator::tabsize ), output( os ), printLabels( *this ), options( pretty, genC, lineMarks, printExprTypes ), endl( *this ) {} 119 CodeGenerator::CodeGenerator( std::ostream & os, const Options &options ) : indent( CodeGenerator::tabsize ), output( os ), printLabels( *this ), options(options), endl( *this ) {} 119 120 120 121 string CodeGenerator::mangleName( DeclarationWithType * decl ) { 121 122 // GCC builtins should always be printed unmangled 122 if ( pretty || decl->linkage.is_gcc_builtin ) return decl->name;123 if ( options.pretty || decl->linkage.is_gcc_builtin ) return decl->name; 123 124 if ( decl->mangleName != "" ) { 124 125 // need to incorporate scope level in order to differentiate names for destructors … … 164 165 previsit( (BaseSyntaxNode *)node ); 165 166 GuardAction( [this, node](){ 166 if ( printExprTypes && node->result ) {167 output << " /* " << genType( node->result, "", pretty, genC) << " */ ";167 if ( options.printExprTypes && node->result ) { 168 output << " /* " << genType( node->result, "", options ) << " */ "; 168 169 } 169 170 } ); … … 173 174 void CodeGenerator::postvisit( FunctionDecl * functionDecl ) { 174 175 // deleted decls should never be used, so don't print them 175 if ( functionDecl->isDeleted && genC ) return;176 if ( functionDecl->isDeleted && options.genC ) return; 176 177 extension( functionDecl ); 177 178 genAttributes( functionDecl->get_attributes() ); … … 180 181 functionDecl->get_funcSpec().print( output ); 181 182 182 output << genType( functionDecl->get_functionType(), mangleName( functionDecl ), pretty, genC ); 183 Options subOptions = options; 184 subOptions.anonymousUnused = functionDecl->has_body(); 185 output << genType( functionDecl->get_functionType(), mangleName( functionDecl ), subOptions ); 183 186 184 187 asmName( functionDecl ); … … 194 197 void CodeGenerator::postvisit( ObjectDecl * objectDecl ) { 195 198 // deleted decls should never be used, so don't print them 196 if ( objectDecl->isDeleted && genC ) return;197 if (objectDecl->get_name().empty() && genC ) {199 if ( objectDecl->isDeleted && options.genC ) return; 200 if (objectDecl->get_name().empty() && options.genC ) { 198 201 // only generate an anonymous name when generating C code, otherwise it clutters the output too much 199 202 static UniqueName name = { "__anonymous_object" }; 200 203 objectDecl->set_name( name.newName() ); 204 // Stops unused parameter warnings. 205 if ( options.anonymousUnused ) { 206 objectDecl->attributes.push_back( new Attribute( "unused" ) ); 207 } 201 208 } 202 209 … … 205 212 206 213 handleStorageClass( objectDecl ); 207 output << genType( objectDecl->get_type(), mangleName( objectDecl ), pretty,genC );214 output << genType( objectDecl->get_type(), mangleName( objectDecl ), options.pretty, options.genC ); 208 215 209 216 asmName( objectDecl ); … … 224 231 225 232 void CodeGenerator::handleAggregate( AggregateDecl * aggDecl, const std::string & kind ) { 226 if( ! aggDecl->parameters.empty() && ! genC ) {233 if( ! aggDecl->parameters.empty() && ! options.genC ) { 227 234 // assertf( ! genC, "Aggregate type parameters should not reach code generation." ); 228 235 output << "forall("; … … 294 301 295 302 void CodeGenerator::postvisit( TraitDecl * traitDecl ) { 296 assertf( ! genC, "TraitDecls should not reach code generation." );303 assertf( ! options.genC, "TraitDecls should not reach code generation." ); 297 304 extension( traitDecl ); 298 305 handleAggregate( traitDecl, "trait " ); … … 300 307 301 308 void CodeGenerator::postvisit( TypedefDecl * typeDecl ) { 302 assertf( ! genC, "Typedefs are removed and substituted in earlier passes." );309 assertf( ! options.genC, "Typedefs are removed and substituted in earlier passes." ); 303 310 output << "typedef "; 304 output << genType( typeDecl->get_base(), typeDecl->get_name(), pretty, genC) << endl;311 output << genType( typeDecl->get_base(), typeDecl->get_name(), options ) << endl; 305 312 } 306 313 307 314 void CodeGenerator::postvisit( TypeDecl * typeDecl ) { 308 assertf( ! genC, "TypeDecls should not reach code generation." );315 assertf( ! options.genC, "TypeDecls should not reach code generation." ); 309 316 output << typeDecl->genTypeString() << " " << typeDecl->name; 310 317 if ( typeDecl->sized ) { … … 371 378 372 379 void CodeGenerator::postvisit( ConstructorInit * init ){ 373 assertf( ! genC, "ConstructorInit nodes should not reach code generation." );380 assertf( ! options.genC, "ConstructorInit nodes should not reach code generation." ); 374 381 // pseudo-output for constructor/destructor pairs 375 382 output << "<ctorinit>{" << endl << ++indent << "ctor: "; … … 507 514 } else { 508 515 // no constructors with 0 or more than 2 parameters 509 assertf( ! genC, "UntypedExpr constructor/destructor with 0 or more than 2 parameters." );516 assertf( ! options.genC, "UntypedExpr constructor/destructor with 0 or more than 2 parameters." ); 510 517 output << "("; 511 518 (*arg++)->accept( *visitor ); … … 604 611 // an lvalue cast, this has been taken out. 605 612 output << "("; 606 output << genType( castExpr->get_result(), "", pretty, genC);613 output << genType( castExpr->get_result(), "", options ); 607 614 output << ")"; 608 615 } // if … … 612 619 613 620 void CodeGenerator::postvisit( KeywordCastExpr * castExpr ) { 614 assertf( ! genC, "KeywordCast should not reach code generation." );621 assertf( ! options.genC, "KeywordCast should not reach code generation." ); 615 622 extension( castExpr ); 616 623 output << "((" << castExpr->targetString() << " &)"; … … 620 627 621 628 void CodeGenerator::postvisit( VirtualCastExpr * castExpr ) { 622 assertf( ! genC, "VirtualCastExpr should not reach code generation." );629 assertf( ! options.genC, "VirtualCastExpr should not reach code generation." ); 623 630 extension( castExpr ); 624 631 output << "(virtual "; … … 628 635 629 636 void CodeGenerator::postvisit( UntypedMemberExpr * memberExpr ) { 630 assertf( ! genC, "UntypedMemberExpr should not reach code generation." );637 assertf( ! options.genC, "UntypedMemberExpr should not reach code generation." ); 631 638 extension( memberExpr ); 632 639 memberExpr->get_aggregate()->accept( *visitor ); … … 661 668 output << "sizeof("; 662 669 if ( sizeofExpr->get_isType() ) { 663 output << genType( sizeofExpr->get_type(), "", pretty, genC);670 output << genType( sizeofExpr->get_type(), "", options ); 664 671 } else { 665 672 sizeofExpr->get_expr()->accept( *visitor ); … … 673 680 output << "__alignof__("; 674 681 if ( alignofExpr->get_isType() ) { 675 output << genType( alignofExpr->get_type(), "", pretty, genC);682 output << genType( alignofExpr->get_type(), "", options ); 676 683 } else { 677 684 alignofExpr->get_expr()->accept( *visitor ); … … 681 688 682 689 void CodeGenerator::postvisit( UntypedOffsetofExpr * offsetofExpr ) { 683 assertf( ! genC, "UntypedOffsetofExpr should not reach code generation." );690 assertf( ! options.genC, "UntypedOffsetofExpr should not reach code generation." ); 684 691 output << "offsetof("; 685 output << genType( offsetofExpr->get_type(), "", pretty, genC);692 output << genType( offsetofExpr->get_type(), "", options ); 686 693 output << ", " << offsetofExpr->get_member(); 687 694 output << ")"; … … 691 698 // use GCC builtin 692 699 output << "__builtin_offsetof("; 693 output << genType( offsetofExpr->get_type(), "", pretty, genC);700 output << genType( offsetofExpr->get_type(), "", options ); 694 701 output << ", " << mangleName( offsetofExpr->get_member() ); 695 702 output << ")"; … … 697 704 698 705 void CodeGenerator::postvisit( OffsetPackExpr * offsetPackExpr ) { 699 assertf( ! genC, "OffsetPackExpr should not reach code generation." );700 output << "__CFA_offsetpack(" << genType( offsetPackExpr->get_type(), "", pretty, genC) << ")";706 assertf( ! options.genC, "OffsetPackExpr should not reach code generation." ); 707 output << "__CFA_offsetpack(" << genType( offsetPackExpr->get_type(), "", options ) << ")"; 701 708 } 702 709 … … 728 735 extension( commaExpr ); 729 736 output << "("; 730 if ( genC ) {737 if ( options.genC ) { 731 738 // arg1 of a CommaExpr is never used, so it can be safely cast to void to reduce gcc warnings. 732 739 commaExpr->set_arg1( new CastExpr( commaExpr->get_arg1() ) ); … … 739 746 740 747 void CodeGenerator::postvisit( TupleAssignExpr * tupleExpr ) { 741 assertf( ! genC, "TupleAssignExpr should not reach code generation." );748 assertf( ! options.genC, "TupleAssignExpr should not reach code generation." ); 742 749 tupleExpr->stmtExpr->accept( *visitor ); 743 750 } 744 751 745 752 void CodeGenerator::postvisit( UntypedTupleExpr * tupleExpr ) { 746 assertf( ! genC, "UntypedTupleExpr should not reach code generation." );753 assertf( ! options.genC, "UntypedTupleExpr should not reach code generation." ); 747 754 extension( tupleExpr ); 748 755 output << "["; … … 752 759 753 760 void CodeGenerator::postvisit( TupleExpr * tupleExpr ) { 754 assertf( ! genC, "TupleExpr should not reach code generation." );761 assertf( ! options.genC, "TupleExpr should not reach code generation." ); 755 762 extension( tupleExpr ); 756 763 output << "["; … … 760 767 761 768 void CodeGenerator::postvisit( TupleIndexExpr * tupleExpr ) { 762 assertf( ! genC, "TupleIndexExpr should not reach code generation." );769 assertf( ! options.genC, "TupleIndexExpr should not reach code generation." ); 763 770 extension( tupleExpr ); 764 771 tupleExpr->get_tuple()->accept( *visitor ); … … 767 774 768 775 void CodeGenerator::postvisit( TypeExpr * typeExpr ) { 769 // if ( genC ) std::cerr << "typeexpr still exists: " << typeExpr << std::endl;770 // assertf( ! genC, "TypeExpr should not reach code generation." );771 if ( ! genC ) {772 output << genType( typeExpr->get_type(), "", pretty, genC);776 // if ( options.genC ) std::cerr << "typeexpr still exists: " << typeExpr << std::endl; 777 // assertf( ! options.genC, "TypeExpr should not reach code generation." ); 778 if ( ! options.genC ) { 779 output << genType( typeExpr->get_type(), "", options ); 773 780 } 774 781 } … … 788 795 void CodeGenerator::postvisit( CompoundLiteralExpr *compLitExpr ) { 789 796 assert( compLitExpr->get_result() && dynamic_cast< ListInit * > ( compLitExpr->get_initializer() ) ); 790 output << "(" << genType( compLitExpr->get_result(), "", pretty, genC) << ")";797 output << "(" << genType( compLitExpr->get_result(), "", options ) << ")"; 791 798 compLitExpr->get_initializer()->accept( *visitor ); 792 799 } 793 800 794 801 void CodeGenerator::postvisit( UniqueExpr * unqExpr ) { 795 assertf( ! genC, "Unique expressions should not reach code generation." );802 assertf( ! options.genC, "Unique expressions should not reach code generation." ); 796 803 output << "unq<" << unqExpr->get_id() << ">{ "; 797 804 unqExpr->get_expr()->accept( *visitor ); … … 829 836 830 837 void CodeGenerator::postvisit( ConstructorExpr * expr ) { 831 assertf( ! genC, "Unique expressions should not reach code generation." );838 assertf( ! options.genC, "Unique expressions should not reach code generation." ); 832 839 expr->callExpr->accept( *visitor ); 833 840 } 834 841 835 842 void CodeGenerator::postvisit( DeletedExpr * expr ) { 836 assertf( ! genC, "Deleted expressions should not reach code generation." );843 assertf( ! options.genC, "Deleted expressions should not reach code generation." ); 837 844 expr->expr->accept( *visitor ); 838 845 } 839 846 840 847 void CodeGenerator::postvisit( DefaultArgExpr * arg ) { 841 assertf( ! genC, "Default argument expressions should not reach code generation." );848 assertf( ! options.genC, "Default argument expressions should not reach code generation." ); 842 849 arg->expr->accept( *visitor ); 843 850 } 844 851 845 852 void CodeGenerator::postvisit( GenericExpr * expr ) { 846 assertf( ! genC, "C11 _Generic expressions should not reach code generation." );853 assertf( ! options.genC, "C11 _Generic expressions should not reach code generation." ); 847 854 output << "_Generic("; 848 855 expr->control->accept( *visitor ); … … 854 861 output << "default: "; 855 862 } else { 856 output << genType( assoc.type, "", pretty, genC) << ": ";863 output << genType( assoc.type, "", options ) << ": "; 857 864 } 858 865 assoc.expr->accept( *visitor ); … … 889 896 void CodeGenerator::postvisit( ExprStmt * exprStmt ) { 890 897 assert( exprStmt ); 891 if ( genC ) {898 if ( options.genC ) { 892 899 // cast the top-level expression to void to reduce gcc warnings. 893 900 exprStmt->set_expr( new CastExpr( exprStmt->get_expr() ) ); … … 999 1006 case BranchStmt::FallThrough: 1000 1007 case BranchStmt::FallThroughDefault: 1001 assertf( ! genC, "fallthru should not reach code generation." );1008 assertf( ! options.genC, "fallthru should not reach code generation." ); 1002 1009 output << "fallthru"; 1003 1010 break; 1004 1011 } // switch 1005 1012 // print branch target for labelled break/continue/fallthru in debug mode 1006 if ( ! genC && branchStmt->get_type() != BranchStmt::Goto ) {1013 if ( ! options.genC && branchStmt->get_type() != BranchStmt::Goto ) { 1007 1014 if ( ! branchStmt->get_target().empty() ) { 1008 1015 output << " " << branchStmt->get_target(); … … 1021 1028 1022 1029 void CodeGenerator::postvisit( ThrowStmt * throwStmt ) { 1023 assertf( ! genC, "Throw statements should not reach code generation." );1030 assertf( ! options.genC, "Throw statements should not reach code generation." ); 1024 1031 1025 1032 output << ((throwStmt->get_kind() == ThrowStmt::Terminate) ? … … 1036 1043 } 1037 1044 void CodeGenerator::postvisit( CatchStmt * stmt ) { 1038 assertf( ! genC, "Catch statements should not reach code generation." );1045 assertf( ! options.genC, "Catch statements should not reach code generation." ); 1039 1046 1040 1047 output << ((stmt->get_kind() == CatchStmt::Terminate) ? … … 1053 1060 1054 1061 void CodeGenerator::postvisit( WaitForStmt * stmt ) { 1055 assertf( ! genC, "Waitfor statements should not reach code generation." );1062 assertf( ! options.genC, "Waitfor statements should not reach code generation." ); 1056 1063 1057 1064 bool first = true; … … 1099 1106 1100 1107 void CodeGenerator::postvisit( WithStmt * with ) { 1101 if ( ! genC ) {1108 if ( ! options.genC ) { 1102 1109 output << "with ( "; 1103 1110 genCommaList( with->exprs.begin(), with->exprs.end() ); … … 1165 1172 1166 1173 void CodeGenerator::postvisit( ImplicitCtorDtorStmt * stmt ) { 1167 assertf( ! genC, "ImplicitCtorDtorStmts should not reach code generation." );1174 assertf( ! options.genC, "ImplicitCtorDtorStmts should not reach code generation." ); 1168 1175 stmt->callStmt->accept( *visitor ); 1169 1176 }
Note: See TracChangeset
for help on using the changeset viewer.