diff options
Diffstat (limited to 'src/backend/jit/jit.c')
| -rw-r--r-- | src/backend/jit/jit.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/backend/jit/jit.c b/src/backend/jit/jit.c index 7d3883d3bf4..5d1f2e57be1 100644 --- a/src/backend/jit/jit.c +++ b/src/backend/jit/jit.c @@ -182,6 +182,17 @@ jit_compile_expr(struct ExprState *state) return false; } +/* Aggregate JIT instrumentation information */ +void +InstrJitAgg(JitInstrumentation *dst, JitInstrumentation *add) +{ + dst->created_functions += add->created_functions; + INSTR_TIME_ADD(dst->generation_counter, add->generation_counter); + INSTR_TIME_ADD(dst->inlining_counter, add->inlining_counter); + INSTR_TIME_ADD(dst->optimization_counter, add->optimization_counter); + INSTR_TIME_ADD(dst->emission_counter, add->emission_counter); +} + static bool file_exists(const char *name) { |