FreeBSD/amd64程序集 - 如何阅读“ARGC”？

Question

有时，正确的值会返回，有时候是0，有时候（看似）是随机数......都来自同一个可执行文件。

.section .text 
.global _start 
_start: 
    movq $1, %rax 
    popq %rdi 
    syscall 

例如：

%as -o this.o this.s ; ld -o this this.o 

%./this; echo $? 
1 

%./this 1; echo $? 
0 

%./this 1 2; echo $? 
3 

%./this 1 2 a; echo $? 
4 

%./this 1 2 a f; echo $? 
0 

%_ 

我一种新的组装，但我非常有信心获得参数计数是因为它弹出关闭堆栈一样容易。 我做错了什么，还是这真的搞砸了？

Answer 1

我感到困惑在FreeBSD 9.0/amd64上也是如此。 （我使用NASM的汇编），我所做的是：

$ cat foo.asm 
global _start 
_start: 
     mov  rax, 4   ; write 
     mov  rdi, 1   ; stdout 
     mov  rsi, rsp  ; address 
     mov  rdx, 16   ; 16bytes 
     syscall 

     mov  rax, 1   ; exit 
     syscall 
$ nasm -f elf64 foo.asm && ld -o foo foo.o 
$ ./foo | hd 
00000000 00 00 00 00 00 00 00 00 01 00 00 00 00 00 00 00 |................| 
00000010 
$ ./foo 2 | hd 
00000000 02 00 00 00 00 00 00 00 b8 dc ff ff ff 7f 00 00 |................| 
00000010 
$ ./foo 2 3 | hd 
00000000 00 00 00 00 00 00 00 00 03 00 00 00 00 00 00 00 |................| 
00000010 
$ ./foo 2 3 4 | hd 
00000000 00 00 00 00 00 00 00 00 04 00 00 00 00 00 00 00 |................| 
00000010 
$ ./foo 2 3 4 5 | hd 
00000000 05 00 00 00 00 00 00 00 b0 dc ff ff ff 7f 00 00 |................| 
00000010 

我预期的argc在RSP，但事实并非如此。

我猜想内核（图像激活器）设置寄存器。我搜索了源代码树，在/usr/src/sys/amd64/amd64/machdep.c（exec_setregs）中找到了以下代码。

 regs->tf_rsp = ((stack - 8) & ~0xFul) + 8; 
     regs->tf_rdi = stack;   /* argv */ 

这些行看起来是说rsp是对齐的，实际数据是rdi。我改变了我的代码，并获得了预期的结果。

$ cat foo.asm 
global _start 
_start: 
     push rdi 
     mov  rax, 4   ; write 
     mov  rdi, 1   ; stdout 
     pop  rsi 
     mov  rdx, 16   ; 16bytes 
     syscall 

     mov  rax, 1   ; exit 
     syscall 
$ nasm -f elf64 foo.asm && ld -o foo foo.o 
$ ./foo | hd 
00000000 01 00 00 00 00 00 00 00 b0 dc ff ff ff 7f 00 00 |................| 
00000010 
$ ./foo 2 | hd 
00000000 02 00 00 00 00 00 00 00 a8 dc ff ff ff 7f 00 00 |................| 
00000010 
$ ./foo 2 3 | hd 
00000000 03 00 00 00 00 00 00 00 a8 dc ff ff ff 7f 00 00 |................| 
00000010 
$ ./foo 2 3 4 | hd 
00000000 04 00 00 00 00 00 00 00 a8 dc ff ff ff 7f 00 00 |................| 
00000010 
$ ./foo 2 3 4 5 | hd 
00000000 05 00 00 00 00 00 00 00 a8 dc ff ff ff 7f 00 00 |................| 
00000010 

你可以试试偏下？

Answer 2

对于FreeBSD的标准调用约定，你想：

movl %edi, %eax 

最短的完整的程序，其返回的状态将等于它传递参数的个数是：

movl %edi, %eax 
ret