Changeset bbf2cb1 for src/ResolvExpr/ConversionCost.cc

Timestamp:

Mar 6, 2024, 6:06:30 AM (5 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

f6e8c67

Parents:

00eaeb8

Message:

Add the Working support to succ() and pred() pseudo function to Enum

File:

• src/ResolvExpr/ConversionCost.cc (modified) (2 diffs)

src/ResolvExpr/ConversionCost.cc

@@ -366 +366 @@
 }
 
-void ConversionCost::postvisit( const ast::EnumInstType * ) {
+void ConversionCost::postvisit( const ast::EnumInstType * inst ) {
         static ast::ptr<ast::BasicType> integer = { new ast::BasicType( ast::BasicType::SignedInt ) };
         cost = costCalc( integer, dst, srcIsLvalue, symtab, env );
@@ -374 +374 @@
 }
 
-void ConversionCost::postvisit( const ast::EnumPosType * ) {
-        if ( dynamic_cast<const ast::EnumPosType *>( dst ) ) {
-                // Tempoarary
-                cost = Cost::zero;
-        } else {
+void ConversionCost::postvisit( const ast::EnumPosType * src ) {
+        if ( auto dstBase = dynamic_cast<const ast::EnumPosType *>( dst ) ) {
+                // cost = costCalc( src->instance, dstBase->instance, srcIsLvalue, symtab, env );
+                // if ( cost < Cost::unsafe ) cost.incSafe();
+                cost = Cost::zero;
+        } 
+        // if ( auto dstBase = dynamic_cast<const ast::EnumInstType *>( dst ) ) {
+        //      cost = costCalc( src->instance, dstBase, srcIsLvalue, symtab, env );
+        //      if ( cost < Cost::unsafe ) cost.incSafe();
+        // } 
+        else {
                 static ast::ptr<ast::BasicType> integer = { new ast::BasicType( ast::BasicType::SignedInt ) };
                 cost = costCalc( integer, dst, srcIsLvalue, symtab, env );