На тему очень хороших компиляторов советую серию заметок :) https://pharr.org/matt/blog/2018/04/18/ispc-origins.html

Просто директивы препроцессора нужные юзаются

Только препроцессор уровня убери комментарии тут, тут и еще здесь

Ну это не пиетет. Люди решают реальные оборонные задачи. И они не против экспериментов. Прям рабочие группы создают по переписыванию одного кода в 100500 различных вариантах. Потом выбирают наилучшие. И там реально битва титанов. Оптимизации чуть ли не в машинных кодах в runtime (для gpu тоже). Процессоры они тоже не только Intel используют.

Да и FPGA тоже используют. Как раз Таганрогские. Но о них ничего публично не говорят. Может, там и кодизайн есть. А может не получается.

Группа Каляева? Статьи-то есть, книги и на конференциях они выступают. Интересно у них поспрашивать, что мешает на СБИС перейти.

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

Так еще в советское времена идеи Евреинова подразумевали целый спектр архитектур: однородные среды, однородные структуры, однородные системы. И я намекаю на переход от сред к структурам. В современной терминологии — к своим CGRA.

Java уже все же.

Спасибо! Утащил в цитатник и уже процитировал зятю-гоферу. Он, к сожалению, не разделяет моих взглядов о языках программирования. Не оценил.

Go это как Java только наоборот) И у обоих девеловеры почти что фанатики

Ась? https://github.com/JetBrains/kotlin/blob/ba6da7c40a6cc502508faf6e04fa105b96bc7777/compiler/backend/src/org/jetbrains/kotlin/codegen/optimization/common/backwardAnalysis.kt#L41

Судя по коду, ссылка ведет на самое первое издание, из 70-х? :) Алгоритм-то настолько азбучный, что сноска выглядит несколько странно.

Любопытно, что классический вариант от Гэри Килдалла из далекого 1973 года уже являлся более продвинутым. Скорее всего, в книге дракона о worklist-вариантах вообще не упоминалось. А вот у Клика на них очень многое построено.

Любителям истории (как я) будет любопытно узнать, что Килдалл не первым предложил саму идею итеративного анализа потоков данных: "Its origins go back to at least 1961, when it was used by Vyssotsky in a Fortran compiler".

Но на самом деле простейший вариант backward-анализа я встречал еще в советском сборнике  "Проблемы кибернетики" из 50-х.

У них COLAMO - собственная разработка для ЯВУ->RTL

А там действительно backward-анализ? По коду возникли сомнения. Оно, конечно, работать будет в любом случае, но...

Да. Там действительно задом наперед. Массив фреймов заполняется финальными значениями задом наперед.

А сам массив узлов CFG отсортирован? Это должно быть сделано в соответствии с тем, как в данном виде анализа идет распространение информации.

Спасибо! Завтра посмотрю подробно этот алгоритм в других источниках и, если нужно, оптимизирую. Хотя он пока и не хотспот.

Вот честно, не понимаю лучей презрения в сторону Go. Знаю множество отличных приложений, написанных на нём. Вечно задаюсь вопросом: почему это не критерий качества?