Index: src/CodeGen/CodeGenerator.cc =================================================================== --- src/CodeGen/CodeGenerator.cc (revision e04aec4e705020aa2c15b21c11c741bda20cc7f3) +++ src/CodeGen/CodeGenerator.cc (revision db4062dfc7318190a553c7282339cf3047457f17) @@ -133,8 +133,8 @@ output << "__attribute__ (("; for ( list< Attribute * >::iterator attr( attributes.begin() );; ) { - output << (*attr)->get_name(); - if ( ! (*attr)->get_parameters().empty() ) { + output << (*attr)->name; + if ( ! (*attr)->parameters.empty() ) { output << "("; - genCommaList( (*attr)->get_parameters().begin(), (*attr)->get_parameters().end() ); + genCommaList( (*attr)->parameters.begin(), (*attr)->parameters.end() ); output << ")"; } // if @@ -836,4 +836,9 @@ assertf( ! genC, "Deleted expressions should not reach code generation." ); expr->expr->accept( *visitor ); + } + + void CodeGenerator::postvisit( DefaultArgExpr * arg ) { + assertf( ! genC, "Default argument expressions should not reach code generation." ); + arg->expr->accept( *visitor ); } Index: src/CodeGen/CodeGenerator.h =================================================================== --- src/CodeGen/CodeGenerator.h (revision e04aec4e705020aa2c15b21c11c741bda20cc7f3) +++ src/CodeGen/CodeGenerator.h (revision db4062dfc7318190a553c7282339cf3047457f17) @@ -94,4 +94,5 @@ void postvisit( ConstructorExpr * ); void postvisit( DeletedExpr * ); + void postvisit( DefaultArgExpr * ); void postvisit( GenericExpr * ); Index: src/Common/Debug.h =================================================================== --- src/Common/Debug.h (revision e04aec4e705020aa2c15b21c11c741bda20cc7f3) +++ src/Common/Debug.h (revision db4062dfc7318190a553c7282339cf3047457f17) @@ -28,5 +28,5 @@ namespace Debug { /// debug codegen a translation unit - static inline void codeGen( __attribute__((unused)) const std::list< Declaration * > & translationUnit, __attribute__((unused)) const std::string & label, __attribute__((unused)) LinkageSpec::Spec linkageFilter = LinkageSpec::Compiler ) { + static inline void codeGen( __attribute__((unused)) const std::list< Declaration * > & translationUnit, __attribute__((unused)) const std::string & label, __attribute__((unused)) LinkageSpec::Spec linkageFilter = LinkageSpec::Builtin ) { #ifdef DEBUG std::list< Declaration * > decls; Index: src/Common/PassVisitor.h =================================================================== --- src/Common/PassVisitor.h (revision e04aec4e705020aa2c15b21c11c741bda20cc7f3) +++ src/Common/PassVisitor.h (revision db4062dfc7318190a553c7282339cf3047457f17) @@ -125,4 +125,5 @@ virtual void visit( InitExpr * initExpr ) override final; virtual void visit( DeletedExpr * delExpr ) override final; + virtual void visit( DefaultArgExpr * argExpr ) override final; virtual void visit( GenericExpr * genExpr ) override final; @@ -224,4 +225,5 @@ virtual Expression * mutate( InitExpr * initExpr ) override final; virtual Expression * mutate( DeletedExpr * delExpr ) override final; + virtual Expression * mutate( DefaultArgExpr * argExpr ) override final; virtual Expression * mutate( GenericExpr * genExpr ) override final; @@ -258,4 +260,6 @@ private: + bool inFunction = false; + template friend void acceptAll( std::list< Declaration* > &decls, PassVisitor< pass_t >& visitor ); template friend void mutateAll( std::list< Declaration* > &decls, PassVisitor< pass_t >& visitor ); Index: src/Common/PassVisitor.impl.h =================================================================== --- src/Common/PassVisitor.impl.h (revision e04aec4e705020aa2c15b21c11c741bda20cc7f3) +++ src/Common/PassVisitor.impl.h (revision db4062dfc7318190a553c7282339cf3047457f17) @@ -404,4 +404,8 @@ indexerAddId( &func ); maybeAccept_impl( node->type, *this ); + // function body needs to have the same scope as parameters - CompoundStmt will not enter + // a new scope if inFunction is true + ValueGuard< bool > oldInFunction( inFunction ); + inFunction = true; maybeAccept_impl( node->statements, *this ); maybeAccept_impl( node->attributes, *this ); @@ -434,4 +438,8 @@ indexerAddId( &func ); maybeMutate_impl( node->type, *this ); + // function body needs to have the same scope as parameters - CompoundStmt will not enter + // a new scope if inFunction is true + ValueGuard< bool > oldInFunction( inFunction ); + inFunction = true; maybeMutate_impl( node->statements, *this ); maybeMutate_impl( node->attributes, *this ); @@ -712,6 +720,9 @@ VISIT_START( node ); { - auto guard1 = makeFuncGuard( [this]() { indexerScopeEnter(); }, [this]() { indexerScopeLeave(); } ); + // do not enter a new scope if inFunction is true - needs to check old state before the assignment + ValueGuard< bool > oldInFunction( inFunction ); + auto guard1 = makeFuncGuard( [this, &oldInFunction]() { if ( ! oldInFunction.old ) indexerScopeEnter(); }, [this, &oldInFunction]() { if ( ! oldInFunction.old ) indexerScopeLeave(); } ); auto guard2 = makeFuncGuard( [this]() { call_beginScope(); }, [this]() { call_endScope(); } ); + inFunction = false; visitStatementList( node->kids ); } @@ -723,6 +734,9 @@ MUTATE_START( node ); { - auto guard1 = makeFuncGuard( [this]() { indexerScopeEnter(); }, [this]() { indexerScopeLeave(); } ); + // do not enter a new scope if inFunction is true - needs to check old state before the assignment + ValueGuard< bool > oldInFunction( inFunction ); + auto guard1 = makeFuncGuard( [this, &oldInFunction]() { if ( ! oldInFunction.old ) indexerScopeEnter(); }, [this, &oldInFunction]() { if ( ! oldInFunction.old ) indexerScopeLeave(); } ); auto guard2 = makeFuncGuard( [this]() { call_beginScope(); }, [this]() { call_endScope(); } ); + inFunction = false; mutateStatementList( node->kids ); } @@ -2084,4 +2098,27 @@ //-------------------------------------------------------------------------- +// DefaultArgExpr +template< typename pass_type > +void PassVisitor< pass_type >::visit( DefaultArgExpr * node ) { + VISIT_START( node ); + + indexerScopedAccept( node->result, *this ); + maybeAccept_impl( node->expr, *this ); + + VISIT_END( node ); +} + +template< typename pass_type > +Expression * PassVisitor< pass_type >::mutate( DefaultArgExpr * node ) { + MUTATE_START( node ); + + indexerScopedMutate( node->env, *this ); + indexerScopedMutate( node->result, *this ); + maybeMutate_impl( node->expr, *this ); + + MUTATE_END( Expression, node ); +} + +//-------------------------------------------------------------------------- // GenericExpr template< typename pass_type > Index: src/GenPoly/Lvalue.cc =================================================================== --- src/GenPoly/Lvalue.cc (revision e04aec4e705020aa2c15b21c11c741bda20cc7f3) +++ src/GenPoly/Lvalue.cc (revision db4062dfc7318190a553c7282339cf3047457f17) @@ -146,16 +146,14 @@ namespace { - // true for intrinsic function calls that return a reference + // true for intrinsic function calls that return an lvalue in C bool isIntrinsicReference( Expression * expr ) { + // known intrinsic-reference prelude functions + static std::set lvalueFunctions = { "*?", "?[?]" }; if ( UntypedExpr * untyped = dynamic_cast< UntypedExpr * >( expr ) ) { std::string fname = InitTweak::getFunctionName( untyped ); - // known intrinsic-reference prelude functions - return fname == "*?" || fname == "?[?]"; + return lvalueFunctions.count(fname); } else if ( ApplicationExpr * appExpr = dynamic_cast< ApplicationExpr * > ( expr ) ) { if ( DeclarationWithType * func = InitTweak::getFunction( appExpr ) ) { - // use type of return variable rather than expr result type, since it may have been changed to a pointer type - FunctionType * ftype = GenPoly::getFunctionType( func->get_type() ); - Type * ret = ftype->returnVals.empty() ? nullptr : ftype->returnVals.front()->get_type(); - return func->linkage == LinkageSpec::Intrinsic && dynamic_cast( ret ); + return func->linkage == LinkageSpec::Intrinsic && lvalueFunctions.count(func->name); } } @@ -212,5 +210,5 @@ // TODO: it's likely that the second condition should be ... && ! isIntrinsicReference( arg ), but this requires investigation. - if ( function->get_linkage() != LinkageSpec::Intrinsic && isIntrinsicReference( arg ) ) { + if ( function->linkage != LinkageSpec::Intrinsic && isIntrinsicReference( arg ) ) { // needed for definition of prelude functions, etc. // if argument is dereference or array subscript, the result isn't REALLY a reference, but non-intrinsic functions expect a reference: take address @@ -228,5 +226,5 @@ arg = new AddressExpr( arg ); // } else if ( function->get_linkage() == LinkageSpec::Intrinsic && InitTweak::getPointerBase( arg->result ) ) { - } else if ( function->get_linkage() == LinkageSpec::Intrinsic && arg->result->referenceDepth() != 0 ) { + } else if ( function->linkage == LinkageSpec::Intrinsic && arg->result->referenceDepth() != 0 ) { // argument is a 'real' reference, but function expects a C lvalue: add a dereference to the reference-typed argument PRINT( Index: src/ResolvExpr/AlternativeFinder.cc =================================================================== --- src/ResolvExpr/AlternativeFinder.cc (revision e04aec4e705020aa2c15b21c11c741bda20cc7f3) +++ src/ResolvExpr/AlternativeFinder.cc (revision db4062dfc7318190a553c7282339cf3047457f17) @@ -176,8 +176,18 @@ selected[ mangleName ] = current; } else if ( candidate->cost == mapPlace->second.candidate->cost ) { - PRINT( - std::cerr << "marking ambiguous" << std::endl; - ) - mapPlace->second.isAmbiguous = true; + // if one of the candidates contains a deleted identifier, can pick the other, since + // deleted expressions should not be ambiguous if there is another option that is at least as good + if ( findDeletedExpr( candidate->expr ) ) { + // do nothing + PRINT( std::cerr << "candidate is deleted" << std::endl; ) + } else if ( findDeletedExpr( mapPlace->second.candidate->expr ) ) { + PRINT( std::cerr << "current is deleted" << std::endl; ) + selected[ mangleName ] = current; + } else { + PRINT( + std::cerr << "marking ambiguous" << std::endl; + ) + mapPlace->second.isAmbiguous = true; + } } else { PRINT( @@ -335,22 +345,9 @@ if ( ConstantExpr * constantExpr = dynamic_cast< ConstantExpr * >( member ) ) { // get the value of the constant expression as an int, must be between 0 and the length of the tuple type to have meaning - // xxx - this should be improved by memoizing the value of constant exprs - // during parsing and reusing that information here. - std::stringstream ss( constantExpr->get_constant()->get_value() ); - int val = 0; + auto val = constantExpr->intValue(); std::string tmp; - if ( ss >> val && ! (ss >> tmp) ) { - if ( val >= 0 && (unsigned int)val < tupleType->size() ) { - alternatives.push_back( Alternative( new TupleIndexExpr( expr->clone(), val ), env, newCost ) ); - } // if + if ( val >= 0 && (unsigned long long)val < tupleType->size() ) { + alternatives.push_back( Alternative( new TupleIndexExpr( expr->clone(), val ), env, newCost ) ); } // if - } else if ( NameExpr * nameExpr = dynamic_cast< NameExpr * >( member ) ) { - // xxx - temporary hack until 0/1 are int constants - if ( nameExpr->get_name() == "0" || nameExpr->get_name() == "1" ) { - std::stringstream ss( nameExpr->get_name() ); - int val; - ss >> val; - alternatives.push_back( Alternative( new TupleIndexExpr( expr->clone(), val ), env, newCost ) ); - } } // if } @@ -439,4 +436,11 @@ return Cost::infinity; } + } + if ( DefaultArgExpr * def = dynamic_cast< DefaultArgExpr * >( *actualExpr ) ) { + // default arguments should be free - don't include conversion cost. + // Unwrap them here because they are not relevant to the rest of the system. + *actualExpr = def->expr; + ++formal; + continue; } Type * formalType = (*formal)->get_type(); @@ -611,6 +615,8 @@ ConstantExpr* getDefaultValue( Initializer* init ) { if ( SingleInit* si = dynamic_cast( init ) ) { - if ( CastExpr* ce = dynamic_cast( si->get_value() ) ) { - return dynamic_cast( ce->get_arg() ); + if ( CastExpr* ce = dynamic_cast( si->value ) ) { + return dynamic_cast( ce->arg ); + } else { + return dynamic_cast( si->value ); } } @@ -873,5 +879,5 @@ indexer ) ) { results.emplace_back( - i, cnstExpr, move(env), move(need), move(have), + i, new DefaultArgExpr( cnstExpr ), move(env), move(need), move(have), move(openVars), nextArg, nTuples ); } @@ -1065,4 +1071,5 @@ funcFinder.findWithAdjustment( untypedExpr->function ); // if there are no function alternatives, then proceeding is a waste of time. + // xxx - findWithAdjustment throws, so this check and others like it shouldn't be necessary. if ( funcFinder.alternatives.empty() ) return; Index: src/ResolvExpr/Resolver.h =================================================================== --- src/ResolvExpr/Resolver.h (revision e04aec4e705020aa2c15b21c11c741bda20cc7f3) +++ src/ResolvExpr/Resolver.h (revision db4062dfc7318190a553c7282339cf3047457f17) @@ -36,4 +36,6 @@ void resolveCtorInit( ConstructorInit * ctorInit, const SymTab::Indexer & indexer ); void resolveStmtExpr( StmtExpr * stmtExpr, const SymTab::Indexer & indexer ); + /// Searches expr and returns the first DeletedExpr found, otherwise nullptr + DeletedExpr * findDeletedExpr( Expression * expr ); } // namespace ResolvExpr Index: src/SymTab/Indexer.cc =================================================================== --- src/SymTab/Indexer.cc (revision e04aec4e705020aa2c15b21c11c741bda20cc7f3) +++ src/SymTab/Indexer.cc (revision db4062dfc7318190a553c7282339cf3047457f17) @@ -126,5 +126,5 @@ decls.push_back( DeclBall{ data, isUserDefinedFunc, isCopyFunc } ); existsUserDefinedCopyFunc = existsUserDefinedCopyFunc || (isUserDefinedFunc && isCopyFunc); - if ( isUserDefinedFunc && ! data.deleteStmt ) { + if ( isUserDefinedFunc && ! deleteStmt ) { // any user-defined function can act as an implicit delete statement for generated constructors. // a delete stmt should not act as an implicit delete statement. @@ -166,9 +166,19 @@ bool isCopyFunc = ball.isCopyFunc; bool existsUserDefinedCopyFunc = val.existsUserDefinedCopyFunc; - // only implicitly delete non-user defined functions that are not intrinsic, and are - // not copy functions (assignment or copy constructor), unless a user-defined copy function exists. - // deleteStmt will be non-null only if a user-defined function is found. - if (isNotUserDefinedFunc && (! isCopyFunc || existsUserDefinedCopyFunc)) { - ball.decl.deleteStmt = val.deleteStmt; + + // only implicitly delete non-user defined functions that are not intrinsic, and are + // not copy functions (assignment or copy constructor). If a user-defined copy function exists, + // do not pass along the non-user-defined copy functions since signatures do not have to match, + // and the generated functions will often be cheaper. + if ( isNotUserDefinedFunc ) { + if ( isCopyFunc ) { + // Skip over non-user-defined copy functions when there is a user-defined copy function. + // Since their signatures do not have to be exact, deleting them is the wrong choice. + if ( existsUserDefinedCopyFunc ) continue; + } else { + // delete non-user-defined non-copy functions if applicable. + // deleteStmt will be non-null only if a user-defined function is found. + ball.decl.deleteStmt = val.deleteStmt; + } } out.push_back( ball.decl ); Index: src/SynTree/Expression.cc =================================================================== --- src/SynTree/Expression.cc (revision e04aec4e705020aa2c15b21c11c741bda20cc7f3) +++ src/SynTree/Expression.cc (revision db4062dfc7318190a553c7282339cf3047457f17) @@ -746,4 +746,19 @@ os << std::endl << indent+1 << "... deleted by: "; deleteStmt->print( os, indent+1 ); +} + + +DefaultArgExpr::DefaultArgExpr( Expression * expr ) : expr( expr ) { + assert( expr->result ); + result = expr->result->clone(); +} +DefaultArgExpr::DefaultArgExpr( const DefaultArgExpr & other ) : Expression( other ), expr( maybeClone( other.expr ) ) {} +DefaultArgExpr::~DefaultArgExpr() { + delete expr; +} + +void DefaultArgExpr::print( std::ostream & os, Indenter indent ) const { + os << "Default Argument Expression" << std::endl << indent+1; + expr->print( os, indent+1 ); } Index: src/SynTree/Expression.h =================================================================== --- src/SynTree/Expression.h (revision e04aec4e705020aa2c15b21c11c741bda20cc7f3) +++ src/SynTree/Expression.h (revision db4062dfc7318190a553c7282339cf3047457f17) @@ -865,4 +865,19 @@ }; +/// expression wrapping the use of a default argument - should never make it past the resolver. +class DefaultArgExpr : public Expression { +public: + Expression * expr; + + DefaultArgExpr( Expression * expr ); + DefaultArgExpr( const DefaultArgExpr & other ); + ~DefaultArgExpr(); + + virtual DefaultArgExpr * clone() const { return new DefaultArgExpr( * this ); } + virtual void accept( Visitor & v ) { v.visit( this ); } + virtual Expression * acceptMutator( Mutator & m ) { return m.mutate( this ); } + virtual void print( std::ostream & os, Indenter indent = {} ) const; +}; + /// C11 _Generic expression class GenericExpr : public Expression { Index: src/SynTree/Mutator.h =================================================================== --- src/SynTree/Mutator.h (revision e04aec4e705020aa2c15b21c11c741bda20cc7f3) +++ src/SynTree/Mutator.h (revision db4062dfc7318190a553c7282339cf3047457f17) @@ -93,4 +93,5 @@ virtual Expression * mutate( InitExpr * initExpr ) = 0; virtual Expression * mutate( DeletedExpr * delExpr ) = 0; + virtual Expression * mutate( DefaultArgExpr * argExpr ) = 0; virtual Expression * mutate( GenericExpr * genExpr ) = 0; Index: src/SynTree/SynTree.h =================================================================== --- src/SynTree/SynTree.h (revision e04aec4e705020aa2c15b21c11c741bda20cc7f3) +++ src/SynTree/SynTree.h (revision db4062dfc7318190a553c7282339cf3047457f17) @@ -101,4 +101,5 @@ class InitExpr; class DeletedExpr; +class DefaultArgExpr; class GenericExpr; Index: src/SynTree/Visitor.h =================================================================== --- src/SynTree/Visitor.h (revision e04aec4e705020aa2c15b21c11c741bda20cc7f3) +++ src/SynTree/Visitor.h (revision db4062dfc7318190a553c7282339cf3047457f17) @@ -95,4 +95,5 @@ virtual void visit( InitExpr * initExpr ) = 0; virtual void visit( DeletedExpr * delExpr ) = 0; + virtual void visit( DefaultArgExpr * argExpr ) = 0; virtual void visit( GenericExpr * genExpr ) = 0; Index: src/tests/.gitignore =================================================================== --- src/tests/.gitignore (revision e04aec4e705020aa2c15b21c11c741bda20cc7f3) +++ src/tests/.gitignore (revision db4062dfc7318190a553c7282339cf3047457f17) @@ -1,2 +1,3 @@ .out/ .err/ +.type Index: src/tests/Makefile.am =================================================================== --- src/tests/Makefile.am (revision e04aec4e705020aa2c15b21c11c741bda20cc7f3) +++ src/tests/Makefile.am (revision db4062dfc7318190a553c7282339cf3047457f17) @@ -28,5 +28,5 @@ DEBUG_FLAGS = -BUILD_FLAGS = -g -Wall -Wno-unused-function -quiet @CFA_FLAGS@ +BUILD_FLAGS = -g -Wall -Wno-unused-function -quiet @CFA_FLAGS@ -I. if !BUILD_DEBUG BUILD_FLAGS += -nodebug Index: src/tests/Makefile.in =================================================================== --- src/tests/Makefile.in (revision e04aec4e705020aa2c15b21c11c741bda20cc7f3) +++ src/tests/Makefile.in (revision db4062dfc7318190a553c7282339cf3047457f17) @@ -309,5 +309,5 @@ # applies to both programs DEBUG_FLAGS = -BUILD_FLAGS = -g -Wall -Wno-unused-function -quiet @CFA_FLAGS@ \ +BUILD_FLAGS = -g -Wall -Wno-unused-function -quiet @CFA_FLAGS@ -I. \ $(am__append_1) $(am__append_2) $(am__append_3) TEST_FLAGS = $(if $(test), 2> $(test), ) Index: src/tests/concurrent/coroutineYield.c =================================================================== --- src/tests/concurrent/coroutineYield.c (revision e04aec4e705020aa2c15b21c11c741bda20cc7f3) +++ src/tests/concurrent/coroutineYield.c (revision db4062dfc7318190a553c7282339cf3047457f17) @@ -4,4 +4,7 @@ #include #include