2006-12-31 18:02:22 +03:00
|
|
|
/**********************************************************************
|
|
|
|
|
|
|
|
insnhelper.h - helper macros to implement each instructions
|
|
|
|
|
|
|
|
$Author$
|
|
|
|
created at: 04/01/01 15:50:34 JST
|
|
|
|
|
* 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-14 01:13:04 +03:00
|
|
|
Copyright (C) 2004-2007 Koichi Sasada
|
2006-12-31 18:02:22 +03:00
|
|
|
|
|
|
|
**********************************************************************/
|
|
|
|
|
2008-01-18 11:56:11 +03:00
|
|
|
#ifndef RUBY_INSNHELPER_H
|
|
|
|
#define RUBY_INSNHELPER_H
|
2006-12-31 18:02:22 +03:00
|
|
|
|
2009-01-15 18:31:43 +03:00
|
|
|
extern VALUE ruby_vm_const_missing_count;
|
* common.mk: clean up
- remove blockinlining.$(OBJEXT) to built
- make ENCODING_H_INCLDUES variable (include/ruby/encoding.h)
- make VM_CORE_H_INCLUDES variable (vm_core.h)
- simplify rules.
- make depends rule to output depend status using gcc -MM.
* include/ruby/mvm.h, include/ruby/vm.h: rename mvm.h to vm.h.
* include/ruby.h: ditto.
* load.c: add inclusion explicitly.
* enumerator.c, object.c, parse.y, thread.c, vm_dump.c:
remove useless inclusion.
* eval_intern.h: cleanup inclusion.
* vm_core.h: rb_thread_t should be defined in this file.
* vm_evalbody.c, vm_exec.c: rename vm_evalbody.c to vm_exec.c.
* vm.h, vm_exec.h: rename vm.h to vm_exec.h.
* insnhelper.h, vm_insnhelper.h: rename insnhelper.h to vm_insnhelper.h.
* vm.c, vm_insnhelper.c, vm_insnhelper.h:
- rename vm_eval() to vm_exec_core().
- rename vm_eval_body() to vm_exec().
- cleanup include order.
* vm_method.c: fix comment.
git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@19466 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
2008-09-23 04:20:28 +04:00
|
|
|
|
2012-11-22 10:28:17 +04:00
|
|
|
#if VM_COLLECT_USAGE_DETAILS
|
2012-10-04 16:31:05 +04:00
|
|
|
#define COLLECT_USAGE_INSN(insn) vm_collect_usage_insn(insn)
|
|
|
|
#define COLLECT_USAGE_OPERAND(insn, n, op) vm_collect_usage_operand((insn), (n), ((VALUE)(op)))
|
* probes.d: add DTrace probe declarations. [ruby-core:27448]
* array.c (empty_ary_alloc, ary_new): added array create DTrace probe.
* compile.c (rb_insns_name): allowing DTrace probes to access
instruction sequence name.
* Makefile.in: translate probes.d file to appropriate header file.
* common.mk: declare dependencies on the DTrace header.
* configure.in: add a test for existence of DTrace.
* eval.c (setup_exception): add a probe for when an exception is
raised.
* gc.c: Add DTrace probes for mark begin and end, and sweep begin and
end.
* hash.c (empty_hash_alloc): Add a probe for hash allocation.
* insns.def: Add probes for function entry and return.
* internal.h: function declaration for compile.c change.
* load.c (rb_f_load): add probes for `load` entry and exit, require
entry and exit, and wrapping search_required for load path search.
* object.c (rb_obj_alloc): added a probe for general object creation.
* parse.y (yycompile0): added a probe around parse and compile phase.
* string.c (empty_str_alloc, str_new): DTrace probes for string
allocation.
* test/dtrace/*: tests for DTrace probes.
* vm.c (vm_invoke_proc): add probes for function return on exception
raise, hash create, and instruction sequence execution.
* vm_core.h: add probe declarations for function entry and exit.
* vm_dump.c: add probes header file.
* vm_eval.c (vm_call0_cfunc, vm_call0_cfunc_with_frame): add probe on
function entry and return.
* vm_exec.c: expose instruction number to instruction name function.
* vm_insnshelper.c: add function entry and exit probes for cfunc
methods.
* vm_insnhelper.h: vm usage information is always collected, so
uncomment the functions.
12 19:14:50 2012 Akinori MUSHA <knu@iDaemons.org>
* configure.in (isinf, isnan): isinf() and isnan() are macros on
DragonFly which cannot be found by AC_REPLACE_FUNCS(). This
workaround enforces the fact that they exist on DragonFly.
12 15:59:38 2012 Shugo Maeda <shugo@ruby-lang.org>
* vm_core.h (rb_call_info_t::refinements), compile.c (new_callinfo),
vm_insnhelper.c (vm_search_method): revert r37616 because it's too
slow. [ruby-dev:46477]
* test/ruby/test_refinement.rb (test_inline_method_cache): skip
the test until the bug is fixed efficiently.
git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@37631 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
2012-11-13 01:52:12 +04:00
|
|
|
|
2012-10-04 16:31:05 +04:00
|
|
|
#define COLLECT_USAGE_REGISTER(reg, s) vm_collect_usage_register((reg), (s))
|
|
|
|
#else
|
2012-11-22 10:28:17 +04:00
|
|
|
#define COLLECT_USAGE_INSN(insn) /* none */
|
|
|
|
#define COLLECT_USAGE_OPERAND(insn, n, op) /* none */
|
2012-10-04 16:31:05 +04:00
|
|
|
#define COLLECT_USAGE_REGISTER(reg, s) /* none */
|
|
|
|
#endif
|
2006-12-31 18:02:22 +03:00
|
|
|
|
|
|
|
/**********************************************************/
|
|
|
|
/* deal with stack */
|
|
|
|
/**********************************************************/
|
|
|
|
|
|
|
|
#define PUSH(x) (SET_SV(x), INC_SP(1))
|
|
|
|
#define TOPN(n) (*(GET_SP()-(n)-1))
|
2007-06-05 21:39:52 +04:00
|
|
|
#define POPN(n) (DEC_SP(n))
|
|
|
|
#define POP() (DEC_SP(1))
|
2007-06-01 08:05:46 +04:00
|
|
|
#define STACK_ADDR_FROM_TOP(n) (GET_SP()-(n))
|
2006-12-31 18:02:22 +03:00
|
|
|
|
|
|
|
#define GET_TOS() (tos) /* dummy */
|
|
|
|
|
|
|
|
/**********************************************************/
|
|
|
|
/* deal with registers */
|
|
|
|
/**********************************************************/
|
|
|
|
|
|
|
|
#define REG_CFP (reg_cfp)
|
|
|
|
#define REG_PC (REG_CFP->pc)
|
|
|
|
#define REG_SP (REG_CFP->sp)
|
2012-06-11 07:14:59 +04:00
|
|
|
#define REG_EP (REG_CFP->ep)
|
2006-12-31 18:02:22 +03:00
|
|
|
|
2007-06-24 14:33:00 +04:00
|
|
|
#define RESTORE_REGS() do { \
|
2006-12-31 18:02:22 +03:00
|
|
|
REG_CFP = th->cfp; \
|
2007-06-24 14:33:00 +04:00
|
|
|
} while (0)
|
2006-12-31 18:02:22 +03:00
|
|
|
|
|
|
|
#define REG_A reg_a
|
|
|
|
#define REG_B reg_b
|
|
|
|
|
2012-06-11 07:14:59 +04:00
|
|
|
enum vm_regan_regtype {
|
|
|
|
VM_REGAN_PC = 0,
|
|
|
|
VM_REGAN_SP = 1,
|
|
|
|
VM_REGAN_EP = 2,
|
|
|
|
VM_REGAN_CFP = 3,
|
|
|
|
VM_REGAN_SELF = 4,
|
|
|
|
VM_REGAN_ISEQ = 5,
|
|
|
|
};
|
|
|
|
enum vm_regan_acttype {
|
|
|
|
VM_REGAN_ACT_GET = 0,
|
|
|
|
VM_REGAN_ACT_SET = 1,
|
|
|
|
};
|
|
|
|
|
2012-10-04 16:31:05 +04:00
|
|
|
#if VM_COLLECT_USAGE_DETAILS
|
|
|
|
#define COLLECT_USAGE_REGISTER_HELPER(a, b, v) \
|
|
|
|
(COLLECT_USAGE_REGISTER((VM_REGAN_##a), (VM_REGAN_ACT_##b)), (v))
|
2006-12-31 18:02:22 +03:00
|
|
|
#else
|
2012-10-04 16:31:05 +04:00
|
|
|
#define COLLECT_USAGE_REGISTER_HELPER(a, b, v) (v)
|
2006-12-31 18:02:22 +03:00
|
|
|
#endif
|
|
|
|
|
|
|
|
/* PC */
|
2012-10-04 16:31:05 +04:00
|
|
|
#define GET_PC() (COLLECT_USAGE_REGISTER_HELPER(PC, GET, REG_PC))
|
|
|
|
#define SET_PC(x) (REG_PC = (COLLECT_USAGE_REGISTER_HELPER(PC, SET, (x))))
|
2006-12-31 18:02:22 +03:00
|
|
|
#define GET_CURRENT_INSN() (*GET_PC())
|
|
|
|
#define GET_OPERAND(n) (GET_PC()[(n)])
|
|
|
|
#define ADD_PC(n) (SET_PC(REG_PC + (n)))
|
|
|
|
#define JUMP(dst) (REG_PC += (dst))
|
|
|
|
|
2012-06-11 07:14:59 +04:00
|
|
|
/* frame pointer, environment pointer */
|
2012-10-04 16:31:05 +04:00
|
|
|
#define GET_CFP() (COLLECT_USAGE_REGISTER_HELPER(CFP, GET, REG_CFP))
|
|
|
|
#define GET_EP() (COLLECT_USAGE_REGISTER_HELPER(EP, GET, REG_EP))
|
|
|
|
#define SET_EP(x) (REG_EP = (COLLECT_USAGE_REGISTER_HELPER(EP, SET, (x))))
|
2012-06-11 07:14:59 +04:00
|
|
|
#define GET_LEP() (VM_EP_LEP(GET_EP()))
|
2006-12-31 18:02:22 +03:00
|
|
|
|
|
|
|
/* SP */
|
2012-10-04 16:31:05 +04:00
|
|
|
#define GET_SP() (COLLECT_USAGE_REGISTER_HELPER(SP, GET, REG_SP))
|
|
|
|
#define SET_SP(x) (REG_SP = (COLLECT_USAGE_REGISTER_HELPER(SP, SET, (x))))
|
|
|
|
#define INC_SP(x) (REG_SP += (COLLECT_USAGE_REGISTER_HELPER(SP, SET, (x))))
|
|
|
|
#define DEC_SP(x) (REG_SP -= (COLLECT_USAGE_REGISTER_HELPER(SP, SET, (x))))
|
2006-12-31 18:02:22 +03:00
|
|
|
#define SET_SV(x) (*GET_SP() = (x))
|
|
|
|
/* set current stack value as x */
|
|
|
|
|
|
|
|
#define GET_SP_COUNT() (REG_SP - th->stack)
|
|
|
|
|
|
|
|
/* instruction sequence C struct */
|
|
|
|
#define GET_ISEQ() (GET_CFP()->iseq)
|
|
|
|
|
|
|
|
/**********************************************************/
|
|
|
|
/* deal with variables */
|
|
|
|
/**********************************************************/
|
|
|
|
|
2012-06-11 07:14:59 +04:00
|
|
|
#define GET_PREV_EP(ep) ((VALUE *)((ep)[0] & ~0x03))
|
2006-12-31 18:02:22 +03:00
|
|
|
|
2011-01-24 15:51:13 +03:00
|
|
|
#define GET_GLOBAL(entry) rb_gvar_get((struct rb_global_entry*)(entry))
|
|
|
|
#define SET_GLOBAL(entry, val) rb_gvar_set((struct rb_global_entry*)(entry), (val))
|
2006-12-31 18:02:22 +03:00
|
|
|
|
2009-07-13 08:44:20 +04:00
|
|
|
#define GET_CONST_INLINE_CACHE(dst) ((IC) * (GET_PC() + (dst) + 2))
|
2007-07-01 22:16:02 +04:00
|
|
|
|
2006-12-31 18:02:22 +03:00
|
|
|
/**********************************************************/
|
|
|
|
/* deal with values */
|
|
|
|
/**********************************************************/
|
|
|
|
|
2012-10-04 16:31:05 +04:00
|
|
|
#define GET_SELF() (COLLECT_USAGE_REGISTER_HELPER(SELF, GET, GET_CFP()->self))
|
2006-12-31 18:02:22 +03:00
|
|
|
|
|
|
|
/**********************************************************/
|
|
|
|
/* deal with control flow 2: method/iterator */
|
|
|
|
/**********************************************************/
|
|
|
|
|
2015-09-19 20:59:58 +03:00
|
|
|
#define CALL_METHOD(calling, ci, cc) do { \
|
|
|
|
VALUE v = (*(cc)->call)(th, GET_CFP(), (calling), (ci), (cc)); \
|
2007-06-30 22:27:20 +04:00
|
|
|
if (v == Qundef) { \
|
|
|
|
RESTORE_REGS(); \
|
|
|
|
NEXT_INSN(); \
|
|
|
|
} \
|
|
|
|
else { \
|
|
|
|
val = v; \
|
|
|
|
} \
|
|
|
|
} while (0)
|
2006-12-31 18:02:22 +03:00
|
|
|
|
2012-10-15 00:59:21 +04:00
|
|
|
/* set fastpath when cached method is *NOT* protected
|
|
|
|
* because inline method cache does not care about receiver.
|
|
|
|
*/
|
2012-10-15 21:40:50 +04:00
|
|
|
|
|
|
|
#ifndef OPT_CALL_FASTPATH
|
|
|
|
#define OPT_CALL_FASTPATH 1
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#if OPT_CALL_FASTPATH
|
2015-09-19 20:59:58 +03:00
|
|
|
#define CI_SET_FASTPATH(cc, func, enabled) do { \
|
|
|
|
if (LIKELY(enabled)) ((cc)->call = (func)); \
|
2012-10-15 00:59:21 +04:00
|
|
|
} while (0)
|
2012-10-15 21:40:50 +04:00
|
|
|
#else
|
|
|
|
#define CI_SET_FASTPATH(ci, func, enabled) /* do nothing */
|
|
|
|
#endif
|
2012-10-15 00:59:21 +04:00
|
|
|
|
2012-06-11 07:14:59 +04:00
|
|
|
#define GET_BLOCK_PTR() ((rb_block_t *)(GC_GUARDED_PTR_REF(GET_LEP()[0])))
|
2006-12-31 18:02:22 +03:00
|
|
|
|
|
|
|
/**********************************************************/
|
|
|
|
/* deal with control flow 3: exception */
|
|
|
|
/**********************************************************/
|
|
|
|
|
|
|
|
|
|
|
|
/**********************************************************/
|
|
|
|
/* others */
|
|
|
|
/**********************************************************/
|
|
|
|
|
|
|
|
/* optimize insn */
|
2012-08-23 11:22:40 +04:00
|
|
|
#define FIXNUM_2_P(a, b) ((a) & (b) & 1)
|
|
|
|
#if USE_FLONUM
|
|
|
|
#define FLONUM_2_P(a, b) (((((a)^2) | ((b)^2)) & 3) == 0) /* (FLONUM_P(a) && FLONUM_P(b)) */
|
|
|
|
#else
|
|
|
|
#define FLONUM_2_P(a, b) 0
|
|
|
|
#endif
|
2006-12-31 18:02:22 +03:00
|
|
|
|
2009-09-07 00:42:50 +04:00
|
|
|
#ifndef USE_IC_FOR_SPECIALIZED_METHOD
|
|
|
|
#define USE_IC_FOR_SPECIALIZED_METHOD 1
|
|
|
|
#endif
|
|
|
|
|
2013-08-31 09:45:10 +04:00
|
|
|
#define CALL_SIMPLE_METHOD(recv_) do { \
|
2015-09-19 20:59:58 +03:00
|
|
|
struct rb_calling_info calling; \
|
|
|
|
calling.blockptr = NULL; \
|
|
|
|
calling.argc = ci->orig_argc; \
|
|
|
|
vm_search_method(ci, cc, calling.recv = (recv_)); \
|
|
|
|
CALL_METHOD(&calling, ci, cc); \
|
2007-06-24 17:05:51 +04:00
|
|
|
} while (0)
|
|
|
|
|
2013-11-09 07:34:49 +04:00
|
|
|
#define NEXT_CLASS_SERIAL() (++ruby_vm_class_serial)
|
2013-12-09 14:51:02 +04:00
|
|
|
#define GET_GLOBAL_METHOD_STATE() (ruby_vm_global_method_state)
|
|
|
|
#define INC_GLOBAL_METHOD_STATE() (++ruby_vm_global_method_state)
|
|
|
|
#define GET_GLOBAL_CONSTANT_STATE() (ruby_vm_global_constant_state)
|
|
|
|
#define INC_GLOBAL_CONSTANT_STATE() (++ruby_vm_global_constant_state)
|
2011-06-13 15:25:44 +04:00
|
|
|
|
2016-02-28 07:41:38 +03:00
|
|
|
static VALUE make_no_method_exception(VALUE exc, VALUE format, VALUE obj,
|
|
|
|
int argc, const VALUE *argv, int priv);
|
2011-10-06 11:29:33 +04:00
|
|
|
|
2015-03-11 15:49:27 +03:00
|
|
|
static inline struct vm_throw_data *
|
|
|
|
THROW_DATA_NEW(VALUE val, rb_control_frame_t *cf, VALUE st)
|
2015-03-10 21:39:46 +03:00
|
|
|
{
|
2015-03-11 15:49:27 +03:00
|
|
|
return (struct vm_throw_data *)rb_imemo_new(imemo_throw_data, val, (VALUE)cf, st, 0);
|
2015-03-10 21:39:46 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static inline void
|
2015-03-11 15:49:27 +03:00
|
|
|
THROW_DATA_CATCH_FRAME_SET(struct vm_throw_data *obj, const rb_control_frame_t *cfp)
|
2015-03-10 21:39:46 +03:00
|
|
|
{
|
|
|
|
obj->catch_frame = cfp;
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline void
|
2015-03-11 15:49:27 +03:00
|
|
|
THROW_DATA_STATE_SET(struct vm_throw_data *obj, int st)
|
2015-03-10 21:39:46 +03:00
|
|
|
{
|
2015-03-11 00:28:09 +03:00
|
|
|
obj->throw_state = (VALUE)st;
|
2015-03-10 21:39:46 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
static inline VALUE
|
2015-03-11 15:49:27 +03:00
|
|
|
THROW_DATA_VAL(const struct vm_throw_data *obj)
|
2015-03-10 21:39:46 +03:00
|
|
|
{
|
|
|
|
return obj->throw_obj;
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline const rb_control_frame_t *
|
2015-03-11 15:49:27 +03:00
|
|
|
THROW_DATA_CATCH_FRAME(const struct vm_throw_data *obj)
|
2015-03-10 21:39:46 +03:00
|
|
|
{
|
|
|
|
return obj->catch_frame;
|
|
|
|
}
|
|
|
|
|
2015-03-11 00:28:09 +03:00
|
|
|
static int
|
2015-03-11 15:49:27 +03:00
|
|
|
THROW_DATA_STATE(const struct vm_throw_data *obj)
|
2015-03-10 21:39:46 +03:00
|
|
|
{
|
2015-03-11 00:28:09 +03:00
|
|
|
return (int)obj->throw_state;
|
2015-03-10 21:39:46 +03:00
|
|
|
}
|
|
|
|
|
2008-01-18 11:56:11 +03:00
|
|
|
#endif /* RUBY_INSNHELPER_H */
|