x86-64汇编多全局变量程序无输出问题排查求助

我正在开发一款将现代代码转换为x86-64汇编的代码生成器，现将以下Python代码转换为汇编：

x = 0
y = 8
while x < 10:
    if x == y:
        break
    x += 1
    if x < 2:
        continue
    print(x)

生成的汇编代码如下：

.data
.globl  x
.align  4
.type   x, @object
.size   x, 4
x:
    .long   0
.globl  y
.align  4
.type   y, @object
.size   y, 4
y:
    .long   8
.section .rodata
print_format_int:
    .string "%d\n"
.text
.globl  main
.type   main, @function
main:
    pushq %rbp
    movq %rsp, %rbp

loop_start_0:
    pushq x(%rip)
    pushq $10
    popq %rax
    popq %rbx
    cmpq %rax, %rbx
    jge loop_end_1

if_start_2:
    pushq x(%rip)
    pushq y(%rip)
    popq %rax
    popq %rbx
    cmpq %rax, %rbx
    jne if_end_3
    jmp loop_end_1

if_end_3:
    movq x(%rip), %rax
    addq $1, %rax
    movq %rax, x(%rip)

if_start_4:
    pushq x(%rip)
    pushq $2
    popq %rax
    popq %rbx
    cmpq %rax, %rbx
    jge if_end_5
    jmp loop_start_0

if_end_5:
    movq x(%rip), %rsi
    leaq print_format_int(%rip), %rdi
    movq $0, %rax
    call printf
    jmp loop_start_0

loop_end_1:
    movq %rbp, %rsp
    popq %rbp
    ret

使用命令gcc file_name.s -g filename编译（注：正确命令应为gcc file_name.s -g -o filename），运行./filename时无任何输出，也无警告或错误。移除全局变量y及相关比较逻辑后，生成的汇编代码运行正常。怀疑问题与栈对齐有关，但无法定位，恳请帮助排查原因。

问题根源分析 #

核心错误并非栈对齐，而是32位全局变量使用64位指令操作，导致读取超出变量内存范围的垃圾数据，彻底破坏逻辑判断：

• 你定义的x和y是.long类型（32位整数，仅占4字节内存），但代码中使用pushq（64位入栈指令）读取它们，这会从内存中读取8字节数据——前4字节是变量值，后4字节是内存中的随机垃圾。
• 在if_start_2的x == y判断中，实际比较的是x的4字节+垃圾和y的4字节+垃圾的64位组合值，而非预期的8和8。因此当x增加到8时，不会触发break，x会继续递增到10，循环直接结束，全程未进入print(x)分支。
• 同时，loop_start_0和if_start_4中对x的pushq操作也存在同样问题，可能导致循环条件判断异常。

修复方案 #

有两种可行的修复方式：

方案1：将全局变量改为64位类型

把.long替换为.quad（64位整数），同时调整对齐和大小参数，确保变量与64位指令匹配：

.data
.globl  x
.align  8  # 64位变量需对齐到8字节
.type   x, @object
.size   x, 8
x:
    .quad   0
.globl  y
.align  8
.type   y, @object
.size   y, 8
y:
    .quad   8

方案2：使用32位指令操作32位变量

保留.long类型，但将所有操作该变量的64位指令替换为32位指令，避免读取垃圾数据：

• 将pushq改为pushl，popq改为popl
• 将cmpq改为cmpl，使用32位寄存器%eax/%ebx替代64位寄存器
• 调整movq为movl，addq为addl

修改后的关键片段示例：

loop_start_0:
    pushl x(%rip)
    pushl $10
    popl %eax
    popl %ebx
    cmpl %eax, %ebx
    jge loop_end_1

if_start_2:
    pushl x(%rip)
    pushl y(%rip)
    popl %eax
    popl %ebx
    cmpl %eax, %ebx
    jne if_end_3
    jmp loop_end_1

if_end_3:
    movl x(%rip), %eax
    addl $1, %eax
    movl %eax, x(%rip)

额外注意事项 #

• 编译命令需修正为gcc file_name.s -g -o filename，-o参数用于指定输出可执行文件，原命令写法会导致编译逻辑错误。
• 虽然当前无输出的直接原因是变量操作不匹配，但x86-64 System V ABI要求调用函数（如printf）时栈必须保持16字节对齐，后续开发中需注意这一点。

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