Ruby  2.0.0p594(2014-10-27revision48167)
vm_insnhelper.c
Go to the documentation of this file.
1 /**********************************************************************
2 
3  vm_insnhelper.c - instruction helper functions.
4 
5  $Author: usa $
6 
7  Copyright (C) 2007 Koichi Sasada
8 
9 **********************************************************************/
10 
11 /* finish iseq array */
12 #include "insns.inc"
13 #include <math.h>
14 #include "constant.h"
15 #include "internal.h"
16 #include "probes.h"
17 #include "probes_helper.h"
18 
19 /* control stack frame */
20 
21 #ifndef INLINE
22 #define INLINE inline
23 #endif
24 
26 
27 static void
29 {
31 }
32 
33 static inline rb_control_frame_t *
35  const rb_iseq_t *iseq,
36  VALUE type,
37  VALUE self,
38  VALUE klass,
39  VALUE specval,
40  const VALUE *pc,
41  VALUE *sp,
42  int local_size,
43  const rb_method_entry_t *me)
44 {
45  rb_control_frame_t *const cfp = th->cfp - 1;
46  int i;
47 
48  /* check stack overflow */
49  if ((void *)(sp + local_size) >= (void *)cfp) {
51  }
52  th->cfp = cfp;
53 
54  /* setup vm value stack */
55 
56  /* initialize local variables */
57  for (i=0; i < local_size; i++) {
58  *sp++ = Qnil;
59  }
60 
61  /* set special val */
62  *sp = specval;
63 
64  /* setup vm control frame stack */
65 
66  cfp->pc = (VALUE *)pc;
67  cfp->sp = sp + 1;
68 #if VM_DEBUG_BP_CHECK
69  cfp->bp_check = sp + 1;
70 #endif
71  cfp->ep = sp;
72  cfp->iseq = (rb_iseq_t *) iseq;
73  cfp->flag = type;
74  cfp->self = self;
75  cfp->block_iseq = 0;
76  cfp->proc = 0;
77  cfp->me = me;
78  if (klass) {
79  cfp->klass = klass;
80  }
81  else {
83  if (RUBY_VM_CONTROL_FRAME_STACK_OVERFLOW_P(th, prev_cfp)) {
84  cfp->klass = Qnil;
85  }
86  else {
87  cfp->klass = prev_cfp->klass;
88  }
89  }
90 
91  if (VMDEBUG == 2) {
92  SDR();
93  }
94 
95  return cfp;
96 }
97 
98 static inline void
100 {
102 
103  if (VMDEBUG == 2) {
104  SDR();
105  }
106 }
107 
108 /* method dispatch */
109 static inline VALUE
110 rb_arg_error_new(int argc, int min, int max)
111 {
112  VALUE err_mess = 0;
113  if (min == max) {
114  err_mess = rb_sprintf("wrong number of arguments (%d for %d)", argc, min);
115  }
116  else if (max == UNLIMITED_ARGUMENTS) {
117  err_mess = rb_sprintf("wrong number of arguments (%d for %d+)", argc, min);
118  }
119  else {
120  err_mess = rb_sprintf("wrong number of arguments (%d for %d..%d)", argc, min, max);
121  }
122  return rb_exc_new3(rb_eArgError, err_mess);
123 }
124 
125 NORETURN(static void argument_error(const rb_iseq_t *iseq, int miss_argc, int min_argc, int max_argc));
126 static void
127 argument_error(const rb_iseq_t *iseq, int miss_argc, int min_argc, int max_argc)
128 {
129  VALUE exc = rb_arg_error_new(miss_argc, min_argc, max_argc);
130  VALUE bt = rb_make_backtrace();
131  VALUE err_line = 0;
132 
133  if (iseq) {
134  int line_no = rb_iseq_first_lineno(iseq);
135 
136  err_line = rb_sprintf("%s:%d:in `%s'",
137  RSTRING_PTR(iseq->location.path),
138  line_no, RSTRING_PTR(iseq->location.label));
139  rb_funcall(bt, rb_intern("unshift"), 1, err_line);
140  }
141 
142  rb_funcall(exc, rb_intern("set_backtrace"), 1, bt);
143  rb_exc_raise(exc);
144 }
145 
146 NORETURN(static void unknown_keyword_error(const rb_iseq_t *iseq, VALUE hash));
147 static void
149 {
150  VALUE sep = rb_usascii_str_new2(", "), keys;
151  const char *msg;
152  int i;
153  for (i = 0; i < iseq->arg_keywords; i++) {
154  rb_hash_delete(hash, ID2SYM(iseq->arg_keyword_table[i]));
155  }
156  keys = rb_funcall(hash, rb_intern("keys"), 0, 0);
157  if (!RB_TYPE_P(keys, T_ARRAY)) rb_raise(rb_eArgError, "unknown keyword");
158  msg = RARRAY_LEN(keys) == 1 ? "" : "s";
159  keys = rb_funcall(keys, rb_intern("join"), 1, sep);
160  rb_raise(rb_eArgError, "unknown keyword%s: %"PRIsVALUE, msg, keys);
161 }
162 
163 void
164 rb_error_arity(int argc, int min, int max)
165 {
166  rb_exc_raise(rb_arg_error_new(argc, min, max));
167 }
168 
169 /* svar */
170 
171 static inline NODE *
173 {
174  VALUE *svar;
175 
176  if (lep && th->root_lep != lep) {
177  svar = &lep[-1];
178  }
179  else {
180  svar = &th->root_svar;
181  }
182  if (NIL_P(*svar)) {
183  *svar = (VALUE)NEW_IF(Qnil, Qnil, Qnil);
184  }
185  return (NODE *)*svar;
186 }
187 
188 static VALUE
190 {
191  NODE *svar = lep_svar_place(th, lep);
192 
193  switch (key) {
194  case 0:
195  return svar->u1.value;
196  case 1:
197  return svar->u2.value;
198  default: {
199  const VALUE ary = svar->u3.value;
200 
201  if (NIL_P(ary)) {
202  return Qnil;
203  }
204  else {
205  return rb_ary_entry(ary, key - DEFAULT_SPECIAL_VAR_COUNT);
206  }
207  }
208  }
209 }
210 
211 static void
213 {
214  NODE *svar = lep_svar_place(th, lep);
215 
216  switch (key) {
217  case 0:
218  svar->u1.value = val;
219  return;
220  case 1:
221  svar->u2.value = val;
222  return;
223  default: {
224  VALUE ary = svar->u3.value;
225 
226  if (NIL_P(ary)) {
227  svar->u3.value = ary = rb_ary_new();
228  }
229  rb_ary_store(ary, key - DEFAULT_SPECIAL_VAR_COUNT, val);
230  }
231  }
232 }
233 
234 static inline VALUE
236 {
237  VALUE val;
238 
239  if (type == 0) {
240  val = lep_svar_get(th, lep, key);
241  }
242  else {
243  VALUE backref = lep_svar_get(th, lep, 1);
244 
245  if (type & 0x01) {
246  switch (type >> 1) {
247  case '&':
248  val = rb_reg_last_match(backref);
249  break;
250  case '`':
251  val = rb_reg_match_pre(backref);
252  break;
253  case '\'':
254  val = rb_reg_match_post(backref);
255  break;
256  case '+':
257  val = rb_reg_match_last(backref);
258  break;
259  default:
260  rb_bug("unexpected back-ref");
261  }
262  }
263  else {
264  val = rb_reg_nth_match((int)(type >> 1), backref);
265  }
266  }
267  return val;
268 }
269 
270 static NODE *
271 vm_get_cref0(const rb_iseq_t *iseq, const VALUE *ep)
272 {
273  while (1) {
274  if (VM_EP_LEP_P(ep)) {
275  if (!RUBY_VM_NORMAL_ISEQ_P(iseq)) return NULL;
276  return iseq->cref_stack;
277  }
278  else if (ep[-1] != Qnil) {
279  return (NODE *)ep[-1];
280  }
281  ep = VM_EP_PREV_EP(ep);
282  }
283 }
284 
285 NODE *
286 rb_vm_get_cref(const rb_iseq_t *iseq, const VALUE *ep)
287 {
288  NODE *cref = vm_get_cref0(iseq, ep);
289 
290  if (cref == 0) {
291  rb_bug("rb_vm_get_cref: unreachable");
292  }
293  return cref;
294 }
295 
296 static NODE *
298 {
300  NODE *cref = NEW_CREF(klass);
301  cref->nd_refinements = Qnil;
302  cref->nd_visi = noex;
303 
304  if (blockptr) {
305  cref->nd_next = vm_get_cref0(blockptr->iseq, blockptr->ep);
306  }
307  else if (cfp) {
308  cref->nd_next = vm_get_cref0(cfp->iseq, cfp->ep);
309  }
310  /* TODO: why cref->nd_next is 1? */
311  if (cref->nd_next && cref->nd_next != (void *) 1 &&
312  !NIL_P(cref->nd_next->nd_refinements)) {
313  COPY_CREF_OMOD(cref, cref->nd_next);
314  }
315 
316  return cref;
317 }
318 
319 static inline VALUE
320 vm_get_cbase(const rb_iseq_t *iseq, const VALUE *ep)
321 {
322  NODE *cref = rb_vm_get_cref(iseq, ep);
323  VALUE klass = Qundef;
324 
325  while (cref) {
326  if ((klass = cref->nd_clss) != 0) {
327  break;
328  }
329  cref = cref->nd_next;
330  }
331 
332  return klass;
333 }
334 
335 static inline VALUE
336 vm_get_const_base(const rb_iseq_t *iseq, const VALUE *ep)
337 {
338  NODE *cref = rb_vm_get_cref(iseq, ep);
339  VALUE klass = Qundef;
340 
341  while (cref) {
342  if (!(cref->flags & NODE_FL_CREF_PUSHED_BY_EVAL) &&
343  (klass = cref->nd_clss) != 0) {
344  break;
345  }
346  cref = cref->nd_next;
347  }
348 
349  return klass;
350 }
351 
352 static inline void
354 {
355  VALUE str;
356  if (!RB_TYPE_P(klass, T_CLASS) && !RB_TYPE_P(klass, T_MODULE)) {
357  str = rb_inspect(klass);
358  rb_raise(rb_eTypeError, "%s is not a class/module",
359  StringValuePtr(str));
360  }
361 }
362 
363 static inline VALUE
365 {
366  if (RB_TYPE_P(klass, T_MODULE) &&
367  FL_TEST(klass, RMODULE_IS_OVERLAID) &&
368  RB_TYPE_P(cfp->klass, T_ICLASS) &&
369  RBASIC(cfp->klass)->klass == klass) {
370  return cfp->klass;
371  }
372  else {
373  return klass;
374  }
375 }
376 
377 static inline VALUE
379  VALUE orig_klass, ID id, int is_defined)
380 {
381  VALUE val;
382 
383  if (orig_klass == Qnil) {
384  /* in current lexical scope */
385  const NODE *root_cref = rb_vm_get_cref(iseq, th->cfp->ep);
386  const NODE *cref;
387  VALUE klass = orig_klass;
388 
389  while (root_cref && root_cref->flags & NODE_FL_CREF_PUSHED_BY_EVAL) {
390  root_cref = root_cref->nd_next;
391  }
392  cref = root_cref;
393  while (cref && cref->nd_next) {
394  if (cref->flags & NODE_FL_CREF_PUSHED_BY_EVAL) {
395  klass = Qnil;
396  }
397  else {
398  klass = cref->nd_clss;
399  }
400  cref = cref->nd_next;
401 
402  if (!NIL_P(klass)) {
403  VALUE av, am = 0;
404  st_data_t data;
405  search_continue:
406  if (RCLASS_CONST_TBL(klass) &&
407  st_lookup(RCLASS_CONST_TBL(klass), id, &data)) {
408  val = ((rb_const_entry_t*)data)->value;
409  if (val == Qundef) {
410  if (am == klass) break;
411  am = klass;
412  if (is_defined) return 1;
413  if (rb_autoloading_value(klass, id, &av)) return av;
414  rb_autoload_load(klass, id);
415  goto search_continue;
416  }
417  else {
418  if (is_defined) {
419  return 1;
420  }
421  else {
422  return val;
423  }
424  }
425  }
426  }
427  }
428 
429  /* search self */
430  if (root_cref && !NIL_P(root_cref->nd_clss)) {
431  klass = vm_get_iclass(th->cfp, root_cref->nd_clss);
432  }
433  else {
434  klass = CLASS_OF(th->cfp->self);
435  }
436 
437  if (is_defined) {
438  return rb_const_defined(klass, id);
439  }
440  else {
441  return rb_const_get(klass, id);
442  }
443  }
444  else {
445  vm_check_if_namespace(orig_klass);
446  if (is_defined) {
447  return rb_public_const_defined_from(orig_klass, id);
448  }
449  else {
450  return rb_public_const_get_from(orig_klass, id);
451  }
452  }
453 }
454 
455 static inline VALUE
457 {
458  VALUE klass;
459 
460  if (!cref) {
461  rb_bug("vm_get_cvar_base: no cref");
462  }
463 
464  while (cref->nd_next &&
465  (NIL_P(cref->nd_clss) || FL_TEST(cref->nd_clss, FL_SINGLETON) ||
466  (cref->flags & NODE_FL_CREF_PUSHED_BY_EVAL))) {
467  cref = cref->nd_next;
468  }
469  if (!cref->nd_next) {
470  rb_warn("class variable access from toplevel");
471  }
472 
473  klass = vm_get_iclass(cfp, cref->nd_clss);
474 
475  if (NIL_P(klass)) {
476  rb_raise(rb_eTypeError, "no class variables available");
477  }
478  return klass;
479 }
480 
481 static VALUE
483 {
484  if (rb_const_defined_at(cbase, id)) return cbase;
485  if (cbase == rb_cObject) {
486  VALUE tmp = RCLASS_SUPER(cbase);
487  while (tmp) {
488  if (rb_const_defined_at(tmp, id)) return tmp;
489  tmp = RCLASS_SUPER(tmp);
490  }
491  }
492  return 0;
493 }
494 
495 #ifndef USE_IC_FOR_IVAR
496 #define USE_IC_FOR_IVAR 1
497 #endif
498 
499 static inline VALUE
500 vm_getivar(VALUE obj, ID id, IC ic, rb_call_info_t *ci, int is_attr)
501 {
502 #if USE_IC_FOR_IVAR
503  if (RB_TYPE_P(obj, T_OBJECT)) {
504  VALUE val = Qundef;
505  VALUE klass = RBASIC(obj)->klass;
506 
507  if (LIKELY((!is_attr && (ic->ic_class == klass && ic->ic_vmstat == GET_VM_STATE_VERSION())) ||
508  (is_attr && ci->aux.index > 0))) {
509  long index = !is_attr ? ic->ic_value.index : ci->aux.index - 1;
510  long len = ROBJECT_NUMIV(obj);
511  VALUE *ptr = ROBJECT_IVPTR(obj);
512 
513  if (index < len) {
514  val = ptr[index];
515  }
516  }
517  else {
519  long len = ROBJECT_NUMIV(obj);
520  VALUE *ptr = ROBJECT_IVPTR(obj);
521  struct st_table *iv_index_tbl = ROBJECT_IV_INDEX_TBL(obj);
522 
523  if (iv_index_tbl) {
524  if (st_lookup(iv_index_tbl, id, &index)) {
525  if ((long)index < len) {
526  val = ptr[index];
527  }
528  if (!is_attr) {
529  ic->ic_class = klass;
530  ic->ic_value.index = index;
532  }
533  else { /* call_info */
534  ci->aux.index = index + 1;
535  }
536  }
537  }
538  }
539 
540  if (UNLIKELY(val == Qundef)) {
541  if (!is_attr) rb_warning("instance variable %s not initialized", rb_id2name(id));
542  val = Qnil;
543  }
544  return val;
545  }
546 #endif /* USE_IC_FOR_IVAR */
547  if (is_attr)
548  return rb_attr_get(obj, id);
549  return rb_ivar_get(obj, id);
550 }
551 
552 static inline VALUE
553 vm_setivar(VALUE obj, ID id, VALUE val, IC ic, rb_call_info_t *ci, int is_attr)
554 {
555 #if USE_IC_FOR_IVAR
556  if (!OBJ_UNTRUSTED(obj) && rb_safe_level() >= 4) {
557  rb_raise(rb_eSecurityError, "Insecure: can't modify instance variable");
558  }
559 
560  rb_check_frozen(obj);
561 
562  if (RB_TYPE_P(obj, T_OBJECT)) {
563  VALUE klass = RBASIC(obj)->klass;
565 
566  if (LIKELY(
567  (!is_attr && ic->ic_class == klass && ic->ic_vmstat == GET_VM_STATE_VERSION()) ||
568  (is_attr && ci->aux.index > 0))) {
569  long index = !is_attr ? ic->ic_value.index : ci->aux.index-1;
570  long len = ROBJECT_NUMIV(obj);
571  VALUE *ptr = ROBJECT_IVPTR(obj);
572 
573  if (index < len) {
574  ptr[index] = val;
575  return val; /* inline cache hit */
576  }
577  }
578  else {
579  struct st_table *iv_index_tbl = ROBJECT_IV_INDEX_TBL(obj);
580 
581  if (iv_index_tbl && st_lookup(iv_index_tbl, (st_data_t)id, &index)) {
582  if (!is_attr) {
583  ic->ic_class = klass;
584  ic->ic_value.index = index;
586  }
587  else {
588  ci->aux.index = index + 1;
589  }
590  }
591  /* fall through */
592  }
593  }
594 #endif /* USE_IC_FOR_IVAR */
595  return rb_ivar_set(obj, id, val);
596 }
597 
598 static VALUE
600 {
601  return vm_getivar(obj, id, ic, 0, 0);
602 }
603 
604 static void
606 {
607  vm_setivar(obj, id, val, ic, 0, 0);
608 }
609 
610 static VALUE
612  rb_num_t throw_state, VALUE throwobj)
613 {
614  int state = (int)(throw_state & 0xff);
615  int flag = (int)(throw_state & 0x8000);
616  rb_num_t level = throw_state >> 16;
617 
618  if (state != 0) {
619  VALUE *pt = 0;
620  if (flag != 0) {
621  pt = (void *) 1;
622  }
623  else {
624  if (state == TAG_BREAK) {
625  rb_control_frame_t *cfp = GET_CFP();
626  VALUE *ep = GET_EP();
627  int is_orphan = 1;
628  rb_iseq_t *base_iseq = GET_ISEQ();
629 
630  search_parent:
631  if (cfp->iseq->type != ISEQ_TYPE_BLOCK) {
632  if (cfp->iseq->type == ISEQ_TYPE_CLASS) {
634  ep = cfp->ep;
635  goto search_parent;
636  }
637  ep = VM_EP_PREV_EP(ep);
638  base_iseq = base_iseq->parent_iseq;
639 
640  while ((VALUE *) cfp < th->stack + th->stack_size) {
641  if (cfp->ep == ep) {
642  goto search_parent;
643  }
645  }
646  rb_bug("VM (throw): can't find break base.");
647  }
648 
649  if (VM_FRAME_TYPE(cfp) == VM_FRAME_MAGIC_LAMBDA) {
650  /* lambda{... break ...} */
651  is_orphan = 0;
652  pt = cfp->ep;
653  state = TAG_RETURN;
654  }
655  else {
656  ep = VM_EP_PREV_EP(ep);
657 
658  while ((VALUE *)cfp < th->stack + th->stack_size) {
659  if (cfp->ep == ep) {
660  VALUE epc = cfp->pc - cfp->iseq->iseq_encoded;
661  rb_iseq_t *iseq = cfp->iseq;
662  int i;
663 
664  for (i=0; i<iseq->catch_table_size; i++) {
665  struct iseq_catch_table_entry *entry = &iseq->catch_table[i];
666 
667  if (entry->type == CATCH_TYPE_BREAK &&
668  entry->start < epc && entry->end >= epc) {
669  if (entry->cont == epc) {
670  goto found;
671  }
672  else {
673  break;
674  }
675  }
676  }
677  break;
678 
679  found:
680  pt = ep;
681  is_orphan = 0;
682  break;
683  }
685  }
686  }
687 
688  if (is_orphan) {
689  rb_vm_localjump_error("break from proc-closure", throwobj, TAG_BREAK);
690  }
691  }
692  else if (state == TAG_RETRY) {
693  rb_num_t i;
694  pt = VM_EP_PREV_EP(GET_EP());
695  for (i = 0; i < level; i++) {
696  pt = GC_GUARDED_PTR_REF((VALUE *) * pt);
697  }
698  }
699  else if (state == TAG_RETURN) {
700  rb_control_frame_t *cfp = GET_CFP();
701  VALUE *ep = GET_EP();
702  VALUE *target_lep = VM_CF_LEP(cfp);
703  int in_class_frame = 0;
704 
705  /* check orphan and get dfp */
706  while ((VALUE *) cfp < th->stack + th->stack_size) {
707  VALUE *lep = VM_CF_LEP(cfp);
708 
709  if (!target_lep) {
710  target_lep = lep;
711  }
712 
713  if (lep == target_lep && cfp->iseq->type == ISEQ_TYPE_CLASS) {
714  in_class_frame = 1;
715  target_lep = 0;
716  }
717 
718  if (lep == target_lep) {
719  if (VM_FRAME_TYPE(cfp) == VM_FRAME_MAGIC_LAMBDA) {
720  VALUE *tep = ep;
721 
722  if (in_class_frame) {
723  /* lambda {class A; ... return ...; end} */
724  ep = cfp->ep;
725  goto valid_return;
726  }
727 
728  while (target_lep != tep) {
729  if (cfp->ep == tep) {
730  /* in lambda */
731  ep = cfp->ep;
732  goto valid_return;
733  }
734  tep = VM_EP_PREV_EP(tep);
735  }
736  }
737  }
738 
739  if (cfp->ep == target_lep && cfp->iseq->type == ISEQ_TYPE_METHOD) {
740  ep = target_lep;
741  goto valid_return;
742  }
743 
745  }
746 
747  rb_vm_localjump_error("unexpected return", throwobj, TAG_RETURN);
748 
749  valid_return:
750  pt = ep;
751  }
752  else {
753  rb_bug("isns(throw): unsupport throw type");
754  }
755  }
756  th->state = state;
757  return (VALUE)NEW_THROW_OBJECT(throwobj, (VALUE) pt, state);
758  }
759  else {
760  /* continue throw */
761  VALUE err = throwobj;
762 
763  if (FIXNUM_P(err)) {
764  th->state = FIX2INT(err);
765  }
766  else if (SYMBOL_P(err)) {
767  th->state = TAG_THROW;
768  }
769  else if (BUILTIN_TYPE(err) == T_NODE) {
770  th->state = GET_THROWOBJ_STATE(err);
771  }
772  else {
773  th->state = TAG_RAISE;
774  /*th->state = FIX2INT(rb_ivar_get(err, idThrowState));*/
775  }
776  return err;
777  }
778 }
779 
780 static inline void
782 {
783  int is_splat = flag & 0x01;
784  rb_num_t space_size = num + is_splat;
785  VALUE *base = cfp->sp, *ptr;
786  rb_num_t len;
787 
788  if (!RB_TYPE_P(ary, T_ARRAY)) {
789  ary = rb_ary_to_ary(ary);
790  }
791 
792  cfp->sp += space_size;
793 
794  ptr = RARRAY_PTR(ary);
795  len = (rb_num_t)RARRAY_LEN(ary);
796 
797  if (flag & 0x02) {
798  /* post: ..., nil ,ary[-1], ..., ary[0..-num] # top */
799  rb_num_t i = 0, j;
800 
801  if (len < num) {
802  for (i=0; i<num-len; i++) {
803  *base++ = Qnil;
804  }
805  }
806  for (j=0; i<num; i++, j++) {
807  VALUE v = ptr[len - j - 1];
808  *base++ = v;
809  }
810  if (is_splat) {
811  *base = rb_ary_new4(len - j, ptr);
812  }
813  }
814  else {
815  /* normal: ary[num..-1], ary[num-2], ary[num-3], ..., ary[0] # top */
816  rb_num_t i;
817  VALUE *bptr = &base[space_size - 1];
818 
819  for (i=0; i<num; i++) {
820  if (len <= i) {
821  for (; i<num; i++) {
822  *bptr-- = Qnil;
823  }
824  break;
825  }
826  *bptr-- = ptr[i];
827  }
828  if (is_splat) {
829  if (num > len) {
830  *bptr = rb_ary_new();
831  }
832  else {
833  *bptr = rb_ary_new4(len - num, ptr + num);
834  }
835  }
836  }
837  RB_GC_GUARD(ary);
838 }
839 
841 
842 static void
844 {
845  VALUE klass = CLASS_OF(recv);
846 
847 #if OPT_INLINE_METHOD_CACHE
848  if (LIKELY(GET_VM_STATE_VERSION() == ci->vmstat && klass == ci->klass)) {
849  /* cache hit! */
850  }
851  else {
852  ci->me = rb_method_entry(klass, ci->mid, &ci->defined_class);
853  ci->klass = klass;
855  ci->call = vm_call_general;
856  }
857 #else
858  ci->me = rb_method_entry(klass, ci->mid, &ci->defined_class);
859  ci->call = vm_call_general;
860  ci->klass = klass;
861 #endif
862 }
863 
864 static inline int
866 {
867  if (me && me->def->type == VM_METHOD_TYPE_CFUNC &&
868  me->def->body.cfunc.func == func) {
869  return 1;
870  }
871  else {
872  return 0;
873  }
874 }
875 
876 static
877 #ifndef NO_BIG_INLINE
878 inline
879 #endif
880 VALUE
882 {
883  if (FIXNUM_2_P(recv, obj) &&
885  return (recv == obj) ? Qtrue : Qfalse;
886  }
887  else if (FLONUM_2_P(recv, obj) &&
889  return (recv == obj) ? Qtrue : Qfalse;
890  }
891  else if (!SPECIAL_CONST_P(recv) && !SPECIAL_CONST_P(obj)) {
892  if (HEAP_CLASS_OF(recv) == rb_cFloat &&
893  HEAP_CLASS_OF(obj) == rb_cFloat &&
895  double a = RFLOAT_VALUE(recv);
896  double b = RFLOAT_VALUE(obj);
897 
898  if (isnan(a) || isnan(b)) {
899  return Qfalse;
900  }
901  return (a == b) ? Qtrue : Qfalse;
902  }
903  else if (HEAP_CLASS_OF(recv) == rb_cString &&
904  HEAP_CLASS_OF(obj) == rb_cString &&
906  return rb_str_equal(recv, obj);
907  }
908  }
909 
910  {
911  vm_search_method(ci, recv);
912 
913  if (check_cfunc(ci->me, rb_obj_equal)) {
914  return recv == obj ? Qtrue : Qfalse;
915  }
916  }
917 
918  return Qundef;
919 }
920 
921 static VALUE
922 vm_call0(rb_thread_t*, VALUE, ID, int, const VALUE*, const rb_method_entry_t*, VALUE);
923 
924 static VALUE
926 {
927  switch (type) {
929  return pattern;
931  if (!rb_obj_is_kind_of(pattern, rb_cModule)) {
932  rb_raise(rb_eTypeError, "class or module required for rescue clause");
933  }
934  /* fall through */
936  VALUE defined_class;
937  rb_method_entry_t *me = rb_method_entry_with_refinements(CLASS_OF(pattern), idEqq, &defined_class);
938  if (me) {
939  return vm_call0(GET_THREAD(), pattern, idEqq, 1, &target, me, defined_class);
940  }
941  else {
942  /* fallback to funcall (e.g. method_missing) */
943  return rb_funcall2(pattern, idEqq, 1, &target);
944  }
945  }
946  default:
947  rb_bug("check_match: unreachable");
948  }
949 }
950 
951 
952 #if defined(_MSC_VER) && _MSC_VER < 1300
953 #define CHECK_CMP_NAN(a, b) if (isnan(a) || isnan(b)) return Qfalse;
954 #else
955 #define CHECK_CMP_NAN(a, b) /* do nothing */
956 #endif
957 
958 static inline VALUE
959 double_cmp_lt(double a, double b)
960 {
961  CHECK_CMP_NAN(a, b);
962  return a < b ? Qtrue : Qfalse;
963 }
964 
965 static inline VALUE
966 double_cmp_le(double a, double b)
967 {
968  CHECK_CMP_NAN(a, b);
969  return a <= b ? Qtrue : Qfalse;
970 }
971 
972 static inline VALUE
973 double_cmp_gt(double a, double b)
974 {
975  CHECK_CMP_NAN(a, b);
976  return a > b ? Qtrue : Qfalse;
977 }
978 
979 static inline VALUE
980 double_cmp_ge(double a, double b)
981 {
982  CHECK_CMP_NAN(a, b);
983  return a >= b ? Qtrue : Qfalse;
984 }
985 
986 static VALUE *
988 {
990  VALUE *bp = prev_cfp->sp + cfp->iseq->local_size + 1;
991 
992  if (cfp->iseq->type == ISEQ_TYPE_METHOD) {
993  /* adjust `self' */
994  bp += 1;
995  }
996 
997 #if VM_DEBUG_BP_CHECK
998  if (bp != cfp->bp_check) {
999  fprintf(stderr, "bp_check: %ld, bp: %ld\n",
1000  (long)(cfp->bp_check - GET_THREAD()->stack),
1001  (long)(bp - GET_THREAD()->stack));
1002  rb_bug("vm_base_ptr: unreachable");
1003  }
1004 #endif
1005 
1006  return bp;
1007 }
1008 
1009 /* method call processes with call_info */
1010 
1011 static void
1013 {
1014 #define SAVE_RESTORE_CI(expr, ci) do { \
1015  int saved_argc = (ci)->argc; rb_block_t *saved_blockptr = (ci)->blockptr; /* save */ \
1016  expr; \
1017  (ci)->argc = saved_argc; (ci)->blockptr = saved_blockptr; /* restore */ \
1018 } while (0)
1019 
1020  if (UNLIKELY(ci->flag & VM_CALL_ARGS_BLOCKARG)) {
1021  rb_proc_t *po;
1022  VALUE proc;
1023 
1024  proc = *(--cfp->sp);
1025 
1026  if (proc != Qnil) {
1027  if (!rb_obj_is_proc(proc)) {
1028  VALUE b;
1029 
1030  SAVE_RESTORE_CI(b = rb_check_convert_type(proc, T_DATA, "Proc", "to_proc"), ci);
1031 
1032  if (NIL_P(b) || !rb_obj_is_proc(b)) {
1034  "wrong argument type %s (expected Proc)",
1035  rb_obj_classname(proc));
1036  }
1037  proc = b;
1038  }
1039  GetProcPtr(proc, po);
1040  ci->blockptr = &po->block;
1041  RUBY_VM_GET_BLOCK_PTR_IN_CFP(cfp)->proc = proc;
1042  }
1043  }
1044  else if (ci->blockiseq != 0) { /* likely */
1046  ci->blockptr->iseq = ci->blockiseq;
1047  ci->blockptr->proc = 0;
1048  }
1049 
1050  /* expand top of stack? */
1051 
1052  if (UNLIKELY(ci->flag & VM_CALL_ARGS_SPLAT)) {
1053  VALUE ary = *(cfp->sp - 1);
1054  VALUE *ptr;
1055  int i;
1056  VALUE tmp;
1057 
1058  SAVE_RESTORE_CI(tmp = rb_check_convert_type(ary, T_ARRAY, "Array", "to_a"), ci);
1059 
1060  if (NIL_P(tmp)) {
1061  /* do nothing */
1062  }
1063  else {
1064  long len = RARRAY_LEN(tmp);
1065  ptr = RARRAY_PTR(tmp);
1066  cfp->sp -= 1;
1067 
1068  CHECK_VM_STACK_OVERFLOW(cfp, len);
1069 
1070  for (i = 0; i < len; i++) {
1071  *cfp->sp++ = ptr[i];
1072  }
1073  ci->argc += i-1;
1074  }
1075  }
1076 }
1077 
1078 static int
1080 {
1081  VALUE *kwdhash = (VALUE *)arg;
1082 
1083  if (!SYMBOL_P(key)) kwdhash++;
1084  if (!*kwdhash) *kwdhash = rb_hash_new();
1085  rb_hash_aset(*kwdhash, (VALUE)key, (VALUE)value);
1086  return ST_CONTINUE;
1087 }
1088 
1089 static VALUE
1091 {
1092  VALUE parthash[2] = {0, 0};
1093  VALUE hash = *orighash;
1094 
1095  if (RHASH_EMPTY_P(hash)) {
1096  *orighash = 0;
1097  return hash;
1098  }
1099  st_foreach(RHASH_TBL(hash), separate_symbol, (st_data_t)&parthash);
1100  *orighash = parthash[1];
1101  return parthash[0];
1102 }
1103 
1104 static inline int
1105 vm_callee_setup_keyword_arg(const rb_iseq_t *iseq, int argc, int m, VALUE *orig_argv, VALUE *kwd)
1106 {
1107  VALUE keyword_hash, orig_hash;
1108  int i, j;
1109 
1110  if (argc > m &&
1111  !NIL_P(orig_hash = rb_check_hash_type(orig_argv[argc-1])) &&
1112  (keyword_hash = extract_keywords(&orig_hash)) != 0) {
1113  if (!orig_hash) {
1114  argc--;
1115  }
1116  else {
1117  orig_argv[argc-1] = orig_hash;
1118  }
1119  if (iseq->arg_keyword_check) {
1120  for (i = j = 0; i < iseq->arg_keywords; i++) {
1121  if (st_lookup(RHASH_TBL(keyword_hash), ID2SYM(iseq->arg_keyword_table[i]), 0)) j++;
1122  }
1123  if (RHASH_TBL(keyword_hash)->num_entries > (unsigned int) j) {
1124  unknown_keyword_error(iseq, keyword_hash);
1125  }
1126  }
1127  }
1128  else {
1129  keyword_hash = rb_hash_new();
1130  }
1131 
1132  *kwd = keyword_hash;
1133 
1134  return argc;
1135 }
1136 
1137 static inline int
1139 {
1140  const int m = iseq->argc;
1141  const int opts = iseq->arg_opts - (iseq->arg_opts > 0);
1142  const int min = m + iseq->arg_post_len;
1143  const int max = (iseq->arg_rest == -1) ? m + opts + iseq->arg_post_len : UNLIMITED_ARGUMENTS;
1144  const int orig_argc = ci->argc;
1145  int argc = orig_argc;
1146  VALUE *argv = orig_argv;
1147  VALUE keyword_hash = Qnil;
1148  rb_num_t opt_pc = 0;
1149 
1150  th->mark_stack_len = argc + iseq->arg_size;
1151 
1152  /* keyword argument */
1153  if (iseq->arg_keyword != -1) {
1154  argc = vm_callee_setup_keyword_arg(iseq, argc, m, orig_argv, &keyword_hash);
1155  }
1156 
1157  /* mandatory */
1158  if ((argc < min) || (argc > max && max != UNLIMITED_ARGUMENTS)) {
1159  argument_error(iseq, argc, min, max);
1160  }
1161 
1162  argv += m;
1163  argc -= m;
1164 
1165  /* post arguments */
1166  if (iseq->arg_post_len) {
1167  if (!(orig_argc < iseq->arg_post_start)) {
1168  VALUE *new_argv = ALLOCA_N(VALUE, argc);
1169  MEMCPY(new_argv, argv, VALUE, argc);
1170  argv = new_argv;
1171  }
1172 
1173  MEMCPY(&orig_argv[iseq->arg_post_start], &argv[argc -= iseq->arg_post_len],
1174  VALUE, iseq->arg_post_len);
1175  }
1176 
1177  /* opt arguments */
1178  if (iseq->arg_opts) {
1179  if (argc > opts) {
1180  argc -= opts;
1181  argv += opts;
1182  opt_pc = iseq->arg_opt_table[opts]; /* no opt */
1183  }
1184  else {
1185  int i;
1186  for (i = argc; i<opts; i++) {
1187  orig_argv[i + m] = Qnil;
1188  }
1189  opt_pc = iseq->arg_opt_table[argc];
1190  argc = 0;
1191  }
1192  }
1193 
1194  /* rest arguments */
1195  if (iseq->arg_rest != -1) {
1196  orig_argv[iseq->arg_rest] = rb_ary_new4(argc, argv);
1197  argc = 0;
1198  }
1199 
1200  /* keyword argument */
1201  if (iseq->arg_keyword != -1) {
1202  orig_argv[iseq->arg_keyword] = keyword_hash;
1203  }
1204 
1205  /* block arguments */
1206  if (iseq->arg_block != -1) {
1207  VALUE blockval = Qnil;
1208  const rb_block_t *blockptr = ci->blockptr;
1209 
1210  if (blockptr) {
1211  /* make Proc object */
1212  if (blockptr->proc == 0) {
1213  rb_proc_t *proc;
1214  blockval = rb_vm_make_proc(th, blockptr, rb_cProc);
1215  GetProcPtr(blockval, proc);
1216  ci->blockptr = &proc->block;
1217  }
1218  else {
1219  blockval = blockptr->proc;
1220  }
1221  }
1222 
1223  orig_argv[iseq->arg_block] = blockval; /* Proc or nil */
1224  }
1225 
1226  th->mark_stack_len = 0;
1227  return (int)opt_pc;
1228 }
1229 
1233 
1234 static inline void
1236  VALUE *argv, int is_lambda)
1237 {
1238  if (LIKELY(iseq->arg_simple & 0x01)) {
1239  /* simple check */
1240  if (ci->argc != iseq->argc) {
1241  argument_error(iseq, ci->argc, iseq->argc, iseq->argc);
1242  }
1243  ci->aux.opt_pc = 0;
1244  CI_SET_FASTPATH(ci,
1245  (UNLIKELY(ci->flag & VM_CALL_TAILCALL) ?
1248  (!is_lambda &&
1249  !(ci->flag & VM_CALL_ARGS_SPLAT) && /* argc may differ for each calls */
1250  !(ci->me->flag & NOEX_PROTECTED)));
1251  }
1252  else {
1253  ci->aux.opt_pc = vm_callee_setup_arg_complex(th, ci, iseq, argv);
1254  }
1255 }
1256 
1257 static VALUE
1259 {
1260  vm_callee_setup_arg(th, ci, ci->me->def->body.iseq, cfp->sp - ci->argc, 0);
1261  return vm_call_iseq_setup_2(th, cfp, ci);
1262 }
1263 
1264 static VALUE
1266 {
1267  if (LIKELY(!(ci->flag & VM_CALL_TAILCALL))) {
1268  return vm_call_iseq_setup_normal(th, cfp, ci);
1269  }
1270  else {
1271  return vm_call_iseq_setup_tailcall(th, cfp, ci);
1272  }
1273 }
1274 
1275 static inline VALUE
1277 {
1278  int i;
1279  VALUE *argv = cfp->sp - ci->argc;
1280  rb_iseq_t *iseq = ci->me->def->body.iseq;
1281  VALUE *sp = argv + iseq->arg_size;
1282 
1283  CHECK_VM_STACK_OVERFLOW(cfp, iseq->stack_max);
1284 
1285  /* clear local variables */
1286  for (i = 0; i < iseq->local_size - iseq->arg_size; i++) {
1287  *sp++ = Qnil;
1288  }
1289 
1292  iseq->iseq_encoded + ci->aux.opt_pc, sp, 0, ci->me);
1293 
1294  cfp->sp = argv - 1 /* recv */;
1295  return Qundef;
1296 }
1297 
1298 static inline VALUE
1300 {
1301  int i;
1302  VALUE *argv = cfp->sp - ci->argc;
1303  rb_iseq_t *iseq = ci->me->def->body.iseq;
1304  VALUE *src_argv = argv;
1305  VALUE *sp_orig, *sp;
1306  VALUE finish_flag = VM_FRAME_TYPE_FINISH_P(cfp) ? VM_FRAME_FLAG_FINISH : 0;
1307 
1308  cfp = th->cfp = RUBY_VM_PREVIOUS_CONTROL_FRAME(th->cfp); /* pop cf */
1309 
1310  CHECK_VM_STACK_OVERFLOW(cfp, iseq->stack_max);
1311  RUBY_VM_CHECK_INTS(th);
1312 
1313  sp_orig = sp = cfp->sp;
1314 
1315  /* push self */
1316  sp[0] = ci->recv;
1317  sp++;
1318 
1319  /* copy arguments */
1320  for (i=0; i < iseq->arg_size; i++) {
1321  *sp++ = src_argv[i];
1322  }
1323 
1324  /* clear local variables */
1325  for (i = 0; i < iseq->local_size - iseq->arg_size; i++) {
1326  *sp++ = Qnil;
1327  }
1328 
1329  vm_push_frame(th, iseq, VM_FRAME_MAGIC_METHOD | finish_flag,
1331  iseq->iseq_encoded + ci->aux.opt_pc, sp, 0, ci->me);
1332 
1333  cfp->sp = sp_orig;
1334  return Qundef;
1335 }
1336 
1337 static VALUE
1339 {
1340  return (*func)(recv, rb_ary_new4(argc, argv));
1341 }
1342 
1343 static VALUE
1345 {
1346  return (*func)(argc, argv, recv);
1347 }
1348 
1349 static VALUE
1351 {
1352  return (*func)(recv);
1353 }
1354 
1355 static VALUE
1357 {
1358  return (*func)(recv, argv[0]);
1359 }
1360 
1361 static VALUE
1363 {
1364  return (*func)(recv, argv[0], argv[1]);
1365 }
1366 
1367 static VALUE
1369 {
1370  return (*func)(recv, argv[0], argv[1], argv[2]);
1371 }
1372 
1373 static VALUE
1375 {
1376  return (*func)(recv, argv[0], argv[1], argv[2], argv[3]);
1377 }
1378 
1379 static VALUE
1381 {
1382  return (*func)(recv, argv[0], argv[1], argv[2], argv[3], argv[4]);
1383 }
1384 
1385 static VALUE
1387 {
1388  return (*func)(recv, argv[0], argv[1], argv[2], argv[3], argv[4], argv[5]);
1389 }
1390 
1391 static VALUE
1393 {
1394  return (*func)(recv, argv[0], argv[1], argv[2], argv[3], argv[4], argv[5], argv[6]);
1395 }
1396 
1397 static VALUE
1399 {
1400  return (*func)(recv, argv[0], argv[1], argv[2], argv[3], argv[4], argv[5], argv[6], argv[7]);
1401 }
1402 
1403 static VALUE
1405 {
1406  return (*func)(recv, argv[0], argv[1], argv[2], argv[3], argv[4], argv[5], argv[6], argv[7], argv[8]);
1407 }
1408 
1409 static VALUE
1411 {
1412  return (*func)(recv, argv[0], argv[1], argv[2], argv[3], argv[4], argv[5], argv[6], argv[7], argv[8], argv[9]);
1413 }
1414 
1415 static VALUE
1417 {
1418  return (*func)(recv, argv[0], argv[1], argv[2], argv[3], argv[4], argv[5], argv[6], argv[7], argv[8], argv[9], argv[10]);
1419 }
1420 
1421 static VALUE
1423 {
1424  return (*func)(recv, argv[0], argv[1], argv[2], argv[3], argv[4], argv[5], argv[6], argv[7], argv[8], argv[9], argv[10], argv[11]);
1425 }
1426 
1427 static VALUE
1429 {
1430  return (*func)(recv, argv[0], argv[1], argv[2], argv[3], argv[4], argv[5], argv[6], argv[7], argv[8], argv[9], argv[10], argv[11], argv[12]);
1431 }
1432 
1433 static VALUE
1435 {
1436  return (*func)(recv, argv[0], argv[1], argv[2], argv[3], argv[4], argv[5], argv[6], argv[7], argv[8], argv[9], argv[10], argv[11], argv[12], argv[13]);
1437 }
1438 
1439 static VALUE
1441 {
1442  return (*func)(recv, argv[0], argv[1], argv[2], argv[3], argv[4], argv[5], argv[6], argv[7], argv[8], argv[9], argv[10], argv[11], argv[12], argv[13], argv[14]);
1443 }
1444 
1445 #ifndef VM_PROFILE
1446 #define VM_PROFILE 0
1447 #endif
1448 
1449 #if VM_PROFILE
1450 static int vm_profile_counter[4];
1451 #define VM_PROFILE_UP(x) (vm_profile_counter[x]++)
1452 #define VM_PROFILE_ATEXIT() atexit(vm_profile_show_result)
1453 static void vm_profile_show_result(void)
1454 {
1455  fprintf(stderr, "VM Profile results: \n");
1456  fprintf(stderr, "r->c call: %d\n", vm_profile_counter[0]);
1457  fprintf(stderr, "r->c popf: %d\n", vm_profile_counter[1]);
1458  fprintf(stderr, "c->c call: %d\n", vm_profile_counter[2]);
1459  fprintf(stderr, "r->c popf: %d\n", vm_profile_counter[3]);
1460 }
1461 #else
1462 #define VM_PROFILE_UP(x)
1463 #define VM_PROFILE_ATEXIT()
1464 #endif
1465 
1466 static VALUE
1468 {
1469  VALUE val;
1470  const rb_method_entry_t *me = ci->me;
1471  const rb_method_cfunc_t *cfunc = &me->def->body.cfunc;
1472  int len = cfunc->argc;
1473 
1474  /* don't use `ci' after EXEC_EVENT_HOOK because ci can be override */
1475  VALUE recv = ci->recv;
1476  VALUE defined_class = ci->defined_class;
1477  rb_block_t *blockptr = ci->blockptr;
1478  int argc = ci->argc;
1479 
1481  EXEC_EVENT_HOOK(th, RUBY_EVENT_C_CALL, recv, me->called_id, me->klass, Qundef);
1482 
1483  vm_push_frame(th, 0, VM_FRAME_MAGIC_CFUNC, recv, defined_class,
1484  VM_ENVVAL_BLOCK_PTR(blockptr), 0, th->cfp->sp, 1, me);
1485 
1486  if (len >= 0) rb_check_arity(argc, len, len);
1487 
1488  reg_cfp->sp -= argc + 1;
1489  VM_PROFILE_UP(0);
1490  val = (*cfunc->invoker)(cfunc->func, recv, argc, reg_cfp->sp + 1);
1491 
1492  if (reg_cfp != th->cfp + 1) {
1493  rb_bug("vm_call_cfunc - cfp consistency error");
1494  }
1495 
1496  vm_pop_frame(th);
1497 
1498  EXEC_EVENT_HOOK(th, RUBY_EVENT_C_RETURN, recv, me->called_id, me->klass, val);
1500 
1501  return val;
1502 }
1503 
1504 #if OPT_CALL_CFUNC_WITHOUT_FRAME
1505 static VALUE
1506 vm_call_cfunc_latter(rb_thread_t *th, rb_control_frame_t *reg_cfp, rb_call_info_t *ci)
1507 {
1508  VALUE val;
1509  int argc = ci->argc;
1510  VALUE *argv = STACK_ADDR_FROM_TOP(argc);
1511  const rb_method_cfunc_t *cfunc = &ci->me->def->body.cfunc;
1512 
1513  th->passed_ci = ci;
1514  reg_cfp->sp -= argc + 1;
1515  ci->aux.inc_sp = argc + 1;
1516  VM_PROFILE_UP(0);
1517  val = (*cfunc->invoker)(cfunc->func, ci, argv);
1518 
1519  /* check */
1520  if (reg_cfp == th->cfp) { /* no frame push */
1521  if (UNLIKELY(th->passed_ci != ci)) {
1522  rb_bug("vm_call_cfunc_latter: passed_ci error (ci: %p, passed_ci: %p)", ci, th->passed_ci);
1523  }
1524  th->passed_ci = 0;
1525  }
1526  else {
1527  if (UNLIKELY(reg_cfp != RUBY_VM_PREVIOUS_CONTROL_FRAME(th->cfp))) {
1528  rb_bug("vm_call_cfunc_latter: cfp consistency error (%p, %p)", reg_cfp, th->cfp+1);
1529  }
1530  vm_pop_frame(th);
1531  VM_PROFILE_UP(1);
1532  }
1533 
1534  return val;
1535 }
1536 
1537 static VALUE
1539 {
1540  VALUE val;
1541  const rb_method_entry_t *me = ci->me;
1542  int len = me->def->body.cfunc.argc;
1543  VALUE recv = ci->recv;
1544 
1545  if (len >= 0) rb_check_arity(ci->argc, len, len);
1546 
1548  EXEC_EVENT_HOOK(th, RUBY_EVENT_C_CALL, recv, me->called_id, me->klass, Qnil);
1549 
1550  if (!(ci->me->flag & NOEX_PROTECTED) &&
1551  !(ci->flag & VM_CALL_ARGS_SPLAT)) {
1552  CI_SET_FASTPATH(ci, vm_call_cfunc_latter, 1);
1553  }
1554  val = vm_call_cfunc_latter(th, reg_cfp, ci);
1555 
1556  EXEC_EVENT_HOOK(th, RUBY_EVENT_C_RETURN, recv, me->called_id, me->klass, val);
1558 
1559  return val;
1560 }
1561 
1562 void
1563 vm_call_cfunc_push_frame(rb_thread_t *th)
1564 {
1565  rb_call_info_t *ci = th->passed_ci;
1566  const rb_method_entry_t *me = ci->me;
1567  th->passed_ci = 0;
1568 
1570  VM_ENVVAL_BLOCK_PTR(ci->blockptr), 0, th->cfp->sp + ci->aux.inc_sp, 1, me);
1571 
1572  if (ci->call != vm_call_general) {
1574  }
1575 }
1576 #else /* OPT_CALL_CFUNC_WITHOUT_FRAME */
1577 static VALUE
1579 {
1580  return vm_call_cfunc_with_frame(th, reg_cfp, ci);
1581 }
1582 #endif
1583 
1584 static VALUE
1586 {
1587  VALUE val = vm_getivar(ci->recv, ci->me->def->body.attr.id, 0, ci, 1);
1588  cfp->sp -= 1;
1589  return val;
1590 }
1591 
1592 static VALUE
1594 {
1595  VALUE val = vm_setivar(ci->recv, ci->me->def->body.attr.id, *(cfp->sp - 1), 0, ci, 1);
1596  cfp->sp -= 2;
1597  return val;
1598 }
1599 
1600 static inline VALUE
1602 {
1603  rb_proc_t *proc;
1604  VALUE val;
1605 
1607  EXEC_EVENT_HOOK(th, RUBY_EVENT_CALL, ci->recv, ci->me->called_id, ci->me->klass, Qnil);
1608 
1609  /* control block frame */
1610  th->passed_me = ci->me;
1611  GetProcPtr(ci->me->def->body.proc, proc);
1612  val = vm_invoke_proc(th, proc, ci->recv, ci->defined_class, ci->argc, argv, ci->blockptr);
1613 
1614  EXEC_EVENT_HOOK(th, RUBY_EVENT_RETURN, ci->recv, ci->me->called_id, ci->me->klass, val);
1616 
1617  return val;
1618 }
1619 
1620 static VALUE
1622 {
1623  VALUE *argv = ALLOCA_N(VALUE, ci->argc);
1624  MEMCPY(argv, cfp->sp - ci->argc, VALUE, ci->argc);
1625  cfp->sp += - ci->argc - 1;
1626 
1627  return vm_call_bmethod_body(th, ci, argv);
1628 }
1629 
1630 static
1631 #ifdef _MSC_VER
1632 __forceinline
1633 #else
1634 inline
1635 #endif
1637 
1638 static VALUE
1640 {
1641  int i = ci->argc - 1;
1642  VALUE sym;
1643  rb_call_info_t ci_entry;
1644 
1645  if (ci->argc == 0) {
1646  rb_raise(rb_eArgError, "no method name given");
1647  }
1648 
1649  ci_entry = *ci; /* copy ci entry */
1650  ci = &ci_entry;
1651 
1652  sym = TOPN(i);
1653 
1654  if (SYMBOL_P(sym)) {
1655  ci->mid = SYM2ID(sym);
1656  }
1657  else if (!(ci->mid = rb_check_id(&sym))) {
1658  if (rb_method_basic_definition_p(CLASS_OF(ci->recv), idMethodMissing)) {
1660  rb_exc_raise(exc);
1661  }
1662  ci->mid = rb_to_id(sym);
1663  }
1664 
1665  /* shift arguments */
1666  if (i > 0) {
1667  MEMMOVE(&TOPN(i), &TOPN(i-1), VALUE, i);
1668  }
1669  ci->me =
1671  ci->mid, &ci->defined_class);
1672  ci->argc -= 1;
1673  DEC_SP(1);
1674 
1676 
1677  return vm_call_method(th, reg_cfp, ci);
1678 }
1679 
1680 static VALUE
1682 {
1683  rb_proc_t *proc;
1684  int argc = ci->argc;
1685  VALUE *argv = ALLOCA_N(VALUE, argc);
1686  GetProcPtr(ci->recv, proc);
1687  MEMCPY(argv, cfp->sp - argc, VALUE, argc);
1688  cfp->sp -= argc + 1;
1689 
1690  return rb_vm_invoke_proc(th, proc, argc, argv, ci->blockptr);
1691 }
1692 
1693 static VALUE
1695 {
1696  VALUE *argv = STACK_ADDR_FROM_TOP(ci->argc);
1697  rb_call_info_t ci_entry;
1698 
1699  ci_entry.flag = VM_CALL_FCALL | VM_CALL_OPT_SEND;
1700  ci_entry.argc = ci->argc+1;
1701  ci_entry.mid = idMethodMissing;
1702  ci_entry.blockptr = ci->blockptr;
1703  ci_entry.recv = ci->recv;
1704  ci_entry.me = rb_method_entry(CLASS_OF(ci_entry.recv), idMethodMissing, &ci_entry.defined_class);
1705 
1706  /* shift arguments: m(a, b, c) #=> method_missing(:m, a, b, c) */
1707  CHECK_VM_STACK_OVERFLOW(reg_cfp, 1);
1708  if (ci->argc > 0) {
1709  MEMMOVE(argv+1, argv, VALUE, ci->argc);
1710  }
1711  argv[0] = ID2SYM(ci->mid);
1712  INC_SP(1);
1713 
1715  return vm_call_method(th, reg_cfp, &ci_entry);
1716 }
1717 
1718 static inline VALUE
1720 {
1721  if (NIL_P(refinements)) {
1722  return Qnil;
1723  }
1724  return rb_hash_lookup(refinements, klass);
1725 }
1726 
1729 
1730 static rb_control_frame_t *
1732 {
1733  rb_control_frame_t *top_cfp = cfp;
1734 
1735  if (cfp->iseq && cfp->iseq->type == ISEQ_TYPE_BLOCK) {
1736  rb_iseq_t *local_iseq = cfp->iseq->local_iseq;
1737  do {
1738  cfp = RUBY_VM_PREVIOUS_CONTROL_FRAME(cfp);
1740  /* TODO: orphan block */
1741  return top_cfp;
1742  }
1743  } while (cfp->iseq != local_iseq);
1744  }
1745  return cfp;
1746 }
1747 
1748 static
1749 #ifdef _MSC_VER
1750 __forceinline
1751 #else
1752 inline
1753 #endif
1754 VALUE
1756 {
1757  int enable_fastpath = 1;
1758  rb_call_info_t ci_temp;
1759 
1760  start_method_dispatch:
1761  if (ci->me != 0) {
1762  if ((ci->me->flag == 0)) {
1763  VALUE klass;
1764 
1765  normal_method_dispatch:
1766  switch (ci->me->def->type) {
1767  case VM_METHOD_TYPE_ISEQ:{
1768  CI_SET_FASTPATH(ci, vm_call_iseq_setup, enable_fastpath);
1769  return vm_call_iseq_setup(th, cfp, ci);
1770  }
1772  case VM_METHOD_TYPE_CFUNC:
1773  CI_SET_FASTPATH(ci, vm_call_cfunc, enable_fastpath);
1774  return vm_call_cfunc(th, cfp, ci);
1775  case VM_METHOD_TYPE_ATTRSET:{
1776  rb_check_arity(ci->argc, 1, 1);
1777  ci->aux.index = 0;
1778  CI_SET_FASTPATH(ci, vm_call_attrset, enable_fastpath && !(ci->flag & VM_CALL_ARGS_SPLAT));
1779  return vm_call_attrset(th, cfp, ci);
1780  }
1781  case VM_METHOD_TYPE_IVAR:{
1782  rb_check_arity(ci->argc, 0, 0);
1783  ci->aux.index = 0;
1784  CI_SET_FASTPATH(ci, vm_call_ivar, enable_fastpath && !(ci->flag & VM_CALL_ARGS_SPLAT));
1785  return vm_call_ivar(th, cfp, ci);
1786  }
1787  case VM_METHOD_TYPE_MISSING:{
1788  ci->aux.missing_reason = 0;
1789  CI_SET_FASTPATH(ci, vm_call_method_missing, enable_fastpath);
1790  return vm_call_method_missing(th, cfp, ci);
1791  }
1792  case VM_METHOD_TYPE_BMETHOD:{
1793  CI_SET_FASTPATH(ci, vm_call_bmethod, enable_fastpath);
1794  return vm_call_bmethod(th, cfp, ci);
1795  }
1796  case VM_METHOD_TYPE_ZSUPER:{
1797  klass = ci->me->klass;
1798  klass = RCLASS_ORIGIN(klass);
1799  zsuper_method_dispatch:
1800  klass = RCLASS_SUPER(klass);
1801  ci_temp = *ci;
1802  ci = &ci_temp;
1803 
1804  ci->me = rb_method_entry(klass, ci->mid, &ci->defined_class);
1805 
1806  if (ci->me != 0) {
1807  goto normal_method_dispatch;
1808  }
1809  else {
1810  goto start_method_dispatch;
1811  }
1812  }
1814  switch (ci->me->def->body.optimize_type) {
1815  case OPTIMIZED_METHOD_TYPE_SEND:
1816  CI_SET_FASTPATH(ci, vm_call_opt_send, enable_fastpath);
1817  return vm_call_opt_send(th, cfp, ci);
1818  case OPTIMIZED_METHOD_TYPE_CALL:
1819  CI_SET_FASTPATH(ci, vm_call_opt_call, enable_fastpath);
1820  return vm_call_opt_call(th, cfp, ci);
1821  default:
1822  rb_bug("vm_call_method: unsupported optimized method type (%d)",
1823  ci->me->def->body.optimize_type);
1824  }
1825  break;
1826  }
1827  case VM_METHOD_TYPE_UNDEF:
1828  break;
1829  case VM_METHOD_TYPE_REFINED:{
1830  NODE *cref = rb_vm_get_cref(cfp->iseq, cfp->ep);
1831  VALUE refinements = cref ? cref->nd_refinements : Qnil;
1832  VALUE refinement, defined_class;
1833  rb_method_entry_t *me;
1834 
1835  refinement = find_refinement(refinements,
1836  ci->defined_class);
1837  if (NIL_P(refinement)) {
1838  goto no_refinement_dispatch;
1839  }
1840  me = rb_method_entry(refinement, ci->mid, &defined_class);
1841  if (me) {
1842  if (ci->call == vm_call_super_method) {
1843  rb_control_frame_t *top_cfp = current_method_entry(th, cfp);
1844  if (top_cfp->me &&
1845  rb_method_definition_eq(me->def, top_cfp->me->def)) {
1846  goto no_refinement_dispatch;
1847  }
1848  }
1849  ci->me = me;
1850  ci->defined_class = defined_class;
1851  if (me->def->type != VM_METHOD_TYPE_REFINED) {
1852  goto start_method_dispatch;
1853  }
1854  }
1855 
1856  no_refinement_dispatch:
1857  if (ci->me->def->body.orig_me) {
1858  ci->me = ci->me->def->body.orig_me;
1859  if (UNDEFINED_METHOD_ENTRY_P(ci->me)) {
1860  ci->me = 0;
1861  }
1862  goto start_method_dispatch;
1863  }
1864  else {
1865  klass = ci->me->klass;
1866  goto zsuper_method_dispatch;
1867  }
1868  }
1869  }
1870  rb_bug("vm_call_method: unsupported method type (%d)", ci->me->def->type);
1871  }
1872  else {
1873  int noex_safe;
1874  if (!(ci->flag & VM_CALL_FCALL) && (ci->me->flag & NOEX_MASK) & NOEX_PRIVATE) {
1875  int stat = NOEX_PRIVATE;
1876 
1877  if (ci->flag & VM_CALL_VCALL) {
1878  stat |= NOEX_VCALL;
1879  }
1880  ci->aux.missing_reason = stat;
1882  return vm_call_method_missing(th, cfp, ci);
1883  }
1884  else if (!(ci->flag & VM_CALL_OPT_SEND) && (ci->me->flag & NOEX_MASK) & NOEX_PROTECTED) {
1885  enable_fastpath = 0;
1886  if (!rb_obj_is_kind_of(cfp->self, ci->defined_class)) {
1888  return vm_call_method_missing(th, cfp, ci);
1889  }
1890  else {
1891  goto normal_method_dispatch;
1892  }
1893  }
1894  else if ((noex_safe = NOEX_SAFE(ci->me->flag)) > th->safe_level && (noex_safe > 2)) {
1895  rb_raise(rb_eSecurityError, "calling insecure method: %s", rb_id2name(ci->mid));
1896  }
1897  else {
1898  goto normal_method_dispatch;
1899  }
1900  }
1901  }
1902  else {
1903  /* method missing */
1904  int stat = 0;
1905  if (ci->flag & VM_CALL_VCALL) {
1906  stat |= NOEX_VCALL;
1907  }
1908  if (ci->flag & VM_CALL_SUPER) {
1909  stat |= NOEX_SUPER;
1910  }
1911  if (ci->mid == idMethodMissing) {
1912  rb_control_frame_t *reg_cfp = cfp;
1913  VALUE *argv = STACK_ADDR_FROM_TOP(ci->argc);
1914  rb_raise_method_missing(th, ci->argc, argv, ci->recv, stat);
1915  }
1916  else {
1917  ci->aux.missing_reason = stat;
1919  return vm_call_method_missing(th, cfp, ci);
1920  }
1921  }
1922 
1923  rb_bug("vm_call_method: unreachable");
1924 }
1925 
1926 static VALUE
1928 {
1929  return vm_call_method(th, reg_cfp, ci);
1930 }
1931 
1932 static VALUE
1934 {
1935  return vm_call_method(th, reg_cfp, ci);
1936 }
1937 
1938 /* super */
1939 
1940 static inline VALUE
1942 {
1943  if (BUILTIN_TYPE(klass) == T_ICLASS &&
1944  FL_TEST(RBASIC(klass)->klass, RMODULE_IS_REFINEMENT)) {
1945  klass = RBASIC(klass)->klass;
1946  }
1947  klass = RCLASS_ORIGIN(klass);
1948  return RCLASS_SUPER(klass);
1949 }
1950 
1951 static void
1953 {
1954  rb_raise(rb_eNoMethodError, "super called outside of method");
1955 }
1956 
1957 static int
1959 {
1960  while (iseq && !iseq->klass) {
1961  iseq = iseq->parent_iseq;
1962  }
1963 
1964  if (iseq == 0) {
1965  return -1;
1966  }
1967 
1968  ci->mid = iseq->defined_method_id;
1969 
1970  if (iseq != iseq->local_iseq) {
1971  /* defined by Module#define_method() */
1972  rb_control_frame_t *lcfp = GET_CFP();
1973 
1974  if (!sigval) {
1975  /* zsuper */
1976  return -2;
1977  }
1978 
1979  while (lcfp->iseq != iseq) {
1980  rb_thread_t *th = GET_THREAD();
1981  VALUE *tep = VM_EP_PREV_EP(lcfp->ep);
1982  while (1) {
1983  lcfp = RUBY_VM_PREVIOUS_CONTROL_FRAME(lcfp);
1985  return -1;
1986  }
1987  if (lcfp->ep == tep) {
1988  break;
1989  }
1990  }
1991  }
1992 
1993  /* temporary measure for [Bug #2420] [Bug #3136] */
1994  if (!lcfp->me) {
1995  return -1;
1996  }
1997 
1998  ci->mid = lcfp->me->def->original_id;
2000  }
2001  else {
2002  ci->klass = vm_search_normal_superclass(reg_cfp->klass);
2003  }
2004 
2005  return 0;
2006 }
2007 
2008 static void
2010 {
2011  VALUE current_defined_class;
2012  rb_iseq_t *iseq = GET_ISEQ();
2013  VALUE sigval = TOPN(ci->argc);
2014 
2015  current_defined_class = GET_CFP()->klass;
2016  if (NIL_P(current_defined_class)) {
2017  vm_super_outside();
2018  }
2019 
2020  if (!NIL_P(RCLASS_REFINED_CLASS(current_defined_class))) {
2021  current_defined_class = RCLASS_REFINED_CLASS(current_defined_class);
2022  }
2023 
2024  if (BUILTIN_TYPE(current_defined_class) != T_MODULE &&
2025  BUILTIN_TYPE(current_defined_class) != T_ICLASS && /* bound UnboundMethod */
2026  !FL_TEST(current_defined_class, RMODULE_INCLUDED_INTO_REFINEMENT) &&
2027  !rb_obj_is_kind_of(ci->recv, current_defined_class)) {
2028  VALUE m = RB_TYPE_P(current_defined_class, T_ICLASS) ?
2029  RBASIC(current_defined_class)->klass : current_defined_class;
2030 
2032  "self has wrong type to call super in this context: "
2033  "%"PRIsVALUE" (expected %"PRIsVALUE")",
2034  rb_obj_class(ci->recv), m);
2035  }
2036 
2037  switch (vm_search_superclass(GET_CFP(), iseq, sigval, ci)) {
2038  case -1:
2039  vm_super_outside();
2040  case -2:
2042  "implicit argument passing of super from method defined"
2043  " by define_method() is not supported."
2044  " Specify all arguments explicitly.");
2045  }
2046  if (!ci->klass) {
2047  /* bound instance method of module */
2050  return;
2051  }
2052 
2053  /* TODO: use inline cache */
2054  ci->me = rb_method_entry(ci->klass, ci->mid, &ci->defined_class);
2055  ci->call = vm_call_super_method;
2056 
2057  while (iseq && !iseq->klass) {
2058  iseq = iseq->parent_iseq;
2059  }
2060 
2061  if (ci->me && ci->me->def->type == VM_METHOD_TYPE_ISEQ && ci->me->def->body.iseq == iseq) {
2062  ci->klass = RCLASS_SUPER(ci->defined_class);
2063  ci->me = rb_method_entry(ci->klass, ci->mid, &ci->defined_class);
2064  }
2065 }
2066 
2067 /* yield */
2068 
2069 static inline int
2071 {
2072  rb_proc_t *proc;
2073 
2074  if (procval) {
2075  GetProcPtr(procval, proc);
2076  return proc->is_lambda;
2077  }
2078  else {
2079  return 0;
2080  }
2081 }
2082 
2083 static inline VALUE
2085  VALUE self, int argc, const VALUE *argv,
2086  const rb_block_t *blockargptr)
2087 {
2088  NODE *ifunc = (NODE *) block->iseq;
2089  VALUE val, arg, blockarg;
2090  int lambda = block_proc_is_lambda(block->proc);
2091 
2092  if (lambda) {
2093  arg = rb_ary_new4(argc, argv);
2094  }
2095  else if (argc == 0) {
2096  arg = Qnil;
2097  }
2098  else {
2099  arg = argv[0];
2100  }
2101 
2102  if (blockargptr) {
2103  if (blockargptr->proc) {
2104  blockarg = blockargptr->proc;
2105  }
2106  else {
2107  blockarg = rb_vm_make_proc(th, blockargptr, rb_cProc);
2108  }
2109  }
2110  else {
2111  blockarg = Qnil;
2112  }
2113 
2114  vm_push_frame(th, (rb_iseq_t *)ifunc, VM_FRAME_MAGIC_IFUNC, self,
2115  0, VM_ENVVAL_PREV_EP_PTR(block->ep), 0,
2116  th->cfp->sp, 1, 0);
2117 
2118  val = (*ifunc->nd_cfnc) (arg, ifunc->nd_tval, argc, argv, blockarg);
2119 
2120  th->cfp++;
2121  return val;
2122 }
2123 
2124 
2125 /*--
2126  * @brief on supplied all of optional, rest and post parameters.
2127  * @pre iseq is block style (not lambda style)
2128  */
2129 static inline int
2131  int argc, VALUE *argv)
2132 {
2133  rb_num_t opt_pc = 0;
2134  int i;
2135  const int m = iseq->argc;
2136  const int r = iseq->arg_rest;
2137  int len = iseq->arg_post_len;
2138  int start = iseq->arg_post_start;
2139  int rsize = argc > m ? argc - m : 0; /* # of arguments which did not consumed yet */
2140  int psize = rsize > len ? len : rsize; /* # of post arguments */
2141  int osize = 0; /* # of opt arguments */
2142  VALUE ary;
2143 
2144  /* reserves arguments for post parameters */
2145  rsize -= psize;
2146 
2147  if (iseq->arg_opts) {
2148  const int opts = iseq->arg_opts - 1;
2149  if (rsize > opts) {
2150  osize = opts;
2151  opt_pc = iseq->arg_opt_table[opts];
2152  }
2153  else {
2154  osize = rsize;
2155  opt_pc = iseq->arg_opt_table[rsize];
2156  }
2157  }
2158  rsize -= osize;
2159 
2160  if (0) {
2161  printf(" argc: %d\n", argc);
2162  printf(" len: %d\n", len);
2163  printf("start: %d\n", start);
2164  printf("rsize: %d\n", rsize);
2165  }
2166 
2167  if (r == -1) {
2168  /* copy post argument */
2169  MEMMOVE(&argv[start], &argv[m+osize], VALUE, psize);
2170  }
2171  else {
2172  ary = rb_ary_new4(rsize, &argv[r]);
2173 
2174  /* copy post argument */
2175  MEMMOVE(&argv[start], &argv[m+rsize+osize], VALUE, psize);
2176  argv[r] = ary;
2177  }
2178 
2179  for (i=psize; i<len; i++) {
2180  argv[start + i] = Qnil;
2181  }
2182 
2183  return (int)opt_pc;
2184 }
2185 
2186 static inline int
2188  int orig_argc, VALUE *argv,
2189  const rb_block_t *blockptr)
2190 {
2191  int i;
2192  int argc = orig_argc;
2193  const int m = iseq->argc;
2194  VALUE ary, arg0;
2195  VALUE keyword_hash = Qnil;
2196  int opt_pc = 0;
2197 
2198  th->mark_stack_len = argc;
2199 
2200  /*
2201  * yield [1, 2]
2202  * => {|a|} => a = [1, 2]
2203  * => {|a, b|} => a, b = [1, 2]
2204  */
2205  arg0 = argv[0];
2206  if (!(iseq->arg_simple & 0x02) && /* exclude {|a|} */
2207  ((m + iseq->arg_post_len) > 0 || /* positional arguments exist */
2208  iseq->arg_opts > 2 || /* multiple optional arguments exist */
2209  iseq->arg_keyword != -1 || /* any keyword arguments */
2210  0) &&
2211  argc == 1 && !NIL_P(ary = rb_check_array_type(arg0))) { /* rhs is only an array */
2212  th->mark_stack_len = argc = RARRAY_LENINT(ary);
2213 
2214  CHECK_VM_STACK_OVERFLOW(th->cfp, argc);
2215 
2216  MEMCPY(argv, RARRAY_PTR(ary), VALUE, argc);
2217  }
2218  else {
2219  /* vm_push_frame current argv is at the top of sp because vm_invoke_block
2220  * set sp at the first element of argv.
2221  * Therefore when rb_check_array_type(arg0) called to_ary and called to_ary
2222  * or method_missing run vm_push_frame, it initializes local variables.
2223  * see also https://bugs.ruby-lang.org/issues/8484
2224  */
2225  argv[0] = arg0;
2226  }
2227 
2228  /* keyword argument */
2229  if (iseq->arg_keyword != -1) {
2230  argc = vm_callee_setup_keyword_arg(iseq, argc, m, argv, &keyword_hash);
2231  }
2232 
2233  for (i=argc; i<m; i++) {
2234  argv[i] = Qnil;
2235  }
2236 
2237  if (iseq->arg_rest == -1 && iseq->arg_opts == 0) {
2238  const int arg_size = iseq->arg_size;
2239  if (arg_size < argc) {
2240  /*
2241  * yield 1, 2
2242  * => {|a|} # truncate
2243  */
2244  th->mark_stack_len = argc = arg_size;
2245  }
2246  }
2247  else {
2248  int r = iseq->arg_rest;
2249 
2250  if (iseq->arg_post_len ||
2251  iseq->arg_opts) { /* TODO: implement simple version for (iseq->arg_post_len==0 && iseq->arg_opts > 0) */
2252  opt_pc = vm_yield_setup_block_args_complex(th, iseq, argc, argv);
2253  }
2254  else {
2255  if (argc < r) {
2256  /* yield 1
2257  * => {|a, b, *r|}
2258  */
2259  for (i=argc; i<r; i++) {
2260  argv[i] = Qnil;
2261  }
2262  argv[r] = rb_ary_new();
2263  }
2264  else {
2265  argv[r] = rb_ary_new4(argc-r, &argv[r]);
2266  }
2267  }
2268 
2269  th->mark_stack_len = iseq->arg_size;
2270  }
2271 
2272  /* keyword argument */
2273  if (iseq->arg_keyword != -1) {
2274  argv[iseq->arg_keyword] = keyword_hash;
2275  }
2276 
2277  /* {|&b|} */
2278  if (iseq->arg_block != -1) {
2279  VALUE procval = Qnil;
2280 
2281  if (blockptr) {
2282  if (blockptr->proc == 0) {
2283  procval = rb_vm_make_proc(th, blockptr, rb_cProc);
2284  }
2285  else {
2286  procval = blockptr->proc;
2287  }
2288  }
2289 
2290  argv[iseq->arg_block] = procval;
2291  }
2292 
2293  th->mark_stack_len = 0;
2294  return opt_pc;
2295 }
2296 
2297 static inline int
2299  int argc, VALUE *argv, const rb_block_t *blockptr, int lambda)
2300 {
2301  if (0) { /* for debug */
2302  printf(" argc: %d\n", argc);
2303  printf("iseq argc: %d\n", iseq->argc);
2304  printf("iseq opts: %d\n", iseq->arg_opts);
2305  printf("iseq rest: %d\n", iseq->arg_rest);
2306  printf("iseq post: %d\n", iseq->arg_post_len);
2307  printf("iseq blck: %d\n", iseq->arg_block);
2308  printf("iseq smpl: %d\n", iseq->arg_simple);
2309  printf(" lambda: %s\n", lambda ? "true" : "false");
2310  }
2311 
2312  if (lambda) {
2313  /* call as method */
2314  rb_call_info_t ci_entry;
2315  ci_entry.flag = 0;
2316  ci_entry.argc = argc;
2317  ci_entry.blockptr = (rb_block_t *)blockptr;
2318  vm_callee_setup_arg(th, &ci_entry, iseq, argv, 1);
2319  return ci_entry.aux.opt_pc;
2320  }
2321  else {
2322  return vm_yield_setup_block_args(th, iseq, argc, argv, blockptr);
2323  }
2324 }
2325 
2326 static VALUE
2328 {
2329  const rb_block_t *block = VM_CF_BLOCK_PTR(reg_cfp);
2330  rb_iseq_t *iseq;
2331  VALUE type = GET_ISEQ()->local_iseq->type;
2332 
2333  if ((type != ISEQ_TYPE_METHOD && type != ISEQ_TYPE_CLASS) || block == 0) {
2334  rb_vm_localjump_error("no block given (yield)", Qnil, 0);
2335  }
2336  iseq = block->iseq;
2337 
2338  if (UNLIKELY(ci->flag & VM_CALL_ARGS_SPLAT)) {
2339  vm_caller_setup_args(th, GET_CFP(), ci);
2340  }
2341 
2342  if (BUILTIN_TYPE(iseq) != T_NODE) {
2343  int opt_pc;
2344  const int arg_size = iseq->arg_size;
2345  VALUE * const rsp = GET_SP() - ci->argc;
2346  SET_SP(rsp);
2347 
2349  opt_pc = vm_yield_setup_args(th, iseq, ci->argc, rsp, 0, block_proc_is_lambda(block->proc));
2350 
2351  vm_push_frame(th, iseq, VM_FRAME_MAGIC_BLOCK, block->self,
2352  block->klass,
2353  VM_ENVVAL_PREV_EP_PTR(block->ep),
2354  iseq->iseq_encoded + opt_pc,
2355  rsp + arg_size,
2356  iseq->local_size - arg_size, 0);
2357 
2358  return Qundef;
2359  }
2360  else {
2361  VALUE val = vm_yield_with_cfunc(th, block, block->self, ci->argc, STACK_ADDR_FROM_TOP(ci->argc), 0);
2362  POPN(ci->argc); /* TODO: should put before C/yield? */
2363  return val;
2364  }
2365 }
VALUE data
Definition: tcltklib.c:3367
VALUE rb_reg_match_last(VALUE)
Definition: re.c:1546
#define RB_TYPE_P(obj, type)
#define VM_FRAME_MAGIC_BLOCK
Definition: vm_core.h:726
RARRAY_PTR(q->result)[0]
rb_control_frame_t * cfp
Definition: vm_core.h:500
#define VM_CALL_ARGS_BLOCKARG
Definition: vm_core.h:711
#define DEFAULT_SPECIAL_VAR_COUNT
Definition: iseq.h:134
struct rb_block_struct * blockptr
Definition: vm_core.h:163
volatile VALUE tmp
Definition: tcltklib.c:10208
#define UNDEFINED_METHOD_ENTRY_P(me)
Definition: method.h:108
#define RUBY_VM_CHECK_INTS(th)
Definition: vm_core.h:953
int arg_simple
Definition: vm_core.h:265
static VALUE opt_eq_func(VALUE recv, VALUE obj, CALL_INFO ci)
static VALUE vm_call_iseq_setup_2(rb_thread_t *th, rb_control_frame_t *cfp, rb_call_info_t *ci)
int register char * block
Definition: crypt.c:949
VALUE sym
Definition: tkutil.c:1298
VALUE rb_reg_last_match(VALUE)
Definition: re.c:1483
VALUE ic_class
Definition: vm_core.h:134
static VALUE call_cfunc_0(VALUE(*func)(ANYARGS), VALUE recv, int argc, const VALUE *argv)
volatile VALUE ary
Definition: tcltklib.c:9712
VP_EXPORT int
Definition: bigdecimal.c:5071
VALUE rb_ary_new4(long n, const VALUE *elts)
Definition: array.c:451
static void argument_error(const rb_iseq_t *iseq, int miss_argc, int min_argc, int max_argc)
VALUE rb_ary_entry(VALUE ary, long offset)
Definition: array.c:1088
void rb_bug(const char *fmt,...)
Definition: error.c:295
rb_method_type_t type
Definition: method.h:77
VALUE * root_lep
Definition: vm_core.h:526
static VALUE vm_get_iclass(rb_control_frame_t *cfp, VALUE klass)
static VALUE vm_call_opt_call(rb_thread_t *th, rb_control_frame_t *cfp, rb_call_info_t *ci)
rb_method_attr_t attr
Definition: method.h:82
#define rb_hash_lookup
Definition: tcltklib.c:268
RUBY_EXTERN VALUE rb_cModule
Definition: ripper.y:1445
static VALUE VALUE th
Definition: tcltklib.c:2947
static VALUE vm_call_general(rb_thread_t *th, rb_control_frame_t *reg_cfp, rb_call_info_t *ci)
#define RUBY_DTRACE_METHOD_RETURN_HOOK(th, klass, id)
Definition: probes_helper.h:58
#define VM_CALL_FCALL
Definition: vm_core.h:712
#define VM_ENVVAL_PREV_EP_PTR(v)
Definition: vm_core.h:779
static void unknown_keyword_error(const rb_iseq_t *iseq, VALUE hash)
Definition: constant.h:19
static VALUE vm_call_bmethod(rb_thread_t *th, rb_control_frame_t *cfp, rb_call_info_t *ci)
#define VM_FRAME_FLAG_FINISH
Definition: vm_core.h:742
const char * rb_obj_classname(VALUE)
Definition: variable.c:396
static int vm_yield_setup_block_args(rb_thread_t *th, const rb_iseq_t *iseq, int orig_argc, VALUE *argv, const rb_block_t *blockptr)
ID * arg_keyword_table
Definition: vm_core.h:276
#define VM_FRAME_TYPE_FINISH_P(cfp)
Definition: vm_core.h:743
#define UNLIMITED_ARGUMENTS
#define FL_TEST(x, f)
unsigned long end
Definition: iseq.h:68
#define TAG_THROW
Definition: eval_intern.h:169
#define VM_FRAME_MAGIC_CFUNC
Definition: vm_core.h:729
static int max(int a, int b)
Definition: strftime.c:141
int st_lookup(st_table *, st_data_t, st_data_t *)
static VALUE find_refinement(VALUE refinements, VALUE klass)
#define d1
#define RUBY_VM_PREVIOUS_CONTROL_FRAME(cfp)
Definition: vm_core.h:789
#define GetProcPtr(obj, ptr)
Definition: vm_core.h:665
const rb_method_entry_t * passed_me
Definition: vm_core.h:514
static VALUE vm_get_const_base(const rb_iseq_t *iseq, const VALUE *ep)
rb_method_flag_t flag
Definition: method.h:96
#define RUBY_VM_NORMAL_ISEQ_P(ptr)
Definition: vm_core.h:799
#define FLOAT_REDEFINED_OP_FLAG
static VALUE extract_keywords(VALUE *orighash)
#define T_ICLASS
VALUE proc
Definition: tcltklib.c:2958
SSL_METHOD *(* func)(void)
Definition: ossl_ssl.c:108
#define rb_usascii_str_new2
VALUE rb_const_get(VALUE, ID)
Definition: variable.c:1876
vm_check_match_type
Definition: vm_core.h:701
ssize_t i
Definition: bigdecimal.c:5676
rb_iseq_t * iseq
Definition: vm_core.h:446
#define TAG_BREAK
Definition: eval_intern.h:164
static int block_proc_is_lambda(const VALUE procval)
static int rb_method_definition_eq(const rb_method_definition_t *d1, const rb_method_definition_t *d2)
#define rb_check_frozen(obj)
#define T_NODE
#define RUBY_EVENT_C_RETURN
rb_method_entry_t * rb_method_entry_without_refinements(VALUE klass, ID id, VALUE *defined_class_ptr)
Definition: vm_method.c:653
static VALUE call_cfunc_10(VALUE(*func)(ANYARGS), VALUE recv, int argc, const VALUE *argv)
struct rb_method_entry_struct * orig_me
Definition: method.h:90
VALUE target
Definition: tcltklib.c:5531
#define RFLOAT_VALUE(v)
#define RCLASS_ORIGIN(c)
static void vm_expandarray(rb_control_frame_t *cfp, VALUE ary, rb_num_t num, int flag)
#define sysstack_error
Definition: vm_core.h:866
Real * a
Definition: bigdecimal.c:1196
VALUE rb_eTypeError
Definition: error.c:516
VALUE exc
Definition: tcltklib.c:3095
static VALUE vm_call_iseq_setup_tailcall(rb_thread_t *th, rb_control_frame_t *cfp, rb_call_info_t *ci)
VALUE(* call)(struct rb_thread_struct *th, struct rb_control_frame_struct *cfp, struct rb_call_info_struct *ci)
Definition: vm_core.h:172
#define RHASH_TBL(h)
#define RSTRING_PTR(str)
#define CLASS_OF(v)
NIL_P(eventloop_thread)
Definition: tcltklib.c:4067
#define ROBJECT_IVPTR(o)
#define T_ARRAY
#define RUBY_VM_GET_BLOCK_PTR_IN_CFP(cfp)
Definition: vm_core.h:802
#define VM_ENVVAL_BLOCK_PTR(v)
Definition: vm_core.h:777
static int separate_symbol(st_data_t key, st_data_t value, st_data_t arg)
VALUE rb_vm_make_proc(rb_thread_t *th, const rb_block_t *block, VALUE klass)
Definition: vm.c:609
static VALUE vm_call_cfunc_with_frame(rb_thread_t *th, rb_control_frame_t *reg_cfp, rb_call_info_t *ci)
RUBY_EXTERN VALUE rb_cFloat
Definition: ripper.y:1439
VALUE rb_funcall(VALUE, ID, int,...)
Calls a method.
Definition: vm_eval.c:773
static VALUE vm_call_method(rb_thread_t *th, rb_control_frame_t *cfp, rb_call_info_t *ci)
#define VM_FRAME_MAGIC_METHOD
Definition: vm_core.h:725
struct rb_iseq_struct * local_iseq
Definition: vm_core.h:286
#define MEMMOVE(p1, p2, type, n)
void rb_raise(VALUE exc, const char *fmt,...)
Definition: error.c:1788
#define VM_FRAME_TYPE(cfp)
Definition: vm_core.h:738
static void lep_svar_set(rb_thread_t *th, VALUE *lep, rb_num_t key, VALUE val)
return Qtrue
Definition: tcltklib.c:9609
VALUE rb_obj_class(VALUE)
Definition: object.c:194
ID called_id
Definition: method.h:99
#define NEW_CREF(a)
#define VM_FRAME_MAGIC_IFUNC
Definition: vm_core.h:731
#define VM_PROFILE_UP(x)
int index
Definition: tcltklib.c:4477
#define VM_CALL_ARGS_SPLAT
Definition: vm_core.h:710
#define SET_SP(x)
#define GET_VM_STATE_VERSION()
union rb_method_definition_struct::@112 body
void rb_vm_localjump_error(const char *mesg, VALUE value, int reason)
Definition: vm.c:968
size_t stack_max
Definition: vm_core.h:278
#define FIXNUM_2_P(a, b)
int arg_keyword
Definition: vm_core.h:273
VALUE rb_eSecurityError
Definition: error.c:525
long index
Definition: vm_core.h:137
#define SDR()
Definition: vm_core.h:817
ID defined_method_id
Definition: vm_core.h:308
#define RUBY_VM_CONTROL_FRAME_STACK_OVERFLOW_P(th, cfp)
Definition: vm_core.h:795
#define STACK_ADDR_FROM_TOP(n)
Definition: vm_insnhelper.h:84
r
Definition: bigdecimal.c:1210
#define TAG_RAISE
Definition: eval_intern.h:168
static VALUE vm_getinstancevariable(VALUE obj, ID id, IC ic)
VALUE rb_reg_nth_match(int, VALUE)
Definition: re.c:1457
static VALUE lep_svar_get(rb_thread_t *th, VALUE *lep, rb_num_t key)
VALUE rb_vm_invoke_proc(rb_thread_t *th, rb_proc_t *proc, int argc, const VALUE *argv, const rb_block_t *blockptr)
Definition: vm.c:780
static VALUE * VM_CF_LEP(rb_control_frame_t *cfp)
Definition: vm.c:42
int state
Definition: tcltklib.c:1461
#define DEC_SP(x)
static int vm_yield_setup_args(rb_thread_t *const th, const rb_iseq_t *iseq, int argc, VALUE *argv, const rb_block_t *blockptr, int lambda)
static VALUE vm_getspecial(rb_thread_t *th, VALUE *lep, rb_num_t key, rb_num_t type)
ID rb_check_id(volatile VALUE *namep)
Returns ID for the given name if it is interned already, or 0.
Definition: ripper.c:17100
#define ID2SYM(x)
static VALUE vm_search_const_defined_class(const VALUE cbase, ID id)
int arg_post_len
Definition: vm_core.h:269
#define LIKELY(x)
Definition: vm_core.h:114
#define T_OBJECT
VALUE rb_reg_match_post(VALUE)
Definition: re.c:1528
static VALUE vm_call_cfunc(rb_thread_t *th, rb_control_frame_t *reg_cfp, rb_call_info_t *ci)
#define VM_CALL_VCALL
Definition: vm_core.h:713
VALUE rb_ivar_get(VALUE, ID)
Definition: variable.c:1116
static VALUE call_cfunc_11(VALUE(*func)(ANYARGS), VALUE recv, int argc, const VALUE *argv)
#define RUBY_DTRACE_METHOD_ENTRY_HOOK(th, klass, id)
Definition: probes_helper.h:55
flag
Definition: tcltklib.c:2047
static VALUE vm_call_iseq_setup_normal(rb_thread_t *th, rb_control_frame_t *cfp, rb_call_info_t *ci)
VALUE rb_str_equal(VALUE str1, VALUE str2)
Definition: string.c:2363
#define RUBY_DTRACE_CMETHOD_ENTRY_HOOK(th, klass, id)
Definition: probes_helper.h:61
VALUE keys
Definition: tkutil.c:276
VALUE rb_hash_delete(VALUE, VALUE)
Definition: hash.c:869
static void vm_check_if_namespace(VALUE klass)
static void vm_caller_setup_args(const rb_thread_t *th, rb_control_frame_t *cfp, rb_call_info_t *ci)
VALUE rb_autoload_load(VALUE, ID)
Definition: variable.c:1765
Definition: ripper.y:240
enum iseq_catch_table_entry::catch_type type
#define NORETURN(x)
Definition: ruby.h:31
void rb_exc_raise(VALUE mesg)
Definition: eval.c:527
static VALUE vm_call_ivar(rb_thread_t *th, rb_control_frame_t *cfp, rb_call_info_t *ci)
unsigned long st_data_t
Definition: ripper.y:35
#define GET_CFP()
enum rb_iseq_struct::iseq_type type
VALUE hash
Definition: tkutil.c:267
static NODE * vm_cref_push(rb_thread_t *th, VALUE klass, int noex, rb_block_t *blockptr)
rb_method_cfunc_t cfunc
Definition: method.h:81
static VALUE call_cfunc_15(VALUE(*func)(ANYARGS), VALUE recv, int argc, const VALUE *argv)
BDIGIT m
Definition: bigdecimal.c:5106
static VALUE make_no_method_exception(VALUE exc, const char *format, VALUE obj, int argc, const VALUE *argv)
Definition: vm_eval.c:634
#define HEAP_CLASS_OF(obj)
return Qfalse
Definition: tcltklib.c:6778
#define FIXNUM_P(f)
NODE * cref_stack
Definition: vm_core.h:304
#define SAVE_RESTORE_CI(expr, ci)
#define RARRAY_LEN(a)
#define ROBJECT_NUMIV(o)
#define Qnil
Definition: tcltklib.c:1895
#define StringValuePtr(v)
int rb_iseq_first_lineno(const rb_iseq_t *iseq)
Definition: iseq.c:1058
#define val
Definition: tcltklib.c:1948
void rb_raise_method_missing(rb_thread_t *th, int argc, VALUE *argv, VALUE obj, int call_status)
Definition: vm_eval.c:728
rb_iseq_t * block_iseq
Definition: vm_core.h:433
VALUE rb_eRuntimeError
Definition: error.c:515
#define POPN(n)
Definition: vm_insnhelper.h:82
union RNode::@81 u2
static VALUE char * str
Definition: tcltklib.c:3546
VALUE rb_ary_new(void)
Definition: array.c:424
#define FLONUM_2_P(a, b)
static int vm_yield_setup_block_args_complex(rb_thread_t *th, const rb_iseq_t *iseq, int argc, VALUE *argv)
unsigned long ID
Definition: ripper.y:105
int argc
argument information
Definition: vm_core.h:264
#define RCLASS_SUPER(c)
#define CHECK_CMP_NAN(a, b)
rb_iseq_t * iseq
Definition: vm_core.h:428
int arg_post_start
Definition: vm_core.h:270
#define VMDEBUG
Definition: vm_dump.c:19
#define UNLIKELY(x)
Definition: vm_core.h:115
VALUE rb_eNoMethodError
Definition: error.c:524
static VALUE VALUE obj
Definition: tcltklib.c:3157
#define FIX2INT(x)
static VALUE vm_throw(rb_thread_t *th, rb_control_frame_t *reg_cfp, rb_num_t throw_state, VALUE throwobj)
#define RUBY_EVENT_RETURN
void rb_ary_store(VALUE ary, long idx, VALUE val)
Definition: array.c:719
VALUE value
Definition: ripper.y:246
VALUE * arg_opt_table
Definition: vm_core.h:272
#define ANYARGS
int arg_keywords
Definition: vm_core.h:275
static VALUE call_cfunc_2(VALUE(*func)(ANYARGS), VALUE recv, int argc, const VALUE *argv)
static VALUE vm_call_attrset(rb_thread_t *th, rb_control_frame_t *cfp, rb_call_info_t *ci)
int rb_public_const_defined_from(VALUE klass, ID id)
Definition: variable.c:2115
static int vm_search_superclass(rb_control_frame_t *reg_cfp, rb_iseq_t *iseq, VALUE sigval, rb_call_info_t *ci)
#define RUBY_DTRACE_CMETHOD_RETURN_HOOK(th, klass, id)
Definition: probes_helper.h:64
Definition: method.h:95
VALUE rb_check_hash_type(VALUE)
Definition: hash.c:461
rb_iseq_t * blockiseq
Definition: vm_core.h:151
static VALUE vm_call_super_method(rb_thread_t *th, rb_control_frame_t *reg_cfp, rb_call_info_t *ci)
static int check_cfunc(const rb_method_entry_t *me, VALUE(*func)())
int err
Definition: win32.c:87
static VALUE call_cfunc_1(VALUE(*func)(ANYARGS), VALUE recv, int argc, const VALUE *argv)
#define ALLOCA_N(type, n)
enum rb_method_definition_struct::@112::method_optimized_type optimize_type
static VALUE call_cfunc_9(VALUE(*func)(ANYARGS), VALUE recv, int argc, const VALUE *argv)
static VALUE call_cfunc_3(VALUE(*func)(ANYARGS), VALUE recv, int argc, const VALUE *argv)
static int VALUE key
Definition: tkutil.c:265
static rb_control_frame_t * vm_push_frame(rb_thread_t *th, const rb_iseq_t *iseq, VALUE type, VALUE self, VALUE klass, VALUE specval, const VALUE *pc, VALUE *sp, int local_size, const rb_method_entry_t *me)
Definition: vm_insnhelper.c:34
rb_method_entry_t * rb_method_entry(VALUE klass, ID id, VALUE *define_class_ptr)
Definition: vm_method.c:572
VALUE(* func)(ANYARGS)
Definition: method.h:64
#define TOPN(n)
Definition: vm_insnhelper.h:81
VALUE klass
Definition: method.h:100
unsigned long start
Definition: iseq.h:67
unsigned long rb_num_t
Definition: vm_core.h:124
#define rb_long2int(n)
#define TAG_RETURN
Definition: eval_intern.h:163
#define VM_CALL_SUPER
Definition: vm_core.h:715
Definition: vm_core.h:132
gz level
Definition: zlib.c:2262
VALUE rb_ary_to_ary(VALUE obj)
Definition: array.c:1412
VALUE * argv
Definition: tcltklib.c:1970
rb_method_entry_t * rb_method_entry_with_refinements(VALUE klass, ID id, VALUE *defined_class_ptr)
Definition: vm_method.c:635
VALUE rb_hash_aset(VALUE, VALUE, VALUE)
int st_foreach(st_table *, int(*)(ANYARGS), st_data_t)
Definition: st.c:1006
static rb_block_t * VM_CF_BLOCK_PTR(rb_control_frame_t *cfp)
Definition: vm.c:54
VALUE ic_vmstat
Definition: vm_core.h:133
#define VM_EP_PREV_EP(ep)
Definition: vm_core.h:782
static VALUE vm_call0(rb_thread_t *, VALUE, ID, int, const VALUE *, const rb_method_entry_t *, VALUE)
static VALUE call_cfunc_13(VALUE(*func)(ANYARGS), VALUE recv, int argc, const VALUE *argv)
VALUE rb_sprintf(const char *format,...)
Definition: sprintf.c:1275
volatile VALUE value
Definition: tcltklib.c:9441
int rb_const_defined(VALUE, ID)
Definition: variable.c:2103
#define CI_SET_FASTPATH(ci, func, enabled)
static VALUE vm_call_opt_send(rb_thread_t *th, rb_control_frame_t *reg_cfp, rb_call_info_t *ci)
struct rb_iseq_struct * parent_iseq
Definition: vm_core.h:285
#define FIXNUM_REDEFINED_OP_FLAG
static int min(int a, int b)
Definition: strftime.c:131
union RNode::@82 u3
#define RB_GC_GUARD(v)
int type
Definition: tcltklib.c:111
VALUE * iseq_encoded
Definition: vm_core.h:216
int rb_autoloading_value(VALUE mod, ID id, VALUE *value)
Definition: variable.c:1711
int argc
Definition: tcltklib.c:1969
static VALUE * vm_base_ptr(rb_control_frame_t *cfp)
static void vm_pop_frame(rb_thread_t *th)
Definition: vm_insnhelper.c:99
int catch_table_size
Definition: vm_core.h:282
Definition: iseq.h:57
int rb_const_defined_at(VALUE, ID)
Definition: variable.c:2109
#define VM_CALL_OPT_SEND
Definition: vm_core.h:716
static NODE * lep_svar_place(rb_thread_t *th, VALUE *lep)
static VALUE check_match(VALUE pattern, VALUE target, enum vm_check_match_type type)
rb_iseq_location_t location
Definition: vm_core.h:213
static VALUE call_cfunc_m2(VALUE(*func)(ANYARGS), VALUE recv, int argc, const VALUE *argv)
VALUE rb_attr_get(VALUE, ID)
Definition: variable.c:1122
static VALUE vm_search_normal_superclass(VALUE klass)
#define isnan(x)
Definition: win32.h:327
Definition: iseq.h:62
static VALUE call_cfunc_12(VALUE(*func)(ANYARGS), VALUE recv, int argc, const VALUE *argv)
static VALUE vm_call_bmethod_body(rb_thread_t *th, rb_call_info_t *ci, const VALUE *argv)
VALUE(* invoker)(VALUE(*func)(ANYARGS), VALUE recv, int argc, const VALUE *argv)
Definition: method.h:65
static VALUE call_cfunc_5(VALUE(*func)(ANYARGS), VALUE recv, int argc, const VALUE *argv)
static rb_control_frame_t * current_method_entry(rb_thread_t *th, rb_control_frame_t *cfp)
char ** av
Definition: tcltklib.c:8851
static VALUE double_cmp_le(double a, double b)
VALUE flags
Definition: ripper.y:241
static VALUE rb_arg_error_new(int argc, int min, int max)
RUBY_EXTERN VALUE rb_cString
Definition: ripper.y:1456
Real * b
Definition: bigdecimal.c:1196
static VALUE vm_invoke_block(rb_thread_t *th, rb_control_frame_t *reg_cfp, rb_call_info_t *ci)
return ptr
Definition: tcltklib.c:784
static VALUE double_cmp_gt(double a, double b)
VALUE rb_obj_is_proc(VALUE)
Definition: proc.c:91
VALUE msg
Definition: tcltklib.c:846
#define NEW_THROW_OBJECT(val, pt, st)
Definition: eval_intern.h:173
#define RCLASS_CONST_TBL(c)
#define MEMCPY(p1, p2, type, n)
static void vm_search_super_method(rb_thread_t *th, rb_control_frame_t *reg_cfp, rb_call_info_t *ci)
static VALUE call_cfunc_7(VALUE(*func)(ANYARGS), VALUE recv, int argc, const VALUE *argv)
ID rb_to_id(VALUE)
Definition: string.c:8169
#define NEW_IF(c, t, e)
static VALUE double_cmp_ge(double a, double b)
VALUE rb_obj_equal(VALUE obj1, VALUE obj2)
Definition: object.c:109
VALUE rb_ivar_set(VALUE, ID, VALUE)
Definition: variable.c:1128
arg
Definition: ripper.y:1317
unsigned long sp
Definition: iseq.h:70
#define RMODULE_IS_OVERLAID
#define VM_FRAME_MAGIC_LAMBDA
Definition: vm_core.h:733
int is_lambda
Definition: vm_core.h:675
int mark_stack_len
Definition: vm_core.h:597
static void vm_setinstancevariable(VALUE obj, ID id, VALUE val, IC ic)
int arg_keyword_check
Definition: vm_core.h:274
#define SYMBOL_P(x)
static VALUE vm_get_cbase(const rb_iseq_t *iseq, const VALUE *ep)
#define FL_SINGLETON
VALUE root_svar
Definition: vm_core.h:527
rb_block_t block
Definition: vm_core.h:669
VALUE klass
Definition: vm_core.h:305
#define Qundef
VALUE rb_obj_is_kind_of(VALUE, VALUE)
Definition: object.c:593
int rb_method_basic_definition_p(VALUE, ID)
Definition: vm_method.c:1525
VALUE rb_exc_new3(VALUE etype, VALUE str)
Definition: error.c:553
if(RB_TYPE_P(r, T_FLOAT))
Definition: bigdecimal.c:1200
#define T_CLASS
static VALUE call_cfunc_m1(VALUE(*func)(ANYARGS), VALUE recv, int argc, const VALUE *argv)
rb_method_definition_t * def
Definition: method.h:98
static VALUE vm_call_method_missing(rb_thread_t *th, rb_control_frame_t *reg_cfp, rb_call_info_t *ci)
const rb_method_entry_t * me
Definition: vm_core.h:435
#define INC_SP(x)
static void vm_search_method(rb_call_info_t *ci, VALUE recv)
VALUE rb_check_array_type(VALUE ary)
Definition: array.c:557
void rb_error_arity(int argc, int min, int max)
static VALUE call_cfunc_14(VALUE(*func)(ANYARGS), VALUE recv, int argc, const VALUE *argv)
#define STRING_REDEFINED_OP_FLAG
VALUE rb_reg_match_pre(VALUE)
Definition: re.c:1501
struct iseq_catch_table_entry * catch_table
Definition: vm_core.h:281
RUBY_EXTERN VALUE rb_cObject
Definition: ripper.y:1426
static int vm_callee_setup_arg_complex(rb_thread_t *th, rb_call_info_t *ci, const rb_iseq_t *iseq, VALUE *orig_argv)
#define RBASIC(obj)
#define RARRAY_LENINT(ary)
klass
Definition: tcltklib.c:3503
int local_size
Definition: vm_core.h:229
static VALUE vm_get_cvar_base(NODE *cref, rb_control_frame_t *cfp)
VALUE rb_make_backtrace(void)
Definition: vm_backtrace.c:772
#define GET_EP()
static VALUE call_cfunc_6(VALUE(*func)(ANYARGS), VALUE recv, int argc, const VALUE *argv)
Definition: ripper.y:73
static VALUE vm_call_iseq_setup(rb_thread_t *th, rb_control_frame_t *cfp, rb_call_info_t *ci)
#define NOEX_SAFE(n)
Definition: method.h:39
#define VM_CALL_TAILCALL
Definition: vm_core.h:714
union iseq_inline_cache_entry::@150 ic_value
static VALUE call_cfunc_4(VALUE(*func)(ANYARGS), VALUE recv, int argc, const VALUE *argv)
union RNode::@80 u1
#define rb_safe_level()
Definition: tcltklib.c:94
#define T_MODULE
rb_call_info_t * passed_ci
Definition: vm_core.h:517
#define EXEC_EVENT_HOOK(th_, flag_, self_, id_, klass_, data_)
Definition: vm_core.h:998
static NODE * vm_get_cref0(const rb_iseq_t *iseq, const VALUE *ep)
NODE * rb_vm_get_cref(const rb_iseq_t *, const VALUE *)
unsigned long cont
Definition: iseq.h:69
RUBY_EXTERN VALUE rb_cProc
Definition: ripper.y:1449
VALUE rb_hash_new(void)
Definition: hash.c:234
const char * rb_id2name(ID id)
Definition: ripper.c:17006
size_t stack_size
Definition: vm_core.h:499
#define rb_check_arity(argc, min, max)
#define GET_SP()
#define BUILTIN_TYPE(x)
#define PRIsVALUE
#define OBJ_UNTRUSTED(x)
VALUE iseq
Definition: iseq.h:66
VALUE opts
Definition: tcltklib.c:6145
VALUE rb_funcall2(VALUE, ID, int, const VALUE *)
Calls a method.
Definition: vm_eval.c:804
unsigned long VALUE
Definition: ripper.y:104
void rb_warning(const char *fmt,...)
Definition: error.c:234
static void vm_callee_setup_arg(rb_thread_t *th, rb_call_info_t *ci, const rb_iseq_t *iseq, VALUE *argv, int is_lambda)
#define GC_GUARDED_PTR_REF(p)
Definition: vm_core.h:764
static void vm_super_outside(void)
#define GET_ISEQ()
#define ROBJECT_IV_INDEX_TBL(o)
static VALUE vm_invoke_proc(rb_thread_t *th, rb_proc_t *proc, VALUE self, VALUE defined_class, int argc, const VALUE *argv, const rb_block_t *blockptr)
Definition: vm.c:752
static rb_control_frame_t * vm_get_ruby_level_caller_cfp(rb_thread_t *th, rb_control_frame_t *cfp)
#define RMODULE_IS_REFINEMENT
static VALUE vm_get_ev_const(rb_thread_t *th, const rb_iseq_t *iseq, VALUE orig_klass, ID id, int is_defined)
VALUE rb_public_const_get_from(VALUE klass, ID id)
Definition: variable.c:1888
#define CHECK_VM_STACK_OVERFLOW(cfp, margin)
Definition: vm_core.h:868
#define SPECIAL_CONST_P(x)
#define BASIC_OP_UNREDEFINED_P(op, klass)
#define RHASH_EMPTY_P(h)
static VALUE vm_setivar(VALUE obj, ID id, VALUE val, IC ic, rb_call_info_t *ci, int is_attr)
#define rb_intern(str)
BDIGIT v
Definition: bigdecimal.c:5677
#define stat(path, st)
Definition: win32.h:193
#define NODE_FL_CREF_PUSHED_BY_EVAL
#define NULL
Definition: _sdbm.c:103
#define T_DATA
#define RCLASS_REFINED_CLASS(c)
int method_missing_reason
Definition: vm_core.h:612
#define GET_THROWOBJ_STATE(obj)
Definition: eval_intern.h:182
union rb_call_info_struct::@151 aux
#define VM_EP_LEP_P(ep)
Definition: vm_core.h:784
static int vm_callee_setup_keyword_arg(const rb_iseq_t *iseq, int argc, int m, VALUE *orig_argv, VALUE *kwd)
static rb_thread_t * GET_THREAD(void)
Definition: vm_core.h:888
#define RUBY_EVENT_C_CALL
void rb_warn(const char *fmt,...)
Definition: error.c:221
#define SYM2ID(x)
#define bp()
Definition: vm_debug.h:27
VALUE rb_eArgError
Definition: error.c:517
#define COPY_CREF_OMOD(c1, c2)
VALUE rb_check_convert_type(VALUE, int, const char *, const char *)
Definition: object.c:2413
static VALUE vm_getivar(VALUE obj, ID id, IC ic, rb_call_info_t *ci, int is_attr)
static VALUE call_cfunc_8(VALUE(*func)(ANYARGS), VALUE recv, int argc, const VALUE *argv)
static VALUE double_cmp_lt(double a, double b)
static void vm_stackoverflow(void)
Definition: vm_insnhelper.c:28
const rb_method_entry_t * me
Definition: vm_core.h:158
#define RUBY_EVENT_CALL
#define TAG_RETRY
Definition: eval_intern.h:166
VALUE * ep
Definition: vm_core.h:445
static VALUE vm_yield_with_cfunc(rb_thread_t *th, const rb_block_t *block, VALUE self, int argc, const VALUE *argv, const rb_block_t *blockargptr)
VALUE rb_inspect(VALUE)
Definition: object.c:411
#define RMODULE_INCLUDED_INTO_REFINEMENT
size_t len
Definition: tcltklib.c:3567