source: src/ControlStruct/LabelFixer.cc @ d55d7a6

aaron-thesisarm-ehcleanup-dtorsdeferred_resndemanglerjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newwith_gc
Last change on this file since d55d7a6 was d55d7a6, checked in by Thierry Delisle <tdelisle@…>, 4 years ago

Massive change to errors to enable warnings

  • Property mode set to 100644
File size: 4.6 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// LabelFixer.cc --
8//
9// Author           : Rodolfo G. Esteves
10// Created On       : Mon May 18 07:44:20 2015
11// Last Modified By : Rob Schluntz
12// Last Modified On : Tue Jul 28 13:32:43 2015
13// Update Count     : 156
14//
15
16#include <cassert>                         // for assert
17#include <list>                            // for list, _List_iterator, list...
18#include <string>                          // for operator+, string, operator==
19#include <utility>                         // for pair
20
21#include "ControlStruct/LabelGenerator.h"  // for LabelGenerator
22#include "LabelFixer.h"
23#include "MLEMutator.h"                    // for MLEMutator
24#include "SynTree/Declaration.h"           // for FunctionDecl
25#include "SynTree/Expression.h"            // for NameExpr, Expression, Unty...
26#include "SynTree/Statement.h"             // for Statement, BranchStmt, Com...
27
28namespace ControlStruct {
29        bool LabelFixer::Entry::insideLoop() {
30                return ( dynamic_cast< ForStmt * > ( definition ) ||
31                        dynamic_cast< WhileStmt * > ( definition )  );
32        }
33
34        LabelFixer::LabelFixer( LabelGenerator *gen ) : generator ( gen ) {
35                if ( generator == 0 )
36                        generator = LabelGenerator::getGenerator();
37        }
38
39        void LabelFixer::previsit( FunctionDecl * ) {
40                // need to go into a nested function in a fresh state
41                GuardValue( labelTable );
42                labelTable.clear();
43        }
44
45        void LabelFixer::postvisit( FunctionDecl * functionDecl ) {
46                PassVisitor<MLEMutator> mlemut( resolveJumps(), generator );
47                functionDecl->acceptMutator( mlemut );
48        }
49
50        // prune to at most one label definition for each statement
51        void LabelFixer::previsit( Statement *stmt ) {
52                std::list< Label > &labels = stmt->get_labels();
53
54                if ( ! labels.empty() ) {
55                        // only remember one label for each statement
56                        Label current = setLabelsDef( labels, stmt );
57                } // if
58        }
59
60        void LabelFixer::previsit( BranchStmt *branchStmt ) {
61                previsit( ( Statement *)branchStmt );
62
63                // for labeled branches, add an entry to the label table
64                Label target = branchStmt->get_target();
65                if ( target != "" ) {
66                        setLabelsUsg( target, branchStmt );
67                }
68        }
69
70        void LabelFixer::previsit( LabelAddressExpr * addrExpr ) {
71                Label & target = addrExpr->arg;
72                assert( target != "" );
73                setLabelsUsg( target, addrExpr );
74        }
75
76
77        // sets the definition of the labelTable entry to be the provided
78        // statement for every label in the list parameter. Happens for every kind of statement
79        Label LabelFixer::setLabelsDef( std::list< Label > &llabel, Statement *definition ) {
80                assert( definition != 0 );
81                assert( llabel.size() > 0 );
82
83                Entry * e = new Entry( definition );
84
85                for ( std::list< Label >::iterator i = llabel.begin(); i != llabel.end(); i++ ) {
86                        Label & l = *i;
87                        l.set_statement( definition ); // attach statement to the label to be used later
88                        if ( labelTable.find( l ) == labelTable.end() ) {
89                                // all labels on this statement need to use the same entry, so this should only be created once
90                                // undefined and unused until now, add an entry
91                                labelTable[ l ] =  e;
92                        } else if ( labelTable[ l ]->defined() ) {
93                                // defined twice, error
94                                throw SemanticError( l.get_statement()->location, "Duplicate definition of label: " + l.get_name() );
95                        }       else {
96                                // used previously, but undefined until now -> link with this entry
97                                delete labelTable[ l ];
98                                labelTable[ l ] = e;
99                        } // if
100                } // for
101
102                // produce one of the labels attached to this statement to be
103                // temporarily used as the canonical label
104                return labelTable[ llabel.front() ]->get_label();
105        }
106
107        // A label was used, add it to the table if it isn't already there
108        template< typename UsageNode >
109        void LabelFixer::setLabelsUsg( Label orgValue, UsageNode *use ) {
110                assert( use != 0 );
111
112                // add label with an unknown origin
113                if ( labelTable.find( orgValue ) == labelTable.end() ) {
114                        labelTable[ orgValue ] = new Entry( 0 );
115                }
116        }
117
118        // Builds a table that maps a label to its defining statement.
119        std::map<Label, Statement * > *LabelFixer::resolveJumps() throw ( SemanticError ) {
120                std::map< Label, Statement * > *ret = new std::map< Label, Statement * >();
121                for ( std::map< Label, Entry * >::iterator i = labelTable.begin(); i != labelTable.end(); ++i ) {
122                        if ( ! i->second->defined() ) {
123                                throw SemanticError( i->first.get_statement()->location, "Use of undefined label: " + i->first.get_name() );
124                        }
125                        (*ret)[ i->first ] = i->second->get_definition();
126                }
127
128                return ret;
129        }
130}  // namespace ControlStruct
131
132// Local Variables: //
133// tab-width: 4 //
134// mode: c++ //
135// compile-command: "make install" //
136// End: //
Note: See TracBrowser for help on using the repository browser.