在閱讀Linux內核源碼或對代碼做性能優化時，經常會有在C語言中嵌入一段匯編代碼的需求，這種嵌入匯編在CS術語上叫做inline assembly。本文的筆記試圖說明Inline Assembly的基本語法規則和用法（建議英文閱讀能力較強的同學直接閱讀本文參考資料中推薦的技術文章 ^_^）。
注意：由於gcc采用AT&T風格的匯編語法（與Intel Syntax相對應，二者的區別參見這裡），因此，本文涉及到的匯編代碼均以AT&T Syntax為准。
1. 基本語法規則
內聯匯編（或稱嵌入匯編）的基本語法模板比較簡單，如下所示（為使結構更清晰，這裡特意做了換行，其實完全可以全部寫到單行中）：
asm [ volatile ] (
assembler template
[ : output operands ] /* optional */
[ : input operands ] /* optional */
[ : list of clobbered registers ] /* optional */
);
備注：本文遵從linux系統的統一風格，以[ ]來表示其對應的內容為可選項。
由代碼模板可以看到，基本語法規則由5部分組成，下面分別進行說明。
1）關鍵字asm和volatile
asm為gcc關鍵字，表示接下來要嵌入匯編代碼。為避免keyword asm與程序中其它部分產生命名沖突，gcc還支持__asm__關鍵字，與asm的作用等價。
volatile為可選關鍵字，表示不需要gcc對下面的匯編代碼做任何優化。同樣出於避免命名沖突的原因，__volatile__也是gcc支持的與volatile等效的關鍵字。
BTW: C語言中也經常用到volatile關鍵字來修飾變量（不熟悉的同學，請參考這裡）
2）assembler template
這部分即我們要嵌入的匯編命令，由於我們是在C語言中內聯匯編代碼，故需用雙引號""將命令括起來，以便gcc以字符串形式將這些命令傳給匯編器AS。例如可以寫成這樣："movl %eax, %ebx"
有時候，匯編命令可能有多個，則通常分多行寫，每行的命令都用雙引號括起來，命令後緊跟"\n\t"之類的分隔符（當然，也可以只用1對雙引號將多行命令括起來，從語法來說，兩種寫法均有效，我們可自行決定用哪種格式來寫）。示例代碼如下所示：
__asm__ __volatile__ ( "movl %eax, %ebx\n\t"
"movl %ecx, 2(%edx, %ebx, $8)\n\t"
"movb %ah, (%ebx)"
);
還有時候，根據程序上下文，嵌入的匯編代碼中可能會出現一些類似於魔數（Magic Number ）的操作數，比如下面的代碼：
int a=10, b;
asm ("movl %1, %%eax; /* NOTICE: 下面會說明此處用%%eax引用寄存器eax的原因
movl %%eax, %0;"
:"=r"(b) /* output 該字段的語法後面會詳細說明，此處可無視，下同 */
:"r"(a) /* input */
:"%eax" /* clobbered register */
);
我們看到，movl指令的操作數（operand）中，出現了%1、%0，這往往讓新手摸不著頭腦。其實只要知道下面的規則就不會產生疑惑了：
在內聯匯編中，操作數通常用數字來引用，具體的編號規則為：若命令共涉及n個操作數，則第1個輸出操作數（the first output operand）被編號為0，第2個output operand編號為1，依次類推，最後1個輸入操作數（the last input operand）則被編號為n-1。
具體到上面的示例代碼中，根據上下文，涉及到2個操作數變量a、b，這段匯編代碼的作用是將a的值賦給b，可見，a是input operand，而b是output operand，那麼根據操作數的引用規則，不難推出，a應該用%1來引用，b應該用%0來引用。
還需要說明的是：當命令中同時出現寄存器和以%num來引用的操作數時，會以%%reg來引用寄存器（如上例中的%%eax），以便幫助gcc來區分寄存器和由C語言提供的操作數。
3）output operands
該字段為可選項，用以指明輸出操作數，典型的格式為：
: "=a" (out_var)
其中，"=a"指定output operand的應遵守的約束（constraint），out_var為存放指令結果的變量，通常是個C語言變量。本例中，“=”是output operand字段特有的約束，表示該操作數是只寫的（write-only）；“a”表示先將命令執行結果輸出至%eax，然後再由寄存器%eax更新位於內存中的out_var。關於常用的約束規則，本文後面會給出說明。
若輸出有多個，則典型格式示例如下：
asm ( "cpuid"
: "=a" (out_var1), "=b" (out_var2), "=c" (out_var3)
: "a" (op)
);
可見，我們可以為每個output operand指定其約束。
4）input operands
該字段為可選項，用以指明輸入操作數，其典型格式為：
: "constraints" (in_var)
其中，constraints可以是gcc支持的各種約束方式，in_var通常為C語言提供的輸入變量。
與output operands類似，當有多個input時，典型格式為：
: "constraints1" (in_var1), "constraints2" (in_var2), "constraints3" (in_var3), ...
當然，input operands + output operands的總數通常是有限制的，考慮到每種指令集體系結構對其涉及到的指令支持的最多操作數通常也有限制，此處的操作數限制也不難理解。此處具體的上限為max(10, max_in_instruction)，其中max_in_instruction為ISA中擁有最多操作數的那條指令包含的操作數數目。
需要明確的是，在指明input operands的情況下，即使指令不會產生output operands，其:也需要給出。例如asm ("sidt %0\n" : :"m"(loc)); 該指令即使沒有具體的output operands也要將:寫全，因為有後面跟著: input operands字段。
5）list of clobbered registers
該字段為可選項，用於列出指令中涉及到的且沒出現在output operands字段及input operands字段的那些寄存器。若寄存器被列入clobber-list，則等於是告訴gcc，這些寄存器可能會被內聯匯編命令改寫。因此，執行內聯匯編的過程中，這些寄存器就不會被gcc分配給其它進程或命令使用。
