语法习惯
这里主要说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 // 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
操作地址
// 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数据类型
