블랙잭

조건문

RFLAGs

rflags라는 특별한 레지스터가 있어요. 이 레지스터의 각 비트는 여러 조건을 나타내는 플래그처럼 동작해요.

그중 일부는 아래와 같아요:

비교 명령어

rflags의 플래그는 직접 수정되지 않아요. 대신, 여러 가지 명령어에 의해 설정돼요.

예를 들어, ZF는 산술 연산이나 비트 연산의 결과가 0일 때 설정돼요.

조건을 검사할 때 가장 흔히 쓰이는 명령어 중 하나는 cmp예요. cmp는 두 개의 피연산자를 받아 플래그를 갱신하지만 피연산자 자체는 수정하지 않아요.

CMP 명령어

cmp 명령어는 첫 번째 피연산자에서 두 번째 피연산자를 빼고, 그 결과에 따라 플래그를 설정해요.

A가 첫 번째 피연산자이고 B가 두 번째 피연산자라면:

분기

기본적으로 x86-64의 코드는 위에서 아래로 순차적으로 실행돼요.

하지만 이 동작을 바꿔야 하는 상황이 많아요. 예를 들어, 어떤 조건에 따라 다른 명령어 집합을 실행해야 할 때가 그렇죠.

고급 언어에서는 보통 if...else 같은 추상화를 통해 이걸 해요. 하지만 x86-64에는 그런 게 없어요.

대신 x86-64는 실행 흐름을 코드의 다른 위치로 옮기는 명령어를 제공해요. 이걸 branching이라고 해요.

무조건 분기

jmp 명령어는 프로그램의 실행을 코드의 다른 지점으로 무조건 옮겨요. 이 명령어의 유일한 피연산자는 레이블이고, 이 레이블은 실행이 이어질 지점의 주소를 담고 있어요.

예를 들어 다음 함수를 봐요:

fn:
    mov rax, 5
    jmp end

    add rax, 10
end:
    ret

fn이 호출되면 실행은 mov rax, 5에서 시작해요. 이 시점에서 rax의 값이 5가 돼요.

다음 명령어는 jmp end이고, 실행을 end 레이블로 옮겨요.

end 다음 명령어는 ret이고, 실행을 호출한 함수로 되돌려요.

add rax, 10은 jmp end 뒤에 있고 end 앞에 있으므로 절대 실행되지 않아요. fn이 반환될 때 rax의 값은 5예요.

조건부 분기

jcc 명령어군은 특정 조건이 충족될 때만 프로그램의 실행을 다른 지점으로 옮겨요. 그렇지 않으면 실행은 순차적으로 이어져요.

각 조건은 rflags의 하나 이상의 플래그에 대응해요. 어떤 jcc 변형은 플래그가 설정됐는지 검사하고, 또 다른 변형은 플래그가 해제됐는지 검사해요.

jcc의 cc는 문자 그대로의 의미가 아니라, 검사하는 플래그에 따라 붙는 특정 접미사를 가리켜요.

접미사는 아주 많고, 그중 상당수는 다른 접미사와 같은 조건을 검사해요. 그중 일부는 플래그를 직접 가리켜서, 특정 플래그가 설정되면 해당 레이블로 점프해요:

그 밖의 많은 접미사는 cmp 명령어에서의 의미를 나타내기 위해 선택됐어요. 예를 들어:

l, b, g, a 뒤에 e를 붙이면 조건에 등호를 포함할 수 있어요:

cmp rcx, r8
jge two      ; this jumps to 'two' if rcx is greater than, or equal to, r8 in a signed comparison
jbe two      ; this jumps to 'two' if rcx is lesser than, or equal to, r8 in an unsigned comparison

모든 접미사에는 반대 동작을 검사하는 변형이 있어요. 문법은 같지만 접미사 앞에 n이 붙어요.

예를 들어, jnz는 ZF가 설정되지 않았을 때 점프해요. 마찬가지로, jnae는 A가 B보다 크거나 같지 않을 때 점프해요 (A와 B를 부호 없는 정수로 해석한 경우예요).

지역 레이블

레이블은 소스 파일 전체에서 보여요. 함수 안에서만 유효한 게 아니에요. 따라서 같은 레이블 이름을 다시 쓸 수 없어요.

지역 레이블처럼 동작하게 하려고, NASM에는 이름 앞에 마침표(.)를 붙여 선언하는 특별한 표기법이 있어요. 이 표기법은 앞에 나온 마침표 없는 레이블의 이름을 암묵적으로 포함하는 레이블을 정의해요:

section .text
fn1:
    ...
.example: ; this is fn1.example
    ...
    ret

fn2:
    ...
.example: ; this is fn2.example
    ...
    ret

코드 어디에서든 전체 레이블 이름을 써서 이 레이블로 점프할 수 있어요. 예를 들어 jmp fn1.example처럼요.

하지만 마침표부터 시작하는 레이블의 일부를 사용하는 점프는 상위 함수 _내부_의 레이블로 이루어져요. 예를 들어, .example은 마치 그 함수에만 지역적인 것처럼 동작해요:

section .text
fn1:
    ...
.example:
    ...
    jmp .example ; this jumps to fn1.example

fn2:
    ...
.example:
    ...
    jmp .example ; this jumps to fn2.example