Changeset da9d79b

Timestamp:

Apr 19, 2018, 5:20:00 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:

b03eed6

Parents:

9a705dc8

Message:

Add debug codegen for KeywordCasts?, TraitInstType?, TypeofType?

Location:

src/CodeGen

Files:

• CodeGenerator.cc (modified) (1 diff)
• CodeGenerator.h (modified) (1 diff)
• GenType.cc (modified) (2 diffs)

src/CodeGen/CodeGenerator.cc

@@ -596 +596 @@
                         output << ")";
                 } // if
-                castExpr->get_arg()->accept( *visitor );
+                castExpr->arg->accept( *visitor );
+                output << ")";
+        }
+
+        void CodeGenerator::postvisit( KeywordCastExpr * castExpr ) {
+                assertf( ! genC, "KeywordCast should not reach code generation." );
+                extension( castExpr );
+                output << "((" << castExpr->targetString() << " &)";
+                castExpr->arg->accept( *visitor );
                 output << ")";
         }

src/CodeGen/CodeGenerator.h

@@ -69 +69 @@
                 void postvisit( LabelAddressExpr *addressExpr );
                 void postvisit( CastExpr *castExpr );
+                void postvisit( KeywordCastExpr * castExpr );
                 void postvisit( VirtualCastExpr *castExpr );
                 void postvisit( UntypedMemberExpr *memberExpr );

src/CodeGen/GenType.cc

@@ -48 +48 @@
                 void postvisit( ZeroType * zeroType );
                 void postvisit( OneType * oneType );
+                void postvisit( TraitInstType * inst );
+                void postvisit( TypeofType * typeof );
 
           private:
@@ -289 +291 @@
         }
 
+        void GenType::postvisit( TraitInstType * inst ) {
+                assertf( ! genC, "Trait types should not reach code generation." );
+                typeString = inst->name + " " + typeString;
+                handleQualifiers( inst );
+        }
+
+        void GenType::postvisit( TypeofType * typeof ) {
+                std::ostringstream os;
+                PassVisitor<CodeGenerator> cg( os, pretty, genC, lineMarks );
+                os << "typeof(";
+                typeof->expr->accept( cg );
+                os << ") " << typeString;
+                typeString = os.str();
+                handleQualifiers( typeof );
+        }
+
         void GenType::handleQualifiers( Type * type ) {
                 if ( type->get_const() ) {