Formatos de instruções executáveis ​​da Dalvik

Esta página lista os formatos de instrução usados ​​pelo formato Dalvik Executable e pelo bytecode Dalvik. Ele deve ser usado em conjunto com o documento de referência de bytecode .

Descrições bit a bit

A primeira coluna na tabela de formatos lista o layout bit a bit do formato. Consiste em uma ou mais "palavras" separadas por espaço, cada uma das quais descreve uma unidade de código de 16 bits. Cada caractere em uma palavra representa quatro bits, lidos dos bits mais altos para os mais baixos, com barras verticais (" | ") intercaladas para auxiliar na leitura. Letras maiúsculas em sequência a partir de " A " são usadas para indicar campos dentro do formato (que então são definidos pela coluna de sintaxe). O termo " op " é usado para indicar a posição de um opcode de oito bits dentro do formato. Um zero barrado (" Ø ") é usado para indicar que todos os bits devem ser zero na posição indicada.

Na maioria das vezes, as letras procedem de unidades de código anteriores para unidades de código posteriores e de ordem inferior para ordem superior dentro de uma unidade de código. No entanto, existem algumas exceções a essa regra geral, que são feitas para que a nomenclatura de partes de significado semelhante seja a mesma em diferentes formatos de instrução. Esses casos são anotados explicitamente nas descrições de formato.

Por exemplo, o formato " B|A| op CCCC " indica que o formato consiste em duas unidades de código de 16 bits. A primeira palavra consiste no opcode nos oito bits inferiores e um par de valores de quatro bits nos oito bits superiores; e a segunda palavra consiste em um único valor de 16 bits.

Códigos de formato

A segunda coluna na tabela de formatos indica o identificador abreviado do formato, que é usado em outros documentos e no código para identificar o formato.

A maioria dos IDs de formato consiste em três caracteres, dois dígitos seguidos por uma letra. O primeiro dígito indica o número de unidades de código de 16 bits no formato. O segundo dígito indica o número máximo de registros que o formato contém (máximo, pois alguns formatos podem acomodar um número variável de registros), com a designação especial " r " indicando que um intervalo de registros está codificado. A letra final indica semi-mnemonicamente o tipo de qualquer dado extra codificado pelo formato. Por exemplo, o formato " 21t " tem comprimento dois, contém uma referência de registro e, adicionalmente, contém um destino de ramificação.

Os formatos de link estático sugeridos têm um sufixo " s " adicional, totalizando quatro caracteres. Da mesma forma, os formatos de link "inline" sugeridos têm um sufixo " i " adicional. (Neste contexto, a vinculação em linha é como a vinculação estática, exceto com vínculos mais diretos com a implementação de uma máquina.) Finalmente, alguns formatos sugeridos excêntricos (por exemplo, " 20bc ") incluem dois pedaços de dados que são representados em seu ID de formato .

A lista completa de letras de código de tipo é a seguinte. Observe que alguns formulários têm tamanhos diferentes, dependendo do formato:

Sintaxe

A terceira coluna da tabela de formatos indica a sintaxe orientada a humanos para instruções que usam o formato indicado. Cada instrução começa com o opcode nomeado e é opcionalmente seguida por um ou mais argumentos, separados por vírgulas.

Sempre que um argumento se refere a um campo da primeira coluna, a letra desse campo é indicada na sintaxe, repetida uma vez para cada quatro bits do campo. Por exemplo, um campo de oito bits rotulado " BB " na primeira coluna também seria rotulado " BB " na coluna de sintaxe.

Argumentos que nomeiam um registrador têm a forma " v X ". O prefixo " v " foi escolhido em vez do mais comum " r " exatamente para evitar conflitos com arquiteturas (não virtuais) nas quais o formato Dalvik Executable pode ser implementado que usam o prefixo " r " para seus registradores. (Ou seja, esta decisão permite falar de registros virtuais e reais juntos sem a necessidade de circunlóquios.)

Os argumentos que indicam um valor literal têm a forma " #+ X ". Alguns formatos indicam literais que possuem apenas bits diferentes de zero em seus bits de ordem superior; para estes, os zeros são representados explicitamente na sintaxe, embora não apareçam na representação bit a bit.

Os argumentos que indicam um deslocamento de endereço de instrução relativo têm a forma " + X ".

Argumentos que indicam um índice de pool de constante literal têm a forma " kind @ X ", onde " kind " indica qual pool de constante está sendo referido. Cada opcode que usa tal formato permite explicitamente apenas um tipo de constante; veja a referência opcode para descobrir a correspondência. Os tipos de pool de constantes são " string " (índice de pool de strings), " type " (índice de pool de tipos), " field " (índice de pool de campos), " meth " (índice de pool de métodos) e " site " (índice de site de chamada ).

Semelhante à representação de índices de pool constantes, também existem formas sugeridas (opcionais) que indicam deslocamentos ou índices pré-vinculados. Existem dois tipos de valores pré-vinculados sugeridos: deslocamentos vtable (indicados como " vtaboff ") e deslocamentos de campo (indicados como " fieldoff ").

Nos casos em que um valor de formato não faz parte explicitamente da sintaxe, mas escolhe uma variante, cada variante é listada com o prefixo " [ X = N ] " (por exemplo, " [A=2] ") para indicar a correspondência .

Os formatos