Commit 82fccc6a authored by Kevin Modzelewski's avatar Kevin Modzelewski

Try making rearrangeArgs not a template

My hunch is that code density is more important than avoiding
ome of the `if (rewrite_args)` checks.

Also add some hacks to get rid of the func-name-getter-as-lambda,
so we don't need to templatize on that either.

Results of this commit are kind of mixed:

       django_template3_10x.py            13.6s (2)            13.8s (2)  +1.4%
 sqlalchemy_imperative2_10x.py            18.8s (2)            19.0s (2)  +1.2%
            pyxl_bench2_10x.py            10.7s (2)            10.1s (2)  -5.1%
                       geomean                14.0s                13.8s  -0.9%
parent 6e7da64d
...@@ -4032,10 +4032,34 @@ static llvm::StringRef getFunctionName(FunctionMetadata* f) { ...@@ -4032,10 +4032,34 @@ static llvm::StringRef getFunctionName(FunctionMetadata* f) {
return "<unknown function>"; return "<unknown function>";
} }
template <typename FuncNameCB> // A hacky little class that lets us save on some parameter size.
// We want to pass enough information to rearrangeArgumentsAndCallInternal so that
// it knows how to get the function name when it needs to (only when an exception is thrown),
// and there are a couple different ways that it might need to do that. So we pass through this
// class that steals some bits from the pointers.
class FuncNameGetter {
private:
uint64_t data;
// Can't be the lsb since a const char* is only 1-byte aligned.
static constexpr uint64_t BIT = (1L << 63);
public:
FuncNameGetter(const char* name) : data((uint64_t)name) { assert(!(data & BIT)); }
FuncNameGetter(FunctionMetadata* md) : data(((uint64_t)md) ^ BIT) { assert(data & BIT); }
const char* operator()() {
if (data & BIT) {
FunctionMetadata* md = (FunctionMetadata*)(data ^ BIT);
return getFunctionName(md).data();
} else {
return (const char*)data;
}
}
};
static int placeKeyword(const ParamNames* param_names, llvm::SmallVector<bool, 8>& params_filled, BoxedString* kw_name, static int placeKeyword(const ParamNames* param_names, llvm::SmallVector<bool, 8>& params_filled, BoxedString* kw_name,
Box* kw_val, Box*& oarg1, Box*& oarg2, Box*& oarg3, Box** oargs, BoxedDict* okwargs, Box* kw_val, Box*& oarg1, Box*& oarg2, Box*& oarg3, Box** oargs, BoxedDict* okwargs,
FuncNameCB func_name_cb) { FuncNameGetter func_name_cb) {
assert(kw_val); assert(kw_val);
assert(kw_name); assert(kw_name);
...@@ -4120,16 +4144,10 @@ public: ...@@ -4120,16 +4144,10 @@ public:
} }
}; };
template <Rewritable rewritable, typename FuncNameCB>
Box* rearrangeArgumentsAndCallInternal(ParamReceiveSpec paramspec, const ParamNames* param_names, Box* rearrangeArgumentsAndCallInternal(ParamReceiveSpec paramspec, const ParamNames* param_names,
FuncNameCB func_name_cb, Box** defaults, CallRewriteArgs* rewrite_args, FuncNameGetter func_name_cb, Box** defaults, CallRewriteArgs* rewrite_args,
ArgPassSpec argspec, Box* arg1, Box* arg2, Box* arg3, Box** args, ArgPassSpec argspec, Box* arg1, Box* arg2, Box* arg3, Box** args,
const std::vector<BoxedString*>* keyword_names, FunctorPointer continuation) { const std::vector<BoxedString*>* keyword_names, FunctorPointer continuation) {
if (rewritable == NOT_REWRITABLE) {
assert(!rewrite_args);
rewrite_args = NULL;
}
/* /*
* Procedure: * Procedure:
* - First match up positional arguments; any extra go to varargs. error if too many. * - First match up positional arguments; any extra go to varargs. error if too many.
...@@ -4579,27 +4597,13 @@ Box* rearrangeArgumentsAndCallInternal(ParamReceiveSpec paramspec, const ParamNa ...@@ -4579,27 +4597,13 @@ Box* rearrangeArgumentsAndCallInternal(ParamReceiveSpec paramspec, const ParamNa
} }
} }
template <Rewritable rewritable>
Box* rearrangeArgumentsAndCall(ParamReceiveSpec paramspec, const ParamNames* param_names, const char* func_name, Box* rearrangeArgumentsAndCall(ParamReceiveSpec paramspec, const ParamNames* param_names, const char* func_name,
Box** defaults, CallRewriteArgs* rewrite_args, ArgPassSpec argspec, Box* arg1, Box* arg2, Box** defaults, CallRewriteArgs* rewrite_args, ArgPassSpec argspec, Box* arg1, Box* arg2,
Box* arg3, Box** args, const std::vector<BoxedString*>* keyword_names, Box* arg3, Box** args, const std::vector<BoxedString*>* keyword_names,
FunctorPointer continuation) { FunctorPointer continuation) {
auto func = [func_name]() { return func_name; }; return rearrangeArgumentsAndCallInternal(paramspec, param_names, func_name, defaults, rewrite_args, argspec, arg1,
return rearrangeArgumentsAndCallInternal<rewritable>(paramspec, param_names, func, defaults, rewrite_args, argspec, arg2, arg3, args, keyword_names, continuation);
arg1, arg2, arg3, args, keyword_names, continuation); }
}
template Box* rearrangeArgumentsAndCall<REWRITABLE>(ParamReceiveSpec paramspec, const ParamNames* param_names,
const char* func_name, Box** defaults,
CallRewriteArgs* rewrite_args, ArgPassSpec argspec, Box* arg1,
Box* arg2, Box* arg3, Box** args,
const std::vector<BoxedString*>* keyword_names,
FunctorPointer continuation);
template Box* rearrangeArgumentsAndCall<NOT_REWRITABLE>(ParamReceiveSpec paramspec, const ParamNames* param_names,
const char* func_name, Box** defaults,
CallRewriteArgs* rewrite_args, ArgPassSpec argspec, Box* arg1,
Box* arg2, Box* arg3, Box** args,
const std::vector<BoxedString*>* keyword_names,
FunctorPointer continuation);
static StatCounter slowpath_callfunc("slowpath_callfunc"); static StatCounter slowpath_callfunc("slowpath_callfunc");
template <ExceptionStyle S, Rewritable rewritable> template <ExceptionStyle S, Rewritable rewritable>
...@@ -4669,11 +4673,10 @@ Box* callFunc(BoxedFunctionBase* func, CallRewriteArgs* rewrite_args, ArgPassSpe ...@@ -4669,11 +4673,10 @@ Box* callFunc(BoxedFunctionBase* func, CallRewriteArgs* rewrite_args, ArgPassSpe
return res; return res;
}; };
auto func_name_cb = [md]() { return getFunctionName(md).data(); };
Box* r = callCXXFromStyle<S>([&] { Box* r = callCXXFromStyle<S>([&] {
return rearrangeArgumentsAndCallInternal<rewritable>( return rearrangeArgumentsAndCallInternal(paramspec, &md->param_names, md,
paramspec, &md->param_names, func_name_cb, paramspec.num_defaults ? func->defaults->elts : NULL, paramspec.num_defaults ? func->defaults->elts : NULL, rewrite_args,
rewrite_args, argspec, arg1, arg2, arg3, args, keyword_names, continuation); argspec, arg1, arg2, arg3, args, keyword_names, continuation);
}); });
if (S == CAPI && !r) if (S == CAPI && !r)
return NULL; return NULL;
......
...@@ -333,7 +333,6 @@ public: ...@@ -333,7 +333,6 @@ public:
// rearrangeArgumentsAndCall supports both CAPI- and CXX- exception styles for continuation, and will propagate them // rearrangeArgumentsAndCall supports both CAPI- and CXX- exception styles for continuation, and will propagate them
// back to the caller. For now, it can also throw its own exceptions such as "not enough arguments", and will throw // back to the caller. For now, it can also throw its own exceptions such as "not enough arguments", and will throw
// them in the CXX style. // them in the CXX style.
template <Rewritable rewritable = REWRITABLE>
Box* rearrangeArgumentsAndCall(ParamReceiveSpec paramspec, const ParamNames* param_names, const char* func_name, Box* rearrangeArgumentsAndCall(ParamReceiveSpec paramspec, const ParamNames* param_names, const char* func_name,
Box** defaults, CallRewriteArgs* rewrite_args, ArgPassSpec argspec, Box* arg1, Box* arg2, Box** defaults, CallRewriteArgs* rewrite_args, ArgPassSpec argspec, Box* arg1, Box* arg2,
Box* arg3, Box** args, const std::vector<BoxedString*>* keyword_names, Box* arg3, Box** args, const std::vector<BoxedString*>* keyword_names,
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment