address TemplateInterpreterGenerator::generate_exception_handler_common(const char* name, const char* message, bool pass_oop) {

  {- -------------------------------------------
  (1) (assert)
      ---------------------------------------- -}

      assert(!pass_oop || message == NULL, "either oop or message but not both");

  {- -------------------------------------------
  (1) (ここからが生成するコードの始まり)
      ---------------------------------------- -}

      address entry = __ pc();

  {- -------------------------------------------
  (1) コード生成:
      「オペランドスタック("expression stack")を空にする.」
      ---------------------------------------- -}

      // expression stack must be empty before entering the VM if an exception happened
      __ empty_expression_stack();

  {- -------------------------------------------
  (1) コード生成:
      例外オブジェクトを作るためのコードを生成する.
      生成するコードには, 引数に応じて以下の2通りがある.
      * 引数により, 例外オブジェクトに埋め込むメッセージとして「TOS に存在しているオブジェクトのクラス名」を使うように指定されている場合
        「InterpreterRuntime::create_klass_exception() を呼んで例外オブジェクトを生成する.」
        (なお, これは TemplateInterpreterGenerator::generate_klass_exception_handler() から呼ばれた場合のパス.
         See: TemplateInterpreterGenerator::generate_klass_exception_handler())

      * 引数により, 例外オブジェクトに埋め込むメッセージが明示的に指定されている場合
        「InterpreterRuntime::create_exception() を呼んで例外オブジェクトを生成する.」
        (なお, これは TemplateInterpreterGenerator::generate_exception_handler() から呼ばれた場合のパス.
         See: TemplateInterpreterGenerator::generate_exception_handler())
      ---------------------------------------- -}

      // load exception object
      __ set((intptr_t)name, G3_scratch);
      if (pass_oop) {
        __ call_VM(Oexception, CAST_FROM_FN_PTR(address, InterpreterRuntime::create_klass_exception), G3_scratch, Otos_i);
      } else {
        __ set((intptr_t)message, G4_scratch);
        __ call_VM(Oexception, CAST_FROM_FN_PTR(address, InterpreterRuntime::create_exception), G3_scratch, G4_scratch);
      }
      // throw exception

  {- -------------------------------------------
  (1) (assert)
      ---------------------------------------- -}

      assert(Interpreter::throw_exception_entry() != NULL, "generate it first");

  {- -------------------------------------------
  (1) (変数宣言など)
      ---------------------------------------- -}

      AddressLiteral thrower(Interpreter::throw_exception_entry());

  {- -------------------------------------------
  (1) コード生成:
      「Interpreter::throw_exception_entry() が指しているアドレスにジャンプする.」
      ---------------------------------------- -}

      __ jump_to(thrower, G3_scratch);
      __ delayed()->nop();

  {- -------------------------------------------
  (1) 以上で生成したコードの先頭アドレスをリターン.
      ---------------------------------------- -}

      return entry;
    }