source: src/CodeGen/CodeGenerator.h @ aa882e7e

ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since aa882e7e was 6e50a6b, checked in by Michael Brooks <mlbrooks@…>, 3 years ago

Implementing language-provided syntax for (array) dimensions.

Former z(i) and Z(N) macros are eliminated.

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