Index: src/CodeGen/CodeGenerator.cc =================================================================== --- src/CodeGen/CodeGenerator.cc (revision a1d5d2a222f2c03f4901e1d7cd5666f5195860ba) +++ src/CodeGen/CodeGenerator.cc (revision b5b09071113f2e9f4fb6ed95bf2a6b23f0f3c912) @@ -9,7 +9,7 @@ // Author : Richard C. Bilson // Created On : Mon May 18 07:44:20 2015 -// Last Modified By : Peter A. Buhr -// Last Modified On : Sat Jun 13 07:12:27 2015 -// Update Count : 129 +// Last Modified By : Rob Schluntz +// Last Modified On : Mon Jun 15 12:43:21 2015 +// Update Count : 138 // @@ -44,13 +44,21 @@ } - CodeGenerator::CodeGenerator( std::ostream &os ) : cur_indent( 0 ), insideFunction( false ), output( os ) { } - - CodeGenerator::CodeGenerator( std::ostream &os, std::string init, int indent, bool infunp ) - : cur_indent( indent ), insideFunction( infunp ), output( os ) { + ostream & CodeGenerator::Indenter::operator()( ostream & output ) { + return output << string( cg.cur_indent, ' ' ); + } + + ostream & operator<<( ostream & output, CodeGenerator::Indenter &indent ) { + return indent( output ); + } + + CodeGenerator::CodeGenerator( std::ostream &os ) : indent(*this), cur_indent( 0 ), insideFunction( false ), output( os ) { } + + CodeGenerator::CodeGenerator( std::ostream &os, std::string init, int indentation, bool infunp ) + : indent(*this), cur_indent( indentation ), insideFunction( infunp ), output( os ) { //output << std::string( init ); } - CodeGenerator::CodeGenerator( std::ostream &os, char *init, int indent, bool infunp ) - : cur_indent( indent ), insideFunction( infunp ), output( os ) { + CodeGenerator::CodeGenerator( std::ostream &os, char *init, int indentation, bool infunp ) + : indent(*this), cur_indent( indentation ), insideFunction( infunp ), output( os ) { //output << std::string( init ); } @@ -63,5 +71,5 @@ } // if } - + //*** Declarations void CodeGenerator::visit( FunctionDecl *functionDecl ) { @@ -105,9 +113,9 @@ if ( ! memb.empty() ) { - output << endl << string( cur_indent, ' ' ) << "{" << endl; + output << endl << indent << "{" << endl; cur_indent += CodeGenerator::tabsize; for ( std::list< Declaration* >::iterator i = memb.begin(); i != memb.end(); i++) { - output << string( cur_indent, ' ' ); + output << indent; (*i)->accept(*this ); output << ";" << endl; @@ -116,5 +124,5 @@ cur_indent -= CodeGenerator::tabsize; - output << string( cur_indent, ' ' ) << "}"; + output << indent << "}"; } // if } @@ -139,5 +147,5 @@ if ( ! memb.empty() ) { - output << endl << "{" << endl; + output << " {" << endl; cur_indent += CodeGenerator::tabsize; @@ -145,5 +153,5 @@ ObjectDecl *obj = dynamic_cast< ObjectDecl* >( *i ); assert( obj ); - output << string( cur_indent, ' ' ) << mangleName( obj ); + output << indent << mangleName( obj ); if ( obj->get_init() ) { output << " = "; @@ -155,5 +163,5 @@ cur_indent -= CodeGenerator::tabsize; - output << "}" << endl; + output << indent << "}"; } // if } @@ -445,5 +453,5 @@ for ( std::list::iterator i = ks.begin(); i != ks.end(); i++) { - output << string( cur_indent, ' ' ) << printLabels( (*i)->get_labels() ); + output << indent << printLabels( (*i)->get_labels() ); (*i)->accept(*this ); @@ -455,5 +463,5 @@ cur_indent -= CodeGenerator::tabsize; - output << string( cur_indent, ' ' ) << "}"; + output << indent << "}"; } @@ -495,9 +503,9 @@ cur_indent -= CodeGenerator::tabsize; - output << string( cur_indent, ' ' ) << "}"; + output << indent << "}"; } void CodeGenerator::visit( CaseStmt *caseStmt ) { - output << string( cur_indent, ' ' ); + output << indent; if ( caseStmt->isDefault()) { output << "default"; @@ -512,5 +520,5 @@ cur_indent += CodeGenerator::tabsize; for ( std::list::iterator i = sts.begin(); i != sts.end(); i++) { - output << string( cur_indent, ' ' ) << printLabels( (*i)->get_labels() ) ; + output << indent << printLabels( (*i)->get_labels() ) ; (*i)->accept(*this ); output << endl; @@ -565,5 +573,5 @@ whileStmt->get_body()->accept( *this ); - output << string( cur_indent, ' ' ); + output << indent; if ( whileStmt->get_isDoWhile() ) { @@ -597,5 +605,5 @@ void CodeGenerator::visit( NullStmt *nullStmt ) { - //output << string( cur_indent, ' ' ) << CodeGenerator::printLabels( nullStmt->get_labels() ); + //output << indent << CodeGenerator::printLabels( nullStmt->get_labels() ); output << "/* null statement */ ;"; } Index: src/CodeGen/CodeGenerator.h =================================================================== --- src/CodeGen/CodeGenerator.h (revision a1d5d2a222f2c03f4901e1d7cd5666f5195860ba) +++ src/CodeGen/CodeGenerator.h (revision b5b09071113f2e9f4fb6ed95bf2a6b23f0f3c912) @@ -9,7 +9,7 @@ // Author : Richard C. Bilson // Created On : Mon May 18 07:44:20 2015 -// Last Modified By : Peter A. Buhr -// Last Modified On : Mon Jun 8 14:34:43 2015 -// Update Count : 15 +// Last Modified By : Rob Schluntz +// Last Modified On : Thu Jun 11 13:24:23 2015 +// Update Count : 23 // @@ -80,5 +80,13 @@ template< class Iterator > void genCommaList( Iterator begin, Iterator end ); + + struct Indenter { + Indenter(CodeGenerator &cg) : cg(cg) {} + CodeGenerator & cg; + std::ostream& operator()(std::ostream & os); + }; private: + + Indenter indent; int cur_indent; bool insideFunction; Index: src/Parser/ExpressionNode.cc =================================================================== --- src/Parser/ExpressionNode.cc (revision a1d5d2a222f2c03f4901e1d7cd5666f5195860ba) +++ src/Parser/ExpressionNode.cc (revision b5b09071113f2e9f4fb6ed95bf2a6b23f0f3c912) @@ -9,7 +9,7 @@ // Author : Rodolfo G. Esteves // Created On : Sat May 16 13:17:07 2015 -// Last Modified By : Peter A. Buhr -// Last Modified On : Mon Jun 8 17:33:40 2015 -// Update Count : 147 +// Last Modified By : Rob Schluntz +// Last Modified On : Wed Jun 10 14:57:52 2015 +// Update Count : 151 // @@ -252,5 +252,5 @@ new ConstantExpr( Constant( new BasicType( q, BasicType::UnsignedInt ), - toString( value.size() + 1 ) ) ), // account for '\0' + toString( value.size()+1-2 ) ) ), // +1 for '\0' and -2 for '"' false, false ); return new ConstantExpr( Constant( at, value ), maybeBuild< Expression >( get_argName() ) ); Index: src/ResolvExpr/Resolver.cc =================================================================== --- src/ResolvExpr/Resolver.cc (revision a1d5d2a222f2c03f4901e1d7cd5666f5195860ba) +++ src/ResolvExpr/Resolver.cc (revision b5b09071113f2e9f4fb6ed95bf2a6b23f0f3c912) @@ -9,7 +9,7 @@ // Author : Richard C. Bilson // Created On : Sun May 17 12:17:01 2015 -// Last Modified By : Peter A. Buhr -// Last Modified On : Sun Jun 7 21:50:37 2015 -// Update Count : 23 +// Last Modified By : Rob Schluntz +// Last Modified On : Wed Jun 10 16:11:19 2015 +// Update Count : 77 // @@ -37,4 +37,5 @@ virtual void visit( ObjectDecl *functionDecl ); virtual void visit( TypeDecl *typeDecl ); + virtual void visit( ArrayType * at ); virtual void visit( ExprStmt *exprStmt ); @@ -157,14 +158,16 @@ initContext = new_type; SymTab::Indexer::visit( objectDecl ); - - if ( ArrayType * at = dynamic_cast< ArrayType * >( new_type ) ){ - if ( at->get_dimension() ) { - BasicType arrayLenType = BasicType( Type::Qualifiers(), BasicType::LongUnsignedInt ); - CastExpr *castExpr = new CastExpr( at->get_dimension(), arrayLenType.clone() ); - Expression *newExpr = findSingleExpression( castExpr, *this ); - delete at->get_dimension(); - at->set_dimension( newExpr ); - } - } + } + + void Resolver::visit( ArrayType * at ) { + if ( at->get_dimension() ) { + BasicType arrayLenType = BasicType( Type::Qualifiers(), BasicType::LongUnsignedInt ); + CastExpr *castExpr = new CastExpr( at->get_dimension(), arrayLenType.clone() ); + Expression *newExpr = findSingleExpression( castExpr, *this ); + delete at->get_dimension(); + at->set_dimension( newExpr ); + + } + Visitor::visit( at ); } @@ -270,4 +273,13 @@ returnStmt->set_expr( newExpr ); } // if + } + + template< typename T > + bool isCharType( T t ) { + if ( BasicType * bt = dynamic_cast< BasicType * >( t ) ) { + return bt->get_kind() == BasicType::Char || bt->get_kind() == BasicType::SignedChar || + bt->get_kind() == BasicType::UnsignedChar; + } + return false; } @@ -296,4 +308,21 @@ delete castExpr; singleInit->set_value( newExpr ); + + // check if initializing type is char[] + if ( ArrayType * at = dynamic_cast< ArrayType * >( initContext ) ) { + if ( isCharType( at->get_base() ) ) { + // check if the resolved type is char * + if ( PointerType * pt = dynamic_cast< PointerType *>( newExpr->get_results().front() ) ) { + if ( isCharType( pt->get_base() ) ) { + // strip cast if we're initializing a char[] with a char *, e.g. + // char x[] = "hello"; + CastExpr *ce = dynamic_cast< CastExpr * >( newExpr ); + singleInit->set_value( ce->get_arg() ); + ce->set_arg( NULL ); + delete ce; + } + } + } + } } // if // singleInit->get_value()->accept( *this ); @@ -301,5 +330,19 @@ void Resolver::visit( ListInit *listInit ) { - Visitor::visit(listInit); + if ( ArrayType * at = dynamic_cast< ArrayType * >( initContext ) ) { + std::list< Initializer * >::iterator iter( listInit->begin_initializers() ); + for ( ; iter != listInit->end_initializers(); ++iter ) { + initContext = at->get_base(); + (*iter)->accept( *this ); + } // for + } else if ( UnionInstType *st = dynamic_cast< UnionInstType * >( initContext ) ) { + DeclarationWithType *dt = dynamic_cast< DeclarationWithType * >( *st->get_baseUnion()->get_members().begin() ); + initContext = dt->get_type(); + (*listInit->begin_initializers())->accept( *this ); + } else { + // basic types are handled here + Visitor::visit( listInit ); + } + #if 0 if ( ArrayType *at = dynamic_cast(initContext) ) { Index: src/SynTree/Constant.cc =================================================================== --- src/SynTree/Constant.cc (revision a1d5d2a222f2c03f4901e1d7cd5666f5195860ba) +++ src/SynTree/Constant.cc (revision b5b09071113f2e9f4fb6ed95bf2a6b23f0f3c912) @@ -9,7 +9,7 @@ // Author : Richard C. Bilson // Created On : Mon May 18 07:44:20 2015 -// Last Modified By : Peter A. Buhr -// Last Modified On : Sun Jun 7 08:45:30 2015 -// Update Count : 5 +// Last Modified By : Rob Schluntz +// Last Modified On : Wed Jun 10 14:41:03 2015 +// Update Count : 8 // @@ -27,9 +27,10 @@ void Constant::print( std::ostream &os ) const { - os << value; + os << "(" << value; if ( type ) { - os << " "; + os << ": "; type->print( os ); } // if + os << ")"; }