Printf

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

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

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

Assembler
1
2
3
4
5
6
7
8
9
10
11
12
13
.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
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
.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"

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

Code
1
2
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'ов. Сейчас они тебе не нужны, а потому весь лишний мусор будет просто глаза мозолить

Code
$ 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 и получить исполняемый файл

Code
$ 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
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
.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.

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

Новые блоги и статьи Все статьи Все блоги /
модель ЗдравоСохранения 8. Подготовка к разному выполнению заданий anaschu 08.04.2026 https:/ / github. com/ shumilovas/ med2. git main ветка * содержимое блока дэлэй из старой модели теперь внутри зайца новой модели 8ATzM_2aurI	Блокировка документа от изменений, если он открыт у другого пользователя Maks 08.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа, разработанного в конфигурации КА2. Задача: запретить редактирование документа, если он открыт у другого пользователя. / / . . .	Система безопасности+живучести для сервера-слоя интернета (сети). Двойная привязка. Hrethgir 08.04.2026 Далее были размышления о системе безопасности. Сообщения с наклонным текстом - мои. А как нам будет можно проверить, что ссылка наша, а не подделана хулиганами, которая выбросит на другую ветку и. . .	Модель ЗдрввоСохранения 7: больше работников, больше ресурсов. anaschu 08.04.2026 работников и заданий может быть сколько угодно, но настроено всё так, что используется пока что только 20% kYBz3eJf3jQ
Дальние перспективы сервера - слоя сети с космологическим дизайном интефейса карты и логики. Hrethgir 07.04.2026 Дальнейшее ближайшее планирование вывело к размышлениям над дальними перспективами. И вот тут может быть даже будут нужны оценки специалистов, так как в дальних перспективах всё может очень сильно. . .	Горе от ума kumehtar 07.04.2026 Эта мне ментальная установка, что вот прямо сейчас, мол, мне для полного счастья не хватает (нужное вписать), и когда я этого достигну - тогда и полный кайф. Одна из самых сильных ловушек на пути. . . .	Использование значений реквизитов справочника в документе, с определенными условиями и правами Maks 07.04.2026 1. Контроль срока действия договора Алгоритм из решения ниже реализован на примере нетипового документа "ЗаявкаНаРаботу", разработанного в конфигурации КА2. Задача: уведомлять пользователя, если. . .	Доступность команды формы по условию Maks 07.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: сделать доступной кнопку (команда формы "ЗавершитьСписание") при. . .

Printf

Решение

Решение

Решение

Evg 21281 / 8305 / 637 Регистрация: 30.03.2009 Сообщений: 22,660 Записей в блоге: 30
	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'ов. Сейчас они тебе не нужны, а потому весь лишний мусор будет просто глаза мозолить Code $ 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 и получить исполняемый файл Code $ gcc t.s -fno-pie $ ./a.out 48 1