Changes in / [bb86117:0423f25]

Location:

src

Files:

• CodeGen/CodeGenerator.cc (modified) (7 diffs)
• ControlStruct/MLEMutator.cc (modified) (4 diffs)

src/CodeGen/CodeGenerator.cc

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Thu Jun 04 15:00:00 2015
-// Update Count     : 125
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Thu Jun  4 14:05:45 2015
+// Update Count     : 120
 //
 
@@ -483 +483 @@
 
         void CodeGenerator::visit( SwitchStmt *switchStmt ) {
+                //output << /* "\r" << */ string( cur_indent, ' ' ) << CodeGenerator::printLabels( switchStmt->get_labels() ) 
                 output << "switch (" ;
                 switchStmt->get_condition()->accept(*this );
@@ -499 +500 @@
         void CodeGenerator::visit( CaseStmt *caseStmt ) {
                 output << string( cur_indent, ' ' );
-                if ( caseStmt->isDefault()) {
+                if ( caseStmt->isDefault()) 
                         output << "default";
-                } else {
+                else {
                         output << "case ";
                         caseStmt->get_condition()->accept(*this );
@@ -511 +512 @@
                 cur_indent += CodeGenerator::tabsize;
                 for ( std::list<Statement *>::iterator i = sts.begin(); i != sts.end();  i++) {
-                        output << string( cur_indent, ' ' ) << printLabels( (*i)->get_labels() )  ;
+                        output << /* "\r" << */ string( cur_indent, ' ' ) << printLabels( (*i)->get_labels() )  ;
                         (*i)->accept(*this );
                         output << endl;
@@ -519 +520 @@
 
         void CodeGenerator::visit( BranchStmt *branchStmt ) {
+                output << "\r" << string( cur_indent, ' ' );
+                output << CodeGenerator::printLabels( branchStmt->get_labels());
+
                 switch ( branchStmt->get_type()) {
                   case BranchStmt::Goto:
@@ -564 +568 @@
                 whileStmt->get_body()->accept( *this );
 
-                output << string( cur_indent, ' ' );
+                output << /* "\r" << */ string( cur_indent, ' ' );
 
                 if ( whileStmt->get_isDoWhile() ) {
@@ -596 +600 @@
 
         void CodeGenerator::visit( NullStmt *nullStmt ) {
-                //output << string( cur_indent, ' ' ) << CodeGenerator::printLabels( nullStmt->get_labels() );
+                //output << /* "\r" << */ string( cur_indent, ' ' ) << CodeGenerator::printLabels( nullStmt->get_labels() );
                 output << "/* null statement */ ;";
         }

src/ControlStruct/MLEMutator.cc

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