在上一篇 『gcc 工具的使用』 文章中，我們曾經使用下列指令將 C 語言轉換成組合語言
$ git clone https://github.com/ProgrammerMag/pmag.git
$ cd pmag/
$ cd 201807-casm/02-link/
$ gcc -S main.c -o main.s
$ gcc -S sum.c -o sum.s現在，讓我們來看看組合語言檔的內容，並且進行解析：
sum.s 組合語言解讀版
.section __TEXT,__text,regular,pure_instructions
.macosx_version_min 10, 13
.globl _sum
.p2align 4, 0x90
_sum: ## @sum
.cfi_startproc
## BB#0:
pushq %rbp ## 儲存上一層函數的框架暫存器
Lcfi0:
.cfi_def_cfa_offset 16
Lcfi1:
.cfi_offset %rbp, -16
movq %rsp, %rbp ## 儲存返回點 (rsp 應該是連結暫存器，在 call 入返回位址)
Lcfi2:
.cfi_def_cfa_register %rbp
movl %edi, -4(%rbp) ## n = edi , edi 是 x86 第一個參數所用的暫存器。
movl $0, -8(%rbp) ## s=0
movl $0, -12(%rbp) ## i=0
LBB0_1: ## =>This Inner Loop Header: Depth=1
movl -12(%rbp), %eax ## eax = i
cmpl -4(%rbp), %eax ## cmp n i
jg LBB0_4 ## if n > i goto LBB0_4
## BB#2: ## in Loop: Header=BB0_1 Depth=1
movl -8(%rbp), %eax ## eax = s
addl -12(%rbp), %eax ## eax = eax + i
movl %eax, -8(%rbp) ## s = eax
## BB#3: ## in Loop: Header=BB0_1 Depth=1
movl -12(%rbp), %eax ## eax = i
addl $1, %eax ## eax ++
movl %eax, -12(%rbp) ## i = eax
jmp LBB0_1 ## goto LBB0_1
LBB0_4:
movl -8(%rbp), %eax ## eax = s
popq %rbp ## 還原上一層的框架暫存器
retq ## 返回
.cfi_endproc
.subsections_via_symbols
想了解上述 x86 的呼叫過程，請參考：
但要了解 x86 的函數呼叫過程，必須先理解『組合語言會怎麼處理多層函數呼叫問題』，請先參考我寫的以 CPU0 為處理器之系統程式書的第三章投影片：
main.s 的組合語言解析
.section __TEXT,__text,regular,pure_instructions
.macosx_version_min 10, 13
.globl _main
.p2align 4, 0x90
_main: ## @main
.cfi_startproc
## BB#0:
pushq %rbp ## 儲存上一層函數的框架暫存器
Lcfi0:
.cfi_def_cfa_offset 16
Lcfi1:
.cfi_offset %rbp, -16
movq %rsp, %rbp ## 儲存返回點 (rsp 應該是連結暫存器，在 call 入返回位址)
Lcfi2:
.cfi_def_cfa_register %rbp
subq $16, %rsp ## 保留 16 byte 給框架區
movl $10, %edi ## sum 的第一個參數是 10 (gcc x86 固定用 edi 當第一個參數)
callq _sum
leaq L_.str(%rip), %rdi ## printf 第一個字串參數指標放到 rdi
movl %eax, -4(%rbp) ## eax = t
movl -4(%rbp), %esi ## t = esi, 所以 t 是 printf 第二個參數
movb $0, %al ## ??
callq _printf
xorl %esi, %esi ## 把 esi 設為 0
movl %eax, -8(%rbp) ## 4-byte Spill ?? 不知何用？？
movl %esi, %eax ## 把 esi (0) 丟給 eax 傳回
addq $16, %rsp ## 堆疊指標上移 16 byte, 清掉 main 的框架
popq %rbp ## 回復上一層的框架暫存器
retq ## 返回
.cfi_endproc .section __TEXT,__cstring,cstring_literals
L_.str: ## @.str
.asciz "sum(10)=%d\n"
.subsections_via_symbols
其中 .cfi_startproc 這些指令是給『除錯器』看的，詳情請參考 DWARF Debugging Information Format
- http://dwarfstd.org/doc/DWARF4.pdf
- https://sourceware.org/binutils/docs-2.17/as/Pseudo-Ops.html#Pseudo-Ops
- https://sourceware.org/binutils/docs-2.17/as/CFI-directives.html#CFI-directives
如果您希望更進一步了解上述這些組合語言的意義，可以看我上課時的教學影片，總共有四部分如下：
透過這樣的解析，希望您對上述組合語言的原理會有進一步的理解！
這就是 C 語言和組合語言的對應關係！
