内联汇编编写数学函数时如何告知编译器预留额外FPU栈插槽？

首先给出结论：直接在clobber列表声明st(0)、st(1)、st(2)是错误做法。GCC对x87栈寄存器的clobber处理有特殊规则：输入输出约束已经隐式声明了你会使用对应的栈项，直接在clobber列表重复声明st(0)等寄存器会和输入输出约束冲突，而且编译器无法通过clobber信息推断你需要的栈深度，依然可能出现FPU栈溢出的问题。

正确的实现方案 #

有两种常用的可靠方式告知编译器你需要额外的FPU栈插槽：

• 方案1：添加虚拟输出占位符
  你可以新增几个不需要实际使用的输出参数，每个参数使用=u约束（代表x87栈的下一个可用插槽，依次对应st(1)、st(2)等位置），不需要对这些参数做任何赋值，编译器会自动识别你需要占用对应的栈槽，提前清理出足够的FPU栈空间。

修改后的代码示例：

long double res;
long double dummy1, dummy2; // 两个占位符对应额外2个栈槽
asm("fldl2e\n"
    "fmulp\n"
    "fld1\n"
    "fld %%st(1)\n"
    "fprem\n"
    "f2xm1\n"
    "faddp\n"
    "fscale\n"
    "fstp %%st(1)"
    : "=t"(res), "=u"(dummy1), "=u"(dummy2)
    : "0"(exponent));
// dummy1、dummy2后续不需要使用

• 方案2：改用SSE/AVX指令集实现浮点运算
  x87栈式寄存器的设计本身就不适合和编译器协同调度，现在x86平台主流的浮点运算都已经切换到SSE/AVX指令集，使用平面的XMM/YMM寄存器，不存在栈深度限制，直接在clobber列表声明你用到的XMM寄存器即可，开发和调试成本低很多。

额外注意事项 #

你给出的示例代码存在逻辑缺陷：fprem指令单次执行不一定能完成全部求余操作，当指数差值超过2^63时，需要循环执行fprem直到FPU状态字的C2标志位清零，否则计算结果会出错。

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