// filename: mstore.c long mult2(long, long); void multstore(long x, long y, long *dest) { long t = mult2(x, y); *dest = t; }
这是一个简单的c语言程序,我们使用gcc -S
通知gcc仅将它编译成文本形式的汇编代码(而不做后面的汇编和链接步骤),下图是一个c程序编译过程的简单示例,gcc -S
编译后的.s
文件处于下图中的第三个步骤。
gcc -Og -S mstore.c
下面是.s
文件中的内容,以.xxx
开头的行相当于是编译过程对后面汇编和链接过程的一些指导,你可以理解为它们只是注解。
如果你使用-c
指令,就会生成.o
文件。
gcc -Og -c mstore.c
.o
文件已经是将文本形式的汇编代码转换成二进制的目标代码了,我们可以使用objdump
工具来查看它。
objdump -d mstore.o
不同版本的gcc编译后的代码可能不尽相同,如果你在非x86_64指令集下编译可能得到相差更远的内容。而且目前我们也不太认识这些汇编代码,目前我们只需要知道如何生成
.s
和.o
文件以及它们在整个编译过程中扮演的角色即可。
目前,整个编译过程还差一个链接步骤来生成可执行文件,链接器需要我们的目标代码文件(.o
)中包含main
函数,创建main.c
// filename: main.c #include <stdio.h> void multstore(long, long, long *); int main() { long d; multstore(2, 3, &d); printf("2 * 3 --> %ld\n", d); return 0; } long mult2(long a, long b) { long s = a * b; return s; }
编译:
gcc -Og -o prog main.c mstore.c
编译后的文件疯狂变大,因为其中包含了两个文件以及依赖的库函数printf
的链接,并且还有一些用于启动和中止程序的代码,以及与操作系统进行交互的代码。
使用objdump
查看生成的可执行文件prog
objdump -d prog
该文件中多了好多和我们编写的代码无关的内容,并且可执行程序中,每行代码的地址已经被填入了,并且callq
中的参数也有了一个要调用的程序的地址,也就是说编译后的可执行程序的内存布局已经确定。
Intel由于历史原因,使用字(word) 代表16位数据,使用 双字(double words) 代表32位数据,64位则是 四字(quad words)。
下面是一张表,代表了一些C中的声明映射到Intel上的数据类型,以及所使用的汇编代码后缀。所以,上面的指令集中总有什么callq
、retq
这种指令,这代表你使用这些指令时使用的是四字操作指令。
下图是16个通用寄存器以及它们的常见作用。
这些通用寄存器虽然可以保存64位数据,但是也可以使用它们的低位来单独保存32位、16位和8位的数据。%r寄存器名
用来访问整个64位寄存器数据,%e寄存器名
用来访问32个低位中保存的数据,%寄存器名
用来访问低16位数据,还有一些可以访问寄存器中单个字节的名称。
操作数经常会有一个或多个参数,这些参数可能是
$
前缀用来表示立即数,如$-577
、$0x1F
。说起来可能很难懂,看下面的表格就懂了。
假设下面的值存放在指明的内存地址和寄存器中:
填写下表,给出操作数的值:
操作数 | 值 |
---|---|
%rax |
0x100 |
0x104 |
0xAB |
$0x108 |
0x108 |
(%rax) |
0xFF |
4(%rax) |
0xAB |
9(%rax, %rdx) |
0x11 |
260(%rcx, %rdx) |
0x13(260转换成16进制是104) |
0xFC(, %rcx, 4) |
0xFF |
(%rax, %rdx, 4) |
0x11 |
将数据从一个位置复制到另一个位置的指令。
mov类命令具有两个操作数,第一个是源位置,第二个是目的位置,mov要把原位置的数据复制到目的位置。下面是一些mov类命令,它们的区别就是传送的数据大小不同。
MOV类只会对寄存器中它们所需要的位进行操作,MOVZ则不同,如果你使用MOVZ向寄存器中复制数据并且这个数据没有占满64位,剩余的部分将被设置成0,这个操作叫零扩展。
和MOVZ类似,MOVZ比较适用于操作无符号数,如果你操作基于补码的有符号数,MOVS可能更加好用。它会将源操作数中的最高位进行复制,以填满寄存器中剩余的高位(相当于保持符号)。
没有movzlq的原因是movl操作和movzlq的操作一样
注意,这里的所有答案都是基于x86-64的
上面的代码会被编译成下面的汇编代码,其中xp被存在%rdi
中,y在%rsi中。
所以指针可能会编译成保存在寄存器中的一个内存地址,函数中的局部变量一般也会存在寄存器中。
*xp
这种对指针进行取值操作的c代码和(%rdi)
这种根据寄存器中的内存地址取内存值的操作相关。
src_t | dest_t | 指令 |
---|---|---|
long | long | movq (%rdi), %rax movq %rax, (%rsi) |
char | int | movsbl (%rdi), %eax movl %eax, (%rsi) |
char | unsigned | movsbl (%rdi), %eax movl %eax, (%rsi) |
unsigned char | long | movzbl (%rdi), %eax movq %eax, (%rsi) |
int | char | movl (%rdi), %eax movb %al, (%rsi) |
unsigned | unsigned char | movl (%rdi), %eax movb %al, (%rsi) |
char | short | movsbw (%rdi), %ax movw %ax, %(rsi) |
可能的疑问:
movs
保留符号位movz
进行零扩展如下图,栈是这样一种数据,push
操作会将数据压入到栈顶,pop
操作会将栈顶的数据从栈中弹出,栈顶向下增长,所以栈顶的地址是越来越小的。
下面是pushq
指令的效果,%rsp
是栈指针,它记录的是当前栈顶的内存地址。4字即8字节,它会将栈指针寄存器中的值减8,表示栈向下延伸了8字节,并将数据塞入到这8字节中。popq
差不多不说了。
未完...