2006-12-31 10:02:22 -05:00
|
|
|
/* -*-c-*- */
|
|
|
|
/**********************************************************************
|
|
|
|
|
2007-12-20 04:29:46 -05:00
|
|
|
vm_evalbody.c -
|
2006-12-31 10:02:22 -05:00
|
|
|
|
|
|
|
$Author$
|
|
|
|
|
* blockinlining.c, compile.c, compile.h, debug.c, debug.h,
id.c, insnhelper.h, insns.def, thread.c, thread_pthread.ci,
thread_pthread.h, thread_win32.ci, thread_win32.h, vm.h,
vm_dump.c, vm_evalbody.ci, vm_opts.h: fix comments and
copyright year.
git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@13920 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
2007-11-13 17:13:04 -05:00
|
|
|
Copyright (C) 2004-2007 Koichi Sasada
|
2006-12-31 10:02:22 -05:00
|
|
|
|
|
|
|
**********************************************************************/
|
|
|
|
|
|
|
|
#include <math.h>
|
|
|
|
|
|
|
|
#if VMDEBUG > 0
|
|
|
|
#define DECL_SC_REG(type, r, reg) register type reg_##r
|
|
|
|
|
|
|
|
#elif __GNUC__ && __x86_64
|
|
|
|
#define DECL_SC_REG(type, r, reg) register type reg_##r asm("r" reg)
|
|
|
|
|
|
|
|
#elif __GNUC__ && __i386__
|
|
|
|
#define DECL_SC_REG(type, r, reg) register type reg_##r asm("e" reg)
|
|
|
|
|
|
|
|
#else
|
|
|
|
#define DECL_SC_REG(type, r, reg) register type reg_##r
|
|
|
|
#endif
|
* call_cfunc.ci, compile.c, compile.h, debug.h, eval.c,
eval_error.h, eval_jump.h, eval_load.c, eval_thread.c, gc.c,
insnhelper.h, insns.def, iseq.c, main.c, numeric.c, parse.y,
range.c, regenc.h, ruby.h, signal.c, thread.c, thread_win32.ci,
vm.c, vm.h, vm_dump.c, vm_evalbody.ci, yarvcore.c, yarvcore.h:
fixed indents and non-C90 comments.
git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@11620 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
2007-02-02 11:26:04 -05:00
|
|
|
/* #define DECL_SC_REG(r, reg) VALUE reg_##r */
|
2006-12-31 10:02:22 -05:00
|
|
|
|
|
|
|
#if !OPT_CALL_THREADED_CODE
|
|
|
|
VALUE
|
* vm.c: some refactoring.
* rename th_* to vm_*.
* remove unused variables functions.
* add prototypes.
* blockinlining.c, compile.c, cont.c, eval.c, eval_intern.h,
eval_jump.h, eval_load.c, inits.c, insns.def, iseq.c, parse.y,
proc.c, process.c, signal.c, thread.c, vm.c, vm_dump.c,
vm_evalbody.ci, yarvcore.c, yarvcore.h: ditto.
git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@12603 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
2007-06-24 11:42:41 -04:00
|
|
|
vm_eval(rb_thread_t *th, VALUE initial)
|
2006-12-31 10:02:22 -05:00
|
|
|
{
|
|
|
|
|
|
|
|
#if OPT_STACK_CACHING
|
|
|
|
#if 0
|
|
|
|
#elif __GNUC__ && __x86_64
|
|
|
|
DECL_SC_REG(VALUE, a, "12");
|
|
|
|
DECL_SC_REG(VALUE, b, "13");
|
|
|
|
#else
|
|
|
|
register VALUE reg_a;
|
|
|
|
register VALUE reg_b;
|
|
|
|
#endif
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#if __GNUC__ && __i386__
|
|
|
|
DECL_SC_REG(VALUE *, pc, "di");
|
* blockinlining.c, compile.c, compile.h, error.c, eval.c,
eval_intern.h, eval_jump.h, eval_load.c, eval_method.h,
eval_safe.h, gc.c, insnhelper.h, insns.def, iseq.c, proc.c,
process.c, signal.c, thread.c, thread_pthread.ci, thread_win32.ci,
vm.c, vm.h, vm_dump.c, vm_evalbody.ci, vm_macro.def,
yarv.h, yarvcore.h, yarvcore.c: change type and macro names:
* yarv_*_t -> rb_*_t
* yarv_*_struct -> rb_*_struct
* yarv_tag -> rb_vm_tag
* YARV_* -> RUBY_VM_*
* proc.c, vm.c: move functions about env object creation
from proc.c to vm.c.
* proc.c, yarvcore.c: fix rb_cVM initialization place.
* inits.c: change Init_ISeq() order (after Init_VM).
* ruby.h, proc.c: change declaration place of rb_cEnv
from proc.c to ruby.c.
git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@11651 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
2007-02-06 14:00:03 -05:00
|
|
|
DECL_SC_REG(rb_control_frame_t *, cfp, "si");
|
2006-12-31 10:02:22 -05:00
|
|
|
#define USE_MACHINE_REGS 1
|
|
|
|
|
|
|
|
#elif __GNUC__ && __x86_64__
|
|
|
|
DECL_SC_REG(VALUE *, pc, "14");
|
* blockinlining.c, compile.c, compile.h, error.c, eval.c,
eval_intern.h, eval_jump.h, eval_load.c, eval_method.h,
eval_safe.h, gc.c, insnhelper.h, insns.def, iseq.c, proc.c,
process.c, signal.c, thread.c, thread_pthread.ci, thread_win32.ci,
vm.c, vm.h, vm_dump.c, vm_evalbody.ci, vm_macro.def,
yarv.h, yarvcore.h, yarvcore.c: change type and macro names:
* yarv_*_t -> rb_*_t
* yarv_*_struct -> rb_*_struct
* yarv_tag -> rb_vm_tag
* YARV_* -> RUBY_VM_*
* proc.c, vm.c: move functions about env object creation
from proc.c to vm.c.
* proc.c, yarvcore.c: fix rb_cVM initialization place.
* inits.c: change Init_ISeq() order (after Init_VM).
* ruby.h, proc.c: change declaration place of rb_cEnv
from proc.c to ruby.c.
git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@11651 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
2007-02-06 14:00:03 -05:00
|
|
|
DECL_SC_REG(rb_control_frame_t *, cfp, "15");
|
2006-12-31 10:02:22 -05:00
|
|
|
#define USE_MACHINE_REGS 1
|
|
|
|
|
|
|
|
#else
|
* blockinlining.c, compile.c, compile.h, error.c, eval.c,
eval_intern.h, eval_jump.h, eval_load.c, eval_method.h,
eval_safe.h, gc.c, insnhelper.h, insns.def, iseq.c, proc.c,
process.c, signal.c, thread.c, thread_pthread.ci, thread_win32.ci,
vm.c, vm.h, vm_dump.c, vm_evalbody.ci, vm_macro.def,
yarv.h, yarvcore.h, yarvcore.c: change type and macro names:
* yarv_*_t -> rb_*_t
* yarv_*_struct -> rb_*_struct
* yarv_tag -> rb_vm_tag
* YARV_* -> RUBY_VM_*
* proc.c, vm.c: move functions about env object creation
from proc.c to vm.c.
* proc.c, yarvcore.c: fix rb_cVM initialization place.
* inits.c: change Init_ISeq() order (after Init_VM).
* ruby.h, proc.c: change declaration place of rb_cEnv
from proc.c to ruby.c.
git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@11651 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
2007-02-06 14:00:03 -05:00
|
|
|
register rb_control_frame_t *reg_cfp;
|
2006-12-31 10:02:22 -05:00
|
|
|
VALUE *reg_pc;
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#if USE_MACHINE_REGS
|
|
|
|
|
|
|
|
#undef RESTORE_REGS
|
|
|
|
#define RESTORE_REGS() \
|
|
|
|
{ \
|
|
|
|
REG_CFP = th->cfp; \
|
|
|
|
reg_pc = reg_cfp->pc; \
|
|
|
|
}
|
|
|
|
|
|
|
|
#undef REG_PC
|
|
|
|
#define REG_PC reg_pc
|
|
|
|
#undef GET_PC
|
|
|
|
#define GET_PC() (reg_pc)
|
|
|
|
#undef SET_PC
|
|
|
|
#define SET_PC(x) (reg_cfp->pc = REG_PC = (x))
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#if OPT_TOKEN_THREADED_CODE || OPT_DIRECT_THREADED_CODE
|
|
|
|
#include "vmtc.inc"
|
|
|
|
if (th == 0) {
|
|
|
|
#if OPT_STACK_CACHING
|
* blockinlining.c: remove "yarv" prefix.
* array.c, numeric.c: ditto.
* insnhelper.ci, insns.def, vm_evalbody.ci: ditto.
* yarvcore.c: removed.
* yarvcore.h: renamed to core.h.
* cont.c, debug.c, error.c, process.c, signal.c : ditto.
* ext/probeprofiler/probeprofiler.c: ditto.
* id.c, id.h: added.
* inits.c: ditto.
* compile.c: rename internal functions.
* compile.h: fix debug flag.
* eval.c, object.c, vm.c: remove ruby_top_self.
use rb_vm_top_self() instead.
* eval_intern.h, eval_load: ditto.
* gc.c: rename yarv_machine_stack_mark() to
rb_gc_mark_machine_stack().
* insnhelper.h: remove unused macros.
* iseq.c: add iseq_compile() to create iseq object
from source string.
* proc.c: rename a internal function.
* template/insns.inc.tmpl: remove YARV prefix.
* thread.c:
* vm.c (rb_iseq_eval): added.
* vm.c: move some functions from yarvcore.c.
* vm_dump.c: fix to remove compiler warning.
git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@12741 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
2007-07-12 00:25:46 -04:00
|
|
|
finish_insn_seq[0] = (VALUE)&&LABEL (finish_SC_ax_ax);
|
2006-12-31 10:02:22 -05:00
|
|
|
#else
|
* blockinlining.c: remove "yarv" prefix.
* array.c, numeric.c: ditto.
* insnhelper.ci, insns.def, vm_evalbody.ci: ditto.
* yarvcore.c: removed.
* yarvcore.h: renamed to core.h.
* cont.c, debug.c, error.c, process.c, signal.c : ditto.
* ext/probeprofiler/probeprofiler.c: ditto.
* id.c, id.h: added.
* inits.c: ditto.
* compile.c: rename internal functions.
* compile.h: fix debug flag.
* eval.c, object.c, vm.c: remove ruby_top_self.
use rb_vm_top_self() instead.
* eval_intern.h, eval_load: ditto.
* gc.c: rename yarv_machine_stack_mark() to
rb_gc_mark_machine_stack().
* insnhelper.h: remove unused macros.
* iseq.c: add iseq_compile() to create iseq object
from source string.
* proc.c: rename a internal function.
* template/insns.inc.tmpl: remove YARV prefix.
* thread.c:
* vm.c (rb_iseq_eval): added.
* vm.c: move some functions from yarvcore.c.
* vm_dump.c: fix to remove compiler warning.
git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@12741 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
2007-07-12 00:25:46 -04:00
|
|
|
finish_insn_seq[0] = (VALUE)&&LABEL (finish);
|
2006-12-31 10:02:22 -05:00
|
|
|
#endif
|
|
|
|
return (VALUE)insns_address_table;
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
reg_cfp = th->cfp;
|
|
|
|
reg_pc = reg_cfp->pc;
|
|
|
|
|
|
|
|
#if OPT_STACK_CACHING
|
|
|
|
reg_a = initial;
|
|
|
|
reg_b = 0;
|
|
|
|
#endif
|
|
|
|
|
|
|
|
first:
|
|
|
|
INSN_DISPATCH();
|
* vm.c: some refactoring.
* rename th_* to vm_*.
* remove unused variables functions.
* add prototypes.
* blockinlining.c, compile.c, cont.c, eval.c, eval_intern.h,
eval_jump.h, eval_load.c, inits.c, insns.def, iseq.c, parse.y,
proc.c, process.c, signal.c, thread.c, vm.c, vm_dump.c,
vm_evalbody.ci, yarvcore.c, yarvcore.h: ditto.
git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@12603 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
2007-06-24 11:42:41 -04:00
|
|
|
/*****************/
|
|
|
|
#include "vm.inc"
|
|
|
|
/*****************/
|
2006-12-31 10:02:22 -05:00
|
|
|
END_INSNS_DISPATCH();
|
|
|
|
|
|
|
|
/* unreachable */
|
* vm.c: some refactoring.
* rename th_* to vm_*.
* remove unused variables functions.
* add prototypes.
* blockinlining.c, compile.c, cont.c, eval.c, eval_intern.h,
eval_jump.h, eval_load.c, inits.c, insns.def, iseq.c, parse.y,
proc.c, process.c, signal.c, thread.c, vm.c, vm_dump.c,
vm_evalbody.ci, yarvcore.c, yarvcore.h: ditto.
git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@12603 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
2007-06-24 11:42:41 -04:00
|
|
|
rb_bug("vm_eval: unreachable");
|
2007-08-23 02:48:28 -04:00
|
|
|
goto first;
|
2006-12-31 10:02:22 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
#else
|
|
|
|
|
|
|
|
#include "vm.inc"
|
|
|
|
#include "vmtc.inc"
|
|
|
|
|
2007-08-23 02:48:28 -04:00
|
|
|
const void *const *
|
2006-12-31 10:02:22 -05:00
|
|
|
get_insns_address_table()
|
|
|
|
{
|
2007-08-23 02:48:28 -04:00
|
|
|
return insns_address_table;
|
2006-12-31 10:02:22 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
VALUE
|
* vm.c: some refactoring.
* rename th_* to vm_*.
* remove unused variables functions.
* add prototypes.
* blockinlining.c, compile.c, cont.c, eval.c, eval_intern.h,
eval_jump.h, eval_load.c, inits.c, insns.def, iseq.c, parse.y,
proc.c, process.c, signal.c, thread.c, vm.c, vm_dump.c,
vm_evalbody.ci, yarvcore.c, yarvcore.h: ditto.
git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@12603 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
2007-06-24 11:42:41 -04:00
|
|
|
vm_eval(rb_thread_t *th, VALUE initial)
|
2006-12-31 10:02:22 -05:00
|
|
|
{
|
* blockinlining.c, compile.c, compile.h, error.c, eval.c,
eval_intern.h, eval_jump.h, eval_load.c, eval_method.h,
eval_safe.h, gc.c, insnhelper.h, insns.def, iseq.c, proc.c,
process.c, signal.c, thread.c, thread_pthread.ci, thread_win32.ci,
vm.c, vm.h, vm_dump.c, vm_evalbody.ci, vm_macro.def,
yarv.h, yarvcore.h, yarvcore.c: change type and macro names:
* yarv_*_t -> rb_*_t
* yarv_*_struct -> rb_*_struct
* yarv_tag -> rb_vm_tag
* YARV_* -> RUBY_VM_*
* proc.c, vm.c: move functions about env object creation
from proc.c to vm.c.
* proc.c, yarvcore.c: fix rb_cVM initialization place.
* inits.c: change Init_ISeq() order (after Init_VM).
* ruby.h, proc.c: change declaration place of rb_cEnv
from proc.c to ruby.c.
git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@11651 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
2007-02-06 14:00:03 -05:00
|
|
|
register rb_control_frame_t *reg_cfp = th->cfp;
|
2007-06-27 04:21:21 -04:00
|
|
|
VALUE ret;
|
2006-12-31 10:02:22 -05:00
|
|
|
|
|
|
|
while (*GET_PC()) {
|
2007-06-30 14:02:24 -04:00
|
|
|
reg_cfp = ((rb_insn_func_t) (*GET_PC()))(th, reg_cfp);
|
2007-06-27 04:21:21 -04:00
|
|
|
|
|
|
|
if (reg_cfp == 0) {
|
|
|
|
VALUE err = th->errinfo;
|
|
|
|
th->errinfo = Qnil;
|
|
|
|
return err;
|
|
|
|
}
|
2006-12-31 10:02:22 -05:00
|
|
|
}
|
2007-06-27 04:21:21 -04:00
|
|
|
|
2007-07-05 06:49:45 -04:00
|
|
|
if (VM_FRAME_TYPE(th->cfp) != FRAME_MAGIC_FINISH) {
|
2007-06-27 04:21:21 -04:00
|
|
|
rb_bug("cfp consistency error");
|
2006-12-31 10:02:22 -05:00
|
|
|
}
|
2007-06-27 04:21:21 -04:00
|
|
|
|
|
|
|
ret = *(th->cfp->sp-1); /* pop */
|
|
|
|
th->cfp++; /* pop cf */
|
|
|
|
return ret;
|
2006-12-31 10:02:22 -05:00
|
|
|
}
|
|
|
|
#endif
|