Dalvik 실행 가능한 명령어 형식

이 페이지는 Dalvik 실행 파일 형식과 Dalvik 바이트코드에서 사용하는 명령어 형식을 나열합니다. 바이트코드 참조 문서 와 함께 사용하기 위한 것입니다.

비트 설명

형식 테이블의 첫 번째 열에는 형식의 비트 레이아웃이 나열됩니다. 이것은 각각 16비트 코드 단위를 설명하는 하나 이상의 공백으로 구분된 "단어"로 구성됩니다. 단어의 각 문자는 읽기를 돕기 위해 산재된 수직 막대(" | ")와 함께 상위 비트에서 하위 비트로 읽히는 4비트를 나타냅니다. " A "에서 순서대로 대문자는 형식 내의 필드를 나타내는 데 사용됩니다(그런 다음 구문 열에 의해 추가로 정의됨). " op "라는 용어는 형식 내에서 8비트 opcode의 위치를 ​​나타내는 데 사용됩니다. 슬래시 0(" Ø ")은 표시된 위치에서 모든 비트가 0이어야 함을 나타내는 데 사용됩니다.

대부분의 경우 레터링은 코드 단위 내에서 이전 코드 단위에서 이후 코드 단위로, 낮은 순서에서 높은 순서로 진행됩니다. 그러나 이 일반 규칙에는 몇 가지 예외가 있습니다. 이는 유사한 의미의 부분 이름을 다른 명령 형식에서 동일하게 만들기 위해 수행됩니다. 이러한 경우는 형식 설명에 명시적으로 명시되어 있습니다.

예를 들어 " B|A| op CCCC " 형식은 형식이 2개의 16비트 코드 단위로 구성되어 있음을 나타냅니다. 첫 번째 단어는 하위 8비트의 opcode와 상위 8비트의 4비트 값 쌍으로 구성됩니다. 두 번째 단어는 단일 16비트 값으로 구성됩니다.

형식 ID

형식 테이블의 두 번째 열은 형식에 대한 짧은 식별자를 나타내며 다른 문서 및 코드에서 형식을 식별하는 데 사용됩니다.

대부분의 형식 ID는 3자, 2자리 숫자 다음에 문자로 구성됩니다. 첫 번째 숫자는 형식의 16비트 코드 단위 수를 나타냅니다. 두 번째 숫자는 형식에 포함된 최대 레지스터 수(일부 형식은 가변 수의 레지스터를 수용할 수 있기 때문에 최대)를 나타내며 특수 지정 " r "은 레지스터 범위가 인코딩됨을 나타냅니다. 마지막 문자는 세미 니모닉 방식으로 형식으로 인코딩된 추가 데이터의 유형을 나타냅니다. 예를 들어, 형식 " 21t "는 길이가 2이고 하나의 레지스터 참조를 포함하며 추가로 분기 대상을 포함합니다.

제안된 정적 연결 형식에는 추가 " s " 접미사가 있어 총 4자가 됩니다. 유사하게, 제안된 "인라인" 연결 형식에는 추가 " i " 접미사가 있습니다. (이 맥락에서 인라인 링크는 기계의 구현에 더 직접적으로 연결된다는 점을 제외하고는 정적 링크와 같습니다.) 마지막으로, 몇 가지 이상한 제안 형식(예: " 20bc ")에는 두 가지 데이터가 포함되어 있으며 둘 다 형식 ID로 표시됩니다. .

유형 코드 문자의 전체 목록은 다음과 같습니다. 일부 양식은 형식에 따라 크기가 다릅니다.

통사론

형식 테이블의 세 번째 열은 표시된 형식을 사용하는 명령어에 대한 인간 중심 구문을 나타냅니다. 각 명령어는 명명된 opcode로 시작하고 선택적으로 쉼표로 구분된 하나 이상의 인수가 뒤따릅니다.

인수가 첫 번째 열의 필드를 참조할 때마다 해당 필드의 문자는 구문에 표시되며 필드의 각 4비트에 대해 한 번씩 반복됩니다. 예를 들어, 첫 번째 열에 " BB "로 레이블이 지정된 8비트 필드는 구문 열에서도 " BB "로 레이블이 지정됩니다.

레지스터의 이름을 지정하는 인수의 형식은 " v X "입니다. 접두사 " v "는 레지스터에 접두사 " r "을 사용하는 Dalvik 실행 파일 형식이 구현될 수 있는 (가상이 아닌) 아키텍처와 충돌을 피하기 위해 정확히 더 일반적인 " r " 대신 선택되었습니다. (즉, 이 결정은 말을 생략할 필요 없이 가상 레지스터와 실제 레지스터 모두에 대해 이야기하는 것을 가능하게 합니다.)

리터럴 값을 나타내는 인수의 형식은 " #+ X "입니다. 일부 형식은 상위 비트에 0이 아닌 비트만 있는 리터럴을 나타냅니다. 이러한 경우 0은 비트 표현에 나타나지 않더라도 구문에 명시적으로 표시됩니다.

상대 명령어 주소 오프셋을 나타내는 인수는 " + X " 형식을 갖습니다.

리터럴 상수 풀 인덱스를 나타내는 인수는 " kind @ X " 형식을 가지며, 여기서 " kind "는 참조되는 상수 풀을 나타냅니다. 이러한 형식을 사용하는 각 opcode는 명시적으로 한 종류의 상수만 허용합니다. 대응을 파악하려면 opcode 참조를 참조하십시오. 상수 풀의 종류는 " string "(문자열 풀 인덱스), " type "(유형 풀 인덱스), " field "(필드 풀 인덱스), " meth "(메서드 풀 인덱스) 및 " site "(호출 사이트 인덱스)입니다. ).

상수 풀 인덱스의 표현과 유사하게 미리 연결된 오프셋 또는 인덱스를 나타내는 제안된(선택 사항) 형식도 있습니다. 제안된 미리 연결된 값에는 두 가지 유형이 있습니다. vtable 오프셋(" vtaboff "로 표시) 및 필드 오프셋(" fieldoff "로 표시).

형식 값이 명시적으로 구문의 일부가 아니지만 대신 변형을 선택하는 경우 각 변형은 대응을 나타내기 위해 접두사 " [ X = N ] "(예: " [A=2] ")과 함께 나열됩니다. .

형식