g intel linux 汇编_AT&T格式汇编与intel汇编区别 Linux内核中嵌入汇编的理解

Linux内核中嵌入汇编(at&t格式)

1

AT&T与INTEL的汇编语言语法的区别

1.1 大小写

INTEL格式的指令使用大写字母，而AT&T格式的使用小写字母。

例：

INTEL

MOV EAX,EBX

AT&T

movl % ebx,% eax

1.2 操作数赋值方向

在INTEL语法中，第一个表示目的操作数，第二个表示源操作数，赋值方向从右向左。AT&T语法第一个为源操作数，第二个为目的操作数，方向从左到右，合乎自然。

例：

INTEL

MOV EAX,EBX

AT&T

movl % ebx,% eax

1.3 前缀

在 INTEL 语法中寄存器和立即数不需要前缀；AT&T 中寄存器需要加前缀“%”；立即数需要加前缀“$”。

例：

INTEL

MOV EAX,1

AT&T

movl $1,% eax

符号常数直接引用，不需要加前缀，如：movl value,% ebx，value为一常数；在符号前加前缀$表示引用符号地址,

如movl $value, % ebx，是将value的地址放到ebx中。

总线锁定前缀“lock”：总线锁定操作。“lock”前缀在Linux

核心代码中使用很多，特别是SMP代码中。当总线锁定后其它CPU不能存取锁定地址处的内存单元。远程跳转指令和子过程调用指令的操作码使用前缀“l“，分别为jmp，lcall，与之相应的返回指令伪ret。

例：

INTEL

CALL FAR SECTION:OFFSET

JMP FAR SECTION:OFFSET

RET FAR SATCK_ADJUST

AT&T

call $secion:$offset

jmp $secion:$offset

ret $stack_adjust

1.4 间接寻址语法

INTEL 中基地址使用“[”、“]”，而在AT&T 中使用“(”、“)”；另外处理复杂操作数的语法也不同， INTEL

为Segreg:[base+index*scale+disp] ， 而在AT&T

中为%segreg:disp(base,index,sale)，其中segreg，index，scale，disp都是可选的，在指定index而没有显式指定Scale的情况下使用默认值1。Scale和disp不需要加前缀“&”。INTEL

AT&T

Instr

foo,segreg:[base+index*scale+disp]

instr

%segreg:disp(base,index,scale),foo

1.5 后缀

AT&T 语法中大部分指令操作码的最后一个字母表示操作数大小，“b”表示byte(一个字节)；“w”表示word(2

个字节)；“l”表示long(4 个字节)。INTEL 中处理内存操作数时也有类似的语法如：BYTE PTR、WORD

PTR、DWORD PTR。例：

INTEL

mov al, bl

mov ax,bx

mov eax, dword ptr [ebx]

AT&T

movb % bl,% al

movw % bx,% ax

movl (% ebx), % eax

在 AT&T 汇编指令中，操作数扩展指令有两个后缀，一个指定源操作数的字长，另一个指定目标操作数的字长。AT&T

的符号扩展指令的为“movs”，零扩展指令为“movz”(相应的Intel指令为“movsx”和“movzx”)。因此，“movsbl

%al,% edx”表示对寄存器al

中的字节数据进行字节到长字的符号扩展，计算结果存放在寄存器edx中。下面是一些允许的操作数扩展后缀：

l bl: 字节->长字

l bw: 字节->字

l wl: 字->长字

跳转指令标号后的后缀表示跳转方向，“f”表示向前(forward)，“b”表示向后(back)。

例：

jmp 1f

1: jmp 1f

1:

1.6 指令

INTEL 汇编与AT&T 汇编指令基本相同，差别仅在语法上。关于每条指令的语法可以参

考I386 Manual。

2

GCC内嵌汇编

2.1 简介

内核代码绝大部分使用C语言编写，只有一小部分使用汇编语言编写，例如与特定体系结构相关的代码和对性能影响很大的代码。GCC提供了内嵌汇编的功能，可以在C

代码中直接内嵌汇编语言语句，大大方便了程序设计。

简单的内嵌汇编很容易理解

例：

__asm__ __volatile__("hlt");

“__asm__”表示后面的代码为内嵌汇编，“asm”是“__asm__”的别名。“__volatile__”表示编译器不要优化代码，后面的指令保留原样，“volatile”是它的别名。括号里面是汇

编指令。

2.2 内嵌汇编举例

在内嵌汇编中，可以将C语言表达式指定为汇编指令的操作数，而且不用去管如何将C语言表达式的值读入哪个寄存器，以及如何将计算结果写回C

变量，你只要告诉程序中C语言表达式与汇编指令操作数之间的对应关系即可，

GCC会自动插入代码完成必要的操作。使用内嵌汇编，要先编写汇编指令模板，然后将C语言表达式与指令的操作数相关联，并告诉GCC对这些操作有哪些限制条件。

例如在下面的汇编语句：__asm__ __violate__ ("movl %1,%0"

: "=r" (result) : "m" (input));

“movl

%1,%0”是指令模板；“%0”和“%1”代表指令的操作数，称为占位符，内嵌汇编靠它们将C

语言表达式与指令操作数相对应。指令模板后面用小括号括起来的是C语言表达式，本例中只有两个：“result”和“input”，他们按照出现的顺序分别与指令操作数“%0”，“%1”对应；

注意对应顺序：第一个C 表达式对应“%0”；第二个表达式对应“%1”，依次类推，操作数至多有10

个，分别用“%0”,“%1”….“%9”表示。在每个操作数前面有一个用引号括起来的字符串，字符串的内容是对该操作数的限制或者说要求。“result”前面的限制字符串是“=r”，其中“=”表示“result”是输出操作数，“r”表示需要将“result”与某个通用寄存器相关联，先将操作数的值读入寄存器，然后在指令中使用相应寄存器，而不是“result”本身，当然指令执行完后需要将寄存器中的值存入变量“result”，从表面上看好像是指令直接对“result”进行操作，实际上GCC做了隐式处理，这样我们可以少写一些指令。“input”前面的“r”表示该表达式需要先放入某个寄存器，然后在指令中使用该寄存器参加运算。我们将上面的内嵌代码放到一个C

源文件中，然后使用gcc –c –S 得到该C

文件源代码相对应的汇编代码，然后查看一下汇编代码，看看GCC是如何处理的。C源文件如下内容如下，注意该代码没有实际意义，仅仅作为例子。

extern int input,result;

void test(void)

{

input = 1;

__asm__ __volatile__ ("movl %1,%0" : "=r" (result) : "r"

(input));

return ;

}

对应的汇编代码如下;

行号 代码 解释

1－7 ……

8 movl $1, input 对应C语言语句input = 1;

9 movl input, % eax

10 #APP GCC插入的注释，表示内嵌汇编开始

11 movl % eax,% eax 我们的内嵌汇编语句

12 #NO_APP GCC插入的注释，表示内嵌汇编结束

13 movl % eax, result 将结果存入result变量

14－18 。。。。。。

从汇编代码可以看出，第9 行和第13 行是GCC 自动增加的代码，GCC

根据限定字符串决定如何处理C表达式，本例两个表达式都被指定为“r”型，所以先使用指令：movl input, %

eax将input读入寄存器% eax；GCC也指定一个寄存器与输出变量result相关，本例也是%

eax，等得到操作结果后再使用指令：movl % eax, result

将寄存器的值写回C 变量result 中。从上面的汇编代码我们可以看出与result 和input相关连的寄存器都是%

eax，GCC使用% eax替换内嵌汇编指令模板中的%0，%1：movl % eax,%

eax显然这一句可以不要。但是没有优化，所以这一句没有被去掉。由此可见，C表达式或者变量与寄存器的关系由GCC自动处理，我们只需使用限制字符串指导GCC如何处理即可。限制字符必须与指令对操作数的要求相匹配，否则产生的汇编代码将会有错，读者可以将上例中的两个“r”，都改为“m”(m表示操作数放在内存，而不是寄存器中)，编译后得到的结果是：movl

input,

result很明显这是一条非法指令，因此限制字符串必须与指令对操作数的要求匹配。例如指令movl允许寄存器到寄存器，立即数到寄存器等，但是不允许内存到内存的操作，因此两个操作数不能同时使用“m”作为限定字符。

2.3 语法

内嵌汇编语法如下：

__asm__(汇编语句模板: 输出部分: 输入部分:

破坏描述部分)共四个部分：

汇编语句模板，输出部分，输入部分，破坏描述部分。各部分使用“:”格开，汇编语句模板必不可少，其他三部分可选，如果使用了后面的部分，而前面部分为空，也需要用“:”格开，相应部分内容为空。例如：__asm__

__volatile__("cli": : :"memory")

2.3.1 汇编语句模板

汇编语句模板由汇编语句序列组成，语句之间使用“;”,“\n”或“\n\t”分开。指令中的操作数可以使用占位符引用C语言变量，操作数占位符最多10个，名称如下：%0，%1，…，%9。指令中使用占位符表示的操作数，总被视为long型(4个字节)，但对其施加的操作根据指令可以是字或者字节，当把操作数当作字或者字节使用时，默认为低字或者低字节。对字节操作可以显式的指明是低字节还是次字节。方法是在%和序号之间插入一个字母，“b”代表低字节，“h”代表高字节，例如：%h1。

2.3.2 输出部分

输出部分描述输出操作数，不同的操作数描述符之间用逗号格开，每个操作数描述符由限定字符串和C 语言变量组成。每个输出操作数的限定字符串必须包含“=”表示他是一个输出操作数。例：

__asm__ __volatile__("pushfl ; popl %0 ; cli":"=g" (x))

描述符字符串表示对该变量的限制条件，这样GCC

就可以根据这些条件决定如何分配寄存器，如何产生必要的代码处理指令操作数与C表达式或C变量之间的联系。

2.3.3 输入部分

输入部分描述输入操作数，不同的操作数描述符之间使用逗号格开，每个操作数描述符由限定字符串和C语言表达式或者C语言变量组成。。

例 1：

__asm__ __volatile__ ("lidt %0" : : "m" (real_mode_idt));

例二(bitops.h)：

Static __inline__ void __set_bit(int nr, volatile void *

addr)

{

__asm__(

"btsl %1,%0"

:"=m" (ADDR)

:"Ir" (nr));

}

后例功能是将(*addr)的第nr位设为1。第一个占位符%0与C

语言变量ADDR对应，第二个占位符%1与C语言变量nr对应。因此上面的汇编语句代码与下面的伪代码等价：btslnr,

ADDR，该指令的两个操作数不能全是内存变量，因此将nr的限定字符串指定为“Ir”，将nr

与立即数或者寄存器相关联，这样两个操作数中只有ADDR为内存变量。