NASM调用链接C函数打印xmm0中double值触发段错误问题

核心根因（90%概率匹配你描述的现象） #

你遇到的段错误本质是x86_64 System V ABI栈对齐规则被破坏，和%f/%lf的格式符无关——这两个格式符在printf里对double是完全等价的，不存在格式写错的问题。

• ABI强制要求：执行call指令前，栈指针rsp必须是16字节的整数倍。call指令会自动压入8字节返回地址，因此被C函数刚入口时，rsp的值一定是16*k + 8，这是所有C编译器生成代码默认遵循的约定。
• 整数版本Test_Print_2能正常运行完全是巧合：该函数内的printf只处理整数参数，glibc的printf实现处理整数时不会使用要求16字节对齐的SSE批量访存指令，栈不对齐的隐患不会触发；一旦printf需要处理double类型浮点参数，内部会大量使用对齐SSE指令，栈不对齐会直接触发段错误。
• 你观察到的「注释掉第二个printf就能打印第一行字符串」完全符合栈不对齐的特征：如果函数内没有浮点参数传递给printf，编译器生成的prologue（函数入口准备代码）不会分配对齐的栈帧给浮点操作，自然不会触发访存异常；一旦存在浮点参数的printf调用，编译器在函数入口就会生成对齐栈、保存SSE寄存器的指令，还没执行到第一个printf就会因为不对齐访存崩溃。

排查步骤 #

按优先级从高到低检查：

• 检查自定义栈操作宏的对齐逻辑
  重点看你引入的ABI_Stack_Push.asm宏：统计宏总共向栈压入了多少个8字节的寄存器/临时值，如果压入的总字节数不是16的整数倍，就会直接破坏栈对齐。比如宏里压了3个通用寄存器（共24字节）、5个寄存器（共40字节），都会导致call指令前rsp不对齐。
  验证方法：在call [rel Test_Print_2F wrt ..got]前加一条test rsp, 0xf，如果运行到这里零标志位不为0，即可确认栈对齐错误。
• 检查C文件是否漏了头文件
  你贴的C片段没有#include <stdio.h>，如果实际编译时没包含该头文件，编译器会对printf生成隐式函数声明，不会正确处理可变参函数的浮点参数传递规则，也会触发未定义行为。编译C目标文件时加-Wall -Wextra选项，如果出现implicit declaration of function ‘printf’警告，补上头文件即可。
• 检查宏是否破坏传参寄存器
  你是先把double值加载到xmm0、再执行ABI_Stack_Push宏，要确认宏内没有覆盖xmm0的值——xmm0是调用者保存寄存器，普通通用寄存器压栈不会影响它，但如果宏里有操作SSE寄存器的指令，可能提前破坏传入的double参数。
  另外你在call前设置mov rax,1是多余的：Test_Print_2F本身不是可变参函数，它内部调用printf时C编译器会自动给rax赋正确的浮点参数计数值，外部调用不需要设置rax，不过写了也不会引发错误。

修复方案 #

1. 先给C文件开头补上#include <stdio.h>，编译时开启警告，确保没有隐式声明问题。
2. 修正ABI_Stack_Push/ABI_Stack_Pop宏的对齐：如果宏压入的总字节数是8的奇数倍，就在压栈操作最后加sub rsp, 8凑齐16字节对齐，对应的弹栈宏在弹出所有寄存器前先加add rsp, 8还原栈指针。
3. 验证修复：放开Test_Print_2F里第二个printf的注释，确认栈对齐后即可正常打印浮点值。
4. 调试技巧：可以在Test_Print_2F入口处打断点，直接查看rsp的值，如果rsp % 16 != 8，即可100%确认是栈对齐问题。

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