VK
наркомания, могли бы for как в нормальных языках программирования сделать, а не через эту кучу многословного дерьма и лишних скобочек
for как в нормальных языках противоречит всей идее удобной компиляции благодаря SSA
Size: a a a
2020 February 28
PK
for как в нормальных языках противоречит всей идее удобной компиляции благодаря SSA
SSA?
P🛸
Многие говорят, что пиздец, но имхо заебись
У меня вся лента в твиттере была в горящих сообщениях и я сам бургутил. Но сейчас немного остыл.
P🛸
Я зашел в чат по расту и там бургутил у них :D
VK
SSA?
Static single assignment, типа как в SPIR-V и LLVM IR, когда в коде зависимости только у того, что делается внизу, от того, что делается вверху
PK
Static single assignment, типа как в SPIR-V и LLVM IR, когда в коде зависимости только у того, что делается внизу, от того, что делается вверху
забавно, пойду почитаю, спасибо
d
for как в нормальных языках противоречит всей идее удобной компиляции благодаря SSA
а тебе не кажется что это так с любыми циклами и они вообще мягко говоря не впсываются сюда?
VK
забавно, пойду почитаю, спасибо
Для такой формы удобно оптимизации в компиляторе делать, когда у тебя нет переменных в таком виде, в котором они в обычных языках, и control flow весь reducible
2020 February 29
PK
ну тут наверное допущение в том, что полные днища не будут писать, и поэтому пусть выжившие страдают со сломанными парадигмами :)
VK
а тебе не кажется что это так с любыми циклами и они вообще мягко говоря не впсываются сюда?
Почему? У тебя после цикла могут быть зависимости от самого цикла, это вписывается в концепцию
PK
for и прочие же были придуманы, чтобы люди не ковырялись с метками -- код для людей стал ориентирован
d
Почему? У тебя после цикла могут быть зависимости от самого цикла, это вписывается в концепцию
так после цикла, а не внутри него
VK
так после цикла, а не внутри него
Внутри цикла правильно, когда continuation типа ++i написано в конце, потому что оно зависит от внутренностей итерации цикла, а в обычном for оно пишется в начале
d
но в любом случае это не главное, они хотят прямую компиляцию в spir-v почему не возьмут его в исходном виде, хотя если у них предусмотрена конвертация spir-v в их язык то это снимает все вопросы
VK
for и прочие же были придуманы, чтобы люди не ковырялись с метками -- код для людей стал ориентирован
Здесь goto в принципе нет
PK
Здесь goto в принципе нет
ну это предикшн ломает -- понятно
VK
Только if/else и вытаскивание отдельных значений из ветвлений, которые тебе нужны будут ниже
d
Внутри цикла правильно, когда continuation типа ++i написано в конце, потому что оно зависит от внутренностей итерации цикла, а в обычном for оно пишется в начале
то что оно пишется в начале ничего не значит
PK
и control flow можно диким сделать
VK
То есть, чётко можно от gl_FragColor = … до начала обойти программу