void TemplateTable::idiv() {

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

      transition(itos, itos);

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

      __ movl(rcx, rax);
      __ pop_i(rax);

  {- -------------------------------------------
  (1) コード生成:
      「corrected_idivl() が生成するコードにより, 除算計算を実施.」

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

      // Note: could xor eax and ecx 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_idivl(rcx);
    }