diff options
author | wanabe <s.wanabe@gmail.com> | 2019-10-25 04:40:39 +0900 |
---|---|---|
committer | Koichi Sasada <ko1@atdot.net> | 2019-10-25 04:40:39 +0900 |
commit | 4ff2c58f919153b9a47f69f855a0b9d2bb0e0bbe (patch) | |
tree | 04b08b1dee23fb5073ba69ae851101dd1c69e32b /vm_insnhelper.c | |
parent | 58b363bf0d1f31ae9bcbaf301f9abedb99fa90f6 (diff) |
retry tailcall optimization (#2529)
Sorry, f62f90367fc3bce6714e7c34cbd040e14e43fe07 is push miss.
Diffstat (limited to 'vm_insnhelper.c')
-rw-r--r-- | vm_insnhelper.c | 37 |
1 files changed, 34 insertions, 3 deletions
diff --git a/vm_insnhelper.c b/vm_insnhelper.c index c72ad6e9d7..d815891bca 100644 --- a/vm_insnhelper.c +++ b/vm_insnhelper.c @@ -1871,6 +1871,30 @@ vm_call_iseq_setup_normal_opt_start(rb_execution_context_t *ec, rb_control_frame return vm_call_iseq_setup_normal(ec, cfp, calling, cc->me, opt_pc, param - delta, local); } +static VALUE +vm_call_iseq_setup_tailcall_opt_start(rb_execution_context_t *ec, rb_control_frame_t *cfp, + struct rb_calling_info *calling, + const struct rb_call_info *ci, struct rb_call_cache *cc) +{ + const rb_iseq_t *iseq = def_iseq_ptr(cc->me->def); + const int lead_num = iseq->body->param.lead_num; + const int opt = calling->argc - lead_num; + const int opt_pc = (int)iseq->body->param.opt_table[opt]; + + RB_DEBUG_COUNTER_INC(ccf_iseq_opt); + +#if USE_OPT_HIST + if (opt_pc < OPT_HIST_MAX) { + opt_hist[opt]++; + } + else { + opt_hist[OPT_HIST_MAX]++; + } +#endif + + return vm_call_iseq_setup_tailcall(ec, cfp, calling, ci, cc, opt_pc); +} + static void args_setup_kw_parameters(rb_execution_context_t *const ec, const rb_iseq_t *const iseq, VALUE *const passed_values, const int passed_keyword_len, const VALUE *const passed_keywords, @@ -1957,9 +1981,16 @@ vm_callee_setup_arg(rb_execution_context_t *ec, struct rb_calling_info *calling, argument_arity_error(ec, iseq, argc, lead_num, lead_num + opt_num); } - CC_SET_FASTPATH(cc, vm_call_iseq_setup_normal_opt_start, - !IS_ARGS_SPLAT(ci) && !IS_ARGS_KEYWORD(ci) && - !(METHOD_ENTRY_VISI(cc->me) == METHOD_VISI_PROTECTED)); + if (LIKELY(!(ci->flag & VM_CALL_TAILCALL))) { + CC_SET_FASTPATH(cc, vm_call_iseq_setup_normal_opt_start, + !IS_ARGS_SPLAT(ci) && !IS_ARGS_KEYWORD(ci) && + !(METHOD_ENTRY_VISI(cc->me) == METHOD_VISI_PROTECTED)); + } + else { + CC_SET_FASTPATH(cc, vm_call_iseq_setup_tailcall_opt_start, + !IS_ARGS_SPLAT(ci) && !IS_ARGS_KEYWORD(ci) && + !(METHOD_ENTRY_VISI(cc->me) == METHOD_VISI_PROTECTED)); + } /* initialize opt vars for self-references */ VM_ASSERT((int)iseq->body->param.size == lead_num + opt_num); |