Changeset eb3261f for src/ControlStruct/MLEMutator.cc

Timestamp:

Jun 4, 2015, 3:13:53 PM (10 years ago)

Author:

Rob Schluntz <rschlunt@…>

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:

bb86117

Parents:

9a8930f

Message:

removed carriage returns from code generation and some duplicate label printing, more MLE documentation

File:

• src/ControlStruct/MLEMutator.cc (modified) (4 diffs)

src/ControlStruct/MLEMutator.cc

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Wed Jun 03 15:09:27 2015
-// Update Count     : 170
+// Last Modified On : Thu Jun 04 15:12:33 2015
+// Update Count     : 173
 //
 
@@ -52 +52 @@
                 bool labeledBlock = !(cmpndStmt->get_labels().empty());
                 if ( labeledBlock ) {
-                        Label brkLabel = generator->newLabel();
+                        Label brkLabel = generator->newLabel("blockBreak");
                         enclosingBlocks.push_back( Entry( cmpndStmt, brkLabel ) );
                 } // if
@@ -75 +75 @@
         Statement *MLEMutator::handleLoopStmt( LoopClass *loopStmt ) {
                 // remember this as the most recent enclosing loop, then mutate 
-                // the body of the loop -- this will do SOMETHING with branch statements
+                // the body of the loop -- this will determine whether brkLabel
+                // and contLabel are used with branch statements
                 // and will recursively do the same to nested loops
                 Label brkLabel = generator->newLabel("loopBreak");
@@ -86 +87 @@
                 assert ( e == loopStmt );
 
-                // generate labels as needed
+                // this will take the necessary steps to add definitions of the previous
+                // two labels, if they are used.
                 loopStmt->set_body( mutateLoop( loopStmt->get_body(), e ) );
                 enclosingLoops.pop_back();