Assembly Language & x86 Low-Level Systems Programming · 강의

인수와 반환 값 전달

레지스터와 스택을 활용해 프로시저에 인수를 전달하고 값을 반환하는 일반적인 규칙을 알아봅니다.

레슨 3/412개 단계

인수와 반환 값 전달은(는) CoddyKit의 무료 Assembly Language & x86 Low-Level Systems Programming 강의입니다. 이것은 4개 중 3번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 Assembly Language & x86 Low-Level Systems Programming 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. Assembly Language & x86 Low-Level Systems Programming 강의에는 총 4개의 강의가 포함되어 있습니다.

이 강의의 일부는 아직 번역되지 않았으며 영어로 표시됩니다.

Intro: Data Flow in Procedures

When you write a procedure (like a function in C), it often needs data to work with, and it might produce a result.

This lesson explores how data, called arguments, is sent into a procedure, and how the procedure sends a return value back out.

Why Pass Data?

Procedures are like mini-programs. To make them useful, they need to communicate with the main program or other procedures.

Arguments: Input data for the procedure to process.
Return Value: The result produced by the procedure.

Without this communication, procedures would be very limited!

Calling Conventions

To ensure procedures can talk to each other, there are rules called calling conventions.

These rules dictate:

How arguments are passed (registers or stack).
Which registers a procedure can modify.
How return values are transmitted.

We'll look at common ways for x86.

Passing Arguments via Registers

For a small number of arguments, it's efficient to pass them using registers.

A common convention (like System V ABI on Linux) uses specific registers for the first few arguments:

RDI (1st argument)
RSI (2nd argument)
RDX (3rd argument)
RCX (4th argument)

For 32-bit (x86), these would be EDI, ESI, etc.

Code: Register Arguments (32-bit)

Here, a procedure _add_two takes two numbers in EBX and ECX (acting as arguments) and returns their sum in EAX.

section .data
    msg db "Sum: ", 0

section .text
    global _start

_add_two:
    ; Arguments: EBX, ECX
    ; Returns: EAX
    mov eax, ebx  ; Move first arg to EAX
    add eax, ecx  ; Add second arg
    ret           ; Return to caller

_start:
    ; Prepare arguments for _add_two
    mov ebx, 5    ; First argument
    mov ecx, 3    ; Second argument
    call _add_two ; Call the procedure

    ; EAX now holds the sum (8)
    ; --- Print result (for demonstration) ---
    ; Convert EAX to ASCII (simple example)
    add eax, '0'  ; Convert 8 to ASCII '8'
    mov [result_char], al

    ; Write "Sum: "
    mov eax, 4    ; sys_write
    mov ebx, 1    ; stdout
    mov ecx, msg
    mov edx, 5    ; length of "Sum: "
    int 0x80

    ; Write the result character
    mov eax, 4    ; sys_write
    mov ebx, 1    ; stdout
    mov ecx, result_char
    mov edx, 1    ; length of '8'
    int 0x80

    ; Write newline
    mov eax, 4
    mov ebx, 1
    mov ecx, newline
    mov edx, 1
    int 0x80

    ; Exit program
    mov eax, 1    ; sys_exit
    xor ebx, ebx  ; exit code 0
    int 0x80

section .bss
    result_char resb 1
    newline resb 1

Passing Arguments via the Stack

When there are many arguments, or if registers are already in use, the stack is used to pass arguments.

Arguments are PUSHed onto the stack before the CALL instruction.
The called procedure accesses these arguments relative to the EBP (base pointer) or ESP (stack pointer).

The order of pushing matters! Often, arguments are pushed in reverse order (last argument first).

Accessing Stack Arguments

After CALL, the return address is on the stack. If arguments were pushed, they are below the return address.

Inside the procedure, EBP is typically saved and then set to ESP to create a stable base for accessing arguments and local variables.

[EBP+8]: First argument (after saved EBP and return address)
[EBP+12]: Second argument
And so on...

Code: Stack Arguments (32-bit)

This example shows _multiply_two taking two arguments from the stack and returning their product in EAX.

section .data
    msg db "Product: ", 0

section .text
    global _start

_multiply_two:
    push ebp          ; Save old EBP
    mov ebp, esp      ; Set new EBP to current ESP

    ; Arguments are at [ebp+8] and [ebp+12]
    mov eax, [ebp+8]  ; Get first argument
    imul dword [ebp+12] ; Multiply by second argument

    mov esp, ebp      ; Restore ESP (deallocate local vars if any)
    pop ebp           ; Restore old EBP
    ret 8             ; Return, and pop 8 bytes (2 args * 4 bytes) from stack

_start:
    ; Push arguments in reverse order
    push dword 4      ; Second argument
    push dword 6      ; First argument
    call _multiply_two ; Call the procedure

    ; EAX now holds the product (24)
    ; --- Print result (for demonstration) ---
    ; Convert EAX to ASCII (simple example)
    add eax, '0'  ; Convert 24 to ASCII (this won't work for 24, but for single digit results it does)
    mov [result_char], al

    ; (Code to print 'Product: ' and result_char, and newline omitted for brevity, similar to previous example)
    ; In a real scenario, you'd convert multi-digit numbers properly.

    ; Exit program
    mov eax, 1    ; sys_exit
    xor ebx, ebx  ; exit code 0
    int 0x80

section .bss
    result_char resb 1
    newline resb 1

Returning Values (Registers)

Just like arguments, return values are most commonly passed back in registers for simplicity and speed.

For 32-bit x86, the EAX register is typically used for integer return values.
For 64-bit x86, RAX is used.
Floating-point values might use ST(0) (x87 FPU) or XMM0 (SSE).

If a procedure has no explicit return value, EAX/RAX might still contain leftover data, so don't rely on it.

Returning Values (Stack/Memory)

What if you need to return a large structure or an array?

Memory Pointer: The caller might pass a pointer to a memory location where the procedure should store its result.
Stack: Less common for simple types, but complex structures could theoretically be built on the stack by the called procedure and then accessed by the caller.

For most basic cases, stick to registers for return values.

Check Your Knowledge

Consider a 32-bit x86 assembly procedure designed to take two integer arguments and return their sum. If the arguments are pushed onto the stack, and the return value is placed in EAX, what is the correct instruction to return from the procedure and clean up the stack?

인터랙티브 레슨에서 답해보세요

Recap: Arguments & Returns

In this lesson, we explored how procedures communicate by passing data:

Arguments are inputs, passed via registers (for few) or the stack (for many).
Return values are outputs, typically placed in a designated register (like EAX/RAX).
Calling conventions provide rules for this data exchange.

Mastering these concepts is key to writing robust assembly programs!

무료로 시작

AI 튜터와 함께 Assembly을(를) 배우세요 — 무료

브라우저에서 실제 코드를 작성하고 실행하며, 24/7 AI 튜터로부터 즉각적인 도움을 받고, 웹이나 앱에서 중단한 부분부터 계속 학습하세요.

코스: 12
레슨: 48

무료로 학습 시작 전체 코스 보기

자주 묻는 질문

“인수와 반환 값 전달” 강의는 무료인가요?

네 — “인수와 반환 값 전달” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 Assembly Language & x86 Low-Level Systems Programming 강의 전체를 잠금 해제할 수 있습니다. Assembly Language & x86 Low-Level Systems Programming 강의에는 총 4개의 강의가 포함되어 있습니다.

“인수와 반환 값 전달”에서 뭘 배우나요?

레지스터와 스택을 활용해 프로시저에 인수를 전달하고 값을 반환하는 일반적인 규칙을 알아봅니다. 브라우저에서 직접 실행하는 실습 코드로 Assembly Language & x86 Low-Level Systems Programming을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.

Assembly Language & x86 Low-Level Systems Programming을(를) 시작하는 데 경험이 필요한가요?

사전 경험은 필요하지 않습니다. CoddyKit의 Assembly Language & x86 Low-Level Systems Programming은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 3번째 강의입니다.

“인수와 반환 값 전달” 강의는 얼마나 걸리나요?

대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.

이 Assembly Language & x86 Low-Level Systems Programming 강의에서 코드를 작성하고 실행할 수 있나요?

네. 모든 Assembly Language & x86 Low-Level Systems Programming 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.

이 강의의 모든 강의

← Assembly Language & x86 Low-Level Systems Programming(으)로 돌아가기