C語言內嵌匯編完全指南：GCC/MSVC/Keil/ICC 語法差異、約束條件、實戰模板與避坑錦囊

核心機制：編譯器內建支援 vs 獨立組譯器

內嵌匯編讓 C 函數中直接編寫機器指令，編譯器負責寄存器分配、指令調度、棧幀管理、調用約定遵守、輸入輸出操作數綁定，比調用獨立 `.s` 文件更緊密、開銷更低。

主流編譯器語法對比表

GCC/Clang 擴展內嵌匯編詳解 (業界標準)

基本語法

asm [volatile] [goto] (
    "assembly template string"  // 指令模板，%0 %1 對應操作數
    : output_operands           // 輸出操作數列表 (可選)
    : input_operands            // 輸入操作數列表 (可選)
    : clobber_list              // 破壞列表 (寄存器/記憶體/cc) (可選)
    : goto_labels               // goto 標籤列表 (可選，goto 形式)
);

關鍵約束字母速查

實戰範例：原子增量 (GCC/Clang x86-64 / ARM64 通用 C11 `` 優先)

/* x86-64: 使用 LOCK XADD 實現原子獲取並加 */
static inline int atomic_fetch_add_int(volatile int *ptr, int val) {
    int old;
    __asm__ volatile (
        "lock; xaddl %0, %1"
        : "=r" (old), "+m" (*ptr)
        : "0" (val)
        : "memory", "cc"
    );
    return old;
}

/* ARM64: 使用 LDADD (ARMv8.1-A) 或舊版 LDAXR/STLXR 循環 */
static inline int atomic_fetch_add_int_arm(volatile int *ptr, int val) {
    int old, tmp;
    __asm__ volatile (
        "1: ldaxr %w0, [%2]\n"
        "   add %w1, %w0, %w3\n"
        "   stlxr %w1, %w1, [%2]\n"
        "   cbnz %w1, 1b"
        : "=&r" (old), "=&r" (tmp)
        : "r" (ptr), "r" (val)
        : "memory", "cc"
    );
    return old;
}

實戰範例：CPU 暫停/屏障指令 (跨平台常用)

/* 編譯器屏障：防止編譯器重排 */
#define compiler_barrier() __asm__ volatile ("" ::: "memory")

/* x86: PAUSE (自旋等待提示) / MFENCE (全屏障) */
static inline void cpu_pause_x86(void) { __asm__ volatile ("pause" ::: "memory"); }
static inline void mfence_x86(void) { __asm__ volatile ("mfence" ::: "memory"); }

/* ARM64: YIELD (WFE 提示) / DMB ISH (數據屏障) / DSB ISH (全屏障) / ISB (指令屏障) */
static inline void cpu_yield_arm(void) { __asm__ volatile ("yield" ::: "memory"); }
static inline void dmb_ish_arm(void) { __asm__ volatile ("dmb ish" ::: "memory"); }
static inline void dsb_ish_arm(void) { __asm__ volatile ("dsb ish" ::: "memory"); }
static inline void isb_arm(void) { __asm__ volatile ("isb" ::: "memory"); }

/* 統一跨平台宏 (配合編譯器內建函數更佳) */
#if defined(__x86_64__) || defined(_M_X64)
    #define CPU_PAUSE() cpu_pause_x86()
    #define MEMORY_BARRIER() mfence_x86()
#elif defined(__aarch64__)
    #define CPU_PAUSE() cpu_yield_arm()
    #define MEMORY_BARRIER() dmb_ish_arm()
#else
    #define CPU_PAUSE() compiler_barrier()
    #define MEMORY_BARRIER() compiler_barrier()
#endif

MSVC 內嵌匯編 (僅 32 位 x86)

/* MSVC 32 位內嵌匯編範例 */
int add_asm(int a, int b) {
    int result;
    __asm {
        mov eax, a
        add eax, b
        mov result, eax
    }
    return result;
}

/* 關鍵限制：
   - 不支援 x64 / ARM64 內嵌匯編
   - 無約束機制，寄存器分配不可控
   - 無法直接操作 SIMD (SSE/AVX) 寄存器 (需 .asm)
   - 建議：x64 專案用獨立 .asm 文件 (MASM/ML64) + 導出函數供 C 調用
*/

Keil MDK (ARMCC/ARMCLANG) 內嵌匯編

/* ARMCLANG (Clang 基礎) 支援 GCC 風格擴展約束 */
__asm__ volatile ("ldrex r0, [%0]\n"
                  "add r0, r0, #1\n"
                  "strex r1, r0, [%0]\n"
                  "cmp r1, #0\n"
                  "bne -4"
                  : : "r" (addr) : "r0", "r1", "cc", "memory");

/* 舊版 ARMCC (ARM Compiler 5) 專有語法 */
__asm void atomic_inc(int *addr) {
    ldrex r0, [r0]
    add r0, r0, #1
    strex r1, r0, [r0]
    cmp r1, #0
    bne atomic_inc
    bx lr
}

/* 啟動文件通常用獨立 .s 文件 (armasm 語法) */

避坑錦囊：內嵌匯編十大陷阱

最佳實踐總結

1. 能不用就不用：現代編譯器自動向量化/內建函數/標準原子操作/內聯函數覆蓋 99% 需求。
2. 必須用時：啟動代碼/上下文切換/原子操作舊架構/特權指令/SIMD 手寫/屏障指令/硬體協處理器/逆向/安全研究。
3. 首選 GCC/Clang 擴展語法：約束機制完善、跨架構 (x86/ARM/RISC-V) 統一、Linux 核心/嵌入式/開源生態標準。
4. MSVC x64/ARM64 必須用獨立 `.asm`：MASM/ML64/ARMASM，導出函數供 C 調用。
5. 嵌入式 Keil/IAR：按工具鏈文檔用專有語法或 GCC 風格 (ARMCLANG)，啟動/中斷/上下文切換常用獨立 `.s`。
6. 測試驗證：單元測試 + ASan/TSan + 邊界測試 + 壓測 + 異常注入。
7. 文檔註釋：每個內嵌塊必註明：架構、指令用途、約束選擇理由、clobber 理由、對應 C 內建函數替代方案。

內嵌匯編是「核武器」，威力巨大但輻射強烈。**99% 的 C 程式設計師一輩子不需要寫它**。只有在觸及硬體極限、編譯器無能為力、標準庫無覆蓋的罕見時刻，才應謹慎啟用，並遵循上述鐵律。