組譯器

如果組合語言是可讀的文字，機器碼是處理器真正吃進的原始位元，那就得有東西把一邊翻成另一邊。這個翻譯器就是組譯器（assembler）。把它想成一位極度照字面辦事的書記：你遞給它一串用文字和數字寫成的指令清單，它就照順序為每一道蓋出精確的位元樣式，毫無創意、也不自作主張。

組譯器的工作大多是機械式的。每讀一行，它就查出運算碼（opcode，也就是 add、lw、beq 等的位元代碼），把暫存器編號與任何立即值塞進指令的各個欄位，再寫出對應的機器字組。它還維護一張符號表（symbol table）：看到像 loop: 這樣的標籤，就記下那個位置的位址，好讓之後分支到 loop 時能填入正確的數字。多數組譯器會掃過檔案兩遍：第一遍找出每個標籤落在哪，第二遍在所有位址都已知後再吐出位元組。

它的輸出通常還不是能直接執行的程式，而是目的檔（object file）：機器碼，加上一張表，記錄它定義了哪些符號、又還需要從別處取得哪些。之後再由連結器把多個目的檔縫合起來。組譯器比編譯器簡單得多，因為它幾乎不重排、不最佳化，忠實反映你寫的內容。正是這份忠實，讓人在需要把機器控制到位元層級時，選擇使用組合語言。