x86_64基本使用寄存器存储函数参数,寄存器不够才入栈;
而i386将所有参数保存在栈上,通过gcc的扩展功能__attribute__((regparm()))即可实现部分参数的寄存器传递。
调试语法:
--《深入理解计算机系统(原书第2版)》
代码
#include <stdio.h>
#include <stdlib.h>
int v1 = 1;
float v2 = 0.01;
#ifdef FAST
__attribute__((regparm(3)))
#endif
void func(int a, long b, short c, char d, long long e,
float f, double g, int *h, float *i, char*j)
{
printf("a: %d, b: %ld, c: %d, d: %c, e: %lld\n"
"f: %.3e, g: %.3e\nh: %p, i: %p, j: %p\n",
a, b, c, d, e, f, g, h, i, j);
}
int main(void)
{
func(100, 35000L, 5, 'A', 123456789LL, 3.14, 2.99792458e8,
&v1, &v2, "string");
return EXIT_SUCCESS;
}
编译
gcc -g -Wall -o test test.c
启动gdb
(gdb) b * func
说明:break中不加* 使用函数名就无法用于参数确认
不加*,断点就不会设置到汇编语言层级的函数开头
(gdb) run
第一种:x86参数传递寄存器和栈调用
1.查看汇编代码
2.查看寄存器
第8个参数h是v1的地址,保存在r9中。
3.浮点型的第6和第7个参数f、g分别保存在xmm0、xmm1中。
4.由于第9、第10个参数也是指针,参数少的情况下会被保存在寄存器中,单本例中寄存器不够用,因此这两个参数被保存到栈中进行传递。
第二种:i386参数传递 栈调用
(gdb) p *(int*)($esp)
在i386上原则上参数全部入栈,取得第一个参数使用esp+4,因为i386架构中栈的开头即esp+0,保存返回地址。
下一个参数f的存储地址要比上一个参数大8个字节,因为i386架构中long long型和double型是8字节
第三种:i386寄存器调用
fastcall快速调用:i386像x86_64一样将部分参数放寄存器中。
__attribute__((regparm(3)))使用eax,edx和ecx传递开头3个参数。
修改代码
#include <stdio.h>
#include <stdlib.h>
#define FAST 1
int v1 = 1;
float v2 = 0.01;
#ifdef FAST
__attribute__((regparm(3)))
#endif
void func(int a, long b, short c, char d, long long e,
float f, double g, int *h, float *i, char*j)
{
printf("a: %d, b: %ld, c: %d, d: %c, e: %lld\n"
"f: %.3e, g: %.3e\nh: %p, i: %p, j: %p\n",
a, b, c, d, e, f, g, h, i, j);
}
int main(void)
{
func(100, 35000L, 5, 'A', 123456789LL, 3.14, 2.99792458e8,
&v1, &v2, "string");
return EXIT_SUCCESS;
}
第1,2,3个参数a ,b,c放在eax,edx,ecx中。
如果第1个参数为long long类型(64位),那么就会组合使用eax ,edx 等寄存器来传参。
如果第2个参数为long long类型(64位),那么就只有在第一个参数为32位才能寄存器传递。