Форматы исполняемых инструкций Dalvik

На этой странице перечислены форматы инструкций, используемые в формате исполняемого файла Dalvik (DEX) и байт-коде Dalvik. Он предназначен для использования вместе со справочным документом по байт-коду .

Побитовые описания

В первом столбце таблицы формата указана поразрядная структура формата. Он состоит из одного или нескольких «слов», разделенных пробелами, каждое из которых описывает 16-битную кодовую единицу. Каждый символ в слове представляет собой четыре бита, считываемые от старших битов к младшим, с вертикальными полосами (« | »), перемежающимися для облегчения чтения. Прописные буквы в последовательности от « A » используются для обозначения полей в формате (которые затем определяются в столбце синтаксиса). Термин « op » используется для обозначения позиции восьмибитного кода операции в формате. Перечеркнутый ноль (« Ø ») используется для обозначения того, что все биты в указанной позиции должны быть равны нулю.

По большей части буквы переходят от более ранних кодовых единиц к более поздним, а также от низкого порядка к высшему внутри кодовой единицы. Однако из этого общего правила есть несколько исключений, которые сделаны для того, чтобы имена частей с одинаковым значением были одинаковыми в разных форматах команд. Эти случаи явно отмечены в описаниях формата.

Например, формат « B|A| op CCCC » указывает, что формат состоит из двух 16-битных кодовых единиц. Первое слово состоит из кода операции в младших восьми битах и ​​пары четырехбитных значений в старших восьми битах; а второе слово состоит из одного 16-битного значения.

Идентификаторы формата

Во втором столбце таблицы форматов указан короткий идентификатор формата, который используется в других документах и ​​в коде для идентификации формата.

Большинство идентификаторов формата состоят из трех символов: двух цифр, за которыми следует буква. Первая цифра указывает количество 16-битных кодовых единиц в формате. Вторая цифра указывает максимальное количество регистров, которые содержит формат (максимум, поскольку некоторые форматы могут содержать переменное количество регистров), при этом специальное обозначение « r » указывает на то, что закодирован диапазон регистров. Последняя буква полумнемонически указывает тип любых дополнительных данных, закодированных в этом формате. Например, формат « 21t » имеет длину два, содержит одну ссылку на регистр и дополнительно содержит цель ветвления.

Предлагаемые форматы статических ссылок имеют дополнительный суффикс « s », что делает их всего четырьмя символами. Аналогично, предлагаемые «встроенные» форматы ссылок имеют дополнительный суффикс « i ». (В этом контексте встроенное связывание похоже на статическое связывание, за исключением более прямых связей с реализацией машины.) Наконец, пара странных предлагаемых форматов (например, « 20bc ») включает два фрагмента данных, каждый из которых представлен в своем идентификаторе формата. .

Полный список букв типового кода выглядит следующим образом. Обратите внимание, что некоторые формы имеют разные размеры в зависимости от формата:

Синтаксис

Третий столбец таблицы форматов указывает ориентированный на человека синтаксис для инструкций, использующих указанный формат. Каждая инструкция начинается с именованного кода операции и может сопровождаться одним или несколькими аргументами, разделенными запятыми.

Если аргумент ссылается на поле из первого столбца, буква этого поля указывается в синтаксисе и повторяется один раз для каждых четырех битов поля. Например, восьмибитовое поле с меткой « BB » в первом столбце также будет иметь метку « BB » в столбце синтаксиса.

Аргументы, которые называют регистр, имеют форму « v X ». Префикс « v » был выбран вместо более распространенного « r » именно во избежание конфликта с (невиртуальными) архитектурами, на которых может быть реализован формат исполняемого файла Dalvik, которые сами используют префикс « r » для своих регистров. (То есть это решение позволяет говорить и о виртуальных, и о реальных регистрах одновременно, без необходимости многословия.)

Аргументы, обозначающие буквальное значение, имеют форму « #+ X ». Некоторые форматы указывают литералы, у которых есть только ненулевые биты в старших битах; для них нули явно представлены в синтаксисе, даже если они не появляются в побитовом представлении.

Аргументы, указывающие относительное смещение адреса инструкции, имеют форму « + X ».

Аргументы, указывающие буквальный индекс пула констант, имеют форму « kind @ X », где « kind » указывает, к какому пулу констант относится ссылка. Каждый код операции, использующий такой формат, явно допускает только один вид констант; см. ссылку на код операции, чтобы выяснить соответствие. Типы пула констант: « string » (индекс пула строк), « type » (индекс пула типов), « field » (индекс пула полей), « meth » (индекс пула методов) и « site » (индекс сайта вызова). ).

Подобно представлению постоянных индексов пула, существуют также предлагаемые (необязательные) формы, которые указывают предварительно связанные смещения или индексы. Существует два типа предлагаемых предварительно связанных значений: смещения vtable (обозначаются как « vtaboff ») и смещения полей (обозначаются как « fieldoff »).

В тех случаях, когда значение формата не является явно частью синтаксиса, а вместо этого выбирает вариант, каждый вариант указывается с префиксом « [ X = N ] » (например, « [A=2] »), чтобы указать соответствие .

Форматы