Changeset fc56cdbf for src/GenPoly

Timestamp:

Aug 22, 2017, 7:13:29 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, resolv-new, with_gc

Children:

8135d4c

Parents:

5fb6830

Message:

Handle conversions between reference types of different depths

File:

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

src/GenPoly/Lvalue.cc

@@ -119 +119 @@
 
         void convertLvalue( std::list< Declaration* >& translationUnit ) {
-                std::cerr << "convertLvalue" << std::endl;
                 PassVisitor<ReferenceConversions> refCvt;
                 PassVisitor<ReferenceTypeElimination> elim;
@@ -300 +299 @@
                                         int depth1 = refType->referenceDepth();
                                         int depth2 = otherRef->referenceDepth();
+                                        int diff = depth1-depth2;
+                                        if ( diff == 0 ) {
+                                                assertf( depth1 == depth2, "non-intrinsic reference with cast of reference to reference not yet supported: %d %d %s", depth1, depth2, toString( castExpr ).c_str() );
+                                                PRINT( std::cerr << castExpr << std::endl; )
+                                                return castExpr;
+                                        } else if ( diff < 0 ) {
+                                                Expression * ret = castExpr->get_arg();
+                                                for ( int i = 0; i < diff; ++i ) {
+                                                        ret = mkDeref( ret );
+                                                }
+                                                ret->set_env( castExpr->get_env() );
+                                                delete ret->get_result();
+                                                ret->set_result( castExpr->get_result() );
+                                                castExpr->set_env( nullptr );
+                                                castExpr->set_arg( nullptr );
+                                                castExpr->set_result( nullptr );
+                                                delete castExpr;
+                                                return ret;
+                                        } else if ( diff > 0 ) {
+                                                Expression * ret = castExpr->get_arg();
+                                                for ( int i = 0; i < diff; ++i ) {
+                                                        ret = new AddressExpr( ret );
+                                                }
+                                                ret->set_env( castExpr->get_env() );
+                                                delete ret->get_result();
+                                                ret->set_result( castExpr->get_result() );
+                                                castExpr->set_env( nullptr );
+                                                castExpr->set_arg( nullptr );
+                                                castExpr->set_result( nullptr );
+                                                delete castExpr;
+                                                return ret;
+                                        }
+
                                         assertf( depth1 == depth2, "non-intrinsic reference with cast of reference to reference not yet supported: %d %d %s", depth1, depth2, toString( castExpr ).c_str() );
                                         PRINT( std::cerr << castExpr << std::endl; )