Как указать немедленные числа с плавающей запятой с помощью встроенной сборки?

Я не знаю языка ассемблера, который поддерживает буквальные константы с плавающей запятой для немедленного использования. Обычный способ — объявить инициализированное хранилище, содержащее константу с плавающей запятой, и ссылаясь на нее:

const1:     dq  1.2345
...
     fldl    const1

В приведенном вами примере это можно сделать более прямо:

printf ("%f\n", sqrt (150));

В противном случае это должен быть искусственно усложненный проект, возможно, домашнее задание.

Попробуйте что-нибудь вроде этого

push $0x????????
push $0x????????
fldl (%esp)
addl $8,%esp

Где ???????????? заменены представлением IEEE двойной константы. Преимущество этого метода в том, что он одинаково хорошо работает как в обычном, так и в позиционно-независимом коде (PIC, т.е. разделяемая библиотека).

t ограничение

Согласно документам GCC https://gcc.gnu.org/onlinedocs/gcc/Machine-Constraints.html#Machine-Constraints

t

Вершина стека 80387 операций с плавающей запятой (%st(0)).

Итак, мы можем сделать:

#include <assert.h>

int main(void) {
    double io = 4.0;
    __asm__ (
        "fsqrt"
        : "+t" (io)
        :
        :
    );
    assert(io == 2.0);
    return 0;
}

GitHub upstream.

#include <assert.h>

int main(void) {
    float my_float = 1.5;
    __asm__ (
        "fmov s0, 1.0;"
        "fadd %s[my_float], %s[my_float], s0;"
        : [my_float] "+w" (my_float)
        :
        : "s0"
    );
    assert(my_float == 2.5);
}

GitHub upstream.

Скомпилируйте и запустите:

aarch64-linux-gnu-gcc -o main.out -static -std=gnu99 main.c
qemu-aarch64 ./main.out

Модификатор %s упоминается в: встроенная сборка ARMv8 с плавающей запятой

Он также работает на ARMv7.

Однако по какой-то причине он работает только для инструкций с плавающей запятой, таких как fmov, например. следующая попытка сборки ARMv7 не удалась:

mov r0, 1.5

с ошибкой:

Error: garbage following instruction -- `mov r0,1.5'

предположительно потому, что он использует инструкцию mov, которая действует на регистры общего назначения, а не на регистры с плавающей запятой.

Однако, возможно, это не имеет большого значения, поскольку по большей части вы просто хотите выполнять операции с плавающей запятой в своих регистрах с плавающей запятой, а затем выполнять fcmp, за которым следует vmrs, как в:

vmov s0, 1.5
vmov s1, 2.5
fadds s2, s0, s1
vmov s3, 4.0
/* Compare two floating point registers. Stores results in fpscr:
 * (floating point status and control register).
 */
vcmp.f32 s2, s3
/* Move the nzcv bits from fpscr to apsr */
vmrs apsr_nzcv, fpscr
/* This branch uses the Z bit of apsr, which was set accordingly. */
beq theyre_equal

GitHub upstream.

Меня никогда не перестанет забавлять, что GNU GAS имеет слегка отличающийся синтаксис для каждой арки!

Однако я не смог найти шестнадцатеричный синтаксис с плавающей запятой: использовать шестнадцатеричные литералы с плавающей запятой в GNU GAS?

Протестировано на Ubuntu 18.04.

Единственными допустимыми операндами для инструкции fld являются память или регистр стека с плавающей запятой.

(Кроме того, вы указали y в качестве входного операнда для блока asm, в то время как он должен быть выходным. Вероятно, безопаснее также ограничить его памятью ("m", а не "g").)

Если вы действительно хотите сделать это с помощью встроенной сборки:

#include <stdio.h>

int main(void)
{
   double y;
   const double k = 150.0;

   __asm__ ("fldl %1;"
            "fsqrt;"
            "fstl %0;" : "=m" (y) : "m" (k) );

   printf("%f\n", y);

   return 0;
}

Вы можете обойти многие ассемблеры, отказывающиеся поддерживать литералы с плавающей запятой, если PHP предварительно обработает литерал для вас. (rawSingleHex взят из здесь). В идеальном мире было бы достаточно препроцессора C, но на данный момент это не так.

<?php
function rawSingleHex($num) {
    return '0x' . strrev(unpack('h*', pack('f', $num))[1]);
}
?>

#include <stdio.h>

int main(int argc, char **argv) {
   float y = 0;

   __asm__ ("pushl $<?php echo rawSingleHex(150);?>\n"
            "fsqrt\n"
            "fstl %0\n" : : "g" (y));

   printf("%f\n", y);


   return 0;
}

запустите php, чтобы сгенерировать файл c, и запустите компилятор c, чтобы скомпилировать вашу программу: P