vm.c

Go to the documentation of this file.

 
/***** Feature test switches ************************************************/
/***** System headers *******************************************************/
//@cond
#include "vm_config.h"
#include <stddef.h>
#include <string.h>
#include <assert.h>
//@endcond
 
/***** Local headers ********************************************************/
#include "opcode.h"
#include "mrubyc.h"
 
/***** Constat values *******************************************************/
#define CALL_MAXARGS 15         // 15 is CALL_MAXARGS in mruby
 
 
/***** Macros ***************************************************************/
#define IS_CLASS_OR_MODULE(v) \
  (mrbc_type(v) == MRBC_TT_CLASS || mrbc_type(v) == MRBC_TT_MODULE)
 
 
/***** Typedefs *************************************************************/
/***** Function prototypes **************************************************/
/***** Local variables ******************************************************/
static uint16_t free_vm_bitmap[MAX_VM_COUNT / 16 + 1];
 
 
/***** Global variables *****************************************************/
/***** Signal catching functions ********************************************/
/***** Local functions ******************************************************/
//================================================================
static void send_by_name( mrbc_vm *vm, mrbc_sym sym_id, int a, int c )
{
  int narg = c & 0x0f;
  int karg = (c >> 4) & 0x0f;
  int have_block = (c >> 8);
  mrbc_value *recv = vm->cur_regs + a;
 
  // If it's packed in an array, expand it.
  if( narg == CALL_MAXARGS ) {
    mrbc_value argary = recv[1];
    int n_move = (karg == CALL_MAXARGS) ? 2 : karg * 2 + 1;
 
    narg = mrbc_array_size(&argary);
    for( int i = 0; i < narg; i++ ) {
      mrbc_incref( &argary.array->data[i] );
    }
 
    memmove( recv + narg + 1, recv + 2, sizeof(mrbc_value) * n_move );
    if( narg == 0 ) {
      mrbc_set_tt( recv + n_move + 1, MRBC_TT_EMPTY );
    } else {
      memcpy( recv + 1, argary.array->data, sizeof(mrbc_value) * narg );
    }
    mrbc_decref(&argary);
  }
 
  mrbc_value *r1 = recv + narg + 1;
 
  // Process keyword arguments
  if( karg ) {
    if( karg == CALL_MAXARGS ) {
      assert( mrbc_type(r1[0]) == MRBC_TT_HASH );
      if( mrbc_hash_size(&r1[0]) == 0 ) {
        // delete zero size keyword hash.
        mrbc_decref(&r1[0]);
        r1[0] = r1[1];          // move block Proc
        mrbc_set_tt(&r1[1], MRBC_TT_EMPTY);
        r1--;
      }
    } else {
      // Convert keyword argument to hash.
      mrbc_value hval = mrbc_hash_new( vm, karg );
 
      memcpy( hval.hash->data, r1, sizeof(mrbc_value) * karg * 2 );
      hval.hash->n_stored = karg * 2;
 
      r1[0] = hval;
      r1[1] = r1[karg * 2];     // move block Proc
      memset( r1 + 2, 0, sizeof(mrbc_value) * (karg * 2 - 1) );
    }
    r1++;
  }
 
  // is not have block
  if( !have_block ) {
    mrbc_decref( r1 );
    mrbc_set_nil( r1 );
  }
 
  // find a method
  mrbc_class *cls = find_class_by_object(recv);
  mrbc_method method;
  if( mrbc_find_method( &method, cls, sym_id ) != 0 ) goto CALL_METHOD;
 
  // method missing?
  if( mrbc_find_method( &method, cls, MRBC_SYM(method_missing) ) == 0 ) {
    mrbc_raisef(vm, MRBC_CLASS(NoMethodError),
                "undefined local variable or method '%s' for %s",
                mrbc_symid_to_str(sym_id), mrbc_symid_to_str(cls->sym_id));
    if( vm->callinfo_tail != 0 ) {
      vm->exception.exception->method_id = vm->callinfo_tail->method_id;
    }
    return;
  }
 
  // prepare to call 'method_missing' method.
  for( int i = narg+1; i != 0; i-- ) {  // shift arguments
    recv[i+1] = recv[i];
  }
  mrbc_set_symbol( &recv[1], sym_id );
  sym_id = MRBC_SYM(method_missing);
  narg++;
 
 
 CALL_METHOD:
  if( !method.c_func ) goto CALL_RUBY_METHOD;
 
  vm->callee_sym_id = sym_id;
  method.func(vm, recv, narg);
 
  if( mrbc_israised(vm) && vm->exception.exception->method_id == 0 ) {
    vm->exception.exception->method_id = sym_id;
  }
  if( sym_id == MRBC_SYM(call) ) return;
  if( sym_id == MRBC_SYM(new) ) return;
 
  for( int i = 1; i <= narg + !!karg + have_block; i++ ) {
    mrbc_decref_empty( recv + i );
  }
  return;
 
 
 CALL_RUBY_METHOD:;
  mrbc_callinfo *callinfo = mrbc_push_callinfo(vm, sym_id, a, narg);
  callinfo->own_class = method.cls;
 
  vm->cur_irep = method.irep;
  vm->inst = vm->cur_irep->inst;
  vm->cur_regs = recv;
}
 
 
//================================================================
static const mrbc_irep_catch_handler *find_catch_handler_ensure( const mrbc_vm *vm )
{
  const mrbc_irep *irep = vm->cur_irep;
  int cnt = irep->clen;
  if( cnt == 0 ) return NULL;
 
  const mrbc_irep_catch_handler *catch_table =
    (const mrbc_irep_catch_handler *)(irep->inst + irep->ilen);
  uint32_t inst = vm->inst - irep->inst;
 
  for( cnt--; cnt >= 0 ; cnt-- ) {
    const mrbc_irep_catch_handler *handler = catch_table + cnt;
    // Catch type and range check
    if( (handler->type == 1) &&         // 1=CATCH_FILTER_ENSURE
        (bin_to_uint32(handler->begin) < inst) &&
        (inst <= bin_to_uint32(handler->end)) ) {
      return handler;
    }
  }
 
  return NULL;
}
 
 
/***** Global functions *****************************************************/
 
//================================================================
void mrbc_cleanup_vm(void)
{
  memset(free_vm_bitmap, 0, sizeof(free_vm_bitmap));
}
 
 
//================================================================
mrbc_callinfo * mrbc_push_callinfo( mrbc_vm *vm, mrbc_sym method_id, int reg_offset, int n_args )
{
  mrbc_callinfo *callinfo = mrbc_alloc(vm, sizeof(mrbc_callinfo));
 
  *callinfo = (mrbc_callinfo){
#if defined(MRBC_DEBUG)
    .obj_mark_ = "CI",
#endif
    .cur_irep = vm->cur_irep,
    .inst = vm->inst,
    .cur_regs = vm->cur_regs,
    .target_class = vm->target_class,
    .prev = vm->callinfo_tail,
    .own_class = 0,
    .karg_keep = 0,
    .method_id = method_id,
    .reg_offset = reg_offset,
    .n_args = n_args,
    .is_called_super = 0,
    .is_called_block = 0,
  };
 
  vm->callinfo_tail = callinfo;
 
  return callinfo;
}
 
 
//================================================================
void mrbc_pop_callinfo( mrbc_vm *vm )
{
  assert( vm->callinfo_tail );
 
  // clear used register.
  mrbc_callinfo *callinfo = vm->callinfo_tail;
  mrbc_value *r0 = vm->cur_regs;
 
  for( int i = 1; i < vm->cur_irep->nregs; i++ ) {
    mrbc_decref_empty( r0+i );
  }
 
  if( callinfo->karg_keep ) {
    mrbc_hash_delete(&mrbc_immediate_value(MRBC_TT_HASH, .hash = callinfo->karg_keep));
  }
 
  // copy callinfo to vm
  vm->cur_irep = callinfo->cur_irep;
  vm->inst = callinfo->inst;
  vm->cur_regs = callinfo->cur_regs;
  vm->target_class = callinfo->target_class;
  vm->callinfo_tail = callinfo->prev;
 
  mrbc_free(vm, callinfo);
}
 
 
//================================================================
mrbc_vm * mrbc_vm_new( int regs_size )
{
  unsigned int vm_total_size = sizeof(mrbc_vm) + sizeof(mrbc_value) * regs_size;
  mrbc_vm *vm = mrbc_raw_alloc(vm_total_size);
 
  memset(vm, 0, vm_total_size); // caution: assume NULL is zero.
#if defined(MRBC_DEBUG)
  memcpy(vm->obj_mark_, "VM", 2);
#endif
  vm->flag_need_memfree = 1;
  vm->regs_size = regs_size;
 
  return vm;
}
 
 
//================================================================
mrbc_vm * mrbc_vm_open( mrbc_vm *vm )
{
  if( !vm ) vm = mrbc_vm_new( MAX_REGS_SIZE );
 
  // allocate vm id.
  int vm_id;
  for( vm_id = 0; vm_id < MAX_VM_COUNT; vm_id++ ) {
    int idx = vm_id >> 4;
    uint16_t bit = (uint16_t)1 << (vm_id & 0x0f);
    if( (free_vm_bitmap[idx] & bit) == 0 ) {
      free_vm_bitmap[idx] |= bit;               // found
      break;
    }
  }
 
  if( vm_id == MAX_VM_COUNT ) {
    if( vm->flag_need_memfree ) mrbc_raw_free(vm);
    return NULL;
  }
 
  vm->vm_id = ++vm_id;
 
  return vm;
}
 
 
//================================================================
void mrbc_vm_begin( mrbc_vm *vm )
{
  vm->cur_irep = vm->top_irep;
  vm->inst = vm->cur_irep->inst;
  vm->cur_regs = vm->regs;
  vm->target_class = MRBC_CLASS(Object);
  vm->callinfo_tail = NULL;
  vm->ret_blk = NULL;
  vm->exception = mrbc_nil_value();
  vm->flag_preemption = 0;
  vm->flag_stop = 0;
 
  // set self to reg[0], others nil
  mrbc_decref( &vm->regs[0] );
  vm->regs[0] = mrbc_instance_new(vm, MRBC_CLASS(Object), 0);
  for( int i = 1; i < vm->regs_size; i++ ) {
    mrbc_set_nil( &vm->regs[i] );
  }
}
 
 
//================================================================
void mrbc_vm_end( mrbc_vm *vm )
{
  if( mrbc_israised(vm) ) {
#if defined(MRBC_ABORT_BY_EXCEPTION)
    MRBC_ABORT_BY_EXCEPTION(vm);
#else
    mrbc_print_vm_exception( vm );
    mrbc_decref(&vm->exception);
#endif
  }
  assert( vm->ret_blk == 0 );
 
  int n_used = 0;
  for( int i = 1; i < vm->regs_size; i++ ) {
    //mrbc_printf("vm->regs[%d].tt = %d\n", i, mrbc_type(vm->regs[i]));
    if( mrbc_type(vm->regs[i]) != MRBC_TT_NIL ) n_used = i;
    mrbc_decref_empty(&vm->regs[i]);
  }
  (void)n_used; // avoid warning.
#if defined(MRBC_DEBUG_REGS)
  mrbc_printf("Finally number of registers used was %d in VM %d.\n",
              n_used, vm->vm_id );
#endif
 
#if defined(MRBC_ALLOC_VMID)
  mrbc_global_clear_vm_id();
  mrbc_free_all(vm);
#endif
}
 
 
//================================================================
void mrbc_vm_close( mrbc_vm *vm )
{
  mrbc_decref( &vm->regs[0] );
 
  // free vm id.
  if( vm->vm_id != 0 ) {
    int idx = (vm->vm_id-1) >> 4;
    uint16_t bit = (uint16_t)1 << ((vm->vm_id-1) & 0x0f);
    free_vm_bitmap[idx] &= ~bit;
  }
 
  // free irep and vm
  if( vm->top_irep ) mrbc_irep_free( vm->top_irep );
  if( vm->flag_need_memfree ) mrbc_raw_free(vm);
}
 
 
/***** opecode functions ****************************************************/
#if defined(MRBC_SUPPORT_OP_EXT)
#define EXT , int ext
#else
#define EXT
#endif
//================================================================
static inline void op_nop( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_Z();
}
 
 
//================================================================
static inline void op_move( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  mrbc_incref(&regs[b]);
  mrbc_decref(&regs[a]);
  regs[a] = regs[b];
}
 
 
//================================================================
static inline void op_loadl( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  mrbc_decref(&regs[a]);
  regs[a] = mrbc_irep_pool_value(vm, b);
}
 
 
//================================================================
static inline void op_loadi8( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  mrbc_decref(&regs[a]);
  mrbc_set_integer(&regs[a], b);
}
 
 
//================================================================
static inline void op_loadineg( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  mrbc_decref(&regs[a]);
  mrbc_set_integer(&regs[a], -(mrbc_int_t)b);
}
 
 
//================================================================
static inline void op_loadi_n( mrbc_vm *vm, mrbc_value *regs EXT )
{
  // get n
  int opcode = vm->inst[-1];
  int n = opcode - OP_LOADI_0;
 
  FETCH_B();
 
  mrbc_decref(&regs[a]);
  mrbc_set_integer(&regs[a], n);
}
 
 
//================================================================
static inline void op_loadi16( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BS();
 
  mrbc_decref(&regs[a]);
  int16_t signed_b = (int16_t)b;
  mrbc_set_integer(&regs[a], signed_b);
}
 
 
//================================================================
static inline void op_loadi32( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BSS();
 
  mrbc_decref(&regs[a]);
  mrbc_set_integer(&regs[a], (((int32_t)b<<16)+(int32_t)c));
}
 
 
//================================================================
static inline void op_loadsym( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  mrbc_decref(&regs[a]);
  mrbc_set_symbol(&regs[a], mrbc_irep_symbol_id(vm->cur_irep, b));
}
 
 
//================================================================
static inline void op_loadnil( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  mrbc_decref(&regs[a]);
  mrbc_set_nil(&regs[a]);
}
 
 
//================================================================
static inline void op_loadself( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  mrbc_decref(&regs[a]);
  regs[a] = *mrbc_get_self( vm, regs );
  mrbc_incref( &regs[a] );
}
 
 
//================================================================
static inline void op_loadtrue( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  mrbc_decref(&regs[a]);
  mrbc_set_true(&regs[a]);
}
 
 
//================================================================
static inline void op_loadfalse( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  mrbc_decref(&regs[a]);
  mrbc_set_false(&regs[a]);
}
 
 
//================================================================
static inline void op_getgv( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  mrbc_decref(&regs[a]);
  mrbc_value *v = mrbc_get_global( mrbc_irep_symbol_id(vm->cur_irep, b) );
  if( v == NULL ) {
    mrbc_set_nil(&regs[a]);
  } else {
    mrbc_incref(v);
    regs[a] = *v;
  }
}
 
 
//================================================================
static inline void op_setgv( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  mrbc_incref(&regs[a]);
  mrbc_set_global( mrbc_irep_symbol_id(vm->cur_irep, b), &regs[a] );
}
 
 
//================================================================
static inline void op_getiv( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  const char *sym_name = mrbc_irep_symbol_cstr(vm->cur_irep, b);
  mrbc_sym sym_id = mrbc_str_to_symid(sym_name+1);   // skip '@'
  if( sym_id < 0 ) {
    mrbc_raise(vm, MRBC_CLASS(Exception), "Overflow MAX_SYMBOLS_COUNT");
    return;
  }
 
  mrbc_value *self = mrbc_get_self( vm, regs );
  mrbc_decref(&regs[a]);
  regs[a] = mrbc_instance_getiv(self, sym_id);
}
 
 
//================================================================
static inline void op_setiv( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  const char *sym_name = mrbc_irep_symbol_cstr(vm->cur_irep, b);
  mrbc_sym sym_id = mrbc_str_to_symid(sym_name+1);   // skip '@'
  if( sym_id < 0 ) {
    mrbc_raise(vm, MRBC_CLASS(Exception), "Overflow MAX_SYMBOLS_COUNT");
    return;
  }
 
  mrbc_value *self = mrbc_get_self( vm, regs );
  if( mrbc_instance_setiv(self, sym_id, &regs[a]) == E_NOTIMP_ERROR ) {
    mrbc_raise(vm, MRBC_CLASS(NotImplementedError), 0);
  }
}
 
 
//================================================================
static inline void op_getconst( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  mrbc_sym sym_id = mrbc_irep_symbol_id(vm->cur_irep, b);
  mrbc_class *crit_cls;
  mrbc_value *ret;
 
  if( vm->callinfo_tail && vm->callinfo_tail->own_class ) {
    crit_cls = vm->callinfo_tail->own_class;
    if( crit_cls->flag_alias ) crit_cls = crit_cls->aliased;
  } else {
    crit_cls = find_class_by_object( mrbc_get_self(vm, regs) );
  }
 
  // search in my class, then search nested outer class.
  mrbc_class *cls = crit_cls;
  while( 1 ) {
    ret = mrbc_get_class_const(cls, sym_id);
    if( ret ) goto DONE;
    if( !mrbc_is_nested_symid(cls->sym_id) ) break;
 
    mrbc_sym outer_id, inner_id;
    mrbc_separate_nested_symid( cls->sym_id, &outer_id, &inner_id );
    cls = mrbc_get_const( outer_id )->cls;
  }
 
  // search in super class.
  mrbc_class *nest_buf[MRBC_TRAVERSE_NEST_LEVEL];
  int nest_idx = 0;
 
  cls = crit_cls;
  while( (cls = mrbc_traverse_class_tree( cls, nest_buf, &nest_idx )) ) {
    if( cls->flag_alias ) cls = cls->aliased;
    ret = mrbc_get_class_const(cls, sym_id);
    if( ret ) goto DONE;
  }
 
  // is top level constant definition?
  ret = mrbc_get_const(sym_id);
  if( ret == NULL ) {
    mrbc_raisef( vm, MRBC_CLASS(NameError),
                 "uninitialized constant %s", mrbc_symid_to_str(sym_id));
    return;
  }
 
 DONE:
  mrbc_incref(ret);
  mrbc_decref(&regs[a]);
  regs[a] = *ret;
}
 
 
//================================================================
static inline void op_setconst( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  mrbc_sym sym_id = mrbc_irep_symbol_id(vm->cur_irep, b);
 
  mrbc_incref(&regs[a]);
  if( IS_CLASS_OR_MODULE(regs[0]) ) {
    mrbc_set_class_const(regs[0].cls, sym_id, &regs[a]);
  } else {
    mrbc_set_const(sym_id, &regs[a]);
  }
}
 
 
//================================================================
static inline void op_getmcnst( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  mrbc_sym sym_id = mrbc_irep_symbol_id(vm->cur_irep, b);
  mrbc_class *cls = regs[a].cls;
  mrbc_value *ret;
 
  // ::CONST case
  if( cls->sym_id == MRBC_SYM(Object) ) {
    ret = mrbc_get_const(sym_id);
    if( ret == NULL ) {
      mrbc_raisef( vm, MRBC_CLASS(NameError), "uninitialized constant %s::%s",
                   "", mrbc_symid_to_str( sym_id ));
      return;
    }
    goto DONE;
  }
 
  mrbc_class *nest_buf[MRBC_TRAVERSE_NEST_LEVEL];
  int nest_idx = 0;
 
  while( !(ret = mrbc_get_class_const(cls, sym_id)) ) {
    cls = mrbc_traverse_class_tree( cls, nest_buf, &nest_idx );
    if( !cls ) {
      mrbc_raisef( vm, MRBC_CLASS(NameError), "uninitialized constant %s::%s",
        mrbc_symid_to_str( regs[a].cls->sym_id ), mrbc_symid_to_str( sym_id ));
      return;
    }
    if( cls->flag_alias ) cls = cls->aliased;
  }
 
 DONE:
  mrbc_incref(ret);
  mrbc_decref(&regs[a]);
  regs[a] = *ret;
}
 
 
//================================================================
static inline void op_getupvar( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BBB();
 
  assert( mrbc_type(regs[0]) == MRBC_TT_PROC );
  mrbc_callinfo *callinfo = regs[0].proc->callinfo;
 
  for( int i = 0; i < c; i++ ) {
    assert( callinfo );
    mrbc_value *reg0 = callinfo->cur_regs + callinfo->reg_offset;
 
    if( mrbc_type(*reg0) != MRBC_TT_PROC ) break;       // What to do?
    callinfo = reg0->proc->callinfo;
  }
 
  mrbc_value *p_val;
  if( callinfo == 0 ) {
    p_val = vm->regs + b;
  } else {
    p_val = callinfo->cur_regs + callinfo->reg_offset + b;
  }
  mrbc_incref( p_val );
 
  mrbc_decref( &regs[a] );
  regs[a] = *p_val;
}
 
 
//================================================================
static inline void op_setupvar( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BBB();
 
  assert( mrbc_type(regs[0]) == MRBC_TT_PROC );
  mrbc_callinfo *callinfo = regs[0].proc->callinfo;
 
  for( int i = 0; i < c; i++ ) {
    assert( callinfo );
    mrbc_value *reg0 = callinfo->cur_regs + callinfo->reg_offset;
    assert( mrbc_type(*reg0) == MRBC_TT_PROC );
    callinfo = reg0->proc->callinfo;
  }
 
  mrbc_value *p_val;
  if( callinfo == 0 ) {
    p_val = vm->regs + b;
  } else {
    p_val = callinfo->cur_regs + callinfo->reg_offset + b;
  }
  mrbc_decref( p_val );
 
  mrbc_incref( &regs[a] );
  *p_val = regs[a];
}
 
 
//================================================================
static inline void op_getidx( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  send_by_name( vm, MRBC_SYMID_BL_BR, a, 1 );
}
 
 
//================================================================
static inline void op_getidx0( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  if( a != b ) {
    mrbc_decref( &regs[a] );
    regs[a] = regs[b];
    mrbc_incref( &regs[a] );
  }
  mrbc_decref( &regs[a+1] );
  mrbc_set_integer( &regs[a+1], 0 );
  send_by_name( vm, MRBC_SYMID_BL_BR, a, 1 );
}
 
 
//================================================================
static inline void op_setidx( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  send_by_name( vm, MRBC_SYMID_BL_BR_EQ, a, 2 );
}
 
 
//================================================================
static inline void op_jmp( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_S();
 
  vm->inst += (int16_t)a;
}
 
 
//================================================================
static inline void op_jmpif( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BS();
 
  if( mrbc_type(regs[a]) > MRBC_TT_FALSE ) {
    vm->inst += (int16_t)b;
  }
}
 
 
//================================================================
static inline void op_jmpnot( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BS();
 
  if( mrbc_type(regs[a]) <= MRBC_TT_FALSE ) {
    vm->inst += (int16_t)b;
  }
}
 
 
//================================================================
static inline void op_jmpnil( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BS();
 
  if( mrbc_type(regs[a]) == MRBC_TT_NIL ) {
    vm->inst += (int16_t)b;
  }
}
 
 
//================================================================
static inline void op_jmpuw( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_S();
 
  const uint8_t *jump_inst = vm->inst + (int16_t)a;
 
  // check catch handler (ensure)
  const mrbc_irep_catch_handler *handler = find_catch_handler_ensure(vm);
  if( !handler ) {
    vm->inst = jump_inst;
    return;
  }
 
  // check whether the jump point is inside or outside the catch handler.
  uint32_t jump_point = jump_inst - vm->cur_irep->inst;
  if( (bin_to_uint32(handler->begin) < jump_point) &&
      (jump_point <= bin_to_uint32(handler->end)) ) {
    vm->inst = jump_inst;
    return;
  }
 
  // jump point is outside, thus jump to ensure.
  assert( mrbc_type(vm->exception) == MRBC_TT_NIL );
  vm->exception.tt = MRBC_TT_JMPUW;
  vm->exception.handle = (void*)jump_inst;
  vm->inst = vm->cur_irep->inst + bin_to_uint32(handler->target);
}
 
 
//================================================================
static inline void op_except( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  mrbc_decref( &regs[a] );
  regs[a] = vm->exception;
  mrbc_set_nil( &vm->exception );
}
 
 
//================================================================
static inline void op_rescue( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  assert( mrbc_type(regs[a]) == MRBC_TT_EXCEPTION );
  assert( mrbc_type(regs[b]) == MRBC_TT_CLASS );
 
  int res = mrbc_obj_is_kind_of( &regs[a], regs[b].cls );
  mrbc_set_bool( &regs[b], res );
}
 
 
//================================================================
static inline void op_raiseif( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  // save the parameter.
  mrbc_value ra = regs[a];
  mrbc_set_tt( &regs[a], MRBC_TT_EMPTY );
 
  switch( mrbc_type(ra) ) {
  case MRBC_TT_RETURN:          goto CASE_OP_RETURN;
  case MRBC_TT_RETURN_BLK:      goto CASE_OP_RETURN_BLK;
  case MRBC_TT_BREAK:           goto CASE_OP_BREAK;
  case MRBC_TT_JMPUW:           goto CASE_OP_JMPUW;
  case MRBC_TT_EXCEPTION:       goto CASE_OP_EXCEPTION;
  default: break;
  }
 
  assert( mrbc_type(ra) == MRBC_TT_NIL );
  assert( mrbc_type(vm->exception) == MRBC_TT_NIL );
  return;
 
 
CASE_OP_RETURN:
 {
  // find ensure that still needs to be executed.
  const mrbc_irep_catch_handler *handler = find_catch_handler_ensure(vm);
  if( handler ) {
    vm->exception = ra;
    vm->inst = vm->cur_irep->inst + bin_to_uint32(handler->target);
    return;
  }
 
  // set the return value and return to caller.
  mrbc_decref(&regs[0]);
  regs[0] = regs[ vm->cur_irep->nregs ];
  mrbc_set_tt( &regs[ vm->cur_irep->nregs ], MRBC_TT_EMPTY );
 
  mrbc_pop_callinfo(vm);
  return;
 }
 
 
CASE_OP_RETURN_BLK:
 {
  assert( vm->ret_blk );
 
  // return to the proc generated level.
  while( 1 ) {
    // find ensure that still needs to be executed.
    const mrbc_irep_catch_handler *handler = find_catch_handler_ensure(vm);
    if( handler ) {
      vm->exception = ra;
      vm->inst = vm->cur_irep->inst + bin_to_uint32(handler->target);
      return;
    }
 
    // Is it the origin (generator) of proc?
    if( vm->callinfo_tail == vm->ret_blk->callinfo_self ) break;
 
    mrbc_pop_callinfo(vm);
  }
 
  // top level return ?
  if( vm->callinfo_tail == NULL ) {
    mrbc_decref(&mrbc_immediate_value(MRBC_TT_PROC, .proc = vm->ret_blk));
    vm->ret_blk = 0;
 
    vm->flag_preemption = 1;
    vm->flag_stop = 1;
    return;
  }
 
  // set the return value and return to caller.
  mrbc_value *reg0 = vm->callinfo_tail->cur_regs + vm->callinfo_tail->reg_offset;
  mrbc_decref(reg0);
  *reg0 = vm->ret_blk->ret_val;
 
  mrbc_decref(&mrbc_immediate_value(MRBC_TT_PROC, .proc = vm->ret_blk));
  vm->ret_blk = 0;
 
  mrbc_pop_callinfo(vm);
  return;
 }
 
 
CASE_OP_BREAK:
 {
  assert( vm->ret_blk );
 
  // return to the proc generated level.
  int reg_offset = 0;
  while( vm->callinfo_tail != vm->ret_blk->callinfo ) {
    // find ensure that still needs to be executed.
    const mrbc_irep_catch_handler *handler = find_catch_handler_ensure(vm);
    if( handler ) {
      vm->exception = ra;
      vm->inst = vm->cur_irep->inst + bin_to_uint32(handler->target);
      return;
    }
 
    reg_offset = vm->callinfo_tail->reg_offset;
    mrbc_pop_callinfo(vm);
  }
 
  // set the return value.
  mrbc_value *reg0 = vm->cur_regs + reg_offset;
  mrbc_decref(reg0);
  *reg0 = vm->ret_blk->ret_val;
 
  mrbc_decref(&mrbc_immediate_value(MRBC_TT_PROC, .proc = vm->ret_blk));
  vm->ret_blk = 0;
  return;
 }
 
 
CASE_OP_JMPUW:
 {
  // find ensure that still needs to be executed.
  const mrbc_irep_catch_handler *handler = find_catch_handler_ensure(vm);
  if( !handler ) {
    vm->inst = ra.handle;
    return;
  }
 
  // check whether the jump point is inside or outside the catch handler.
  uint32_t jump_point = (uint8_t *)ra.handle - vm->cur_irep->inst;
  if( (bin_to_uint32(handler->begin) < jump_point) &&
      (jump_point <= bin_to_uint32(handler->end)) ) {
    vm->inst = ra.handle;
    return;
  }
 
  // jump point is outside, thus jump to ensure.
  assert( mrbc_type(vm->exception) == MRBC_TT_NIL );
  vm->exception = ra;
  vm->inst = vm->cur_irep->inst + bin_to_uint32(handler->target);
  return;
 }
 
 
CASE_OP_EXCEPTION:
 {
  vm->exception = ra;
  vm->flag_preemption = 2;
  return;
 }
}
 
 
//================================================================
static inline void op_matcherr( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  if( mrbc_type(regs[a]) <= MRBC_TT_FALSE ) {
    mrbc_raise( vm, MRBC_CLASS(NoMatchingPatternError), 0);
  }
}
 
 
//================================================================
static inline void op_ssend( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BBB();
 
  mrbc_decref( &regs[a] );
  regs[a] = *mrbc_get_self( vm, regs );
  mrbc_incref( &regs[a] );
 
  send_by_name( vm, mrbc_irep_symbol_id(vm->cur_irep, b), a, c );
}
 
 
 
//================================================================
static inline void op_ssend0( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  mrbc_decref( &regs[a] );
  regs[a] = *mrbc_get_self( vm, regs );
  mrbc_incref( &regs[a] );
 
  send_by_name( vm, mrbc_irep_symbol_id(vm->cur_irep, b), a, 0 );
}
 
 
 
//================================================================
static inline void op_ssendb( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BBB();
 
  mrbc_decref( &regs[a] );
  regs[a] = *mrbc_get_self( vm, regs );
  mrbc_incref( &regs[a] );
 
  send_by_name( vm, mrbc_irep_symbol_id(vm->cur_irep, b), a, c | 0x100 );
}
 
 
 
//================================================================
static inline void op_send( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BBB();
 
  send_by_name( vm, mrbc_irep_symbol_id(vm->cur_irep, b), a, c );
}
 
 
//================================================================
static inline void op_send0( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  send_by_name( vm, mrbc_irep_symbol_id(vm->cur_irep, b), a, 0 );
}
 
 
//================================================================
static inline void op_sendb( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BBB();
 
  send_by_name( vm, mrbc_irep_symbol_id(vm->cur_irep, b), a, c | 0x100 );
}
 
 
//================================================================
static inline void op_blkcall( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  send_by_name( vm, MRBC_SYM(call), a, b | 0x100 );
}
 
 
//================================================================
static inline void op_super( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  int narg = b & 0x0f;
  int karg = (b >> 4) & 0x0f;
  mrbc_value *recv = regs + a;  // new regs[0]
 
  // set self to new regs[0]
  mrbc_value *self = mrbc_get_self(vm, regs);
  assert( mrbc_type(*self) != MRBC_TT_PROC );
 
  mrbc_incref( self );
  mrbc_decref( recv );
  *recv = *self;
 
  // If it's packed in an array, expand it.
  if( narg == CALL_MAXARGS ) {
    mrbc_value argary = recv[1];
    int n_move = (karg == CALL_MAXARGS) ? 2 : karg * 2 + 1;
 
    narg = mrbc_array_size(&argary);
    for( int i = 0; i < narg; i++ ) {
      mrbc_incref( &argary.array->data[i] );
    }
 
    memmove( recv + narg + 1, recv + 2, sizeof(mrbc_value) * n_move );
    if( narg == 0 ) {
      mrbc_set_tt( recv + 2, MRBC_TT_EMPTY );
    } else {
      memcpy( recv + 1, argary.array->data, sizeof(mrbc_value) * narg );
    }
    mrbc_decref(&argary);
  }
 
  mrbc_value *r1 = recv + narg + 1;
 
  // Convert keyword argument to hash.
  if( karg && karg != CALL_MAXARGS ) {
    mrbc_value hval = mrbc_hash_new( vm, karg );
 
    memcpy( hval.hash->data, r1, sizeof(mrbc_value) * karg * 2 );
    hval.hash->n_stored = karg * 2;
 
    r1[0] = hval;
    r1[1] = r1[karg * 2];       // move block Proc
    memset( r1 + 2, 0, sizeof(mrbc_value) * (karg * 2 - 1) );
  }
 
  // find super class
  mrbc_callinfo *callinfo = vm->callinfo_tail;
  if( callinfo == NULL ) {
    mrbc_raise(vm, MRBC_CLASS(NoMethodError), "super called outside of method");
    return;
  }
  mrbc_class *cls = callinfo->own_class;
  mrbc_method method;
 
  assert( cls );
  cls = cls->super;
  assert( cls );
  if( mrbc_find_method( &method, cls, callinfo->method_id ) == 0 ) {
    mrbc_raisef( vm, MRBC_CLASS(NoMethodError),
        "no superclass method '%s' for %s",
        mrbc_symid_to_str(callinfo->method_id),
        mrbc_symid_to_str(callinfo->own_class->sym_id));
    return;
  }
 
  // call C function and return.
  if( method.c_func ) {
    method.func(vm, recv, narg - !!karg);
    for( int i = 1; i <= narg+1; i++ ) {
      mrbc_decref_empty( recv + i );
    }
    return;
  }
 
  // call Ruby method.
  callinfo = mrbc_push_callinfo(vm, callinfo->method_id, a, narg);
  callinfo->own_class = method.cls;
  callinfo->is_called_super = 1;
 
  vm->cur_irep = method.irep;
  vm->inst = vm->cur_irep->inst;
  vm->cur_regs = recv;
}
 
 
//================================================================
static inline void op_argary( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BS();
 
  int m1 = (b >> 11) & 0x1f;
  int r  = (b >> 10) & 0x01;
  int m2 = (b >>  5) & 0x1f;
  int d  = (b >>  4) & 0x01;
  int lv = (b      ) & 0x0f;
 
  if( m2 ) {
    mrbc_raise( vm, MRBC_CLASS(NotImplementedError), "not support m2 argument");
    return;
  }
 
  mrbc_value *reg0 = regs;
  mrbc_callinfo *callinfo = 0;
 
  // rewind proc nest
  if( lv ) {
    assert( mrbc_type(*reg0) == MRBC_TT_PROC );
    callinfo = reg0->proc->callinfo;
    assert( callinfo );
 
    for( int i = 1; i < lv; i ++ ) {
      reg0 = callinfo->cur_regs + callinfo->reg_offset;
      assert( mrbc_type(*reg0) == MRBC_TT_PROC );
      callinfo = reg0->proc->callinfo;
      assert( callinfo );
    }
 
    reg0 = callinfo->cur_regs + callinfo->reg_offset;
  }
 
  // create argument array.
  int rest_len = 0;
  mrbc_value *rest_data = NULL;
  if( r && mrbc_type(reg0[m1+1]) == MRBC_TT_ARRAY ) {
    rest_len = mrbc_array_size(&reg0[m1+1]);
    rest_data = reg0[m1+1].array->data;
  }
 
  mrbc_value argary = mrbc_array_new( vm, m1 + rest_len + m2 );
 
  for( int i = 1; i <= m1; i++ ) {
    mrbc_incref( &reg0[i] );
    mrbc_array_push( &argary, &reg0[i] );
  }
 
  for( int i = 0; i < rest_len; i++ ) {
    mrbc_incref( &rest_data[i] );
    mrbc_array_push( &argary, &rest_data[i] );
  }
 
  int block_reg = m1 + r + m2;
 
  if( d ) {
    if( !callinfo ) callinfo = vm->callinfo_tail;
    assert( callinfo->karg_keep );
    mrbc_value karg = mrbc_immediate_value(MRBC_TT_HASH, .hash = callinfo->karg_keep);
    karg = mrbc_hash_dup(vm, &karg);
    mrbc_array_push( &argary, &karg );
    block_reg++;
  }
 
  mrbc_decref( &regs[a] );
  regs[a] = argary;
 
  // copy a block object
  mrbc_decref( &regs[a+1] );
  regs[a+1] = reg0[block_reg+1];
  mrbc_incref( &regs[a+1] );
}
 
 
//================================================================
static inline void op_enter( mrbc_vm *vm, mrbc_value *regs EXT )
{
#define FLAG_REST       0x1000
#define FLAG_M2         0x0f80
#define FLAG_KW         0x007c
#define FLAG_DICT       0x0002
#define FLAG_BLOCK      0x0001
 
  FETCH_W();
 
  // Check the number of registers to use.
  int reg_use_max = regs - vm->regs + vm->cur_irep->nregs;
  if( reg_use_max >= vm->regs_size ) {
    mrbc_raise( vm, MRBC_CLASS(Exception), "MAX_REGS_SIZE overflow");
    return;
  }
 
  // Check m2 parameter.
  if( a & FLAG_M2 ) {
    mrbc_raise( vm, MRBC_CLASS(NotImplementedError), "not support m2 argument");
    return;
  }
 
  int m1 = (a >> 18) & 0x1f;    // num of required parameters 1
  int o  = (a >> 13) & 0x1f;    // num of optional parameters
  int argc = vm->callinfo_tail->n_args;
  int flag_kwarg = mrbc_type(regs[argc+1]) == MRBC_TT_HASH;
 
  argc += flag_kwarg;
 
  if( argc < m1 && mrbc_type(regs[0]) != MRBC_TT_PROC ) {
    mrbc_raise( vm, MRBC_CLASS(ArgumentError), "wrong number of arguments");
    return;
  }
 
  // save proc (or nil) object.
  mrbc_value proc = regs[argc+1];
  mrbc_set_tt( &regs[argc+1], MRBC_TT_EMPTY );
 
  // support yield [...] pattern, to expand array.
  if( mrbc_type(regs[0]) == MRBC_TT_PROC &&
      mrbc_type(regs[1]) == MRBC_TT_ARRAY &&
      argc == 1 && m1 > 1 ) {
    mrbc_value argary = regs[1];
    int argary_size = mrbc_array_size(&argary);
 
    argc = argary_size > m1 ? argary_size : m1;
 
    for( int i = argc; i > 0; i-- ) {
      if( i != 1 ) mrbc_decref( &regs[i] );
      if( argary_size >= i ) {
        regs[i] = argary.array->data[i-1];
        mrbc_incref(&regs[i]);
      } else {
        mrbc_set_nil( &regs[i] );
      }
    }
 
    mrbc_decref(&argary);
  }
 
  // dictionary, keyword or rest parameter exists.
  if( a & (FLAG_DICT|FLAG_KW|FLAG_REST) ) {
    mrbc_value dict;
    if( a & (FLAG_DICT|FLAG_KW) ) {
      if( (argc - m1) > 0 && mrbc_type(regs[argc]) == MRBC_TT_HASH ) {
        dict = regs[argc];
        mrbc_set_tt( &regs[argc--], MRBC_TT_EMPTY );
      } else {
        dict = mrbc_hash_new( vm, 0 );
      }
    }
 
    mrbc_value rest;
    if( a & FLAG_REST ) {
      int rest_size = argc - m1 - o;
      if( rest_size < 0 ) rest_size = 0;
      rest = mrbc_array_new(vm, rest_size);
 
      int rest_reg = m1 + o + 1;
      for( int i = 0; i < rest_size; i++ ) {
        mrbc_array_push( &rest, &regs[rest_reg] );
        mrbc_set_tt( &regs[rest_reg++], MRBC_TT_EMPTY );
      }
    }
 
    // reorder arguments.
    for( int i = argc; i < m1; ) {
      mrbc_decref( &regs[++i] );
      mrbc_set_nil( &regs[i] );
    }
    int i = m1 + o;
    if( a & FLAG_REST ) {
      mrbc_decref(&regs[++i]);
      regs[i] = rest;
    }
    if( a & (FLAG_DICT|FLAG_KW) ) {
      mrbc_decref(&regs[++i]);
      regs[i] = dict;
      vm->callinfo_tail->karg_keep = mrbc_hash_dup(vm, &dict).hash;
    }
    mrbc_decref(&regs[i+1]);
    regs[i+1] = proc;
    vm->callinfo_tail->n_args = i;
 
  } else {
    // reorder arguments.
    for( int i = argc; i < m1; ) {
      mrbc_decref( &regs[++i] );
      mrbc_set_nil( &regs[i] );
    }
    int i = m1 + o;
    mrbc_decref(&regs[i+1]);
    regs[i+1] = proc;
    vm->callinfo_tail->n_args = i;
  }
 
  // prepare for get default arguments.
  int jmp_ofs = argc - m1;
  if( jmp_ofs > 0 ) {
    if( jmp_ofs > o ) {
      jmp_ofs = o;
 
      if( !(a & FLAG_REST) && mrbc_type(regs[0]) != MRBC_TT_PROC ) {
        mrbc_raise( vm, MRBC_CLASS(ArgumentError), "wrong number of arguments");
        return;
      }
    }
    vm->inst += jmp_ofs * 3;    // 3 = bytecode size of OP_JMP
  }
 
#undef FLAG_REST
#undef FLAG_M2
#undef FLAG_KW
#undef FLAG_DICT
#undef FLAG_BLOCK
}
 
 
//================================================================
static inline void op_key_p( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  mrbc_value *kdict = &regs[vm->callinfo_tail->n_args];
  mrbc_sym sym_id = mrbc_irep_symbol_id( vm->cur_irep, b );
  mrbc_value *v = mrbc_hash_search_by_id( kdict, sym_id );
 
  mrbc_decref(&regs[a]);
  mrbc_set_bool(&regs[a], v != NULL);
}
 
 
//================================================================
static inline void op_keyend( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_Z();
 
  mrbc_value *kdict = &regs[vm->callinfo_tail->n_args];
 
  if( mrbc_hash_size(kdict) != 0 ) {
    mrbc_hash_iterator ite = mrbc_hash_iterator_new(kdict);
    mrbc_value *kv = mrbc_hash_i_next(&ite);
 
    mrbc_raisef(vm, MRBC_CLASS(ArgumentError), "unknown keyword: %s",
                mrbc_symid_to_str(kv->sym_id));
  }
}
 
 
//================================================================
static inline void op_karg( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  mrbc_value *kdict = &regs[vm->callinfo_tail->n_args];
  mrbc_sym sym_id = mrbc_irep_symbol_id( vm->cur_irep, b );
  mrbc_value v = mrbc_hash_remove_by_id( kdict, sym_id );
 
  if( mrbc_type(v) == MRBC_TT_EMPTY ) {
    mrbc_raisef(vm, MRBC_CLASS(ArgumentError), "missing keywords: %s",
                mrbc_symid_to_str(sym_id));
    return;
  }
 
  mrbc_decref(&regs[a]);
  regs[a] = v;
}
 
 
//================================================================
static inline void sub_op_return( mrbc_vm *vm, mrbc_value *regs, int a )
{
  // If have a ensure, jump to it.
  if( vm->cur_irep->clen ) {
    const mrbc_irep_catch_handler *handler = find_catch_handler_ensure(vm);
    if( handler ) {
      assert( mrbc_type(vm->exception) == MRBC_TT_NIL );
 
      // Save the return value in the last+1 register.
      regs[ vm->cur_irep->nregs ] = regs[a];
      mrbc_set_tt( &regs[a], MRBC_TT_EMPTY );
 
      vm->exception.tt = MRBC_TT_RETURN;
      vm->inst = vm->cur_irep->inst + bin_to_uint32(handler->target);
      return;
    }
  }
 
  // return without anything if top level.
  if( vm->callinfo_tail == NULL ) {
    if (vm->flag_permanence == 1) {
      mrbc_incref(&regs[a]);
    } else {
      mrbc_decref(&regs[0]);
      regs[0] = regs[a];
      mrbc_set_tt( &regs[a], MRBC_TT_EMPTY );
    }
    vm->flag_preemption = 1;
    vm->flag_stop = 1;
    return;
  }
 
  /* set the return value
    (conditions)
     iniialize  super   block   then
      0          0       0       Set
      0          0       1       Set
      0          1       0       Set
      0          1       1       N/A
      1          0       0       Skip
      1          0       1       Set
      1          1       0       Set
      1          1       1       N/A
  */
  if( vm->callinfo_tail->method_id != MRBC_SYM(initialize) ||
      vm->callinfo_tail->is_called_super ||
      vm->callinfo_tail->is_called_block ) {
    mrbc_decref(&regs[0]);
    regs[0] = regs[a];
    mrbc_set_tt( &regs[a], MRBC_TT_EMPTY );
  }
 
  mrbc_pop_callinfo(vm);
}
 
 
//================================================================
static inline void op_return( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  sub_op_return( vm, regs, a );
}
 
 
//================================================================
static inline void op_return_blk( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  if( mrbc_type(regs[0]) != MRBC_TT_PROC ) {
    sub_op_return( vm, regs, a );
    return;
  }
 
  // Save the return value in the proc object.
  mrbc_incref( &regs[0] );
  vm->ret_blk = regs[0].proc;
  vm->ret_blk->ret_val = regs[a];
  mrbc_set_tt( &regs[a], MRBC_TT_EMPTY );
 
  // return to the proc generated level.
  while( 1 ) {
    // If have a ensure, jump to it.
    const mrbc_irep_catch_handler *handler = find_catch_handler_ensure(vm);
    if( handler ) {
      assert( mrbc_type(vm->exception) == MRBC_TT_NIL );
      vm->exception.tt = MRBC_TT_RETURN_BLK;
      vm->inst = vm->cur_irep->inst + bin_to_uint32(handler->target);
      return;
    }
 
    // Is it the origin (generator) of proc?
    if( vm->callinfo_tail == vm->ret_blk->callinfo_self ) break;
 
    mrbc_pop_callinfo(vm);
  }
 
  // top level return ?
  if( vm->callinfo_tail == NULL ) {
    vm->flag_preemption = 1;
    vm->flag_stop = 1;
  } else {
    // set the return value.
    mrbc_decref(&vm->cur_regs[0]);
    vm->cur_regs[0] = vm->ret_blk->ret_val;
 
    mrbc_pop_callinfo(vm);
  }
 
  mrbc_decref(&mrbc_immediate_value(MRBC_TT_PROC, .proc = vm->ret_blk));
  vm->ret_blk = 0;
}
 
 
//================================================================
static inline void op_retself( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_Z();
 
  mrbc_decref(&regs[1]);
  regs[1] = *mrbc_get_self( vm, regs );
  mrbc_incref( &regs[1] );
 
  sub_op_return( vm, regs, 1 );
}
 
 
//================================================================
static inline void op_retnil( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_Z();
 
  mrbc_decref(&regs[1]);
  mrbc_set_nil( &regs[1] );
 
  sub_op_return( vm, regs, 1 );
}
 
 
//================================================================
static inline void op_rettrue( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_Z();
 
  mrbc_decref(&regs[1]);
  mrbc_set_true( &regs[1] );
 
  sub_op_return( vm, regs, 1 );
}
 
 
//================================================================
static inline void op_retfalse( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_Z();
 
  mrbc_decref(&regs[1]);
  mrbc_set_false( &regs[1] );
 
  sub_op_return( vm, regs, 1 );
}
 
 
//================================================================
static inline void op_break( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  assert( mrbc_type(regs[0]) == MRBC_TT_PROC );
 
  // Save the return value in the proc object.
  mrbc_incref( &regs[0] );
  vm->ret_blk = regs[0].proc;
  vm->ret_blk->ret_val = regs[a];
  mrbc_set_tt( &regs[a], MRBC_TT_EMPTY );
 
  // return to the proc generated level.
  // Check the origin (generator) of proc before the ensure handler: once we
  // reach the generator, break lands there and its body keeps running, so its
  // ensure must fire on the later normal return, not here. Running it now would
  // skip the rest of the generator body and corrupt the return value.
  int reg_offset = 0;
  while( vm->callinfo_tail != vm->ret_blk->callinfo ) {
    // If have a ensure, jump to it.
    const mrbc_irep_catch_handler *handler = find_catch_handler_ensure(vm);
    if( handler ) {
      assert( mrbc_type(vm->exception) == MRBC_TT_NIL );
      vm->exception.tt = MRBC_TT_BREAK;
      vm->inst = vm->cur_irep->inst + bin_to_uint32(handler->target);
      return;
    }
 
    reg_offset = vm->callinfo_tail->reg_offset;
    mrbc_pop_callinfo(vm);
  }
 
  // set the return value.
  mrbc_value *reg0 = vm->cur_regs + reg_offset;
  mrbc_decref(reg0);
  *reg0 = vm->ret_blk->ret_val;
 
  mrbc_decref(&mrbc_immediate_value(MRBC_TT_PROC, .proc = vm->ret_blk));
  vm->ret_blk = 0;
}
 
 
//================================================================
static inline void op_blkpush( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BS();
 
  int m1 = (b >> 11) & 0x1f;
  int r  = (b >> 10) & 0x01;
  int m2 = (b >>  5) & 0x1f;
  int d  = (b >>  4) & 0x01;
  int lv = (b      ) & 0x0f;
 
  if( m2 ) {
    mrbc_raise( vm, MRBC_CLASS(NotImplementedError), "not support m2 argument");
    return;
  }
 
  int offset = m1 + r + d + 1;
  mrbc_value *blk;
 
  if( lv == 0 ) {
    // current env
    blk = regs + offset;
 
  } else {
    // upper env
    assert( mrbc_type(regs[0]) == MRBC_TT_PROC );
    mrbc_callinfo *callinfo = regs[0].proc->callinfo;
 
    for( int i = 0; i < lv-1; i++ ) {
      assert( callinfo );
      mrbc_value *reg0 = callinfo->cur_regs + callinfo->reg_offset;
      assert( mrbc_type(*reg0) == MRBC_TT_PROC );
      callinfo = reg0->proc->callinfo;
    }
 
    blk = callinfo->cur_regs + callinfo->reg_offset + offset;
  }
 
  if( mrbc_type(*blk) != MRBC_TT_PROC ) {
    mrbc_raise( vm, MRBC_CLASS(Exception), "no block given (yield)");
    return;
  }
 
  mrbc_incref(blk);
  mrbc_decref(&regs[a]);
  regs[a] = *blk;
}
 
 
//================================================================
static inline void op_add( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  // in case of Integer + Integer
  if( mrbc_type(regs[a  ]) == MRBC_TT_INTEGER &&
      mrbc_type(regs[a+1]) == MRBC_TT_INTEGER ) {
    regs[a].i += regs[a+1].i;
    return;
  }
 
#if MRBC_USE_FLOAT
  // in case of Integer + Float
  if( mrbc_type(regs[a  ]) == MRBC_TT_INTEGER &&
      mrbc_type(regs[a+1]) == MRBC_TT_FLOAT ) {
    mrbc_set_float( &regs[a], regs[a].i + regs[a+1].d );
    return;
  }
 
  // in case of Float + Integer
  if( mrbc_type(regs[a  ]) == MRBC_TT_FLOAT &&
      mrbc_type(regs[a+1]) == MRBC_TT_INTEGER ) {
    regs[a].d += regs[a+1].i;
    return;
  }
 
  // in case of Float + Float
  if( mrbc_type(regs[a  ]) == MRBC_TT_FLOAT &&
      mrbc_type(regs[a+1]) == MRBC_TT_FLOAT ) {
    regs[a].d += regs[a+1].d;
    return;
  }
#endif
 
  // other case
  send_by_name( vm, MRBC_SYM(PLUS), a, 1 );
}
 
 
//================================================================
static inline void op_addi( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  if( mrbc_type(regs[a]) == MRBC_TT_INTEGER ) {
    regs[a].i += b;
    return;
  }
 
#if MRBC_USE_FLOAT
  if( mrbc_type(regs[a]) == MRBC_TT_FLOAT ) {
    regs[a].d += b;
    return;
  }
#endif
 
  mrbc_decref(&regs[a+1]);
  mrbc_set_integer( &regs[a+1], b);
  send_by_name(vm, MRBC_SYM(PLUS), a, 1);
}
 
 
//================================================================
static inline void op_sub( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  // in case of Integer - Integer
  if( mrbc_type(regs[a  ]) == MRBC_TT_INTEGER &&
      mrbc_type(regs[a+1]) == MRBC_TT_INTEGER ) {
    regs[a].i -= regs[a+1].i;
    return;
  }
 
#if MRBC_USE_FLOAT
  // in case of Integer - Float
  if( mrbc_type(regs[a  ]) == MRBC_TT_INTEGER &&
      mrbc_type(regs[a+1]) == MRBC_TT_FLOAT ) {
    mrbc_set_float( &regs[a], regs[a].i - regs[a+1].d );
    return;
  }
 
  // in case of Float - Integer
  if( mrbc_type(regs[a  ]) == MRBC_TT_FLOAT &&
      mrbc_type(regs[a+1]) == MRBC_TT_INTEGER ) {
    regs[a].d -= regs[a+1].i;
    return;
  }
 
  // in case of Float - Float
  if( mrbc_type(regs[a  ]) == MRBC_TT_FLOAT &&
      mrbc_type(regs[a+1]) == MRBC_TT_FLOAT ) {
    regs[a].d -= regs[a+1].d;
    return;
  }
#endif
 
  // other case
  send_by_name( vm, MRBC_SYM(MINUS), a, 1 );
}
 
 
//================================================================
static inline void op_subi( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  if( mrbc_type(regs[a]) == MRBC_TT_INTEGER ) {
    regs[a].i -= b;
    return;
  }
 
#if MRBC_USE_FLOAT
  if( mrbc_type(regs[a]) == MRBC_TT_FLOAT ) {
    regs[a].d -= b;
    return;
  }
#endif
 
  mrbc_decref(&regs[a+1]);
  mrbc_set_integer( &regs[a+1], b);
  send_by_name(vm, MRBC_SYM(MINUS), a, 1);
}
 
 
//================================================================
static inline void op_addilv( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BBB();
 
  switch( mrbc_type(regs[a]) ) {
  case MRBC_TT_INTEGER:
    regs[a].i += c;
    break;
 
#if MRBC_USE_FLOAT
  case MRBC_TT_FLOAT:
    regs[a].d += c;
    break;
#endif
 
  default:
    mrbc_decref(&regs[a+1]);
    mrbc_set_integer( &regs[a+1], c);
    send_by_name(vm, MRBC_SYM(PLUS), a, 1);
  }
}
 
 
//================================================================
static inline void op_subilv( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BBB();
 
  switch( mrbc_type(regs[a]) ) {
  case MRBC_TT_INTEGER:
    regs[a].i -= c;
    break;
 
#if MRBC_USE_FLOAT
  case MRBC_TT_FLOAT:
    regs[a].d -= c;
    break;
#endif
 
  default:
    mrbc_decref(&regs[a+1]);
    mrbc_set_integer( &regs[a+1], c);
    send_by_name(vm, MRBC_SYM(MINUS), a, 1);
  }
}
 
 
//================================================================
static inline void op_mul( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  // in case of Integer * Integer
  if( mrbc_type(regs[a  ]) == MRBC_TT_INTEGER &&
      mrbc_type(regs[a+1]) == MRBC_TT_INTEGER ) {
    regs[a].i *= regs[a+1].i;
    return;
  }
 
#if MRBC_USE_FLOAT
  // in case of Integer * Float
  if( mrbc_type(regs[a  ]) == MRBC_TT_INTEGER &&
      mrbc_type(regs[a+1]) == MRBC_TT_FLOAT ) {
    mrbc_set_float( &regs[a], regs[a].i * regs[a+1].d );
    return;
  }
 
  // in case of Float * Integer
  if( mrbc_type(regs[a  ]) == MRBC_TT_FLOAT &&
      mrbc_type(regs[a+1]) == MRBC_TT_INTEGER ) {
    regs[a].d *= regs[a+1].i;
    return;
  }
 
  // in case of Float * Float
  if( mrbc_type(regs[a  ]) == MRBC_TT_FLOAT &&
      mrbc_type(regs[a+1]) == MRBC_TT_FLOAT ) {
    regs[a].d *= regs[a+1].d;
    return;
  }
#endif
 
  // other case
  send_by_name( vm, MRBC_SYM(MUL), a, 1 );
}
 
 
//================================================================
static inline void op_div( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  // in case of Integer / Integer
  if( mrbc_type(regs[a  ]) == MRBC_TT_INTEGER &&
      mrbc_type(regs[a+1]) == MRBC_TT_INTEGER ) {
    mrbc_int_t v0 = regs[a].i;
    mrbc_int_t v1 = regs[a+1].i;
 
    if( v1 == 0 ) {
      mrbc_raise(vm, MRBC_CLASS(ZeroDivisionError), 0 );
      return;
    }
 
    mrbc_int_t ret = v0 / v1;
    mrbc_int_t mod = v0 % v1;
 
    if( (mod != 0) && ((v0 ^ v1) < 0) ) ret -= 1;
 
    regs[a].i = ret;
    return;
  }
 
#if MRBC_USE_FLOAT
  // in case of Integer / Float
  if( mrbc_type(regs[a  ]) == MRBC_TT_INTEGER &&
      mrbc_type(regs[a+1]) == MRBC_TT_FLOAT ) {
    mrbc_set_float( &regs[a], regs[a].i / regs[a+1].d );
    return;
  }
 
  // in case of Float / Integer
  if( mrbc_type(regs[a  ]) == MRBC_TT_FLOAT &&
      mrbc_type(regs[a+1]) == MRBC_TT_INTEGER ) {
    regs[a].d /= regs[a+1].i;
    return;
  }
 
  // in case of Float / Float
  if( mrbc_type(regs[a  ]) == MRBC_TT_FLOAT &&
      mrbc_type(regs[a+1]) == MRBC_TT_FLOAT ) {
    regs[a].d /= regs[a+1].d;
    return;
  }
#endif
 
  // other case
  send_by_name( vm, MRBC_SYM(DIV), a, 1 );
}
 
 
//================================================================
static inline void op_eq( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  if( mrbc_type(regs[a]) == MRBC_TT_OBJECT ) {
    send_by_name(vm, MRBC_SYM(EQ_EQ), a, 1);
    return;
  }
 
  int result = mrbc_compare(&regs[a], &regs[a+1]);
 
  mrbc_decref(&regs[a]);
  mrbc_set_bool( &regs[a], result == 0 );
}
 
 
//================================================================
static inline void op_lt( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  if( mrbc_type(regs[a]) == MRBC_TT_OBJECT ) {
    send_by_name(vm, MRBC_SYM(LT), a, 1);
    return;
  }
 
  int result = mrbc_compare(&regs[a], &regs[a+1]);
 
  mrbc_decref(&regs[a]);
  mrbc_set_bool( &regs[a], result < 0 );
}
 
 
//================================================================
static inline void op_le( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  if( mrbc_type(regs[a]) == MRBC_TT_OBJECT ) {
    send_by_name(vm, MRBC_SYM(LT_EQ), a, 1);
    return;
  }
 
  int result = mrbc_compare(&regs[a], &regs[a+1]);
 
  mrbc_decref(&regs[a]);
  mrbc_set_bool( &regs[a], result <= 0 );
}
 
 
//================================================================
static inline void op_gt( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  if( mrbc_type(regs[a]) == MRBC_TT_OBJECT ) {
    send_by_name(vm, MRBC_SYM(GT), a, 1);
    return;
  }
 
  int result = mrbc_compare(&regs[a], &regs[a+1]);
 
  mrbc_decref(&regs[a]);
  mrbc_set_bool( &regs[a], result > 0 );
}
 
 
//================================================================
static inline void op_ge( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  if( mrbc_type(regs[a]) == MRBC_TT_OBJECT ) {
    send_by_name(vm, MRBC_SYM(GT_EQ), a, 1);
    return;
  }
 
  int result = mrbc_compare(&regs[a], &regs[a+1]);
 
  mrbc_decref(&regs[a]);
  mrbc_set_bool( &regs[a], result >= 0 );
}
 
 
//================================================================
static inline void op_array( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  mrbc_value ret = mrbc_array_new(vm, b);
 
  memcpy( ret.array->data, &regs[a], sizeof(mrbc_value) * b );
  memset( &regs[a], 0, sizeof(mrbc_value) * b );
  ret.array->n_stored = b;
 
  mrbc_decref(&regs[a]);
  regs[a] = ret;
}
 
 
//================================================================
static inline void op_array2( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BBB();
 
  mrbc_value ret = mrbc_array_new(vm, c);
 
  memcpy( ret.array->data, &regs[b], sizeof(mrbc_value) * c );
  memset( &regs[b], 0, sizeof(mrbc_value) * c );
  ret.array->n_stored = c;
 
  mrbc_decref(&regs[a]);
  regs[a] = ret;
}
 
 
//================================================================
static inline void op_arycat( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  if( mrbc_type(regs[a]) == MRBC_TT_NIL ) {
    // arycat(nil, [...]) #=> [...]
    assert( mrbc_type(regs[a+1]) == MRBC_TT_ARRAY );
    regs[a] = regs[a+1];
    mrbc_set_nil( &regs[a+1] );
 
    return;
  }
 
  assert( mrbc_type(regs[a  ]) == MRBC_TT_ARRAY );
  assert( mrbc_type(regs[a+1]) == MRBC_TT_ARRAY );
 
  int size_1 = regs[a  ].array->n_stored;
  int size_2 = regs[a+1].array->n_stored;
  int new_size = size_1 + regs[a+1].array->n_stored;
 
  // need resize?
  if( regs[a].array->data_size < new_size ) {
    mrbc_array_resize(&regs[a], new_size);
  }
 
  for( int i = 0; i < size_2; i++ ) {
    mrbc_incref( &regs[a+1].array->data[i] );
    regs[a].array->data[size_1+i] = regs[a+1].array->data[i];
  }
  regs[a].array->n_stored = new_size;
}
 
 
//================================================================
static inline void op_arypush( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  int sz1 = mrbc_array_size(&regs[a]);
 
  mrbc_array_resize(&regs[a], sz1 + b);
 
  // data copy.
  memcpy( regs[a].array->data + sz1, &regs[a+1], sizeof(mrbc_value) * b );
  memset( &regs[a+1], 0, sizeof(mrbc_value) * b );
  regs[a].array->n_stored = sz1 + b;
}
 
 
//================================================================
static inline void op_arysplat( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  mrbc_value ret = mrbc_array_dup( vm, &regs[a] );
  mrbc_decref(&regs[a]);
  regs[a] = ret;
}
 
 
//================================================================
static inline void op_aref( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BBB();
 
  mrbc_value *src = &regs[b];
  mrbc_value *dst = &regs[a];
 
  mrbc_decref( dst );
 
  if( mrbc_type(*src) == MRBC_TT_ARRAY ) {
    // src is Array
    *dst = mrbc_array_get(src, c);
    mrbc_incref(dst);
  } else {
    // src is not Array
    if( c == 0 ) {
      mrbc_incref(src);
      *dst = *src;
    } else {
      mrbc_set_nil( dst );
    }
  }
}
 
 
//================================================================
static inline void op_aset( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BBB();
 
  assert( mrbc_type(regs[b]) == MRBC_TT_ARRAY );
 
  mrbc_incref( &regs[b] );
  mrbc_array_set(&regs[a], c, &regs[b]);
}
 
 
//================================================================
static inline void op_apost( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BBB();
 
  mrbc_value src = regs[a];
  if( mrbc_type(src) != MRBC_TT_ARRAY ) {
    src = mrbc_array_new(vm, 1);
    src.array->data[0] = regs[a];
    src.array->n_stored = 1;
  }
 
  int pre  = b;
  int post = c;
  int len = mrbc_array_size(&src);
 
  if( len > pre + post ) {
    int ary_size = len - pre - post;
    regs[a] = mrbc_array_new(vm, ary_size);
 
    // copy elements
    for( int i = 0; i < ary_size; i++ ) {
      regs[a].array->data[i] = src.array->data[pre+i];
      mrbc_incref( &regs[a].array->data[i] );
    }
    regs[a].array->n_stored = ary_size;
 
  } else {
    assert(!"Not support this case in op_apost");
    // empty
    regs[a] = mrbc_array_new(vm, 0);
  }
 
  mrbc_decref(&src);
}
 
 
//================================================================
static inline void op_intern( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  assert( mrbc_type(regs[a]) == MRBC_TT_STRING );
 
  mrbc_value sym_val = mrbc_symbol_new(vm, (const char*)regs[a].string->data);
 
  mrbc_decref( &regs[a] );
  regs[a] = sym_val;
}
 
 
//================================================================
static inline void op_symbol( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  const char *p = (const char *)mrbc_irep_pool_ptr(vm->cur_irep, b);
  mrbc_sym sym_id = mrbc_str_to_symid( p+3 );   // 3 is TT and length
  if( sym_id < 0 ) {
    mrbc_raise(vm, MRBC_CLASS(Exception), "Overflow MAX_SYMBOLS_COUNT");
    return;
  }
 
  mrbc_decref(&regs[a]);
  mrbc_set_symbol( &regs[a], sym_id );
}
 
 
//================================================================
static inline void op_string( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  mrbc_decref(&regs[a]);
  regs[a] = mrbc_irep_pool_value(vm, b);
}
 
 
//================================================================
static inline void op_strcat( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
#if MRBC_USE_STRING
  // call "to_s"
  mrbc_method method;
  if( mrbc_find_method( &method, find_class_by_object(&regs[a+1]),
                        MRBC_SYM(to_s)) == 0 ) return;
  if( !method.c_func ) return;          // TODO: Not support?
 
  method.func( vm, regs + a + 1, 0 );
  mrbc_string_append( &regs[a], &regs[a+1] );
  mrbc_decref_empty( &regs[a+1] );
 
#else
  mrbc_raise(vm, MRBC_CLASS(Exception), "Not support String");
#endif
}
 
 
//================================================================
static inline void op_hash( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  mrbc_value value = mrbc_hash_new(vm, b);
 
  // note: Do not detect duplicate keys.
  b *= 2;
  memcpy( value.hash->data, &regs[a], sizeof(mrbc_value) * b );
  memset( &regs[a], 0, sizeof(mrbc_value) * b );
  value.hash->n_stored = b;
 
  mrbc_decref(&regs[a]);
  regs[a] = value;
}
 
 
//================================================================
static inline void op_hashadd( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  int sz1 = mrbc_array_size(&regs[a]);
  int sz2 = b * 2;
 
  mrbc_array_resize(&regs[a], sz1 + sz2);
 
  // data copy.
  // note: Do not detect duplicate keys.
  memcpy( regs[a].hash->data + sz1, &regs[a+1], sizeof(mrbc_value) * sz2 );
  memset( &regs[a+1], 0, sizeof(mrbc_value) * sz2 );
  regs[a].hash->n_stored = sz1 + sz2;
}
 
 
//================================================================
static inline void op_hashcat( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  mrbc_hash_iterator ite = mrbc_hash_iterator_new(&regs[a+1]);
 
  while( mrbc_hash_i_has_next(&ite) ) {
    mrbc_value *kv = mrbc_hash_i_next(&ite);
    mrbc_hash_set( &regs[a], &kv[0], &kv[1] );
    mrbc_incref( &kv[0] );
    mrbc_incref( &kv[1] );
  }
}
 
 
//================================================================
static inline void op_block( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  mrbc_value ret = mrbc_proc_new(vm, mrbc_irep_child_irep(vm->cur_irep, b), 'B');
 
  mrbc_decref(&regs[a]);
  regs[a] = ret;
}
 
 
//================================================================
static inline void op_method( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  mrbc_value ret = mrbc_proc_new(vm, mrbc_irep_child_irep(vm->cur_irep, b), 'M');
 
  mrbc_decref(&regs[a]);
  regs[a] = ret;
}
 
 
//================================================================
static inline void op_range_inc( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  mrbc_value value = mrbc_range_new(vm, &regs[a], &regs[a+1], 0);
  regs[a] = value;
  mrbc_set_tt( &regs[a+1], MRBC_TT_EMPTY );
}
 
 
//================================================================
static inline void op_range_exc( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  mrbc_value value = mrbc_range_new(vm, &regs[a], &regs[a+1], 1);
  regs[a] = value;
  mrbc_set_tt( &regs[a+1], MRBC_TT_EMPTY );
}
 
 
//================================================================
static inline void op_oclass( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  mrbc_decref(&regs[a]);
  mrbc_set_tt(&regs[a], MRBC_TT_CLASS);
  regs[a].cls = MRBC_CLASS(Object);
}
 
 
//================================================================
static inline void op_class( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  // get the super class.
  mrbc_class *super;
 
  switch( mrbc_type(regs[a+1]) ) {
  case MRBC_TT_CLASS:
    super = regs[a+1].cls;
    break;
  case MRBC_TT_NIL:
    super = 0;
    break;
  default:
    mrbc_raise(vm, MRBC_CLASS(TypeError), "superclass must be a Class");
    return;
  }
 
  // check unsupported pattern.
  if( super ) {
    for( int i = 1; i < MRBC_TT_MAXVAL; i++ ) {
      if( super == mrbc_class_tbl[i] ) {
        mrbc_raise(vm, MRBC_CLASS(NotImplementedError), "Inherit the built-in class is not supported");
        return;
      }
    }
  }
 
  // get the nested outer class or module.
  mrbc_class *outer = 0;
 
  if( IS_CLASS_OR_MODULE(regs[a])) {
    outer = regs[a].cls;
  } else if( IS_CLASS_OR_MODULE(vm->cur_regs[0])) {
    outer = vm->cur_regs[0].cls;
  }
 
  const char *class_name = mrbc_irep_symbol_cstr(vm->cur_irep, b);
  mrbc_class *cls;
 
  // define a new class (or get an already defined class)
  if( outer ) {
    cls = mrbc_define_class_under(vm, outer, class_name, super);
  } else {
    cls = mrbc_define_class(vm, class_name, super);
  }
 
  // (note)
  //  regs[a] was set to NIL or Class by compiler. So, no need to release.
  mrbc_set_tt(&regs[a], MRBC_TT_CLASS);
  regs[a].cls = cls;
}
 
 
//================================================================
static inline void op_module( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  // get the nested outer class or module.
  mrbc_class *outer = 0;
 
  if( IS_CLASS_OR_MODULE(regs[a])) {
    outer = regs[a].cls;
  } else if( IS_CLASS_OR_MODULE(vm->cur_regs[0])) {
    outer = vm->cur_regs[0].cls;
  }
 
  const char *module_name = mrbc_irep_symbol_cstr(vm->cur_irep, b);
  mrbc_class *cls;
 
  // define a new module (or get an already defined class)
  if( outer ) {
    cls = mrbc_define_module_under(vm, outer, module_name);
  } else {
    cls = mrbc_define_module(vm, module_name);
  }
 
  // (note)
  //  regs[a] was set to Class, Module or NIL by compiler. So, no need to release.
  mrbc_set_tt(&regs[a], MRBC_TT_MODULE);
  regs[a].cls = cls;
}
 
 
//================================================================
static inline void op_exec( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  // prepare callinfo
  mrbc_push_callinfo(vm, regs[a].cls->sym_id, a, 0);
 
  // target irep
  vm->cur_irep = mrbc_irep_child_irep(vm->cur_irep, b);
  vm->inst = vm->cur_irep->inst;
  vm->cur_regs += a;
 
  vm->target_class = regs[a].cls;
}
 
 
//----------------------------------------------------------------
static void sub_irep_inc_dec_ref( mrbc_irep *irep, int inc_dec )
{
  for( int i = 0; i < irep->rlen; i++ ) {
    sub_irep_inc_dec_ref( mrbc_irep_child_irep(irep, i), inc_dec );
  }
 
  irep->ref_count += inc_dec;
}
 
static void sub_newmethod( mrbc_class *cls, mrbc_method *method, mrbc_sym sym_id )
{
  method->next = cls->method_link;
  cls->method_link = method;
 
  if( !method->c_func ) sub_irep_inc_dec_ref( method->irep, +1 );
 
  // checking same method
  for( ;method->next != NULL; method = method->next ) {
    if( method->next->sym_id == sym_id ) {
      // Found it. Unchain it in linked list and remove.
      mrbc_method *del_method = method->next;
 
      method->next = del_method->next;
      if( del_method->type == 'M' ) {
        if( !del_method->c_func ) sub_irep_inc_dec_ref( del_method->irep, -1 );
        mrbc_raw_free( del_method );
      }
 
      break;
    }
  }
}
 
static void sub_op_def( mrbc_vm *vm, mrbc_class *cls, mrbc_irep *irep, mrbc_sym sym_id )
{
  if( cls->flag_nomethod ) {
    mrbc_raisef(vm, MRBC_CLASS(NotImplementedError),
                "Adding methods to the %s class is not supported",
                mrbc_symid_to_str(cls->sym_id));
    return;
  }
 
  mrbc_method *method = (vm->vm_id == 0) ?
    mrbc_raw_alloc_no_free( sizeof(mrbc_method) ) :
    mrbc_raw_alloc( sizeof(mrbc_method) );
 
  *method = (mrbc_method){
    .type = (vm->vm_id == 0) ? 'm' : 'M',
    .c_func = 0,
    .sym_id = sym_id,
    .irep = irep,
  };
 
  sub_newmethod( cls, method, sym_id );
}
 
//================================================================
static inline void op_def( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  mrbc_class *cls = regs[a].cls;
  mrbc_irep *irep = regs[a+1].proc->irep;
  mrbc_sym sym_id = mrbc_irep_symbol_id(vm->cur_irep, b);
 
  sub_op_def( vm, cls, irep, sym_id );
  mrbc_set_symbol(&regs[a], sym_id);
}
 
 
//================================================================
static inline void op_tdef( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BBB();
 
  mrbc_class *cls = vm->target_class;
  mrbc_irep *irep = mrbc_irep_child_irep(vm->cur_irep, c);
  mrbc_sym sym_id = mrbc_irep_symbol_id(vm->cur_irep, b);
 
  sub_op_def( vm, cls, irep, sym_id );
  mrbc_set_symbol(&regs[a], sym_id);
}
 
 
//================================================================
static inline void op_sdef( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BBB();
 
  mrbc_class *cls = regs[a].cls;
  mrbc_irep *irep = mrbc_irep_child_irep(vm->cur_irep, c);
  mrbc_sym sym_id = mrbc_irep_symbol_id(vm->cur_irep, b);
 
  sub_op_def( vm, cls, irep, sym_id );
  mrbc_set_symbol(&regs[a], sym_id);
}
 
 
//================================================================
static inline void op_alias( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_BB();
 
  mrbc_sym sym_id_new = mrbc_irep_symbol_id(vm->cur_irep, a);
  mrbc_sym sym_id_org = mrbc_irep_symbol_id(vm->cur_irep, b);
  mrbc_class *cls = vm->target_class;
  mrbc_method *method = (vm->vm_id == 0) ?
    mrbc_raw_alloc_no_free( sizeof(mrbc_method) ) :
    mrbc_raw_alloc( sizeof(mrbc_method) );
 
  if( mrbc_find_method( method, cls, sym_id_org ) == 0 ) {
    mrbc_raisef(vm, MRBC_CLASS(NameError), "undefined method '%s'",
                mrbc_symid_to_str(sym_id_org));
    if(vm->vm_id != 0) mrbc_raw_free( method );
    return;
  }
 
  method->type = (vm->vm_id == 0) ? 'm' : 'M';
  method->sym_id = sym_id_new;
 
  sub_newmethod( cls, method, sym_id_new );
}
 
 
//================================================================
static inline void op_sclass( mrbc_vm *vm, mrbc_value *regs EXT )
{
  // currently, not supported
  FETCH_B();
}
 
 
//================================================================
static inline void op_tclass( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_B();
 
  mrbc_decref(&regs[a]);
  mrbc_set_tt(&regs[a], MRBC_TT_CLASS);
  regs[a].cls = vm->target_class;
}
 
 
#if !defined(MRBC_SUPPORT_OP_EXT)
//================================================================
static inline void op_ext( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_Z();
  mrbc_raise(vm, MRBC_CLASS(Exception),
             "Not support op_ext. Re-compile with MRBC_SUPPORT_OP_EXT");
}
#endif
 
 
//================================================================
static inline void op_stop( mrbc_vm *vm, mrbc_value *regs EXT )
{
  FETCH_Z();
 
  vm->flag_preemption = 1;
  vm->flag_stop = 1;
  vm->inst--;           // to not proceed beyond OP_STOP.
}
 
 
//================================================================
/* Unsupported opecodes
*/
static inline void op_unsupported( mrbc_vm *vm, mrbc_value *regs EXT )
{
  mrbc_raisef( vm, MRBC_CLASS(Exception),
               "Unimplemented opcode (0x%02x) found", *(vm->inst - 1));
}
#undef EXT
 
 
//================================================================
int mrbc_vm_run( mrbc_vm *vm )
{
#if defined(MRBC_SUPPORT_OP_EXT)
  int ext = 0;
#define EXT , ext
#else
#define EXT
#endif
 
  while( 1 ) {
    mrbc_value *regs = vm->cur_regs;
    uint8_t op = *vm->inst++;           // Dispatch
 
    switch( op ) {
    case OP_NOP:        op_nop        (vm, regs EXT); break;
    case OP_MOVE:       op_move       (vm, regs EXT); break;
    case OP_LOADL:      op_loadl      (vm, regs EXT); break;
    case OP_LOADI8:     op_loadi8     (vm, regs EXT); break;
    case OP_LOADINEG:   op_loadineg   (vm, regs EXT); break;
    case OP_LOADI__1:   // fall through
    case OP_LOADI_0:    // fall through
    case OP_LOADI_1:    // fall through
    case OP_LOADI_2:    // fall through
    case OP_LOADI_3:    // fall through
    case OP_LOADI_4:    // fall through
    case OP_LOADI_5:    // fall through
    case OP_LOADI_6:    // fall through
    case OP_LOADI_7:    op_loadi_n    (vm, regs EXT); break;
    case OP_LOADI16:    op_loadi16    (vm, regs EXT); break;
    case OP_LOADI32:    op_loadi32    (vm, regs EXT); break;
    case OP_LOADSYM:    op_loadsym    (vm, regs EXT); break;
    case OP_LOADNIL:    op_loadnil    (vm, regs EXT); break;
    case OP_LOADSELF:   op_loadself   (vm, regs EXT); break;
    case OP_LOADTRUE:   op_loadtrue   (vm, regs EXT); break;
    case OP_LOADFALSE:  op_loadfalse  (vm, regs EXT); break;
    case OP_GETGV:      op_getgv      (vm, regs EXT); break;
    case OP_SETGV:      op_setgv      (vm, regs EXT); break;
    case OP_GETSV:      op_unsupported(vm, regs EXT); break; // not implemented.
    case OP_SETSV:      op_unsupported(vm, regs EXT); break; // not implemented.
    case OP_GETIV:      op_getiv      (vm, regs EXT); break;
    case OP_SETIV:      op_setiv      (vm, regs EXT); break;
    case OP_GETCV:      op_unsupported(vm, regs EXT); break; // not implemented.
    case OP_SETCV:      op_unsupported(vm, regs EXT); break; // not implemented.
    case OP_GETCONST:   op_getconst   (vm, regs EXT); break;
    case OP_SETCONST:   op_setconst   (vm, regs EXT); break;
    case OP_GETMCNST:   op_getmcnst   (vm, regs EXT); break;
    case OP_SETMCNST:   op_unsupported(vm, regs EXT); break; // not implemented.
    case OP_GETUPVAR:   op_getupvar   (vm, regs EXT); break;
    case OP_SETUPVAR:   op_setupvar   (vm, regs EXT); break;
    case OP_GETIDX:     op_getidx     (vm, regs EXT); break;
    case OP_GETIDX0:    op_getidx0    (vm, regs EXT); break;
    case OP_SETIDX:     op_setidx     (vm, regs EXT); break;
    case OP_JMP:        op_jmp        (vm, regs EXT); break;
    case OP_JMPIF:      op_jmpif      (vm, regs EXT); break;
    case OP_JMPNOT:     op_jmpnot     (vm, regs EXT); break;
    case OP_JMPNIL:     op_jmpnil     (vm, regs EXT); break;
    case OP_JMPUW:      op_jmpuw      (vm, regs EXT); break;
    case OP_EXCEPT:     op_except     (vm, regs EXT); break;
    case OP_RESCUE:     op_rescue     (vm, regs EXT); break;
    case OP_RAISEIF:    op_raiseif    (vm, regs EXT); break;
    case OP_MATCHERR:   op_matcherr   (vm, regs EXT); break;
    case OP_SSEND:      op_ssend      (vm, regs EXT); break;
    case OP_SSEND0:     op_ssend0     (vm, regs EXT); break;
    case OP_SSENDB:     op_ssendb     (vm, regs EXT); break;
    case OP_SEND:       op_send       (vm, regs EXT); break;
    case OP_SEND0:      op_send0      (vm, regs EXT); break;
    case OP_SENDB:      op_sendb      (vm, regs EXT); break;
    case OP_CALL:       op_unsupported(vm, regs EXT); break; // not implemented.
    case OP_BLKCALL:    op_blkcall    (vm, regs EXT); break;
    case OP_SUPER:      op_super      (vm, regs EXT); break;
    case OP_ARGARY:     op_argary     (vm, regs EXT); break;
    case OP_ENTER:      op_enter      (vm, regs EXT); break;
    case OP_KEY_P:      op_key_p      (vm, regs EXT); break;
    case OP_KEYEND:     op_keyend     (vm, regs EXT); break;
    case OP_KARG:       op_karg       (vm, regs EXT); break;
    case OP_RETURN:     op_return     (vm, regs EXT); break;
    case OP_RETURN_BLK: op_return_blk (vm, regs EXT); break;
    case OP_RETSELF:    op_retself    (vm, regs EXT); break;
    case OP_RETNIL:     op_retnil     (vm, regs EXT); break;
    case OP_RETTRUE:    op_rettrue    (vm, regs EXT); break;
    case OP_RETFALSE:   op_retfalse   (vm, regs EXT); break;
    case OP_BREAK:      op_break      (vm, regs EXT); break;
    case OP_BLKPUSH:    op_blkpush    (vm, regs EXT); break;
    case OP_ADD:        op_add        (vm, regs EXT); break;
    case OP_ADDI:       op_addi       (vm, regs EXT); break;
    case OP_SUB:        op_sub        (vm, regs EXT); break;
    case OP_SUBI:       op_subi       (vm, regs EXT); break;
    case OP_ADDILV:     op_addilv     (vm, regs EXT); break;
    case OP_SUBILV:     op_subilv     (vm, regs EXT); break;
    case OP_MUL:        op_mul        (vm, regs EXT); break;
    case OP_DIV:        op_div        (vm, regs EXT); break;
    case OP_EQ:         op_eq         (vm, regs EXT); break;
    case OP_LT:         op_lt         (vm, regs EXT); break;
    case OP_LE:         op_le         (vm, regs EXT); break;
    case OP_GT:         op_gt         (vm, regs EXT); break;
    case OP_GE:         op_ge         (vm, regs EXT); break;
    case OP_ARRAY:      op_array      (vm, regs EXT); break;
    case OP_ARRAY2:     op_array2     (vm, regs EXT); break;
    case OP_ARYCAT:     op_arycat     (vm, regs EXT); break;
    case OP_ARYPUSH:    op_arypush    (vm, regs EXT); break;
    case OP_ARYSPLAT:   op_arysplat   (vm, regs EXT); break;
    case OP_AREF:       op_aref       (vm, regs EXT); break;
    case OP_ASET:       op_aset       (vm, regs EXT); break;
    case OP_APOST:      op_apost      (vm, regs EXT); break;
    case OP_INTERN:     op_intern     (vm, regs EXT); break;
    case OP_SYMBOL:     op_symbol     (vm, regs EXT); break;
    case OP_STRING:     op_string     (vm, regs EXT); break;
    case OP_STRCAT:     op_strcat     (vm, regs EXT); break;
    case OP_HASH:       op_hash       (vm, regs EXT); break;
    case OP_HASHADD:    op_hashadd    (vm, regs EXT); break;
    case OP_HASHCAT:    op_hashcat    (vm, regs EXT); break;
    case OP_LAMBDA:     op_unsupported(vm, regs EXT); break; // not implemented.
    case OP_BLOCK:      op_block      (vm, regs EXT); break;
    case OP_METHOD:     op_method     (vm, regs EXT); break;
    case OP_RANGE_INC:  op_range_inc  (vm, regs EXT); break;
    case OP_RANGE_EXC:  op_range_exc  (vm, regs EXT); break;
    case OP_OCLASS:     op_oclass     (vm, regs EXT); break;
    case OP_CLASS:      op_class      (vm, regs EXT); break;
    case OP_MODULE:     op_module     (vm, regs EXT); break;
    case OP_EXEC:       op_exec       (vm, regs EXT); break;
    case OP_DEF:        op_def        (vm, regs EXT); break;
    case OP_TDEF:       op_tdef       (vm, regs EXT); break;
    case OP_SDEF:       op_sdef       (vm, regs EXT); break;
    case OP_ALIAS:      op_alias      (vm, regs EXT); break;
    case OP_UNDEF:      op_unsupported(vm, regs EXT); break; // not implemented.
    case OP_SCLASS:     op_sclass     (vm, regs EXT); break;
    case OP_TCLASS:     op_tclass     (vm, regs EXT); break;
    case OP_DEBUG:      op_unsupported(vm, regs EXT); break; // not implemented.
    case OP_ERR:        op_unsupported(vm, regs EXT); break; // not implemented.
 
#if defined(MRBC_SUPPORT_OP_EXT)
    case OP_EXT1:       ext = 1; continue;
    case OP_EXT2:       ext = 2; continue;
    case OP_EXT3:       ext = 3; continue;
#else
    case OP_EXT1:       // fall through
    case OP_EXT2:       // fall through
    case OP_EXT3:       op_ext        (vm, regs EXT); break;
#endif
    case OP_STOP:       op_stop       (vm, regs EXT); break;
    default:            op_unsupported(vm, regs EXT); break;
    } // end switch.
 
#undef EXT
#if defined(MRBC_SUPPORT_OP_EXT)
    ext = 0;
#endif
    if( !vm->flag_preemption ) continue;        // execute next ope code.
    if( !mrbc_israised(vm) ) return vm->flag_stop; // normal return.
 
 
    // Handle exception
    vm->flag_preemption = 0;
    const mrbc_irep_catch_handler *handler;
 
    while( 1 ) {
      const mrbc_irep *irep = vm->cur_irep;
      const mrbc_irep_catch_handler *catch_table =
        (const mrbc_irep_catch_handler *)(irep->inst + irep->ilen);
      uint32_t inst = vm->inst - irep->inst;
      int cnt = irep->clen;
 
      for( cnt--; cnt >= 0 ; cnt-- ) {
        handler = catch_table + cnt;
        if( (bin_to_uint32(handler->begin) < inst) &&
            (inst <= bin_to_uint32(handler->end)) ) goto JUMP_TO_HANDLER;
      }
 
      if( !vm->callinfo_tail ) return 2;        // return due to exception.
      mrbc_pop_callinfo( vm );
    }
 
  JUMP_TO_HANDLER:
    // jump to handler (rescue or ensure).
    vm->inst = vm->cur_irep->inst + bin_to_uint32(handler->target);
  }
}