我正试图从DWARF信息中获取有关调用约定的信息。更具体地说,我想知道哪些寄存器/堆栈位置用于向函数传递参数。我的问题是,在某些情况下,我从DWARF转储中得到了错误的信息。我使用的示例是以下"C代码":
int __attribute__ ((fastcall)) __attribute__ ((noinline)) mult (int x, int y) {
return x*y;
}
我使用以下命令编译这个例子:
gcc -c -g -m32 test.c -o test.o
现在,当我使用以下命令来获取侏儒转储时:
dwarfdump test.o
我得到了关于这个功能的以下信息:
< 2><0x00000042> DW_TAG_formal_parameter
DW_AT_name "x"
DW_AT_decl_file 0x00000001 /home/khaled/Repo_current/trunk/test.c
DW_AT_decl_line 0x00000001
DW_AT_type <0x0000005b>
DW_AT_location DW_OP_fbreg -12
< 2><0x0000004e> DW_TAG_formal_parameter
DW_AT_name "y"
DW_AT_decl_file 0x00000001 /home/khaled/Repo_current/trunk/test.c
DW_AT_decl_line 0x00000001
DW_AT_type <0x0000005b>
DW_AT_location DW_OP_fbreg -16
查看DW_at_location条目,它与框架基准有一定的偏移。这意味着它们是内存参数,但实际的调用约定"fastcall"强制将它们传递到寄存器中。通过查看生成的对象文件的反汇编,我可以看到它们是从寄存器复制到函数入口点的堆栈位置的。有没有一种方法可以从侏儒转储中知道——或者使用任何其他方法——参数最初在调用时传递到哪里?
谢谢,
因为您使用的是gcc -c -g -m32 test.c -o test.o
。虽然是fastcall
函数,但GCC
仍然需要生成代码,以便在函数开始时将寄存器中的值保存到堆栈帧中。如果没有这一点,任何调试器或gdb
都无法调试程序,否则他们会说参数正在优化,并且不会显示。这使得调试变得不可能。
在x86_64中,编译器默认情况下也会使用一些寄存器来传递一些参数,即使没有为函数指定属性fastcall
。您还可以发现这些寄存器也被复制到堆栈中。
// x86_64 assembly code
_mult:
Leh_func_begin1:
pushq %rbp
Ltmp0:
movq %rsp, %rbp
Ltmp1:
movl %edi, -4(%rbp)
movl %esi, -8(%rbp)
movl -4(%rbp), %eax
movl -8(%rbp), %ecx
imull %ecx, %eax
如果打开优化标志-O
、-O2
、-O3
(无论是否为-g
),则可以反汇编并发现没有任何内容被复制到堆栈帧。当您gdb优化的可执行文件,并在函数的开头停止以显示局部变量时,gdb
将告诉您这些参数正在优化。
32位程序的dwarfdump
示例看起来像
0x00000083: TAG_formal_parameter [4]
AT_name( "x" )
AT_decl_file( "test.c" )
AT_decl_line( 1 )
AT_type( {0x0000005f} ( int ) )
AT_location( 0x00000000
0x00000000 - 0x00000003: ecx
0x00000003 - 0x00000018: ecx )
0x00000090: TAG_formal_parameter [4]
AT_name( "y" )
AT_decl_file( "test.c" )
AT_decl_line( 1 )
AT_type( {0x0000005f} ( int ) )
AT_location( 0x0000001e
0x00000000 - 0x00000003: edx
0x00000003 - 0x00000018: edx )
您可以发现生成的汇编代码非常简单明了。
_mult:
pushl %ebp
movl %esp, %ebp
movl %ecx, %eax
imull %edx, %eax
popl %ebp
ret $12