Format instruksi Dalvik yang dapat dieksekusi

Halaman ini mencantumkan format instruksi yang digunakan oleh format Dalvik executable (DEX) dan bytecode Dalvik. Hal ini dimaksudkan untuk digunakan bersama dengan dokumen referensi bytecode .

Deskripsi sedikit demi sedikit

Kolom pertama dalam tabel format mencantumkan tata letak format bitwise. Ini terdiri dari satu atau lebih "kata" yang dipisahkan spasi yang masing-masing menggambarkan unit kode 16-bit. Setiap karakter dalam sebuah kata mewakili empat bit, dibaca dari bit tinggi ke rendah, dengan garis vertikal (" | ") diselingi untuk membantu pembacaan. Huruf besar secara berurutan dari " A " digunakan untuk menunjukkan bidang dalam format (yang kemudian ditentukan lebih lanjut oleh kolom sintaksis). Istilah " op " digunakan untuk menunjukkan posisi opcode delapan bit dalam format. Garis miring nol (" Ø ") digunakan untuk menunjukkan bahwa semua bit harus nol pada posisi yang ditunjukkan.

Untuk sebagian besar, penulisan huruf berasal dari unit kode sebelumnya ke unit kode selanjutnya, dan tingkat rendah ke tingkat tinggi dalam unit kode. Namun, ada beberapa pengecualian terhadap aturan umum ini, yang dilakukan untuk membuat penamaan bagian yang memiliki arti serupa menjadi sama pada format instruksi yang berbeda. Kasus-kasus ini dicatat secara eksplisit dalam deskripsi format.

Misalnya, format " B|A| op CCCC " menunjukkan bahwa format tersebut terdiri dari dua unit kode 16-bit. Kata pertama terdiri dari opcode dalam delapan bit rendah dan sepasang nilai empat bit dalam delapan bit tinggi; dan kata kedua terdiri dari nilai 16-bit tunggal.

ID Format

Kolom kedua dalam tabel format menunjukkan pengidentifikasi singkat untuk format tersebut, yang digunakan dalam dokumen lain dan dalam kode untuk mengidentifikasi format.

Kebanyakan format ID terdiri dari tiga karakter, dua digit diikuti dengan satu huruf. Digit pertama menunjukkan jumlah unit kode 16-bit dalam format. Digit kedua menunjukkan jumlah maksimum register yang terdapat dalam format tersebut (maksimum, karena beberapa format dapat menampung sejumlah variabel register), dengan sebutan khusus " r " yang menunjukkan bahwa rentang register dikodekan. Huruf terakhir secara semi-mnemonik menunjukkan jenis data tambahan yang dikodekan oleh format. Misalnya, format " 21t " memiliki panjang dua, berisi satu referensi register, dan juga berisi target cabang.

Format tautan statis yang disarankan memiliki akhiran " s " tambahan, sehingga totalnya menjadi empat karakter. Demikian pula, format penautan "sebaris" yang disarankan memiliki tambahan " i " akhiran. (Dalam konteks ini, tautan inline seperti tautan statis, kecuali dengan ikatan yang lebih langsung ke dalam implementasi mesin.) Terakhir, beberapa format yang disarankan secara eksentrik (misalnya, " 20bc ") mencakup dua bagian data yang keduanya direpresentasikan dalam ID formatnya .

Daftar lengkap huruf kode ketik adalah sebagai berikut. Perhatikan bahwa beberapa formulir memiliki ukuran berbeda, bergantung pada formatnya:

Sintaksis

Kolom ketiga dari tabel format menunjukkan sintaks berorientasi manusia untuk instruksi yang menggunakan format yang ditunjukkan. Setiap instruksi dimulai dengan opcode bernama dan secara opsional diikuti oleh satu atau lebih argumen, yang dipisahkan dengan koma.

Dimanapun suatu argumen mengacu pada suatu field dari kolom pertama, huruf untuk field tersebut ditunjukkan dalam sintaksis, diulang satu kali untuk setiap empat bit dari field tersebut. Misalnya, bidang delapan bit berlabel " BB " di kolom pertama juga akan diberi label " BB " di kolom sintaksis.

Argumen yang memberi nama suatu register berbentuk " v X ". Awalan " v " dipilih daripada " r " yang lebih umum untuk menghindari konflik dengan arsitektur (non-virtual) di mana format Dalvik Executable dapat diimplementasikan yang menggunakan awalan " r " untuk registernya. (Artinya, keputusan ini memungkinkan untuk membicarakan register virtual dan register nyata secara bersamaan tanpa perlu berbelit-belit.)

Argumen yang menunjukkan nilai literal berbentuk " #+ X ". Beberapa format menunjukkan literal yang hanya memiliki bit bukan nol dalam bit tingkat tinggi; untuk ini, angka nol direpresentasikan secara eksplisit dalam sintaksis, meskipun angka nol tersebut tidak muncul dalam representasi bitwise.

Argumen yang menunjukkan offset alamat instruksi relatif berbentuk " + X ".

Argumen yang menunjukkan indeks kumpulan konstanta literal berbentuk " kind @ X ", di mana " kind " menunjukkan kumpulan konstanta mana yang dirujuk. Setiap opcode yang menggunakan format seperti itu secara eksplisit hanya mengizinkan satu jenis konstanta; lihat referensi opcode untuk mengetahui korespondensinya. Jenis kumpulan konstan adalah " string " (indeks kumpulan string), " type " (tipe indeks kumpulan), " field " (indeks kumpulan bidang), " meth " (indeks kumpulan metode), dan " site " (indeks situs panggilan ).

Mirip dengan representasi indeks kumpulan konstan, ada juga bentuk yang disarankan (opsional) yang menunjukkan offset atau indeks yang ditautkan sebelumnya. Ada dua jenis nilai prataut yang disarankan: offset vtable (ditunjukkan sebagai " vtaboff ") dan offset bidang (ditunjukkan sebagai " fieldoff ").

Dalam kasus di mana nilai format tidak secara eksplisit menjadi bagian dari sintaksis melainkan memilih varian, setiap varian dicantumkan dengan awalan " [ X = N ] " (misalnya, " [A=2] ") untuk menunjukkan korespondensi .

Format