Changeset 5f08961d

Timestamp:

Apr 16, 2018, 4:48:43 PM (6 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, with_gc

Children:

a3323db1

Parents:

e93f1d2

Message:

Add debug codegen for types in postfix comments for expressions

Location:

src

Files:

• CodeGen/CodeGenerator.cc (modified) (2 diffs)
• CodeGen/CodeGenerator.h (modified) (3 diffs)
• CodeGen/Generate.cc (modified) (2 diffs)
• CodeGen/Generate.h (modified) (1 diff)
• Common/Debug.h (modified) (1 diff)

src/CodeGen/CodeGenerator.cc

@@ -116 +116 @@
         }
 
-        CodeGenerator::CodeGenerator( std::ostream & os, bool pretty, bool genC, bool lineMarks ) : indent( CodeGenerator::tabsize ), output( os ), printLabels( *this ), pretty( pretty ), genC( genC ), lineMarks( lineMarks ), endl( *this ) {}
+        CodeGenerator::CodeGenerator( std::ostream & os, bool pretty, bool genC, bool lineMarks, bool printExprTypes ) : indent( CodeGenerator::tabsize ), output( os ), printLabels( *this ), pretty( pretty ), genC( genC ), lineMarks( lineMarks ), printExprTypes( printExprTypes ), endl( *this ) {}
 
         string CodeGenerator::mangleName( DeclarationWithType * decl ) {
@@ -157 +157 @@
                 node->print( ss );
                 assertf( false, "Unhandled node reached in CodeGenerator: %s", ss.str().c_str() );
+        }
+
+        // *** Expression
+        void CodeGenerator::previsit( Expression * node ) {
+                previsit( (BaseSyntaxNode *)node );
+                GuardAction( [this, node](){
+                        if ( printExprTypes ) {
+                                output << " /* " << genType( node->result, "", pretty, genC ) << " */ ";
+                        }
+                } );
         }
 

src/CodeGen/CodeGenerator.h

@@ -27 +27 @@
 
 namespace CodeGen {
-        struct CodeGenerator : public WithShortCircuiting, public WithVisitorRef<CodeGenerator> {
+        struct CodeGenerator : public WithShortCircuiting, public WithGuards, public WithVisitorRef<CodeGenerator> {
           static int tabsize;
 
-                CodeGenerator( std::ostream &os, bool pretty = false, bool genC = false, bool lineMarks = false );
+                CodeGenerator( std::ostream &os, bool pretty = false, bool genC = false, bool lineMarks = false, bool printExprTypes = false );
 
                 //*** Turn off visit_children for all nodes
@@ -37 +37 @@
                 //*** Error for unhandled node types
                 void postvisit( BaseSyntaxNode * );
+
+                //*** print type for all expressions
+                void previsit( Expression * node );
 
                 //*** Declaration
@@ -140 +143 @@
                 bool genC = false;    // true if output has to be C code
                 bool lineMarks = false;
+                bool printExprTypes = false;
         public:
                 LineEnder endl;

src/CodeGen/Generate.cc

@@ -46 +46 @@
         } // namespace
 
-        void generate( std::list< Declaration* > translationUnit, std::ostream &os, bool doIntrinsics, bool pretty, bool generateC, bool lineMarks ) {
+        void generate( std::list< Declaration* > translationUnit, std::ostream &os, bool doIntrinsics, bool pretty, bool generateC, bool lineMarks, bool printExprTypes ) {
                 cleanTree( translationUnit );
 
-                PassVisitor<CodeGenerator> cgv( os, pretty, generateC, lineMarks );
+                PassVisitor<CodeGenerator> cgv( os, pretty, generateC, lineMarks, printExprTypes );
                 for ( auto & dcl : translationUnit ) {
                         if ( LinkageSpec::isGeneratable( dcl->get_linkage() ) && (doIntrinsics || ! LinkageSpec::isBuiltin( dcl->get_linkage() ) ) ) {
@@ -66 +66 @@
                         os << CodeGen::genPrettyType( type, "" );
                 } else {
-                        PassVisitor<CodeGenerator> cgv( os, true, false, false );
+                        PassVisitor<CodeGenerator> cgv( os, true, false, false, false );
                         node->accept( cgv );
                 }

src/CodeGen/Generate.h

@@ -24 +24 @@
 namespace CodeGen {
         /// Generates code. doIntrinsics determines if intrinsic functions are printed, pretty formats output nicely (e.g., uses unmangled names, etc.), generateC is true when the output must consist only of C code (allows some assertions, etc.)
-        void generate( std::list< Declaration* > translationUnit, std::ostream &os, bool doIntrinsics, bool pretty, bool generateC = false , bool lineMarks = false );
+        void generate( std::list< Declaration* > translationUnit, std::ostream &os, bool doIntrinsics, bool pretty, bool generateC = false , bool lineMarks = false, bool printTypeExpr = false );
 
         /// Generate code for a single node -- helpful for debugging in gdb

src/Common/Debug.h

@@ -37 +37 @@
 
                 std::cerr << "======" << label << "======" << std::endl;
-                CodeGen::generate( decls, std::cerr, true, true );
+                CodeGen::generate(
+                        decls,
+                        std::cerr,
+                        true /* doIntrinsics */,
+                        true /* pretty */,
+                        false /* generateC */,
+                        false /* lineMarks */,
+                        true /* printTypeExpr */
+                );
         #endif
         } // dump