AT汇编基础语法

AT&T 基础语法GAS中每个操作都是有一个字符的后缀，表明操作数的大小。

C声明GAS后缀大小(字节)char b1short w2(unsigned) int / long /char*l4float s4double l8long double t10/12注意：GAL使用后缀“l”同时表示4字节整数和8字节双精度浮点数，这不会产生歧义因为浮点数使用的是完全不同的指令和寄存器。

操作数格式：格式操作数值名称样例（GAS = C语言）$Imm Imm立即数寻址$1 = 1Ea R[Ea]寄存器寻址%eax = eaxImm M[Imm]绝对寻址0×104 = *0×104（Ea）M[R[Ea]]间接寻址（%eax）= *eaxImm(Ea)M[Imm+R[Ea]](基址+偏移量)寻址4(%eax) = *(4+eax)（Ea,Eb）M[R[Ea]+R[Eb]]变址(%eax,%ebx) = *(eax+ebx) Imm（Ea,Eb）M[Imm+R[Ea]+R[Eb]]寻址9(%eax,%ebx)= *(9+eax+ebx) (,Ea,s)M[R[Ea]*s]伸缩化变址寻址(,%eax,4)= *(eax*4) Imm(,Ea,s)M[Imm+R[Ea]*s]伸缩化变址寻址0xfc(,%eax,4)=*(0xfc+eax*4)(Ea,Eb,s)M(R[Ea]+R[Eb]*s)伸缩化变址寻址(%eax,%ebx,4) =*(eax+ebx*4)Imm(Ea,Eb,s)M(Imm+R[Ea]+R[Eb]*s)伸缩化变址寻址8(%eax,%ebx,4) =*(8+eax+ebx*4)注：M[xx]表示在存储器中xx地址的值，R[xx]表示寄存器xx的值，这种表示方法将寄存器、内存都看出一个大数组的形式。

数据传送指令：指令效果描述movl S,D D <– S传双字movw S,D D <– S传字movb S,D D <– S传字节movsbl S,D D <–符号扩展S符号位填充(字节->双字) movzbl S,D D <–零扩展S零填充(字节->双字)pushl S R[%esp] <– R[%esp] –4;压栈M[R[%esp]] <– Spopl D D <– M[R[%esp]]；出栈R[%esp] <– R[%esp] + 4;注：均假设栈往低地址扩展。

算数和逻辑操作地址：指令效果描述leal S,D D = &S movl地版，S地址入D，D仅能是寄存器incl D D++加1decl D D–减1negl D D = -D取负notl D D = ~D取反addl S,D D = D + S加subl S,D D = D –S减imull S,D D = D*S乘xorl S,D D = D ^ S异或orl S,D D = D | S或andl S,D D = D & S与sall k,D D = D << k左移shll k,D D = D << k左移(同sall)sarl k,D D = D >> k算数右移shrl k,D D = D >> k逻辑右移特殊算术操作：指令效果描述imull S R[%edx]:R[%eax] = S * R[%eax]无符号64位乘mull S R[%edx]:R[%eax] = S * R[%eax]有符号64位乘cltd S R[%edx]:R[%eax] = 符号位扩展R[%eax]转换为4字节idivl S R[%edx] = R[%edx]:R[%eax] % S;有符号除法，保存余数和商R[%eax] = R[%edx]:R[%eax] / S;divl S R[%edx] = R[%edx]:R[%eax] % S;无符号除法，保存余数和商R[%eax] = R[%edx]:R[%eax] / S;注：64位数通常存储为，高32位放在edx，低32位放在eax。

条件码寄存器描述了最近的算数或逻辑操作的属性。

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

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

ZF：零标志，结果为0。

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

比较指令：指令基于描述cmpb S2,S1S1 –S2比较字节，差关系testb S2,S1S1 & S2测试字节，与关系cmpw S2,S1S1 –S2比较字，差关系testw S2,S1S1 & S2测试字，与关系cmpl S2,S1S1 –S2比较双字，差关系testl S2,S1S1 & S2测试双字，与关系访问条件码指令：指令同义名效果设置条件sete D setz D = ZF相等/零setne D setnz D = ~ZF不等/非零sets D D = SF负数setns D D = ~SF非负数setg D setnle D = ~(SF ^OF) & ZF大于（有符号>）setge D setnl D = ~(SF ^OF)小于等于(有符号>=) setl D setnge D = SF ^ OF小于(有符号<)setle D setng D = (SF ^ OF) | ZF小于等于(有符号<=) seta D setnbe D = ~CF & ~ZF超过(无符号>)setae D setnb D = ~CF超过或等于(无符号>=) setb D setnae D = CF低于(无符号<)setbe D setna D = CF | ZF低于或等于(无符号<=)指令同义名跳转条件描述jmp Label1直接跳转jmp *Operand1间接跳转je Label jz ZF等于/零jne Label jnz~ZF不等/非零js Label SF负数jnz Label~SF非负数jg Label jnle~(SF^OF) & ~ZF大于(有符号>)jge Label jnl~(SF ^ OF)大于等于(有符号>=)jl Label jnge SF ^ OF小于（有符号<）jle Label jng(SF ^ OF) | ZF小于等于(有符号<=)ja Label jnbe~CF & ~ZF超过(无符号>)jae Label jnb~CF超过或等于(无符号>=)jb Label jnae CF低于(无符号<)jbe Label jna CF | ZF低于或等于(无符号<=)转移控制指令：（函数调用）：指令描述call Label过程调用，返回地址入栈，跳转到调用过程起始处，返回地址是call后面那条指call *Operand令的地址leave为返回准备好栈，为ret准备好栈，主要是弹出函数内的栈使用及%ebp与其他语言不同，汇编语言要求开发人员了解编程所用机器的处理器体系结构。

汇编程序不可移植，维护和理解常常比较麻烦，通常包含大量代码行。

但是，在机器上执行的运行时二进制代码在速度和大小方面有优势。

对于在 Linux 上进行汇编级编程已经有许多参考资料，本文主要讲解语法之间的差异，帮助您更轻松地在汇编形式之间进行转换。

本文源于我自己试图改进这种转换的尝试。

本文使用一系列程序示例。

每个程序演示一些特性，然后是对语法的讨论和对比。

尽管不可能讨论 NASM 和 GAS 之间存在的每个差异，但是我试图讨论主要方面，给进一步研究提供一个基础。

那些已经熟悉 NASM 和 GAS 的读者也可以在这里找到有用的内容，比如宏。

本文假设您至少基本了解汇编的术语，曾经用符合Intel® 语法的汇编器编写过程序，可能在 Linux 或 Windows 上使用过 NASM。

本文并不讲解如何在编辑器中输入代码，或者如何进行汇编和链接（但是下面的边栏可以帮助您快速回忆一下）。

您应该熟悉 Linux 操作系统（任何 Linux 发行版都可以；我使用的是 Red Hat 和 Slackware）和基本的 GNU 工具，比如 gcc 和 ld，还应该在 x86 机器上进行编程。

现在，我描述一下本文讨论的范围。

构建示例汇编：GAS：as –o program.o program.sNASM：nasm –f elf –o program.o program.asm链接（对于两种汇编器通用）：ld –o program program.o在使用外部 C 库时的链接方法：ld –-dynamic-linker /lib/ld-linux.so.2 –lc –o program program.o本文讨论：•NASM 和 GAS 之间的基本语法差异•常用的汇编级结构，比如变量、循环、标签和宏•关于调用外部 C 例程和使用函数的信息•汇编助记符差异和使用方法•内存寻址方法本文不讨论：•处理器指令集•一种汇编器特有的各种宏形式和其他结构•NASM 或 GAS 特有的汇编器指令•不常用的特性，或者只在一种汇编器中出现的特性更多信息请参考汇编器的官方手册（参见参考资料中的链接），因为这些手册是最完整的信息源。

基本结构清单 1 给出一个非常简单的程序，它的作用仅仅是使用退出码 2 退出。

这个小程序展示了NASM 和 GAS 的汇编程序的基本结构。

清单 1. 一个使用退出码 2 退出的程序行号NASM GAS001 002 003 004 005 006 007 008 009 010 011 012 013 014 015 016 ; Text segment beginssection .textglobal _start; Program entry point_start:; Put the code number forsystem callmov eax, 1; Return valuemov ebx, 2; Call the OS# Text segment begins.section .text.globl _start# Program entry point_start:# Put the code number for systemcallmovl $1, %eax/* Return value */movl $2, %ebx# Call the OSint 80h int $0x80现在解释一下。

NASM 和 GAS 之间最大的差异之一是语法。