Changeset 70a5acf for src/GenPoly

Timestamp:

Apr 17, 2018, 4:26:08 PM (7 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:

f74eb47

Parents:

27aca84

Message:

Removed useless generated casts in ReferenceConversions? pass

File:

• src/GenPoly/Lvalue.cc (modified) (1 diff)

src/GenPoly/Lvalue.cc ¶

@@ -425 +425 @@
                                 assert( diff == 0 );
                                 // conversion between references of the same depth
+                                if ( ResolvExpr::typesCompatible( castExpr->result, castExpr->arg->result, SymTab::Indexer() ) && castExpr->isGenerated ) {
+                                        // Remove useless generated casts
+                                        PRINT(
+                                                std::cerr << "types are compatible, removing cast: " << castExpr << std::endl;
+                                                std::cerr << "-- " << castExpr->result << std::endl;
+                                                std::cerr << "-- " << castExpr->arg->result << std::endl;
+                                        )
+                                        Expression * ret = castExpr->arg;
+                                        castExpr->arg = nullptr;
+                                        std::swap( castExpr->env, ret->env );
+                                        delete castExpr;
+                                        return ret;
+                                }
                                 return castExpr;
                         }