Changeset c75b30a for src/GenPoly

Timestamp:

Jan 31, 2024, 6:25:02 PM (13 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

32490deb

Parents:

16afb2a

Message:

Introduce posE, valueE, labelE pseudo language to the language. Rework the internal representation of enumeration.

File:

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

src/GenPoly/Lvalue.cpp

@@ -133 +133 @@
                         return func->linkage == ast::Linkage::Intrinsic
                                 && lvalueFunctions.count( func->name );
+                }
+        }
+        return false;
+}
+
+bool isGeneratedInstrinct( ast::Expr const * expr ) {
+        if ( auto app = dynamic_cast<ast::ApplicationExpr const *>( expr ) ) {
+                if ( app->args.size() == 2 && ast::getFunction( app )->name == "?[?]" ) {
+                        auto param_1 = dynamic_cast<ast::VariableExpr const *>(app->args.front().get());
+                        if ( param_1 ) {
+                                auto param_1_as_obj = param_1->var.as<ast::ObjectDecl>();
+                                return ( param_1_as_obj->name.find( "values_") != std::string::npos
+                                        ||  param_1_as_obj->name.find( "labels_" ) != std::string::npos );
+                        }
                 }
         }
@@ -161 +175 @@
 ast::Expr const * FixIntrinsicResults::postvisit(
                 ast::ApplicationExpr const * expr ) {
-        if ( skip == SkipInProgress || !isIntrinsicReference( expr ) ) {
+
+        if ( skip == SkipInProgress || !isIntrinsicReference( expr ) || isGeneratedInstrinct( expr ) ) {
                 return expr;
         }