source: src/ControlStruct/LabelFixer.h @ 3f8dd01

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since 3f8dd01 was d180746, checked in by Thierry Delisle <tdelisle@…>, 7 years ago

Big header cleaning pass - commit 2

  • Property mode set to 100644
File size: 3.4 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.h --
8//
9// Author           : Rodolfo G. Esteves
10// Created On       : Mon May 18 07:44:20 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Sat Jul 22 09:17:24 2017
13// Update Count     : 34
14//
15
16#pragma once
17
18#include <list>                    // for list
19#include <map>                     // for map
20
21#include "Common/SemanticError.h"  // for SemanticError
22#include "SynTree/Label.h"         // for Label
23#include "SynTree/Visitor.h"       // for Visitor
24#include "SynTree/SynTree.h"       // for Visitor Nodes
25
26namespace ControlStruct {
27        /// normalizes label definitions and generates multi-level exit labels
28class LabelGenerator;
29
30        class LabelFixer final : public Visitor {
31                typedef Visitor Parent;
32          public:
33                LabelFixer( LabelGenerator *gen = 0 );
34
35                std::map < Label, Statement * > *resolveJumps() throw ( SemanticError );
36
37                using Visitor::visit;
38
39                // Declarations
40                virtual void visit( FunctionDecl *functionDecl ) override;
41
42                // Statements
43                void visit( Statement *stmt );
44
45                virtual void visit( CompoundStmt *stmt ) override { visit( (Statement *)stmt ); return Parent::visit( stmt ); }
46                virtual void visit( NullStmt *stmt ) override { visit( (Statement *)stmt ); return Parent::visit( stmt ); }
47                virtual void visit( ExprStmt *stmt ) override { visit( (Statement *)stmt ); return Parent::visit( stmt ); }
48                virtual void visit( IfStmt *stmt ) override { visit( (Statement *)stmt ); return Parent::visit( stmt ); }
49                virtual void visit( WhileStmt *stmt ) override { visit( (Statement *)stmt ); return Parent::visit( stmt ); }
50                virtual void visit( ForStmt *stmt ) override { visit( (Statement *)stmt ); return Parent::visit( stmt ); }
51                virtual void visit( SwitchStmt *stmt ) override { visit( (Statement *)stmt ); return Parent::visit( stmt ); }
52                virtual void visit( CaseStmt *stmt ) override { visit( (Statement *)stmt ); return Parent::visit( stmt ); }
53                virtual void visit( ReturnStmt *stmt ) override { visit( (Statement *)stmt ); return Parent::visit( stmt ); }
54                virtual void visit( TryStmt *stmt ) override { visit( (Statement *)stmt ); return Parent::visit( stmt ); }
55                virtual void visit( CatchStmt *stmt ) override { visit( (Statement *)stmt ); return Parent::visit( stmt ); }
56                virtual void visit( DeclStmt *stmt ) override { visit( (Statement *)stmt ); return Parent::visit( stmt ); }
57                virtual void visit( BranchStmt *branchStmt ) override;
58                virtual void visit( UntypedExpr *untyped ) override;
59
60                Label setLabelsDef( std::list< Label > &, Statement *definition );
61                template< typename UsageNode >
62                void setLabelsUsg( Label, UsageNode *usage = 0 );
63
64          private:
65                class Entry {
66                        public:
67                        Entry( Statement *to ) : definition( to ) {}
68                        bool defined() { return ( definition != 0 ); }
69                        bool insideLoop();
70
71                        Label get_label() const { return label; }
72                        void set_label( Label lab ) { label = lab; }
73
74                        Statement *get_definition() const { return definition; }
75                        void set_definition( Statement *def ) { definition = def; }
76
77                  private:
78                        Label label;
79                        Statement *definition;
80                };
81
82                std::map < Label, Entry *> labelTable;
83                LabelGenerator *generator;
84        };
85} // namespace ControlStruct
86
87// Local Variables: //
88// tab-width: 4 //
89// mode: c++ //
90// compile-command: "make install" //
91// End: //
Note: See TracBrowser for help on using the repository browser.