source: src/ControlStruct/MLEMutator.h @ 27de955

aaron-thesisarm-ehcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newstringwith_gc
Last change on this file since 27de955 was 27de955, checked in by Rob Schluntz <rschlunt@…>, 7 years ago

fix multi-level exit code (labeled break and continue)

  • Property mode set to 100644
File size: 2.7 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// MLEMutator.h --
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 : Wed Jun 03 15:06:36 2015
13// Update Count     : 25
14//
15
16#ifndef MLE_MUTATOR_H
17#define MLE_MUTATOR_H
18
19#include <map>
20#include <list>
21
22#include "utility.h"
23#include "SynTree/SynTree.h"
24#include "SynTree/Mutator.h"
25
26#include "LabelGenerator.h"
27
28namespace ControlStruct {
29        class MLEMutator : public Mutator {
30                class Entry;
31          public:
32                MLEMutator( std::map<Label, Statement *> *t, LabelGenerator *gen = 0 ) : targetTable( t ), breakLabel(std::string("")), generator( gen ) {}
33                ~MLEMutator();
34
35                CompoundStmt *mutate( CompoundStmt *cmpndStmt );
36                Statement *mutate( WhileStmt *whileStmt );
37                Statement *mutate( ForStmt *forStmt );
38                Statement *mutate( BranchStmt *branchStmt ) throw ( SemanticError );
39
40                Statement *mutate( CaseStmt *caseStmt ); 
41                Statement *mutate( SwitchStmt *switchStmt );
42                Statement *mutate( ChooseStmt *switchStmt );
43
44                Statement *mutateLoop( Statement *bodyLoop, Entry &e );
45
46                Label &get_breakLabel() { return breakLabel; }
47                void set_breakLabel( Label newValue ) { breakLabel = newValue; }
48          private:
49                class Entry {
50                  public:
51                        explicit Entry( Statement *_loop, Label _breakExit, Label _contExit = Label("") ) :
52                                loop( _loop ), breakExit( _breakExit ), contExit( _contExit ), breakUsed(false), contUsed(false) {}
53
54                        bool operator==( const Statement *stmt ) { return ( loop == stmt ); }
55                        bool operator!=( const Statement *stmt ) { return ( loop != stmt ); }
56
57                        bool operator==( const Entry &other ) { return ( loop == other.get_loop() ); }
58
59                        Statement *get_loop() const { return loop; }
60
61                        Label useContExit() { contUsed = true; return contExit; }
62                        Label useBreakExit() { breakUsed = true; return breakExit; }
63
64                        bool isContUsed() const { return contUsed; }
65                        bool isBreakUsed() const { return breakUsed; }
66
67                  private:
68                        Statement *loop;
69                        Label breakExit, contExit;
70                        bool breakUsed, contUsed;
71                };
72
73                std::map< Label, Statement * > *targetTable;
74                std::list< Entry > enclosingBlocks, enclosingLoops, enclosingSwitches;
75                Label breakLabel;
76                LabelGenerator *generator;
77
78                template< typename LoopClass >
79                Statement *handleLoopStmt( LoopClass *loopStmt );
80
81                template< typename SwitchClass > 
82                Statement *handleSwitchStmt( SwitchClass *switchStmt );
83
84                void fixBlock( std::list< Statement * > &kids );
85        };
86} // namespace ControlStruct
87
88#endif // MLE_MUTATOR_H
89
90// Local Variables: //
91// tab-width: 4 //
92// mode: c++ //
93// compile-command: "make install" //
94// End: //
Note: See TracBrowser for help on using the repository browser.