Dalvik 実行可能命令フォーマット

このページでは、Dalvik Executable 形式と Dalvik バイトコードで使用される命令形式を一覧表示します。これは、バイトコード リファレンス ドキュメントと組み合わせて使用​​することを意図しています。

ビット単位の説明

フォーマット テーブルの最初の列には、フォーマットのビット単位のレイアウトが一覧表示されます。これは、スペースで区切られた 1 つ以上の「単語」で構成され、それぞれが 16 ビットのコード単位を表します。ワードの各文字は 4 ビットを表し、上位ビットから下位ビットの順に読み取られ、読みやすいように縦棒 (" | ") が散在しています。 " A " から順に大文字を使用して、フォーマット内のフィールドを示します (その後、構文列によってさらに定義されます)。 「 op 」という用語は、フォーマット内の 8 ビット オペコードの位置を示すために使用されます。スラッシュ ゼロ (" Ø ") は、指定された位置ですべてのビットがゼロでなければならないことを示すために使用されます。

ほとんどの場合、レタリングは前のコード単位から後のコード単位へと進み、コード単位内で下位から上位へと進みます。ただし、この一般規則にはいくつかの例外があり、類似した意味を持つ部分の命名を異なる命令フォーマット間で同じにするために行われます。これらのケースは、フォーマットの説明に明示的に記載されています。

たとえば、「 B|A| op CCCC 」という形式は、その形式が 2 つの 16 ビット コード ユニットで構成されていることを示します。最初のワードは、下位 8 ビットのオペコードと、上位 8 ビットの 4 ビット値のペアで構成されます。 2 番目のワードは、単一の 16 ビット値で構成されます。

フォーマット ID

形式テーブルの 2 列目は、形式を識別するために他のドキュメントやコードで使用される、形式の短い識別子を示します。

ほとんどの形式 ID は、2 桁の数字の後に文字が続く 3 文字で構成されます。最初の桁は、フォーマット内の 16 ビット コード単位の数を示します。 2 桁目は、フォーマットに含まれるレジスタの最大数を示し (一部のフォーマットでは可変数のレジスタに対応できるため、最大)、特別な指定 " r " は、レジスタの範囲がエンコードされていることを示します。最後の文字は、形式によってエンコードされた追加データのタイプを半記憶的に示します。たとえば、フォーマット " 21t " は長さ 2 で、1 つのレジスタ参照を含み、さらに分岐ターゲットを含みます。

推奨される静的リンク形式には、追加の「 s 」サフィックスがあり、合計 4 文字になります。同様に、推奨される「インライン」リンク形式には、追加の「 i 」サフィックスがあります。 (このコンテキストでは、インライン リンクは静的リンクに似ていますが、マシンの実装により直接的な関係がある点が異なります。) 最後に、いくつかの奇妙な形式 (" 20bc " など) には、形式 ID で表される 2 つのデータが含まれています。 .

タイプコード文字の完全なリストは次のとおりです。一部のフォームは、形式によってサイズが異なることに注意してください。

構文

フォーマット表の 3 列目は、指定されたフォーマットを使用する命令の人間向けの構文を示しています。各命令は、指定されたオペコードで始まり、オプションで 1 つ以上の引数が続きます。引数自体はコンマで区切られています。

引数が最初の列のフィールドを参照する場合は常に、そのフィールドの文字が構文で示され、フィールドの 4 ビットごとに 1 回繰り返されます。たとえば、最初の列で「 BB 」とラベル付けされた 8 ビット フィールドは、構文列でも「 BB 」とラベル付けされます。

レジスタを指定する引数の形式は " v X " です。プレフィックス「 v 」は、より一般的な「 r 」の代わりに正確に選択され、Dalvik Executable フォーマットが実装されている可能性がある (非仮想) アーキテクチャで、レジスタにプレフィックス「 r 」を使用している場合との競合を回避します。 (つまり、この決定により、仮想レジスターと実レジスターの両方について、迂回する必要なく一緒に話すことが可能になります。)

リテラル値を示す引数の形式は " #+ X " です。一部の形式は、上位ビットにゼロ以外のビットのみを持つリテラルを示します。これらのゼロは、ビット単位の表現には表示されませんが、構文では明示的に表現されます。

相対命令アドレス オフセットを示す引数の形式は " + X " です。

リテラル定数プール インデックスを示す引数は、" kind @ X " の形式を持ちます。ここで、" kind " は、どの定数プールが参照されているかを示します。このような形式を明示的に使用する各オペコードは、1 種類の定数のみを許可します。対応を把握するには、オペコードのリファレンスを参照してください。定数プールの種類は、" string " (文字列プール インデックス)、" type " (型プール インデックス)、" field " (フィールド プール インデックス)、" meth " (メソッド プール インデックス)、および " site " (呼び出しサイト インデックス) です。 ）。

定数プール インデックスの表現と同様に、事前にリンクされたオフセットまたはインデックスを示す推奨される (オプションの) 形式もあります。推奨されるプレリンク値には、vtable オフセット (「 vtaboff 」として示される) とフィールド オフセット (「 fieldoff 」として示される) の 2 つのタイプがあります。

フォーマット値が明示的に構文の一部ではなく、代わりにバリアントを選択する場合、対応を示すために、各バリアントは接頭辞 " [ X = N ] " (たとえば、" [A=2] ") とともにリストされます。 .

フォーマット