Changeset 34c32f0 for src/ControlStruct/LabelFixer.cc

Timestamp:

Feb 1, 2022, 12:06:24 PM (2 years ago)

Author:

caparsons <caparson@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, master, pthread-emulation, qualifiedEnum

Children:

ab1a9ea

Parents:

3e5db5b4 (diff), 7b2c8c3c (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/ControlStruct/LabelFixer.cc (modified) (2 diffs)

src/ControlStruct/LabelFixer.cc

@@ -9 +9 @@
 // Author           : Rodolfo G. Esteves
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Andrew Beach
-// Last Modified On : Tue Jan 21 10:32:00 2020
-// Update Count     : 160
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Mon Jan 31 22:28:31 2022
+// Update Count     : 161
 //
 
@@ -27 +27 @@
 
 namespace ControlStruct {
-        bool LabelFixer::Entry::insideLoop() {
-                return ( dynamic_cast< ForStmt * > ( definition ) ||
-                        dynamic_cast< WhileStmt * > ( definition )  );
+bool LabelFixer::Entry::insideLoop() {
+        return ( dynamic_cast< ForStmt * > ( definition ) ||
+                dynamic_cast< WhileStmt * > ( definition )  );
+}
+
+LabelFixer::LabelFixer( LabelGenerator * gen ) : generator ( gen ) {
+        if ( generator == 0 )
+                generator = LabelGenerator::getGenerator();
+}
+
+void LabelFixer::previsit( FunctionDecl * ) {
+        // need to go into a nested function in a fresh state
+        GuardValue( labelTable );
+        labelTable.clear();
+}
+
+void LabelFixer::postvisit( FunctionDecl * functionDecl ) {
+        PassVisitor<MultiLevelExitMutator> mlem( resolveJumps(), generator );
+        // We start in the body so we can stop when we hit another FunctionDecl.
+        maybeMutate( functionDecl->statements, mlem );
+}
+
+// prune to at most one label definition for each statement
+void LabelFixer::previsit( Statement * stmt ) {
+        std::list< Label > &labels = stmt->get_labels();
+
+        if ( ! labels.empty() ) {
+                // only remember one label for each statement
+                Label current = setLabelsDef( labels, stmt );
+        } // if
+}
+
+void LabelFixer::previsit( BranchStmt * branchStmt ) {
+        previsit( ( Statement *)branchStmt );
+
+        // for labeled branches, add an entry to the label table
+        Label target = branchStmt->get_target();
+        if ( target != "" ) {
+                setLabelsUsg( target, branchStmt );
+        }
+}
+
+void LabelFixer::previsit( LabelAddressExpr * addrExpr ) {
+        Label & target = addrExpr->arg;
+        assert( target != "" );
+        setLabelsUsg( target, addrExpr );
+}
+
+
+// Sets the definition of the labelTable entry to be the provided statement for every label in
+// the list parameter. Happens for every kind of statement.
+Label LabelFixer::setLabelsDef( std::list< Label > & llabel, Statement * definition ) {
+        assert( definition != 0 );
+        assert( llabel.size() > 0 );
+
+        for ( std::list< Label >::iterator i = llabel.begin(); i != llabel.end(); i++ ) {
+                Label & l = *i;
+                l.set_statement( definition ); // attach statement to the label to be used later
+                if ( labelTable.find( l ) == labelTable.end() ) {
+                        // All labels on this statement need to use the same entry,
+                        // so this should only be created once.
+                        // undefined and unused until now, add an entry
+                        labelTable[ l ] = new Entry( definition );
+                } else if ( labelTable[ l ]->defined() ) {
+                        // defined twice, error
+                        SemanticError( l.get_statement()->location,
+                                "Duplicate definition of label: " + l.get_name() );
+                } else {
+                        // used previously, but undefined until now -> link with this entry
+                        // Question: Is changing objects important?
+                        delete labelTable[ l ];
+                        labelTable[ l ] = new Entry( definition );
+                } // if
+        } // for
+
+        // Produce one of the labels attached to this statement to be temporarily used as the
+        // canonical label.
+        return labelTable[ llabel.front() ]->get_label();
+}
+
+// A label was used, add it to the table if it isn't already there
+template< typename UsageNode >
+void LabelFixer::setLabelsUsg( Label orgValue, UsageNode *use ) {
+        assert( use != 0 );
+
+        // add label with an unknown origin
+        if ( labelTable.find( orgValue ) == labelTable.end() ) {
+                labelTable[ orgValue ] = new Entry( 0 );
+        }
+}
+
+// Builds a table that maps a label to its defining statement.
+std::map<Label, Statement * > * LabelFixer::resolveJumps() throw ( SemanticErrorException ) {
+        std::map< Label, Statement * > *ret = new std::map< Label, Statement * >();
+        for ( std::map< Label, Entry * >::iterator i = labelTable.begin(); i != labelTable.end(); ++i ) {
+                if ( ! i->second->defined() ) {
+                        SemanticError( i->first.get_statement()->location, "Use of undefined label: " + i->first.get_name() );
+                }
+                (*ret)[ i->first ] = i->second->get_definition();
         }
 
-        LabelFixer::LabelFixer( LabelGenerator * gen ) : generator ( gen ) {
-                if ( generator == 0 )
-                        generator = LabelGenerator::getGenerator();
-        }
-
-        void LabelFixer::previsit( FunctionDecl * ) {
-                // need to go into a nested function in a fresh state
-                GuardValue( labelTable );
-                labelTable.clear();
-        }
-
-        void LabelFixer::postvisit( FunctionDecl * functionDecl ) {
-                PassVisitor<MultiLevelExitMutator> mlem( resolveJumps(), generator );
-                // We start in the body so we can stop when we hit another FunctionDecl.
-                maybeMutate( functionDecl->statements, mlem );
-        }
-
-        // prune to at most one label definition for each statement
-        void LabelFixer::previsit( Statement * stmt ) {
-                std::list< Label > &labels = stmt->get_labels();
-
-                if ( ! labels.empty() ) {
-                        // only remember one label for each statement
-                        Label current = setLabelsDef( labels, stmt );
-                } // if
-        }
-
-        void LabelFixer::previsit( BranchStmt * branchStmt ) {
-                previsit( ( Statement *)branchStmt );
-
-                // for labeled branches, add an entry to the label table
-                Label target = branchStmt->get_target();
-                if ( target != "" ) {
-                        setLabelsUsg( target, branchStmt );
-                }
-        }
-
-        void LabelFixer::previsit( LabelAddressExpr * addrExpr ) {
-                Label & target = addrExpr->arg;
-                assert( target != "" );
-                setLabelsUsg( target, addrExpr );
-        }
-
-
-        // Sets the definition of the labelTable entry to be the provided statement for every label in
-        // the list parameter. Happens for every kind of statement.
-        Label LabelFixer::setLabelsDef( std::list< Label > & llabel, Statement * definition ) {
-                assert( definition != 0 );
-                assert( llabel.size() > 0 );
-
-                for ( std::list< Label >::iterator i = llabel.begin(); i != llabel.end(); i++ ) {
-                        Label & l = *i;
-                        l.set_statement( definition ); // attach statement to the label to be used later
-                        if ( labelTable.find( l ) == labelTable.end() ) {
-                                // All labels on this statement need to use the same entry,
-                                // so this should only be created once.
-                                // undefined and unused until now, add an entry
-                                labelTable[ l ] = new Entry( definition );
-                        } else if ( labelTable[ l ]->defined() ) {
-                                // defined twice, error
-                                SemanticError( l.get_statement()->location,
-                                        "Duplicate definition of label: " + l.get_name() );
-                        } else {
-                                // used previously, but undefined until now -> link with this entry
-                                // Question: Is changing objects important?
-                                delete labelTable[ l ];
-                                labelTable[ l ] = new Entry( definition );
-                        } // if
-                } // for
-
-                // Produce one of the labels attached to this statement to be temporarily used as the
-                // canonical label.
-                return labelTable[ llabel.front() ]->get_label();
-        }
-
-        // A label was used, add it to the table if it isn't already there
-        template< typename UsageNode >
-        void LabelFixer::setLabelsUsg( Label orgValue, UsageNode *use ) {
-                assert( use != 0 );
-
-                // add label with an unknown origin
-                if ( labelTable.find( orgValue ) == labelTable.end() ) {
-                        labelTable[ orgValue ] = new Entry( 0 );
-                }
-        }
-
-        // Builds a table that maps a label to its defining statement.
-        std::map<Label, Statement * > * LabelFixer::resolveJumps() throw ( SemanticErrorException ) {
-                std::map< Label, Statement * > *ret = new std::map< Label, Statement * >();
-                for ( std::map< Label, Entry * >::iterator i = labelTable.begin(); i != labelTable.end(); ++i ) {
-                        if ( ! i->second->defined() ) {
-                                SemanticError( i->first.get_statement()->location, "Use of undefined label: " + i->first.get_name() );
-                        }
-                        (*ret)[ i->first ] = i->second->get_definition();
-                }
-
-                return ret;
-        }
+        return ret;
+}
 }  // namespace ControlStruct