source: src/CodeGen/CodeGenerator.h @ 55d6e8de

aaron-thesisarm-ehcleanup-dtorsdeferred_resndemanglerjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newwith_gc
Last change on this file since 55d6e8de was 55d6e8de, checked in by Rob Schluntz <rschlunt@…>, 4 years ago

Add CodeGen? for WithStmt?

  • Property mode set to 100644
File size: 5.8 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// CodeGenerator.h --
8//
9// Author           : Richard C. Bilson
10// Created On       : Mon May 18 07:44:20 2015
11// Last Modified By : Andrew Beach
12// Last Modified On : Fri Aug 18 15:40:00 2017
13// Update Count     : 56
14//
15
16#pragma once
17
18#include <list>                   // for list
19#include <ostream>                // for ostream, operator<<
20#include <string>                 // for string
21
22#include "Common/Indenter.h"      // for Indenter
23#include "Common/PassVisitor.h"   // for PassVisitor
24#include "SynTree/Declaration.h"  // for DeclarationWithType (ptr only), Fun...
25#include "SynTree/Visitor.h"      // for Visitor
26#include "SynTree/SynTree.h"      // for Visitor Nodes
27
28namespace CodeGen {
29        struct CodeGenerator : public WithShortCircuiting, public WithVisitorRef<CodeGenerator> {
30          static int tabsize;
31
32                CodeGenerator( std::ostream &os, bool pretty = false, bool genC = false, bool lineMarks = false );
33
34                //*** Turn off visit_children for all nodes
35                void previsit( BaseSyntaxNode * );
36
37                //*** Error for unhandled node types
38                void postvisit( BaseSyntaxNode * );
39
40                //*** Declaration
41                void postvisit( StructDecl * );
42                void postvisit( FunctionDecl * );
43                void postvisit( ObjectDecl * );
44                void postvisit( UnionDecl *aggregateDecl );
45                void postvisit( EnumDecl *aggregateDecl );
46                void postvisit( TraitDecl *aggregateDecl );
47                void postvisit( TypedefDecl *typeDecl );
48                void postvisit( TypeDecl *typeDecl );
49
50                //*** Initializer
51                void postvisit( Designation * );
52                void postvisit( SingleInit * );
53                void postvisit( ListInit * );
54                void postvisit( ConstructorInit * );
55
56                //*** Constant
57                void postvisit( Constant * );
58
59                //*** Expression
60                void postvisit( ApplicationExpr *applicationExpr );
61                void postvisit( UntypedExpr *untypedExpr );
62                void postvisit( RangeExpr * rangeExpr );
63                void postvisit( NameExpr *nameExpr );
64                void postvisit( AddressExpr *addressExpr );
65                void postvisit( LabelAddressExpr *addressExpr );
66                void postvisit( CastExpr *castExpr );
67                void postvisit( VirtualCastExpr *castExpr );
68                void postvisit( UntypedMemberExpr *memberExpr );
69                void postvisit( MemberExpr *memberExpr );
70                void postvisit( VariableExpr *variableExpr );
71                void postvisit( ConstantExpr *constantExpr );
72                void postvisit( SizeofExpr *sizeofExpr );
73                void postvisit( AlignofExpr *alignofExpr );
74                void postvisit( UntypedOffsetofExpr *offsetofExpr );
75                void postvisit( OffsetofExpr *offsetofExpr );
76                void postvisit( OffsetPackExpr *offsetPackExpr );
77                void postvisit( LogicalExpr *logicalExpr );
78                void postvisit( ConditionalExpr *conditionalExpr );
79                void postvisit( CommaExpr *commaExpr );
80                void postvisit( CompoundLiteralExpr *compLitExpr );
81                void postvisit( UniqueExpr * );
82                void postvisit( TupleAssignExpr * tupleExpr );
83                void postvisit( UntypedTupleExpr *tupleExpr );
84                void postvisit( TupleExpr *tupleExpr );
85                void postvisit( TupleIndexExpr * tupleExpr );
86                void postvisit( TypeExpr *typeExpr );
87                void postvisit( AsmExpr * );
88                void postvisit( StmtExpr * );
89                void postvisit( ConstructorExpr * );
90
91                //*** Statements
92                void postvisit( CompoundStmt * );
93                void postvisit( ExprStmt * );
94                void postvisit( AsmStmt * );
95                void postvisit( AsmDecl * );                            // special: statement in declaration context
96                void postvisit( IfStmt * );
97                void postvisit( SwitchStmt * );
98                void postvisit( CaseStmt * );
99                void postvisit( BranchStmt * );
100                void postvisit( ReturnStmt * );
101                void postvisit( ThrowStmt * );
102                void postvisit( CatchStmt * );
103                void postvisit( WaitForStmt * );
104                void postvisit( WithStmt * );
105                void postvisit( WhileStmt * );
106                void postvisit( ForStmt * );
107                void postvisit( NullStmt * );
108                void postvisit( DeclStmt * );
109                void postvisit( ImplicitCtorDtorStmt * );
110
111                void genAttributes( std::list< Attribute * > & attributes );
112
113                template< class Iterator > void genCommaList( Iterator begin, Iterator end );
114
115                struct LabelPrinter {
116                        LabelPrinter(CodeGenerator &cg) : cg(cg), labels( 0 ) {}
117                        LabelPrinter & operator()( std::list< Label > & l );
118                        CodeGenerator & cg;
119                        std::list< Label > * labels;
120                };
121
122                void asmName( DeclarationWithType *decl );
123
124                void extension( Expression *expr );
125                void extension( Declaration *decl );
126
127                void updateLocation( BaseSyntaxNode const * to );
128                struct LineEnder {
129                        CodeGenerator & cg;
130                        LineEnder( CodeGenerator & cg ) : cg( cg ) {}
131                        std::ostream & operator()(std::ostream &) const;
132                };
133          private:
134                Indenter indent;
135                std::ostream & output;
136                LabelPrinter printLabels;
137                bool pretty = false;  // pretty print
138                bool genC = false;    // true if output has to be C code
139                bool lineMarks = false;
140        public:
141                LineEnder endl;
142        private:
143
144                CodeLocation currentLocation;
145                void updateLocation( CodeLocation const & to );
146
147                void handleStorageClass( DeclarationWithType *decl );
148                void handleAggregate( AggregateDecl *aggDecl, const std::string & kind );
149                void handleTypedef( NamedTypeDecl *namedType );
150                std::string mangleName( DeclarationWithType * decl );
151        }; // CodeGenerator
152
153        template< class Iterator >
154        void CodeGenerator::genCommaList( Iterator begin, Iterator end ) {
155          if ( begin == end ) return;
156                for ( ;; ) {
157                        (*begin++)->accept( *visitor );
158                  if ( begin == end ) break;
159                        output << ", ";                                                         // separator
160                } // for
161        } // genCommaList
162
163        inline bool doSemicolon( Declaration* decl ) {
164                if ( FunctionDecl* func = dynamic_cast< FunctionDecl* >( decl ) ) {
165                        return ! func->get_statements();
166                } // if
167                return true;
168        } // doSemicolon
169
170        /// returns C-compatible name of declaration
171        std::string genName( DeclarationWithType * decl );
172
173        inline std::ostream & operator<<( std::ostream & os, const CodeGenerator::LineEnder & endl ) {
174                return endl( os );
175        }
176} // namespace CodeGen
177
178// Local Variables: //
179// tab-width: 4 //
180// mode: c++ //
181// compile-command: "make install" //
182// End: //
Note: See TracBrowser for help on using the repository browser.