Changes in src/CodeGen/CodeGenerator.cc [d3b7937:e551c69]

File:

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

src/CodeGen/CodeGenerator.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// CodeGenerator.cc --
+// CodeGenerator.cc -- 
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Mon Jan 25 21:22:00 2016
-// Update Count     : 242
+// Last Modified By : Rob Schluntz
+// Last Modified On : Thu Sep 17 15:24:08 2015
+// Update Count     : 231
 //
 
@@ -26 +26 @@
 #include "SynTree/Statement.h"
 
-#include "Common/utility.h"
-#include "Common/UnimplementedError.h"
+#include "utility.h"
+#include "UnimplementedError.h"
 
 #include "CodeGenerator.h"
@@ -98 +98 @@
                 handleStorageClass( objectDecl );
                 output << genType( objectDecl->get_type(), mangleName( objectDecl ) );
-
+        
                 if ( objectDecl->get_init() ) {
                         output << " = ";
@@ -112 +112 @@
                 if ( aggDecl->get_name() != "" )
                         output << aggDecl->get_name();
-
+        
                 std::list< Declaration * > &memb = aggDecl->get_members();
 
@@ -118 +118 @@
                         output << " {" << endl;
 
-                        cur_indent += CodeGenerator::tabsize;
+                        cur_indent += CodeGenerator::tabsize; 
                         for ( std::list< Declaration* >::iterator i = memb.begin(); i != memb.end();  i++) {
-                                output << indent;
+                                output << indent; 
                                 (*i)->accept( *this );
                                 output << ";" << endl;
                         }
 
-                        cur_indent -= CodeGenerator::tabsize;
+                        cur_indent -= CodeGenerator::tabsize; 
 
                         output << indent << "}";
@@ -140 +140 @@
                 handleAggregate( aggregateDecl );
         }
-
+  
         void CodeGenerator::visit( EnumDecl *aggDecl ) {
                 output << "enum ";
@@ -146 +146 @@
                 if ( aggDecl->get_name() != "" )
                         output << aggDecl->get_name();
-
+        
                 std::list< Declaration* > &memb = aggDecl->get_members();
 
@@ -152 +152 @@
                         output << " {" << endl;
 
-                        cur_indent += CodeGenerator::tabsize;
+                        cur_indent += CodeGenerator::tabsize; 
                         for ( std::list< Declaration* >::iterator i = memb.begin(); i != memb.end();  i++) {
                                 ObjectDecl *obj = dynamic_cast< ObjectDecl* >( *i );
                                 assert( obj );
-                                output << indent << mangleName( obj );
+                                output << indent << mangleName( obj ); 
                                 if ( obj->get_init() ) {
                                         output << " = ";
@@ -164 +164 @@
                         } // for
 
-                        cur_indent -= CodeGenerator::tabsize;
+                        cur_indent -= CodeGenerator::tabsize; 
 
                         output << indent << "}";
                 } // if
         }
-
+  
         void CodeGenerator::visit( ContextDecl *aggregateDecl ) {}
-
+  
         void CodeGenerator::visit( TypedefDecl *typeDecl ) {
                 output << "typedef ";
                 output << genType( typeDecl->get_base(), typeDecl->get_name() );
         }
-
+  
         void CodeGenerator::visit( TypeDecl *typeDecl ) {
                 // really, we should mutate this into something that isn't a TypeDecl but that requires large-scale changes,
@@ -216 +216 @@
         }
 
-        void CodeGenerator::visit( Constant *constant ) {
+        void CodeGenerator::visit( Constant *constant ) { 
                 output << constant->get_value() ;
         }
@@ -233 +233 @@
                                                 assert( arg != applicationExpr->get_args().end() );
                                                 if ( AddressExpr *addrExpr = dynamic_cast< AddressExpr * >( *arg ) ) {
-
+                
                                                         *arg = addrExpr->get_arg();
                                                 } else {
@@ -242 +242 @@
                                                 break;
                                         }
-
+              
                                   default:
                                         // do nothing
                                         ;
                                 }
-
+            
                                 switch ( opInfo.type ) {
                                   case OT_INDEX:
@@ -256 +256 @@
                                         output << "]";
                                         break;
-
+              
                                   case OT_CALL:
                                         // there are no intrinsic definitions of the function call operator
                                         assert( false );
                                         break;
-
+              
                                   case OT_PREFIX:
                                   case OT_PREFIXASSIGN:
@@ -270 +270 @@
                                         output << ")";
                                         break;
-
+              
                                   case OT_POSTFIX:
                                   case OT_POSTFIXASSIGN:
@@ -287 +287 @@
                                         output << ")";
                                         break;
-
+              
                                   case OT_CONSTANT:
                                   case OT_LABELADDRESS:
@@ -306 +306 @@
                 } // if
         }
-
+  
         void CodeGenerator::visit( UntypedExpr *untypedExpr ) {
                 if ( NameExpr *nameExpr = dynamic_cast< NameExpr* >( untypedExpr->get_function() ) ) {
@@ -320 +320 @@
                                         output << "]";
                                         break;
-
+              
                                   case OT_CALL:
                                         assert( false );
                                         break;
-
+              
                                   case OT_PREFIX:
                                   case OT_PREFIXASSIGN:
@@ -334 +334 @@
                                         output << ")";
                                         break;
-
+              
                                   case OT_POSTFIX:
                                   case OT_POSTFIXASSIGN:
@@ -341 +341 @@
                                         output << opInfo.symbol;
                                         break;
-
+  
                                   case OT_INFIX:
                                   case OT_INFIXASSIGN:
@@ -351 +351 @@
                                         output << ")";
                                         break;
-
+                                        
                                   case OT_CONSTANT:
                                         // there are no intrinsic definitions of 0 or 1 as functions
@@ -369 +369 @@
                 } // if
         }
-
+  
         void CodeGenerator::visit( NameExpr *nameExpr ) {
                 OperatorInfo opInfo;
@@ -379 +379 @@
                 } // if
         }
-
+  
         void CodeGenerator::visit( AddressExpr *addressExpr ) {
                 output << "(&";
@@ -392 +392 @@
 
         void CodeGenerator::visit( CastExpr *castExpr ) {
-                output << "(";
-                if ( castExpr->get_results().empty() ) {
-                        output << "(void)" ;
-                } else if ( ! castExpr->get_results().front()->get_isLvalue() ) {
-                        // at least one result type of cast, but not an lvalue
-                        output << "(";
-                        output << genType( castExpr->get_results().front(), "" );
+                // if the cast is to an lvalue type, then the cast
+                // should be dropped, since the result of a cast is
+                // never an lvalue in C
+                if ( castExpr->get_results().front()->get_isLvalue() ) {
+                        castExpr->get_arg()->accept( *this );
+                } else {
+                        output << "((";
+                        if ( castExpr->get_results().empty() ) {
+                                output << "void" ;
+                        } else {
+                                output << genType( castExpr->get_results().front(), "" );
+                        } // if
                         output << ")";
-                } else {
-                        // otherwise, the cast is to an lvalue type, so the cast
-                        // should be dropped, since the result of a cast is
-                        // never an lvalue in C
+                        castExpr->get_arg()->accept( *this );
+                        output << ")";                  
                 }
-                castExpr->get_arg()->accept( *this );
-                output << ")";
-        }
-
+        }
+  
         void CodeGenerator::visit( UntypedMemberExpr *memberExpr ) {
                 assert( false );
         }
-
+  
         void CodeGenerator::visit( MemberExpr *memberExpr ) {
                 memberExpr->get_aggregate()->accept( *this );
                 output << "." << mangleName( memberExpr->get_member() );
         }
-
+  
         void CodeGenerator::visit( VariableExpr *variableExpr ) {
                 OperatorInfo opInfo;
@@ -426 +427 @@
                 } // if
         }
-
+  
         void CodeGenerator::visit( ConstantExpr *constantExpr ) {
                 assert( constantExpr->get_constant() );
                 constantExpr->get_constant()->accept( *this );
         }
-
+  
         void CodeGenerator::visit( SizeofExpr *sizeofExpr ) {
                 output << "sizeof(";
@@ -442 +443 @@
         }
 
-        void CodeGenerator::visit( AlignofExpr *sizeofExpr ) {
+        void CodeGenerator::visit( AlignofExpr *alignofExpr ) {
                 // use GCC extension to avoid bumping std to C11
                 output << "__alignof__(";
-                if ( sizeofExpr->get_isType() ) {
-                        output << genType( sizeofExpr->get_type(), "" );
-                } else {
-                        sizeofExpr->get_expr()->accept( *this );
+                if ( alignofExpr->get_isType() ) {
+                        output << genType( alignofExpr->get_type(), "" );
+                } else {
+                        alignofExpr->get_expr()->accept( *this );
                 } // if
                 output << ")";
         }
 
+        void CodeGenerator::visit( OffsetofExpr *offsetofExpr ) {
+                // use GCC builtin
+                output << "__builtin_offsetof(";
+                output << genType( offsetofExpr->get_type(), "" );
+                output << ", " << mangleName( offsetofExpr->get_member() );
+                output << ")";
+        }
+  
         void CodeGenerator::visit( LogicalExpr *logicalExpr ) {
                 output << "(";
@@ -464 +473 @@
                 output << ")";
         }
-
+  
         void CodeGenerator::visit( ConditionalExpr *conditionalExpr ) {
                 output << "(";
@@ -474 +483 @@
                 output << ")";
         }
-
+  
         void CodeGenerator::visit( CommaExpr *commaExpr ) {
                 output << "(";
@@ -482 +491 @@
                 output << ")";
         }
-
+  
         void CodeGenerator::visit( TupleExpr *tupleExpr ) {}
-
+  
         void CodeGenerator::visit( TypeExpr *typeExpr ) {}
 
@@ -515 +524 @@
                         }
                 }
-                cur_indent -= CodeGenerator::tabsize;
+                cur_indent -= CodeGenerator::tabsize; 
 
                 output << indent << "}";
@@ -521 +530 @@
 
         void CodeGenerator::visit( ExprStmt *exprStmt ) {
-                // I don't see why this check is necessary.
-                // If this starts to cause problems then put it back in,
+                // I don't see why this check is necessary. 
+                // If this starts to cause problems then put it back in, 
                 // with an explanation
                 assert( exprStmt );
@@ -572 +581 @@
                 switchStmt->get_condition()->accept( *this );
                 output << " ) ";
-
+                
                 output << "{" << std::endl;
                 cur_indent += CodeGenerator::tabsize;
@@ -592 +601 @@
                 } // if
                 output << ":\n";
-
+                
                 std::list<Statement *> sts = caseStmt->get_statements();
 
@@ -609 +618 @@
                         if ( ! branchStmt->get_target().empty() )
                                 output << "goto " << branchStmt->get_target();
-                        else {
+                        else { 
                                 if ( branchStmt->get_computedTarget() != 0 ) {
                                         output << "goto *";
@@ -660 +669 @@
 
         void CodeGenerator::visit( ForStmt *forStmt ) {
-                // initialization is always hoisted, so don't
-                // bother doing anything with that
+                // initialization is always hoisted, so don't 
+                // bother doing anything with that 
                 output << "for (;";
 
@@ -685 +694 @@
         void CodeGenerator::visit( DeclStmt *declStmt ) {
                 declStmt->get_decl()->accept( *this );
-
+        
                 if ( doSemicolon( declStmt->get_decl() ) ) {
                         output << ";";