Раздельная компиляция

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

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

помогите пожалуйста понять как надо правильно сделать.

первый файл под названием f.s

Assembler
1
2
3
4
5
6
7
foo:
 
mov $3 , %r9
 
inc %r0
 
ret

второй файл f2.s

Assembler
1
2
3
4
5
6
7
8
9
10
11
.section .text
 
.global _start
_start:
 
call foo
 
 
 
mov $1, %rax
int $0x80

Bash
1
2
gcc f.s f2.s -c
ld f.o f2.o -o start

что исправить ,чтобы сработало ?

@politoto · 27.10.2019, 17:07

Остальной код вызывающего модуля к делу не относится.
Что будет делать вызываемый код, когда получит управление, тоже не важно.
Если мы знаем, каким символом обозначена точка входа в вызываемую функцию в объектном модуле,
умеем передавать параметры, получать возвращаемое значение и т.п., то нет большой разницы, на каком языке написан вызываемый модуль: на фортране, бейсике,паскале или с++, если компилятор умеет создавать объектные модули в формате, который понимает ld.

Для оформления точки входа воспользуемся Вашей хитростью.
Пишем empty.pas

Pascal
1
begin end.

Просим у компилятора не удалять исходный асмовский файл:

Bash
1
fpc -a empty.pas

Смотрим, что он там напихал в объектный файл:

Bash
1
nm empty.o

U FPC_DO_EXIT
U FPC_INITIALIZEUNITS
0000000000000000 D FPC_RESLOCATION
0000000000000000 D FPC_RESOURCESTRINGTABLES
0000000000000000 D FPC_RESSTRINITTABLES
0000000000000000 D FPC_THREADVARTABLES
0000000000000000 D __fpc_valgrind
0000000000000000 D FPC_WIDEINITTABLES
0000000000000000 D __heapsize
0000000000000000 D INITFINAL
U INIT$_$SYSTEM
0000000000000000 T main
0000000000000000 T PASCALMAIN
0000000000000000 D __stklen
U THREADVARLIST_$SYSTEM

Добавлено через 12 минут
Смотрим, что по этому поводу компилятор написал в асмовском исходнике

Bash
1
grep main empty.s

Code
1
2
3
4
5
.section .text.n_main
.globl  main
    .type   main,@function
main:
    .size   main, .Le0 - main

Bash
1
grep PASCALMAIN empty.s

Code
1
2
3
.globl  PASCALMAIN
    .type   PASCALMAIN,@function
PASCALMAIN:

Лучше меньше, да лучше!

Добавлено через 41 минуту
Новая рабочая версия.
первый

Assembler
1
.globl Venus; Venus: jmp Mars

второй аналогично

Assembler
1
.globl Mars; Mars: jmp Venus

Ассемблируем и смотрим, что получилось, как в первом рабочем варианте

Bash
1
2
3
as первый -o один
as второй -o два
nm один два

Code
1
2
3
4
5
6
7
один:
                 U Mars
0000000000000000 T Venus
 
два:
0000000000000000 T Mars
                 U Venus

Объектные модули успешно ссылаются друг на друга.

Добавлено через 25 минут
Компонуем наш пинг-понг, проверяем, запускаем, тестируем и отлаживаем...

Bash
1
ld один два

Code
1
ld: warning: cannot find entry symbol _start; defaulting to 0000000000400078

Bash
1
nm

Code
1
2
3
4
5
6
0000000000600082 T __bss_start
0000000000600082 T _edata
0000000000600088 T _end
000000000040007d T Mars
                 U _start
0000000000400078 T Venus

И, наконец,

Bash
1
./a.out

Программа ожидаемо зациклилась.
Останавливаем.
Запускаем отладчик.

Bash
1
gdb

Code
1
2
3
4
(gdb) file a.out
Reading symbols from a.out...(no debugging symbols found)...done.
(gdb) run
Starting program: /home/tuyuk/va/a.out

Останавливаем Ctrl+C

Code
1
2
3
4
^C
Program received signal SIGINT, Interrupt.
0x0000000000400078 in Venus ()
(gdb)

Включаем для наглядности автопоказ следующей инструкции

Code
1
(gdb)

set disassemble-next-line on
и смотрим, как программа циклится

Code
1
2
3
4
5
6
7
8
9
10
11
12
(gdb) ni 7
0x000000000040007d in Mars ()
=> 0x000000000040007d <Mars+0>: e9 f6 ff ff ff  jmpq   0x400078 <Venus>
(gdb) ni 7
0x0000000000400078 in Venus ()
=> 0x0000000000400078 <Venus+0>:    e9 00 00 00 00  jmpq   0x40007d <Mars>
(gdb) ni
0x000000000040007d in Mars ()
=> 0x000000000040007d <Mars+0>: e9 f6 ff ff ff  jmpq   0x400078 <Venus>
(gdb) ni
0x0000000000400078 in Venus ()
=> 0x0000000000400078 <Venus+0>:    e9 00 00 00 00  jmpq   0x40007d <Mars>

Можно для красоты ещё окошки включить

lay asm
lay reg

Code
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
┌──Register group: general────────────────────────────────────────────────────────┐
│rax            0x0      0                                                        │
│rbx            0x0      0                                                        │
│rcx            0x0      0                                                        │
│rdx            0x0      0                                                        │
│rsi            0x0      0                                                        │
│rdi            0x0      0                                                        │
│rbp            0x0      0x0                                                      │
│rsp            0x7fffffffe040   0x7fffffffe040                                   │
│r8             0x0      0                                                        │
└─────────────────────────────────────────────────────────────────────────────────┘
  >│0x400078 <Venus>        jmpq   0x40007d <Mars>                                │
   │0x40007d <Mars>         jmpq   0x400078 <Venus>                               │
   │0x400082                add    %al,(%rax)                                     │
   │0x400084                add    %al,(%rax)                                     │
   │0x400086                add    %al,(%rax)                                     │
   │0x400088                add    %al,(%rax)                                     │
   │0x40008a                add    %al,(%rax)                                     │
   │0x40008c                add    %al,(%rax)                                     │
   │0x40008e                add    %al,(%rax)                                     │
   │0x400090                add    %al,(%rax)                                     │
   └──────────────────────────────────────────────────────────────────────────────┘
native process 6844 In: Venus                                   L??   PC: 0x400078 
(gdb) lay reg
(gdb)

@politoto · 28.10.2019, 08:32

Не по теме:

Ближе к теме раздела

Как это используется в linux.

Макрос для точки входа или данных, к которым обращается код из других файлов
https://git.kernel.org/pub/scm... h=v5.4-rc5

C
1
2
3
#define GLOBAL(name)    \
    .globl name;    \
    name:

Пример использования макроса
https://git.kernel.org/pub/scm... h=v5.4-rc5

@pcmax · 28.10.2019, 19:41 **[ТС]**

зачем паскаль? посмотреть сделав gcc file -S я могу и без помощи форума. попросил написать пример функции на Gas в одном файле,который вызывается из программы в другом файле. написали не то что просил, а после будут говорить, что ничего не понимаю. что мне тут уже тонну примеров дали.
сотый раз прошу: пожалуйста ,не пишите то что хочется вам , а не то что просят.

@politoto · 28.10.2019, 21:48

Форум для того, чтобы общаться, обсуждать интересующие нас вопросы. Вы написали, я написал, он написал, она написала - вот и поговорили!

Посмотреть в linux'e Вы могли и без Форума, верно? Асмовских исходников там достаточно, хоть большая часть ядра и написана на Си. Как-то же весь этот асмовский код должен вызываться, иначе зачем его писать?!

Можете придложить Ваш вариант кода в первом и втором файле. Попробуем собрать и обсудить, что Вас в нём не устраивает и чем.

У других участников Форума когда-нибудь могут возникнуть похожие вопросы, они наткнуться на наше обсуждение и, возможно, почерпнут что-нибудь полезное для себя.

Vourhey · 29.10.2019, 01:21

Файл lib.s:

Assembler
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
.data
msg:
    .ascii "I'm from function!\n"
    .set len, . - msg
 
.text
 
.globl foo
 
foo:
    push %rbx
    mov $1, %rax
    mov $1, %rdi
    mov $msg, %rsi
    mov $len, %rdx
    syscall
    pop %rbx
    ret

Файл main.s:

Assembler
1
2
3
4
5
6
7
8
9
10
.text
 
.globl _start
 
_start:
    call foo
 
    mov $60, %rax
    xor %rdi, %rdi
    syscall

Компиляция и запуск:

Code
1
2
3
4
5
$ as --64 lib.s -o lib.o
$ as --64 main.s -o main.o
$ ld main.o lib.o
$ ./a.out 
I'm from function!

@politoto · 29.10.2019, 11:18

Вопрос решён, как я понял?
pcmax, помогли Вам понять, как правильно сделать?

@pcmax · 29.10.2019, 14:13 **[ТС]**

тут да)))) это была реальная помощь

@politoto · 29.10.2019, 14:16

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

в мои дни, код могли писать обычные пользователи zx spectrum , например, и это было увлечение. это увлечение я сохранил и до этих дней. только вместо basic C++ и Assembler.

Не по теме:

Вы, как всегда, правы.

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

One of the symbolic languages in which the user writes his source program is known as assembler language, and the process of translating assembler language to machine language is known as assembling, or performing an assembly.

To permit the assembly of a source program, the user-written instructions are first punched into a deck of cards, usually one card for each instruction. The instructions are written and punched in a format that is recognized by the assembler program. The deck of cards is then read into the System/360 and processed by the assembler. As the symbolic source language is translated, each symbolic instruction is replaced by one (or several) machine-language instructions. At this time, storage addresses, which can be changed (relocated) later if desired, are assigned to the instructions.

The output from the assembly is an object module that is punched in cards or written on disk or tape. An object module is an executable object program or a portion of an object program that will be combined with other modules to form a complete object pro-gram for execution. If the assembly output is in cards, each output card contains several instructions.
...
Any time after the assembly, the object program can be read into the System/360, processed by the linkage editor (see System-Service Functions: Linkage Editor), and then executed...

http://bitsavers.org/pdf/ibm/3... _May66.pdf

@Ethereal · 30.10.2019, 21:33

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

помогите пожалуйста понять как надо правильно сделать.

Чтобы находить как правильно сделать тебе надо освоить искусство рефлексии - мышления о своем мышлении.
Вот задай сам себе и ответь сам себе на такие вопросы :
1.) Почему в моем коде из первого сообщения топика дикая мешанина 32-разрядного и 64-разрядного ? Почему я использовал 64-разрядный регистр и вызов системной функции от 32-разрядного Linux ? Почему у меня даже вопроса не возникло будет ли пытаться gcc накомпилировать 32-разрядный код или 64-разрядный ? Почему ошибка
f.s:5: Error: bad register name `%r0'
мне не подсказала ничего ? Почему я не задумался почему gcc слыхом не слыхивал про регистр r0 ? Не потому-ли, что в 32-разрядном режиме такого регистра действительно нет ? А что надо gcc сказать чтобы он про этот регистр слыхивал ?
2.) Почему я не сделал метку foo .globl ? Как я представляю себе компоновку объектных файлов ? Может я ее вообще не представляю ? Может пора запредставлять ? Почему я не понимаю что без директивы .globl в объектном файле не будет никакой информации о метке foo и вызов на эту метку из другого объектного файла скомпоноваться не сможет ?

Если ты не начнешь сам себе задавать такие вопросы, для тебя все программы так и будут делиться на
- не понятно почему работающие
- не понятно почему не работающие
и тебе постоянно придется клянчить не понятно почему работающий образец.

@politoto · 31.10.2019, 08:40

А может быть авторский код представляет собой инсталляцию современного искусства
и вообще не предназначен для выполнения какой-либо машиной с существующей или перспективной архитектурой.

Чувства добрые он кодом пробуждал...

@politoto · 31.10.2019, 14:04

pcmax, как Вы использовали этот код Почётного модератора?

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

Файл lib.s:

Assembler
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
.data
msg:
    .ascii "I'm from function!\n"
    .set len, . - msg
 
.text
 
.globl foo
 
foo:
    push %rbx
    mov $1, %rax
    mov $1, %rdi
    mov $msg, %rsi
    mov $len, %rdx
    syscall
    pop %rbx
    ret

@pcmax · 31.10.2019, 14:41 **[ТС]**

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

как Вы использовали этот код

никак. это просто пример. наглядный пример. он был как кирпичик в пазле, которого мне недоставало.

@politoto · 31.10.2019, 15:28

В программе, которой Вы время от времени пользуетесь, под гигабайт таких кирпичиков.
https://www.kernel.org/
Качаете любимую версию и изучаете все эти *.S и *.с

Или прямо на сайте, если не терпится, куча примеров для всевозможных архитектур
https://git.kernel.org/pub/scm... h=v5.4-rc5
https://git.kernel.org/pub/scm... h=v5.4-rc5
https://git.kernel.org/pub/scm... h=v5.4-rc5

Новые блоги и статьи Все статьи Все блоги /
Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .	Мобильное приложение ColorStep pavlinmavlin 17.09.2026 Реализовал приложение Красный, Зеленый, Синий в Unity3d + c#. Название изменил на ColorStep. Приложение прошло модерацию и теперь доступно для скачивания. Делал его сам, шаг за шагом — и вот,. . .	Запрет дублирования строк в табличной части Maks 13.09.2026 Реализация из решения ниже выполнена на нетиповом справочнике "Нормы ТО" с табличной часть "Виды ТО", разработанного в КА2, со следующими реквизитами: - ВидТО (СправочникСсылка. ВидыТО); - ВидГСМ. . .	Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Jin X 06.09.2026 Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Работая с форумом и нейросетями в браузере часто хочется что-то подкорректировать или добавить какого-то функционала. Ниже прикреплён. . .
Программа опроса у.з. расходомера SLS-720F Argus19 02.09.2026 Программа опроса у. з. расходомера SLS-720F Программа опрашивает один раз в минуту три ультразвуковых расходомера SLS-720F через интерфейс RS-485 по протоколу Modbus RTU. Опрашиваются регистры. . .	Hyper-V: Компьютер должен поддерживать доверенный платформенный модуль 2.0. Maks 31.08.2026 При установке Windows 11 на виртуальную машину Hyper-V 2-го поколения вылезла такая ошибка: Решение: в параметрах виртуальной машины, в разделе "Безопасность" (Security) активировать флаг. . .	Архитектура биовида Стива в Майнкрафте: Зачем бонобо кубический каннибализм anaschu 30.08.2026 Кубический Вагинокапитализм в Minecraft: Математический инвариант ОДУ и рок Стивов-бонобо Главная задача разработанной «Модели Всего» — наглядно продемонстрировать наличие системной «судьбы». . .	Оттачиваю умение писать js программы. russiannick 30.08.2026 Проектом выходного дня стало написание Книги шифров Виженера. Итогом стала версия 200, синий туман. Синий туман назван так, потому что замораживает текст под собой. Нажатие синих кнопок управляют. . .

@pcmax 443 / 74 / 7 Регистрация: 29.01.2018 Сообщений: 1,274
	28.10.2019, 19:41 [ТС]
	зачем паскаль? посмотреть сделав gcc file -S я могу и без помощи форума. попросил написать пример функции на Gas в одном файле,который вызывается из программы в другом файле. написали не то что просил, а после будут говорить, что ничего не понимаю. что мне тут уже тонну примеров дали. сотый раз прошу: пожалуйста ,не пишите то что хочется вам , а не то что просят. 0

@politoto Модератор 2131 / 1000 / 170 Регистрация: 23.07.2018 Сообщений: 3,349 Записей в блоге: 3
	28.10.2019, 21:48
	Сообщение было отмечено pcmax как решение Решение Форум для того, чтобы общаться, обсуждать интересующие нас вопросы. Вы написали, я написал, он написал, она написала - вот и поговорили! Посмотреть в linux'e Вы могли и без Форума, верно? Асмовских исходников там достаточно, хоть большая часть ядра и написана на Си. Как-то же весь этот асмовский код должен вызываться, иначе зачем его писать?! Можете придложить Ваш вариант кода в первом и втором файле. Попробуем собрать и обсудить, что Вас в нём не устраивает и чем. У других участников Форума когда-нибудь могут возникнуть похожие вопросы, они наткнуться на наше обсуждение и, возможно, почерпнут что-нибудь полезное для себя. 3

@politoto Модератор 2131 / 1000 / 170 Регистрация: 23.07.2018 Сообщений: 3,349 Записей в блоге: 3
	29.10.2019, 11:18
	Вопрос решён, как я понял? pcmax, помогли Вам понять, как правильно сделать? 2

@pcmax 443 / 74 / 7 Регистрация: 29.01.2018 Сообщений: 1,274
	29.10.2019, 14:13 [ТС]
	тут да)))) это была реальная помощь 0

@politoto Модератор 2131 / 1000 / 170 Регистрация: 23.07.2018 Сообщений: 3,349 Записей в блоге: 3
	31.10.2019, 08:40
	А может быть авторский код представляет собой инсталляцию современного искусства и вообще не предназначен для выполнения какой-либо машиной с существующей или перспективной архитектурой. Чувства добрые он кодом пробуждал... 1

@politoto Модератор 2131 / 1000 / 170 Регистрация: 23.07.2018 Сообщений: 3,349 Записей в блоге: 3
	31.10.2019, 15:28
	В программе, которой Вы время от времени пользуетесь, под гигабайт таких кирпичиков. https://www.kernel.org/ Качаете любимую версию и изучаете все эти `.S` и `.с` Или прямо на сайте, если не терпится, куча примеров для всевозможных архитектур https://git.kernel.org/pub/scm... h=v5.4-rc5 https://git.kernel.org/pub/scm... h=v5.4-rc5 https://git.kernel.org/pub/scm... h=v5.4-rc5 0

Раздельная компиляция

Решение

Решение