gcc inline assembly function that clobbers all the floating-point registers

Question

I'm trying to write an asm statement (inline assembly in GCC), that just calls some function, that returns one value in floating-point register and has no operands, but potentially clobbers all the floating-point registers.

asm("call *%1"
    : "=t"(result_)
    : "d"(code_.data())
    : "memory", "cc", "ax", "%st(1)", "%st(2)", "%st(3)", "%st(4)", "%st(5)", "%st(6)", "%st(7)"
    );

My problem is that I cannot tell the assembler, that is clobbering the top floating-point register %st(0) too, because I cannot specify "%st(0)" (or "%st") in clobber list (it results in an compilation error).

Eric Postpischil Eric Postpischil · Accepted Answer · 2013-04-23T13:33:38

You are returning a result in %st(0); that is what the t constraint means. The compiler therefore knows it is modified.

I am not sure why your GCC is not recognizing %st(0) or %st as a name in the clobber list, but this should not cause a problem in this situation.

Apple clang version 4.0 (tags/Apple/clang-418.0.60) accepts %st in the clobber list, even with =t as an output constraint.

gcc inline assembly function that clobbers all the floating-point registers

1 Answers