401010:	3c 30                	cmp    $0x30,%al

Disassembly of section .text:

0000000000000000 <_start>:
   0:	48 c7 c1 30 00 00 00 	mov    $0x30,%rcx
   7:	48 c7 c7 30 00 00 00 	mov    $0x30,%rdi
   e:	48 c7 c0 0a 00 00 00 	mov    $0xa,%rax
  15:	48 c7 c0 3c 00 00 00 	mov    $0x3c,%rax
  1c:	0f 05                	syscall

.equ NOL, '0'
.equ NUL, '\0'
.equ ABZAC, '\n'

.section .text
.globl _start
_start:
  movq $NOL, %rcx
  movq $NUL, %rdi
  movq $ABZAC, %rax
  movq $60, %rax
  syscall

.equ QLEN, 8 # размер quadword

.equ SYS_EXIT, 60 # номер выхода

.equ EXIT_FAILURE, 0 # код "не найден"
.equ EXIT_SUCCESS, 1 # код "найден"

.section .data
val: .quad 9 # значение, которое ищем в массиве

len: .quad 5 # длина массива
arr: .quad 4, 9, 3, 8, 4 # массив

.section .text
.globl _start

_start:
  movq val, %rax # грузим val, который ищем в массиве
  movq EXIT_FAILURE, %rdi # грузим код "не найден"

  movq len, %rcx # грузим длину массива
  cmpq $0, %rcx # проверяем на наличие элементов
  je exit # завершаем при отсутствии элементов
loop:
  # итерация с последнего элемента по первый
  movq arr-QLEN(,%rcx,QLEN), %rdx # arr - 8 + rcx * 8 (первая итерация - последний элемент)

  cmpq %rdx, %rax # сравниваем загруженный элемент с val
  cmoveq EXIT_SUCCESS, %rdi # если равен, грузим код успеха

  loopneq loop # если не равен, итерируем (декремент rcx, итерация. если rcx == 1, итерация превратит его в 0 и не прыгнет)
exit:
  movq SYS_EXIT, %rax # грузим код выхода
  syscall # выходим