3 Commits

6 changed files with 141 additions and 215 deletions

View File

@ -1,13 +0,0 @@
ASM = nasm
ASM_FLAGS = -felf64 -g
LINK = ld
%: %.o
$(LINK) -o $@ $^
%.o: %.asm
$(ASM) $(ASM_FLAGS) $^ -o $@
clean:
rm -f *.o
rm -f $(subst .asm, $(empty), $(wildcard *.asm))

View File

@ -1,81 +0,0 @@
global _start
%define STDIN 0
%define STDOUT 1
%define STDERR 2
section .data
src db 1, 2, 3, 4, 5, 6, 7, 8, 9, 0
src_size equ $-src
; резервируем 1 килобайт для буффера ввода и вывода
; также в отдельной переменной сохраняем размер этого буфера
print_buf: times 1024 db 0
buf_size equ $-print_buf
section .text
%macro DIGIT_TO_ASCII 1 ; макрос, принимающий один регистр
add %1, '0'
%endmacro
%macro PUSH_M 1-* ; push many; пушит в порядке следования
%rep %0
push %1
%rotate 1
%endrep
%endmacro
%macro POP_M 1-* ; pop many. читает в порядке следования
%rep %0
pop %1
%rotate 1
%endrep
%endmacro
%macro RPOP_M 1-* ; pop many. читает в обратном порядке
%rotate -1
%rep %0
pop %1
%rotate -1
%endrep
%endmacro
; Передачу аргументов будем делать при помощи ABI - стандартная практика для linux
; Аргументы передаются в следующем порядке: rdi, rsi, rdx, rcx, r8, r9. Все, что не влезло, пушится в стек
; У передачи через стек тоже есть особенности, но их мы пока касаться не будем
print_from_buf: ; word -> void
PUSH_M rax, rsi, rdx, rdi ; сохраним регистры, которые точно попортим
mov rdx, rdi ; сколько выводить, в rdi содержится единственный аргумент
mov rsi, print_buf ; откуда выводить. Адрес буфера
mov rdi, STDOUT; куда выводить. Дескриптор файла. В нашем случае стандартного вывода
mov rax, 1
syscall
RPOP_M rax, rsi, rdx, rdi ; вернем значения регистров
ret
_start:
mov rcx, src_size
mov rsi, src
mov rdi, print_buf
xor rax, rax ; обнуляем регистр
.transfer: ; в цикле передаем данные, попутно конвертируя их в ascii
lodsb
DIGIT_TO_ASCII rax
stosb
loop .transfer
mov [rdi + 1], BYTE `\n` ; Чтобы система не ругалась на отсутствие переноса
mov rdi, src_size
call print_from_buf
exit:
mov rax, 60
mov rdi, 0
syscall

View File

@ -1,121 +0,0 @@
global _start
%define STDIN 0
%define STDOUT 1
%define STDERR 2
section .data
src db 1, 2, 3, 4, 5, 6, 7, 8, 9, 0
src_size equ $-src
; резервируем 1 килобайт для буффера ввода и вывода
; также в отдельной переменной сохраняем размер этого буфера
print_buf: times 1024 db 0
buf_size equ $-print_buf
input_buf: times 1024 db 0 ; буфер, в который будет читаться символ со стандартного ввода
input_size equ $-src
; Для poll
%define POLLIN 0x001 ; Есть ли что почитать с буфера ввода. Понадобится для продолжения ввода
input_pollfd:
dd STDIN
dw POLLIN
dw 0
section .text
%macro DIGIT_TO_ASCII 1 ; макрос, принимающий один аргумент (регистр или память)
add %1, '0'
%endmacro
%macro ASCII_TO_DIGIT 1 ; макрос, принимающий один аргумент (регистр или память)
sub %1, '0'
%endmacro
%macro PUSH_M 1-* ; push many; пушит в порядке следования
%rep %0
push %1
%rotate 1
%endrep
%endmacro
%macro POP_M 1-* ; pop many. читает в порядке следования
%rep %0
pop %1
%rotate 1
%endrep
%endmacro
%macro RPOP_M 1-* ; pop many. читает в обратном порядке
%rotate -1
%rep %0
pop %1
%rotate -1
%endrep
%endmacro
; Передачу аргументов будем делать при помощи ABI - стандартная практика для linux
; Аргументы передаются в следующем порядке: rdi, rsi, rdx, rcx, r8, r9. Все, что не влезло, пушится в стек
; У передачи через стек тоже есть особенности, но их мы пока касаться не будем
clean_print_buf: ; none -> void
PUSH_M rax, rcx, rdi
mov rcx, buf_size
mov rdi, print_buf
xor rax, rax ; будем заносить нули во всю память
rep stosb
RPOP_M rax, rcx, rdi
ret
print_from_buf: ; word -> void
PUSH_M rax, rsi, rdx, rdi ; сохраним регистры, которые точно попортим
mov rdx, rdi ; сколько выводить, в rdi содержится единственный аргумент
mov rsi, print_buf ; откуда выводить. Адрес буфера
mov rdi, STDOUT; куда выводить. Дескриптор файла. В нашем случае стандартного вывода
mov rax, 1
RPOP_M rax, rsi, rdx, rdi
syscall
RPOP_M rax, rsi, rdx, rdi ; вернем значения регистров
ret
read_buf: ; none -> void. Пытается заполнить буфер из стандартного ввода
PUSH_M rax, rdi, rsi
mov rdi, STDIN ; откуда читать (дескриптор файла)
mov rsi, input_buf ; куда читать
mov rdx, input_size ; Сколько пытаемся читать
mov rax, 0 ; системный вызов чтения
RPOP_M rax, rdi, rsi
ret
;poll_stdin:
; PUSH_M rdi, rsi, rdx
; mov rsi, 1 ; следим только за одним потоком
;
; RPOP_M rdi, rsi, rdx
; ret
_start:
mov rcx, src_size
mov rsi, src
mov rdi, print_buf
xor rax, rax ; обнуляем регистр
.transfer: ; в цикле передаем данные, попутно конвертируя их в ascii
lodsb
DIGIT_TO_ASCII rax
stosb
loop .transfer
mov [rdi + 1], BYTE `\n` ; Чтобы система не ругалась на отсутствие переноса
mov rdi, src_size
call print_from_buf
exit:
mov rax, 60
mov rdi, 0
syscall

View File

@ -2,3 +2,5 @@
## Подпрограммы и передача параметров ## Подпрограммы и передача параметров
Я делаю вариант 7, потому что так сказали купики

View File

@ -0,0 +1,111 @@
global task_regs
global task_stack
global task_stack_wrapper
section .note.GNU-stack
section .text
task_regs: ; rdi - указатель первое на число, rsi - указатель второе на число, rdx - результат
push rax
mov rax, [rdi]
mov [rdx], rax
mov rax, [rdi + 8]
mov [rdx + 8], rax
mov rax, [rsi + 8]
add [rdx + 8], rax
mov rax, [rsi]
adc [rdx], rax
pop rax
ret
task_stack_wrapper: ;rdi - указатель, rsi - сколько
push rbp
mov rbp, rsp
push rdi
push rsi
shr rsi, 3 ; делим на 8 в ускоренном порядке. (приводим к байтам)
; вычитаем 2 раза так как поверьте, циклы городить намного труднее
sub rsp, rsi
sub rsp, rsi
sub rsp, rsi
sub rsp, rsi
; сыграем в чихарду
mov rcx, rsi
shl rcx, 2 ; сносим 2 числа, поэтому байтов в 2 раза больше + по 2 числа на число
mov rsi, rdi
mov rdi, rsp
rep movsb
; закинем байт разрядности
;push si
;shl word [rsp], 8
dec rsp
mov al, [rbp - 16]
mov [rsp], al
;add rsp, 1
; вызов
call task_stack
; восстанавливаемся
add rsp, 1 ; pачищаем разрядность
; Циклы, как я уже и говорил, я делать отказываюсь
mov rcx, [rbp - 16]
shr rcx, 1 ; делим на 8 умножаем на 4, того множим на 2
add rsp, rcx ; затираем бедный стек
pop rsi
pop rdi
pop rbp
ret
task_stack: ; разрядность - 1 байт. Дальше читаем сколько надо. Читает в 2 раза больше разрядности
push rbp
mov rbp, rsp
mov al, [rbp + 16]
test al, 64
jnz .64bit
test al, 32
jnz .32bit
test al, 16
jnz .16bit
test al, 8
.8bit:
xor rax, rax
mov al, [rbp + 17]
mov ah, [rbp + 18]
mov cl, [rbp + 19]
mov ch, [rbp + 20]
add al, cl
adc ah, ch
jmp .end
.16bit:
xor rax, rax
mov ax, [rbp + 23] ; старшая
mov dx, [rbp + 21] ; младшая
mov cx, [rbp + 17] ; младшая
mov bx, [rbp + 19] ; старшая
;add cx, bx
;adc ax, dx
add dx, cx
adc ax, bx
pushfq ; Сохраним флаги на всякий
sal eax, 16
mov ax, dx
popfq
jmp .end
.32bit:
xor rax, rax
; Не выровнянные данные - vae soli, но тут уже оставлю talis qualis, мне влом
mov eax, [rbp + 21] ; старшая часть 1-го
mov edx, [rbp + 29] ; старшая часть 2-го
mov ecx, [rbp + 17] ; младшая
mov ebx, [rbp + 25] ;младшая
add ecx, ebx
adc eax, edx
pushfq ; Сохраним флаги на всякий
sal rax, 32
mov eax, ecx
popfq
jmp .end
.64bit:
;crush
.end:
pop rbp
ret

View File

@ -0,0 +1,28 @@
#include <stdio.h>
typedef struct
{
unsigned long h;
unsigned long l;
} LongNum;
typedef unsigned char byte;
extern void task_regs(LongNum* a, LongNum* b, LongNum* result);
extern unsigned long task_stack(); // Для передачи через Си потребуется функцкия-обертка
extern unsigned long task_stack_wrapper(void* nums, byte bits);
int main()
{
LongNum a = { 0x00000000, 0x01000000}; // По факту передача через стек)
LongNum b = { 0x10100010, 0x0900000f};
LongNum c;
task_regs(&a, &b, &c);
printf("new big num is %lx %lx\n", c.h, c.l); // Проверим, что сложили +- корректно
short int nums[4] = {88, 0, 11, 0}; // Порядок такой в демонстрационных целях
unsigned long new = task_stack_wrapper(nums, (sizeof(short int) * 8)); // Тут я лишь иммитирую что числа не влезают. По факту же все отлично лезет
printf("stacked number is %lu and should be 99\n", new);
return 0;
}