Printf

@pcmax · Регистрация: 29.01.2018

Author24 — интернет-сервис помощи студентам

привет! можете объяснить как это работает? вернее почему не работает

Assembler

.section .data
st:
  .string "%d\n"
mov $48, %rax
 
push %rax
push $st
call printf
 
int $0x80
 
mov $1, %rax
int $0x80

я об printf. почему не выводит?

Vourhey · 02.08.2019, 02:35

Параметры для функций на х64 передаются через регистры (первые 6 штук), а не через стек. Не понятно, зачем делать int 0x80 после вызова printf. Стек должен быть выровнен перед каждым вызовом функции по 16 байтам. Без функции main вообще не известно как твой код будет вызван, потому что у сишного рантайма, с которым тебе нужно слинковаться, есть свой _start, который будет пытаться вызвать main.

Assembler

.global main
 
.text
main:
    push %rbx
    mov $st, %rdi
    mov $48, %rsi
    xor %rax, %rax
    call printf
    pop %rbx
    ret
 
.data
st:
    .string "%d\n"

Компиляция, запуск, вывод:

Код

gcc main.s -no-pie && ./a.out 
48

Evg · 02.08.2019, 10:19

pcmax, если начал писать на ассемблере в стандартном окружении, то возьми за правило смотреть на то, как это делает компилятор, например, gcc

C

/* Файл t.s */
#include <stdio.h>
 
int main (void)
{
  printf ("%d\n", 48);
  return 0;
}

Опция -S говорит, что работать нужно только до построения ассемблерного файла. Опция -fno-pie нужна для отключения режима построения позиционно-независимого исполняемого файла, который включен по умолчанию в некоторых сборках gcc. На начальных этапах такой режим будет только мешать. Оставшийся паровоз опций нужен только для того, чтобы удалить из кода всякий хлам, отвечающий за нанотехнологии, которые отвечают за проброс через C'шный код C++'ных exception'ов. Сейчас они тебе не нужны, а потому весь лишний мусор будет просто глаза мозолить

Код

$ gcc t.c -S -fno-pie -fno-exceptions -fno-unwind-tables -fno-asynchronous-unwind-tables

В итоге образуется файл t.s:

Assembler

...
main:
        pushq   %rbp
        movq    %rsp, %rbp
        movl    $48, %esi
        movl    $.LC0, %edi
        movl    $0, %eax
        call    printf
        movl    $0, %eax
        popq    %rbp
        ret
...

Его можно брать за основу для написания своих программ. Его можно скормить обратно в gcc и получить исполняемый файл

Код

$ gcc t.s -fno-pie
$ ./a.out
48

@pcmax · 02.08.2019, 14:39 **[ТС]**

я про printf

Сообщение от Vourhey

call printf

откуда читает printf? то есть откуда он берет данные?

Добавлено через 3 минуты

Сообщение от Evg

как это делает компилятор

это хорошая подсказка. спасибо огромное Вам. хотелось бы еще понять почему компилятор так делает. Уважаемый форумчани выше задал справедливый вопрос, зачем использвать стек. действительно зачем? зачем его использует компилятор при выводе информации на экран?

Evg · 02.08.2019, 15:09

Сообщение от pcmax

хотелось бы еще понять почему компилятор так делает

Потому что есть так называемые "программные соглашения". Это правила, по которым происходит передача параметров

Реализация __stdcall, __cdecl

Добавлено через 2 минуты
Вот ещё одна тема Безымянный аргумент функции
Изначальный срач имел высокоуровневый (языковой) характер, но постепенно перешёл на программные соглашения

Добавлено через 30 секунд
На английском это называется "calling conventions"

@pcmax · 02.08.2019, 20:08 **[ТС]**

Сообщение от Evg

Это правила, по которым происходит передача параметров

пока тут собрались серьезные люди, хочу спросить как вывести на экран трехзначное число с помощью регистров

Assembler

.section .bss
vr: space 3
.section .text
.global main
main:
mov $111, %rdi
mov %rdi, (st)
mov $4, %rax
mov $1, %rbx
mov $st, %rcx
mov $3, %rdx
 
int $0x80
 
mov $1, %rax
int $0x80

Evg · 02.08.2019, 20:16

Сообщение от pcmax

хочу спросить как вывести на экран трехзначное число с помощью регистров

Написать программу, которая число переводит в строку, а строку уже печатать. По другому никак. На уровне системных вызовов в принципе нету таких понятий, как "напечатать число". Только "напечатать строку"

@pcmax · 02.08.2019, 23:02 **[ТС]**

Вы объяснитель от бога! у Вас дар!

откуда берет printf берет данные,которые выводит на экран? я не понял.

Assembler

1	call printf

что будет происходить?

Vourhey · 02.08.2019, 23:08

Сообщение от pcmax

откуда берет printf берет данные,которые выводит на экран?

Они ему передаются в аргументах. Адрес форматной строки в rdi. Когда printf парсит форматную строку по адресу из rdi, он узнает, сколько ему еще аргументов надо "достать". В случае с одним %d - это один аругмент. Следующий аргумент, второй, он в rsi. d говорит о том, что ожидается целочисленный аргумент. Тогда printf переводит байты из rsi в их строковое десятичное представление.

Evg · 02.08.2019, 23:09

Сообщение от pcmax

откуда берет printf берет данные,которые выводит на экран?

Из параметров. А параметры - из регистра и стека в соответствии с программными соглашениями

Напиши на Си программу, в которой из main'а вызывается функция foo (тело которой ты напишешь сам). Посмотри код из-под компилятора в точке вызова foo и внутри foo. Если не понятно по коду, пройдись отладчиком

Vourhey · 02.08.2019, 23:11

Сообщение от pcmax

то есть откуда он берет данные?

В кратце, читай тут:
https://wiki.osdev.org/System_V_ABI
Как пример.

@pcmax · 03.08.2019, 00:04 **[ТС]**

Сообщение от Vourhey

В кратце, читай тут:

спасибо огромное....

можете еще сказать , а что 0 хранится в eax? это конец строки или это restart_syscall ?

Vourhey · 03.08.2019, 00:21

Для функций принимающих переменное число аргументов, число в rax указывает на кол-во аргументов переданных в векторых регистрах. В нашем случае, их там нет. Значит, их количество = 0.

Добавлено через 15 минут
Если вдруг станет интересно, то эта информация написана в документе по linux64 abi, который уже не является "в кратце". Его можешь найти здесь:
https://software.intel.com/sit... 64-abi.pdf
Раздел "Variable argument lists":

When a function taking variable-arguments is called,%rax must be set to the total number of floating point parameters passed to the function in vector registers.

Там есть ответы на все твои вопросы.

@pcmax 299 / 74 / 7 Регистрация: 29.01.2018 Сообщений: 1,265
	03.08.2019, 00:04 [ТС]	12
	Сообщение от Vourhey В кратце, читай тут: спасибо огромное.... можете еще сказать , а что 0 хранится в eax? это конец строки или это restart_syscall ? 0

Vourhey Почетный модератор 7393 / 2639 / 281 Регистрация: 29.07.2006 Сообщений: 13,696
	03.08.2019, 00:21	13
	Сообщение было отмечено pcmax как решение Решение Для функций принимающих переменное число аргументов, число в rax указывает на кол-во аргументов переданных в векторых регистрах. В нашем случае, их там нет. Значит, их количество = 0. Добавлено через 15 минут Если вдруг станет интересно, то эта информация написана в документе по linux64 abi, который уже не является "в кратце". Его можешь найти здесь: https://software.intel.com/sit... 64-abi.pdf Раздел "Variable argument lists": When a function taking variable-arguments is called,%rax must be set to the total number of floating point parameters passed to the function in vector registers. Там есть ответы на все твои вопросы. 3

Evg 21279 / 8301 / 637 Регистрация: 30.03.2009 Сообщений: 22,659 Записей в блоге: 30
	02.08.2019, 10:19	3
	pcmax, если начал писать на ассемблере в стандартном окружении, то возьми за правило смотреть на то, как это делает компилятор, например, gcc C /* Файл t.s */ #include <stdio.h> int main (void) { printf ("%d\n", 48); return 0; } Опция -S говорит, что работать нужно только до построения ассемблерного файла. Опция -fno-pie нужна для отключения режима построения позиционно-независимого исполняемого файла, который включен по умолчанию в некоторых сборках gcc. На начальных этапах такой режим будет только мешать. Оставшийся паровоз опций нужен только для того, чтобы удалить из кода всякий хлам, отвечающий за нанотехнологии, которые отвечают за проброс через C'шный код C++'ных exception'ов. Сейчас они тебе не нужны, а потому весь лишний мусор будет просто глаза мозолить Код $ gcc t.c -S -fno-pie -fno-exceptions -fno-unwind-tables -fno-asynchronous-unwind-tables В итоге образуется файл t.s: Assembler ... main: pushq %rbp movq %rsp, %rbp movl $48, %esi movl $.LC0, %edi movl $0, %eax call printf movl $0, %eax popq %rbp ret ... Его можно брать за основу для написания своих программ. Его можно скормить обратно в gcc и получить исполняемый файл Код $ gcc t.s -fno-pie $ ./a.out 48 1

@pcmax 299 / 74 / 7 Регистрация: 29.01.2018 Сообщений: 1,265
	02.08.2019, 14:39 [ТС]	4
	я про printf Сообщение от Vourhey call printf откуда читает printf? то есть откуда он берет данные? Добавлено через 3 минуты Сообщение от Evg как это делает компилятор это хорошая подсказка. спасибо огромное Вам. хотелось бы еще понять почему компилятор так делает. Уважаемый форумчани выше задал справедливый вопрос, зачем использвать стек. действительно зачем? зачем его использует компилятор при выводе информации на экран? 0

Evg 21279 / 8301 / 637 Регистрация: 30.03.2009 Сообщений: 22,659 Записей в блоге: 30
	02.08.2019, 15:09	5
	Сообщение от pcmax хотелось бы еще понять почему компилятор так делает Потому что есть так называемые "программные соглашения". Это правила, по которым происходит передача параметров Реализация __stdcall, __cdecl Добавлено через 2 минуты Вот ещё одна тема Безымянный аргумент функции Изначальный срач имел высокоуровневый (языковой) характер, но постепенно перешёл на программные соглашения Добавлено через 30 секунд На английском это называется "calling conventions" 1

Evg 21279 / 8301 / 637 Регистрация: 30.03.2009 Сообщений: 22,659 Записей в блоге: 30
	02.08.2019, 20:16	7
	Сообщение от pcmax хочу спросить как вывести на экран трехзначное число с помощью регистров Написать программу, которая число переводит в строку, а строку уже печатать. По другому никак. На уровне системных вызовов в принципе нету таких понятий, как "напечатать число". Только "напечатать строку" 1

Vourhey Почетный модератор 7393 / 2639 / 281 Регистрация: 29.07.2006 Сообщений: 13,696
	02.08.2019, 23:08	9
	Сообщение от pcmax откуда берет printf берет данные,которые выводит на экран? Они ему передаются в аргументах. Адрес форматной строки в rdi. Когда printf парсит форматную строку по адресу из rdi, он узнает, сколько ему еще аргументов надо "достать". В случае с одним %d - это один аругмент. Следующий аргумент, второй, он в rsi. d говорит о том, что ожидается целочисленный аргумент. Тогда printf переводит байты из rsi в их строковое десятичное представление. 0

Evg 21279 / 8301 / 637 Регистрация: 30.03.2009 Сообщений: 22,659 Записей в блоге: 30
	02.08.2019, 23:09	10
	Сообщение было отмечено pcmax как решение Решение Сообщение от pcmax откуда берет printf берет данные,которые выводит на экран? Из параметров. А параметры - из регистра и стека в соответствии с программными соглашениями Напиши на Си программу, в которой из main'а вызывается функция foo (тело которой ты напишешь сам). Посмотри код из-под компилятора в точке вызова foo и внутри foo. Если не понятно по коду, пройдись отладчиком 1

Vourhey Почетный модератор 7393 / 2639 / 281 Регистрация: 29.07.2006 Сообщений: 13,696
	02.08.2019, 23:11	11
	Сообщение было отмечено pcmax как решение Решение Сообщение от pcmax то есть откуда он берет данные? В кратце, читай тут: https://wiki.osdev.org/System_V_ABI Как пример. 1

Printf

Решение

Решение

Решение