Ошибка сегментации в printf — NASM 64bit Linux

Я пытаюсь ввести четыре числа с помощью scanf, сохраните их в стек, а затем используйте vmovupd скопировать их в реестр для использования. Моя проблема в том, что когда я пытаюсь вывести эти 4 числа, программа вызывает ошибку printf,

Я предполагаю, что это что-то со стеком, но я пытался выскочить много раз (несколько инструкций одновременно) безрезультатно. Я все еще плохо знаком с ассемблерным кодированием, поэтому использую gdb это слишком сложно для меня.

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

Вот .cpp:

#include <iostream>

using namespace std;

extern "C" double ComputeElectricity();

int main()
{
cout << "Welcome to electric circuit processing by Chris Tarazi." << endl;

double returnValue = ComputeElectricity();

cout << "The driver received this number: " << returnValue << endl;

return 0;
}

И вот ASM код:

%include "debug.inc"
extern printf

extern scanf

global ComputeElectricity

;---------------------------------Declare variables-------------------------------------------

segment .data

greet db "This progam will help you analyze direct current circuits configured in parallel.", 10, 0

voltage db "Please enter the voltage of the entire circuit in volts: ", 0

first db "Enter the power consumption of device 1 (watts): ", 0

second db "Enter the power consumption of device 2 (watts): ", 0

third db "Enter the power consumption of device 3 (watts): ", 0

fourth db "Enter the power consumption of device 4 (watts): ", 0

thankyou db "Thank you. The computations have completed with the following results.", 10, 0

circuitV db "Curcuit total voltage: %1.18lf v", 10, 0

deviceNum db "Device number:                1                    2                    3                    4", 10, 0

power db "Power (watts): %1.18lf %1.18lf %1.18lf %1.18lf", 10, 0

current db "Current (amps): %1.18lf %1.18lf %1.18lf %1.18lf", 10, 0

totalCurrent db "Total current in the circuit is %1.18lf amps.", 10, 0

totalPower db "Total power in the circuit is %1.18lf watts.", 10, 0

bye db "The analyzer program will now return total power to the driver.", 10, 0

string db "%s", 0

floatfmt db "%lf", 0

fourfloat db "%1.18lf %1.18lf %1.18lf %1.18lf", 0

;---------------------------------Begin segment of executable code------------------------------

segment .text

dumpstack 20, 10, 10

ComputeElectricity:

;dumpstack 30, 10, 10

;---------------------------------Output greet message------------------------------------------

mov qword rax, 0
mov rdi, string
mov rsi, greet
call printf

;---------------------------------Prompt for voltage--------------------------------------------

mov qword rax, 0
mov rdi, string
mov rsi, voltage
call printf

;---------------------------------Get  voltage--------------------------------------------------

push qword 0
mov qword rax, 0
mov rdi, floatfmt
mov rsi, rsp
call scanf
vbroadcastsd ymm15, [rsp]
pop rax

;---------------------------------Prompt for watts 1--------------------------------------------

mov qword rax, 0
mov rdi, string
mov rsi, first
call printf

;---------------------------------Get watts 1---------------------------------------------------

push qword 0
mov qword rax, 0
mov rdi, floatfmt
mov rsi, rsp
call scanf

;---------------------------------Prompt for watts 2--------------------------------------------

mov qword rax, 0
mov rdi, string
mov rsi, second
call printf

;---------------------------------Get watts 2---------------------------------------------------

push qword 0
mov qword rax, 0
mov rdi, floatfmt
mov rsi, rsp
call scanf

;---------------------------------Prompt for watts 3--------------------------------------------

mov qword rax, 0
mov rdi, string
mov rsi, third
call printf

;---------------------------------Get watts 3---------------------------------------------------

push qword 0
mov qword rax, 0
mov rdi, floatfmt
mov rsi, rsp
call scanf

;---------------------------------Prompt for watts 4--------------------------------------------

mov qword rax, 0
mov rdi, string
mov rsi, fourth
call printf

;---------------------------------Get watts 4---------------------------------------------------

push qword 0
mov qword rax, 0
mov rdi, floatfmt
mov rsi, rsp
call scanf

;dumpstack 50, 10, 10

;---------------------------------Move data into correct registers------------------------------

vmovupd ymm14, [rsp]                ; move all 4 numbers from the stack to ymm14

pop rax
pop rax
pop rax
pop rax

;dumpstack 55, 10, 10

vextractf128 xmm10, ymm14, 0        ; get lower half
vextractf128 xmm11, ymm14, 1        ; get upper half

;---------------------------------Move data into low xmm registers------------------------------

movsd xmm1, xmm11                   ; move ymm[128-191] (3rd value) into xmm1
movhlps xmm0, xmm11                 ; move from highest value from xmm11 to xmm0

movsd xmm3, xmm10
movhlps xmm2, xmm10

;showymmregisters 999

;---------------------------------Output results-------------------------------------------------

;dumpstack 60, 10, 10

mov rax, 4
mov rdi, fourfloat
push qword 0
call printf
pop rax

ret

0

Решение

Проблема в использовании вашего стека.
Во-первых, мандат документов ABI rsp быть выровненным на 16 байт. Так как call поместит 8-байтовый адрес возврата в стек, вам нужно настроить rsp кратное 16 плюс 8. Это непосредственная причина ошибки, потому что printf будет использовать выровненный SSE инструкции, которые будут неисправны для невыровненных адресов.

Если вы исправите это, ваш стек все еще не сбалансирован, потому что вы продолжаете выдвигать значения, но никогда не извлекаете их. Трудно понять, что вы хотите сделать со стеком.

Обычный способ — выделить место для местных жителей в начале вашей функции (пролог) и освободить его в конце (эпилог). Как обсуждалось выше, эта сумма должна быть кратна 16 плюс 8.

3

Другие решения


По вопросам рекламы [email protected]