Changeset a22d148

Timestamp:

Feb 7, 2024, 5:13:03 PM (10 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

211def2

Parents:

d63746f (diff), dacd2c19 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

Location:

src

Files:

• GenPoly/Box.cpp (modified) (10 diffs)
• main.cc (modified) (1 diff)

src/GenPoly/Box.cpp

@@ -366 +366 @@
 
         /// Passes extra layout arguments for sized polymorphic type parameters.
-        ast::vector<ast::Expr>::iterator passTypeVars(
+        void passTypeVars(
                 ast::ApplicationExpr * expr,
+                ast::vector<ast::Expr> & extraArgs,
                 ast::FunctionType const * funcType );
         /// Wraps a function application with a new temporary for the
@@ -387 +388 @@
         /// parameter list. arg should point into expr's argument list.
         void boxParams(
-                ast::ApplicationExpr const * expr,
-                ast::vector<ast::Expr>::iterator arg,
+                ast::ApplicationExpr * expr,
+                ast::Type const * polyRetType,
                 ast::FunctionType const * function,
                 const TypeVarMap & typeVars );
@@ -395 +396 @@
         void addInferredParams(
                 ast::ApplicationExpr * expr,
-                ast::vector<ast::Expr>::iterator arg,
+                ast::vector<ast::Expr> & extraArgs,
                 ast::FunctionType const * functionType,
                 const TypeVarMap & typeVars );
@@ -636 +637 @@
         ast::Expr const * ret = expr;
 
-        // TODO: This entire section should probably be refactored to do less
-        // pushing to the front/middle of a vector.
-        ptrdiff_t initArgCount = mutExpr->args.size();
-
         TypeVarMap exprTypeVars;
         makeTypeVarMap( function, exprTypeVars );
@@ -662 +659 @@
         }
 
-        assert( typeSubs );
-        ast::vector<ast::Expr>::iterator argIt =
-                passTypeVars( mutExpr, function );
-        addInferredParams( mutExpr, argIt, function, exprTypeVars );
-
-        argIt = mutExpr->args.begin();
-        std::advance( argIt, ( mutExpr->args.size() - initArgCount ) );
-
-        boxParams( mutExpr, argIt, function, exprTypeVars );
+        ast::vector<ast::Expr> prependArgs;
+        passTypeVars( mutExpr, prependArgs, function );
+        addInferredParams( mutExpr, prependArgs, function, exprTypeVars );
+
+        boxParams( mutExpr, dynRetType, function, exprTypeVars );
+        spliceBegin( mutExpr->args, prependArgs );
         passAdapters( mutExpr, function, exprTypeVars );
 
@@ -766 +760 @@
 }
 
-ast::vector<ast::Expr>::iterator CallAdapter::passTypeVars(
+void CallAdapter::passTypeVars(
                 ast::ApplicationExpr * expr,
+                ast::vector<ast::Expr> & extraArgs,
                 ast::FunctionType const * function ) {
         assert( typeSubs );
-        ast::vector<ast::Expr>::iterator arg = expr->args.begin();
         // Pass size/align for type variables.
         for ( ast::ptr<ast::TypeInstType> const & typeVar : function->forall ) {
@@ -780 +774 @@
                                                    toString( typeSubs ).c_str(), typeVar->typeString().c_str() );
                 }
-                arg = expr->args.insert( arg,
+                extraArgs.emplace_back(
                         new ast::SizeofExpr( expr->location, ast::deepCopy( concrete ) ) );
-                arg++;
-                arg = expr->args.insert( arg,
+                extraArgs.emplace_back(
                         new ast::AlignofExpr( expr->location, ast::deepCopy( concrete ) ) );
-                arg++;
-        }
-        return arg;
+        }
 }
 
@@ -913 +904 @@
 
 void CallAdapter::boxParams(
-                ast::ApplicationExpr const * expr,
-                ast::vector<ast::Expr>::iterator arg,
+                ast::ApplicationExpr * expr,
+                ast::Type const * polyRetType,
                 ast::FunctionType const * function,
                 const TypeVarMap & typeVars ) {
+        // Start at the beginning, but the return argument may have been added.
+        auto arg = expr->args.begin();
+        if ( polyRetType ) ++arg;
+
         for ( auto param : function->params ) {
                 assertf( arg != expr->args.end(),
@@ -928 +923 @@
 void CallAdapter::addInferredParams(
                 ast::ApplicationExpr * expr,
-                ast::vector<ast::Expr>::iterator arg,
+                ast::vector<ast::Expr> & extraArgs,
                 ast::FunctionType const * functionType,
                 TypeVarMap const & typeVars ) {
-        ast::vector<ast::Expr>::iterator cur = arg;
         for ( auto assertion : functionType->assertions ) {
                 auto inferParam = expr->inferred.inferParams().find(
@@ -940 +934 @@
                 ast::ptr<ast::Expr> newExpr = ast::deepCopy( inferParam->second.expr );
                 boxParam( newExpr, assertion->result, typeVars );
-                cur = expr->args.insert( cur, newExpr.release() );
-                ++cur;
+                extraArgs.emplace_back( newExpr.release() );
         }
 }

src/main.cc

@@ -181 +181 @@
 
 static void _Signal(struct sigaction & act, int sig, int flags ) {
+        sigemptyset( &act.sa_mask );
         act.sa_flags = flags;