Changeset 85855b0 for src/GenPoly

Timestamp:

Jun 10, 2024, 2:43:13 AM (6 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

42cdd07d

Parents:

d68de59

Message:

1. Implement enum cast; 2. Change valueE so that opague enum returns quasi_void; 3. change enum hiding interpretation and pass visiting scheme

File:

• src/GenPoly/Lvalue.cpp (modified) (2 diffs)

src/GenPoly/Lvalue.cpp

@@ -389 +389 @@
                 assert( 0 == diff );
                 // Remove useless generated casts.
-                if ( expr->isGenerated &&
+                if ( expr->isGenerated == ast::GeneratedFlag::GeneratedCast &&
                                 ResolvExpr::typesCompatible(
                                         expr->result,
@@ -398 +398 @@
                                 std::cerr << "-- " << expr->arg->result << std::endl;
                         )
+                        auto argAsEnum = expr->arg.as<ast::EnumInstType>();
+                        auto resultAsEnum = expr->result.as<ast::EnumInstType>();
+                        if (argAsEnum && resultAsEnum) {
+                                if (argAsEnum->base->name != resultAsEnum->base->name) {
+                                        return expr;
+                                }
+                        }
                         return ast::mutate_field( expr->arg.get(),
                                         &ast::Expr::env, expr->env.get() );