E
там справа он дампится для каждой фазы (для случая на скрине - до или после CSE)
Size: a a a
2020 February 06
PS
Ну это правило буравчика, как „тело функции должно помещаться на экран“ , не всегда реально, не всегда следование ему делает код читабельней.
В подобном духе в свое время говорили противники структурного программирования. Ограничения — штука неидеальная, но без них в общем случае еще хуже :)
MS
В подобном духе в свое время говорили противники структурного программирования. Ограничения — штука неидеальная, но без них в общем случае еще хуже :)
Ну такое. Структурное программирование не говорит что нужно бить логику на функции пока те не станут помещаться на экране.
PS
Интересно! Вообще, это малоразвитая область — средства визуализации и отладки для разработчиков компиляторов.
M
Мне еще нравиться вот такой стеково-древовидный подход, на котором можно увидеть сразу 3 графа
AG
Интересно! Вообще, это малоразвитая область — средства визуализации и отладки для разработчиков компиляторов.
узковат рынок видимо :)
E
у ллвм же есть тулза для рисования бб-ков
E
но как обычно - как только пытаешься построить граф для чего-то сложнее a + b — превращается в мессиво аля Анрил Блюпринтс по ссылке :)
M
MaxGraey
Мне еще нравиться вот такой стеково-древовидный подход, на котором можно увидеть сразу 3 графа
Но это все для пассивного анализа, не для конструирования)
PS
Ну такое. Структурное программирование не говорит что нужно бить логику на функции пока те не станут помещаться на экране.
Вот конкретный пример из языка Faust. Как можно видеть, по коду получаются структурированные граф. представления. Но при этом произвольно узлы создавать-соединять нельзя, есть определенная алгебра блочных диаграмм.
https://faust.grame.fr/doc/manual/index.html#quick-start
https://faust.grame.fr/doc/manual/index.html#quick-start
E
для разработчика оптимизирующего компилятора было бы клево если бы граф был интерактивным — прям гифкой показывал дифф графа между изменениями :)
M
для разработчика оптимизирующего компилятора было бы клево если бы граф был интерактивным — прям гифкой показывал дифф графа между изменениями :)
Вот тоже о таком мечтаю
PS
узковат рынок видимо :)
Но можно академическое исследование начать и статьи писать :)
TS
FWIW, сто лет назад, в Интеле, в бабаяновском проекте Vip процессора компиляторщики использовали aiSee для визуализации графов микроядер из бенчмарков. Там было удобно тем, что можно было скрыть/раскрыть уровень детализации блоков. Но у aiSee были недостатки:
- он внезапно был платный
- и похоже он больше не поддерживается
(хотя никогда не понимал в чем сложность сделать вьювер таких простых иерархических моделей?)
- он внезапно был платный
- и похоже он больше не поддерживается
(хотя никогда не понимал в чем сложность сделать вьювер таких простых иерархических моделей?)
PS
FWIW, сто лет назад, в Интеле, в бабаяновском проекте Vip процессора компиляторщики использовали aiSee для визуализации графов микроядер из бенчмарков. Там было удобно тем, что можно было скрыть/раскрыть уровень детализации блоков. Но у aiSee были недостатки:
- он внезапно был платный
- и похоже он больше не поддерживается
(хотя никогда не понимал в чем сложность сделать вьювер таких простых иерархических моделей?)
- он внезапно был платный
- и похоже он больше не поддерживается
(хотя никогда не понимал в чем сложность сделать вьювер таких простых иерархических моделей?)
А разве в yEd нет такой же функциональности? Очень удобный редактор, а не просто язык-компилятор, как graphviz.
YS
А разве в yEd нет такой же функциональности? Очень удобный редактор, а не просто язык-компилятор, как graphviz.
а компилятор, аналогичный graphviz, в yEd разве есть?
TS
А разве в yEd нет такой же функциональности? Очень удобный редактор, а не просто язык-компилятор, как graphviz.
ничего не могу сказать, а yEd уже был доступен в 2011-2013 годах?
да и вообще "мопед не мой" (просто вспомнил что использовалось)
да и вообще "мопед не мой" (просто вспомнил что использовалось)
PS
а компилятор, аналогичный graphviz, в yEd разве есть?
Там используется свой, основанный на XML, формат. Я в свое время написал для своих инструментов на Питоне простую библиотечку: https://github.com/true-grue/yed_py
Думаю, для Haskell тоже полезно такое реализовать ;)
Думаю, для Haskell тоже полезно такое реализовать ;)
TS
во, а давайте @Sergos12 спросим? почему aiSee и смотрели ли вокруг?
ИЧ
Там используется свой, основанный на XML, формат. Я в свое время написал для своих инструментов на Питоне простую библиотечку: https://github.com/true-grue/yed_py
Думаю, для Haskell тоже полезно такое реализовать ;)
Думаю, для Haskell тоже полезно такое реализовать ;)
красиво