組合語言學習指南（三）：流程控制、呼叫慣例與字串指令詳解

前言：面向機器碼與反組譯的指令深度剖析

組合器（MASM、TASM）提供高級特性，但真正的組合語言優勢在於精確控制硬體。本文聚焦機器指令層面，解析 JMP、CALL、INT、LDS/LES 及字串操作指令，為閱讀反組譯碼打下堅實基礎。

無條件跳轉：JMP 的三種形態

• 短跳轉：目標位址與目前位址差距 ≤ 128 位元組
• 近跳轉：同一代碼段內（CS 不變，僅修改 EIP）
• 遠跳轉：跨代碼段（CS:EIP 皆變），32 位元保護模式下極少見

組合器自動依距離選擇編碼。支援直接/間接定址：

jmp 8E347D60          ; 直接段內跳轉
jmp ebx               ; 暫存器間接，僅段內
jmp dword ptr [ebx]   ; 記憶體間接段內跳轉
jmp fword ptr [00903DF0] ; 記憶體間接段間跳轉 (48 位完整位址)

DWORD PTR 取 32 位偏移，FWORD PTR 取 48 位完整位址（選擇子:偏移）。

條件跳轉：Jcc

僅支援段內直接定址，依旗標（ZF、CF、SF、OF 等）決定是否跳轉。

子程式呼叫：CALL 與 RET

CALL 跳轉前將下一指令位址壓入堆疊。段內呼叫壓 32 位偏移，段間呼叫壓 48 位完整位址。對應返回指令：

• RETN：段內返回，彈出 32 位
• RETF：段間返回，彈出 48 位

RETN n/RETF n 可攜帶立即數，返回後自動調整 ESP 清除參數（以字為單位，ESP += n*2）。

關鍵洞察：CALL/RET 設計為配對使用，但無硬性綁定。可手動 PUSH 位址後 RET 實現非常規流程轉移，常用於反除錯。

中斷指令：INT n 與 IRET

保護模式下 INT n 必被作業系統攔截。執行流程：

1. 壓入 EFLAGS
2. 壓入下一指令完整位址 (CS:EIP)
3. 查中斷描述符表 (IDT) 轉入中斷服務程式 (ISR)

ISR 通常涉及特權級轉換、堆疊切換。IRET 執行逆向操作：彈出 CS:EIP、彈出 EFLAGS（可能已被 ISR 修改，如 CF 表示成功與否）。同樣，IRET 可獨立用於任務切換。

載入完整指標：LDS/LES/LFS/LGS/LSS

從記憶體讀取 48 位完整指標（偏移在前，選擇子在後），將選擇子載入段暫存器，偏移載入指定通用暫存器。例如 LDS ESI, [addr] 將 DS 載入選擇子，ESI 載入偏移，後續可用 DS:[ESI] 存取資料。

字串操作指令家族

硬體規定隱含運算元：

• 來源：DS:[ESI]
• 目的：ES:[EDI]
• 暫存：AL/AX/EAX

使用前必須正確設定 ESI、EDI、段暫存器。每指令有三種寬度：B(位元組)、W(字)、D(雙字)。

執行後 ESI/EDI 自動增減（依方向旗標 DF），寬度分別為 1/2/4。

重複前綴 REP 與 LOOP 迴圈

硬體規定 ECX 為計數器。

• REP MOVSD：ECX 次移動雙字，每次 ECX-- 直到為 0
• LOOP label：ECX--，非零則跳轉

條件變體：REPZ/REPNZ、LOOPZ/LOOPNZ 額外檢查 ZF。

; 複製 200 個雙字
lds esi, src_ptr
les edi, dst_ptr
mov ecx, 200
rep movsd

; 處理 100 個字
lds esi, src_ptr
mov ecx, 100
loop1:
  lodsw
  ; 處理 AX
  loop loop1

總結

掌握流程控制指令的定址模式、呼叫/返回的堆疊行為、中斷機制與字串指令的隱含運算元，是讀懂反組譯碼、編寫高效組合程式的關鍵。這些指令直映射 CPU 微架構，理解其運作細節，方能駕輕就熟。

1. 上一篇文章： 組合語言學習指南（四）：高級語言編譯後的組合碼解析
2. 下一篇文章： 組合語言學習指南（二）：32 位保護模式記憶體定址完整指南

組合語言

簡明 x86 組合語言教程 (7)：編譯器優化深度解析與手工優化策略

前言：優化的藝術與科學 優化是程式設計師永恆的追求——渴望程

保護模式控制轉移進階：任務切換、調用門與特權級變換實戰

本文為組合語言保護模式教程系列第三部分，聚焦任務切換、調用門

x86 保護模式核心架構：控制暫存器 (CR0-CR3) 與系統位址暫存器 (GDTR/IDTR/LDTR/TR) 完整解析

前言 80386 引入的保護模式架構，核心在於四組 32 位

從組合語言視角理解程式語言本質

作者分享從大學接觸組合語言、求職選擇 VC++、轉戰 C#