32位Linux汇编中变量/寄存器大小限制及程序输出异常排查

程序异常现象 #

程序功能为对硬编码十进制数求平方并打印结果：

• 平方值小于1000时正常（如输入31输出961）
• 平方值≥1000时异常：
  • 输入32（预期1024）仅输出1
  • 输入65（预期4225）输出0
  • 输入20（预期400）仅输出4，输入10（预期100）仅输出1，输入30输出9

核心问题根源 #

你的问题并非32位寄存器容量不足（32位寄存器可存储最大4294967295，远大于当前处理的数值），而是变量内存操作宽度不匹配+逻辑错误导致的数据截断与计算失效：

1. 混合使用字节/双字操作导致数据截断 #

• 初始化变量时用byte宽度：mov [rev_ans], byte 0、mov [multiplier], byte 1，但后续操作却用eax（32位双字）读写这些变量，比如mov [left_num], eax会写入4字节，但比较时又用cmp [left_num], byte 0只检查第一个字节，高位数据完全被忽略。
• 例如存储1000时，内存中是0xE8 0x03 0x00 0x00，但cmp byte [left_num],0只会检查第一个字节0xE8，判定不为0继续循环，而实际后续计算中高位数据已丢失。

2. Multiplier逻辑完全反转 #

在reverse_ans中，你需要将multiplier乘以10来提升位数权重（1→10→100...），但当前代码却执行了div ebx（除以10），导致multiplier不断缩小，最终变为0，高位数字无法被累加到rev_ans中。比如处理1000时，本该用1000的权重累加最高位1，结果multiplier变成0，累加值直接失效。

3. 冗余的变量定义 #

.bss中用resb 256给每个变量预留256字节，但你只需要存储单个32位整数，冗余的内存空间不仅浪费，还增加了操作宽度不匹配的风险。

修复方案 #

1. 统一变量操作宽度为双字 #

将所有涉及变量的操作改为32位双字：

; 初始化改为双字
mov dword [rev_ans], 0
mov dword [multiplier], 1

; 比较时改为双字判断
cmp dword [left_num], 0
cmp dword [digit_count_left_num], 0

2. 修正reverse_ans中的multiplier逻辑 #

把除以10改为乘以10：

reverse_ans:
    ; ... 原有代码不变 ...
    
    ; 修正：multiplier乘以10提升权重
    mov eax,[multiplier]
    mov ebx,10
    mul ebx
    mov [multiplier],eax    
    
    cmp dword [left_num], 0
    jg reverse_ans
    ret

3. 简化.bss变量定义 #

用resd（定义双字）替代resb，只保留必要的变量：

section .bss
    ans resb 1              ; 存储单个数字（转ASCII用）
    left_num resd 1         ; 剩余未处理的数字
    digit_count_left_num resd 1 ; 计算位数的临时变量
    rev_ans resd 1          ; 反转后的结果
    multiplier resd 1       ; 位数权重（1,10,100...）

4. 优化print_ans的数字存储 #

print_ans中余数仅0-9，用字节存储更合理：

print_ans:
    mov eax,[left_num]
    mov edx,0
    mov ebx,10
    div ebx
    mov byte [ans], dl      ; 用dl存储余数（低8位足够）
    
    add byte [ans], 0x30    ; 转ASCII
    
    ; ... 原有打印代码不变 ...

总结 #

限制程序的不是32位寄存器的大小，而是错误的内存操作宽度和逻辑反转。统一双字操作、修正multiplier计算逻辑后，程序即可正确处理所有32位范围内的平方数。

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