Changeset 10a9479d for src/CodeGen

Timestamp:

Nov 23, 2024, 8:28:37 PM (10 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

956b389

Parents:

b006c51e (diff), de7b7a5 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/CodeGen/CodeGenerator.cpp (modified) (1 diff)

src/CodeGen/CodeGenerator.cpp

@@ -680 +680 @@
         extension( expr );
         output << "(";
-        if ( expr->result->isVoid() ) {
-                output << "(void)";
-        } else {
-                output << "(";
+        switch ( expr->kind ) {
+        case ast::CCast:
+                if ( expr->result->isVoid() ) {
+                        output << "(void)";
+                } else {
+                        output << "(";
+                        output << genType( expr->result, "", options );
+                        output << ")";
+                }
+                break;
+        case ast::CoerceCast:
+                assertf( ast::CoerceCast != expr->kind, "Coercion cast is not implemented." );
+                // And likely shouldn't reach code generation when it is implemented.
+                break;
+        case ast::ReturnCast:
+                // This should be invisible in the resulting C code.
+                // Can we insert a check here?
+                //assert( ResolvExpr::typesCompatable(???) );
+                if ( options.genC ) break;
+                output << "(return ";
                 output << genType( expr->result, "", options );
                 output << ")";
+                break;
         }
         expr->arg->accept( *visitor );