Сравнения без знака

Часть раздела Арифметика и управление потоком выполнения путешествия по Assembly на Coddy. Урок 9 из 28.

Беззнаковые переходы интерпретируют каждый бит как часть неотрицательной величины. После cmp a, b jb означает «меньше», ja — «больше», jbe — «меньше или равно», а jae — «больше или равно». Они отличаются от знаковых переходов, когда установлен старший бит.

mov rax, 0
mov rbx, 8
cmp rbx, 5
jbe .done
mov rax, 1
.done:

Беззнаковое 8 больше 5, поэтому результат становится равным 1.

Выберите семейство ветвлений в соответствии со знаковым или беззнаковым смыслом данных.

Используйте эти фрагменты инструкций внутри предоставленной процедуры solve; в условии предоставлен код ввода и вывода.

Задание

Легко

Буфер имеет беззнаковую ёмкость r8; для запроса требуется r9 байт. Верните 1, если запрос помещается, включая случай точного совпадения, в противном случае верните 0. Входные значения находятся в диапазоне от 0 до 10000.

Изменяйте solution.asm между solve: и предоставленной инструкцией ret. Заблокированный файл main.asm считывает тестовые числа в r8, r9, r10 и r11 по порядку, а также сохраняет их как четыре последовательных 8-байтовых целых числа по адресу values. Неиспользуемые входные значения равны нулю. Оставьте ответ в rax; тестовый модуль выводит его как одно знаковое десятичное целое число, за которым следует перевод строки. Сохраните предоставленную оболочку и ничего не выводите самостоятельно.

Попробуйте сами

bits 64
section .bss
    input_buffer resb 256
    output_buffer resb 32
    values resq 4
section .text
    global _start
    global values
    extern solve
_start:
    xor eax, eax
    xor edi, edi
    mov rsi, input_buffer
    mov edx, 255
    syscall
    test rax, rax
    jle .loaded
    mov rsi, input_buffer
    lea rdi, [input_buffer + rax]
    xor ecx, ecx
.scan:
    cmp rsi, rdi
    jae .loaded
    cmp ecx, 4
    jae .loaded
    movzx eax, byte [rsi]
    cmp al, 32
    jbe .space
    mov r10, 1
    cmp al, '-'
    jne .number
    mov r10, -1
    inc rsi
.number:
    xor rax, rax
.digit:
    cmp rsi, rdi
    jae .store
    movzx edx, byte [rsi]
    cmp dl, '0'
    jb .store
    cmp dl, '9'
    ja .store
    imul rax, rax, 10
    sub edx, '0'
    add rax, rdx
    inc rsi
    jmp .digit
.store:
    imul rax, r10
    mov [values + rcx * 8], rax
    inc ecx
.space:
    inc rsi
    jmp .scan
.loaded:
    mov r8, [values]
    mov r9, [values + 8]
    mov r10, [values + 16]
    mov r11, [values + 24]
    xor eax, eax
    call solve
    lea rsi, [output_buffer + 31]
    mov byte [rsi], 10
    mov ecx, 1
    xor r8d, r8d
    test rax, rax
    jns .positive
    mov r8d, 1
    neg rax
.positive:
    mov ebx, 10
.convert:
    xor edx, edx
    div rbx
    add dl, '0'
    dec rsi
    mov [rsi], dl
    inc ecx
    test rax, rax
    jnz .convert
    test r8d, r8d
    jz .write
    dec rsi
    mov byte [rsi], '-'
    inc ecx
.write:
    mov edx, ecx
    mov eax, 1
    mov edi, 1
    syscall
    mov eax, 60
    xor edi, edi
    syscall