Здравствуйте, Shmj, Вы писали:

S>Ну может можно какое-то подмножество C сделать, чтобы там переменные определялись только 1 раз. Оно бы было валидным с т.з. С-компилятора, удобным для прочтения человеком — и выполняло бы те же самые функции, которые выполняет IR.
Оно не будет удобным для человека. Там в местах слияния потока управления появляются phi функции. Замучаетесь на них смотреть.

S>Или кроме требования определять переменные единожды — еще что-то важное есть?
Есть. Например, если IR реализован как трехадресный код, то порядок вычислений детерменирован.

S>А как из C++ получить C? Вот IR получить легко.

Аа, так тебе не clang/gcc, а clang++/g++ надо использовать для компиляции тогда.
Зачем вообще получать C/IR из C++?

Здравствуйте, Shmj, Вы писали:

S>Ну может можно какое-то подмножество C сделать, чтобы там переменные определялись только 1 раз. Оно бы было валидным с т.з. С-компилятора, удобным для прочтения человеком — и выполняло бы те же самые функции, которые выполняет IR.

Так "С" недостаточно чтобы выразить сементику. Например "br i1 <cond>, label <iftrue>, label <iffalse>",
при замене его на "if () goto else goto" мы вернемся к тому с чего начинали.

То есть хотели превратить код, в то, что потом легко отобразилось бы на ассемблер,
а получаем опять AST, которое снова нужно парсить и превращать в "инструкции".

Можно было бы "C" научить передавать метки в функцию как аргументы,
типа:

br(condition, 'label1, 'label2);

но это уже явно не "С" будет.

Здравствуйте, Shmj, Вы писали:
S>Было бы удобнее вместо нового IR использовать упрощеный C.
Кому удобнее?
S>Его и человеку читать привычнее и для парсера от IR не слишком будет отличаться, имхо.
Читаемость IR человеком не была среди приоритетов при разработке.
Но вы можете придумать C-синтаксис для IR и сделать компилятор туда-обратно. Всё, что нужно, у вас есть.

Здравствуйте, Shmj, Вы писали:

S>Вот есть LLVM, который умеет генерить IR. И по сути этот IR мало чем отличается от языка C, только менее удобен для чтения человеком, но чуть более удобен для парсинга. В нем даже указатели и структуры есть.

Да ты прям универсал. И искуственный интеллект тебя интересует, и насущные проблемы компиляции, и проблемы философии и религии тебе не чужды. Прям Леонардо да Винчи наших дней.

S>Вопрос такой — не разумнее бы было генерить голый C (пусть даже сокращенную его версию) вместо IR?

IR — это абстрактный ассемблер, а не Си.

Здравствуйте, Pzz, Вы писали:

Pzz>IR — это абстрактный ассемблер, а не Си.

Ну нет, это именно Си-подобный язык, с чуть более формальным синтаксисом.

Здравствуйте, Shmj, Вы писали:

Pzz>>IR — это абстрактный ассемблер, а не Си.

S>Ну нет, это именно Си-подобный язык, с чуть более формальным синтаксисом.

Он семантически ассемблер, а не Си.

Здравствуйте, Pzz, Вы писали:

S>>Ну нет, это именно Си-подобный язык, с чуть более формальным синтаксисом.
Pzz>Он семантически ассемблер, а не Си.

Это с чего вы взяли то? Ассемблер работает напрямую с регистрами — а в IR — этого нет.

S>>>Ну нет, это именно Си-подобный язык, с чуть более формальным синтаксисом.
Pzz>>Он семантически ассемблер, а не Си.

S>Это с чего вы взяли то? Ассемблер работает напрямую с регистрами — а в IR — этого нет.

Регистры это особенности реализации того или иного цпу.
А IR это абстракция

Здравствуйте, Shmj, Вы писали:
S>Это с чего вы взяли то? Ассемблер работает напрямую с регистрами — а в IR — этого нет.
Конечно есть. Вот только в его "виртуальной машине" количество регистров не ограничено.

Здравствуйте, Muxa, Вы писали:

M>Регистры это особенности реализации того или иного цпу.
M> А IR это абстракция

Вот по этой причине он и не является ассемблером — а ближе к C языку. Те же указатели там есть, циклы, функции, структуры.

S>Вот по этой причине он и не является ассемблером — а ближе к C языку. Те же указатели там есть, циклы, функции, структуры.

Нет там циклов — разве что ты циклом называешь if+goto, и структуры чисто условные — доступ к полям через вычисления смещений, вместо них можно просто массивы соответствующих размеров использовать.

Здравствуйте, Shmj, Вы писали:

S>Вопрос такой — не разумнее бы было генерить голый C (пусть даже сокращенную его версию) вместо IR?

Хорошо, как должен выглядеть голый C, но чтоб по имени типа однозначно было понятно его машинное представление (без мутных параграфов), чтобы по сигнатуре однозначно было понятно, какие аргументы-указатели могут указывать на общий участок, по вещественному литералу определялся каждый бит его значения, ну это первое что я вспомнил?

Здравствуйте, Shmj, Вы писали:

S>Вот по этой причине он и не является ассемблером — а ближе к C языку.
LLVM IR — трехадресный код, ближе к языку ассемблера и очень далеко от С.

S>Те же указатели там есть, циклы, функции, структуры.
Там нет циклов в явном виде, вместо них есть goto br и этого достаточно чтобы появидись циклы.

Здравствуйте, Shmj, Вы писали:

S>Вот есть LLVM, который умеет генерить IR. И по сути этот IR мало чем отличается от языка C, только менее удобен для чтения человеком, но чуть более удобен для парсинга. В нем даже указатели и структуры есть.

S>Вопрос такой — не разумнее бы было генерить голый C (пусть даже сокращенную его версию) вместо IR?

Вы наверное мало на ассемблере писали. IR это тот же ассемблер, только с присваиваниями.

define i64 @safe_div(i64 %n, i64 %d) {
  %1 = icmp eq i64 %d, 0
  br i1 %1, label %iszero, label %nonzero

iszero:
  ret i64 -1

nonzero:
  %2 = udiv i64 %n, %d
  ret i64 %2
}

Здравствуйте, Shmj, Вы писали:

M>>Чего не хватает?

S>А как из C++ получить C?

А зачем?

Здравствуйте, Shmj, Вы писали:


S>А как из C++ получить C? Вот IR получить легко.

https://github.com/JuliaHubOSS/llvm-cbe

Раньше это было штатной возможностью LLVM.

Здравствуйте, Shmj, Вы писали:

S>Вот по этой причине он и не является ассемблером — а ближе к C языку. Те же указатели там есть, циклы, функции, структуры.

В ассемблерах макросами даже ооп почти полноценное делается, не то что функции, циклы или структуры

Здравствуйте, Shmj, Вы писали:

S>>>Ну нет, это именно Си-подобный язык, с чуть более формальным синтаксисом.
Pzz>>Он семантически ассемблер, а не Си.

S>Это с чего вы взяли то? Ассемблер работает напрямую с регистрами — а в IR — этого нет.

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