Changeset 5809461 for src/CodeGen

Timestamp:

Sep 1, 2017, 6:59:48 PM (7 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

b0dfbc4

Parents:

bc3127d

Message:

Fix handling of GCC label address and computed goto

Location:

src/CodeGen

Files:

• CodeGenerator.cc (modified) (1 diff)
• CodeGenerator.h (modified) (1 diff)
• OperatorTable.cc (modified) (1 diff)

src/CodeGen/CodeGenerator.cc

@@ -546 +546 @@
                 extension( addressExpr );
                 output << "(&";
-                // this hack makes sure that we don't convert "constant_zero" to "0" if we're taking its address
-                if ( VariableExpr * variableExpr = dynamic_cast< VariableExpr* >( addressExpr->get_arg() ) ) {
-                        output << mangleName( variableExpr->get_var() );
-                } else {
-                        addressExpr->get_arg()->accept( *this );
-                } // if
+                addressExpr->arg->accept( *this );
                 output << ")";
+        }
+
+        void CodeGenerator::visit( LabelAddressExpr *addressExpr ) {
+                extension( addressExpr );
+                output << "(&&" << addressExpr->arg << ")";
         }
 

src/CodeGen/CodeGenerator.h

@@ -59 +59 @@
                 virtual void visit( NameExpr *nameExpr );
                 virtual void visit( AddressExpr *addressExpr );
+                virtual void visit( LabelAddressExpr *addressExpr );
                 virtual void visit( CastExpr *castExpr );
                 virtual void visit( VirtualCastExpr *castExpr );

src/CodeGen/OperatorTable.cc

@@ -66 +66 @@
                         {       "?^=?",         "^=",   "_operator_bitxorassign",               OT_INFIXASSIGN          },
                         {       "?|=?",         "|=",   "_operator_bitorassign",                OT_INFIXASSIGN          },
-                        {       "&&",           "&&",   "&&",                                                   OT_LABELADDRESS         }
                 };