รูปแบบคำสั่งปฏิบัติการ Dalvik

หน้านี้แสดงรายการรูปแบบคำสั่งที่ใช้โดยรูปแบบ Dalvik executable (DEX) และรหัสไบต์ Dalvik มีไว้เพื่อใช้ร่วมกับ เอกสารอ้างอิง bytecode

คำอธิบายระดับบิต

คอลัมน์แรกในตารางรูปแบบจะแสดงเค้าโครงระดับบิตของรูปแบบ ประกอบด้วย "คำ" ที่คั่นด้วยช่องว่างตั้งแต่หนึ่งคำขึ้นไป ซึ่งแต่ละคำจะอธิบายหน่วยโค้ด 16 บิต อักขระแต่ละตัวในคำแทนค่าสี่บิต อ่านจากบิตสูงไปต่ำ โดยมีแถบแนวตั้ง (" | ") สลับกันเพื่อช่วยในการอ่าน ตัวอักษรตัวพิมพ์ใหญ่ตามลำดับจาก " A " ใช้เพื่อระบุฟิลด์ภายในรูปแบบ (ซึ่งจะถูกกำหนดเพิ่มเติมโดยคอลัมน์ไวยากรณ์) คำว่า " op " ใช้เพื่อระบุตำแหน่งของ opcode แปดบิตภายในรูปแบบ เครื่องหมายทับศูนย์ (" Ø ") ใช้เพื่อระบุว่าบิตทั้งหมดต้องเป็นศูนย์ในตำแหน่งที่ระบุ

โดยส่วนใหญ่แล้ว การเรียงตัวอักษรจะดำเนินการจากหน่วยโค้ดก่อนหน้าไปยังหน่วยโค้ดในภายหลัง และลำดับจากต่ำไปอยู่ในลำดับสูงภายในหน่วยโค้ด อย่างไรก็ตาม มีข้อยกเว้นบางประการสำหรับกฎทั่วไปนี้ ซึ่งทำขึ้นเพื่อทำให้การตั้งชื่อส่วนที่มีความหมายคล้ายกันจะเหมือนกันในรูปแบบคำสั่งที่แตกต่างกัน กรณีเหล่านี้มีการระบุไว้อย่างชัดเจนในคำอธิบายรูปแบบ

ตัวอย่างเช่น รูปแบบ " B|A| op CCCC " ระบุว่ารูปแบบประกอบด้วยหน่วยโค้ด 16 บิตสองหน่วย คำแรกประกอบด้วย opcode ในแปดบิตต่ำและคู่ของค่าสี่บิตในแปดบิตสูง และคำที่สองประกอบด้วยค่า 16 บิตเดียว

รหัสรูปแบบ

คอลัมน์ที่สองในตารางรูปแบบระบุตัวระบุแบบสั้นสำหรับรูปแบบ ซึ่งใช้ในเอกสารอื่นและในโค้ดเพื่อระบุรูปแบบ

รหัสรูปแบบส่วนใหญ่ประกอบด้วยอักขระสามตัว ตัวเลขสองหลักตามด้วยตัวอักษร ตัวเลขตัวแรกระบุจำนวนหน่วยโค้ด 16 บิตในรูปแบบ ตัวเลขตัวที่สองระบุจำนวนรีจิสเตอร์สูงสุดที่รูปแบบมี (สูงสุด เนื่องจากบางรูปแบบสามารถรองรับจำนวนรีจิสเตอร์ที่แปรผันได้) โดยมีการกำหนดพิเศษ " r " ระบุว่าช่วงของรีจิสเตอร์ถูกเข้ารหัส ตัวอักษรตัวสุดท้ายแบบกึ่งช่วยจำระบุประเภทของข้อมูลเพิ่มเติมที่เข้ารหัสโดยรูปแบบ ตัวอย่างเช่น รูปแบบ " 21t " มีความยาวสอง มีการอ้างอิงรีจิสเตอร์หนึ่งรายการ และมีเป้าหมายสาขาเพิ่มเติม

รูปแบบการเชื่อมโยงแบบคงที่ที่แนะนำจะมีส่วนต่อท้าย " s " เพิ่มเติม ทำให้มีอักขระทั้งหมดสี่ตัว ในทำนองเดียวกัน รูปแบบการเชื่อมโยง "อินไลน์" ที่แนะนำจะมีคำต่อท้าย " i " เพิ่มเติม (ในบริบทนี้ การเชื่อมโยงแบบอินไลน์ก็เหมือนกับการเชื่อมโยงแบบคงที่ ยกเว้นว่ามีความสัมพันธ์โดยตรงกับการใช้งานเครื่อง) ท้ายที่สุด รูปแบบที่แนะนำแบบคี่บอลคู่ (เช่น " 20bc ") จะรวมข้อมูลสองชิ้นซึ่งทั้งคู่แสดงใน ID รูปแบบของมัน .

รายการตัวอักษรรหัสประเภททั้งหมดมีดังนี้ โปรดทราบว่าบางแบบฟอร์มมีขนาดแตกต่างกัน ขึ้นอยู่กับรูปแบบ:

ไวยากรณ์

คอลัมน์ที่สามของตารางรูปแบบระบุไวยากรณ์เชิงมนุษย์สำหรับคำแนะนำที่ใช้รูปแบบที่ระบุ แต่ละคำสั่งเริ่มต้นด้วย opcode ที่มีชื่อ และตามด้วยอาร์กิวเมนต์ตั้งแต่ 1 รายการขึ้นไป โดยคั่นด้วยเครื่องหมายจุลภาค

เมื่อใดก็ตามที่อาร์กิวเมนต์อ้างถึงฟิลด์จากคอลัมน์แรก ตัวอักษรสำหรับฟิลด์นั้นจะถูกระบุในรูปแบบไวยากรณ์ โดยจะทำซ้ำหนึ่งครั้งสำหรับแต่ละสี่บิตของฟิลด์ ตัวอย่างเช่น ฟิลด์แปดบิตชื่อ " BB " ในคอลัมน์แรกก็จะมีป้ายกำกับว่า " BB " ในคอลัมน์ไวยากรณ์ด้วย

อาร์กิวเมนต์ที่ตั้งชื่อรีจิสเตอร์จะมีรูปแบบ " v X " คำนำหน้า " v " ถูกเลือกแทนคำนำหน้า " r " ทั่วไปเพื่อหลีกเลี่ยงความขัดแย้งกับสถาปัตยกรรม (ไม่ใช่เสมือน) ซึ่งรูปแบบปฏิบัติการ Dalvik อาจถูกนำมาใช้ซึ่งตัวมันเองใช้คำนำหน้า " r " สำหรับการลงทะเบียน (นั่นคือ การตัดสินใจครั้งนี้ทำให้สามารถพูดคุยเกี่ยวกับการลงทะเบียนทั้งเสมือนและจริงร่วมกันได้โดยไม่จำเป็นต้องมีการปิดล้อม)

อาร์กิวเมนต์ที่ระบุค่าตามตัวอักษรจะมีรูปแบบ " #+ X " บางรูปแบบระบุตัวอักษรที่มีเฉพาะบิตที่ไม่เป็นศูนย์ในบิตที่มีลำดับสูง สำหรับสิ่งเหล่านี้ ค่าศูนย์จะถูกแสดงอย่างชัดเจนในรูปแบบไวยากรณ์ แม้ว่าค่าเหล่านั้นจะไม่ปรากฏในค่าระดับบิตก็ตาม

อาร์กิวเมนต์ที่ระบุที่อยู่ออฟเซ็ตคำสั่งแบบสัมพันธ์จะมีรูปแบบ " + X "

อาร์กิวเมนต์ที่บ่งชี้ดัชนีพูลคงที่ตามตัวอักษรจะมีรูปแบบ " kind @ X " โดยที่ " kind " ระบุว่าพูลคงที่ใดที่ถูกอ้างอิงถึง แต่ละ opcode ที่ใช้รูปแบบดังกล่าวอนุญาตให้ใช้ค่าคงที่เพียงชนิดเดียวเท่านั้น ดูการอ้างอิง opcode เพื่อค้นหาความสอดคล้อง ประเภทของพูลคงที่คือ " string " (ดัชนีพูลสตริง), " type " (ดัชนีพูลประเภท), " field " (ดัชนีพูลฟิลด์), " meth " (ดัชนีพูลเมธอด) และ " site " (ดัชนีไซต์การโทร ).

เช่นเดียวกับการแสดงดัชนีพูลคงที่ ยังมีแบบฟอร์มที่แนะนำ (เป็นทางเลือก) ที่ระบุออฟเซ็ตหรือดัชนีที่ลิงก์ไว้ล่วงหน้า ค่าลิงก์ล่วงหน้าที่แนะนำมีสองประเภท: ออฟเซ็ต vtable (ระบุเป็น " vtaboff ") และออฟเซ็ตฟิลด์ (ระบุเป็น " fieldoff ")

ในกรณีที่ค่ารูปแบบไม่ได้เป็นส่วนหนึ่งของไวยากรณ์อย่างชัดเจนแต่เลือกรูปแบบต่างๆ แทน รูปแบบแต่ละรายการจะแสดงรายการด้วยคำนำหน้า " [ X = N ] " (เช่น " [A=2] ") เพื่อระบุความสอดคล้อง .

รูปแบบ