Вариант для AMD64 архитектуры:
int putchar_inline_assembly(char c)
{
int ret;
__asm__ volatile (
/* AssemblerTemplate */
"syscall\n\t"
/* : OutputOperands */
: "=a"( ret )
/* [ : InputOperands */
: "D"( 1 ), /* write to stdout */
"S"( &c ), /* buffer address */
"d"( 1 ), /* write 1 character from the buffer */
"a"( 1 ) /* use the write syscall */
/* [ : Clobbers ] ] */
: "rcx", "r11", "memory"
);
return ret;
}
gcc может это превратить в:
putchar_inline_assembly(char):
movb %dil, -4(%rsp)
movl $1, %edi
leaq -4(%rsp), %rsi
movl %edi, %edx
movl %edi, %eax
syscall
ret
Что похоже на ассемблер, который можно руками написать для write(1)
системного вызова:
# ssize_t write(int fildes, const void *buf, size_t nbyte);
movq $1, %rdi # write to stdout
movq $buf, %rsi # buffer address
movq $1, %rdx # write 1 character from the buffer
movq $1, %rax # use the write syscall
syscall # make syscall
Аргументы для системного вызова передаются через регистры без
стека. Порядок аргументов (AMD64 ABI A.2.1.1):
- %rdi ("D")
- %rsi ("S")
- %rdx ("d")
- %rcx (%r10 — интерфейс ядра)
- %r8
- %r9
Номер системного вызова write()
в Linux x86-64 равен 1
(grep write /usr/include/asm/unistd_64.h
) и передается
в syscall через %rax ("a") регистр. После syscall %rcx и %r11 регистры могут быть затёрты
(A.2.1.2).
Ассемблерная вставка выполняет аналог C кода:
ret = write(/*STDOUT_FILENO*/1, &c, /*sizeof char*/1);
/usr/include/asm/unistd_64.h
. (См. также статью на хабре, ссылку на которую я привёл в своём ответе).