Evaluate arguments of correlated SubPlans in the referencing ExprState
authorAndres Freund <andres@anarazel.de>
Thu, 1 Aug 2024 01:11:49 +0000 (18:11 -0700)
committerAndres Freund <andres@anarazel.de>
Thu, 1 Aug 2024 02:54:46 +0000 (19:54 -0700)
commita7f107df2b700c859e4d9ad2ca66b07a465d6223
tree2376a6316c7c1826a5c7a77136a9d86c8808ac37
parente6a9637488e2673efb87f8ead657789e9889fb17
Evaluate arguments of correlated SubPlans in the referencing ExprState

Until now we generated an ExprState for each parameter to a SubPlan and
evaluated them one-by-one ExecScanSubPlan. That's sub-optimal as creating lots
of small ExprStates
a) makes JIT compilation more expensive
b) wastes memory
c) is a bit slower to execute

This commit arranges to evaluate parameters to a SubPlan as part of the
ExprState referencing a SubPlan, using the new EEOP_PARAM_SET expression
step. We emit one EEOP_PARAM_SET for each argument to a subplan, just before
the EEOP_SUBPLAN step.

It likely is worth using EEOP_PARAM_SET in other places as well, e.g. for
SubPlan outputs, nestloop parameters and - more ambitiously - to get rid of
ExprContext->domainValue/caseValue/ecxt_agg*.  But that's for later.

Author: Andres Freund <andres@anarazel.de>
Reviewed-by: Tom Lane <tgl@sss.pgh.pa.us>
Reviewed-by: Alena Rybakina <lena.ribackina@yandex.ru>
Discussion: https://postgr.es/m/20230225214401.346ancgjqc3zmvek@awork3.anarazel.de
src/backend/executor/execExpr.c
src/backend/executor/execExprInterp.c
src/backend/executor/execProcnode.c
src/backend/executor/nodeSubplan.c
src/backend/jit/llvm/llvmjit_expr.c
src/backend/jit/llvm/llvmjit_types.c
src/include/executor/execExpr.h
src/include/nodes/execnodes.h