问题[ассемблер]

我遇到了使用 SSE 指令对浮点数数组执行计算的汇编代码的问题。代码应使用数组 A、B、C 和 D 的元素计算数组 E 的值，公式如下：e=(a+b)/d + c*d

当程序执行时，数组E中的结果不正确。例如，我得到的不是预期值：

E[0] = 512.000123
E[1] = 262144.063538
E[2] = 33554440.187500
E[3] = 805306499.562500
E[4] = 17179873412.000000
E[5] = 171798725768.000000

预期输出：

E[0] = 5.0
E[1] = 10.0
E[2] = 17.0
E[3] = 26.0
E[4] = 37.0
E[5] = 50.0

代码：

section .data
    n equ 6                         ; Количество элементов
    A dd 1.0, 2.0, 3.0, 4.0, 5.0, 6.0
    B dd 1.0, 1.0, 1.0, 1.0, 1.0, 1.0
    C dd 2.0, 3.0, 4.0, 5.0, 6.0, 7.0
    D dd 2.0, 3.0, 4.0, 5.0, 6.0, 7.0
    E dd 0.0, 0.0, 0.0, 0.0, 0.0, 0.0
    fmt db "E[%d] = %f", 10, 0      ; Формат для вывода

section .text
    global main
    extern printf

main:
    push ebp
    mov ebp, esp
    xor ebx, ebx                  ; Инициализация индекса

.loop:
    cmp ebx, n
    jge .end_loop

    ; Загружаем значения
    movss xmm0, [A + ebx * 4]      ; A[i]
    movss xmm1, [B + ebx * 4]      ; B[i]
    movss xmm2, [C + ebx * 4]      ; C[i]
    movss xmm3, [D + ebx * 4]      ; D[i]

    ; Вычисление E[i] = C[i] * D[i] + (A[i] + B[i]) / D[i]
    addss xmm0, xmm1               ; xmm0 = A[i] + B[i]

    ; Проверка на деление на ноль для D[i]
    movss xmm4, xmm3               ; Копируем D[i] в xmm4
    ucomiss xmm4, xmm4             ; Сравнение D[i] с самим собой
    je .skip_div                   ; Если D[i] == 0, пропускаем деление

    divss xmm0, xmm3               ; xmm0 = (A[i] + B[i]) / D[i]
    jmp .continue_calculation       ; Переход к продолжению вычисления
.skip_div:
    xorps xmm0, xmm0               ; Установить xmm0 в 0.0, если деление на ноль

.continue_calculation:
    mulss xmm2, xmm3               ; xmm2 = C[i] * D[i]
    addss xmm2, xmm0               ; xmm2 = C[i] * D[i] + (A[i] + B[i]) / D[i]

    ; Хранение результата в E
    movss [E + ebx * 4], xmm2       ; E[i] = Result

    ; Подготовка для printf
    push ebx                       ; Помещаем текущий индекс
    movss xmm0, [E + ebx * 4]      ; Загружаем значение из E для printf
    movss [esp], xmm0              ; Сохраняем его в памяти на верхушке стека
    push dword [esp]               ; Вторая запись в стек для float
    push ebx                       ; Помещаем текущий индекс снова
    push fmt                       ; Помещаем строку формата
    call printf                    ; Вызываем printf
    add esp, 12                    ; Очищаем стек (4 для float + 4 для индекса + 4 для строки формата)

    inc ebx                        ; Увеличиваем индекс
    jmp .loop                      ; Повторяем цикл

.end_loop:
    xor eax, eax                   ; Возвращаем 0
    mov esp, ebp                   ; Восстанавливаем указатель на стек
    pop ebp                        ; Восстанавливаем указатель на базу
    ret

问题：如何修复代码，使其正确计算数组 E 中的值？

为什么需要 AL 寄存器以及其中存储了什么？

我已经用 C++ 编写了一个函数，我需要用汇编代码替换它，并使用 VS2019 IDE 的汇编插入插入格式它，有人可以帮忙或告诉我在哪里可以阅读到此内容吗？该函数获取输入的姓名和年龄并将它们插入到列表中。下面是代码本身。

void insert(Node*& head, const char* name, const char* age) {

Node* newNode = new Node;
strncpy_s(newNode->name, name, 8);
newNode->name[8] = '\0';  // Обеспечиваем корректное завершение строки
strncpy_s(newNode->age, age, 2);
newNode->age[2] = '\0';
newNode->next = nullptr;


if (head == nullptr || strcmp(name, head->name) < 0) {
    // Вставка в начало списка
    newNode->next = head;
    head = newNode;
}
else {
    Node* current = head;
    while (current->next != nullptr && strcmp(name, current->next->name) > 0) {
        current = current->next;
    }
    newNode->next = current->next;
    current->next = newNode;
}

}

用汇编语言编写的代码

void insert(Node*& head, const char* name, const char* age) {
__asm {
    // Входные параметры:
    // head (esi) - указатель на указатель на голову списка
    // name (edx) - указатель на строку имени
    // age (ecx) - указатель на строку возраста

    // Сохраняем текущие значения регистров
    push ebx
    push edi
    push esi
    push edx
    push ecx

    // Получаем указатель на голову списка
    mov esi, [esp + 20]     // head
    mov edx, [esp + 24]     // name
    mov ecx, [esp + 28]     // age

    // Выделяем память для нового узла (Node)
    push 8                   // Размер структуры Node (9 байт для name, 3 для age, 4 для next)
    call malloc             // Вызов malloc
    add esp, 4              // Очистка стека после вызова malloc
    mov ebx, eax            // Новый узел сохраняем в ebx

    // Копируем имя в новый узел (newNode->name)
    lea edi, [ebx]          // edi указывает на новый узел
    lea eax, [edi + 0]      // Адрес поля name в новом узле
    mov ebx, edx            // ebx указывает на строку name
    call strncpy_s         // Копирование строки name
    // Завершаем строку null-символом для name
    lea eax, [edi + 8]
    mov byte ptr[eax], 0

    // Копируем возраст в новый узел (newNode->age)
    lea eax, [edi + 8]      // Адрес поля age в новом узле
    mov ebx, ecx            // ebx указывает на строку age
    call strncpy_s         // Копирование строки age
    // Завершаем строку null-символом для age
    lea eax, [edi + 10]
    mov byte ptr[eax], 0

    // Устанавливаем указатель next в nullptr
    lea eax, [edi + 12]     // Адрес поля next
    mov dword ptr[eax], 0  // newNode->next = nullptr

    // Если список пуст (head == nullptr), вставляем в начало
    mov eax, [esi]          // Загружаем head
    cmp eax, 0              // Если head == nullptr
    je InsertAtStart        // Переход к вставке в начало

    // Если список не пуст, ищем место для вставки
    SearchLoop :
    mov edx, [eax + 0]      // Загружаем имя текущего узла
        lea ecx, [edi + 0]      // Адрес нового имени (name)
        call strcmp             // Сравниваем строки
        jg ContinueSearch       // Если current->name > newNode->name, продолжаем

        // Вставляем узел после текущего
        mov edx, [eax + 4]      // Загружаем указатель на следующий узел
        lea ecx, [edi + 12]     // Адрес next нового узла
        mov[ecx], edx          // newNode->next = current->next
        lea edx, [eax + 4]      // Адрес next текущего узла
        lea ecx, [edi + 12]     // Адрес next нового узла
        mov[edx], ecx          // current->next = newNode

        jmp EndInsert

        ContinueSearch :
    mov eax, [eax + 4]      // Переходим к следующему узлу
        jnz SearchLoop          // Если не конец списка, продолжаем

        InsertAtStart :
    // Вставка в начало списка
    lea eax, [edi + 12]     // Адрес поля next в новом узле
    mov dword ptr[eax], [esi]  // newNode->next = *head
    mov[esi], ebx          // *head = newNode

        EndInsert :
    // Восстанавливаем регистры
    pop ecx
    pop edx
    pop esi
    pop edi
    pop ebx
}

}

大家好，我有一个从源字符串生成回文的函数。其操作算法的构思如下：首先向前读取字符串并将字节复制到结果字符串中，然后反向读取字符串并将字节复制到结果字符串中。理论上应该是这样的：

输入数据：qwe
输出数据：qweewq
但实际上输出数据是：qqwe

genPalindrome proc
    ; Устанавливаем направление обработки цепочек (DF = 0, копирование вперед)
    CLD                         ; Устанавливаем направление: вперед

    ; Копируем строку в начало результирующего буфера
    lea rsi, buffer             ; Адрес исходной строки
    lea rdi, result_buf         ; Адрес результирующего буфера
    mov rcx, qword ptr [lens]   ; Количество символов в строке
    rep movsb                   ; Копируем строку в результат

    ; Устанавливаем направление обработки цепочек в обратную сторону (DF = 1)
    STD                         ; Устанавливаем направление: назад

    ; Копируем строку с конца во вторую половину результирующего буфера
    lea rsi, buffer             ; Адрес исходной строки
    add rsi, qword ptr [lens]   ; Указатель на конец строки (переход к последнему символу)
    dec rsi                     ; Переход к последнему символу
    lea rdi, result_buf         ; Адрес результирующего буфера
    add rdi, qword ptr [lens]   ; Переход к концу первой части в результирующем буфере
    mov rcx, qword ptr [lens]   ; Количество символов в строке
    rep movsb                   ; Копируем строку в обратном порядке

    ; Завершаем результирующую строку
    cld                         ; Возвращаем направление: вперед
    lea rdi, result_buf         ; Указатель на результирующий буфер
    add rdi, qword ptr [lens]   ; Переход к концу первой части строки
    add rdi, qword ptr [lens]   ; Переход к концу второй части строки
    mov byte ptr [rdi], 0       ; Завершаем строку символом NULL

    ret
genPalindrome endp

让我们从去年 9 月份就这个话题提出的一个问题开始。我没有找到这个问题的答案。是的，我读了评论。我从他们那里了解到的只是我需要上大学（而且我刚刚完成学业）。

我知道机器码表。但是，如果我们查看目标文件（通过 Linux 中的 nm 命令和 Windows 中的 dumpbin），我们将看到这些代码所在的特定结构。如果我简单地将所有汇编代码翻译成这些命令，那么就不会有这样的结构。

问题是如何实现目标文件中的结构。

还有一个问题：也许目标文件包含的不是机器代码，而是微代码？