x86汇编幂运算问题：指数为1时输出异常及mul指令优化咨询

一、指数为1时输出0的bug修复 #

你的核心问题是栈参数读取错误：
调用power_load_values前，栈的布局（从栈顶到栈底）是：返回地址 → 指数 → 底数。但你用4(%rsp)去读取参数，这实际取的是返回地址的低4字节（x86-64栈是8字节对齐，4(%rsp)是返回地址的中间位置），完全不符合预期。当指数为1时，直接跳转到return_to_main，此时%rcx存的是错误的返回地址片段，最终输出0。

修复步骤：

1. 用%rbp固定栈帧，避免rsp变化导致参数偏移错误；
2. 正确读取栈上的参数：8(%rbp)是指数，16(%rbp)是底数；
3. 当指数为1时，直接将底数赋值给%rcx作为结果。

二、mul指令处理逻辑优化 #

你通过%rdx奇偶性判断取值的逻辑完全错误：64位mul %rcx是将%rax与%rcx相乘，结果存在%rdx:%rax（%rdx是高位，%rax是低位），只有当乘积超过64位时%rdx才不为0，和奇偶性无关。

优化方案：维护完整的128位乘积结果%rdx:%rax作为当前运算值，每次循环用该结果乘以底数，直到指数递减到1。如果只需64位以内的结果，最后取%rax即可；若需处理溢出，可保留%rdx作为高位。

修正后的完整代码 #

.section .data
.section .text
.globl _start
_start:
  pushq $3        # 入栈底数
  pushq $1        # 入栈指数
  call power
  jmp exit_with_solution

# 幂运算函数：栈参数 [rsp+8]=指数，[rsp+16]=底数；返回结果存%rcx
power:
  mov %rsp, %rbp          # 固定栈帧
  mov 16(%rbp), %rax      # rax初始化为底数
  xor %rdx, %rdx          # rdx清零，初始结果为rax（64位）
  mov 8(%rbp), %rbx       # rbx存指数

  cmp $1, %rbx
  je power_done           # 指数为1，直接返回底数
  cmp $0, %rbx
  je power_zero           # 指数为0，返回1

power_loop:
  mulq 16(%rbp)           # rdx:rax = 当前结果 * 底数
  dec %rbx
  cmp $1, %rbx
  jne power_loop          # 指数减到1时停止循环

power_done:
  mov %rax, %rcx          # 取64位结果到rcx
  jmp power_return

power_zero:
  mov $1, %rcx            # 任何数的0次幂为1

power_return:
  mov %rbp, %rsp          # 恢复栈指针
  ret

exit_with_solution:
  movl $1, %eax           # exit系统调用号
  mov %rcx, %rbx          # 退出码设为运算结果
  int $0x80

额外注意点 #

• 原代码中return_to_main里的add $8,%rbp是错误操作，会破坏栈帧，修正后直接用mov %rbp,%rsp恢复栈指针；
• 原代码每次循环重新加载8(%rsp)到%rax，会覆盖之前的乘积结果，修正后移除了该操作；
• int $0x80是32位系统调用方式，若在x86-64环境下运行，推荐改用syscall指令。

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