Я просто оставлю это здесь.

https://gcc.gnu.org/onlinedocs/gcc/Nested-Functions.html

Это вроде же никак не связано.. Ссылка может быть и пригодится, спасибо.

Инструкции enter и leave бессмысленны для С.

В x86 полно бессмысленного барахла, который тянут из-за обратной совместимости. CISC он такой, да.

И как в противном случае это реализуется

Напрямую работают со стеком.

Напрямую работают со стеком.

Что такое «напрямую»? Подпрограмма лучше вызывающей знает.

Что такое «напрямую»?

Инструкции push, pop. Ну или писать в регистры, управляющие стеком.

Подпрограмма лучше вызывающей знает.

Подпрограмма - это абстракция. Для процессора это просто поток инструкций. Просто в интеле хотели облегчить работу с подпрограммами и ввели эти инструкции. Пользоваться ими не обязательно.

Эти инструкции ещё и медленнее к тому же.

enter для nested функций используется. Я дал тебе ссылку на них в gcc-шной сишке.

Они сделали хардварный стек, унифицированный для данных и переходов. Мой вопос про передачу параметров и организацию локальных переменных.

Инструкции push, pop. Ну или писать в регистры, управляющие стеком.

Ну или как... И не везде и сложно.

Ну или как... И не везде и сложно.

Я перестал тебя понимать. Что ты хочешь? Процедуры, функции, подпрограммы - это всё для программистов. Процессор предоставляет некоторые инструкции для облегчения построения этих абстракций, но использовать их не обязательно. Ты можешь придумать своё соглашение о передачи и возврате данных в/из функции и не использовать стек вообще.

многоуровневое вложение стека

Дай угадаю, в x86-64 abi это всё равно не используется, а это тред тупняка?

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

С регистрацией!

Наконец-то.

смеётесь надо мной, но приведите аутоэничный аналог на С

lebel:
   rсr
   call c, coolfunction ; may modify Z flag or not
   jnz label

Наконец-то

Ты знаешь этого регистранта?

Тсаря-то?

Увы, нет.

смеётесь надо мной, но приведите аутоэничный аналог на С

do {
  rcr();
  coolfunction(); // may modify zflag or not
} while (zflag);

Маркетололог от б-га

Забавно. Но даже призабавно не работает.

rcr требует два операнда.

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

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

тут надо еще вспомнить такой архитектурный хлам как операции с BCD

тут надо еще вспомнить такой архитектурный хлам как операции с BCD

На сколько я представляю оно до сих пор во всей коммерции используется, но подозреваю, нынешний софт на самом низком уровне на С, либо переписан под SIMD...

:(

Это синтаксис, а ты не понимаешь. Для того что бы ограничить область видимости функции (lexical scoping) не нужно выполнять никакие инструкции.