Как перенести результат mul из двух поплавков в сборку x86?

Question

В настоящее время я пытаюсь умножить два поплавка, один из которых поступает из вектора float (адрес хранится в ebx) и против значения, которое я сохранил в ecx.

Я подтвердил, что входные значения верны, однако, если я умножаю 32 и 1, например, значение в EAX изменяется на 00000000, а значение EDX - на 105F0000. Из моего понимания MUL это происходит потому, что он хранит бит высокого порядка результата в EDX и младших порядках в EDX. Вопрос в том, как перенести результат в выходную переменную (returnValue)? Вот фрагмент кода, о котором идет речь:

AddColumnsIteration: 
    cmp esi, 4 // If we finished storing the data 
    jge NextColumn // Move to the next column 
    mov eax, [ebx][esi * SIZEOF_INT] // Get the current column 
    mul ecx // Multiply it by tx 
    add [returnValue][esi * SIZEOF_INT], eax // Add the data pointed at by eax to the running total 
    inc esi // Element x, y, z, or w of a Vec4 
    jmp AddColumnsIteration // Go back to check our loop condition 

Я знаю, что если я использовал X87 команды или инструкции SSE, это было бы на порядок проще, но сдерживает задачи требуют чистого кода x86 сборки. Извините, если это кажется простым, но я все еще изучаю идиосинкразии сборки.

Заранее спасибо за помощь и иметь хороший день

Answer 1

Вы умножая представления чисел с плавающей точкой в ​​виде целых чисел, а не сами чисел с плавающей точкой:

1.0 = 0x3f800000 
32.0 = 0x42000000 

     0x3f800000 * 0x42000000 = 0x105f000000000000 

Чтобы выполнить арифметику с плавающей запятой, вам необходимо выполнить одно из следующих действий:

• Использовать x87.
• Использование SSE.
• Напишите свое собственное умножение программного обеспечения, которое разделяет кодировки на знак, экспоненту и значение, xors знаки для получения знакового бита продукта, добавляет экспоненты и корректирует смещение, чтобы получить показатель экспоненты продукта, умножает знамена и раундов, чтобы получить значимость продукта, а затем собирает их для получения результата.

Очевидно, что первые два варианта намного проще, но это звучит как они не являются вариантом для той или иной причине (хотя я не могу себе представить, почему нет, x87 и SSE являются «чистый x86 ассемблерный код ", поскольку они были частью ISA в течение очень долгого времени).