AT&T（GAS）汇编指令小集

GAS中每个操作都是有一个字符的后缀，表明操作数的大小。

C声明
</td>

GAS后缀
</td>

大小(字节)
</td>
</tr>

char
</td>

b
</td>

1
</td>
</tr>

short
</td>

w
</td>

2
</td>
</tr>

(unsigned) int / long / char*
</td>

l
</td>

4
</td>
</tr>

float
</td>

s
</td>

4
</td>
</tr>

double
</td>

l
</td>

8
</td>
</tr>

long double
</td>

t
</td>

10/12
</td>
</tr>
</tbody>
</table>
注意：GAS使用后缀“l”同时表示4字节整数和8字节双精度浮点数，这不会产生歧义因为浮点数使用的是完全不同的指令和寄存器。

操作数格式：

格式
</td>

操作数值
</td>

名称
</td>

样例（GAS = C语言）
</td>
</tr>

$Imm
</td>

Imm
</td>

立即数寻址
</td>

$1 = 1
</td>
</tr>

Ea
</td>

R[Ea]
</td>

寄存器寻址
</td>

%eax = eax
</td>
</tr>

Imm
</td>

M[Imm]
</td>

绝对寻址
</td>

0x104 = *0x104
</td>
</tr>

（Ea）
</td>

M[R[Ea]]
</td>

间接寻址
</td>

（%eax）= *eax
</td>
</tr>

Imm(Ea)
</td>

M[Imm+R[Ea]]
</td>

(基址+偏移量)寻址
</td>

4(%eax) = *(4+eax)
</td>
</tr>

（Ea,Eb）
</td>

M[R[Ea]+R[Eb]]
</td>

变址
</td>

(%eax,%ebx) = *(eax+ebx)
</td>
</tr>

Imm（Ea,Eb）
</td>

M[Imm+R[Ea]+R[Eb]]
</td>

寻址
</td>

9(%eax,%ebx)= *(9+eax+ebx)
</td>
</tr>

(,Ea,s)
</td>

M[R[Ea]*s]
</td>

伸缩化变址寻址
</td>

(,%eax,4)= *(eax*4)
</td>
</tr>

Imm(,Ea,s)
</td>

M[Imm+R[Ea]*s]
</td>

伸缩化变址寻址
</td>

0xfc(,%eax,4)= *(0xfc+eax*4)
</td>
</tr>

(Ea,Eb,s)
</td>

M(R[Ea]+R[Eb]*s)
</td>

伸缩化变址寻址
</td>

(%eax,%ebx,4) = *(eax+ebx*4)
</td>
</tr>

Imm(Ea,Eb,s)
</td>

M(Imm+R[Ea]+R[Eb]*s)
</td>

伸缩化变址寻址
</td>

8(%eax,%ebx,4) = *(8+eax+ebx*4)
</td>
</tr>
</tbody>
</table>
注：M[xx]表示在存储器中xx地址的值，R[xx]表示寄存器xx的值，这种表示方法将寄存器、内存都看出一个大数组的形式。

数据传送指令：

指令</td>

效果</td>

描述</td>
</tr>

movl S,D</td>

D <-- S</td>

传双字</td>
</tr>

movw S,D</td>

D <-- S</td>

传字</td>
</tr>

movb S,D</td>

D <-- S</td>

传字节</td>
</tr>

movsbl S,D</td>

D <-- 符号扩展S</td>

符号位填充(字节->双字)</td>
</tr>

movzbl S,D</td>

D <-- 零扩展S</td>

零填充(字节->双字)</td>
</tr>

pushl S</td>

R[%esp] <-- R[%esp] – 4;M[R[%esp]] <-- S</td>

压栈</td>
</tr>

popl D</td>

D <-- M[R[%esp]]；R[%esp] <-- R[%esp] + 4;</td>

出栈</td>
</tr>
</tbody>
</table>
注：均假设栈往低地址扩展。

算数和逻辑操作地址：

指令</td>

效果</td>

描述</td>
</tr>

leal S,D</td>

D = &S</td>

movl地版，S地址入D，D仅能是寄存器</td>
</tr>

incl D</td>

D++</td>

加1</td>
</tr>

decl D</td>

D--</td>

减1</td>
</tr>

negl D</td>

D = -D</td>

取负</td>
</tr>

notl D</td>

D = ~D</td>

取反</td>
</tr>

addl S,D</td>

D = D + S</td>

加</td>
</tr>

subl S,D</td>

D = D – S</td>

减</td>
</tr>

imull S,D</td>

D = D*S</td>

乘</td>
</tr>

xorl S,D</td>

D = D ^ S</td>

异或</td>
</tr>

orl S,D</td>

D = D | S</td>

或</td>
</tr>

andl S,D</td>

D = D & S</td>

与</td>
</tr>

sall k,D</td>

D = D << k</td>

左移</td>
</tr>

shll k,D</td>

D = D << k</td>

左移(同sall)</td>
</tr>

sarl k,D</td>

D = D >> k</td>

算数右移</td>
</tr>

shrl k,D</td>

D = D >> k</td>

逻辑右移</td>
</tr>
</tbody>
</table>
特殊算术操作：

指令</td> 效果</td> 描述</td>
</tr>
imull S</td> R[%edx]:R[%eax] = S * R[%eax]</td> 无符号64位乘</td>
</tr>
mull S</td> R[%edx]:R[%eax] = S * R[%eax]</td> 有符号64位乘</td>
</tr>
cltd S</td> R[%edx]:R[%eax] = 符号位扩展R[%eax]</td> 转换为4字节</td>
</tr>
idivl S</td> R[%edx] = R[%edx]:R[%eax] % S;R[%eax] = R[%edx]:R[%eax] / S;</td> 有符号除法，保存余数和商</td>
</tr>
divl S</td> R[%edx] = R[%edx]:R[%eax] % S;R[%eax] = R[%edx]:R[%eax] / S;</td> 无符号除法，保存余数和商</td>
</tr>
</tbody>
</table>
注：64位数通常存储为，高32位放在edx，低32位放在eax。
条件码：
条件码寄存器描述了最近的算数或逻辑操作的属性。

CF：进位标志，最高位产生了进位，可用于检查无符号数溢出。

OF：溢出标志，二进制补码溢出——正溢出或负溢出。

ZF：零标志，结果为0。

SF：符号标志，操作结果为负。

比较指令：

指令</td> 基于</td> 描述</td>
</tr>
cmpb S2,S1</td> S1 – S2</td> 比较字节，差关系</td>
</tr>
testb S2,S1</td> S1 & S2</td> 测试字节，与关系</td>
</tr>
cmpw S2,S1</td> S1 – S2</td> 比较字，差关系</td>
</tr>
testw S2,S1</td> S1 & S2</td> 测试字，与关系</td>
</tr>
cmpl S2,S1</td> S1 – S2</td> 比较双字，差关系</td>
</tr>
testl S2,S1</td> S1 & S2</td> 测试双字，与关系</td>
</tr>
</tbody>
</table>
访问条件码指令：

指令</td> 同义名</td> 效果</td> 设置条件</td>
</tr>
sete D</td> setz</td> D = ZF</td> 相等/零</td>
</tr>
setne D</td> setnz</td> D = ~ZF</td> 不等/非零</td>
</tr>
sets D</td> </td> D = SF</td> 负数</td>
</tr>
setns D</td> </td> D = ~SF</td> 非负数</td>
</tr>
setg D</td> setnle</td> D = ~(SF ^OF) & ZF</td> 大于（有符号>）</td>
</tr>
setge D</td> setnl</td> D = ~(SF ^OF)</td> 小于等于(有符号>=)</td>
</tr>
setl D</td> setnge</td> D = SF ^ OF</td> 小于(有符号<)</td>
</tr>
setle D</td> setng</td> D = (SF ^ OF) | ZF</td> 小于等于(有符号<=)</td>
</tr>
seta D</td> setnbe</td> D = ~CF & ~ZF</td> 超过(无符号>)</td>
</tr>
setae D</td> setnb</td> D = ~CF</td> 超过或等于(无符号>=)</td>
</tr>
setb D</td> setnae</td> D = CF</td> 低于(无符号<)</td>
</tr>
setbe D</td> setna</td> D = CF | ZF</td> 低于或等于(无符号<=)</td>
</tr>
</tbody>
</table>
跳转指令：

指令</td> 同义名</td> 跳转条件</td> 描述</td>
</tr>
jmp Label</td> </td> 1</td> 直接跳转</td>
</tr>
jmp *Operand</td> </td> 1</td> 间接跳转</td>
</tr>
je Label</td> jz</td> ZF</td> 等于/零</td>
</tr>
jne Label</td> jnz</td> ~ZF</td> 不等/非零</td>
</tr>
js Label</td> </td> SF</td> 负数</td>
</tr>
jnz Label</td> </td> ~SF</td> 非负数</td>
</tr>
jg Label</td> jnle</td> ~(SF^OF) & ~ZF</td> 大于(有符号>)</td>
</tr>
jge Label</td> jnl</td> ~(SF ^ OF)</td> 大于等于(有符号>=)</td>
</tr>
jl Label</td> jnge</td> SF ^ OF</td> 小于（有符号<）</td>
</tr>
jle Label</td> jng</td> (SF ^ OF) | ZF</td> 小于等于(有符号<=)</td>
</tr>
ja Label</td> jnbe</td> ~CF & ~ZF</td> 超过(无符号>)</td>
</tr>
jae Label</td> jnb</td> ~CF</td> 超过或等于(无符号>=)</td>
</tr>
jb Label</td> jnae</td> CF</td> 低于(无符号<)</td>
</tr>
jbe Label</td> jna</td> CF | ZF</td> 低于或等于(无符号<=)</td>
</tr>
</tbody>
</table>
转移控制指令：（函数调用）：

指令</td> 描述</td>
</tr>
call Label</td> 过程调用，返回地址入栈，跳转到调用过程起始处，返回地址是call后面那条指令的地址</td>
</tr>
call *Operand</td>
</tr>
leave</td> 为返回准备好栈，为ret准备好栈，主要是弹出函数内的栈使用及%ebp</td>
</tr>
</tbody>
</table>