1、第 3 章、組合語言3.1 基本範例3.2 陣列存取3.3 副程式呼叫3.4 進階語法3.5 實務案例:IA32 的組合語言CPU0 的組合語言前置表示法CPU0 的組合語言一律採用目標在前的撰寫方式。範例ADD R1,R2,R3 相當於 R1=R2+R33.1 基本範例資料移動基本數學運算模擬條件判斷模擬迴圈一個完整範例-從 1 加到 10資料移動C 語言組合語言以組合語言移動記憶體資料基本數學運算模擬條件判斷模擬迴圈一個完整範例-從 1 加到 103.2 陣列存取字串複製(指標版)字串複製(索引版)整數陣列的複製字串複製(指標版)字串複製(索引版)整數陣列的複製3.3 副程式呼叫單層次的副
2、程式呼叫參數的傳遞方法 使用暫存器多層次的副程式呼叫參數的傳遞方法 使用堆疊單層次的副程式呼叫參數的傳遞方法 使用暫存器指令 CALL 0 x30 的執行過程(1)PC=PC+4;在指令擷取之後 PC 從 28 變為 32。(2)LR=PC;將 PC 存入到連結暫存器 LR 中。(3)PC=PC+30記憶體=CALL 0 x302B 00 00 30ALU(加法運算)暫存器IR=2B 00 00 30(CALL 0 x30)PC=00 00 00 2C00 00 00 5C(3)LR=00 00 00 2C(2)(1)0028002C005C圖 3.1 指令CALL 0 x30 的執行過程指令
3、 RET 的執行過程記憶體0028CALL 0 x302B 00 00 30PC=0070ALU(加法器)暫存器IR=2C 00 00 00(RET)PC=00 00 00 70LR=00 00 00 2C 將 LR 放回 PC2C 00 00 00PC=002CRET圖 3.2 指令RET 的執行過程多層次的副程式呼叫參數的傳遞方法 使用堆疊避免上下層函數用到同一個暫存器,所產生的覆蓋現象。將 LR 儲存到堆疊中,以免在下一層 CALL 返回位址被覆蓋掉。f1:POP R2 取得堆疊中的參數 PUSH LR 保存 LRST R2,tLD R3,ptPUSH R3CALL f2ST R1,bA
4、DD R1,R1,R1POP LR 恢復 LRRET 返回t:RESW 1b:RESW 1pt:WORD tint f1(int t)int b=f2(&t);return b+b;範例 3.12 的片段3.4 進階語法定址範圍的問題初始值Literal:值接將常數嵌入到指令中假指令LTORG:以 LTORG 提早展開 LiteralEQU:符號定義ORG:重設位址運算式分段定址範圍的問題避免將巨大陣列放在中間,應該放在最後面,或者用指標的方式解決巨大陣列的問題。初始值範例 3.14 中的 EOF,oDev 等變數都具有初始值。Literal 直接將常數嵌入到指令中 以 LTORG 提早展開
5、Literal 的範例EQU 假指令EQU 是(Equal)等於的意思我們可以使用 EQU 定義常數,如範例 3.17 所示使用 EQU 模擬 struct 結構在範例 3.18 (a)中,我們將 name 定義為 person 的位址age 定義為 person 的位址+20因而模擬了類似 3.18(b)當中的功能。錢字號($)錢字號($)$在組合語言中通常代表目前位址(有些組譯器用星號*)使用 EQU 模擬 struct 結構ORG 假指令ORG 的功能是用來重新設定組譯器的目前位址運算式分段假指令一個組合語言程式通常可分為程式段(.text)資料段(.data)有時會將未設初值的資料放入
6、 BSS 段(.bss)中。3.5 實務案例:IA32 的組合語言IA32 是目前 IBM PC 上最常用的處理器IBM PC 的組合語言相當複雜,尤其是輸出入部分使用 BIOS 中斷進行輸出入使用 DOS 中斷呼叫進行輸出入使用 Windows 系統呼叫進行輸出入為了避開輸出入的問題,在本節中,我們將採用C 與組合語言連結的方式IA32 的組譯器在 IA32 處理器上,目前常見的組譯器有微軟的 MASM(採用 Intel 語法)GNU 的 as 或 gcc(採用 AT&T 語法)開放原始碼的 NASM(採用 Intel 語法)在本節中,我們將使用 GNU 的 gcc 為開發工具您可以選用 D
7、ev C+中的 gcc (Dev C+為本書的主要示範平台)Cygwin 中的 gccLinux 平台中的 gccIntel 語法 v.s.AT&T 語法C 與組合語言的完整連結範例(一)範例 3.25 的執行結果C 與組合語言的完整連結範例(二)範例 3.27 的執行結果習題1.請寫出一個 CPU0 的組合語言程式,可以計算 a=b*3+c-d 的算式。2.請寫出一個 CPU0 的組合語言副程式 swap,可以將暫存器 R1 與 R2 的內容交換。3.請寫出一個 CPU0 的組合語言副程式 isPrime,可以判斷暫存器 R2當中的值是否為質數,如果是就將 R1 設為 1 傳回,否則就將 R
8、1 設為 0。4.請寫出一個 CPU0 的組合語言程式,可以計算出 2*2+4*4+100*100 的結果,並將結果儲存在變數 sum 當中。5.請以圖解的方式,說明在IA32處理器的 eax 暫存器中,為何會有 eax,ax,ah,al 等不同名稱,這些名稱代表的是哪個部分?6.請寫出一個 IA32 的組合語言副程式 swap,可以將暫存器 R1 與 R2 的內容交換。7.請寫出一個 IA32 的組合語言副程式 isPrime,可以判斷暫存器 R2當中的值是否為質數,如果是就將 R1 設為 1 傳回,否則就將 R1 設為 0。8.請撰寫一個 IA32 的組合語言程式,可以計算 2*2+4*4+100*100 的結果後傳回,然後仿照3.5.1節的作法,使用 GNU 的 gcc 編譯連結該程式,並且執行看看結果是否正確。