汇编语言小结（2）

1、再说些关于AT&T格式的汇编：

mov ecx, ebp-8, 重写后的代码由一句变成了两句:
movl %ebp, %ecx
subl $8, %ecx

在AT&T的汇编语法中, 对于双寄存器寻址的操作, 不能对寄存器取的值作任何变换, 也就是说不能写成"movl %ebp-8, %ecx"的形式, 而寄存器间接寻址的操作就可以作变换, 比如:
movl -8(%ebp), %ecx             此句相当于intel asm里的:   mov ecx, [ebp-8]
movl (%ebp, %eax), %ecx         此句相当于intel asm里的:   mov ecx, [ebp+eax]
movl (%ebp, %eax, 4), %ecx      此句相当于intel asm里的:   mov ecx, [ebp+eax*4]
movl -8(%ebp, %eax, 4), %ecx    此句相当于intel asm里的:   mov ecx, [ebp+eax*4-8]

2、全局变量存放在数据段中（data segment），这些数据的地址在程序进行链接的时候就已经算出，并且从程序开始到结束都是相同的，所以任何函数都能访问这些数据。

既没有初始化又没有extern的全局变量语句是“暂时定义”（tentative definition）。在汇编代码中，这种情况与一般全局变量的定义的区别是：

暂时定义：.comm var 4,4   ;4字节对齐，大小为4字节

一般定义：

.globl var

.data

.align 4

.type var,@object

.size var,4

var:

.long 0        ;用0初始化

3、外部变量的链接性质。
一般情况下，外部变量可以被所有的文件访问，要使一个变量既存放在数据段，有不会被其他文件的代码看到，就要改变外部变量的链接性质，即使用static，这种情况下，用static 修饰全局变量定义时，产生的汇编代码中和一般的全局变量相比少了.globl var 一句。而用static 修饰全局变量暂时定义时，和没加static时相比，多了一句.local var
在上面两种情况下，如果使用static前后（特别是声明与定义）不一致，则会发生冲突，应特别注意。

4、静态内部变量。
上面说到了，static可以改变全局（外部）变量和函数的链接性质，而对内部变量使用static，则可以改变内部变量的存储性质。即这种变量存放在数据段中，但只具有普通内部变量的可见范围。
对于gcc编译器，对静态内部变量产生的汇编代码为（假设var为该静态内部变量）：
.data
.align 4
.type var.0,@object
.size var.0,4
var.0:
.long 0        ;用0初始化
可以看出，该变量的名字被编译器作了点小动作，这是因为可能会在多个函数内部定义相同名称的静态内部变量，为了区分它们，需要给与不同的名字。