x86-64汇编无法链接scanf库，运行出现段错误求助

你的代码出现段错误主要有两个核心原因：

1. 缺少libc初始化与正确的程序收尾 #

直接用ld手动链接时，没有触发libc的初始化流程，且main函数末尾用ret返回会导致未定义行为——因为ld默认的入口点逻辑没有正确处理main返回后的收尾工作（比如调用exit）。

2. 栈空间分配冗余（非致命但可优化） #

rcount1s函数中subq $16, %rsp完全多余，该函数不需要额外栈空间存储数据，多余的栈分配会造成不必要的内存占用。

修复后的代码 #

.data
format_in: .string "%ld"
format_out: .string "Number of 1s in the given number %ld = %ld\n"
.text
globl main
main:
    pushq %rbp
    movq %rsp, %rbp
    subq $16, %rsp  # pushq %rbp后rsp已对齐，subq 16后仍保持16字节对齐
    leaq -8(%rbp), %rsi
    leaq format_in(%rip), %rdi
    movq $0, %rax
    call scanf
    movq -8(%rbp), %rdi
    call rcount1s
    movq %rax, -16(%rbp)
    movq -8(%rbp), %rsi
    movq -16(%rbp), %rdx
    leaq format_out(%rip), %rdi
    movq $0, %rax
    call printf
    movq $0, %rdi  # 显式调用exit(0)完成程序收尾
    call exit
    leave
    ret

rcount1s:
    pushq %rbp
    movq %rsp, %rbp
    # 移除多余的subq $16, %rsp
    cmpq $0, %rdi
    jne .L2
    movq $0, %rax
    jmp .L3

.L2:
    movq %rdi, %rbx  # 用寄存器存储最低位，避免不必要的栈操作
    andq $1, %rbx
    sarq $1, %rdi
    call rcount1s
    addq %rbx, %rax

.L3:
    leave
    ret

正确的编译链接方式 #

方式一：用gcc自动处理链接（推荐）

gcc会自动处理libc初始化、动态链接器路径等问题，无需手动指定：

as -gstabs task.s -o task.o
gcc task.o -o task
./task

方式二：手动用ld链接（需显式调用exit）

如果坚持用ld，需确保链接时包含libc，且代码中调用exit收尾：

as -gstabs task.s -o task.o
ld -dynamic-linker /lib64/ld-linux-x86-64.so.2 -e main task.o -o task -lc
./task

额外说明 #

• x86-64 SysV ABI要求调用函数前栈必须保持16字节对齐，你的main函数中pushq %rbp后rsp已处于对齐状态，subq $16后仍满足对齐要求，这部分没有问题。
• rcount1s中改用rbx存储最低位，既避免了栈操作，也符合寄存器使用规范。

内容的提问来源于stack exchange，提问作者Said Fazilov