x64 ASM 常用汇编指令

语法习惯

这里主要说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 //表示源，目的操作数，立即数，寄存器
  一个直观说明: https://pdos.csail.mit.edu/6.828/2018/lec/l-x86.pdf
  

常用指令

数据传送

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 // move zero-extend byte

栈帧指令

// 单操作数指令
// 这里可以这里理解 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

一个直观说明https://pdos.csail.mit.edu/6.828/2018/lec/l-x86.pdf

操作地址

// 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数据类型

参考文献

asm64-handout.pdf
CSAPP
CSAPP read note