Clobbers для регистров FPU в асм-вставке GNU C/C++

@Jin X · Регистрация: 14.12.2014

Author24 — интернет-сервис помощи студентам

Вопрос по спецификаторам asm-вставки в GCC.
Если я использую fld / fstp, какой спецификатор использовать в clobbers?

C++

asm(
   ...
   "fld ..."
   "fld ..."
   ...
   "fstp ..."
   "fstp ..."
   ...
  : // outputs
  : // inputs
  : // clobbers
);

Не понимаю объяснения в мане: https://gcc.gnu.org/onlinedocs... smoperands

Для регистров идёт перечисление регистров ("%eax", например), для памяти "memory", для флагов "cc".
А если нужно указать, что я сдвигаю стек на 2 позиции? Если писать "st(1)", получается, что я просто затираю st(1), а я ничего не затираю, только сдвигаю FPU-стек. Как мне объяснить компилятору/оптимизатору, что мне нужно, чтобы st(6) и st(7) не были заняты (иначе будет переполнение стека)?

Добавлено через 4 минуты
Есть вообще какое-то соглашение по FPU-стеку, стандарт использования?
Собственно, я нашёл вот что (у Агнера):

The floating point registers ST(0)-ST(7) need not be saved. The register stack must be emptied before any call or return, except for registers used for return values. The 64-bit Microsoft compiler does not use ST(0)-ST(7).

С другой стороны, это не значит что FPU-стек должен быть всегда пуст. Внутри функции. Или даже при вызове внутренних (оптимизированных компилятором) функций, хотя здесь есть опасность переполения, но это тоже реально контролировать.

	11.12.2021, 14:50