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 | // CodeGenerator.h --
|
---|
8 | //
|
---|
9 | // Author : Richard C. Bilson
|
---|
10 | // Created On : Mon May 18 07:44:20 2015
|
---|
11 | // Last Modified By : Peter A. Buhr
|
---|
12 | // Last Modified On : Thu Aug 4 13:37:07 2016
|
---|
13 | // Update Count : 38
|
---|
14 | //
|
---|
15 |
|
---|
16 | #ifndef CODEGENV_H
|
---|
17 | #define CODEGENV_H
|
---|
18 |
|
---|
19 | #include <list>
|
---|
20 |
|
---|
21 | #include "SynTree/Declaration.h"
|
---|
22 | #include "SynTree/SynTree.h"
|
---|
23 | #include "SynTree/Visitor.h"
|
---|
24 |
|
---|
25 | #include "SymTab/Indexer.h"
|
---|
26 |
|
---|
27 | namespace CodeGen {
|
---|
28 | class CodeGenerator : public Visitor {
|
---|
29 | public:
|
---|
30 | static int tabsize;
|
---|
31 |
|
---|
32 | CodeGenerator( std::ostream &os );
|
---|
33 | CodeGenerator( std::ostream &os, std::string, int indent = 0, bool infun = false );
|
---|
34 | CodeGenerator( std::ostream &os, char *, int indent = 0, bool infun = false );
|
---|
35 |
|
---|
36 | //*** Declaration
|
---|
37 | virtual void visit( StructDecl * );
|
---|
38 | virtual void visit( FunctionDecl * );
|
---|
39 | virtual void visit( ObjectDecl * );
|
---|
40 | virtual void visit( UnionDecl *aggregateDecl );
|
---|
41 | virtual void visit( EnumDecl *aggregateDecl );
|
---|
42 | virtual void visit( TraitDecl *aggregateDecl );
|
---|
43 | virtual void visit( TypedefDecl *typeDecl );
|
---|
44 | virtual void visit( TypeDecl *typeDecl );
|
---|
45 |
|
---|
46 | //*** Initializer
|
---|
47 | virtual void visit( SingleInit * );
|
---|
48 | virtual void visit( ListInit * );
|
---|
49 |
|
---|
50 | //*** Constant
|
---|
51 | virtual void visit( Constant * );
|
---|
52 |
|
---|
53 | //*** Expression
|
---|
54 | virtual void visit( ApplicationExpr *applicationExpr );
|
---|
55 | virtual void visit( UntypedExpr *untypedExpr );
|
---|
56 | virtual void visit( RangeExpr * rangeExpr );
|
---|
57 | virtual void visit( NameExpr *nameExpr );
|
---|
58 | virtual void visit( AddressExpr *addressExpr );
|
---|
59 | virtual void visit( CastExpr *castExpr );
|
---|
60 | virtual void visit( UntypedMemberExpr *memberExpr );
|
---|
61 | virtual void visit( MemberExpr *memberExpr );
|
---|
62 | virtual void visit( VariableExpr *variableExpr );
|
---|
63 | virtual void visit( ConstantExpr *constantExpr );
|
---|
64 | virtual void visit( SizeofExpr *sizeofExpr );
|
---|
65 | virtual void visit( AlignofExpr *alignofExpr );
|
---|
66 | virtual void visit( UntypedOffsetofExpr *offsetofExpr );
|
---|
67 | virtual void visit( OffsetofExpr *offsetofExpr );
|
---|
68 | virtual void visit( OffsetPackExpr *offsetPackExpr );
|
---|
69 | virtual void visit( LogicalExpr *logicalExpr );
|
---|
70 | virtual void visit( ConditionalExpr *conditionalExpr );
|
---|
71 | virtual void visit( CommaExpr *commaExpr );
|
---|
72 | virtual void visit( TupleExpr *tupleExpr );
|
---|
73 | virtual void visit( TypeExpr *typeExpr );
|
---|
74 | virtual void visit( AsmExpr * );
|
---|
75 |
|
---|
76 | //*** Statements
|
---|
77 | virtual void visit( CompoundStmt * );
|
---|
78 | virtual void visit( ExprStmt * );
|
---|
79 | virtual void visit( AsmStmt * );
|
---|
80 | virtual void visit( IfStmt * );
|
---|
81 | virtual void visit( SwitchStmt * );
|
---|
82 | virtual void visit( CaseStmt * );
|
---|
83 | virtual void visit( BranchStmt * );
|
---|
84 | virtual void visit( ReturnStmt * );
|
---|
85 | virtual void visit( WhileStmt * );
|
---|
86 | virtual void visit( ForStmt * );
|
---|
87 | virtual void visit( NullStmt * );
|
---|
88 | virtual void visit( DeclStmt * );
|
---|
89 |
|
---|
90 | void genAttributes( std::list< Attribute * > & attributes );
|
---|
91 |
|
---|
92 | template< class Iterator > void genCommaList( Iterator begin, Iterator end );
|
---|
93 |
|
---|
94 | struct Indenter {
|
---|
95 | Indenter(CodeGenerator &cg) : cg(cg) {}
|
---|
96 | CodeGenerator & cg;
|
---|
97 | std::ostream& operator()(std::ostream & os) const;
|
---|
98 | };
|
---|
99 |
|
---|
100 | struct LabelPrinter {
|
---|
101 | LabelPrinter(CodeGenerator &cg) : cg(cg), labels( 0 ) {}
|
---|
102 | LabelPrinter & operator()( std::list< Label > & l );
|
---|
103 | CodeGenerator & cg;
|
---|
104 | std::list< Label > * labels;
|
---|
105 | };
|
---|
106 |
|
---|
107 | void extension( Expression *expr );
|
---|
108 | void extension( Declaration *decl );
|
---|
109 | private:
|
---|
110 |
|
---|
111 | Indenter indent;
|
---|
112 | int cur_indent;
|
---|
113 | bool insideFunction;
|
---|
114 | std::ostream &output;
|
---|
115 | LabelPrinter printLabels;
|
---|
116 |
|
---|
117 | void printDesignators( std::list< Expression * > & );
|
---|
118 | void handleStorageClass( Declaration *decl );
|
---|
119 | void handleAggregate( AggregateDecl *aggDecl );
|
---|
120 | void handleTypedef( NamedTypeDecl *namedType );
|
---|
121 | }; // CodeGenerator
|
---|
122 |
|
---|
123 | template< class Iterator >
|
---|
124 | void CodeGenerator::genCommaList( Iterator begin, Iterator end ) {
|
---|
125 | if ( begin == end ) return;
|
---|
126 |
|
---|
127 | for ( ;; ) {
|
---|
128 | (*begin++)->accept( *this );
|
---|
129 | if ( begin == end ) return;
|
---|
130 | output << ", ";
|
---|
131 | } // for
|
---|
132 | }
|
---|
133 |
|
---|
134 | inline bool doSemicolon( Declaration* decl ) {
|
---|
135 | if ( FunctionDecl* func = dynamic_cast< FunctionDecl* >( decl ) ) {
|
---|
136 | return ! func->get_statements();
|
---|
137 | } // if
|
---|
138 | return true;
|
---|
139 | }
|
---|
140 | } // namespace CodeGen
|
---|
141 |
|
---|
142 | #endif // CODEGENV_H
|
---|
143 |
|
---|
144 | // Local Variables: //
|
---|
145 | // tab-width: 4 //
|
---|
146 | // mode: c++ //
|
---|
147 | // compile-command: "make install" //
|
---|
148 | // End: //
|
---|