void TemplateTable::lrem() {

  {- -------------------------------------------
  (1) (assert) (See: TemplateTable::transition())
      ---------------------------------------- -}

      transition(ltos, ltos);

  {- -------------------------------------------
  (1) コード生成:
      「divosor を rcx レジスタに待避し, 
        dividend を rxa レジスタにロードする.」
      ---------------------------------------- -}

      __ mov(rcx, rax);
      __ pop_l(rax);

  {- -------------------------------------------
  (1) コード生成:
      「divisor(rcx)が 0 かどうかを確認する.
        0 の場合は ArithmeticException (See: [here](no3059cDE.html) for details).
        そうでなければ, corrected_idivq() が生成するコードにより
        剰余計算を実施.
        (なお, 剰余算の結果は rdx に入っているため, 
        それを rax に移す処理も行っている)」

      (なおコメントとして, 最適化のアイデアが書かれていたりする)
      ---------------------------------------- -}

      __ testq(rcx, rcx);
      __ jump_cc(Assembler::zero,
                 ExternalAddress(Interpreter::_throw_ArithmeticException_entry));
      // Note: could xor rax and rcx and compare with (-1 ^ min_int). If
      //       they are not equal, one could do a normal division (no correction
      //       needed), which may speed up this implementation for the common case.
      //       (see also JVM spec., p.243 & p.271)
      __ corrected_idivq(rcx); // kills rbx
      __ mov(rax, rdx);
    }