由于指令导致函数中的分段错误
movq -8（％rbp），％rax，在printf之前一个。我不明白为什么？
注意：这不是gcc生成的程序集，而是我正在编写的编译器。汇编代码几乎类似于gcc生成的代码。
.text
.globl main
.type main, @function
main:
pushq %rbp
movq %rsp, %rbp
subq $16, %rsp
movl $2, -4(%rbp)
leaq -4(%rbp), %rax
movl %eax, %edi
movb $0, %al
call fcvt2
movl %eax, -4(%rbp)
leaq .LC0(%rip), %rdi
movl -4(%rbp), %esi
movb $0, %al
call printf
leave
ret
.globl fcvt2
.type fcvt2, @function
fcvt2:
pushq %rbp
movq %rsp, %rbp
subq $32, %rsp
movq %rdi, -8(%rbp)
leaq .LC1(%rip), %rdi
movq -8(%rbp), %rax
movl (%rax), %esi
movb $0, %al
call printf
movq -8(%rbp), %rax
movl (%rax), %edi
movl %edi, %eax
leave
ret
.section .rodata
.LC1:
.string "It should be : %d\f"
.LC0:
.string "%d\n"
C程序是：
int fcvt2(int *ip) {
int i;
printf("It should be : %d\f", *ip);
return *ip;
}
void main() {
int i;
i = 2;
i = fcvt2(&i);
printf("%d\n",i);
return;
}
故障点的gdb输出：
rax 0xffffdd4c 4294958412
rbx 0x0 0
rcx 0x7ffffff7 2147483639
rdx 0x7ffff7dd3780 140737351858048
rsi 0x7fffffffdd48 140737488346440
rdi 0xffffdd4c 4294958412
rbp 0x7fffffffdd30 0x7fffffffdd30
rsp 0x7fffffffdd00 0x7fffffffdd00
r8 0x0 0
r9 0x9 9
r10 0x7ffff7dd1b78 140737351850872
r11 0x246 582
r12 0x400430 4195376
r13 0x7fffffffde30 140737488346672
r14 0x0 0
r15 0x0 0
rip 0x40059c 0x40059c <fcvt2+20>
eflags 0x10206 [ PF IF RF ]
cs 0x33 51
ss 0x2b 43
ds 0x0 0
es 0x0 0
fs 0x0 0
gs 0x0 0
最佳答案
调用方中的movl %eax, %edi将指针arg截断为fcvt2。您实际上是在mov (%rax),%esi. rax上进行段错误，而不是像您声称的那样在它之前的指令。 （是时候复习您的GDB技能了吗？）leaq -4(%rbp), %rax在%rax中正确生成了它，但是您的编译器忘记了它是指向32位值的64位指针。 （理想情况下，您希望直接leaq -4(%rbp), %rdi进入arg寄存器。）
离题：如果您不需要保留EAX的高位字节，则movb $0, %al的效率低于xor %eax, %eax。我认为您正在针对x86-64 SysV可变参数函数约定进行此操作，并且正确的是，只有%al需要说明有多少XMM寄存器args，而不是整个%eax，所以您没错。但是将零归零是将al归零的最有效方法。当然，对于非可变函数，您根本不需要执行此操作，但是您的编译器显然仍处于“即取即用”阶段，因此，无条件地执行此操作不是一个正确性问题。您无需在rax中传递其他任何内容，并且始终假定函数调用会破坏rax。
（也相关：Haswell/Skylake partial registers have false dependencies: al isn't renamed separately from rax anymore）
关于c - 有人可以告诉我以下汇编代码有什么问题吗？获取段错误，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/46878861/