Changeset a32b204 for translator/Tuples/FunctionChecker.cc

Timestamp:

May 17, 2015, 1:19:35 PM (9 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

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

Children:

0dd3a2f

Parents:

b87a5ed

Message:

licencing: second groups of files

File:

• translator/Tuples/FunctionChecker.cc (modified) (5 diffs)

translator/Tuples/FunctionChecker.cc

@@ -23 +23 @@
 
   FunctionChecker::FunctionChecker( bool _topLevel, UniqueName *_nameGen ) : topLevel( _topLevel ), nameGen( _nameGen ) {
-    if( topLevel) {
-      assert( !nameGen );
+    if ( topLevel) {
+      assert( ! nameGen );
       nameGen = new UniqueName("_MVR_");
     } else
@@ -31 +31 @@
 
   FunctionChecker::~FunctionChecker() {
-    if( topLevel) {
+    if ( topLevel) {
       delete nameGen;
       nameGen = 0;
@@ -39 +39 @@
   Statement* FunctionChecker::mutate(ExprStmt *exprStmt) {
     exprStmt->set_expr( maybeMutate( exprStmt->get_expr(), *this ) );
-    if ( !tempExpr.empty() ) {
-      assert ( !temporaries.empty() );
+    if ( ! tempExpr.empty() ) {
+      assert ( ! temporaries.empty() );
       CompoundStmt *newBlock = new CompoundStmt( std::list< Label >() );
       // declarations
-      for( std::list< ObjectDecl *>::iterator d = temporaries.begin(); d != temporaries.end(); ++d )
+      for ( std::list< ObjectDecl *>::iterator d = temporaries.begin(); d != temporaries.end(); ++d )
         newBlock->get_kids().push_back( new DeclStmt( std::list<Label>(), *d ) );
       // new expression statements
-      for( std::list< Expression *>::iterator e = tempExpr.begin(); e != tempExpr.end(); ++e )
+      for ( std::list< Expression *>::iterator e = tempExpr.begin(); e != tempExpr.end(); ++e )
         newBlock->get_kids().push_back( new ExprStmt( std::list<Label>(), *e ) );
 
@@ -69 +69 @@
 
     std::list< Expression * > newArgs;
-    for( std::list< Expression *>::iterator e = applicationExpr->get_args().begin(); e != applicationExpr->get_args().end(); ++e ) {
+    for ( std::list< Expression *>::iterator e = applicationExpr->get_args().begin(); e != applicationExpr->get_args().end(); ++e ) {
       FunctionChecker rec( false, nameGen );
       (*e)->acceptMutator( rec );
 
-      if ( !rec.temporaries.empty() ) {
+      if ( ! rec.temporaries.empty() ) {
         TupleExpr *lhs = new TupleExpr;
         std::list< Expression * > &tmem = lhs->get_exprs();
-        for( std::list<ObjectDecl *>::iterator d = rec.temporaries.begin();  d != rec.temporaries.end(); ++d ) {
+        for ( std::list<ObjectDecl *>::iterator d = rec.temporaries.begin();  d != rec.temporaries.end(); ++d ) {
           tmem.push_back( new VariableExpr( *d ) );
           newArgs.push_back( new VariableExpr( *d ) );
@@ -100 +100 @@
 
   Expression* TupleDistrib::mutate(UntypedExpr *expr) {
-    if(  NameExpr *assgnop = dynamic_cast< NameExpr * >(expr->get_function()) ) {
-      if( assgnop->get_name() == std::string("?=?") ) {
+    if (  NameExpr *assgnop = dynamic_cast< NameExpr * >(expr->get_function()) ) {
+      if ( assgnop->get_name() == std::string("?=?") ) {
         std::list<Expression *> &args = expr->get_args();
         assert(args.size() == 2);
         //if args.front() points to a tuple and if args.back() is already resolved
-        if( AddressExpr *addr = dynamic_cast<AddressExpr *>(args.front()) )
-          if( TupleExpr *lhs = dynamic_cast<TupleExpr *>(addr->get_arg()) )
-            if( ApplicationExpr *rhs = dynamic_cast<ApplicationExpr *>( args.back() ) ) {
+        if ( AddressExpr *addr = dynamic_cast<AddressExpr *>(args.front()) )
+          if ( TupleExpr *lhs = dynamic_cast<TupleExpr *>(addr->get_arg()) )
+            if ( ApplicationExpr *rhs = dynamic_cast<ApplicationExpr *>( args.back() ) ) {
               for ( std::list<Expression *>::iterator tc = lhs->get_exprs().begin(); tc != lhs->get_exprs().end(); ++tc )
                 rhs->get_args().push_back( new AddressExpr( *tc ) );