編譯原理入門（二）：GCC 編譯流程全景圖解

前言

GCC（GNU Compiler Collection）是現代最主流的編譯器基礎設施。理解其編譯流程不僅有助於優化建構腳本、診斷編譯錯誤，更是深入掌握編譯原理工程實踐的關鍵。本文以圖解方式拆解 GCC 從原始碼到可執行檔的完整管線。

整體編譯管線

一條典型指令 gcc main.c -o main 背後經歷 9 個主要階段：

1. 預處理：cpp 處理 #include、#define、條件編譯，輸出 .i 檔。
2. 詞法分析：掃描器將字元流切分為 Token 序列。
3. 語法分析：解析器依文法產生式建構抽象語法樹（AST）。
4. 語義分析：型別檢查、符號表建立、常數摺疊等，產生帶屬性 AST。
5. 中間代碼生成：轉換為 GCC 通用中間表示——**GIMPLE**（三地址碼形式）。
6. 機器無關優化：在 GIMPLE 層進行內聯、常數傳播、死碼消除、迴圈優化等。
7. 目標機器相關優化：降級為 **RTL**（Register Transfer Language），進行指令選擇、寄存器分配、指令排程、窺孔優化。
8. 組合代碼生成：輸出目標平台組合語言 .s。
9. 組譯：as 將組合語言轉為機器碼目標檔 .o。
10. 連結：ld 合併多個 .o 及庫檔，解析符號，生成最終可執行檔。
11. 載入執行：載入器將可執行檔映射至記憶體，啟動進程。

GCC 內部架構關鍵術語

前端處理流程詳細圖解

以簡單 C 敘述 a = b + c; 為例：

1. 詞法分析：IDENT(a) OP(=) IDENT(b) OP(+) IDENT(c) SEMI(;)
2. 語法分析：建構 AST

         =
        / \
       a   +
          / \
         b   c
   

3. 語義分析：查符號表確認 a,b,c 型別，標記 AST 節點型別屬性。
4. GIMPLE 生成：t1 = b + c; a = t1;（引入臨時變數，單賦值形式）。

優化階段深度剖析

GIMPLE 階段（機器無關）

• 樹形 SSA 建構：將 GIMPLE 轉為 SSA 形式，插入 φ 函數。
• 標量優化：常數傳播、複製傳播、死碼消除（DCE）、強度削弱。
• 迴圈優化：不變量外提、歸納變數簡化、迴路展開、向量化。
• 函數內聯：啟發式決策展開小函數，消除呼叫開銷。
• 跨过程優化 (IPA/LTO)：Link Time Optimization 打破編譯單元邊界。

RTL 階段（機器相關）

• 指令選擇：將 GIMPLE 映射為目標指令模式（用 .md 機器描述檔定義）。
• 寄存器分配：圖著色演算法分配硬體寄存器，溢位至堆疊。
• 指令排程：流水線友好重排，隱藏延遲槽。
• 窺孔優化：局部指令序列替換（如 mul 2 → shl 1）。

常用 GCC 參數對應階段

總結

GCC 編譯流程是「前端統一 → 中間表示多層降級 → 後端機器適配」的教科書級架構。掌握 GIMPLE/SSA/RTL 三大中間表示的角色與轉換鏈路，能讓開發者從「參數調優」進階到「原理優化」，甚至開發自定義編譯器通道或靜態分析工具。