Changes in src/CodeGen/CodeGenerator.cc [5f642e38:fbcde64]

File:

• src/CodeGen/CodeGenerator.cc (modified) (17 diffs)

src/CodeGen/CodeGenerator.cc

@@ -89 +89 @@
         }
 
-        CodeGenerator::CodeGenerator( std::ostream & os, bool pretty, bool genC ) : indent( *this), cur_indent( 0 ), insideFunction( false ), output( os ), printLabels( *this ), pretty( pretty ), genC( genC ) {}
+        CodeGenerator::CodeGenerator( std::ostream & os, bool pretty ) : indent( *this), cur_indent( 0 ), insideFunction( false ), output( os ), printLabels( *this ), pretty( pretty ) {}
 
         CodeGenerator::CodeGenerator( std::ostream & os, std::string init, int indentation, bool infunp )
@@ -136 +136 @@
                 functionDecl->get_funcSpec().print( output );
 
-                output << genType( functionDecl->get_functionType(), mangleName( functionDecl ), pretty, genC );
+                output << genType( functionDecl->get_functionType(), mangleName( functionDecl ), pretty );
 
                 asmName( functionDecl );
@@ -147 +147 @@
 
         void CodeGenerator::visit( ObjectDecl * objectDecl ) {
-                if (objectDecl->get_name().empty() && genC ) {
-                        // only generate an anonymous name when generating C code, otherwise it clutters the output too much
+                if (objectDecl->get_name().empty()) {
                         static UniqueName name = { "__anonymous_object" };
                         objectDecl->set_name( name.newName() );
@@ -157 +156 @@
 
                 handleStorageClass( objectDecl );
-                output << genType( objectDecl->get_type(), mangleName( objectDecl ), pretty, genC );
+                output << genType( objectDecl->get_type(), mangleName( objectDecl ), pretty );
 
                 asmName( objectDecl );
@@ -172 +171 @@
         }
 
-        void CodeGenerator::handleAggregate( AggregateDecl * aggDecl, const std::string & kind ) {
+        void CodeGenerator::handleAggregate( AggregateDecl * aggDecl ) {
                 genAttributes( aggDecl->get_attributes() );
 
-                if( ! aggDecl->get_parameters().empty() && ! genC ) {
-                        // assertf( ! genC, "Aggregate type parameters should not reach code generation." );
-                        output << "forall(";
-                        genCommaList( aggDecl->get_parameters().begin(), aggDecl->get_parameters().end() );
-                        output << ")" << endl;
-                }
-
-                output << kind;
                 if ( aggDecl->get_name() != "" )
                         output << aggDecl->get_name();
 
+                // std::list< Declaration * > & memb = aggDecl->get_members();
+                // if ( ! memb.empty() ) {
                 if ( aggDecl->has_body() ) {
                         std::list< Declaration * > & memb = aggDecl->get_members();
@@ -205 +198 @@
         void CodeGenerator::visit( StructDecl * structDecl ) {
                 extension( structDecl );
-                handleAggregate( structDecl, "struct " );
+                output << "struct ";
+                handleAggregate( structDecl );
         }
 
         void CodeGenerator::visit( UnionDecl * unionDecl ) {
                 extension( unionDecl );
-                handleAggregate( unionDecl, "union " );
+                output << "union ";
+                handleAggregate( unionDecl );
         }
 
@@ -247 +242 @@
 
         void CodeGenerator::visit( TypedefDecl * typeDecl ) {
-                assertf( ! genC, "Typedefs are removed and substituted in earlier passes." );
-                output << "typedef ";
-                output << genType( typeDecl->get_base(), typeDecl->get_name(), pretty, genC ) << endl;
+                assert( false && "Typedefs are removed and substituted in earlier passes." );
+                //output << "typedef ";
+                //output << genType( typeDecl->get_base(), typeDecl->get_name(), pretty );
         }
 
         void CodeGenerator::visit( TypeDecl * typeDecl ) {
-                if ( genC ) {
-                        // really, we should mutate this into something that isn't a TypeDecl but that requires large-scale changes,
-                        // still to be done
-                        extension( typeDecl );
-                        output << "extern unsigned long " << typeDecl->get_name();
-                        if ( typeDecl->get_base() ) {
-                                output << " = sizeof( " << genType( typeDecl->get_base(), "", pretty, genC ) << " )";
-                        } // if
-                } else {
-                        output << typeDecl->typeString() << " " << typeDecl->get_name();
-                        if ( ! typeDecl->get_assertions().empty() ) {
-                                output << " | { ";
-                                genCommaList( typeDecl->get_assertions().begin(), typeDecl->get_assertions().end() );
-                                output << " }";
-                        }
-                }
+                // really, we should mutate this into something that isn't a TypeDecl but that requires large-scale changes,
+                // still to be done
+                extension( typeDecl );
+                output << "extern unsigned long " << typeDecl->get_name();
+                if ( typeDecl->get_base() ) {
+                        output << " = sizeof( " << genType( typeDecl->get_base(), "", pretty ) << " )";
+                } // if
         }
 
@@ -307 +293 @@
 
         void CodeGenerator::visit( ConstructorInit * init ){
-                assertf( ! genC, "ConstructorInit nodes should not reach code generation." );
-                // xxx - generate something reasonable for constructor/destructor pairs
-                output << "<ctorinit>";
+                assertf( false, "ConstructorInit nodes should not make it to CodeGen." );
         }
 
@@ -563 +547 @@
                         // at least one result type of cast, but not an lvalue
                         output << "(";
-                        output << genType( castExpr->get_result(), "", pretty, genC );
+                        output << genType( castExpr->get_result(), "", pretty );
                         output << ")";
                 } else {
@@ -574 +558 @@
 
         void CodeGenerator::visit( UntypedMemberExpr * memberExpr ) {
-                assertf( ! genC, "UntypedMemberExpr should not reach code generation." );
-                extension( memberExpr );
-                memberExpr->get_aggregate()->accept( *this );
-                output << ".";
-                memberExpr->get_member()->accept( *this );
+                assert( false );
         }
 
@@ -607 +587 @@
                 output << "sizeof(";
                 if ( sizeofExpr->get_isType() ) {
-                        output << genType( sizeofExpr->get_type(), "", pretty, genC );
+                        output << genType( sizeofExpr->get_type(), "", pretty );
                 } else {
                         sizeofExpr->get_expr()->accept( *this );
@@ -619 +599 @@
                 output << "__alignof__(";
                 if ( alignofExpr->get_isType() ) {
-                        output << genType( alignofExpr->get_type(), "", pretty, genC );
+                        output << genType( alignofExpr->get_type(), "", pretty );
                 } else {
                         alignofExpr->get_expr()->accept( *this );
@@ -627 +607 @@
 
         void CodeGenerator::visit( UntypedOffsetofExpr * offsetofExpr ) {
-                assertf( ! genC, "UntypedOffsetofExpr should not reach code generation." );
-                output << "offsetof(";
-                output << genType( offsetofExpr->get_type(), "", pretty, genC );
-                output << ", " << offsetofExpr->get_member();
-                output << ")";
+                assert( false && "UntypedOffsetofExpr should not reach code generation." );
         }
 
@@ -637 +613 @@
                 // use GCC builtin
                 output << "__builtin_offsetof(";
-                output << genType( offsetofExpr->get_type(), "", pretty, genC );
+                output << genType( offsetofExpr->get_type(), "", pretty );
                 output << ", " << mangleName( offsetofExpr->get_member() );
                 output << ")";
@@ -643 +619 @@
 
         void CodeGenerator::visit( OffsetPackExpr * offsetPackExpr ) {
-                assertf( ! genC, "OffsetPackExpr should not reach code generation." );
-                output << "__CFA_offsetpack(" << genType( offsetPackExpr->get_type(), "", pretty, genC ) << ")";
+                assert( false && "OffsetPackExpr should not reach code generation." );
         }
 
@@ -680 +655 @@
         }
 
-        void CodeGenerator::visit( UntypedTupleExpr * tupleExpr ) {
-                assertf( ! genC, "UntypedTupleExpr should not reach code generation." );
-                output << "[";
-                genCommaList( tupleExpr->get_exprs().begin(), tupleExpr->get_exprs().end() );
-                output << "]";
-        }
-
-        void CodeGenerator::visit( TupleExpr * tupleExpr ) {
-                assertf( ! genC, "TupleExpr should not reach code generation." );
-                output << "[";
-                genCommaList( tupleExpr->get_exprs().begin(), tupleExpr->get_exprs().end() );
-                output << "]";
-        }
-
-        void CodeGenerator::visit( TypeExpr * typeExpr ) {
-                assertf( ! genC, "TypeExpr should not reach code generation." );
-                output<< genType( typeExpr->get_type(), "", pretty, genC );
-        }
+        void CodeGenerator::visit( UntypedTupleExpr * tupleExpr ) { assertf( false, "UntypedTupleExpr should not make it to Code Gen" ); }
+
+        void CodeGenerator::visit( TupleExpr * tupleExpr ) { assertf( false, "TupleExpr should not make it to Code Gen" ); }
+
+        void CodeGenerator::visit( TypeExpr * typeExpr ) {}
 
         void CodeGenerator::visit( AsmExpr * asmExpr ) {
@@ -713 +675 @@
         void CodeGenerator::visit( CompoundLiteralExpr *compLitExpr ) {
                 assert( compLitExpr->get_result() && dynamic_cast< ListInit * > ( compLitExpr->get_initializer() ) );
-                output << "(" << genType( compLitExpr->get_result(), "", pretty, genC ) << ")";
+                output << "(" << genType( compLitExpr->get_result(), "", pretty ) << ")";
                 compLitExpr->get_initializer()->accept( *this );
         }