恩，首先说明本文仅针对gcc。其他编译器请无视本文。
有时候我们希望在C/C++代码中使用嵌入式汇编，因为C中没有对应的函数或语法可用。比如我最近在ARM上写FIR程序时，需要对最后的结果进行饱和处理，但gcc没有提供ssat这样的函数，于是不得不在C代码中嵌入汇编指令。
1. 入门
在C中嵌入汇编的最大问题是如何将C语言变量与指令操作数相关联。当然，gcc都帮我们想好了。下面是是一个简单例子。
asm(“fsinx %1, %0”:”=f”(result):”f”(angle));
这里我们不需要关注fsinx指令是干啥的；只需要知道这条指令需要两个浮点寄存器作为操作数。作为专职处理C语言的gcc编译器，它是没办法知道fsinx这条汇编指令需要什么样的操作数的，这就要求程序猿告知gcc，方法就是指令后面的”=f”和”f”，表示这是两个浮点寄存器操作数。这被称为操作数规则（constraint）。规则前面加上”=”表示这是一个输出操作数，否则是输入操作数。constraint后面括号内的是与该寄存器关联的变量。这样gcc就知道如何将这条嵌入式汇编语句转成实际的汇编指令了：
fsinx：汇编指令名
%1, %0：和汇编指令对应的操作数
“=f”(result)：操作数%0是一个浮点寄存器，与变量result关联（“关联”的意思就是说gcc执行完这条汇编指令后会把寄存器%0的内容送到变量result中）
“f”(angle)：操作数%1是一个浮点寄存器，与变量angle关联（“关联”的意思是就是说gcc执行这条汇编指令前会先将变量angle的值读取到寄存器%1中）
因此这条嵌入式汇编会转换为至少三条汇编指令（非优化）：
1> 将angle变量的值加载到寄存器%1
2> fsinx汇编指令，源寄存器%1，目标寄存器%0
3> 将寄存器%0的值存储到变量result
当然，在高优化级别下上面的叙述可能不适用；比如源操作数可能本来就已经在某个浮点寄存器中了。
这里我们也看到constraint前加”=”符号的意义：gcc需要知道这个操作数是在执行嵌入汇编前从变量加载到寄存器，还是在执行后从寄存器存储到变量中。
常用的constraints有以下几个（更多细节参见gcc手册）：
m 内存操作数
r 寄存器操作数
i 立即数操作数（整数）
f 浮点寄存器操作数
F 立即数操作数（浮点）
从这个栗子也可以看出嵌入式汇编的基本格式：
asm(“汇编指令”:”=输出操作数规则”(关联变量):”输入操作数规则”(关联变量));
输出操作数必须为左值；这个显然。
2. 多个输入/输出操作数，或没有输出操作数
如果某个指令有多个输入/输出操作数怎么办？例如arm有很多指令是三操作数指令。这个时候用逗号分隔多个规则：
asm(“add %0, %1, %2”:”=r”(sum):”r”(a), “r”(b));
每条操作数规则按顺序对应操作数%0, %1, %2。
对于没有输出操作数的情况，在汇编指令后就没有输出规则，于是就出现两个连续冒号，后跟输入规则。