void restore_bcp() {

  {- -------------------------------------------
  (1) フレーム上から値を取得して, r13(bcp) の値を復帰させるだけ
      ---------------------------------------- -}

        movptr(r13, Address(rbp, frame::interpreter_frame_bcx_offset * wordSize));
      }