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 Jun 9 13:15:58 2016
|
---|
13 | // Update Count : 29
|
---|
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( NameExpr *nameExpr );
|
---|
57 | virtual void visit( AddressExpr *addressExpr );
|
---|
58 | virtual void visit( CastExpr *castExpr );
|
---|
59 | virtual void visit( UntypedMemberExpr *memberExpr );
|
---|
60 | virtual void visit( MemberExpr *memberExpr );
|
---|
61 | virtual void visit( VariableExpr *variableExpr );
|
---|
62 | virtual void visit( ConstantExpr *constantExpr );
|
---|
63 | virtual void visit( SizeofExpr *sizeofExpr );
|
---|
64 | virtual void visit( AlignofExpr *alignofExpr );
|
---|
65 | virtual void visit( UntypedOffsetofExpr *offsetofExpr );
|
---|
66 | virtual void visit( OffsetofExpr *offsetofExpr );
|
---|
67 | virtual void visit( OffsetPackExpr *offsetPackExpr );
|
---|
68 | virtual void visit( LogicalExpr *logicalExpr );
|
---|
69 | virtual void visit( ConditionalExpr *conditionalExpr );
|
---|
70 | virtual void visit( CommaExpr *commaExpr );
|
---|
71 | virtual void visit( TupleExpr *tupleExpr );
|
---|
72 | virtual void visit( TypeExpr *typeExpr );
|
---|
73 | virtual void visit( AsmExpr * );
|
---|
74 |
|
---|
75 | //*** Statements
|
---|
76 | virtual void visit( CompoundStmt * );
|
---|
77 | virtual void visit( ExprStmt * );
|
---|
78 | virtual void visit( AsmStmt * );
|
---|
79 | virtual void visit( IfStmt * );
|
---|
80 | virtual void visit( SwitchStmt * );
|
---|
81 | virtual void visit( CaseStmt * );
|
---|
82 | virtual void visit( BranchStmt * );
|
---|
83 | virtual void visit( ReturnStmt * );
|
---|
84 | virtual void visit( WhileStmt * );
|
---|
85 | virtual void visit( ForStmt * );
|
---|
86 | virtual void visit( NullStmt * );
|
---|
87 | virtual void visit( DeclStmt * );
|
---|
88 |
|
---|
89 | void genAttributes( std::list< Attribute * > & attributes );
|
---|
90 |
|
---|
91 | template< class Iterator > void genCommaList( Iterator begin, Iterator end );
|
---|
92 |
|
---|
93 | struct Indenter {
|
---|
94 | Indenter(CodeGenerator &cg) : cg(cg) {}
|
---|
95 | CodeGenerator & cg;
|
---|
96 | std::ostream& operator()(std::ostream & os);
|
---|
97 | };
|
---|
98 |
|
---|
99 | void extension( Expression *expr ) {
|
---|
100 | if ( expr->get_extension() ) {
|
---|
101 | output << "__extension__ ";
|
---|
102 | } // if
|
---|
103 | } // extension
|
---|
104 | private:
|
---|
105 |
|
---|
106 | Indenter indent;
|
---|
107 | int cur_indent;
|
---|
108 | bool insideFunction;
|
---|
109 | std::ostream &output;
|
---|
110 |
|
---|
111 | void printDesignators( std::list< Expression * > & );
|
---|
112 | static std::string printLabels ( std::list < Label > & );
|
---|
113 | void handleStorageClass( Declaration *decl );
|
---|
114 | void handleAggregate( AggregateDecl *aggDecl );
|
---|
115 | void handleTypedef( NamedTypeDecl *namedType );
|
---|
116 |
|
---|
117 | };
|
---|
118 |
|
---|
119 | template< class Iterator >
|
---|
120 | void CodeGenerator::genCommaList( Iterator begin, Iterator end ) {
|
---|
121 | if ( begin == end ) return;
|
---|
122 |
|
---|
123 | for ( ;; ) {
|
---|
124 | (*begin++)->accept( *this );
|
---|
125 | if ( begin == end ) return;
|
---|
126 | output << ", ";
|
---|
127 | } // for
|
---|
128 | }
|
---|
129 |
|
---|
130 | inline bool doSemicolon( Declaration* decl ) {
|
---|
131 | if ( FunctionDecl* func = dynamic_cast< FunctionDecl* >( decl ) ) {
|
---|
132 | return ! func->get_statements();
|
---|
133 | } // if
|
---|
134 | return true;
|
---|
135 | }
|
---|
136 | } // namespace CodeGen
|
---|
137 |
|
---|
138 | #endif // CODEGENV_H
|
---|
139 |
|
---|
140 | // Local Variables: //
|
---|
141 | // tab-width: 4 //
|
---|
142 | // mode: c++ //
|
---|
143 | // compile-command: "make install" //
|
---|
144 | // End: //
|
---|