Осваиваем Hi-Tech C v3.09 для CP/M

[Barmaley_m]

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

Вот это, кстати, интересный момент.

Немногие задумывались, почему большинство компиляторов (в том числе для x86 или ARM) размещают локальные переменные в стеке.

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

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

В этом смысле более эффективен Фортран, где рекурсия запрещена, и компиляторы имеют полную свободу оптимизации.

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

[Advertiser]

[Lethargeek]

А дело здесь в рекурсии.

в повторной входимости (что касается не только рекурсии)

[Barmaley_m]

в повторной входимости (что касается не только рекурсии)

А чем повторная входимость отличается от рекурсии?

[NEO SPECTRUMAN]

А чем повторная входимость отличается от рекурсии?

наверно рекурсия более узкое понятие

а повторная входимоссть может быть и без рекурсии
например функция вызываетсо несколькими потоками "одновременно"

- - - Добавлено - - -

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

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

как в GCC можно задать функциям атрибут, что они никогда не возвращаются.

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

в моем понимании невозвращаемая функция это типа mainloop-а
и не представяю зачем их нужно больше чем100500 в проге

это скорей затычка от детектора ошибки невозвращаемой функции

[Oleg N. Cher]

Alcoholics Anonymous, Ваши сообщения на форуме всегда очень подробны и интересны. Благодарю!

[OrionExt]

Alcoholics Anonymous, cпасибо. Очень полезные посты для понимания нюансов построения компиляторов для Z80.

- - - Добавлено - - -

z88dk уникальный проект, который рассчитан именно на Z80 платформу.

[Shiny]

где бы раскопать процедурку printf? Получается .AS без печати.

[Sergey]

Столкнулся с проблемой. Линкер иногда (?) не находит в библиотеке метки, которые используются из других модулей.
Например, имеется модуль, в котором определена метка "udiv":

psect text
global udiv
udiv:
...

В другом модуле имеется обращение к этой метке:

psect text
global _foo
_foo:
...
call udiv
...

Если мы используем в си-исходнике функцию "foo":

foo();

то линкер запихнёт в выходной файл функцию "foo", но "udiv" не найдёт и вместо её адреса подставит в call нули.
Хотя модуль такой есть в библиотеке, и метка "udiv" как глобальная определена.

Кто-нибудь знает, как это побороть? А то, в общем-то, это ставит крест на компиляторе. Хотя на MSX его во всю юзают, и таких проблем, похоже, не испытывают.

Для работы использую cpm.exe из командной строки под Win10-64.

cpm.exe link.com -I -Z ...