命令の分類

JAL では iload や invokevirtual など，JVM 命令の名前を使います。このページは用途別の案内です。個々の命令のスタック変化と使用例は，Jaspera の「命令」パネルで検索できます。

定数を積む

bipush で積んだ値も，スタック上では byte ではなく int です。クラスファイルには定数プールのインデックス幅による ldc_w と，long・double 用の ldc2_w もあります。

ロードとストアには iload 2 のような通常形と，スロット 0〜3 を指定する iload_2 などの短縮形があります。参照を足し算する aadd のような命令はありません。

add，sub，mul，div，rem，neg に型の接頭辞を付けます。isub は二つの整数の差，ddiv は二つの double の商を求めます。

整数の除算は小数部分を 0 に向かって切り捨てます。idiv と ldiv で 0 除算すると ArithmeticException になります。浮動小数点の除算は同じ扱いではなく，無限大や NaN になる場合があります。

iinc スロット増分 はローカル変数の int を直接増減し，スタックを変えません。ビット演算には iand，ior，ixor など，型変換には i2l，d2i などがあります。

目的	命令と説明
複製・交換・破棄	`dup`，`swap`，`pop` など。カテゴリによる制約あり
オブジェクト生成	`new` とコンストラクタ呼び出し
配列生成	`newarray`，`anewarray`，`multianewarray`
配列アクセス	`iaload`，`iastore`，`aaload`，`aastore` など
フィールド	`getstatic`，`putstatic`，`getfield`，`putfield`
メソッド呼び出し	`invokestatic`，`invokevirtual`，`invokespecial`，`invokeinterface`，`invokedynamic`
分岐	`if*`，`goto`，`tableswitch`，`lookupswitch`
例外を投げる	`athrow`

戻り命令はフレームを終了します。単なるラベルへのジャンプとは異なります。命令の厳密な動作・制約・例外は JVM 仕様第6章を参照してください。