Format instruksi Dalvik Executable

Halaman ini mencantumkan format instruksi yang digunakan oleh format Dalvik Executable dan bytecode Dalvik. Ini dimaksudkan untuk digunakan bersama dengan dokumen referensi bytecode .

Deskripsi bitwise

Kolom pertama dalam tabel format mencantumkan tata letak bitwise format. Ini terdiri dari satu atau lebih "kata" yang dipisahkan oleh 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 didefinisikan lebih lanjut oleh kolom sintaks). Istilah " op " digunakan untuk menunjukkan posisi opcode delapan bit dalam format. Garis miring Ø (" ") digunakan untuk menunjukkan bahwa semua bit harus nol pada posisi yang ditunjukkan.

Untuk sebagian besar, hasil huruf dari unit kode sebelumnya ke unit kode selanjutnya, dan orde rendah ke orde tinggi dalam unit kode. Namun, ada beberapa pengecualian untuk aturan umum ini, yang dilakukan untuk membuat penamaan bagian yang memiliki arti serupa menjadi sama di seluruh 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 di delapan bit rendah dan sepasang nilai empat bit di delapan bit tinggi; dan kata kedua terdiri dari nilai 16-bit tunggal.

Format ID

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

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

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

Daftar lengkap huruf kode ketik adalah sebagai berikut. Perhatikan bahwa beberapa formulir memiliki ukuran yang berbeda, tergantung 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.

Di mana pun argumen merujuk ke bidang dari kolom pertama, huruf untuk bidang itu ditunjukkan dalam sintaks, diulang sekali untuk setiap empat bit bidang. Misalnya, bidang delapan bit berlabel " BB " di kolom pertama juga akan diberi label " BB " di kolom sintaks.

Argumen yang menamai sebuah register berbentuk " v X ". Awalan " v " dipilih daripada " r " yang lebih umum persis untuk menghindari konflik dengan arsitektur (non-virtual) di mana format Dalvik Executable dapat diimplementasikan yang menggunakan awalan " r " untuk register mereka sendiri. (Artinya, keputusan ini memungkinkan untuk membicarakan register virtual dan nyata bersama-sama tanpa perlu bertele-tele.)

Argumen yang menunjukkan nilai literal memiliki bentuk " #+ X ". Beberapa format menunjukkan literal yang hanya memiliki bit bukan nol dalam bit orde tinggi; untuk ini, nol diwakili secara eksplisit dalam sintaks, meskipun mereka tidak muncul dalam representasi bitwise.

Argumen yang menunjukkan offset alamat instruksi relatif memiliki bentuk " + X ".

Argumen yang menunjukkan indeks kumpulan konstanta literal memiliki bentuk " 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 korespondensi. Jenis kumpulan konstanta adalah " string " (indeks kumpulan string), " type " (indeks kumpulan jenis), " field " (indeks kumpulan bidang), " meth " (indeks kumpulan metode), dan " site " (panggil indeks situs ).

Mirip dengan representasi indeks kumpulan konstan, ada juga formulir yang disarankan (opsional) yang menunjukkan offset atau indeks yang ditautkan sebelumnya. Ada dua jenis nilai pratautan 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 sintaks tetapi memilih varian, setiap varian dicantumkan dengan awalan " [ X = N ] " (misalnya, " [A=2] ") untuk menunjukkan korespondensi .

Formatnya