參考： 清華大學《組合語言程式設計》課程， 主講教師：張悠慧

彙編程式設計師中的CPU包括：

指令暫存器，即PC， 它儲存了下一條指令的地址， 使用EIP(x86-32)或RIP(x86-64)訪問。

暫存器堆：各種暫存器；

條件碼： 用於儲存最近執行的指令的結果狀態資訊， 也用於條件跳轉指令的判斷；

以AT&T彙編格式（即linux系統下）程式碼的格式；

（在組合語言中沒有資料型別，一般採用彙編指令的字尾進行區分）

在組合語言中， 暫存器名字前加 %, 立即數前加 $,

定址方式與資料傳輸指令

定址方式：

間接定址： (R),  在暫存器R中指定記憶體的地址， 如： mov1 (%ecx),  %eax

基址+偏移量 定址：D（R)， 在暫存器R中指定基址，常數D給出偏移量， 如：mov 8(%ebp), %edx

通用形式： D（Rb, Ri, S)， 尋找記憶體地址為 Rb + S * Ri + D處的資料。

其中，D表示地址偏移常量； Rb表示基址暫存器，它為8個通用暫存器之一； Ri 表示索引暫存器（%esp與ebp通常不作為索引暫存器, %esp常作棧頂暫存器）；S表示比例因子， 為1, 2, 4, 8;

資料傳輸指令

資料傳送指令（mov):

movl source, dest

將一個“雙字”從source 移到 dest. 允許的運算元的型別包括：立即數、暫存器和儲存器，如下圖所示（ 兩個運算元不能同時是記憶體地址，因為x86中一條指令不能同時訪問再次記憶體）

mov 常用的指令格式：

：

地址計算指令（lea):

leal src, dest

功能：用於計算表示式src的地址放到暫存器dest中。 其中，src表示地址的計算表示式， dest表示目的暫存器（注意：dest 不能為記憶體地址，只能是在暫存器）

補充： 由於lea 命令可以把一個合適的表示式只用一條指令表示出來，所以可以使用lea進行這一型別的整數計算，而不僅僅進行地址的計算。

雙運算元指令：

addl src, dest        dest = dest + src            #求和
subl src, dest        dest = dest - src            #減法
imull src, dest        dest 
 
= dest * src            #乖法
sall src, dest        dest = dest << src            #邏輯左移
shll src, dest        dest = dest << src            #算術左移
sarl src, dest        dest = dest >> src            #邏輯右移
shrl src, dest        dest = dest >> src            #算術右移
xorl src, dest        dest = dest ^ src            #按位異或
andl src, dest        dest = dest & src            #按位與
orl src, dest           dest = dest | src            #按位或

單運算元指令：

x86-64下的通用暫存器

1. %eax, %edx, %ecx, %ebx, %esi, %edi, %dsp, %ebp 是 x86-32下的8個通用暫存器。 x

2. 86-64共有了16個通用暫存器。

3. %ebp/%rbp不再是專用暫存器。

4. %esp, 當前執行棧的棧頂地址，%ebp, 當前執行棧的“幀”地址。

5. 在x86-64下， 引數的通常使用暫存器進行傳遞。  具體為：當函式的引數少於7個時， 引數從左到右放入暫存器 rdi, rsi, rdx, rcx, r8, r9中。 當引數大於等於7個時， 後面的引數依次按從右向左順序放入到棧中。

控制流

條件碼

條件碼由算術指令隱含設定

CF進位標誌： 可以用於檢測無符號整數運算的溢位；

ZF:零標誌位，當運算結果為零時， ZF=1， 非零時為ZF=0;

SF符號位，當運算結果為負時，SF=1， 為正時SF= 0；

OF溢位標誌， 當補碼運算溢位時（即當兩個正整數相加小於零或兩個負數相加大於零時或正減負小於零或負減正大於零，就是溢位）， OF=1。

比較指令

cmpl src2, src1
cmpq src2, src1

注意一個順序，如果我們比較a 與 b 的大小，則應該寫為  cmpl b, a；     這樣才能寫後面的setx 及jx相對應。

cmpl b, a         比較的目的是：根據   a-b的結果 去改變條件碼的；

cmpl 指令常常與 setx 指令以及 jx 指令一起使用。

測試指令

testl src2, src1
testq src2, src1

測試的目的是： 根據 src1 & src2 的結果去修改條件碼。

setx指令

讀取當前的條件碼（或者某些條件碼的組合），並存入目的“位元組”暫存器。（這裡強調位元組，意思就是結果為8個bit）

也可以說，如果滿足描述的條件，即setx就會置1， 否則置0。

說明：1. 上圖中的 description 是什麼意思呢？？它表示的意思就是 condition 中公式表達出來的意思,可以根據 condition裡的公式推出來description的。

當我們比較 x 與 y 的大小時，用偽指令 cmpl y, x 表示以後， 我們就可以使用指令setx 來檢視比較的結果，如 指令 setg 返回 x>y 的結果.

例子： x86-32下的C語言：

x86-64下的C語言：

jx 指令

依賴當前的條件碼，選擇下一條需要執行的語句。 如果滿足條件，就跳轉，否則就順序執行。

例子：

 

備註： 跳轉指令的效率不高（因為流水線設計），經常使用條件傳送指令 cmovX 取代。  cmov 是從 i686開始的，不相容i386. 當使用gcc 編譯時，可以通過-march=i686選擇編譯帶cmovX的彙編程式碼。比如下面的例子：

g