能否通过局部变量将浮点立即数加载至x64汇编的寄存器中？

当然可以将浮点值作为函数局部变量存储在栈中，完全不需要依赖全局静态内存，这也是编译器处理浮点局部变量的常规做法，具体实现方式如下：

• 栈空间预留与存储
  函数进入时通过调整栈指针（sub rsp, 字节数）为浮点局部变量预留空间，之后可以将浮点值从寄存器或常量区存入栈位置。比如处理双精度浮点数（8字节）的示例：

  ; 函数入口：为一个double局部变量预留栈空间
  push rbp
  mov rbp, rsp
  sub rsp, 8  ; 8字节对应double类型
  
  ; 将函数专属常量区的3.14加载到XMM0，再存入栈局部变量
  movsd xmm0, [rel .Lpi_const]
  movsd [rbp-8], xmm0  ; 存在栈帧的局部变量位置
  
  ; 使用时从栈加载到寄存器
  movsd xmm1, [rbp-8]
  ; ... 后续运算逻辑
  
  ; 函数退出时恢复栈
  mov rsp, rbp
  pop rbp
  ret
  
  ; 函数专属的只读常量区（避免全局内存污染）
  .section .rodata
  .Lpi_const: .double 3.14
  

• 直接在栈上初始化浮点常量
  你可以提前将浮点值的IEEE 754二进制表示转换为十六进制立即数，直接写入栈空间，无需依赖任何全局区域：

  sub rsp, 8
  ; 将3.14的双精度二进制值直接写入栈
  mov qword [rsp], 0x40091EB851EB851F
  ; 加载到寄存器使用
  movsd xmm0, [rsp]
  

  编译器可以在前端处理时完成浮点值到二进制十六进制的转换，直接生成对应的汇编指令。

• 优势与注意事项

  • 栈局部变量属于函数私有，函数退出时自动回收栈空间，不存在全局变量的生命周期管理和命名冲突问题，完全适配你开发小型编译器的需求。
  • x64平台下优先使用XMM系列寄存器配合栈存储浮点值，这是主流的高效处理方式，x87浮点栈仅需在兼容旧代码时考虑。

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