diff options
Diffstat (limited to 'vm_eval.c')
-rw-r--r-- | vm_eval.c | 1104 |
1 files changed, 603 insertions, 501 deletions
@@ -11,6 +11,7 @@ **********************************************************************/ +#include "internal/thread.h" struct local_var_list { VALUE tbl; }; @@ -20,7 +21,7 @@ static inline VALUE vm_yield_with_cref(rb_execution_context_t *ec, int argc, con static inline VALUE vm_yield(rb_execution_context_t *ec, int argc, const VALUE *argv, int kw_splat); static inline VALUE vm_yield_with_block(rb_execution_context_t *ec, int argc, const VALUE *argv, VALUE block_handler, int kw_splat); static inline VALUE vm_yield_force_blockarg(rb_execution_context_t *ec, VALUE args); -VALUE vm_exec(rb_execution_context_t *ec, bool mjit_enable_p); +VALUE vm_exec(rb_execution_context_t *ec); static void vm_set_eval_stack(rb_execution_context_t * th, const rb_iseq_t *iseq, const rb_cref_t *cref, const struct rb_block *base_block); static int vm_collect_local_variables_in_heap(const VALUE *dfp, const struct local_var_list *vars); @@ -40,24 +41,36 @@ typedef enum call_type { static VALUE send_internal(int argc, const VALUE *argv, VALUE recv, call_type scope); static VALUE vm_call0_body(rb_execution_context_t* ec, struct rb_calling_info *calling, const VALUE *argv); -#ifndef MJIT_HEADER +static VALUE * +vm_argv_ruby_array(VALUE *av, const VALUE *argv, int *flags, int *argc, int kw_splat) +{ + *flags |= VM_CALL_ARGS_SPLAT; + VALUE argv_ary = rb_ary_hidden_new(*argc); + rb_ary_cat(argv_ary, argv, *argc); + *argc = 2; + av[0] = argv_ary; + if (kw_splat) { + av[1] = rb_ary_pop(argv_ary); + } + else { + // Make sure flagged keyword hash passed as regular argument + // isn't treated as keywords + *flags |= VM_CALL_KW_SPLAT; + av[1] = rb_hash_new(); + } + return av; +} -MJIT_FUNC_EXPORTED VALUE +static inline VALUE vm_call0_cc(rb_execution_context_t *ec, VALUE recv, ID id, int argc, const VALUE *argv, const struct rb_callcache *cc, int kw_splat); + +VALUE rb_vm_call0(rb_execution_context_t *ec, VALUE recv, ID id, int argc, const VALUE *argv, const rb_callable_method_entry_t *cme, int kw_splat) { - struct rb_calling_info calling = { - .ci = &VM_CI_ON_STACK(id, kw_splat ? VM_CALL_KW_SPLAT : 0, argc, NULL), - .cc = &VM_CC_ON_STACK(Qfalse, vm_call_general, { 0 }, cme), - .block_handler = vm_passed_block_handler(ec), - .recv = recv, - .argc = argc, - .kw_splat = kw_splat, - }; - - return vm_call0_body(ec, &calling, argv); + const struct rb_callcache cc = VM_CC_ON_STACK(Qfalse, vm_call_general, {{ 0 }}, cme); + return vm_call0_cc(ec, recv, id, argc, argv, &cc, kw_splat); } -MJIT_FUNC_EXPORTED VALUE +VALUE rb_vm_call_with_refinements(rb_execution_context_t *ec, VALUE recv, ID id, int argc, const VALUE *argv, int kw_splat) { const rb_callable_method_entry_t *me = @@ -74,8 +87,19 @@ rb_vm_call_with_refinements(rb_execution_context_t *ec, VALUE recv, ID id, int a static inline VALUE vm_call0_cc(rb_execution_context_t *ec, VALUE recv, ID id, int argc, const VALUE *argv, const struct rb_callcache *cc, int kw_splat) { + int flags = kw_splat ? VM_CALL_KW_SPLAT : 0; + VALUE *use_argv = (VALUE *)argv; + VALUE av[2]; + + if (UNLIKELY(vm_cc_cme(cc)->def->type == VM_METHOD_TYPE_ISEQ && argc > VM_ARGC_STACK_MAX)) { + use_argv = vm_argv_ruby_array(av, argv, &flags, &argc, kw_splat); + } + struct rb_calling_info calling = { - .ci = &VM_CI_ON_STACK(id, kw_splat ? VM_CALL_KW_SPLAT : 0, argc, NULL), + .cd = &(struct rb_call_data) { + .ci = &VM_CI_ON_STACK(id, flags, argc, NULL), + .cc = NULL, + }, .cc = cc, .block_handler = vm_passed_block_handler(ec), .recv = recv, @@ -83,20 +107,20 @@ vm_call0_cc(rb_execution_context_t *ec, VALUE recv, ID id, int argc, const VALUE .kw_splat = kw_splat, }; - return vm_call0_body(ec, &calling, argv); + return vm_call0_body(ec, &calling, use_argv); } static VALUE vm_call0_cme(rb_execution_context_t *ec, struct rb_calling_info *calling, const VALUE *argv, const rb_callable_method_entry_t *cme) { - calling->cc = &VM_CC_ON_STACK(Qfalse, vm_call_general, { 0 }, cme); + calling->cc = &VM_CC_ON_STACK(Qfalse, vm_call_general, {{ 0 }}, cme); return vm_call0_body(ec, calling, argv); } static VALUE vm_call0_super(rb_execution_context_t *ec, struct rb_calling_info *calling, const VALUE *argv, VALUE klass, enum method_missing_reason ex) { - ID mid = vm_ci_mid(calling->ci); + ID mid = vm_ci_mid(calling->cd->ci); klass = RCLASS_SUPER(klass); if (klass) { @@ -115,7 +139,7 @@ vm_call0_super(rb_execution_context_t *ec, struct rb_calling_info *calling, cons static VALUE vm_call0_cfunc_with_frame(rb_execution_context_t* ec, struct rb_calling_info *calling, const VALUE *argv) { - const struct rb_callinfo *ci = calling->ci; + const struct rb_callinfo *ci = calling->cd->ci; VALUE val; const rb_callable_method_entry_t *me = vm_cc_cme(calling->cc); const rb_method_cfunc_t *cfunc = UNALIGNED_MEMBER_PTR(me->def, body.cfunc); @@ -138,18 +162,18 @@ vm_call0_cfunc_with_frame(rb_execution_context_t* ec, struct rb_calling_info *ca RUBY_DTRACE_CMETHOD_ENTRY_HOOK(ec, me->owner, me->def->original_id); EXEC_EVENT_HOOK(ec, RUBY_EVENT_C_CALL, recv, me->def->original_id, mid, me->owner, Qnil); { - rb_control_frame_t *reg_cfp = ec->cfp; + rb_control_frame_t *reg_cfp = ec->cfp; vm_push_frame(ec, 0, frame_flags, recv, - block_handler, (VALUE)me, - 0, reg_cfp->sp, 0, 0); + block_handler, (VALUE)me, + 0, reg_cfp->sp, 0, 0); - if (len >= 0) rb_check_arity(argc, len, len); + if (len >= 0) rb_check_arity(argc, len, len); val = (*cfunc->invoker)(recv, argc, argv, cfunc->func); - CHECK_CFP_CONSISTENCY("vm_call0_cfunc_with_frame"); - rb_vm_pop_frame(ec); + CHECK_CFP_CONSISTENCY("vm_call0_cfunc_with_frame"); + rb_vm_pop_frame(ec); } EXEC_EVENT_HOOK(ec, RUBY_EVENT_C_RETURN, recv, me->def->original_id, mid, me->owner, val); RUBY_DTRACE_CMETHOD_RETURN_HOOK(ec, me->owner, me->def->original_id); @@ -180,7 +204,7 @@ vm_call_check_arity(struct rb_calling_info *calling, int argc, const VALUE *argv static VALUE vm_call0_body(rb_execution_context_t *ec, struct rb_calling_info *calling, const VALUE *argv) { - const struct rb_callinfo *ci = calling->ci; + const struct rb_callinfo *ci = calling->cd->ci; const struct rb_callcache *cc = calling->cc; VALUE ret; @@ -188,48 +212,48 @@ vm_call0_body(rb_execution_context_t *ec, struct rb_calling_info *calling, const switch (vm_cc_cme(cc)->def->type) { case VM_METHOD_TYPE_ISEQ: - { - rb_control_frame_t *reg_cfp = ec->cfp; - int i; + { + rb_control_frame_t *reg_cfp = ec->cfp; + int i; - CHECK_VM_STACK_OVERFLOW(reg_cfp, calling->argc + 1); + CHECK_VM_STACK_OVERFLOW(reg_cfp, calling->argc + 1); vm_check_canary(ec, reg_cfp->sp); - *reg_cfp->sp++ = calling->recv; - for (i = 0; i < calling->argc; i++) { - *reg_cfp->sp++ = argv[i]; - } + *reg_cfp->sp++ = calling->recv; + for (i = 0; i < calling->argc; i++) { + *reg_cfp->sp++ = argv[i]; + } vm_call_iseq_setup(ec, reg_cfp, calling); - VM_ENV_FLAGS_SET(ec->cfp->ep, VM_FRAME_FLAG_FINISH); - return vm_exec(ec, true); /* CHECK_INTS in this function */ - } + VM_ENV_FLAGS_SET(ec->cfp->ep, VM_FRAME_FLAG_FINISH); + return vm_exec(ec); // CHECK_INTS in this function + } case VM_METHOD_TYPE_NOTIMPLEMENTED: case VM_METHOD_TYPE_CFUNC: ret = vm_call0_cfunc(ec, calling, argv); - goto success; + goto success; case VM_METHOD_TYPE_ATTRSET: vm_call_check_arity(calling, 1, argv); VM_CALL_METHOD_ATTR(ret, rb_ivar_set(calling->recv, vm_cc_cme(cc)->def->body.attr.id, argv[0]), (void)0); - goto success; + goto success; case VM_METHOD_TYPE_IVAR: vm_call_check_arity(calling, 0, argv); VM_CALL_METHOD_ATTR(ret, rb_attr_get(calling->recv, vm_cc_cme(cc)->def->body.attr.id), (void)0); - goto success; + goto success; case VM_METHOD_TYPE_BMETHOD: ret = vm_call_bmethod_body(ec, calling, argv); - goto success; + goto success; case VM_METHOD_TYPE_ZSUPER: { VALUE klass = RCLASS_ORIGIN(vm_cc_cme(cc)->defined_class); return vm_call0_super(ec, calling, argv, klass, MISSING_SUPER); } case VM_METHOD_TYPE_REFINED: - { + { const rb_callable_method_entry_t *cme = vm_cc_cme(cc); if (cme->def->body.refined.orig_me) { @@ -239,7 +263,7 @@ vm_call0_body(rb_execution_context_t *ec, struct rb_calling_info *calling, const VALUE klass = cme->defined_class; return vm_call0_super(ec, calling, argv, klass, 0); - } + } case VM_METHOD_TYPE_ALIAS: { const rb_callable_method_entry_t *cme = vm_cc_cme(cc); @@ -256,37 +280,41 @@ vm_call0_body(rb_execution_context_t *ec, struct rb_calling_info *calling, const } } case VM_METHOD_TYPE_MISSING: - { + { vm_passed_block_handler_set(ec, calling->block_handler); - return method_missing(ec, calling->recv, vm_ci_mid(ci), calling->argc, + return method_missing(ec, calling->recv, vm_ci_mid(ci), calling->argc, argv, MISSING_NOENTRY, calling->kw_splat); - } + } case VM_METHOD_TYPE_OPTIMIZED: - switch (vm_cc_cme(cc)->def->body.optimized.type) { - case OPTIMIZED_METHOD_TYPE_SEND: + switch (vm_cc_cme(cc)->def->body.optimized.type) { + case OPTIMIZED_METHOD_TYPE_SEND: ret = send_internal(calling->argc, argv, calling->recv, calling->kw_splat ? CALL_FCALL_KW : CALL_FCALL); - goto success; - case OPTIMIZED_METHOD_TYPE_CALL: - { - rb_proc_t *proc; - GetProcPtr(calling->recv, proc); - ret = rb_vm_invoke_proc(ec, proc, calling->argc, argv, calling->kw_splat, calling->block_handler); - goto success; - } + goto success; + case OPTIMIZED_METHOD_TYPE_CALL: + { + rb_proc_t *proc; + GetProcPtr(calling->recv, proc); + ret = rb_vm_invoke_proc(ec, proc, calling->argc, argv, calling->kw_splat, calling->block_handler); + goto success; + } case OPTIMIZED_METHOD_TYPE_STRUCT_AREF: vm_call_check_arity(calling, 0, argv); - ret = vm_call_opt_struct_aref0(ec, calling); + VM_CALL_METHOD_ATTR(ret, + vm_call_opt_struct_aref0(ec, calling), + (void)0); goto success; case OPTIMIZED_METHOD_TYPE_STRUCT_ASET: vm_call_check_arity(calling, 1, argv); - ret = vm_call_opt_struct_aset0(ec, calling, argv[0]); + VM_CALL_METHOD_ATTR(ret, + vm_call_opt_struct_aset0(ec, calling, argv[0]), + (void)0); goto success; - default: - rb_bug("vm_call0: unsupported optimized method type (%d)", vm_cc_cme(cc)->def->body.optimized.type); - } - break; + default: + rb_bug("vm_call0: unsupported optimized method type (%d)", vm_cc_cme(cc)->def->body.optimized.type); + } + break; case VM_METHOD_TYPE_UNDEF: - break; + break; } rb_bug("vm_call0: unsupported method type (%d)", vm_cc_cme(cc)->def->type); return Qundef; @@ -296,7 +324,7 @@ vm_call0_body(rb_execution_context_t *ec, struct rb_calling_info *calling, const return ret; } -MJIT_FUNC_EXPORTED VALUE +VALUE rb_vm_call_kw(rb_execution_context_t *ec, VALUE recv, VALUE id, int argc, const VALUE *argv, const rb_callable_method_entry_t *me, int kw_splat) { return rb_vm_call0(ec, recv, id, argc, argv, me, kw_splat); @@ -312,7 +340,7 @@ vm_call_super(rb_execution_context_t *ec, int argc, const VALUE *argv, int kw_sp const rb_callable_method_entry_t *me = rb_vm_frame_method_entry(cfp); if (VM_FRAME_RUBYFRAME_P(cfp)) { - rb_bug("vm_call_super: should not be reached"); + rb_bug("vm_call_super: should not be reached"); } klass = RCLASS_ORIGIN(me->defined_class); @@ -346,25 +374,21 @@ rb_current_receiver(void) const rb_execution_context_t *ec = GET_EC(); rb_control_frame_t *cfp; if (!ec || !(cfp = ec->cfp)) { - rb_raise(rb_eRuntimeError, "no self, no life"); + rb_raise(rb_eRuntimeError, "no self, no life"); } return cfp->self; } -#endif /* #ifndef MJIT_HEADER */ - static inline void stack_check(rb_execution_context_t *ec) { if (!rb_ec_raised_p(ec, RAISED_STACKOVERFLOW) && - rb_ec_stack_check(ec)) { - rb_ec_raised_set(ec, RAISED_STACKOVERFLOW); - rb_ec_stack_overflow(ec, FALSE); + rb_ec_stack_check(ec)) { + rb_ec_raised_set(ec, RAISED_STACKOVERFLOW); + rb_ec_stack_overflow(ec, FALSE); } } -#ifndef MJIT_HEADER - void rb_check_stack_overflow(void) { @@ -395,8 +419,7 @@ cc_new(VALUE klass, ID mid, int argc, const rb_callable_method_entry_t *cme) ccs = (struct rb_class_cc_entries *)ccs_data; } else { - ccs = vm_ccs_create(klass, cme); - rb_id_table_insert(cc_tbl, mid, (VALUE)ccs); + ccs = vm_ccs_create(klass, cc_tbl, mid, cme); } for (int i=0; i<ccs->len; i++) { @@ -408,8 +431,8 @@ cc_new(VALUE klass, ID mid, int argc, const rb_callable_method_entry_t *cme) } if (cc == NULL) { - const struct rb_callinfo *ci = vm_ci_new(mid, 0, argc, false); // TODO: proper ci - cc = vm_cc_new(klass, cme, vm_call_general); + const struct rb_callinfo *ci = vm_ci_new(mid, 0, argc, NULL); // TODO: proper ci + cc = vm_cc_new(klass, cme, vm_call_general, cc_type_normal); METHOD_ENTRY_CACHED_SET((struct rb_callable_method_entry_struct *)cme); vm_ccs_push(klass, ccs, ci, cc); } @@ -482,25 +505,25 @@ gccct_method_search(rb_execution_context_t *ec, VALUE recv, ID mid, int argc) return gccct_method_search_slowpath(vm, klass, mid, argc, index); } -/*! - * \internal +/** + * @internal * calls the specified method. * * This function is called by functions in rb_call* family. - * \param ec current execution context - * \param recv receiver of the method - * \param mid an ID that represents the name of the method - * \param argc the number of method arguments - * \param argv a pointer to an array of method arguments - * \param scope - * \param self self in the caller. Qundef means no self is considered and + * @param ec current execution context + * @param recv receiver of the method + * @param mid an ID that represents the name of the method + * @param argc the number of method arguments + * @param argv a pointer to an array of method arguments + * @param scope + * @param self self in the caller. Qundef means no self is considered and * protected methods cannot be called * - * \note \a self is used in order to controlling access to protected methods. + * @note `self` is used in order to controlling access to protected methods. */ static inline VALUE rb_call0(rb_execution_context_t *ec, - VALUE recv, ID mid, int argc, const VALUE *argv, + VALUE recv, ID mid, int argc, const VALUE *argv, call_type call_scope, VALUE self) { enum method_missing_reason call_status; @@ -526,7 +549,7 @@ rb_call0(rb_execution_context_t *ec, RB_DEBUG_COUNTER_INC(call0_public); const rb_callable_method_entry_t *cc_cme = cc ? vm_cc_cme(cc) : NULL; - const rb_callable_method_entry_t *cme = callable_method_entry_refeinements0(CLASS_OF(recv), mid, NULL, true, cc_cme); + const rb_callable_method_entry_t *cme = callable_method_entry_refinements0(CLASS_OF(recv), mid, NULL, true, cc_cme); call_status = rb_method_call_status(ec, cme, scope, self); if (UNLIKELY(call_status != MISSING_NONE)) { @@ -568,7 +591,7 @@ check_funcall_exec(VALUE v) { struct rescue_funcall_args *args = (void *)v; return call_method_entry(args->ec, args->defined_class, - args->recv, idMethodMissing, + args->recv, idMethodMissing, args->cme, args->argc, args->argv, args->kw_splat); } @@ -578,21 +601,21 @@ check_funcall_failed(VALUE v, VALUE e) struct rescue_funcall_args *args = (void *)v; int ret = args->respond; if (!ret) { - switch (method_boundp(args->defined_class, args->mid, + switch (method_boundp(args->defined_class, args->mid, BOUND_PRIVATE|BOUND_RESPONDS)) { - case 2: - ret = TRUE; - break; - case 0: - ret = args->respond_to_missing; - break; - default: - ret = FALSE; - break; - } + case 2: + ret = TRUE; + break; + case 0: + ret = args->respond_to_missing; + break; + default: + ret = FALSE; + break; + } } if (ret) { - rb_exc_raise(e); + rb_exc_raise(e); } return Qundef; } @@ -617,17 +640,17 @@ check_funcall_missing(rb_execution_context_t *ec, VALUE klass, VALUE recv, ID mi VALUE ret = Qundef; ret = basic_obj_respond_to_missing(ec, klass, recv, - ID2SYM(mid), Qtrue); + ID2SYM(mid), Qtrue); if (!RTEST(ret)) return def; args.respond = respond > 0; - args.respond_to_missing = (ret != Qundef); + args.respond_to_missing = !UNDEF_P(ret); ret = def; cme = callable_method_entry(klass, idMethodMissing, &args.defined_class); if (cme && !METHOD_ENTRY_BASIC(cme)) { - VALUE argbuf, *new_args = ALLOCV_N(VALUE, argbuf, argc+1); + VALUE argbuf, *new_args = ALLOCV_N(VALUE, argbuf, argc+1); - new_args[0] = ID2SYM(mid); + new_args[0] = ID2SYM(mid); #ifdef __GLIBC__ if (!argv) { static const VALUE buf = Qfalse; @@ -635,19 +658,19 @@ check_funcall_missing(rb_execution_context_t *ec, VALUE klass, VALUE recv, ID mi argv = &buf; } #endif - MEMCPY(new_args+1, argv, VALUE, argc); - ec->method_missing_reason = MISSING_NOENTRY; - args.ec = ec; - args.recv = recv; - args.cme = cme; - args.mid = mid; - args.argc = argc + 1; - args.argv = new_args; + MEMCPY(new_args+1, argv, VALUE, argc); + ec->method_missing_reason = MISSING_NOENTRY; + args.ec = ec; + args.recv = recv; + args.cme = cme; + args.mid = mid; + args.argc = argc + 1; + args.argv = new_args; args.kw_splat = kw_splat; - ret = rb_rescue2(check_funcall_exec, (VALUE)&args, - check_funcall_failed, (VALUE)&args, - rb_eNoMethodError, (VALUE)0); - ALLOCV_END(argbuf); + ret = rb_rescue2(check_funcall_exec, (VALUE)&args, + check_funcall_failed, (VALUE)&args, + rb_eNoMethodError, (VALUE)0); + ALLOCV_END(argbuf); } return ret; } @@ -677,14 +700,14 @@ rb_check_funcall_default_kw(VALUE recv, ID mid, int argc, const VALUE *argv, VAL int respond = check_funcall_respond_to(ec, klass, recv, mid); if (!respond) - return def; + return def; me = rb_search_method_entry(recv, mid); if (!check_funcall_callable(ec, me)) { VALUE ret = check_funcall_missing(ec, klass, recv, mid, argc, argv, respond, def, kw_splat); - if (ret == Qundef) ret = def; - return ret; + if (UNDEF_P(ret)) ret = def; + return ret; } stack_check(ec); return rb_vm_call_kw(ec, recv, mid, argc, argv, me, kw_splat); @@ -706,16 +729,16 @@ rb_check_funcall_with_hook_kw(VALUE recv, ID mid, int argc, const VALUE *argv, int respond = check_funcall_respond_to(ec, klass, recv, mid); if (!respond) { - (*hook)(FALSE, recv, mid, argc, argv, arg); - return Qundef; + (*hook)(FALSE, recv, mid, argc, argv, arg); + return Qundef; } me = rb_search_method_entry(recv, mid); if (!check_funcall_callable(ec, me)) { VALUE ret = check_funcall_missing(ec, klass, recv, mid, argc, argv, respond, Qundef, kw_splat); - (*hook)(ret != Qundef, recv, mid, argc, argv, arg); - return ret; + (*hook)(!UNDEF_P(ret), recv, mid, argc, argv, arg); + return ret; } stack_check(ec); (*hook)(TRUE, recv, mid, argc, argv, arg); @@ -776,32 +799,32 @@ uncallable_object(VALUE recv, ID mid) VALUE mname = rb_id2str(mid); if (SPECIAL_CONST_P(recv)) { - rb_raise(rb_eNotImpError, - "method `%"PRIsVALUE"' called on unexpected immediate object (%p)", - mname, (void *)recv); + rb_raise(rb_eNotImpError, + "method '%"PRIsVALUE"' called on unexpected immediate object (%p)", + mname, (void *)recv); } else if ((flags = RBASIC(recv)->flags) == 0) { - rb_raise(rb_eNotImpError, - "method `%"PRIsVALUE"' called on terminated object (%p)", - mname, (void *)recv); + rb_raise(rb_eNotImpError, + "method '%"PRIsVALUE"' called on terminated object (%p)", + mname, (void *)recv); } else if (!(typestr = rb_type_str(type = BUILTIN_TYPE(recv)))) { - rb_raise(rb_eNotImpError, - "method `%"PRIsVALUE"' called on broken T_?""?""?(0x%02x) object" - " (%p flags=0x%"PRIxVALUE")", - mname, type, (void *)recv, flags); + rb_raise(rb_eNotImpError, + "method '%"PRIsVALUE"' called on broken T_?""?""?(0x%02x) object" + " (%p flags=0x%"PRIxVALUE")", + mname, type, (void *)recv, flags); } else if (T_OBJECT <= type && type < T_NIL) { - rb_raise(rb_eNotImpError, - "method `%"PRIsVALUE"' called on hidden %s object" - " (%p flags=0x%"PRIxVALUE")", - mname, typestr, (void *)recv, flags); + rb_raise(rb_eNotImpError, + "method '%"PRIsVALUE"' called on hidden %s object" + " (%p flags=0x%"PRIxVALUE")", + mname, typestr, (void *)recv, flags); } else { - rb_raise(rb_eNotImpError, - "method `%"PRIsVALUE"' called on unexpected %s object" - " (%p flags=0x%"PRIxVALUE")", - mname, typestr, (void *)recv, flags); + rb_raise(rb_eNotImpError, + "method '%"PRIsVALUE"' called on unexpected %s object" + " (%p flags=0x%"PRIxVALUE")", + mname, typestr, (void *)recv, flags); } } @@ -845,7 +868,7 @@ rb_method_call_status(rb_execution_context_t *ec, const rb_callable_method_entry defined_class = RBASIC(defined_class)->klass; } - if (self == Qundef || !rb_obj_is_kind_of(self, defined_class)) { + if (UNDEF_P(self) || !rb_obj_is_kind_of(self, defined_class)) { return MISSING_PROTECTED; } } @@ -858,16 +881,16 @@ rb_method_call_status(rb_execution_context_t *ec, const rb_callable_method_entry } -/*! - * \internal +/** + * @internal * calls the specified method. * * This function is called by functions in rb_call* family. - * \param recv receiver - * \param mid an ID that represents the name of the method - * \param argc the number of method arguments - * \param argv a pointer to an array of method arguments - * \param scope + * @param recv receiver + * @param mid an ID that represents the name of the method + * @param argc the number of method arguments + * @param argv a pointer to an array of method arguments + * @param scope */ static inline VALUE rb_call(VALUE recv, ID mid, int argc, const VALUE *argv, call_type scope) @@ -877,7 +900,7 @@ rb_call(VALUE recv, ID mid, int argc, const VALUE *argv, call_type scope) } NORETURN(static void raise_method_missing(rb_execution_context_t *ec, int argc, const VALUE *argv, - VALUE obj, enum method_missing_reason call_status)); + VALUE obj, enum method_missing_reason call_status)); /* * call-seq: @@ -926,71 +949,69 @@ rb_method_missing(int argc, const VALUE *argv, VALUE obj) UNREACHABLE_RETURN(Qnil); } -MJIT_FUNC_EXPORTED VALUE +VALUE rb_make_no_method_exception(VALUE exc, VALUE format, VALUE obj, - int argc, const VALUE *argv, int priv) + int argc, const VALUE *argv, int priv) { VALUE name = argv[0]; if (!format) { - format = rb_fstring_lit("undefined method `%s' for %s%s%s"); + format = rb_fstring_lit("undefined method '%1$s' for %3$s%4$s"); } if (exc == rb_eNoMethodError) { - VALUE args = rb_ary_new4(argc - 1, argv + 1); - return rb_nomethod_err_new(format, obj, name, args, priv); + VALUE args = rb_ary_new4(argc - 1, argv + 1); + return rb_nomethod_err_new(format, obj, name, args, priv); } else { - return rb_name_err_new(format, obj, name); + return rb_name_err_new(format, obj, name); } } -#endif /* #ifndef MJIT_HEADER */ - static void raise_method_missing(rb_execution_context_t *ec, int argc, const VALUE *argv, VALUE obj, - enum method_missing_reason last_call_status) + enum method_missing_reason last_call_status) { VALUE exc = rb_eNoMethodError; VALUE format = 0; if (UNLIKELY(argc == 0)) { - rb_raise(rb_eArgError, "no method name given"); + rb_raise(rb_eArgError, "no method name given"); } else if (UNLIKELY(!SYMBOL_P(argv[0]))) { - const VALUE e = rb_eArgError; /* TODO: TypeError? */ - rb_raise(e, "method name must be a Symbol but %"PRIsVALUE" is given", - rb_obj_class(argv[0])); + const VALUE e = rb_eArgError; /* TODO: TypeError? */ + rb_raise(e, "method name must be a Symbol but %"PRIsVALUE" is given", + rb_obj_class(argv[0])); } stack_check(ec); if (last_call_status & MISSING_PRIVATE) { - format = rb_fstring_lit("private method `%s' called for %s%s%s"); + format = rb_fstring_lit("private method '%1$s' called for %3$s%4$s"); } else if (last_call_status & MISSING_PROTECTED) { - format = rb_fstring_lit("protected method `%s' called for %s%s%s"); + format = rb_fstring_lit("protected method '%1$s' called for %3$s%4$s"); } else if (last_call_status & MISSING_VCALL) { - format = rb_fstring_lit("undefined local variable or method `%s' for %s%s%s"); - exc = rb_eNameError; + format = rb_fstring_lit("undefined local variable or method '%1$s' for %3$s%4$s"); + exc = rb_eNameError; } else if (last_call_status & MISSING_SUPER) { - format = rb_fstring_lit("super: no superclass method `%s' for %s%s%s"); + format = rb_fstring_lit("super: no superclass method '%1$s' for %3$s%4$s"); } { - exc = rb_make_no_method_exception(exc, format, obj, argc, argv, - last_call_status & (MISSING_FCALL|MISSING_VCALL)); - if (!(last_call_status & MISSING_MISSING)) { - rb_vm_pop_cfunc_frame(); - } - rb_exc_raise(exc); + exc = rb_make_no_method_exception(exc, format, obj, argc, argv, + last_call_status & (MISSING_FCALL|MISSING_VCALL)); + if (!(last_call_status & MISSING_MISSING)) { + rb_vm_pop_cfunc_frame(); + } + rb_exc_raise(exc); } } static void vm_raise_method_missing(rb_execution_context_t *ec, int argc, const VALUE *argv, - VALUE obj, int call_status) + VALUE obj, int call_status) { vm_passed_block_handler_set(ec, VM_BLOCK_HANDLER_NONE); raise_method_missing(ec, argc, argv, obj, call_status | MISSING_MISSING); @@ -1035,8 +1056,6 @@ method_missing(rb_execution_context_t *ec, VALUE obj, ID id, int argc, const VAL UNREACHABLE_RETURN(Qundef); } -#ifndef MJIT_HEADER - static inline VALUE rb_funcallv_scope(VALUE recv, ID mid, int argc, const VALUE *argv, call_type scope) { @@ -1081,15 +1100,15 @@ rb_apply(VALUE recv, ID mid, VALUE args) argc = RARRAY_LENINT(args); if (argc >= 0x100) { - args = rb_ary_subseq(args, 0, argc); - RBASIC_CLEAR_CLASS(args); - OBJ_FREEZE(args); - ret = rb_call(recv, mid, argc, RARRAY_CONST_PTR(args), CALL_FCALL); - RB_GC_GUARD(args); - return ret; + args = rb_ary_subseq(args, 0, argc); + RBASIC_CLEAR_CLASS(args); + OBJ_FREEZE(args); + ret = rb_call(recv, mid, argc, RARRAY_CONST_PTR(args), CALL_FCALL); + RB_GC_GUARD(args); + return ret; } argv = ALLOCA_N(VALUE, argc); - MEMCPY(argv, RARRAY_CONST_PTR_TRANSIENT(args), VALUE, argc); + MEMCPY(argv, RARRAY_CONST_PTR(args), VALUE, argc); return rb_funcallv(recv, mid, argc, argv); } @@ -1105,32 +1124,32 @@ rb_funcall(VALUE recv, ID mid, int n, ...) va_list ar; if (n > 0) { - long i; + long i; va_start(ar, n); - argv = ALLOCA_N(VALUE, n); + argv = ALLOCA_N(VALUE, n); - for (i = 0; i < n; i++) { - argv[i] = va_arg(ar, VALUE); - } - va_end(ar); + for (i = 0; i < n; i++) { + argv[i] = va_arg(ar, VALUE); + } + va_end(ar); } else { - argv = 0; + argv = 0; } return rb_funcallv(recv, mid, n, argv); } -/*! +/** * Calls a method only if it is the basic method of `ancestor` * otherwise returns Qundef; - * \param recv receiver of the method - * \param mid an ID that represents the name of the method - * \param ancestor the Class that defined the basic method - * \param argc the number of arguments - * \param argv pointer to an array of method arguments - * \param kw_splat bool + * @param recv receiver of the method + * @param mid an ID that represents the name of the method + * @param ancestor the Class that defined the basic method + * @param argc the number of arguments + * @param argv pointer to an array of method arguments + * @param kw_splat bool */ VALUE rb_check_funcall_basic_kw(VALUE recv, ID mid, VALUE ancestor, int argc, const VALUE *argv, int kw_splat) @@ -1142,8 +1161,8 @@ rb_check_funcall_basic_kw(VALUE recv, ID mid, VALUE ancestor, int argc, const VA cme = rb_callable_method_entry(klass, mid); if (cme && METHOD_ENTRY_BASIC(cme) && RBASIC_CLASS(cme->defined_class) == ancestor) { - ec = GET_EC(); - return rb_vm_call0(ec, recv, mid, argc, argv, cme, kw_splat); + ec = GET_EC(); + return rb_vm_call0(ec, recv, mid, argc, argv, cme, kw_splat); } return Qundef; @@ -1179,7 +1198,7 @@ VALUE rb_funcall_with_block(VALUE recv, ID mid, int argc, const VALUE *argv, VALUE passed_procval) { if (!NIL_P(passed_procval)) { - vm_passed_block_handler_set(GET_EC(), passed_procval); + vm_passed_block_handler_set(GET_EC(), passed_procval); } return rb_funcallv_public(recv, mid, argc, argv); @@ -1215,47 +1234,47 @@ send_internal(int argc, const VALUE *argv, VALUE recv, call_type scope) int public = scope == CALL_PUBLIC || scope == CALL_PUBLIC_KW; if (public) { - self = Qundef; + self = Qundef; } else { - self = RUBY_VM_PREVIOUS_CONTROL_FRAME(ec->cfp)->self; + self = RUBY_VM_PREVIOUS_CONTROL_FRAME(ec->cfp)->self; } if (argc == 0) { - rb_raise(rb_eArgError, "no method name given"); + rb_raise(rb_eArgError, "no method name given"); } vid = *argv; id = rb_check_id(&vid); if (!id) { - if (rb_method_basic_definition_p(CLASS_OF(recv), idMethodMissing)) { - VALUE exc = rb_make_no_method_exception(rb_eNoMethodError, 0, - recv, argc, argv, + if (rb_method_basic_definition_p(CLASS_OF(recv), idMethodMissing)) { + VALUE exc = rb_make_no_method_exception(rb_eNoMethodError, 0, + recv, argc, argv, !public); - rb_exc_raise(exc); - } - if (!SYMBOL_P(*argv)) { - VALUE *tmp_argv = current_vm_stack_arg(ec, argv); - vid = rb_str_intern(vid); - if (tmp_argv) { - tmp_argv[0] = vid; - } - else if (argc > 1) { - tmp_argv = ALLOCV_N(VALUE, vargv, argc); - tmp_argv[0] = vid; - MEMCPY(tmp_argv+1, argv+1, VALUE, argc-1); - argv = tmp_argv; - } - else { - argv = &vid; - } - } - id = idMethodMissing; - ec->method_missing_reason = MISSING_NOENTRY; + rb_exc_raise(exc); + } + if (!SYMBOL_P(*argv)) { + VALUE *tmp_argv = current_vm_stack_arg(ec, argv); + vid = rb_str_intern(vid); + if (tmp_argv) { + tmp_argv[0] = vid; + } + else if (argc > 1) { + tmp_argv = ALLOCV_N(VALUE, vargv, argc); + tmp_argv[0] = vid; + MEMCPY(tmp_argv+1, argv+1, VALUE, argc-1); + argv = tmp_argv; + } + else { + argv = &vid; + } + } + id = idMethodMissing; + ec->method_missing_reason = MISSING_NOENTRY; } else { - argv++; argc--; + argv++; argc--; } PASS_PASSED_BLOCK_HANDLER_EC(ec); ret = rb_call0(ec, recv, id, argc, argv, scope, self); @@ -1356,11 +1375,11 @@ rb_yield_1(VALUE val) VALUE rb_yield(VALUE val) { - if (val == Qundef) { - return rb_yield_0(0, NULL); + if (UNDEF_P(val)) { + return rb_yield_0(0, NULL); } else { - return rb_yield_0(1, &val); + return rb_yield_0(1, &val); } } @@ -1369,21 +1388,21 @@ VALUE rb_yield_values(int n, ...) { if (n == 0) { - return rb_yield_0(0, 0); + return rb_yield_0(0, 0); } else { - int i; - VALUE *argv; - va_list args; - argv = ALLOCA_N(VALUE, n); + int i; + VALUE *argv; + va_list args; + argv = ALLOCA_N(VALUE, n); va_start(args, n); - for (i=0; i<n; i++) { - argv[i] = va_arg(args, VALUE); - } - va_end(args); + for (i=0; i<n; i++) { + argv[i] = va_arg(args, VALUE); + } + va_end(args); - return rb_yield_0(n, argv); + return rb_yield_0(n, argv); } } @@ -1439,64 +1458,6 @@ rb_yield_block(RB_BLOCK_CALL_FUNC_ARGLIST(val, arg)) rb_keyword_given_p()); } -static VALUE -loop_i(VALUE _) -{ - for (;;) { - rb_yield_0(0, 0); - } - return Qnil; -} - -static VALUE -loop_stop(VALUE dummy, VALUE exc) -{ - return rb_attr_get(exc, id_result); -} - -static VALUE -rb_f_loop_size(VALUE self, VALUE args, VALUE eobj) -{ - return DBL2NUM(HUGE_VAL); -} - -/* - * call-seq: - * loop { block } - * loop -> an_enumerator - * - * Repeatedly executes the block. - * - * If no block is given, an enumerator is returned instead. - * - * loop do - * print "Input: " - * line = gets - * break if !line or line =~ /^qQ/ - * # ... - * end - * - * StopIteration raised in the block breaks the loop. In this case, - * loop returns the "result" value stored in the exception. - * - * enum = Enumerator.new { |y| - * y << "one" - * y << "two" - * :ok - * } - * - * result = loop { - * puts enum.next - * } #=> :ok - */ - -static VALUE -rb_f_loop(VALUE self) -{ - RETURN_SIZED_ENUMERATOR(self, 0, 0, rb_f_loop_size); - return rb_rescue2(loop_i, (VALUE)0, loop_stop, (VALUE)0, rb_eStopIteration, (VALUE)0); -} - #if VMDEBUG static const char * vm_frametype_name(const rb_control_frame_t *cfp); @@ -1504,8 +1465,8 @@ vm_frametype_name(const rb_control_frame_t *cfp); static VALUE rb_iterate0(VALUE (* it_proc) (VALUE), VALUE data1, - const struct vm_ifunc *const ifunc, - rb_execution_context_t *ec) + const struct vm_ifunc *const ifunc, + rb_execution_context_t *ec) { enum ruby_tag_type state; volatile VALUE retval = Qnil; @@ -1515,43 +1476,43 @@ rb_iterate0(VALUE (* it_proc) (VALUE), VALUE data1, state = EC_EXEC_TAG(); if (state == 0) { iter_retry: - { - VALUE block_handler; - - if (ifunc) { - struct rb_captured_block *captured = VM_CFP_TO_CAPTURED_BLOCK(cfp); - captured->code.ifunc = ifunc; - block_handler = VM_BH_FROM_IFUNC_BLOCK(captured); - } - else { - block_handler = VM_CF_BLOCK_HANDLER(cfp); - } - vm_passed_block_handler_set(ec, block_handler); - } - retval = (*it_proc) (data1); + { + VALUE block_handler; + + if (ifunc) { + struct rb_captured_block *captured = VM_CFP_TO_CAPTURED_BLOCK(cfp); + captured->code.ifunc = ifunc; + block_handler = VM_BH_FROM_IFUNC_BLOCK(captured); + } + else { + block_handler = VM_CF_BLOCK_HANDLER(cfp); + } + vm_passed_block_handler_set(ec, block_handler); + } + retval = (*it_proc) (data1); } else if (state == TAG_BREAK || state == TAG_RETRY) { - const struct vm_throw_data *const err = (struct vm_throw_data *)ec->errinfo; - const rb_control_frame_t *const escape_cfp = THROW_DATA_CATCH_FRAME(err); + const struct vm_throw_data *const err = (struct vm_throw_data *)ec->errinfo; + const rb_control_frame_t *const escape_cfp = THROW_DATA_CATCH_FRAME(err); - if (cfp == escape_cfp) { - rb_vm_rewind_cfp(ec, cfp); + if (cfp == escape_cfp) { + rb_vm_rewind_cfp(ec, cfp); - state = 0; - ec->tag->state = TAG_NONE; - ec->errinfo = Qnil; + state = 0; + ec->tag->state = TAG_NONE; + ec->errinfo = Qnil; - if (state == TAG_RETRY) goto iter_retry; - retval = THROW_DATA_VAL(err); - } - else if (0) { - SDR(); fprintf(stderr, "%p, %p\n", (void *)cfp, (void *)escape_cfp); - } + if (state == TAG_RETRY) goto iter_retry; + retval = THROW_DATA_VAL(err); + } + else if (0) { + SDR(); fprintf(stderr, "%p, %p\n", (void *)cfp, (void *)escape_cfp); + } } EC_POP_TAG(); if (state) { - EC_JUMP_TAG(ec, state); + EC_JUMP_TAG(ec, state); } return retval; } @@ -1561,8 +1522,8 @@ rb_iterate_internal(VALUE (* it_proc)(VALUE), VALUE data1, rb_block_call_func_t bl_proc, VALUE data2) { return rb_iterate0(it_proc, data1, - bl_proc ? rb_vm_ifunc_proc_new(bl_proc, (void *)data2) : 0, - GET_EC()); + bl_proc ? rb_vm_ifunc_proc_new(bl_proc, (void *)data2) : 0, + GET_EC()); } VALUE @@ -1593,7 +1554,7 @@ VALUE rb_block_call_kw(VALUE obj, ID mid, int argc, const VALUE * argv, rb_block VALUE rb_block_call(VALUE obj, ID mid, int argc, const VALUE * argv, - rb_block_call_func_t bl_proc, VALUE data2) + rb_block_call_func_t bl_proc, VALUE data2) { return rb_block_call_kw(obj, mid, argc, argv, bl_proc, data2, RB_NO_KEYWORDS); } @@ -1614,8 +1575,8 @@ rb_block_call_kw(VALUE obj, ID mid, int argc, const VALUE * argv, VALUE rb_lambda_call(VALUE obj, ID mid, int argc, const VALUE *argv, - rb_block_call_func_t bl_proc, int min_argc, int max_argc, - VALUE data2) + rb_block_call_func_t bl_proc, int min_argc, int max_argc, + VALUE data2) { struct iter_method_arg arg; struct vm_ifunc *block; @@ -1641,7 +1602,7 @@ iterate_check_method(VALUE obj) VALUE rb_check_block_call(VALUE obj, ID mid, int argc, const VALUE *argv, - rb_block_call_func_t bl_proc, VALUE data2) + rb_block_call_func_t bl_proc, VALUE data2) { struct iter_method_arg arg; @@ -1659,19 +1620,165 @@ rb_each(VALUE obj) return rb_call(obj, idEach, 0, 0, CALL_FCALL); } -void rb_parser_warn_location(VALUE, int); +static VALUE eval_default_path = Qfalse; + +#define EVAL_LOCATION_MARK "eval at " +#define EVAL_LOCATION_MARK_LEN (int)rb_strlen_lit(EVAL_LOCATION_MARK) + +static VALUE +get_eval_default_path(void) +{ + int location_lineno; + VALUE location_path = rb_source_location(&location_lineno); + if (!NIL_P(location_path)) { + return rb_fstring(rb_sprintf("("EVAL_LOCATION_MARK"%"PRIsVALUE":%d)", + location_path, location_lineno)); + } + + if (!eval_default_path) { + eval_default_path = rb_fstring_lit("(eval)"); + rb_vm_register_global_object(eval_default_path); + } + return eval_default_path; +} + +static const rb_iseq_t * +pm_eval_make_iseq(VALUE src, VALUE fname, int line, + const struct rb_block *base_block) +{ + const rb_iseq_t *const parent = vm_block_iseq(base_block); + const rb_iseq_t *iseq = parent; + VALUE name = rb_fstring_lit("<compiled>"); + if (!fname) { + fname = rb_source_location(&line); + } + + if (!UNDEF_P(fname)) { + if (!NIL_P(fname)) fname = rb_fstring(fname); + } + else { + fname = get_eval_default_path(); + } + + pm_parse_result_t result = { 0 }; + pm_options_line_set(&result.options, line); + + // Cout scopes, one for each parent iseq, plus one for our local scope + int scopes_count = 0; + do { + scopes_count++; + } while ((iseq = ISEQ_BODY(iseq)->parent_iseq) && (ISEQ_BODY(iseq)->type != ISEQ_TYPE_TOP)); + pm_options_scopes_init(&result.options, scopes_count + 1); + + // Walk over the scope tree, adding known locals at the correct depths. The + // scope array should be deepest -> shallowest. so lower indexes in the + // scopes array refer to root nodes on the tree, and higher indexes are the + // leaf nodes. + iseq = parent; + for (int scopes_index = 0; scopes_index < scopes_count; scopes_index++) { + int locals_count = ISEQ_BODY(iseq)->local_table_size; + pm_options_scope_t *options_scope = &result.options.scopes[scopes_count - scopes_index - 1]; + pm_options_scope_init(options_scope, locals_count); + + for (int local_index = 0; local_index < locals_count; local_index++) { + pm_string_t *scope_local = &options_scope->locals[local_index]; + ID local = ISEQ_BODY(iseq)->local_table[local_index]; + + if (rb_is_local_id(local)) { + const char *name = rb_id2name(local); + size_t length = strlen(name); + + // Explicitly skip numbered parameters. These should not be sent + // into the eval. + if (length == 2 && name[0] == '_' && name[1] >= '1' && name[1] <= '9') { + continue; + } + + pm_string_constant_init(scope_local, name, strlen(name)); + } + } + + iseq = ISEQ_BODY(iseq)->parent_iseq; + } + + // Add our empty local scope at the very end of the array for our eval + // scope's locals. + pm_options_scope_init(&result.options.scopes[scopes_count], 0); + VALUE error = pm_parse_string(&result, src, fname); + + // If the parse failed, clean up and raise. + if (error != Qnil) { + pm_parse_result_free(&result); + rb_exc_raise(error); + } + + // Create one scope node for each scope passed in, initialize the local + // lookup table with all the local variable information attached to the + // scope used by the parser. + pm_scope_node_t *node = &result.node; + iseq = parent; + + for (int scopes_index = 0; scopes_index < scopes_count; scopes_index++) { + pm_scope_node_t *parent_scope = ruby_xcalloc(1, sizeof(pm_scope_node_t)); + RUBY_ASSERT(parent_scope != NULL); + + pm_options_scope_t *options_scope = &result.options.scopes[scopes_count - scopes_index - 1]; + parent_scope->parser = &result.parser; + parent_scope->index_lookup_table = st_init_numtable(); + + int locals_count = ISEQ_BODY(iseq)->local_table_size; + parent_scope->local_table_for_iseq_size = locals_count; + pm_constant_id_list_init(&parent_scope->locals); + + for (int local_index = 0; local_index < locals_count; local_index++) { + const pm_string_t *scope_local = &options_scope->locals[local_index]; + + pm_constant_id_t constant_id = 0; + if (pm_string_length(scope_local) > 0) { + constant_id = pm_constant_pool_insert_constant( + &result.parser.constant_pool, pm_string_source(scope_local), + pm_string_length(scope_local)); + st_insert(parent_scope->index_lookup_table, (st_data_t)constant_id, (st_data_t)local_index); + } + pm_constant_id_list_append(&parent_scope->locals, constant_id); + } + + node->previous = parent_scope; + node = parent_scope; + iseq = ISEQ_BODY(iseq)->parent_iseq; + } + + iseq = pm_iseq_new_eval(&result.node, name, fname, Qnil, line, parent, 0); + + pm_scope_node_t *prev = result.node.previous; + while (prev) { + pm_scope_node_t *next = prev->previous; + ruby_xfree(prev); + prev = next; + } + + pm_parse_result_free(&result); + rb_exec_event_hook_script_compiled(GET_EC(), iseq, src); -static VALUE eval_default_path; + return iseq; +} static const rb_iseq_t * -eval_make_iseq(VALUE src, VALUE fname, int line, const rb_binding_t *bind, - const struct rb_block *base_block) +eval_make_iseq(VALUE src, VALUE fname, int line, + const struct rb_block *base_block) { + if (*rb_ruby_prism_ptr()) { + return pm_eval_make_iseq(src, fname, line, base_block); + } const VALUE parser = rb_parser_new(); const rb_iseq_t *const parent = vm_block_iseq(base_block); rb_iseq_t *iseq = NULL; rb_ast_t *ast; int isolated_depth = 0; + + // Conditionally enable coverage depending on the current mode: + int coverage_enabled = (rb_get_coverage_mode() & COVERAGE_TARGET_EVAL) != 0; + { int depth = 1; const VALUE *ep = vm_block_ep(base_block); @@ -1690,27 +1797,25 @@ eval_make_iseq(VALUE src, VALUE fname, int line, const rb_binding_t *bind, } if (!fname) { - fname = rb_source_location(&line); + fname = rb_source_location(&line); } - if (fname != Qundef) { + if (!UNDEF_P(fname)) { if (!NIL_P(fname)) fname = rb_fstring(fname); } else { - fname = rb_fstring_lit("(eval)"); - if (!eval_default_path) { - eval_default_path = rb_fstring_lit("(eval)"); - rb_gc_register_mark_object(eval_default_path); - } - fname = eval_default_path; + fname = get_eval_default_path(); + coverage_enabled = FALSE; } rb_parser_set_context(parser, parent, FALSE); + if (ruby_vm_keep_script_lines) rb_parser_set_script_lines(parser); ast = rb_parser_compile_string_path(parser, fname, src, line); if (ast->body.root) { + ast->body.coverage_enabled = coverage_enabled; iseq = rb_iseq_new_eval(&ast->body, - parent->body->location.label, - fname, Qnil, INT2FIX(line), + ISEQ_BODY(parent)->location.label, + fname, Qnil, line, parent, isolated_depth); } rb_ast_dispose(ast); @@ -1735,7 +1840,7 @@ eval_string_with_cref(VALUE self, VALUE src, rb_cref_t *cref, VALUE file, int li const rb_iseq_t *iseq; rb_control_frame_t *cfp = rb_vm_get_ruby_level_next_cfp(ec, ec->cfp); if (!cfp) { - rb_raise(rb_eRuntimeError, "Can't eval on top of Fiber or Thread"); + rb_raise(rb_eRuntimeError, "Can't eval on top of Fiber or Thread"); } block.as.captured = *VM_CFP_TO_CAPTURED_BLOCK(cfp); @@ -1743,20 +1848,20 @@ eval_string_with_cref(VALUE self, VALUE src, rb_cref_t *cref, VALUE file, int li block.as.captured.code.iseq = cfp->iseq; block.type = block_type_iseq; - iseq = eval_make_iseq(src, file, line, NULL, &block); + iseq = eval_make_iseq(src, file, line, &block); if (!iseq) { - rb_exc_raise(ec->errinfo); + rb_exc_raise(ec->errinfo); } /* TODO: what the code checking? */ if (!cref && block.as.captured.code.val) { rb_cref_t *orig_cref = vm_get_cref(vm_block_ep(&block)); - cref = vm_cref_dup(orig_cref); + cref = vm_cref_dup(orig_cref); } vm_set_eval_stack(ec, iseq, cref, &block); /* kick */ - return vm_exec(ec, true); + return vm_exec(ec); } static VALUE @@ -1764,20 +1869,20 @@ eval_string_with_scope(VALUE scope, VALUE src, VALUE file, int line) { rb_execution_context_t *ec = GET_EC(); rb_binding_t *bind = Check_TypedStruct(scope, &ruby_binding_data_type); - const rb_iseq_t *iseq = eval_make_iseq(src, file, line, bind, &bind->block); + const rb_iseq_t *iseq = eval_make_iseq(src, file, line, &bind->block); if (!iseq) { - rb_exc_raise(ec->errinfo); + rb_exc_raise(ec->errinfo); } vm_set_eval_stack(ec, iseq, NULL, &bind->block); /* save new env */ - if (iseq->body->local_table_size > 0) { - vm_bind_update_env(scope, bind, vm_make_env_object(ec, ec->cfp)); + if (ISEQ_BODY(iseq)->local_table_size > 0) { + vm_bind_update_env(scope, bind, vm_make_env_object(ec, ec->cfp)); } /* kick */ - return vm_exec(ec, true); + return vm_exec(ec); } /* @@ -1806,21 +1911,21 @@ rb_f_eval(int argc, const VALUE *argv, VALUE self) int line = 1; rb_scan_args(argc, argv, "13", &src, &scope, &vfile, &vline); - SafeStringValue(src); + StringValue(src); if (argc >= 3) { - StringValue(vfile); + StringValue(vfile); } if (argc >= 4) { - line = NUM2INT(vline); + line = NUM2INT(vline); } if (!NIL_P(vfile)) - file = vfile; + file = vfile; if (NIL_P(scope)) - return eval_string_with_cref(self, src, NULL, file, line); + return eval_string_with_cref(self, src, NULL, file, line); else - return eval_string_with_scope(scope, src, file, line); + return eval_string_with_scope(scope, src, file, line); } /** @note This function name is not stable. */ @@ -1828,7 +1933,10 @@ VALUE ruby_eval_string_from_file(const char *str, const char *filename) { VALUE file = filename ? rb_str_new_cstr(filename) : 0; - return eval_string_with_cref(rb_vm_top_self(), rb_str_new2(str), NULL, file, 1); + rb_execution_context_t *ec = GET_EC(); + rb_control_frame_t *cfp = ec ? rb_vm_get_ruby_level_next_cfp(ec, ec->cfp) : NULL; + VALUE self = cfp ? cfp->self : rb_vm_top_self(); + return eval_string_with_cref(self, rb_str_new2(str), NULL, file, 1); } VALUE @@ -1860,7 +1968,7 @@ eval_string_wrap_protect(VALUE data) { const struct eval_string_wrap_arg *const arg = (struct eval_string_wrap_arg*)data; rb_cref_t *cref = rb_vm_cref_new_toplevel(); - cref->klass = arg->klass; + cref->klass_or_self = arg->klass; return eval_string_with_cref(arg->top_self, rb_str_new_cstr(arg->str), cref, rb_str_new_cstr("eval"), 1); } @@ -1888,10 +1996,10 @@ rb_eval_string_wrap(const char *str, int *pstate) th->top_wrapper = wrapper; if (pstate) { - *pstate = state; + *pstate = state; } else if (state != TAG_NONE) { - EC_JUMP_TAG(th->ec, state); + EC_JUMP_TAG(th->ec, state); } return val; } @@ -1905,13 +2013,13 @@ rb_eval_cmd_kw(VALUE cmd, VALUE arg, int kw_splat) EC_PUSH_TAG(ec); if ((state = EC_EXEC_TAG()) == TAG_NONE) { - if (!RB_TYPE_P(cmd, T_STRING)) { + if (!RB_TYPE_P(cmd, T_STRING)) { val = rb_funcallv_kw(cmd, idCall, RARRAY_LENINT(arg), RARRAY_CONST_PTR(arg), kw_splat); - } - else { - val = eval_string_with_cref(rb_vm_top_self(), cmd, NULL, 0, 0); - } + } + else { + val = eval_string_with_cref(rb_vm_top_self(), cmd, NULL, 0, 0); + } } EC_POP_TAG(); @@ -1922,7 +2030,7 @@ rb_eval_cmd_kw(VALUE cmd, VALUE arg, int kw_splat) /* block eval under the class/module context */ static VALUE -yield_under(VALUE under, VALUE self, int argc, const VALUE *argv, int kw_splat) +yield_under(VALUE self, int singleton, int argc, const VALUE *argv, int kw_splat) { rb_execution_context_t *ec = GET_EC(); rb_control_frame_t *cfp = ec->cfp; @@ -1936,34 +2044,36 @@ yield_under(VALUE under, VALUE self, int argc, const VALUE *argv, int kw_splat) if (block_handler != VM_BLOCK_HANDLER_NONE) { again: - switch (vm_block_handler_type(block_handler)) { - case block_handler_type_iseq: - captured = VM_BH_TO_CAPT_BLOCK(block_handler); - new_captured = *captured; - new_block_handler = VM_BH_FROM_ISEQ_BLOCK(&new_captured); - break; - case block_handler_type_ifunc: - captured = VM_BH_TO_CAPT_BLOCK(block_handler); - new_captured = *captured; - new_block_handler = VM_BH_FROM_IFUNC_BLOCK(&new_captured); - break; - case block_handler_type_proc: - is_lambda = rb_proc_lambda_p(block_handler) != Qfalse; - block_handler = vm_proc_to_block_handler(VM_BH_TO_PROC(block_handler)); - goto again; - case block_handler_type_symbol: + switch (vm_block_handler_type(block_handler)) { + case block_handler_type_iseq: + captured = VM_BH_TO_CAPT_BLOCK(block_handler); + new_captured = *captured; + new_block_handler = VM_BH_FROM_ISEQ_BLOCK(&new_captured); + break; + case block_handler_type_ifunc: + captured = VM_BH_TO_CAPT_BLOCK(block_handler); + new_captured = *captured; + new_block_handler = VM_BH_FROM_IFUNC_BLOCK(&new_captured); + break; + case block_handler_type_proc: + is_lambda = rb_proc_lambda_p(block_handler) != Qfalse; + block_handler = vm_proc_to_block_handler(VM_BH_TO_PROC(block_handler)); + goto again; + case block_handler_type_symbol: return rb_sym_proc_call(SYM2ID(VM_BH_TO_SYMBOL(block_handler)), argc, argv, kw_splat, VM_BLOCK_HANDLER_NONE); - } + } - new_captured.self = self; - ep = captured->ep; + new_captured.self = self; + ep = captured->ep; - VM_FORCE_WRITE_SPECIAL_CONST(&VM_CF_LEP(ec->cfp)[VM_ENV_DATA_INDEX_SPECVAL], new_block_handler); + VM_FORCE_WRITE_SPECIAL_CONST(&VM_CF_LEP(ec->cfp)[VM_ENV_DATA_INDEX_SPECVAL], new_block_handler); } - cref = vm_cref_push(ec, under, ep, TRUE); + VM_ASSERT(singleton || RB_TYPE_P(self, T_MODULE) || RB_TYPE_P(self, T_CLASS)); + cref = vm_cref_push(ec, self, ep, TRUE, singleton); + return vm_yield_with_cref(ec, argc, argv, kw_splat, cref, is_lambda); } @@ -1974,68 +2084,59 @@ rb_yield_refine_block(VALUE refinement, VALUE refinements) VALUE block_handler = VM_CF_BLOCK_HANDLER(ec->cfp); if (vm_block_handler_type(block_handler) != block_handler_type_iseq) { - rb_bug("rb_yield_refine_block: an iseq block is required"); + rb_bug("rb_yield_refine_block: an iseq block is required"); } else { - const struct rb_captured_block *captured = VM_BH_TO_ISEQ_BLOCK(block_handler); - struct rb_captured_block new_captured = *captured; - VALUE new_block_handler = VM_BH_FROM_ISEQ_BLOCK(&new_captured); - const VALUE *ep = captured->ep; - rb_cref_t *cref = vm_cref_push(ec, refinement, ep, TRUE); - CREF_REFINEMENTS_SET(cref, refinements); - VM_FORCE_WRITE_SPECIAL_CONST(&VM_CF_LEP(ec->cfp)[VM_ENV_DATA_INDEX_SPECVAL], new_block_handler); - new_captured.self = refinement; - return vm_yield_with_cref(ec, 0, NULL, RB_NO_KEYWORDS, cref, FALSE); + const struct rb_captured_block *captured = VM_BH_TO_ISEQ_BLOCK(block_handler); + struct rb_captured_block new_captured = *captured; + const VALUE *const argv = &new_captured.self; /* dummy to suppress nonnull warning from gcc */ + VALUE new_block_handler = VM_BH_FROM_ISEQ_BLOCK(&new_captured); + const VALUE *ep = captured->ep; + rb_cref_t *cref = vm_cref_push(ec, refinement, ep, TRUE, FALSE); + CREF_REFINEMENTS_SET(cref, refinements); + VM_FORCE_WRITE_SPECIAL_CONST(&VM_CF_LEP(ec->cfp)[VM_ENV_DATA_INDEX_SPECVAL], new_block_handler); + new_captured.self = refinement; + return vm_yield_with_cref(ec, 0, argv, RB_NO_KEYWORDS, cref, FALSE); } } /* string eval under the class/module context */ static VALUE -eval_under(VALUE under, VALUE self, VALUE src, VALUE file, int line) +eval_under(VALUE self, int singleton, VALUE src, VALUE file, int line) { - rb_cref_t *cref = vm_cref_push(GET_EC(), under, NULL, SPECIAL_CONST_P(self) && !NIL_P(under)); - SafeStringValue(src); + rb_cref_t *cref = vm_cref_push(GET_EC(), self, NULL, FALSE, singleton); + StringValue(src); + return eval_string_with_cref(self, src, cref, file, line); } static VALUE -specific_eval(int argc, const VALUE *argv, VALUE klass, VALUE self, int kw_splat) +specific_eval(int argc, const VALUE *argv, VALUE self, int singleton, int kw_splat) { if (rb_block_given_p()) { - rb_check_arity(argc, 0, 0); - return yield_under(klass, self, 1, &self, kw_splat); + rb_check_arity(argc, 0, 0); + return yield_under(self, singleton, 1, &self, kw_splat); } else { - VALUE file = Qundef; - int line = 1; - VALUE code; + VALUE file = Qnil; + int line = 1; + VALUE code; + + rb_check_arity(argc, 1, 3); + code = argv[0]; + StringValue(code); + if (argc > 2) + line = NUM2INT(argv[2]); + if (argc > 1) { + file = argv[1]; + if (!NIL_P(file)) StringValue(file); + } - rb_check_arity(argc, 1, 3); - code = argv[0]; - SafeStringValue(code); - if (argc > 2) - line = NUM2INT(argv[2]); - if (argc > 1) { - file = argv[1]; - if (!NIL_P(file)) StringValue(file); - } - return eval_under(klass, self, code, file, line); - } -} + if (NIL_P(file)) { + file = get_eval_default_path(); + } -static VALUE -singleton_class_for_eval(VALUE self) -{ - if (SPECIAL_CONST_P(self)) { - return rb_special_singleton_class(self); - } - switch (BUILTIN_TYPE(self)) { - case T_FLOAT: case T_BIGNUM: case T_SYMBOL: - return Qnil; - case T_STRING: - if (FL_TEST_RAW(self, RSTRING_FSTR)) return Qnil; - default: - return rb_singleton_class(self); + return eval_under(self, singleton, code, file, line); } } @@ -2075,15 +2176,13 @@ singleton_class_for_eval(VALUE self) static VALUE rb_obj_instance_eval_internal(int argc, const VALUE *argv, VALUE self) { - VALUE klass = singleton_class_for_eval(self); - return specific_eval(argc, argv, klass, self, RB_PASS_CALLED_KEYWORDS); + return specific_eval(argc, argv, self, TRUE, RB_PASS_CALLED_KEYWORDS); } VALUE rb_obj_instance_eval(int argc, const VALUE *argv, VALUE self) { - VALUE klass = singleton_class_for_eval(self); - return specific_eval(argc, argv, klass, self, RB_NO_KEYWORDS); + return specific_eval(argc, argv, self, TRUE, RB_NO_KEYWORDS); } /* @@ -2107,15 +2206,13 @@ rb_obj_instance_eval(int argc, const VALUE *argv, VALUE self) static VALUE rb_obj_instance_exec_internal(int argc, const VALUE *argv, VALUE self) { - VALUE klass = singleton_class_for_eval(self); - return yield_under(klass, self, argc, argv, RB_PASS_CALLED_KEYWORDS); + return yield_under(self, TRUE, argc, argv, RB_PASS_CALLED_KEYWORDS); } VALUE rb_obj_instance_exec(int argc, const VALUE *argv, VALUE self) { - VALUE klass = singleton_class_for_eval(self); - return yield_under(klass, self, argc, argv, RB_NO_KEYWORDS); + return yield_under(self, TRUE, argc, argv, RB_NO_KEYWORDS); } /* @@ -2148,13 +2245,13 @@ rb_obj_instance_exec(int argc, const VALUE *argv, VALUE self) static VALUE rb_mod_module_eval_internal(int argc, const VALUE *argv, VALUE mod) { - return specific_eval(argc, argv, mod, mod, RB_PASS_CALLED_KEYWORDS); + return specific_eval(argc, argv, mod, FALSE, RB_PASS_CALLED_KEYWORDS); } VALUE rb_mod_module_eval(int argc, const VALUE *argv, VALUE mod) { - return specific_eval(argc, argv, mod, mod, RB_NO_KEYWORDS); + return specific_eval(argc, argv, mod, FALSE, RB_NO_KEYWORDS); } /* @@ -2182,13 +2279,13 @@ rb_mod_module_eval(int argc, const VALUE *argv, VALUE mod) static VALUE rb_mod_module_exec_internal(int argc, const VALUE *argv, VALUE mod) { - return yield_under(mod, mod, argc, argv, RB_PASS_CALLED_KEYWORDS); + return yield_under(mod, FALSE, argc, argv, RB_PASS_CALLED_KEYWORDS); } VALUE rb_mod_module_exec(int argc, const VALUE *argv, VALUE mod) { - return yield_under(mod, mod, argc, argv, RB_NO_KEYWORDS); + return yield_under(mod, FALSE, argc, argv, RB_NO_KEYWORDS); } /* @@ -2284,18 +2381,18 @@ rb_throw_obj(VALUE tag, VALUE value) struct rb_vm_tag *tt = ec->tag; while (tt) { - if (tt->tag == tag) { - tt->retval = value; - break; - } - tt = tt->prev; + if (tt->tag == tag) { + tt->retval = value; + break; + } + tt = tt->prev; } if (!tt) { - VALUE desc[3]; - desc[0] = tag; - desc[1] = value; - desc[2] = rb_str_new_cstr("uncaught throw %p"); - rb_exc_raise(rb_class_new_instance(numberof(desc), desc, rb_eUncaughtThrow)); + VALUE desc[3]; + desc[0] = tag; + desc[1] = value; + desc[2] = rb_str_new_cstr("uncaught throw %p"); + rb_exc_raise(rb_class_new_instance(numberof(desc), desc, rb_eUncaughtThrow)); } ec->errinfo = (VALUE)THROW_DATA_NEW(tag, NULL, TAG_THROW); @@ -2381,7 +2478,7 @@ rb_catch(const char *tag, rb_block_call_func_t func, VALUE data) static VALUE vm_catch_protect(VALUE tag, rb_block_call_func *func, VALUE data, - enum ruby_tag_type *stateptr, rb_execution_context_t *volatile ec) + enum ruby_tag_type *stateptr, rb_execution_context_t *volatile ec) { enum ruby_tag_type state; VALUE val = Qnil; /* OK */ @@ -2392,18 +2489,18 @@ vm_catch_protect(VALUE tag, rb_block_call_func *func, VALUE data, _tag.tag = tag; if ((state = EC_EXEC_TAG()) == TAG_NONE) { - /* call with argc=1, argv = [tag], block = Qnil to insure compatibility */ - val = (*func)(tag, data, 1, (const VALUE *)&tag, Qnil); + /* call with argc=1, argv = [tag], block = Qnil to insure compatibility */ + val = (*func)(tag, data, 1, (const VALUE *)&tag, Qnil); } else if (state == TAG_THROW && THROW_DATA_VAL((struct vm_throw_data *)ec->errinfo) == tag) { - rb_vm_rewind_cfp(ec, saved_cfp); - val = ec->tag->retval; - ec->errinfo = Qnil; - state = 0; + rb_vm_rewind_cfp(ec, saved_cfp); + val = ec->tag->retval; + ec->errinfo = Qnil; + state = 0; } EC_POP_TAG(); if (stateptr) - *stateptr = state; + *stateptr = state; return val; } @@ -2482,27 +2579,27 @@ rb_f_local_variables(VALUE _) local_var_list_init(&vars); while (cfp) { - if (cfp->iseq) { - for (i = 0; i < cfp->iseq->body->local_table_size; i++) { - local_var_list_add(&vars, cfp->iseq->body->local_table[i]); - } - } - if (!VM_ENV_LOCAL_P(cfp->ep)) { - /* block */ - const VALUE *ep = VM_CF_PREV_EP(cfp); - - if (vm_collect_local_variables_in_heap(ep, &vars)) { - break; - } - else { - while (cfp->ep != ep) { - cfp = RUBY_VM_PREVIOUS_CONTROL_FRAME(cfp); - } - } - } - else { - break; - } + if (cfp->iseq) { + for (i = 0; i < ISEQ_BODY(cfp->iseq)->local_table_size; i++) { + local_var_list_add(&vars, ISEQ_BODY(cfp->iseq)->local_table[i]); + } + } + if (!VM_ENV_LOCAL_P(cfp->ep)) { + /* block */ + const VALUE *ep = VM_CF_PREV_EP(cfp); + + if (vm_collect_local_variables_in_heap(ep, &vars)) { + break; + } + else { + while (cfp->ep != ep) { + cfp = RUBY_VM_PREVIOUS_CONTROL_FRAME(cfp); + } + } + } + else { + break; + } } return local_var_list_finish(&vars); } @@ -2565,9 +2662,18 @@ rb_current_realfilepath(void) if (path == eval_default_path) { return Qnil; } - else { - return path; + + // [Feature #19755] implicit eval location is "(eval at #{__FILE__}:#{__LINE__})" + const long len = RSTRING_LEN(path); + if (len > EVAL_LOCATION_MARK_LEN+1) { + const char *const ptr = RSTRING_PTR(path); + if (ptr[len - 1] == ')' && + memcmp(ptr, "("EVAL_LOCATION_MARK, EVAL_LOCATION_MARK_LEN+1) == 0) { + return Qnil; + } } + + return path; } return Qnil; } @@ -2583,17 +2689,15 @@ Init_vm_eval(void) rb_define_global_function("catch", rb_f_catch, -1); rb_define_global_function("throw", rb_f_throw, -1); - rb_define_global_function("loop", rb_f_loop, 0); - rb_define_method(rb_cBasicObject, "instance_eval", rb_obj_instance_eval_internal, -1); rb_define_method(rb_cBasicObject, "instance_exec", rb_obj_instance_exec_internal, -1); rb_define_private_method(rb_cBasicObject, "method_missing", rb_method_missing, -1); #if 1 rb_add_method(rb_cBasicObject, id__send__, - VM_METHOD_TYPE_OPTIMIZED, (void *)OPTIMIZED_METHOD_TYPE_SEND, METHOD_VISI_PUBLIC); + VM_METHOD_TYPE_OPTIMIZED, (void *)OPTIMIZED_METHOD_TYPE_SEND, METHOD_VISI_PUBLIC); rb_add_method(rb_mKernel, idSend, - VM_METHOD_TYPE_OPTIMIZED, (void *)OPTIMIZED_METHOD_TYPE_SEND, METHOD_VISI_PUBLIC); + VM_METHOD_TYPE_OPTIMIZED, (void *)OPTIMIZED_METHOD_TYPE_SEND, METHOD_VISI_PUBLIC); #else rb_define_method(rb_cBasicObject, "__send__", rb_f_send, -1); rb_define_method(rb_mKernel, "send", rb_f_send, -1); @@ -2615,5 +2719,3 @@ Init_vm_eval(void) id_tag = rb_intern_const("tag"); id_value = rb_intern_const("value"); } - -#endif /* #ifndef MJIT_HEADER */ |