| [51587aa] | 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 | //
 | 
|---|
| [7baed7d] | 7 | // CodeGenerator.h --
 | 
|---|
| [51587aa] | 8 | //
 | 
|---|
 | 9 | // Author           : Richard C. Bilson
 | 
|---|
 | 10 | // Created On       : Mon May 18 07:44:20 2015
 | 
|---|
| [4040425] | 11 | // Last Modified By : Peter A. Buhr
 | 
|---|
 | 12 | // Last Modified On : Wed Mar  2 17:32:24 2016
 | 
|---|
 | 13 | // Update Count     : 28
 | 
|---|
| [51587aa] | 14 | //
 | 
|---|
 | 15 | 
 | 
|---|
| [51b73452] | 16 | #ifndef CODEGENV_H
 | 
|---|
 | 17 | #define CODEGENV_H
 | 
|---|
 | 18 | 
 | 
|---|
 | 19 | #include <list>
 | 
|---|
 | 20 | 
 | 
|---|
| [e8032b0] | 21 | #include "SynTree/Declaration.h"
 | 
|---|
| [51b73452] | 22 | #include "SynTree/SynTree.h"
 | 
|---|
 | 23 | #include "SynTree/Visitor.h"
 | 
|---|
| [e8032b0] | 24 | 
 | 
|---|
| [51b73452] | 25 | #include "SymTab/Indexer.h"
 | 
|---|
 | 26 | 
 | 
|---|
 | 27 | namespace CodeGen {
 | 
|---|
| [6c4ff37] | 28 |         class CodeGenerator : public Visitor {
 | 
|---|
| [51587aa] | 29 |           public:
 | 
|---|
 | 30 |                 static int tabsize;
 | 
|---|
 | 31 | 
 | 
|---|
| [6c4ff37] | 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 );
 | 
|---|
| [51587aa] | 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 );
 | 
|---|
| [4040425] | 42 |                 virtual void visit( TraitDecl *aggregateDecl );
 | 
|---|
| [51587aa] | 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 );
 | 
|---|
| [7baed7d] | 62 |                 virtual void visit( ConstantExpr *constantExpr );
 | 
|---|
| [51587aa] | 63 |                 virtual void visit( SizeofExpr *sizeofExpr );
 | 
|---|
| [47534159] | 64 |                 virtual void visit( AlignofExpr *alignofExpr );
 | 
|---|
| [2a4b088] | 65 |                 virtual void visit( UntypedOffsetofExpr *offsetofExpr );
 | 
|---|
| [25a054f] | 66 |                 virtual void visit( OffsetofExpr *offsetofExpr );
 | 
|---|
| [afc1045] | 67 |                 virtual void visit( OffsetPackExpr *offsetPackExpr );
 | 
|---|
| [51587aa] | 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 );
 | 
|---|
| [7f5566b] | 73 |                 virtual void visit( AsmExpr * );
 | 
|---|
| [51587aa] | 74 | 
 | 
|---|
 | 75 |                 //*** Statements
 | 
|---|
 | 76 |                 virtual void visit( CompoundStmt * );
 | 
|---|
 | 77 |                 virtual void visit( ExprStmt * );
 | 
|---|
| [7f5566b] | 78 |                 virtual void visit( AsmStmt * );
 | 
|---|
| [51587aa] | 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 * );
 | 
|---|
| [7baed7d] | 87 |                 virtual void visit( DeclStmt * );
 | 
|---|
 | 88 | 
 | 
|---|
 | 89 |                 void genAttributes( std::list< Attribute * > & attributes );
 | 
|---|
| [51587aa] | 90 | 
 | 
|---|
 | 91 |                 template< class Iterator > void genCommaList( Iterator begin, Iterator end );
 | 
|---|
| [cda48b6] | 92 | 
 | 
|---|
 | 93 |                 struct Indenter {
 | 
|---|
 | 94 |                         Indenter(CodeGenerator &cg) : cg(cg) {}
 | 
|---|
 | 95 |                         CodeGenerator & cg;
 | 
|---|
 | 96 |                         std::ostream& operator()(std::ostream & os);
 | 
|---|
 | 97 |                 };
 | 
|---|
| [51587aa] | 98 |           private:
 | 
|---|
| [cda48b6] | 99 | 
 | 
|---|
 | 100 |                 Indenter indent;
 | 
|---|
| [51587aa] | 101 |                 int cur_indent;
 | 
|---|
 | 102 |                 bool insideFunction;
 | 
|---|
| [6c4ff37] | 103 |                 std::ostream &output;
 | 
|---|
| [51587aa] | 104 | 
 | 
|---|
| [e45215c] | 105 |                 void printDesignators( std::list< Expression * > & );
 | 
|---|
| [51587aa] | 106 |                 static std::string printLabels ( std::list < Label > & );
 | 
|---|
 | 107 |                 void handleStorageClass( Declaration *decl );
 | 
|---|
 | 108 |                 void handleAggregate( AggregateDecl *aggDecl );
 | 
|---|
 | 109 |                 void handleTypedef( NamedTypeDecl *namedType );
 | 
|---|
 | 110 | 
 | 
|---|
 | 111 |         };
 | 
|---|
| [7baed7d] | 112 | 
 | 
|---|
| [51587aa] | 113 |         template< class Iterator >
 | 
|---|
| [6c4ff37] | 114 |         void CodeGenerator::genCommaList( Iterator begin, Iterator end ) {
 | 
|---|
| [51587aa] | 115 |                 if ( begin == end ) return;
 | 
|---|
 | 116 | 
 | 
|---|
 | 117 |                 for ( ;; ) {
 | 
|---|
 | 118 |                         (*begin++)->accept( *this );
 | 
|---|
 | 119 |                         if ( begin == end ) return;
 | 
|---|
| [6c4ff37] | 120 |                         output << ", ";
 | 
|---|
| [51587aa] | 121 |                 } // for
 | 
|---|
| [17cd4eb] | 122 |         }
 | 
|---|
| [7baed7d] | 123 | 
 | 
|---|
| [51587aa] | 124 |         inline bool doSemicolon( Declaration* decl ) {
 | 
|---|
 | 125 |                 if ( FunctionDecl* func = dynamic_cast< FunctionDecl* >( decl ) ) {
 | 
|---|
 | 126 |                         return ! func->get_statements();
 | 
|---|
 | 127 |                 } // if
 | 
|---|
 | 128 |                 return true;
 | 
|---|
| [17cd4eb] | 129 |         }
 | 
|---|
| [51b73452] | 130 | } // namespace CodeGen
 | 
|---|
 | 131 | 
 | 
|---|
| [51587aa] | 132 | #endif // CODEGENV_H
 | 
|---|
| [51b73452] | 133 | 
 | 
|---|
| [51587aa] | 134 | // Local Variables: //
 | 
|---|
 | 135 | // tab-width: 4 //
 | 
|---|
 | 136 | // mode: c++ //
 | 
|---|
 | 137 | // compile-command: "make install" //
 | 
|---|
 | 138 | // End: //
 | 
|---|