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

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

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

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

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

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

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

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

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

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

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

Синтаксис

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

Везде, где аргумент ссылается на поле из первого столбца, буква для этого поля указывается в синтаксисе и повторяется один раз для каждых четырех битов поля. Например, восьмибитовое поле, помеченное « 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] »), чтобы указать соответствие .

Форматы