Changes in src/InitTweak/FixInit.cc [4618319:62423350]

File:

• src/InitTweak/FixInit.cc (modified) (14 diffs)

src/InitTweak/FixInit.cc

@@ -26 +26 @@
 #include "FixGlobalInit.h"
 #include "CodeGen/GenType.h"  // for warning/error messages
-#include "CodeGen/OperatorTable.h"
 #include "Common/PassVisitor.h"
 #include "GenPoly/DeclMutator.h"
@@ -239 +238 @@
                         SemanticError errors;
                   private:
+                        void handleFirstParam( Expression * firstParam );
                         template< typename... Params >
                         void emit( CodeLocation, const Params &... params );
@@ -363 +363 @@
                                         FunctionType * ftype = dynamic_cast< FunctionType * >( GenPoly::getFunctionType( funcDecl->get_type() ) );
                                         assert( ftype );
-                                        if ( CodeGen::isConstructor( funcDecl->get_name() ) && ftype->get_parameters().size() == 2 ) {
-                                                Type * t1 = getPointerBase( ftype->get_parameters().front()->get_type() );
+                                        if ( isConstructor( funcDecl->get_name() ) && ftype->get_parameters().size() == 2 ) {
+                                                Type * t1 = ftype->get_parameters().front()->get_type();
                                                 Type * t2 = ftype->get_parameters().back()->get_type();
-                                                assert( t1 );
-
-                                                if ( ResolvExpr::typesCompatible( t1, t2, SymTab::Indexer() ) ) {
+                                                PointerType * ptrType = safe_dynamic_cast< PointerType * > ( t1 );
+
+                                                if ( ResolvExpr::typesCompatible( ptrType->get_base(), t2, SymTab::Indexer() ) ) {
                                                         // optimization: don't need to copy construct in order to call a copy constructor
                                                         return appExpr;
                                                 } // if
-                                        } else if ( CodeGen::isDestructor( funcDecl->get_name() ) ) {
+                                        } else if ( isDestructor( funcDecl->get_name() ) ) {
                                                 // correctness: never copy construct arguments to a destructor
                                                 return appExpr;
@@ -401 +401 @@
 
                 bool ResolveCopyCtors::skipCopyConstruct( Type * type ) {
-                        return dynamic_cast< VarArgsType * >( type ) || dynamic_cast< ReferenceType * >( type ) || GenPoly::getFunctionType( type ) || Tuples::isTtype( type );
+                        return dynamic_cast< VarArgsType * >( type ) || GenPoly::getFunctionType( type ) || Tuples::isTtype( type );
                 }
 
@@ -489 +489 @@
                                 impCpCtorExpr->get_returnDecls().push_back( ret );
                                 CP_CTOR_PRINT( std::cerr << "makeCtorDtor for a return" << std::endl; )
-                                if ( ! dynamic_cast< ReferenceType * >( result ) ) {
+                                if ( ! result->get_lvalue() ) {
                                         // destructing lvalue returns is bad because it can cause multiple destructor calls to the same object - the returned object is not a temporary
                                         destructRet( ret, impCpCtorExpr );
@@ -975 +975 @@
                         if ( ! funcDecl ) return false;
                         if ( ! funcDecl->get_statements() ) return false;
-                        return CodeGen::isCtorDtor( funcDecl->get_name() ) && ! LinkageSpec::isOverridable( funcDecl->get_linkage() );
+                        return isCtorDtor( funcDecl->get_name() ) && ! LinkageSpec::isOverridable( funcDecl->get_linkage() );
                 }
 
@@ -992 +992 @@
 
                         function = funcDecl;
-                        isCtor = CodeGen::isConstructor( function->get_name() );
+                        isCtor = isConstructor( function->get_name() );
                         if ( checkWarnings( function ) ) {
                                 FunctionType * type = function->get_functionType();
                                 assert( ! type->get_parameters().empty() );
                                 thisParam = safe_dynamic_cast< ObjectDecl * >( type->get_parameters().front() );
-                                Type * thisType = getPointerBase( thisParam->get_type() );
-                                StructInstType * structType = dynamic_cast< StructInstType * >( thisType );
+                                PointerType * ptrType = safe_dynamic_cast< PointerType * > ( thisParam->get_type() );
+                                StructInstType * structType = dynamic_cast< StructInstType * >( ptrType->get_base() );
                                 if ( structType ) {
                                         structDecl = structType->get_baseStruct();
@@ -1031 +1031 @@
 
                         if ( ! unhandled.empty() ) {
-                                // need to explicitly re-add function parameters to the indexer in order to resolve copy constructors
+                                // need to explicitly re-add function parameters in order to resolve copy constructors
                                 enterScope();
                                 maybeAccept( function->get_functionType(), *this );
@@ -1046 +1046 @@
                                         // insert and resolve default/copy constructor call for each field that's unhandled
                                         std::list< Statement * > stmt;
+                                        UntypedExpr * deref = UntypedExpr::createDeref( new VariableExpr( thisParam ) );
+
                                         Expression * arg2 = 0;
                                         if ( isCopyConstructor( function ) ) {
@@ -1054 +1056 @@
                                         }
                                         InitExpander srcParam( arg2 );
-                                        // cast away reference type and construct field.
-                                        Expression * thisExpr = new CastExpr( new VariableExpr( thisParam ), thisParam->get_type()->stripReferences()->clone() );
-                                        Expression * memberDest = new MemberExpr( field, thisExpr );
-                                        SymTab::genImplicitCall( srcParam, memberDest, function->get_name(), back_inserter( stmt ), field, isCtor );
+                                        SymTab::genImplicitCall( srcParam, new MemberExpr( field, deref ), function->get_name(), back_inserter( stmt ), field, isCtor );
 
                                         assert( stmt.size() <= 1 );
@@ -1084 +1083 @@
                 }
 
-                /// true if expr is effectively just the 'this' parameter
-                bool isThisExpression( Expression * expr, DeclarationWithType * thisParam ) {
-                        // TODO: there are more complicated ways to pass 'this' to a constructor, e.g. &*, *&, etc.
-                        if ( VariableExpr * varExpr = dynamic_cast< VariableExpr * >( expr ) ) {
-                                return varExpr->get_var() == thisParam;
-                        } else if ( CastExpr * castExpr = dynamic_cast< CastExpr * > ( expr ) ) {
-                                return isThisExpression( castExpr->get_arg(), thisParam );
-                        }
-                        return false;
-                }
-
-                /// returns a MemberExpr if expr is effectively just member access on the 'this' parameter, else nullptr
-                MemberExpr * isThisMemberExpr( Expression * expr, DeclarationWithType * thisParam ) {
-                        if ( MemberExpr * memberExpr = dynamic_cast< MemberExpr * >( expr ) ) {
-                                if ( isThisExpression( memberExpr->get_aggregate(), thisParam ) ) {
-                                        return memberExpr;
-                                }
-                        } else if ( CastExpr * castExpr = dynamic_cast< CastExpr * >( expr ) ) {
-                                return isThisMemberExpr( castExpr->get_arg(), thisParam );
-                        }
-                        return nullptr;
-                }
-
                 void GenStructMemberCalls::visit( ApplicationExpr * appExpr ) {
                         if ( ! checkWarnings( function ) ) return;
@@ -1115 +1091 @@
                                 Expression * firstParam = appExpr->get_args().front();
 
-                                if ( isThisExpression( firstParam, thisParam ) ) {
+                                if ( VariableExpr * varExpr = dynamic_cast< VariableExpr * >( firstParam ) ) {
                                         // if calling another constructor on thisParam, assume that function handles
                                         // all members - if it doesn't a warning will appear in that function.
-                                        unhandled.clear();
-                                } else if ( MemberExpr * memberExpr = isThisMemberExpr( firstParam, thisParam ) ) {
-                                        // if first parameter is a member expression on the this parameter,
-                                        // then remove the member from unhandled set.
-                                        if ( isThisExpression( memberExpr->get_aggregate(), thisParam ) ) {
-                                                unhandled.erase( memberExpr->get_member() );
+                                        if ( varExpr->get_var() == thisParam ) {
+                                                unhandled.clear();
+                                        }
+                                } else {
+                                        // if first parameter is a member expression then
+                                        // remove the member from unhandled set.
+                                        handleFirstParam( firstParam );
+                                }
+                        }
+
+                        Parent::visit( appExpr );
+                }
+
+                void GenStructMemberCalls::handleFirstParam( Expression * firstParam ) {
+                        using namespace std;
+                        if ( AddressExpr * addrExpr = dynamic_cast< AddressExpr * >( firstParam ) ) {
+                                if ( MemberExpr * memberExpr = dynamic_cast< MemberExpr * >( addrExpr->get_arg() ) ) {
+                                        if ( ApplicationExpr * deref = dynamic_cast< ApplicationExpr * >( memberExpr->get_aggregate() ) ) {
+                                                if ( getFunctionName( deref ) == "*?" && deref->get_args().size() == 1 ) {
+                                                        if ( VariableExpr * varExpr = dynamic_cast< VariableExpr * >( deref->get_args().front() ) ) {
+                                                                if ( varExpr->get_var() == thisParam ) {
+                                                                        unhandled.erase( memberExpr->get_member() );
+                                                                }
+                                                        }
+                                                }
                                         }
                                 }
                         }
-                        Parent::visit( appExpr );
                 }
 
@@ -1134 +1128 @@
                         if ( ! isCtor ) return;
 
-                        if ( isThisExpression( memberExpr->get_aggregate(), thisParam ) ) {
-                                if ( unhandled.count( memberExpr->get_member() ) ) {
-                                        // emit a warning because a member was used before it was constructed
-                                        usedUninit.insert( { memberExpr->get_member(), memberExpr->location } );
+                        if ( ApplicationExpr * deref = dynamic_cast< ApplicationExpr * >( memberExpr->get_aggregate() ) ) {
+                                if ( getFunctionName( deref ) == "*?" && deref->get_args().size() == 1 ) {
+                                        if ( VariableExpr * varExpr = dynamic_cast< VariableExpr * >( deref->get_args().front() ) ) {
+                                                if ( varExpr->get_var() == thisParam ) {
+                                                        if ( unhandled.count( memberExpr->get_member() ) ) {
+                                                                // emit a warning because a member was used before it was constructed
+                                                                usedUninit.insert( { memberExpr->get_member(), memberExpr->location } );
+                                                        }
+                                                }
+                                        }
                                 }
                         }
@@ -1183 +1183 @@
                         ctorExpr->set_callExpr( nullptr );
                         ctorExpr->set_env( nullptr );
+
+                        Expression *& firstArg = callExpr->get_args().front();
+                        UntypedExpr * assign = new UntypedExpr( new NameExpr( "?=?" ) );
+                        assign->get_args().push_back( new VariableExpr( tmp ) );
+                        assign->get_args().push_back( firstArg );
+                        assign->set_result( ctorExpr->get_result()->clone() );
+                        firstArg = assign;
+
+                        CommaExpr * commaExpr = new CommaExpr( callExpr, new VariableExpr( tmp ) );
+                        commaExpr->set_env( env );
                         delete ctorExpr;
-
-                        Expression *& firstArg = callExpr->get_args().front();
-
-                        // xxx - hack in 'fake' assignment operator until resolver can easily be called in this pass. Once the resolver can be used in PassVisitor, this hack goes away.
-
-                        // generate the type of assignment operator using the type of tmp minus any reference types
-                        Type * type = tmp->get_type()->stripReferences();
-                        FunctionType * ftype = SymTab::genAssignType( type );
-
-                        // generate fake assignment decl and call it using &tmp and &firstArg
-                        // since tmp is guaranteed to be a reference and we want to assign pointers
-                        FunctionDecl * assignDecl = new FunctionDecl( "?=?", Type::StorageClasses(), LinkageSpec::Intrinsic, ftype, nullptr );
-                        ApplicationExpr * assign = new ApplicationExpr( VariableExpr::functionPointer( assignDecl ) );
-                        assign->get_args().push_back( new AddressExpr( new VariableExpr( tmp ) ) );
-                        Expression * addrArg = new AddressExpr( firstArg );
-                        // if firstArg has type T&&, then &firstArg has type T*&.
-                        // Cast away the reference to a value type so that the argument
-                        // matches the assignment's parameter types
-                        if ( dynamic_cast<ReferenceType *>( addrArg->get_result() ) ) {
-                                addrArg = new CastExpr( addrArg, addrArg->get_result()->stripReferences()->clone() );
-                        }
-                        assign->get_args().push_back( addrArg );
-                        firstArg = new VariableExpr( tmp );
-
-                        // for constructor expr:
-                        //   T x;
-                        //   x{};
-                        // results in:
-                        //   T x;
-                        //   T & tmp;
-                        //   &tmp = &x, ?{}(tmp), tmp
-                        CommaExpr * commaExpr = new CommaExpr( assign, new CommaExpr( callExpr, new VariableExpr( tmp ) ) );
-                        commaExpr->set_env( env );
                         return commaExpr;
                 }