第6章 Java Virtual Machine命令セット

命令の簡単な説明

mnemonic = opcode

...、 value1、 value2 →

..., value3

オペランド・スタック・コンテンツまたは定数プール・エントリの制約、実行された操作、結果のタイプなどの詳細を示す長い説明。

この命令の実行によってリンク例外がスローされる可能性がある場合、それらの例外は、スローされる順序で1行に設定されます。

命令の実行によって実行時例外がスローされる場合、それらの例外は、スローされる順序で1行に設定されます。

リンク例外および実行時例外(ある場合)以外に、その命令は、VirtualMachineErrorまたはそのサブクラスのインスタンスを除き、実行時例外をスローしてはなりません。

命令の指定に厳密には含まれないコメントは、説明の最後にノートとして確保されます。

配列からのreferenceのロード

aaload = 50 (0x32)

...、 arrayref、 index →

..., value

arrayrefはreference型である必要があり、コンポーネントがreference型である配列を参照する必要があります。 索引は、int型である必要があります。 arrayrefとindexの両方がオペランド・スタックからポップされます。 indexの配列のコンポーネント内のreferencevalueが取得され、オペランド・スタックにプッシュされます。

arrayrefがnullの場合、aaloadはNullPointerExceptionをスローします。

それ以外の場合、indexがarrayrefによって参照される配列の境界内にない場合、aaload命令はArrayIndexOutOfBoundsExceptionをスローします。

reference配列に格納

aastore = 83 (0x53)

...、 arrayref、 index、 value →

...

arrayrefはreference型である必要があり、コンポーネントがreference型である配列を参照する必要があります。 索引はint型で、値はreference型である必要があります。 オペランド・スタックからarrayref、indexおよびvalueがポップされます。

valueがnullの場合、valueは配列のコンポーネントとしてindexに格納されます。

それ以外の場合、valueはnull以外です。 valueがarrayrefによって参照される配列のコンポーネント・タイプの値である場合、valueはindexに配列のコンポーネントとして格納されます。

valueが配列コンポーネント・タイプの値かどうかは、§checkcastに指定されたルールに従って決定されます。

arrayrefがnullの場合、aastoreはNullPointerExceptionをスローします。

それ以外の場合、indexがarrayrefによって参照される配列の境界内にない場合、aastore命令はArrayIndexOutOfBoundsExceptionをスローします。

それ以外の場合、null以外の値が配列コンポーネント・タイプの値でない場合、aastoreはArrayStoreExceptionをスローします。

プッシュnull

aconst_null = 1 (0x1)

... →

..., null

nullオブジェクトreferenceをオペランド・スタックにプッシュします。

Java Virtual Machineでは、nullの具体的な値は要求されません。

ローカル変数からreferenceをロードします

aload = 25 (0x19)

... →

..., objectref

indexは、現在のフレームのローカル変数配列(§2.6)へのインデックスでなければならない符号なしバイトです。 indexのローカル変数には、referenceが含まれている必要があります。 indexのローカル変数内のobjectrefは、オペランド・スタックにプッシュされます。

aload命令は、ローカル変数からオペランド・スタックにreturnAddress型の値をロードするために使用できません。 astore命令(§astore)によるこの非対称性は意図的なものです。

aload opcodeは、wide命令(§wide)と組み合せて使用して、2バイトの符号なし索引を使用してローカル変数にアクセスできます。

ローカル変数からreferenceをロードします

aload_0 = 42 (0x2a)

aload_1 = 43 (0x2b)

aload_2 = 44 (0x2c)

aload_3 = 45 (0x2d)

... →

..., objectref

<n>は、現在のフレームのローカル変数配列へのインデックスである必要があります(§2.6)。 <n>のローカル変数には、referenceが含まれている必要があります。 <n>のローカル変数のobjectrefがオペランド・スタックにプッシュされます。

aload_<n>命令は、ローカル変数からオペランド・スタックにreturnAddress型の値をロードするために使用できません。 この非対称性は、対応するastore_<n>命令(§astore_<n>)によって意図的に行われます。

aload_<n>の各命令は、<n>の索引を持つaloadと同じですが、オペランド<n>が暗黙的に指定されています。

referenceの新しい配列を作成します。

anewarray = 189 (0xbd)

...、 count →

..., arrayref

countはint型である必要があります。 オペランド・スタックからポップされます。 countは、作成する配列のコンポーネントの数を表します。 符号なしのindexbyte1およびindexbyte2は、現在のクラスの実行時定数プール(§2.6)に索引を構築するために使用されます。索引の値は(indexbyte1 << 8) | indexbyte2です。 索引のランタイム定数プール・エントリは、クラス、配列またはインタフェース・タイプへのシンボリック参照である必要があります。 指定されたクラス、配列、またはインタフェース型が解決されます(§5.4.3.1)。 その型のコンポーネント(長さがcount)を持つ新しい配列は、ガベージ・コレクション・ヒープから割り当てられ、この新しい配列オブジェクトにreference arrayrefがオペランド・スタックにプッシュされます。 新しい配列のすべてのコンポーネントは、reference型のデフォルト値であるnullに初期化されます(§2.4)。

クラス、配列またはインタフェース型へのシンボリック参照の解決中に、§5.4.3.1に記載されている例外をスローできます。

それ以外の場合、countが0より小さい場合、anewarray命令はNegativeArraySizeExceptionをスローします。

anewarray命令は、オブジェクト参照の配列または多次元配列の一部の単一ディメンションを作成するために使用されます。

メソッドからreferenceを返します

areturn = 176 (0xb0)

...、 objectref →

[空]

objectrefは、reference型である必要があり、現在のメソッドの戻り記述子(§4.3.3)で表される型と代入互換(JLS§5.2)の型のオブジェクトを参照する必要があります。 現在のメソッドがsynchronizedメソッドの場合、メソッドの起動時に入力または再入力されたモニターが更新され、現在のスレッドでmonitorexit命令(§monitorexit)を実行した場合と同様に終了する可能性があります。 例外がスローされない場合、objectrefは現在のフレームのオペランド・スタック(§2.6)からポップされ、実行者のフレームのオペランド・スタックにプッシュされます。 現在のメソッドのオペランド・スタック上のその他の値はすべて破棄されます。

その後、インタプリタは実行者のフレームを修復し、実行者に制御を戻します。

Java Virtual Machineの実装で、§2.11.10で説明されている構造化ロックのルールが強制されない場合は、現在のメソッドがsynchronizedメソッドであり、現在のスレッドがメソッドの起動時に入力または再入力されたモニターの所有者ではない場合、areturnはIllegalMonitorStateExceptionをスローします。 これは、たとえば、synchronizedメソッドにmonitorexit命令が含まれているが、メソッドが同期されているオブジェクトにmonitorenter命令が含まれていない場合に発生します。

それ以外の場合、Java Virtual Machine実装で§2.11.10で説明されている構造化ロックにルールが適用され、現在のメソッドの起動中にそれらのルールの最初のルールに違反した場合、areturnはIllegalMonitorStateExceptionをスローします。

配列の長さを取得

arraylength = 190 (0xbe)

...、 arrayref →

..., length

arrayrefはreference型である必要があり、配列を参照する必要があります。 オペランド・スタックからポップされます。 参照する配列の長さが決定されます。 その長さは、オペランド・スタックにintとしてプッシュされます。

arrayrefがnullの場合、arraylength命令はNullPointerExceptionをスローします。

referenceをローカル変数に格納します

astore = 58 (0x3a)

...、 objectref →

...

indexは、現在のフレームのローカル変数配列(§2.6)へのインデックスでなければならない符号なしバイトです。 オペランド・スタックの先頭にあるobjectrefは、returnAddress型またはreference型である必要があります。 オペランド・スタックからポップされ、indexのローカル変数の値がobjectrefに設定されます。

astore命令は、Javaプログラミング言語(§3.13)のfinally句を実装するときに、returnAddress型のobjectrefとともに使用されます。

aload命令(§aload)は、ローカル変数からオペランド・スタックにreturnAddress型の値をロードするために使用できません。 このastore命令との非対称性は意図的です。

astore opcodeは、wide命令(§wide)と組み合せて使用して、2バイトの符号なし索引を使用してローカル変数にアクセスできます。

referenceをローカル変数に格納します

astore_0 = 75 (0x4b)

astore_1 = 76 (0x4c)

astore_2 = 77 (0x4d)

astore_3 = 78 (0x4e)

...、 objectref →

...

<n>は、現在のフレームのローカル変数配列へのインデックスである必要があります(§2.6)。 オペランド・スタックの先頭にあるobjectrefは、returnAddress型またはreference型である必要があります。 オペランド・スタックからポップされ、<n>のローカル変数の値がobjectrefに設定されます。

astore_<n>命令は、Javaプログラミング言語(§3.13)のfinally句を実装するときに、returnAddress型のobjectrefとともに使用されます。

aload_<n>命令(§aload_<n>)は、ローカル変数からオペランド・スタックにreturnAddress型の値をロードするために使用できません。 対応するastore_<n>命令とのこの非対称性は意図的です。

各astore_<n>命令は、<n>のindexを持つastoreと同じです。ただし、オペランド<n>は暗黙的です。

例外またはエラーのスロー

athrow = 191 (0xbf)

...、 objectref →

objectref

objectrefはreference型である必要があり、ThrowableクラスまたはThrowableのサブクラスのインスタンスであるオブジェクトを参照する必要があります。 オペランド・スタックからポップされます。 次に、objectrefは、§2.10のアルゴリズムで指定されているように、objectrefのクラスと一致する最初の例外ハンドラについて現在のメソッド(§2.6)を検索することによってスローされます。

objectrefに一致する例外ハンドラが見つかった場合は、この例外を処理するためのコードの場所が含まれます。 pcレジスタは、その場所にリセットされ、現在のフレームのオペランド・スタックがクリアされ、objectrefがオペランド・スタックにプッシュバックされ、実行が続行されます。

現在のフレームに一致する例外ハンドラが見つからない場合は、そのフレームがポップされます。 現在のフレームがsynchronizedメソッドの起動を表す場合、メソッドの起動時に入力または再入力されたモニターは、monitorexit命令(§monitorexit)を実行した場合と同様に終了します。 最後に、そのようなフレームが存在し、objectrefが再スローされた場合、その実行者のフレームは回復されます。 そのようなフレームが存在しない場合は、現在のスレッドが終了します。

objectrefがnullの場合、athrowはobjectrefのかわりにNullPointerExceptionをスローします。

それ以外の場合、Java Virtual Machine実装で§2.11.10で説明されている構造化ロックにルールが適用されない場合、現在のフレームのメソッドがsynchronizedメソッドであり、現在のスレッドがメソッドの起動時に入力または再入力されたモニターの所有者ではない場合、スローは、以前にスローされたオブジェクトではなくIllegalMonitorStateExceptionをスローします。 これは、たとえば、突然完了するsynchronizedメソッドにmonitorexit命令が含まれているが、メソッドが同期されるオブジェクトにmonitorenter命令が含まれていない場合に発生します。

それ以外の場合、Java Virtual Machine実装で§2.11.10で説明されている構造化ロックにルールが適用され、現在のメソッドの起動中にそれらのルールの最初のルールに違反した場合、スローは以前にスローされたオブジェクトではなくIllegalMonitorStateExceptionをスローします。

athrow命令のオペランド・スタック・ダイアグラムは誤解を招く可能性があります。この例外のハンドラが現在のメソッドで一致した場合、athrow命令はオペランド・スタック上のすべての値を破棄し、スローされたオブジェクトをオペランド・スタックにプッシュします。 ただし、現在のメソッドで一致するハンドラがなく、例外がメソッド呼出しチェーンより先にスローされた場合、例外を処理するメソッドのオペランド・スタック(ある場合)はクリアされ、objectrefはその空のオペランド・スタックにプッシュされます。 例外を処理するメソッドまで(含まない)例外をスローしたメソッドからのすべての介在フレームは破棄されます。

配列からbyteまたはbooleanをロードします

baload = 51 (0x33)

...、 arrayref、 index →

..., value

arrayrefはreference型である必要があり、コンポーネントがbyte型またはboolean型の配列を参照する必要があります。 索引は、int型である必要があります。 arrayrefとindexの両方がオペランド・スタックからポップされます。 indexの配列のコンポーネント内のbytevalueが取得され、intvalueに符号が拡張されて、オペランド・スタックの上部にプッシュされます。

arrayrefがnullの場合、baloadはNullPointerExceptionをスローします。

それ以外の場合、indexがarrayrefによって参照される配列の境界内にない場合、baload命令はArrayIndexOutOfBoundsExceptionをスローします。

baload命令は、byte配列とboolean配列の両方から値をロードするために使用されます。 OracleのJava Virtual Machine実装では、boolean配列(T_BOOLEAN型(§2.2、§newarray)の配列)は、8ビット値の配列として実装されます。 他の実装では、パックされたboolean配列を実装できます。これらの配列にアクセスするには、このような実装のbaload命令を使用する必要があります。

byteまたはboolean配列に格納します。

bastore = 84 (0x54)

...、 arrayref、 index、 value →

...

arrayrefはreference型である必要があり、コンポーネントがbyte型またはboolean型の配列を参照する必要があります。 索引と値は両方ともint型である必要があります。 オペランド・スタックからarrayref、indexおよびvalueがポップされます。

arrayrefがbyte型のコンポーネントの配列を参照する場合、int valueはbyteに切り捨てられ、indexによって索引付けされた配列のコンポーネントとして格納されます。

arrayrefがboolean型のコンポーネントの配列を参照する場合、int valueは、valueおよび1のビット単位ANDを使用して絞り込まれます。結果は、indexによって索引付けされた配列のコンポーネントとして格納されます。

arrayrefがnullの場合、bastoreはNullPointerExceptionをスローします。

それ以外の場合、indexがarrayrefによって参照される配列の境界内にない場合、bastore命令はArrayIndexOutOfBoundsExceptionをスローします。

bastore命令は、byte配列とboolean配列の両方に値を格納するために使用されます。 OracleのJava Virtual Machine実装では、boolean配列(T_BOOLEAN型(§2.2、§newarray)の配列)は、8ビット値の配列として実装されます。 他の実装では、パックされたboolean配列を実装できます。このような実装では、bastore命令がboolean値をパックされたboolean配列に格納できるとともに、byte値をbyte配列に格納できる必要があります。

プッシュbyte

bipush = 16 (0x10)

... →

..., value

直近のバイトは、int値に符号拡張されます。 その値は、オペランド・スタックにプッシュされます。

配列からのcharのロード

caload = 52 (0x34)

...、 arrayref、 index →

..., value

arrayrefはreference型である必要があり、コンポーネントがchar型である配列を参照する必要があります。 索引は、int型である必要があります。 arrayrefとindexの両方がオペランド・スタックからポップされます。 indexの配列のコンポーネントが取得され、intvalueにゼロ拡張されます。 その値は、オペランド・スタックにプッシュされます。

arrayrefがnullの場合、caloadはNullPointerExceptionをスローします。

それ以外の場合、indexがarrayrefによって参照される配列の範囲内にない場合、caload命令はArrayIndexOutOfBoundsExceptionをスローします。

char配列に格納

castore = 85 (0x55)

...、 arrayref、 index、 value →

...

arrayrefはreference型である必要があり、コンポーネントがchar型である配列を参照する必要があります。 索引と値は両方ともint型である必要があります。 オペランド・スタックからarrayref、indexおよびvalueがポップされます。 int valueは、charに切り捨てられ、indexによって索引付けされた配列のコンポーネントとして格納されます。

arrayrefがnullの場合、castoreはNullPointerExceptionをスローします。

それ以外の場合、indexがarrayrefによって参照される配列の範囲内にない場合、castore命令はArrayIndexOutOfBoundsExceptionをスローします。

オブジェクトが指定されたタイプかどうかを確認します

checkcast = 192 (0xc0)

...、 objectref →

..., objectref

objectrefはreference型である必要があります。 符号なしのindexbyte1およびindexbyte2は、現在のクラスの実行時定数プール(§2.6)に索引を構築するために使用されます。索引の値は(indexbyte1 << 8) | indexbyte2です。 索引のランタイム定数プール・エントリは、クラス、配列またはインタフェース・タイプへのシンボリック参照である必要があります。

objectrefがnullの場合、オペランド・スタックは変更されません。

それ以外の場合は、名前付きクラス、配列、またはインタフェース型が解決されます(§5.4.3.1)。 objectrefが解決されたクラス、配列またはインタフェース・タイプによって指定された型の値である場合、オペランド・スタックは変更されません。

次のルールを使用して、オブジェクトへのnull以外の参照が参照型Tの値であるかどうかを判断します。

クラス、配列またはインタフェース型へのシンボリック参照の解決中に、§5.4.3.1に記載されている例外をスローできます。

それ以外の場合、objectrefがnullでなく、解決されたクラス、配列またはインタフェース・タイプによって指定された型の値ではない場合、checkcast命令はClassCastExceptionをスローします。

checkcast命令は、instanceof命令(§instanceof)とよく似ています。 nullの処理、テストが失敗した場合の動作(checkcastは例外をスローし、instanceofは結果コードをプッシュ)、オペランド・スタックへの影響は異なります。

doubleをfloatに変換します。

d2f = 144 (0x90)

...、 value →

..., result

オペランド・スタックの先頭にある値は、double型である必要があります。 オペランド・スタックからポップされ、最も近い丸めポリシー(§2.8)を使用してfloat結果に変換されます。 resultは、オペランド・スタックにプッシュされます。

floatとして表すには小さすぎる有限値は、同じ符号のゼロに変換されます。floatとして表すには大きすぎる有限値は、同じ符号の無限大に変換されます。 double NaNは、float NaNに変換されます。

d2f命令は、絞込みプリミティブ変換(JLS§5.1.3)を実行します。 値の全体的な大きさに関する情報が失われ、精度も失われる可能性があります。

doubleをintに変換します。

d2i = 142 (0x8e)

...、 value →

..., result

オペランド・スタックの先頭にある値は、double型である必要があります。 オペランド・スタックからポップされ、int結果に変換されます。 resultは、オペランド・スタックにプッシュされます。

d2i命令は、絞込みプリミティブ変換(JLS§5.1.3)を実行します。 値の全体的な大きさに関する情報が失われ、精度も失われる可能性があります。

doubleをlongに変換します。

d2l = 143 (0x8f)

...、 value →

..., result

オペランド・スタックの先頭にある値は、double型である必要があります。 オペランド・スタックからポップされ、longに変換されます。 resultは、オペランド・スタックにプッシュされます。

d2l命令は、絞込みプリミティブ変換(JLS§5.1.3)を実行します。 値の全体的な大きさに関する情報が失われ、精度も失われる可能性があります。

doubleを追加します。

dadd = 99 (0x63)

...、 value1、 value2 →

..., result

value1とvalue2はどちらもdouble型である必要があります。 値はオペランド・スタックからポップされます。 double resultは、value1 + value2です。 resultは、オペランド・スタックにプッシュされます。

dadd命令の結果は、IEEE 754演算の規則によって管理されます。

Java Virtual Machineでは、段階的なアンダーフローのサポートが必要です。 オーバーフロー、アンダーフロー、または精度の損失が発生する可能性があるにもかかわらず、dadd命令の実行によって実行時例外がスローされることはありません。

配列からのdoubleのロード

daload = 49 (0x31)

...、 arrayref、 index →

..., value

arrayrefはreference型である必要があり、コンポーネントがdouble型である配列を参照する必要があります。 索引は、int型である必要があります。 arrayrefとindexの両方がオペランド・スタックからポップされます。 indexの配列のコンポーネント内のdoublevalueが取得され、オペランド・スタックにプッシュされます。

arrayrefがnullの場合、daloadはNullPointerExceptionをスローします。

それ以外の場合、indexがarrayrefによって参照される配列の境界内にない場合、daload命令はArrayIndexOutOfBoundsExceptionをスローします。

double配列に格納

dastore = 82 (0x52)

...、 arrayref、 index、 value →

...

arrayrefはreference型である必要があり、コンポーネントがdouble型である配列を参照する必要があります。 索引はint型で、値はdouble型である必要があります。 オペランド・スタックからarrayref、indexおよびvalueがポップされます。 double valueは、indexによって索引付けされた配列のコンポーネントとして格納されます。

arrayrefがnullの場合、dastoreはNullPointerExceptionをスローします。

それ以外の場合、indexがarrayrefによって参照される配列の境界内にない場合、dastore命令はArrayIndexOutOfBoundsExceptionをスローします。

比較 double

dcmpg = 152 (0x98)

dcmpl = 151 (0x97)

...、 value1、 value2 →

..., result

value1とvalue2はどちらもdouble型である必要があります。 値はオペランドスタックからポップされ、浮動小数点比較が実行されます。

浮動小数点比較は、IEEE 754に従って実行されます。 NaN以外のすべての値が順序付けされ、負の無限大がすべての有限値より小さく、正の無限大がすべての有限値よりも大きくなります。 正のゼロと負のゼロは等しいとみなされます。

dcmpgおよびdcmpl命令は、NaNを含む比較の処理のみが異なります。 NaNは順序付けられていないため、オペランドのいずれかまたは両方がNaNの場合、double比較は失敗します。 dcmpgとdcmplの両方が使用可能な場合は、double比較をコンパイルして、非NaN値で比較が失敗するか、NaNが検出されたために失敗するかに関係なく、同じresultをオペランド・スタックにプッシュできます。 詳細は、§3.5を参照してください。

プッシュdouble

dconst_0 = 14 (0xe)

dconst_1 = 15 (0xf)

... →

...、<d>

double定数<d> (0.0または1.0)をオペランド・スタックにプッシュします。

doubleの除算

ddiv = 111 (0x6f)

...、 value1、 value2 →

..., result

value1とvalue2はどちらもdouble型である必要があります。 値はオペランド・スタックからポップされます。 double resultは、value1 / value2です。 resultは、オペランド・スタックにプッシュされます。

ddiv命令の結果は、IEEE 754演算のルールによって制御されます。

Java Virtual Machineでは、段階的なアンダーフローのサポートが必要です。 オーバーフロー、アンダーフロー、ゼロによる除算、または精度の損失が発生する可能性があるにもかかわらず、ddiv命令を実行すると実行時例外がスローされることはありません。

ローカル変数からdoubleをロードします

dload = 24 (0x18)

... →

..., value

索引は符号なしバイトです。 indexと index+1はどちらも、現在のフレームのローカル変数配列(§2.6)へのインデックスでなければなりません。 indexのローカル変数には、doubleが含まれている必要があります。 indexのローカル変数のvalueは、オペランド・スタックにプッシュされます。

dload opcodeは、wide命令(§wide)と組み合せて使用して、2バイトの符号なし索引を使用してローカル変数にアクセスできます。

ローカル変数からdoubleをロードします

dload_0 = 38 (0x26)

dload_1 = 39 (0x27)

dload_2 = 40 (0x28)

dload_3 = 41 (0x29)

... →

..., value

<n>と<n>+1の両方が、現在のフレームのローカル変数配列へのインデックスである必要があります(§2.6)。 <n>のローカル変数には、doubleが含まれている必要があります。 <n>のローカル変数の値がオペランド・スタックにプッシュされます。

各dload_<n>命令は、<n>の索引を持つdloadと同じです。ただし、オペランド<n>は暗黙的です。

doubleの乗算

dmul = 107 (0x6b)

...、 value1、 value2 →

..., result

value1とvalue2はどちらもdouble型である必要があります。 値はオペランド・スタックからポップされます。 double resultは、value1 * value2です。 resultは、オペランド・スタックにプッシュされます。

dmul命令の結果は、IEEE 754演算の規則によって制御されます。

Java Virtual Machineでは、段階的なアンダーフローのサポートが必要です。 オーバーフロー、アンダーフロー、または精度の損失が発生する可能性があるにもかかわらず、dmul命令の実行によって実行時例外がスローされることはありません。

否定double

dneg = 119 (0x77)

...、 value →

..., result

値はdouble型である必要があります。 オペランド・スタックからポップされます。 double resultは、valueの算術否定です。 resultは、オペランド・スタックにプッシュされます。

double値の場合、否定はゼロからの減算と同じではありません。 xが+0.0の場合、0.0-xは+0.0と等しくなりますが、-xは-0.0と等しくなります。 単項マイナスは、doubleの符号を反転するだけです。

特別な関心事:

剰余double

drem = 115 (0x73)

...、 value1、 value2 →

..., result

value1とvalue2はどちらもdouble型である必要があります。 値はオペランド・スタックからポップされます。 doubleresultが計算され、オペランド・スタックにプッシュされます。

drem命令の結果は、Java Virtual Machine (§2.8)で丸めポリシーを選択したため、IEEE 754で定義された残りの操作の結果と同じではありません。 IEEE 754剰余演算は、切り捨て除算ではなく端数処理除算からの剰余を計算するため、その動作は通常の整数剰余演算子の動作と似ていません。 かわりに、Java Virtual Machineでは、整数剰余命令iremおよびlremと同様の方法で動作するようにdremを定義し、丸めゼロの丸めポリシーを使用する暗黙の除算を使用します。これは、Cライブラリ関数fmodと比較できます。

drem命令の結果は、暗黙の除算の計算方法を除き、IEEE 754算術と一致する次のルールによって制御されます。

ゼロによる除算が発生する可能性はありますが、drem命令の評価では実行時例外はスローされません。 オーバーフロー、アンダーフロー、または精度の損失は発生しません。

IEEE 754残り操作は、ライブラリルーチン Math.IEEEremainderまたは StrictMath.IEEEremainderによって計算できます。

メソッドからdoubleを返します

dreturn = 175 (0xaf)

...、 value →

[空]

現在のメソッドには、戻り型doubleが必要です。 valueはdouble型である必要があります。 現在のメソッドがsynchronizedメソッドの場合、メソッドの起動時に入力または再入力されたモニターが更新され、現在のスレッドでmonitorexit命令(§monitorexit)を実行した場合と同様に終了する可能性があります。 例外がスローされない場合、valueは現在のフレームのオペランドスタック(§2.6)からポップされ、呼び出し元のフレームのオペランドスタックにプッシュされます。 現在のメソッドのオペランド・スタック上のその他の値はすべて破棄されます。

インタプリタは、メソッドの起動元に制御を戻し、起動元のフレームを元に戻します。

Java Virtual Machineの実装で、§2.11.10で説明されている構造化ロックのルールが適用されない場合、現在のメソッドがsynchronizedメソッドであり、現在のスレッドがメソッドの起動時に入力または再入力されたモニターの所有者ではない場合、dreturnはIllegalMonitorStateExceptionをスローします。 これは、たとえば、synchronizedメソッドにmonitorexit命令が含まれているが、メソッドが同期されているオブジェクトにmonitorenter命令が含まれていない場合に発生します。

それ以外の場合、Java Virtual Machine実装で、§2.11.10で説明されている構造化ロックにルールが適用され、現在のメソッドの呼出し中にそれらのルールの最初のルールに違反した場合、dreturnはIllegalMonitorStateExceptionをスローします。

doubleをローカル変数に格納します

dstore = 57 (0x39)

...、 value →

...

索引は符号なしバイトです。 indexと index+1はどちらも、現在のフレームのローカル変数配列(§2.6)へのインデックスでなければなりません。 オペランド・スタックの先頭にある値は、double型である必要があります。 オペランド・スタックからポップされます。 indexおよびindex+1のローカル変数は、valueに設定されます。

dstore opcodeは、wide命令(§wide)と組み合せて使用して、2バイトの符号なし索引を使用してローカル変数にアクセスできます。

doubleをローカル変数に格納します

dstore_0 = 71 (0x47)

dstore_1 = 72 (0x48)

dstore_2 = 73 (0x49)

dstore_3 = 74 (0x4a)

...、 value →

...

<n>と<n>+1の両方が、現在のフレームのローカル変数配列へのインデックスである必要があります(§2.6)。 オペランド・スタックの先頭にある値は、double型である必要があります。 オペランド・スタックからポップされます。 <n>および<n>+1のローカル変数は、valueに設定されます。

dstore_<n>の各命令は、<n>の索引を持つdstoreと同じですが、オペランド<n>が暗黙的に指定されている点が異なります。

doubleを減算

dsub = 103 (0x67)

...、 value1、 value2 →

..., result

value1とvalue2はどちらもdouble型である必要があります。 値はオペランド・スタックからポップされます。 double resultは、value1 - value2です。 resultは、オペランド・スタックにプッシュされます。

doubleの減算では、a-bがa+(-b)と同じ結果を生成するのは常に同じです。 ただし、dsub命令の場合、xが+0.0の場合、0.0-xは+0.0と等しくなりますが、-xは-0.0と等しいため、ゼロからの減算は否定とは異なります。

Java Virtual Machineでは、段階的なアンダーフローのサポートが必要です。 オーバーフロー、アンダーフロー、または精度の損失が発生する可能性があるにもかかわらず、dsub命令の実行によって実行時例外がスローされることはありません。

上部のオペランド・スタック値の複製

dup = 89 (0x59)

...、 value →

..., value, value

オペランド・スタックの最上位値を複製し、重複した値をオペランド・スタックにプッシュします。

valueがカテゴリ1の計算型(§2.11.1)の値でないかぎり、dup命令を使用しないでください。

上部のオペランド・スタック値を複製し、2つの値を下に挿入します。

dup_x1 = 90 (0x5a)

...、 value2、 value1 →

..., value1, value2, value1

オペランド・スタックで最上位の値を複製し、重複した値をオペランド・スタックで2つ下に挿入します。

dup_x1命令は、value1と value2の両方がカテゴリ1の計算タイプ(§2.11.1)の値でないかぎり、使用してはいけません。

上部のオペランド・スタック値を複製し、2つまたは3つの値を下に挿入します。

dup_x2 = 91 (0x5b)

フォーム 1:

...、 value3、 value2、 value1 →

..., value1, value3, value2, value1

ここで、value1、value2およびvalue3は、カテゴリ1の計算型(§2.11.1)のすべての値です。

フォーム 2:

...、 value2、 value1 →

..., value1, value2, value1

ここで、value1はカテゴリ1の計算型の値で、value2はカテゴリ2の計算型の値です(§2.11.1)。

オペランドスタックで最上位の値を複製し、重複した値をオペランドスタックで2つまたは3つ下に挿入します。

上位1つまたは2つのオペランド・スタック値の複製

dup2 = 92 (0x5c)

フォーム 1:

...、 value2、 value1 →

..., value2, value1, value2, value1

ここで、value1とvalue2は、カテゴリ1の計算型の値です(§2.11.1)。

フォーム 2:

...、 value →

..., value, value

ここで、valueは、カテゴリ2の計算型の値です(§2.11.1)。

オペランドスタックの上位1つまたは2つの値を複製し、重複した値を元の順序でオペランドスタックに戻します。

上位1つまたは2つのオペランド・スタック値を複製し、2つまたは3つの値を下に挿入します。

dup2_x1 = 93 (0x5d)

フォーム 1:

...、 value3、 value2、 value1 →

..., value2, value1, value3, value2, value1

ここで、value1、value2およびvalue3は、カテゴリ1の計算型(§2.11.1)のすべての値です。

フォーム 2:

...、 value2、 value1 →

..., value1, value2, value1

ここで、value1はカテゴリ2の計算型の値で、value2はカテゴリ1の計算型の値です(§2.11.1)。

オペランドスタック上の上部の1つまたは2つの値を複製し、複製された値を元の順序で、元の値またはオペランドスタック内の値の下に1つの値を挿入します。

上位1つまたは2つのオペランド・スタック値を複製し、2、3または4つの値を下に挿入します。

dup2_x2 = 94 (0x5e)

フォーム 1:

...、 value4、 value3、 value2、 value1 →

..., value2, value1, value4, value3, value2, value1

ここで、value1、value2、value3およびvalue4は、カテゴリ1の計算型(§2.11.1)のすべての値です。

フォーム 2:

...、 value3、 value2、 value1 →

..., value1, value3, value2, value1

ここで、value1はカテゴリ2の計算型の値で、value2とvalue3はいずれもカテゴリ1の計算型の値です(§2.11.1)。

フォーム 3:

...、 value3、 value2、 value1 →

..., value2, value1, value3, value2, value1

ここで、value1およびvalue2は、カテゴリ1の計算型の値であり、value3はカテゴリ2の計算型の値です(§2.11.1)。

フォーム 4:

...、 value2、 value1 →

..., value1, value2, value1

ここで、value1とvalue2はいずれも、カテゴリ2の計算型の値です(§2.11.1)。

オペランドスタックの上位1つまたは2つの値を複製し、複製された値を元の順序でオペランドスタックに挿入します。

floatをdoubleに変換します。

f2d = 141 (0x8d)

...、 value →

..., result

オペランド・スタックの先頭にある値は、float型である必要があります。 オペランド・スタックからポップされ、double結果に変換されます。 resultは、オペランド・スタックにプッシュされます。

f2d命令は、拡張プリミティブ変換(JLS§5.1.2)を実行します。

floatをintに変換します。

f2i = 139 (0x8b)

...、 value →

..., result

オペランド・スタックの先頭にある値は、float型である必要があります。 オペランド・スタックからポップされ、int結果に変換されます。 resultは、オペランド・スタックにプッシュされます。

f2i命令は、絞込みプリミティブ変換(JLS§5.1.3)を実行します。 値の全体的な大きさに関する情報が失われ、精度も失われる可能性があります。

floatをlongに変換します。

f2l = 140 (0x8c)

...、 value →

..., result

オペランド・スタックの先頭にある値は、float型である必要があります。 オペランド・スタックからポップされ、long結果に変換されます。 resultは、オペランド・スタックにプッシュされます。

f2l命令は、絞込みプリミティブ変換(JLS§5.1.3)を実行します。 値の全体的な大きさに関する情報が失われ、精度も失われる可能性があります。

floatを追加します。

fadd = 98 (0x62)

...、 value1、 value2 →

..., result

value1とvalue2はどちらもfloat型である必要があります。 値はオペランド・スタックからポップされます。 float resultは、value1 + value2です。 resultは、オペランド・スタックにプッシュされます。

fadd命令の結果は、IEEE 754演算の規則によって管理されます。

Java Virtual Machineでは、段階的なアンダーフローのサポートが必要です。 オーバーフロー、アンダーフロー、または精度の損失が発生する可能性があるにもかかわらず、fadd命令の実行によって実行時例外がスローされることはありません。

配列からのfloatのロード

faload = 48 (0x30)

...、 arrayref、 index →

..., value

arrayrefはreference型である必要があり、コンポーネントがfloat型である配列を参照する必要があります。 索引は、int型である必要があります。 arrayrefとindexの両方がオペランド・スタックからポップされます。 indexの配列のコンポーネント内のfloat値が取得され、オペランド・スタックにプッシュされます。

arrayrefがnullの場合、faloadはNullPointerExceptionをスローします。

それ以外の場合、indexがarrayrefによって参照される配列の境界内にない場合、faload命令はArrayIndexOutOfBoundsExceptionをスローします。

float配列に格納

fastore = 81 (0x51)

...、 arrayref、 index、 value →

...

arrayrefはreference型である必要があり、コンポーネントがfloat型である配列を参照する必要があります。 索引はint型で、値はfloat型である必要があります。 オペランド・スタックからarrayref、indexおよびvalueがポップされます。 float valueは、indexによって索引付けされた配列のコンポーネントとして格納されます。

arrayrefがnullの場合、fastoreはNullPointerExceptionをスローします。

それ以外の場合、indexがarrayrefによって参照される配列の境界内にない場合、fastore命令はArrayIndexOutOfBoundsExceptionをスローします。

比較 float

fcmpg = 150 (0x96)

fcmpl = 149 (0x95)

...、 value1、 value2 →

..., result

value1とvalue2はどちらもfloat型である必要があります。 値はオペランドスタックからポップされ、浮動小数点比較が実行されます。

浮動小数点比較は、IEEE 754に従って実行されます。 NaN以外のすべての値が順序付けされ、負の無限大がすべての有限値より小さく、正の無限大がすべての有限値よりも大きくなります。 正のゼロと負のゼロは等しいとみなされます。

fcmpgおよびfcmpl命令は、NaNを含む比較の処理のみが異なります。 NaNは順序付けられていないため、オペランドのいずれかまたは両方がNaNの場合、float比較は失敗します。 fcmpgとfcmplの両方が使用可能な場合は、float比較をコンパイルして、NaN以外の値で比較が失敗するか、NaNが検出されたために失敗するかに関係なく、同じresultをオペランド・スタックにプッシュできます。 詳細は、§3.5を参照してください。

プッシュfloat

fconst_0 = 11 (0xb)

fconst_1 = 12 (0xc)

fconst_2 = 13 (0xd)

... →

...、<f>

float定数<f> (0.0、1.0または2.0)をオペランド・スタックにプッシュします。

floatの除算

fdiv = 110 (0x6e)

...、 value1、 value2 →

..., result

value1とvalue2はどちらもfloat型である必要があります。 値はオペランド・スタックからポップされます。 float resultは、value1 / value2です。 resultは、オペランド・スタックにプッシュされます。

fdiv命令の結果は、IEEE 754演算の規則によって制御されます。

Java Virtual Machineでは、段階的なアンダーフローのサポートが必要です。 オーバーフロー、アンダーフロー、ゼロによる除算、または精度の損失が発生する可能性があるにもかかわらず、fdiv命令の実行によって実行時例外がスローされることはありません。

ローカル変数からfloatをロードします

fload = 23 (0x17)

... →

..., value

indexは、現在のフレームのローカル変数配列(§2.6)へのインデックスでなければならない符号なしバイトです。 indexのローカル変数には、floatが含まれている必要があります。 indexのローカル変数のvalueは、オペランド・スタックにプッシュされます。

fload opcodeは、wide命令(§wide)と組み合せて使用して、2バイトの符号なし索引を使用してローカル変数にアクセスできます。

ローカル変数からfloatをロードします

fload_0 = 34 (0x22)

fload_1 = 35 (0x23)

fload_2 = 36 (0x24)

fload_3 = 37 (0x25)

... →

..., value

<n>は、現在のフレームのローカル変数配列へのインデックスである必要があります(§2.6)。 <n>のローカル変数には、floatが含まれている必要があります。 <n>のローカル変数の値がオペランド・スタックにプッシュされます。

fload_<n>の各命令は、<n>の索引を持つfloadと同じですが、オペランド<n>が暗黙的に指定されています。

floatの乗算

fmul = 106 (0x6a)

...、 value1、 value2 →

..., result

value1とvalue2はどちらもfloat型である必要があります。 値はオペランド・スタックからポップされます。 float resultは、value1 * value2です。 resultは、オペランド・スタックにプッシュされます。

fmul命令の結果は、IEEE 754演算の規則によって管理されます。

Java Virtual Machineでは、段階的なアンダーフローのサポートが必要です。 オーバーフロー、アンダーフロー、または精度の損失が発生する可能性があるにもかかわらず、fmul命令の実行によって実行時例外がスローされることはありません。

否定float

fneg = 118 (0x76)

...、 value →

..., result

valueはfloat型である必要があります。 オペランド・スタックからポップされます。 float resultは、valueの算術否定です。 resultは、オペランド・スタックにプッシュされます。

float値の場合、否定はゼロからの減算と同じではありません。 xが+0.0の場合、0.0-xは+0.0と等しくなりますが、-xは-0.0と等しくなります。 単項マイナスは、floatの符号を反転するだけです。

特別な関心事:

剰余float

frem = 114 (0x72)

...、 value1、 value2 →

..., result

value1とvalue2はどちらもfloat型である必要があります。 値はオペランド・スタックからポップされます。 floatresultが計算され、オペランド・スタックにプッシュされます。

frem命令の結果は、Java Virtual Machine (§2.8)で端数処理ポリシーを選択したため、IEEE 754で定義された残りの操作の結果とは異なります。 IEEE 754剰余演算は、切り捨て除算ではなく端数処理除算からの剰余を計算するため、その動作は通常の整数剰余演算子の動作と似ていません。 かわりに、Java Virtual Machineでは、整数剰余命令iremおよびlremと同様の方法で動作するようにfremを定義し、丸めゼロの丸めポリシーを使用する暗黙の除算を使用します。これは、Cライブラリ関数fmodと比較できます。

frem命令の結果は、暗黙の除算の計算方法を除き、IEEE 754算術と一致する次のルールによって制御されます。

ゼロによる除算が発生する可能性はありますが、frem命令の評価では実行時例外はスローされません。 オーバーフロー、アンダーフロー、または精度の損失は発生しません。

IEEE 754残り操作は、ライブラリルーチン Math.IEEEremainderまたは StrictMath.IEEEremainderによって計算できます。

メソッドからfloatを返します

freturn = 174 (0xae)

...、 value →

[空]

現在のメソッドには、戻り型floatが必要です。 valueはfloat型である必要があります。 現在のメソッドがsynchronizedメソッドの場合、メソッドの起動時に入力または再入力されたモニターが更新され、現在のスレッドでmonitorexit命令(§monitorexit)を実行した場合と同様に終了する可能性があります。 例外がスローされない場合、valueは現在のフレームのオペランドスタック(§2.6)からポップされ、呼び出し元のフレームのオペランドスタックにプッシュされます。 現在のメソッドのオペランド・スタック上のその他の値はすべて破棄されます。

インタプリタは、メソッドの起動元に制御を戻し、起動元のフレームを元に戻します。

Java Virtual Machineの実装で、§2.11.10で説明されている構造化ロックのルールが強制されない場合は、現在のメソッドがsynchronizedメソッドであり、現在のスレッドがメソッドの起動時に入力または再入力されたモニターの所有者ではない場合、freturnはIllegalMonitorStateExceptionをスローします。 これは、たとえば、synchronizedメソッドにmonitorexit命令が含まれているが、メソッドが同期されているオブジェクトにmonitorenter命令が含まれていない場合に発生します。

それ以外の場合、Java Virtual Machine実装で§2.11.10で説明されている構造化ロックのルールが適用され、現在のメソッドの呼出し中にそれらのルールの最初のルールに違反すると、freturnはIllegalMonitorStateExceptionをスローします。

floatをローカル変数に格納します

fstore = 56 (0x38)

...、 value →

...

indexは、現在のフレームのローカル変数配列(§2.6)へのインデックスでなければならない符号なしバイトです。 オペランド・スタックの先頭にある値は、float型である必要があります。 オペランド・スタックからポップされ、indexのローカル変数の値がvalueに設定されます。

fstore opcodeは、wide命令(§wide)と組み合せて使用して、2バイトの符号なし索引を使用してローカル変数にアクセスできます。

floatをローカル変数に格納します

fstore_0 = 67 (0x43)

fstore_1 = 68 (0x44)

fstore_2 = 69 (0x45)

fstore_3 = 70 (0x46)

...、 value →

...

<n>は、現在のフレームのローカル変数配列へのインデックスである必要があります(§2.6)。 オペランド・スタックの先頭にある値は、float型である必要があります。 オペランド・スタックからポップされ、<n>のローカル変数の値がvalueに設定されます。

fstore_<n>の各命令は、<n>の索引を持つfstoreと同じですが、オペランド<n>が暗黙的に指定されている点が異なります。

floatを減算

fsub = 102 (0x66)

...、 value1、 value2 →

..., result

value1とvalue2はどちらもfloat型である必要があります。 値はオペランド・スタックからポップされます。 float resultは、value1 - value2です。 resultは、オペランド・スタックにプッシュされます。

floatの減算では、a-bがa+(-b)と同じ結果を生成するのは常に同じです。 ただし、fsub命令の場合、xが+0.0の場合、0.0-xは+0.0と等しくなりますが、-xは-0.0と等しいため、ゼロからの減算は否定とは異なります。

Java Virtual Machineでは、段階的なアンダーフローのサポートが必要です。 オーバーフロー、アンダーフロー、または精度の損失が発生する可能性があるにもかかわらず、fsub命令の実行によって実行時例外がスローされることはありません。

オブジェクトからフィールドをフェッチ