AT&T 어셈블리어 II2008. 06. 08. 한승후

목차 심볼 화이트 공백문자 전처리 라벨 , 상수 , 예약어 , 식별자 , 디렉티브 ,

명령어 섹션과 재배치 Intel 과 AT&T 문법 비교 Hello, world!

심볼 심볼은 한글자 이상으로 대소문자와 십진

수 , '_.$' 로 조합되는 것이다 . 심볼은 10 진수로 시작하지 않는다 .

심볼을 만들어 내는 방법은 많으며 길이의 제한도 없다 .

점 심볼 '.' 은 as 가 어셈블하고 있는 현재의 주소를

참조한다 . 그래서 , 표현식 'melvin: .long .'은 melvin 을 그것 자신의 주소를 포함하도록 한다 .

화이트 공백문자 화이트 공백문자 (whitespace) 는

하나이상의 빈칸이거나 탭 등이 될 수 있다 . 화이트 문자는 심볼들을 분리하는 데 사용되며 사람들이 프로그램을 쉽게 읽을 수 있도록 만든다 . 문자 상수가 아니라면 , 어떠한 화이트문자도 하나의 공백문자로 취급된다 .

instruction operand_1, operand_2, ...

전처리 여분의 공백 (whitespace) 들을 적절히

조절하고 제거한다 . 한 라인상에서 키워드 앞에 하나의 공백 (space) 이나 탭을 남긴다 .

모든 주석을 제거하고 , 그것을 하나의 공백문자로 치환하거나 새로운 라인의 적당한 번호로 치환한다 .

문자 상수값을 적당한 숫자 값으로 변환한다 . 공백문자들과 , 주석 , 문자 상수들의 지나친 사용은 전치리 되지 않은 입력 파일의 일부로서 사용될 수 없다 .

라벨 라벨은 바로 뒤에 콜론 (':') 이 따라오는

하나의 심볼이다 . 화이트 문자는 라벨의 앞이나 콜론의 뒤에 오는 것이 허용된다 .

하지만 라벨의 심볼과 콜론 사이에는 화이트 공백문자가 올 수 없다 . label: .directive  followed by something another_label: # This is an empty

statement.

상수 하나의 상수는 하나의 숫자 예를 들면 ,

# All the same value .byte  74, 0112, 092, 0x4A, 0X4a, 'J, '\J .ascii "Ring the bell\7"  # A bignum .octa 

0x123456789abcdef0123456789ABCDEF0 .float 0f-

314159265358979323846264338227\ #pi, a flonum 95028841971.693993751E-40

예약어 인텔 프로세서에 의해 실행되는 mov, add,

mul 과 같은 명령어 니모닉 as 에게 어떻게 프로그램을 어셈블해야

하는지 알려 주는 디렉티브들 .byte 혹은 .word 같이 변수나 피연산자의

크기나 사용처를 알려 주는 속성들 수식에 사용되는 연산자들 (+,-,*,/)

식별자 (label)

프로그래머가 선택한 이름이다 . 변수나 상수 , 프로시저 혹은 코드 레이블 등에 사용된다 .

식별자는 어셈블리의 예약어와 같을 수 없다 .

디렉티브 (directive)

프로그램의 소스 코드를 어셈블할 때 어셈블러가 인식하고 활용하는 명령어이다 .

논리 세그먼트를 정의 , 메모리 모델을 선택 , 변수를 정의 , 프로시저를 만들 때 사용

.data, .text, .code 등

명령어 (instruction) 프로그램이 메모리에 탑재되어 실행될 때 프로세서에

의하여 실행되는 문장 명령어는 기본적으로 4 개의 부분으로 구성된다 .

1. 레이블 ( 선택사항 ) - 명령어 혹은 데이터의 위치를 표시하는 하나의 식별자이다 . 소스 프로그램을 스캔할 때 어셈블러는 각 프로그램 문장에 숫자 주소를 할당한다 .

코드 레이블 : 프로그램의 코드 영역 ( 명령어가 있는 영역 ) 에서 레이블은 콜론 (;) 으로 끝난다 . 일한 문에서 레이블은 점프나 루프 명령어에 사용된다 .

target: move ax, bx 데이터 레이블 : 만약 레이블이 프로그램의 데이터 영역 ( 변수가

정의된 영역 ) 에서 사용될 경우 콜론으로 끝날 수 없다 . first BYTE 1

2. 명 령 니모닉 ( 필수 ) - 명령어에 의하여 수행되는 동작을 식별하기 위한 짧은 단어이다 . mov, add, sub, mul, jmp, call 등과 같은 이름을 갖는지를 설명한다 .

3. 피연산자들 ( 보통 필수 )4. 주석 ( 선택사항 )

섹션과 재배치 섹션은 빈틈이 없는 어드레스들의 범위이다 . 섹션 안에 있는 모든 데이터들은 같은 어떤 특별한 목적으로 취급된다 . 링커 ld 는 많은 목적 파일 ( 프로그램의 일부분인 ) 을 읽어들여서

그것들을 결합하여 실행가능한 프로그램 형식을 구성한다 . as 가 목적 파일을 만들어낼 때 그 부분적인 프로그램은 어드레스 0 에서 시작하는 것으로 가정된다 . ld 는 마지막 어드레스를 그 부분적인 프로그램으로 할당하는 데 , 그래서 다른 부분적인 프로그램들이 겹쳐지지 않는다 . 이것은 실지로 하나의 간략화이다 .

ld 는 프로그램의 블록 바이트를 이들의 실행시간 주소로 옮긴다 . 이러한 블록들은 이들의 실행시간 주소로 바뀐다 . 이들 블록들의 길이는 변하지 않는다 . 이러한 블록을 섹션 (section) 이라고 부른다 .

실행시 주소를 섹션에 할당하는 것을 " 재배치 (relocation)" 라 부른다 . 'relocation' 은 목적 파일의 주소의 기록을 조절하는 테스크를 포함 하는데 , 그래서 그들은 고유의 실행 시간 주소로 참조된다 .

.text, .code, .data, .bss 등

Intel/AT&T 문법 비교 - 1

immediate value, $ AT&T 에서 즉시적인 피연산자 앞에는 '$'

이 붙는다 . 인텔에서의 즉시적인 피연산자에는 제한이 없다 Intel: 'push 4‘ AT&T: 'pushl $4'

Intel/AT&T 문법 비교 - 2

register naming, % AT&T 레지스터 피연산자 앞에는 '%' 이

붙는다 ; 인텔 레지스터 피연산자에는 제한이 없다 .

Intel/AT&T 문법 비교 - 3

source/dest ordering AT&T 와 인텔 문법은 source 피연산자와

dest 피연산자의 순서가 서로 뒤 바뀌어져 있다 . Intel: 'add eax, 4‘ AT&T: 'addl $4, %eax‘

이전의 유닉스 어셈블러들과의 호환성을 위해 이런 방식을 택함

Intel/AT&T 문법 비교 - 4 operator size specification AT&T 문법에서 메모리 피연산자의 크기는 작동자

이름의 마지막 글자로 검사된다 . 작동자에는 'b', 'w', 'l' 의 접미사가 붙는다 . 이것은 각각 byte (8-bit), 워드 (16-bit), long (32-bit) 메모리 참조를 의미한다 . 인텔 문법에서는 이러한 것들을 메모리 피연산자 앞에 'byte ptr', 'word ptr' 과 같은 접두사를 붙임으로써 ( 작동자 (opcode) 에 붙는 것이 아닌 ) 해결한다 . 그래서 Intel: 'mov al, byte ptr FOO‘ AT&T'movb FOO, %al'

Intel/AT&T 문법 비교 - 5 메모리를 간접적으로 참조하는 형식 Intel

SECTION:[BASE + INDEX*SCALE + DISP] AT&T

SECTION:DISP(BASE, INDEX, SCALE)

예제 Intel:  [ebp - 4] AT&T: -4(%ebp) Intel: [foo + eax*4] AT&T: foo(,%eax,4),

Intel/AT&T 문법 비교 - 6

far jump 와 call AT&T: lcall/ljmp $SECTION, $OFFSET Intel: call/jmp far SECTION:OFFSET

far return 명령 Intel: ret far STACK-ADJUST AT&T: lret $STACK-ADJUST‘

Intel/AT&T 문법 비교 - 7

AT&T 어셈블러는 다중 섹션 프로그램을 위한 지원을 하지 않는다 . 유닉스 스타일의 시스템들은 모든 프로그램들이 싱글 섹션이라고 생각한다 .

Hello, world!;Intel, nasmsection .text global _start_start:;write our string to stdout mov edx,len mov ecx,msg

mov ebx,1 mov eax,4 int 0x80;and exit mov ebx,0 mov eax,1 int 0x80

section .datamsg db "Hello, world!",0xa len equ $ - msg

#AT&T, as.text .global _start _start:# write our string to stdout movl $len,%edx # third argument: message length movl $msg,%ecx # second argument: pointer to # message to write movl $1,%ebx # first argument: file handle (stdout) movl $4,%eax # system call number (sys_write) int $0x80 # call kernel# and exit movl $0,%ebx # first argument: exit code movl $1,%eax # system call number (sys_exit) int $0x80 # call kernel

.data # section declarationmsg: .ascii "Hello, world!\n" # our dear string len = . - msg # length of our dear string

Q & A