語法習慣

這裡主要說AT&T風格的組合語言風格。因為gdb看反彙編預設的風格就是AT&T風格的，Intel風格的這裡就不做介紹。
- 立即數，$ 開頭
- 暫存器，% 開頭
- 取地址裡面的值，偏移量(%暫存器）// 除了 lea 取地址指令)外，lea就是取地址 load effecive address
- 整形操作通用字尾，字尾 [b w l q 1 2 4 8] byte word l… quadruple， 表示多少位元組
- 浮點指令還有三個 [s d t 4 8 16] single double extended (修飾精度: precision）
- S -> Scr, D -> Dst, I -> Immediate, R -> Register //表示源，目的運算元，立即數，暫存器

常用指令

資料傳送

mov S, D D <- S
movabs I, R D <- S
// I 表示 immediate date，立即數 常數
// S 表示 Src，立即數，記憶體，暫存器 都可以
// D 表示 Dst，立即數，記憶體，暫存器 都可以
// R 表示 Register，暫存器，如下面表示指令的目的運算元只能是暫存器
movslq S, R // move sign-extend double world (eg, int 轉 long 賦值）
movsbq S, R // move sign-extend byte
movzbq S, R

棧幀指令

// 單運算元指令
// 這裡可以這裡理解 S D, Src 讀操作，Dst 寫操作
push S 常用來存 frame pointer 呼叫棧的一層函式棧幀

push S, 完成這些操作
%rsp = %rsp - 8, 壓棧導致執行緒執行呼叫棧增長，棧向低地址增長，x64一個地址 8 個 Byte
%rsp = S, S 放到 %rsp 指向的棧頂地址

pop D

pop D, 完成這些操作
D = %rsp, 當前存在%rsp指向的 stack pointer地址中的值賦給 D
%rsp = %rsp + 8

, 弾棧導致執行緒執行呼叫棧減小，棧向高地址回縮

leave
ret

操作地址

// x64 彙編，一個地址 8 位元組， 所以後綴為 q （quad word） quadruple
// word 由於歷史遺留表示 2 個 Byte，字尾 w
leaq S, D (src, dest) D <- &S

單目運算

incq D D <- D + 1 // 比如指標加加
decq D D <- D - 1
negq D D <- -D
notq D D <- ~D

雙目運算

addq S, D D = D + S
subq S, D D = D - S
imulq S, D D = D * S
xorq S, D D = D ^ S
orq S, D D = D | S
andq S, D D = D & S

移位指令

salq k, D D = D << k (left shift)
shlq k, D D = D << k (== salq)
sarq k, D D = D >> k (right shift)
shrq k, D D = D >> k (logical right shift)

控制指令

// 下面是判斷指令，配合置標誌位和條件跳轉實現流程控制
cmpq S2, S1 S1 - S2
testq S2, S1 S1 & S2 // 常用於測試運算元中某位是否為1，而且不會影響目的運算元

置標誌位

CF：進位標誌暫存器，它記錄無符號操作的溢位，當溢位時會被設為1。
ZF：零標誌暫存器，當計算結果為0時將會被設為1。
SF：符號標誌暫存器，當計算結果為負數時會被設為1。
OF：溢位標誌暫存器，當計算結果導致了補碼溢位時，會被設為1。

條件賦值

// 雙目指令 D S，配合上面滿足條件的 D 賦值給 S , 對應條件運算子
cmove equal
cmovne
cmovs Negative
cmovns
cmovg greater (signed)
cmovge
cmovl less
cmovle
// g greater 這麼判斷 ~(SF^OF)&~ZF（有符號的大於）
// 還是判斷 a - b 值，^ xor 異或 => 同0異1
// l less 有符號小於，判斷 SF^OF，less 判斷 負溢位為正
// 舉例 less 負溢位舉例

(lldb) p/d (int)-2147483648
(int) $6 = -2147483648
(lldb) p/d (int)-2147483648 - 2
(int) $7 = 2147483646

// 舉例 below, CF是無符號溢位標誌, a - b 結果溢位了，則代表 a 是小於 b
cmova (above) (a : unsigned)
cmovae
cmovb (below)
cmovbe

條件跳轉

jmp Label
jmp *Operand
je == 0
jne
js Negative
jns
jg greter (signed)
jge
jl less
jle
ja above (unsigned)
jae
jb below
jbe

浮點操作

Floating instruction
具體看asm64-handout.pdf的介紹。

暫存器

c資料型別

參考文獻