Changes in src/Tuples/TupleExpansion.cc [62423350:94a8123]

File:

• src/Tuples/TupleExpansion.cc (modified) (8 diffs)

src/Tuples/TupleExpansion.cc

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Jun 21 17:35:04 2017
-// Update Count     : 19
+// Last Modified On : Thu Mar 16 08:05:17 2017
+// Update Count     : 15
 //
 
@@ -18 +18 @@
 #include <cassert>
 #include "Tuples.h"
-#include "Common/PassVisitor.h"
+#include "GenPoly/DeclMutator.h"
+#include "SynTree/Mutator.h"
+#include "SynTree/Statement.h"
+#include "SynTree/Declaration.h"
+#include "SynTree/Type.h"
+#include "SynTree/Expression.h"
+#include "SynTree/Initializer.h"
+#include "SymTab/Mangler.h"
 #include "Common/ScopedMap.h"
-#include "GenPoly/DeclMutator.h"
+#include "ResolvExpr/typeops.h"
 #include "InitTweak/GenInit.h"
 #include "InitTweak/InitTweak.h"
-#include "ResolvExpr/typeops.h"
-#include "SymTab/Mangler.h"
-#include "SynTree/Declaration.h"
-#include "SynTree/Expression.h"
-#include "SynTree/Initializer.h"
-#include "SynTree/Mutator.h"
-#include "SynTree/Statement.h"
-#include "SynTree/Type.h"
 
 namespace Tuples {
@@ -83 +82 @@
                 };
 
-                class TupleIndexExpander {
-                public:
-                        Expression * postmutate( TupleIndexExpr * tupleExpr );
+                class TupleIndexExpander final : public Mutator {
+                public:
+                        typedef Mutator Parent;
+                        using Parent::mutate;
+
+                        virtual Expression * mutate( TupleIndexExpr * tupleExpr ) override;
                 };
 
@@ -114 +116 @@
                 replacer.mutateDeclarationList( translationUnit );
 
-                PassVisitor<TupleIndexExpander> idxExpander;
+                TupleIndexExpander idxExpander;
                 mutateAll( translationUnit, idxExpander );
 
@@ -191 +193 @@
                                 commaExpr->set_arg1( nullptr );
                         }
-                        ObjectDecl * finished = new ObjectDecl( toString( "_unq", id, "_finished_" ), Type::StorageClasses(), LinkageSpec::Cforall, nullptr, new BasicType( Type::Qualifiers(), BasicType::Bool ),
-                                                                                                        new SingleInit( new ConstantExpr( Constant::from_int( 0 ) ) ) );
+                        BasicType * boolType = new BasicType( Type::Qualifiers(), BasicType::Bool );
+                        ObjectDecl * finished = new ObjectDecl( toString( "_unq", id, "_finished_" ), Type::StorageClasses(), LinkageSpec::Cforall, nullptr, new BasicType( Type::Qualifiers(), BasicType::Bool ), new SingleInit( new ConstantExpr( Constant( boolType->clone(), "0" ) ), noDesignators ) );
                         addDeclaration( finished );
                         // (finished ? _unq_expr_N : (_unq_expr_N = <unqExpr->get_expr()>, finished = 1, _unq_expr_N))
                         // This pattern ensures that each unique expression is evaluated once, regardless of evaluation order of the generated C code.
-                        Expression * assignFinished = UntypedExpr::createAssign( new VariableExpr(finished), new ConstantExpr( Constant::from_int( 1 ) ) );
+                        Expression * assignFinished = UntypedExpr::createAssign( new VariableExpr(finished), new ConstantExpr( Constant( boolType->clone(), "1" ) ) );
                         ConditionalExpr * condExpr = new ConditionalExpr( new VariableExpr( finished ), var->clone(),
                                 new CommaExpr( new CommaExpr( assignUnq, assignFinished ), var->clone() ) );
@@ -248 +250 @@
         }
 
-        Expression * TupleIndexExpander::postmutate( TupleIndexExpr * tupleExpr ) {
-                Expression * tuple = tupleExpr->get_tuple();
+        Expression * TupleIndexExpander::mutate( TupleIndexExpr * tupleExpr ) {
+                Expression * tuple = maybeMutate( tupleExpr->get_tuple(), *this );
                 assert( tuple );
                 tupleExpr->set_tuple( nullptr );
@@ -310 +312 @@
         Type * makeTupleType( const std::list< Expression * > & exprs ) {
                 // produce the TupleType which aggregates the types of the exprs
-                std::list< Type * > types;
-                Type::Qualifiers qualifiers( Type::Const | Type::Volatile | Type::Restrict | Type::Lvalue | Type::Atomic | Type::Mutex );
+                TupleType *tupleType = new TupleType( Type::Qualifiers( Type::Const | Type::Volatile | Type::Restrict | Type::Lvalue | Type::Atomic | Type::Mutex ) );
+                Type::Qualifiers &qualifiers = tupleType->get_qualifiers();
                 for ( Expression * expr : exprs ) {
                         assert( expr->get_result() );
                         if ( expr->get_result()->isVoid() ) {
                                 // if the type of any expr is void, the type of the entire tuple is void
+                                delete tupleType;
                                 return new VoidType( Type::Qualifiers() );
                         }
                         Type * type = expr->get_result()->clone();
-                        types.push_back( type );
+                        tupleType->get_types().push_back( type );
                         // the qualifiers on the tuple type are the qualifiers that exist on all component types
                         qualifiers &= type->get_qualifiers();
                 } // for
                 if ( exprs.empty() ) qualifiers = Type::Qualifiers();
-                return new TupleType( qualifiers, types );
+                return tupleType;
         }
 
         TypeInstType * isTtype( Type * type ) {
                 if ( TypeInstType * inst = dynamic_cast< TypeInstType * >( type ) ) {
-                        if ( inst->get_baseType() && inst->get_baseType()->get_kind() == TypeDecl::Ttype ) {
+                        if ( inst->get_baseType()->get_kind() == TypeDecl::Ttype ) {
                                 return inst;
                         }
@@ -353 +356 @@
                                 maybeImpure = true;
                         }
-                        virtual void visit( __attribute__((unused)) UntypedExpr * untypedExpr ) { maybeImpure = true; }
+                        virtual void visit( UntypedExpr * untypedExpr ) { maybeImpure = true; }
                         bool maybeImpure = false;
                 };